Pith. sign in

REVIEW 3 major objections 5 minor 36 references

Rotating quantum boxes exist as flat spaces, but only at a few special angles, a new study shows.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-04 15:17 UTC pith:L3HTURT7

load-bearing objection A genuinely novel geometric construction, but the free-scalar check that supposedly validates it ignores the rotational part of the deck transformations and is wrong as written. the 3 major comments →

arxiv 2509.19933 v2 pith:L3HTURT7 submitted 2025-09-24 hep-lat hep-th

QFT on rotating boxes at finite temperature

Sebestyen Nagy , Daniel Nogradi This is my paper
classification hep-lat hep-th MSC 81T2581T2853C20 PACS 11.15.Ha11.10.Wx04.20.Cv
keywords rotating thermal QFTpath integralflat manifoldsrotated boundary conditionsfinite volumelattice field theoryT4 quotientspace-time topology
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper sets out to describe a thermal quantum field theory on a finite, periodic box that is rotating at a constant angular velocity, in a way that can eventually be simulated on a lattice. The authors show that, after Wick rotation, such a rotating box can be represented not by a curved rotating-frame metric but by a flat, compact, orientable space-time manifold of the form T⁴/Z_k. They classify all consistent geometries, finding that only imaginary angular velocities corresponding to angles 2π/k with k = 2, 3, 4, 6 are allowed. The key move is to put the entire rotation effect into temporal boundary conditions (rotated boundary conditions) instead of into the action, which avoids the lattice problems of curved metrics and makes a path integral formulation straightforward.

Core claim

The central claim is that at finite temperature and finite spatial volume, a rigid rotation can be incorporated into a Euclidean path integral by replacing the usual T⁴ space-time with a quotient T⁴/G, where G is a finite group combining a spatial rotation with a temporal shift. The authors prove that such a consistent, flat, orientable, boundaryless manifold exists only when the Wick-rotated angular velocity equals 2π/k for k = 2, 3, 4, 6, yielding seven distinct topologies (two for each k except k=6). They further show that the same construction can include a uniform translation along the axis of rotation, producing shifted boundary conditions as well. Free-scalar free energy density is co

What carries the argument

The machinery is the classification of compact flat orientable 4-manifolds as quotients T⁴/G, with G a finite subgroup of the Euclidean group. For the rotating-box interpretation, G is generated by a single element (A, b) where A is a spatial rotation by 2π/k and b is a temporal shift of L₀/k. The boundary conditions on fields are then the rotated boundary conditions φ(t+L₀/k, x) = φ(t, R^{-1}x), which encode the finite rotation directly in the path integral. The allowed k values are constrained by the requirement that the quotient be a smooth manifold without fixed points, and the classification of possible metrics E on the spatial 3-torus compatible with each group action is carried out.

Load-bearing premise

The entire path-integral representation of the rotation-inserted trace on T⁴/G is assumed to extend to interacting gauge theories with fermions, but the paper only demonstrates the free scalar explicitly and defers gauge fields and fermions to future work.

What would settle it

Compute the partition function of a non-abelian gauge theory (e.g., SU(3) pure gauge) on T⁴/Z_k with the proposed rotated boundary conditions and check whether it is well-defined, gauge-invariant, and reproduces a physical rotating system in the continuum limit; a failure would show the construction does not generalize beyond free scalars.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • A lattice discretization of the rotated boundary conditions is conceptually straightforward, so numerical simulations of rotating QCD matter can be performed without a curved metric or discretization artifacts from infinitesimal rotations.
  • The discrete angles 2π/k mean only a finite set of imaginary angular velocities are accessible in this formulation, which may restrict direct comparisons to physical rotation rates but still allows controlled studies of rotational effects.
  • Since the space-time manifold is flat, existing finite-volume technology (e.g., Lüscher corrections) can be adapted to these new geometries, and the paper provides explicit finite-volume mass formulas for the free scalar.
  • The same construction can be combined with shifted boundary conditions (for a moving frame) along the rotation axis, giving a unified path-integral description of rotating and moving boxes.
  • The identification of 26 total compact flat orientable 4-manifolds, with 23 admitting spin structures, sets the stage for fermionic and gauge-theoretic extensions on these spaces.

Where Pith is reading between the lines

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

  • If the construction extends to gauge theories, it would provide a non-perturbative lattice definition of rotating QCD matter without the need for a rotating frame, potentially clarifying the negative moment-of-inertia results seen in earlier simulations.
  • The quantization of allowed angles mirrors the crystallographic restriction theorem in 3D, and the same approach might generalize to other finite-volume symmetries (e.g., parity or time-reversal insertions) using the full classification of flat manifolds.
  • The finite-volume optimal lattice (tetrahedral-octahedral honeycomb) could be used not only for rotating systems but also for any thermal QFT calculation on a 3-torus to reduce finite-size effects, independent of rotation.
  • Since only a finite set of angles is allowed, a continuous angular velocity might be approximated by interpolating between these discrete values, but that would require introducing additional couplings or deformations not present in the paper.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper proposes a Euclidean path-integral formulation for a thermal QFT on a finite rotating spatial box. Instead of using a curved rotating-frame metric, the authors insert a finite rotation operator U(ϑ) into the thermal trace, which after Wick rotation becomes a path integral with rotated temporal boundary conditions. They argue that, for consistency, the allowed rotation angles are ϑ=2π/k with k=2,3,4,6, realized on flat, compact, orientable manifolds of the form T^4/Z_k (plus two families for k=2,3,4, giving seven abelian cases). They provide explicit spatial metrics for each case, discuss finite-volume effects via the shortest-lattice-vector optimization, identify the optimal 3-torus with the tetrahedral-octahedral honeycomb lattice, and extend the setup to simultaneously moving boxes. A free-scalar partition function on T^4/G is claimed in Eq. (10) using mirror-image sums over the deck group, and the paper ends by promising future work on fermions and gauge theories.

Significance. The geometric idea is attractive and potentially useful: if the construction works, it gives a lattice-friendly way to include finite rotations without a curved metric, with the entire effect encoded in boundary conditions. The classification of relevant flat manifolds is based on established Bieberbach/crystallographic results, and the explicit metrics and finite-volume optimization are concrete, falsifiable contributions. The paper is honest about deferred work on fermions and gauge fields, and it makes no use of fitted parameters or circular assumptions. However, the only explicit QFT computation—the free-scalar free energy—contains a serious omission that invalidates the evidence for the central path-integral claim, and the classification step for the allowed angles is asserted rather than proved in the text. The significance therefore currently rests on an unverified scaffold.

major comments (3)
  1. [Free scalars, Eq. (10)] Eq. (10) is not the partition function on T^4/G for groups with nontrivial rotations. The sum over G_Λ is written as if each deck transformation (A,b,e(n)) contributed only through the translation b+e(n). For a rotation A≠1, the propagator contribution is Δ(|x − (Ax+b+e(n))|) = Δ(|(1−A)x − (b+e(n))|), which depends on x in the rotated directions. After integrating over the fundamental domain, the result depends on A in a nontrivial way; it is not simply a lattice sum over b+e(n). For k=2 the formula reduces to a pure shift by L0/2, predicting that the rotation has no effect, which contradicts the forbidden-momentum and multiplicity discussion near Eqs. (6)–(7). This is the only explicit QFT check in the paper, so the central path-integral claim is unsupported until Eq. (10) is corrected and derived.
  2. [Rotation and finite volume effects, paragraph after Eq. (17)] The assertion that only k=2,3,4,6 are possible, and that these give exactly seven cases, is never proved in the paper. The text states 'No other integer k is possible' and then lists the metrics, but the derivation is absent. Because this is the paper's central classification claim, the authors should either provide a self-contained argument or give a precise theorem/reference showing that the crystallographic conditions force exactly these rotation angles and the stated spatial metrics. Merely citing the 26-manifold classification does not by itself prove that the rotating-box interpretation is exhausted by these seven cases.
  3. [Conclusion and Outlook] The paper claims to formulate 'QFT on rotating boxes' and opens with QCD motivation, but the constructive path-integral evidence is limited to a free scalar (and that computation is flawed as noted above). The authors state that fermions and gauge theories will be treated in future publications and that 'More details' on forbidden momenta will appear elsewhere. For the paper as it stands, the scope of the central claim should be narrowed to the geometric construction and a free-scalar example, or the missing gauge/fermion measure, gauge-fixing, and spin-structure issues need to be addressed. As written, the title and abstract overstate the level of support for interacting QFTs.
minor comments (5)
  1. [Free scalars, Eq. (10) display] The displayed equation is broken across lines as 'fT4/G = (10) ='; the numbering and alignment should be cleaned up.
  2. [Rotation and finite volume effects, paragraph near Eq. (13)] Typo: 'inmunits' should be 'in units'.
  3. [Conserved charges, Eq. (5)] The notation e^{iy_k P_k} with no explicit sum convention is slightly ambiguous; state whether summation over k is implied.
  4. [Both rotating and moving boxes] The statement that B=2 and hence exactly one spatial isometry direction survives is given without derivation. A short explanation or reference would help the reader verify the global-topology claim.
  5. [General classification, Eq. (6)-(7)] The forbidden-momentum characterization is only sketched and explicitly deferred to a forthcoming publication. Since it is used to argue for reduced multiplicities, the paper should at least outline the proof or mark this as a conjecture in the present work.

Circularity Check

0 steps flagged

No significant circularity: allowed angles are forced by fixed-point-free lattice actions and external mathematical classification, not by fitted inputs or self-citation.

full rationale

The paper's central claim is that only ϑ=2π/k for k=2,3,4,6 admit a consistent flat, orientable, boundary-free compactification, realized by rotated boundary conditions on T^4/Z_k. This is derived from the mathematical classification of flat compact orientable 4-manifolds as quotients T^4/G (citing Bieberbach and Szczepański) plus the condition that the rotation A preserve the spatial lattice and act without fixed points. The restriction k∈{2,3,4,6} emerges from crystallographic restriction, an external mathematical fact, rather than being assumed. The free-scalar free energy in Eq. (10) is obtained by a standard mirror-charge sum and involves no fitted parameters; the finite-volume optimization uses known lattice geometry and the LLL algorithm. There are no self-citations used as load-bearing evidence, no uniqueness claim imported from the authors' own prior work, and no fitted quantity renamed as a prediction. The skeptical concern that Eq. (10) mishandles the rotational part of deck transformations is a potential technical error, not a circularity: an incorrect derivation would invalidate evidence but does not make the argument circular. The derivation chain is therefore self-contained with respect to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

The paper introduces no new physical entity and no fitted constant. Its inputs are known classification theorems and standard thermal field theory assumptions. The continuous shape parameters in the E matrices describe the geometry of the box, not ad hoc adjustments; the optimal values are determined by finite-volume minimization, not by data.

axioms (6)
  • standard math Every compact flat orientable Riemannian 4-manifold is a quotient R^4/Γ, and the finite group G acting on T^4 has translations with rational coordinates b=r_a e_a, r_a=k_a/|G|.
    Invoked in Section 'QFT on compact, flat, orientable manifolds' to set up the classification of 26 manifolds; cited to Bieberbach [27,28] and Szczepanski [29].
  • standard math In three dimensions the only finite rotations that can preserve a lattice have order 2,3,4,6.
    Used to restrict k in Eq (17); stated without proof, standard crystallographic restriction.
  • domain assumption The Euclidean path integral with boundary condition (18) represents the trace Tr(e^{-βH}U(ϑ)).
    Assumed in Sections 'Conserved charges' and 'Rotation and finite volume effects'; standard in thermal field theory but not proven for interacting fields.
  • domain assumption The Luscher finite-volume mass-shift formula (12) extends unchanged to non-orthogonal spatial tori.
    Used in Eq (13) for the general E matrices; no derivation for non-orthogonal periodicity is given.
  • standard math The densest lattice packing in 3D is the face-centered cubic (tetrahedral-octahedral) lattice.
    Used to assert that α=2^{1/6} is the global optimum in Eq (16); known result from sphere packing but not proved here.
  • standard math Spin structures exist on 23 of the 26 manifolds, including the 7 studied.
    Mentioned in Conclusion with citations [33-35]; needed for future fermion formulations.

pith-pipeline@v1.3.0-alltime-deepseek · 10428 in / 27004 out tokens · 188940 ms · 2026-08-04T15:17:05.985660+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of QFT on rotating boxes at finite temperature." pith.science (2026). https://pith.science/paper/L3HTURT7

@misc{pith2026250919933,
  author       = {Pith},
  title        = {Pith review of: QFT on rotating boxes at finite temperature},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/L3HTURT7}},
  note         = {Machine review of arXiv:2509.19933}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

We formulate thermal quantum field theory on a finite spatial periodic volume incorporating finite rotations. Traditional compactifications at finite temperature without rotations typically involve ${\mathbb T}^4$ as the space-time manifold within a path integral formulation and also moving frames can be accommodated by shifted boundary conditions on the same space. We show that consistent descriptions of certain finite rotations are possible on space-time manifolds with topology different from ${\mathbb T}^4$ but still flat and without boundary and we classify all possible geometries. The non-trivial topology may be implemented by rotated boundary conditions allowing for a path integral formulation. The purely imaginary angular velocity in temperature units cannot be arbitrary but several discrete values are possible. We also discuss finite volume effects in detail.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

36 extracted references · 25 linked inside Pith

  1. [1]

    Vilenkin, Phys

    A. Vilenkin, Phys. Rev. D20, 1807-1812 (1979)

    1979

  2. [2]

    Erdmenger, M

    J. Erdmenger, M. Haack, M. Kaminski and A. Yarom, JHEP01, 055 (2009) [arXiv:0809.2488 [hep-th]]

    Pith/arXiv arXiv 2009

  3. [3]

    Banerjee, J

    N. Banerjee, J. Bhattacharya, S. Bhattacharyya, S. Dutta, R. Loganayagam and P. Surowka, JHEP01, 094 (2011) [arXiv:0809.2596 [hep-th]]

    Pith/arXiv arXiv 2011

  4. [4]

    D. T. Son and P. Surowka, Phys. Rev. Lett.103, 191601 (2009) [arXiv:0906.5044 [hep-th]]

    Pith/arXiv arXiv 2009

  5. [5]

    D. E. Kharzeev and D. T. Son, Phys. Rev. Lett.106, 062301 (2011) [arXiv:1010.0038 [hep-ph]]

    Pith/arXiv arXiv 2011

  6. [6]

    Landsteiner, E

    K. Landsteiner, E. Megias and F. Pena-Benitez, Phys. Rev. Lett.107, 021601 (2011) [arXiv:1103.5006 [hep- ph]]

    Pith/arXiv arXiv 2011

  7. [7]

    D. E. Kharzeev, J. Liao, S. A. Voloshin and G. Wang, Prog. Part. Nucl. Phys.88, 1-28 (2016) [arXiv:1511.04050 [hep-ph]]

    Pith/arXiv arXiv 2016

  8. [8]

    I. A. Grenier and A. K. Harding, Comptes Rendus Physique16, 641-660 (2015) [arXiv:1509.08823 [astro- ph.HE]]

    Pith/arXiv arXiv 2015

  9. [9]

    A. L. Watts, N. Andersson, D. Chakrabarty, M. Fe- roci, K. Hebeler, G. Israel, F. K. Lamb, M. C. Miller, S. Morsink and F. ¨Ozel,et al.Rev. Mod. Phys.88, no.2, 021001 (2016) [arXiv:1602.01081 [astro-ph.HE]]

    Pith/arXiv arXiv 2016

  10. [10]

    Paschalidis and N

    V. Paschalidis and N. Stergioulas, Living Rev. Rel.20, no.1, 7 (2017) [arXiv:1612.03050 [astro-ph.HE]]

    Pith/arXiv arXiv 2017

  11. [11]

    Becattini, F

    F. Becattini, F. Piccinini and J. Rizzo, Phys. Rev. C77, 024906 (2008) [arXiv:0711.1253 [nucl-th]]

    Pith/arXiv arXiv 2008

  12. [12]

    Jiang, Z

    Y. Jiang, Z. W. Lin and J. Liao, Phys. Rev. C94, no.4, 044910 (2016) [erratum: Phys. Rev. C95, no.4, 049904 (2017)] [arXiv:1602.06580 [hep-ph]]

    Pith/arXiv arXiv 2016

  13. [13]

    Adamczyket al.[STAR], Nature548, 62-65 (2017) [arXiv:1701.06657 [nucl-ex]]

    L. Adamczyket al.[STAR], Nature548, 62-65 (2017) [arXiv:1701.06657 [nucl-ex]]

    Pith/arXiv arXiv 2017

  14. [14]

    V. E. Ambru¸ s and E. Winstanley, Phys. Lett. B734, 296-301 (2014) [arXiv:1401.6388 [hep-th]]

    Pith/arXiv arXiv 2014

  15. [15]

    M. N. Chernodub and S. Gongyo, JHEP01, 136 (2017) [arXiv:1611.02598 [hep-th]]

    Pith/arXiv arXiv 2017

  16. [16]

    Yamamoto and Y

    A. Yamamoto and Y. Hirono, Phys. Rev. Lett.111, 081601 (2013) [arXiv:1303.6292 [hep-lat]]

    Pith/arXiv arXiv 2013

  17. [17]

    M. N. Chernodub and S. Gongyo, Phys. Rev. D95, no.9, 096006 (2017) [arXiv:1702.08266 [hep-th]]

    Pith/arXiv arXiv 2017

  18. [18]

    V. V. Braguta, A. Y. Kotov, D. D. Kuznedelev and A. A. Roenko, Phys. Rev. D103, no.9, 094515 (2021) [arXiv:2102.05084 [hep-lat]]

    Pith/arXiv arXiv 2021

  19. [19]

    V. V. Braguta, M. N. Chernodub and A. A. Roenko, Phys. Lett. B855, 138783 (2024) [arXiv:2312.13994 [hep- lat]]

    Pith/arXiv arXiv 2024

  20. [20]

    V. V. Braguta, M. N. Chernodub, A. A. Roenko and D. A. Sychev, Phys. Lett. B852, 138604 (2024) [arXiv:2303.03147 [hep-lat]]

    Pith/arXiv arXiv 2024

  21. [21]

    V. V. Braguta, M. N. Chernodub, I. E. Kudrov, A. A. Roenko and D. A. Sychev, Phys. Rev. D110, no.1, 014511 (2024) [arXiv:2310.16036 [hep-ph]]

    Pith/arXiv arXiv 2024

  22. [22]

    Giusti and H

    L. Giusti and H. B. Meyer, Phys. Rev. Lett.106, 131601 (2011) [arXiv:1011.2727 [hep-lat]]

    Pith/arXiv arXiv 2011

  23. [23]

    Giusti and H

    L. Giusti and H. B. Meyer, JHEP11, 087 (2011) [arXiv:1110.3136 [hep-lat]]

    Pith/arXiv arXiv 2011

  24. [24]

    Giusti and H

    L. Giusti and H. B. Meyer, JHEP01, 140 (2013) [arXiv:1211.6669 [hep-lat]]

    Pith/arXiv arXiv 2013

  25. [25]

    Giusti and M

    L. Giusti and M. Pepe, Phys. Rev. Lett.113, 031601 (2014) [arXiv:1403.0360 [hep-lat]]

    Pith/arXiv arXiv 2014

  26. [26]

    Giusti and M

    L. Giusti and M. Pepe, Phys. Lett. B769, 385-390 (2017) [arXiv:1612.00265 [hep-lat]]

    Pith/arXiv arXiv 2017

  27. [27]

    Bieberbach, Math

    L. Bieberbach, Math. Ann.70, 297 (1911)

    1911

  28. [28]

    Bieberbach, Math

    L. Bieberbach, Math. Ann.72, 400 (1912)

    1912

  29. [29]

    forbidden

    for more details. More precisely, let us start with a set of basis vectors inR 4,e a assembled into a 4×4 matrix 3 ea ν, thea th column ise a. There is an associated lattice Λ⊂R 4 given by integer linear combinationse (n) =n aea. Then we haveT 4 =R 4/Λ and the volume of this 4-torus isV=|det (e)|. There are stringent conditions on sub- groupsGof the Eucli...

  30. [30]

    Szczepa´ nski, Algebra and Discrete Mathematics, Vol 4, World Scientific Publishing Company (2012)

    A. Szczepa´ nski, Algebra and Discrete Mathematics, Vol 4, World Scientific Publishing Company (2012)

    2012

  31. [31]

    Luscher, Commun

    M. Luscher, Commun. Math. Phys.104, 177 (1986)

    1986

  32. [32]

    Gasser and H

    J. Gasser and H. Leutwyler, Phys. Lett. B184, 83-88 (1987)

    1987

  33. [33]

    A. K. Lenstra, H. W. Lenstra and L. Lov´ asz, Math. Ann. 261, no.4, 515-534 (1982)

    1982

  34. [34]

    Putrycz and A

    B. Putrycz and A. Szczepanski, Adv. in Geometry, 10 (2), 323-332 (2010)

    2010

  35. [35]

    Lutowski and B

    R. Lutowski and B. Putrycz, J. Algebra 436, 277-291 (2015)

    2015

  36. [36]

    Lutowski, N

    R. Lutowski, N. Petrosyan and A. Szczepa´ nski, Mathe- matika, Vol. 64(1), 253-266 (2018)

    2018