1 citations · 1 across the 7 of their papers we have counts for
9 papers
Backdooring Acoustic Foundation Models for Physically Realizable Triggers
Zebin Yun, Eyal Ronen, Mahmood Sharif
Acoustic foundation models (AFMs) have democratized acoustic applications, enabling powerful models for tasks ranging from speech recognition to speaker verification with minimal r…
Gradient descent reliably finds depth- and gate-optimal circuits for generic unitaries
Janani Gomathi, Alex Meiburg
When the gate set has continuous parameters, synthesizing a unitary operator as a quantum circuit is, in principle, always possible using exact methods. However, efficiently findin…
A Formalization of the Generalized Quantum Stein's Lemma in Lean
Alex Meiburg, Leonardo A. Lessa, Rodolfo R. Soldati
The Generalized Quantum Stein's Lemma is a theorem in quantum hypothesis testing that provides an operational meaning to the relative entropy within the context of quantum resource…
Quantum SAT Problems with Finite Sets of Projectors are Complete for a Plethora of Classes
Ricardo Rivera Cardoso, Alex Meiburg, Daniel Nagaj
Previously, all known variants of the Quantum Satisfiability (QSAT) problem, i.e. deciding whether a -local (-body) Hamiltonian is frustration-free, could be classified as be…
Generative Learning of Continuous Data by Tensor Networks
Alex Meiburg, Jing Chen, Jacob Miller +3
Beyond their origin in modeling many-body quantum systems, tensor networks have emerged as a promising class of models for solving machine learning problems, notably in unsupervise…
Bounds on Irrationality Measures and the Flint-Hills Series
Alex Meiburg
It is unknown whether the Flint-Hills series converges. Alekseyev (2011) connected this question to the irrationality measure of , tha…
Reduction Rules and ILP Are All You Need: Minimal Directed Feedback Vertex Set
Alex Meiburg
This note describes the development of an exact solver for Minimal Directed Feedback Vertex Set as part of the PACE 2022 competition. The solver is powered largely by aggressively…
Linear-time generalized Hartree-Fock algorithm for quasi-one-dimensional systems
Alex Meiburg, Bela Bauer
In many approximate approaches to fermionic quantum many-body systems, such as Hartree-Fock and density functional theory, solving a system of non-interacting fermions coupled to s…
Quantum Constraint Problems can be complete for , , and more
Alex Meiburg
A quantum constraint problem is a frustration-free Hamiltonian problem: given a collection of local operators, is there a state that is in the ground state of each operator simulta…