pith. sign in

arxiv: 2605.03553 · v1 · submitted 2026-05-05 · 🧮 math.AP

On the shape of the positivity region for a free boundary problem describing cell polarization

Sebasti\'an Flores Sep\'ulveda , Barbara Niethammer , Juan J. L. Vel\'azquez This is my paper

Pith reviewed 2026-05-07 15:18 UTC · model grok-4.3

classification 🧮 math.AP
keywords free boundary problemcell polarizationobstacle problemelliptical interfacesmall mass regimenondegenerate maximamass constraint
0
0 comments X

The pith

In the small-mass regime with nondegenerate signal maxima, solutions to the cell polarization free boundary problem converge locally to an explicit elliptical interface solving an obstacle problem.

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

The paper examines a mass-constrained free boundary problem modeling cell polarization when the total mass is small. For generic external signals whose maxima are nondegenerate, it establishes that the evolving solution converges locally to a global solution of an obstacle problem in the plane. The free boundary of this limiting obstacle problem is shown to be an ellipse whose equation can be written down explicitly. This limit supplies a concrete geometric description of the polarized region that emerges under the model assumptions.

Core claim

In the generic case of a signal with nondegenerate maxima, the solution converges locally to a global, integrable solution to an obstacle problem in the plane, and the interface of the solution to the limit problem is an ellipse whose equation is explicit.

What carries the argument

The obstacle problem in the plane whose minimizer has an explicit elliptical free boundary determined by the signal maxima.

If this is right

  • The polarized region adopts an elliptical shape whose semi-axes are determined explicitly by the location and strength of the signal maxima.
  • Local convergence to the obstacle problem holds uniformly away from the boundary of the domain for generic signals.
  • When signal maxima are degenerate the limiting interface may lose ellipticity or exhibit different qualitative features.
  • The mass constraint is preserved in the limit and selects the precise size of the elliptical region.

Where Pith is reading between the lines

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

  • The explicit ellipse formula offers a simple test for whether observed cell shapes in experiments match the predicted dependence on signal geometry.
  • The result suggests that similar obstacle-problem limits may govern polarization models in higher dimensions or with different nonlinearities.
  • Degenerate maxima cases could be used to probe transitions between elliptical and non-elliptical steady states by tuning signal smoothness.

Load-bearing premise

The total mass must be small and the external signal must possess nondegenerate maxima.

What would settle it

A numerical simulation of the original free-boundary evolution for sufficiently small mass and a signal with one nondegenerate maximum whose computed interface fails to approach the predicted ellipse would disprove the convergence claim.

Figures

Figures reproduced from arXiv: 2605.03553 by Barbara Niethammer, Juan J. L. Vel\'azquez, Sebasti\'an Flores Sep\'ulveda.

Figure 1
Figure 1. Figure 1: A plot of the set {x 4 1 + x 2 1 x 2 2 = 1} Proposition 6.1. There exists a unique solution v ∈ H1 (R 2 ) to (6.2). Proof. The uniqueness part follows by the same argument as in the proof of Proposition 3.1. For δ ∈ (0,1), define the problem min( Jδ (v) := ˆ R2 |∇v| 2 2 +  x 4 1 + x 2 1 x 2 2 + δx4 2  vdy : v ∈ H 1 (R 2 ), v ≥ 0, ˆ R2 v = 1) . (6.3) We conclude that vδ is the unique minimizer of (6.3). H… view at source ↗
read the original abstract

In this paper we study a mass-constrained free boundary problem modeling cell polarization, in the regime where the mass is small. In the generic case of a signal with nondegenerate maxima, we prove that the solution converges locally to a global, integrable solution to an obstacle problem in the plane. We further show that the interface of the solution to the limit problem is an ellipse, the equation of which is explicit. We also study some cases where the signal has degenerate maxima, highlighting a variety of possible behaviors.

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 paper studies a mass-constrained free boundary problem for cell polarization in the small-mass regime. For signals with nondegenerate maxima, it establishes local convergence of solutions to a global integrable solution of an obstacle problem in the plane and derives an explicit equation for the elliptical interface of the limiting positivity set. Degenerate maxima are also analyzed, revealing a range of possible limiting behaviors.

Significance. If the convergence result and explicit ellipse characterization hold, the work supplies a precise asymptotic link between the free-boundary model and a classical obstacle problem, together with a closed-form geometric description of the polarized region. The explicit construction of the ellipse and the localization argument at nondegenerate maxima constitute a concrete, falsifiable prediction for the shape under small-mass constraints, which strengthens the mathematical foundation of such cell-polarization models.

minor comments (3)
  1. The statement of the obstacle problem in the limit (presumably §3 or §4) should include an explicit verification that the constructed ellipse satisfies both the global integrability condition and the mass constraint inherited from the original problem.
  2. In the degenerate-maxima section, the transition between the different limiting regimes would benefit from a brief table or diagram summarizing the qualitative behaviors for each degeneracy type.
  3. Notation for the rescaled variables and the quadratic approximation of the signal should be introduced once and used consistently; a short glossary or list of symbols would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the positive assessment of its significance. The recommendation for minor revision is appreciated, and we will incorporate any necessary editorial adjustments in the revised version.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation proceeds by localizing the mass-constrained free boundary problem near a nondegenerate maximum of the signal, rescaling to capture the quadratic Taylor expansion, and passing to the limit to obtain a variational inequality (obstacle problem) in the plane. The limit problem is then solved explicitly by direct construction, yielding an elliptical interface whose equation follows from the obstacle condition and mass constraint. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-citation chain, or definitional tautology; the explicit ellipse is obtained independently from the limit variational inequality. The argument is self-contained against external benchmarks and does not rely on load-bearing self-citations for its central claims.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the modeling assumptions of small total mass and a signal with nondegenerate maxima; these are standard domain assumptions for the cell-polarization free-boundary problem and are not derived inside the paper.

axioms (2)
  • domain assumption The external signal has nondegenerate maxima
    Invoked in the abstract as the generic case in which the ellipse result holds.
  • domain assumption The total mass is small
    The regime in which local convergence to the obstacle problem is proved.

pith-pipeline@v0.9.0 · 5388 in / 1463 out tokens · 123391 ms · 2026-05-07T15:18:10.171268+00:00 · methodology

Review history (2 revisions) →

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

18 extracted references · 18 canonical work pages

  1. [1]

    V. I. Bogachev.Measure Theory. Vol. 2. Springer, 2007

    work page 2007

  2. [2]

    The regularity of the free boundary in higher dimensions

    L. A. Caffarelli. “The regularity of the free boundary in higher dimensions”. In:Acta Mathematica139 (1977), pp. 155–184

    work page 1977

  3. [3]

    Bubble growth in porous media

    E. Di Benedetto and A. Friedman. “Bubble growth in porous media”. In:Indiana Univer- sity mathematics journal35.3 (1986), pp. 573–606

    work page 1986

  4. [4]

    Complete classification of global solutions to the obstacle problem

    S. Eberle, A. Figalli, and G. Weiss. “Complete classification of global solutions to the obstacle problem”. In:Annals of Mathematics201.1 (2025), pp. 167–224

    work page 2025

  5. [5]

    On global solutions of the obstacle problem

    S. Eberle, H. Shahgholian, and G. S. Weiss. “On global solutions of the obstacle problem”. In:Duke Mathematical Journal172.11 (2023), pp. 2149–2193

    work page 2023

  6. [6]

    Fern ´andez-Real and X

    X. Fern ´andez-Real and X. Ros-Oton.Regularity theory for elliptic PDE. Vol. 28. Zurich Lectures in Advanced Mathematics. EMS Press, 2022

    work page 2022

  7. [7]

    Friedman.Variational Principles and Free-Boundary Problems

    A. Friedman.Variational Principles and Free-Boundary Problems. Pure and applied mathe- matics. Wiley Interscience, 1982

    work page 1982

  8. [8]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger.Elliptic Partial Differential Equations of Second Order. Vol. 224. 2. Springer, 1983

    work page 1983

  9. [9]

    Dendritic and spheroidal growth

    G. Horway and J. W. Cahn. “Dendritic and spheroidal growth”. In:Acta Metallurgica9.7 (1961), pp. 695–705

    work page 1961

  10. [10]

    Temperature field around a spherical cylindrical and acicular crystal growing in a supercooled melt

    G. P . Ivantsov. “Temperature field around a spherical cylindrical and acicular crystal growing in a supercooled melt”. In:Dokl. Akad. Nauk. USSR58 (1947), pp. 567–569

    work page 1947

  11. [11]

    Kinderlehrer and G

    D. Kinderlehrer and G. Stampacchia.An Introduction to Variational Inequalities and Their Applications. Pure and Applied Mathematics. Academic Press, 1980

    work page 1980

  12. [12]

    A parabolic free bound- ary problem arising in a model of cell polarization

    A. Logioti, B. Niethammer, M. R ¨oger, and J. J. L. Vel ´azquez. “A parabolic free bound- ary problem arising in a model of cell polarization”. In:SIAM Journal on Mathematical Analysis53.1 (2021), pp. 1214–1238. 36

    work page 2021

  13. [13]

    Interface behavior for the solutions of a mass conserving free boundary problem modelling cell polarization

    A. Logioti, B. Niethammer, M. R ¨oger, and J. J. L. Vel ´azquez. “Interface behavior for the solutions of a mass conserving free boundary problem modelling cell polarization”. In: Friends in Partial Differential Equations – The Nina V. Uraltseva 90th Anniversary Volume. Ed. by D. Apushkinskaya, A. Laptev, A. I. Nazarov, and H. Shahgholian. EMS Press, 2025...

    work page 2025

  14. [14]

    Qualitative properties of solutions to a mass-conserving free boundary problem modeling cell polarization

    A. Logioti, B. Niethammer, M. R ¨oger, and J. J. L. Vel ´azquez. “Qualitative properties of solutions to a mass-conserving free boundary problem modeling cell polarization”. In: Communications in Partial Differential Equations48.7–8 (2023), pp. 1065–1101

    work page 2023

  15. [15]

    A bulk-surface reaction-diffusion sys- tem for cell polarization

    B. Niethammer, M. R ¨oger, and J. J. L. Vel ´azquez. “A bulk-surface reaction-diffusion sys- tem for cell polarization”. In:Interfaces and Free Boundaries22.1 (2020), pp. 85–117

    work page 2020

  16. [16]

    Petersen.Riemannian Geometry

    P . Petersen.Riemannian Geometry. 3rd ed. Vol. 171. Graduate Texts in Mathematics. Springer Cham, 2016

    work page 2016

  17. [17]

    Null quadrature domains

    M. Sakai. “Null quadrature domains”. In:Journal d’Analyse Math ´ematique40.1 (1981), pp. 144–154

    work page 1981

  18. [18]

    Classification of global solutions to the obstacle problem in the plane

    A. Salib and G. S. Weiss. “Classification of global solutions to the obstacle problem in the plane”. In:Advances in Mathematics472 (2025), p. 110276. 37

    work page 2025