Design, Fabrication and Characterization of Microwave Multiplexing SQUID Prototype

CongZhan Liu; Guofu Liao; He Gao; Mengjie Song; Mengqi Jiang; Nan Li; Qinglei Xiu; Shibo Shu; Xiangxiang Ren; Xufang Li

REVIEW 2 major objections 4 minor 1 cited by

Large subgroups of fusion systems and localities behave like large p-subgroups of groups, and a local configuration forces the 2-fusion system of Aut(G2(3)).

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 · grok-4.5

2026-07-13 15:38 UTC pith:7ZWGKSWW

load-bearing objection Solid infrastructure paper translating large p-subgroups into fusion systems/localities, plus one Aut(G2(3)) recognition theorem that still leans on a sketched fix of a gap in the source group paper. the 2 major comments →

arxiv 2603.29613 v2 pith:7ZWGKSWW submitted 2026-03-31 physics.ins-det

Design, Fabrication and Characterization of Microwave Multiplexing SQUID Prototype

Mengjie Song , Yixian Deng , Zhengwei Li , He Gao , Zhouhui Liu , Yudong Gu , XiangXiang Ren , Nan Li

show 9 more authors

Guofu Liao Qinglei Xiu Yu Xu Mengqi Jiang Xufang Li Yaqiong Li Shibo Shu Yongjie Zhang Congzhan Liu

This is my paper

classification physics.ins-det MSC 20D0520D2020E2555R35

keywords saturated fusion systemslocalitieslarge p-subgroupslinking localitiesparabolic characteristic pAut(G2(3))2-fusion systemsMeierfrankenfeld-Stellmacher-Stroth program

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.

Saturated fusion systems model conjugacy of p-subgroups; localities are the group-like structures that sit over them. The paper imports the notion of a large p-subgroup from the Meierfrankenfeld–Stellmacher–Stroth program into both settings, proves that the three versions (groups, fusion systems, localities) correspond under the usual equivalences, and records the elementary consequences that follow from largeness: weak closure, uniqueness of products of large subgroups, and parabolic characteristic p. As a concrete illustration it translates a short recognition theorem of Meierfrankenfeld–Stroth: if a saturated 2-fusion system (or an associated linking locality) admits a large subgroup Q with O2(N(Q))=Q together with a characteristic-2 model M whose quotient is SL3(2) acting naturally on a subspace of Q, then the fusion system must be that of Aut(G2(3)). The work supplies the background dictionary needed to move further classification results from finite groups into the language of fusion systems at arbitrary primes.

Core claim

A subgroup Q of a saturated fusion system F (respectively of a locality L) is large precisely when CS(Q)≤Q and the normalizer of every nontrivial subgroup of Z(Q) is contained in the normalizer of Q. Under this definition, largeness is preserved by the correspondence between saturated fusion systems and linking localities that are Q-replete; O_p of the normalizer remains large; products of large subgroups that normalize one another remain large; and every nontrivial subgroup normalized by Q is subcentric (so F has parabolic characteristic p). The same notion, together with a single SL3(2)-module configuration, forces F to be the 2-fusion system of Aut(G2(3)).

What carries the argument

The large-subgroup axioms (Q!F) and (Q!L), together with the notion of a Q-replete linking locality. These force weak closure of Q, allow the normalizer fusion systems to be realized by ordinary groups of characteristic p, and reduce the recognition of Aut(G2(3)) to an amalgam comparison inside the locality.

Load-bearing premise

The recognition theorem assumes the existence of a characteristic-2 model subgroup M whose quotient is SL3(2) acting naturally on a subspace of the large subgroup Q; without that model the classification does not apply.

What would settle it

Exhibit a saturated 2-fusion system (or a Q-replete linking locality) that contains a large subgroup Q with O2(N(Q))=Q and an SL3(2)-module configuration of the stated type, yet is not isomorphic to the 2-fusion system of Aut(G2(3)).

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

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

Solid infrastructure paper translating large p-subgroups into fusion systems/localities, plus one Aut(G2(3)) recognition theorem that still leans on a sketched fix of a gap in the source group paper.

read the letter

Ignore the SQUID abstract and physics.ins-det metadata; the manuscript is Henke–Salati on large subgroups of fusion systems and localities. That mismatch is editorial noise, not a content issue.

What is new is the package: large subgroups defined for fusion systems and for localities, the Q-replete condition, the correspondence lemmas (especially 4.10 and 4.13), and a concrete recognition theorem (1.5 / 5.2) that the 2-fusion system of Aut(G2(3)) is the unique saturated system carrying a large Q with O2(NF(Q))=Q together with an ambient characteristic-2 model M of SL3(2) type on a natural module V with YM not in Q and V in Q. Parallel statements for linking localities. This is not in the cited literature; it is a genuine translation of a short MSS configuration into Chermak’s setting.

The structural half is careful and useful. Weak closure, parabolic characteristic, and the group–fusion–locality dictionary are proved with standard tools (Alperin, subcentric localities, models for normalizers). Examples 4.11–4.12 cleanly separate “large in the fusion system” from “large in the group,” which is the right distinction if one wants to import local-characteristic-p results without pretending every exotic system comes from a group. Circular burden is low: the definitions are patterned on the group case but the correspondence needs real arguments.

Soft spots, in proportion. The recognition theorem does not follow from largeness alone; it imports the SL3(2)-model configuration as an explicit hypothesis. That is honest, but it means the theorem fires only when that model is already present. More importantly, the authors flag a gap in Meierfrankenfeld–Stroth [27] and only outline a repair (Remark 5.23). The later module and amalgam arguments (Prop. 5.31 and the lemmas controlling YM, V, W) inherit that outline. A specialist should check whether the partial-group setting admits an extra morphism or a non-isomorphic amalgam that the sketch does not kill. That is a real but localized risk, not a collapse of the whole paper.

Who it is for: people working on exotic fusion systems, Aschbacher’s program, or translating the MSS local-characteristic-p machine. Not a Clay-tier result and not a full classification; it is infrastructure plus one worked example. Math and citations look solid; no data, no formal verification, no free parameters.

Send it to a fusion-systems referee. Worth engaging if that is your area; the dictionary lemmas alone are citable.

Referee Report

2 major / 4 minor

Summary. The manuscript develops the notions of large subgroups for saturated fusion systems and for localities (in the sense of Chermak), patterned on the group-theoretic definition of Meierfrankenfeld–Stellmacher–Stroth. It proves that these notions are compatible under the correspondence between saturated fusion systems and linking localities that are Q-replete and of objective characteristic p (Lemma 4.10 and surrounding results), establishes the expected weak-closure, parabolic-characteristic and product properties, and then proves a recognition theorem: a saturated 2-fusion system (resp. linking locality) containing a large Q with O2(NF(Q))=Q together with a characteristic-2 model M satisfying the natural SL3(2)-module conditions of Hypothesis 5.1 is isomorphic to the 2-fusion system of Aut(G2(3)) (Theorems 1.5 and 5.2). The argument proceeds by determining the structures of M and N_L(Q), forming their amalgam, and identifying it with a known amalgam inside Aut(G2(3)).

Significance. If correct, the paper supplies a usable dictionary that lets classification results from the Meierfrankenfeld–Stellmacher–Stroth programme be transferred to saturated fusion systems and localities at arbitrary primes, and it gives a concrete first instance (the Aut(G2(3)) recognition). The background lemmas on large subgroups, Q-repleteness and the group–fusion–locality correspondence are carefully written and will be reusable. The explicit note of a gap in the source paper [27] and the attempt to repair it are also valuable. The work is therefore a natural and potentially useful contribution to the programme of translating local-characteristic-p methods into the fusion-system setting.

major comments (2)

The recognition theorems (1.5 / 5.2) rest on a sketched repair of a gap in Meierfrankenfeld–Stroth [27] (Remark 5.23). The subsequent module-theoretic control of YM, V, W and the generation of F by the amalgam inherit that outline. Because the outline is not expanded into a complete argument that works for partial groups / localities, it remains possible that an extra morphism or a non-isomorphic amalgam survives. The identification of the amalgam (Proposition 5.31) and therefore the final isomorphism claim are not yet fully secured.
Hypothesis 5.1 (and the parallel model assumption in Theorem 1.5) imports the existence of a characteristic-2 subgroup M with the natural SL3(2)-module configuration rather than deriving it from largeness alone. While this is legitimate for a recognition theorem, the paper should make clearer which steps of the original group-theoretic argument are being re-proved in the locality setting and which are simply cited, so that the reader can verify that no hidden use of global group structure remains.

minor comments (4)

The abstract and title that appear in the submission metadata describe a microwave SQUID multiplexer and are completely unrelated to the mathematical content; they should be replaced by the correct abstract and title of the fusion-system paper.
Several long displayed formulae and the diagram of the amalgam near the end of Section 5 are rendered as garbled character streams; they need to be re-typeset so that the module actions and the amalgam maps are readable.
Notation for residual subgroups (Op(L), Op(F), etc.) and for the various normalizers is dense; a short notation table or a more systematic use of boldface/overline would help the reader.
The examples comparing large subgroups of groups versus their fusion systems (Examples 4.11–4.12) are useful but could be cross-referenced more explicitly when the recognition theorem is applied, so that the reader sees why the fusion-system statement is strictly weaker than the group statement.

Circularity Check

0 steps flagged

No significant circularity: large-subgroup definitions are independent translations, correspondence lemmas are nontrivial, and the Aut(G2(3)) recognition is a conditional structural theorem under an explicit model hypothesis, not a tautology.

full rationale

The paper defines large subgroups of fusion systems and localities by direct analogy with the group-theoretic Definition 1.1 (self-centralizing plus uniqueness of normalizers of nontrivial subgroups of Z(Q)). These are not defined in terms of the target fusion system of Aut(G2(3)), nor do the correspondence results (Lemmas 4.3–4.6, 4.10) reduce by construction to the group case: Q-repleteness, objective characteristic p, and model properties for normalizers are used in nontrivial arguments. Theorem 1.5 / Theorem 5.2 is a recognition theorem: under the explicit Hypothesis 5.1 (or the model M in Theorem 1.5) that a characteristic-2 subgroup with natural SL3(2) action on V exists and interacts with large Q in a prescribed way, the fusion system (resp. locality) is shown isomorphic to that of Aut(G2(3)) by determining the structures of M and N_L(Q), forming their amalgam, and identifying it with a known amalgam inside Aut(G2(3)) (Proposition 5.31). The configuration is an assumption, not a derived prediction forced by fitting or by renaming the conclusion. Uniqueness of linking/subcentric localities is imported from Chermak–Oliver–Glauberman–Lynd (external, standard). The authors’ own prior locality papers supply framework lemmas but do not force the isomorphism claim. The noted gap in Meierfrankenfeld–Stroth [27] and the outline repair (Remark 5.23) are correctness risks for the translation, not circular reductions of the form “Eq. X = Eq. Y by construction.” Score 1 only for ordinary dependence on the authors’ prior locality machinery as load-bearing infrastructure; the central recognition content remains independent.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 3 invented entities

Pure mathematics paper. No fitted numerical parameters. Load-bearing background is standard saturated-fusion-system and locality theory plus the classical definition of large p-subgroups and module facts for SL3(2)/L3(2). New invented notions are definitional (large subgroup of F/L, Q-replete locality) rather than physical entities; they have no independent empirical handle by nature of the subject.

axioms (6)

standard math Axioms of saturated fusion systems (Sylow, extension, saturation) and Alperin’s fusion theorem as in [2, Ch. I].
Used throughout §§2–5 for morphisms, fully normalized subgroups, and generation of F.
standard math Existence and uniqueness (up to rigid isomorphism) of linking/subcentric localities for saturated fusion systems (Chermak–Oliver–Glauberman–Lynd; Theorem 3.8).
Underpins the dictionary between large subgroups of F and of linking localities (Lemma 4.10, Example 4.3).
domain assumption Classical definition of large p-subgroup in a finite group (CG(Q)≤Q and NG(U)≤NG(Q) for 1≠U≤Z(Q)) and basic consequences from [26].
Blueprint for Definitions 1.2; group-side lemmas (4.2) are taken as known or re-proved.
standard math Standard facts on p-reduced modules, YM, natural SL3(2)-modules, quadratic action, and Gaschütz’s theorem (Lemmas 2.9–2.17).
Used heavily in the recognition analysis of §5.
ad hoc to paper Hypothesis 5.1: linking locality that is Q-replete with large Q, O2(N_L(Q))=Q, K-group normalizer, and existence of M with the SL3(2)/natural-module configuration.
Configuration assumed rather than derived; it is the exact translation of the group-theoretic setup of [27] into the locality setting.
domain assumption Isomorphism of 2-fusion systems of G2(3) and G2(q) for q≡3,5 mod 8 (cited [5, Thm A]) and related almost-simple fusion-system comparisons.
Used in Examples 4.11–4.12 to separate largeness in F from largeness in G.

invented entities (3)

Large subgroup of a fusion system (Def. 1.2: CS(Q)≤Q and NF(U)⊆NF(Q) for 1≠U≤Z(Q)) independent evidence
purpose: Translate the MSS large-p-subgroup concept into pure fusion-system language so classification results can be stated without ambient groups.
New definition; independent evidence is mathematical (lemmas showing it matches the group notion when F=FS(G) under stated conditions).
Large subgroup of a locality (Def. 1.2: C_L(Q)⊆Q and N_L(U)⊆N_L(Q)) independent evidence
purpose: Same translation for Chermak localities; enables local group-like arguments inside partial groups.
New definition paired with the fusion-system version; correspondence proved in Lemma 4.10.
Q-replete locality (Def. 4.8) independent evidence
purpose: Ensure every nontrivial Q-normalized subgroup of S is an object so normalizer fusion systems equal actual normalizers (Lemma 3.5).
Technical hypothesis needed for the dictionary; subcentric localities over systems with large Q are automatically Q-replete (Ex. 4.3).

pith-pipeline@v1.1.0-grok45 · 36467 in / 4230 out tokens · 44095 ms · 2026-07-13T15:38:09.100179+00:00 · methodology

0 comments

read the original abstract

The readout system with a high multiplexing ratio has become a bottleneck limiting the application of large-scale Transition Edge Sensor (TES) detector arrays. In recent years, the microwave superconducting quantum interference device (SQUID) multiplexer has emerged as a key technology for effectively reading large-scale cryogenic detector arrays. Currently, the microwave SQUID multiplexer is being adopted by an increasing number of experiments due to its capability of achieving a multiplexing ratio of 2000:1 within the readout bandwidth. In this study, we developed and fabricated a 32-channel microwave SQUID multiplexer prototype. And we measured 8 channels of the prototype. The measured equivalent noise current of the prototype reached 42 pA/$\sqrt{Hz}$.

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Characterization of Aluminum Microwave SQUID Multiplexers for CE$\nu$NS Detection
physics.ins-det 2026-05 conditional novelty 4.0

Characterization of an aluminum μMUX prototype reports flux sensitivities of 1-1.5 μΦ₀/√Hz (open-loop) and 0.3-0.6 μΦ₀/√Hz (with JTWPA), validating the technology for TES readout in CEνNS detection.