pith. sign in

arxiv: 2606.31181 · v1 · pith:3E6RW6WBnew · submitted 2026-06-30 · 🧮 math.AP · math.GR

Group Theoretic Constructions of Singular Set in a Long Range Segregation Model

Pith reviewed 2026-07-01 05:13 UTC · model grok-4.3

classification 🧮 math.AP math.GR
keywords singular setsfree boundarieslong range segregationfinite group actionsHausdorff dimensionnonlocal elliptic systemspartial regularityrigidity
0
0 comments X

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.

This paper constructs explicit examples of singular sets with Hausdorff dimension n-2 in any dimension n for the free boundary of a nonlocal elliptic system modeling long-range segregation. Earlier studies had shown partial regularity of the free boundary but provided no examples of singularities and left their possible dimension open. The construction relies on choosing finite group actions that leave the system invariant while the rigidity of the equations forces singularities to appear along orbits of lower dimension. As a result, singular points are shown to exist in every dimension, and the same technique applies to a related model.

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

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

  • 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

Figures reproduced from arXiv: 2606.31181 by Howen Chuah.

Figure 1.1
Figure 1.1. Figure 1.1: Possible configuration with two populations. The sup￾ports of the populations are the sets Si = {ui > 0} ∩ Ω. The distance between the the supports is R. (1) For any n ≥ 2 and K ≥ 3, there exists a bounded Lipschitz domain Ω ⊂ R n and boundary data f1, · · · , fK : (∂Ω)≤R → R satisfying (1.3)-(1.5), such that the singular set on the free boundary is nonempty with Hausdorff dimension exactly n − 2. (2) Ta… view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: This figure illustrates Theorem 3.3 in dimension 2 with 4 populations. Each population has a singular point with angle π 2 . each population consists of two straight lines meeting at a singular point with angle π 2 , and all the other points are regular. (2) As a byproduct of the proof of Theorem 3.5, we see that if Ω and f1, · · · , fK are as in the proof of the Theorem, the free boundaries ∂Si ∩ Ω are … view at source ↗
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.

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

0 major / 3 minor

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)
  1. 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.
  2. 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.
  3. 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

0 responses · 0 unresolved

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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review yields no concrete free parameters, invented entities, or detailed axioms beyond the general reliance on group invariance and rigidity.

axioms (2)
  • domain assumption Finite group actions preserve the nonlocal elliptic system.
    Invoked to build symmetric solutions with controlled singular sets.
  • domain assumption Rigidity properties apply to the symmetric solutions.
    Used to guarantee the Hausdorff dimension of the singular set.

pith-pipeline@v0.9.1-grok · 5700 in / 1145 out tokens · 49912 ms · 2026-07-01T05:13:44.971458+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

105 extracted references · 4 canonical work pages · 2 internal anchors

  1. [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

  2. [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

  3. [3]

    Caffarelli and X

    L. Caffarelli and X. Cabr\'e , Fully Nonlinear Elliptic Equations, J. Amer. Math. Soc. Colloq. Publ. , 43 (1995). comment

  4. [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

  5. [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

  6. [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

  7. [7]

    Caffarelli, S

    L. Caffarelli, S. Patrizi and V. Quitalo , On a long range segregation model, J. Eur. Math. Soc. , 19 (2017), 3575-3628

  8. [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

  9. [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

  10. [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

  11. [11]

    Chuah and M

    H. Chuah and M. Torres , The Free Boundary in a Higher-Dimensional Long-Range Segregation Model, submitted

  12. [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

  13. [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

  14. [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

  15. [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

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [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

  22. [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

  23. [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

  24. [24]

    L. C. Evans, Partial Differential Equations , second edition, Graduate Studies in Mathematics, 19, Amer. Math. Soc., Providence, RI, 2010

  25. [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

  26. [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

  27. [27]

    Gilbarg and N

    D. Gilbarg and N. Trudinger , Elliptic Partial Differential Equations of Second Order. Springer, (2001). comment comment

  28. [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

  29. [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

  30. [30]

    N. V. Krylov , Controlled diffusion processes , Stochastic Modelling and Applied Probability , 14 , Springer-Verlag, Berlin , (2009), xii+308 pp. comment

  31. [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

  32. [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

  33. [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

  34. [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

  35. [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

  36. [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

  37. [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

  38. [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

  39. [39]

    Anzellotti, G.: Pairings between measures and bounded functions and compensated compactness . Ann. Mat. Pura Appl. 135(1):293--318, 1983

  40. [40]

    Anzellotti, G.: Traces of bounded vector-fields and the divergence theorem , Preprint , 1983

  41. [41]

    Bourgain, J., Brezis, H.: In the equation Y =f and applications to control of phases , Amer. Math. Soc. , 16:393--426, 2003

  42. [42]

    D., Maz'ya, V

    Burago, Y. D., Maz'ya, V. G.:

  43. [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. [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. [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

  46. [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

  47. [47]

    Chen, G.-Q., Frid, H.: Divergence-measure fields and hyperbolic conservation laws. Arch. Ration. Mech. Anal. 147(2):89--118, 1999

  48. [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

  49. [49]

    Chen, G.-Q., Frid, H.: Large-time behavior of entropy solutions of conservation laws. J. Differential Equations , 152(2):308--357, 1999

  50. [50]

    Chen, G.-Q., Frid, H.: Decay of entropy solutions of nonlinear conservation laws. Arch. Ration. Mech. Anal. 146(2):95--127, 1999

  51. [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

  52. [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

  53. [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

  54. [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

  55. [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

  56. [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

  57. [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

  58. [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. [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

  60. [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

  61. [61]

    Crasta, G., De Cicco, V.: Anzellotti's pairing theory and the Gauss--Green theorem . Adv. Math. 343:935--970, 2019

  62. [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

  63. [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

  64. [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

  65. [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

  66. [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

  67. [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

  68. [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

  69. [69]

    De Pauw, T., Pfeffer, W.F.: Distributions for which = T has a continuous solution. Comm. Pure Appl. Math. , 61:230--260, 2008

  70. [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

  71. [71]

    C., Gariepy, R

    Evans, L. C., Gariepy, R. F.: Measure Theory and Fine Properties of Functions. CRC Press: Boca Raton, FL, 1992

  72. [72]

    C.: Partial Differential Equations

    Evans, L. C.: Partial Differential Equations. AMS: Providence, RI, 1998

  73. [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

  74. [74]

    Federer, H.: The G auss- G reen theorem. Trans. Amer. Math. Soc. 58:44--76, 1945

  75. [75]

    Federer, H.: A note on the G auss- G reen theorem. Proc. Amer. Math. Soc. 9:447--451, 1958

  76. [76]

    Die Grundlehren der mathematischen Wissenschaften, New York, 1969

    Federer, H.: Geometric Measure Theory. Die Grundlehren der mathematischen Wissenschaften, New York, 1969

  77. [77]

    Frid, H.: Remarks on the theory of the divergence-measure fields. Quart. Appl. Math. 70(3):579--596, 2012

  78. [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

  79. [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

  80. [80]

    Fuglede, B.: On a theorem of F. Riesz. Math. Scand. 3: 283--302, 1955

Showing first 80 references.