← all papers

Muzzle the Shuttle

Abdullah Ash Saki, Rasit Onur Topaloglu, Swaroop Ghosh. Muzzle the Shuttle: Efficient Compilation for Multi-Trap Trapped-Ion Quantum Computers. DATE 2022. arXiv:2111.07961 · their code: ashsaki/MTS-QCCD-Compiler (Apache-2.0)

QCCDSim's six-trap line (L6): six traps in a row, each with a capacity of 17 ions -- the 15 the compiler places in it at the start, and 2 places kept free for ions passing through. Five benchmarks; the metric is the number of shuttles (moves of one ion from a trap to the next).

The rules each run is judged by

This paper's model is written as the rule sets QCCDSim's rules, QCCDSim's rules, with a physical gate swap. Every run above was replayed and each rule of the set evaluated on it. Our schedules are held to the same rules, and also keep each qubit's gates in the circuit's exact order (R25): we may not reorder a circuit, even where its gates commute.

✓ the rule holds on that run; ✗ it fails, with the number of counterexamples (hover for the first); – it does not apply to that run (hover for why); · the rule is not in that run's rule set.

setup_ok()
and (for all o in operations: well_formed(o) and found(o))
and (for all i in ions: position(i, final()) != none)

for all s in sites, t in instants:
  occupancy(s, t) <= capacity(s)

for all j in junctions, t in instants:
  occupancy(j, t) <= 1

for all r in rails, t in instants:
  occupancy(r, t) <= capacity(r)

(for all g in two_qubit_gates, i in ions(g): position(i, start(g)) = site(g))
and (for all g in two_qubit_gates where size(declared_sites(g)) > 0:
       site(g) in declared_sites(g))

for all a, b in operations where a != b and simultaneous(a, b):
  disjoint(ions(a), ions(b))

for all m in splits: at_chain_end(m) or swap_paid(m)

(for all c in circuit_ops where needs_gate(c): gate_count(c) >= 1)
and (for all g in two_qubit_gates: serves_circuit(g))

for all c1, c2 in circuit_ops where next_on_qubit(c1, c2) and performed(c1) and performed(c2):
  end(last(c1)) <= start(first(c2))

for all a, b in operations where a != b and kind(a) in serial_kinds and kind(b) in serial_kinds
    and site(a) = site(b) and site(a) != none:
  not simultaneous(a, b)

for all o in operations where clocked(o): approx(duration(o), clock(o))

How a paper is checked · all papers