pith. sign in

arxiv: 2606.12561 · v1 · pith:SECJE35Cnew · submitted 2026-06-10 · 🧮 math.FA

Compression Covariance and Tangent kernels

James Tian This is my paper

Pith reviewed 2026-06-27 07:58 UTC · model grok-4.3

classification 🧮 math.FA
keywords compression covariancetangent kernelsKolmogorov spacecontraction semigroupcocycle identityoperator-valued kernelsshort-time rescalingpositive definite kernels
0
0 comments X

The pith

The tangent kernel from short-time rescalings of compression covariance defects carries an induced contraction semigroup whose representing vectors obey an additive cocycle identity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper starts from a self-adjoint operator generating a contraction semigroup and an orthogonal projection that splits the space. The off-diagonal blocks produce covariance defects that measure how much the compressed block fails to be a semigroup; these defects are treated as positive operator-valued kernels. Their Kolmogorov spaces recover the hidden cross terms. Short-time rescalings of one such defect yield a tangent kernel whose own Kolmogorov space carries an induced contraction semigroup coming from the complementary block. Vectors representing the tangent kernel then satisfy an additive cocycle identity with that semigroup, which restricts the class of kernels that can appear as compression tangents.

Core claim

We treat these covariance defects as positive definite operator-valued kernels and use their Kolmogorov spaces to recover the hidden dynamics they encode. We then study short-time rescalings of E_{s,t} := V_s^* V_t. The tangent kernel F(s,t) := lim_{ε↓0} a(ε)^{-1} E_{εs,εt} has its own Kolmogorov space, and the lower-right block dynamics induces a positive self-adjoint contraction semigroup on it. The representing vectors of F then satisfy an additive cocycle identity for this semigroup. This gives an intrinsic restriction on the positive kernels that can arise as short-time compression covariance tangents.

What carries the argument

The tangent kernel F(s,t) obtained as the scaled limit of the covariance defect E_{s,t} = V_s^* V_t, together with the contraction semigroup it induces on its Kolmogorov space.

If this is right

  • The defect C_{s+t} - C_s C_t equals the Gram kernel V_s^* V_t and therefore encodes the complementary dynamics inside a Kolmogorov space.
  • The same defect for the complementary block D yields a second Gram kernel sharing the same off-diagonal maps.
  • Short-time tangent kernels inherit a contraction semigroup from the lower-right block dynamics.
  • Representing vectors of the tangent kernel must obey an additive cocycle relation with the induced semigroup.
  • Only kernels compatible with such a cocycle can arise as short-time compression tangents.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The cocycle restriction might be used to classify admissible short-time limits without constructing the original semigroup explicitly.
  • Similar tangent constructions could apply to other rescaling regimes or to non-self-adjoint generators.
  • One could test the restriction by attempting to realize a kernel that violates the cocycle as a compression defect and checking consistency.
  • The Kolmogorov-space construction may link to dilation theory for the original compressed family.

Load-bearing premise

The limit that defines the tangent kernel exists for a suitable scaling a(ε) and produces a positive definite kernel whose Kolmogorov space supports the induced semigroup and cocycle structure.

What would settle it

Exhibit a concrete projection and generator such that the rescaled defect limit exists and defines a positive kernel, yet the representing vectors in its Kolmogorov space fail to satisfy the additive cocycle identity with the induced contraction semigroup.

read the original abstract

Let $A\geq0$ be self-adjoint on a Hilbert space $H$, let $T_{t}=e^{-tA}$, and let $P$ be an orthogonal projection. Relative to the decomposition $H=PH\oplus P^{\perp}H$, write \[ T_{t}=\begin{pmatrix}C_{t} & V^{*}_{t}\\ V_{t} & D_{t} \end{pmatrix}, \] where $C_{t}=PT_{t}P|_{PH}$, $V_{t}=P^{\perp}T_{t}P|_{PH}$, and $D_{t}=P^{\perp}T_{t}P^{\perp}|_{P^{\perp}H}$. The compressed family $\left(C_{t}\right)$ consists of positive contractions but need not form a semigroup. Its defect is given by \[ C_{s+t}-C_{s}C_{t}=V^{*}_{s}V_{t} \] while the complementary block satisfies \[ D_{s+t}-D_{s}D_{t}=V_{s}V^{*}_{t}. \] Thus the failure of $\left\{ C_{t}\right\} $ and $\left\{ D_{t}\right\} $ to be semigroups gives two Gram kernels associated with the same off-diagonal maps. We treat these covariance defects as positive definite operator-valued kernels and use their Kolmogorov spaces to recover the hidden dynamics they encode. We then study short-time rescalings of $E_{s,t}:=V^{*}_{s}V_{t}$. The tangent kernel \[ F\left(s,t\right):=\lim_{\varepsilon\downarrow0}a\left(\varepsilon\right)^{-1}E_{\varepsilon s,\varepsilon t} \] has its own Kolmogorov space, and the lower-right block dynamics induces a positive self-adjoint contraction semigroup on it. The representing vectors of $F$ then satisfy an additive cocycle identity for this semigroup. This gives an intrinsic restriction on the positive kernels that can arise as short-time compression covariance tangents.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The paper considers a self-adjoint operator A ≥ 0 generating the semigroup T_t = e^{-tA} on Hilbert space H, together with an orthogonal projection P. Relative to the decomposition H = PH ⊕ P^⊥H it writes the block decomposition of T_t and isolates the defect identity C_{s+t} − C_s C_t = V_s^* V_t for the compressed family C_t = P T_t P. Treating the defect E_{s,t} := V_s^* V_t as a positive operator-valued kernel, the authors introduce the short-time tangent kernel F(s,t) := lim_{ε↓0} a(ε)^{-1} E_{εs,εt} for a suitable scaling a(ε). They assert that F possesses its own Kolmogorov space on which the lower-right block D_t induces a positive self-adjoint contraction semigroup, and that the representing vectors of F satisfy an additive cocycle identity with respect to this semigroup. The construction is claimed to furnish an intrinsic restriction on the positive kernels that can arise as short-time compression-covariance tangents.

Significance. If the limit defining F exists and the induced semigroup and cocycle structures are rigorously established, the result supplies a new structural constraint linking short-time asymptotics of compression defects to cocycle representations in Kolmogorov dilations. This could be of interest in dilation theory and the classification of positive kernels compatible with semigroup compressions.

major comments (1)
  1. [Abstract] Abstract (paragraph beginning 'We then study short-time rescalings'): the existence of the limit F(s,t) := lim_{ε↓0} a(ε)^{-1} E_{εs,εt} as a positive-definite operator-valued kernel is asserted without any criterion on the spectrum of A or the angle between ran(P) and the spectral subspaces of A that would guarantee the limit exists and is independent of auxiliary choices. Because the subsequent Kolmogorov-space construction, induced semigroup, and cocycle identity are undefined when the limit fails to exist or fails to be positive definite, this assumption is load-bearing for the central claim.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thorough reading and for highlighting an important foundational assumption in the abstract. We respond to the single major comment below.

read point-by-point responses

  1. Referee: [Abstract] Abstract (paragraph beginning 'We then study short-time rescalings'): the existence of the limit F(s,t) := lim_{ε↓0} a(ε)^{-1} E_{εs,εt} as a positive-definite operator-valued kernel is asserted without any criterion on the spectrum of A or the angle between ran(P) and the spectral subspaces of A that would guarantee the limit exists and is independent of auxiliary choices. Because the subsequent Kolmogorov-space construction, induced semigroup, and cocycle identity are undefined when the limit fails to exist or fails to be positive definite, this assumption is load-bearing for the central claim.

    Authors: We agree that the existence of the limit is a load-bearing assumption requiring explicit justification. The manuscript develops the Kolmogorov-space, semigroup, and cocycle structures conditionally on the limit existing and being positive definite. In the revised version we will insert a new subsection (after the block decomposition) that supplies verifiable sufficient conditions on the spectrum of A and on the angle between ran(P) and the spectral subspaces of A guaranteeing that the rescaled defect limit exists, is independent of the auxiliary scaling function a(ε), and remains positive definite. These conditions will be stated in terms of the resolvent or spectral measure of A and will be accompanied by a brief example showing when they hold. The abstract will be updated to reflect that the tangent-kernel results are conditional on these hypotheses. revision: yes

Circularity Check

0 steps flagged

No circularity; derivations apply standard Kolmogorov dilation to explicitly defined kernels

full rationale

The paper defines E_{s,t} := V_s^* V_t from the block decomposition of the semigroup T_t, then defines the tangent kernel F(s,t) explicitly as the scaled limit lim a(ε)^{-1} E_{εs,εt}. It then invokes the Kolmogorov construction on this F (assumed to exist and be positive definite) and states that the D-block induces a contraction semigroup whose representing vectors obey an additive cocycle. These steps are direct applications of standard Hilbert-space dilation theory to the given objects; no parameter is fitted and then renamed as a prediction, no self-citation chain is load-bearing, and no uniqueness theorem is imported from prior work by the same author. The abstract and provided text contain no citations at all. The central claim therefore remains independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review; the ledger is therefore minimal and provisional. The paper relies on standard Hilbert-space axioms and the existence of the short-time limit; no free parameters or invented entities are named in the abstract.

axioms (2)
  • standard math A is a positive self-adjoint operator on Hilbert space H so that T_t = exp(-t A) is a strongly continuous contraction semigroup.
    Invoked in the first sentence of the abstract to define the family whose compression is studied.
  • standard math The orthogonal projection P exists and the block decomposition of T_t is well-defined.
    Used to split T_t into C_t, V_t, D_t.

pith-pipeline@v0.9.1-grok · 5901 in / 1554 out tokens · 19369 ms · 2026-06-27T07:58:27.038803+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

35 extracted references · 32 canonical work pages

  1. [1]

    Widder, David Vernon , date-added =. The

  2. [2]

    Bernstein

    Schilling, Ren\'e. Bernstein functions , url =. 2012 , bdsk-url-1 =. doi:10.1515/9783110269338 , edition =

    work page doi:10.1515/9783110269338 2012

  3. [3]

    Revitalising

    Szafraniec, Franciszek Hugon , date-added =. Revitalising. Complex Anal. Oper. Theory , mrclass =. 2021 , bdsk-url-1 =. doi:10.1007/s11785-021-01091-w , fjournal =

    work page doi:10.1007/s11785-021-01091-w 2021

  4. [4]

    Pedrick, George , date-added =. T. 1958 , bdsk-url-1 =

    1958

  5. [5]

    , date-added =

    Aronszajn, N. , date-added =. Theory of reproducing kernels , url =. Trans. Amer. Math. Soc. , mrclass =. 1950 , bdsk-url-1 =. doi:10.2307/1990404 , fjournal =

    work page doi:10.2307/1990404 1950

  6. [6]

    Harmonic analysis of operators on

    Sz.-Nagy, B\'ela and Foias, Ciprian and Bercovici, Hari and K\'erchy, L\'aszl\'o , date-added =. Harmonic analysis of operators on. 2010 , bdsk-url-1 =. doi:10.1007/978-1-4419-6094-8 , edition =

    work page doi:10.1007/978-1-4419-6094-8 2010

  7. [7]

    The fractional

    Bogdan, Krzysztof and Kunze, Markus , date-added =. The fractional. Potential Anal. , mrclass =. 2024 , bdsk-url-1 =. doi:10.1007/s11118-023-10111-7 , fjournal =

    work page doi:10.1007/s11118-023-10111-7 2024

  8. [8]

    On self-similar

    Kern, Peter and Lage, Svenja , date-added =. On self-similar. J. Theoret. Probab. , mrclass =. 2023 , bdsk-url-1 =. doi:10.1007/s10959-022-01166-0 , fjournal =

    work page doi:10.1007/s10959-022-01166-0 2023

  9. [9]

    and Schrohe, E

    Grubb, Gerd , date-added =. Green's formula and a. Comm. Partial Differential Equations , mrclass =. 2018 , bdsk-url-1 =. doi:10.1080/03605302.2018.1475487 , fjournal =

    work page doi:10.1080/03605302.2018.1475487 2018

  10. [10]

    Ten equivalent definitions of the fractional

    Kwa\'snicki, Mateusz , date-added =. Ten equivalent definitions of the fractional. Fract. Calc. Appl. Anal. , mrclass =. 2017 , bdsk-url-1 =. doi:10.1515/fca-2017-0002 , fjournal =

    work page doi:10.1515/fca-2017-0002 2017

  11. [11]

    Ros-Oton, Xavier and Serra, Joaquim , date-added =. The. J. Math. Pures Appl. (9) , mrclass =. 2014 , bdsk-url-1 =. doi:10.1016/j.matpur.2013.06.003 , fjournal =

    work page doi:10.1016/j.matpur.2013.06.003 2014

  12. [12]

    Felsinger, Matthieu and Kassmann, Moritz and Voigt, Paul , date-added =. The. Math. Z. , mrclass =. 2015 , bdsk-url-1 =. doi:10.1007/s00209-014-1394-3 , fjournal =

    work page doi:10.1007/s00209-014-1394-3 2015

  13. [13]

    and Bass, Richard F

    Barlow, Martin T. and Bass, Richard F. and Chen, Zhen-Qing and Kassmann, Moritz , date-added =. Non-local. Trans. Amer. Math. Soc. , mrclass =. 2009 , bdsk-url-1 =. doi:10.1090/S0002-9947-08-04544-3 , fjournal =

    work page doi:10.1090/s0002-9947-08-04544-3 2009

  14. [14]

    Dirichlet heat kernel estimates for fractional

    Chen, Zhen-Qing and Kim, Panki and Song, Renming , date-added =. Dirichlet heat kernel estimates for fractional. Ann. Probab. , mrclass =. 2012 , bdsk-url-1 =. doi:10.1214/11-AOP682 , fjournal =

    work page doi:10.1214/11-aop682 2012

  15. [15]

    Heat kernel estimates for the

    Chen, Zhen-Qing and Kim, Panki and Song, Renming , date-added =. Heat kernel estimates for the. J. Eur. Math. Soc. (JEMS) , mrclass =. 2010 , bdsk-url-1 =. doi:10.4171/JEMS/231 , fjournal =

    work page doi:10.4171/jems/231 2010

  16. [16]

    Dirichlet forms for singular diffusion on graphs , url =

    Seifert, Christian and Voigt, J\"urgen , date-added =. Dirichlet forms for singular diffusion on graphs , url =. Oper. Matrices , mrclass =. 2011 , bdsk-url-1 =. doi:10.7153/oam-05-51 , fjournal =

    work page doi:10.7153/oam-05-51 2011

  17. [17]

    Boundary representations of intermediate forms between a regular

    Keller, Matthias and Lenz, Daniel and Schmidt, Marcel and Schwarz, Michael and Wirth, Melchior , date-added =. Boundary representations of intermediate forms between a regular. Potential Anal. , mrclass =. 2026 , bdsk-url-1 =. doi:10.1007/s11118-025-10251-y , fjournal =

    work page doi:10.1007/s11118-025-10251-y 2026

  18. [18]

    On stiff problems via

    Li, Liping and Sun, Wenjie , date-added =. On stiff problems via. Ann. Inst. Henri Poincar\'e. 2020 , bdsk-url-1 =. doi:10.1214/19-AIHP1028 , fjournal =

    work page doi:10.1214/19-aihp1028 2020

  19. [19]

    ter Elst, A. F. M. and Narula, Varun , date-added =. The. Czechoslovak Math. J. , mrclass =. 2025 , bdsk-url-1 =. doi:10.21136/CMJ.2025.0362-23 , fjournal =

    work page doi:10.21136/cmj.2025.0362-23 2025

  20. [20]

    ter Elst, A. F. M. and Ouhabaz, El Maati , date-added =. The diamagnetic inequality for the. Bull. Lond. Math. Soc. , mrclass =. 2022 , bdsk-url-1 =. doi:10.1112/blms.12674 , fjournal =

    work page doi:10.1112/blms.12674 2022

  21. [21]

    Arendt, Wolfgang and ter Elst, A. F. M. , date-added =. The. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , mrclass =

  22. [22]

    Friedlander's eigenvalue inequalities and the

    Arendt, Wolfgang and Mazzeo, Rafe , date-added =. Friedlander's eigenvalue inequalities and the. Commun. Pure Appl. Anal. , mrclass =. 2012 , bdsk-url-1 =. doi:10.3934/cpaa.2012.11.2201 , fjournal =

    work page doi:10.3934/cpaa.2012.11.2201 2012

  23. [23]

    and ter Elst, A

    Arendt, W. and ter Elst, A. F. M. , date-added =. The. J. Differential Equations , mrclass =. 2011 , bdsk-url-1 =. doi:10.1016/j.jde.2011.06.017 , fjournal =

    work page doi:10.1016/j.jde.2011.06.017 2011

  24. [24]

    On the generalized

    Widder, Christoph and Zimmer, Johannes and Schilling, Tanja , date-added =. On the generalized. J. Phys. A , mrclass =. 2025 , bdsk-url-1 =. doi:10.1088/1751-8121/ae02cc , fjournal =

    work page doi:10.1088/1751-8121/ae02cc 2025

  25. [25]

    Effective

    Zhu, Yuanran and Lei, Huan , date-added =. Effective. Discrete Contin. Dyn. Syst. Ser. S , mrclass =. 2022 , bdsk-url-1 =. doi:10.3934/dcdss.2021096 , fjournal =

    work page doi:10.3934/dcdss.2021096 2022

  26. [26]

    Mori-Zwanzig projection operator formalism for far-from-equilibrium systems with time-dependent Hamiltonians , url =

    te Vrugt, Michael and Wittkowski, Raphael , date-added =. Mori-Zwanzig projection operator formalism for far-from-equilibrium systems with time-dependent Hamiltonians , url =. Phys. Rev. E , month =. 2019 , bdsk-url-1 =. doi:10.1103/PhysRevE.99.062118 , issue =

    work page doi:10.1103/physreve.99.062118 2019

  27. [27]

    and Kupferman, Raz , date-added =

    Givon, Dror and Hald, Ole H. and Kupferman, Raz , date-added =. Existence proof for orthogonal dynamics and the. Israel J. Math. , mrclass =. 2005 , bdsk-url-1 =. doi:10.1007/BF02786691 , fjournal =

    work page doi:10.1007/bf02786691 2005

  28. [28]

    and Bhat, B

    Barreto, Stephen D. and Bhat, B. V. Rajarama and Liebscher, Volkmar and Skeide, Michael , date-added =. Type. J. Funct. Anal. , mrclass =. 2004 , bdsk-url-1 =. doi:10.1016/j.jfa.2003.08.003 , fjournal =

    work page doi:10.1016/j.jfa.2003.08.003 2004

  29. [29]

    Factorizations of kernels and reproducing kernel

    Kumari, Rani and Sarkar, Jaydeb and Sarkar, Srijan and Timotin, Dan , date-added =. Factorizations of kernels and reproducing kernel. Integral Equations Operator Theory , mrclass =. 2017 , bdsk-url-1 =. doi:10.1007/s00020-017-2348-z , fjournal =

    work page doi:10.1007/s00020-017-2348-z 2017

  30. [30]

    An extension of

    De Vito, Ernesto and Umanit\`a, Veronica and Villa, Silvia , date-added =. An extension of. Appl. Comput. Harmon. Anal. , mrclass =. 2013 , bdsk-url-1 =. doi:10.1016/j.acha.2012.06.001 , fjournal =

    work page doi:10.1016/j.acha.2012.06.001 2013

  31. [31]

    2011 , month = nov, journal =

    Carmeli, Claudio and De Vito, Ernesto and Toigo, Alessandro , date-added =. Vector valued reproducing kernel. Anal. Appl. (Singap.) , mrclass =. 2006 , bdsk-url-1 =. doi:10.1142/S0219530506000838 , fjournal =

    work page doi:10.1142/s0219530506000838 2006

  32. [32]

    The free

    Nelson, Edward , date-added =. The free. J. Functional Analysis , mrclass =. 1973 , bdsk-url-1 =. doi:10.1016/0022-1236(73)90025-6 , fjournal =

    work page doi:10.1016/0022-1236(73)90025-6 1973

  33. [33]

    Construction of quantum fields from

    Nelson, Edward , date-added =. Construction of quantum fields from. J. Functional Analysis , mrclass =. 1973 , bdsk-url-1 =. doi:10.1016/0022-1236(73)90091-8 , fjournal =

    work page doi:10.1016/0022-1236(73)90091-8 1973

  34. [34]

    Continuous analogues of

    Arveson, William , date-added =. Continuous analogues of. J. Funct. Anal. , mrclass =. 1990 , bdsk-url-1 =. doi:10.1016/0022-1236(90)90082-V , fjournal =

    work page doi:10.1016/0022-1236(90)90082-v 1990

  35. [35]

    Continuous analogues of

    Arveson, William , date-added =. Continuous analogues of. Mem. Amer. Math. Soc. , mrclass =. 1989 , bdsk-url-1 =. doi:10.1090/memo/0409 , fjournal =

    work page doi:10.1090/memo/0409 1989