Exact Classical Rate–Distortion for Phase-Lifted Generalized Coherent States: Cartan-Product Laplace Rigidity, Universal Radial Envelopes, and Slater-Determinant Transitions

Strengths

• Lemma 3.1 and Theorem 3.2, p.3: trace-one Haar averaging yields P_m/d_m; nonnegative Bessel coefficients make the all-field bound immediate, and the m=2 term enforces the stated nonzero-field equality set. Sugita, https://arxiv.org/pdf/nlin/0208007, confirms the underlying moment result.
• Theorem 4.1 and Corollary 4.2, pp.4-5: the entropy converse covers extended divergences and standard-Borel descriptions. Haar mixing gives the correct source marginal; an independent revealed flag then mixes rate and distortion without charging information for the flag.
• Proposition 5.1, pp.5-6: positive fourth cumulant gives positive gain at s=N, whereas small fields favor zero. Local negativity uniformly below N prevents an activation radius from tending to zero. This establishes a genuine coexistence face without assuming branch uniqueness.
• Lemma 6.1 and Proposition 6.2, pp.6-7: conditioning two Poisson variables controls the drifting Bessel saddle. The cutoff Delta<=sqrt(D) gives complement mass O(sqrt(D)), enough to preserve the additive constant under convexification. No differentiation of an uncontrolled remainder is needed.
• Propositions 7.1-7.2 and Theorem 7.3, pp.7-8: rectangular dimensions yield the hypergeometric series and beta-product moments; compact-support moment determinacy justifies the distributional identity. The (5,2) sixth cumulant is -1/11200 and the n>=6 interior-family sign calculation is correct.
• Corollary 8.1, p.9: the projective same-orbit reproduction restriction is stated explicitly. Its invariant partition, zero-rate threshold 1-1/N and monotone tilted distortion agree with the distinct projective operational problem.

Weaknesses

• Section 9 replay coverage is finite and concentrated on exterior-power representations. It does not execute arbitrary semisimple Cartan projections, prove all-field global radial optimization, or establish absence of later radial exchanges. The paper mostly states these limits accurately.
• The figure generator completed its envelope calculations but exited 1 while saving src/manuscript/paper/coherent_orbit_envelopes.pdf because the parent directory is absent. This is an actual package failure, not a failed mathematical identity. The supplied scripts and manuscripts were not altered.
• The replay requirements list numpy and scipy without version pins; the figure also imports matplotlib, and the advertised wrapper requires PowerShell. My direct Python executions used numpy 2.3.5, scipy 1.17.0 and matplotlib 3.10.8.
• The bounded primary-source comparison supports the distinction from Sugita, invariant-group RDF and the known sphere solution, but does not establish exhaustive priority for every representation or related coherent-orbit compression formulation.

Potential errors

• Conclusion, p.10: saying dim V_(2 lambda) decides whether information turns on discontinuously is stronger than Proposition 5.1. Only d2<N^2/2 is proved sufficient; a converse for nonpositive fourth cumulant is not supplied. This wording does not invalidate the stated proposition.
• Corollary 4.2, p.5: g is defined only for u<1 but the displayed formula includes D=0. State its lower-semicontinuous extension with g(1)=+infinity. The non-atomic source has infinite exact-reconstruction information, so this is an endpoint convention, not evidence of a finite-rate counterexample.

Strong novelty candidates

• Theorems 3.2-4.1: the all-field coherent-ray extremum used to solve unrestricted ambient squared-error RDF for an entire highest-weight family, including exact flagged radial coexistence.
• Proposition 5.1 and Theorem 7.3: an operational first-activation test expressed through two representation dimensions, with the full n>=6 interior Slater family as a concrete consequence.
• Proposition 6.2: the explicit positive-root high-fidelity offset for the unrestricted radial frontier. Priority remains a candidate, not certified by this assessment.

Unresolved material objections

None reported.

Strengths

• Lemma 3.1 identifies the exact Cartan moment as a projector norm divided by dim V_{m lambda}; Theorem 3.2 legitimately sums nonnegative even moments and uses the m=2 equality case to classify all nonzero Laplace maximizers.
• Theorem 4.1 does more than state a converse: Haar mixing of the reverse exponential channel restores the exact source marginal, the stationarity equation makes the report its posterior mean, and a revealed flag attains linear faces.
• Corollary 4.2 correctly expresses unrestricted squared-error RDF as the lower convex envelope of the fixed-radius Cramer cost in squared radius, making radial coexistence operationally transparent.
• Proposition 5.1 derives the stability field s0=N and uses positive fourth cumulant to force a positive-radius first contact strictly before N, without claiming uniqueness or no reentrance.
• Lemma 6.1 controls the drifting Bessel-weighted index with a conditioned-Poisson representation instead of interchanging a merely pointwise Weyl asymptotic with an unbounded sum.
• Propositions 7.1-7.2 give mutually consistent Weyl, hypergeometric, and beta-product descriptions; the exact replay confirmed 728 dimension and complement checks and all tested cumulants.

Weaknesses

• The high-fidelity proof is compact enough that the uniformity used to preserve the additive constant under lower convexification deserves a separate stated lemma, even though the event split and Jensen argument point to the correct conclusion.
• The equality classification in Theorem 3.2 depends on the cited Kostant-Lichtenstein quadratic criterion; the supplied batch does not contain that primary paper or a self-contained proof.
• The strongest novelty claims combine several classical ingredients, and the targeted source lookup verified antecedents but was not an exhaustive field-wide search.
• The figure-generation script computes the curves but then raises FileNotFoundError because src/manuscript/paper/ is absent and the script does not create it.

Potential errors

• Proposition 6.2's statement that lower convexification preserves the full constant uses uniform deterministic-radius asymptotics on a shrinking event. The written argument is plausible, but an explicit global remainder bound would remove the main analytic verification risk.
• Theorem 4.1's endpoint completion invokes convex closure after constructing all finite-field exposed/subgradient distortions. This is standard for RDFs, but the lower-semicontinuity and zero-distortion limiting passage are not separately cited.
• The figure script's output-path failure is not evidence against any theorem because the figure is expressly diagnostic, but it prevents a clean one-command reproduction of every supplied program.

Strong novelty candidates

• The all-field coherent-ray Laplace rigidity obtained by positive resummation of all integer Cartan moments with an exact equality classification.
• The exact classical squared-error RDF for arbitrary standard-Borel descriptions with decoder reports allowed throughout the coherent-state orbitope, including flagged attainment of nonexposed faces.
• The representation-dimensional discontinuity criterion dim V_{2lambda}<N^2/2 and its complete Slater-family sign classification.
• The sharp root-system-dependent high-fidelity additive constant and explicit hypergeometric normalizer and beta-product overlap law for phased Slater determinants.

Unresolved material objections

None reported.

Strengths

• Section 3, pp. 3: the averaged tensor projector has trace one on V_mlambda, giving the precise 1/d_m normalization. Positive phase-Bessel coefficients make a strict m=2 deficit sufficient for strict all-field inequality at nonzero field; Sugita Section III supports the equality input.
• Theorem 4.1, p. 4: averaging the reverse Gibbs kernel over the transitive orbit really restores the prescribed source marginal. Thus the constant entropy dual is attained here, rather than merely providing a lower bound for an arbitrary source.
• Corollary 4.2 and Remark 4.3, p. 5: coherent fields have radial posterior means because they maximize the smooth partition function on the full fixed-norm sphere. K'(kappa)<1 excludes b=1 at finite field, and binary revealed flags attain the lower-hull chords without extra I(X;J).
• Proposition 5.1, pp. 5-6: the positive quartic coefficient gives gain at s=N, while uniform quadratic negativity at a first contact s_c<N excludes vanishing contact radius. This establishes coexistence without presuming a unique positive branch.
• Lemma 6.1 and Proposition 6.2, pp. 6-7: the conditioned-Poisson concentration controls the drifting index in the Weyl asymptotic. The resulting constant 2^p A_lambda/sqrt(2*pi), phase dimension 2p+1 and conversion D=1-b^2 are mutually consistent.
• Propositions 7.1-7.2 and Theorem 7.3, pp. 7-8: cancellation of the Pochhammer factors yields the stated hypergeometric series; compact moment determinacy justifies the beta-product law. The exceptional (5,2) sixth cumulant is -1/11200, and the n>=6 interior sign classification is correct.
• Corollary 8.1, p. 9: the projective problem explicitly restricts reproduction to the orbit. Its partition function H_lambda, zero-rate threshold 1-1/N and strict monotonicity are consistent with that different operational model.

Weaknesses

• Section 9 and code availability, pp. 9-10: the batch has no replay_all.ps1, LaTeX source or bibliography source. The README command therefore is not reproducible from this supplied subset. The figure script also assumes an absent manuscript/paper directory and imports matplotlib, omitted from requirements.txt.
• The numerical active_radius routine chooses one grid neighborhood and refines it locally. It cannot rule out narrow missed maxima, prove global uniqueness, certify transition locations, or establish the all-representation theorem. Its high-field check tests improvement between two fields, not a rigorous remainder bound.
• Proposition 6.2, p. 7: spell out P(A_D^c)<=sqrt(D), not just o(1). That stronger rate is what makes the lost mass times log(1/D) vanish and preserves the claimed additive constant. The bound is available from the printed choice A_D={Delta<=sqrt(D)}, so this is a resolved exposition issue.
• Theorem 4.1 and Corollary 4.2 should explicitly state R(0)=+infinity and the extended-value convention at u=1; finite-field tilted channels do not attain zero distortion. The limiting argument supports the value, but the blanket attainment language needs that qualification.
• The bibliography comparison was selective: Sugita and the sphere predecessor were checked directly, but no exhaustive search established priority for every coherent orbit, root constant or beta-product representation.

Potential errors

• Conclusion, p. 10: saying dim V_2lambda decides whether onset is discontinuous overstates Proposition 5.1. The proved condition d_2<N^2/2 is sufficient; the converse for arbitrary representations is not proved. Earlier sections correctly restrict the claim.
• Several references call lemmas or propositions theorems (notably 2.2, 3.1, 5.1, 6.1 and 6.2). These are navigational errors, not missing results; all referenced arguments are present.

Strong novelty candidates

• Theorem 4.1 together with Corollary 4.2: an exact unrestricted classical RDF for general phase-lifted highest-weight orbits, including radial coexistence and arbitrary standard-Borel descriptions.
• Proposition 5.1 and Theorem 7.3: translating a representation-dimension inequality into a first-order activation theorem, with the complete positive-quartic Slater family n>=6.
• Proposition 6.2: the explicit root-system offset in the high-fidelity RDF, integrated with the unrestricted radial optimization. This is a plausible contribution, not an independently certified priority claim.

Unresolved material objections

None reported.

Strengths

• Theorem 3.2 legitimately upgrades the integer Cartan moment inequality to every real field: phase averaging removes odd moments, all remaining coefficients are nonnegative, and equality of the full sum forces equality in the quadratic Cartan projection when the field and report are nonzero.
• Theorem 4.1 treats unrestricted reproductions rather than silently imposing an orbit codebook. Posterior means lie in the compact orbitope, the entropy variational inequality supplies the converse, and the invariant reverse channel has the required Haar source marginal.
• Corollary 4.2 exposes the operational role of radial shrinkage through the lower convex envelope, with binary revealed time sharing sufficient in one dimension and the zero-rate threshold correctly tied to the phase-symmetric mean.
• The Slater specialization is unusually explicit: rectangular Weyl dimensions, the hypergeometric normalizer, the beta-product overlap law, the quartic sign classification, and the exceptional sixth cumulant are mutually consistent and were replayed exactly.
• The manuscript separates classical amplitude compression, projective distortion, and quantum rate-distortion, reducing a common risk of overclaiming.

Weaknesses

• In the attainment proof, the statement that the log-partition gradient at a coherent maximizer is radial is asserted rather than proved from the stabilizer and highest-weight multiplicity-one structure. The main reverse-channel equality does not appear to fail, but this claimed posterior-mean identification should be justified explicitly.
• The high-fidelity proof compresses the uniformity needed when lower convexifying g near u=1. The displayed event uses Delta at most sqrt(D), which makes the Markov step valid, but a short explicit bound on the uniform remainder would remove ambiguity.
• The novelty check is necessarily limited. The inspected Sugita and Dytso-Cardone primary sources confirm major antecedents, but a targeted lookup cannot certify that no prior invariant rate-distortion formulation already yields an equivalent radial envelope.
• The public package is not runnable exactly as documented: README_REPRODUCIBILITY.md names a missing PowerShell runner, and the figure program assumes a missing manuscript/paper output directory.

Potential errors

• Equation (4.7) is sufficient for radial stationarity, but the text's stronger vector assertion E[X|Y=y]=by also needs exclusion of other stabilizer-fixed directions; this is standard for an irreducible highest-weight line but is not demonstrated in the manuscript.
• The figure generator performs all numerical envelope work and fails only at save time, so its calculations were executed but no full successful figure run occurred from the supplied tree.
• The reported exact sphere reduction is consistent with the cited primary source's problem statement, but I did not independently algebraically identify every normalization convention in the two formulas.

Strong novelty candidates

• The positive phase-Bessel resummation converting all integer coherent-state moment extrema into an all-field Laplace-transform extremum with equality classification.
• The exact unrestricted classical RDF over the coherent-state orbitope, including radial reports and flagged attainment of convex-envelope chords.
• The representation-dimensional discontinuous-onset criterion and its complete phased-Slater sign classification.

Unresolved material objections

None reported.