King Function: Spectral, Hypergeometric & Combinatorial

• King function is a context-dependent term denoting distinct objects: a radial kernel in shifted Gaussian expansions, Saran’s three-variable hypergeometric function, and the generating series for king permutations.
• In spectral theory, it underpins the King–Laguerre expansion via a Gaussian-weighted Sturm–Liouville framework, yielding a natural radial basis with a purely continuous spectrum.
• In combinatorics and spectroscopy, related ‘King’ constructs guide enumeration in king permutations and establish linear relations in isotope-shift analyses, illustrating diverse practical applications.

Searching arXiv for recent and directly relevant papers on the different technical usages of “King function”. arXiv search query: "King function shifted Gaussian" “King function” does not denote a single, discipline-independent object. In the cited literature, the expression is used for several non-equivalent constructions: a radial kernel arising from the laboratory-frame spherical-harmonic expansion of shifted Gaussian distributions, Saran’s three-variable hypergeometric function $F_K$, and, informally, the ordinary generating function for king permutations. Closely related but terminologically distinct are the Königs function of holomorphic semigroups, King relations and King plots in isotope-shift spectroscopy, and a range of “King”-named combinatorial and quantum constructions (Wang et al., 5 Jun 2026, Guo et al., 12 Dec 2025, Li et al., 2024, Bracci et al., 2018, Yamamoto, 2022, Berengut et al., 2020, Athanasakis-Kaklamanakis et al., 2023).

1. Terminological scope

The cited papers support a disambiguation-oriented reading of the term. In one usage, the King function is a shifted-Gaussian radial kernel adapted to nonzero mean velocity. In another, it is Saran’s three-variable hypergeometric function $F_K$. In enumerative combinatorics, the term “king function” is used for the generating function $A(t)$ of king permutations. By contrast, the “Königs function” is a univalent linearizing map in holomorphic dynamics rather than a “King function,” and “King relation” or “King plot” refers to linear relations among isotope shifts rather than to a function in the strict analytic sense (Wang et al., 5 Jun 2026, Guo et al., 12 Dec 2025, Li et al., 2024, Bracci et al., 2018, Yamamoto, 2022).

Usage	Area	Defining object
King function	kinetic theory / spectral analysis	radial kernel in shifted Gaussian expansions
$F_K$ function	special functions	Saran’s three-variable hypergeometric function
king function $A(t)$	enumerative combinatorics	generating function for king permutations
Königs function	holomorphic dynamics	univalent conjugacy for semigroups on $\mathbb D$
King relation / plot	isotope-shift spectroscopy	linear relation among isotope shifts

This suggests that the phrase is best interpreted contextually. In mathematical physics it usually points to a special function or kernel, whereas in spectroscopy and complex dynamics the “King/Königs” terminology names a relation or coordinate change rather than a standalone function.

2. King function as a shifted-Gaussian radial kernel

In "King Function for Shifted Gaussian: Laguerre Structure, Spectral Theory and Density" (Wang et al., 5 Jun 2026), the King function is the radial kernel that appears when a shifted Gaussian is expanded in spherical harmonics in the laboratory frame. Its purpose is to provide a radial basis adapted to nonzero mean velocity, complementing the Laguerre basis that is natural only in the co-moving frame.

A central structural statement is the King–Laguerre expansion: the King function is not a new eigenmode of the co-moving Ornstein–Uhlenbeck/Lenard–Bernstein operator, but an infinite superposition of Laguerre modes. In the paper’s formulation, Laguerre is the natural spectral basis in the co-moving frame, while King is the natural radial basis in the laboratory frame. This is the main reason the object is treated as a distinct analytic entity rather than as a mere reformulation of classical Laguerre theory.

The same paper derives the King differential equation and rewrites it as a Gaussian-weighted Sturm–Liouville problem. The natural Hilbert space is

$H=L^{2}\bigl((0,\infty);\omega(v)\,dv\bigr),$

and the Liouville-type transform

$(\mathcal U f)(v)=e^{v^{2}}v\,f(v)$

is unitary from $H$ onto $L^2(0,\infty)$. Under this map, the King operator is unitarily equivalent to the free radial Schrödinger operator on the half-line,

$F_K$0

The spectral consequence is that the associated self-adjoint realization has purely absolutely continuous spectrum,

$F_K$1

The paper distinguishes an imaginary branch and a real branch. The generalized eigenfunctions belong to the imaginary branch, while the real-parameter King function lies in the resolvent set rather than on the spectrum. Despite that, the real family

$F_K$2

has dense linear span in the natural radial space

$F_K$3

This density theorem is the approximation-theoretic basis for King mixture representations. The same work also derives weighted $F_K$4-integrability criteria, closed-form moment formulas, and a normalization in which the isotropic zeroth moment is unity. In this usage, “King function” is therefore a fully fledged spectral and approximation-theoretic object, tied simultaneously to shifted Gaussians, Laguerre resummation, Sturm–Liouville theory, and mixture modeling (Wang et al., 5 Jun 2026).

3. $F_K$5 as the hypergeometric King function

In "Erdélyi-type integrals for $F_K$6 function and their $F_K$7-analogues" (Guo et al., 12 Dec 2025), the King function is Saran’s three-variable hypergeometric function $F_K$8. The paper treats $F_K$9 as a multivariable hypergeometric function admitting Erdélyi-type integral representations, $A(t)$0-analogues, and a discrete analogue.

The function is defined by a triple series and also by an equivalent decomposition into Gauss $A(t)$1 factors. The latter decomposition is central because it allows one-variable Erdélyi-type integral representations to be inserted inside the $A(t)$2-series and then reorganized. The paper specifies the Reinhardt domain

$A(t)$3

A principal result is a triple integral representation of $A(t)$4 against Dirichlet measures. The authors emphasize that this is the structural hallmark of an Erdélyi-type formula: $A(t)$5 is represented as an integral of a product of two other $A(t)$6-type functions. Their first main contribution is a direct proof of that integral, using the $A(t)$7-series decomposition into $A(t)$8-factors, Euler integrals, a Beta moment evaluation, and the Chu–Vandermonde identity.

The same paper derives a new integral related to Appell’s $A(t)$9 by specializing the $F_K$0 formula, extends the framework to an $F_K$1-variable generalization of $F_K$2 that appears in physics, and develops a basic-hypergeometric analogue $F_K$3 together with $F_K$4-Erdélyi-type integrals. It also includes a discrete analogue based on Gasper’s discrete $F_K$5-Erdélyi formula. In the physics context, the $F_K$6-variable $F_K$7 is connected in the paper to multipoint conformal blocks in the comb channel and to conformal partial waves. In this special-functions usage, the “King function” is therefore a multivariable hypergeometric function with an integral-transform and $F_K$8-deformation theory (Guo et al., 12 Dec 2025).

4. The king function in enumerative combinatorics

In "Distributions of mesh patterns of short lengths on king permutations" (Li et al., 2024), the phrase “king function” is used for the ordinary generating function of king permutations. A permutation $F_K$9 is a king permutation if

$A(t)$0

The paper denotes by $A(t)$1 the set of king permutations of length $A(t)$2, by $A(t)$3 their number, and by

$A(t)$4

their generating series.

The sequence satisfies

$A(t)$5

and for $A(t)$6,

$A(t)$7

The generating function itself is

$A(t)$8

The paper explicitly treats this $A(t)$9 as the fundamental enumerator from which mesh-pattern distributions are built.

Two auxiliary generating functions are introduced: $\mathbb D$0 These recur throughout the derivation of distribution formulas for 22 short mesh patterns on king permutations. The broad method is structural decomposition: identify how occurrences of a pattern are constrained by the king condition, then express the resulting functional equations in terms of $\mathbb D$1, $\mathbb D$2, $\mathbb D$3, or their $\mathbb D$4-marked analogues.

A nearby paper, "On the poset of King-Non-Attacking permutations" (Bagno et al., 2019), uses the same permutation class but explicitly notes that it does not introduce a named object called a “King Function.” There the closest function-like constructs are the counting sequence $\mathbb D$5, the Möbius function $\mathbb D$6 on the poset $\mathbb D$7, and the breadth statistic $\mathbb D$8. This distinction is useful: in the mesh-pattern paper, “king function” refers to a generating series, whereas in the poset paper the central objects are order-theoretic rather than analytic or enumerative functions (Li et al., 2024, Bagno et al., 2019).

5. King relations and King plots in isotope-shift spectroscopy

In atomic and molecular spectroscopy, “King” most often refers not to a function but to a linear relation among isotope shifts. The standard isotope-shift decomposition writes the shift as a sum of field and mass contributions, and in the leading-order two-source picture the modified isotope shifts for two transitions satisfy a linear relation. In "Generalized King linearity and new physics searches with isotope shifts" (Berengut et al., 2020), this appears as

$\mathbb D$9

which is the classic King linearity. The same paper proposes two generalizations. The No-Mass King construction removes dependence on precise isotope masses by using a third transition, while the Generalized King construction uses more transitions to absorb higher-order Standard-Model nonlinearities and tests vanishing of a higher-dimensional volume,

$H=L^{2}\bigl((0,\infty);\omega(v)\,dv\bigr),$0

The paper’s point is that future searches for new spin-independent interactions will be limited by isotope-mass uncertainties and higher-order nuclear effects unless King linearity is generalized in a more data-driven way.

"The dual King relation" (Yamamoto, 2022) reverses the usual logic. Whereas the standard King relation is linearity among different transitions for fixed isotope pairs, the dual King relation is linearity among different isotope pairs for fixed transitions. In the simplest three-pair case,

$H=L^{2}\bigl((0,\infty);\omega(v)\,dv\bigr),$1

The fit coefficients are nuclear isotope dependences rather than electronic coefficients, so the dual construction constrains ratios of isotope dependence independently of the electron wave functions. The same paper also states that this dual framework can constrain a weakly interacting light new boson at the same level as the original King relation.

"King-plot analysis of isotope shifts in simple diatomic molecules" (Athanasakis-Kaklamanakis et al., 2023) extends the King-plot method from atomic transitions to simple diatomic molecules. The molecular isotope shift is likewise decomposed into a field shift and a mass shift,

$H=L^{2}\bigl((0,\infty);\omega(v)\,dv\bigr),$2

so a linear relation holds between atomic and molecular isotope shifts. The paper applies this molecular King-plot analysis to YbF, ZrO, and SnH. For YbF and ZrO, the nuclear charge radii extracted from molecular transitions are found to agree very well with the values obtained from $H=L^{2}\bigl((0,\infty);\omega(v)\,dv\bigr),$3 and $H=L^{2}\bigl((0,\infty);\omega(v)\,dv\bigr),$4 spectroscopy, respectively. For SnH, the fitted molecular field-shift factor is consistent with zero at the stated precision, so the rovibrational transition is not useful for extracting nuclear charge radii but is informative about the molecular electronic wavefunction. In this spectroscopy literature, “King” denotes a family of linearity constructions rather than a specific function (Berengut et al., 2020, Yamamoto, 2022, Athanasakis-Kaklamanakis et al., 2023).

6. Nearby but distinct “King” and “Königs” objects

A frequent source of confusion is the Königs function of holomorphic dynamics. In "On the Königs function of semigroups of holomorphic self-maps of the unit disc" (Bracci et al., 2018), the Königs function is the univalent map $H=L^{2}\bigl((0,\infty);\omega(v)\,dv\bigr),$5 that conjugates a non-elliptic semigroup $H=L^{2}\bigl((0,\infty);\omega(v)\,dv\bigr),$6 on $H=L^{2}\bigl((0,\infty);\omega(v)\,dv\bigr),$7 to a translation flow on a canonical model domain: $H=L^{2}\bigl((0,\infty);\omega(v)\,dv\bigr),$8 It is unique up to additive constants, its image is starlike at infinity in the sense that

$H=L^{2}\bigl((0,\infty);\omega(v)\,dv\bigr),$9

and it recovers the infinitesimal generator through

$(\mathcal U f)(v)=e^{v^{2}}v\,f(v)$0

The paper then derives the Berkson–Porta factorization

$(\mathcal U f)(v)=e^{v^{2}}v\,f(v)$1

This object is historically and mathematically distinct from any “King function,” notwithstanding the phonetic similarity.

In quantum-information theory, the Mean King problem and its variants use “King” metaphorically. "Quantum mechanical retrodiction through an extended mean King problem" (Kalev et al., 2013) studies a conditional retrodiction problem based on mutually unbiased bases, entangled two-particle states, and repeated measurements. The extended protocol allows Alice to infer both the King’s basis and the outcome of the King’s first measurement, with an exceptional failure probability $(\mathcal U f)(v)=e^{v^{2}}v\,f(v)$2 for prime dimension $(\mathcal U f)(v)=e^{v^{2}}v\,f(v)$3, and $(\mathcal U f)(v)=e^{v^{2}}v\,f(v)$4 in the qubit case. "Experimental Test of Tracking the King Problem" (Hu et al., 2018) realizes a related protocol experimentally: Alice can successfully retrodict the choice of the King’s measurement basis without knowing any measurement outcome. In both papers, however, “King” refers to a party or measurement choice, not to a function.

In algebraic combinatorics and representation theory, King tableaux are again a distinct usage. "Crystal structure on King tableaux and semistandard oscillating tableaux" (Lee, 2019) defines King tableaux as fillings with the symplectic alphabet subject to a semistandard condition and a symplectic condition, proves that $(\mathcal U f)(v)=e^{v^{2}}v\,f(v)$5 carries a type $(\mathcal U f)(v)=e^{v^{2}}v\,f(v)$6 crystal structure isomorphic to $(\mathcal U f)(v)=e^{v^{2}}v\,f(v)$7, and relates the model to semistandard oscillating tableaux. "RSK correspondence for King tableaux with Berele insertion" (Kobayashi et al., 7 Jun 2025) reformulates Sundaram’s correspondence as a type $(\mathcal U f)(v)=e^{v^{2}}v\,f(v)$8 RSK bijection whose $(\mathcal U f)(v)=e^{v^{2}}v\,f(v)$9-symbol is a King tableau and whose $H$0-symbol is a semistandard oscillating tableau. Here “King” is eponymic, tracing back to King’s 1976 tableau model, rather than functional (Lee, 2019, Kobayashi et al., 7 Jun 2025).

Taken together, these usages show that “King function” is best understood as a context-sensitive label. In current arXiv practice it can denote a spectral kernel for shifted Gaussians, a multivariable hypergeometric function, or a combinatorial generating function, while related “King” terminology in spectroscopy, dynamics, quantum retrodiction, and tableau theory names structurally different objects.