Quilts: Multi-disciplinary Mathematical Constructs

• Quilts are diverse constructs defined by local pieces and seam rules, manifesting in spectral geometry, poset combinatorics, symplectic theory, and applied fields.
• In spectral geometry, quilts use permutation matrices and transplantation criteria to build isospectral domains, offering concrete counterexamples to Kac’s 'can one hear the shape of a drum?'
• Broader impacts include precise lattice enumeration in combinatorial quilts, optimized graph visualizations, robust quantum interactive tutorials, and innovative robotics applications for caregiving.

Quilts denote several technically distinct objects across contemporary research. In spectral geometry, the term names combinatorial glueing diagrams used to construct isospectral domains; in algebraic combinatorics, it names Boolean-growth maps on product posets and, in a separate classical usage, primitive square dissections; in symplectic geometry, it names patched pseudoholomorphic configurations with seam conditions; in graph visualization, it names matrix-based depictions of layered graphs; in quantum-physics pedagogy, the acronym QuILTs denotes Quantum Interactive Learning Tutorials; and in robotics, the term refers to the deformable bed covering manipulated by a caregiving system (Doyle, 2020, Billey et al., 2024, Wehrheim et al., 2015, Bae et al., 15 Jul 2025, Singh, 2016, Guo et al., 2024, Wynn, 2013).

1. Terminological scope

The literatures use the same word for formally unrelated constructions. What is shared is the repeated role of local pieces, seams, or adjacency rules in producing a global object. This suggests a recurrent patching metaphor, but the underlying mathematics and applications differ substantially.

Domain	Meaning of “quilt”	Canonical local data
Spectral geometry	Glueing diagram for isospectral “drums”	Triangles, involutions, braiding
Poset combinatorics	Map $f:P\times Q\to \mathbb N$ with Boolean growth	Covers in ranked posets
Symplectic geometry	Pseudoholomorphic quilt on patched surfaces	Patches, seams, Lagrangian correspondences
Graph visualization	Matrix-based depiction for layered graphs	Inter-layer adjacency blocks
Quantum pedagogy	Quantum Interactive Learning Tutorial	Guided tasks, simulations, checkpoints
Robotics	Deformable infant covering manipulated by a robot	Masks, depth maps, grasp–release actions
Recreational combinatorics	Primitive square dissection	Integer subsquares, gcd $=1$

The major technical traditions are best understood separately: spectral and combinatorial quilts, pseudoholomorphic and coloured quilts, and applied uses in visualization, instruction, and manipulation.

2. Conway’s drum quilts and transplantation

In Conway’s sense, a quilt is the equivalence class of pairs of finite permutation actions obtained from a triple of involutions $(a,b,c)$ acting on a finite set, together with braiding operations induced by automorphisms of the free product $F=\langle a,b,c: a^2=b^2=c^2=1\rangle$. In Doyle’s presentation, the finite set is drawn as congruent tiles, typically triangles, called chambers. The three involutions are represented by dotted, dashed, and solid edge types; black lines denote transpositions, and thick red lines denote fixed points. A transplantable pair is a pair of such glueing diagrams on the same-sized finite set whose associated linear actions are equivalent although their permutation actions are not, allowing isospectrality without isometry (Doyle, 2020).

The spectral content is encoded through the Laplace eigenvalue problem

$\Delta u+\lambda u=0 \text{ in } \Omega,$

with either Dirichlet condition $u|_{\partial\Omega}=0$ or Neumann condition $\partial u/\partial n|_{\partial\Omega}=0$. If the two diagrams produce permutation matrices $A_a,A_b,A_c$ and $B_a,B_b,B_c$, the transplantation criterion is the existence of an invertible matrix $T$ such that

$=1$0

Writing $=1$1 and $=1$2, one obtains

$=1$3

so $=1$4 and $=1$5 are similar and therefore have the same spectrum. In the geometric setting this intertwining yields a linear transplantation map on eigenfunctions, preserving the boundary conditions encoded by the glueing diagram.

Doyle’s catalog reproduces Conway’s transplantable pairs of sizes $=1$6, $=1$7, $=1$8, $=1$9, and $(a,b,c)$0. The treelike quilts of sizes $(a,b,c)$1, $(a,b,c)$2, and $(a,b,c)$3 yield planar isospectral domains. Quilt $(a,b,c)$4 yields isospectral hyperbolic hexagons and is described as likely the simplest pair of isospectral hyperbolic $(a,b,c)$5-orbifolds. Quilt $(a,b,c)$6 yields the homophonic pair Conway called “peacocks rampant and couchant.” The paper emphasizes that the diagrams canonically determine the involutive permutation matrices even though explicit numerical transplantation matrices are not listed.

The broader significance is classical. These quilts provide constructive, visual data for Buser’s transplantation method and thereby explicit counterexamples to Kac’s question, “Can one hear the shape of a drum?” They are also a permutation-representation counterpart to Sunada’s method: equivalent linear representations of the free product of three cyclic groups of order $(a,b,c)$7 drive isospectrality, while inequivalent permutation representations prevent the construction from collapsing to isometry. Boundary conditions require some care: Neumann is preserved when the orbifold is demoted to a manifold with boundary, while Dirichlet works for orientable cases, for treelike diagrams, or more generally when all cycles have even length; odd cycles require twisted sign-changing sections.

3. Poset quilts, alternating sign matrices, and square dissections

In the combinatorial theory of Billey and Konvalinka, a quilt of type $(a,b,c)$8 for finite ranked posets $(a,b,c)$9 with least and greatest elements is a map $F=\langle a,b,c: a^2=b^2=c^2=1\rangle$0 satisfying two axioms:

1. $F=\langle a,b,c: a^2=b^2=c^2=1\rangle$1 whenever $F=\langle a,b,c: a^2=b^2=c^2=1\rangle$2 or $F=\langle a,b,c: a^2=b^2=c^2=1\rangle$3, and $F=\langle a,b,c: a^2=b^2=c^2=1\rangle$4.
2. If $F=\langle a,b,c: a^2=b^2=c^2=1\rangle$5 is a cover in $F=\langle a,b,c: a^2=b^2=c^2=1\rangle$6, then $F=\langle a,b,c: a^2=b^2=c^2=1\rangle$7.

The second condition is the Boolean growth rule. Quilts of type $F=\langle a,b,c: a^2=b^2=c^2=1\rangle$8 are exactly corner sum matrices and hence are in bijection with rectangular alternating sign matrices and monotone triangles. More generally, quilts subsume Dedekind maps, monotone Boolean functions, submatrix rank functions, and matroid or flag-matroid rank data. For a full-rank $F=\langle a,b,c: a^2=b^2=c^2=1\rangle$9 matrix $\Delta u+\lambda u=0 \text{ in } \Omega,$0, the function $\Delta u+\lambda u=0 \text{ in } \Omega,$1 defined as the rank of the submatrix on row set $\Delta u+\lambda u=0 \text{ in } \Omega,$2 and column set $\Delta u+\lambda u=0 \text{ in } \Omega,$3 is a quilt of type $\Delta u+\lambda u=0 \text{ in } \Omega,$4. The entire set $\Delta u+\lambda u=0 \text{ in } \Omega,$5 forms a distributive lattice under pointwise order, with meet and join given by pointwise minimum and maximum. Enumeration is mixed: computing $\Delta u+\lambda u=0 \text{ in } \Omega,$6 is $\Delta u+\lambda u=0 \text{ in } \Omega,$7-complete in general, but there are exact formulas when one poset is an antichain or a chain, and two-sided bounds when one poset is Boolean (Billey et al., 2024).

Several results are especially prominent. When one poset is the rank-$\Delta u+\lambda u=0 \text{ in } \Omega,$8 antichain $\Delta u+\lambda u=0 \text{ in } \Omega,$9,

$u|_{\partial\Omega}=0$0

where $u|_{\partial\Omega}=0$1 ranges over convex cut sets and $u|_{\partial\Omega}=0$2 counts antichains in $u|_{\partial\Omega}=0$3. When $u|_{\partial\Omega}=0$4 and $u|_{\partial\Omega}=0$5,

$u|_{\partial\Omega}=0$6

and asymptotically

$u|_{\partial\Omega}=0$7

For Boolean lattices, the paper proves

$u|_{\partial\Omega}=0$8

A distinct classical usage appears in “Mrs Perkins’s quilts,” where a quilt is a dissection of a square into smaller integer-sided squares whose side lengths are primitive:

$u|_{\partial\Omega}=0$9

Order is the number of constituent subsquares. The paper represents such dissections by embedded, directed, $\partial u/\partial n|_{\partial\Omega}=0$0-colored planar graphs with one vertex for each subsquare and four cardinal vertices $\partial u/\partial n|_{\partial\Omega}=0$1. Edges are colored North–South or West–East and directed according to adjacency; the embedding is a triangulation of a $\partial u/\partial n|_{\partial\Omega}=0$2-sided disk with minimum degree $\partial u/\partial n|_{\partial\Omega}=0$3 at non-cardinal vertices. Three equivalent linear formulations are used to recover sizes: traverse equations, an electrical-network analogy, and local geometric equations in coordinates. The exhaustive generation up to order $\partial u/\partial n|_{\partial\Omega}=0$4 confirms the counts, up to dihedral symmetry, $\partial u/\partial n|_{\partial\Omega}=0$5 for $\partial u/\partial n|_{\partial\Omega}=0$6 (Wynn, 2013).

These two combinatorial traditions are unrelated in formal definition. One is a lattice-theoretic theory of Boolean-growth maps on posets; the other is a theory of primitive square dissections encoded by directed coloured graphs. The shared term is historical rather than structural.

4. Pseudoholomorphic quilts in symplectic geometry

In Wehrheim–Woodward theory, a quilted surface is a collection of complex patches glued along real-analytic seams, possibly with strip-like ends. Each patch maps to a symplectic manifold, true boundary components carry Lagrangian submanifolds, and seams carry Lagrangian correspondences. A pseudoholomorphic quilt is then a tuple of maps $\partial u/\partial n|_{\partial\Omega}=0$7 solving the patchwise Cauchy–Riemann equations with coupled seam conditions. In the two-patch case,

$\partial u/\partial n|_{\partial\Omega}=0$8

and along a seam $\partial u/\partial n|_{\partial\Omega}=0$9 the boundary values satisfy

$A_a,A_b,A_c$0

The corresponding moduli spaces are cut out by quilted real Cauchy–Riemann operators; determinant lines, relative spin structures, and gluing isomorphisms supply canonical orientations. The orientation theory determines the effect of gluing strip-like ends, boundary nodes, and seam composition, and yields sign-coherent Floer differentials and relative invariants over $A_a,A_b,A_c$1 (Wehrheim et al., 2015).

Several later papers develop explicit surface-level and reduction-level instances. In the symplectic reduction example $A_a,A_b,A_c$2, the correspondence

$A_a,A_b,A_c$3

is used to build explicit quilted strips with seam condition on $A_a,A_b,A_c$4. The moduli space $A_a,A_b,A_c$5 consists of $A_a,A_b,A_c$6 components, each fibered trivially over $A_a,A_b,A_c$7; at $A_a,A_b,A_c$8 one obtains the $A_a,A_b,A_c$9 rigid $B_a,B_b,B_c$0-strips, while at $B_a,B_b,B_c$1 one obtains $B_a,B_b,B_c$2 rigid $B_a,B_b,B_c$3-strips plus $B_a,B_b,B_c$4 constant strips with figure eight bubbles attached. In this model $B_a,B_b,B_c$5 but $B_a,B_b,B_c$6, so the expected Wehrheim–Woodward isomorphism fails because of figure eight bubbling (Bottman, 2018).

On closed symplectic surfaces, the strip-shrinking argument can be adapted to immersed correspondences. If $B_a,B_b,B_c$7 is $B_a,B_b,B_c$8-holomorphic with boundary on $B_a,B_b,B_c$9 and $T$0, and its image lies in the projection of the correspondence $T$1, then there exists a $T$2-holomorphic lift $T$3 with boundary on $T$4 and $T$5. In the rigid two-patch model, $T$6. A subsequent uniqueness theorem shows that a holomorphic bigon for a composed immersed Lagrangian has a unique holomorphic quilted lift, even though figure eight bubbling may occur in the strip-shrinking limit. This yields a combinatorial method for computing boundary maps of immersed Floer chain groups on closed surfaces and produces many examples with forced figure eight bubbling (Zhang, 2024, Zhang, 12 Apr 2025).

Quilts also support equivariant constructions. For a compact Lie group $T$7 acting Hamiltonianly on $T$8, symplectic homotopy quotients $T$9 are connected by quilt-defined continuation maps using Lagrangian correspondences $=1$00. The equivariant complex is the telescope

$=1$01

and yields $=1$02 as an $=1$03-bimodule. Under regularity of $=1$04, the same formalism produces Kirwan morphisms between equivariant and reduced Floer complexes (Cazassus, 2022).

5. Coloured surfaces, skeleta, and coherent quantization

A different geometric usage appears in the quantization of moduli spaces by coloured, or quilted, surfaces. Here one begins with an oriented compact surface with boundary, a finite set of disjoint boundary segments called domain walls, and a colouring that assigns a coisotropic subgroup $=1$05 to each wall. A skeleton is a finite set of oriented embedded arcs, or bones, whose endpoints lie on negative and positive domain walls and whose union with the walls is a deformation retract of the surface. The skeleton determines a ciliated bipartite graph with vertices given by walls, edges given by bones, half-edges for unpaired ends, and an order on incident half-edges (Li-Bland et al., 2015).

The classical moduli space associated to a skeletized coloured surface $=1$06 is obtained from

$=1$07

by reduction:

$=1$08

This framework recovers moduli of flat $=1$09-bundles with reductions along boundary walls and carries Poisson structures generalizing Goldman’s bracket. Quantization is performed in the braided monoidal Drinfeld category $=1$10, with braiding $=1$11 and associativity constraint $=1$12. Fusion along ordered incidence maps and reduction by coisotropic invariants define the quantized structure sheaf:

$=1$13

The central coherence result is functorial. Embeddings of coloured surfaces compatible with their skeleta induce morphisms between the corresponding quantized moduli spaces, and the assignment extends to a contravariant monoidal functor from skeletized coloured surfaces to topological ringed spaces over $=1$14. The same mechanism realizes multiplication, comultiplication, and actions by geometric embeddings. In particular, the moduli space of a simple quilt with $=1$15- and $=1$16-coloured walls quantizes to a Hopf algebra $=1$17, while related quilts quantize Poisson homogeneous spaces such as $=1$18, the variety of Lagrangian subalgebras, the variety of coisotropic subalgebras, and the de Concini–Procesi wonderful compactification.

This usage is closely related to, but not identical with, pseudoholomorphic quilts in Floer theory. Both involve patches, seams, and composition, but the objects here are moduli of flat connections and their deformation quantizations rather than moduli of holomorphic curves.

6. Visualization, pedagogy, and robotics

In graph visualization, Quilts are a matrix-based depiction designed specifically for layered graphs. A layered graph partitions vertices into ordered layers $=1$19. Proper links connect consecutive layers and populate inter-layer adjacency blocks $=1$20; skip links connect nonconsecutive layers. Quilts extract only the proper inter-layer blocks and arrange them in a cascading chain, reducing height and width by roughly half relative to the full matrix and area to roughly one quarter while avoiding edge crossings. The principal weakness is skip-link depiction, for which the paper evaluates color-only, text-only, and mixed encodings. In Experiment 1, the main effect of depiction on time was $=1$21, and on accuracy $=1$22; mean accuracies were $=1$23 for color-only, $=1$24 for mixed, and $=1$25 for text-only. In Experiment 2, Quilts with mixed skip-link depiction outperformed node-link and centered matrices: overall path-finding times were $=1$26 s for Quilts, $=1$27 s for node-link, and $=1$28 s for centered matrices, with mean accuracies $=1$29, $=1$30, and $=1$31, respectively. At $=1$32 nodes, the corresponding times were $=1$33 s, $=1$34 s, and $=1$35 s (Bae et al., 15 Jul 2025).

In physics education, QuILTs are Quantum Interactive Learning Tutorials, research-based guided instructional materials for advanced undergraduates and beginning graduate students learning the quantum formalism and dynamics relevant to quantum computing. Their content emphasizes state vectors, operators and eigenvalue problems, time evolution, measurement postulates, composite systems, tensor products, two-level systems, and entanglement. The tutorials were developed in response to documented misconceptions from surveys and think-aloud interviews. Reported difficulties include conflating operator action with measurement, misunderstanding time evolution after measurement, defaulting to the time-independent Schrödinger equation when asked for a generic eigenvalue equation, and mishandling product spaces; more than $=1$36 of students tried to model a two spin-$=1$37 system with $=1$38 matrices, and roughly half defaulted to the time-independent Schrödinger equation for eigenvalue questions. The formalism highlighted in the modules includes

$=1$39

$=1$40

and

$=1$41

The paper reports strong qualitative evidence of robust misconceptions but does not present quantitative post-instruction gains in that summary (Singh, 2016).

In caregiving robotics, the quilt is the physical bed covering used to re-cover an infant during sleep. The system is a two-step pipeline: interference resolution and quilt spreading. DWPose provides skeletal keypoints, Segment Anything supplies the masks

$=1$42

$=1$43

and an interference mask based on limb prompts. The quilt state is represented on a $=1$44 grid, either as a $=1$45 one-hot voxel tensor or as a single-channel depth map $=1$46. State transitions are predicted by the EM*D model through encode–manipulate–decode modules $=1$47, $=1$48, and $=1$49, and planning optimizes

$=1$50

subject to grasp and release constraints. Regional pruning with a genetic algorithm reduces single-step planning from approximately $=1$51 min to approximately $=1$52–$=1$53 s, enabling three-step plans in approximately $=1$54 min. Real-world demonstrations show that after resolving arm-on-quilt or leg-on-quilt interference, planned spreading can recover the target state in which only the head is exposed (Guo et al., 2024).

These applied meanings depart completely from the geometric and combinatorial ones. Here “quilt” denotes either a visualization idiom, an instructional acronym, or a textile object under perception and manipulation. The continuity of terminology is linguistic rather than formal.