{"id":"52fd45c2-bfc1-4f1e-8af0-28fdcd5347ed","arxiv_id":"2607.15326","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The Hat and Spectre aperiodic monotiles define erasure-correcting quantum codes with two local-indistinguishability sectors; under SE(2) the Hat retains a superselected chirality bit while the Spectre's label is gauged away.","lead":"This paper extends the Penrose-tiling quantum error-correcting code to the Hat and Spectre aperiodic monotiles, proving local indistinguishability and, for nonsingular tilings, local recoverability. It shows that the Hat tiling's two mirror classes form a hybrid quantum-classical memory with one superselected \"handedness\" bit under the physical isometry gauge.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Recoverability theorem is stated on the hull Ω_Hat, but the code is defined on all nonsingular Hat tilings; the needed identification T^+_Hat=Ω_Hat is asserted in a Remark, not proved.","rationale":"The reader's weakest_assumption identifies exactly the load-bearing gap I find: the hull identification T^+_Hat = Ω_Hat is asserted but not proved, and Theorem 6's nonsingular recoverability proof is stated only on Ω_Hat. I checked the relevant passages (§3.2 Remark, §3.3.2 Theorem 6, §3.3.4 Proposition 8, §3.4 Eq. (8)) and the concern is genuine: the code space is defined over T^{±,ns}_Hat, while the theorem that supplies local recoverability is restricted to Ω_Hat. Proposition 8's patch-level enumeration is evidence for, but not a proof of, the required equality. This does not undermine the paper's internal consistency or the sector/superselection analysis once the identification is supplied; it is a missing but plausibly repairable lemma. I have no additional independent objection beyond the reader's, so the conditional verdict stands unchanged.","tokens_in":17743,"tokens_out":7694,"duration_ms":87766,"concrete_test":"Attempt a direct proof of T^+_Hat = Ω_Hat: fix the reference Hat tiling T0 from [2, Thm. 5.1] and, for an arbitrary legal finite patch P, use primitivity of the metatile substitution to show P occurs in T0 with positive frequency. If this succeeds, every Hat tiling is a limit of translates of T0, so T^+_Hat ⊂ Ω_Hat and Theorem 6 covers all nonsingular tilings of the class. If a legal patch can be exhibited that is absent from T0, then T^+_Hat ≠ Ω_Hat and Theorem 9 must be restricted to the hull. A minimal computational component: enumerate all legal supertile adjacency classes from the Anderson–Putnam complex of [4] and check each appears in the 2490-tile patch or a substitution iterate; a missing class would falsify the identification.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 6 proves local recoverability only for pairs in Ω_Hat: its Step 2 uses the singleton fiber of β: Ω_Hat → T at a nonsingular parameter. The code spaces in Eq. (8), however, are spanned by orbit states of T^{±,ns}_Hat — 'nonsingular tilings of each class.' If the right-handed class T^+_Hat is strictly larger than the hull Ω_Hat, a nonsingular tiling outside Ω_Hat has no torus phase, and Theorem 6 does not apply to it. The paper's only support for the equality is the Remark in §3.2, which says it 'follows from the unique-hierarchy theorem together with the standard finite check ... implicit in [4]' — but no proof and no theorem number in [4] are cited. Proposition 8's 'two-corona forcing' check verifies unique completions only for configurations occurring in one 2490-tile patch; it does not enumerate all legal local configurations, so it cannot by itself establish the hull equality. Thus the abstract's unconditional statement and Theorem 9(i), both phrased over all nonsingular Hat tilings, rest on an unstated lemma. This is a fixable gap rather than a contradiction: if [2, Thm. 5.1] plus primitivity of the metatile substitution implies every legal finite patch appears with positive frequency in a fixed Hat tiling, then T^+_Hat = Ω_Hat follows and the concern dissolves. But as submitted, the central recoverability claim is not self-contained.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper extends Li and Boyle's construction of quantum error-correcting codes from aperiodic tilings to the Hat and Spectre monotiles. For the Hat it claims strong local indistinguishability within each of two chirality classes, local recoverability for all nonsingular tilings via the torus parametrization of the underlying cut-and-project scheme, and a reduction of the remaining singular case to a sharply posed retiling question supported by computational evidence on a 2490-tile patch. It further claims that under the physically natural gauge group SE(2) the Hat code is a hybrid memory: two erasure-correcting quantum sectors plus a superselected classical handedness bit, while the Spectre's analogous two-class label is gauged away by a 30-degree rotation. Exact Perron--Frobenius frequencies are derived for both codes, and a comparison across the Li--Boyle family is given.","tokens_in":18038,"tokens_out":27894,"duration_ms":295299,"significance":"If the central recoverability claim can be made fully self-contained, this is a worthwhile contribution: it is the first extension of the Li--Boyle construction to aperiodic monotiles, it identifies a new structural feature (two local-indistinguishability classes leading to a hybrid quantum--classical memory), and it provides exact frequency data with no fitted parameters. The paper is careful to distinguish theorems from finite computational evidence, and the certified SAT enumeration with exact integer arithmetic is a concrete strength. The main obstacle is the unproved identification between the family of nonsingular Hat tilings and the hull on which the torus parametrization is defined; until that is resolved, the 'unconditional' recoverability statement is conditional on an external finite-check assertion. The paper's honest treatment of the open singular-pair question is also a positive feature.","major_comments":[{"comment":"Theorem 6 proves recoverability only for tilings in the hull Ω_Hat, where the torus parametrization β is defined (Theorem 6, Steps 1–2). The code, however, is defined on all nonsingular tilings of each class through T^{±,ns}_Hat in Eq. (8), and both the abstract and Theorem 9(i) state erasure correction for all nonsingular Hat tilings. The equality T^+_Hat = Ω_Hat is asserted in the Remark of §3.2 with a sketch ('unique-hierarchy theorem together with the standard finite check ... implicit in [4]') but no proof and no theorem number. Without this equality, a nonsingular tiling outside Ω_Hat has no β-parameter and Theorem 6 does not apply to it. This is the central scope gap: either prove the equality as a lemma (e.g. via the unique hierarchy and primitivity, showing every finite patch of a Hat tiling occurs in a substitution tiling) or state the code and Theorem 9 on Ω_Hat only.","section":"§3.2 Remark; §3.3.2; Eq. (8); Theorem 9(i)"},{"comment":"The computational certificate does not supply the missing ‘standard finite check’ for T^+_Hat = Ω_Hat. Proposition 8 verifies uniqueness of tiling for one 2490-hat patch and, as a consequence, for all tile-union subregions of that patch; it does not enumerate all legal local configurations of the Hat tiling space. The sentence ‘the same enumeration doubles as a finite adjacency check ...’ verifies only the 66 radius-2 and 30 flower classes occurring in the certified patch. A finite patch, however large, cannot by itself rule out a bounded singular pair living outside it, nor prove that every legal local configuration extends uniquely, unless an independent finiteness/completeness argument is supplied. The open status of Lemma 7 is stated correctly, but the use of Proposition 8 as evidence for the hull identification should be removed or supplemented by a completeness argument.","section":"§3.3.4, Proposition 8 and following paragraph"},{"comment":"The Spectre recoverability claim inherits the same hull-identification problem. The text says ‘the proof of Theorem 6 applies verbatim within each LI class,’ but Theorem 12 defines sectors from nonsingular tilings of LI_k, and recoverability is again established only on the relevant hull. Unless LI_k is proved to equal the relevant hull component (or is defined that way), the same gap affects the Spectre sectors under G_6. This should be addressed explicitly in the revision, not merely inferred from the Hat discussion.","section":"§4.3; Theorem 12"}],"minor_comments":[{"comment":"The group-average state in Eq. (1) is an integral over the noncompact group SE(2) (or E(2)) and is not normalizable as written. This is inherited from [1], but a short sentence stating the formal convention used for the Knill–Laflamme conditions would help readers not already familiar with that construction.","section":"§2, Eq. (1)"},{"comment":"The terminology around λ_+ = 4+√15 could confuse: it is called ‘area inflation per substitution step’ and later ‘linear inflation per σ² step’. Please state explicitly that Eq. (11) is the single-step substitution matrix, whose PF eigenvalue is the area inflation for one step, while the linear inflation for the chirality-preserving step σ² is 4+√15.","section":"§4.1, Eqs. (11)–(12)"},{"comment":"The Spectre tiling family is not closed under reflections (indeed the physical tile is curved so reflected copies cannot fit). The E(2) row for the Spectre is therefore not a valid Li–Boyle code as defined in §2. Please mark that entry as N/A or explicitly define an enlarged family that is E(2)-closed.","section":"Table 2 and Table 3, E(2) row for the Spectre"},{"comment":"The two-type census matrix M is asserted without derivation. Since the reflected-hat frequency in Eq. (5) and the bit separation in Eq. (9) depend on it, include the aggregation of the four-metatile substitution of [2] that yields Eq. (4), or give a precise citation to the location in [2] where this census appears.","section":"§3.1, Eq. (4)"},{"comment":"The notation |K|_tiles is used for the expected number of tiles in the window K, but it is not defined. Also, ‘readable in any bounded window’ should be phrased as an expectation separation: a single-shot measurement with finite variance will not distinguish the two classes reliably unless the window is large enough.","section":"§3.4, Eq. (9)"}],"recommendation":"major_revision","confidential_remarks":"The central construction is plausible and the computational work is solid, but the unproved identification T^+_Hat = Ω_Hat is load-bearing for the main recoverability claim. This is fixable in revision by adding a short lemma based on the unique-hierarchy theorem and primitivity, or by narrowing the statement of Theorem 9 to the hull. I do not see grounds for rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a look if you care about either tiling codes or aperiodic order. The paper does something real: it takes the Li–Boyle erasure-correction idea, which was known for Penrose, Ammann–Beenker, and Fibonacci, and carries it to the Hat and Spectre monotiles. The Perron–Frobenius frequency data are exact and clean, the per-class strong LI theorem follows from the unique-hierarchy theorem in a way that is explained well, and the sector/superselection analysis is the genuine new twist: under SE(2) the Hat's two LI classes become a hybrid quantum-classical memory, with a superselected handedness bit readable in any bounded window. I found that claim convincing once you accept the sector decomposition, and the distinction between the Hat (reflection-swapped, bit survives) and the Spectre (rotation-swapped, bit merges) is clearly argued.\n\nThe soft spot is real but fixable. Theorems 6 and 9 are phrased for all nonsingular Hat tilings, but the recoverability proof actually runs on the hull Ω_Hat, using the torus parametrization from the model-set description. The paper asserts in a Remark in §3.2 that T^+_Hat = Ω_Hat, citing the unique-hierarchy theorem plus a \"standard finite check\" implicit in [4], but no proof or theorem number is given. This is exactly the step that lets the abstract say \"unconditional for all nonsingular Hat tilings.\" As written, that scope is not self-contained. The computational Proposition 8 helps—the 2490-tile patch is a nice check—but it only verifies one finite patch, so it cannot settle the identification in general. A referee should ask for a proper argument, or the theorems should be restricted to the hull until that is supplied.\n\nAlso minor: the singular case is honestly left open, which I appreciate, but the abstract and the title of Theorem 9 overstate the domain just a bit. The claimed certificates for Proposition 8 are mentioned as ancillary but not actually in the text; that's probably fine for a preprint, but it makes the 'certified' claim harder to verify.\n\nWho would get value? Quantum information readers who like exotic codes, and aperiodic-order people who like seeing tiling facts repurposed. It is a solid paper, not groundbreaking, and the main claim needs a patch. I'd send it to peer review and ask for the hull identification to be closed or the scope narrowed. I'd bring it to our reading group and probably cite it for the sector structure.\n\nEndorse peer review, conditional on that fix.","headline":"A genuine extension of the Li–Boyle construction to monotiles, with a nice superselection twist; the main gap is an unproved hull identification that the abstract's unconditional claims depend on.","tokens_in":18573,"tokens_out":1785,"would_cite":true,"duration_ms":23223,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P70","52C23","37B50"],"pacs":["03.67.Pp"],"model":"deepseek-v4-flash","headline":"The Hat and Spectre aperiodic monotiles yield quantum error-correcting codes whose code spaces split into two sectors; under the physically natural symmetries, only the Hat keeps a superselected classical chirality bit.","keywords":["quantum error correction","aperiodic monotiles","Hat tiling","Spectre tiling","local indistinguishability","local recoverability","cut-and-project scheme","superselection"],"falsifier":"Seek a bounded singular pair: two distinct legal Hat tilings that agree everywhere outside some bounded region. Finding any tile-union region, inside any Hat tiling, that admits a second tiling by hats would produce such a pair and refute full local recoverability; extending the exhaustive retiling enumeration beyond the certified 2490-tile patch, or proving the border-forcing property of the inflation, would settle the open question.","tokens_in":17562,"feed_emoji":"🧩","tokens_out":11048,"duration_ms":100283,"temperature":0.7,"pith_summary":"The paper extends to the aperiodic monotiles — the Hat and the Spectre — a construction that turned the Penrose tiling into a quantum error-correcting code: superpose a tiling over all its allowed positions and orientations, and no bounded erasure can read or damage the stored quantum information. For the Hat it establishes both required properties on the full family: every finite patch has the same frequency within each of the two chirality classes, and every nonsingular Hat tiling is uniquely determined by the complement of any bounded region. Because there are two local-indistinguishability classes rather than one, the code space splits into two sectors, and a local counter — the reflected-tile fraction — distinguishes them. Under the physically natural gauge group that hides position and orientation but not parity, the Hat code therefore also stores one classical bit, the global handedness of the tiling, alongside its protected quantum sectors; the chiral Spectre loses its analogous label because a 30° rotation swaps its classes. The paper supplies exact frequency data for both codes: reflected hats at densities (3∓√5)/6 and Spectre orientation classes at (5±√15)/10.","feed_headline":"Hat monotile yields a quantum code with a superselected classical bit","feed_subtitle":"Both aperiodic monotiles protect quantum data against local erasure; the Hat alone adds a readable handedness bit.","key_machinery":"The argument rests on three interlocking pieces: the unique-hierarchy theorem, which gives every Hat tiling exactly one decomposition into ever-larger supertiles and turns patch frequencies into Perron–Frobenius limits, yielding local indistinguishability within each chirality class; the torus parametrization of the cut-and-project scheme, a continuous translation-equivariant map assigning each tiling a phase that is one-to-one on nonsingular tilings, so two tilings agreeing outside a bounded region share a phase and coincide, yielding local recoverability; and the census matrix [[1,1],[5,6]] for reflected versus unreflected hats, whose Perron–Frobenius data give the reflected-hat frequencie","core_discovery":"Both aperiodic monotiles, the Hat and the Spectre, admit erasure-correcting quantum codes built from isometry-orbit superpositions. The Hat's tilings split into two chirality classes with uniform patch frequencies and local recoverability for nonsingular tilings, so erasure of any bounded region is correctable on each class. Under the physically natural gauge group SE(2), the two classes become superselection sectors — only reflections swap them — so the Hat code stores one classical handedness bit, readable with separation Δ = |K|√5/3. The Spectre's classes are swapped by a proper 30° rotation, so under SE(2) they merge; only under a smaller hexagonal subgroup does it form a two-sector code","pith_inferences":["Editorial inference: The Hat–Spectre contrast suggests a general principle: in any tiling code, a sector label survives gauging by G exactly when the isometry exchanging the LI classes is outside G. Other reflexible aperiodic tilings with reflection-related classes might therefore carry similar classical bits, while chiral tilings under SE(2) generically will not.","Editorial inference: Because the chirality bit is invisible to entanglement entropy yet readable by a local counter, this code separates classical and quantum information in a way that could be exploited for combined classical-quantum storage; a lattice implementation on the kisrhombille substrate is a concrete testbed.","Editorial inference: The singular-pair question could be attacked by exact retiling enumeration on substitution-grown patches well beyond 2490 tiles; a counterexample would produce an uncorrectable erasure class, while a proof of unique retiling for all tile-unions would complete the code on the full hull including singular tilings."],"forward_implications":["Erasure of any bounded region is correctable on all nonsingular Hat tilings, with correctable radius growing as a φ^{2n} per deflation step; the same applies to nonsingular Spectre tilings with growth a(4+√15)^n.","The Hat code is a hybrid memory: two erasure-correcting quantum sectors plus one superselected classical bit; coherences between sectors are not protected, but the bit is readable in any bounded window via the reflected-tile fraction.","Under SE(2) the Spectre code has a single sector, whereas under the hexagonal subgroup G6 it splits into two sectors separated by orientation parity with Δ = |K|√15/5 tiles.","If the singular-pair question is settled in the affirmative — no bounded singular pairs — local recoverability extends from nonsingular to all Hat tilings; the certified 2490-tile patch already excludes every tile-union region occurring in that patch, including all first-corona and radius-2 neighbourhood classes."],"fun_headline_variants":["Hat monotile code: quantum protection plus a classical handedness bit","Both aperiodic monotiles fix erasures; only Hat stores a chirality bit","Hat tiling's quantum code hides a readable classical bit under SE(2)","Reflexible Hat, not chiral Spectre, carries the chirality bit in code"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the cut-and-project description of the Hat hull gives a torus parametrization that is one-to-one on nonsingular phases — so two tilings agreeing outside a bounded region must share a phase and therefore be identical; if that fiber-to-singleton correspondence fails on a positive-measure set, or if the hull used is larger than the family of legal Hat tilings, local recoverability for all nonsingular Hat tilings is not established.","fun_headline_variants_meta":{"raw":{"variants":["Hat monotile code: quantum protection plus a classical handedness bit","Both aperiodic monotiles fix erasures; only Hat stores a chirality bit","Hat tiling's quantum code hides a readable classical bit under SE(2)","Reflexible Hat, not chiral Spectre, carries the chirality bit in code"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000215,"raw_usage":{"total_tokens":1364,"prompt_tokens":939,"completion_tokens":425,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":683,"completion_tokens_details":{"reasoning_tokens":351}},"tokens_in":683,"tokens_out":425,"duration_ms":5021,"temperature":1.0,"reasoning_tokens":351,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-02T00:28:54.511363+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Seek a bounded singular pair: two distinct legal Hat tilings that agree everywhere outside some bounded region. Finding any tile-union region, inside any Hat tiling, that admits a second tiling by hats would produce such a pair and refute full local recoverability; extending the exhaustive retiling enumeration beyond the certified 2490-tile patch, or proving the border-forcing property of the inflation, would settle the open question.","supporting_citations":[],"review_version":1}