さらに重要なことに、チームは、システムが「マジック（magic）」と呼ばれるリソースを生成する、より複雑で混沌とした領域である「非クリフォード領域」を探索しました。量子コンピューティングにおいて、「マジック」とは、より単純なルールでは不可能なタスクを実行することを可能にする、特定の種類の複雑さを指す専門用語です。それは高度な量子アルゴリズムを動かす燃料となります。研究者たちは、この混沌とした非クリフォード領域においても、厳密な回帰が起こり得ることを発見しました。彼らは、サイクルの途中でこのマジック・リソースを生成し、システムが元の状態に巻き戻る際にそれが完全に消失するという、特定のパラメータを持つ一族（family of settings）を特定しました。これは、システムが一時的に高度に複雑で強力になり、その後、完璧にリセットされ、再び最初からやり直せる準備が整うことを意味します。この発見は、厳密な回帰が単純で予測可能なシステムに限られたものではなく、量子コンピュータを強力にしているまさにその複雑さと共存できることを証明しています。
問題提起 周期駆動（フロケ）量子系は通常、カオスや熱化を含む複雑なダイナミクスを示し、ストロボスコピックな進化が正確に閉じることは稀である。有限次元のユニタリ系においては近似的な量子再帰（ポアンカレ再帰）が保証されているものの、それらはシステムサイズに対して指数関数的または二重指数関数的な時間スケールで発生するため、解析や応用には実用的ではない。しかし、特殊なパラメータ値において、フロケ系は厳密な再帰（exact recurrences）、すなわち、進化演算子 UFn が有限個のドライブサイクル n の後に（グローバル位相を除いて）単位行列に戻る現象を示すことがある。
このような厳密な再帰が存在するかどうかを判定することは困難である。フロケット演算子の累乗を逐次的に探索する方法は計算コストが高く、再帰が存在しないことを排除する明確な手段も持たない。また、再帰のスペクトル条件（すべての固有値の比が n 乗根であること）は、相互作用する多体系の全スペクトルが未知である場合、適用が難しい。著者らは、ハミルトニアンの明示的な対角化を必要とせずに、厳密な再帰の存在を判定し、最小の再帰周期を計算するための、厳密で必要十分な算術的基準を確立することを目指している。
手法 著者らは、代数的数論、特に円分体の算術構造に基づいたフレームワークを開発した。この手法は、一周期のフロケユニタリ U の成分が、ある数体 K（通常はハミルトニアンのパラメータによって決定される円分体 Q(ζm)）に含まれることを前提としている。
分岐解析: 固有値が整列するために必要な体拡大を分析する。もし Un=τI ならば、fsf(x) の分解体は円分体 Q(ζn) を含む必要がある。数体の塔 K⊆L（ここで L は分解体）における素数の分岐を研究することで、著者らは再帰周期 n を割り切る可能性がある有理素数の有限集合 S を特定する。これらの素数は以下から導かれる：
基礎体 K の判別式。
fsf(x) の係数の分母を払うために使用される整数 c。
多項式 fsf(x) の判別のノルム。
普遍的指数の構成: 許容される素数の集合 S を用いて、「普遍的指数」E を構成する。この整数は、もし再帰が存在するならば、最小周期 n は E を割り切るように定義される。この指数は、オイラーのファイ関数による制約 ϕ(n)∣[K:Q]⋅dsf! （ここで dsf は平方フリー多項式の次数）を用いて計算される。