|
Griffiths Inequality
In statistical mechanics, the Griffiths inequality, sometimes also called Griffiths–Kelly–Sherman inequality or GKS inequality, named after Robert B. Griffiths, is a correlation inequality for ferromagnetic spin systems. Informally, it says that in ferromagnetic spin systems, if the 'a-priori distribution' of the spin is invariant under spin flipping, the correlation of any monomial of the spins is non-negative; and the two point correlation of two monomial of the spins is non-negative. The inequality was proved by Griffiths for Ising ferromagnets with two-body interactions, then generalised by Kelly and Sherman to interactions involving an arbitrary number of spins, and then by Griffiths to systems with arbitrary spins. A more general formulation was given by Ginibre, and is now called the Ginibre inequality. Definitions Let \textstyle \sigma=\_ be a configuration of (continuous or discrete) spins on a lattice ''Λ''. If ''A'' ⊂ ''Λ'' is a list of lattice sites, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Statistical Mechanics
In physics, statistical mechanics is a mathematical framework that applies statistical methods and probability theory to large assemblies of microscopic entities. Sometimes called statistical physics or statistical thermodynamics, its applications include many problems in a wide variety of fields such as biology, neuroscience, computer science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ..., information theory and sociology. Its main purpose is to clarify the properties of matter in aggregate, in terms of physical laws governing atomic motion. Statistical mechanics arose out of the development of classical thermodynamics, a field for which it was successful in explaining macroscopic physical properties—such as temperature, pressure, and heat capacity—in terms of microscop ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Positive-definite Function
In mathematics, a positive-definite function is, depending on the context, either of two types of function. Definition 1 Let \mathbb be the set of real numbers and \mathbb be the set of complex numbers. A function f: \mathbb \to \mathbb is called ''positive semi-definite'' if for all real numbers ''x''1, …, ''x''''n'' the ''n'' × ''n'' matrix : A = \left(a_\right)_^n~, \quad a_ = f(x_i - x_j) is a positive ''semi-''definite matrix. By definition, a positive semi-definite matrix, such as A, is Hermitian; therefore ''f''(−''x'') is the complex conjugate of ''f''(''x'')). In particular, it is necessary (but not sufficient) that : f(0) \geq 0~, \quad , f(x), \leq f(0) (these inequalities follow from the condition for ''n'' = 1, 2.) A function is ''negative semi-definite'' if the inequality is reversed. A function is ''definite'' if the weak inequality is replaced with a strong ( 0). Examples If (X, \langle \cdot, \cdot \rangle) is a real inner prod ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Phase Transition
In physics, chemistry, and other related fields like biology, a phase transition (or phase change) is the physical process of transition between one state of a medium and another. Commonly the term is used to refer to changes among the basic State of matter, states of matter: solid, liquid, and gas, and in rare cases, plasma (physics), plasma. A phase of a thermodynamic system and the states of matter have uniform physical property, physical properties. During a phase transition of a given medium, certain properties of the medium change as a result of the change of external conditions, such as temperature or pressure. This can be a discontinuous change; for example, a liquid may become gas upon heating to its boiling point, resulting in an abrupt change in volume. The identification of the external conditions at which a transformation occurs defines the phase transition point. Types of phase transition States of matter Phase transitions commonly refer to when a substance tran ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coulomb Gas
In statistical physics, a Coulomb gas is a many-body system of charged particles interacting under the electrostatic force. It is named after Charles-Augustin de Coulomb, as the force by which the particles interact is also known as the Coulomb force. The system can be defined in any number of dimensions. While the three-dimensional Coulomb gas is the most experimentally realistic, the best understood is the two-dimensional Coulomb gas. The two-dimensional Coulomb gas is known to be equivalent to the continuum XY model of magnets and the sine-Gordon model (upon taking certain limits) in a physical sense, in that physical observables (correlation functions) calculated in one model can be used to calculate physical observables in another model. This aided the understanding of the BKT transition, and the discoverers earned a Nobel Prize in Physics for their work on this phase transition. Formulation Define the function (Coulomb kernel, or Riesz kernel)\begin g_s(x) = \begin-\log, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ising Model
The Ising model (or Lenz–Ising model), named after the physicists Ernst Ising and Wilhelm Lenz, is a mathematical models in physics, mathematical model of ferromagnetism in statistical mechanics. The model consists of discrete variables that represent Nuclear magnetic moment, magnetic dipole moments of atomic "spins" that can be in one of two states (+1 or −1). The spins are arranged in a Graph (abstract data type), graph, usually a lattice (group), lattice (where the local structure repeats periodically in all directions), allowing each spin to interact with its neighbors. Neighboring spins that agree have a lower energy than those that disagree; the system tends to the lowest energy but heat disturbs this tendency, thus creating the possibility of different structural phases.The two-dimensional square-lattice Ising model is one of the simplest statistical models to show a phase transition. Though it is a highly simplified model of a magnetic material, the Ising model can sti ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Classical XY Model
The classical XY model (sometimes also called classical rotor (rotator) model or O(2) model) is a lattice model of statistical mechanics. In general, the XY model can be seen as a specialization of Stanley's ''n''-vector model for . Definition Given a -dimensional lattice , per each lattice site there is a two-dimensional, unit-length vector The ''spin configuration'', is an assignment of the angle for each . Given a ''translation-invariant'' interaction and a point dependent external field \mathbf_=(h_j,0), the ''configuration energy'' is : H(\mathbf) = - \sum_ J_\; \mathbf_i\cdot\mathbf_j -\sum_j \mathbf_j\cdot \mathbf_j =- \sum_ J_\; \cos(\theta_i-\theta_j) -\sum_j h_j\cos\theta_j The case in which except for nearest neighbor is called ''nearest neighbor'' case. The ''configuration probability'' is given by the Boltzmann distribution with inverse temperature : :P(\mathbf)=\frac \qquad Z=\int_ \prod_ d\theta_j\;e^. where is the normalization, or partition fun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thermodynamic Free Energy
In thermodynamics, the thermodynamic free energy is one of the state functions of a thermodynamic system. The change in the free energy is the maximum amount of work that the system can perform in a process at constant temperature, and its sign indicates whether the process is thermodynamically favorable or forbidden. Since free energy usually contains potential energy, it is not absolute but depends on the choice of a zero point. Therefore, only relative free energy values, or changes in free energy, are physically meaningful. The free energy is the portion of any first-law energy that is available to perform thermodynamic work at constant temperature, ''i.e.'', work mediated by thermal energy. Free energy is subject to irreversible loss in the course of such work. Since first-law energy is always conserved, it is evident that free energy is an expendable, second-law kind of energy. Several free energy functions may be formulated based on system criteria. Free energy ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thermodynamic Limit
In statistical mechanics, the thermodynamic limit or macroscopic limit, of a system is the Limit (mathematics), limit for a large number of particles (e.g., atoms or molecules) where the volume is taken to grow in proportion with the number of particles.S.J. Blundell and K.M. Blundell, "Concepts in Thermal Physics", Oxford University Press (2009) The thermodynamic limit is defined as the limit of a system with a large volume, with the particle density held fixed: : N \to \infty,\, V \to \infty,\, \frac N V =\text In this limit, macroscopic thermodynamics is valid. There, thermal fluctuations in global quantities are negligible, and all List of thermodynamic properties, thermodynamic quantities, such as pressure and energy, are simply functions of the thermodynamic variables, such as temperature and density. For example, for a large volume of gas, the fluctuations of the total internal energy are negligible and can be ignored, and the average internal energy can be predicted fro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
FKG Inequality
In mathematics, the Fortuin–Kasteleyn–Ginibre (FKG) inequality is a correlation inequality, a fundamental tool in statistical mechanics and probabilistic combinatorics (especially random graphs and the probabilistic method), due to . Informally, it says that in many random systems, increasing events are positively correlated, while an increasing and a decreasing event are negatively correlated. It was obtained by studying the random cluster model. An earlier version, for the special case of i.i.d. variables, called Harris inequality, is due to , see below. One generalization of the FKG inequality is the Holley inequality (1974) below, and an even further generalization is the Ahlswede–Daykin "four functions" theorem (1978). Furthermore, it has the same conclusion as the Griffiths inequalities, but the hypotheses are different. The inequality Let X be a finite distributive lattice, and ''μ'' a nonnegative function on it, that is assumed to satisfy the (FKG) lattice condit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chebyshev's Sum Inequality
In mathematics, Chebyshev's sum inequality, named after Pafnuty Chebyshev, states that if :a_1 \geq a_2 \geq \cdots \geq a_n \quad and \quad b_1 \geq b_2 \geq \cdots \geq b_n, then : \sum_^n a_k b_k \geq \left(\sum_^n a_k\right)\!\!\left(\sum_^n b_k\right)\!. Similarly, if :a_1 \leq a_2 \leq \cdots \leq a_n \quad and \quad b_1 \geq b_2 \geq \cdots \geq b_n, then : \sum_^n a_k b_k \leq \left(\sum_^n a_k\right)\!\!\left(\sum_^n b_k\right)\!. Proof Consider the sum :S = \sum_^n \sum_^n (a_j - a_k) (b_j - b_k). The two sequences are non-increasing, therefore and have the same sign for any . Hence . Opening the brackets, we deduce: :0 \leq 2 n \sum_^n a_j b_j - 2 \sum_^n a_j \, \sum_^n b_j, hence :\frac \sum_^n a_j b_j \geq \left( \frac \sum_^n a_j\right)\!\!\left(\frac \sum_^n b_j\right)\!. An alternative proof is simply obtained with the rearrangement inequality, writing that :\sum_^ a_i \sum_^ b_j = \sum_^ \sum_^ a_i b_j =\sum_^\sum_^ a_i b_ = \sum_^ \sum_^ a_i b_ \leq \su ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Totally Ordered Set
In mathematics, a total order or linear order is a partial order in which any two elements are comparable. That is, a total order is a binary relation \leq on some set X, which satisfies the following for all a, b and c in X: # a \leq a ( reflexive). # If a \leq b and b \leq c then a \leq c ( transitive). # If a \leq b and b \leq a then a = b ( antisymmetric). # a \leq b or b \leq a ( strongly connected, formerly called totality). Requirements 1. to 3. just make up the definition of a partial order. Reflexivity (1.) already follows from strong connectedness (4.), but is required explicitly by many authors nevertheless, to indicate the kinship to partial orders. Total orders are sometimes also called simple, connex, or full orders. A set equipped with a total order is a totally ordered set; the terms simply ordered set, linearly ordered set, toset and loset are also used. The term ''chain'' is sometimes defined as a synonym of ''totally ordered set'', but generally refers to a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Haar Measure
In mathematical analysis, the Haar measure assigns an "invariant volume" to subsets of locally compact topological groups, consequently defining an integral for functions on those groups. This Measure (mathematics), measure was introduced by Alfréd Haar in 1933, though its special case for Lie groups had been introduced by Adolf Hurwitz in 1897 under the name "invariant integral". Haar measures are used in many parts of mathematical analysis, analysis, number theory, group theory, representation theory, mathematical statistics, statistics, probability theory, and ergodic theory. Preliminaries Let (G, \cdot) be a locally compact space, locally compact Hausdorff space, Hausdorff topological group. The Sigma-algebra, \sigma-algebra generated by all open subsets of G is called the Borel algebra. An element of the Borel algebra is called a Borel set. If g is an element of G and S is a subset of G, then we define the left and right Coset, translates of S by ''g'' as follows: * Left ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
