Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

WSIG Unified Measurement Framework (UMS)

—— Finite-Window Covariant “Scattering—Information—Geometry” Unified Theory (Formal Academic Paper with Complete Proofs)

Author: Auric (S-series / EBOC System) Version: v2.5 (incremented from v2.4)


Abstract

This paper takes phase—density scale, windowed readout, and information geometry as three main axes, welding “state—measurement—probability—pointer—scattering phase—group delay—sampling/frame—error theory—channel capacity” into a verifiable categorified unified theory (UMS). The core unification formula adopts three density expressions under the same scale:

(The above holds a.e. on the a.c. spectrum, with taking a continuous branch; across thresholds/atomic points, jump-stitch via , corresponding to jumps in the spectral shift function consistent with bound state/threshold multiplicity—in the Levinson-type theorem context, the jump in spectral shift equals the number of bound/half-bound states at that energy.)

Here is the Wigner–Smith group delay matrix, is the Birman–Kreĭn spectral shift density (using the convention ). For multi-channel cases, the total phase is defined as (taking continuous branch).

Normalization Statement (Unified): This paper treats as a locally finite signed Radon measure, performing Lebesgue decomposition and Jordan decomposition (). When is a non-negative Borel measure satisfying the standard growth/integrability conditions of Herglotz representation (e.g., , with excess absorbed into the term), there exists a Herglotz function such that (a.e.), and under proper normalization (eliminating the freedom) achieves a global representation via trace-normed DBK canonical systems; if contains a negative part, only local representation can be established in a.c. segments where . Its absolutely continuous part satisfies

If singular/atomic parts exist, they are denoted as , and jumps across thresholds/atomic energy levels are manifested via .

Remark: For general scattering pairs, is the relative state density with respect to the free system, and may change sign (negative group delay and spectral shift density sign changes are observable in many wave scattering systems, related to pulse shaping/resonance backgrounds, see experimental/numerical reports of negative Wigner–Smith delay and complex delay in electromagnetic and non-Hermitian scattering systems). Therefore, is generally a signed measure. The main theorems of this paper (Theorems 3.1, 3.2) provide a global DBK representation when has no negative part entirely; signed measure cases only yield local representation in a.c. segments where .

Reference Basis: The one-to-one correspondence between Herglotz representation and trace-normed canonical systems is established on non-negative measures; for any Herglotz function there exists a unique (up to natural equivalence) trace-normed canonical system.

This formula unifies scattering phase derivative, relative spectral density, and group delay under the same scale; measurement readouts are expressed as window—kernel spectral integrals, with finite-order, non-asymptotic error closure given by Nyquist–Poisson–Euler–Maclaurin (EM) tri-decomposition; probability uniqueness is guaranteed by Naimark extension and Gleason’s theorem; sampling/frame thresholds are characterized by Landau necessary density, Wexler–Raz biorthogonality, and Balian–Low impossibility; information monotonicity and capacity bounds for open systems are controlled by the GKSL master equation, quantum relative entropy monotonicity under positive trace-preserving maps (DPI), and the HSW theorem.

Keywords: Scattering phase; Wigner–Smith group delay; Birman–Kreĭn; de Branges / Herglotz; Naimark extension; Gleason; Landau density; Wexler–Raz; Balian–Low; Euler–Maclaurin; Poisson; GKSL; DPI; HSW.


0. Preliminaries and Notation

0.1 Scattering and Group Delay. Let have weak derivative or bounded variation on the a.c. spectrum. The Wigner–Smith group delay matrix is defined as , where is understood as a distributional derivative. For unitary , is anti-Hermitian, so the trace is purely imaginary. By Jacobi’s formula and (unitary), we have ; thus

For single-channel , . Across thresholds/atomic points, differentiability everywhere is not required; instead, stitching via jumps .

Notation Convention: Hereafter “a.c.” denotes absolutely continuous spectral region; “a.e.” means almost everywhere with respect to Lebesgue measure. The domain of is the a.e. point set in the a.c. spectral region; outside this interval (thresholds, atomic points), the jump part of the spectral measure is used.

Multi-channel scaled phase: Let (choosing continuous branch, a.e. differentiable on a.c. spectrum), then

Single-channel reduces to . takes a locally continuous branch, differentiable only a.e. on a.c. spectrum; jumps compensate when crossing thresholds and atomic points.

Unit Explanation: This paper takes , whose dimension is energy ( differentiated with respect to energy produces dimension ); for unitary scattering, the physical time delay takes the Wigner–Smith delay: ; for non-unitary/dissipative cases is generally non-self-adjoint (eigenvalues may be complex), and the definition of follows §6.2 specification (e.g., taking as dwell-related quantity); this paper does not conflate the two. At an isolated Breit–Wigner resonance, from and , we get , while the lifetime , differing by a factor of 4. Width Notation Remark: This paper uniformly uses pole for width; if referencing literature adopting , multiply all values in this paper by for alignment (peak changes from to ). This convention is consistent with electromagnetic and quantum scattering literature (corresponding to non-Hermitian extension in §6.2).

0.2 Spectral Shift and Birman–Kreĭn. Adopting BK’s negative sign convention: .

Determinant Convention (BK/Fredholm): In this paper, refers to the Fredholm determinant in Birman–Kreĭn sense . Under the premise (equivalently, at a.e. ), is well-defined, can take a continuous branch and is a.e. differentiable on the a.c. spectrum, giving

thus (a.e.). Negative group delay and spectral shift density sign changes are observable in many wave scattering systems, related to pulse shaping/resonance backgrounds (see experimental/numerical reports of negative Wigner–Smith delay and complex delay in electromagnetic and non-Hermitian scattering systems, including recent sub-unitary scattering work).

Scattering Pair Premise (BK Formula Applicability): The above BK identity and its derived relation hold under self-adjoint scattering pair , where is the free Hamiltonian, is the full Hamiltonian, assuming belongs to trace class (or equivalent summability conditions, such as trace class), ensuring wave operators exist and are complete, scattering operator is unitary, and spectral shift function is well-defined; non-Hermitian/dissipative cases require separate treatment under maximal dissipative extension or self-adjoint extension frameworks (see Pushnitski, A., arXiv:1006.0639; Behrndt–Malamud–Neidhardt, arXiv:0712.3120).

0.3 DBK Canonical Systems and Herglotz Dictionary. The Weyl–Titchmarsh function of a one-dimensional de Branges–Kreĭn canonical system is a Herglotz function, with standard representation where is a non-negative Borel measure satisfying (excess absorbed into the term), and the boundary imaginary part gives the absolutely continuous spectral density (a.e.); here refers to the spectral density of the absolutely continuous spectral part of the operator under consideration (this is not the relative spectral density in this paper); if singular/atomic parts exist, their contributions are reflected in the corresponding spectral measure decomposition. Under proper normalization (eliminating the freedom), trace-normed canonical systems have a one-to-one and unique correspondence (up to natural equivalence) with Herglotz functions and de Branges spaces (see Remling, C., Hur, I., arXiv:1501.01268; de Branges, L., Hilbert Spaces of Entire Functions).

Signed Measure Case Piecewise Stitching: When contains a negative part (i.e., changes sign), one can only construct trace-normed canonical systems and corresponding Herglotz functions separately on each a.c. segment where , such that a.e. on ; the segments are stitched piecewise according to the Lebesgue decomposition and Jordan decomposition of the spectral measure ; uniqueness and consistency are guaranteed by trace-normed normalization within each segment, but no single canonical system provides a global Herglotz representation.

0.4 Sampling, Frames, and Thresholds. Stable sampling/interpolation of Paley–Wiener classes obeys Landau necessary density (Landau 1967, see reference [4]); dual windows of Gabor systems satisfy Wexler–Raz biorthogonality (Daubechies–Landau–Landau 1995, see reference [5]); at critical density, Balian–Low impossibility is triggered (see reference [6]).

0.5 Measurement and Probability Uniqueness. Any POVM can be obtained from a PVM in a larger space via compression (Naimark extension); when , probability measures satisfying additivity must be of the form (Gleason’s theorem). Two-level systems can be supplemented with the Busch–Gleason POVM version, but this paper does not need to address it.

0.6 Open Systems and Information Bounds. Markovian open evolution is described by the GKSL (Lindblad) master equation; quantum relative entropy is monotonically non-increasing under positive trace-preserving maps (DPI); the unassisted classical capacity of quantum channels is given by the HSW regularized formula.

0.7 Nyquist–Poisson–EM (Finite-Order Non-asymptotic Error Theory). Under ideal sampling and ideal reconstruction filtering, band-limited signals have vanishing aliasing terms when sampling rate ; engineering robustness typically takes . Euler–Maclaurin (EM) for discrete-continuous interchange, taking such that integrand/summand and is bounded or has finite total variation, gives explicit integral bounds for the remainder. EM remainder adopts the formalized bound from Archive of Formal Proofs (AFP-Isabelle) entry The Euler–MacLaurin Formula (Eberl, M., see reference [11]), explicitly specifying in implementation the chosen order and regularity of the integrand/summand ( or finite total variation) to reproduce the bound.

Empirical Guidance for Choosing (implementation operability):

  • (2nd-order correction): integrand , suitable for piecewise linear windows or low-smoothness kernels;
  • (4th-order correction): , suitable for most smooth window functions (e.g., Gaussian, Hann) and spectral integrals;
  • (6th-order correction): , suitable for high-precision requirements or controlling tail oscillations.

In practice, first verify that the norm or total variation of is finite, then substitute into the AFP-Isabelle remainder bound formula to obtain an executable bound.


1. Axiomatic System

A1 (Dual Representation and Covariance). (energy representation) and (phase—scale representation, where is determined by the Mellin weight used) are isometrically equivalent; discrete-continuous interchange uses finite-order EM, controlling the remainder under the smoothness and (bounded or finite variation) premise of 0.7. This “isometric equivalence” refers to the identity operator realization when the DBK canonical system/Weyl–Mellin transform has been constructed; readers should not interpret this as unconditional isomorphism between arbitrary systems. Implementation Premise: When is a non-negative Borel measure satisfying Herglotz conditions (standard growth/integrability, e.g., ), there exists a Herglotz function such that under proper normalization (eliminating the freedom), global DBK representation and isometric equivalence are realized via trace-normed DBK canonical system; in this case satisfies (a.e.). If contains a negative part, isometric equivalence is realized piecewise only in a.c. segments where , not guaranteeing global realization by a single canonical system. (Parenthetical note: is the relative state density, generally can change sign; thus is often a signed measure, only its non-negative case can be globally represented by Herglotz–DBK, see Theorem 3.1.)

A2 (Finite Window Readout). Any “realizable readout” is written as a window—kernel spectral integral . To ensure that the expectation value of is well-defined and uniformly bounded over all density operators , this paper restricts and Borel measurable, whereby is a bounded self-adjoint operator; error is non-asymptotically closed by “aliasing (Poisson) + Bernoulli layer (EM) + truncation” three terms (under ideal sampling, band-limited with gives zero aliasing). A “readout” has numerical value . Notation Convention: Hereafter we uniformly use for projection-valued spectral measure (avoiding notational ambiguity with energy variable ).

A3 (Probability—Information Consistency). For PVM and state , the linear constraint makes the feasible set a singleton ; any strictly convex Bregman/KL I-projection uniquely takes value at ; for POVM, first apply Naimark extension to PVM then push back. Gleason () ensures uniqueness of this probability form. Dimension Condition: Two-level systems () need supplementation with the Busch–Gleason POVM version (Busch, P., Phys. Rev. Lett., 2003).

A4 (Pointer Subspace / Spectral Minimum Infimum Version).

(Notation Convention) For any :

  1. denotes isometric embedding (column vectors orthonormal), so , and .
  2. is the orthogonal projection onto an -dimensional subspace of , with (the image of is ).

Thus the following “compressed trace/variational formulations” are completely equivalent.

Let be bounded self-adjoint. For any , denote the spectral projection . Define (Trace Convention: Here is the finite-dimensional trace on , equivalent to , where is the isometric embedding of .) Then for any and any -dimensional subspace , , and generally only achieving the infimum (not guaranteed to be attained). If is compact or on finite-dimensional truncation (or at its bottom spectral threshold there exist at least eigenvalues, which may be embedded eigenvalues, counting multiplicity), then this infimum is attained, and the minimal subspace is spanned by eigenvectors of the smallest eigenvalues.

A5 (Phase—Density—Delay Scale). Adopting BK convention,

Premise: See §0.2 “Scattering Pair Premise (BK Formula Applicability)”.

A6 (Sampling—Frame Thresholds). Stable sampling satisfies Landau necessary density; multi-window duality is described by Wexler–Raz; critical density triggers Balian–Low impossibility.

A7 (Channel—Monotonicity—Capacity). Evolution is governed by the GKSL master equation; quantum relative entropy is monotone under positive trace-preserving (PTP) maps (DPI); classical capacity is given by the HSW theorem (requiring completely positive and trace-preserving (CPTP) channels).


2. Categorical Definition of UMS

Definition 2.1 (Objects). , where (i) : Hilbert bundle fibrized by ; (ii) : Closed/open evolution (including GKSL semigroup); (iii) : Observables and spectral measure ; (iv) : Window—kernel system and Nyquist–Poisson–EM error ledger; (v) : Scattering functor ; (vi) : Information divergence (KL/Bregman) and its induced geometry.

Definition 2.2 (States and Scale). Pure/mixed states are vectors/density operators respectively; define the phase—density scale

(The above holds a.e. on the a.c. spectrum, with taking a continuous branch; across thresholds/atomic points, jump-stitch via .)

Normalization Statement (Unified): This paper treats as a locally finite signed Radon measure, performing Lebesgue decomposition and Jordan decomposition (). When is a non-negative Borel measure satisfying the standard growth/integrability conditions of Herglotz representation (e.g., , with excess absorbed into the term), there exists a Herglotz function such that (a.e.), and under proper normalization (eliminating the freedom) achieves a global representation via trace-normed DBK canonical system; if contains a negative part, only local representation can be established in a.c. segments where . Its absolutely continuous part satisfies

If singular/atomic parts exist, they are denoted as , and jumps across thresholds/atomic energy levels are manifested via .

Definition 2.3 (Morphisms). Morphisms between objects are structure-preserving maps respecting (i)–(vi); morphisms between states default to CPTP (quantum channels); only when stating DPI may we relax to positive trace-preserving (PTP) maps (DPI still holds in this scope, but HSW capacity theorem requires CPTP).


3. Main Theorems and Complete Proofs

Theorem 3.1 (UMS Representation Theorem, Non-negative Measure Case)

Proposition. In the case where has no negative part entirely (equivalently, each part of its Lebesgue decomposition is non-negative), any finite-window measurement theory satisfying A1–A7 is equivalent to some determined by a DBK canonical system (and its Herglotz function ); if is a signed measure, only local representation can be obtained in a.c. segments where , cannot guarantee a global representation by a single DBK system. Under this equivalence,

measurement-side and information-side (I-projection) satisfy A2–A3; frames and thresholds satisfy A6; equivalence is unique up to phase reparametrization and unitary transformation.

Proof. (1) Scattering—Phase—Density Unification. From 0.1, ; from 0.2, ; for single-channel, combining with yields the unified scale. (2) Herglotz—Canonical System—de Branges. When is a non-negative Borel measure satisfying the standard growth/integrability conditions of Herglotz representation (e.g., , with excess absorbed into the term), there exists Herglotz such that (a.e.), and under proper normalization (eliminating the freedom) this scale is determined by a de Branges–Kreĭn canonical system; de Branges theory establishes equivalence among Herglotz , trace-normed canonical systems, and de Branges spaces. In the general case where is a signed measure, construction can proceed separately in a.c. segments where and stitched piecewise accordingly. Reference Basis: DBK inverse spectral theory provides global (trace-normed) formulation and uniqueness for non-negative measures satisfying Herglotz conditions. (3) Windowed Readout and Finite-Order Closure. Under closed-set band-limited and ideal filtering premise, can make baseband aliasing vanish; engineering robustness typically takes (see Theorem 4.1); EM under 0.7 assumptions gives Bernoulli layer and remainder bound, so A2 holds. (4) Probability Consistency. POVM is extended by Naimark to PVM; Gleason guarantees Born form uniqueness; I-projection of strictly convex divergence degenerates to Born on singleton feasible set. (5) Frames and Thresholds. Landau necessary density, Wexler–Raz biorthogonality, and Balian–Low impossibility respectively give thresholds, duality, and critical barriers. The above establishes the proof. If contains a negative part, the following conclusions are interpreted piecewise (see §0.3/A1). ∎


Theorem 3.2 (Scale Uniqueness)

Proposition. (In the case where has no negative part entirely and satisfies Herglotz conditions; the BK convention used is , see 0.2) If two configurations have the same (a.e.) and their measurement Naimark extensions are isomorphic, and we agree that takes the normalization consistent with the trace-normed canonical system (eliminating the freedom), and takes the same continuous branch (up to constant), then the two are unitarily equivalent in ; thus

is the unique scale for the readout geometry (up to null sets and monotone reparametrization).

Premise Statement: This theorem requires to have no negative part entirely and satisfy the standard growth/integrability conditions of Herglotz representation (e.g., , with excess absorbed into the term); the Herglotz function used takes the normalization consistent with the trace-normed canonical system (eliminating the freedom); takes the same continuous branch (up to constant).

Proof. Same differs by a constant; by BK, same and . Under the premise that has no negative part entirely and satisfies Herglotz conditions, extensions are isomorphic, and normalization is consistent, unitary equivalence is a sufficient condition; from inverse spectral theory of trace-normed canonical systems, we obtain a uniquely determined (up to natural reparametrization) , which in turn determines the canonical system and de Branges space; Naimark isomorphism ensures POVM-layer consistency, so unitary equivalence exists. Removing this isomorphism assumption yields only local equivalence. ∎


Theorem 3.3 (Trinity)

(i) Born = I-projection (Strict). Under PVM , the feasible set is a singleton ; any strictly convex Bregman/KL I-projection uniquely takes value at . For POVM, first apply Naimark extension, then push back. ∎

(ii) Pointer = Spectral Minimum (Spectral Projection Version Ky Fan, with Attainability). Let be bounded self-adjoint, . For any , generally only an infimum; if is compact or on finite-dimensional truncation (or at its bottom spectral threshold there exist at least eigenvalues, which may be embedded eigenvalues, counting multiplicity), then this infimum is attained, and is equivalent to where is the ascending eigenvalue sequence (counting multiplicity). Finite-dimensional special case: If is an matrix with spectrum recorded in descending order , then .

The minimal subspace is spanned by eigenvectors of the smallest eigenvalues. The above two formulations are equivalent within their respective domains of applicability.

Reference Basis: Ky Fan variational principle (“sum of smallest eigenvalues = minimum of compressed trace”) applies to finite-dimensional/compact operator cases; general bounded self-adjoint operators adopt spectral projection formulation. See Horn, R. A. & Johnson, C. R., Matrix Analysis, 2nd ed., Cambridge University Press, 2013, Chapter 4 Theorem 4.3.4 (Ky Fan minimax principle) and Corollary 4.3.3 (trace minimum); or equivalent systematic treatment of Fan max/min principles in textbooks. ∎

(iii) Windows = Minimax (Band-limited Worst Case, Well-defined Version). Let

Take target window (e.g., ), and restrict design window to , . Define

Then the minimum is attained if and only if

is achieved; if , then any , is a minimal solution, with minimum error 1. This equality follows directly from Riesz representation and the orthogonal projection property of ; the extremum is achieved by (when denominator is non-zero). For multi-window cases, optimal dual windows are still characterized by Wexler–Raz biorthogonality. ∎


Theorem 3.4 (Phase-ification of Sampling—Frame Thresholds)

Proposition. Define

On a.c. intervals,

across atomic points stitch by jump amount ; equivalently, if no singular/atomic parts exist,

When is non-negative a.e. in the interval under consideration, is monotonically non-decreasing and can serve as a (possibly degenerate) reparametrization; when it is a.e. strictly positive in that interval, is strictly monotone and gives an invertible reparametrization.

Scale Transfer Condition for Landau Density: Landau necessary density (see reference [4], Landau, H. J., Acta Math. 117, 37–52, 1967) originally targets the equidistant linear scale axis Paley–Wiener space. If the reparametrization is nonlinear, then Landau threshold equivalence between the axis and axis holds under the following additional regularity conditions: (i) is absolutely continuous and bi-Lipschitz on the a.c. interval under consideration (i.e., there exist such that a.e.), or more generally, (ii) has positive bounds from above and below on that interval: and .

Under this regularity condition, bandwidth on the axis and bandwidth on the axis maintain equivalence (up to bounded factors) via pullback/pushforward, so the Landau density threshold is not distorted. If the above regularity is not satisfied (e.g., can approach zero or diverge arbitrarily), only the order relation induced by monotonicity can be guaranteed, and quantitative statements of Landau thresholds cannot be unconditionally inherited.

Multi-window reconstructibility is characterized by the frame operator and Wexler–Raz biorthogonality; at critical density, Balian–Low impossibility is satisfied. ∎


4. Finite-Order Non-asymptotic Error Theory (Nyquist–Poisson–EM)

Theorem 4.1 (Poisson—Nyquist: Baseband Aliasing-free). Let . Under ideal sampling and ideal reconstruction premise:

  • When , Poisson replica frequency bands do not overlap, so within baseband/reconstruction domain only contributes, aliasing terms vanish;
  • When , out-of-bounds spectral overlap produces aliasing. ∎

Theorem 4.2 (Euler–Maclaurin: Finite-Order Bernoulli Layer and Remainder). When and is bounded or has finite total variation, EM gives Bernoulli corrections up to order and an explicit integral remainder; AFP-Isabelle provides formalized proof for the remainder and convergence conditions, thus enabling choice of finite order in implementation and obtaining executable bounds. EM remainder adopts the formalized bound from AFP-Isabelle ‘Euler_MacLaurin’, explicitly specifying in implementation the chosen order and regularity of the integrand/summand ( or finite total variation) to reproduce the bound. ∎

Theorem 4.3 (Tri-decomposition Closure). Implementation of can be written as: discrete summation (Nyquist) EM finite-order correction (Bernoulli layer) remainder (aliasing + truncation). Under ideal sampling and reconstruction, when band-limited and , the aliasing layer vanishes; EM remainder is controlled by the bound in 4.2, yielding finite-order, non-asymptotic closure. ∎


5. Information Monotonicity and Capacity Bounds

Theorem 5.1 (DPI: Relative Entropy Monotone under PTP Maps). For any positive trace-preserving (PTP) map ,

Proof Sketch. Müller-Hermes–Reeb prove DPI under positive trace-preserving (not necessarily CP) via “sandwiched Rényi divergence + complex interpolation”, and characterize equality cases via Petz recovery map.

(Parenthetical Note) DPI for Umegaki relative entropy holds for any positive and trace-preserving linear map; this is the result of Müller-Hermes–Reeb (Müller-Hermes & Reeb, 2015), and does not require CP/2-positive/Schwarz conditions. This paper still restricts channels to CPTP when stating HSW and other capacity conclusions. ∎

Theorem 5.2 (HSW: Unassisted Classical Capacity of CPTP Channels). The unassisted classical capacity of a quantum completely positive and trace-preserving (CPTP) channel satisfies

Therefore single-shot Holevo information is generally insufficient to give capacity (requiring regularized limit).

Proof Sketch. See Watrous textbook for standard derivation of encoding, Holevo bound, and strong duality. ∎


6. Derived Structures and Physical Consequences

6.1 Time Density and Delay Integral. See §3.4 definition (and stitch by atomic point jumps). On a.c. intervals,

When is non-negative a.e. in the interval under consideration, is monotonically non-decreasing and can serve as a (possibly degenerate) reparametrization; when it is a.e. strictly positive in that interval, is strictly monotone and gives an invertible reparametrization. When a.e., is monotonically non-decreasing; only when the regularity conditions (i) or (ii) in §3.4 hold, Landau necessary density is quantitatively equivalent between and axes; if conditions are not satisfied, only the order relation induced by monotonicity is retained (see §3.4 “Scale Transfer Condition for Landau Density” and reference [4]). Single-channel case: , so , characterizing measurable group delay and connecting to partial density states.

6.2 Non-Hermitian/Dissipative and Resonance Lifetime. Dissipative (non-unitary) systems admit “modified BK” and corresponding time delay generalizations. In single-channel Breit–Wigner approximation, ; defining time delay via gives . Resonance lifetime is ; the two concepts differ and should not be conflated.

Dual Convention Comparison for Width Notation (avoiding literature conversion ambiguity): In scattering theory and resonance physics there exist two common pole notations, corresponding to different formulas:

Pole NotationPhase Derivative Peak Delay Lifetime Remark
Uniformly adopted in this paper
Adopted in some electromagnetic/quantum literature

The difference stems from the normalization convention of the imaginary part of -matrix poles: with width counted as , ; with width counted as , ; from we obtain the third column above. This paper uniformly adopts pole notation, consistent with most quantum scattering and electromagnetic scattering literature (e.g., Phys. Rev. E 103, L050203, 2021 uses notation yielding ; converting to this paper’s notation, , peak consistent).

Negative Group Delay and Complex Time Delay: In non-Hermitian/sub-unitary scattering systems, can change sign and take complex values, corresponding to observable pulse shaping and superluminal/subluminal effects. For sub-unitary scattering, take (generally non-self-adjoint); in this case may be complex; its real/imaginary parts respectively characterize dwell and dissipation-related quantities (specific choice depends on the maximal dissipative extension/self-adjoint extension used, see framework in §0.2). Complex time delay in non-Hermitian/lossy systems has been systematically studied in microwave/optics platforms, experiments, and theory; recent experimental and numerical studies in electromagnetic metamaterials, photonic crystals, and open quantum systems (including negative group delay and complex Wigner time delay statistics in subwavelength arrays) confirm this phenomenon and corroborate with spectral shift density sign changes (e.g., Phys. Rev. E 103, L050203, 2021; Patel et al., arXiv:2005.03211, 2020/2021).

Can be precisely expressed in the framework of “maximal dissipative extension/coupled scattering” via spectral shift and generalized Weyl functions. For the above dissipative/coupled cases, see Behrndt–Malamud–Neidhardt for systematic formulation of BK variants and trace formulas (see reference [12]), which anchor the relationships and variant formulas among “spectral shift—Weyl function—scattering matrix” to a unified theory.


7. Verification Checklist (Experimental/Numerical)

  1. Phase—Delay Consistency: Compute and , verify and for single-channel. Unit verification: confirm has dimension energy, has time dimension. Electromagnetic Scattering Example: For electromagnetic scatterers (e.g., dielectric sphere, resonant cavity, subwavelength array), adopt Patel et al. (arXiv:2005.03211, 2020) WS group delay matrix definition and compare with derivative; for monopole/multipole scattering matrix with frequency or energy as independent variable, verify consistency with phase derivative; numerical/experimental platforms see Phys. Rev. E 103, L050203 (2021) and other sub-unitary scattering reports.
  2. Scaled Sampling: Reparametrize energy with (when no atomic points, equals ), perform Landau threshold test and interpolation experiment on the axis, then map back to axis (see Theorem 3.4 for phase-ified expression of ). Minimal Working Example: For single-channel, single-peak case (e.g., Breit–Wigner resonance), plot curve and verify monotonicity in intervals where .
  3. Pointer Basis Minimality: Compare any orthonormal basis with the eigenbasis of for Ky Fan partial sums.
  4. Window/Kernel Optimality and WR: Under band-limited and normalization constraints, use KKT conditions to find optimal window; verify consistency with Wexler–Raz duality.
  5. Tri-decomposition Error Closure: Report three terms “aliasing + Bernoulli layer + truncation”; under band-limited + Nyquist, aliasing vanishes; EM remainder gives explicit bound.
  6. Information Budget: Along “preparation channel readout” chain, record monotone decrease of and .

References (Selected)

  1. Patel, U. R., et al., Wigner–Smith Time-Delay Matrix for Electromagnetics, arXiv:2005.03211, 2020.
  2. Pushnitski, A., An Integer-Valued Version of the Birman-Kreĭn Formula, arXiv:1006.0639, 2010; Guillarmou, C., Generalized Krein Formula…, 2009.
  3. Remling, C., Hur, I., Density of Schrödinger Weyl-Titchmarsh m functions on Herglotz functions, arXiv:1501.01268; de Branges, L., Hilbert Spaces of Entire Functions (Purdue).
  4. Landau, H. J., Necessary Density Conditions for Sampling and Interpolation of Certain Entire Functions, Acta Math. 117, 37–52 (1967), https://doi.org/10.1007/BF02395039.
  5. Daubechies, I., Landau, H. J., Landau, Z., Gabor Time-Frequency Lattices and the Wexler–Raz Identity, J. Fourier Anal. Appl. 1(4), 437–478 (1995).
  6. Caragea, A., et al., A Balian–Low Type Theorem for Gabor Riesz Sequences…, 2023.
  7. Naimark’s Dilation (review) & Busch, P., A Simple Proof of Gleason’s Theorem, PRL, 2003.
  8. Manzano, D., A Short Introduction to the Lindblad Master Equation, 2019.
  9. Müller-Hermes, A., Reeb, D., Monotonicity of the Quantum Relative Entropy under Positive Maps, arXiv:1512.06117, 2015.
  10. Watrous, J., The Theory of Quantum Information, Cambridge University Press, 2018 (HSW chapter).
  11. Eberl, M., The Euler–MacLaurin Formula, Archive of Formal Proofs (AFP-Isabelle), https://devel.isa-afp.org/entries/Euler_MacLaurin.html.
  12. Behrndt, J., Malamud, M., Neidhardt, H., Trace Formulae for Dissipative and Coupled Scattering Systems, arXiv:0712.3120 (and related sequels).

Appendix A: Self-consistent Derivation of Core Equations

Lemma A.1 (). By Jacobi’s formula and unitarity , we have ; combining with gives

Lemma A.2 (BK Chain). ; letting gives . ∎

Corollary A.3 (Single-channel Reduction to Phase Derivative). If , then ; combining with A.2 gives . ∎


Appendix B: Ky Fan Variation and Pointer Minimum

Let be self-adjoint, the ascending eigenvalue sequence (counting multiplicity). Ky Fan principle gives

(Here the first formula uses descending notation: ; the second formula uses ascending notation .)

Finite-dimensional special case: If is an matrix with spectrum recorded in descending order , then .

Maximum trace is attained on the subspace spanned by the first eigenvectors; minimum trace is attained on the subspace spanned by the smallest eigenvectors. ∎


Appendix C: Finite-Order Bound for EM Remainder

Under the assumptions of 0.7 ( and bounded/finite variation), the EM formula gives Bernoulli layers up to order and an explicit integral remainder; AFP–Isabelle provides formalized verification for remainder construction and convergence, thus enabling choice of finite order in numerical implementation and yielding executable bounds. EM remainder adopts the formalized bound from Archive of Formal Proofs (AFP-Isabelle) entry The Euler–MacLaurin Formula (Eberl, M., https://www.isa-afp.org/entries/Euler_MacLaurin.html), explicitly specifying in implementation the chosen order and regularity of the integrand/summand ( or finite total variation) to reproduce the bound. ∎


Appendix D: Interfaces with S15–S26 and EBOC System

D.1 Interface with S15–S23 (Scattering Phase, Herglotz, Weyl–Mellin, Framework).

  • The Herglotz representation and canonical systems in S15–S17 directly provide the functor and in UMS.
  • The Weyl–Mellin non-stationary framework in S18–S20 provides concrete implementation for multi-window covariance in UMS.
  • The phase—scale covariance and Euler–Maclaurin finite-order error theory in S21–S23 directly support A1, A2 and Theorems 4.1–4.3.

D.2 Interface with S24–S26 (Tight Frames, Non-stationary Frames, Phase Density).

  • The fiber Gram characterization and Wexler–Raz biorthogonality in S24 provide the concrete computational framework for A6 and Theorem 3.3(iii).
  • The Calderón sum and tight/dual construction in S25 provide operational schemes for multi-window optimization in UMS (Definition 2.1(iv)).
  • The phase density scale and Landau necessary density, Balian–Low impossibility in S26 directly correspond to A5, A6 and Theorem 3.4.

D.3 Interface with EBOC-Graph.

  • EBOC-Graph’s Born = I-projection (G1) is equivalent to UMS’s Theorem 3.3(i) in discrete spectrum cases.
  • EBOC-Graph’s pointer basis = spectral minimum (G2) is consistent with UMS’s Theorem 3.3(ii) in graph Laplacian cases.
  • EBOC-Graph’s window minimax (G3) shares the same optimization structure with UMS’s Theorem 3.3(iii) under band-limited constraints.
  • EBOC-Graph’s non-asymptotic error closure (G4) and UMS’s Theorem 4.3 both adopt the Nyquist–Poisson–EM tri-decomposition framework.

D.4 Interface with CCS (Covariant Multi-channel) and WSIG-QM.

  • CCS’s windowed Birman–Kreĭn identity is completely consistent with UMS’s core unification formula (Definition 2.2) in multi-channel cases.
  • CCS’s Wigner–Smith group delay matrix adopts the same definition and convention as UMS’s A5.
  • WSIG-QM’s seven axioms (A1–A7) are highly aligned with UMS’s axiomatic system (§1) in concept and formulation; WSIG-QM can be viewed as a refined expansion of UMS in the specific context of quantum measurement.
  • WSIG-QM’s unified dictionary (§5) and UMS’s categorical definition (§2) jointly support the full-chain unification of “state—measurement—probability—pointer—scattering—delay—frame—error—capacity”.

D.5 Maintaining “Pole = Primary Scale” Finite-Order EM Discipline.

  • UMS adopts finite-order EM (A1, Theorem 4.2) in all discrete-continuous interchanges, ensuring no introduction of new singularities.
  • Consistent with S15–S26, EBOC-Graph, CCS, WSIG-QM: scattering poles, resonance poles, spectral singularities always serve as “primary scale” markers, with EM remainder providing only bounded perturbation.

One-sentence Summary