**Topics, F**

**F-Theory**
> see M-theory.

**Fab Four Theories**
> see Horndeski Theory.

**Factorial Function**
> s.a. Stirling's Formula.

$ __Def__: The factorial of a
positive integer *n* is \(n! := 1 \cdot 2 \cdot 3 \cdot ... \cdot n\).

* __Extensions__:
0! = 1, and for other numbers use the gamma function.

* __Derived functions__:
The left factorial function, !*n* = 0! + 1! + 2! + ... + (*n*−1)!
There is a conjecture that *n* does not divide !*n* for any *n* > 2.

@ __Approximations__: Memin AJP(83)sep,
Fletcher AJP(86)feb.

> __Online resources__:
see MathPages page;
Wikipedia page.

**Factor**
> see observable algebras.

**Factorization**
> s.a. number theory [factoring numbers].

@ __References__: Mielnik & Rosas-Ortiz JPA(04) [of wave equations, rev].

**Faddeev Formulation of Gravity**

* __Idea__: A formulation
in which the metric is obtained as a bilinear combination of 10 vector fields
*f*_{μ}^{A},
or a 4 × 10 tetrad; A unique feature of this formulation is that the
action remains finite for discontinuous fields (although continuity is
recovered on the equations of motion), which makes it convenient for use
with piecewise flat (simplicial) manifolds.

@ __References__: Faddeev TMP(11);
Khatsymovsky CQG(13)-a1201
[first-order representation and Barbero-Immirzi parameter],
a1201 [discrete form];
Khatsymovsky a1206;
Khatsymovsky a1312 [on a piecewise-flat manifold];
Khatsymovsky MPLA(14)-a1408 [minisuperspace model].

**Faddeev Model**
> s.a. Glueballs.

@ __References__: Shi & Hirayama JMP(12)-a1205 [solitonic solutions].

**Faddeev-Jackiw Method**
> s.a. hamiltonian systems; quantization
of constrained systems; symmetries in quantum physics.

* __Idea__:
A quantization procedure for constrained gauge systems.

@ __References__: Faddeev & Jackiw PRL(88);
Barcelos-Neto & Wotzasek MPLA(92),
IJMPA(92);
Montani & Wotzasek MPLA(93) [non-abelian systems];
Jackiw ht/93;
Barcelos-Neto & Silva IJMPA(95) [reducible theory];
Müller-Kirsten & Zhang PLA(95),
PLA(95);
García & Pons IJMPA(98);
Huang AP(10) [and superconductivity];
Prescod-Weinstein & Bertschinger CQG(15)-a1404 [extension to fields in curved spacetimes];
Toms PRD(15)-a1508 [and path integrals];
> s.a. dirac approach [comparison].

@ __Specific theories__: Foussats et al CQG(97) [2D supergravity theories];
Escalante & Rodríguez-Tzompantzi EPJC(16)-a1601 [topologically massive gravity];
Rodríguez-Tzompantzi EPJP(18)-a1804 [two interacting massive relativistic particles];
Rodrigues et al a1808 [general relativity];
> s.a. BF theory; Proca Theory.

**Faddeev-Niemi Equations**

* __Idea__: Equations that
correspond to the Yang-Mills equations of motion for a decomposed gauge field.

@ __References__: Niemi & Wereszczyński JMP(11)-a1011 [solutions].

**Faddeev-Popov Ghosts**
> see Ghost Fields.

**Faddeev-Popov Procedure**
> see path-integral quantization of gauge theories.

**Fakeon (Fake Particle)**
> see types of particles.

**False Vacuum**
> see vacuum.

**Falsifiability**
> see theory of physical theories.

**Fantappiè Group**
> see special relativity.

**Fantappiè-Arcidiacono Relativity Theory / Spacetime**
> see Projective Relativity.

**Faraday Lines of Force**
> see gauge theories.

**Faraday Effect / Rotation**
> see polarization.

**Faraday Tensor**
> see electromagnetic field equations.

**Faraday Waves**

* __Idea__: Finite-amplitude
surface waves arising from an instability of an oscillating free surface.

**Faraday's Law of Induction**
> s.a. electromagnetic field equations / Eddy Currents.

* __Idea__: The law of
electromagnetism stating how a time-dependent magnetic flux through
a surface produces an electric field around its boundary.

@ __Generalizations__:
Mannheim & Poveromo GRG(14)
[gravitational analog, with torsion and non-symmetric metric].

> __Online resources__:
see HyperPhysics page;
Wikipedia page.

**Farey Map**
> s.a. chaotic systems.

* __Idea__: The chaotic
map *u* \(\mapsto\) *u* − 1 if *u* ≥ 1
and *u*^{−1} − 1
if *u* < 1, which appears in mixmaster dynamics.

**FCI (Force Concept Inventory)** > see physics teaching.

**Fedosov Algebra / Formalism / Quantization** > see deformation quantization.

**Feichtinger Algebra** > see quantum mechanics in phase space.

**Feigenbaum Number**

* __Value__: The number *c* = 3.5699456718...

**Fermat Geometry**
> see optics [optical geometry].

**Fermat's Last Theorem**
> s.a. conjectures [Beal conjecture].

$ __Def__: The
conjecture that *x*^{n}
+ *y*^{n}
= *z*^{n} has no
integer solutions with *n* > 2 and *xyz* ≠ 0.

* __History__: Proved by
Euler for *n* = 3 and 4 (Gauss corrected the *n* = 4
proof), Dirichlet for *n* = 5 and 14, Legendre (independently) for
*n* = 5, Lamé for *n* = 7 (his claim of a general proof
turned out to be false), Kummer for *n* < 100; later shown (also
by computer) to be true for *n* < 125,000; Now related to elliptic
curves and cusp forms; Was finally proved in 1993–1995 by A Wiles.

* __Remark__: It is
clearly sufficient to prove it for *n* = 4 or odd prime.

* __Solutions for n
= 2__: The first ones are 3

@

@

@

**Fermat's Principle**
> s.a. finsler geometry and physics.

* __Idea__: The path followed
by light between two points is the one that minimizes the time.

* __Kovner's version__:
A variational principle (as opposed to a differential equation) whose
solutions are the past-oriented null geodesics from an observation event
*p*_{0} to a timelike curve
*γ*_{S} (worldline of light
source), in an arbitrary spacetime.

@ __General references__: Helfgott & Helfgott AJP(02)dec [and the law of refraction];
Ogawa qp/02 [and the wave equation];
Elsayed PLA(14)-a1302 [generalized to classical and quantum many-dimensional systems].

@ __In general relativity__: Kovner ApJ(90);
Perlick CQG(90),
CQG(90);
Perlick JMP(95),
Giannoni & Masiello GRG(96) [Morse theory for light rays];
Frolov PRD(13)-a1307 [in a curved spacetime, and effective Hamiltonian].

@ __In general relativity, application to lensing__: Nandor &
Helliwell AJP(96)jan;
Giannoni et al JMP(02).

> __Online resources__:
see Wikipedia page.

**Fermi Acceleration**

* __Idea__: An
unbounded growth of the energy of a system due to its interaction
with the environment; It plays an important role in astrophysical
models, such as shocks in solar flares and supernova remnants.

> __Online resources__:
see Wikipedia page.

**Fermi Energy**
> see Chemical Potential.

**Fermi Function**
> s.a. phase space.

* __Idea__: A function
*g*_{F}(*q*, *p*)
on phase space that can be used to represent a quantum state, and is
conceptually different from the Wigner function *W*(*x*, *p*).

@ __For generalized coherent states__:
Benenti & Strini AJP(09)jun [and Gaussian wave packets],
EPJD(10)-a0906 [and Wigner function, perturbed Gaussian wave packets];
de Gosson a1107 [for squeezed coherent states];
de Gosson & de Gosson a1301 [and symplectic capacities].

**Fermi Gas**
> see gas.

**Fermi Normal Coordinates**
> see coordinates.

**Fermi Paradox**
> see civilizations.

**Fermi Sea**
> see composite quantum systems; Dirac Sea.

**Fermi Surface**

* __Idea__: The surface
in momentum space that separates occupied and non-occupied states
in the ground state (for an ideal gas of fermions).

> __Online resources__:
see Wikipedia page.

**Fermi Theory**
> s.a. Weak Interaction.

* __Idea__: A
four-fermion interaction proposed by E Fermi in 1933 to
explain neutron beta decay and model wea interactions.

> __Online resources__:
see Wikipedia page.

**Fermi Transport**
> see coordinates.

**Fermi Two-Atom Problem**

* __Idea__: A problem
illustrating an apparent causality violation in quantum field theory,
which has to do with the nature of the built-in correlations in the vacuum.

@ __References__: Zohar & Reznik NJP(11)-a1103
[in discrete systems, such as trapped atoms in optical lattices or trapped ions].

**Fermi's Golden Rule** > see Golden Rule.

**Fermi-Dirac Statistics** > see particle statistics.

**Fermi-Einstein Condensation**
> s.a. quantum phase transitions.

* __Idea__: A
phenomenon by which dressed fundamental fermions acquire
Bose-like statistics and undergo condensation.

@ __References__: Langfeld et al AP(12) [in dense QCD-like theories];
Ghosh et al a1301 [coherent-state representation].

**Fermi-Hubbard Model**
> see Hubbard Model.

**Fermi-Pasta-Ulam-Tsingou Model / Paradox**
> s.a. energy [time to equipartition].

* __Idea__: A problem of
central importance in the theories of solitons and chaos, a model that
gave rise to the first numerical simulation for scientific problems and
marked the beginning of non-linear physics; The idea was to simulate the
one-dimensional analogue of atoms in a crystal as a long chain of masses
linked by springs that obey Hooke's law, plus a weak non-linear term; A
purely linear interaction would ensure that energy introduced into a
single Fourier vibrational mode always remains in that mode, while the
non-linear term allows the transfer of energy between modes; They found
that, under certain conditions, the energy does not drift toward the
equipartition predicted by statistical physics, but periodically returns
to the original mode; That highly remarkable result, known as the FPU
paradox, shows that non-linearity is not enough to guarantee the
equipartition of energy; In the 1960s, pursuing the solution of the FPU
paradox, Norman Zabusky and Martin Kruskal were able to explain the
periodic behavior in terms of the dynamics of solitons; Another line of
thought, developed in parallel and based on Fourier-mode analysis, proved
that in general orbits of slightly perturbed integrable Hamiltonian
systems remain quasi-periodic (KAM theorem); If the perturbation is too
strong, the recurrence is destroyed and the equipartition of energy is
quickly established.

@ __General references__: Fermi et al rp(55);
Tuck & Menzel AiM(72);
Dauxois et al EJP(05);
Dauxois PT(08)jan-a0801 [history];
Benettin et al JSP(09) [relevance of initial conditions];
Porter et al AS(09)may [history].

@ __FPU paradox__: Berman & Izrailev Chaos(05)n.CD/04 [rev].

**Fermi-Walker Transport and Coordinates**

* __Idea__: A
generalization of Fermi transport along a non-geodesic curve; For
a vector perpendicular to that curve, it is parallel transport with
an additional term to keep the vector perpendicular to the curve.

* __For a geodesic__:
It coincides with parallel or Fermi transport.

@ __References__: Manoff IJMPA(00)gq [generalization, conformal transport];
Bini & Jantzen NCB(02)gq-in [and gravitomagnetism];
Klein & Collas CQG(08)-a0712 [coordinate transformations];
Maluf & Faria AdP(08)-a0804 [Fermi-Walker transported frames].

**Fermion Doubling**
> see lattice field theory [non-commutative]; matter in lattice
field theory; loop quantum gravity; non-commutative field theory.

**Fermion Fields / Particles**
> s.a. spinor fields; particle types;
spinning particles; statistical
mechanical systems.

* __Idea__: Particles
obeying Fermi-Dirac statistics, such that any *N*-particle quantum
state changes sign when any two of them are exchanged; They are usually
represented in physics by spinor fields, belonging to a representation
space for the Poincaré group with half-integer value of the spin
*s*, and their role is that of elementary constituents of matter.

* __Bound states__: An
even number of fermions can combine to produce composite systems
(e.g., spinor bilinears) exhibiting bosonic behavior.

@ __General references__: Zimborás et al EPJQT(14)-a1211 [dynamical systems approach];
Lin et al ChPB(13)-a1307 [diagrammatic categorification of fermion algebra];
Lee a1312 [massive, in 2+1 dimensions];
Lee a1404
[mass-dimension-one Elko fermions];
Finster a1404
[index of the fermionic signature operator];
Espin a1509-PhD [second-order formulation].

@ __Interacting__: Finster a0908 [action and continuum limit];
Braghin EPJP(15)-a1505 [higher-order effective interactions];
synopsis Phy(19) [atoms pairing up].

@ __Systems of fermions__: Schilling PRA(15)-a1409 [occupation numbers in *N*-fermion states];
Caulton a1409 [and mereology].

@ __Many-body systems__: Mattis a1301-ch [*D* > 1];
Watson a1506 [enforcing the Pauli principle on paper];
Fournais et al a1510,
Ribeiro & Burke a1510 [semiclassical limit].

@ __Fermions without fermions__: Kálnay IJTP(77);
Paredes & Cirac PRL(03)cm/02,
et al PRA(02);
Mecklenburg & Regan PRL(11)-a1003
+ news PhysOrg(11)mar,
ns(11)may [from properties of a background space; electron hopping in graphene];
Wetterich AP(10)-a1006,
JPCS(12)-a1201 [from classical statistics];
Kawamura a1406 [from scalar fields];
> s.a. composite models; Fermionization;
dirac fields [from bosons]; spinors in field theory
[from pure gravity].

@ __Composite fermions__: Liebing & Blaschke PPN(15)-a1406;
Son PRX(15) [effective field theory and symmetries].

@ __Causal fermion systems__:
Finster FTP-a1605,
a1709 [continuum limit, primer];
Finster a1711 [causal action principle];
Finster a1812-conf [intro].

@ __ Related topics__: Henneaux et al JHEP(14)-a1310 [higher-spin, gravitational interactions];
Chung & Daoud MPLA(14)-a1412 [one-parameter generalized algebra];
Rinehart a1505 [classical formulation];
Zhu et al PRX(16) [triple-point fermions];
Shapiro a1611 [covariant derivative];
Finster & Reintjes a1708 [fermionic signature operator];
Levine a1901
[non-local fermions, small-scale randomized dispersion relation and entropy volume law];
Wang & Li a1907 [π-type fermions].

> __Specific theories__:
see dirac fields; discrete
geometries [causal fermion systems]; low-spin
field theories [spin-1/2 and 3/2]; high-spin
field theories; gas; kaluza-klein
phenomenology; fermions in lattice field theory
[including doubling]; supersymmetry;
types of field theories; types of quantum
field theories; unified theories [causal fermion systems].

> __Related topics and
phenomena__: see Bosons [relationship, transformations
between fermions and bosons]; composite
quantum systems; Fermi-Einstein Condensation;
geons and Kinks [fermionic];
Solid Light; particle statistics
[including fermion number]; Quasiparticles;
solitons.

**Fermionic Projector**

* __Idea__:
A formulation of quantum field theory.

@ __References__: Finster JPCS(07)ht/06,
LMP(11)-a0911,
JPCS(11)-a1011.

**Fermionization**
> s.a. particle statistics.

* __Idea__: A
phenomenon in which strongly correlated bosonic, or fermionic
but distinguishable particles exhibit the behavior of identical
fermions, for example mimicking the exclusion principle.

@ __References__: Paredes et al Nat(04)may [in Tonks-Girardeau gas];
Zürn et al PRL(12) [fermionic Li-6 atoms with opposite spins];
Mankoč Borštnik & Nielsen
a1602-proc [in arbitrary dimensions];
Botelho & Rodrigues a1611;
Borstnik & Nielsen a1805-conf [number of families].

**Ferroelectric Materials**
> see electricity.

**Ferromagnetism**
> see magnetism.

**Feshbach Resonance**
> see resonances.

**Feshbach-Villars Equation**
> see spin-1/2 fields.

**Feynman's Clock**
> see clocks; quantum states.

**Feynman Diagram / Graph**
> s.a. quantum field theory techniques
[perturbative]; history of particle physics.

@ __General references__: 't Hooft & Veltman yr(73);
Bilenky 74;
Veltman 94;
Frankel AS(03);
Kaiser AS(05);
Scadron 06;
Gross SHPMP(12) [in Feynman's early lectures];
Weinzierl a1301-ln;
Fried 14;
Dorato & Rossanese a1711 [conceptual, nature of representation];
Passon EJPS(19)-a1901 [interpretation, and the Higgs discovery].

@ __Theoretical techniques__: Suzuki & Schmidt JHEP(97) [negative-dimensional technique];
Kreimer 00 [and knot theory];
Kreimer LMP(00)ht/99 [shuffling identities];
Larin PLB(99) [expansion method];
Connes & Kreimer AIHP(02)ht [as Lie algebra];
Argeri & Mastrolia IJMPA(07) [differential equation method];
Bogner & Weinzierl a0912-conf [mathematical structures];
Smirnov & Petukhov LMP(11)-a1004 [finiteness of the number of master integrals];
González NPPS(10)-a1008 [method of brackets and the master theorem of Ramanujan];
Yost et al PoS-a1101 [differential reduction techniques];
Caron-Huot JHEP(11) [relations between loop and tree amplitudes];
Fried & Gabellini AP(12) [summation of all Feynman graphs relevant to a particular process];
Rivasseau & Wang AHP(14)-a1304 [resumming];
Panzer a1407-proc,
Todorov a1611-proc [hyperlogarithms].

@ __Numerical techniques__: Ohl CPC(95)hp [LaTeX drawings];
Easther et al PRD(00)hp/99;
Preti a1811
[method of uniqueness, Mathematica package].

@ __Special systems__: Djah et al mp/05 [for non-Gaussian measures];
Baratin & Freidel CQG(07)gq/06,
CQG(07) [and 3D-4D topological BF spin-foam model];
> s.a. spin-foam models.

@ __In other areas__: Mattuck 76 [many-body problem];
Penco & Mauro EJP(06)ht [in classical mechanics];
Cattaruzza et al AP(11) [classical field theory, diagrammar];
Jishi 13 [condensed matter physics];
> s.a. dynamics of gravitating bodies.

@ __Generalizations__: Marcolli & Rej JPA(08)-a0807 [and supermanifolds];
Brouder & Frédéric a1103 [non-local, non-commutative];
Martins & Biezuner a1903 [hypergraphs].

@ __Related topics__: De Pietri & Petronio JMP(00)gq [and manifolds];
Ogreid & Osland JCAM(02)mp/00 [and infinite series];
Davydychev NIMA(06)ht/05-in [*N*-point, geometrical method];
Baikov PLB(06) [irreducibility criterion];
Bender et al Twist-qp/06 [theories and combinatorics];
Casadio IJMPA(12)-a0806 [gravitationally modified];
Berghoff a1709 [on moduli spaces of graphs].

> __Related topics__:
see regularization; renormalization.

**Feynman Gauge**
> see gauge.

**Feynman Integrals**

* __Idea__: Integrals
that appear in many quantum field theory calculations, and consist
in momentum-space integrals of products of propagators.

@ __References__: Kastening & Kleinert PLA(00)qp/99;
Henn JPA(15)-a1412 [computation using differential equations];
Mastrolia a1507-conf [algebraic patterns];
Re Fiorentin IJMPC(16)-a1507 [Mathematica package for tensor reduction];
Liu & Ma PRD(19)-a1801 [arbitrary integrals from vacuum ones];
Mastrolia & Mizera a1810 [and intersection theory];
Preti a1905-proc [Mathematica package].

**Feynman's Operator Calculus**
> see modified quantum mechanics.

**Feynman's Rest of the Universe**

* __Idea__: "When we solve
a quantum-mechanical problem, what we really do is divide the universe
into two parts–the system in which we are interested and the rest
of the universe. We then usually act as if the system in which we are
interested comprised the entire universe. To motivate the use of density
matrices, let us see what happens when we include the part of the universe
outside the system."

@ __References__: Feynman 72, §2.1;
Kim & Noz Sym-a1210
[and spacetime symmetry, Dirac matrices].

**Feynman's Reverse Sprinkler** > see physics teaching.

**Feynman-Fields Model**

* __Idea__: A model for quark fragmentation.

**Feynman-Kac Formula**

* __Idea__: A relationship
between partial differential equations and stochastic processes.

@ __General references__: DeWitt-Morette & Zhang PRD(83)[in phase space, and coherent state transitions].

@ __Variations, related topics__: Turgeman et al PRL(09) [anomalous diffusion, fractional Feynman-Kac equations].

> __Online resources__:
see Wikipedia page;
Answers.com page.

**Fiber** > s.a. fiber
bundle; principal fiber bundle.

$ __Def__: The image of a
curve *γ*: [0,1] → \(\mathbb R\)^{2}
which is C^{1}, has non-zero tangent
vector, and does not self-intersect.

$ __Fiber system__: A
closed subset of \(\mathbb R\)^{2} which
can be represented as a countable (at most) union of fibers \(\gamma^i\)
which intersect only at endpoints, and such that any compact *K* ⊂
\(\mathbb R\)^{2} intersects only finitely
many *γ*^{i}s.

$ __Fiber process__: A
random variable with values in the set of fiber systems as a *σ*-algebra.

@ __References__: Parkhouse & Kelly PRS(95) [random 3D packing of straight fibers].

**Fiber Derivative**
> same as Legendre Transformation.

**Fibonacci Numbers** > see sequences;
integration; / For the __Fibonacci
Operator__, see quantum effects.

**Fibration** > s.a. bundle.

$ __Def__: A map *π*
: *X* → *B* of a manifold *X* to a manifold *B*,
such that (*X*, *B*, *π*) is a bundle.

@ __References__: Daverman T&A(05) [approximate fibrations, fibrator properties].

**Fick's Law** > see diffusion.

**Fidelity** > s.a. quantum phase transitions
[fidelity-metric approach]; quantum states [quantum fidelity].

@ __References__: Bahder a1102
[and quality of physical measurements].

**Fidelity Susceptibility** > s.a. quantum phase transitions.

* __Idea__: A general
purpose probe of phase transitions; Based on quantum information and the
differential geometry perspective of quantum states, it can indicate the
presence of a phase transition without prior knowledge of the local order
parameter, as well as reveal the universal properties of a critical point.

**Field** > s.a. Galois Field
[finite field]; ring; vector space.

$ __Def__: A commutative ring with inverses.

* __Examples__: The real and complex numbers.

@ __General references__: Kaplansky 72;
Roman 06;
Reis 11 [II].

> __In physics__:
see modified quantum mechanics [over a finite field].

**Field Lines** > s.a. electromagnetism.

@ __References__: Belcher & Olbert AJP(03)mar [motion].

**Field Strength Measurement** > see measurements in quantum mechanics.

**Field Theory** > s.a. boundaries
in field theory; higher-spin, scalar,
topological, types of field theory.

**Fierz Identities**

@ __References__: Nishi AJP(05)dec [simple derivation].

**Fierz-Pauli Lagrangian** > see under Pauli-Fierz.

**Fifth-Order Algebraic Equation**
> see elementary algebra [quintic].

**Figurate Numbers** > see number theory.

**Filter on a Set X** {see B Davis' dissertation.}

*

$

*

*

*

*

@

**Filter Base for a Set X**

$

*

**Filtered Algebra** > see algebra.

**Final Cause** > s.a. Teleology.

* __Idea__: The end for
the sake of which a thing is what it is, or a change occurs.

> __Online resources__:
see Wikipedia page.

**Finality** > see Teleology.

**Fine Tuning** > s.a. anthropic principle;
Naturalness; physical theories [criteria].

* __Idea__: The fact that
the values of the parameters in our basic physical theories must be
adjusted very precisely in order for the predictions of those theories to
agree even qualitatively with observations; Examples of how this manifests
itself in various theories are the flatness problem in cosmology
(addressed by inflationary scenarios), the cosmological constant problem,
the hierarchy problem, and the strong CP problem.

* __Explanations__: The
two main types of approaches are the ones in which the values of the
parameters are actually constrained to be at least close to their observed
values (e.g., arguments from design), and those in which they acan have
any values but there are reasons why we observe the values we do (e.g.,
some versions of the multiverse and the anthropic principle).

@ __References__: Koperski BJPS(05) [and probabilistic arguments];
Grinbaum FP(12)-a0903 [naturalness and the Standard Model];
Landsman a1505 [critique of common approaches];
Alexander et al PLB(16)-a1507 [cyclic universe approach];
Barnes EJPS-a1707 [in the context of Bayesian theory testing];
Hossenfelder a1801 [critical analysis];
Wells a1809 [fine-tuned theories and improbable theories];
Azhar & Loeb PRD(18)-a1809 [mathematical framework];
Päs a1809-proc [and a fundamental theory].

> __Cosmology, in general__:
see cosmology; multiverse;
quantum cosmology.

> __Cosmology, specific issues__:
see acceleration and inhomogeneities;
inflation (including phenomenology,
planck-scale physics and scenarios).

> __Other areas__: see complexity;
Hierarchy Problem [particle physics].

> __Online resources__:
see Wikipedia page.

**Fine's Theorem** > s.a. CHSH Inequalities.

* __Idea__: A result
concerning the conditions under which a certain set of probabilities
for pairs of four bivalent quantities may be taken to be the marginals
of an underlying probability distribution; It states that the eight
CHSH inequalities are necessary and sufficient conditions.

@ __References__: Halliwell PLA(14) [two proofs].

**Finitary Argument, Function, Operation**
> see Wikipedia page;
s.a. discrete structures [finitary sets].

**Finite-Element Method**
> s.a. lattice gauge theory.

* __Idea__: A numerical
technique for finding approximate solutions to boundary-value problems for
partial differential equations.

> __Online resources__:
see Wikipedia page.

**Finite Geometry**
> s.a. combinatorics; geometry.

$ __Def__: A collection of
*n* objects (points) and a choice of subsets of these (lines).

* __Motivation__:
Combinatorial design, coding theory.

* __Example__:
Projective plane, a special finite geometry of order *n*, i.e.,
each line contains *n* + 1 points.

* __Results__: There
are no finite geometries of order *n* if remainder(*n*/4) =
1 or 2, and *n* ≠ *p*^{2}
+ *q*^{2}; There is none of order 10
(computer proof).

* __Conjecture__: There
are finite geometries of order *n* only if *n* is a power
of a single prime.

@ __References__: Ikeda AdP(90) [and general relativity];
Batten 97.

**Finite-Part Distribution**
> see distribution.

**Finite-Size Effects**
> see Compressibility; Density of States; gas [photon gas];
lattice field theories.

**Finite-Temperature (Thermal) Field Theory**
> see generalized quantum field theories and specific types
[effects]; thermodynamic systems [specific theories].

**Finkelstein Extension**
> see coordinates for schwarzschild spacetime.

**Finsler Geometry**
> s.a. finsler geometry and physics.

**Firewalls**
> s.a. black-hole geometry [interior]; event horizons.

@ __References__: Kaplan & Rajendran a1812 [spherical solutions].

**First Countable Topological Space**
> see types of topological spaces.

**First Fundamental Form**

* __Idea__: A symmetric
rank-2 covariant tensor defined on a hypersurface of a manifold, that
gives the metric on it induced by the metric in the whole manifold; In
gravitation, often a spatial metric on a spacelike hypersurface.

**Fisher Distance / Metric**
> see distances; metrics;
riemannian geometry.

**Fisher Information**
> see information; quantum information.

**Fisher-Rao Metric / Information Measure**
> see distances; mixed quantum states.

**Fitting**
> see statistics in physics [curve fitting].

**Fitting Problem in Cosmology** > see cosmological
models; general relativistic cosmology.

**Five Lemma** > see exact sequence.

**Fizeau's Experiment**

* __Idea__: An
experiment carried out in 1851 by Hippolyte Fizeau, designed to measure
the effect of movement of a medium upon the speed of light.

@ __References__: Lahaye et al AJP(12)jun-a1201 [in the undergraduate laboratory].

> __Online resources__:
see Wikipedia page.

**Flag**

$ __In a vector space V__:
A sequence

$

**Flag Manifold**

$ __Def__: A
homogeneous space *M* = *G*/*K*, where *G*
is a compact semisimple Lie group, and *K* the centralizer of a
torus in *G*; Equivalently, *M* can be identified with the
adjoint orbit Ad(*G*)*w* of an element *w* in the
Lie algebra of *G*.

@ __References__: Boya et al RPMP(03)mp/02 [volumes];
Arvanitoyeorgos IJGMP(06) [geometry].

**Flat**

* __Idea__: A subset of a set which
includes all points that depend on it; It is used in Matroid
Theory.

**Flat Manifolds** > see types of spacetimes.

**Flatness Problem**
> s.a. inflation.

* The issue that the
current energy density of the universe is observed to be very close
to the critical value for which the universe is spatially flat.

@ __References__: Helbig MNRAS(12)-a1112 [the flatness problem does not exist].

> __Online resources__:
see Wikipedia page.

**Flavor Physics** > see QCD.

**Floating** > s.a. Cheerios Effect.

@ __References__: Hueschen AJP(10)feb [and rising bubbles];
Straulino et al AJP(11)jan [and surface tension, Galileo's experiments and writings].

**Floer Homology** > see homology types.

**Floquet Spectrum**

@ __References__: e.g., in Graffi & Yajima CMP(00)mp [forced harmonic oscillator].

**Flow of a Vector Field** > see vector
fields; s.a. Flux [flow rate].

**Fluctuation-Compressibility Theorem** > s.a. photons.

* __Idea__: A result in
statistical mechanics stating that fluctuations in particle number are
proportional to the isothermal compressibility.

**Fluid**
> s.a. perfect fluid.

**Fluid-Gravity Correspondence**
> see solution-generating methods for einstein's equation.

**Flux**
> s.a. connections [space of generalized fluxes]; gauge theories
[flux tubes]; phenomenology of magnetism; QED [flux quantization].

* __Idea__: The
integral of a vector field, interpreted as flux density of
some physical quantity, over a surface.

* __Examples__: The
flux of a fluid's velocity is the volume flow rate through the surface;
The flux of the electric current density is the total current through the
surface; The electric field flux and magnetic field flux are used in the
integral version of Maxwell's equations.

@ __General references__: Blumenhagen et al FdP(12)-a1205 [Bianchi identities, from quasi-Poisson structures to Courant algebroids].

@ __Examples__: Mathwig et al PRL(12) [measuring picoliter-per-minute fluid flows in nanochannels];
> s.a. heat [heat flux].

> __Online resources__:
see Wikipedia page.

**Flux Tube**

* __Idea__: A flexible strand of energy that binds
elementary particles together; e.g., linking quarks and antiquarks with the help of gluons.

> __Related topics__: see gauge theories;
QCD effects and phenomenology; QED.

> __In cosmology__: see cosmic strings;
early universe, spacetime dimension [flux tube networks].

**Flyby Anomalies** > s.a. anomalous acceleration.

* __Idea__: Unexplained
velocity jumps of 3.9, −4.6, 13.5, −2, 1.8 and 0.02 mm/s
observed near closest approach during the Earth flybys of six spacecraft.

@ __References__: McCulloch MNRAS(08)-a0806 [and modification of inertia];
Turyshev & Toth SSR(09)-a0907 [rev];
Adler IJMPA(10)-a0908,
a0910,
IJMPA(13) [and dark-matter scattering];
Martin Nieto & Anderson PT(09)oct-a0910;
Bertolami et al IJMPD(12)-a1201 [space mission proposal];
Acedo ASR(14)-a1505 [not gravitomagnetism].

**Foam** > s.a. meta-materials;
spacetime foam.

**Fock Symmetry**

* __Idea__: The SO(4)
symmetry of a system with 1/*r* potential, which leads to
additional degeneracies with respect to the expected ones in a spherically
symmetric system; The main examples are the hydrogen atom (in which the
quantum mechanical energy levels depend only on *n* and are *n*^{2}-fold
degenerate, rather than depending on *l* and being just (2*l*+1)-fold
degenerate) and the Kepler problem (in which orbits are closed, and their
energies depend only on their semimajor axis and not on their
eccentricity).

@ __References__: Fock ZP(35);
Meremianin & Rost JPA(06)mp.

> __Online resources__:
see Harold McIntosh page.

**Fock-Lorentz Symmetry**

* __Idea__: The
invariance corresponding to the Projective Lorentz transformations of a
theory satisfying the principle of relativity, but not the principle of
invariance of the speed of light.

> __Online resources__:
see Wikipedia page.

**Focusing of Geodesics** > see geodesic.

**Fold**

* __Idea__: One of two
generic singularities in mappings from 2-surfaces to a plane.

@ __References__: Akhmetiev & Sadykov T&A(03),
Sadykov T&A(04)
[for maps ^{4}*M* → ^{3}*N*].

**Foldy-Wouthuysen Representation,
Transformation** > s.a. quantum
dirac fields and klein-gordon fields.

@ __References__: Silenko PRA(15)-a1501
[general approach applicable to relativistic particles with any spin in arbitrarily strong external fields].

**Foliation** > s.a. embeddings
[including webs]; extrinsic curvature [extremal surface].

**Force-Free Electrodynamics**
> see phenomenology of magnetism; black-hole phenomenology.

**Forcing**

* __Idea__: A technically
difficult mathematical subject, used by Paul Cohen to prove the independence
of the continuum hypothesis from the standard axioms of set theory.

@ __References__:
Weaver 14.

**Forecasting** > see Prediction.

**Forgetful Functor** > see functors.

**Form** > see differential form;
Integral Form.

**Formal Cause**

* __Idea__: "A change
or movement's formal cause is a change or movement caused by the
arrangement, shape or appearance of the thing changing or moving."

> __Online resources__:
see Wikipedia page.

**Formal Groups**
> see lie groups.

**Fortran**
> see programming languages.

**Foucault's Pendulum**
> see Pendulum.

**Foundations**
> see foundations of quantum theory; physical theories.

**Four-Color Theorem**
> s.a. Coloring.

* __Idea__: In coloring
a 2D map on a surface [homeomorphic to \(\mathbb R^3\)], it is never
necessary to use more than 4 colors.

* __History__: It was
proved in 1976 by K Appel and W Haken (University of Illinois), with
extensive computer use, since the proof is too long to be checked by hand;
After the work was published, mathematicians began finding mistakes in it;
In each case, Haken and Appel quickly fixed the error, but to many
mathematicians this left a very bad taste for computer proofs.

@ __References__: Ill Journal of Math, vol 21;
Olivastro ThSc(92)may;
Wilson 02 [r pw(03)apr].

**Fourier Analysis / Series / Transform**

**Fourier's Law** > see heat [flow equation].

**Fourth-Order Algebraic Equation** > see elementary algebra [quartic].

**Fourth Quantization**

@ __References__: Faizal PLB(13) [and creation of the multiverse].

**FPU Paradox** > see under Fermi-Pasta-Ulam Model.

**Fractal** > s.a. fractals in physics.

**Fractal Dimension** > see dimension.

**Fractional Derivatives / Differential Equations** > see
fractional calculus; differential equations.

**Fractional Statistics** > see modified particle statistics.

**Fractons**

* __Idea__: Excitations of quantum matter
that exhibit restricted mobility, being either immobile under local Hamiltonian dynamics,
or mobile only in certain directions; The immobile excitations have been dubbed fractons
because combining fractons tends to make them less constrained than a single fracton,
as if a fracton by itself is only a fraction of a fully mobile particle.

@ __References__: Nandkishore & Hermele ARCMP(19)-a1803 [rev];
Pretko & Radzihovsky PRL(18)
+ viewpoint Slagle Phy(18)
[duality with lattice defects in a 2D crystal].

**Fragility in Cosmology**
> see cosmology; cosmic topology.

**Fragmentation**

> __In astrophysics__:
see minor solar-system objects;
types of stars.

> __In particle
physics__: see cosmic-string
phenomenology; Feynman-Fields Model
and QCD phenomenology [quark fragmentation].

**Frame** > s.a. coordinates;
reference frames [more physical point of view]; tetrads.

* __Idea__: The assignment
of a basis for the tangent space at each point of a differentiable manifold.

* __Types__: Holonomic
(one arising from a coordinate system), or non-holonomic.

@ __Causal types__: Morales AIP(06)gq;
> s.a. special relativity.

**Frame Bundle** > s.a. principal fiber bundles.

* __Idea__: A principal
fiber bundle whose base manifold is an *n*-manifold *M*,
whose fibers are the sets of frames (sets of *n* linearly
independent vectors) at *p* ∈ *M*, and whose structure
group *G* = GL(*n*, \(\mathbb R\)).

@ __References__: Cordero & Dodson
88;
Ståhl gq/00/JMP [over spacetime, geometry].

> __Related topics__:
see approaches to quantum gravity [quantum frame bundles].

> __Online resources__:
see MathWorld page;
Wikipedia page.

**Frame Dragging** > see tests of general relativity with orbits.

**Frame Theory** (Ehlers)

* __Idea__: A general
theory of gravitation including the Newton-Cartan theory and general
relativity as special cases.

@ __References__: Ehlers CQG(97).

**Franck-Hertz experiment** > see experiments in physics.

**Fréchet Algebra**

* __Idea__: A complete,
metrizable, topological algebra whose topology is defined by an increasing
family {*q*_{n}} of multiplicative seminorms.

**Fréchet Derivative**
> see Banach Space.

**Fréchet Geometry / Manifolds**

@ __References__: Müller JGP(08) [metric approach];
Dodson a1109 [rev];
Dodson IJGMP(14) [via projective limits].

**Fréchet Space**

$ __Def__: A complete
metric vector space / A topological vector space that is locally convex,
Hausdorff, metrizable and complete.

* __Examples__: Every
Banach space is a Fréchet space; More generally, any countable cartesian
product of Banach spaces is a Fréchet space.

* __Motivation__: Some
different notions of differentiability coincide.

@ __References__: Nyikos T&A(10) [products of Fréchet spaces].

**Fredholm Alternative** > s.a. integral equations.

**Free Action of a Group on a Manifold** > see group action.

**Free-Body Diagram**
> see physics teaching.

**Free Energy** > s.a. thermodynamics.

* __Idea__: A free
energy captures the interplay between information and energy, which
determines the amount of work that can be extracted from a system.

* __Rem__: There is a
small set of usual free energies that do the job in the thermodynamic
limit of a statistical system, but in the regime of small or strongly
correlated systems there is an infinite family of free energies, related
to the Renyi entropies, which constitutes a family of "second laws"
constraining transitions in cyclic processes.

$ __Helmholtz free energy__:
The thermodynamic quantity *F*:= *E* − *TS*. / It
is the amount of energy that can be converted into work in a *T* =
constant reversible (*S* = const) transformation; For a statistical
mechanical system in a canonical ensemble with partition function *Z*,
it can be calculated as *F*:= −*kT* log *Z*;
> s.a. entropy [and Rényi entropy].

$ __Gibbs free energy__:
The thermodynamic quantity *G*:= *E* − *TS + pV*.
/ A process is spontaneous if Δ*G* < 0.

@ __General references__: Coffey HSPBS(06) [historical, and the third law of thermodynamics];
Vemulapalli PhSc(10)dec [how *G* can predict properties of matter];
Sanami JMP(13) [characterization of the Helmholtz free energy];
Prentis & Obsniuk TPT(16) [simple model to illustrate the concept].

@ __Geometric__: Pollicott & Weiss CMP(05) [for surfaces with variable negative curvature].

> __Online resources__:
see Wikipedia page.

**Free Fall**
> s.a. equivalence principle; Projectile Motion.

@ __References__: Spallicci a1005-ln [and self-force, historical perspective].

**Free Group**
> see types of groups.

**Free Mobility Postulate (Helmholtz)**
> see spacetime models.

**Free Product of Goups** > see group.

**Free Will / Freedom of Choice **
> s.a. Determinism; philosophy
of physics; Retrocausality.

* __Seth Lloyd's position__:
What gives rise to our impression that we possess free will is the
intrinsic computational unpredictability of our decision-making process.

* __"Free will theorem"__:
A result stating that if experimenters have free will in the sense that their
choices are not a function of the past, so must some elementary particles.

@ __General references__: Hossenfelder a1202 [meaning, without employing metaphysics];
Svetlichny a1202 [physical and mathematical model];
Esposito a1202 [personal point of view];
Mandayam Nayakar et al a1202 [definition and model];
Mandayam Nayakar & Srikanth a1210 [and uncomputability];
Lloyd PTRS(12)-a1310 [Turing test, roles of quantum mechanics and computation];
Mandayam Nayakar & Srikanth a1401;
Svozil a1405 [dualistic scenario];
Hashim & Srikanth a1503; Lopez-Corredoira a1612-in.

@ __And quantum theory__: Nikolić ASL-a1006;
Barrett & Gisin PRL(11)-a1008 [and locality];
Hall PRL(10)
[partially giving up free will to maintain locality and realism];
Di Lorenzo a1105;
Brassard & Raymond-Robichaud a1204 [and the theory of "parallel lives"];
Bisognano a1211 [and quantum measurement];
Ghirardi & Romano FP(13)-a1301 [and extensions of quantum theory];
Colbeck & Renner a1302;
Aaronson a1306-in [Turing's ideas and related issues];
Khan a1604 [and quantum information];
Bednorz PRD(16)-a1605 [in relativistic quantum field theory];
Kochen a1710 [and Born's rule, EPR].

@ __"Free will theorem"__: Conway & Kochen a0807 [strengthening];
Hájíček GRG(09);
Goldstein et al NAMS(10)-a0905 [criticism];
Suarez a1002,
a1006;
Reznikoff a1008 [logical proof];
Liu et al PRL(16)-a1603 [experimental test];
> s.a. relativistic quantum mechanics.

> __Online resources__:
see Internet Encyclopedia of Philosophy page;
Stanford Encyclopedia of Philosophy page;
Wikipedia page.

**Freezing**
> see condensed matter.

**Frenet-Serret Curvature / Formulas **
> see lines and curves / classical
relativistic particles; minkowski space.

**Frequency**
> s.a. wave equations.

* __Idea__: The number
of cycles per unit time in a time-dependent phenomenon of oscillatory
type; For a physical quantity *A*(*t*) with sinusoidal time
dependence the frequency *f* = 1/*T* is the inverse of the
period; For a more general time dependence it is the variable conjugate to
*t* in a Fourier series/transform.

* __Rem__: Frequency is the
physical quantity that can be measured with the greatest accuracy, by far.

@ __Frequency operator__: Caves & Schack AP(05) [and quantum probability postulate].

**Fresnel Integrals**

* __Idea__: Integrals of the type
∫_{−∞}^{∞
}d*x* exp{±i*x*^{2}}
= π^{1/2}; Can be proved taking the *a*
→ 0 limit of generalized Gaussian integrals.

**Freud Pseudotensor / Superpotential**
> see stress-energy pseudotensors.

**Friedmann Equation and Solutions**

**Friedmann-(Lemaître)-Robertson-Walker
Spacetime** > s.a. fields,
geometry, perturbations
and quantum cosmology.

**Friedrichs Model**
> s.a. quantum systems.

* __Idea__: A model
with a small system with a finite number of states ("atom") coupled to a
reservoir with an infinite number of states ("radiation"); Used as a model
for an unstable system.

@ __References__: Antoniou et al PRA(01)qp/00 [(anti)-Zeno effect],
qp/01 [*N*-level, decay];
Baumgärtel RVMP(06)mp/05,
addendum RVMP(07) [resonances and Gamov vectors];
Dereziński & De Roeck JMP(07)qp/06 [stochastic limit];
Courbage et al PLA(07) [and kaon phenomenology];
Akchurin TMP(10) [generalized, spectrum];
Gadella & Pronko FdP(11)-a1106 [and resonance phenomena, rev].

**Frobenius Algebra**

@ __References__: Kaufmann CMP(04) [second quantization];
Stigner PhD-a1210 [in conformal field theory].

**Frobenius Manifold**

* __History__:
Introduced by Dubrovin as a coordinate-free approach to the
Witten-Dijkgraaf-E Verlinde-H Verlinde (WDVV) differential equations
obtained in topological field theory in the 1990s; They play a fundamental
role in apparently unrelated areas of mathematics; Besides the theory of
Gromov-Witten invariants of symplectic manifolds, they also come up in
singularity theory, the theory of isomonodromic deformations of linear
differential equations, the theory of Coxeter groups and their extensions
and the theory of integrable systems of KdV-type.

@ __References__: Manin 99;
Strachan JGP(01)m.DG/99,
DG&A(04)m.DG/02 [submanifolds];
Mironov & Taimanov TMP(07)mp/06 [algebraic examples];
Mokhov a0710
[as submanifolds of pseudo-euclidean spaces].

**Frobenius Theorem**
> see Division Algebra.

> __Online resources__:
see MathWorld page [Frobenius theorem for matrix eigenvalues].

**Frobenius-Perron Operator**

$ __Def__: The operator *U* generating
discrete time evolution for a classical distribution function *ρ*, i.e.,

*ρ*_{n+1}(*x*)
= *U* *ρ*_{n}(*x*).

**Froude Number**

* __Idea__: A concept
related to how an object moves in a fluid (tumble and flutter), the ratio
of the time it takes for it to fall its own length to the time it takes
for it to move from side to side.

**Frozen Formalism**
> see time in gravity.

**Frozen Star**
> see black-hole phenomenology.

**Frustration**
> s.a. spin models.

* __Geometrical
frustration__: A situation in which a system of interacting particles
is unable to find its lowest energy state because of how the particles are
arranged; It can play an important role at microscopic scales in solids,
in particular magnets, where the absence of a single, lowest-energy state
can affect a material's conductivity; An example is a quantum spin liquid,
in which a destruction of magnetism is exhibited by spins arranged in a triangular
lattice because the QSL never enters into a long-range ordered phase;
Instead, the electrons' spins remain fluid-like, even at 0 K.

@ __Examples__: Kang et al PRL(14) [macroscopic geometrical frustration in a lattice of triangular tiles];
> Spin Liquid.

**Fubini-Study Metric** > see types of metrics.

**Fuchsian Analysis / Equations** > see gowdy spacetime.

**Fugacity**

$ __Def__: The quantity
*z*:= exp{*βμ*}, in terms of which the grand canonical
partition function for a classical monatomic ideal can be written as *Z*
= exp{*zV*/*λ*^{3}}.

> __Online resources__:
see Wikipedia page.

**Full Chronological Space** > see Chronological Space.

**Functional Analysis, Derivative, Equations**

**Functions**
> s.a. functions and maps on differentiable manifolds.

**Fundamental Group**
> s.a. homotopy theory.

**Fundamental Homology Class**

$ __Def__: For a
compact oriented *n*-manifold *M*, the unique *μ*
in H^{n}(*M*; \(\mathbb
Z\)) such that *ρ*_{x}(*μ*)
= *μ*_{x}, where ...

**Fundamental Identity of Thermodynamics** > see thermodynamics.

**Fundamental Length** > see under Minimal Length.

**Fundamental Physics / Theory**
> see physical theories / paradigms in physics.

**Fundamental Theorem of Algebra** > see elementary algebra.

**Fundamental Theorem of Calculus**

$ __Def__: The statement that \(\int_a^b{\rm d}x = b-a\).

**Fusion** > see nuclear physics and technology.

**Fusion Bases / Coefficients / Rules**

* __Fusion bases__:
The sets of inequalities governing fusion rules.

* __Fusion rules__:
Also known as representation rings for groups.

@ __Fusion bases__:
Bégin et al mp/00-conf,
JMP(00),
JMP(00) [for affine Lie algebras],
JMP(02)ht/01 [as facets of polytopes].

@ __Fusion coefficients__: Alesci et al CQG(10) [from SO(3) to SO(4)].

@ __Fusion rules__: Zimborás in(06)m.GR/05 [compact groups, information contained].

**Future** > see cosmology;
spacetime subsets; time.

**Future Included / Not Excluded Theory** > see formulations of quantum theory.

**Fuzzballs**
> s.a. event horizons; string phenomenology.

* __Idea__: The
fuzzball construction is a way of resolving the black hole information
paradox by making spacetime end just before the horizon is reached.

@ __References__: Mathur AP(12) [and black-hole information];
Mathur a1401 [and black-hole thermodynamics];
Hertog & Hartle a1704
[quantum dynamics of gravitational collapse, observational signatures];
Guo et al JHEP(18)-a1711 [and observations].

**Fuzzy Geometry / Manifolds** > see differential
geometry; higher-dimensional
spacetime; non-commutative geometry.

**Fuzzy Set Theory** > see set
theory; logic.

main page
– abbreviations
– journals – comments
– other sites – acknowledgements

send feedback and suggestions to bombelli at olemiss.edu – modified 10 jul 2019