Group Theoretic Constructions of Singular Set in a Long Range Segregation Model
Pith reviewed 2026-07-01 05:13 UTC · model grok-4.3
The pith
Finite group actions construct singular sets of dimension n-2 on free boundaries of long-range segregation models.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct several explicit examples of singular sets of Hausdorff dimension (n-2) in R^n on free boundaries for an elliptic system modeling long range segregation. This is achieved through rigidity and finite group action, overcoming the difficulty posed by the nonlocal nature of the system. As a byproduct, singular points can exist for the model in any dimensions, and the method extends to an adjacent model.
What carries the argument
Finite group actions that preserve solutions of the nonlocal system, combined with rigidity that forces the free boundary to contain a singular set of dimension n-2.
If this is right
- Singular points can exist for the model in any dimensions.
- The method applies to the study of the singular set in the adjacent model.
- The singular set on the free boundary can reach Hausdorff dimension exactly n-2.
- No concrete examples of singular sets were previously known due to the nonlocal nature of the system.
Where Pith is reading between the lines
- Symmetry methods may help construct singularities in other nonlocal free-boundary problems.
- These constructions could be tested numerically by imposing the group symmetries on discretized versions of the system.
- The work leaves open whether n-2 is the highest possible dimension for singularities or if higher-dimensional singular sets can occur.
Load-bearing premise
Finite group actions can be chosen so that they preserve solutions of the nonlocal system while rigidity forces the resulting free boundary to contain a singular set of exact dimension n-2.
What would settle it
An explicit computation for a chosen finite group action in dimension n=3 showing that a preserved solution has a free boundary that remains regular with no singular set of dimension 1.
Figures
read the original abstract
In this paper, we construct several explicit examples of singular sets of Hausdorff dimension $(n-2)$ in $\mathbb{R}^n$ on free boundaries for an elliptic system modeling long range segregation. The system has been previously studied by Caffarelli, Patrizi and Quitalo in \cite{CL2} for the regularity of the free boundary in dimension two, and by the author and Torres in \cite{ChPaTo26_2} for the partial regularity in higher dimensions. However, the dimension of the singular set is unknown, and no concrete examples of singular set are known in the literature due to the nonlocal nature of the elliptic system. In this paper, we overcome this difficulty by rigidity and finite group action. As a byproduct of our result, we see that singular points can exist for the model in any dimensions. We also show that our method can be applied to the study of the singular set in the adjacent model. Finally, we also discuss some related open problems for future studies.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript constructs explicit examples of singular sets of Hausdorff dimension n-2 on free boundaries for a long-range segregation elliptic system in R^n. The constructions rely on finite group actions that preserve solutions of the nonlocal system together with rigidity arguments; the method is also applied to an adjacent model, and the authors conclude that singular points exist in every dimension.
Significance. If the constructions hold, the paper supplies the first concrete examples of singular sets for this nonlocal free-boundary problem, resolving an open question left by the regularity theory in Caffarelli-Patrizi-Quitalo and the partial-regularity result of the author with Torres. The group-theoretic approach yields falsifiable, dimension-exact examples without fitted parameters.
minor comments (3)
- The abstract cites “the author and Torres in \cite{ChPaTo26_2}”; the reference list should spell out the full author names for consistency with journal style.
- Notation for the nonlocal kernel and the group action should be introduced once in Section 2 and used uniformly thereafter to avoid repeated re-definition.
- Figure captions (if any) should explicitly state the dimension n and the group employed so that the dimension-(n-2) claim is immediately verifiable from the graphics.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our work and the recommendation of minor revision. The report correctly identifies the main contribution as the first explicit constructions of (n-2)-dimensional singular sets for the long-range segregation model via group actions and rigidity. No major comments appear in the provided report.
Circularity Check
No significant circularity identified
full rationale
The paper's central contribution consists of explicit constructions of singular sets via finite group actions that preserve the nonlocal elliptic system, combined with rigidity arguments to force Hausdorff dimension exactly n-2. These steps rely on standard group-theoretic techniques and the model's known properties rather than any self-definitional loop, fitted parameter renamed as prediction, or load-bearing self-citation chain. The cited prior works ([CL2] and [ChPaTo26_2]) supply only background regularity results; the new examples and dimension claims are independently derived and do not reduce to those inputs by construction. No enumerated circularity pattern is present.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Finite group actions preserve the nonlocal elliptic system.
- domain assumption Rigidity properties apply to the symmetric solutions.
Reference graph
Works this paper leans on
-
[1]
Argiolas and F
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. comment
2009
-
[2]
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
2018
-
[3]
Caffarelli and X
L. Caffarelli and X. Cabr\'e , Fully Nonlinear Elliptic Equations, J. Amer. Math. Soc. Colloq. Publ. , 43 (1995). comment
1995
-
[4]
Caffarelli, A
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
2009
-
[5]
Caffarelli and F.-H
L. Caffarelli and F.-H. Lin , An optimal partition problem for eigenvalues. J. Sci. Comput. , 31 (2007), no. 1-2, 5-18
2007
-
[6]
Caffarelli and F.-H
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
2008
-
[7]
Caffarelli, S
L. Caffarelli, S. Patrizi and V. Quitalo , On a long range segregation model, J. Eur. Math. Soc. , 19 (2017), 3575-3628
2017
-
[8]
Caffarelli, S
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
2019
-
[9]
Caffarelli and S
L. Caffarelli and S. Salsa , A geometric approach to free boundary problems , Graduate Studies in Mathematics, 68, Amer. Math. Soc., Providence, RI, 2005
2005
-
[10]
Chuah, S
H. Chuah, S. Patrizi, and M. Torres , A nonlinear model for long-range segregation, La Matematica , 20 (2026), Volume 5, 1-26
2026
-
[11]
Chuah and M
H. Chuah and M. Torres , The Free Boundary in a Higher-Dimensional Long-Range Segregation Model, submitted
-
[12]
Conti, S
M. Conti, S. Terracini and G. Verzini , On a class of optimal partition problems related to the Fučík spectrum and to the monotonicity formulae, Calc. Var. Partial Differential Equations 22 (2005), no. 1, 45-72
2005
-
[13]
Conti, S
M. Conti, S. Terracini and G. Verzini , A variational problem for the special segregation of reaction-diffusion systems, Indiana Univ. Math. J. 54 (2005), no. 3, 779-815
2005
-
[14]
Conti, S
M. Conti, S. Terracini and G. Verzini , Asymptotic estimates for the special segregation of competing systems, Adv. Math. , 195 (2005), no. 2, 524-560
2005
-
[15]
Conti, S
M. Conti, S. Terracini and G. Verzini , A regularity theory for optimal partition problems , World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2005, 91-98. comment
2005
-
[16]
Crandall, H
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
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
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
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
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
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. comment
1999
-
[22]
De Silva, F
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
2015
-
[23]
De Silva and O
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. comment
2019
-
[24]
L. C. Evans, Partial Differential Equations , second edition, Graduate Studies in Mathematics, 19, Amer. Math. Soc., Providence, RI, 2010
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
2015
-
[26]
Edelen and M
N. Edelen and M. Engelstein , Quantitative stratification for some free-boundary problems. Trans. Amer. Math. Soc. , 371 (2019), no. 3, 2043-2072. comment
2019
-
[27]
Gilbarg and N
D. Gilbarg and N. Trudinger , Elliptic Partial Differential Equations of Second Order. Springer, (2001). comment comment
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 comment
1984
-
[29]
Ishii and P.L
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
1990
-
[30]
N. V. Krylov , Controlled diffusion processes , Stochastic Modelling and Applied Probability , 14 , Springer-Verlag, Berlin , (2009), xii+308 pp. comment
2009
-
[31]
Mimura, S.-I
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
1991
-
[32]
Naber and D
A. Naber and D. Valtorta , Rectifiable-Reifenberg and the regularity of stationary and minimizing harmonic maps. Ann. Math. (2) , 185 (2017), 131-227. comment
2017
-
[33]
Quitalo , A free boundary problem arising from segregation of populations with high competition, Arch
V. Quitalo , A free boundary problem arising from segregation of populations with high competition, Arch. Rational Mech. Anal. , 210 (2013), 857-908
2013
-
[34]
Soave, H
N. Soave, H. Tavares, S. Terracini and A. Zilio , Variational problems with long-range interaction. Arch. Rational Mech. Anal. , 228 (2018), 743-772
2018
-
[35]
Soave, H
N. Soave, H. Tavares and A. Zilio , Free boundary problems with long range interaction: uniform Lipschitz estimates in the radius. Math. Ann. , 386 (2023), no. 1-2, 551–585
2023
-
[36]
Tavares and S
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
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
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
2000
-
[39]
Anzellotti, G.: Pairings between measures and bounded functions and compensated compactness . Ann. Mat. Pura Appl. 135(1):293--318, 1983
1983
-
[40]
Anzellotti, G.: Traces of bounded vector-fields and the divergence theorem , Preprint , 1983
1983
-
[41]
Bourgain, J., Brezis, H.: In the equation Y =f and applications to control of phases , Amer. Math. Soc. , 16:393--426, 2003
2003
-
[42]
D., Maz'ya, V
Burago, Y. D., Maz'ya, V. G.:
-
[43]
L.: Recherches sur l'\' e quilibre et le mouvement int\' e rieur des corps solides ou fluides, \' e lastiques or non \' e lastiques
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
2005
-
[46]
E., Torres, M.: Cauchy fluxes and Gauss-Green formulas for divergence-measure fields over general open sets
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
2019
-
[47]
Chen, G.-Q., Frid, H.: Divergence-measure fields and hyperbolic conservation laws. Arch. Ration. Mech. Anal. 147(2):89--118, 1999
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
2003
-
[49]
Chen, G.-Q., Frid, H.: Large-time behavior of entropy solutions of conservation laws. J. Differential Equations , 152(2):308--357, 1999
1999
-
[50]
Chen, G.-Q., Frid, H.: Decay of entropy solutions of nonlinear conservation laws. Arch. Ration. Mech. Anal. 146(2):95--127, 1999
1999
-
[51]
Indiana Univ
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
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
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
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
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
2021
-
[56]
P.: Gauss-Green theorem for weakly differentiable vector fields, sets of finite perimeter, and balance laws
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
2009
-
[57]
E., De Cicco, V., Scilla, G: Beyond BV : New pairings and Gauss-Green formulas for measure fields with divergence measure
Comi, G. E., De Cicco, V., Scilla, G: Beyond BV : New pairings and Gauss-Green formulas for measure fields with divergence measure . Preprint , 2023
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]
E., Payne, K
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
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
2017
-
[61]
Crasta, G., De Cicco, V.: Anzellotti's pairing theory and the Gauss--Green theorem . Adv. Math. 343:935--970, 2019
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
2019
-
[63]
Normal traces and applications to continuity equations on bounded domains
Crippa, G., De Rosa, L., Inversi, M., Nesi, M.: Normal traces and applications to continuity equations on bounded domains . Preprint arXiv:2405.11486 , 2024
work page internal anchor Pith review Pith/arXiv arXiv 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
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
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
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
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
1999
-
[69]
De Pauw, T., Pfeffer, W.F.: Distributions for which = T has a continuous solution. Comm. Pure Appl. Math. , 61:230--260, 2008
2008
-
[70]
Royal Soc
De Pauw, T., Torres, M.: On the distributional divergence of vector fields vanishing at infinity Proc. Royal Soc. Edinburgh , 141A:65--76, 2011
2011
-
[71]
C., Gariepy, R
Evans, L. C., Gariepy, R. F.: Measure Theory and Fine Properties of Functions. CRC Press: Boca Raton, FL, 1992
1992
-
[72]
C.: Partial Differential Equations
Evans, L. C.: Partial Differential Equations. AMS: Providence, RI, 1998
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
1998
-
[74]
Federer, H.: The G auss- G reen theorem. Trans. Amer. Math. Soc. 58:44--76, 1945
1945
-
[75]
Federer, H.: A note on the G auss- G reen theorem. Proc. Amer. Math. Soc. 9:447--451, 1958
1958
-
[76]
Die Grundlehren der mathematischen Wissenschaften, New York, 1969
Federer, H.: Geometric Measure Theory. Die Grundlehren der mathematischen Wissenschaften, New York, 1969
1969
-
[77]
Frid, H.: Remarks on the theory of the divergence-measure fields. Quart. Appl. Math. 70(3):579--596, 2012
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
2014
-
[79]
O., Lax, P
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
1971
-
[80]
Fuglede, B.: On a theorem of F. Riesz. Math. Scand. 3: 283--302, 1955
1955
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.