Most recent edit on 2008-08-13 03:43:01 by CharlesFrancis
Additions:
← States of Many Particles ↑ →
Let H0 be the space spanned by 
. H0 is a one dimensional vector space. Because multiplication by scalars only has meaning in association with the weighting in OR, there is no difference in meaning between member clauses, 
, of H0.
In practice we may not know how many particles there are, and the number of particles may be subject to change. To accommodate this within the structure of vector space we form a direct sum». A direct sum means that we take a set of all the basis elements of all the spaces, Hn, and use it as a basis for a new vector space by introducing new operations of addition and multiplication space, while maintaining compatibility with existing addition and multiplication by scalars. In terms of the formal language this means we can make statements about an uncertain number of particles, using weighted logical "OR, “If, for each of n or m particles, but more likely n than m, …”, etc.
The Pauli exclusion principle is the major principle responsible for the structures of matter in our environment. It is the reason for the structure of electron shells» around the nucleus of the atom, the reason solid objects cannot occupy the same position in space, and the reason why gas particles rebound of each other and generate the gas laws». It also governs the behaviour of stars when thermonuclear combustion ceases, leading to white dwarfs» supported by the exclusion principle between electrons (electron degeneracy pressure), and to neutron stars» supported by the exclusion principle between neutrons (neutron degeneracy pressure).
Deletions:
← States of Many Particles →
Let H0 be the space spanned by . H0 is a one dimensional vector space. Because multiplication by scalars only has meaning in association with the weighting in OR, there is no difference in meaning between member clauses, , of H0.
In practice we may not know how many particles there are, and the number of particles may be subject to change. To accommodate this within the structure of vector space we form a direct sum». A direct sum means that we take a set of all the basis elements of all the spaces, Hn, and use it as a basis for a new vector space by introducing new operations of addition and multiplication space, while maintaining compatibility with existing addition and multiplication by scalars. In terms of the formal language this means we can make statements about an uncertain number of particles, using weighted logical OR, “If, for each of n or m particles, but more likely n than m, …”, etc.
The Pauli exclusion principle is the major principle responsible for the structures of matter in our environment. It is the reason for the structure of electron shells» around the nucleus of the atom, the reason solid objects cannot occupy the same position in space, and the reason why gas particles rebound off each other and generate the gas laws». It also governs the behaviour of stars when thermonuclear combustion ceases, leading to white dwarfs» supported by the exclusion principle between electrons (electron degeneracy pressure), and to neutron stars» supported by the exclusion principle between neutrons (neutron degeneracy pressure).
Edited on 2008-05-02 19:38:53 by ErikAnderson [Typo fix: why gas particles rebound _off_ each other]
Additions:
The Pauli exclusion principle is the major principle responsible for the structures of matter in our environment. It is the reason for the structure of electron shells» around the nucleus of the atom, the reason solid objects cannot occupy the same position in space, and the reason why gas particles rebound off each other and generate the gas laws». It also governs the behaviour of stars when thermonuclear combustion ceases, leading to white dwarfs» supported by the exclusion principle between electrons (electron degeneracy pressure), and to neutron stars» supported by the exclusion principle between neutrons (neutron degeneracy pressure).
Deletions:
The Pauli exclusion principle is the major principle responsible for the structures of matter in our environment. It is the reason for the structure of electron shells» around the nucleus of the atom, the reason solid objects cannot occupy the same position in space, and the reason why gas particles rebound of each other and generate the gas laws». It also governs the behaviour of stars when thermonuclear combustion ceases, leading to white dwarfs» supported by the exclusion principle between electrons (electron degeneracy pressure), and to neutron stars» supported by the exclusion principle between neutrons (neutron degeneracy pressure).
Edited on 2008-01-08 02:34:21 by CharlesFrancis
Additions:
Deletions:
Edited on 2008-01-08 02:30:15 by CharlesFrancis
Additions:
The underlying idea is simple. Formal clauses are combined using the tensor product to model logical conjunction, AND. The resulting structure, Fock space», contains clauses about the hypothetical measurement of all the particles under consideration, and allows that particles of the same type are indistinguishable from each other. 
, means “if measured position of the first particle were x and measured position of the second particle were y…”.
For identical particles», there is no way of telling which is which in a measurement. Switching identical particles makes no difference to the physical situation. We extend the language to cover this situation. For a two particle system
and 
are both TRUE,
So, κ2 = 1, and κ = ±1. The value of κ is said to determine the statistics» of the type of particle under study. κ = 1 determines Bose-Einstein statistics», and κ = −1 determines Fermi-Dirac» statistics.
The sum of symmetric states is again a symmetric state, and likewise the sum of antisymmetric states is an antisymmetric state. Multiplication by a scalar also does not affect symmetry. So, for any states 
and 
in H1, we have
The Pauli exclusion principle is the major principle responsible for the structures of matter in our environment. It is the reason for the structure of electron shells» around the nucleus of the atom, the reason solid objects cannot occupy the same position in space, and the reason why gas particles rebound of each other and generate the gas laws». It also governs the behaviour of stars when thermonuclear combustion ceases, leading to white dwarfs» supported by the exclusion principle between electrons (electron degeneracy pressure), and to neutron stars» supported by the exclusion principle between neutrons (neutron degeneracy pressure).
Deletions:
The underlying idea is simple. Formal clauses are combined using the tensor product to model logical conjunction, AND. The resulting structure, Fock space», contains clauses about the hypothetical measurement of all the particles under consideration, and allows that particles of the same type are indistinguishable from each other. For clarity I will suppress spin indices.
To describe states of many particles, the hypothetical measurements must be able to detect all the particles in a system. In this case the results are described using grammatical or logical conjunction, AND. A natural structure for clauses ANDing the results of measurement for several particles is provided by the tensor product. Thus the tensor, , means “if measured position of the first particle were x and measured position of the second particle were y…”.
If particles are identical», there is no way of telling which is which in a measurement. We extend the language to cover this situation:
Switching the particles makes no difference. For a two particle system
and are both <true>. So, κ2 = 1, and κ = ±1. The value of κ is said to determine the statistics» of the type of particle under study. κ = 1 determines Bose-Einstein statistics» and κ = −1 determines Fermi-Dirac» statistics.
The sum of symmetric states is again a symmetric state, and likewise the sum of antisymmetric states is an antisymmetric state. Multiplication by a scalar also does not affect symmetry. So, for any states and in H1 we have
The Pauli exclusion principle is the major principle responsible for the structures of matter in our environment. It is the reason for the structure of electron shells» around the nucleus of the atom, the reason solid objects cannot occupy the same position in space, and the reason why gas particles rebound of each other and generate the gas laws». It also governs the behaviour of stars when thermonuclear combustion ceases, leading to white dwarfs» supported by the exclusion principle between electrons (degenerate electron pressure) and neutron stars» supported by the exclusion principle between neutrons (degenerate neutron pressure).
Edited on 2008-01-08 01:03:33 by CharlesFrancis
Additions:
← States of Many Particles →
The underlying idea is simple. Formal clauses are combined using the tensor product to model logical conjunction,
AND. The resulting structure,
Fock space», contains clauses about the hypothetical measurement of all the particles under consideration, and allows that particles of the same type are indistinguishable from each other. For clarity I will suppress spin indices.
It follows at once that for Fermions.
Definition: For any 
in H1(t), the annihilation operator 
is the Hermitian conjugate of the creation operator 
, 
.
Deletions:
← States of Many Particles →
The underlying idea is simple. Formal clauses are combined using the tensor product to model logical conjunction,
AND. The resulting structure,
Fock space», contains clauses about the hypothetical measurement of all the particles under consideration, and allows that particles of the same type are indistinguishable from each other.
It follows at once that for fermions.
Definition: For any in H1(t), the annihilation operator is the Hermitian conjugate of the creation operator , .
Edited on 2008-01-04 00:35:32 by CharlesFrancis
Additions:
The sum of symmetric states is again a symmetric state, and likewise the sum of antisymmetric states is an antisymmetric state. Multiplication by a scalar also does not affect symmetry. So, for any states and in H1 we have
The Pauli exclusion principle: No two Fermions may occupy the same quantum state.
Deletions:
The sum of symmetric states is again a symmetric state, and likewise the sum of antisymmetric states is an antisymmetric state. Multiplication by a scalar also does not affect symmetry. So, for any states , in H1 we have
The Pauli exclusion principle: No two Fermions may occupy the same quantum state.
Edited on 2008-01-04 00:07:09 by CharlesFrancis
Additions:
The Pauli exclusion principle is the major principle responsible for the structures of matter in our environment. It is the reason for the structure of electron shells» around the nucleus of the atom, the reason solid objects cannot occupy the same position in space, and the reason why gas particles rebound of each other and generate the gas laws». It also governs the behaviour of stars when thermonuclear combustion ceases, leading to white dwarfs» supported by the exclusion principle between electrons (degenerate electron pressure) and neutron stars» supported by the exclusion principle between neutrons (degenerate neutron pressure).
Deletions:
The Pauli exclusion principle is the major principle responsible for the structures of matter in our environment. It is the reason for the structure of electron shells» around the nucleus of the atom, and the reason solid objects cannot occupy the same position in space, and the reason why gas particles rebound of each other and generate the gas laws». It also governs the behaviour of stars when thermonuclear combustion ceases, leading to white dwarfs» supported by the exclusion principle between electrons (degenerate electron pressure) and neutron stars» supported by the exclusion principle between neutrons (degenerate neutron pressure).
Edited on 2008-01-04 00:04:46 by CharlesFrancis
Additions:
The Pauli exclusion principle: No two Fermions may occupy the same quantum state.
Deletions:
The Pauli Exclusion Principle: No two Fermions may occupy the same quantum state.
Edited on 2008-01-04 00:03:41 by CharlesFrancis
Additions:
The Pauli Exclusion Principle: No two Fermions may occupy the same quantum state.
Deletions:
""<span class="math"><b>The Pauli Exclusion Principle:</i> No two Fermions may occupy the same quantum state.
Edited on 2008-01-04 00:02:41 by CharlesFrancis
Additions:
The sum of symmetric states is again a symmetric state, and likewise the sum of antisymmetric states is an antisymmetric state. Multiplication by a scalar also does not affect symmetry. So, for any states , in H1 we have
""<span class="math"><b>The Pauli Exclusion Principle:</i> No two Fermions may occupy the same quantum state.
Deletions:
The sum of symmetric states is again a symmetric state, and likewise the sum of antisymmetric states is an antisymmetric state. Multiplication by a scalar also does not affect symmetry. So, for any states , in H1 we have
The Pauli Exclusion Principle: No two Fermions may occupy the same quantum state.
The sum of symmetric states is again a symmetric state, and likewise the sum of antisymmetric states is an antisymmetric state. Multiplication by a scalar also does not affect symmetry. So, for any states
,
in H1 we have
Edited on 2008-01-03 23:57:45 by CharlesFrancis
Additions:
If particles are identical», there is no way of telling which is which in a measurement. We extend the language to cover this situation:
The sum of symmetric states is again a symmetric state, and likewise the sum of antisymmetric states is an antisymmetric state. Multiplication by a scalar also does not affect symmetry. So, for any states , in H1 we have
It follows at once that for fermions.
This is summarised in the Pauli exclusion principle».
The Pauli Exclusion Principle: No two Fermions may occupy the same quantum state.
The Pauli exclusion principle is the major principle responsible for the structures of matter in our environment. It is the reason for the structure of
electron shells» around the nucleus of the atom, and the reason solid objects cannot occupy the same position in space, and the reason why gas particles rebound of each other and generate the
gas laws». It also governs the behaviour of stars when thermonuclear combustion ceases, leading to
white dwarfs» supported by the exclusion principle between electrons (degenerate electron pressure) and
neutron stars» supported by the exclusion principle between neutrons (degenerate neutron pressure).
The Pauli Exclusion Principle
The sum of symmetric states is again a symmetric state, and likewise the sum of antisymmetric states is an antisymmetric state. Multiplication by a scalar also does not affect symmetry. So, for any states
,
in H1 we have
It follows at once that for fermions.
This is summarised in the
Pauli exclusion principle».
The Pauli exclusion principle is the major principle responsible for the structures of matter in our environment. It is the reason for the structure of electron shells» around the nucleus of the atom, and the reason solid objects cannot occupy the same position in space, and the reason why gas particles rebound of each other and generate the gas laws». It also governs the behaviour of stars when thermonuclear combustion ceases, leading to white dwarfs» supported by the exclusion principle between electrons (degenerate electron pressure) and neutron stars» supported by the exclusion principle between neutrons (degenerate neutron pressure).
Deletions:
If particles are identical, there is no way of telling which is which in a measurement. We extend the language to cover this situation:
Edited on 2007-12-31 01:55:48 by CharlesFrancis
Additions:
RULE VIa: The tensor 
is the formal conditional clause, “If, for each of n particles, measured position of the ith particle were xi , …”.
Deletions:
RULE VIa: The tensor is the formal conditional clause, “If, for each of n particles, measured position of the ith particle were xi, …”.
Edited on 2007-12-31 01:54:27 by CharlesFrancis
Additions:
and are both <true>. So, κ2 = 1, and κ = ±1. The value of κ is said to determine the statistics» of the type of particle under study. κ = 1 determines statistics» and κ = −1 determines http://en.wikipedia.org/wiki/Fermi-Dirac_statistics>Fermi-Dirac» statistics.
Deletions:
and are both <true>. So, <κ2 = 1, and κ = ±1. The value of κ is said to determine the statistics» of the type of particle under study. κ = 1 determines statistics» and κ = −1 determines http://en.wikipedia.org/wiki/Fermi-Dirac_statistics>Fermi-Dirac» statistics.
Edited on 2007-12-31 01:53:15 by CharlesFrancis
Additions:
and are both <true>. So, <κ2 = 1, and κ = ±1. The value of κ is said to determine the statistics» of the type of particle under study. κ = 1 determines statistics» and κ = −1 determines http://en.wikipedia.org/wiki/Fermi-Dirac_statistics>Fermi-Dirac» statistics.
Definition: Bosons» are particles with 
.
Definition: Fermions» are particles with 
.
Deletions:
and are both <true>. So, c2 = 1, and c = ±1. The value of c is said to determine the statistics» of the type of particle under study. c = 1 determines Bose-Einstein statistics and c = −1 determines Fermi-Dirac statistics.
Definition: Bosons are particles with .
Definition: Fermions are particles with .
Edited on 2007-12-31 01:25:59 by CharlesFrancis
Additions:
and are both <true>. So, c2 = 1, and c = ±1. The value of c is said to determine the statistics» of the type of particle under study. c = 1 determines Bose-Einstein statistics and c = −1 determines Fermi-Dirac statistics.
Definition: Bosons are particles with .
Definition: Fermions are particles with .
Parastatistics» have been considered for particles appearing in states of more than two particles. They may have applicability for
quarks», but go beyond anything considered here.
Deletions:
and are both <true>. So, c2 = 1, and c = ±1. The value of c is said to determine the statistics of the type of particle under study. c = 1 determines Bose-Einstein statistics and c = −1 determines Fermi-Dirac statistics.
Definition: Bosons are particles with .
Definition: Fermions are particles with .
Parastatistics» have been considered for particles appearing in states of more than two particles. They may have applicability for quarks, but go beyond anything considered here.
Edited on 2007-12-29 22:56:57 by CharlesFrancis
Additions:
← States of Many Particles →
Deletions:
← States of Many Particles →
Edited on 2007-12-28 20:45:21 by CharlesFrancis
Additions:
Creation and Annihilation Operators
Deletions:
Creation and Annihilation Operators
Edited on 2007-12-28 20:02:38 by CharlesFrancis
Additions:
← States of Many Particles →
Deletions:
← States of Many Particles →
Edited on 2007-12-24 23:38:41 by CharlesFrancis
Additions:
In interactions, particles may be created, as described by creation operators», and particles may be destroyed. The destruction of a particle in interaction is described by the action of an annihilation operator». A change of state of a particle can be described as the annihilation of one state and the creation of another. Thus, a complete description of any process in interaction can be achieved through combinations of creation and annihilation operators. Creation and annihilation operators are linear operators, and incorporate the idea that when a particle is created it is impossible to distinguish it from any existing particle of the same type, so that they automatically (anti)symmetrise states of identical particles. A creation operator is closely associated with the state which it creates, and will be denoted as a ket, with an underline to distinguish it from a state. I have found that this use of ket notation simplifies and clarifies many formulae in qed. By linearity, it is sufficient to define its action on basis states.
When a particle is created in a negative energy state, it goes backwards in time and the annihilation of an antiparticle is seen. Similarly the annihilation of a negative energy state is seen as the creation of an positive energy antiparticle. Creation and annihilation operators for antiparticles will play opposite roles to those for particles, and are designated with an overline.
Definition: Creation and anhilation operators for antiparticles are 
and 
respectively.
Deletions:
In interactions, particles may be created, as described by creation operators, and particles may be destroyed. The destruction of a particle in interaction is described by the action of an annihilation operator. A change of state of a particle can be described as the annihilation of one state and the creation of another. Thus, a complete description of any process in interaction can be achieved through combinations of creation and annihilation operators. Creation and annihilation operators are linear operators, and incorporate the idea that when a particle is created it is impossible to distinguish it from any existing particle of the same type, so that they automatically (anti)symmetrise states of identical particles. A creation operator is closely associated with the state which it creates, and will be denoted as a ket, with an undertilde to distinguish it from a state. I have found that this use of ket notation considerably simplifies and clarifies many formulae in qed. By linearity, it is sufficient to define its action on basis states.
← States of Many Particles →
The underlying idea is simple. Formal clauses are combined using the tensor product to model logical conjunction,
AND. The resulting structure,
Fock space», contains clauses about the hypothetical measurement of all the particles under consideration, and allows that particles of the same type are indistinguishable from each other.
The Vacuum State
So far the language of quantum logic has only been used to describe the result of hypothetical measurement of single particles. We also want to be able to describe situations with any number of particles, and the situation where there is no particle, namely the vacuum.
RULE Va: 
is the formal conditional clause, “If the first measurement were to find no particle, …”.
RULE Vb: 
is the formal consequential clause, “…, then a second measurement at the same time would find no particle”.
is the empty ket and is informally known as the vacuum state. Since this is a language to describe hypothetical measurement, we may assume that the results of both measurements are meaningful and accurate. The structure of quantum logic for single particles has already implicitly assumed that the hypothetical first and second measurements are measurements of the same particle. In real experiments this is not always the case. The separation of “noise” from genuine results is a problem which gives experimentalists no end of trouble, but it is not something which need concern us here. We want theory to describe only genuine results. The practical problems of comparing theory to experiment can safely be left to the experimentalist. Thus, we assume “perfect” measurement in which the finding of no particle means there actually is no particle, not that there might have been a particle but we failed to detect it. If the first measurement were to yield the vacuum state, so would the second.
Let H0 be the space spanned by . H0 is a one dimensional vector space. Because multiplication by scalars only has meaning in association with the weighting in OR, there is no difference in meaning between member clauses, , of H0.
Many Particles
To describe states of many particles, the hypothetical measurements must be able to detect all the particles in a system. In this case the results are described using grammatical or logical conjunction, AND. A natural structure for clauses ANDing the results of measurement for several particles is provided by the tensor product. Thus the tensor, , means “if measured position of the first particle were x and measured position of the second particle were y…”.
RULE VIa: The tensor is the formal conditional clause, “If, for each of n particles, measured position of the ith particle were xi, …”.
RULE VIb: The tensor 
is the formal consequential clause, “…, then, for each of n particles in a second measurement at the same time, the measured position of the ith particle would be xi”.
Definition: The space, Hn of kets for n particles is given by the tensor product,
In practice we may not know how many particles there are, and the number of particles may be subject to change. To accommodate this within the structure of vector space we form a direct sum». A direct sum means that we take a set of all the basis elements of all the spaces, Hn, and use it as a basis for a new vector space by introducing new operations of addition and multiplication space, while maintaining compatibility with existing addition and multiplication by scalars. In terms of the formal language this means we can make statements about an uncertain number of particles, using weighted logical OR, “If, for each of n or m particles, but more likely n than m, …”, etc.
Definition: The space of any number of particles is the direct sum,
As usual the sum means to a large value of n, greater than any number of particles we may actually wish to consider.
Independence of Particles in Measurement
Since an n particle state cannot be an m particle state, the braket between states of different numbers of particles is zero. For two n-particle states, 
and 
, the braket is given by the standard formula for the inner product of a tensor space,
Thus, the probability of the result of actual measurements on n particles factorises into n probabilities for the results of measurements on the particles individually,
In probability theory» this is the condition for statistical independence», and means that, in the absence of other constraints, particles behave independently of each other in measurement.
Identical Particles
If particles are identical, there is no way of telling which is which in a measurement. We extend the language to cover this situation:
RULE VII: In both a) and b), any particle could be in any position with equal likelihood:
a) 
is the formal conditional clause, “If, for n particles, measured positions were x1, x2, ..., xn, …”
b) 
, then is the formal consequential clause, “…, then, for n particles in a second measurement at the same time, measured positions would be x1, x2, ..., xn”.
Switching the particles makes no difference. For a two particle system
and are both <true>. So, c2 = 1, and c = ±1. The value of c is said to determine the statistics of the type of particle under study. c = 1 determines Bose-Einstein statistics and c = −1 determines Fermi-Dirac statistics.
Definition: Bosons are particles with .
Definition: Fermions are particles with .
Parastatistics» have been considered for particles appearing in states of more than two particles. They may have applicability for quarks, but go beyond anything considered here.
Since position states are a basis for H2,
.
, we find, for Bosons,
and for Fermions,
Definition: Fock space is
where S means that groups of tensor indices referring to the same type of particle are symmetrised for Bosons and antisymmetrised for Fermions.
Creation and Annihilation Operators
In interactions, particles may be created, as described by creation operators, and particles may be destroyed. The destruction of a particle in interaction is described by the action of an annihilation operator. A change of state of a particle can be described as the annihilation of one state and the creation of another. Thus, a complete description of any process in interaction can be achieved through combinations of creation and annihilation operators. Creation and annihilation operators are linear operators, and incorporate the idea that when a particle is created it is impossible to distinguish it from any existing particle of the same type, so that they automatically (anti)symmetrise states of identical particles. A creation operator is closely associated with the state which it creates, and will be denoted as a ket, with an undertilde to distinguish it from a state. I have found that this use of ket notation considerably simplifies and clarifies many formulae in qed. By linearity, it is sufficient to define its action on basis states.
Definition: For any basis states of the same type of particle, 
in H1(t), the creation operator 
is given by:
where + is used for Bosons, − is used for Fermions, and 
is void.
Definition: For any 
in H1(t), a creation operator is defined by linearity,
Definition: For any in H1(t), the annihilation operator is the Hermitian conjugate of the creation operator , .
States of Many Particles ↑ Particle Interactions →
