4 citations · 7 across the 10 of their papers we have counts for
10 papers
GoForth: Language Models for RNA Design under Structure, Sequence, and Coding Constraints
Michael Lindsey
RNA inverse sequence design has broad biological and engineering applications, but computational methods for practical design queries remain limited. Such queries may impose severa…
Fast entropy-regularized SDP relaxations for permutation synchronization
Michael Lindsey, Yunpeng Shi
We introduce fast randomized algorithms for solving semidefinite programming (SDP) relaxations of the partial permutation synchronization (PPS) problem, a core task in multi-image…
Improved energies and wave function accuracy with Weighted Variational Monte Carlo
Huan Zhang, Robert J. Webber, Michael Lindsey +2
Neural network parametrizations have increasingly been used to represent the ground and excited states in variational Monte Carlo (VMC) with promising results. However, traditional…
An approximation theory for Markov chain compression
Mark Fornace, Michael Lindsey
We develop a framework for the compression of reversible Markov chains with rigorous error control. Given a subset of selected states, we construct reduced dynamics that can be lif…
MNE: overparametrized neural evolution with applications to diffusion processes and sampling
Michael Lindsey
We propose a framework for solving evolution equations within parametric function classes, especially ones that are specified by neural networks. We call this framework the minimal…
Column and row subset selection using nuclear scores: algorithms and theory for Nyström approximation, CUR decomposition, and graph Laplacian reduction
Mark Fornace, Michael Lindsey
Column selection is an essential tool for structure-preserving low-rank approximation, with wide-ranging applications across many fields, such as data science, machine learning, an…
Direct interpolative construction of the discrete Fourier transform as a matrix product operator
Jielun Chen, Michael Lindsey
The quantum Fourier transform (QFT), which can be viewed as a reindexing of the discrete Fourier transform (DFT), has been shown to be compressible as a low-rank matrix product ope…
Simple Diagonal State Designs with Reconfigurable Real-Time Circuits
Yizhi Shen, Katherine Klymko, Eran Rabani +4
Unitary designs are widely used in quantum computation, but in many practical settings it suffices to construct a diagonal state design generated with unitary gates diagonal in the…
Multiscale interpolative construction of quantized tensor trains
Michael Lindsey
Quantized tensor trains (QTTs) have recently emerged as a framework for the numerical discretization of continuous functions, with the potential for widespread applications in nume…
Multimarginal generative modeling with stochastic interpolants
Michael S. Albergo, Nicholas M. Boffi, Michael Lindsey +1
Given a set of probability densities, we consider the multimarginal generative modeling problem of learning a joint distribution that recovers these densities as marginals. The…