Superposition Principle in Disjoint Variables

• Superposition in disjoint variables is the method of combining solutions defined on separate domains while ensuring global constraints like normalization and boundary conditions are maintained.
• The principle exhibits contrasting behaviors: exact additivity in some PDE settings via viscosity solutions, yet no-go results in two-time quantum formulations due to cross-term obstructions.
• Applications span diverse areas including cellular automata, interferometry experiments, and qubit state reformulations, highlighting both constructive and nonlinear phenomena.

The superposition principle in disjoint variables concerns whether objects defined on separate variables, domains, clocks, or subsystem coordinates can be combined by addition without violating the governing equation, the normalization law, or the boundary conditions of the full problem. In the recent literature, this question appears in several technically distinct forms: a rigorous positive theorem for viscosity solutions of the inhomogeneous infinity-Laplace equation on product domains; no-go results for two-time wave functions of separated form; multipartite constructions in integer-valued Hamiltonian cellular automata; nonlinear or alternative formulations of scattering and interferometry; and reformulations of qubit superposition in terms of mean spin projections rather than kets (Liu et al., 23 Aug 2025, Zeron, 2016, Elze, 2016, Chuprikov, 2017, Kowalski, 2021, Fedorov et al., 2019). A recurring theme is that “disjointness” is not, by itself, sufficient to guarantee naive additivity: in some settings it yields an exact superposition theorem, while in others it exposes the dependence of superposition on normalization constraints, source–sink structure, or boundary conditions (Rengaraj et al., 2016).

1. Taxonomy of the problem

The literature uses closely related but nonidentical notions of superposition in disjoint variables. In one class of problems, the variables are genuinely separate coordinates, as in

$w(x,y)=u(x)+v(y),$

with $x\in\Omega_1$ and $y\in\Omega_2$, and the question is whether $w$ solves a PDE on the product domain whenever $u$ and $v$ solve factor equations on the separate domains (Liu et al., 23 Aug 2025). In another class, the variables are distinct time entries in a two-point wave function $\psi^*(x,t;y,s)$ with $t\neq s$, where one asks whether the usual linear superposition principle is compatible with a separated ansatz $\psi^*(x,t;y,s)=\psi(x,t)\xi(y,s)$ and a marginal normalization law (Zeron, 2016). A third class concerns separated subsystem clocks and tensor-product composition in multipartite cellular automata, where disjointness is enforced by distinct update variables $n_A,n_B$ and by the absence of interaction terms (Elze, 2016).

Setting	Superposition statement	Outcome
Inhomogeneous infinity-Laplace equation	$x\in\Omega_1$0 on $x\in\Omega_1$1	Exact viscosity-solution theorem
Two-time wave functions	$x\in\Omega_1$2 with $x\in\Omega_1$3	Incompatible except in trivial cases
Multipartite Hamiltonian cellular automata	Gaussian-integer linear combinations of product solutions	Exact linear superposition
Three-slot interference	$x\in\Omega_1$4 for different slit configurations	Naive rule breaks down
Qubit mean-spin representation	Addition of Bloch vectors under ket superposition	Nonlinear addition rule

These formulations are linked by a common structural issue: the sum of solutions defined under separate constraints need not inherit the correct global constraint. In the PDE theorem, the global constraint is preserved by viscosity machinery and the Crandall–Ishii–Lions “Theorem on Sums” (Liu et al., 23 Aug 2025). In the two-time no-go theorem, the obstruction is the extra overlap term generated by the marginal law (Zeron, 2016). In slit interference, the obstruction is that “one cannot add fields (or amplitudes) from disjoint boundary conditions (slits open one-at-a-time) and expect the same as the field when all boundaries are open simultaneously” (Rengaraj et al., 2016).

2. Boundary conditions, nonclassical paths, and higher-order interference

Rengaraj et al. analyze a three-slot interference experiment in which the usual assumption

$x\in\Omega_1$5

is explicitly identified as incorrect, because the full Feynman path integral contains subleading paths that go through more than one slot (Rengaraj et al., 2016). In their formulation,

$x\in\Omega_1$6

where $x\in\Omega_1$7 is the sum of amplitudes of paths that do not extremize the action, namely the nonclassical correction. The relevant observable is the higher-order interference quantity

$x\in\Omega_1$8

which vanishes identically if only the classical straight-through paths contribute, but becomes nonzero when $x\in\Omega_1$9.

The experiment was performed in the microwave domain with two pyramidal-horn antennas at $y\in\Omega_2$0 GHz, a triple-slot plane at mid-distance, slot width $y\in\Omega_2$1 cm, centre-to-centre spacing $y\in\Omega_2$2 cm, and slots built from two layers of microwave-absorbing Eccosorb SF6.0 with a thin aluminium backing to suppress back-reflections (Rengaraj et al., 2016). A thin-absorber “baffle” inserted perpendicular between slots selectively suppresses looped trajectories. By varying baffle width, the experiment tunes the weight of nonclassical paths and drives $y\in\Omega_2$3 as baffle size becomes large. For each detector angle, eight power combinations were measured—background, $y\in\Omega_2$4, $y\in\Omega_2$5, $y\in\Omega_2$6, $y\in\Omega_2$7, $y\in\Omega_2$8, $y\in\Omega_2$9, $w$0—with a ninth run with source off checking stray background. At each combination $w$1 raw power readings were acquired in about $w$2 s and the median was taken.

The reported central result is a deviation as big as $w$3 in the central region of the diffraction pattern, with $w$4, well above all known error bounds (Rengaraj et al., 2016). Source stability $w$5 and detector nonlinearity were characterized, and the worst-case “error $w$6” from detector nonlinearity was reported as $w$7. Ground-reflection and back-reflection effects were modeled by MOM and shown negligible, while alignment errors, finite-size detector effects, and slot-material uncertainties were propagated in MOM simulations to generate a theory band that agrees well with data.

The significance of this result is narrowly defined but conceptually important. The paper does not treat nonzero $w$8 as a Born-rule violation; rather, it presents $w$9 as evidence that boundary-condition-induced subleading Feynman paths are physically relevant within standard Maxwell/Feynman-path electrodynamics (Rengaraj et al., 2016). A further claim is that the same boundary-condition issue matters in radio-interferometric arrays, where boundary-condition corrections can lead to $u$0 for realistic element spacings, so that standard array-factor calculations may require full boundary-condition corrections for precision cosmology.

3. Two-time amplitudes and the incompatibility theorem

Zeron studies a different disjoint-variable setting: wave functions $u$1 depending simultaneously on two time-position vectors $u$2 and $u$3 with $u$4 (Zeron, 2016). The intended probabilistic interpretation is that $u$5 is the joint probability density that at the later time $u$6 the system is found at $u$7 while at the earlier time $u$8 it was at $u$9. The two-time construction is constrained by the marginal law

$v$0

where $v$1 is the ordinary one-time wave function, together with the normalization $v$2.

The paper then imposes two hypotheses. The first is the usual superposition principle: if $v$3 and $v$4 are solutions, then $v$5 should also be a solution for arbitrary complex coefficients $v$6. The second is the separation-of-variables ansatz

$v$7

with normalized memory functions $v$8 (Zeron, 2016).

The central theorem states that for any nonzero pair $v$9, the superposition

$\psi^*(x,t;y,s)$0

fails to satisfy the marginal normalization unless one of two trivial conditions holds: either the memory modes coincide up to a phase, in the sense that $\psi^*(x,t;y,s)$1 for all $\psi^*(x,t;y,s)$2, or there exist real $\psi^*(x,t;y,s)$3 such that

$\psi^*(x,t;y,s)$4

The obstruction appears directly in the cross term

$\psi^*(x,t;y,s)$5

which must vanish identically in $\psi^*(x,t;y,s)$6 if the marginal law is to be preserved (Zeron, 2016).

The corollary is that there exists no nontrivial two-time wave function of the separated form $\psi^*(x,t;y,s)$7 which simultaneously obeys the normalization law under arbitrary linear combinations (Zeron, 2016). The paper further suggests that any nontrivial time-delayed quantum theory must abandon either strict linearity or the mere product ansatz, for example by introducing memory kernels or integral-operator couplings. It also states that the same no-go phenomenon would occur if one tried to couple any two disjoint variables, such as two spatial points $\psi^*(x,t;y,s)$8 and $\psi^*(x,t;y,s)$9, via a product ansatz while demanding full linear superposability.

4. The positive theorem for the infinity-Laplace equation

Liu–Manfredi–Zhou provide an explicit theorem whose title closely matches the present topic: the superposition property in disjoint variables for the inhomogeneous infinity-Laplace equation (Liu et al., 23 Aug 2025). Let $t\neq s$0 be open and $t\neq s$1. The equation under study is

$t\neq s$2

with

$t\neq s$3

Writing

$t\neq s$4

the paper works throughout in the viscosity sense, equivalently through $t\neq s$5 test functions or second-order semijets $t\neq s$6.

The main theorem is exact and general. If

$t\neq s$7

then the disjoint sum

$t\neq s$8

is a viscosity solution of

$t\neq s$9

on the product domain (Liu et al., 23 Aug 2025). The theorem applies to subsolutions, supersolutions, and solutions, requires only continuity of $\psi^*(x,t;y,s)=\psi(x,t)\xi(y,s)$0, and imposes no nondegeneracy of $\psi^*(x,t;y,s)=\psi(x,t)\xi(y,s)$1 or $\psi^*(x,t;y,s)=\psi(x,t)\xi(y,s)$2.

The proof uses the Crandall–Ishii “Theorem on Sums.” If $\psi^*(x,t;y,s)=\psi(x,t)\xi(y,s)$3 has a maximum at $\psi^*(x,t;y,s)=\psi(x,t)\xi(y,s)$4, then for each $\psi^*(x,t;y,s)=\psi(x,t)\xi(y,s)$5 there exist semijets for $\psi^*(x,t;y,s)=\psi(x,t)\xi(y,s)$6 and $\psi^*(x,t;y,s)=\psi(x,t)\xi(y,s)$7 with matrix inequality

$\psi^*(x,t;y,s)=\psi(x,t)\xi(y,s)$8

Combining the semijet inequalities for $\psi^*(x,t;y,s)=\psi(x,t)\xi(y,s)$9 and $n_A,n_B$0 and letting $n_A,n_B$1 yields the viscosity subsolution condition for $n_A,n_B$2; the supersolution argument is analogous (Liu et al., 23 Aug 2025).

The paper also gives several extensions. First, the same disjoint-sum superposition holds for any continuous degenerate-elliptic second-order operator $n_A,n_B$3 satisfying $n_A,n_B$4. Second, for operators that are subadditive in $n_A,n_B$5, the sum $n_A,n_B$6 of two subsolutions is again a subsolution in the same domain; if $n_A,n_B$7 is convex in $n_A,n_B$8, then $n_A,n_B$9 is again a subsolution. Third, the argument extends to proper geodesic metric spaces through cone comparison in the product space equipped with the $x\in\Omega_1$00 metric.

The illustrative application is a regularity reduction used in E. Lindgren’s theory. By introducing two new disjoint variables $x\in\Omega_1$01 and setting

$x\in\Omega_1$02

with $x\in\Omega_1$03 chosen appropriately, one obtains

$x\in\Omega_1$04

in the extended domain, while also forcing $x\in\Omega_1$05 and making the right-hand side strictly positive (Liu et al., 23 Aug 2025). This reduces the original problem to a case for which higher regularity estimates are available. In this PDE context, disjoint-variable superposition is therefore not merely formal; it is a technical tool for regularity theory and for metric-space generalization.

5. Multipartite cellular automata and tensor-product composition

In H.-T. Elze’s construction of integer-valued Hamiltonian cellular automata, superposition in disjoint variables is realized through a many-time formulation for non-interacting subsystems (Elze, 2016). A single automaton is defined by Gaussian-integer components $x\in\Omega_1$06 and an integer-valued self-adjoint Hamiltonian matrix $x\in\Omega_1$07, with discrete derivative

$x\in\Omega_1$08

and discrete Schrödinger equation

$x\in\Omega_1$09

The update rule is exactly linear over Gaussian integers.

For two disjoint automata $x\in\Omega_1$10 and $x\in\Omega_1$11 with separate clock variables $x\in\Omega_1$12 and Hamiltonians $x\in\Omega_1$13, the many-time action yields

$x\in\Omega_1$14

where $x\in\Omega_1$15 acts only on $x\in\Omega_1$16 and $x\in\Omega_1$17 only on $x\in\Omega_1$18 (Elze, 2016). Because the two update operators act on separate clocks, any product

$x\in\Omega_1$19

is an exact solution whenever the factors solve their respective single-automaton equations. The point of the many-time formulation is that no spurious correlations or cross-terms appear.

Linearity then implies that arbitrary Gaussian-integer linear combinations of product solutions are also solutions:

$x\in\Omega_1$20

This yields a discrete analog of interference, and for non-factorizable choices of coefficients it yields genuine entangled states (Elze, 2016). The paper emphasizes that the superposition principle is fully operative already at the level of the primordial discrete deterministic automata, and that the essential quantum effects of interference and entanglement are preserved.

The continuum limit is obtained through Shannon sampling. Writing $x\in\Omega_1$21 and reconstructing a band-limited function $x\in\Omega_1$22 from the samples $x\in\Omega_1$23, the discrete update becomes

$x\in\Omega_1$24

which reduces to the usual Schrödinger equation $x\in\Omega_1$25 for small discreteness scale $x\in\Omega_1$26 (Elze, 2016). In the composite case, the same procedure recovers the standard many-body Schrödinger equation. In this setting, disjoint variables are not an obstruction but a structural device that preserves linearity under composition.

6. Nonlinear and alternative superposition rules in scattering and multipartite interferometry

Chuprikov’s analysis of one-dimensional scattering takes an explicitly revisionary position. For a particle incident on a barrier, the standard treatment writes the total state as a sum of transmitted and reflected contributions, but the paper argues that this is not a true linear superposition of two independent subprocesses because the barrier is a one-source/two-sinks system (Chuprikov, 2017). The conventional continuity conditions at the barrier boundaries tie all plane-wave amplitudes together and do not permit a separation into two one-in/one-out channels. The proposed resolution is a nonlinear reformulation in terms of subprocess wave functions $x\in\Omega_1$27 and $x\in\Omega_1$28 that meet at a single join point $x\in\Omega_1$29, with continuity of the complex subprocess wave function and continuity of the probability current. The paper therefore treats the barrier, and likewise a quasi-one-dimensional layered structure in classical electrodynamics, as a nonlinear element with respect to the subprocess decomposition.

Within that nonlinear model, the transmitted and reflected subprocesses have their own stationary and time-dependent wave functions, their own launch points, and their own local, asymptotic, and dwell times (Chuprikov, 2017). The paper presents this as a way to formulate tunneling times without the Hartman paradox. A plausible implication is that, in this framework, “superposition in disjoint variables” is subordinated to a contextual distinction between alternatives belonging to the same sink/source context and alternatives belonging to different sinks.

A different alternative is developed in the collective-versus-standard interferometric comparison of (Kowalski, 2021). Standard quantum interferometry (SQI) assigns to each channel an amplitude in which only the bodies involved in that channel recoil. Collective quantum interferometry (CQI) instead postulates that spatially separated but uncoupled scatterers recoil collectively in each branch. In the three-body interferometer considered there, SQI yields a correlated interference pattern

$x\in\Omega_1$30

whereas CQI yields

$x\in\Omega_1$31

which depends only on the fixed separation $x\in\Omega_1$32 and not separately on $x\in\Omega_1$33 (Kowalski, 2021).

The paper presents several proposed discriminants: marginal fringe shifts, three-body correlated-interference measurements, momentum-space decoherence thresholds, rotational-transition tests with $x\in\Omega_1$34, and connections to Mössbauer-type collective recoil and semiclassical slab delay formulas (Kowalski, 2021). These proposals do not establish a new consensus definition of superposition. Rather, they show that in multipartite systems with three or more bodies, different superposition rules can be made empirically distinct if collective recoil and correlated interference are measured with sufficient precision.

7. State-space reformulation and interpretive boundaries

Fedorov and Man’ko study a finite-dimensional version of the same broad issue: how superposition appears when the basic variables are not ket components but the three mean spin projections of a qubit (Fedorov et al., 2019). Any qubit state can be written as

$x\in\Omega_1$35

with $x\in\Omega_1$36. For pure states the Bloch vector satisfies

$x\in\Omega_1$37

Given two nonorthogonal pure states with Bloch vectors $x\in\Omega_1$38 and $x\in\Omega_1$39, and a ket superposition

$x\in\Omega_1$40

the resulting Bloch vector is not a linear sum of $x\in\Omega_1$41 and $x\in\Omega_1$42 but a nonlinear function

$x\in\Omega_1$43

with $x\in\Omega_1$44 and $x\in\Omega_1$45 (Fedorov et al., 2019). The superposition principle in Hilbert space remains linear; the nonlinearity arises only after one projects the state into the expectation-value variables $x\in\Omega_1$46.

This distinction helps clarify several recurrent misconceptions across the broader literature. First, a nonlinear rule in derived variables does not by itself negate linear superposition at the state-vector level, as the qubit mean-value representation makes explicit (Fedorov et al., 2019). Second, a nonzero higher-order interference parameter $x\in\Omega_1$47 in slit experiments does not, in the formulation of Rengaraj et al., imply a Born-rule violation; it measures the difference between distinct boundary conditions once nonclassical paths are included (Rengaraj et al., 2016). Third, the failure of superposition in Zeron’s two-time setting is tied to the simultaneous demand for arbitrary linear combinations, the separated ansatz $x\in\Omega_1$48, and the marginal law; the paper itself points toward memory kernels or integral-operator couplings as alternatives (Zeron, 2016). Fourth, the positive disjoint-sum theorem for the infinity-Laplace equation is a theorem about viscosity solutions and degenerate-elliptic structure, not a universal statement that any equation admits disjoint-variable superposition (Liu et al., 23 Aug 2025).

Taken together, these works show that the superposition principle in disjoint variables is not a single doctrine but a family of structurally precise questions. In viscosity PDE theory and multipartite Hamiltonian cellular automata, disjointness can be made exact and constructive (Liu et al., 23 Aug 2025, Elze, 2016). In delayed amplitudes, slit interference with changing apertures, and some formulations of scattering, disjointness exposes hidden assumptions about normalization, boundary conditions, or source–sink structure (Zeron, 2016, Rengaraj et al., 2016, Chuprikov, 2017). The modern literature therefore treats superposition in disjoint variables less as an automatic inheritance principle than as a theorem, a no-go statement, or a model-dependent ansatz whose validity must be established in each formal setting.