arXiv Science⌕ Search

arXiv subjects

Steven Frankel

Publications and source records attributed to Steven Frankel.

18 recordsLinked to original sources
arXiv2026

Rand-SEMI-QAOA: Finite-Budget Depth-One MaxCut Ensembles on Compressed Quantum Registers

We introduce Rand-SEMI-QAOA, a finite-budget QRAO--QAOA ensemble for MaxCut based on a $(3,1)$-QRAC relaxation. The method samples labels uniformly without replacement from the product-$X$ family of an implemented Galois stabilizer mutually unbiased basis (MUB) system. Each selected state--mixer pair is optimized independently for relaxed QRAO energy and then evaluated by deterministic Pauli-sign decoding. Exhaustive scans of the implemented noncomputational MUB catalog place the product-$X$ family first in 18 of 20 validated family-mean cells and in every tested cell for $r=5,6,7$. On a complete cohort of $2{,}400$ random connected 3-regular MaxCut instances with $n\in\{18,20,22\}$, the capped matched-cardinality schedule attains a graph-mean decoded best-of-set approximation ratio of $0.9421$ with one QAOA layer, while the $K=r^2$ schedule attains $0.9319$. These statistics are conditional on the disclosed frozen selector pools and do not estimate variability over selector seeds. An exact gauge identity shows that product-family labels generate the orbit of the QRAO Hamiltonian under an $r$-dimensional sign-gauge group. For common angles and relaxed energy, deterministic syndrome analysis proves branchwise dephasing, while an anisotropic Gaussian surrogate controls the coherent label-averaged response on the scale $\beta=b/r$. The theory does not order independently optimized decoded maxima. The results are finite-size and resource-explicit and do not establish quantum advantage.

quant-ph↗
arXiv2026

Mutually unbiased bases as extremal probes of isotropic random Hamiltonians

Mutually unbiased bases (MUBs) are central finite structures in quantum information. We ask whether complete MUB systems have an extremal probing property beyond their projective \(2\)-design identities. For an isotropic Gaussian traceless Hamiltonian, we prove that, among labeled unions of \(d+1\) orthonormal bases, a complete MUB union has the stochastically largest sampled maximum. Each basis induces the same regular-simplex Gaussian block; mutual unbiasedness eliminates cross-block covariance, joint Gaussianity yields independence, and a centered-convex Gaussian correlation inequality makes this independent coupling extremal. We also derive a radial-mixture extension and prove exact MUB-family collapse for fully matched diagonal-cost constructions.

quant-ph↗
arXiv2026

An HHL-Based Quantum-Classical Solver for the Incompressible Navier-Stokes Equations with Approximate QST

In computational fluid dynamics (CFD), the numerical integration of the Navier-Stokes equations is frequently constrained by the Poisson equation to determine the pressure. Discretization of this equation often results in the need to solve a system of linear algebraic equations. This step typically represents the primary computational bottleneck. Quantum linear system algorithms such as Harrow-Hassidim-Lloyd (HHL) offer the potential for exponential speedups for solving sparse linear systems, such as those that arise from the discretized Poisson equation. In this work, we successfully couple HHL to a discretized formulation of the incompressible Navier-Stokes equations and demonstrate both accurate lid-driven cavity flow simulations as a fully integrated benchmark problem, and accurate flow of the Taylor-Green vortex. To address the readout limitation, we utilize a recent novel quantum state tomography (QST) approach based on Chebyshev polynomials and Quantum Amplitude Estimation (QAE), which enables approximate statevector extraction without full state reconstruction. Together, these results clarify the algorithmic structure required for quantum CFD, explicitly confront the measurement bottleneck, and establish benchmark problems for future quantum fluid simulations. We implement the solver using IBM's Qiskit framework and validate the hybrid quantum-classical simulation against standard classical numerical methods. Our results demonstrate that the hybrid solver successfully captures the global vortex dynamics of the lid-driven cavity problem and the Taylor-Green vortex, offering a robust pathway for integrating quantum subroutines into more practical higher-Reynolds number CFD workflows.

quant-ph↗
arXiv2025

Virtual Qudits for Simon's Problem: Dimension-Lifted Algorithms on Qubit Hardware

Simon's problem admits an exponential quantum speedup, but current quantum devices support only qubits. This work introduces a general construction for simulating qudit versions of Simon's algorithm on qubit hardware by defining virtual qudits implemented through controlled permutations and qudit phase operations. We build a dimension lifted oracle that encodes the hidden shift in dimension d and show how to realize its action using only qubit gates. We mathematically verify that the lifted circuit reproduces the correct measurement statistics, analyze the depth overhead tradeoffs as a function of d, and provide numerical simulations in QuTiP for example values. Our approach demonstrates how higher-dimensional structures can be embedded into qubit devices and provides a general method for extending qudit algorithms to current hardware.

quant-ph↗
arXiv2025

From quasigeodesic to pseudo-Anosov flows

We prove Calegari's conjecture that every quasigeodesic flow on a closed hyperbolic 3-manifold can be deformed to a flow that is simultaneously quasigeodesic and pseudo-Anosov.

math.GT↗
arXiv2023

A Wave Appropriate Discontinuity Sensor Approach for Compressible Flows

In this work, we propose a novel selective discontinuity sensor approach for numerical simulations of the compressible Navier-Stokes equations. Since transformation to characteristic space is already a common approach to reduce high-frequency oscillations during interpolation to cell interfaces, we exploit the characteristic wave structure of the Euler equations to selectively treat the various waves that the equations comprise. The approach uses the Ducros shock sensing criterion to detect and limit oscillations due to shocks while applying a different criterion to detect and limit oscillations due to contact discontinuities. Furthermore, the method is general in the sense that it can be applied to any method that employs characteristic transformation and shock sensors. However, in the present work, we focus on the Gradient-Based Reconstruction family of schemes. A series of inviscid and viscous test cases containing various types of discontinuities are carried out. The proposed method is shown to markedly reduce high-frequency oscillations that arise due to improper treatment of the various discontinuities; i.e., applying the Ducros shock sensor in a flow where a strong contact discontinuity is present. Moreover, the proposed method is shown to predict similar volume-averaged kinetic energy and enstrophy profiles for the Taylor-Green vortex simulation compared to the base Ducros sensor, indicating that it does not introduce unnecessary numerical dissipation when there are no contact discontinuities in the flow.

physics.flu-dyn↗
arXiv2022

Orbit equivalences of pseudo-Anosov flows

We prove a classification theorem for transitive Anosov and pseudo-Anosov flows on closed 3-manifolds, up to orbit equivalence. In many cases, flows on a 3-manifold $M$ are completely determined by the set of free homotopy classes of their (unoriented) periodic orbits. The exceptional cases are flows with a special structure in their orbit space called a ``tree of scalloped regions"; in these cases the set of free homotopy classes of unoriented periodic orbits together with the additional data of a choice of sign for each $\pi_1(M)$-orbit of tree gives a complete invariant of orbit equivalence classes of flows. The framework for the proof is a more general result about \emph{Anosov-like actions} of abstract groups on bifoliated planes, showing that the homeomorphism type of the bifoliation and the conjugacy class of the action can be recovered from knowledge of which elements of the group act with fixed points. As a consequence, we show that Anosov flows are determined up to orbit equivalence by the action on the ideal boundary of their orbit spaces, and more generally that transitive Anosov-like actions on bifoliated planes are determined up to conjugacy by their actions on the plane's ideal boundary: any conjugacy between two such actions on their ideal circles can be extended uniquely to a conjugacy on the interior of the plane.

math.DS↗
arXiv2021

Impact of wall modeling on kinetic energy stability for the compressible Navier-Stokes equations

Affordable, high order simulations of turbulent flows on unstructured grids for very high Reynolds number flows require wall models for efficiency. However, different wall models have different accuracy and stability properties. Here, we develop a kinetic energy stability estimate to investigate stability of wall model boundary conditions. Using this norm, two wall models are studied, a popular equilibrium stress wall model, which is found to be unstable and the dynamic slip wall model which is found to be stable. These results are extended to the discrete case using the Summation by parts (SBP) property of the discontinuous Galerkin method. Numerical tests show that while the equilibrium stress wall model is accurate but unstable, the dynamic slip wall model is inaccurate but stable.

physics.flu-dyn↗
arXiv2020

High-Order Central-Upwind shock capturing scheme using a Boundary Variation Diminishing (BVD) Algorithm

In this paper, we present a novel hybrid nonlinear explicit-compact scheme for shock-capturing based on a boundary variation diminishing (BVD) reconstruction. In our approach, we combine a non-dissipative sixth-order central compact interpolation and a fifth-order monotonicity preserving scheme (MP5) through the BVD algorithm. For a smooth solution, the BVD reconstruction chooses the highest order possible interpolation, which is central, i.e. non-dissipative in the current approach and for the discontinuities, the algorithm selects the monotone scheme. This method provides an alternative to the existing adaptive upwind-central schemes in the literature. Several numerical examples are conducted with the present approach, which suggests that the current method is capable of resolving small scale flow features and has the same ability to capture sharp discontinuities as the MP5 scheme.

math.NA↗
arXiv2020

Partially hyperbolic diffeomorphisms homotopic to the identity in dimension 3, Part II: Branching foliations

We study $3$-dimensional partially hyperbolic diffeomorphisms that are homotopic to the identity, focusing on the geometry and dynamics of Burago and Ivanov's center stable and center unstable \emph{branching} foliations. This extends our study of the true foliations that appear in the dynamically coherent case (see \emph{Partially hyperbolic diffeomorphisms homotopic to the identity in dimension 3, Part I: The dynamically coherent case}, arxiv:1908.06227v3). We complete the classification of such diffeomorphisms in Seifert fibered manifolds. In hyperbolic manifolds, we show that any such diffeomorphism is either dynamically coherent and has a power that is a discretized Anosov flow, or is of a new potential class called a \emph{double translation}.

math.DS↗
arXiv2020

Dynamical incoherence for a large class of partially hyperbolic diffeomorphisms

We show that if a partially hyperbolic diffeomorphism of a Seifert manifold induces a map in the base which has a pseudo-Anosov component then it cannot be dynamically coherent. This extends work of Bonatti, Gogolev, Hammerlindl and Potrie to the whole isotopy class. We relate the techniques with the study of certain partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds performed in the previous paper by the authors. The appendix reviews some consequences of the Nielsen-Thurston classification of surface homeomorphisms to the dynamics of lifts of such maps to the universal cover.

math.DS↗
arXiv2019

From veering triangulations to link spaces and back again

This paper is the third in a sequence establishing a dictionary between the combinatorics of veering triangulations equipped with appropriate filling slopes, and the dynamics of pseudo-Anosov flows (without perfect fits) on closed three-manifolds. Our motivation comes from the work of Agol and Gu\'eritaud. Agol introduced veering triangulations of mapping tori as a tool for understanding the surgery parents of pseudo-Anosov mapping tori. Gu\'eritaud gave a new construction of veering triangulations of mapping tori using the orbit spaces of their suspension flows. Generalising this, Agol and Gu\'eritaud announced a method that, given a closed manifold with a pseudo-Anosov flow (without perfect fits), produces a veering triangulation equipped with filling slopes. In this paper we build, from a veering triangulation, a canonical circular order on the cusps of the universal cover. Using this we build the veering circle and the link space. These are the first entries in the promised dictionary. The link space and the circle are, respectively, analogous to the orbit space of a flow and to Fenley's boundary at infinity of the orbit space. In the other direction, and using our previous work, we prove that the veering triangulation is recovered (up to canonical isomorphism) from the dynamics of the fundamental group acting on the link space. This is the first step in proving that our dictionary gives a bijection between the two theories.

math.GT↗
arXiv2019

Partially hyperbolic diffeomorphisms homotopic to the identity in dimension 3, Part I: The dynamically coherent case

We study 3-dimensional dynamically coherent partially hyperbolic diffeomorphisms that are homotopic to the identity, focusing on the transverse geometry and topology of the center stable and center unstable foliations, and the dynamics within their leaves. We find a structural dichotomy for these foliations, which we use to show that every such diffeomorphism on a hyperbolic or Seifert fibered 3-manifold is leaf conjugate to the time one map of a (topological) Anosov flow. This proves a classification conjecture of Hertz-Hertz-Ures in hyperbolic 3-manifolds and in the homotopy class of the identity of Seifert manifolds.

math.DS↗
arXiv2012

Quasigeodesic flows and sphere-filling curves

Given a closed hyperbolic 3-manifold M with a quasigeodesic flow we construct a \pi_1-equivariant sphere-filling curve in the boundary of hyperbolic space. Specifically, we show that any complete transversal P to the lifted flow on H^3 has a natural compactification as a closed disc that inherits a \pi_1 action. The embedding of P in H^3 extends continuously to the compactification and the restriction to the boundary is a surjective \pi_1-equivariant map from S^1 to S^2_\infty. This generalizes the result of Cannon and Thurston for fibered hyperbolic 3-manifolds.

math.GT↗
arXiv2011

Quasigeodesic flows and M\"obius-like groups

If M is a hyperbolic 3-manifold with a quasigeodesic flow then we show that \pi_1(M) acts in a natural way on a closed disc by homeomorphisms. Consequently, such a flow either has a closed orbit or the action on the boundary circle is M\"obius-like but not conjugate into PSL(2, R). We conjecture that the latter possibility cannot occur.

math.GT↗
arXiv2011

Quantum Circuit Design for Solving Linear Systems of Equations

Recently, it is shown that quantum computers can be used for obtaining certain information about the solution of a linear system Ax=b exponentially faster than what is possible with classical computation. Here we first review some key aspects of the algorithm from the standpoint of finding its efficient quantum circuit implementation using only elementary quantum operations, which is important for determining the potential usefulness of the algorithm in practical settings. Then we present a small-scale quantum circuit that solves a 2x2 linear system. The quantum circuit uses only 4 qubits, implying a tempting possibility for experimental realization. Furthermore, the circuit is numerically simulated and its performance under different circuit parameter settings is demonstrated.

quant-ph↗