REVIEW 5 minor 2 cited by
The scalar spatial depth alone completely determines any probability measure on a Hilbert space.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
2026-07-11 19:37 UTC pith:VQ4ZZ3MM
load-bearing objection They close two long-open characterization problems for spatial depth/quantiles, including the surprising scalar-depth result even in finite dimension, with clean reusable proofs.
Spatial depth characterizes probability measures
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If two Borel probability measures P and Q on a separable Hilbert space satisfy ||F^g_P(x)|| = ||F^g_Q(x)|| for every x, then P equals Q. The same conclusion holds when the vector-valued maps F^g_P and F^g_Q themselves coincide, even if equality is only required on a dense subset. In infinite dimension this settles the open characterization problem for the spatial distribution function and its quantiles; the depth characterization was previously open even in finite dimension.
What carries the argument
The convex potential h_P(x) = ∫ (‖x-z‖-‖z‖) dP(z) whose subgradient contains the spatial distribution function F^g_P; comparison of h_P-h_Q along the unique gradient flow of Φ = h_P + h_Q shows that equal depths force the potentials (and therefore the measures) to coincide.
Load-bearing premise
The existence and uniqueness of the gradient flow for the continuous convex coercive potential formed by the sum of the two spatial potentials, for completely arbitrary Borel probability measures.
What would settle it
Exhibit two distinct Borel probability measures on a Hilbert space (even R^2) whose spatial depth functions coincide at every point, or show that the gradient flow of their joint potential fails to exist or to be unique.
If this is right
- Any statistical procedure that recovers the spatial depth function (or the spatial quantile map) recovers the entire underlying law.
- Depth-based rank tests, classification rules and outlier diagnostics based on spatial depth are theoretically complete: distinct laws cannot produce identical depth fields.
- The same uniqueness argument applies to the transport-based depth of Hallin et al., giving a second depth that fully characterizes measures.
- Under a mild finite-dimensional marginal density condition the spatial quantile map is a C^∞ diffeomorphism, so quantile contours are smooth manifolds even in infinite dimension.
Where Pith is reading between the lines
- The same convex-flow technique is likely to settle characterization questions for other depths that can be written as minimal-norm elements of subdifferentials of convex potentials.
- Because the argument never uses finite dimensionality except for a few measure-theoretic technicalities, analogous uniqueness statements should hold on a large class of Banach spaces once a suitable notion of spatial cdf is fixed.
- Empirical spatial depth estimators that converge uniformly will automatically be consistent for the whole law, opening a direct route to goodness-of-fit tests based solely on depth.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes two characterization results for spatial (geometric) objects on separable Hilbert spaces H (finite- or infinite-dimensional). Theorem 1.1 shows that the spatial distribution function F^g_P (and hence the associated spatial quantiles when invertible) uniquely determines any Borel probability measure P, extending Koltchinskii’s finite-dimensional result via an asymptotic coordinate-perturbation argument, Carlson’s theorem, and Fourier uniqueness of measures on the line. Theorem 1.2 shows, more surprisingly, that the scalar spatial depth SD(x;P)=1-∥F^g_P(x)∥ also characterizes P: equality of depths everywhere forces P=Q, while equality on a dense set permits only a fully classified family of two-point (or, in dimension 1, median-swapped) exceptions. Theorem 1.3 further proves that a single finite-dimensional marginal with locally bounded density already makes F^g_P a C^∞-diffeomorphism onto the open unit ball. The proofs rely on the convex potential h_P, gradient-flow comparison of h_P-h_Q, and careful handling of atoms.
Significance. If correct, the results close long-standing open questions (infinite-dimensional characterization of F^g_P since Koltchinskii 1997; depth characterization even in finite dimension since Chaudhuri 1996 and Vardi–Zhang 2000) and supply the missing theoretical foundation for nonparametric depth-based inference, ranks, and quantiles in Hilbert spaces. The techniques—coordinate perturbation at infinity combined with Carlson’s theorem, and gradient-flow comparison of convex potentials adapted from Pérez-Aros–Salas–Vilches—are novel and immediately applicable to other depths (e.g., the transport-based depth of Hallin et al.). Full, self-contained proofs are given for all three main theorems, including the exceptional atomic cases, which strengthens the contribution.
minor comments (5)
- Page 2, display (3): the subtracted-norm construction of h_P is standard but could be briefly cross-referenced to Kemperman or Konen–Paindaveine for readers unfamiliar with the moment-free definition.
- Lemma 2.2: the appeal to Zorn’s lemma is correct, yet a short remark that a constructive orthonormal basis avoiding the countable set A_{P,Q} can be built by successive Gram–Schmidt on a dense countable set would improve accessibility.
- Section 3, after (10): the explicit description of the subdifferential of h_P is useful; adding a one-line citation to the corresponding formula in Konen–Stupfler (2026) would help the reader locate the earlier derivation.
- Theorem 1.3 / Corollary 4.4: the condition that a single finite-dimensional marginal has a locally L^p density is surprisingly weak; a short example (e.g., a Gaussian measure with non-degenerate covariance) illustrating that the resulting quantile contours are C^∞ would make the result more vivid.
- References: a few arXiv preprints (Romon 2022, Passeggeri–Reid 2022, Konen 2025a) are listed without final publication data; updating them if available would be desirable.
Circularity Check
Minor self-citations to authors' prior technical lemmas on spatial quantiles; central infinite-dimensional and depth characterizations are derived from first principles via novel Fourier/Carlson and gradient-flow arguments.
specific steps
-
self citation load bearing
[Section 2, finite-dimensional case of Theorem 1.1]
"In particular, Theorem 3.2 in Konen (2025a) entails that P=Q on the Borel subsets of R^d. This yields the conclusion of Theorem 1.1 when H is finite-dimensional."
The finite-dimensional uniqueness of the spatial cdf is imported from the first author's own prior work rather than re-derived or taken from the classical Koltchinskii (1997) reference already cited in the introduction. The step is not load-bearing for the paper's main novelty (infinite-dimensional case and depth characterization), so the circularity is minor.
full rationale
The paper's two main theorems (spatial cdf characterizes P even in infinite-dimensional Hilbert spaces; the scalar spatial depth ||F^g_P|| fully characterizes P) are proved from the definitions of F^g_P as the Bochner integral of the unit vector field and of h_P as the convex potential whose subgradient contains F^g_P. Theorem 1.1 proceeds by asymptotic coordinate perturbation, extension to a holomorphic function, Carlson's theorem, and Fourier uniqueness of the resulting radial measures; these steps are self-contained and do not reduce to any input assumption. Theorem 1.2 compares h_P - h_Q along the gradient flow of the continuous convex coercive potential Φ = h_P + h_Q (standard existence/uniqueness from Attouch–Buttazzo–Michaille), carefully handling atoms via a countable exceptional set S and classifying the two-point exceptional measures; the argument adapts (but does not merely invoke) the minimal-norm subgradient idea of Pérez-Aros et al. Self-citations appear only for intermediate technical facts (continuity of F^g_P at non-atoms, finite-dimensional distributional uniqueness, directional derivatives of h_P, invertibility of the Fréchet derivative of F^g_P). None of these citations is load-bearing for the novel claims, nor do they import an unverified uniqueness theorem that forces the result. There are no fitted parameters, no data-driven predictions, no smuggled ansatzes, and no renaming of known empirical patterns. The derivation chain is therefore essentially non-circular.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption H is a separable real Hilbert space; P, Q are Borel probability measures on H.
- standard math Existence and uniqueness of the absolutely continuous gradient flow of a continuous convex coercive functional (Proposition A.1).
- standard math Carlson’s theorem on analytic functions vanishing on the non-negative integers.
- standard math Zorn’s lemma to produce an orthonormal basis avoiding the countable atom set A_{P,Q}.
Cite this review
Pith. "Pith review of Spatial depth characterizes probability measures." pith.science (2026). https://pith.science/paper/VQ4ZZ3MM
@misc{pith2026260704375,
author = {Pith},
title = {Pith review of: Spatial depth characterizes probability measures},
year = {2026},
howpublished = {\url{https://pith.science/paper/VQ4ZZ3MM}},
note = {Machine review of arXiv:2607.04375}
}
read the original abstract
We solve two open problems about spatial (or geometric) quantiles and depth. First we show that in infinite dimension, the spatial distribution function and the associated spatial quantiles characterize the underlying distribution, which has been established in Koltchinski (1997) in finite dimension but remained unknown in infinite dimension. Second, and more surprisingly, we show that the spatial depth also fully characterizes probability measures, which has been an open problem even in finite dimension since the introduction of these concepts in Chaudhuri (1996) and Vardi & Zhang (2000). Our results provide theoretical foundations for nonparametric depth-based statistical inference and introduce novel proof techniques to investigate these questions for other depth and quantile concepts.
Forward citations
Cited by 2 Pith papers
-
The Influence Function of Transport-based Quantiles
The influence function of multivariate transport quantiles has a pole-type singularity in dimension ≥2, so contamination near a quantile level yields unbounded first-order sensitivity.
-
Dimension-invariant uniform consistency of the empirical spatial distribution function and its associated spatial depth estimator
The empirical spatial distribution and the plug-in spatial depth are uniformly L1-consistent over all of R^d with a dimension-free rate of 1/sqrt(n).
Reference graph
Works this paper leans on
-
[1]
2011 , PAGES =
Brezis, Haim , TITLE =. 2011 , PAGES =
2011
-
[2]
Konen, Dimitri and Paindaveine, Davy , TITLE =. Ann. Statist. , FJOURNAL =. 2023 , NUMBER =
2023
-
[3]
Applications of optimal transport to economics and related topics , SERIES =
Hallin, Marc and Konen, Dimitri , TITLE =. Applications of optimal transport to economics and related topics , SERIES =
-
[4]
Bernoulli , FJOURNAL =
Chowdhury, Joydeep and Chaudhuri, Probal , TITLE =. Bernoulli , FJOURNAL =. 2019 , NUMBER =
2019
-
[5]
Daouia, Abdelaati and Stupfler, Gilles and Usseglio-Carleve, Antoine , TITLE =. Stat. Comput. , FJOURNAL =. 2024 , NUMBER =
2024
-
[6]
Titchmarsh, E. C. , TITLE =. 1958 , PAGES =
1958
-
[7]
1985 , PAGES =
Deimling, Klaus , TITLE =. 1985 , PAGES =
1985
-
[8]
Electron
Konen, Dimitri and Stupfler, Gilles , TITLE =. Electron. J. Stat., conditionally accepted , FJOURNAL =. 2026 , NUMBER =
2026
-
[9]
Electron
Konen, Dimitri and Paindaveine, Davy , TITLE =. Electron. J. Stat. , FJOURNAL =. 2025 , NUMBER =
2025
-
[10]
Hardy, G. H. , TITLE =. Acta Math. , FJOURNAL =. 1920 , NUMBER =
1920
-
[11]
, date-added =
Carlson, F. , date-added =. Sur une classe de s
-
[12]
Gorin, E. A. and Koldobskii, A. L. , TITLE =. Sibirsk. Mat. Zh. , FJOURNAL =. 1987 , NUMBER =
1987
-
[13]
Konen, Dimitri and Paindaveine, Davy , TITLE =. Ann. Inst. Henri Poincar\'e. 2026 , NUMBER =
2026
-
[14]
Arcones, M. A. , TITLE =. Econometric Theory , FJOURNAL =. 1998 , NUMBER =
1998
-
[15]
Rockafellar, R. T. , TITLE =. 1970 , PAGES =
1970
-
[16]
Singha, S. and Kratz, M. and Vadlamani, S. , date-added =. arXiv preprint arXiv:2306.10789 , title =
-
[17]
Stinga, P. R. , booktitle =. User's guide to the fractional Laplacian and the method of semigroups , year =
-
[18]
Bogachev, V. I. and Smolyanov, O. G. , date-added =. Real and Functional Analysis , volume =
-
[19]
Passeggeri, R. and Reid, N. , date-added =. Arxiv preprint arXiv:2206.06998 , title =
- [20]
-
[21]
, date-added =
Oberhettinger, F. , date-added =. Tables of Bessel Transforms , year =
-
[22]
Prudnikov, A. P. and Brychkov, Yu. A. and Marichev, O. I. , date-added =. Integrals and Series: More Special Functions , volume =
-
[23]
Olver, Frank W. J. and Lozier, Daniel W. and Boisvert, Ronald F. and Clark, Charles W. , date-added =. NIST Handbook of Mathematical Functions , year =
-
[24]
Pratt, J. W. , journal =. On interchanging limits and integrals , volume =
-
[25]
, date-added =
McCann, R. , date-added =. Existence and uniqueness of monotone measure-preserving maps , volume =. Duke Math. J. , number =
-
[26]
Mahalanobis, P. C. , date-added =. On the generalized distance in statistics , volume =. Proceedings of the National Academy of Sciences of India , pages =
-
[27]
Liu, R. Y. , date-added =. Data depth and multivariate rank tests , year =. L1-Statistics and Related Methods , pages =
-
[28]
, date-added =
Gijbels, I., and Nagy, S. , date-added =. On smoothness of. Statistics , number =
-
[29]
, date-added =
Hallin, M., and Mordant, G. , date-added =. Working Papers ECARES , title =
-
[30]
, date-added =
Ghosal, P., and Sen, B. , date-added =. Multivariate ranks and quantiles using optimal transport: Consistency, rates and nonparametric testing , volume =. Annals of Statistics , number =
-
[31]
del Barrio, E., and Gonz. J. Multivariate Anal. , title =
-
[32]
Mathematical Statistics , year =
Shao, Jun , date-added =. Mathematical Statistics , year =
-
[33]
Relating quantiles and expectiles under weighted-symmetry , volume =
Abdous, Belkacem and Remillard, Bruno , date-added =. Relating quantiles and expectiles under weighted-symmetry , volume =. Ann. Inst. Statist. Math. , pages =
-
[34]
, date-added =
Acerbi, C. , date-added =. Spectral measures of risk: A coherent representation of subjective risk aversion , volume =. J. Banking & Finance , pages =
-
[35]
Francisci, G., and Nieto-Reyes, A., and Agostinelli, C. , date-added =. arXiv:1909.02739v2 , title =
Pith/arXiv arXiv 1909
-
[36]
, date-added =
Agostinelli, C., and Romanazzi, M. , date-added =. Nonparametric analysis of directional data based on data depth , volume =. Environ. Ecol. Stat. , pages =
-
[37]
Agostinelli, Claudio and Romanazzi, Mario , coden =. Local depth , url =. J. Statist. Plann. Inference , mrclass =. 2011 , bdsk-file-1 =. doi:10.1016/j.jspi.2010.08.001 , fjournal =
-
[38]
and Croux, Christophe and Van Aelst, S
Agull\`o, J. and Croux, Christophe and Van Aelst, S. , date-added =. The multivariate least-trimmed squares estimator , volume =. J. Multivariate Anal. , pages =
-
[39]
, date-added =
Aigner, D.J., and amemiya, T., and Poirier, D. , date-added =. On the estimation of production frontiers: maximum likelihood estimation of the parameters of a discontinuous density function , year =. Internat. Econom. Rev. , pages =
-
[40]
A note on the sum of uniform random variables , volume =
Buonocore, Aniello, and Pirozzi, Enrica, and Caputo, Luigia , date-added =. A note on the sum of uniform random variables , volume =. Statist. Probab. Lett. , pages =
-
[41]
Arcones, Miguel A. and Chen, Zhiqiang and Gin. Estimators related to. Ann. Statist. , mrclass =. 1994 , bdsk-file-1 =. doi:10.1214/aos/1176325637 , fjournal =
-
[42]
Arcones, Miguel A. and Gin. Limit theorems for. Ann. Probab. , mrclass =. 1993 , bdsk-file-1 =
1993
-
[43]
, and Eber, J.-M., and Heath, D
Artzner, P., and Delbaen, F. , and Eber, J.-M., and Heath, D. , date-added =. Coherent Measures of Risk , volume =. Math. Finance , pages =
-
[44]
Bai, Zhi-Dong and He, Xuming , coden =. Asymptotic distributions of the maximal depth estimators for regression and multivariate location , url =. Ann. Statist. , mrclass =. 1999 , bdsk-file-1 =. doi:10.1214/aos/1017939144 , fjournal =
-
[45]
Testing for spherical symmetry of a multivariate distribution , url =
Baringhaus, Ludwig , coden =. Testing for spherical symmetry of a multivariate distribution , url =. Ann. Statist. , mrclass =. 1991 , bdsk-file-1 =. doi:10.1214/aos/1176348127 , fjournal =
-
[46]
Bean, Steven J. and Tsokos, Chris P. , coden =. Developments in nonparametric density estimation , url =. Internat. Statist. Rev. , mrclass =. 1980 , bdsk-file-1 =. doi:10.2307/1402941 , fjournal =
doi:10.2307/1402941 1980
-
[47]
and Kuh, Edwin and Welsch, Roy E
Belsley, David A. and Kuh, Edwin and Welsch, Roy E. , date-added =. Regression diagnostics: identifying influential data and sources of collinearity , year =
-
[48]
Generalized quantiles as risk measures , volume =
Bellini, F., and Klar, B., and M\". Generalized quantiles as risk measures , volume =. Insurance Math. Econom. , pages =
-
[49]
Bhattacharya, P. K. and Mack, Y. P. , coden =. Weak convergence of. Ann. Statist. , mrclass =. 1987 , bdsk-file-1 =. doi:10.1214/aos/1176350487 , fjournal =
-
[50]
Biau, G. An affine invariant. J. Multivariate Anal. , mrclass =. 2012 , bdsk-file-1 =. doi:10.1016/j.jmva.2012.05.020 , fjournal =
-
[51]
Theory of multivariate statistics , year =
Bilodeau, Martin and Brenner, David , date-added =. Theory of multivariate statistics , year =
-
[52]
Billor, Nedret and Abebe, Asheber and Turkmen, Asuman and Nudurupati, Sai V. , date-added =. Classification based on depth transvariations , url =. J. Classification , mrclass =. 2008 , bdsk-file-1 =. doi:10.1007/s00357-008-9015-7 , fjournal =
-
[53]
, date-added =
Billingsley, P. , date-added =. Convergence of probability measures , year =
-
[54]
Uniformity in weak convergence , volume =
Billingsley, Patrick and Tops. Uniformity in weak convergence , volume =. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete , mrclass =. 1967 , bdsk-file-1 =
1967
-
[55]
Bogachev, V. I. , date-added =. Measure Theory , volume =
-
[56]
Bogachev, V. I. , date-added =. Weak Convergence of Measures , year =
-
[57]
, date-added =
Breckling, J., and Chambers, R. , date-added =. M-Quantiles , volume =. Biometrika , pages =
-
[58]
A note on multivariate M-quantiles , volume =
Breckling, Jens and Kokic, Philip, and L\". A note on multivariate M-quantiles , volume =. Statist. Probab. Lett. , pages =
-
[59]
Brown, B. M. , date-added =. Statistical uses of the spatial median , volume =. J. Roy. Statist. Soc. Ser. B , number =
-
[60]
and Davies, P.L
Butler, R.W. and Davies, P.L. and Jhun, M. , date-added =. Asymptotics for the minimum covariance determinant estimator , volume =. Ann. Statist. , pages =
-
[61]
Campbell, N. A. and Mahon, R. J. , date-added =. A multivariate study of variation in two species of rock crab of the genus. Austr. J. Zoo. , pages =. 1974 , bdsk-file-1 =
1974
-
[62]
Online estimation of the geometric median in
Cardot, H., and C. Online estimation of the geometric median in. Ann. Statist. , pages =
-
[63]
Efficient and fast estimation of the geometric median in
Cardot, H., and C. Efficient and fast estimation of the geometric median in. Bernoulli , pages =
-
[64]
Vector quantile regression: An optimal transport approach , volume =
Carlier, Guillaume, and Chernozhukov, Victor, and Galichon, Alfred , date-added =. Vector quantile regression: An optimal transport approach , volume =. Ann. Statist. , pages =
-
[65]
, date-added =
Carlier, G., and Chernozhukov, V., and Galichon, A. , date-added =. Vector quantile regression beyond the specified case , volume =. J. Multivariate Anal. , pages =
-
[66]
and Molchanov, I
Cascos, I. and Molchanov, I. , date-added =. Multivariate risks and depth-trimmed regions , volume =. Finance Stoch. , pages =
-
[67]
and Lopuha\"a, Hendrik P
Cator, Eric A. and Lopuha\"a, Hendrik P. , date-added =. Asymptotic expansion of the minimum covariance determinant estimators , volume =. J. Multivariate Anal. , pages =
-
[68]
and Lopuha\"a, Hendrik P
Cator, Eric A. and Lopuha\"a, Hendrik P. , date-added =. Central limit theorem and influence function for the. Bernoulli , number =
-
[69]
Chanda, Kamal C. , coden =. Asymptotic expansions of the probabilities of misclassification for. Statist. Probab. Lett. , mrclass =. 1990 , bdsk-file-1 =. doi:10.1016/0167-7152(90)90053-A , fjournal =
-
[70]
, date-added =
Chaudhuri, P. , date-added =. On a geometric notion of quantiles for multivariate data , volume =. J. Amer. Statist. Assoc. , pages =
-
[71]
, date-added =
Chakraborty,B. , date-added =. On multivariate quantile regression , volume =. J. Statist. Plann. Inference , pages =
-
[72]
Data-driven choice of the smoothing parametrization for kernel density estimators , url =
Chac. Data-driven choice of the smoothing parametrization for kernel density estimators , url =. Canad. J. Statist. , mrclass =. 2009 , bdsk-file-1 =. doi:10.1002/cjs.10016 , fjournal =
-
[73]
On multivariate quantile regression analysis , volume =
Chavas, Jean-Paul , date-added =. On multivariate quantile regression analysis , volume =. Stat. Methods Appl. , pages =
-
[74]
Asymptotics for general multivariate kernel density derivative estimators , url =
Chac. Asymptotics for general multivariate kernel density derivative estimators , url =. Statist. Sinica , mrclass =. 2011 , bdsk-file-1 =. doi:10.5705/ss.2011.036a , fjournal =
-
[75]
Design-based estimation for geometric quantiles with application to outlier detection , volume =
Chaouch, Mohamed and Goga, Camelia , date-added =. Design-based estimation for geometric quantiles with application to outlier detection , volume =. Computational Statistics & Data Analysis , number =
-
[76]
and La\"
Chaouch, M. and La\". Nonparametric multivariate L_1 -median regression estimation with functional covariates , volume =. Electron. J. Stat. , pages =
-
[77]
, date-added =
Chau, J., and Ombao, H., and von Sachs, R. , date-added =. Data depth and rank-based tests for covariance and spectral density matrices , volume =
-
[78]
Bounds for the breakdown point of the simplicial median , url =
Chen, Zhiqiang , date-added =. Bounds for the breakdown point of the simplicial median , url =. J. Multivariate Anal. , mrclass =. 1995 , bdsk-file-1 =. doi:10.1006/jmva.1995.1063 , fjournal =
-
[79]
Robustness of the half-space median , url =
Chen, Zhiqiang , coden =. Robustness of the half-space median , url =. J. Statist. Plann. Inference , mrclass =. 1995 , bdsk-file-1 =. doi:10.1016/0378-3758(94)00105-5 , fjournal =
-
[80]
, date-added =
Chernozhukov, V., and Galichon, A., and Hallin, M., and Henry, M. , date-added =. Ann. Statist. , pages =
This paper was first reviewed by grok-4.5 on July 11, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.