Functions of Bounded Variation and Point Processes
Pith reviewed 2026-06-27 18:44 UTC · model grok-4.3
The pith
An averaged BMO oscillation converges to a dimensional constant times the L2-jump of a BV function when sampled against hyperuniform point processes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For hyperuniform point processes whose variance asymptotics are known by class, the variance of the linear statistic generated by a BV test function grows at a rate determined by the L2 norm of the jump measure of its gradient; moreover, an averaged quadratic BMO oscillation functional defined on translated and rotated cube partitions converges to an explicit dimensional constant multiplied by this same L2-jump, thereby supplying a new characterization of the perimeter of a set.
What carries the argument
The averaged quadratic BMO-type oscillation functional over translated and rotated cube partitions, whose limit recovers the L2-jump measure.
If this is right
- The growth rate of fluctuations of linear statistics is controlled by the regularity class and the size of the jump discontinuities of the test function.
- New explicit formulas for the L2-jump are obtained via both difference quotients and Fourier transforms, extending earlier work of Beretti-Gennaioli and Dávila.
- The perimeter of a set admits an additional characterization as the limit of the averaged BMO oscillation functional.
- The same limit supplies a quantitative link between the analytic jump measure and the statistical variance growth in each hyperuniformity class.
Where Pith is reading between the lines
- Point-process sampling could be used to numerically approximate the total variation or perimeter of a set by evaluating the oscillation functional on finite realizations.
- The same averaging technique might produce analogous limits for other function classes such as Sobolev or BV^p spaces.
- The approach suggests that variance asymptotics of linear statistics could serve as a probe for jump locations even when the underlying point process is only partially observed.
Load-bearing premise
The point processes belong to one of the classified hyperuniform families whose variance asymptotics are already known, and the BV functions satisfy the integrability and approximation properties needed for the difference-quotient and Fourier expressions to equal the jump measure.
What would settle it
For the characteristic function of the unit ball, compute the averaged quadratic BMO oscillation on successively finer translated and rotated cube partitions and verify whether the values approach the predicted multiple of its L2-jump perimeter.
read the original abstract
We investigate the relationship between the analytical properties of functions of bounded variation and the statistical behavior of hyperuniform point processes. We establish several characterization formulas for the jump part of the gradient of a bounded variation function, extending and unifying previous results by Beretti--Gennaioli and D\'avila. In particular, we provide new expressions for the $L^2$-jump of the gradient using both difference quotients and Fourier transform methods. Furthermore, we connect these analytic structures to the theory of hyperuniform point processes. By analyzing the variance of linear statistics associated with bounded variation functions, we provide asymptotic estimates that depend on the specific classification of the hyperuniformity of the point process. The results show how the regularity and jump discontinuities of a function dictate the growth rate of fluctuations in point processes. Finally, we introduce an averaged quadratic BMO-type oscillation functional over translated and rotated cube partitions, similar to the one recently studied by Ambrosio et al., and prove, using results from point process, that it converges to an explicit dimensional constant times the $L^2-$jump, giving in particular a further new characterization of the perimeter of a set.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes characterization formulas for the L²-jump of the gradient of BV functions via difference quotients and Fourier methods, extending Beretti–Gennaioli and Dávila. It derives asymptotic variance estimates for linear statistics of hyperuniform point processes that depend on the hyperuniformity class and the regularity/jump structure of the test function. It defines an averaged quadratic BMO-type oscillation functional over translated and rotated cube partitions and proves, via point-process results, that the functional converges to an explicit dimensional constant times the L²-jump, yielding a new characterization of the perimeter.
Significance. If the derivations hold, the work supplies a concrete bridge between BV theory and the fluctuation theory of hyperuniform point processes, with the explicit constant in the oscillation-functional limit constituting a clear advance. The unification of difference-quotient/Fourier identities with variance asymptotics and the perimeter characterization are the primary contributions.
minor comments (3)
- The abstract and introduction should cite the precise theorems on hyperuniform variance asymptotics that are invoked in the linear-statistics analysis.
- Notation for the averaged oscillation functional (Definition in §4) would benefit from an explicit formula for the averaging measure over translations and rotations before the convergence statement.
- A short remark clarifying the precise integrability hypotheses on the BV function that guarantee the difference-quotient and Fourier expressions coincide with the jump measure would improve readability.
Simulated Author's Rebuttal
We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were provided in the report, so we have no specific points to address point-by-point. We will incorporate any minor editorial suggestions during revision.
Circularity Check
No significant circularity detected
full rationale
The paper extends BV jump characterizations to hyperuniform point processes by invoking external variance asymptotics for linear statistics and prior results on BMO oscillation functionals (Ambrosio et al.). No derivation step reduces by the paper's own equations to a fitted parameter or self-defined quantity; the central convergence claim to a dimensional constant times the L2-jump rests on standard point-process applications whose inputs are independent of the target result. Self-citations, if present, are not load-bearing for the main identities.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard decomposition and approximation properties of BV functions and their gradients
- domain assumption Existence of hyperuniform point processes with known variance asymptotics for each classified regime
Reference graph
Works this paper leans on
-
[1]
Ambrosio, N
L. Ambrosio, N. Fusco, D. Pallara, Functions of Bounded Variation and Free Discontinuity Problems, Oxford Mathematical Monographs, Clarendon Press, Oxford University Press, Oxford, 2000, xviii+434
2000
-
[2]
Ambrosio, J
L. Ambrosio, J. Bourgain, H. Brezis, A. Figalli, BMO -type norms related to the perimeter of sets, Comm. Pure Appl. Math. 69(6) (2016), 1062--1086
2016
-
[3]
Bourgain, H
J. Bourgain, H. Brezis, P. Mironescu, Another look at Sobolev spaces, in Optimal Control and Partial Differential Equations, IOS Press, Amsterdam, 2001, 439--455
2001
-
[4]
T. Beretti, L. Gennaioli, Fourier transform of BV functions and applications, arXiv:2407.13347, 2024
-
[5]
Brezis, How to recognize constant functions
H. Brezis, How to recognize constant functions. A connection with Sobolev spaces, Uspekhi Mat. Nauk 57(4) (2002), 59--74
2002
-
[6]
Coste, Order, fluctuations, rigidities, https://scoste.fr/assets/survey_hyperuniformity.pdf, 2021
S. Coste, Order, fluctuations, rigidities, https://scoste.fr/assets/survey_hyperuniformity.pdf, 2021
2021
-
[7]
D. J. Daley, D. Vere-Jones, An Introduction to the Theory of Point Processes, Springer, New York, 1988
1988
-
[8]
D\'avila, On an open question about functions of bounded variation, Calc
J. D\'avila, On an open question about functions of bounded variation, Calc. Var. PDE 15(4) (2002), 519--527
2002
-
[9]
de Philippis, N
G. de Philippis, N. Fusco, A. Pratelli, On the approximation of SBV functions, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 28(2) (2017), 369--413
2017
-
[10]
Durrett, Probability: Theory and Examples, Cambridge Series in Statistical and Probabilistic Mathematics, vol
R. Durrett, Probability: Theory and Examples, Cambridge Series in Statistical and Probabilistic Mathematics, vol. 49, Cambridge Univ. Press, Cambridge, 2019
2019
-
[11]
L. C. Evans, R. F. Gariepy, Measure Theory and Fine Properties of Functions, 2nd ed., CRC Press, Boca Raton, FL, 2025
2025
-
[12]
Faraco, K
D. Faraco, K. M. Rogers, The Sobolev norm of characteristic functions with applications to the Calderón inverse problem, Quart. J. Math. 64(1) (2013), 133--147
2013
-
[13]
P. J. Forrester, G. Honner, Exact statistical properties of the zeros of complex random polynomials, J. Phys. A 32(16) (1999), 2961--2981
1999
-
[14]
Fusco, G
N. Fusco, G. Moscariello, C. Sbordone, A formula for the total variation of SBV functions, J. Funct. Anal. 270(1) (2016), 419--446
2016
-
[15]
Fusco, G
N. Fusco, G. Moscariello, C. Sbordone, BMO-type seminorms and Sobolev functions, ESAIM Control Optim. Calc. Var. 24(2) (2018), 835--847
2018
-
[16]
J. H. Hannay, The chaotic analytic function, J. Phys. A 31(49) (1998), L755--L761
1998
-
[17]
J. B. Hough, M. Krishnapur, Y. Peres, B. Vir\'ag, Zeros of Gaussian Analytic Functions and Determinantal Point Processes, Univ. Lecture Ser., vol. 51, AMS, Providence, RI, 2009
2009
-
[18]
Lachi\`eze-Rey, Hyperuniform random measures, transport and rigidity, arXiv:2510.18392, 2025
R. Lachi\`eze-Rey, Hyperuniform random measures, transport and rigidity, arXiv:2510.18392, 2025
-
[19]
M. Levi, J. Marzo, J. Ortega-Cerd\`a, Linear statistics of determinantal point processes and norm representations, Int. Math. Res. Not. (19) (2024), 12869--12903
2024
-
[20]
Lin, Nonlocal energy functionals and determinantal point processes on non-smooth domains, Math
Z. Lin, Nonlocal energy functionals and determinantal point processes on non-smooth domains, Math. Z. 307(3) (2024), 56
2024
-
[21]
Maggi, Sets of Finite Perimeter and Geometric Variational Problems, Cambridge Univ
F. Maggi, Sets of Finite Perimeter and Geometric Variational Problems, Cambridge Univ. Press, 2012
2012
-
[22]
Marzo, L
J. Marzo, L. Molag, J. Ortega-Cerd\`a, Universality for fluctuations of counting statistics of random normal matrices, J. Lond. Math. Soc. 113(2) (2026), e70462
2026
-
[23]
Nazarov, M
F. Nazarov, M. Sodin, Fluctuations in random complex zeroes: asymptotic normality revisited, Int. Math. Res. Not. 2011(24), 5720--5759
2011
-
[24]
A. C. Ponce, D. Spector, On formulae decoupling the total variation of BV functions, Nonlinear Anal. 154 (2017), 241--257
2017
-
[25]
Sodin, A
M. Sodin, A. Wennman, O. Yakir, The random Weierstrass zeta function II: fluctuations of the electric flux through rectifiable curves, J. Stat. Phys. 190 (2023), 164
2023
-
[26]
Torquato, Hyperuniformity and its generalizations, Phys
S. Torquato, Hyperuniformity and its generalizations, Phys. Rev. E 94(2) (2016), 022122
2016
-
[27]
Torquato, Hyperuniform states of matter, Phys
S. Torquato, Hyperuniform states of matter, Phys. Rep. 745 (2018), 1--95
2018
-
[28]
Torquato, F
S. Torquato, F. H. Stillinger, Local density fluctuations, hyperuniformity, and order metrics, Phys. Rev. E 68(4) (2003), 041113
2003
-
[29]
Yakir, Fluctuations of linear statistics for Gaussian perturbations of the lattice Z ^d , J
O. Yakir, Fluctuations of linear statistics for Gaussian perturbations of the lattice Z ^d , J. Stat. Phys. 182(3) (2021), 58
2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.