Logical Operator Decomposition for Distance Analysis of Bivariate Bicycle Codes ZDVPJ1XX5Z

URI	`m2://res/ZDVPJ1XX5Z`
Kind	preprint
Creators	Mohammad Rowshan, Simon Devitt
Date	2026-09-30
Subjects	arxiv quant-ph, arxiv cs.IT, arxiv math.IT
Scope	out

Expressions

Date	2026-09-30
Ids	arXiv 2609.39395

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
$X/Z$ symmetry	statement	proposition 3	arxiv
semisimple fiber form	statement	proposition 2	arxiv
common zeros for $\code{18}{4}{4}$	example	example 3	arxiv
representative shape	definition	definition 1	arxiv
translation equivariance	statement	proposition 1	arxiv
parity-check rows for $\code{18}{4}{4}$	example	example 1	arxiv
support-exclusion criterion	statement	theorem 3	arxiv
symmetric sequence	statement	corollary 2	arxiv
componentwise distance formula and one-sided witness bound	statement	theorem 2	arxiv
colon connectivity	statement	corollary 3	arxiv
irreducible range	statement	proposition 4	arxiv
annihilator--colon exact sequence	statement	theorem 1	arxiv
Frobenius balance	statement	lemma 1	arxiv
logical basis and dimension	statement	corollary 1	arxiv
exactness of the cluster search	statement	theorem 4	arxiv
syndrome connectivity	statement	lemma 2	arxiv
one-sided witness for $\code{72}{12}{6}$	example	example 4	arxiv
balanced minimum for $\code{108}{8}{10}$	example	example 6	arxiv
exact-sequence trace for $\code{18}{4}{4}$	example	example 2	arxiv
$\code{18}{4}{4}$: component is not shape	example	example 5	arxiv