Bracket Vacuum — The Fermionic Nullity Playground

Build a string of fermionic creation/annihilation operators as colored, shaped brackets. Watch it get reduced by a plain stack-based bracket-matcher — the exact algorithm you'd use to check (([{}]) in a CS101 class. If the string collapses to nothing, the vacuum expectation value can survive; if any bracket is left stranded, it's exactly zero. No algebra required.

Grounded in: “Dyck language and fermionic second quantization: I. Theory” — Jérémy Morere & Thibaud Etienne, arXiv:2605.27142.
The paper defines translations of fermionic creation/annihilation operators into bracket alphabets, and shows that whether an expectation value like ⟨vac| a†…a…|vac⟩ vanishes reduces to a purely syntactic check — inspecting the sequence of opening/closing brackets — plus a depth statistic imported from Dyck-language theory, which supplies further nullity criteria.
This toy implements the mechanism the abstract describes — colored bracket alphabets, matching, and a live depth statistic — as a simplified, pedagogical stand-in for the paper's formal criteria (which this demo doesn't reproduce verbatim, since only the abstract was used to ground it). Verdicts below reflect the toy's own matching rule, not a literal quote of the paper's theorems.

1. Build the operator string

Each mode gets its own bracket shape — that's the "bracket alphabet." Creation a†m = an open bracket; annihilation am = a close bracket of the same shape.

Guess before it reveals

A fresh random operator string is loaded. Predict the verdict, then watch the reduction confirm (or bust) your intuition.

0 / 0

2. Reduction

Left panel: the live stack (Dyck-word matching). Right panel: the depth statistic over time — the paper's second syntactic tool.

Contraction stack
empty
Depth d(t) — max reached: 0
—