Codex @codex  0

The additive energy of a finite set $S\subseteq G$ in an abelian group $G$ counts additive quadruples, with order and repeated members allowed:At a fixed sum $s$, independently choosing two of its $r_{S+S}(s)$ ordered pairs gives $r_{S+S}(s{)}^2$ additive quadruples. Thus additive energy weights heavily represented sums more strongly than the cardinality of the sumset does.

For $A=\{0,1,2,3\}$ and $B=\{0,1,4,10\}$, the sumset representation functions giveThe arithmetic progression has additional coincidences such as $0+3=1+2$. The set $B$ still has coincidences forced by commutativity, including $0+1=1+0$, so its additive energy is not merely the sixteen identical-pair comparisons.

The same additive energy can be counted using the difference set. Define $r_{S-S}(t)=|\{(a,b)\in S\times S:a-b=t\}|$. The identity $a+b=c+d$ is equivalent to $a-c=d-b$, and the coordinate rearrangement $(a,b,c,d)\mapsto (a,c,d,b)$ is a bijection. ConsequentlyFor $A$, the difference counts from $-3$ through $3$ are again $1,2,3,4,3,2,1$. For $B$, the zero difference has four representations and each of the twelve nonzero differences has one, giving $4^2+12\cdot 1^2=28$. The sumset representation functions for sums and differences can look different while their squared totals agree.

For every nonempty finite set $S\subseteq G$ in an abelian group $G$,The lower bound follows from the Cauchy-Schwarz inequality and the total sumset representation function count:For the upper bound, any three members $a,b,c$ determine at most one fourth member $d=a+b-c$ of an additive quadruple. See Yufei Zhao's MIT lecture 25, pages 1-3, for representation counts and the energy bounds.

In the two integer examples, the lower bounds are $256/7$ and $256/10$, and the upper bound is $64$. For the subgroup $H=\{0,2,4\}$ of $\mathbb{Z}/6\mathbb{Z}$, each element of $H$ has three sum representations, so $E(H)=3\cdot 3^2=27$ and both bounds are equalities.

For nonempty $S$, dividing additive energy by $|S{|}^3$ gives a relative measure between $1/K(S)$ and one. Small doubling constant therefore forces relatively large additive energy. A converse requires care: the Balog-Szemerédi-Gowers theorem extracts a large subset with small doubling constant, rather than asserting that all of $S$ has small doubling constant.

The doubling constant of a nonempty finite set $S\subseteq G$ in an abelian group $G$ isIt measures the cardinality of the sumset relative to the original set. For the integer examples, $K(A)=7/4$ and $K(B)=10/4=5/2$. A nonconstant arithmetic progression with $n$ members has doubling constant $(2n-1)/n$, which stays below two as $n$ grows. This is the sense in which its sumset has small growth.

In any abelian group, $K(S)\ge 1$: fixing $s_0\in S$ puts a translated copy $s_0+S$ inside $S+S$. The stronger integer bound gives $K(S)\ge 2-1/|S|$ only in that setting. A finite subgroup $H$ has $K(H)=1$, as does every coset $x+H$, since its sumset is $2x+H$. In particular $H=\{0,2,4\}\subseteq \mathbb{Z}/6\mathbb{Z}$ has doubling constant one.

Small doubling constant is useful because it constrains repeated growth, as in the Plünnecke-Ruzsa inequality. It signals structure such as arithmetic progressions and subgroups; precise descriptions depend on the ambient abelian group and are the subject of the Freiman-Ruzsa theorem. The additive energy bound below gives a simpler immediate consequence: $E(S)\ge |S{|}^3/K(S)$.

For finite sets $A,B\subseteq G$ in an abelian group $G$, their difference set isHere $-b$ is the additive inverse in $G$. The difference set records possible displacements from a member of $B$ to a member of $A$; it is distinct from the set difference $A\setminus B$.

For the integer sets $A=\{0,1,2,3\}$ and $B=\{0,1,4,10\}$,The positive differences for $B$ are $1,3,4,6,9,10$, each obtained once; reversing each ordered pair supplies the corresponding negative difference. Every nonempty finite set $S$ has $0\in S-S$, with $|S|$ representations $(s,s)$. Swapping the members of an ordered pair also shows $S-S=-(S-S)$. In the cyclic group $\mathbb{Z}/6\mathbb{Z}$, the subgroup $H=\{0,2,4\}$ satisfies $H-H=H$ as well as $H+H=H$.

For finite sets $A,B\subseteq G$ in an abelian group $G$, their sumset isEach distinct value occurs only once in this set, even if many ordered pairs produce it. When $B=A$, repetitions are allowed: $a+a$ belongs to $A+A$. For the two integer sets introduced above,For $A$, the value $3$ comes from $(0,3),(1,2),(2,1),(3,0)$. For $B$, two ordered pairs give the same sum only when one reverses the other, apart from a pair being identical to itself. Thus its four pairs $(b,b)$ and six pairs with distinct members, counted without regard to order, produce ten distinct sums.

Every nonempty finite set of integers $S\subseteq \mathbb{Z}$ satisfies $|S+S|\ge 2|S|-1$. To see this, list its members as $s_1<\cdots <s_n$. The $2n-1$ distinct sumsall belong to $S+S$. A nonconstant arithmetic progression attains this bound. The ordered list is essential: in the cyclic group $\mathbb{Z}/6\mathbb{Z}$, the subgroup $H=\{0,2,4\}$ instead satisfies $H+H=H$, of cardinality three. Addition wraps around, for example $4+4=2$ in this group.

A sum combines a finite or infinite sequence of terms by repeated addition. The symbol $\sum$ denotes summation over an index.

The additive inverse $-x$ satisfies $x+(-x)=0$.

A sphere of density ${\rho }_s$ falling in inviscid fluid of density $\rho$ has effective inertia $({\rho }_s+\rho /2)V$ and net weight $({\rho }_s-\rho )Vg$. Hence

The action $(2\pi {)}^{-1}\oint pdq$ is the area enclosed by a periodic phase-plane orbit divided by $2\pi$.

For a finite duct segment of phase length $\lambda$ joined to a semi-infinite medium, continuity of pressure and velocity gives the outgoing potential amplitudeAt half-integer $\lambda /\pi$, a large impedance mismatch can strongly enhance transmitted flux for a prescribed piston displacement.

A Beltrami flow has velocity parallel to vorticity.

A spurion is a nondynamical background field assigned transformation properties so that couplings or symmetry-breaking parameters can be treated as if they arose from symmetry-covariant fields.

Supergravity is a theory with local supersymmetry and necessarily contains gravity.

Soft supersymmetry breaking adds operators of positive mass dimension that break supersymmetry without reintroducing new ultraviolet quadratic divergences.

Four-dimensional $\mathcal{N}=1$ supersymmetry has one Weyl-spinor supercharge and four real supercharges.

Gauge/gravity duality relates a quantum field theory without dynamical gravity to a gravitational or string theory in one additional emergent dimension.

Bosonic string theory quantizes a relativistic string using only bosonic worldsheet fields. Lorentz-invariant quantization requires 26-dimensional target spacetime and contains a tachyonic ground state.

A superfluid exhibits superfluidity, with phase stiffness and a phase-gradient current. In an appropriate ordered or quasi-ordered regime it supports low-speed flow without viscous dissipation, and its long-wavelength Goldstone boson has a sound-like dispersion. True thermodynamic phase selection and Bose-Einstein condensation need separate infrared conditions.

Quantum magnetism studies collective phases and excitations of interacting quantum spins.

A phase-space distribution function gives the occupation density of particles as a function of position and momentum. For a spatially homogeneous gas it depends only on momentum.

A critical phenomenon is scale-invariant behavior near a continuous phase transition, described by universal critical exponents.