QuRMIT

For example, our work with the Zak transform describes a GKP-encoded qubit within a continuous-variable system by separating logical information from a remaining gauge subsystem. Wavelet decompositions of fields resolve correlations by position and scale. Our work uses mutual information to construct metrics in free-field models, including Euclidean geometries.

In measurement-based computation, an entangled resource is prepared first. Measurements then enact gates on the information encoded in that resource. With continuous-variable systems, such as optical fields, qubits can be encoded in degrees of freedom that are themselves continuous.

Mathematical structure matters alongside physical implementation; fault-tolerant operation depends on the encoding, resource quality, and noise model. Optics is a major setting for this work, rather than a limit on the questions we pursue.

Our quantum Rubik’s-cube work explores quantum moves and interference through a software simulation and quantum-circuit constructions.

Relativity changes the setting in which observers exchange and measure quantum information. Our work in relativistic quantum information has included entanglement harvesting: transferring entanglement from a quantum field to local detectors. Current interests include descriptions of fields that make measurement resolution and correlations at different scales explicit.

Sonic relativity gives us another way to examine the observer’s role. What account of relativity would observers develop if they built their clocks and rulers using sound? Some of these models are classical, but they help us distinguish the medium’s description from what an observer can infer within it.

In our tachyonic-media models, faster-than-sound signals can appear tachyonic to sonic observers without producing the usual causal paradox. The signals propagate in a medium with a preferred rest frame. The result concerns those propagation rules, rather than fundamental faster-than-light particles.

We have constructed and related valid representations for finite-dimensional systems, including even dimensions. Recent work characterizes the parameter spaces of a specified covariant family and separates basic validity from additional requirements on marginals and displacement operators. That distinction lets us ask precisely what a non-existence claim rules out.