{"id":"a438bfda-0253-46f5-89b0-535918fc525d","arxiv_id":"2602.10120","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":7,"one_line_summary":"A numerical study finds that floating drops in a capillary tube admit multiple equilibrium configurations, and in some parameter regions two configurations have equal potential energy, suggesting non-unique energy minimizers.","lead":"The authors compute equilibrium shapes of a liquid drop floating on another liquid inside a tube, and find multiple distinct configurations for the same physical parameters. They report cases where two different configurations have equal potential energy, indicating non-unique energy-minimizing states.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Global-minimizer claim rests on unproven exhaustion of configuration space; excluded off-center and 3D asymmetric drops could break the equal-energy minimizer result.","rationale":"The reader's weakest assumption exactly matches the most load-bearing gap: the proof/verification that the compared configuration classes exhaust the relevant minimizers. The paper is honest about this limitation, using 'presumed' and 'strong evidence,' and notes R3 asymmetric solutions are outside scope. Nevertheless, the abstract and conclusions present non-uniqueness of energy minimizers without this caveat, and 'no uniqueness at all' is a global statement. The concern is not about internal consistency or numerical precision; it is that the central claim is strictly stronger than the evidence. A concrete search for off-center R2 drops at a reported equal-energy parameter set can test whether this gap actually matters. If off-center drops are always higher energy, the paper's conditional claim would be strengthened; if one is lower, the headline claim fails. I agree with the reader's assessment and would keep the verdict CONDITIONAL (i.e., unchanged), since the issue is real but not yet demonstrated to invalidate the numerical observation.","tokens_in":16122,"tokens_out":5941,"duration_ms":68591,"concrete_test":"Choose a reported equal-energy parameter set, e.g. the R2 case of Fig. 23 (Vol=0.4, X=2, ρ1=7.5, ρ2=15, σ01=3, σ02=7, σ12=6, γ0p^2=π/2, γ1p^2=1.252). Using the paper's spectral solver, solve the same free-boundary ODE system for an off-center drop with two free-boundary points x1<x2 not symmetric about x=0, enforcing u=v=w and volume at both junctions; vary the center (x1+x2)/2 across (−X,X) and compute energies. If any off-center solution has energy strictly below both the central and wall-bound energies, the global non-uniqueness claim is refuted for this case. If none do, the excluded-configuration concern is weakened; a similar axisymmetric off-center search in R3 would be a further check.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Central claim: at many parameter sets a central drop and a wall-bound drop have equal energy and are both (presumed) energy minimizers — the first non-unique minimizer observation in this model (Abstract; §3.1; §4.3). For 'energy minimizer' to be global, the compared classes must exhaust all minimizers. The paper only treats generating-curve configurations: central and wall-bound in R3; central, single-wall, and evenly/unevenly split wall-bound in R2. It excludes off-center drops and fully 3D asymmetric drops, with the remarks that 'Reflection arguments make the off-center drops unlikely to be energy minimizing' (§4.2) and that R3 asymmetric solutions are 'outside the scope' (§5). These are not proofs; they are heuristics and scope limitations. If an excluded configuration has strictly lower energy at an equal-energy parameter set, the two displayed configurations are not global minimizers, so the headline claim of non-unique energy minimizers is false, even though equal energy among the restricted classes is real. The authors hedge with 'presumed' and 'strong evidence,' but the conclusion 'no uniqueness at all' (§5) goes beyond the demonstrated evidence.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a numerical method, based on Chebyshev spectral collocation and Newton iteration, for computing equilibrium configurations of floating drops in laterally bounded containers, under the assumption that configurations are described by generating curves. The method is applied to centrally located and wall-bound drops in R^3, and to central, single-wall, and split-wall drops in R^2. The paper explores a nine-dimensional physical parameter space, computes potential energies of the different configurations, and reports non-uniqueness of solutions to the Euler–Lagrange equations. Its headline claim is that there are many parameter values where a centrally located drop and a wall-bound drop have equal potential energy, giving 'strong evidence of non-uniqueness of energy minimizers' and, in the authors' words, 'no uniqueness at all' for solutions of the floating drop problem.","tokens_in":16495,"tokens_out":4104,"duration_ms":51909,"significance":"If the equal-energy observations are correct, they constitute a striking numerical discovery in a classical capillary free-boundary problem, and the symmetry-breaking examples in R^2 are also valuable. The paper provides a reproducible computational framework (code is on GitHub), explicit quadrature error bounds, and a systematic parameter-space exploration. The main weakness is that the global interpretation of the results rests on an unproven assumption that the computed configuration classes exhaust all relevant minimizers; the authors themselves use hedged language ('presumed', 'likely') but the abstract and conclusions state the stronger claim as established. The numerical evidence for equal-energy crossings also lacks a convergence study.","major_comments":[{"comment":"The central claim of non-uniqueness of energy minimizers is stated more strongly than the evidence supports. The paper only compares generating-curve families: central and wall-bound drops in R^3, and central, single-wall, and split wall-bound drops in R^2. Non-computed configurations are dismissed heuristically: 'Reflection arguments make the off-center drops unlikely to be energy minimizing' (§4.2) and R^3 asymmetric solutions are 'outside the scope' (§5). Equal energies between the computed families do not establish that the energy minimizer is non-unique in the full problem. Even within the computed families, the paper compares energies of stationary solutions but does not prove they are local or global minimizers under arbitrary perturbations. The hedged phrase '(presumed) energy minimizers' in §5 is appropriate, but the Abstract's 'strong evidence of non-uniqueness of energy minimi","section":"Abstract; §1; §4.2; §5"},{"comment":"The equal-energy crossings in Figures 9, 23, and 24 are the quantitative basis for the paper's most striking claim, yet no convergence study is reported for the computed energy values. The paper states 14-digit Newton tolerance and 10-digit BVP tolerance and cites the Clenshaw–Curtis quadrature error bound in Eq. (32), but it does not report actual errors, mesh-refinement checks, or residual norms for the energy computations. Near a crossing, a small systematic error in either energy curve could create or remove an intersection. The authors should provide a convergence test (e.g., n+1 = 14 versus 28 or 56 collocation points) and error estimates for the energy differences at the reported crossings, or at least for one representative case from each of Figures 9, 23, and 24.","section":"§3.1, §4.3, Eqs. (31)–(35)"}],"minor_comments":[{"comment":"The caption reads 'On the left is a drop adjacent to the left wall, and this is the energy minimizer. On the left is a drop evenly split...' The second 'On the left' should be 'On the right'.","section":"Figure 18 caption"},{"comment":"The text says Bagley and Treinen [2] present 'a united approach'; this should likely be 'a unified approach'.","section":"§2.2"},{"comment":"The two fzero loops (for F(ψ̄) and for volume matching) are described with initial guesses and observed sign changes, but no proof of continuity or uniqueness of the zero is given. This is acceptable for a computational paper, but a sentence noting that convergence is empirical and pointing to the code would improve reproducibility.","section":"§2.3–2.4"},{"comment":"The paper says the three surface tensions are 'arbitrarily normalized to add up to a value of 16'; it would help to state explicitly that this is a scaling convention with no loss of generality for the parameter studies reported.","section":"§2.6"},{"comment":"The heuristic for when a centrally located drop or wall-bound drop is the energy minimizer is stated concisely. The counterexample in §4.1 is a nice addition, but the caption of Figure 13 should say 'tube radius X=2' rather than 'R=2' for consistency with the R^2 setup.","section":"§3.2"}],"recommendation":"major_revision","confidential_remarks":"The paper is a numerical exploration, and the reviewer is not concerned about self-citation: the method is legitimately built on the authors' prior work. The core issue is the gap between the evidence (equal energies among restricted symmetry classes) and the broad title/abstract claim of non-unique energy minimizers. A careful revision that either narrows the claim or adds a genuine exhaustiveness/stability argument, together with a convergence study for the energy crossings, would make the paper publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The real content here is computational and it is mostly good. The authors compare potential energies of centrally located and wall-bound floating drops across a wide range of physically meaningful parameters, and they find many parameter sets where the two configurations have equal energy. That is new, as far as the cited literature goes, and the R2 asymmetric wall-bound minimizer is also a genuinely new observation. The code is promised on GitHub, the algorithm is described in enough detail to reproduce, and the method builds transparently on Treinen's earlier spectral solver. The closed-form volume identities are a nice touch, and the authors are honest when they call the minimizer claims \"presumed\" and \"strong evidence.\" This is not a fitting exercise: the energy crossings emerge from solving the BVPs and computing energies, not from tuning to a target.\n\nThe soft spots are real but proportionate. First, there is no convergence study or error-bar analysis anywhere. The authors state 14-digit Newton and 10-digit BVP tolerances, but the equal-energy crossings in Figures 9, 23, and 24 are assertions about equality of two computed numbers. With spectral methods and quadrature, a difference of 1e-3 might be meaningful, but the paper never says. That is a fixable hole, not a fatal one.\n\nSecond, and more load-bearing, the global language outruns the configuration space actually explored. The equal-energy claim is only about central and wall-bound drops (plus split wall-bound in R2). Off-center drops and fully 3D asymmetric drops are excluded with heuristics—\"reflection arguments make unlikely\" and \"outside the scope\"—not with proofs. The abstract and Section 5 say non-uniqueness of energy minimizers, and Section 5 even says the Euler-Lagrange solutions \"exhibit no uniqueness at all.\" Within the tested classes, the equal-energy observation is solid. As a statement about global minimizers, it is conditional on an exhaustion of configuration space that the paper itself admits it does not provide. The authors do hedge in places, but the conclusions are worded too strongly. This is a scope-discipline problem in a paper whose central claim is advertised as the first non-unique minimizer observation.\n\nWho should read it: people working on capillary free-boundary problems and anyone interested in computational symmetry breaking in variational problems. It deserves a serious referee. The numerical work is reproducible and the observations are genuinely new; the right outcome is peer review with requests for an error analysis and a careful rewriting of the global claims.\n\nI would engage with this work: read the code, run the equal-energy examples, and cite the computational observations—but I would not cite the non-unique minimizer claim as established beyond the restricted class.","headline":"A solid, reproducible numerical study with genuinely new equal-energy observations, but the global non-uniqueness-of-minimizer claim outruns the evidence because only a restricted class of configurations is compared.","tokens_in":16914,"tokens_out":1293,"would_cite":true,"duration_ms":18082,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","76M22"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper provides numerical evidence that floating drops in a capillary tube can have two distinct equilibrium shapes with exactly equal potential energy, making the energy minimizer non-unique, and that in two dimensions an asymmetric wa","keywords":["floating drops","capillarity","free boundary problem","Young-Laplace equation","non-uniqueness","energy minimizer","symmetry breaking","spectral collocation"],"falsifier":"At a parameter set where the computed central and wall-bound drops have equal energy, solve for an off-center drop in two dimensions (or a fully three-dimensional asymmetric drop in three dimensions) and evaluate its potential energy: a strictly lower value would disprove the claimed non-unique minimizer. Alternatively, rerun the equal-energy cases with a finer Chebyshev grid or tighter Newton tolerance and check whether the energy difference shrinks to zero or resolves to a nonzero gap.","tokens_in":16038,"feed_emoji":"💧","tokens_out":7896,"duration_ms":65781,"temperature":0.7,"pith_summary":"This paper tries to establish that the floating-drop problem—three immiscible fluids in a closed tube, with one lighter drop fluid—has non-unique equilibrium shapes and, more surprisingly, non-unique energy minimizers. For every parameter set the authors test, there are at least two distinct solutions to the governing Young-Laplace free-boundary equations. Computing the potential energy of centrally located and wall-bound drops, they find many parameter choices where the two configurations have exactly equal energies, which they report as the first observed non-uniqueness of presumed minimizers in this model. In the two-dimensional model they further show that an asymmetric drop attached to one wall can be the minimizer, breaking left-right symmetry. A sympathetic reader would care because the result challenges the expectation that a well-posed variational problem should pick out a unique ground state.","feed_headline":"Floating drops can tie for lowest potential energy","feed_subtitle":"Centered and wall-bound drops can have the same energy, so the ground state is not unique.","key_machinery":"The argument is carried by a high-accuracy numerical solver for the free-boundary Young-Laplace equations, which uses Newton's method with Chebyshev spectral collocation to compute interfaces that meet at the triple junction with the prescribed contact angles, plus nested root-finding loops that match the free-boundary parameter and the drop volume. The energy functional, consisting of surface-tension, gravitational, and wetting terms, is then evaluated on each computed configuration via Clenshaw-Curtis quadrature. This allows a systematic sweep of the nine-dimensional parameter space and direct comparison of energies across configuration classes, which is the mechanism behind every non-uniq","core_discovery":"For the model of a floating drop in a laterally bounded container, the paper's central numerical finding is that the Euler-Lagrange equations never have unique solutions: for every choice of the nine physical parameters considered, both a centrally located drop and a wall-bound drop exist as equilibria, and in the two-dimensional model also wall-bound and split-wall configurations. Comparing the full potential energy (surface, gravitational, and wetting terms) across these classes, the authors find many parameter values where the centrally located and wall-bound drops have the same energy, so the presumed global minimizer is not unique. They also find a two-dimensional case where the asymmet","pith_inferences":["Beyond the paper: if the equal-energy sets are codimension-one surfaces in parameter space, then generic small perturbations of parameters will select one configuration, which could make the non-uniqueness hard to observe experimentally unless parameters are tuned.","Beyond the paper: the two-dimensional asymmetry result suggests that in full three dimensions, off-center or tilted drops might also compete with the symmetric ones; the paper leaves this open, and a numerical method for those PDEs could test it.","Beyond the paper: the equal-energy crossings resemble exchange-of-stability or pitchfork bifurcations; treating volume or density as a continuation parameter could reveal a connecting bifurcation structure not visible in the present energy profiles.","Beyond the paper: the claim that off-center drops are unlikely minimizers rests on reflection arguments, but a direct numerical search for such configurations at the equal-energy parameters would be a cheap and decisive check."],"forward_implications":["For open regions of parameter space, the floating-drop variational problem has at least two global minimizers with equal energy, so the ground state is not unique.","In the two-dimensional model, an asymmetric shape attached to a single wall can be the global minimizer, so symmetry breaking occurs even though the data and domain are symmetric.","The widely used heuristic that the concavity of the drop-free interface decides between centered and wall-bound minimizers is not reliable; explicit counterexamples exist.","Along a volume-increase path, the energies of the two symmetric configurations can cross twice, giving two distinct volumes where the minimizer switches or ties.","The parameter space contains curves along which equal-energy degeneracy persists, so degenerate minimizers are not isolated accidents."],"fun_headline_variants":["Floating drops: multiple shapes share lowest energy","For floating drops, energy landscape has ties","Wall-bound and centered drops can have equal energy","Unique ground state? Not for floating drops","When different drop shapes tie for lowest energy"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The conclusion that the energy minimizer is sometimes non-unique assumes that the only relevant candidate configurations are the centered, wall-bound, and split-wall drops computed here; if an off-center or fully three-dimensional asymmetric drop with lower energy exists at those parameters, the non-uniqueness claim fails.","fun_headline_variants_meta":{"raw":{"variants":["Floating drops: multiple shapes share lowest energy","For floating drops, energy landscape has ties","Wall-bound and centered drops can have equal energy","Unique ground state? Not for floating drops","When different drop shapes tie for lowest energy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000187,"raw_usage":{"total_tokens":1119,"prompt_tokens":648,"completion_tokens":471,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":392,"completion_tokens_details":{"reasoning_tokens":402}},"tokens_in":392,"tokens_out":471,"duration_ms":4950,"temperature":1.0,"reasoning_tokens":402,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T08:21:32.634053+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"At a parameter set where the computed central and wall-bound drops have equal energy, solve for an off-center drop in two dimensions (or a fully three-dimensional asymmetric drop in three dimensions) and evaluate its potential energy: a strictly lower value would disprove the claimed non-unique minimizer. Alternatively, rerun the equal-energy cases with a finer Chebyshev grid or tighter Newton tolerance and check whether the energy difference shrinks to zero or resolves to a nonzero gap.","supporting_citations":[],"review_version":1}