{"id":"f1609873-2863-4da3-a0d4-867e7d95daab","arxiv_id":"1909.00312","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The stability of 12-fold soft-matter quasicrystals reduces to positive definiteness of an extended rigidity matrix built from phonon, phason, and density-coupling material constants.","lead":"This paper derives thermodynamic stability conditions for 12-fold soft-matter quasicrystals using a free energy that couples density changes with phonon and phason fields. If the proposed energy is correct, stability reduces to simple inequalities on material constants that can be measured in experiments.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The stability inequalities (12) omit the density–phason coupling C that appears in the central energy ansatz (2); the paper asserts both C=0 and C negligible, so if C is symmetry-allowed the claimed criterion is incomplete.","rationale":"The reader's weakest-assumption analysis identified the completeness of the free energy ansatz and the dropped density–phason coupling as the central vulnerability. In good faith, the mathematical content of the paper is otherwise mostly linear algebra: verifying that local positive definiteness of the proposed quadratic form gives Sylvester inequalities, and that the hexatic and solid-quasicrystal limits reproduce familiar criteria. The one place where the physics enters in a way that can change the answer is the treatment of C. The manuscript is internally inconsistent about C: it is present in Eq. (2), said to be zero by a reference, and also said to be negligible because ∇·w is small relative to ∇·u. The stability inequalities (12) contain no C. If C is symmetry-forbidden for 12mm, the omission is harmless and the main criterion stands as a conditional statement. If C is allowed, the inequalities are incomplete and the central claim overreaches. A concrete group-theoretic check and a recomputed determinant would settle this. Because the needed calculation is straightforward and there is no machine-checked proof or experimental confirmation of the constants, the honest disposition is CONDITIONAL: the paper should either prove C=0 from the 12mm symmetry or carry C through the derivation and adjust (12). This does not change the reader's verdict category, and it does not amount to a rejection of the paper's core idea.","tokens_in":9208,"tokens_out":11634,"duration_ms":109291,"concrete_test":"Perform an invariant-theory or representation-theory computation for point group 12mm to determine whether the quadratic invariant C (δρ/ρ0) ∂i wi is symmetry-forbidden. If it is allowed, recompute the full second variation of the free energy (2) including C, form the augmented rigidity matrix, and evaluate all principal-minor (Sylvester) conditions; compare with the inequalities (12). Any new C-dependent term, such as a reduced phason Schur complement, invalidates the claim that stability depends only on A, B, Cij, and Ki. If the invariant is proven absent, the concern is resolved and the theorem can be verified by direct determinant computation.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim is that positive definiteness of the extended rigidity matrix (10) is equivalent to the second variation (11) and yields the inequalities (12), with stability depending only on A, B, C_ij, and K_i. This is correct only if the free energy ansatz (2) is a complete quadratic description and if every term in it is retained. But Eq. (2) contains the density–phason coupling term C (δρ/ρ0) ∇·w, and the text says both \"According to [30] C should be zero\" and, separately, that the term is omitted because ∇·w is much smaller than ∇·u. These are different statements: if C=0 by 12mm symmetry, the omission is exact; if C≠0, its smallness relative to the phonon term depends on the ratio C/B and on the actual strain magnitudes, neither of which is provided. The matrix (10) and theorem (12) drop C entirely. If C is in fact allowed by the symmetry of point group 12mm, then the positive-definiteness problem is a coupled 7×7 (density plus phonon) and 4×4 (phason) block whose principal-minor conditions acquire C-dependent terms, so the printed inequalities (12) are not the stability conditions of the stated free energy. This is the softest spot in the argument because the rest of the derivation is a routine Sylvester computation; the physics input is the energy ansatz, and its treatment of C is internally inconsistent. The paper does not supply the missing proof of the theorem or a derivation that C vanishes by symmetry, so the claimed independence of the stability condition from C is not established.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a thermodynamic stability criterion for 12-fold soft-matter quasicrystals. It introduces an extended free-energy density (Eq. 2) that combines a mass-density variation, phonon strain, phason strain, and their couplings; for point group 12mm it defines an extended rigidity matrix (Eq. 10) and states a theorem (Section 3) that the stability of the phase is equivalent to positive definiteness of this matrix, yielding the inequalities (12). The paper claims that these inequalities depend only on measurable material constants, and that in limiting cases they reduce to Cowley's hexagonal-crystal stability conditions (14) and to the authors' solid-quasicrystal conditions (15).","tokens_in":9486,"tokens_out":6787,"duration_ms":70392,"significance":"If the theorem and the free-energy ansatz are correct, the paper offers a simple, falsifiable stability criterion expressed in material constants that are in principle measurable, and it connects the soft-matter quasicrystal problem to the familiar elastic-stability framework. The limiting comparison with Cowley's hexagonal-crystal condition and with solid quasicrystals is a useful consistency check. However, the central result rests on an unproved principal-minor computation and on an internally inconsistent treatment of the density-phason coupling term, so the inequalities (12) cannot yet be accepted as consequences of the stated free energy.","major_comments":[{"comment":"The theorem is load-bearing and is dismissed with 'The proof of the theorem is straightforward.' The claimed equivalence between δ²F_ex ≥ 0, positive definiteness of the matrix (10), and all inequalities in (12) is an explicit principal-minor computation; the reader needs to see the determinant conditions, especially because (10) mixes a density row with the phonon and phason blocks. Without this proof, it is not verifiable that the inequalities in (12) are exactly the Sylvester conditions for the full matrix and that no principal minor has been omitted. Please supply the proof in the text or as a supplement.","section":"Section 3, Theorem"},{"comment":"The mass-density–phason coupling term C(δρ/ρ0)∇·w is present in the stated free energy (2), but it is absent from the extended rigidity matrix (10). The text offers two justifications that are not equivalent: 'According to [30] C should be zero' and 'the term can be omitted because ∇·w is much smaller than ∇·u.' If C=0 by the symmetry of point group 12mm, that fact must be stated with a derivation or a precise reference; if C≠0 but small, the omission is an approximation whose validity depends on the ratio of C to the phason elastic constants and on the actual strain magnitudes, neither of which is quantified. If C is symmetry-allowed, the Hessian is not block diagonal and the stability inequalities acquire C-dependent terms in the density-phason principal minors, so the printed criteria (12) are not the stability conditions of the free energy (2).","section":"Section 2, Eq. (2) and Section 3, Eq. (10)"},{"comment":"The reduction argument from (12) to (14) is used to conclude that 'A could not be zero' and that this shows 'the soft matter cannot be reduced to a solid phase from the angle of requirement of soft matter stability.' This conclusion does not follow logically: when B=0 and the phason constants vanish, the density block with constant A decouples from the elastic block, so any positive A is compatible with (14) regardless of whether the material is a soft matter or a solid. The derivation only shows that the density relaxation mode is stable for positive A; it does not establish that A must be nonzero in soft matter or that this condition distinguishes soft matter from solids.","section":"Section 4 and Section 5"}],"minor_comments":[{"comment":"Equations (2), (9), (10), and (12) are badly garbled, with unclear subscripts, superscripts, and matrix entries; for example, the coupling term in (2) and the phason block in (10) are hard to parse. A cleanly typeset manuscript is needed before the mathematical claims can be independently checked.","section":"General formatting"},{"comment":"The statement 'According to [30] C should be zero' should specify which equation or symmetry argument in [30] establishes this; reference [30] discusses icosahedral solid quasicrystals, so the transfer to 12mm soft-matter quasicrystals is not self-evident.","section":"Section 2, reference to [30]"},{"comment":"The comparison with Cowley's result would be stronger if Eq. (14) were written in the same notational convention as [31] and if the reduction of (12) to (14) were shown step by step, since the current display mixes C_11, C_12, C_13, and C_33 conditions without intermediate algebra.","section":"Section 4"},{"comment":"The predictions that 7-, 9-, and 14-fold soft-matter quasicrystals 'will be found in the near future' are speculative; they should be labeled as a conjecture or prediction rather than presented as a factual statement.","section":"Introduction"},{"comment":"The solid-quasicrystal stability condition (15) is quoted without derivation or citation to a specific equation in [32]; please provide the reference or the derivation so that the reader can verify the limiting case.","section":"Section 4, Eq. (15)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript appears to have been produced from a source with badly corrupted equations; a cleanly typeset version is a prerequisite for further review. The most serious scientific issue is the inconsistency between the free energy (2) and the rigidity matrix (10) regarding the density-phason coupling C: if C is symmetry-forbidden, that must be proved, and if it is merely small, the stability inequalities must be modified. The missing proof of the theorem should also be supplied. These issues are fixable in principle, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First thing to know: this is a short letter claiming a simple thermodynamic stability criterion for 12-fold soft-matter quasicrystals. The explicit inequalities (12) are new and in principle testable, and the reductions to Cowley's hexagonal crystal conditions and to earlier solid-quasicrystal conditions are good consistency checks. The method is standard — positive definiteness of an extended rigidity matrix — but the specific result for the 12-fold soft-matter case with density coupling constants A and B is the actual new content.\n\nThe paper deserves credit for the limit-checking. When you kill the phason field and set B=0, (12) collapses to Cowley's conditions; when you set B=0 and keep phasons, you get the earlier solid-quasicrystal conditions. That is reassuring. The central derivation is straightforward linear algebra, and I don't doubt that Sylvester's criterion produces something like (12) from the matrix (10).\n\nBut the soft spots are real. The biggest one is the density–phason coupling C. Eq. (2) includes a term C (δρ/ρ0) ∇·w. The text then says two different things: \"According to [30] C should be zero\" and \"the term can be omitted because ∇·w is much smaller than ∇·u.\" Those are not the same. If C=0 by the 12mm symmetry, the omission is exact and the matrix (10) is fine. If C≠0, then the positive-definiteness problem is a coupled system and the printed inequalities (12) are incomplete. The paper never tells us which case holds. That is a load-bearing gap because the result claims stability depends only on A, B, C_ij, and K_i.\n\nSecond, the theorem proof is stated as \"straightforward\" and not shown. For a one-page letter that might pass, but here the central claim rests on that matrix, and the paper should at least sketch the principal-minor computation.\n\nThird, the conclusion overreaches a bit. The conditions (12) give a criterion for the assumed free energy to be locally stable. They do not show that the observed 12-fold soft-matter quasicrystals actually satisfy (12), nor do they explain why the phase is stable in the first place. The abstract and conclusion phrase it as \"the stability of the novel phase,\" which is stronger than what the math supports.\n\nWho is this for? People working on soft-matter quasicrystal stability, especially the Lifshitz–Diamant debate. It is not a microscopic mechanism, but it is a concrete, checkable criterion. If the C issue is resolved and the proof sketched, it is a citable result. As it stands, I would be careful citing it.\n\nMy recommendation: send it to peer review, but make revision contingent on fixing the C inconsistency, providing the missing derivation, and softening the stability claim to a conditional statement. It deserves referee time; it is just not finished.","headline":"Plausible thermodynamic stability criterion for 12-fold soft-matter quasicrystals, but the density–phason coupling is mishandled and the proof is omitted — worth revising, not rejecting.","tokens_in":10043,"tokens_out":4824,"would_cite":false,"duration_ms":44012,"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 stability of 12-fold soft-matter quasicrystals reduces to inequalities among measurable material constants.","keywords":["12-fold symmetry","soft-matter quasicrystals","extended free energy","extended rigidity matrix","positive definiteness","phason","phonon","mass density variation"],"falsifier":"Measure $A$, $C_{ij}$, $K_i$, and $B$ for a stable dodecagonal soft-matter quasicrystal and check every inequality in (12); a stable sample that violates one of the inequalities would show that positive definiteness of matrix (10) is not the operative stability condition.","tokens_in":8949,"feed_emoji":"","tokens_out":11931,"duration_ms":101038,"temperature":0.7,"pith_summary":"The paper attempts to settle a long-debated question: what makes 12-fold soft-matter quasicrystals stable? It writes an extended free energy $F_{\\mathrm{ex}}=U_{\\mathrm{ex}}-TS$ that is a quadratic form in mass-density variation, phonon (ordinary elastic) strain, phason (internal quasicrystal displacement) strain, and density--phonon coupling, and argues that stability is equivalent to positive definiteness of the associated extended rigidity matrix. That equivalence turns stability into explicit inequalities in the material constants $A$, $C_{ij}$, $K_i$, and $B$, which are in principle measurable. If the claim is right, experimenters can check stability of a candidate 12-fold phase by measuring those constants and testing the inequalities.","feed_headline":"12-fold quasicrystal stability pinned to measurable constants","feed_subtitle":"Stability of 12-fold soft-matter quasicrystals reduces to checkable inequalities on material constants","key_machinery":"The central object is the extended rigidity matrix $M$ in (10), assembled from the coefficients of the quadratic extended free energy (2)--(6). Positive definiteness of this matrix is the mechanism that converts the thermodynamic stability condition $\\delta^2 F_{\\mathrm{ex}}\\ge0$ into the algebraic inequalities (12). The matrix combines mass-density variation, phonon elasticity, phason elasticity, and their couplings in one quadratic form; for $12mm$ symmetry its blocks are the phonon constants $C_{ij}$, the phason constants $K_i$, and the constants $A$ and $B$.","core_discovery":"The central claim is a theorem: under the quadratic extended free energy (2), the condition $\\delta^2 F_{\\mathrm{ex}}\\ge0$ is equivalent to positive definiteness of the extended rigidity matrix (10), and for point group $12mm$ this is equivalent to the list of inequalities (12), which involve only $A$, the phonon constants $C_{ij}$, the phason constants $K_i$, and the density--phonon coupling constant $B$. The authors check the result in two limits: with the phason field absent and the fluid effect weak, (12) reduces to the hexagonal-crystal stability condition; with $B=0$, it reduces to the solid-quasicrystal stability condition. In both reductions the constant $A$ must stay positive, which they take to mean that the soft-matter phase cannot be reduced to a solid phase.","pith_inferences":["The same positive-definiteness construction should yield analogous stability inequalities for 5-, 8-, and 10-fold soft-matter quasicrystals; those cases would provide a direct test of the method's generality.","If a stable dodecagonal phase is found whose measured constants violate (12), the most likely origin is the omitted density--phason coupling, making that term a natural next addition to the energy.","The criterion could be used to screen candidate soft-matter systems computationally before synthesis, by estimating the constants from particle-level or self-consistent field models."],"forward_implications":["Stability of a given 12-fold soft-matter quasicrystal can be decided from measured material constants, without solving for the full quasiperiodic density pattern.","In the absence of the phason field and with a weak fluid effect, the inequalities reduce to the familiar hexagonal-crystal stability conditions.","In the solid-quasicrystal limit $B=0$, they reduce to solid-quasicrystal stability conditions, while the requirement $A>0$ marks the soft-matter phase as distinct from a solid.","Because the criterion is algebraic, it can serve as a local stability check inside numerical schemes such as finite-element computations, a use the authors mention as forthcoming."],"supporting_citations":[{"why":"Supplies the Hamiltonian and the density-coupling energy terms from which the extended free energy (2) is drawn.","marker":"[30]"},{"why":"Provide the generalized dynamics equations and constitutive law for soft-matter quasicrystals, including the computed smallness of $\\nabla\\cdot\\mathbf{w}$ used to drop the density--phason coupling.","marker":"[26-29]"},{"why":"Provides the hexagonal-crystal stability inequalities used as the no-phason, weak-fluid limiting check of (12).","marker":"[31]"},{"why":"Shows how quasicrystal elastic constants are measured, supporting the claim that the constants appearing in (12) are experimentally accessible.","marker":"[32]"}],"fun_headline_variants":["Stability criterion for 12-fold quasicrystals from measurable constants","12-fold soft-matter quasicrystals: measurable stability test","Checkable inequalities decide 12-fold quasicrystal stability","12-fold quasicrystal stability reduced to material constants","Theorem pinpoints 12-fold quasicrystal stability via constants"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the extended free energy (2) is an adequate quadratic energy: a constant-coefficient form in mass-density variation, phonon strain, and phason strain, with the density--phason coupling term omitted because $\\nabla\\cdot\\mathbf{w}$ is claimed to be much smaller than $\\nabla\\cdot\\mathbf{u}$; if this energy ansatz is incomplete, the inequalities (12) need not describe the actual stability of the quasicrystal.","fun_headline_variants_meta":{"raw":{"variants":["Stability criterion for 12-fold quasicrystals from measurable constants","12-fold soft-matter quasicrystals: measurable stability test","Checkable inequalities decide 12-fold quasicrystal stability","12-fold quasicrystal stability reduced to material constants","Theorem pinpoints 12-fold quasicrystal stability via constants"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000578,"raw_usage":{"total_tokens":2628,"prompt_tokens":749,"completion_tokens":1879,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":365,"completion_tokens_details":{"reasoning_tokens":1795}},"tokens_in":365,"tokens_out":1879,"duration_ms":33534,"temperature":1.0,"reasoning_tokens":1795,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:55:19.140391+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure $A$, $C_{ij}$, $K_i$, and $B$ for a stable dodecagonal soft-matter quasicrystal and check every inequality in (12); a stable sample that violates one of the inequalities would show that positive definiteness of matrix (10) is not the operative stability condition.","supporting_citations":[],"review_version":1}