pith. sign in

arxiv: 2606.25912 · v1 · pith:TMU4KNK2new · submitted 2026-06-24 · 🧮 math.AP

Optimal partition and segregation problems driven by torsional rigidity

Gabriele Fioravanti , Nicola Soave , Giorgio Tortone This is my paper

Pith reviewed 2026-06-25 19:32 UTC · model grok-4.3

classification 🧮 math.AP
keywords optimal partitionstorsional rigiditysegregation problemsfree boundary problemsunique continuationmonotonicity formulaeblow-up analysisregularity theory
0
0 comments X

The pith

Replacing spectral energy with torsional rigidity creates a distinct theory of optimal partitions governed by torsion energies and unstable free boundaries.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that optimal partition and segregation problems change fundamentally when torsional rigidity replaces the usual spectral energy. The resulting configurations are controlled locally by torsion-type energies and unstable free boundary problems rather than by harmonic equations. This establishes a direct link between classical optimal partition theory and the study of sublinear free boundary phenomena. The authors prove existence of the optimal configurations, Lipschitz regularity for the associated functions, strong unique continuation, precise dimension bounds on nodal sets, and C^{1,α} regularity for the regular free boundary by adapting monotonicity formulae to the sublinear setting.

Core claim

Replacing the spectral energy by torsional rigidity leads to a genuinely different theory. The resulting optimal configurations are governed locally not by harmonic equations, but by torsion-type energies and unstable free boundary problems, thereby creating a natural bridge between optimal partition theory and the analysis of sublinear free boundary phenomena. Existence of optimal torsional partitions and segregated torsional configurations is established together with optimal Lipschitz regularity of the associated nonlinear eigenfunctions, a strong unique continuation principle, characterization of admissible vanishing orders and blow-up profiles, sharp Hausdorff dimension estimates for th

What carries the argument

The torsional rigidity functional, to which Almgren-type and Weiss-type monotonicity formulae are adapted in the sublinear regime to enable blow-up analysis and regularity conclusions.

If this is right

  • Optimal torsional partitions and segregated torsional configurations exist.
  • The associated nonlinear eigenfunctions satisfy optimal Lipschitz regularity.
  • A strong unique continuation principle holds and admissible vanishing orders are characterized.
  • The nodal set and its singular subset obey sharp Hausdorff dimension estimates.
  • The regular part of the free boundary is C^{1,α} regular.

Where Pith is reading between the lines

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

  • The same monotonicity adaptation may apply to other sublinear variational problems not directly tied to torsion.
  • Numerical approximation of these unstable free boundaries could produce solution patterns distinct from those arising in linear spectral problems.
  • The bridge to sublinear free boundary analysis suggests possible transfer of techniques between partition problems and classical obstacle-type problems.

Load-bearing premise

The torsional rigidity functional admits a variational formulation to which Almgren-type and Weiss-type monotonicity formulae can be adapted in the sublinear regime.

What would settle it

An explicit example of an optimal torsional partition whose free boundary fails to be C^{1,α} on its regular part, or whose nodal set exceeds the stated Hausdorff dimension bound, would falsify the regularity and dimension claims.

read the original abstract

Spectral optimal partition and segregation problems are deeply connected with harmonic maps, eigenfunctions, and the fine structure of nodal sets for linear elliptic equations. In this paper, we show that replacing the spectral energy by torsional rigidity leads to a genuinely different theory. The resulting optimal configurations are governed locally not by harmonic equations, but by torsion-type energies and unstable free boundary problems, thereby creating a natural bridge between optimal partition theory and the analysis of sublinear free boundary phenomena. We prove existence of optimal torsional partitions and segregated torsional configurations, together with optimal Lipschitz regularity of the associated nonlinear eigenfunctions. We establish a strong unique continuation principle, characterize the admissible vanishing orders and the corresponding blow-up profiles, derive sharp Hausdorff dimension estimates for the nodal set and its singular subset, and prove $C^{1,\alpha}$-regularity of the regular part of the free boundary. The proofs combine variational arguments with Almgren-type and Weiss-type monotonicity formulae adapted to the intrinsically sublinear torsional regime, blow-up analysis, and tools from geometric measure theory.

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

2 major / 2 minor

Summary. The manuscript develops a variational theory for optimal partition and segregation problems driven by torsional rigidity rather than spectral energy. It proves existence of optimal torsional partitions and segregated configurations, Lipschitz regularity of the associated nonlinear eigenfunctions, a strong unique continuation principle, characterization of admissible vanishing orders and blow-up profiles, sharp Hausdorff dimension estimates for the nodal set and its singular subset, and C^{1,α} regularity of the regular part of the free boundary. The proofs rely on variational arguments combined with Almgren-type and Weiss-type monotonicity formulae adapted to the sublinear torsional regime, followed by blow-up analysis and tools from geometric measure theory.

Significance. If the central technical step holds, the work establishes a genuinely new local theory for optimal configurations governed by torsion-type energies and unstable free boundaries, bridging optimal partition problems with sublinear free boundary analysis. The combination of existence, unique continuation, dimension bounds, and free-boundary regularity constitutes a substantial technical contribution to the field.

major comments (2)
  1. [§4] §4 (adapted Weiss monotonicity): the derivation of the monotonicity identity for the torsional energy replaces the quadratic homogeneity with a sublinear source term; the resulting boundary integral after integration by parts is asserted to have a controllable sign, but the estimate appears to require an additional positivity assumption on the test function that is not uniformly justified near the free boundary where the source term is active.
  2. [§5.3] §5.3 (blow-up classification): the admissible vanishing orders are characterized via the adapted frequency function, yet the classification of possible blow-up profiles relies on the monotonicity formula being exactly non-decreasing; any residual error term from the sublinear regime could permit additional non-torsional profiles, which would affect the subsequent unique-continuation and Hausdorff-dimension statements.
minor comments (2)
  1. [§2.1] The notation for the torsional rigidity functional J_Ω(u) is introduced without an explicit comparison to the classical torsional rigidity definition in the literature; a short remark would improve readability.
  2. Figure 1 (schematic of segregated configurations) uses shading that is difficult to distinguish in grayscale; consider adding line patterns or labels.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below.

read point-by-point responses

  1. Referee: [§4] §4 (adapted Weiss monotonicity): the derivation of the monotonicity identity for the torsional energy replaces the quadratic homogeneity with a sublinear source term; the resulting boundary integral after integration by parts is asserted to have a controllable sign, but the estimate appears to require an additional positivity assumption on the test function that is not uniformly justified near the free boundary where the source term is active.

    Authors: We appreciate the referee's observation on the Weiss monotonicity formula in §4. The test functions in the integration-by-parts step are taken to be the eigenfunctions themselves (or suitable cut-offs thereof), which satisfy the torsional equation and are non-negative wherever the source term is active by the maximum principle. This choice ensures the boundary integral has the required sign uniformly up to the free boundary without extra assumptions. We will insert a short clarifying paragraph in the revised version to make this explicit. revision: yes

  2. Referee: [§5.3] §5.3 (blow-up classification): the admissible vanishing orders are characterized via the adapted frequency function, yet the classification of possible blow-up profiles relies on the monotonicity formula being exactly non-decreasing; any residual error term from the sublinear regime could permit additional non-torsional profiles, which would affect the subsequent unique-continuation and Hausdorff-dimension statements.

    Authors: Concerning the blow-up classification in §5.3, the adapted frequency yields a monotonicity formula that is non-decreasing, with the error arising from the sublinear source controlled by a lower-order term that vanishes in the blow-up limit (see the quantitative estimates preceding the classification). Consequently only torsional profiles appear, and the unique-continuation and Hausdorff-dimension results remain unaffected. No revision is required. revision: no

Circularity Check

0 steps flagged

No significant circularity; derivation relies on independent adaptation of monotonicity tools

full rationale

The paper claims a new theory by replacing spectral energy with torsional rigidity, leading to torsion-type energies and sublinear free boundary problems. It proves existence, Lipschitz regularity, unique continuation, blow-up profiles, Hausdorff estimates, and free boundary regularity via variational arguments plus adapted Almgren/Weiss monotonicity formulae in the sublinear regime. No quoted steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations; the adaptation is presented as a technical extension rather than a renaming or tautological fit. The approach is self-contained against external benchmarks (variational existence and GMT tools), consistent with a score of 0-2. No evidence of the enumerated circular patterns appears in the provided abstract or described chain.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. The central claims rest on the existence of a variational formulation for torsional rigidity and the applicability of monotonicity formulae in the sublinear regime.

pith-pipeline@v0.9.1-grok · 5707 in / 1181 out tokens · 23565 ms · 2026-06-25T19:32:32.700743+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

36 extracted references · 1 linked inside Pith

  1. [1]

    O. Alper. On the singular set of free interface in an optimal partition problem.Comm. Pure Appl. Math.73(4): 855–915 (2020)

    2020

  2. [2]

    Andersson, H

    J. Andersson, H. Shahgholian, and G. S. Weiss. On the singularities of a free boundary through Fourier expansion. Invent. Math.187(3): 535–587 (2012)

    2012

  3. [3]

    Brasco, G

    L. Brasco, G. De Philippis, and G. Franzina. Positive solutions to the sublinear Lane-Emden equation are isolated. Comm. Partial Differential Equations46(10): 1940–1972 (2021)

    1940

  4. [4]

    Brasco and G

    L. Brasco and G. Franzina. An overview on constrained critical points of Dirichlet integralsRend. Semin. Mat. Univ. Politec. Torino78(2): 7–50 (2020)

    2020

  5. [5]

    Brasco and G

    L. Brasco and G. Franzina. A pathological example in nonlinear spectral theory.Adv. Nonlinear Anal.8(1): 707–714 (2019)

    2019

  6. [6]

    Brasco, G

    L. Brasco, G. Franzina, and B. Ruffini. Schrödinger operators with negative potentials and Lane-Emden densities. J. Funct. Anal.274(6): 1825–1863 (2018)

    2018

  7. [7]

    Bucur and G

    D. Bucur and G. Buttazzo.Variational methods in shape optimization problems. Progr. Nonlinear Differential Equa- tions Appl. 65 Birkhäuser, Boston Inc. (2005)

    2005

  8. [8]

    Bucur, G

    D. Bucur, G. Buttazzo, and A. Henrot. Existence results for some optimal partition problems.Adv. Math. Sci. Appl. 8(2): 571–579 (1998)

    1998

  9. [9]

    L. A. Caffarelli, D. Jerison, and C. Kenig. Some new monotonicity theorems with applications to free boundary problems.Ann. Math.155(2): 369–404 (2002)

    2002

  10. [10]

    L. A. Caffarelli and F.-H. Lin An optimal partition problem for eigenvalues.J. Sci. Comput.31(1-2): 5–18 (2007)

    2007

  11. [11]

    L. A. Caffarelli and F.-H. Lin Singularly perturbed elliptic systems and multi-valued harmonic functions with free boundaries.J. Amer. Math. Soc.21(3): 847–862 (2008)

    2008

  12. [12]

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

    2017

  13. [13]

    Conti, S

    M. Conti, S. Terracini, and G. Verzini. A variational problem for the spatial segregation of reaction-diffusion systems. Indiana Univ. Math. J.54(3): 779–815 (2005)

    2005

  14. [14]

    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 Equations22(1): 45–72 (2005)

    2005

  15. [15]

    Gromov and R

    M. Gromov and R. Schoen. Harmonic maps into singular spaces andp-adic superrigidity for lattices in groups of rank one.Publ. Math., Inst. Hautes Étud. Sci.76: 165–246 (1992)

    1992

  16. [16]

    Q. Han. Singular sets of solutions to elliptic equations.Indiana Univ. Math. J.43(3): 983–1002 (1994)

    1994

  17. [17]

    Q. Han. Schauder estimates for elliptic operators with applications to nodal sets,J. Geom. Anal.10(3): 455–480 (2000). OPTIMAL PARTITION AND SEGREGATION PROBLEMS DRIVEN BY TORSIONAL RIGIDITY 45

    2000

  18. [18]

    Han and F

    Q. Han and F. Lin.Elliptic partial differential equations, 2nd ed. Courant Lecture Notes in Mathematics 1. New York: Courant Institute of Mathematical Sciences. American Mathematical Society (AMS) (2011)

    2011

  19. [19]

    Hörmander.The analysis of linear partial differential operators

    L. Hörmander.The analysis of linear partial differential operators. I: Distribution theory and Fourier analysis. Reprint of the 2nd edition 1990. Classics in Mathematics. Berlin: Springer. xiv, 440 p. (2003)

    1990

  20. [20]

    Mazzoleni, M

    D. Mazzoleni, M. S. Santos, and H. Tavares. Free boundary regularity for a spectral optimal partition problem with volume and inclusion constraints. Preprint arXiv:2409.14916 (2024)

    arXiv 2024

  21. [21]

    Monneau and G

    R. Monneau and G. S. Weiss. An unstable elliptic free boundary problem arising in solid combustion.Duke Math. J.136(2): 321–341 (2007)

    2007

  22. [22]

    Ognibene and B

    R. Ognibene and B. Velichkov. Boundary regularity of the free interface in spectral optimal partition problems. Preprint arXiv:2404.05698 (2024)

    arXiv 2024

  23. [23]

    Ognibene and B

    R. Ognibene and B. Velichkov. Structure of the free interfaces near triple junction singularities in harmonic maps and optimal partition problems. Preprint arXiv:2412.00781 (2024)

    Pith/arXiv arXiv 2024

  24. [24]

    Ognibene and B

    R. Ognibene and B. Velichkov. A survey on the optimal partition problem.La Matematica5: Paper No. 6 (2026)

    2026

  25. [25]

    Ramos, H

    M. Ramos, H. Tavares, and S. Terracini. Extremality conditions and regularity of solutions to optimal partition problems involving Laplacian eigenvalues.Arch. Ration. Mech. Anal.220(1): 363–443 (2016)

    2016

  26. [26]

    A. Rüland. Unique continuation for sublinear elliptic equations based on Carleman estimates.J. Differential Equa- tions265(11): 6009–6035 (2018)

    2018

  27. [27]

    Ann.386(1-2): 551–585 (2023)

    N.Soave, H.Tavares, andA.Zilio.Freeboundaryproblemswithlong-rangeinteractions: uniformLipschitzestimates in the radius.Math. Ann.386(1-2): 551–585 (2023)

    2023

  28. [28]

    Soave, H

    N. Soave, H. Tavares, S. Terracini, and A. Zilio. Variational problems with long-range interaction.Arch. Ration. Mech. Anal.228(3): 743–772 (2018)

    2018

  29. [29]

    Soave and S

    N. Soave and S. Terracini. Liouville theorems and 1-dimensional symmetry for solutions of an elliptic system mod- elling phase separation.Adv. Math.279: 29–66 (2015)

    2015

  30. [30]

    Soave and S

    N. Soave and S. Terracini. On some singularly perturbed elliptic systems modeling partial segregation: uniform Hölder estimates and basic properties of the limits. Preprint arXiv:2409.11976 (2024)

    arXiv 2024

  31. [31]

    Soave and S

    N. Soave and S. Terracini. On partially segregated harmonic maps: optimal regularity and structure of the free boundary. Preprint arXiv:2410.23976 (2024)

    arXiv 2024

  32. [32]

    Soave and S

    N. Soave and S. Terracini. The nodal set of solutions to some elliptic problems: sublinear equations, and unstable two-phase membrane problem.Adv. Math.334: 243–299 (2018)

    2018

  33. [33]

    Soave and G

    N. Soave and G. Tortone. On the Nodal Set of Solutions to Some Sublinear Equations Without Homogeneity.Arch. Ration. Mech. Anal.248(2): Paper No. 18 (2024)

    2024

  34. [34]

    Soave and T

    N. Soave and T. Weth. The Unique Continuation Property of Sublinear Equations.SIAM J. Math. Anal.50(4): 3919–3938 (2018)

    2018

  35. [35]

    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 Equations45(3-4): 273–317 (2012)

    2012

  36. [36]

    G. Peano

    G. Tortone. The nodal set of solutions to some nonlocal sublinear problems.Calc. Var. Partial Differential Equations 61(3): Paper No. 92 (2022). Gabriele Fioravanti, Nicola Soave, and Giorgio Tortone Dipartimento di Matematica “G. Peano” Università degli Studi di Torino Via Carlo Alberto 10, 10124, Torino, Italy Email address:gabriele.fioravanti@unito.it,...

    2022