**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 · 2 · 3 ·
... · *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]; > 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.

**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__: 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**

* __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 fermions
in lattice 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].

@ __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].

@ __ 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].

> __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 [in
arbitrary dimensions]; Botelho & Rodrigues a1611.

**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.

@ __Techniques__: Ohl CPC(95)hp
[LaTeX drawings]; Suzuki & Schmidt JHEP(97)
[negative-dimensional
technique]; Easther et al PRD(00)hp/99
[numerical]; 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].

@ __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.

@ __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]; Marcolli & Rej JPA(08)-a0807
[and supermanifolds]; Brouder & Frédéric a1103
[non-local, non-commutative generalizations].

> __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-a1507
[Mathematica package for tensor reduction].

**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 *γ*^{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. 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 a1707 [in the context of Bayesian theory testing].

> __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.

**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** > see black-hole
geometry [interior]; event horizons.

**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.

**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.

**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
[and 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 difficultmathematical 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.

**Fragility in Cosmology** > see cosmology
in general relativity; 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 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 a1605
[in relativistic quantum field theory].

@ __"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 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 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
.

**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.

**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 Theorem of Algebra** > see elementary
algebra.

**Fundamental Theorem of Calculus**

$ __Def__: The
statement that ∫_{a}^{b}
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].

**Fuzzballs** > s.a. event horizons.

* __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].

**Fuzzy Manifolds** > see differential
geometry; higher-dimensional
spacetime.

**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 2 sep
2017