Pith. sign in

REVIEW 3 major objections 5 minor 2 cited by

Structure of the free interfaces near triple junction singularities in harmonic maps and optimal partition problems

T0 review · 3 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that the free interface of an energy-minimizing harmonic map around any point of frequency $3/2$ is exactly three $C^{1,\alpha}$-smooth surfaces, sharing a common $C^{1,\alpha}$ boundary and meeting at $120^\circ$ angles.

desk verdict Real advance with a repairable gap: the new epiperimetric inequality is solid, but two steps in the regularity proof are missing as written. read the letter →

arxiv 2412.00781 v4 pith:JXU72AMM submitted 2024-12-01 math.AP

Roberto Ognibene , Bozhidar Velichkov This is my paper · ORCID
classification math.AP MSC 35R3549Q10
keywords triplejunctionepiperimetricinequalityharmonicmapsintosingularspacesfreeinterfaceregularityoptimalpartitionproblemsAlmgrenfrequencyY-configurationWeissenergy
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves a structural theorem for the singular set of energy-minimizing harmonic maps into singular spaces, the model target being a space $\Sigma_N$ made of $N$ half-lines glued at a common origin; the same result applies to spectral optimal partition problems. The main claim (Theorem 1.1) is that around any point of the lowest singular frequency, $\gamma(u,x)=3/2$, the zero set of the map is exactly three $C^{1,\alpha}$-smooth hypersurfaces that share a common $(d-2)$-dimensional $C^{1,\alpha}$ boundary and meet along it at $120^\circ$ angles. The proof is carried by a new epiperimetric inequality (Theorem 1.2): near the model triple junction $Y$, any $3/2$-homogeneous map that is close to $Y$ in Hausdorff and $H^1$ senses can be replaced, with unchanged boundary values, by a competitor of strictly lower $3/2$-Weiss energy, with a fixed multiplicative gain. From this inequality the paper derives uniqueness of the $Y$-shaped blow-up with a quantitative rate, a gap separating the frequency $3/2$ from all higher frequencies, and the full $C^{1,\alpha}$ regularity of the interface. A corollary settles the $Y$-configuration as the unique minimizer of the three-partition min-max problem on the sphere for $p=+\infty$ in every dimension $d\ge 3$.

What carries the argument

The engine of the proof is a new epiperimetric inequality for the $3/2$-Weiss energy $W_{3/2}(u)=\sum_i\int_{B_1}|\nabla u_i|^2\,dx -\frac{3}{2}\sum_i\int_{\partial B_1}u_i^2\,dS$ near the model triple junction $Y$, the $3/2$-homogeneous configuration whose three non-zero components are supported on three sectors of angle $2\pi/3$ and equal $r^{3/2}|\cos(3\theta/2)|$. The inequality asserts that if a $3/2$-homogeneous map $c$ is sufficiently close to $Y$, both in Hausdorff distance of the supports and in $H^1$ distance measured with the metric $d_{\Sigma_N}$, then there is a competitor $u$ with the same boundary values and $W_{3/2}(u)\le (1-\varepsilon)W_{3/2}(c)$, with $\varepsilon>0$ depending only on the dimension. The proof is by contradiction: it rescales by the $H^1$ distance, extracts a limit of the linearized maps, uses a classification of $3/2$-homogeneous solutions of the linearized problem via a reduction to a thin-obstacle-type equation, and exploits a Weiss-energy linearization identity containing a positive interaction term $\beta$ that forces the limit to vanish. Once the inequality is available, it yields a quantitative uniqueness of the $Y$-blow-up at every $3/2$-frequency point, a frequency gap from above, and a topological no-holes argument that forces the three interfaces to persist up to the singular boundary; the $C^{1,\alpha}$ regularity then follows by iteration.

What would settle it

Set $u$ equal to a small perturbation of the model $Y$ on $\partial B_1$, for example by adding a tiny fourth component supported away from the junction, and compute $W_{3/2}$ of the best competitor built by the paper's interpolation rule; if for some sequence of perturbations approaching $Y$ the infimum of $W_{3/2}(u)-W_{3/2}(c)$ is not bounded below by $-\varepsilon W_{3/2}(c)$ with $\varepsilon>0$ fixed, the epiperimetric inequality, and with it Theorem 1.1, would be false.

Watch

Extended reading notes

Core claim

The central discovery, stated as Theorem 1.1, is that the singular set of an energy-minimizing map $u:B_1\to\Sigma_N$ splits as $\mathrm{Sing}(u)=F_{3/2}(u)\cup\{x\in F(u):\gamma(u,x)\ge 3/2+\delta_d\}$, where $\delta_d>0$ depends only on the dimension. The stratum $F_{3/2}(u)$, consisting of points of frequency $3/2$, is open inside the singular set and is locally a $(d-2)$-dimensional $C^{1,\alpha}$-smooth manifold. Around every point $x\in F_{3/2}(u)$, the whole free interface $F(u)$ is composed of three $(d-1)$-dimensional surfaces $\Gamma_{12},\Gamma_{23},\Gamma_{31}$, each $C^{1,\alpha}$-regular up to the common boundary $F_{3/2}(u)$, and the three surfaces meet at $120^\circ$ angles. In the case of maps into a locally finite metric tree, the same conclusion holds for the fiber over any vertex, and in the optimal partition problem it holds for the free interface of the vector of first eigenfunctions.

Load-bearing premise

The load-bearing premise is the new epiperimetric inequality of Theorem 1.2: any $3/2$-homogeneous map sufficiently close to the model triple junction $Y$ in Hausdorff distance and in $H^1$ norm can be strictly improved by a fixed percentage in the $3/2$-Weiss energy among maps with the same boundary values, and every later conclusion in Theorem 1.1 would collapse without it.

Editorial extensions

If this is right

  • Around every point of frequency $3/2$, the free interface is locally a $Y$-shaped union of three $C^{1,\alpha}$ surfaces with common $C^{1,\alpha}$ boundary, meeting at $120^\circ$; there are no other frequencies between $3/2$ and $3/2+\delta_d$.
  • For energy-minimizing maps into any locally finite metric tree, the fiber over a vertex has the same structure, so the triple-junction description is not tied to the model target $\Sigma_N$.
  • For minimizers of the spectral optimal partition problem, the singular set of the free interface is locally a smooth $(d-2)$-dimensional manifold, and the regular parts are three smooth $(d-1)$-dimensional surfaces meeting at $120^\circ$.
  • The uniqueness of the blow-up at frequency $3/2$ is quantitative: rescalings converge to the $Y$-configuration with a power rate $r^\alpha$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Beyond the paper: the same epiperimetric strategy could be directed at the next frequency stratum, since Theorem 1.1 does not classify homogeneous blow-ups with frequencies between $3/2$ and $3/2+\delta_d$; a natural test is whether iterating the linearization argument forces all such frequencies to be integer or half-integer.
  • Beyond the paper: for optimal partitions, the theorem suggests that numerical methods can represent the singular set near a triple junction by tracking a single smooth $(d-2)$-dimensional edge with three attached surfaces, rather than treating the interface as an arbitrary rectifiable set.
  • Beyond the paper: the uniqueness of the $Y$-configuration for the $p=+\infty$ problem is consistent with, but does not prove, the full three-partition min-max conjecture for finite $p$; computing the second variation of the sum functional near $Y$ for $p<\infty$ would be a concrete step toward that conjecture.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper proves a structural regularity theorem for the singular set of energy-minimizing harmonic maps into the singular target spaces Σ_N, and for the associated optimal partition problems. The main result, Theorem 1.1, asserts that near any point of Almgren frequency 3/2 the free interface consists of three C^{1,α} (d−1)-dimensional manifolds that meet along a (d−2)-dimensional C^{1,α} manifold F_{3/2}(u) at 120 degree angles; the remaining singular points have frequency at least 3/2+δ_d. The central new tool is an epiperimetric inequality (Theorem 1.2) for the 3/2-Weiss energy near the model triple junction Y. The paper also derives a classification of 3/2-homogeneous blow-ups (Proposition 3.5), deduces the corresponding results for harmonic maps into locally finite trees and for spectral optimal partitions, and solves the Bishop-Friedland-Hayman min-max conjecture for N=3 in all dimensions d≥3.

Significance. If the main theorem is correct, this is a substantial advance: it gives the first description of triple-junction singularities for harmonic-map-type free interface problems in dimensions d>2, and it introduces an epiperimetric-inequality method in this setting. The paper is carefully structured, with explicit statements of the main inequality, a detailed contradiction proof in the spirit of Weiss, a linearized problem, and a no-holes lemma. The claimed applications to optimal partitions and to the min-max spherical partition problem are natural and would be important corollaries. The result is plausibly true, and the proof strategy is a serious contribution; however, as detailed below, several load-bearing steps in the transition from the epiperimetric inequality to the regularity theorem are not sufficiently justified in the current manuscript.

major comments (3)
  1. [§6.2, Lemma 6.5] Theorem 1.2 applies only to 3/2-homogeneous functions c, but Proposition 6.3 states that “we can apply the epiperimetric inequality to all the rescaling of the form u_{x0,r}(x)=r^{-3/2}u(x0+rx).” The functions u_{x0,r} are not homogeneous. The standard Weiss argument would require: (i) for each x0,r, form the 3/2-homogeneous extension c_{x0,r} of the trace of u_{x0,r} on ∂B1; (ii) verify uniformly, in x0 and r, the Hausdorff and H^1 closeness hypotheses of Theorem 1.2 for c_{x0,r}; (iii) apply the inequality to c_{x0,r}; and (iv) use minimality to compare W_{3/2}(u_{x0,r}) with W_{3/2}(c_{x0,r}). None of these steps appears in the manuscript. This is not a cosmetic omission: Proposition 6.3 is the bridge from the epiperimetric inequality to the uniqueness of the blow-up, the rate r^α, the oscillation estimate, the no-holes lemma, and the final C^{1,α} regularity. Without a complete proof of this step, the main theorem is not established.
  2. [§6.2, Lemma 6.5] The proof of the frequency gap from above applies Theorem 1.2 to a sequence u_n ∈ M_{γ_n}(R^d;N) of γ_n-homogeneous minimizers with γ_n → 3/2. Theorem 1.2 requires the input c to be 3/2-homogeneous; the functions u_n have degree γ_n > 3/2, so they do not satisfy the hypothesis. One cannot simply rescale them to be 3/2-homogeneous, and the proof gives no alternative construction of a 3/2-homogeneous function to which the inequality can be applied. Since Lemma 6.5 is used in the no-holes lemma and in the proof of Theorem 1.1, this gap also affects the main result. A careful justification is needed.
  3. [§3.2, Proposition 3.5] The proof begins with “By Lemma 3.4, there is a point x0 ∈ (F(u)\F_1(u)) ∩ ∂B1,” but Lemma 3.4 is a conditional statement: it assumes that all free boundary points on ∂B1 are regular and that the sets Ω_i^u ∩ ∂B1 are connected, and then concludes that σ·u is harmonic and hence γ is an integer. The correct argument would be to apply Lemma 3.4 under the contrary assumption and derive a contradiction from γ=3/2, thereby obtaining a singular point. As written, the invocation of Lemma 3.4 is a non-sequitur. The intended reasoning is probably repairable, but it needs to be stated explicitly because Proposition 3.5 is the classification of all 3/2-homogeneous blow-ups.
minor comments (5)
  1. [§1] There are several typos and duplicated words, for example “is a a smooth” and “of of” in the introduction, and “Ord u = 1” should be consistently typeset as “Ord_u”. A careful proofreading pass is needed.
  2. [§2.2] The Weiss energy is defined as W_γ(u,x0,r) := H(u,x0,r)/r^{2γ}(N(u,x0,r)−γ), but the notation “N” in this formula overloads the number of components N. The authors use N for both the Almgren frequency and the number of phases; this should be clarified.
  3. [§5, Lemma 5.3] The notation W_γ(d_{Σ_N}(u,v)) is not defined: W_γ was introduced for vector-valued maps in H^1(B1;Σ_N), while d_{Σ_N}(u,v) is a scalar function. The proof appears to interpret W_γ of the distance as a sum over the components of v, but this abuse of notation should be explained or replaced by a properly defined functional.
  4. [§5, Step 1 of Theorem 1.2] In the construction of the competitor, the interpolation function t=2(r−1/2) is used, and the notation Ω_i is redefined as Ω_i∩B1 without explicitly noting the change; this is a minor clarity issue but should be stated to avoid confusion.
  5. [References] The paper relies on the authors’ own preprint [OV24] for epsilon-regularity and for the standard rate-of-convergence argument; this is acceptable, but since [OV24] is unpublished, the dependence should be highlighted in the introduction.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 1.2 is proved directly by contradiction and the Y-model is classified rather than fitted.

full rationale

The main derivation is self-contained. Theorem 1.2 is established in Section 5 by a contradiction argument built on Lemma 5.3, a directly proved Weiss-energy linearization identity, on the classification of 3/2-homogeneous solutions of the linearized problem (Proposition 4.1), and on compactness and orthogonality steps; the model Y is obtained from the classification in Proposition 3.5, whose ingredients are traced to the external result [ST15], not assumed as the conclusion. Proposition 6.3 then derives the unique blow-up and algebraic rate of convergence as a consequence of the epiperimetric inequality. The proof's wording that one "can apply the epiperimetric inequality to all the rescaling of the form u_{x0,r}(x)=r^{-3/2}u(x0+rx)" is compressed: Theorem 1.2 is stated for homogeneous c, so the standard Weiss reduction to the homogeneous extension of the trace is implicit; if that reduction is absent, it is a proof gap, not a circular identification of the prediction with its input. The paper also cites the authors' earlier preprint [OV24] for epsilon-regularity of the regular set F1 and for a standard final argument; [OV24] predates the present paper, concerns regular interface points, and does not assume the triple-junction theorem, so this self-citation is independent support rather than a circular load-bearing premise. No fitted quantity is renamed as a prediction, and no uniqueness theorem is imported from the authors' prior work to force the conclusion.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters or invented entities: the paper is a proof-based regularity result. The constants δ, ε, τ, δ_d, α are existential outputs of compactness arguments, not fitted to data. The main exogenous inputs are prior regularity theory and an epsilon-regularity lemma from the authors' own preprint [OV24].

assumptions (5)
  • domain assumption Target space model: Σ_N = {X: XiXj=0 for i≠j} with distance dΣ_N as in (1.1), and Dirichlet energy E(u,D)=Σ∫|∇u_i|^2.
    This is the specific class of singular targets studied; the paper restricts to this model after citing [GS92, Dee22] for the reduction of general trees to such subtrees.
  • domain assumption Known theory for S(D;N): Lipschitz continuity, Almgren and Weiss monotonicity, unique continuation, decomposition F=Reg∪Sing, minimal frequency 3/2, rectifiability of Sing.
    Invoked throughout Sections 2, 3 and 6; cited to [GS92], [Sun03], [CL07], [CL08], [TT12], [ST15], [Alp20], [Dee22].
  • domain assumption Classification of 3/2-homogeneous solutions in S_{3/2}(Rd;N), stated as Proposition 3.5.
    Used to identify blow-ups as the Y-configuration; the proof is sketched and leans on [ST15, Lemma 4.2] and, implicitly, [CTV03] for d=2.
  • domain assumption Epsilon-regularity for F1: [OV24, Lemma 9.8] and the standard argument of [OV24, Section 9].
    Used in Lemma 6.1 and at the end of the proof of Theorem 1.1 to get C^{1,α} regularity of the three surfaces; this is a self-cited preprint.
  • standard math Topological parity lemma (Lemma 3.3): closed transversal curves cross a closed C^1 hypersurface an even number of times.
    Used in Lemma 3.4 and Lemma 6.6 for the no-holes argument; based on C^1 submanifold structure and homotopy invariance of intersection parity.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Structure of the free interfaces near triple junction singularities in harmonic maps and optimal partition problems." pith.science (2026). https://pith.science/paper/JXU72AMM

@misc{pith2026241200781,
  author       = {Pith},
  title        = {Pith review of: Structure of the free interfaces near triple junction singularities in harmonic maps and optimal partition problems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JXU72AMM}},
  note         = {Machine review of arXiv:2412.00781}
}
abstract

We consider energy-minimizing harmonic maps into trees and we prove the regularity of the singular part of the free interface near triple junction points. Precisely, by proving a new epiperimetric inequality, we show that around any point of frequency $3/2$, the free interface is composed of three $C^{1,\alpha}$-smooth $(d-1)$-dimensional manifolds (composed of points of frequency $1$) with common $C^{1,\alpha}$-regular boundary (made of points of frequency $3/2$) that meet along this boundary at 120 degree angles. Our results also apply to spectral optimal partition problems for the Dirichlet eigenvalues.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Optimal partition and segregation problems driven by torsional rigidity

    math.AP 2026-06 unverdicted novelty 7.0 of 10

    Existence, Lipschitz regularity, unique continuation, nodal set estimates, and C^{1,α} free boundary regularity are proved for optimal torsional partitions and segregated configurations.

  2. Spectral minimal partitions of unbounded domains

    math.SP 2025-10 accept novelty 7.0 of 10

    For unbounded domains, spectral minimal k-partitions exist below a threshold set by the essential spectrum; at the threshold they may fail for p<∞, always exist for p=∞, but need not be equipartitions.

Reference graph

Works this paper leans on

34 extracted references · 17 canonical work pages · cited by 2 Pith papers

  1. [1]

    Alper , On the singular set of free interface in an optimal partition problem, Commun

    O. Alper , On the singular set of free interface in an optimal partition problem, Commun. Pure Appl. Math. 73 no. 4 (2020), 855--915 (English). doi:10.1002/cpa.21874

    work page doi:10.1002/cpa.21874 2020

  2. [2]

    C. J. Bishop , Some questions concerning harmonic measure, in Partial differential equations with minimal smoothness and applications ( C hicago, IL , 1990) , IMA Vol. Math. Appl. 42, Springer, New York, 1992, pp. 89--97. 1155854 . doi:10.1007/978-1-4612-2898-1\_7

    work page doi:10.1007/978-1-4612-2898-1 1990

  3. [3]

    Bucur , G

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

    work page 1998

  4. [4]

    L. A. Caffarelli and F.-H. Lin , Singularly perturbed elliptic systems and multi-valued harmonic functions with free boundaries, J. Am. Math. Soc. 21 no. 3 (2008), 847--862 (English). doi:10.1090/S0894-0347-08-00593-6

    doi:10.1090/s0894-0347-08-00593-6 2008

  5. [5]

    L. A. Caffarelli and F. H. Lin , Analysis on the junctions of domain walls, Discrete Contin. Dyn. Syst. 28 no. 3 (2010), 915--929. 2644773 . doi:10.3934/dcds.2010.28.915

    work page doi:10.3934/dcds.2010.28.915 2010

  6. [6]

    L. A. Cafferelli and F. H. Lin , An optimal partition problem for eigenvalues, J. Sci. Comput. 31 no. 1-2 (2007), 5--18. 2304268 . doi:10.1007/s10915-006-9114-8

    doi:10.1007/s10915-006-9114-8 2007

  7. [7]

    Conti , S

    M. Conti , S. Terracini , and G. Verzini , An optimal partition problem related to nonlinear eigenvalues, J. Funct. Anal. 198 no. 1 (2003), 160--196. 1962357 . doi:10.1016/S0022-1236(02)00105-2

    doi:10.1016/s0022-1236(02)00105-2 2003

  8. [8]

    Conti , S

    M. Conti , S. Terracini , and G. Verzini , On a class of optimal partition problems related to the F ucik spectrum and to the monotonicity formulae, Calc. Var. Partial Differential Equations 22 no. 1 (2005), 45--72. 2105968 . doi:10.1007/s00526-004-0266-9

    doi:10.1007/s00526-004-0266-9 2005

Show all 34 references
  1. [9]

    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 no. 3 (2005), 779--815. 2151234 . doi:10.1512/iumj.2005.54.2506

    2005 doi

  2. [10]

    De Lellis , J

    C. De Lellis , J. Hirsch , A. Marchese , L. Spolaor , and S. Stuvard , Area minimizing hypersurfaces modulo p : a geometric free-boundary problem, (2021). arXiv:arXiv:2105.08135. Available at https://arxiv.org/abs/2105.08135

    2021

  3. [11]

    De Lellis , J

    C. De Lellis , J. Hirsch , A. Marchese , L. Spolaor , and S. Stuvard , Fine structure of the singular set of area minimizing hypersurfaces modulo p , (2022). arXiv:arXiv:2201.10204. Available at https://arxiv.org/abs/2201.10204

    2022 arXiv

  4. [12]

    De Lellis , J

    C. De Lellis , J. Hirsch , A. Marchese , and S. Stuvard , Regularity of area minimizing currents mod \(p\) , Geom. Funct. Anal. 30 no. 5 (2020), 1224--1336 (English). doi:10.1007/s00039-020-00546-0

    2020 doi

  5. [13]

    B. K. Dees , Rectifiability of the singular set of harmonic maps into buildings, J. Geom. Anal. 32 no. 7 (2022), Paper No. 205, 57. 4425367 . doi:10.1007/s12220-022-00943-x

    2022 doi

  6. [14]

    Focardi and E

    M. Focardi and E. Spadaro , An epiperimetric inequality for the thin obstacle problem, Adv. Differ. Equ. 21 no. 1-2 (2016), 153--200 (English)

    2016

  7. [15]

    Friedland and W

    S. Friedland and W. K. Hayman , Eigenvalue inequalities for the D irichlet problem on spheres and the growth of subharmonic functions, Comment. Math. Helv. 51 no. 2 (1976), 133--161. 412442 . doi:10.1007/BF02568147

    1976 doi

  8. [16]

    Garofalo , A

    N. Garofalo , A. Petrosyan , and M. Smit Vega Garcia , An epiperimetric inequality approach to the regularity of the free boundary in the Signorini problem with variable coefficients, J. Math. Pures Appl. (9) 105 no. 6 (2016), 745--787 (English). doi:10.1016/j.matpur.2015.11.013

    2016 doi

  9. [17]

    Gromov and R

    M. Gromov and R. Schoen , Harmonic maps into singular spaces and p -adic superrigidity for lattices in groups of rank one, Inst. Hautes \'Etudes Sci. Publ. Math. no. 76 (1992), 165--246. 1215595 . Available at http://www.numdam.org/item?id=PMIHES_1992__76__165_0

    1992

  10. [18]

    Helffer , On spectral minimal partitions: a survey, Milan J

    B. Helffer , On spectral minimal partitions: a survey, Milan J. Math. 78 no. 2 (2010), 575--590. 2781853 . doi:10.1007/s00032-010-0129-0

    2010 doi

  11. [19]

    Helffer , T

    B. Helffer , T. Hoffmann-Ostenhof , and S. Terracini , Nodal domains and spectral minimal partitions, Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire 26 no. 1 (2009), 101--138. 2483815 . doi:10.1016/j.anihpc.2007.07.004

    2009 doi

  12. [20]

    Helffer and T

    B. Helffer and T. Hoffmann-Ostenhof , Remarks on two notions of spectral minimal partitions, Adv. Math. Sci. Appl. 20 no. 1 (2010), 249--263. 2760728

    2010

  13. [21]

    Helffer , T

    B. Helffer , T. Hoffmann-Ostenhof , and S. Terracini , On spectral minimal partitions: the case of the sphere, in Around the research of V ladimir M az'ya. III , Int. Math. Ser. (N. Y.) 13, Springer, New York, 2010, pp. 153--178. 2664708 . doi:10.1007/978-1-4419-1345-6\_6

    2010 doi

  14. [22]

    N. J. Korevaar and R. M. Schoen , Sobolev spaces and harmonic maps for metric space targets, Comm. Anal. Geom. 1 no. 3-4 (1993), 561--659. 1266480 . doi:10.4310/CAG.1993.v1.n4.a4

    1993 doi

  15. [23]

    Lanzara , E

    F. Lanzara , E. Montefusco , V. Nesi , and E. Spadaro , Generic configurations in 2d strongly competing systems, Preprint (2024). Available at https://arxiv.org/abs/2411.19867

    2024 arXiv

  16. [24]

    Novack , D

    M. Novack , D. Restrepo , and A. Skorobogatova , Free boundary regularity for semilinear variational problems with a topological constraint, Preprint (2024). Available at https://arxiv.org/abs/2412.01813

    2024 arXiv

  17. [25]

    Ognibene and B

    R. Ognibene and B. Velichkov , Boundary regularity of the free interface in spectral optimal partition problems, Preprint (2024). arXiv:arXiv:2404.05698. Available at https://arxiv.org/abs/2404.05698

    2024 arXiv

  18. [26]

    Simon , Cylindrical tangent cones and the singular set of minimal submanifolds, J

    L. Simon , Cylindrical tangent cones and the singular set of minimal submanifolds, J. Differ. Geom. 38 no. 3 (1993), 585--652 (English). doi:10.4310/jdg/1214454484

    1993

  19. [27]

    Soave and S

    N. Soave and S. Terracini , Liouville theorems and 1-dimensional symmetry for solutions of an elliptic system modelling phase separation, Adv. Math. 279 (2015), 29--66. 3345178 . doi:10.1016/j.aim.2015.03.015

    2015 doi

  20. [28]

    Soave and S

    N. Soave and S. Terracini , On partially segregated harmonic maps: optimal regularity and structure of the free boundary, 2024. Available at https://arxiv.org/abs/2410.23976

    2024 arXiv

  21. [29]

    Soave and S

    N. Soave and S. Terracini , On some singularly perturbed elliptic systems modeling partial segregation: uniform h\"older estimates and basic properties of the limits, Preprint (2024). Available at https://arxiv.org/abs/2409.11976

    2024 arXiv

  22. [30]

    Sun , Regularity of harmonic maps to trees, Am

    X. Sun , Regularity of harmonic maps to trees, Am. J. Math. 125 no. 4 (2003), 737--771 (English). doi:10.1353/ajm.2003.0029

    2003

  23. [31]

    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 no. 3-4 (2012), 273--317. 2984134 . doi:10.1007/s00526-011-0458-z

    2012 doi

  24. [32]

    J. E. Taylor , Regularity of the singular sets of two-dimensional area-minimizing flat chains modulo 3 in R \(^3\) , Invent. Math. 22 (1973), 119--159 (English). doi:10.1007/BF01392299

    1973 doi

  25. [33]

    J. E. Taylor , The structure of singularities in soap-bubble-like and soap-film-like minimal surfaces, Ann. Math. (2) 103 (1976), 489--539 (English). doi:10.2307/1970949

    1976 doi

  26. [34]

    G. S. Weiss , A homogeneity improvement approach to the obstacle problem, Invent. Math. 138 no. 1 (1999), 23--50 (English). doi:10.1007/s002220050340

    1999 doi

Pith tools

Reviewed August 12, 2026 · model on record in the stance chip above.