{"id":"6602f402-036f-40bd-857f-28ab339cf509","arxiv_id":"2508.04837","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The CAR algebra admits countably many pairwise non-conjugate C*-diagonals with Cantor spectrum, distinguished by diagonal dimension, including non-AF examples.","lead":"The paper constructs new non-standard 'diagonals' inside the CAR algebra, the basic infinite-dimensional matrix algebra, using the paper-folding sequence and advanced classification theorems. It shows the CAR algebra contains infinitely many distinct such diagonals, resolving an open question about their structure.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 2.3 treats countable φ²-orbits as clopen sets; without replacing them by their orbit closures, Proposition 2.4's K-theory computation and hence Theorem A are not rigorously established.","rationale":"The reader’s weakest_assumption identifies the anti-palindrome bound (Proposition 1.2(iii)) and the freeness of the Z⋊Z₂ action as the load-bearing point. That bound is proved in the text with an induction on the paper-folding recursion, and I do not see a substantive flaw in it. The more acute problem is Lemma 2.3: the notation X^(0), X^(1) as written cannot define clopen sets, since they are countable orbits in an uncountable Cantor space. Proposition 2.4 relies on p = χ_{X^(0)} being a continuous clopen projection, and the global K-theory computation depends on that. This is a genuine gap in the written proof, but it is also clearly repairable by replacing the definitions with orbit closures or with the components of β^{-1}(X_ϱ). The intended argument is visible, and the surrounding estimates are consistent with that repair. I therefore see no reason to move beyond the reader’s conditional verdict: the paper is likely correct, but this lemma must be rewritten for the central construction to be rigorous. The K₁ value in Theorem 3.1 noted by the reader is a separate small issue and does not affect the main claim.","tokens_in":24984,"tokens_out":31251,"duration_ms":366786,"concrete_test":"Redo Lemma 2.3 with X̄^(0) = closure{φ^{2k}(x̃) : k ∈ Z} (equivalently, the component of β^{-1}(X_ϱ) contained in X) and X̄^(1) = φ(X̄^(0)). Verify: (a) β maps X̄^(0) homeomorphically onto X_ϱ; (b) X̄^(0) ∩ X̄^(1) = ∅, either by proving the distance inequality of Lemma 2.3(ii) for all k, ℓ ∈ Z, or by using [39, Lemma 5.2] to justify passing from positive shifts to full orbit closures; (c) with p = 1_{X̄^(0)}, the map C(X_ϱ) ⋊_φ_A Z → pAp sending f ↦ f∘β|_{X̄^(0)} and u_B ↦ p u_A² p is an isomorphism. If (a)–(c) hold, Proposition 2.4 is valid; if they fail, the K₀ identification Z[1/2] ⊕ Z for the paper-folding crossed product collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing gap is in Section 2, Lemma 2.3. Equations (2.17)–(2.18) define X^(0) and X^(1) as the φ²- and φ^{2k+1}-orbits of the point x̃. These are countable sets. Claim (ii) asserts X^(0) ⊔ X^(1) = X and that both are clopen, but X is a Cantor space, hence uncountable, and an orbit of a homeomorphism on a Cantor space is not closed unless finite. So the literal statement cannot be correct. Proposition 2.4 then uses p = χ_{X^(0)} as a clopen projection, identifies pAp ≅ C(X_ϱ) ⋊ Z, and concludes A ≅ M₂(B); all later K-theory — Proposition 2.9, the classification argument in Theorem 3.1, and Theorem A — rests on this identification. The proof must be read as intending orbit closures (equivalently, the two components of β^{-1}(X_ϱ) inside X). As written, this is the main missing justification at the exact point where the paper-folding subshift is connected to the substitution subshift used to compute K₀. This is more directly load-bearing than the anti-palindrome bound of Proposition 1.2(iii), which is proved in the text and appears sound.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs, for each n in {0,1,2,...,∞}, a C*-diagonal (D ⊂ M_{2^∞}) with Cantor spectrum and diagonal dimension n. For n=1 this gives a Cantor-spectrum diagonal in the CAR algebra that is not conjugate to the standard AF diagonal, answering a question of Blackadar and, for general n, a problem raised in [31, Remark 6.10]. The construction uses the paper-folding subshift X, the free minimal Z⋊Z2 action generated by the shift and anti-reversal, and a substitution subshift X_ϱ used to compute the K-theory of C(X)⋊Z. The crossed product A=C(X)⋊(Z⋊Z2) is shown to be classifiable with K0(A)≅Z2⊕Z[1/2]; tensoring with M_{2^∞} and applying classification gives B≅M_{2^∞}, while the intermediate non-AF subalgebra obstruction shows the diagonal is not AF. Diagonal dimension theory then distinguishes the tensor powers D^{⊗n}. The main technical proof is the K-theory computation in Section 2, and the main gap is in Lemma 2.3, where the clopen partition X=X^(0)⊔X^(1) is not justified as written.","tokens_in":1391,"tokens_out":3749,"duration_ms":211617,"significance":"If the technical issue in Lemma 2.3 is repaired, the results are significant. They provide the first Cantor-spectrum C*-diagonals in the CAR algebra that are not AF diagonals, and they produce countably many pairwise non-conjugate such diagonals distinguished by diagonal dimension. The construction is explicit, the dependence on classification theory is carefully documented, and the use of the paper-folding sequence is natural and self-contained. The paper also gives a satisfying resolution of [31, Remark 6.10]. The proofs are largely built from established theorems (classification, Künneth, diagonal dimension, Thomsen's K-theory of Z⋊Z2 crossed products), and the paper is careful about pointing out where quoted results are used. The main issue is local but load-bearing: Lemma 2.3 must be rewritten before the K-theory computation is rigorous.","major_comments":[{"comment":"The sets X^(0) and X^(1) are defined as raw φ²-orbits, hence are countable. Claim (ii) asserts X^(0)⊔X^(1)=X with both clopen; a countable subset of a Cantor space is not clopen unless finite, and a non-periodic orbit is not closed. Claim (iii) asserts β(X^(0))=X_ϱ, impossible since β(X^(0)) is countable while X_ϱ is a Cantor space. The proof should pass to orbit closures. This matters because Proposition 2.4 uses p=χ_{X^(0)} as a clopen projection and identifies A≅M_2(B); all subsequent K-theory and Theorems 3.1 and 3.4 rely on this step.","section":"§2, Lemma 2.3 (Eqs. (2.17)-(2.18), claims (ii)-(iii))"}],"minor_comments":[{"comment":"K_1((C(X)⋊_φ Z)⊗M_{2^∞}) is Z[1/2], not Z, by the Künneth formula and K_1(C(X)⋊_φ Z)≅Z; since the argument only needs nonvanishing K_1, this is a local error.","section":"Theorem 3.1"},{"comment":"After the orbit-closure correction, the reduction to k∈N in (2.19) should be justified; citing [39, Lemma 5.2] is insufficient in the new formulation.","section":"Lemma 2.3"},{"comment":"The finite checks for t4 and t̂3 1 t3 are asserted as 'directly seen'; an explicit verification table would help.","section":"Proposition 1.2(iii)"}],"recommendation":"major_revision","confidential_remarks":"The main issue is a fixable but central gap: Lemma 2.3 must be rewritten in terms of orbit closures. I believe the intended argument is correct, and the rest of the paper is coherent. The incorrect K_1 value in Theorem 3.1 is a local error that does not affect the conclusion. The paper is well within the scope of the journal and the results are significant if the gap is repaired."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. The paper delivers: it answers Blackadar's question (whether every Cantor-spectrum diagonal in the CAR algebra is AF) in the negative, and it produces countably many pairwise non-conjugate Cantor-spectrum diagonals distinguished by diagonal dimension, resolving [31, Remark 6.10]. The construction is genuinely new. The paper-folding subshift with the anti-reversal involution is a nice example of a free minimal Z⋊Z2 action, and the K-theory computation through the four-letter substitution subshift is clever. I checked the anti-palindrome bound in Proposition 1.2(iii) and it is sound.\n\nThe soft spots are exactly the two the reader flagged. In Lemma 2.3, X^(0) and X^(1) are defined as raw phi^2-orbits, which are countable, and then called clopen. That is false as written. But the proof has the ingredients: the metric estimate (2.19) shows the two orbits are uniformly separated, so their closures are disjoint, and minimality gives that the two closures cover X. Replace the two sets by their closures and Proposition 2.4 goes through unchanged. This is a real fix, not a formality, because it sits at the junction between the paper-folding subshift and the substitution subshift. The second issue is smaller: in Theorem 3.1, K1((C(X)⋊Z)⊗M_2^∞) is Z[1/2], not Z. The non-AF conclusion only needs K1 nonzero, so no consequence.\n\nThose are the only concerns. The classification step is careful about the order-unit ambiguity in Proposition 2.9, and the use of the authors' own diagonal-dimension paper is legitimate. The paper is for operator algebraists working on Cartan subalgebras, diagonals, and classification. It deserves a serious referee. My recommendation: send it out; with those two corrections it should be accepted.","headline":"Genuinely new construction: paper-folding subshift yields non-AF Cantor diagonals in the CAR algebra and countably many diagonal-dimension values; two small technical glitches, both repairable.","tokens_in":25781,"tokens_out":4858,"would_cite":true,"duration_ms":58638,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46L35","46L55","37B10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The CAR algebra contains countably many non-standard Cantor-spectrum diagonals, one for each diagonal dimension from 0 to infinity.","keywords":["CAR algebra","C*-diagonal","paper-folding sequence","Cantor spectrum","diagonal dimension","crossed product","infinite dihedral group","K-theory"],"falsifier":"Scan the initial segments of the paper-folding sequence for an 8-letter anti-palindrome, i.e. a word $w$ equal to its bit-swapped reversal, such as $01101001$. The proof asserts that none occurs and that the absence propagates under the recursive rule (1.5); finding one as a subword of any $t_n$ would give a fixed point of $\\varphi\\sigma$, making the action non-free and invalidating the construction of the diagonal.","tokens_in":24868,"feed_emoji":"📜","tokens_out":9496,"duration_ms":96118,"temperature":0.7,"pith_summary":"This paper proves a structural fact about the CAR algebra $M_{2^\\infty}$, the infinite tensor product of $2\\times 2$ matrix algebras: it contains a $C^*$-diagonal with Cantor spectrum that is not conjugate to the standard AF diagonal. The proof shows that the regular paper-folding sequence defines a free minimal action of the infinite dihedral group $\\mathbb{Z}\\rtimes\\mathbb{Z}_2$ on a Cantor space; the crossed product of that action, after tensoring with $M_{2^\\infty}$, is classifiable and turns out to be $M_{2^\\infty}$ itself. The resulting diagonal is proved non-AF by detecting an intermediate subalgebra with nonzero $K_1$, which an AF diagonal could not have. The same construction, using tensor powers, gives diagonals with diagonal dimension equal to any prescribed $n\\in\\{0,1,2,\\dots,\\infty\\}$, hence countably many pairwise non-conjugate Cantor-spectrum diagonals.","feed_headline":"Paper-folding builds non-standard diagonals in CAR algebra","feed_subtitle":"The simplest UHF algebra hides a whole family of Cantor-spectrum diagonals, indexed by a dimension number.","key_machinery":"The paper-folding subshift $X$: the closure of bi-infinite binary sequences whose finite words all appear in the regular paper-folding sequence $\\mathbf{t}$. Its two features doing all the work are (1) invariance of the language under anti-reversal, so $\\sigma(x)_j=1-x_{-j}$ maps $X$ to itself and anti-commutes with the shift, and (2) the absence of anti-palindromes longer than 6, which makes the $\\mathbb{Z}\\rtimes\\mathbb{Z}_2$ action free. K-theory is computed by a four-letter substitution $\\varrho$ (the block code of 2-bit blocks), via dimension-group methods, and then by a theorem from [47] for crossed products of Cantor minimal $\\mathbb{Z}\\rtimes\\mathbb{Z}_2$ systems. Classification theo","core_discovery":"The central discovery is that the language of the paper-folding sequence $\\mathbf{t}$ is closed under anti-reversal (bit-swap plus reversal) and contains no anti-palindromic word of length exceeding 6. Consequently the shift $\\varphi$ together with the anti-reversal involution $\\sigma$ gives a free minimal action $\\mathbb{Z}\\rtimes\\mathbb{Z}_2\\curvearrowright X$ on the paper-folding subshift $X\\subset\\{0,1\\}^{\\mathbb{Z}}$, which is a Cantor space. The authors compute the ordered $K_0$ of the crossed product $C(X)\\rtimes(\\mathbb{Z}\\rtimes\\mathbb{Z}_2)$ as $\\mathbb{Z}_2\\oplus\\mathbb{Z}[\\tfrac12]$ with the positive cone determined by the dyadic rationals, and $K_1=0$, using a four-letter substi","pith_inferences":["The same substitution/anti-reversal construction may work for other self-similar binary sequences with bounded anti-palindrome length, producing further non-AF Cantor-spectrum diagonals in $M_{2^\\infty}$ or in other UHF algebras; this is a natural next step suggested by the method.","Diagonal dimension is a computable numerical invariant that separates the constructed diagonals, but it is unlikely to be a complete invariant; finer invariants such as groupoid cohomology (along the lines of Matui's HK conjecture) might classify the full family.","The construction indicates that strongly self-absorbing algebras generally may carry many distinct Cantor-spectrum diagonals; if the same phenomenon holds for the Jiang–Su algebra or Cuntz algebras with a prescribed spectrum, it would reinforce the view that existence of Cartan subalgebras is a subtle, non-unique feature even in classifiable algebras.","A testable extension: replace the regular paper-folding sequence by other folding sequences (left/right patterns) and check whether the anti-palindrome bound persists; each such sequence would give a candidate free $\\mathbb{Z}\\rtimes\\mathbb{Z}_2$ action and hence a new diagonal in the CAR algebra, possibly with different K-theoretic data."],"forward_implications":["The CAR algebra contains at least countably many pairwise non-conjugate $C^*$-diagonals with Cantor spectrum, indexed by diagonal dimension $n\\in\\{0,1,\\dots,\\infty\\}$.","A UHF algebra, which cannot be an integer crossed product because $K_1$ would be nonzero, can nonetheless harbour diagonals built from dynamical systems—here the infinite dihedral group acting on the paper-folding subshift.","The example answers negatively the question from [43, Problems XLVII–XLVIII] whether every Cantor-spectrum $C^*$-diagonal in $M_{2^\\infty}$ is conjugate to the AF diagonal.","It resolves the problem raised in [31, Remark 6.10]: an AF inclusion can have nonzero diagonal dimension even when the diagonal itself is AF.","Tensor products of the non-AF diagonal with the standard diagonal give diagonals inside $M_{2^\\infty}$ with arbitrary finite diagonal dimension."],"supporting_citations":[{"why":"Supplies the property of the paper-folding sequence used to prove the action is free: absence of long anti-palindromes.","marker":"[4]"},{"why":"Method for computing $K_0$ of the substitution subshift as a dimension group.","marker":"[18]"},{"why":"Formula for $K_0$ of crossed products of Cantor minimal $\\mathbb{Z}\\rtimes\\mathbb{Z}_2$ systems, including the $\\mathbb{Z}_2$ torsion summand and order-unit tracking.","marker":"[47]"},{"why":"Defines diagonal dimension and establishes the equality with dynamic asymptotic dimension used to evaluate dimensions in Theorem B.","marker":"[31]"},{"why":"Result that intermediate subalgebras of AF diagonals in UHF algebras are AF; used to show the constructed diagonal is not AF.","marker":"[1]"},{"why":"Shows all AF diagonals in AF algebras are conjugate; allows reducing non-AF to non-conjugacy with the standard diagonal.","marker":"[38]"},{"why":"Classification theorem for classifiable $C^*$-algebras used to conclude $A\\otimes M_{2^\\infty}\\cong M_{2^\\infty}$.","marker":"[53]"},{"why":"Gives that existence of a Cartan subalgebra implies UCT and that tensor products of diagonals are diagonals.","marker":"[3]"},{"why":"Criterion used to pass from bounded anti-palindrome length to freeness of the $\\mathbb{Z}\\rtimes\\mathbb{Z}_2$ action on a minimal subshift.","marker":"[37]"},{"why":"Provides dynamic asymptotic dimension and almost finiteness, used for $\\mathcal{Z}$-stability and for computing diagonal dimension as tower dimension.","marker":"[27]"}],"fun_headline_variants":["Paper-folding constructs countably many non-conjugate diagonals in CAR","Cantor-spectrum diagonals in CAR algebra from paper-folding","Paper-folding yields a family of non-conjugate diagonals in CAR","Paper-folding builds infinitely many Cantor diagonals in CAR","Paper-folding yields countably many non-conjugate Cantor diagonals"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The load-bearing premise is that the paper-folding sequence contains no anti-palindromic subword of length greater than 6, so the anti-reversal involution has no fixed point in the subshift and the $\\mathbb{Z}\\rtimes\\mathbb{Z}_2$ action is free; if arbitrarily long anti-palindromes appeared, the pair would still be Cartan but not a $C^*$-diagonal.","fun_headline_variants_meta":{"raw":{"variants":["Paper-folding constructs countably many non-conjugate diagonals in CAR","Cantor-spectrum diagonals in CAR algebra from paper-folding","Paper-folding yields a family of non-conjugate diagonals in CAR","Paper-folding builds infinitely many Cantor diagonals in CAR","Paper-folding yields countably many non-conjugate Cantor diagonals"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001215,"raw_usage":{"total_tokens":4809,"prompt_tokens":689,"completion_tokens":4120,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":433,"completion_tokens_details":{"reasoning_tokens":4027}},"tokens_in":433,"tokens_out":4120,"duration_ms":31104,"temperature":1.0,"reasoning_tokens":4027,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T23:46:26.485870+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Scan the initial segments of the paper-folding sequence for an 8-letter anti-palindrome, i.e. a word $w$ equal to its bit-swapped reversal, such as $01101001$. The proof asserts that none occurs and that the absence propagates under the recursive rule (1.5); finding one as a subword of any $t_n$ would give a fixed point of $\\varphi\\sigma$, making the action non-free and invalidating the construction of the diagonal.","supporting_citations":[{"cited_title":"Witten multiple zeta values attached to sl(4)","cited_arxiv_id":"0903.2383","evidence_quote":"Supplies the property of the paper-folding sequence used to prove the action is free: absence of long anti-palindromes."},{"cited_title":"Durand, B","cited_arxiv_id":null,"evidence_quote":"Method for computing $K_0$ of the substitution subshift as a dimension group."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Formula for $K_0$ of crossed products of Cantor minimal $\\mathbb{Z}\\rtimes\\mathbb{Z}_2$ systems, including the $\\mathbb{Z}_2$ torsion summand and order-unit tracking."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Result that intermediate subalgebras of AF diagonals in UHF algebras are AF; used to show the constructed diagonal is not AF."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows all AF diagonals in AF algebras are conjugate; allows reducing non-AF to non-conjugacy with the standard diagonal."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Classification theorem for classifiable $C^*$-algebras used to conclude $A\\otimes M_{2^\\infty}\\cong M_{2^\\infty}$."},{"cited_title":"Barlak and X","cited_arxiv_id":null,"evidence_quote":"Gives that existence of a Cartan subalgebra implies UCT and that tensor products of diagonals are diagonals."},{"cited_title":"Ortega and E","cited_arxiv_id":null,"evidence_quote":"Criterion used to pass from bounded anti-palindrome length to freeness of the $\\mathbb{Z}\\rtimes\\mathbb{Z}_2$ action on a minimal subshift."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides dynamic asymptotic dimension and almost finiteness, used for $\\mathcal{Z}$-stability and for computing diagonal dimension as tower dimension."}],"review_version":1}