Perfect t-embeddings and the octahedron equation of the two-periodic Aztec diamond

Marianna Russkikh; Tomas Berggren

REVIEW 3 major objections 2 minor 22 references

Perfect t-embeddings and the octahedron equation of the two-periodic Aztec diamond

T0 review · 3 major / 2 minor · reviewed 2026-08-05 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper shows that the perfect t-embedding of the two-periodic Aztec diamond and its origami map are outputs of the octahedron equation: the coordinates of both are sums of density functions obtained from solutions with flat initial data.

desk verdict Clean, plausible abstract-level claim about t-embeddings and the octahedron equation, but the supplied body is unreadable — nobody can audit the proof until a clean version is obtained. read the letter →

arxiv 2508.06697 v2 pith:ZQU4DBSJ submitted 2025-08-08 math-ph math.COmath.MPmath.PR

Tomas Berggren , Marianna Russkikh This is my paper · ORCID

classification math-phmath.COmath.MPmath.PR MSC 82B2082B23

keywords two-periodicAztecdiamondperfectt-embeddingsorigamimapoctahedronequationdimermodeldiscreteintegrablesystemsdominotilings

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper is trying to establish that a geometric object, the perfect t-embedding of the two-periodic Aztec diamond, is actually a display of solutions to the octahedron equation. In a perfect t-embedding, each face of the bipartite tiling graph is drawn with an incircle, and each edge is exactly as long as the sum of the incircle radii of the two faces it separates, so adjacent face circles touch at the common edge. The paper's claim is that the coordinates of this embedding, and of its associated origami map, are sums of density functions obtained from a solution of the octahedron equation with flat initial data that encodes the two-periodic face weights. If true, the embedding is not a special drawing found case by case: it is the output of a deterministic, integrable recurrence, and the same densities connect the geometry to the dimer model. That is why it matters: it unifies the geometric and probabilistic sides of a canonical tiling model.

What carries the argument

The central mechanism is the octahedron equation, a consistent recurrence on a cubic lattice whose elementary relation is assigned to the vertices of an octahedron; consistency means the solution is independent of the order in which the recurrence is applied. Flat initial data are values placed on coordinate planes, fixed by the two-periodic face weights. From any such solution one reads off the density functions $\rho$, and the load-bearing identity is the position formula: the coordinate of a vertex of the t-embedding (or of the origami map) is a sum of the appropriate $\rho$'s. The equation does two jobs at once: it encodes the local weights, and its global solution supplies the geometry.

What would settle it

Take a small two-periodic Aztec diamond with generic two-periodic weights; compute the octahedron solution from the flat initial data, form the density sums, and test that the resulting points are a genuine perfect t-embedding: every face must have a common tangent circle and every edge must satisfy the edge-length condition. A single failure, or a mismatch with an embedding built face-by-face from those conditions, would show the identification is incomplete; the test is unambiguous because both objects are finite and exactly checkable.

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is an exact identity. For the two-periodic Aztec diamond, let $\phi$ be the perfect t-embedding and $\phi^*$ the accompanying origami map. The paper shows that for every vertex $v$, $\phi(v)$ is a sum of density functions $\rho$ obtained from a solution of the octahedron equation with flat initial conditions; the same densities, combined appropriately, give $\phi^*(v)$. The octahedron solution is thus the common source of both geometric maps, and the face weights enter only through the flat initial data. The statement is made on the level of the finite graph, not as a limit.

Load-bearing premise

The claim stands only if the flat initial data built from the two-periodic face weights produce density functions whose sums exactly reproduce the t-embedding and origami positions at every vertex of the diamond, including near the boundary and at parameter values where t-embeddings become singular.

Editorial extensions

If this is right

The perfect t-embedding of a two-periodic Aztec diamond is explicitly computable from the flat initial data; no case-by-case solving of the tangency and edge-length conditions is needed.
The origami map is not an extra input; the same density functions determine it, so the geometric pair is governed by a single integrable solution.
Because the octahedron equation is 3D-consistent, the embedding is not an isolated object: moving along the third lattice direction evolves it into a chain of related t-embeddings.
The result gives a concrete instance where the combinatorics of domino tilings and the geometry of a perfect embedding are controlled by the same recurrence.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A cheap check of the identification: force all face weights equal (the uniform Aztec diamond); the density-sum formula should collapse to the known symmetric circular embedding, and any mismatch would localize the error to the flat-data construction.
The densities likely obey the same local relations as dimer statistics, so in the large-size limit the paper's formula should reproduce the arctic curve of the two-periodic model; this is an inference, not a stated claim.
A natural next step, not carried out here, is to evaluate the density sums in closed form; because the octahedron equation has determinant-type solutions, the coordinates may become rational functions of the four face weights.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Quick note on arXiv:2508.06697. The abstract announces something genuinely worth knowing: for the two-periodic Aztec diamond, the perfect t-embedding and the origami map positions can be written as sums of density functions generated by the octahedron equation from flat initial data. If true, that's a real advance — it makes the embedding explicitly computable from integrable data and opens the way to new fluctuation results. It also connects two toolboxes (t-embeddings and the octahedron equation) in a way I don't think anyone has done for this model. Credit where due: the statement is specific, the setup (flat initial data) is natural, and it goes beyond earlier asymptotic formulas in the Chhita–Johansson direction.

The soft spot is brutal and not of the authors' making: the full text I received is mojibake. Every equation, proof, and reference is unreadable. So I can only judge the abstract. That means the central identification — position equals sum of densities — is unverified. The stress-test note is right: the equality has to hold at every vertex, including boundary vertices and the singular point of the two-periodic arctic curve, and a single mismatch would break it. The abstract does not state the domain of validity, and I can't check whether the proof handles those cases. There's no code or formal verification to lean on either, so the burden rests entirely on a proof I cannot read. I'm not saying the paper is wrong; I'm saying nobody can currently tell.

One more point: I disagree slightly with the reader's soundness score of 4 as a placeholder. That's fine as an honest 'unknown', but it shouldn't be read as evidence of a flaw. There is no visible sign of circularity or fitting from the abstract; the densities come from flat initial data, which are natural problem data. So the concern is just blockage, not suspicion.

Bottom line: if the actual PDF is clean, send this to a serious referee. The claim is important and plausible enough to deserve careful checking, especially at the boundary and singular points. Do not desk-reject on the basis of the corrupted copy. I wouldn't cite it until I've read the proof, but I'd bring it to reading group for discussion once a readable version exists.

Referee Report

3 major / 2 minor

Summary. The abstract announces that for the two-periodic Aztec diamond, the coordinates of the perfect t-embedding and of the associated origami map can be expressed as sums of density functions obtained from solutions of the octahedron equation with suitable flat initial conditions. In the version supplied to me, only the abstract and the arXiv identifier are readable; the entire body of the manuscript is an unreadable mojibake. I could therefore not audit any theorem statement, proof, definition, equation, or domain-of-validity condition. The paper's central claim is clear from the abstract, but the submitted text does not currently permit verification.

Significance. If the announced result is correct, it would establish a new explicit connection between perfect t-embeddings and the octahedron equation, providing closed-form coordinate formulas for the t-embedding and the origami map in a two-periodic setting. This could be a valuable contribution to the discrete integrable geometry literature and would give an algorithmic construction of the embedding. The claim is clean and falsifiable. However, because the body is unreadable, I cannot assess its significance beyond the abstract, nor can I judge whether the proof is sound, whether the definitions are natural, or whether the result is novel relative to existing work.

major comments (3)

[Full Text (all sections after the abstract)] The body of the manuscript is corrupted and unintelligible: no theorem statement, proof, definition, or displayed equation can be read. The central identity 'position = sum of densities' is therefore completely unsupported in the submitted text. This is a load-bearing verification blockage, not a minor typographical issue. The authors must provide a clean, readable version before the claim can be assessed.
[Abstract] The domain of validity of the claimed equality is not stated. Does it hold for every vertex of every finite two-periodic Aztec diamond, or only for bulk vertices? Does it include boundary vertices and the singular point of the two-periodic arctic curve where t-embeddings are known to degenerate? A rigorous theorem must specify precisely for which diamonds and which vertices the formula holds.
[Definitions and notation (unreadable in the supplied text)] The terms 'density functions', 'flat initial conditions', 'octahedron equation', 'perfect t-embedding', and 'origami map' are not defined in any readable portion of the manuscript. Even if these are standard in the intended audience, the corrupted text gives no way to verify the statements. The authors should ensure that all such notions are defined or cited in the final version.

minor comments (2)

[Abstract] The phrase 'the corresponding origami map' is unexplained in the abstract; a brief indication of how the origami map is related to the t-embedding would help the reader.
[Full Text] Once a clean text is available, equations should be numbered and all symbols introduced before use; the current unreadable display equations cannot be cross-referenced or checked.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity identifiable: the readable abstract states a constructive formula from flat initial data, and the unreadable body provides no quotable reduction to fit; verification blockage is not circularity.

full rationale

The only readable portion of the manuscript is the abstract. It claims that the positions of the perfect t-embedding and the origami map can be expressed as sums of density functions arising from solutions to the octahedron equation with appropriate flat initial conditions. Flat initial conditions are natural problem data derived from the two-periodic face weights, not from the vertex positions they are meant to reproduce; nothing in the readable text defines those densities in terms of the t-embedding positions themselves. The body of the paper is mojibake, so no theorem statement, proof, equation, or self-citation chain is legible. Under the hard rule that circularity may be claimed only when a specific reduction can be quoted from the paper, I cannot exhibit any equation of the form 'predicted quantity = fitted input by construction', any parameter fitted to a subset and then renamed a prediction, or any load-bearing self-citation. The absence of readable proof creates a serious verification risk, and the claimed equality may fail at boundaries or singular points, but that is a correctness/verifiability concern, not evidence of circularity. The score is therefore 0, with the caveat that this finding is based on the limited legible content rather than on a complete evaluation of the derivation.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No fitted free parameters are visible: the two-periodic face weights are inputs of the model, and the flat initial conditions are problem data, not fitted targets. All four axioms are pre-existing background or model-setup assumptions. No new entities (particles, forces, dimensions, conservation laws) are introduced in the abstract.

assumptions (4)

domain assumption The two-periodic Aztec diamond admits a perfect t-embedding with a well-defined associated origami map
The abstract presupposes these geometric objects exist for the model; existence and normalization are background results of the t-embedding framework whose use in this model could not be checked in the corrupted body.
domain assumption Flat initial conditions of the octahedron equation encode the two-periodic face weights of the model
The central construction depends on identifying integrable initial data with the model's weights; the mechanism of this identification is not stated in the abstract and the relevant section is unreadable.
domain assumption The density functions built from octahedron solutions are well-defined and their sums reproduce embedding positions on the whole finite diamond
The equality requires convergence and boundary control that the abstract does not describe; the two-periodic arctic curve's degenerate point makes the boundary a non-trivial region.
standard math Standard theory of the octahedron equation (recursion, rational solutions from initial data, Yang-Baxter consistency)
The paper invokes the octahedron equation as background; its basic properties are taken from prior literature and could not be re-verified here.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Perfect t-embeddings and the octahedron equation of the two-periodic Aztec diamond." pith.science (2026). https://pith.science/paper/ZQU4DBSJ

@misc{pith2026250806697,
  author       = {Pith},
  title        = {Pith review of: Perfect t-embeddings and the octahedron equation of the two-periodic Aztec diamond},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZQU4DBSJ}},
  note         = {Machine review of arXiv:2508.06697}
}

read the original abstract

This paper explores the connection between perfect t-embeddings and the octahedron equation in the setting of the two-periodic Aztec diamond. In particular, we show that the positions of both the t-embedding and the corresponding origami map can be expressed as sums of density functions arising from solutions to the octahedron equation with appropriate flat initial conditions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

[1]

Perfect t-embeddings and Lozenge Tilings

Tomas Berggren, Matthew Nicoletti, and Marianna Russkikh. Perfect t-embeddings and lozenge tilings. arXiv preprint arXiv:2408.05441 , 2024

work page Pith review arXiv 2024
[2]

Perfect t-embeddings of uniformly weighted A ztec diamonds and tower graphs

Tomas Berggren, Matthew Nicoletti, and Marianna Russkikh. Perfect t-embeddings of uniformly weighted A ztec diamonds and tower graphs. Int. Math. Res. Not. IMRN , (7):5963--6007, 2024

work page 2024
[3]

Perfect t-embeddings of doubly periodic Aztec diamonds

Tomas Berggren, Matthew Nicoletti, and Marianna Russkikh. Perfect t-embeddings of doubly periodic aztec diamonds. arXiv preprint arXiv:2508.04938 , 2025

work page Pith review arXiv 2025
[4]

Bipartite dimer model: perfect t-embeddings and Lorentz-minimal surfaces

Dmitry Chelkak, Beno \^ t Laslier, and Marianna Russkikh. Bipartite dimer model: perfect t-embeddings and lorentz-minimal surfaces. arXiv preprint arXiv:2109.06272 , 2021

work page Pith review arXiv 2021
[5]

Dimer model and holomorphic functions on t-embeddings of planar graphs

Dmitry Chelkak, Beno\^it Laslier, and Marianna Russkikh. Dimer model and holomorphic functions on t-embeddings of planar graphs. Proc. Lond. Math. Soc. (3) , 126(5):1656--1739, 2023

work page 2023
[6]

Fluctuations in the A ztec diamonds via a space-like maximal surface in M inkowski 3-space

Dmitry Chelkak and Sanjay Ramassamy. Fluctuations in the A ztec diamonds via a space-like maximal surface in M inkowski 3-space. Confluentes Math. , 16:1--17, 2024

work page 2024
[7]

Domino statistics of the two-periodic A ztec diamond

Sunil Chhita and Kurt Johansson. Domino statistics of the two-periodic A ztec diamond. Adv. Math. , 294:37--149, 2016

work page 2016
[8]

Coupling functions for domino tilings of A ztec diamonds

Sunil Chhita and Benjamin Young. Coupling functions for domino tilings of A ztec diamonds. Adv. Math. , 259:173--251, 2014

work page 2014

Show all 22 references

[9]

An inhomogeneous lambda-determinant

Philippe Di Francesco. An inhomogeneous lambda-determinant. Electron. J. Combin. , 20(3):Paper 19, 34, 2013

2013
[10]

T -systems, networks and dimers

Philippe Di Francesco. T -systems, networks and dimers. Comm. Math. Phys. , 331(3):1237--1270, 2014

2014
[11]

Q -systems as cluster algebras

Philippe Di Francesco and Rinat Kedem. Q -systems as cluster algebras. II . C artan matrix of finite type and the polynomial property. Lett. Math. Phys. , 89(3):183--216, 2009

2009
[12]

Arctic curves of the octahedron equation

Philippe Di Francesco and Rodrigo Soto-Garrido. Arctic curves of the octahedron equation. J. Phys. A , 47(28):285204, 34, 2014

2014
[13]

Arctic curves of the T -system with slanted initial data

Philippe Di Francesco and Hieu Trung Vu. Arctic curves of the T -system with slanted initial data. J. Phys. A , 57(33):335201, 57, 2024

2024
[14]

Perfect t-embedding of uniformly weighted generalized tower graphs

David Keating and Hieu Trung Vu. Perfect t-embedding of uniformly weighted generalized tower graphs. 2025. To appear

2025
[15]

Dimers and circle patterns

Richard Kenyon, Wai Yeung Lam, Sanjay Ramassamy, and Marianna Russkikh. Dimers and circle patterns. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 55(3):865--903, 2022

2022
[16]

Functional relations in solvable lattice models

Atsuo Kuniba, Tomoki Nakanishi, and Junji Suzuki. Functional relations in solvable lattice models. I . F unctional relations and representation theory. Internat. J. Modern Phys. A , 9(30):5215--5266, 1994

1994
[17]

Functional relations in solvable lattice models

Atsuo Kuniba, Tomoki Nakanishi, and Junji Suzuki. Functional relations in solvable lattice models. II . A pplications. Internat. J. Modern Phys. A , 9(30):5267--5312, 1994

1994
[18]

David E. Speyer. Perfect matchings and the octahedron recurrence. J. Algebraic Combin. , 25(3):309--348, 2007

2007
[19]

Tomas Berggren, Matthew Nicoletti, and Marianna Russkikh
[20]

Sunil Chhita and Kurt Johansson
[21]

Sunil Chhita and Benjamin Young
[22]

Dmitry Chelkak, Benoit Laslier, and Marianna Russkikh

Pith tools

Reviewed August 5, 2026 · model on record in the stance chip above.

[1] [1]

Perfect t-embeddings and Lozenge Tilings

Tomas Berggren, Matthew Nicoletti, and Marianna Russkikh. Perfect t-embeddings and lozenge tilings. arXiv preprint arXiv:2408.05441 , 2024

work page Pith review arXiv 2024

[2] [2]

Perfect t-embeddings of uniformly weighted A ztec diamonds and tower graphs

Tomas Berggren, Matthew Nicoletti, and Marianna Russkikh. Perfect t-embeddings of uniformly weighted A ztec diamonds and tower graphs. Int. Math. Res. Not. IMRN , (7):5963--6007, 2024

work page 2024

[3] [3]

Perfect t-embeddings of doubly periodic Aztec diamonds

Tomas Berggren, Matthew Nicoletti, and Marianna Russkikh. Perfect t-embeddings of doubly periodic aztec diamonds. arXiv preprint arXiv:2508.04938 , 2025

work page Pith review arXiv 2025

[4] [4]

Bipartite dimer model: perfect t-embeddings and Lorentz-minimal surfaces

Dmitry Chelkak, Beno \^ t Laslier, and Marianna Russkikh. Bipartite dimer model: perfect t-embeddings and lorentz-minimal surfaces. arXiv preprint arXiv:2109.06272 , 2021

work page Pith review arXiv 2021

[5] [5]

Dimer model and holomorphic functions on t-embeddings of planar graphs

Dmitry Chelkak, Beno\^it Laslier, and Marianna Russkikh. Dimer model and holomorphic functions on t-embeddings of planar graphs. Proc. Lond. Math. Soc. (3) , 126(5):1656--1739, 2023

work page 2023

[6] [6]

Fluctuations in the A ztec diamonds via a space-like maximal surface in M inkowski 3-space

Dmitry Chelkak and Sanjay Ramassamy. Fluctuations in the A ztec diamonds via a space-like maximal surface in M inkowski 3-space. Confluentes Math. , 16:1--17, 2024

work page 2024

[7] [7]

Domino statistics of the two-periodic A ztec diamond

Sunil Chhita and Kurt Johansson. Domino statistics of the two-periodic A ztec diamond. Adv. Math. , 294:37--149, 2016

work page 2016

[8] [8]

Coupling functions for domino tilings of A ztec diamonds

Sunil Chhita and Benjamin Young. Coupling functions for domino tilings of A ztec diamonds. Adv. Math. , 259:173--251, 2014

work page 2014