{"id":"6380b2cf-3521-4f0f-936e-8ebac1e332ac","arxiv_id":"2506.05270","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For a free discontinuity functional with jump cost exponent theta=0, the paper proves existence of entire local minimizers in two dimensions whose level sets are not parallel stripes.","lead":"This paper constructs local minimizers of a two-dimensional step-function energy that are not the one-dimensional staircases one would naively expect, a phenomenon the authors call symmetry breaking. The result matters because the same variational structure controls staircasing in Perona-Malik models, and the new 'bi-staircase' minimizers change what those blow-up limits can look like.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central existence theorem hinges on an unproved boundary-preserving density step; if it fails, minimality holds only among piecewise-constant competitors.","rationale":"The reader's weakest-assumption analysis identifies exactly the same gap: the passage from piecewise-constant competitors to arbitrary pure-jump competitors. My reading of Section 5 confirms that the calibration construction, including Proposition 5.3 and Lemma 5.5, is detailed and internally consistent for PC(Ω), and the equality cases in (5.13) and (5.15) are checked for the bi-staircase. The only unsupported step in the proof of the main existence theorem is the final density assertion. The paper explicitly labels it as an adaptation of known results and provides no proof, so the concern is not manufactured. It is a genuine correctness risk, but a plausible one: the cited density theorems for polyhedral partitions are in the right spirit, and the special structure of the candidate near the boundary makes a localized construction credible. For this reason the appropriate verdict remains conditional rather than rejection or unconditional acceptance. No independent mathematical error was found in the calibration inequalities themselves, and the one-dimensional uniqueness sketch, though brief, is not load-bearing for the exotic-existence claim.","tokens_in":22870,"tokens_out":9547,"duration_ms":128120,"concrete_test":"Verify the boundary-preserving density assertion in the simplest nontrivial case: let Ω=(-2,2)^2 and let v coincide with the canonical bi-staircase on the boundary frame Ω\\(-1,1)^2 and have, inside (-1,1)^2, a single smooth jump curve such as x=1/2+(1/4)sin(πy), separating values 0 and 1. Write out the adaptation of [5] that the paper claims, preserving v_n=v on the frame, with v_n→v in L2 and H^1(J_{v_n})→H^1(J_v). If such a sequence cannot be produced, or if the cut-off/pasting introduces an interface whose H^1-length does not vanish in the limit, the calibration only proves minimality among piecewise-constant competitors and Theorem 2.5(2) is not established for general PJ competitors.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 2.5(2) asserts that the canonical bi-staircase is an entire local minimizer in the class PJloc. Proposition 5.3, however, proves minimality only against competitors in PC(Ω), the piecewise-constant functions with finitely many regular level sets that agree with the candidate near ∂Ω. The final paragraph of Section 5 ('Inequality for general competitors') bridges this gap by claiming that any v∈PJ(Ω) agreeing with the candidate near ∂Ω can be approximated by v_n∈PC(Ω) with v_n=ˆSθ near ∂Ω, v_n→v in L2, and H^1(J_{v_n})→H^1(J_v), citing [4,5] and asserting that the constructions can be adapted. This is the load-bearing step: without it, the proof establishes minimality only among a restricted class, not the stated theorem. The adaptation is non-automatic for three reasons. First, the cited density results are formulated without prescribed boundary values; forcing v_n to equal the fixed bi-staircase on an open neighborhood of ∂Ω requires a cut-off or pasting argument that is not supplied. Second, the cited results are primarily L1-type approximations of BV/SBV functions, while the fidelity term is quadratic, so the claimed L2 convergence also needs justification. Third, the candidate has triple junctions where vertical jump lines meet the graph of fθ; any energy-convergent approximation preserving boundary data near these junctions is delicate. If the density assertion fails, then the inequality JF(Ω,v)≥JF(Ω,ˆSθ) does not follow for a general v, and the exotic-minimizer existence result is unproved.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the functional (1.4) on pure-jump functions, combining a jump penalization with a quadratic fidelity to a linear forcing term. It proves a complete characterization of entire local minimizers in one dimension (Theorem 2.2) and, in the main theorem (Theorem 2.5), shows that for θ=0 in two dimensions there exist entire local minimizers that are not oblique translations of the standard staircase in the forcing direction. The proof constructs a 'bi-staircase' whose jump set combines the graph of a periodic curve with vertical half-lines, and verifies minimality through an explicit calibration argument. The slicing method then extends the two-dimensional example to higher dimensions.","tokens_in":23131,"tokens_out":20046,"duration_ms":221358,"significance":"If fully established, the main theorem is a valuable and surprising result: it demonstrates symmetry breaking for a free-discontinuity problem with a linear fidelity and provides an explicit family of exotic entire minimizers. The calibration method is adapted to a low-regularity setting in an interesting way, and the verification for piecewise-constant competitors (Proposition 5.3 together with Lemma 5.5) is explicit and internally consistent. The main caveat is that the final density step from piecewise-constant to all pure-jump competitors is asserted rather than proved, and that step is load-bearing for Theorem 2.5(2).","major_comments":[{"comment":"The proof establishes the inequality JF(Ω,v) ≥ JF(Ω,Ŝθ) only for v∈PC(Ω). The extension to arbitrary v∈PJ(Ω) is contained in the assertion that v can be approximated by v_n∈PC(Ω) with v_n=Ŝθ near ∂Ω, v_n→v in L2, and convergence of the jump energy, citing [4,5] and stating that the constructions 'can be adapted.' This is the load-bearing step for Theorem 2.5(2), and no proof is given. The cited density results are formulated without prescribed boundary values, and forcing the approximants to equal the fixed bi-staircase in a neighborhood of ∂Ω is a nontrivial constraint, especially at the triple junctions where the graph of fθ meets the vertical half-lines. In addition, the fidelity term is quadratic, so the required L2 convergence is stronger than the L1-type approximation commonly provided by BV/SBV density results. The paper should either prove this boundary-preserving density lemma or state it as a separate theorem with a complete proof.","section":"Section 5, proof of Proposition 5.3, final paragraph ('Inequality for general competitors')"}],"minor_comments":[{"comment":"The integrand uses x both as the integration variable and as the upper limit; please replace the dummy variable, e.g. fθ(x) := ∫_0^{|x|} gθ(t) / sqrt(αθ² - gθ(t)²) dt.","section":"Equation (5.3)"},{"comment":"The abstract says the functional is defined on 'piecewise constant functions,' but the actual space PJloc allows countably many jumps; please align the terminology with the pure-jump setting used in the paper.","section":"Abstract and Section 2"},{"comment":"The statement that 'regular open sets where Ŝθ is piecewise constant exhaust the whole plane' is used to complete the proof, but no proof or precise formulation is given. Please clarify that for every bounded open set and every compact subset there is a regular open set Ω' with K⊂Ω'⊂⊂Ω and Ŝθ∈PC(Ω').","section":"Section 5, end of proof of Proposition 5.3"},{"comment":"The uniqueness part of Theorem 2.2 is presented only as a sketch with references to [19,24]. Since Theorem 2.2 is stated as a full characterization, please state explicitly which arguments are imported from those references and how they adapt to all θ∈[0,1).","section":"Step 4 of the proof of Theorem 2.2"}],"recommendation":"major_revision","confidential_remarks":"The central construction appears sound, and the calibration inequalities for piecewise-constant competitors are carefully verified. The only serious obstacle is the missing boundary-preserving density lemma in Section 5. If the authors can supply a complete proof of that approximation step, the paper should be accepted; without it, the main theorem is not fully established."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nYou can skip the one-dimensional half of this paper and read the construction: for theta=0, they build an explicit entire local minimizer in the plane that is not a straight staircase. That is a genuine counterexample to the natural \"stripes\" intuition, and the calibration machinery adapted from Alberti-Bouchitté-Dal Maso fits the problem well. The bi-staircase and the piecewise-affine psi that calibrates it are new, and the reduced-regularity variant of calibration (working with functions rather than vector fields) is a useful trick for this class of problems.\n\nThe soft spot is exactly where the reader's report puts it. Proposition 5.3 proves minimality among piecewise-constant competitors with regular level sets. For general pure-jump competitors the authors rely on a density statement in the final paragraph of Section 5: any competitor equal to the candidate near the boundary can be approximated in L2 and in jump energy by piecewise-constant functions with the same boundary values. They cite [4,5] and say the constructions can be adapted. That is asserted, not proved. The cited results are density theorems without prescribed boundary values, and the adaptation is not a formality—triple junctions and the quadratic fidelity term both deserve careful checking. If the density statement fails, the theorem only establishes minimality in a restricted class, not the stated result. I consider this a genuine gap, but a fixable one; this is exactly what a referee should ask for.\n\nThe one-dimensional uniqueness theorem (Theorem 2.2) is also sketched rather than proved, but it points to prior work for the details, so I would treat it as background. The self-citations to [19,24] are appropriate; the one-dimensional characterization is genuinely prior work.\n\nOn balance, the paper deserves a serious referee. The construction is explicit, the calibration inequalities are verified in detail on piecewise-constant competitors, and the symmetry-breaking conclusion is worth publishing if the density step can be supplied. I would recommend conditional acceptance: ask for a complete proof or a precise reference for the boundary-preserving density approximation, and for a clear statement of what is proved without it.","headline":"A genuinely new symmetry-breaking construction for theta=0 with a real but likely fixable gap in the extension from piecewise-constant to general competitors.","tokens_in":23692,"tokens_out":2454,"would_cite":true,"duration_ms":32607,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["49Q20","49K05","49K10"],"pacs":[],"model":"deepseek-v4-flash","headline":"In two dimensions, a free-discontinuity energy with linear forcing admits entire local minimizers—explicit bi-staircases—whose jump set is not a family of parallel hyperplanes, for $\\theta=0$.","keywords":["symmetry breaking","entire local minimizers","free discontinuity problem","calibration method","Perona-Malik functional","staircasing","pure jump functions","bi-staircase"],"falsifier":"Compute the explicit calibration data for $\\theta=0$ on a fine grid: any pair $(x,z_1,z_2)\\in[0,1]\\times\\mathbb{R}^2$ with $(A_0(x,z_2)-A_0(x,z_1))^2+(F_0(x,z_2)-F_0(x,z_1))^2 > 16$ would violate inequality (5.9) and invalidate Theorem 2.5(2). Equivalently, a numerical descent that lowers the energy of the bi-staircase on a large rectangle below the value predicted by the equality cases would refute the claim.","tokens_in":22630,"feed_emoji":"📐","tokens_out":8250,"duration_ms":94445,"temperature":0.7,"pith_summary":"This paper studies a variational problem in which functions pay a cost for their jump set and a quadratic penalty for deviating from a fixed linear function, the forcing term. In one dimension, the entire local minimizers are completely classified: they are staircases whose step length and height are fixed by the parameters. The main result is that in two and higher dimensions this one-dimensional picture is incomplete. For jump exponent $\\theta=0$, there exist entire local minimizers—explicitly constructed bi-staircases—whose level sets are not stripes orthogonal to the forcing gradient, so the symmetry of the problem is broken. The proof works through a calibration method that manipulates auxiliary functions directly rather than their derivatives, which is why the construction requires less regularity than earlier calibration arguments.","feed_headline":"Staircase minimizers can run askew to the forcing direction","feed_subtitle":"For $\\theta=0$, explicit bi-staircase solutions outdo every stripe-like competitor and break the energy's symmetry.","key_machinery":"The calibration method for free-discontinuity problems is the central tool. One chooses a vector field, or a family of differential forms $\\omega_z=A_\\theta(x,z)\\,dx+F_\\theta(x,z)\\,dy$, such that the induced functional $G(\\Omega,v)$ depends only on the values of $v$ near $\\partial\\Omega$, satisfies $G(\\Omega,v)\\le JF(\\Omega,v)$ for every competitor $v$, and satisfies equality $G(\\Omega,u)=JF(\\Omega,u)$ for the candidate $u$. In one dimension the calibration reduces to a scalar function $F_\\theta$ built from a truncated cubic, and no continuity of $F_\\theta$ is needed. In two dimensions the calibration uses the pair $(A_\\theta,F_\\theta)$ and reduces to the circle-type inequality $(A_\\theta(x,z_2)-A_\\theta(x,z_1))^2+(F_\\theta(x,z_2)-F_\\theta(x,z_1))^2\\le \\alpha_\\theta^2(z_2-z_1)^{2\\theta}$, with equality on the jump set of the bi-staircase. A slicing argument extends minimizers from $\\mathbb{R}^{d_1}$ to $\\mathbb{R}^{d_1+d_2}$ by ignoring extra variables, which both proves that staircases remain minimizers in all dimensions and lifts the bi-staircase from $\\mathbb{R}^2$ to higher dimensions.","core_discovery":"Theorem 2.5(2) states that when $\\theta=0$, the canonical $(H,V)$-staircase in the direction $\\xi/M$ and its oblique translations are not the only entire local minimizers of the functional (1.4). The paper constructs a canonical bi-staircase in $\\mathbb{R}^2$: above a 2-periodic interface curve $y=f_0(x)$ it agrees with the staircase $S(x)$, and below it agrees with the shifted staircase $S(x-1)+1$. Its jump set consists of the graph of $f_0$ together with vertical half-lines at integer positions, so it is not a union of parallel lines. Using a calibration built from the one-dimensional calibration function $F_0$ and an auxiliary piecewise-affine function $A_0$, the paper proves that this bi-staircase is an entire local minimizer for the rescaled parameters $\\alpha=4$, $\\beta=3$, $\\xi=(1,0)$, and then slicing extends the example to every dimension $d\\ge 3$. For $\\theta>0$, the same candidate is conjectured to minimize, but the proof is given only for $\\theta=0$.","pith_inferences":["The $\\theta=0$ construction is probably not an isolated phenomenon: the paper's own numerical experiments suggest that the same bi-staircase may minimize for $\\theta\\in(0,1)$, and the only missing ingredient is an $A_\\theta$ satisfying the analogous inequality (5.9) with exponent $2\\theta$.","If exotic minimizers do appear as blow-up limits in the Perona-Malik models, the effective description of two-dimensional staircasing would have to be enlarged from one-dimensional profiles to patterns with triple junctions, with the interface curve $f_\\theta$ carrying the microstructural information.","The low-regularity calibration suggests that the same method could be applied to energies with anisotropic or nonlocal jump costs, where smooth null Lagrangians may not exist; a natural test is whether an analogous bi-staircase minimizes when the jump cost is a general function of jump height."],"forward_implications":["In one dimension the classification is complete: for every $\\theta\\in[0,1)$, $\\alpha,\\beta>0$, and $M\\neq 0$, the entire local minimizers of (1.3) are exactly the oblique translations of the $(H,V)$-staircase with $H$ and $V$ given by (2.2).","In every dimension $d\\ge 2$, the classical staircases remain entire local minimizers, because any minimizer that ignores extra variables extends by slicing.","For $\\theta=0$, non-staircase entire local minimizers exist in every dimension $d\\ge 2$: the bi-staircase in $\\mathbb{R}^2$ and its slicing extensions to $\\mathbb{R}^d$.","The calibration constructed here does not require differentiability of the auxiliary functions, so the three-condition scheme (boundary independence, lower bound, equality on the candidate) can certify minimality in settings where classical calibrations would demand too much regularity.","Because these functionals arise as $\\Gamma$-limits of blow-ups of Perona-Malik regularizations, the exotic minimizers are new candidates for the asymptotic staircasing patterns in two dimensions; whether they actually appear there is left open in the paper."],"supporting_citations":[{"why":"Introduces the calibration method for free-discontinuity problems that the paper adapts to lower regularity.","marker":"[1]"},{"why":"Provides the density approximation used to pass from piecewise-constant competitors to general pure-jump competitors for $\\theta\\in(0,1)$.","marker":"[4]"},{"why":"Supplies the density result for the case $\\theta=0$ that the paper adapts with boundary conditions.","marker":"[5]"},{"why":"Federer's slicing theorem is used in Proposition 4.1 to extend minimizers from $\\mathbb{R}^{d_1}$ to $\\mathbb{R}^{d_1+d_2}$.","marker":"[17]"},{"why":"Defines the staircase functions and establishes the one-dimensional staircase characterization that the paper generalizes and reuses for the calibration.","marker":"[19]"},{"why":"Treats the discrete Perona-Malik staircase case $\\theta=0$ and supplies uniqueness arguments referenced in the one-dimensional proof.","marker":"[24]"}],"fun_headline_variants":["Bi-staircase minimizers break stripe symmetry in 2D","Symmetry breaking yields exotic minimizers in free-discontinuity problem","2D minimizers defy forcing direction with bi-staircases","Oblique bi-staircase: new local minimizer, symmetry broken","Stripe assumptions fail: bi-staircase minimizers in 2D"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument that every pure-jump competitor can be approximated, with converging energy, by piecewise-constant functions that also match the candidate near the boundary is asserted in Section 5 as an adaptation of results in [4] and [5], but the adaptation is not proved in detail.","fun_headline_variants_meta":{"raw":{"variants":["Bi-staircase minimizers break stripe symmetry in 2D","Symmetry breaking yields exotic minimizers in free-discontinuity problem","2D minimizers defy forcing direction with bi-staircases","Oblique bi-staircase: new local minimizer, symmetry broken","Stripe assumptions fail: bi-staircase minimizers in 2D"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000657,"raw_usage":{"total_tokens":2986,"prompt_tokens":904,"completion_tokens":2082,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":520,"completion_tokens_details":{"reasoning_tokens":1988}},"tokens_in":520,"tokens_out":2082,"duration_ms":17403,"temperature":1.0,"reasoning_tokens":1988,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T10:23:59.631609+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the explicit calibration data for $\\theta=0$ on a fine grid: any pair $(x,z_1,z_2)\\in[0,1]\\times\\mathbb{R}^2$ with $(A_0(x,z_2)-A_0(x,z_1))^2+(F_0(x,z_2)-F_0(x,z_1))^2 > 16$ would violate inequality (5.9) and invalidate Theorem 2.5(2). Equivalently, a numerical descent that lowers the energy of the bi-staircase on a large rectangle below the value predicted by the equality cases would refute the claim.","supporting_citations":[{"cited_title":"Braides , S","cited_arxiv_id":null,"evidence_quote":"Supplies the density result for the case $\\theta=0$ that the paper adapts with boundary conditions."},{"cited_title":"Alberti , G","cited_arxiv_id":null,"evidence_quote":"Introduces the calibration method for free-discontinuity problems that the paper adapts to lower regularity."},{"cited_title":"Bellettini , A","cited_arxiv_id":null,"evidence_quote":"Provides the density approximation used to pass from piecewise-constant competitors to general pure-jump competitors for $\\theta\\in(0,1)$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Federer's slicing theorem is used in Proposition 4.1 to extend minimizers from $\\mathbb{R}^{d_1}$ to $\\mathbb{R}^{d_1+d_2}$."},{"cited_title":"Gobbino , N","cited_arxiv_id":null,"evidence_quote":"Defines the staircase functions and establishes the one-dimensional staircase characterization that the paper generalizes and reuses for the calibration."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Treats the discrete Perona-Malik staircase case $\\theta=0$ and supplies uniqueness arguments referenced in the one-dimensional proof."}],"review_version":1}