{"id":"875185b3-a1ea-4f37-8e6d-db396dff8ece","arxiv_id":"2608.13544","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors prove a skew Schur log-concavity theorem generalizing the Lam-Postnikov-Pylyavskyy conjecture, via new skew hive and skew skep models.","lead":"This paper introduces skew hives and skew skeps, new combinatorial models that count products of skew Schur functions. It uses them to prove a skew analog of the recently resolved Lam-Postnikov-Pylyavskyy Schur log-concavity conjecture, with applications to Newell-Littlewood numbers and shadow skew Schur functions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2.23's proof depends on unstated sections S1 and S2; without explicit transversality and coverage, Theorem 2.18 and the main log-concavity result are unverified.","rationale":"The reader's weakest assumption is exactly the concern I regard as most load-bearing. The paper's main new positive result, Theorem 3.12, is a skew generalization of the Lam–Postnikov–Pylyavskyy conjecture, and its proof reduces to counting skew skeps. Skew skeps are only known to count LR coefficients through Theorem 2.18, whose proof is deferred to Theorem 2.23. Theorem 2.23 in turn relies on an octahedron-recurrence wavefront argument whose key sections S1 and S2 are not defined; the text explicitly says 'We leave the explicit descriptions to the readers' and 'One can check'. Because Definition 2.25 warns that a section is not determined by its integer points, the accompanying figures cannot serve as a rigorous specification of the triangulation. This is not a minor expository issue: Lemma 2.30 is the mechanism that converts local rhombus inequalities known on Sbot into all rhombus inequalities, and without S1/S2 the implication (3)⇒(5) fails. The fix is concrete: write down the sections and verify transversality and coverage, or adapt Speyer's Definition 3.22 from [Spe26] with the requisite changes. I found no other objection that more directly threatens the central claim; the numerical inconsistency in Example 1.3 and the notation slip in Theorem 3.12 are secondary and do not affect the main theorem's logical structure. I agree with the reader that the verdict should remain CONDITIONAL: the framework and strategy are plausible, but the proof is not complete until the omitted section data are supplied.","tokens_in":22774,"tokens_out":13416,"duration_ms":140937,"concrete_test":"Provide explicit piecewise-linear formulas for the sections S1 and S2 of RΠ_n (for example, t = f(i,j) on each triangle of a fixed subdivision of RΔ_{2n}), then verify for n = 2, 3, 4: (a) each is a section in the sense of Definition 2.25; (b) S1 intersects all type-(1) and type-(2) wavefronts transversely and does not pass through the cut point of any relevant type-(3) wavefront; (c) S2 intersects all type-(3) wavefronts transversely; (d) for every unit rhombus R of Π_n there is an allowed wavefront W such that R lies in W∩S1 or W∩S2. If no such formulas can be written down, Theorem 2.23's (3)⇒(5) direction should be regarded as unproved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central chain is: Theorem 2.18 counts skew Schur LR coefficients by skew skeps, and Theorem 3.12 uses this count together with the equality |SkewSkep^κ_{λ/μ,ν/ρ}(g+)| = |SkewSkep^κ_{ν/ρ,λ/μ}(g+)| to take square roots in the L-log-concavity argument. That equality comes from Theorem 2.23, specifically the equivalence between restrictions to Sbot_skewskep and Stop_skewskep. The proof of Theorem 2.23's direction (3)⇒(5) (and (2)⇒(5)) is dispatched as follows: 'We use the sections S1 and S2 similar to [Spe26, Definition 3.22]. These sections can be seen in Figures 2b and 2c. We leave the explicit descriptions to the readers. One can check that S1 intersects wavefronts of type (1) and (2) transversely (Figure 4), and S2 intersects wavefronts of type (3) transversely (Figure 5).' This is not a verification. Definition 2.25 explicitly notes that a section is not determined by its discrete set of integer points, so a picture of t-values does not specify the triangulation needed to check transversality. Lemma 2.30 requires, for every unit rhombus R, a section S0 containing R and a transverse wavefront W; the proof needs S1 and S2 to supply such S(W) for every wavefront type, and no explicit description or formal check is given. If the claimed transversality or coverage fails, then the square-root step in Theorem 3.12 has no basis, and the skew skep counting theorem 2.18 is likewise unsupported. This is a fixable gap rather than a proven error, but it is the load-bearing point of the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper introduces two new combinatorial models, skew hives and skew skeps, on the triangular grid Δ_{2n}, and proves that both count Littlewood–Richardson coefficients c^κ_{λ/μ,ν/ρ} for products of skew Schur functions. The main structural result is an octahedron-recurrence equivalence between four sections (Theorem 2.23), from which the skew skep counting theorem (Theorem 2.18) is derived. Using Speyer's L-convexity machinery and the symmetry between SkewSkep^κ_{λ/μ,ν/ρ} and SkewSkep^κ_{ν/ρ,λ/μ}, the paper proves Theorem 3.12, a skew generalization of the Lam–Postnikov–Pylyavskyy Schur log-concavity conjecture, with applications to Newell–Littlewood numbers and shadow skew Schur functions. Section 5 gives bijections between phased skew hives and phased peelable tableaux, answering a question of Speyer. The counting and log-concavity arguments are supported by worked examples, but the proof of Theorem 2.23 contains a substantial unverified geometric step.","tokens_in":23115,"tokens_out":9344,"duration_ms":93290,"significance":"If fully substantiated, the main theorem is a genuine advance: it generalizes Speyer's resolution of the Lam–Postnikov–Pylyavskyy conjecture to skew Schur functions and simultaneously recovers several results of Lam–Postnikov–Pylyavskyy. The skew hive and skew skep models are natural and likely to be useful tools, and the applications to Newell–Littlewood numbers and shadow Schur functions are nontrivial. Section 5 provides a conceptual bridge between peelable tableaux and octahedron-recurrence models. The paper is clearly written and the main logical chain is visible, but the proof of Theorem 2.23 currently leaves a load-bearing transversality and coverage verification to the reader, so the central claim is not yet fully established.","major_comments":[{"comment":"The proof of the direction (3)⇒(5), and similarly (2)⇒(5), is not a verification. Definition 2.25 explicitly cautions that a section is not determined by its discrete set of integer points, yet the sections S1 and S2 are introduced only through the t-coordinate pictures in Figures 2b and 2c, with the sentence 'We leave the explicit descriptions to the readers' and the assertion 'One can check that S1 intersects wavefronts of type (1) and (2) transversely...'. Lemma 2.30 requires, for every wavefront W, a section S(W) transverse to W along which all rhombus inequalities hold; Figures 4 and 5 illustrate the intended intersections but do not specify the triangulations needed to check transversality or coverage. Since Theorem 2.18 depends on Theorem 2.23, and Theorem 3.12 uses the equality |SkewSkep^κ_{λ/μ,ν/ρ}(g+)| = |SkewSkep^κ_{ν/ρ,λ/μ}(g+)| obtained from Theorem 2.23 to take square roots in equation (3), this gap is load-bearing. Please provide explicit descriptions of S1 and S2 and a complete proof of the transversality and coverage properties, or replace Lemma 2.30 with a fully verified statement.","section":"§2.4, Theorem 2.23"},{"comment":"The proof of Bijection 5.14 is incomplete in its induction step. After the base case k=n, the text asserts that passing from k to k−1 is achieved by the octahedron recurrence at diagonals i+j=k,k+2,…,2n−k on the hive side and by BK_k∘BK_{k+2}∘⋯∘BK_{2n−k} on the tableau side, and then states 'It is not difficult to check that Bender–Knuth involutions coincide with the octahedron recurrence after the procedure.' This coincidence is exactly the content of the bijection and is not a routine check; it needs a proof. The worked Example 5.15 illustrates one instance (k=3 to k=2) but does not establish the general claim. As it stands, Theorem 5.13 and the claimed answer to Speyer's question are not fully verified.","section":"§5.3, Bijection 5.14"}],"minor_comments":[{"comment":"The displayed definition of L(u,v) reads 'min(...) ≤ z_i−z_j ≤ min(...)' with the same expression on both sides; the upper bound should be max(u_i−u_j, v_i−v_j). This appears to be a typo, but it makes the definition formally nonsense as printed.","section":"§3.1, Definition 3.1"},{"comment":"The equation in the theorem statement, '(λ, μ) + (ν, ρ) = (λ′, µ′) + (µ′, ρ′)', appears to contain a typo: the second summand on the right should be (ν′, ρ′) rather than (µ′, ρ′).","section":"Theorem 3.12"},{"comment":"The notation ≤_s for 'Schur-positive difference' is used in the introduction and in Theorem 3.12 but is never explicitly defined; please add a definition at first use.","section":"§1.1"},{"comment":"In the sentence 'Speyer's proof techinique shows...' there is a typo: 'techinique' should be 'technique'.","section":"§1.2"},{"comment":"The proof of Theorem 2.13 verifies the boundary h↖ by writing '= h↑ = κ'; this is correct only because h↖ of the constructed skew hive equals the h↑ boundary of the original hive. The notation is potentially confusing and would benefit from an explicit sentence saying which boundary of which object is being used.","section":"§2.2, Theorem 2.13"},{"comment":"The definition of k-phased skew hive is given by rhombus inequalities determined by Ht_{P_k}, but the explicit inequalities are not written down; for a self-contained paper, at least the k=2 case (used in Example 5.15) should be stated.","section":"§5.3"}],"recommendation":"major_revision","confidential_remarks":"The main mathematical idea is strong and the paper is likely publishable after revision. The critical issue is the unverified construction of sections S1 and S2 in Theorem 2.23; since Definition 2.25 itself warns that sections are not determined by integer points, relying on figures and 'one can check' is not acceptable for a central lemma. The gap is probably fixable by following Speyer's explicit construction, but the authors must supply it. The second gap in Bijection 5.14 is also fixable, although it concerns a secondary contribution. I also recommend a careful proofreading pass: the L(u,v) definition typo and the Theorem 3.12 equation typo suggest that the manuscript was not carefully checked."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a real advance. The skew hive and skew skep models are new, they specialize to both hives and skeps, and the paper uses them to prove a skew version of the Lam–Postnikov–Pylyavskyy log-concavity conjecture (Theorem 3.12), plus corollaries for Newell–Littlewood and shadow skew Schur functions. The strategy is the right one: translate Schur positivity into counting skew skeps, then apply Speyer's L-convexity theorem. If the proof of Theorem 2.23 were complete, I would regard the main theorem as established.\n\nWhat is actually good: the counting theorems are supported by explicit bijections (skew hives via row-reversal; skew skeps via the octahedron recurrence) and worked examples; the boundary condition derivations in Section 2 are careful. Section 5's bijections with peelable tableaux answer Speyer's question in a satisfying way. The citations to [NNW25] in Section 5 are used for genuinely independent prior results; nothing there looks like self-citation padding.\n\nThe soft spot is exactly the one flagged by the stress-test. In the proof of Theorem 2.23, the direction (3)⇒(5) is dispatched with 'we leave the explicit descriptions to the readers' and 'one can check'. That is not a proof of a load-bearing claim. As Definition 2.25 itself emphasizes, a section is not determined by its integer points, so the t-value pictures in Figures 2b/2c, 4, and 5 do not determine the triangulations needed to verify transversality or coverage. Lemma 2.30 needs S1 and S2 to cover wavefronts of all three types, and without that the equality |SkewSkep^κ_{λ/μ,ν/ρ}(g+)| = |SkewSkep^κ_{ν/ρ,λ/μ}(g+)| has no basis, and the square-root step in Theorem 3.12 fails. This is likely repairable by writing out the analog of Speyer's sections, but as submitted it is an incomplete verification, not a gap in the idea.\n\nSmaller issues: Theorem 3.12's statement has an obvious typo in the condition (probably (ν′,ρ′)); Example 1.3's numbers do not obviously evaluate to 6 > 5, so the LR coefficients should be rechecked; the proof of Bijection 5.14 says the induction is 'not difficult to check'. None of these are fatal.\n\nBottom line: this deserves a serious referee. The novelty is high, the main idea is sound, and the missing pieces look fillable. I would send it to peer review, and the referee report should demand an explicit description of S1 and S2 with a real transversality check. I would not cite Theorem 3.12 as established in my own work until that is done.","headline":"A genuinely new skew Schur log-concavity result built on Speyer's machinery, but the key section S1/S2 proof is sketched rather than verified.","tokens_in":23699,"tokens_out":3784,"would_cite":false,"duration_ms":39038,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["05E05","05E10","05A17"],"pacs":[],"model":"deepseek-v4-flash","headline":"A new proof with skew hives and skew skeps shows that when paired skew shapes lie in a common L-convex hull, the corresponding product of skew Schur functions dominates the other product in Schur-positive order.","keywords":["skew hives","skew skeps","Schur log-concavity","Littlewood-Richardson coefficients","L-convexity","octahedron recurrence","Newell-Littlewood numbers","shadow skew Schur functions"],"falsifier":"For $n=4$, enumerate all integer functions on $\\Pi_4$ satisfying the octahedron recurrence and test whether every one whose bottom section is a valid skew hive also satisfies every rhombus inequality; one failure disproves Theorem 2.23. Independently, compute $c^\\kappa_{\\lambda'/\\mu',\\nu'/\\rho'}-c^\\kappa_{\\lambda/\\mu,\\nu/\\rho}$ for all $\\kappa$ for a small admissible quadruple of partitions with four rows; any negative value disproves Theorem 3.12.","tokens_in":22525,"feed_emoji":"🔺","tokens_out":16397,"duration_ms":149822,"temperature":0.7,"pith_summary":"Skew Schur functions are symmetric functions indexed by a difference of two partitions; their products have nonnegative Littlewood-Richardson coefficients, but it is usually hard to tell when one product dominates another. This paper introduces two counting models, skew hives and skew skeps, for the coefficient $c^\\kappa_{\\lambda/\\mu,\\nu/\\rho}$, and uses them to prove a clean dominance statement: whenever two pairs of skew shapes have the same coordinate-wise sum and the second pair lies in the L-convex hull of the first, the product for the second pair minus the product for the first is Schur positive. That result is the skew analog of the classical Schur log-concavity conjecture, and it directly gives log-concavity inequalities for Newell-Littlewood numbers and shadow skew Schur functions. The same models are connected by explicit bijections to peelable tableaux, yielding several equivalent Littlewood-Richardson rules.","feed_headline":"Skew Schur products obey a log-concavity order","feed_subtitle":"When paired shapes lie in one convex hull, the bigger pair beats the smaller in Schur-positive order.","key_machinery":"The central object is the skew skep: a function on the triangular board $\\Delta_{2n}$ satisfying four rhombus inequalities, with upper and right boundary data $(\\lambda_1,\\nu_1,\\ldots,\\lambda_n,\\nu_n)$ and $(\\mu_1,\\rho_1,\\ldots,\\mu_n,\\rho_n)$ and northwest boundary $\\kappa$; Theorem 2.18 says the number of such skew skeps equals $c^\\kappa_{\\lambda/\\mu,\\nu/\\rho}$. The skew hive is the sibling model with the three hive inequalities, imposed except along one diagonal; Theorem 2.13 gives the same count. The two models are connected by the octahedron recurrence on a three-dimensional point set $\\Pi_n$: a solution's restrictions to four different sections are respectively skew hives and skew skeps with interchanged boundaries, and Theorem 2.23 says all four restrictions are valid exactly when the solution satisfies every rhombus inequality. The proof then steps outside the models: fixing the even-parity entries and $\\kappa$ makes the set of skew skeps an L-convex set in the sense of discrete convex analysis, and the marginal-count theorem for L-convex sets makes the boundary count L-log-concave.","core_discovery":"The central claim, Theorem 3.12, is that for partitions $\\lambda,\\mu,\\nu,\\rho$ and $\\lambda',\\mu',\\nu',\\rho'$ satisfying $(\\lambda,\\mu)+(\\nu,\\rho)=(\\lambda',\\mu')+(\\nu',\\rho')$ and $(\\lambda',\\mu'),(\\nu',\\rho')\\in L((\\lambda,\\mu),(\\nu,\\rho))$ in $\\mathbb{Z}^{2n}$, the difference $s_{\\lambda'/\\mu'}s_{\\nu'/\\rho'}-s_{\\lambda/\\mu}s_{\\nu/\\rho}$ is Schur positive. Phrased in the paper's model, the coefficient of $s_\\kappa$ in this difference is a difference of two skew-skep counts, and the proof shows the primed count is always at least the unprimed one. The mechanism is that after fixing the parity sublattice of the triangular board and the northwest boundary $\\kappa$, the set of skew skeps carrying those fixed data is an L-convex set; the marginal theorem for L-convex sets makes its boundary count an L-log-concave function of the boundary pair, and a reflection symmetry of the skew-skep model converts that inequality into the desired coefficient-wise dominance.","pith_inferences":["Beyond the paper, the same L-convex marginal argument should extend to products of more than two skew Schur functions if a multi-boundary skew-skep model can be written down; the final remarks only gesture at higher-dimensional path models.","The coefficient-wise nature of the proof suggests there should be an explicit injective map from the skew skeps counted by $c^\\kappa_{\\lambda/\\mu,\\nu/\\rho}$ into those counted by $c^\\kappa_{\\lambda'/\\mu',\\nu'/\\rho'}$; constructing such a map would turn the Schur-positive difference into a bijective proof with extra structure.","Because Theorem 1.6 is proved by the same skew-skep count with only the first $2\\ell$ boundary entries fixed, the shadow-Schur argument likely works verbatim for lower Schur functions defined by fixing bottom parts, which the authors list as an open question.","The sections $S_1,S_2$ that the proof leaves to figures could be produced algorithmically for each $n$; a finite search for triangulated sections with the stated transversality would replace the pictorial check with a computation."],"forward_implications":["In the non-skew case ($\\mu=\\rho=\\mu'=\\rho'=\\varnothing$), Theorem 3.12 reduces to the classical Schur log-concavity statement: $s_{\\lambda'}s_{\\nu'}-s_\\lambda s_\\nu\\ge 0$ in Schur-positive order whenever $\\lambda'+\\nu'=\\lambda+\\nu$ and the primed partitions lie in the $L^\\natural$-hull.","The log-concavity passes to Newell-Littlewood numbers: $N_{\\mu',\\nu',\\lambda}\\ge N_{\\mu,\\nu,\\lambda}$ for every $\\lambda$ when $\\mu+\\nu=\\mu'+\\nu'$ and $\\mu',\\nu'$ lie in the $L^\\natural$-hull; equivalently, the same positivity holds in the universal character basis for symplectic and orthogonal groups.","Shadow skew Schur functions satisfy the same theorem: $S^{(k,\\ell)}_{\\lambda'/\\mu'}S^{(k,\\ell)}_{\\nu'/\\rho'}-S^{(k,\\ell)}_{\\lambda/\\mu}S^{(k,\\ell)}_{\\nu/\\rho}$ is Schur positive under the same hypotheses.","The earlier min/max, integer-averaging, and sorting inequalities for products of skew Schur functions all follow as special cases of Theorem 3.12.","Skew hives, skew skeps, and phased peelable tableaux give $2n$ equivalent Littlewood-Richardson rules, related by the octahedron recurrence and Bender-Knuth involutions."],"supporting_citations":[{"why":"Introduces hives and proves they count Littlewood-Richardson coefficients; the skew hive model is built from this.","marker":"[KT99]"},{"why":"Supplies the skep model, the octahedron-recurrence equivalence, and the L-convex marginal theorem that carries the log-concavity proof.","marker":"[Spe26]"},{"why":"States the Schur log-concavity conjectures and special cases (Theorem 5, Theorem 12, Corollary 14) that Theorem 3.12 generalizes.","marker":"[LPP07]"},{"why":"Provides the section-and-wavefront lemma used to prove the octahedron equivalence for skew hives and skew skeps.","marker":"[HK06]"},{"why":"Supplies the definitions and theory of L-convex sets and L-log-concave functions underlying Section 3.","marker":"[Mur03]"},{"why":"Introduces peelable tableaux for shuffle tableaux; Section 5 connects them to skew hives and answers the question about the connection.","marker":"[NNW25]"},{"why":"Introduces peelable tableaux as a Littlewood-Richardson rule and gives the tableau-to-Yamanouchi bijection used in Bijection 5.14.","marker":"[RW84]"},{"why":"Gives the bijection between Yamanouchi tableaux and hives used to construct skew hives from tableaux.","marker":"[Buc00]"}],"fun_headline_variants":["Skew skeps prove skew Schur log-concavity","Skew Schur products dominate in Schur-positive order","LPP conjecture generalized via skew hives and skeps","Counting skew skeps proves log-concavity","New skew model shows Schur positivity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof of the octahedron equivalence depends on two geometric slices through a three-dimensional grid that are exhibited only in figures, with the authors saying the reader can check them; if those slices do not cut every required plane correctly, the skew-skep counting theorem and the main log-concavity proof collapse.","fun_headline_variants_meta":{"raw":{"variants":["Skew skeps prove skew Schur log-concavity","Skew Schur products dominate in Schur-positive order","LPP conjecture generalized via skew hives and skeps","Counting skew skeps proves log-concavity","New skew model shows Schur positivity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000203,"raw_usage":{"total_tokens":1390,"prompt_tokens":957,"completion_tokens":433,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":573,"completion_tokens_details":{"reasoning_tokens":355}},"tokens_in":573,"tokens_out":433,"duration_ms":4464,"temperature":1.0,"reasoning_tokens":355,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:30:58.850640+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $n=4$, enumerate all integer functions on $\\Pi_4$ satisfying the octahedron recurrence and test whether every one whose bottom section is a valid skew hive also satisfies every rhombus inequality; one failure disproves Theorem 2.23. Independently, compute $c^\\kappa_{\\lambda'/\\mu',\\nu'/\\rho'}-c^\\kappa_{\\lambda/\\mu,\\nu/\\rho}$ for all $\\kappa$ for a small admissible quadruple of partitions with four rows; any negative value disproves Theorem 3.12.","supporting_citations":[],"review_version":1}