{"id":"115f778d-cdde-4d84-9e44-2459c97bad1a","arxiv_id":"1908.07893","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"A new tropical volume, called the tropical barycentric volume, is defined from a tropical Ehrhart polynomial and is shown to satisfy the standard volume axioms and to be upper bounded by the dequantized tropical volume.","lead":"This paper develops a tropical analogue of Ehrhart's lattice point counting theorem and uses it to define a new intrinsic volume for tropical polytopes. The new tropical barycentric volume satisfies the usual volume properties and comes with new estimates and complexity results.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Alcoved triangulation T_P is asserted for tropical lattice polytopes, but canonical ones may have −∞ vertices (e.g. [−∞,0]^d), whose covector decomposition has unbounded cells, so Definition 4.3 and Theorem 3.14 are not well-defined for the stated class.","rationale":"The reader's weakest assumption pointed to the imported alcoved triangulation, and my concern is in the same region but more specific: the triangulation is not merely unproved for all tropical lattice polytopes, it is actually absent for canonical tropical lattice polytopes that have −∞ vertices and are therefore unbounded in the ordinary sense. The central Theorem 3.6, giving polynomiality of L_b^P(k), is proven by a different semiring-isomorphism argument and remains sound. The volume properties of tbvol are proven from Definition 4.5 and are also unaffected. What breaks is the claimed universality of the explicit coefficient formula (Theorem 3.14) and of Definition 4.3, which are stated for all tropical lattice polytopes but rely on a finite alcoved triangulation into bounded simplices. Since the paper uses this machinery to identify tbvol with the logarithm of the Ehrhart leading coefficient, the identification is not established for the unbounded cases, even though it holds in the basic examples. This is a substantial but local gap, best fixed by a clarifying restriction, so the verdict should be CONDITIONAL rather than a flat rejection or an unchanged accept.","tokens_in":27810,"tokens_out":36033,"duration_ms":345384,"concrete_test":"Take P = [−∞,1] in T^1. Compute L_b^P(k) = #([−∞,k+1] ∩ Γ_b) = b^{k+1} + 1, so the leading coefficient is b and Log|b| = 1 = tbvol(P) from Definition 4.5. Then attempt to instantiate Definition 4.3 and Theorem 3.14 for this P: the covector decomposition of [−∞,1] consists of the unbounded ray (−∞,0] and the bounded interval [0,1] only if split at 0, so no finite collection of bounded alcoved simplices [a,a+1] with a ∈ Z_{\\ge0} covers P. This shows that the alcoved triangulation T_P and the sum in (3) are undefined for a canonical tropical lattice polytope, settling that the stated class needs a boundedness/no-−∞ hypothesis.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The weakest point is the domain of the alcoved triangulation. Section 2.1 introduces T_P only for P = tconv(V) with V having integral entries (no −∞). But Definition 2.5 declares canonical tropical lattice polytopes to have vertices in TN^d = (Z_{\\ge0} ∪ {−∞})^d, and Definition 4.3 and Theorem 3.14 are stated for all tropical lattice polytopes. For P = [−∞,0]^d (the tropical unit cube of Example 4.7), P is a tropical lattice polytope, but its covector decomposition is a single unbounded full-dimensional cell; there is no finite triangulation into alcoved simplices ∆_π(a) with a ∈ Z^d. Thus the maximum in Definition 4.3 ranges over an empty or ill-defined family, and the signed sum in (3) has no alcoved terms to sum. The same obstruction occurs for any unbounded tropical lattice polytope, e.g. the interval [−∞,a] ⊂ T^1. For that interval L_b^P(k) = b^{a+k} + 1 has leading coefficient b^a and Log|b^a| = a, which agrees with tbvol(P) = a from Definition 4.5; so the final answer is correct, but the route through the alcoved triangulation, which is the paper's justification that the Ehrhart-theoretic limit equals the max-over-trunk volume, does not apply. The gap is fixable by restricting Definition 4.3 and Theorem 3.14 to bounded tropical lattice polytopes (vertices in Z^d, no −∞) and defining tbvol for unbounded polytopes by Definition 4.5, but as written the central coefficient machinery claims more than it proves.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a tropical analogue of Ehrhart theory. It introduces the tropical b-lattice Gamma_b^d = (log_b(Z_{\\ge 0}))^d and defines tropical lattice polytopes as tropical polytopes whose vertices lie in Gamma_b^d, with a distinguished class of canonical tropical lattice polytopes with vertices in (Z_{\\ge 0} \\cup \\{-\\infty\\})^d. The main structural result, Theorem 3.6, shows that the tropical lattice point enumerator L_b^P(k) = #((k \\odot P) \\cap Gamma_b^d) is a polynomial in b^k, obtained by applying the semiring isomorphism log_b to a classical Ehrhart result for polytopes over the (max, \\cdot)-semiring. The paper then refines this via the covector decomposition and alcoved triangulations, giving explicit formulas for the tropical Ehrhart coefficients (Theorem 3.14). The leading coefficient leads to the tropical b-volume, and taking the b-to-infinity logarithmic limit yields the tropical barycentric volume tbvol(P) = max_{x \\in Tr_d(P)} (x_1 + \\cdots + x_d). The paper proves monotonicity, valuation, rotation invariance, homogeneity, non-singularity, and multiplicativity of tbvol, compares it with the tropical dequantized volume qtvol_+, introduces lower-dimensional barycentric i-volumes, and discusses algorithms and complexity, including an O(\\binom{m}{d+1} d^3) algorithm for computing tbvol of a tropical d-polytope with m vertices.","tokens_in":28186,"tokens_out":16170,"duration_ms":249391,"significance":"If the results stand, the paper provides the first systematic intrinsic volume concept for tropical polytopes that is genuinely tied to a tropical lattice point count, with properties strongly analogous to classical Euclidean volume. The approach is conceptually clean: it reduces tropical Ehrhart theory to classical Ehrhart theory through the semiring isomorphism log_b, and the key Lemma 3.11 gives an explicit, fully proved bijection between tropical lattice points in scaled alcoved simplices and classical lattice points in diagonally transformed alcoved simplices. The paper also contributes useful structural results about higher trunks, a comparison with qtvol_+, and a complexity discussion connecting tbvol to tropical linear programming and mean-payoff games. These are substantial contributions. The main caveat is that several central statements are formulated for all tropical lattice polytopes, while the alcoved-triangulation machinery used to prove them is only established for a narrower class; this is a fixable but load-bearing gap.","major_comments":[{"comment":"","section":"§2.1, Definition 2.5, Definition 4.3, Theorem 3.14"},{"comment":"","section":"§3.2, Theorem 3.14"}],"minor_comments":[{"comment":"","section":"Definition 4.3"},{"comment":"","section":"Theorem 5.7"},{"comment":"","section":"§4.1"}],"recommendation":"major_revision","confidential_remarks":"The main mathematical ideas are sound and the paper is likely publishable after revision. The most important issue is the mismatch between the broad statements about all tropical lattice polytopes and the alcoved-triangulation machinery, which is only established for the bounded integral case. This seems fixable within the paper's scope, but it must be addressed because Theorem 3.14 and Definition 4.3 are central to the claimed Ehrhart-theoretic foundation of tbvol."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThis paper is worth your time. The genuinely new pieces are the tropical b-lattice Γ_b^d = log_b(Z_{\\ge0})^d, the tropical Ehrhart polynomial (Theorem 3.6), the explicit coefficient formula via alcoved triangulations (Theorem 3.14), and the limiting volume tbvol(P) defined from the d-trunk. The main trick—passing through the semiring isomorphism to (max,·) and quoting classical Ehrhart theory on complexes—is clean and works. Lemma 3.11 provides a real bijection between tropical lattice points in dilated alcoved simplices and ordinary lattice points in diagonally transformed alcoved simplices; that is the load-bearing observation and it is proved properly. The volume axioms in Propositions 4.8 and 4.10 (monotonicity, valuation, rotation invariance, homogeneity, non-singularity, multiplicativity) are the right checks and they pass. The comparison with qtvol+ in Theorem 4.13 and Corollary 4.15 is a useful bridge, and the complexity section gives a concrete algorithm.\n\nThe soft spot is genuine and a bit larger than the reader's report suggests. Section 2.1 constructs the alcoved triangulation T_P only for tropical polytopes with integral finite vertices. But Definition 2.5 calls canonical tropical lattice polytopes those with vertices in TN^d = (Z_{\\ge0} ∪ {−∞})^d, and Theorem 3.14 and Definition 4.3 are stated for all tropical lattice polytopes. For P = [−∞,0]^d, a valid canonical tropical lattice polytope by their definition, there is no finite triangulation into compact alcoved simplices Δ_π(a); the cell is unbounded. So the signed sum in (3) and the max in Definition 4.3 are not well-defined as written for that class. The final volume tbvol(P) = 0 is still right via Definition 4.5, and Theorem 3.6's polynomiality appears to survive through exp_b, so the damage is localized. But the stated domain of the coefficient machinery claims more than it proves. The fix is easy: restrict Definition 4.3 and Theorem 3.14 to bounded tropical lattice polytopes (vertices in Z_{\\ge0}^d) and define tbvol for unbounded polytopes through Definition 4.5. The authors should also say clearly that the alcoved triangulation theorem is imported from Lam–Postnikov/Develin–Sturmfels and does not cover unbounded covector cells.\n\nThere are minor blemishes (a notational slip in Proposition 2.3 that the proof works around), but nothing else load-bearing. The citation pattern is honest; the dependence on classical Ehrhart theory is an external reduction, not a circular load.\n\nVerdict: send it out. A serious referee should ask for the domain fix, and after that the paper should be accepted. I would bring it to reading group and would cite it.","headline":"Loho–Schymura builds a real tropical Ehrhart theory and an intrinsic volume with the right axioms; the alcoved-triangulation domain gap for unbounded −∞ vertices is real but fixable.","tokens_in":28753,"tokens_out":4976,"would_cite":true,"duration_ms":102470,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14T05","52C07","52A38"],"pacs":[],"model":"deepseek-v4-flash","headline":"Counting lattice points in tropical polytopes gives a genuine intrinsic volume: the tropical barycentric volume.","keywords":["tropical geometry","Ehrhart theory","lattice point counting","tropical polytopes","tropical barycentric volume","alcoved triangulation","tropical dequantized volume","tropical rank"],"falsifier":"One decisive test: compute $L_b^P(k)$ for a small tropical lattice polygon with a known alcoved triangulation and check the result against formula (3); the deeper structural check is whether every tropical lattice polytope admits an alcoved triangulation with integral shifts, since a polytope without one would invalidate the explicit coefficient formula.","tokens_in":27572,"feed_emoji":"📐","tokens_out":12448,"duration_ms":120077,"temperature":0.7,"pith_summary":"The paper develops a tropical analogue of Ehrhart theory: for a tropical lattice polytope $P\\subseteq \\mathbb{T}^d$ and an integer $b\\ge 2$, the function $L_b^P(k)=\\#\\big((k\\odot P)\\cap \\Gamma_b^d\\big)$ that counts tropical $b$-lattice points, with $\\Gamma_b^d=(\\log_b\\mathbb{Z}_{\\ge 0})^d$, in the $k$-th tropical dilation of $P$ is a polynomial in $b^k$. The leading coefficient of this polynomial is the tropical $b$-volume, and after taking the limit $\\mathrm{Log}|f|=\\lim_{b\\to\\infty}\\log_b|f(b)|$ the paper obtains a parameter-free invariant, the tropical barycentric volume $\\mathrm{tbvol}(P)=\\max_{x\\in \\mathrm{Tr}_d(P)}(x_1+\\cdots+x_d)$. The paper proves that this invariant satisfies the natural analogues of the Euclidean volume axioms: monotonicity, the valuation property, rotation invariance, homogeneity, non-singularity, and multiplicativity under Cartesian products. It also shows that for lattice polytopes $\\mathrm{tbvol}(P)\\le \\mathrm{qtvol}_+(M)$, with equality exactly for pure tropical lattice polytopes. A reader should care because this gives tropical geometry a genuinely tropical metric invariant, computable by an explicit algorithm in many cases, rather than a Euclidean volume imported from an ambient space.","feed_headline":"Counting tropical lattice points yields an intrinsic volume","feed_subtitle":"The new volume is b-independent, obeys the Euclidean volume axioms, and equals dequantized volume when pure.","key_machinery":"The mechanism is the alcoved triangulation, a subdivision of a tropical lattice polytope $P$ into alcoved simplices $\\Delta_\\pi(a)=\\mathrm{conv}\\{a+e_{\\pi(1)}+\\cdots+e_{\\pi(\\ell)}:\\ell=0,\\dots,d\\}$ with integral shift vectors $a\\in\\mathbb{Z}^d$; each such simplex is both tropically and classically convex. Lemma 3.11 is the hinge: the coordinatewise logarithm $\\varphi(z)=(\\log_b z_1,\\dots,\\log_b z_d)$ restricts to a bijection between the ordinary lattice points of $b^k D_b^a\\mathbf{1}+(b^{k+1}-b^k)D_b^a\\Delta_s(0)$ and the tropical lattice points of $k\\odot\\Delta_s(a)$, where $D_b^a=\\mathrm{diag}(b^{a_1},\\dots,b^{a_d})$. This reduces tropical lattice-point counting to classical Ehrhart counting on the diagonally transformed alcoved simplices, yielding the explicit signed-sum formula (3) for every tropical Ehrhart coefficient. The logarithmic map $\\mathrm{Log}|f|=\\lim_{b\\to\\infty}\\log_b|f(b)|$ then strips the fineness parameter $b$ and gives the closed form $\\mathrm{tbvol}(P)=\\max\\{a_1+\\cdots+a_d+d:\\Delta_\\pi(a)\\in\\mathcal{T}_P\\}$.","core_discovery":"The central claim is that a tropical Ehrhart theorem holds in the strong sense: for every tropical lattice polytope $P\\subseteq\\mathbb{T}^d$, the enumerator $L_b^P(k)$ agrees with a polynomial in $b^k$, so the usual Ehrhart machinery, including leading coefficients, reciprocity, and valuation, has a tropical counterpart. The leading coefficient $c_b^d(P)$ equals the Euclidean volume of the exponentiated polytope $\\exp_b(P)$, and its logarithmic asymptotics in $b$ converge to the tropical barycentric volume $\\mathrm{tbvol}(P)=\\max_{x\\in\\mathrm{Tr}_d(P)}\\sum_i x_i=\\max\\{a_1+\\cdots+a_d+d:\\Delta_\\pi(a)\\in\\mathcal{T}_P\\}$. This quantity is well defined even without integrality, is monotone, idempotent, rotation invariant under scaled permutation matrices of tropical determinant zero, homogeneous, non-singular, multiplicative under products, and it is bounded above by the tropical dequantized volume $\\mathrm{qtvol}_+(M)$ whenever $P=\\mathrm{tconv}(M)$. Equality holds if and only if the tropical barycenter lies in the $d$-trunk, which in particular covers pure tropical lattice polytopes.","pith_inferences":["Because $\\mathrm{tbvol}(P)$ is the coordinate sum of the tropical barycenter of the $d$-trunk, it measures the full-dimensional core of $P$ and ignores lower-dimensional tentacles; this makes it robust to small perturbations of vertices, in contrast to the dequantized volume, which is governed by an extremal tropical determinant.","The multiplicativity of $\\mathrm{tbvol}$ under Cartesian products, a property the dequantized volume lacks, suggests that $\\mathrm{tbvol}$ is the more natural candidate for factorization and isoperimetric statements in tropical convex geometry; the isoperimetric questions raised in the paper could be tested first on products of tropical simplices.","The conjecture $\\mathrm{Log}|c_b^i(P)|\\le \\mathrm{tmi}(M)$ is computationally checkable on random 0/1 tropical matrices; if it holds, the tropical Ehrhart coefficients become functions of tropical minors, tying Ehrhart theory to tropical rank and to the hardness results of Section 6.","The definition of tropical integers as $\\log_b(\\mathbb{Z}_{\\ge 0})$ is one choice in a family; replacing $b$ by other multiplicative bases or by algebraic integers would give a parametrized family of tropical Ehrhart theories whose $b\\to\\infty$ limit is presumably the same $\\mathrm{tbvol}$, providing a robustness check for the whole construction."],"forward_implications":["The tropical Ehrhart enumerator $L_b^P(k)$ is polynomial in $b^k$, so tropical lattice-point counting inherits Ehrhart reciprocity and coefficient valuations; for pure tropical lattice polytopes reciprocity holds in the form $c_b^i(\\overset{\\circ}{P})=(-1)^{d-i}c_b^i(P)$.","The leading coefficient $c_b^d(P)=\\mathrm{vol}(\\exp_b(P))$ is the tropical $b$-volume, and its $b$-asymptotic limit is $\\mathrm{tbvol}(P)$; hence every tropical lattice polytope has a well-defined parameter-free volume.","$\\mathrm{tbvol}(\\cdot)$ satisfies the volume axioms of monotonicity, valuation or idempotency, rotation invariance, homogeneity, non-singularity, and multiplicativity, making it a genuine intrinsic volume for tropical polytopes rather than an ad hoc measure.","For $P=\\mathrm{tconv}(M)$ with integer data, $\\mathrm{tbvol}(P)\\le \\mathrm{qtvol}_+(M)$, and equality holds exactly when the tropical barycenter lies in the $d$-trunk, in particular for all pure tropical lattice polytopes, linking the new volume to maximal tropical determinants.","The lower barycentric $i$-volumes satisfy $\\mathrm{tbvol}_i^-(P)\\le \\mathrm{tmi}(M)$, and the paper conjectures $\\mathrm{Log}|c_b^i(P)|\\le \\mathrm{tmi}(M)$; computing $\\mathrm{tbvol}$ reduces to evaluating tropical simplices in $O\\big(\\binom{m}{d+1}d^3\\big)$, and deciding non-vanishing lies in NP $\\cap$ coNP via tropical linear programming."],"supporting_citations":[{"why":"Supplies the covector or type decomposition of a tropical polytope into polytropes, the cell structure on which the alcoved triangulation and the trunk construction are built.","marker":"[18]"},{"why":"Provides the alcoved polytopes and their triangulations into the simplices $\\Delta_\\pi(a)$ that form the explicit coefficients in Theorem 3.14.","marker":"[33]"},{"why":"Contributes Theorem 3.1, the classical Ehrhart polynomiality for complexes of lattice polytopes, which is the engine behind the tropical polynomiality in Theorem 3.6.","marker":"[8]"},{"why":"Supplies the standard Ehrhart facts, including reciprocity, Pick's theorem, and the facet formula for the second-highest coefficient, that are invoked to evaluate the signed sums in Theorem 3.14 and Lemma 5.6.","marker":"[7]"},{"why":"Defines the tropical dequantized volume $\\mathrm{qtvol}_+$ and its maximal-tropical-determinant formula, the quantity against which $\\mathrm{tbvol}$ is compared in Theorem 4.13.","marker":"[16]"},{"why":"Gives the inequality description of polytropes used to prove that exponentiating a polytrope yields a polytope in Proposition 2.6.","marker":"[28]"},{"why":"Provides the NP $\\cap$ coNP membership and hardness results for tropical linear programming and mean-payoff games that underlie the computational discussion of Section 6.","marker":"[24]"}],"fun_headline_variants":["Tropical Ehrhart theory yields new intrinsic volume","Count tropical lattice points to get volume","Intrinsic volume from tropical Ehrhart counting","Tropical volume via Ehrhart's theorem"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that every tropical lattice polytope can be cut into the special simplex pieces with integer shifts that the whole coefficient formula uses; the paper takes this structural fact as given.","fun_headline_variants_meta":{"raw":{"variants":["Tropical Ehrhart theory yields new intrinsic volume","Count tropical lattice points to get volume","Intrinsic volume from tropical Ehrhart counting","Tropical volume via Ehrhart's theorem"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000229,"raw_usage":{"total_tokens":1416,"prompt_tokens":822,"completion_tokens":594,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":438,"completion_tokens_details":{"reasoning_tokens":539}},"tokens_in":438,"tokens_out":594,"duration_ms":6701,"temperature":1.0,"reasoning_tokens":539,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:55:33.149402+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"One decisive test: compute $L_b^P(k)$ for a small tropical lattice polygon with a known alcoved triangulation and check the result against formula (3); the deeper structural check is whether every tropical lattice polytope admits an alcoved triangulation with integral shifts, since a polytope without one would invalidate the explicit coefficient formula.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the covector or type decomposition of a tropical polytope into polytropes, the cell structure on which the alcoved triangulation and the trunk construction are built."},{"cited_title":"I, Discrete Comput","cited_arxiv_id":null,"evidence_quote":"Provides the alcoved polytopes and their triangulations into the simplices $\\Delta_\\pi(a)$ that form the explicit coefficients in Theorem 3.14."},{"cited_title":"195, American Mathematical Society, Providence, Rhode Island, 2018","cited_arxiv_id":null,"evidence_quote":"Contributes Theorem 3.1, the classical Ehrhart polynomiality for complexes of lattice polytopes, which is the engine behind the tropical polynomiality in Theorem 3.6."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the standard Ehrhart facts, including reciprocity, Pick's theorem, and the facet formula for the second-highest coefficient, that are invoked to evaluate the signed sums in Theorem 3.14 and Lemma 5.6."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Defines the tropical dequantized volume $\\mathrm{qtvol}_+$ and its maximal-tropical-determinant formula, the quantity against which $\\mathrm{tbvol}$ is compared in Theorem 4.13."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the inequality description of polytropes used to prove that exponentiating a polytrope yields a polytope in Proposition 2.6."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the NP $\\cap$ coNP membership and hardness results for tropical linear programming and mean-payoff games that underlie the computational discussion of Section 6."}],"review_version":1}