---
title: 'Accordion: Multi-Domain Perspectives'
url: https://www.emergentmind.com/topics/accordion
type: topic
---

# Accordion: Multi-Domain Perspectives

Searching arXiv for relevant papers on “Accordion” across the domains represented in the source material.
“Accordion” denotes several distinct technical constructs across mathematics, computer science, quantum computing, networking, cloud data systems, biological model assembly, and atomic physics. In graph theory, an accordion graph \(A[n,k]\) is a 4-regular graph on two \(n\)-cycles connected by vertical and diagonal spokes, introduced and analyzed for Hamiltonicity, matchings, circulant structure, and graph isomorphism [2011.04327, 2111.05725]. In machine learning and systems, “Accordion” names frameworks for adaptive gradient communication [2010.16248], communication-aware model delivery in next-generation networks [2302.00623], self-compressing large-language-model reasoning [2602.03249], and intra-query runtime elasticity for OLAP engines [2502.18184]. In quantum compilation, Accordion is an end-to-end framework for compiling fermionic Hamiltonians under hardware-connectivity constraints [2606.00982]. In systems biology, ACCORDION is a workflow for clustering literature-extracted interactions and constructing executable regulatory models [2002.05748]. In mathematical logic, the Accordion is a counter-example for the non-conservativity of the linear approximation of the infinitary \(\lambda\)-calculus [2305.02785]. In cold-atom physics, an optical accordion is a standing-wave lattice with dynamically tunable spacing used to realize two-dimensional Bose gases with tunable confinement and interaction strength [1611.07681]. The term also appears in operator-algebra classification, where “accordion spaces” are finite \(T_0\)-spaces on which filtered \(K\)-theory admits a reduced complete invariant [1301.7223].

## 1. Accordion graphs in discrete mathematics

Accordion graphs \(A[n,k]\) are defined for integers \(n\ge 3\) and \(1\le k\le \lfloor n/2\rfloor\) on the vertex set
\[
V(A[n,k])=\{u_1,\dots,u_n\}\cup\{v_1,\dots,v_n\},
\]
with edge set consisting of an outer \(n\)-cycle, an inner \(n\)-cycle, vertical spokes \(u_i v_i\), and diagonal spokes \(u_i v_{i+k}\), with indices modulo \(n\) [2111.05725, 2011.04327]. The construction yields a 4-regular graph and can be viewed as a slight modification of the Cartesian product of two cycles [2111.05725].

The family was introduced in connection with the Pairing-Hamiltonian property and perfect matchings. A pairing of a graph \(G\) is a perfect matching of the complete graph \(K_G\), and \(G\) is Pairing-Hamiltonian if every such pairing can be completed by a perfect matching of \(G\) to form a Hamiltonian cycle of \(K_G\) [2011.04327]. Within this family, \(A[n,1]\) is the usual \(n\)-antiprism; it is PMH for all \(n\), and PH exactly for \(n=3,4,5,6\). Also, \(A[n,2]\) is isomorphic to the 4-regular graph obtained by doubling each vertex of an \(n\)-cycle and has the full PH property for every \(n\ge 3\) [2011.04327].

The relation to Cartesian products is explicit. If \(q=\gcd(n,k)\), then deleting the break-edges
\[
\{u_{tq}u_{tq+1},\,v_{tq}v_{tq+1}: t=1,2,\dots,n/q\}
\]
produces a graph isomorphic to
\[
C_{2n/q}\square P_q,
\]
which links accordion graphs to structured grid-like topologies and to prior circulant-product classification results [2011.04327].

## 2. Circulant structure and isomorphism classification

A central theorem gives the precise conditions under which \(A[n,k]\) is circulant. For \(n\ge 3\) and \(1\le k\le n/2\), the accordion graph \(A[n,k]\) is circulant if and only if exactly one of the following holds: \(k\) is odd; \(k\) is even and \(n\) is odd; or \(k=2\) and \(n\) is even [2111.05725]. Equivalently, \(A[n,k]\) is not circulant precisely when both \(n\) and \(k\) are even with \(k\ge 4\) [2011.04327].

The same classification can be expressed via explicit quartic circulants. If \(k\) is odd, then
\[
A[n,k]\cong \mathrm{Ci}[2n;\{2,k\}].
\]
If \(n\) is odd and \(k\) is even, then
\[
A[n,k]\cong \mathrm{Ci}[2n;\{2,n-k\}].
\]
If \(k=2\) and \(n\) is even, then
\[
A[n,2]\cong \mathrm{Ci}[2n;\{1,n-1\}]
\]
[2011.04327].

The graph is bipartite if and only if both \(n\) and \(k\) are even, and therefore the only bipartite circulant accordions occur in the case \(k=2\) with \(n\) even [2111.05725]. For isomorphism among accordion graphs themselves, isomorphic graphs must share the same \(n\), since \(|V(A[n,k])|=2n\) [2111.05725]. Fixing \(n\) and \(1\le k_1<k_2\le n/2\), one has
\[
A[n,k_1]\cong A[n,k_2]
\]
if and only if
\[
\gcd(n,k_1)=\gcd(n,k_2)=2
\]
and
\[
\frac{k_1k_2}{2}\equiv \pm 2 \pmod n
\]
[2111.05725].

A key structural lemma states that if \(\gcd(n,k)=2\), then the \(2n\) spokes form two vertex-disjoint \(n\)-cycles; if \(\gcd(n,k)\neq 2\), no such disjoint cycle decomposition of the spoke set exists [2111.05725]. This spoke-cycle interchange is fundamental in the proof strategy. The authors show that an isomorphism between two parameter choices must map some cycle-edge to a spoke, otherwise it would preserve the two canonical \(n\)-cycles and force equality of the parameters. The resulting analysis yields the modular congruence above [2111.05725].

## 3. Adaptive compression, model delivery, and LLM reasoning

In distributed optimization, Accordion is a wrapper around gradient-compression or batch-size scheduling schemes that switches between “high-fidelity” and “low-fidelity” regimes by detecting critical learning regimes via a gradient-norm criterion [2010.16248]. Let
\[
\Delta_{\mathrm{curr}}=\sum_{k=1}^T g_k
\quad\text{and}\quad
\Delta_{\mathrm{prev}}=\text{sum of gradients in a previous epoch.}
\]
The current epoch is declared critical if
\[
\frac{\|\Delta_{\mathrm{curr}}-\Delta_{\mathrm{prev}}\|_2}{\|\Delta_{\mathrm{prev}}\|_2}\ge \eta
\quad\text{or}\quad
\gamma_{\mathrm{next}}<\gamma_{\mathrm{curr}},
\]
with \(\eta=0.5\) used throughout [2010.16248]. During critical regimes, the method chooses \(\ell_{\mathrm{low}}\); otherwise it uses \(\ell_{\mathrm{high}}\), where \(\ell\) is the compression parameter or, in the extension, the batch size [2010.16248]. Across tasks on 4-node GPU clusters, it maintains similar model accuracy to uncompressed training while reducing total communicated floats by up to \(5.5\times\) and wall-clock training time by up to \(4.1\times\) over static baselines [2010.16248].

In communication-aware ML for future networks, Accordion redesigns training so that only a subset of the hidden-layer blocks is updated at each SGD iteration, while always updating the final classification layer [2302.00623]. The trained model contains nested sub-models of varying sizes, and a server-side size-to-accuracy lookup table maps a transmitted fraction \(\alpha\) to expected error \(e(\alpha)\). A user request specifies desired error \(\epsilon_{\mathrm{req}}\), latency \(L_{\max}\), and estimated rate \(R_{\mathrm{est}}\); the server selects the largest \(\alpha\) satisfying
\[
e(\alpha)\le \epsilon_{\mathrm{req}}
\quad\text{and}\quad
\alpha S/R_{\mathrm{est}}\le L_{\max},
\]
where \(S\) is the full-model size in bits [2302.00623]. The framework also supports incremental enhancement requests that transmit only additional layers [2302.00623].

In large-language-model reasoning, “Accordion-Thinking” introduces a structured reasoning format
\[
d_1,S_1,d_2,S_2,\dots,d_K,S_K
\]
where \(d_k\) is a detailed derivation and \(S_k\) is a concise summary [2602.03249]. In Unfold mode, step \(k\) is conditioned on all prior details and summaries:
\[
H_{\mathrm{unfold}}^{(k)}=[x,d_1,S_1,\dots,d_{k-1},S_{k-1}],
\]
whereas in Fold mode it is conditioned only on compressed history:
\[
H_{\mathrm{fold}}^{(k)}=[x,S_1,S_2,\dots,S_{k-1}]
\]
[2602.03249]. Since \(|S_i|\ll |d_i|\), Fold mode reduces attention cost from
\[
O\Bigl((|x|+\sum_{i<k}(|d_i|+|S_i|))^2\Bigr)
\]
to
\[
O\Bigl((|x|+\sum_{i<k}|S_i|)^2\Bigr)
\]
[2602.03249]. Reinforcement learning is applied using GRPO without KL, with trajectory-level reward \(r\in\{0,1\}\) based on answer correctness and summary-format validity [2602.03249]. On five math benchmarks, Fold-RL and Mix-RL recover Fold-mode performance to match Unfold-RL, described as “lossless compression”; under a 48 GB memory cap, Fold mode achieves \(\sim 5{,}888\) tok/s versus \(\sim 1{,}483\) tok/s for Unfold-RL, and the paper reports \(3\times\) throughput while maintaining accuracy on a 48 GB GPU memory configuration [2602.03249]. Human annotation on 20 samples found that 19/20 summaries fully capture the required information for subsequent reasoning [2602.03249].

A plausible implication is that, across these machine-learning usages, “Accordion” consistently names a mechanism that alternates between expanded and compressed operating regimes rather than a single fixed operating point.

## 4. Cloud-native data systems and quantum circuit compilation

In cloud-native OLAP, Accordion is presented as the first Intra-Query Runtime Elasticity query engine, built atop the Presto execution model [2502.18184]. The system can adjust a query’s Degree of Parallelism during execution without pausing data processing [2502.18184]. Its coordinator gathers streaming runtime statistics such as scan rates, exchange buffer fill levels, and CPU and network utilization, and a what-if predictor estimates how remaining execution time changes under a different DOP [2502.18184]. For a stage with current DOP \(n_1\), remaining time
\[
T_{\rm remain}=\frac{V_{\rm remain}}{R_{\rm consume}},
\]
and proposed DOP \(n_2\), the predicted remaining time is
\[
T_{\rm predicted}(n_2)=\frac{T_{\rm remain}-T_{\rm tuning}}{n_f}+T_{\rm tuning},
\quad n_f=\frac{n_2}{n_1},
\]
with \(T_{\rm tuning}\approx 0\) for stateless stages and \(T_{\rm tuning}\approx T_{\rm build}\) for hash-join stages [2502.18184]. The auto-tuner solves
\[
\min_{n_2}\ \mathrm{Cost}(n_2)
\quad\text{s.t.}\quad
T_{\rm elapsed}+T_{\rm predicted}(n_2)\le T_{\rm SLA},
\]
where \(\mathrm{Cost}(n_2)=C_{\rm node}\times n_2\times T_{\rm predicted}(n_2)\) [2502.18184]. On TPC-H SF100, dynamic intra-stage tuning reduced Q3 from 740 s to 194 s, and dynamic task or driver changes were implemented without stopping the pipeline [2502.18184].

In fermionic quantum simulation, Accordion is an end-to-end compilation framework that co-designs the fermion-to-qubit mapping with circuit synthesis and hardware routing [2606.00982]. It fixes the Jordan–Wigner mapping and exploits the structural regularity of the resulting Pauli strings. For full-rank all-to-all electronic-structure Hamiltonians, the method proves \(O(N^4)\) gate count and circuit depth, matching the \(\Theta(N^4)\) lower bound imposed by the second-excitation terms in the UCCSD ansatz [2606.00982]. The mapped double-excitation terms share the same four \(A\)-operator positions and contiguous \(Z\) prefixes, enabling a grouping hierarchy into Large, Medium, Mini, and Atomic groups [2606.00982]. The scheduling uses remapping by SWAPs, cancellation of CNOT ladders, and odd-even transposition sort, with amortized \(O(1)\) depth per string across transitions [2606.00982]. On linear, IBM heavy-hex (“Boston”), and square-grid (“Miami”) architectures, Accordion reduces CNOT count by up to 79.6% on linear, 59.6% on Boston, and 36.7% on Miami, and critical-path depth by up to 77.2% on linear, 54.6% on Boston, and 34.8% on Miami [2606.00982].

These two systems usages share an end-to-end co-design principle. In the OLAP engine, execution control, buffering, and DOP prediction are jointly engineered [2502.18184]. In quantum compilation, mapping choice, Pauli grouping, routing, and scheduling are jointly engineered [2606.00982]. This suggests that “Accordion” is also used as a label for architectures that exploit runtime or structural regularity through hierarchical adjustment.

## 5. Biological model assembly and formal analysis

ACCORDION, expanded as “Automated Clustering Conditional On Relating Data of Interactions tO a Network,” is a tool and methodology for automatically assembling new models or expanding existing ones from published literature [2002.05748]. Its workflow has six stages: information extraction, clustering of Candidate Extension Interactions, model assembly, simulation, formal analysis via statistical model checking, and model selection [2002.05748].

Starting from a query, literature APIs return papers whose abstracts or full texts are processed by a machine-reading engine such as REACH to extract regulator-target events [2002.05748]. These are filtered and partitioned into corroborations, contradictions, and extensions, with only extensions retained as CEIs [2002.05748]. Given a baseline influence graph \(G_{BM}=(V_{BM},E_{BM})\), the union graph
\[
G_{\rm new}=(V_{\rm new},E_{\rm new})
\]
is formed with
\[
V_{\rm new}=V_{BM}\cup V_{\rm ext},
\qquad
E_{\rm new}=E_{BM}\cup E_{\rm ext}
\]
[2002.05748]. Markov Clustering is then applied using a column-stochastic matrix
\[
M_{ij}=\frac{A_{ij}}{\sum_k A_{kj}},
\]
with iterative expansion \(M\leftarrow M^e\) and inflation
\[
M_{ij}\leftarrow \frac{(M_{ij})^r}{\sum_k (M_{kj})^r}
\]
until convergence [2002.05748].

Clusters are filtered by the existence of a return path that starts and ends in \(V_{BM}\) while otherwise remaining in the cluster; viable clusters and some minimal merges define Candidate Executable Models [2002.05748]. These are simulated as Boolean or multi-valued dynamical systems \(x(t+1)=F(x(t))\), and desired properties are encoded in BLTL, for example
\[
\mathbf{F}^{\le 10}\mathbf{G}^{20}(Foxp3=1)
\]
or
\[
\mathbf{F}^{\le 5}\mathbf{G}^{15}(IL2=1\wedge PTEN=0)
\]
[2002.05748]. For each model and property, statistical model checking estimates
\[
P_{\ell,j}=\Pr(\mathrm{CEM}_\ell\models \phi_j),
\]
and the global score is
\[
P_\ell^{\rm global}=\prod_{j=1}^m P_{\ell,j}
\]
under an independence assumption [2002.05748].

In a T-cell differentiation case study, three CEI scenarios were examined: fully automated with 171 CEIs, semi-automated with 81 CEIs, and semi-manual with 54 CEIs [2002.05748]. MCL with \(r=4\) and \(e=2\) yielded 22, 11, and 9 clusters respectively, and return-path filtering plus pairwise merges produced 27, 22, and 16 Candidate Executable Models [2002.05748]. Using 27 BLTL properties and \(K=200\) DiSH runs, the top semi-manual ACCORDION model achieved \(P\approx 0.76\) and satisfied 24/27 properties, compared with \(P\approx 0.84\) and 25/27 for the manually extended golden model [2002.05748].

## 6. Optical accordions, infinitary \(\lambda\)-calculus, and accordion spaces

In ultracold-atom experiments, an optical accordion is a standing-wave lattice whose fringe spacing is tuned by changing the crossing angle \(\theta\) of two interfering 532 nm beams [1611.07681]. For wavelength \(\lambda\), the fringe spacing is
\[
d(\theta)=\frac{\lambda}{2\sin(\theta/2)},
\]
so varying \(\theta\) from \(3^\circ\) to \(15^\circ\) tunes \(d\) from roughly \(11\,\mu\mathrm{m}\) down to \(2\,\mu\mathrm{m}\) [1611.07681]. The vertical confinement obeys
\[
\omega_z(\theta)=\frac{\pi}{d(\theta)}\sqrt{\frac{2V_0}{m}},
\]
and measured oscillation frequencies ranged from \(2.15(5)\,\mathrm{kHz}\) to \(11.2(3)\,\mathrm{kHz}\) as \(\theta\) increased [1611.07681]. The full \(11\to 2\,\mu\mathrm{m}\) compression took about 130 ms, with no measurable atom loss and extra heating \(\lesssim 45\,\mathrm{nK}\) per compression [1611.07681]. Combined with a flat-bottom in-plane trap, the apparatus realized uniform 2D Bose gases with tunable interaction parameter
\[
\tilde g=\sqrt{8\pi}\,a_s/\ell_z,
\]
varied from about 0.08 to 0.26 [1611.07681].

In the infinitary \(\lambda\)-calculus, the Accordion is a specific closed infinitary term \(A:=(P)\,0\) constructed from \(t\), \(f\), \(Y\), Church numerals, successor, and a family of \(\Omega_{\phi,n}\) operators [2305.02785]. It serves as a counter-example to conservativity of the ordinary Taylor approximation. Cerda and Vaux show that although there is no infinitary \(\beta\)-reduction
\[
A \not\!\!\!\!\!\!\!\!\!\!\!\!\!\to^{\infty}_{\beta}\ \tilde A,
\]
there is a reduction of sets of resource approximants
\[
(A)\to^* (\tilde A)
\]
in the finitary resource calculus [2305.02785]. The failure arises because every finite approximant tracks only a finite unfolding, yet any genuine infinitary \(\beta\)-sequence would have to contract redexes whose depth tends to infinity; the Accordion instead forces contraction at bounded depth, in fact depth 0, throughout the head-reduction pattern [2305.02785]. Restricting to uniform reductions restores conservativity [2305.02785].

In \(C^*\)-algebra classification, “accordion spaces” are finite \(T_0\)-spaces whose Hasse diagrams form a zig-zag of order relations without short cycles of length 3 [1301.7223]. On such spaces, filtered \(K\)-theory collapses to a smaller invariant. For real-rank-zero algebras over an accordion space \(X\), the full filtered \(K\)-theory \(FK^*(A)\) is equivalent to reduced filtered \(K\)-theory \(FKR(A)\), denoted \(\mathrm{Inv}(A)\) [1301.7223]. For stable Kirchberg \(X\)-algebras of real rank zero whose simple subquotients lie in the UCT bootstrap class,
\[
A\cong_X B \iff FKR(A)\cong FKR(B)
\]
as modules over the reduced category \(R\) [1301.7223]. A standard example is the three-point \(V\)-shaped space \(X=\{1,0,2\}\) with \(1\to 0\) and \(2\to 0\) [1301.7223].

## 7. Cross-domain patterns and terminological structure

The term “Accordion” is therefore not a single scientific object but a recurrent metaphor and naming convention. In several domains, it denotes controlled alternation between expansion and compression: optical-lattice spacing in ultracold gases [1611.07681], stepwise detail and summary in LLM reasoning [2602.03249], communication fidelity in distributed learning [2010.16248], model fraction delivery in communication-aware inference [2302.00623], and DOP scaling during query execution [2502.18184]. In graph theory and finite-space topology, the name is structural rather than operational, referring to a repeated zig-zag or spoke-cycle arrangement [2111.05725, 1301.7223]. In infinitary rewriting, it names a construction whose repeated stretch-and-compress behavior is visible in its head-reduction sequence [2305.02785].

A plausible implication is that the persistence of the term across fields reflects a common abstraction: a system whose effective state is repeatedly reconfigured between larger and smaller representations while preserving a controlled invariant. In graph theory that invariant is unlabeled graph isomorphism under constrained relabelings [2111.05725]. In reduced filtered \(K\)-theory, it is classification data under compression of the invariant [1301.7223]. In LLM reasoning, it is answer quality under compressed context [2602.03249]. In OLAP and distributed training, it is task accuracy or SLA satisfaction under reduced communication or resource expenditure [2010.16248, 2502.18184]. In quantum compilation, it is asymptotically optimal \(O(N^4)\) synthesis under structured regularity [2606.00982].

Source: https://www.emergentmind.com/topics/accordion