Modulated Relative Functional Overview

• Modulated relative functional is a framework for comparing measured or discrete states to a reference by incorporating modulation through interaction kernels, learned functions, or biochemical thresholds.
• It arises in contexts such as mean-field analysis, long-context transformers, and molecular communication to quantify discrepancies and control state convergence.
• Key results include deriving sharp error bounds, employing renormalization to handle singularities, and developing innovative modulation schemes for diverse applied settings.

“Modulated relative functional” is not a standardized term in the cited literature. The nearest formal usages are the Riesz modulated energy $F_N(X_N,\mu)$, modulated free energy $E_N(f_N,\mu)$, and relative entropy $H_N(f_N\mid g_N)$ in mean-field analysis, together with a context-dependent functional relative position encoding with progressive interpolation in long-context Transformers and transmitter-state-aware modulation in functionalized vesicle-based molecular communication. Across these settings, the phrase denotes, either formally or by close conceptual analogy, a quantity defined relative to a reference state and modulated by transport, context scale, or an internal functional state (Hess-Childs et al., 17 Nov 2025, Rosenzweig et al., 2024, Li et al., 2023, Dieck et al., 29 Oct 2025).

1. Terminology and conceptual range

In the singular-interaction literature, the formal object is a modulated energy or modulated free energy. In the long-context Transformer literature, the formal object is a functional relative position encoding with progressive interpolation, abbreviated FIRE. In molecular communication, the exact phrase does not appear; the formal names are memory-aware modulation (MAM) and memory-erasing modulation (MEM), both designed around the transmitter’s internal biochemical state relative to a threshold (Hess-Childs et al., 17 Nov 2025, Li et al., 2023, Dieck et al., 29 Oct 2025).

Domain	Formal object	Representative expression
Coulomb/Riesz mean-field theory	Riesz modulated energy	$F_N(X_N,\mu)$
Whole-space log/Riesz diffusions	Modulated free energy	$E_N(f_N,\mu)$
Long-context Transformers	FIRE	$b_{ij}^{(h)}=f_h(\phi(i,j))$
Vesicle-based molecular communication	MAM / MEM	$c_{H,\mathrm{in}}(t)$ relative to $c_H^{\mathrm{th}}$

A plausible unifying description is that a modulated relative functional compares a microscopic, discrete, or instantaneous state with a reference object, but does so in a geometry or control variable native to the system. In Coulomb/Riesz theory the geometry is induced by the interaction kernel $g$; in FIRE it is induced by a learned function of normalized relative distance; in vesicle-based molecular communication it is induced by the internal proton concentration relative to an activation threshold. This synthesis is interpretive rather than a named common framework.

2. Canonical mathematical instance: Riesz modulated energy

The clearest formal realization of a modulated relative functional is the Riesz modulated energy. For pairwise distinct points $X_N=(x_1,\dots,x_N)\in(\mathbb R^d)^N$, empirical measure

$E_N(f_N,\mu)$0

and target probability measure $E_N(f_N,\mu)$1, the functional is

$E_N(f_N,\mu)$2

with

$E_N(f_N,\mu)$3

and $E_N(f_N,\mu)$4 excised to remove self-interactions (Hess-Childs et al., 17 Nov 2025).

This functional is “modulated” because it is the interaction energy of the difference measure $E_N(f_N,\mu)$5, and “relative” because it compares a microscopic empirical state to a continuum reference. It is also a renormalized object rather than a metric in the ordinary sense. The singularity of $E_N(f_N,\mu)$6 at the origin implies that $E_N(f_N,\mu)$7 is not simply positive as written; the diagonal must be removed, and the paper emphasizes its almost positivity through lower bounds such as

$E_N(f_N,\mu)$8

For $E_N(f_N,\mu)$9, the additive scale is $H_N(f_N\mid g_N)$0, which is identified as optimal (Hess-Childs et al., 17 Nov 2025).

The same work derives a truncated-potential decomposition using

$H_N(f_N\mid g_N)$1

which isolates the diagonal singularity and yields principal nonnegative pieces. This is the structural reason the functional behaves like a relative discrepancy measure after renormalization. It also admits a Fourier-side coercive interpretation controlling negative Sobolev norms; in particular, the cited results state that

$H_N(f_N\mid g_N)$2

is controlled by the modulated energy up to the optimal additive error, so $H_N(f_N\mid g_N)$3 implies $H_N(f_N\mid g_N)$4 (Hess-Childs et al., 17 Nov 2025).

A related development proves sharp commutator estimates of all order for the Coulomb and super-Coulomb range $H_N(f_N\mid g_N)$5, with arbitrary-order transport derivatives, sharp additive error, sharp density dependence, and localization to the support of the transport (Rosenzweig et al., 2024). That work presents the same functional as a singular, renormalized, distance-like comparison between $H_N(f_N\mid g_N)$6 and $H_N(f_N\mid g_N)$7, and strengthens its differential control by establishing localized estimates in terms of a localized modulated energy $H_N(f_N\mid g_N)$8.

3. Transport derivatives, commutators, and sharp mean-field control

The differential structure of the Riesz modulated energy is central to its use as a relative functional. For a vector field $H_N(f_N\mid g_N)$9, transporting both particles and background by $F_N(X_N,\mu)$0 gives

$F_N(X_N,\mu)$1

The first-order case is the basic transport derivative entering mean-field arguments (Hess-Childs et al., 17 Nov 2025).

The 2025 sharp commutator estimate shows that this derivative is controlled by the modulated energy itself, with the optimal additive $F_N(X_N,\mu)$2-dependent error for all $F_N(X_N,\mu)$3, including the sub-Coulomb case. The main bound takes the form

$F_N(X_N,\mu)$4

$F_N(X_N,\mu)$5

with $F_N(X_N,\mu)$6. The additive term $F_N(X_N,\mu)$7 is identified as the optimal worst-case scale (Hess-Childs et al., 17 Nov 2025).

The proof reduces the derivative estimate to a commutator inequality through a new potential truncation scheme based on a wavelet-type representation of the Riesz potential, and then to averaged Kato-Ponce type estimates. The 2024 all-order paper in the Coulomb and super-Coulomb range develops a complementary local regularity theory for the associated commutators, using the Caffarelli–Silvestre extension structure and localized electric-field estimates (Rosenzweig et al., 2024).

These differential inequalities yield sharp mean-field rates. For first-order Hamiltonian and gradient flows, the cited results obtain the expected $F_N(X_N,\mu)$8-rate in modulated-energy distance, with logarithmic correction in the case $F_N(X_N,\mu)$9 (Hess-Childs et al., 17 Nov 2025, Rosenzweig et al., 2024).

4. Relative entropy and modulated free energy in self-similar variables

A second formal family of modulated relative functionals appears in the whole-space, no-confinement analysis of log/Riesz interacting diffusions. The basic objects are the normalized relative entropy

$E_N(f_N,\mu)$0

the relative Fisher information

$E_N(f_N,\mu)$1

the modulated energy $E_N(f_N,\mu)$2, and the modulated free energy

$E_N(f_N,\mu)$3

Here the entropy is relative to the tensorized mean-field law, while the energetic term compares the empirical measure to the one-particle density $E_N(f_N,\mu)$4 (Rosenzweig et al., 2024).

The novelty of the cited work is that these functionals are handled after a self-similar change of variables

$E_N(f_N,\mu)$5

which converts the whole-space problem into one with an effective quadratic confinement. Under this transformation, entropy is exactly invariant: $E_N(f_N,\mu)$6 while the modulated energy becomes a time-dependent self-similar functional with

$E_N(f_N,\mu)$7

and

$E_N(f_N,\mu)$8

where $E_N(f_N,\mu)$9 and $b_{ij}^{(h)}=f_h(\phi(i,j))$0 (Rosenzweig et al., 2024).

Because $b_{ij}^{(h)}=f_h(\phi(i,j))$1 is only almost positive, the paper introduces corrected coercive variants $b_{ij}^{(h)}=f_h(\phi(i,j))$2 and $b_{ij}^{(h)}=f_h(\phi(i,j))$3 by adding explicit $b_{ij}^{(h)}=f_h(\phi(i,j))$4-type terms. These corrected functionals satisfy Grönwall-type inequalities in self-similar time, conditional on bounds for

$b_{ij}^{(h)}=f_h(\phi(i,j))$5

where $b_{ij}^{(h)}=f_h(\phi(i,j))$6 is a time-dependent self-similar equilibrium. This yields finite-time propagation of chaos, uniform-in-time propagation under integrability assumptions, and polynomial-in-time generation of chaos when logarithmic Sobolev input is available (Rosenzweig et al., 2024).

A common misconception is that the whole-space problem is treated by the original functionals directly. The cited work instead shows that the effective confining structure emerges only after self-similar rescaling; in that frame, the relative and modulated functionals regain the coercive and commutator structure needed for the argument (Rosenzweig et al., 2024).

5. Functional relative position encodings as a modulated relative form

In long-context Transformers, the term appears most naturally as an interpretation of FIRE, functional relative position encoding with progressive interpolation, rather than as the paper’s official nomenclature. FIRE replaces a fixed positional table or hand-designed scalar bias by a learned function of relative distance. The recovered formulation is

$b_{ij}^{(h)}=f_h(\phi(i,j))$7

with $b_{ij}^{(h)}=f_h(\phi(i,j))$8 implemented by a small MLP, for example

$b_{ij}^{(h)}=f_h(\phi(i,j))$9

where $c_{H,\mathrm{in}}(t)$0 and width $c_{H,\mathrm{in}}(t)$1 unless otherwise specified (Li et al., 2023).

The position argument is not raw distance alone. The cited reconstruction gives normalized coordinates such as

$c_{H,\mathrm{in}}(t)$2

and a log-transformed version

$c_{H,\mathrm{in}}(t)$3

This is why FIRE can be interpreted as a modulated relative functional form: it is relative because it depends on $c_{H,\mathrm{in}}(t)$4, functional because the bias is generated by a learnable function $c_{H,\mathrm{in}}(t)$5, and modulated because the argument of that function is normalized or interpolated according to current position or effective context length (Li et al., 2023).

The abstract states two specific claims. First, the authors “theoretically prove that this can represent some of the popular relative position encodings, such as T5’s RPE, Alibi, and Kerple.” Second, they “empirically show that FIRE models have better generalization to longer contexts on both zero-shot language modeling and long text benchmarks” (Li et al., 2023). The supplied reconstruction further states that FIRE does not require a pre-defined max sequence length and can be applied directly to length generalization without tuning, whereas RoPE position interpolation methods require adaptation.

A common misunderstanding is to treat FIRE as merely another lookup-table relative position bias. The paper’s main conceptual move is instead a head-wise learned function on a bounded, normalized distance domain. This suggests that “modulated relative functional” is an apt descriptive label, but it remains an interpretive label rather than the paper’s title term (Li et al., 2023).

6. Functionalized-transmitter-aware modulation and threshold-relative state control

In molecular communication, the exact phrase “modulated relative functional” is explicitly not used. The closest related idea is a modulation scheme designed around the functionalized state of a vesicle-based transmitter. The transmitter consists of an external binary LED modulator, a spherical vesicle-based transmitter, a free-space diffusion channel, and a fully absorbing receiver. The vesicle membrane contains a light-driven proton pump and an $c_{H,\mathrm{in}}(t)$6/SM symporter, so signaling-molecule release occurs through the cascade

$c_{H,\mathrm{in}}(t)$7

The state variable driving memory is the intravesicular proton concentration $c_{H,\mathrm{in}}(t)$8, constrained by

$c_{H,\mathrm{in}}(t)$9

(Dieck et al., 29 Oct 2025).

The paper proposes two novel schemes: memory-aware modulation (MAM) and memory-erasing modulation (MEM). Both are built around a threshold proton concentration $c_H^{\mathrm{th}}$0, obtained from the Hill-kinetic activation law of the symporters. MAM chooses the LED pattern so that $c_H^{\mathrm{th}}$1 reaches $c_H^{\mathrm{th}}$2 at the start of the next bit interval when a transition occurs, while MEM attempts to enforce

$c_H^{\mathrm{th}}$3

so that every symbol boundary begins from approximately the same proton state (Dieck et al., 29 Oct 2025).

The formal encoding rules are explicit. For MAM,

$c_H^{\mathrm{th}}$4

where $c_H^{\mathrm{th}}$5 is the loading time and $c_H^{\mathrm{th}}$6 is the deloading time. For MEM,

$c_H^{\mathrm{th}}$7

The central claim is that memory is mitigated directly at the transmitter, enabling low-complexity single-sample threshold detection at the receiver (Dieck et al., 29 Oct 2025).

Here the most accurate terminology is not “modulated relative functional” but functionalized-transmitter-aware modulation schemes. Still, a plausible conceptual reading is that the modulation is relative to a target internal functional state $c_H^{\mathrm{th}}$8, rather than to absolute ON/OFF timing alone. The paper’s own terminology remains MAM and MEM (Dieck et al., 29 Oct 2025).

7. Shared structure, limitations, and common misconceptions

Across the cited works, the phrase “modulated relative functional” does not designate a single universally accepted object. Instead, the literature exhibits several structurally similar constructions.

First, the functional is typically relative to a reference state: $c_H^{\mathrm{th}}$9 in Riesz modulated energy, $g$0 relative to $g$1 in relative entropy, normalized distance relative to current context scale in FIRE, and transmitter proton concentration relative to $g$2 in MAM and MEM. Second, the quantity is modulated by a system-specific mechanism: interaction kernel geometry, self-similar rescaling, context-length interpolation, or biochemical state shaping. Third, the resulting object is used because it matches the dynamics more faithfully than a naive discrepancy measure. This suggests a shared design principle, but not a uniform cross-disciplinary formalism.

Several misconceptions recur. One is that every modulated relative functional is nonnegative or metric-like. The Riesz modulated energy is not: the diagonal must be excised, and the lower bound is only recovered up to an optimal additive correction (Hess-Childs et al., 17 Nov 2025). A second is that “modulated relative functional” is a formal label in the Transformer and molecular-communication papers. It is not; in those settings it is, at most, a close conceptual description of FIRE and of threshold-relative transmitter-state modulation (Li et al., 2023, Dieck et al., 29 Oct 2025). A third is that relative entropy and modulated energy are interchangeable. The whole-space self-similar analysis distinguishes them sharply: entropy is exactly invariant under the rescaling, whereas modulated energy acquires a time-dependent renormalization and must be corrected by explicit $g$3-terms to obtain a coercive functional (Rosenzweig et al., 2024).

In the strongest formal sense provided by the cited literature, a modulated relative functional is exemplified by the Coulomb/Riesz modulated energy and its free-energy extensions: a renormalized discrepancy functional, adapted to the governing interaction, possessing transport-derivative estimates, coercivity up to optimal finite-$g$4 errors, and direct applications to mean-field convergence, quasi-neutral limits, and fluctuation theory (Hess-Childs et al., 17 Nov 2025, Rosenzweig et al., 2024). In broader usage, the same phrase can describe any functional or modulation rule whose operative variable is not absolute state alone, but state measured relative to a reference and reshaped by a learned, dynamical, or physical modulation mechanism.