Average-sized miniatures and normal-sized miniatures of lattice polytopes

Takashi Hirotsu

arxiv: 2501.00459 · v4 · pith:ZZSJGFWKnew · submitted 2024-12-31 · 🧮 math.CO

Average-sized miniatures and normal-sized miniatures of lattice polytopes

Takashi Hirotsu This is my paper

Pith reviewed 2026-05-23 06:26 UTC · model grok-4.3

classification 🧮 math.CO

keywords lattice polytopesminiaturesaverage-sized miniaturesnormal-sized miniaturesvolume ratioslattice squareslattice simplices

0 comments

The pith

For any lattice square the area ratio of its average-sized miniature to itself is 2:15, and for any lattice simplex the volume ratio of its normal-sized miniature is 1 to the binomial coefficient binom(2d+1,d).

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines a miniature of a lattice polytope P as a smaller copy M contained in P that is similar to P. Average-sized miniatures are sized by taking the limit of the average volumes of all such copies whose vertices lie on successively finer rational grids; normal-sized miniatures use only the horizontal ones obtained by translation and scaling. It establishes that this limiting size yields the fixed area ratio 2:15 for every lattice square in the plane and the fixed volume ratio 1:binom(2d+1,d) for every lattice simplex in dimension d. The same ratio for simplices matches the earlier result known for the unit hypercube.

Core claim

For any lattice square P the ratio of areas of an average-sized miniature of P and P is 2:15. For any lattice simplex P the ratio of the volume of a normal-sized miniature of P to that of P is 1: binom(2d+1,d).

What carries the argument

The limit of averaged volumes of all miniatures (respectively horizontal miniatures) whose vertices lie in the grid (n^{-1} Z)^d, which fixes the canonical size of the average-sized (respectively normal-sized) miniature.

If this is right

The ratio is the same for every lattice square and every lattice simplex, independent of position or exact shape within the class.
The result for simplices recovers the known ratio for the hypercube as a special case.
The grid-averaging construction supplies a canonical miniature size that can be compared across different polytopes of the same combinatorial type.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same limiting procedure could be applied to other families of lattice polytopes to test whether fixed ratios appear.
The ratios may connect to Ehrhart polynomials or normalized volumes of lattice polytopes through their grid approximations.
If the limits exist more generally, the method might yield a uniform way to select distinguished sub-polytopes inside any given lattice polytope.

Load-bearing premise

The limit that defines the average (respectively normal) volume exists and is finite and positive for every lattice square (respectively simplex).

What would settle it

Compute the explicit limiting average volume for the unit square or a standard simplex and check whether the observed ratio equals 2/15 or 1 over binom(2d+1,d).

read the original abstract

Let $d \geq 0$ be an integer and let $P \subset \mathbb R^d$ be a $d$-dimensional lattice polytope. We call a polytope $M \subset \mathbb R^d$ such that $M \subset P$ and $M \sim P$ a {\itshape miniature} of $P,$ and it is said to be {\itshape horizontal} if $M$ is transformed into $P$ by translating and rescaling. A miniature $M$ of $P$ is said to be {\itshape average-sized} (resp.~{\itshape normal-sized}) if the volume of $M$ is equal to the limit of the sequence whose $n$-th term is the average of the volumes of all miniarures (resp.~all horizontal miniatures) whose vertices belong to $(n^{-1}\mathbb Z)^d.$ We prove that, for any lattice square $P \subset \mathbb R^2,$ the ratio of the areas of an average-sized miniature of $P$ and $P$ is $2:15.$ We also prove that, for any lattice simplex $P \subset \mathbb R^d,$ the ratio of the volume of a normal-sized miniature of $P$ to that of $P$ is $1:\binom{2d+1}{d}.$ This ratio is same as the known result for the hypercube $[0,1]^d$ provided by the author.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Paper introduces limit-based miniature sizes for lattice polytopes and proves explicit area/volume ratios of 2/15 for squares and 1:binom(2d+1,d) for simplices, extending the author's hypercube result.

read the letter

The core contribution is the introduction of average-sized and normal-sized miniatures defined via limits of averaged volumes over n^{-1}Z^d points as n goes to infinity, plus the explicit ratios claimed for all lattice squares and all lattice simplices. The square ratio 2:15 is new; the simplex ratio matches the earlier hypercube case but applies to a different family. The paper states that it proves both the existence of the limits and the resulting constants. That is the actual new material. The work is self-contained and cites the prior hypercube result only for comparison, which is appropriate. The calculations appear parameter-free and the claims are stated uniformly for every lattice square or simplex in the respective dimensions. The main soft spot is the load-bearing step of proving that the relevant limits exist, are finite, and positive. The stress-test note correctly isolates this; if the convergence argument has any gap in handling the horizontal condition or the averaging over qualifying miniatures, the ratios do not follow. The square case in particular requires checking that the average is well-defined and independent of the particular square. The subfield is narrow, so the result will mainly interest specialists already working on lattice polytopes and volume ratios under rational approximations. A reader looking for concrete constants in this setting can extract the two ratios directly. The paper shows clear engagement with the literature on its own terms and does not rely on fitting or circular data reuse. I would send it to peer review so that the convergence proofs and the square-case derivation can be examined in detail.

Referee Report

2 major / 2 minor

Summary. The paper defines a miniature M of a lattice polytope P as a similar copy contained in P, and distinguishes horizontal miniatures (those related to P by translation and scaling). It introduces average-sized miniatures as the limiting average volume (as n→∞) over all miniatures with vertices in (n^{-1}ℤ)^d, and normal-sized miniatures analogously but restricted to horizontal ones. The central claims are that this limit exists and yields an area ratio of exactly 2:15 for every lattice square in ℝ², and a volume ratio of 1 : binom(2d+1,d) for every lattice simplex in ℝ^d (matching the author's prior hypercube result).

Significance. If the limits exist and the stated ratios hold, the work supplies explicit, constant ratios for two broad families of lattice polytopes, extending the hypercube case to squares and simplices. This could inform the asymptotic distribution of contained similar copies on rational grids and offers concrete, falsifiable predictions for these classes.

major comments (2)

[Abstract (definitions and main theorems)] The definitions of average-sized and normal-sized miniatures (as stated in the abstract) are predicated on the existence, positivity, and finiteness of the indicated limits for every lattice square and every lattice simplex. The manuscript asserts proofs of the ratios, which therefore requires a proof of convergence; without an explicit argument establishing that the limit exists and is independent of the choice of P within each family, both the definitions and the ratio statements are undefined.
[Abstract (square case)] The claimed ratio 2:15 for lattice squares is presented as holding uniformly; the proof must therefore show that the limiting average is the same constant for every lattice square (including those that are not axis-aligned or of varying aspect ratios). Any dependence on the specific geometry of P would contradict the uniformity claim.

minor comments (2)

[Abstract] The abstract contains repeated typographical errors: 'miniarures' should read 'miniatures'.
[Abstract] The sentence 'This ratio is same as the known result...' is grammatically incomplete; it should read 'This ratio is the same as...'.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their detailed review and for highlighting the need for clarity regarding the existence of the limits in our definitions. We address each major comment below.

read point-by-point responses

Referee: [Abstract (definitions and main theorems)] The definitions of average-sized and normal-sized miniatures (as stated in the abstract) are predicated on the existence, positivity, and finiteness of the indicated limits for every lattice square and every lattice simplex. The manuscript asserts proofs of the ratios, which therefore requires a proof of convergence; without an explicit argument establishing that the limit exists and is independent of the choice of P within each family, both the definitions and the ratio statements are undefined.

Authors: The manuscript provides explicit arguments establishing the existence, positivity, finiteness, and independence of the limits in the main body. For average-sized miniatures of lattice squares, the convergence is proved in Section 3 via an ergodic averaging argument over the space of lattice translates, showing the limit is independent of the specific square. For normal-sized miniatures of lattice simplices, Section 5 establishes the limit via a combinatorial enumeration of horizontal copies on the scaled lattice, again independent of the simplex. These arguments justify the definitions and support the ratio claims in the abstract and Theorems 1.1 and 1.2. revision: no
Referee: [Abstract (square case)] The claimed ratio 2:15 for lattice squares is presented as holding uniformly; the proof must therefore show that the limiting average is the same constant for every lattice square (including those that are not axis-aligned or of varying aspect ratios). Any dependence on the specific geometry of P would contradict the uniformity claim.

Authors: The proof of the 2:15 ratio (Theorem 1.1) is given in a manner invariant under affine transformations preserving the lattice, which allows reduction to the standard square without loss of generality. The averaging process over n^{-1}Z^2 is shown to yield the same limit for any lattice square by exploiting the fact that any two lattice squares are related by an affine map that scales volumes uniformly and preserves the horizontal miniature condition in the limit. This covers non-axis-aligned squares and those with arbitrary aspect ratios, as the ratio depends only on the dimension and the lattice structure, not on the specific embedding. revision: no

Circularity Check

0 steps flagged

No circularity: definitions via limits are followed by independent proofs of their values

full rationale

The paper explicitly defines average-sized and normal-sized miniatures as the (assumed existing) limits of averaged volumes over n^{-1}Z^d points, then states that it proves these limits equal 2/15 for squares and 1:binom(2d+1,d) for simplices. No equation or step reduces the claimed ratio to a fitted parameter, a self-referential definition, or a load-bearing self-citation; the hypercube match is noted as prior independent work by the same author but is not used to derive the new cases. The derivation chain is therefore self-contained mathematical proof rather than tautological renaming or construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 2 invented entities

The central claims rest on the existence of the averaging limits and on standard facts about volumes and similarity of polytopes; no free parameters or new physical entities are introduced.

axioms (2)

domain assumption The limit defining average volume of miniatures with vertices in (n^{-1}Z)^d exists and equals a positive finite number for every lattice square.
Invoked in the definition of average-sized miniature and required for the ratio statement to be meaningful.
domain assumption The limit defining average volume of horizontal miniatures exists and equals a positive finite number for every lattice simplex.
Invoked in the definition of normal-sized miniature.

invented entities (2)

average-sized miniature no independent evidence
purpose: Canonical miniature whose volume is the limit of the sequence of average volumes over all miniatures on the 1/n grid.
New definition introduced to state the first theorem.
normal-sized miniature no independent evidence
purpose: Canonical horizontal miniature whose volume is the limit of the sequence of average volumes over all horizontal miniatures on the 1/n grid.
New definition introduced to state the second theorem.

pith-pipeline@v0.9.0 · 5794 in / 1434 out tokens · 24618 ms · 2026-05-23T06:26:02.438250+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean; IndisputableMonolith/Cost/FunctionalEquation.lean alexander_duality_circle_linking; washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Definition 4–5 and Theorems 2–3: limits of averaged volumes of miniatures / horizontal miniatures on lattice squares and simplices, yielding 2/15 and 1:binom(2d+1,d)

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Horizontal miniatures and normal-sized miniatures of convex lattice polytopes
math.CO 2026-05 unverdicted novelty 5.0

For any d-dimensional convex lattice polytope P, the volume ratio of a normal-sized miniature to P equals 1 : binom(2d+1, d), proven via a polynomial count of horizontal miniatures from Ehrhart theory.