Generalized Error Functions: Theory & Applications

• Generalized error functions are higher-dimensional analogues of the classical error function that serve as smoothing kernels in indefinite theta series and modular completions.
• They arise from Gaussian convolutions with sign functions and satisfy Vignéras-type differential equations, ensuring the analytic continuation and modular covariance of theta series.
• Their applications span automorphic forms, nonlinear diffusion problems, and physical models such as supersymmetric quantum mechanics involving BPS state counts.

Searching arXiv for recent and foundational papers on generalized error functions. arxiv_search(query="^^^^^^^^3all:\3 error functions\"^^^^^^^^3 OR ti:\3^^^^^^^^"generalized error functions\"^^^^^^^^3 OR abs:\3^^^^^^^^"generalized error functions\"", max_results=^^^^3 OR ti:\3all:\3^^^^) Generalized error functions are higher-dimensional analogues of the classical error function that arise most prominently as non-holomorphic smoothing kernels in the theory of indefinite theta series. In the work of Zwegers, Alexandrov–Banerjee–Manschot–Pioline, and Nazaroglu, they interpolate between locally constant sign products and real-analytic kernels satisfying Vignéras-type differential equations, thereby producing modular completions of holomorphic but non-modular theta series attached to indefinite quadratic lattices. The same terminology is also used in a distinct PDE context for the PRESERVED_PLACEHOLDER_^^^^3all:\3^^^^-generalized modified error function, defined as the solution of a nonlinear boundary-value problem with Robin data, while in analytic number theory one also encounters “generalized error-function transformations” involving PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^, PRESERVED_PLACEHOLDER_^^^^3 OR abs:\3^^^^, and $\erfi$ without introducing a new higher special function (&&&^^^^3all:\3^^^^&&&, &&&^^^^3 OR ti:\3^^^^&&&, &&&^^^^3 OR abs:\3^^^^&&&).

^^^^3 OR ti:\3^^^^. Nomenclature and scope

The expression “generalized error function” is not attached to a single universally fixed object. In the indefinite-theta literature it denotes a family of smooth kernels $E_q$, $E_r$, and complementary kernels $M_q$, $M_r$ obtained by Gaussian convolution of sign data on negative or time-like subspaces. In the Stefan-problem literature it denotes the $p$-generalized modified error function $E_p(x;\delta)$, defined by a nonlinear ODE. In the work of Dixit, Roy, and Zaharescu, by contrast, the phrase refers to transformation formulas involving classical PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3all:\3^^^^, PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR ti:\3^^^^, and PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR abs:\3^^^^; the paper explicitly states that no new “higher” error-function is introduced there (&&&^^^^3all:\3^^^^&&&, &&&^^^^3 OR abs:\3^^^^&&&, &&&^^^^3 OR ti:\3^^^^&&&).

Context	Object	Defining feature
Indefinite theta theory	PRESERVED_PLACEHOLDER_^^^^3 OR ti:\33^^^^, PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^4, PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^5, PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^6	Heat-kernel smoothing of sign products; used in modular completion
Analytic number theory	error-function transformations	Uses PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^7, PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^8, PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^9; no new higher function
Nonlinear diffusion / Stefan problems	PRESERVED_PLACEHOLDER_^^^^3 OR abs:\3all:\3^^^^-generalized modified error function	Nonlinear second-order ODE with Robin, Dirichlet, or Neumann data

A useful way to delimit the subject is therefore by application domain. In arithmetic and automorphic settings, generalized error functions are tied to indefinite lattices, Kudla–Millson forms, Vignéras’ equation, and mock modular completions. In applied-analysis settings, the same phrase refers to a boundary-value profile generalizing the classical modified error function.

^^^^3 OR abs:\3^^^^. Higher-dimensional definitions

Let PRESERVED_PLACEHOLDER_^^^^3 OR abs:\3 OR ti:\3^^^^ be a real quadratic space of signature PRESERVED_PLACEHOLDER_^^^^3 OR abs:\3 OR abs:\3^^^^, let PRESERVED_PLACEHOLDER_^^^^3 OR abs:\33^^^^ be an ordered collection of negative vectors spanning a negative PRESERVED_PLACEHOLDER_^^^^3 OR abs:\3^^^^4-plane

PRESERVED_PLACEHOLDER_^^^^3 OR abs:\3^^^^5

and normalize the Lebesgue measure PRESERVED_PLACEHOLDER_^^^^3 OR abs:\3^^^^6 on PRESERVED_PLACEHOLDER_^^^^3 OR abs:\3^^^^7 by

PRESERVED_PLACEHOLDER_^^^^3 OR abs:\3^^^^8

The generalized error function of depth PRESERVED_PLACEHOLDER_^^^^3 OR abs:\3^^^^9 attached to $\erfi$^^^^3all:\3^^^^ is

$\erfi$^^^^3 OR ti:\3^^^^

Equivalently, it is the Gaussian $\erfi$^^^^3 OR abs:\3^^^^ shifted by $\erfi$3, multiplied by the sign product $\erfi$4 (&&&^^^^3all:\3^^^^&&&).

In the classical $\erfi$5 case one recovers the ordinary one-variable error-function behavior: $\erfi$6 and the same source writes this as

$\erfi$7

up to the usual conventions for $\erfi$8 (&&&^^^^3all:\3^^^^&&&).

A coordinate realization, especially convenient in physical applications, is given by the matrix-valued definition

$\erfi$9

together with the complementary kernel

$E_q$^^^^3all:\3^^^^

This formulation emphasizes that $E_q$^^^^3 OR ti:\3^^^^ is a convolution of a Gaussian with a product of sign functions of linear forms, while $E_q$^^^^3 OR abs:\3^^^^ is a contour-integral analogue generalizing the complementary error function (Pioline et al., 11 Jul 2025).

For signature $E_q$3, Alexandrov–Banerjee–Manschot–Pioline introduced the two-variable function $E_q$4. With

$E_q$5

they define

$E_q$6

and also identify it with the heat-kernel smoothing of the locally constant product $E_q$7 (Kudla, 2016, &&&^^^^3 OR ti:\3all:\3^^^^&&&).

3. Analytic structure and low-dimensional behavior

The higher-dimensional kernels are designed to retain the asymptotic sign structure while replacing discontinuous walls by smooth transitions. For the depth-$E_q$8 functions $E_q$9, one has the parity relation

$E_r$^^^^3all:\3^^^^

obtained by changing variables $E_r$^^^^3 OR ti:\3^^^^ in the defining integral. If $E_r$^^^^3 OR abs:\3^^^^ grows in a generic direction in the negative plane $E_r$3, then

$E_r$4

with exponentially small error. The same analysis shows that, as a function of the real variables $E_r$5, $E_r$6 extends holomorphically in the complexified variables $E_r$7 away from the real hyperplanes $E_r$8, and crossing such a hyperplane produces a lower-depth correction term (&&&^^^^3all:\3^^^^&&&).

For $E_r$9, the paper on signature $M_q$^^^^3all:\3^^^^ records a particularly explicit set of properties. The function is smooth and real-analytic on all of $M_q$^^^^3 OR ti:\3^^^^, including the lines where the individual sign factors would jump. It satisfies

$M_q$^^^^3 OR abs:\3^^^^

and tends to the relevant product of sign functions in generic asymptotic regimes. In the “boosted” lattice version $M_q$3, these asymptotics encode exactly the sign-products appearing in the holomorphic theta kernel (Kudla, 2016).

The differential equations are normalization-dependent but structurally uniform. In the ABMP and later physics normalizations, $M_q$4 and $M_q$5 satisfy Vignéras-type equations such as

$M_q$6

or, more generally,

$M_q$7

In the normalization used for the cubical and simplicial theta integrals, each $M_q$8-term satisfies

$M_q$9

This suggests that the essential analytic invariant is not a single canonical operator, but a Vignéras class preserved under the various rescalings used in the indefinite-theta literature (&&&^^^^3 OR ti:\3all:\3^^^^&&&, Pioline et al., 11 Jul 2025, &&&^^^^3all:\3^^^^&&&).

Low-dimensional examples exhibit the pattern clearly. For $M_r$^^^^3all:\3^^^^,

$M_r$^^^^3 OR ti:\3^^^^

while

$M_r$^^^^3 OR abs:\3^^^^

For $M_r$3, the cubical and simplicial theta-integral formulas become explicit alternating or signed sums of $M_r$4-terms, together with a constant term in the simplicial case (Pioline et al., 11 Jul 2025, &&&^^^^3all:\3^^^^&&&).

4. Indefinite theta series and modular completion

The central arithmetic role of generalized error functions is to complete holomorphic indefinite theta series to modular objects. For an integral lattice $M_r$5 of signature $M_r$6, one considers a holomorphic generating series of the form

$M_r$7

where $M_r$8 is a piecewise-constant characteristic sign. This series is holomorphic but non-modular. The completion is obtained by replacing the sign kernel with a Kudla–Millson theta integral

$M_r$9

In the cubical case, Theorem 4.^^^^3 OR ti:\3^^^^ gives a closed form in which $p$^^^^3all:\3^^^^ is an alternating sum of $p$^^^^3 OR ti:\3^^^^-terms evaluated at $p$^^^^3 OR abs:\3^^^^, and the difference between the completed series and the holomorphic series is exponentially small as $p$3. In this precise sense, $p$4 is the modular completion of the naive holomorphic series (&&&^^^^3all:\3^^^^&&&).

For signature $p$5, the ABMP completion has the explicit kernel

$p$6

and the completed theta series

$p$7

transforms as a non-holomorphic vector-valued Jacobi form of weight $p$8 (&&&^^^^3 OR ti:\3all:\3^^^^&&&).

The modular transformation laws are stated explicitly for the completed theta integral. Under $p$9,

$E_p(x;\delta)$^^^^3all:\3^^^^

and under $E_p(x;\delta)$^^^^3 OR ti:\3^^^^,

$E_p(x;\delta)$^^^^3 OR abs:\3^^^^

The analysis uses the Weil representation and Vignéras’ theorem, and the generalized error functions furnish exactly the non-holomorphic $E_p(x;\delta)$3-dependence required for modular covariance (&&&^^^^3all:\3^^^^&&&).

An important application is the generalized Appell–Lerch sum attached to the lattice $E_p(x;\delta)$4. The completion of the corresponding signature-$E_p(x;\delta)$5 series replaces the sign-products by single- and double-error functions, producing a two-variable Jacobi form of weight $E_p(x;\delta)$6 under $E_p(x;\delta)$7 (&&&^^^^3 OR ti:\3all:\3^^^^&&&).

5. Geometric and physical realizations

The indefinite-theta completions are not merely formal regularizations. In the theta-integral approach, the generalized error functions arise as explicit integrals of Kudla–Millson forms over singular cubes or simplices in the Grassmannian $E_p(x;\delta)$8 of oriented negative $E_p(x;\delta)$9-planes. For a cubical configuration

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3all:\3all:\3^^^^

in good position, one obtains a singular PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3all:\3 OR ti:\3^^^^-cube

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3all:\3 OR abs:\3^^^^

and the theta integral

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3all:\33^^^^

admits a closed form as an alternating sum of depth-PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3all:\3^^^^4 generalized error functions. In the simplicial case, the corresponding formula involves lower-depth error functions indexed by odd-cardinality subsets. The sign function in the holomorphic generating series is realized geometrically as an intersection number of the singular cube or simplex with a totally geodesic subsymmetric space of codimension PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3all:\3^^^^5 (&&&^^^^3all:\3^^^^&&&).

In signature PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3all:\3^^^^6, the surface PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3all:\3^^^^7 determined by four negative vectors PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3all:\3^^^^8 is a geodesic quadrilateral in PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3all:\3^^^^9. The basic integral

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR ti:\3all:\3^^^^

is expressed by Theorem A(a) as

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR ti:\3 OR ti:\3^^^^

The proof uses Stokes’ theorem after excising a small disk around the intersection point PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR ti:\3 OR abs:\3^^^^, and the resulting boundary integrals identify with the auxiliary PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR ti:\33^^^^-functions. The holomorphic kernel

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR ti:\3^^^^4

is shown to equal the local intersection number PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR ti:\3^^^^5, so the holomorphic theta series is the generating series of these intersection numbers (Kudla, 2016).

A recent physical realization appears in the supersymmetric quantum mechanics of PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR ti:\3^^^^6 mutually nonlocal BPS dyons. After localization of the refined Witten index, the path integral reduces to an integral over PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR ti:\3^^^^7 of relative positions and then splits into an integral over the PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR ti:\3^^^^8-dimensional phase space of BPS ground states and an integral over PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR ti:\3^^^^9 transverse directions. Convolution of locally constant sign monomials with the resulting Gaussian produces generalized error functions PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR abs:\3all:\3^^^^, with maximal depth PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR abs:\3 OR ti:\3^^^^. In this setting they are precisely the kernels of the indefinite theta series that cancel the modular anomaly of higher-depth mock modular forms appearing in D4–D^^^^3 OR abs:\3^^^^–D^^^^3all:\3^^^^ BPS counting (Pioline et al., 11 Jul 2025).

6. Other meanings of the term

A separate line of work studies “generalized error-function transformations” rather than higher-dimensional generalized error functions. The paper by Dixit, Roy, and Zaharescu uses

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR abs:\3 OR abs:\3^^^^

together with the integral analogue of a partial theta function

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR abs:\33^^^^

and a companion integral PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR abs:\3^^^^4, and proves complementary transformations under PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR abs:\3^^^^5. The paper emphasizes that no new “higher” error-function is introduced: the novelty lies in modular-type transformations linking these integrals to PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR abs:\3^^^^6 and PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR abs:\3^^^^7, and in asymptotic expansions and evaluations of non-elementary integrals (&&&^^^^3 OR abs:\3^^^^&&&).

In yet another usage, the PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR abs:\3^^^^8-generalized modified error function is defined as the solution PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3 OR abs:\3^^^^9 of

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\33all:\3^^^^

subject to the Robin condition

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\33 OR ti:\3^^^^

and the far-field limit

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\33 OR abs:\3^^^^

For PRESERVED_PLACEHOLDER_^^^^3 OR ti:\333^^^^ this reduces to the modified error-function problem of Cho and Sunderland, and for PRESERVED_PLACEHOLDER_^^^^3 OR ti:\33^^^^4 it recovers the usual error function. The paper proves existence and uniqueness of a non-negative PRESERVED_PLACEHOLDER_^^^^3 OR ti:\33^^^^5 solution by a fixed-point strategy when PRESERVED_PLACEHOLDER_^^^^3 OR ti:\33^^^^6, shows that PRESERVED_PLACEHOLDER_^^^^3 OR ti:\33^^^^7, PRESERVED_PLACEHOLDER_^^^^3 OR ti:\33^^^^8, and PRESERVED_PLACEHOLDER_^^^^3 OR ti:\33^^^^9, and establishes convergence to the corresponding Dirichlet solution PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^4^^^^3all:\3^^^^ with

PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^4^^^^3 OR ti:\3^^^^

in the Robin-to-Dirichlet limit. It also analyzes the Neumann problem (&&&^^^^3 OR ti:\3^^^^&&&).

These distinct usages make the phrase “generalized error functions” context-sensitive. In automorphic and mathematical-physics literature it typically refers to higher-dimensional kernels PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^4^^^^3 OR abs:\3^^^^ or PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^43 and their complementary partners PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^44 or PRESERVED_PLACEHOLDER_^^^^3 OR ti:\3^^^^45. In nonlinear diffusion it denotes a specific boundary-value profile. In analytic number theory it may instead denote transformation laws built from the classical error, complementary error, and imaginary error functions.