{"id":"a2e759cc-a089-4d21-96e9-cdb0f561d532","arxiv_id":"2608.11379","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"For the two-dimensional Liouville equation arising in embedding theory, the authors prove that decay at infinity alone forces rotational symmetry, and for the three-dimensional case they prove uniqueness of smooth spherically symmetric solutions.","lead":"This paper studies the equations of fictitious matter in embedding theory, a proposed gravitational alternative to dark matter. It proves that string-like solutions are rotationally symmetric and that ball-like solutions form a unique family under spherical symmetry.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The string-case symmetry theorem is unproven: §3's case split omits transcendental meromorphic functions and the power-law asymptotic for (1/f)' is not justified for essential singularities at infinity.","rationale":"The reader's weakest_assumption targets the physical reduction from FMET equations to the Liouville equation, which is a legitimate concern about applicability. My stress-test pass finds a more load-bearing problem inside the mathematics: the proof of the string-case symmetry theorem is incomplete at the exact point where the paper claims novelty. The reduction approximations are stated by the authors and can in principle be checked against scales; the proof gap, by contrast, leaves the abstract's headline claim unproven even if every physical approximation is accepted. I do not claim the theorem is false; I have not found a concrete counterexample. But the proof's case split and asymptotic analysis do not cover transcendental meromorphic functions, and the argument from (25) to (26) is an unjustified power-law assumption. This is an addressable rigor gap, not a demonstrated contradiction, so it does not require changing the reader's CONDITIONAL verdict; it strengthens the conditions under which the paper should be accepted. The reader noted non-exhaustive case splits in the rationale, but did not identify it as the weakest assumption, hence 'partial' agreement.","tokens_in":10956,"tokens_out":18165,"duration_ms":176723,"concrete_test":"Test the theorem against a locally univalent transcendental f with mixed asymptotic behavior, e.g. f(z)=∫_0^z e^{-t^2}dt (entire, f'(z)=e^{-z^2}≠0, essential singularity at infinity). Compute e^φ from (24) along rays z=t e^{iθ} for θ=0, π/4, π/2 and t→∞. If limsup e^φ>0 on any ray, that candidate fails; then extend to f_C(z)=∫_0^z e^{-t^4}dt+C and to f(z)=e^z. A single example with uniform decay e^φ→0 would refute the theorem. If no transcendental example satisfies uniform decay, the burden is to close the gap by proving that e^φ→0 forces (1/f)' to have a power-law zero at infinity, replacing the current non-exhaustive case split.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's main new mathematical claim is the string-case theorem in §3: if e^{φ}→0 as |x|→∞, then every solution of the two-dimensional Liouville equation (19) is rotationally symmetric and takes the form (22). The proof uses the general representation (24) and splits possible behaviors of f(z) as z→∞ into two cases: |f(z)|→∞ and |f(z)|<C. This dichotomy is not exhaustive. A meromorphic function on C can be unbounded in some directions and bounded in others, and it can have an essential singularity at infinity; e.g. f(z)=e^z is locally univalent, admits the representation (24), and falls into neither case globally.\n\nThe more serious gap is the step after (25): from e^{φ}→0 and meromorphicity of (1/f)', the authors assert the asymptotic relation (1/f)'≈C1/z^n with n∈N. This is true for rational functions vanishing at infinity, but it is not justified for meromorphic functions with an essential singularity at infinity; such functions can tend to zero along some directions without a power-law tail. The subsequent use of 'meromorphic property' and Liouville's theorem to conclude that 1/f' is polynomial therefore excludes the transcendental case without argument. The manuscript itself hints at the problem: it introduces two variants and then refers to the 'second variant among the three ones.'\n\nBecause this proof is the advertised strengthening over [23] and is the basis for the claimed uniqueness of string-type FMET clusters, the central mathematical result is not established as written. The theorem may still be true, but the present text does not prove it.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper analyzes static solutions of the embedding-theory equations for fictitious matter (FMET), focusing on string- and ball-type clusters. It reduces the string case to the two-dimensional Liouville equation (19) and claims that if e^{φ}→0 as |x|→∞, then every solution is rotationally symmetric and takes the explicit form (22), strengthening a finite-mass result of Chen–Li [23]. For the ball case, under the additional assumption of spherical symmetry, it claims that the only solutions smooth at the center form the one-parameter family (50), with the singular isothermal sphere (40) as the only other solution satisfying the boundary condition (37). The proof uses the complex representation (24) for the string case and the phase-plane reduction (38)–(39) for the ball case.","tokens_in":11224,"tokens_out":28271,"duration_ms":266758,"significance":"If the string theorem is correct, it provides a parameter-free uniqueness statement for string-type FMET clusters under a physically motivated decay condition, and it is a genuine strengthening of the previously known finite-mass classification. The ball-case result gives a clean uniqueness classification for smooth spherically symmetric solutions. The derivations are explicit and the physical approximations leading to Eq. (19) are clearly stated, including the scale L beyond which the constant-B assumption (9) fails. The main value of the paper therefore depends on the correctness of the two mathematical claims, especially the string-case theorem, which is the paper's advertised new result.","major_comments":[{"comment":"The proof splits meromorphic f into two cases, |f(z)|→∞ and |f(z)|<C as z→∞, but this is not a dichotomy for meromorphic functions on C. A function such as f(z)=e^z is locally univalent, admissible in the representation (24), and falls into neither case: it is unbounded along one direction and bounded along another. The manuscript later refers to 'the second variant among the three ones' even though only two variants were introduced, which suggests a missing case. Because the proof never shows that the assumption e^{φ}→0 excludes functions with an essential singularity at infinity, the subsequent asymptotic steps (25)–(30) do not cover all admissible f. To complete the proof, the authors need to prove or cite a result that e^{φ}→0 forces f to be rational (equivalently, that the spherical derivative |f'|/(1+|f|²) cannot tend to zero at infinity for a transcendental meromorphic function), or they must analyze the missing mixed case explicitly.","section":"§3, Eqs. (24)–(30)"},{"comment":"The smoothness condition is misprinted. With r=e^u and φ=γ−2u, one has r²φ′(r)=e^u(γ′(u)−2), not e^u(γ′(u)−u). With the printed formula, the verification that γ(u)∼2u satisfies the condition is false; with the corrected formula it succeeds. This needs to be corrected because it is used in the uniqueness argument for the ball-type solution.","section":"§4, Eq. (48)"},{"comment":"The proof assumes that as u→−∞, γ(u) must either tend to +∞, a finite value, or −∞. This classification excludes oscillatory behavior in which γ(u) has no limit. For the autonomous system underlying (38), such behavior is not obviously impossible, and the paper provides no Lyapunov-function or phase-plane argument to rule it out. As written, the classification of solutions of (39) satisfying condition (37) is incomplete, and this gap affects the claimed uniqueness of the smooth ball solution.","section":"§4, cases 1–3 after Eq. (42)"}],"minor_comments":[{"comment":"The sentence 'Next, we consider the second variant among the three ones' is inconsistent with the two variants listed at the start of the proof; either list three cases or renumber.","section":"§3, after Eq. (29)"},{"comment":"Equation (43) is garbled; it should presumably read s′(v)/2 + 1 = (2 ± √s(v))/v.","section":"§4, Eq. (43)"},{"comment":"The displayed formula for v(r) is malformed; it should read v(r)=√(GM(r)/r).","section":"Introduction, Eq. (1)"},{"comment":"Reference [2] contains a typo ('theory if the early Universe' should be 'theory of the early Universe'), and the title of Reference [5] is missing spaces between words.","section":"References"},{"comment":"For m>2 the solution (35) is singular at the center; the text notes this, but it would be clearer to state explicitly that global smooth solutions correspond only to m=2, which is the case used in the final conclusion.","section":"§3, Eq. (35)"}],"recommendation":"major_revision","confidential_remarks":"The string-case theorem is the central new mathematical claim, and the current proof has a genuine gap in the case split for meromorphic functions with essential singularities at infinity. I recommend that the manuscript be reviewed by a referee with complex analysis expertise before acceptance. The ball-case analysis also needs a rigorous phase-plane justification of the case split. There are no concerns about novelty or citation practice; the physical limitations of the reduction are stated transparently in Section 2."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Lead: the paper has two claims—the 2D Liouville theorem weakening finite mass to decay at infinity, and the 3D spherically symmetric uniqueness. The ball half is solid and the result holds together. The string half has a real gap that I'd want closed before accepting.\n\nNew stuff: the string theorem strengthens the known classification, and the ball uniqueness is new. Both are useful for the embedding-theory dark-matter program, but they don't change the big picture elsewhere. Methods are standard—meromorphic representations and order reduction—so the contribution is an extension rather than a framework shift.\n\nThe main problem: in §3 the proof splits possible f(z) into |f|→∞ and |f|<C. That's not exhaustive. A meromorphic function can be unbounded in one direction and bounded in another, e.g., e^z, and actually the assumption e^φ→0 might rule that out, but the text doesn't show it. The sharper issue is the step from (25) to (26): they write (1/f)'≈C/z^n because (1/f)'→0 and is meromorphic. That asymptotic is true for rational functions, but for a meromorphic function with an essential singularity at infinity, tending to zero along all directions does not automatically give a power-law tail. If the limit is uniform then the function has a removable singularity at infinity and is rational—that would justify it—but the proof doesn't say that, and the earlier case split doesn't cover the transcendental situation. So as written, the advertised theorem is not proved. It's likely fixable, but a referee should ask for it.\n\nI also want to be fair: the paper is upfront about the approximations leading to the Liouville equation—weak field, constant second fundamental form, dust-like FMET, no cosmic expansion. Those limits are not validated for galaxy scales, and the 4 Mpc scale is imported from earlier work. So the uniqueness theorems constrain a model problem, not the actual dark-matter-like behavior. The paper doesn't oversell this; it just doesn't test the chain.\n\nVerdict: the ball analysis is worth a serious referee. The string proof is incomplete. Overall I'd send it to peer review, but with the expectation that the meromorphic classification gets fixed. The paper is for specialists in embedding theory and (maybe) people working on Liouville equation classification; general readers won't need it.","headline":"Solid ball-case uniqueness, but the string-case symmetry theorem has a genuine gap in the meromorphic classification; worth refereeing but not as is.","tokens_in":11806,"tokens_out":5724,"would_cite":false,"duration_ms":77599,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that for static string-shaped fictitious-matter clusters, density decaying to zero at infinity forces rotational symmetry, and for spherically symmetric ball-shaped clusters, smoothness at the center leaves exactly a…","keywords":["embedding theory","fictitious matter","dark matter","Liouville equation","static clusters","rotational symmetry","isothermal sphere","uniqueness"],"falsifier":"For the string theorem, the decisive step is showing that $1/f'(z)$ is entire and bounded; a meromorphic $f$ satisfying the decay condition but making $1/f'$ unbounded would be a counterexample. For the ball theorem, a spherically symmetric solution of (36)-(37) that is smooth at $r=0$ but not of the form (50) would falsify the uniqueness claim.","tokens_in":10714,"feed_emoji":"🌌","tokens_out":7972,"duration_ms":72939,"temperature":0.7,"pith_summary":"Embedding theory treats spacetime as a four-dimensional surface in a ten-dimensional flat ambient space, so dark matter appears as fictitious matter governed by extra equations. The paper analyzes static wall, string, and ball clusters of this fictitious matter. For string clusters the equations reduce to the two-dimensional Liouville equation, and the paper proves that if the density simply decays at infinity, every solution is rotationally symmetric and given by an explicit formula. For ball clusters, assuming spherical symmetry, the only solutions smooth at the center form a one-parameter family with an isothermal-sphere density profile. These results make the theory's static-cluster predictions unique up to scale and position.","feed_headline":"Density decay alone fixes string dark-matter clusters","feed_subtitle":"The theorems leave only a scale parameter free, turning embedding-theory dark matter into a sharp prediction.","key_machinery":"The central object is the parameter-free Liouville equation $\\Delta\\tilde{\\varphi}+e^{\\tilde{\\varphi}}=0$. For the string case, the proof starts from the known general solution $\\tilde{\\varphi}(z)=\\log\\frac{|f'(z)|^2}{(1+\\frac18|f(z)|^2)^2}$ with $z=\\tilde{x}_1+i\\tilde{x}_2$ and $f$ a meromorphic function with nowhere-vanishing derivative; the decay condition forces $(1/f)'\\to 0$ at infinity, and then boundedness of $1/f'$ together with Liouville's theorem forces $f$ to be linear, yielding rotational symmetry. For the ball case, the machinery is the radial reduction $r=e^u$, $\\tilde{\\varphi}(r)=\\gamma(u)-2u$, which turns the ordinary differential equation into $\\gamma''+\\gamma'-2+e^{\\gamma}=0$; an order reduction to $\\psi(\\gamma)=\\gamma'$ and a case analysis of possible behaviors as $r\\to 0$ select the unique smooth branch with $\\psi\\to 2$ as $\\gamma\\to -\\infty$, producing the special-function family (50).","core_discovery":"The central claim is a pair of uniqueness results for static clusters of fictitious matter in embedding theory. In the string case, the governing equations become the parameter-free Liouville equation $\\Delta\\tilde{\\varphi}+e^{\\tilde{\\varphi}}=0$ in two dimensions. The paper proves that the single condition $e^{\\tilde{\\varphi}}\\to 0$ at infinity, meaning the density falls to zero, forces every solution to be rotationally symmetric and to take the explicit form (22), which corresponds to the density profile (23). In the ball case, under the assumption of spherical symmetry, the only solutions that are smooth at the center form the one-parameter family (50), parameterized by an overall scale; the singular isothermal sphere (40) is the only spherically symmetric solution that is not smooth at the center. Thus the static cluster solutions found earlier are not merely examples but are forced by the equations once the linear-regime approximations hold.","pith_inferences":["One testable extension is to check numerically whether the three-dimensional analogue of the Liouville equation, with only decay at infinity and no assumed spherical symmetry, also forces spherical symmetry; if it does, the ball result becomes fully unconditional.","The same rigidity may carry over to any modified-gravity theory whose static clusters obey $\\Delta\\varphi+Ce^{-\\varphi/w}=0$, so the symmetry-by-decay mechanism is not peculiar to embedding theory.","Because the linear regime sets a maximum density, a search for compact dark-matter concentrations denser than the predicted ceiling would distinguish embedding theory from particle dark matter; the paper fixes the associated scale at about 4 Mpc.","A further extension would be to include ordinary matter or cosmic expansion in the equations; the proof techniques would need to be reworked, and the uniqueness could serve as a test of whether observed halo shapes deviate from the predicted isothermal profile."],"forward_implications":["String-type clusters have a single possible internal density profile up to scale and location: once the density decays at infinity, no asymmetric solutions exist within the linear regime.","Ball-type clusters are fixed up to one scale parameter by spherical symmetry and smoothness at the center, so the flat rotation-curve profile is a sharp consequence of the equations rather than a fitted choice.","The string uniqueness does not require finite total mass; the weaker physical condition of vanishing density at infinity is enough.","The singular isothermal sphere is excluded for regular clusters because it is not smooth at the center, leaving the one-parameter family (50) as the only physically acceptable ball solution.","The maximum density of any such cluster is bounded by the background scale $L$, tying the uniqueness result to an observable ceiling on dark-matter-like halo density."],"supporting_citations":[{"why":"Derives the static FMET cluster classification into wall, string, and ball types and supplies the explicit solutions (22), (23), (40), and (50) that the present paper proves unique.","marker":"[20]"},{"why":"Proves that finite total mass forces rotational symmetry of two-dimensional Liouville solutions; the paper strengthens this by replacing finite mass with density decay.","marker":"[23]"},{"why":"Provides the general meromorphic solution of the Liouville equation used as the starting point for the string-case proof.","marker":"[24]"},{"why":"Identifies the two-dimensional equation as the classical Liouville equation, making its solution theory applicable.","marker":"[22]"},{"why":"Identifies the ball-type density profile with the isothermal sphere of stellar dynamics, connecting the uniqueness result to a known physical object.","marker":"[25]"},{"why":"Gives the recasting of embedding theory into Einstein equations with the fictitious-matter tensor, the starting system (3)-(5) analyzed here.","marker":"[14]"}],"fun_headline_variants":["Vanishing density forces rotationally symmetric strings","String dark-matter clusters are uniquely determined by decay","Embedding theory: density falloff fixes string clusters","Theorem: No asymmetric string dark-matter solutions at infinity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The uniqueness results hold only under the approximations of weak gravity, dust-like fictitious matter, no ordinary matter or cosmic expansion, and a background geometry that is effectively constant across the cluster; at high densities that approximation fails and the Liouville equations no longer apply.","fun_headline_variants_meta":{"raw":{"variants":["Vanishing density forces rotationally symmetric strings","String dark-matter clusters are uniquely determined by decay","Embedding theory: density falloff fixes string clusters","Theorem: No asymmetric string dark-matter solutions at infinity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000354,"raw_usage":{"total_tokens":1895,"prompt_tokens":888,"completion_tokens":1007,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":504,"completion_tokens_details":{"reasoning_tokens":945}},"tokens_in":504,"tokens_out":1007,"duration_ms":8253,"temperature":1.0,"reasoning_tokens":945,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:12:59.729782+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the string theorem, the decisive step is showing that $1/f'(z)$ is entire and bounded; a meromorphic $f$ satisfying the decay condition but making $1/f'$ unbounded would be a counterexample. For the ball theorem, a spherically symmetric solution of (36)-(37) that is smooth at $r=0$ but not of the form (50) would falsify the uniqueness claim.","supporting_citations":[{"cited_title":"Possible types of dark matter condensation in embed- ding gravity","cited_arxiv_id":null,"evidence_quote":"Derives the static FMET cluster classification into wall, string, and ball types and supplies the explicit solutions (22), (23), (40), and (50) that the present paper proves unique."},{"cited_title":"Classification of solutions of some nonlinear elliptic equations","cited_arxiv_id":null,"evidence_quote":"Proves that finite total mass forces rotational symmetry of two-dimensional Liouville solutions; the paper strengthens this by replacing finite mass with density decay."},{"cited_title":"Applied and Computational Complex Analysis","cited_arxiv_id":null,"evidence_quote":"Provides the general meromorphic solution of the Liouville equation used as the starting point for the string-case proof."},{"cited_title":"Sur l’equation aux differences partielles","cited_arxiv_id":null,"evidence_quote":"Identifies the two-dimensional equation as the classical Liouville equation, making its solution theory applicable."},{"cited_title":"Galactic Dynamics: Second Edition","cited_arxiv_id":null,"evidence_quote":"Identifies the ball-type density profile with the isothermal sphere of stellar dynamics, connecting the uniqueness result to a known physical object."}],"review_version":1}