Search This Blog

Wednesday, June 22, 2022

Spin–statistics theorem

In quantum mechanics, the spin–statistics theorem relates the intrinsic spin of a particle (angular momentum not due to the orbital motion) to the particle statistics it obeys. In units of the reduced Planck constant ħ, all particles that move in 3 dimensions have either integer spin or half-integer spin.

Background

Quantum states and indistinguishable particles

In a quantum system, a physical state is described by a state vector. A pair of distinct state vectors are physically equivalent if they differ only by an overall phase factor, ignoring other interactions. A pair of indistinguishable particles such as this have only one state. This means that if the positions of the particles are exchanged (i.e., they undergo a permutation), this does not identify a new physical state, but rather one matching the original physical state. In fact, one cannot tell which particle is in which position.

While the physical state does not change under the exchange of the particles' positions, it is possible for the state vector to change sign as a result of an exchange. Since this sign change is just an overall phase, this does not affect the physical state.

The essential ingredient in proving the spin-statistics relation is relativity, that the physical laws do not change under Lorentz transformations. The field operators transform under Lorentz transformations according to the spin of the particle that they create, by definition.

Additionally, the assumption (known as microcausality) that spacelike separated fields either commute or anticommute can be made only for relativistic theories with a time direction. Otherwise, the notion of being spacelike is meaningless. However, the proof involves looking at a Euclidean version of spacetime, in which the time direction is treated as a spatial one, as will be now explained.

Lorentz transformations include 3-dimensional rotations as well as boosts. A boost transfers to a frame of reference with a different velocity, and is mathematically like a rotation into time. By analytic continuation of the correlation functions of a quantum field theory, the time coordinate may become imaginary, and then boosts become rotations. The new "spacetime" has only spatial directions and is termed Euclidean.

Exchange symmetry or permutation symmetry

Bosons are particles whose wavefunction is symmetric under such an exchange or permutation, so if we swap the particles the wavefunction does not change. Fermions are particles whose wavefunction is antisymmetric, so under such a swap the wavefunction gets a minus sign, meaning that the amplitude for two identical fermions to occupy the same state must be zero. This is the Pauli exclusion principle: two identical fermions cannot occupy the same state. This rule does not hold for bosons.

In quantum field theory, a state or a wavefunction is described by field operators operating on some basic state called the vacuum. In order for the operators to project out the symmetric or antisymmetric component of the creating wavefunction, they must have the appropriate commutation law. The operator

(with an operator and a numerical function) creates a two-particle state with wavefunction , and depending on the commutation properties of the fields, either only the antisymmetric parts or the symmetric parts matter.

Let us assume that and the two operators take place at the same time; more generally, they may have spacelike separation, as is explained hereafter.

If the fields commute, meaning that the following holds:

,

then only the symmetric part of contributes, so that , and the field will create bosonic particles.

On the other hand, if the fields anti-commute, meaning that has the property that

then only the antisymmetric part of contributes, so that , and the particles will be fermionic.

Naively, neither has anything to do with the spin, which determines the rotation properties of the particles, not the exchange properties.

Spin–statistics relation

The spin–statistics relation was first formulated in 1939 by Markus Fierz and was rederived in a more systematic way by Wolfgang Pauli. Fierz and Pauli argued their result by enumerating all free field theories subject to the requirement that there be quadratic forms for locally commuting observables including a positive-definite energy density. A more conceptual argument was provided by Julian Schwinger in 1950. Richard Feynman gave a demonstration by demanding unitarity for scattering as an external potential is varied, which when translated to field language is a condition on the quadratic operator that couples to the potential.

Theorem statement

The theorem states that:

  • The wave function of a system of identical integer-spin particles has the same value when the positions of any two particles are swapped. Particles with wave functions symmetric under exchange are called bosons.
  • The wave function of a system of identical half-integer–spin particles changes sign when two particles are swapped. Particles with wave functions antisymmetric under exchange are called fermions.

In other words, the spin–statistics theorem states that integer-spin particles are bosons, while half-integer–spin particles are fermions.

General discussion

Suggestive bogus argument

Consider the two-field operator product

where R is the matrix that rotates the spin polarization of the field by 180 degrees when one does a 180-degree rotation around some particular axis. The components of are not shown in this notation. has many components, and the matrix R mixes them up with one another.

In a non-relativistic theory, this product can be interpreted as annihilating two particles at positions and with polarizations that are rotated by relative to each other. Now rotate this configuration by around the origin. Under this rotation, the two points and switch places, and the two field polarizations are additionally rotated by a . So we get

which for integer spin is equal to

and for half-integer spin is equal to

(proved at Spin (physics) § Rotations). Both the operators still annihilate two particles at and . Hence we claim to have shown that, with respect to particle states:

So exchanging the order of two appropriately polarized operator insertions into the vacuum can be done by a rotation, at the cost of a sign in the half-integer case.

This argument by itself does not prove anything like the spin–statistics relation. To see why, consider a nonrelativistic spin-0 field described by a free Schrödinger equation. Such a field can be anticommuting or commuting. To see where it fails, consider that a nonrelativistic spin-0 field has no polarization, so that the product above is simply:

In the nonrelativistic theory, this product annihilates two particles at and , and has zero expectation value in any state. In order to have a nonzero matrix element, this operator product must be between states with two more particles on the right than on the left:

Performing the rotation, all that we learn is that rotating the 2-particle state gives the same sign as changing the operator order. This gives no additional information, so this argument does not prove anything.

Why the bogus argument fails

To prove the spin–statistics theorem, it is necessary to use relativity, as is obvious from the consistency of the nonrelativistic spinless fermion, and the nonrelativistic spinning bosons. There are claims in the literature of proofs of the spin–statistics theorem that do not require relativity, but they are not proofs of a theorem, as the counterexamples show, rather they are arguments for why spin–statistics is "natural", while wrong-statistics is "unnatural". In relativity, the connection is required.

In relativity, there are no local fields that are pure creation operators or annihilation operators. Every local field both creates particles and annihilates the corresponding antiparticle. This means that in relativity, the product of the free real spin-0 field has a nonzero vacuum expectation value, because in addition to creating particles which are not annihilated and annihilating particles which are not subsequently created, it also includes a part that creates and annihilates "virtual" particles whose existence enters into interaction calculations – but never as scattering matrix indices or asymptotic states.

And now the heuristic argument can be used to see that is equal to , which tells us that the fields cannot be anti-commuting.

Proof

A π rotation in the Euclidean xt plane can be used to rotate vacuum expectation values of the field product of the previous section. The time rotation turns the argument of the previous section into the spin–statistics theorem.

The proof requires the following assumptions:

  1. The theory has a Lorentz-invariant Lagrangian.
  2. The vacuum is Lorentz-invariant.
  3. The particle is a localized excitation. Microscopically, it is not attached to a string or domain wall.
  4. The particle is propagating, meaning that it has a finite, not infinite, mass.
  5. The particle is a real excitation, meaning that states containing this particle have a positive-definite norm.

These assumptions are for the most part necessary, as the following examples show:

  1. The spinless anticommuting field shows that spinless fermions are nonrelativistically consistent. Likewise, the theory of a spinor commuting field shows that spinning bosons are too.
  2. This assumption may be weakened.
  3. In 2+1 dimensions, sources for the Chern–Simons theory can have exotic spins, despite the fact that the three-dimensional rotation group has only integer and half-integer spin representations.
  4. An ultralocal field can have either statistics independently of its spin. This is related to Lorentz invariance, since an infinitely massive particle is always nonrelativistic, and the spin decouples from the dynamics. Although colored quarks are attached to a QCD string and have infinite mass, the spin–statistics relation for quarks can be proved in the short distance limit.
  5. Gauge ghosts are spinless fermions, but they include states of negative norm.

Assumptions 1 and 2 imply that the theory is described by a path integral, and assumption 3 implies that there is a local field which creates the particle.

The rotation plane includes time, and a rotation in a plane involving time in the Euclidean theory defines a CPT transformation in the Minkowski theory. If the theory is described by a path integral, a CPT transformation takes states to their conjugates, so that the correlation function

must be positive definite at x=0 by assumption 5, the particle states have positive norm. The assumption of finite mass implies that this correlation function is nonzero for x spacelike. Lorentz invariance now allows the fields to be rotated inside the correlation function in the manner of the argument of the previous section:

Where the sign depends on the spin, as before. The CPT invariance, or Euclidean rotational invariance, of the correlation function guarantees that this is equal to G(x). So

for integer-spin fields and
for half-integer–spin fields.

Since the operators are spacelike separated, a different order can only create states that differ by a phase. The argument fixes the phase to be −1 or 1 according to the spin. Since it is possible to rotate the space-like separated polarizations independently by local perturbations, the phase should not depend on the polarization in appropriately chosen field coordinates.

This argument is due to Julian Schwinger.

An elementary explanation for the spin-statistics theorem cannot be given despite the fact that the theorem is so simple to state. In the Feynman Lectures on Physics, Richard Feynman said that this probably means that we do not have a complete understanding of the fundamental principle involved. see Further reading below.

To test the theorem, Drake carried out very precise calculations for states of the He atom that violate the Pauli exclusion principle; they are called paronic states. Later, the paronic state 1s2s 1S0 calculated by Drake was looked for using an atomic beam spectrometer. The search was unsuccessful with an upper limit of 5×10−6.

Consequences

Fermionic fields

The spin–statistics theorem implies that half-integer–spin particles are subject to the Pauli exclusion principle, while integer-spin particles are not. Only one fermion can occupy a given quantum state at any time, while the number of bosons that can occupy a quantum state is not restricted. The basic building blocks of matter such as protons, neutrons, and electrons are fermions. Particles such as the photon, which mediate forces between matter particles, are bosons.

The Fermi–Dirac distribution describing fermions leads to interesting properties. Since only one fermion can occupy a given quantum state, the lowest single-particle energy level for spin-1/2 fermions contains at most two particles, with the spins of the particles oppositely aligned. Thus, even at absolute zero, a system of more than two fermions in this case still has a significant amount of energy. As a result, such a fermionic system exerts an outward pressure. Even at non-zero temperatures, such a pressure can exist. This degeneracy pressure is responsible for keeping certain massive stars from collapsing due to gravity. See white dwarf, neutron star, and black hole.

Bosonic fields

There are a couple of interesting phenomena arising from the two types of statistics. The Bose–Einstein distribution which describes bosons leads to Bose–Einstein condensation. Below a certain temperature, most of the particles in a bosonic system will occupy the ground state (the state of lowest energy). Unusual properties such as superfluidity can result.

Ghost fields

Ghost fields do not obey the spin–statistics relation. See Klein transformation on how to patch up a loophole in the theorem.

Relation to representation theory of the Lorentz group

The Lorentz group has no non-trivial unitary representations of finite dimension. Thus it seems impossible to construct a Hilbert space in which all states have finite, non-zero spin and positive, Lorentz-invariant norm. This problem is overcome in different ways depending on particle spin–statistics.

For a state of integer spin the negative norm states (known as "unphysical polarization") are set to zero, which makes the use of gauge symmetry necessary.

For a state of half-integer spin the argument can be circumvented by having fermionic statistics.

Limitations: anyons in 2 dimensions

In 1982, physicist Frank Wilczek published a research paper on the possibilities of possible fractional-spin particles, which he termed anyons from their ability to take on "any" spin. He wrote that they were theoretically predicted to arise in low-dimensional systems where motion is restricted to fewer than three spatial dimensions. Wilczek described their spin statistics as "interpolating continuously between the usual boson and fermion cases". Evidence for the existence of anyons has been presented experimentally from 1985 through 2013, although it is not considered definitively established that all proposed kinds of anyons exist. Anyons are related to braid symmetry and topological states of matter.

Tuesday, June 21, 2022

Valence (chemistry)

From Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Valence_(chemistry)

In chemistry, the valence (US spelling) or valency (British spelling) of an element is the measure of its combining capacity with other atoms when it forms chemical compounds or molecules.

Description

The combining capacity, or affinity of an atom of a given element is determined by the number of hydrogen atoms that it combines with. In methane, carbon has a valence of 4; in ammonia, nitrogen has a valence of 3; in water, oxygen has a valence of 2; and in hydrogen chloride, chlorine has a valence of 1. Chlorine, as it has a valence of one, can be substituted for hydrogen. Phosphorus has a valence of 5 in phosphorus pentachloride, PCl5. Valence diagrams of a compound represent the connectivity of the elements, with lines drawn between two elements, sometimes called bonds, representing a saturated valency for each element. The two tables below show some examples of different compounds, their valence diagrams, and the valences for each element of the compound.

Compound H2
Hydrogen
CH4
Methane
C3H8
Propane
C2H2
Acetylene
Diagram Wasserstoff.svg Methane-2D-flat-small.png Propane-2D-flat.png Ethyne-2D-flat.png
Valencies
  • Hydrogen: 1
  • Carbon: 4
  • Hydrogen: 1
  • Carbon: 4
  • Hydrogen: 1
  • Carbon: 4
  • Hydrogen: 1

Compound NH3
Ammonia
NaCN
Sodium cyanide
H2S
Hydrogen sulfide
H2SO4
Sulfuric acid
Cl2O7
Dichlorine heptoxide
XeO4
Xenon tetroxide
Diagram Ammoniak.png Sodium cyanide-2D.svg Hydrogen sulfide.svg Sulfuric acid chemical structure.png Dichlorine heptoxide.svg Xenon-tetroxide-2D.png
Valencies
  • Nitrogen: 3
  • Hydrogen: 1
  • Sodium: 1
  • Carbon: 4
  • Nitrogen: 3
  • Sulfur: 2
  • Hydrogen: 1
  • Sulfur: 6
  • Oxygen: 2
  • Hydrogen: 1
  • Chlorine: 7
  • Oxygen: 2
  • Xenon: 8
  • Oxygen: 2

Modern definitions

Valence is defined by the IUPAC as:

The maximum number of univalent atoms (originally hydrogen or chlorine atoms) that may combine with an atom of the element under consideration, or with a fragment, or for which an atom of this element can be substituted.

An alternative modern description is:

The number of hydrogen atoms that can combine with an element in a binary hydride or twice the number of oxygen atoms combining with an element in its oxide or oxides.

This definition differs from the IUPAC definition as an element can be said to have more than one valence.

A very similar modern definition given in a recent article defines the valence of a particular atom in a molecule as "the number of electrons that an atom uses in bonding", with two equivalent formulas for calculating valence:

valence = number of electrons in valence shell of free atomnumber of non-bonding electrons on atom in molecule,

and

valence = number of bonds + formal charge.

Historical development

The etymology of the words valence (plural valences) and valency (plural valencies) traces back to 1425, meaning "extract, preparation", from Latin valentia "strength, capacity", from the earlier valor "worth, value", and the chemical meaning referring to the "combining power of an element" is recorded from 1884, from German Valenz.

William Higgins' combinations of ultimate particles (1789)

The concept of valence was developed in the second half of the 19th century and helped successfully explain the molecular structure of inorganic and organic compounds. The quest for the underlying causes of valence led to the modern theories of chemical bonding, including the cubical atom (1902), Lewis structures (1916), valence bond theory (1927), molecular orbitals (1928), valence shell electron pair repulsion theory (1958), and all of the advanced methods of quantum chemistry.

In 1789, William Higgins published views on what he called combinations of "ultimate" particles, which foreshadowed the concept of valency bonds. If, for example, according to Higgins, the force between the ultimate particle of oxygen and the ultimate particle of nitrogen were 6, then the strength of the force would be divided accordingly, and likewise for the other combinations of ultimate particles (see illustration).

The exact inception, however, of the theory of chemical valencies can be traced to an 1852 paper by Edward Frankland, in which he combined the older radical theory with thoughts on chemical affinity to show that certain elements have the tendency to combine with other elements to form compounds containing 3, i.e., in the 3-atom groups (e.g., NO3, NH3, NI3, etc.) or 5, i.e., in the 5-atom groups (e.g., NO5, NH4O, PO5, etc.), equivalents of the attached elements. According to him, this is the manner in which their affinities are best satisfied, and by following these examples and postulates, he declares how obvious it is that

A tendency or law prevails (here), and that, no matter what the characters of the uniting atoms may be, the combining power of the attracting element, if I may be allowed the term, is always satisfied by the same number of these atoms.

This “combining power” was afterwards called quantivalence or valency (and valence by American chemists). In 1857 August Kekulé proposed fixed valences for many elements, such as 4 for carbon, and used them to propose structural formulas for many organic molecules, which are still accepted today.

Most 19th-century chemists defined the valence of an element as the number of its bonds without distinguishing different types of valence or of bond. However, in 1893 Alfred Werner described transition metal coordination complexes such as [Co(NH3)6]Cl3, in which he distinguished principal and subsidiary valences (German: 'Hauptvalenz' and 'Nebenvalenz'), corresponding to the modern concepts of oxidation state and coordination number respectively.

For main-group elements, in 1904 Richard Abegg considered positive and negative valences (maximal and minimal oxidation states), and proposed Abegg's rule to the effect that their difference is often 8.

Electrons and valence

The Rutherford model of the nuclear atom (1911) showed that the exterior of an atom is occupied by electrons, which suggests that electrons are responsible for the interaction of atoms and the formation of chemical bonds. In 1916, Gilbert N. Lewis explained valence and chemical bonding in terms of a tendency of (main-group) atoms to achieve a stable octet of 8 valence-shell electrons. According to Lewis, covalent bonding leads to octets by the sharing of electrons, and ionic bonding leads to octets by the transfer of electrons from one atom to the other. The term covalence is attributed to Irving Langmuir, who stated in 1919 that "the number of pairs of electrons which any given atom shares with the adjacent atoms is called the covalence of that atom". The prefix co- means "together", so that a co-valent bond means that the atoms share a valence. Subsequent to that, it is now more common to speak of covalent bonds rather than valence, which has fallen out of use in higher-level work from the advances in the theory of chemical bonding, but it is still widely used in elementary studies, where it provides a heuristic introduction to the subject.

In the 1930s, Linus Pauling proposed that there are also polar covalent bonds, which are intermediate between covalent and ionic, and that the degree of ionic character depends on the difference of electronegativity of the two bonded atoms.

Pauling also considered hypervalent molecules, in which main-group elements have apparent valences greater than the maximal of 4 allowed by the octet rule. For example, in the sulfur hexafluoride molecule (SF6), Pauling considered that the sulfur forms 6 true two-electron bonds using sp3d2 hybrid atomic orbitals, which combine one s, three p and two d orbitals. However more recently, quantum-mechanical calculations on this and similar molecules have shown that the role of d orbitals in the bonding is minimal, and that the SF6 molecule should be described as having 6 polar covalent (partly ionic) bonds made from only four orbitals on sulfur (one s and three p) in accordance with the octet rule, together with six orbitals on the fluorines. Similar calculations on transition-metal molecules show that the role of p orbitals is minor, so that one s and five d orbitals on the metal are sufficient to describe the bonding.

Common valences

For elements in the main groups of the periodic table, the valence can vary between 1 and 7.

Group Valence 1 Valence 2 Valence 3 Valence 4 Valence 5 Valence 6 Valence 7 Valence 8 Typical valences
1 (I) NaCl






1
2 (II)
MgCl2





2
13 (III)

BCl3
AlCl3
Al2O3





3
14 (IV)
CO
CH4



4
15 (V)
NO NH3
PH3
As2O3
NO2 N2O5
PCl5



3 and 5
16 (VI)
H2O
H2S

SO2
SO3

2 and 6
17 (VII) HCl
HClO2 ClO2 HClO3
Cl2O7
1 and 7
18 (VIII)






XeO4 8

Many elements have a common valence related to their position in the periodic table, and nowadays this is rationalised by the octet rule. The Greek/Latin numeral prefixes (mono-/uni-, di-/bi-, tri-/ter-, and so on) are used to describe ions in the charge states 1, 2, 3, and so on, respectively. Polyvalence or multivalence refers to species that are not restricted to a specific number of valence bonds. Species with a single charge are univalent (monovalent). For example, the Cs+ cation is a univalent or monovalent cation, whereas the Ca2+ cation is a divalent cation, and the Fe3+ cation is a trivalent cation. Unlike Cs and Ca, Fe can also exist in other charge states, notably 2+ and 4+, and is thus known as a multivalent (polyvalent) ion. Transition metals and metals to the right are typically multivalent but there is no simple pattern predicting their valency.

Valence adjectives using the -valent suffix†
Valence More common adjective‡ Less common synonymous adjective‡§
0-valent zerovalent nonvalent
1-valent monovalent univalent
2-valent divalent bivalent
3-valent trivalent tervalent
4-valent tetravalent quadrivalent
5-valent pentavalent quinquevalent / quinquivalent
6-valent hexavalent sexivalent
7-valent heptavalent septivalent
8-valent octavalent
9-valent nonavalent
10-valent decavalent
multiple / many / variable polyvalent multivalent
together covalent
not together noncovalent

† The same adjectives are also used in medicine to refer to vaccine valence, with the slight difference that in the latter sense, quadri- is more common than tetra-.

‡ As demonstrated by hit counts in Google web search and Google Books search corpora (accessed 2017).

§ A few other forms can be found in large English-language corpora (for example, *quintavalent, *quintivalent, *decivalent), but they are not the conventionally established forms in English and thus are not entered in major dictionaries.

Valence versus oxidation state

Because of the ambiguity of the term valence, other notations are currently preferred. Beside the system of oxidation states (also called oxidation numbers) as used in Stock nomenclature for coordination compounds, and the lambda notation, as used in the IUPAC nomenclature of inorganic chemistry, oxidation state is a more clear indication of the electronic state of atoms in a molecule.

The oxidation state of an atom in a molecule gives the number of valence electrons it has gained or lost. In contrast to the valency number, the oxidation state can be positive (for an electropositive atom) or negative (for an electronegative atom).

Elements in a high oxidation state can have a valence higher than four. For example, in perchlorates, chlorine has seven valence bonds; ruthenium, in the +8 oxidation state in ruthenium tetroxide, has eight valence bonds.

Examples

Variation of valence vs oxidation state for bonds between two different elements
Compound Formula Valence Oxidation state
Hydrogen chloride HCl H = 1   Cl = 1 H = +1   Cl = −1
Perchloric acid * HClO4 H = 1   Cl = 7   O = 2 H = +1   Cl = +7   O = −2
Sodium hydride NaH Na = 1   H = 1 Na = +1   H = −1
Ferrous oxide ** FeO Fe = 2   O = 2 Fe = +2   O = −2
Ferric oxide ** Fe2O3 Fe = 3   O = 2 Fe = +3   O = −2

* The univalent perchlorate ion (ClO
4
) has valence 1.
** Iron oxide appears in a crystal structure, so no typical molecule can be identified.
 In ferrous oxide, Fe has oxidation state II; in ferric oxide, oxidation state III.

Variation of valence vs oxidation state for bonds between two atoms of the same element
Compound Formula Valence Oxidation state
Chlorine Cl2 Cl = 1 Cl = 0
Hydrogen peroxide H2O2 H = 1   O = 2 H = +1   O = −1
Acetylene C2H2 C = 4   H = 1 C = −1   H = +1
Mercury(I) chloride Hg2Cl2 Hg = 2   Cl = 1 Hg = +1   Cl = −1

Valences may also be different from absolute values of oxidation states due to different polarity of bonds. For example, in dichloromethane, CH2Cl2, carbon has valence 4 but oxidation state 0.

"Maximum number of bonds" definition

Frankland took the view that the valence (he used the term "atomicity") of an element was a single value that corresponded to the maximum value observed. The number of unused valencies on atoms of what are now called the p-block elements is generally even, and Frankland suggested that the unused valencies saturated one another. For example, nitrogen has a maximum valence of 5, in forming ammonia two valencies are left unattached; sulfur has a maximum valence of 6, in forming hydrogen sulphide four valencies are left unattached.

The International Union of Pure and Applied Chemistry (IUPAC) has made several attempts to arrive at an unambiguous definition of valence. The current version, adopted in 1994:

The maximum number of univalent atoms (originally hydrogen or chlorine atoms) that may combine with an atom of the element under consideration, or with a fragment, or for which an atom of this element can be substituted.

Hydrogen and chlorine were originally used as examples of univalent atoms, because of their nature to form only one single bond. Hydrogen has only one valence electron and can form only one bond with an atom that has an incomplete outer shell. Chlorine has seven valence electrons and can form only one bond with an atom that donates a valence electron to complete chlorine's outer shell. However, chlorine can also have oxidation states from +1 to +7 and can form more than one bond by donating valence electrons.

Hydrogen has only one valence electron, but it can form bonds with more than one atom. In the bifluoride ion ([HF
2
]
), for example, it forms a three-center four-electron bond with two fluoride atoms:

[ F–H F ↔ F H–F ]

Another example is the Three-center two-electron bond in diborane (B2H6).

Right to property

From Wikipedia, the free encyclopedia https://en.wikipedia.org/wiki/Right_to_property The right to property , or the right to own property ...