Exploring Hardy's Axioms and Their Impact on Quantum Theory

  • Thread starter MathematicalPhysicist
  • Start date
  • Tags
    Axioms
In summary, the conversation discusses the link provided by Paden Roder which leads to a PDF file explaining quantum theory. The conversation also includes a discussion on the 5 axioms of quantum theory, with a particular focus on the definitions of the number of degrees of freedom and dimension. The two integers, K and N, are identified as being central to the axioms and it is noted that in quantum theory, K is equal to the square of N. There is also speculation on why this may be the case.
  • #1
MathematicalPhysicist
Gold Member
4,699
371
what are they ?
i know they are related to quantum theory.
 
Physics news on Phys.org
  • #2
Why explain shortly and possibly misinterpret when YOU can read?
Here you go: http://arxiv.org/PS_cache/quant-ph/pdf/0101/0101012.pdf [Broken]

Enjoy:smile:
Paden Roder
 
Last edited by a moderator:
  • #3
Originally posted by PRodQuanta
Why explain shortly and possibly misinterpret when YOU can read?
Here you go: http://arxiv.org/PS_cache/quant-ph/pdf/0101/0101012.pdf [Broken]

Enjoy:smile:
Paden Roder

I wouldn't always want to start downloading a PDF file from arxiv without first
looking at the abstract. Some articles have hundreds of pages.
And the title and brief summary can sometimes tell you enough. Here is the abstract for what Paden recommends reading. If you like the short summary in the abstract then click on "PDF" button right below it.

http://arxiv.org/quant-ph/0101012 [Broken]
 
Last edited by a moderator:
  • #4

http://arxiv.org/quant-ph/0101012 [Broken]

I'm impressed. Thanks for the link. It is Hardy's original article, only 34 pages, and gives the 5 axioms

Here is an exerpt from Hardy's article, "Quantum Theory from Five Reasonable Axioms"
This quote gives a taste of what it's like:

------------
[[[Definition:

The state associated with a particular preparation
is defined to be (that thing represented by) any
mathematical object that can be used to deter-
mine the probability associated with the out-
comes of any measurement that may be per-
formed on a system prepared by the given prepa-
ration.
Hence, a list of all probabilities pertaining to all pos-
sible measurements that could be made would cer-
tainly represent the state. However, this would most
likely over determine the state. Since most physical
theories have some structure, a smaller set of prob-
abilities pertaining to a set of carefully chosen mea-
surements may be sufficient to determine the state.
This is the case in classical probability theory and
quantum theory.

Central to the axioms are two inte-
gers K and N which characterize the type of system
being considered.

* The number of degrees of freedom, K, is defined
as the minimum number of probability measure-
ments needed to determine the state, or, more
roughly, as the number of real parameters re-
quired to specify the state.

* The dimension, N, is defined as the maximum
number of states that can be reliably distinguished from one another in a single shot measurement.
We will only consider the case where the number
of distinguishable states is finite or countably infinite. As will be shown below, classical probability theory has K = N and quantum probability theory has K = N2 (note we do not assume that states are normalized).

The five axioms for quantum theory (to be stated again, in context, later) are

Axiom 1 Probabilities. Relative frequencies (mea-
sured by taking the proportion of times a par-
ticular outcome is observed) tend to the same
value (which we call the probability) for any case
where a given measurement is performed on a
ensemble of n systems prepared by some given
preparation in the limit as n becomes infinite.
of N (i.e. K = K(N)) where N = 1; 2; : : : and
where, for each given N, K takes the minimum
value consistent with the axioms.

Axiom 2 Simplicity. K is determined by a function
of N (i.e. K = K(N)) where N = 1; 2; : : : and
where, for each given N, K takes the minimum
value consistent with the axioms.

Axiom 3 Subspaces. A system whose state is con-
strained to belong to an M dimensional subspace
(i.e. have support on only M of a set of N possi-
ble distinguishable states) behaves like a system
of dimension M.

Axiom 4 Composite systems. A composite system
consisting of subsystems A and B satisfies N =
NANB and K = KAKB

Axiom 5 Continuity. There exists a continuous re-
versible transformation on a system between any
two pure states of that system.

The first four axioms are consistent with classical
probability theory but the fifth is not (unless the
word "continuous" is dropped). If the last axiom is
dropped then, because of the simplicity axiom, we
obtain classical probability theory (with K = N) in-
stead of quantum theory (with K = N2 ). It is very
striking that we have here a set of axioms for quan-
tum theory which have the property that if a single
word is removed (namely the word "continuous" in
Axiom 5) then we obtain classical probability theory
instead.]]]
 
Last edited by a moderator:
  • #5
what strikes me is the
two core definitions and the fact that in a quantum
system the "degrees of freedom", as Hardy tells it, is equal
to the SQUARE of the dimension
(while in mere probability theory it is simply equal to the dimension itself) so I want to consider what he means by these two key numbers

Central to the axioms are two inte-
gers K and N which characterize the type of system
being considered.

* The number of degrees of freedom, K, is defined
as the minimum number of probability measure-
ments needed to determine the state, or, more
roughly, as the number of real parameters re-
quired to specify the state.

* The dimension, N, is defined as the maximum
number of states that can be reliably distinguished from one another in a single shot measurement.
We will only consider the case where the number
of distinguishable states is finite or countably infinite. As will be shown below, classical probability theory has K = N and quantum probability theory has K = N2 (note we do not assume that states are normalized).

In the quantum case, with K = N2 , we have that

"the minimum number of probability measurements needed to determine the state" is equal to the square of
"the maximum
number of states that can be reliably distinguished from one another in a single shot measurement"

Paden Roda, any comment about where the N-squared comes from?
 
  • #6
I am nowhere near the expert in this area, but if I were to make a guess, here it goes...

In the statement, axiom 5 states that there exists a continuous reversible transformation on a system between any two pure states of that system.

I think the term "reversible" means that it adds a whole new set of probabilities to the system. Thus, it would give the N it's square.

This may not make sense for 2 reasons:
1)I'm speaking in a language that I can understand, but maybe not descriptive enough for others.
2)Lack of knowledge on the subject.

There are my thoughts. Make of them what you will.
Paden Roder
 
  • #7
Originally posted by marcus
I wouldn't always want to start downloading a PDF file from arxiv without first
looking at the abstract. Some articles have hundreds of pages.
And the title and brief summary can sometimes tell you enough. Here is the abstract for what Paden recommends reading. If you like the short summary in the abstract then click on "PDF" button right below it.

http://arxiv.org/quant-ph/0101012 [Broken]
i agree with you.
 
Last edited by a moderator:

1. How do Hardy's Axioms impact quantum theory?

Hardy's Axioms are a set of principles that provide a framework for understanding the fundamental elements of quantum theory. They help to explain concepts such as non-locality, entanglement, and uncertainty, which are crucial for understanding the behavior of quantum systems. By following these axioms, scientists are able to make accurate predictions and further advance our understanding of the quantum world.

2. What are the main components of Hardy's Axioms?

There are 6 main components of Hardy's Axioms: preparation, measurement, state space, evolution, composition, and dynamics. These components help to describe the key elements of quantum theory and how they interact with each other. They provide a mathematical framework for understanding the behavior of quantum systems.

3. How have Hardy's Axioms been tested and verified?

Hardy's Axioms have been extensively tested and verified through experiments and observations in the field of quantum physics. These experiments have shown that the predictions made by the axioms are consistent with real-world quantum behavior. Additionally, the mathematical framework of the axioms has been validated through rigorous mathematical proofs and calculations.

4. What are some real-world applications of Hardy's Axioms?

Hardy's Axioms have numerous real-world applications, particularly in fields such as quantum computing, cryptography, and communication. By understanding the principles outlined in the axioms, scientists are able to develop new technologies and applications that harness the unique properties of quantum systems.

5. Are there any criticisms of Hardy's Axioms?

While Hardy's Axioms have been widely accepted and validated, there have been some criticisms of certain aspects of the framework. Some scientists argue that the axioms may not fully capture the complexity of quantum behavior, and that further developments and refinements may be necessary. However, overall, Hardy's Axioms have proven to be a valuable tool for understanding and advancing our knowledge of quantum theory.

Similar threads

Replies
2
Views
515
  • Quantum Physics
Replies
34
Views
3K
Replies
13
Views
1K
Replies
18
Views
436
  • Quantum Physics
Replies
4
Views
1K
Replies
44
Views
3K
  • Quantum Physics
Replies
5
Views
1K
Replies
15
Views
1K
Replies
5
Views
960
Back
Top