Recognition: 2 theorem links
· Lean TheoremThe Free Boundary in a Higher-Dimensional Long-Range Segregation Model
Pith reviewed 2026-05-11 00:58 UTC · model grok-4.3
The pith
In higher dimensions the free boundary of long-range segregated populations is mostly a C^1 hypersurface when local angles avoid a critical value, and convex supports form polytopes.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We extend the concept of angles and asymptotic cones to higher dimensions and give a characterization of regular and singular points in terms of their densities and angles. We obtain a structure result of the free boundary and show that, if the angles at the singular points are away from nω_n/2, the regular set is open in the free boundary and locally a C^1 manifold of dimension n-1. We also show that, if the supports of the populations are convex, they are convex polytopes. A weak form of the equality of angles for the convex configuration is also derived.
What carries the argument
Higher-dimensional angles and asymptotic cones that classify regular and singular points on the free boundary through densities and local geometry.
If this is right
- If angles at singular points differ from nω_n/2 then the regular set is open inside the free boundary.
- At regular points the free boundary is locally a C^1 manifold of dimension n-1.
- Convex supports of the populations must be convex polytopes.
- A weak form of angle equality holds when the supports are convex.
Where Pith is reading between the lines
- The angle-based regularity criterion may extend to other multi-phase free-boundary problems governed by elliptic systems.
- Numerical schemes for population models could exploit the polytope structure to reduce computational cost in convex domains.
- The results indicate that interfaces in higher-dimensional segregation tend to be smooth except at geometrically distinguished points.
Load-bearing premise
The limiting behavior as the small parameter eps tends to zero preserves the essential features of the model, and the newly defined angles and asymptotic cones correctly capture the local geometry at singular points.
What would settle it
An explicit solution or numerical example in dimension three or higher with a singular point whose angle differs from nω_n/2 yet the regular set fails to be open in the free boundary, or a convex support that is not a polytope.
Figures
read the original abstract
We consider a system of elliptic equations, depending on a small parameter $\eps$, that models long-range segregation of populations. The diffusion is governed by the Laplacian. This system was previously investigated by Caffarelli, Patrizi, and Quitalo in \cite{CL2} as a model in population dynamics, and they established the regularity of the free boundary in two dimensions. In this paper we study the free boundary in the higher dimensional case. We extend the concept of angles and asymptotic cones to higher dimensions, and give a characterization of regular and singular points in terms of their densities and angles. We obtain a structure result of the free boundary and show that, if the angles at the singular points are away from $\frac{n\omega_n}{2}$, the regular set is open in the free boundary and locally a $C^1$ manifold of dimension $n-1$. We also show that, if the supports of the populations are convex, they are convex polytopes. A weak form of the equality of angles for the convex configuration is also derived.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript extends 2D free-boundary results for a long-range segregation model (Caffarelli-Patrizi-Quitalo) to higher dimensions n. It introduces higher-dimensional angles and asymptotic cones, characterizes regular/singular points via densities and angles, proves a structure theorem for the free boundary, shows that angles at singular points away from nω_n/2 imply the regular set is open in the free boundary and locally a C^1 (n-1)-manifold, establishes that convex supports are convex polytopes, and derives a weak angle-equality identity in the convex case. The analysis relies on blow-up limits, density estimates, and a monotonicity formula.
Significance. If the central claims hold, the work supplies a non-trivial higher-dimensional extension of free-boundary regularity theory for this elliptic segregation system, with potential applications to population-dynamics models. The introduction of dimensionally consistent angles and cones, together with the explicit threshold nω_n/2 and the convex-polytope conclusion, constitutes a genuine advance over the cited 2D theory. The use of standard tools (blow-ups, monotonicity) is executed in a manner that yields falsifiable geometric predictions.
major comments (2)
- [§3] §3 (definition of higher-dimensional angles and asymptotic cones): the extension of the 2D angle concept is load-bearing for the entire characterization of singular points and the subsequent openness statement; the manuscript must supply a self-contained verification that these objects are preserved under the ε→0 limit and correctly detect the local geometry, rather than relying solely on formal analogy with the 2D case.
- [§5] §5 (openness and C^1 regularity when angles avoid nω_n/2): the monotonicity formula is invoked to conclude that the regular set is open and a C^1 manifold, yet the precise dependence of the threshold nω_n/2 on dimension and the quantitative control on the angle deficit are not shown explicitly; without these estimates the implication from angle condition to C^1 regularity remains formally incomplete.
minor comments (2)
- The notation ω_n (volume of the unit ball) should be recalled explicitly on first use, together with the normalization of the angle measure.
- The abstract states the main theorems but does not indicate the principal analytic tools (blow-up analysis, monotonicity formula); adding one sentence would improve readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address the major comments below and plan revisions to strengthen the manuscript.
read point-by-point responses
-
Referee: [§3] §3 (definition of higher-dimensional angles and asymptotic cones): the extension of the 2D angle concept is load-bearing for the entire characterization of singular points and the subsequent openness statement; the manuscript must supply a self-contained verification that these objects are preserved under the ε→0 limit and correctly detect the local geometry, rather than relying solely on formal analogy with the 2D case.
Authors: We agree that a fully self-contained verification strengthens the argument. In the revised manuscript we will add a dedicated lemma in §3 that directly verifies preservation of the higher-dimensional angles and asymptotic cones under the ε→0 blow-up limit. The proof will combine the already-established density estimates and monotonicity formula to show that the limiting objects inherit the precise geometric properties of the approximating sequences, thereby confirming they detect the local geometry without relying on 2D analogy. revision: yes
-
Referee: [§5] §5 (openness and C^1 regularity when angles avoid nω_n/2): the monotonicity formula is invoked to conclude that the regular set is open and a C^1 manifold, yet the precise dependence of the threshold nω_n/2 on dimension and the quantitative control on the angle deficit are not shown explicitly; without these estimates the implication from angle condition to C^1 regularity remains formally incomplete.
Authors: We acknowledge the need for explicit quantitative control. In the revision we will expand the argument in §5 to derive the precise threshold nω_n/2 from the monotonicity formula and to obtain a quantitative estimate on the angle deficit. This estimate will be used to run a higher-dimensional improvement-of-flatness argument that directly yields openness of the regular set and local C^1 regularity, making the implication complete and dimensionally explicit. revision: yes
Circularity Check
No significant circularity detected
full rationale
The paper cites an independent 2D result from Caffarelli-Patrizi-Quitalo [CL2] and introduces new higher-dimensional definitions for angles and asymptotic cones. Structure theorems for the free boundary are obtained via blow-up analysis, density characterizations, and a monotonicity formula that yields openness and C^1 regularity when angles avoid nω_n/2; the convex-support conclusion follows from a weak angle-equality identity. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain. The derivation chain is self-contained once the limiting problem and new geometric notions are accepted.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard regularity theory for solutions of elliptic systems
- domain assumption The small-parameter limit eps to 0 yields a well-defined segregation model with the stated free boundary
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking (D=3 forcing) unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We extend the concept of angles and asymptotic cones to higher dimensions... if the angles at the singular points are away from nω_n/2, the regular set is open... locally a C^1 manifold of dimension n-1... if the supports... are convex, they are convex polytopes.
-
IndisputableMonolith/Cost.leanJcost uniqueness / washburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
angle(x0) := H^{n-1}(∩ S+(x0;y)) / R^{n-1} ... lim |Br∩Si|/|Br| = angle(x0)/(n ω_n) ... regular iff angle = nω_n/2
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
-
[2]
R. Argiolas and F. Ferrari , Flat free boundaries regularity in two-phase problems for a class of fully nonlinear elliptic operators with variable coefficients, Interfaces Free Bound. , 11 (2009), no. 2, 177-199
work page 2009
-
[3]
Bozorgnia , Uniqueness result for long range spatially segregation elliptic system
F. Bozorgnia , Uniqueness result for long range spatially segregation elliptic system. Acta Appl. Math. , 154 (2018), 1-14. comment
work page 2018
-
[4]
L. Caffarelli and X. Cabr\'e , Fully Nonlinear Elliptic Equations, J. Amer. Math. Soc. Colloq. Publ. , 43 (1995). comment
work page 1995
-
[5]
L. Caffarelli, A. L. Karakhanyan and F.-H. Lin , The geometry of solutions to a segregation problem for nondivergence systems, J. Fixed Point Theory Appl., 5 (2009), no. 2, 319-351
work page 2009
-
[6]
L. Caffarelli and F.-H. Lin , An optimal partition problem for eigenvalues. J. Sci. Comput. , 31 (2007), no. 1-2, 5-18
work page 2007
-
[7]
L. Caffarelli and F.-H. Lin , Singularly perturbed elliptic systems and multi-valued harmonic functions with free boundaries, J. Amer. Math. Soc., 21 (2008), no. 3, 847-862
work page 2008
-
[8]
L. Caffarelli, S. Patrizi and V. Quitalo , On a long range segregation model, J. Eur. Math. Soc. , 19 (2017), 3575-3628
work page 2017
-
[9]
L. Caffarelli, S. Patrizi, V. Quitalo and M. Torres , Regularity of interfaces for a Pucci type segregation problem, Ann. Inst. H. Poincar \'e C Anal. Non Lin \'e aire , 36 (2019), 939-975
work page 2019
-
[10]
L. Caffarelli and S. Salsa , A geometric approach to free boundary problems , Graduate Studies in Mathematics, 68, Amer. Math. Soc., Providence, RI, 2005
work page 2005
- [11]
- [12]
- [13]
- [14]
- [15]
-
[16]
M. Crandall, H. Ishii and P. L. Lions , User’s guide to viscosity solutions of second order partial differential equations, Bull. Amer. Math. Soc. , 27 (1992), no.1, 1-67. comment
work page 1992
-
[17]
J. H. Cushman, G. D. Martinsen and A. I. Mazeroll , Density-and size-dependent spacing of ant nests: evidence for intraspecific competition, Oecologia 77 (1988), 522-525. comment
work page 1988
-
[18]
& Torres, M , A Nonlinear Model for Long-Range Segregation, La Matematica 5 (2026), 1-27
Chuah, H., Patrizi, S. & Torres, M , A Nonlinear Model for Long-Range Segregation, La Matematica 5 (2026), 1-27. comment
work page 2026
-
[19]
E. N. Dancer and Y. Du , Positive solutions for a three-species competition system with diffusion. I. General existence results, Nonlinear Anal. , 24 (1995), no. 3, 337-357
work page 1995
-
[20]
E. N. Dancer and Y. Du , Positive solutions for a three-species competition system with diffusion II., the case of equal birth rates, Nonlinear Anal. , 24 (1995), no. 3, 359-373
work page 1995
-
[21]
E. N. Dancer, D. Hilhorst, M. Mimura and L. A. Peletier , Spatial segregation limit of a competition-diffusion system, European J. Appl. Math. , 10 (1999), no. 2, 97-15
work page 1999
-
[22]
D. De Silva, F. Ferrari and S. Salsa , Free boundary regularity for fully nonlinear non-homogeneous two-phase problems J. Math. Pures Appl. , (9) 103 (2015), no. 3, 658-694
work page 2015
-
[23]
D. De Silva and O. Savin , Lipschitz regularity of solutions to two-phase free boundary problems, International Mathematics Research Notices , 2019 (2019), no. 7, 2204-2222
work page 2019
-
[24]
L. C. Evans, Partial Differential Equations , second edition, Graduate Studies in Mathematics, 19, Amer. Math. Soc., Providence, RI, 2010
work page 2010
-
[25]
L. C. Evans and R. F. Gariepy , Measure Theory and Fine Properties of Functions , revised edition, Textbooks in Mathematics, CRC Press, Boca Raton, FL, 2015. comment comment
work page 2015
-
[26]
N. Edelen and M. Engelstein , Quantitative stratification for some free-boundary problems. Trans. Amer. Math. Soc. , 371 (2019), no. 3, 2043-2072. comment
work page 2019
-
[27]
D. Gilbarg and N. Trudinger , Elliptic Partial Differential Equations of Second Order. Springer, (2001). comment
work page 2001
-
[28]
Giusti, Minimal Surfaces and Functions of Bounded Variation , Monographs in Mathematics, (1984)
E. Giusti, Minimal Surfaces and Functions of Bounded Variation , Monographs in Mathematics, (1984). comment
work page 1984
-
[29]
H. Ishii and P.L. Lions , Viscosity solutions of fully nonlinear second-order elliptic partial differential equations, J. Differential Equations 83 , (1990), no. 1, 26-78. comment
work page 1990
-
[30]
N. V. Krylov , Controlled diffusion processes , Stochastic Modelling and Applied Probability , 14 , Springer-Verlag, Berlin , (2009), xii+308 pp. comment
work page 2009
-
[31]
M. Mimura, S.-I. Ei and Q. Fang , Effect of domain-shape on coexistence problems in a competition-diffusion system, J. Math. Biol. , 29 (1991), 219–237. comment
work page 1991
-
[32]
A. Naber and D. Valtorta , Rectifiable-Reifenberg and the regularity of stationary and minimizing harmonic maps. Ann. Math. (2) , 185 (2017), 131-227. comment
work page 2017
-
[33]
V. Quitalo , A free boundary problem arising from segregation of populations with high competition, Arch. Rational Mech. Anal. , 210 (2013), 857-908
work page 2013
- [34]
- [35]
-
[36]
H. Tavares and S. Terracini , Regularity of the nodal set of segregated critical configurations under a weak reflection law, Calc. Var. Partial Differential Equations , 45 (2012), no. 3-4, 273-317
work page 2012
-
[37]
Ambrosio, L., Crippa, G., Maniglia, S.: Traces and fine properties of a BD class of vector fields and applications. Ann. Fac. Sci. Toulouse Math. (6), 14(4):527--561, 2005
work page 2005
-
[38]
The Clarendon Press, Oxford University Press: New York, 2000
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems . The Clarendon Press, Oxford University Press: New York, 2000
work page 2000
-
[39]
Anzellotti, G.: Pairings between measures and bounded functions and compensated compactness . Ann. Mat. Pura Appl. 135(1):293--318, 1983
work page 1983
-
[40]
Anzellotti, G.: Traces of bounded vector-fields and the divergence theorem , Preprint , 1983
work page 1983
-
[41]
Bourgain, J., Brezis, H.: In the equation Y =f and applications to control of phases , Amer. Math. Soc. , 16:393--426, 2003
work page 2003
- [42]
-
[43]
Cauchy, A. L.: Recherches sur l'\' e quilibre et le mouvement int\' e rieur des corps solides ou fluides, \' e lastiques or non \' e lastiques. Bull. Soc. Philomathique , 10(2):9--13, 1823
-
[44]
L.: Da la pression ou tension dans un corps solide
Cauchy, A. L.: Da la pression ou tension dans un corps solide. Exercises de Mateh\' e matiques , 2(2):42--56, 1827
-
[45]
In: Evolutionary Equations , vol
Chen, G.-Q.: Euler equations and related hyperbolic conservation laws. In: Evolutionary Equations , vol. 2, 1--104. Handbook of Differential Equations. Elsevier/North-Holland, Amsterdam, 2005
work page 2005
-
[46]
Chen, G.-Q., Comi, G. E., Torres, M.: Cauchy fluxes and Gauss-Green formulas for divergence-measure fields over general open sets. Arch. Ration. Mech. Anal. 223:87--166, 2019
work page 2019
-
[47]
Chen, G.-Q., Frid, H.: Divergence-measure fields and hyperbolic conservation laws. Arch. Ration. Mech. Anal. 147(2):89--118, 1999
work page 1999
-
[48]
Chen, G.-Q., Frid, H.: Extended divergence-measure fields and the E uler equations for gas dynamics. Commun. Math. Phys. 236(2):251--280, 2003
work page 2003
-
[49]
Chen, G.-Q., Frid, H.: Large-time behavior of entropy solutions of conservation laws. J. Differential Equations , 152(2):308--357, 1999
work page 1999
-
[50]
Chen, G.-Q., Frid, H.: Decay of entropy solutions of nonlinear conservation laws. Arch. Ration. Mech. Anal. 146(2):95--127, 1999
work page 1999
-
[51]
Chen, G.-Q., Li, Q., Torres, M.: Traces and extensions of bounded divergence-measure fields on rough open sets. Indiana Univ. Math. J. 69:229--264, 2020
work page 2020
-
[52]
Chen, G.-Q., Rascle, M.: Initial layers and uniqueness of weak entropy solutions to hyperbolic conservation laws. Arch. Ration. Mech. Anal. 153:205--220, 2000
work page 2000
-
[53]
Chen, G.-Q., Torres, M.: Divergence-measure fields, sets of finite perimeter, and conservation laws. Arch. Rational Mech. Anal. 175(2):245--267, 2005
work page 2005
-
[54]
Chen, G.-Q., Torres, M.: On the structure of solutions of nonlinear hyperbolic systems of conservation laws. Comm. Pure Appl. Anal. 10 (4):1011--1036, 2011
work page 2011
-
[55]
Chen, G.-Q., Torres, M.: Divergence-measure fields: Gauss-Green formulas and Normal traces Notices of Amer. Math. Soc. 68 (8):1282--1290, 2021
work page 2021
-
[56]
Chen, G.-Q., Torres, M., Ziemer, W. P.: Gauss-Green theorem for weakly differentiable vector fields, sets of finite perimeter, and balance laws. Comm. Pure Appl. Math. 62(2):242--304, 2009
work page 2009
-
[57]
Comi, G. E., De Cicco, V., Scilla, G: Beyond BV : New pairings and Gauss-Green formulas for measure fields with divergence measure . Preprint , 2023
work page 2023
-
[58]
E., Magnani, V.: The Gauss--Green theorem in stratified groups
Comi, G. E., Magnani, V.: The Gauss--Green theorem in stratified groups . Preprint arXiv:1806.04011 , 2018
-
[59]
Comi, G. E., Payne, K. R.: On locally essentially bounded divergence measure fields and sets of locally finite perimeter . Adv. Calc. Var. 13(2):179--217, 2020
work page 2020
-
[60]
E., Torres, M.: One sided approximations of sets of finite perimeter
Comi, G. E., Torres, M.: One sided approximations of sets of finite perimeter. Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 28(1):181--190, 2017
work page 2017
-
[61]
Crasta, G., De Cicco, V.: Anzellotti's pairing theory and the Gauss--Green theorem . Adv. Math. 343:935--970, 2019
work page 2019
-
[62]
Crasta, G., De Cicco, V.: An extension of the pairing theory between divergence-measure fields and BV functions . J. Funct. Anal. 276(8):2605--2635, 2019
work page 2019
-
[63]
Preprint arXiv:2405.11486 , 2024
Crippa, G., De Rosa, L., Inversi, M., Nesi, M.: Normal traces and applications to continuity equations on bounded domains . Preprint arXiv:2405.11486 , 2024
-
[64]
M.: Hyperbolic Conservation Laws in Continuum Physics , 4th Ed., Springer-Verlag: Berlin, 2016
Dafermos, C. M.: Hyperbolic Conservation Laws in Continuum Physics , 4th Ed., Springer-Verlag: Berlin, 2016
work page 2016
-
[65]
De Giorgi, E.: Su una teoria generale della misura (r-1) --dimensionale in uno spazio ad r dimensioni . Ann. Mat. Pura Appl. 36.1:191--213, 1954
work page 1954
-
[66]
Seminario di Matematica della Scuola Normale Superiore di Pisa , 1960--61
De Giorgi, E.: Frontiere orientate di misura minima. Seminario di Matematica della Scuola Normale Superiore di Pisa , 1960--61. Editrice Tecnico Scientifica, Pisa, 1961
work page 1960
-
[67]
De Lellis, C., Otto, F., Westdickenberg, M.: Structure of entropy solutions for multi-dimensional scalar conservation laws. Arch. Ration. Mech. Anal. 170(2):137--184, 2003
work page 2003
-
[68]
Degiovanni, M., Marzocchi, A., Musesti, A.: Cauchy fluxes associated with tensor fields having divergence measure . Arch. Ration. Mech. Anal. 147(3):197--223, 1999
work page 1999
-
[69]
De Pauw, T., Pfeffer, W.F.: Distributions for which = T has a continuous solution. Comm. Pure Appl. Math. , 61:230--260, 2008
work page 2008
- [70]
-
[71]
Evans, L. C., Gariepy, R. F.: Measure Theory and Fine Properties of Functions. CRC Press: Boca Raton, FL, 1992
work page 1992
-
[72]
C.: Partial Differential Equations
Evans, L. C.: Partial Differential Equations. AMS: Providence, RI, 1998
work page 1998
-
[73]
Trudinger: Elliptic Partial Differential Equations of Second Order
David Gilbarg Neil S. Trudinger: Elliptic Partial Differential Equations of Second Order. AMS: Providence, RI, 1998
work page 1998
-
[74]
Federer, H.: The G auss- G reen theorem. Trans. Amer. Math. Soc. 58:44--76, 1945
work page 1945
-
[75]
Federer, H.: A note on the G auss- G reen theorem. Proc. Amer. Math. Soc. 9:447--451, 1958
work page 1958
-
[76]
Die Grundlehren der mathematischen Wissenschaften, New York, 1969
Federer, H.: Geometric Measure Theory. Die Grundlehren der mathematischen Wissenschaften, New York, 1969
work page 1969
-
[77]
Frid, H.: Remarks on the theory of the divergence-measure fields. Quart. Appl. Math. 70(3):579--596, 2012
work page 2012
-
[78]
In: Hyperbolic Conservation Laws and Related Analysis with Applications , pp
Frid, H.: Divergence-measure fields on domain with Lipschitz boundary. In: Hyperbolic Conservation Laws and Related Analysis with Applications , pp. 207--225, G.-Q. Chen, H. Holden & K. Karlsen (Eds.), Springer: Heidelberg, 2014
work page 2014
-
[79]
Friedrichs, K. O., Lax, P. D.: Systems of conservation equations with a convex extension. Proc. Nat. Acad. Sci. U.S.A. 68: 1686--1688, 1971
work page 1971
-
[80]
Fuglede, B.: On a theorem of F. Riesz. Math. Scand. 3: 283--302, 1955
work page 1955
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.