-
Tensor-network toolbox for probing dynamics of non-Abelian gauge theories
Authors:
Emil Mathew,
Navya Gupta,
Saurabh V. Kadam,
Aniruddha Bapat,
Jesse Stryker,
Zohreh Davoudi,
Indrakshi Raychowdhury
Abstract:
Tensor-network methods enable probing dynamics of strongly interacting quantum many-body systems, including gauge theories, via Hamiltonian simulation, hence bypassing sign problems. They also have the potential to inform efficient quantum-simulation algorithms of the same theories. We develop and benchmark a matrix-product-state ansatz for the SU(2) lattice gauge theory using the loop-string-hadr…
▽ More
Tensor-network methods enable probing dynamics of strongly interacting quantum many-body systems, including gauge theories, via Hamiltonian simulation, hence bypassing sign problems. They also have the potential to inform efficient quantum-simulation algorithms of the same theories. We develop and benchmark a matrix-product-state ansatz for the SU(2) lattice gauge theory using the loop-string-hadron formulation. This formulation has been demonstrated to be advantageous in Hamiltonian simulation of non-Abelian gauge theories. It is applicable to both SU(2) and SU(3) gauge groups, to periodic and open boundary conditions, and to 1+1 and higher dimensions. In this work, we report on progress in computing static and dynamical observables in a SU(2) gauge theory in (1+1)D, pushing the boundary of existing studies.
△ Less
Submitted 17 February, 2025; v1 submitted 30 January, 2025;
originally announced January 2025.
-
MatrixNet: Learning over symmetry groups using learned group representations
Authors:
Lucas Laird,
Circe Hsu,
Asilata Bapat,
Robin Walters
Abstract:
Group theory has been used in machine learning to provide a theoretically grounded approach for incorporating known symmetry transformations in tasks from robotics to protein modeling. In these applications, equivariant neural networks use known symmetry groups with predefined representations to learn over geometric input data. We propose MatrixNet, a neural network architecture that learns matrix…
▽ More
Group theory has been used in machine learning to provide a theoretically grounded approach for incorporating known symmetry transformations in tasks from robotics to protein modeling. In these applications, equivariant neural networks use known symmetry groups with predefined representations to learn over geometric input data. We propose MatrixNet, a neural network architecture that learns matrix representations of group element inputs instead of using predefined representations. MatrixNet achieves higher sample efficiency and generalization over several standard baselines in prediction tasks over the several finite groups and the Artin braid group. We also show that MatrixNet respects group relations allowing generalization to group elements of greater word length than in the training set.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
Some remarks about the faithfulness of the Burau representation of Artin--Tits groups
Authors:
Asilata Bapat,
Hoel Queffelec
Abstract:
We discuss the extension of the faithfulness question for the Burau representation of braid groups to the case of Artin--Tits groups. We prove that the Burau representation is not faithful in affine type $\tilde{A_3}$, and not faithful over several finite rings in type $D_4$, using an algorithmic approach based on categorical methods that generalize Bigelow's curve strategy outside of type $A$.
We discuss the extension of the faithfulness question for the Burau representation of braid groups to the case of Artin--Tits groups. We prove that the Burau representation is not faithful in affine type $\tilde{A_3}$, and not faithful over several finite rings in type $D_4$, using an algorithmic approach based on categorical methods that generalize Bigelow's curve strategy outside of type $A$.
△ Less
Submitted 30 August, 2024;
originally announced September 2024.
-
Wigglyhedra
Authors:
Asilata Bapat,
Vincent Pilaud
Abstract:
Motivated by categorical representation theory, we define the wiggly complex, whose vertices are arcs wiggling around $n+2$ points on a line, and whose faces are sets of wiggly arcs which are pairwise pointed and non-crossing. The wiggly complex is a $(2n-1)$-dimensional pseudomanifold, whose facets are wiggly pseudotriangulations. We show that wiggly pseudotriangulations are in bijection with wig…
▽ More
Motivated by categorical representation theory, we define the wiggly complex, whose vertices are arcs wiggling around $n+2$ points on a line, and whose faces are sets of wiggly arcs which are pairwise pointed and non-crossing. The wiggly complex is a $(2n-1)$-dimensional pseudomanifold, whose facets are wiggly pseudotriangulations. We show that wiggly pseudotriangulations are in bijection with wiggly permutations, which are permutations of $[2n]$ avoiding the patterns $(2j-1) \cdots i \cdots (2j)$ for $i < 2j-1$ and $(2j) \cdots k \cdots (2j-1)$ for $k > 2j$. These permutations define the wiggly lattice, an induced sublattice of the weak order. We then prove that the wiggly complex is isomorphic to the boundary complex of the polar of the wigglyhedron, for which we give explicit and simple vertex and facet descriptions. Interestingly, we observe that any Cambrian associahedron is normally equivalent to a well-chosen face of the wigglyhedron. Finally, we recall the correspondence of wiggly arcs with objects in a category, and we develop categorical criteria for a subset of wiggly arcs to form a face of the wiggly complex.
△ Less
Submitted 9 January, 2025; v1 submitted 16 July, 2024;
originally announced July 2024.
-
Polaritons in photonic hypercrystals of van der Waals materials
Authors:
Nihar Ranjan Sahoo,
Brijesh Kumar,
S. S. Jatin Prasath,
Aneesh Bapat,
Parul Sharma,
Anshuman Kumar
Abstract:
In-plane Hyperbolic Phonon polaritons (HPhPs) are quasiparticles formed via coupling of photons and optical phonons in in-plane hyperbolic materials and offer unique applications in sensing, thermal emitters and high resolution imaging. However, the large momentum mismatch between photons and these in-plane HPhPs has restricted their technological potential as most experimental demonstration rely…
▽ More
In-plane Hyperbolic Phonon polaritons (HPhPs) are quasiparticles formed via coupling of photons and optical phonons in in-plane hyperbolic materials and offer unique applications in sensing, thermal emitters and high resolution imaging. However, the large momentum mismatch between photons and these in-plane HPhPs has restricted their technological potential as most experimental demonstration rely on sophisticated and expensive near field detection schemes. In this work, using the example of $α-$MoO$_3$, we demonstrate that by constructing photonic hypercrystals of this material, one can not only excite these in-plane HPhPs in the far field but also tune the far field response via twisting the hypercrystal lattice with respect the lattice of $α-$MoO$_3$. Our findings will pave the way for the development of practical in-plane HPhP devices as well as provide access to new fundamental physics of such materials via conventional and well developed far field measurement techniques.
△ Less
Submitted 29 September, 2023;
originally announced September 2023.
-
Towards High-Frequency Tracking and Fast Edge-Aware Optimization
Authors:
Akash Bapat
Abstract:
This dissertation advances the state of the art for AR/VR tracking systems by increasing the tracking frequency by orders of magnitude and proposes an efficient algorithm for the problem of edge-aware optimization.
AR/VR is a natural way of interacting with computers, where the physical and digital worlds coexist. We are on the cusp of a radical change in how humans perform and interact with com…
▽ More
This dissertation advances the state of the art for AR/VR tracking systems by increasing the tracking frequency by orders of magnitude and proposes an efficient algorithm for the problem of edge-aware optimization.
AR/VR is a natural way of interacting with computers, where the physical and digital worlds coexist. We are on the cusp of a radical change in how humans perform and interact with computing. Humans are sensitive to small misalignments between the real and the virtual world, and tracking at kilo-Hertz frequencies becomes essential. Current vision-based systems fall short, as their tracking frequency is implicitly limited by the frame-rate of the camera. This thesis presents a prototype system which can track at orders of magnitude higher than the state-of-the-art methods using multiple commodity cameras. The proposed system exploits characteristics of the camera traditionally considered as flaws, namely rolling shutter and radial distortion. The experimental evaluation shows the effectiveness of the method for various degrees of motion.
Furthermore, edge-aware optimization is an indispensable tool in the computer vision arsenal for accurate filtering of depth-data and image-based rendering, which is increasingly being used for content creation and geometry processing for AR/VR. As applications increasingly demand higher resolution and speed, there exists a need to develop methods that scale accordingly. This dissertation proposes such an edge-aware optimization framework which is efficient, accurate, and algorithmically scales well, all of which are much desirable traits not found jointly in the state of the art. The experiments show the effectiveness of the framework in a multitude of computer vision tasks such as computational photography and stereo.
△ Less
Submitted 1 September, 2023;
originally announced September 2023.
-
Quench dynamics of the Schwinger model via variational quantum algorithms
Authors:
Lento Nagano,
Aniruddha Bapat,
Christian W. Bauer
Abstract:
We investigate the real-time dynamics of the $(1+1)$-dimensional U(1) gauge theory known as the Schwinger model via variational quantum algorithms. Specifically, we simulate quench dynamics in the presence of an external electric field. First, we use a variational quantum eigensolver to obtain the ground state of the system in the absence of an external field. With this as the initial state, we pe…
▽ More
We investigate the real-time dynamics of the $(1+1)$-dimensional U(1) gauge theory known as the Schwinger model via variational quantum algorithms. Specifically, we simulate quench dynamics in the presence of an external electric field. First, we use a variational quantum eigensolver to obtain the ground state of the system in the absence of an external field. With this as the initial state, we perform real-time evolution under an external field via a fixed-depth, parameterized circuit whose parameters are updated using McLachlan's variational principle. We use the same Ansatz for initial state preparation and time evolution, by which we are able to reduce the overall circuit depth. We test our method with a classical simulator and confirm that the results agree well with exact diagonalization.
△ Less
Submitted 21 February, 2023;
originally announced February 2023.
-
A Practical Stereo Depth System for Smart Glasses
Authors:
Jialiang Wang,
Daniel Scharstein,
Akash Bapat,
Kevin Blackburn-Matzen,
Matthew Yu,
Jonathan Lehman,
Suhib Alsisan,
Yanghan Wang,
Sam Tsai,
Jan-Michael Frahm,
Zijian He,
Peter Vajda,
Michael F. Cohen,
Matt Uyttendaele
Abstract:
We present the design of a productionized end-to-end stereo depth sensing system that does pre-processing, online stereo rectification, and stereo depth estimation with a fallback to monocular depth estimation when rectification is unreliable. The output of our depth sensing system is then used in a novel view generation pipeline to create 3D computational photography effects using point-of-view i…
▽ More
We present the design of a productionized end-to-end stereo depth sensing system that does pre-processing, online stereo rectification, and stereo depth estimation with a fallback to monocular depth estimation when rectification is unreliable. The output of our depth sensing system is then used in a novel view generation pipeline to create 3D computational photography effects using point-of-view images captured by smart glasses. All these steps are executed on-device on the stringent compute budget of a mobile phone, and because we expect the users can use a wide range of smartphones, our design needs to be general and cannot be dependent on a particular hardware or ML accelerator such as a smartphone GPU. Although each of these steps is well studied, a description of a practical system is still lacking. For such a system, all these steps need to work in tandem with one another and fallback gracefully on failures within the system or less than ideal input data. We show how we handle unforeseen changes to calibration, e.g., due to heat, robustly support depth estimation in the wild, and still abide by the memory and latency constraints required for a smooth user experience. We show that our trained models are fast, and run in less than 1s on a six-year-old Samsung Galaxy S8 phone's CPU. Our models generalize well to unseen data and achieve good results on Middlebury and in-the-wild images captured from the smart glasses.
△ Less
Submitted 31 March, 2023; v1 submitted 18 November, 2022;
originally announced November 2022.
-
Computing the Matching Distance of 2-Parameter Persistence Modules from Critical Values
Authors:
Asilata Bapat,
Robyn Brooks,
Celia Hacker,
Claudia Landi,
Barbara I. Mahler,
Elizabeth R. Stephenson
Abstract:
The exact computation of the matching distance for multi-parameter persistence modules is an active area of research in computational topology. Achieving an easily obtainable exact computation of this distance would allow multi-parameter persistent homology to be a viable option for data analysis. In this paper, we provide theoretical results for the computation of the matching distance in two dim…
▽ More
The exact computation of the matching distance for multi-parameter persistence modules is an active area of research in computational topology. Achieving an easily obtainable exact computation of this distance would allow multi-parameter persistent homology to be a viable option for data analysis. In this paper, we provide theoretical results for the computation of the matching distance in two dimensions along with a geometric interpretation of the lines through parameter space realizing this distance. The crucial point of the method we propose is that it can be easily implemented.
△ Less
Submitted 17 September, 2024; v1 submitted 23 October, 2022;
originally announced October 2022.
-
Estimating gate complexities for the site-by-site preparation of fermionic vacua
Authors:
Troy Sewell,
Aniruddha Bapat,
Stephen Jordan
Abstract:
An important aspect of quantum simulation is the preparation of physically interesting states on a quantum computer, and this task can often be costly or challenging to implement. A digital, ``site-by-site'' scheme of state preparation was introduced in arXiv:1911.03505 as a way to prepare the vacuum state of certain fermionic field theory Hamiltonians with a mass gap. More generally, this algorit…
▽ More
An important aspect of quantum simulation is the preparation of physically interesting states on a quantum computer, and this task can often be costly or challenging to implement. A digital, ``site-by-site'' scheme of state preparation was introduced in arXiv:1911.03505 as a way to prepare the vacuum state of certain fermionic field theory Hamiltonians with a mass gap. More generally, this algorithm may be used to prepare ground states of Hamiltonians by adding one site at a time as long as successive intermediate ground states share a non-zero overlap and the Hamiltonian has a non-vanishing spectral gap at finite lattice size. In this paper, we study the ground state overlap as a function of the number of sites for a range of quadratic fermionic Hamiltonians. Using analytical formulas known for free fermions, we are able to explore the large-$N$ behavior and draw conclusions about the state overlap. For all models studied, we find that the overlap remains large (e.g. $> 0.1$) up to large lattice sizes ($N=64,72$) except near quantum phase transitions or in the presence of gapless edge modes. For one-dimensional systems, we further find that two $N/2$-site ground states also share a large overlap with the $N$-site ground state everywhere except a region near the phase boundary. Based on these numerical results, we additionally propose a recursive alternative to the site-by-site state preparation algorithm.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
Advantages and limitations of quantum routing
Authors:
Aniruddha Bapat,
Andrew M. Childs,
Alexey V. Gorshkov,
Eddie Schoute
Abstract:
The Swap gate is a ubiquitous tool for moving information on quantum hardware, yet it can be considered a classical operation because it does not entangle product states. Genuinely quantum operations could outperform Swap for the task of permuting qubits within an architecture, which we call routing. We consider quantum routing in two models: (1) allowing arbitrary two-qubit unitaries, or (2) allo…
▽ More
The Swap gate is a ubiquitous tool for moving information on quantum hardware, yet it can be considered a classical operation because it does not entangle product states. Genuinely quantum operations could outperform Swap for the task of permuting qubits within an architecture, which we call routing. We consider quantum routing in two models: (1) allowing arbitrary two-qubit unitaries, or (2) allowing Hamiltonians with norm-bounded interactions. We lower bound the circuit depth or time of quantum routing in terms of spectral properties of graphs representing the architecture interaction constraints, and give a generalized upper bound for all simple connected $n$-vertex graphs. In particular, we give conditions for a superpolynomial classical-quantum routing separation, which exclude graphs with a small spectral gap and graphs of bounded degree. Finally, we provide examples of a quadratic separation between gate-based and Hamiltonian routing models with a constant number of local ancillas per qubit and of an $Ω(n)$ speedup if we also allow fast local interactions.
△ Less
Submitted 3 June, 2022;
originally announced June 2022.
-
Quantum Routing with Teleportation
Authors:
Dhruv Devulapalli,
Eddie Schoute,
Aniruddha Bapat,
Andrew M. Childs,
Alexey V. Gorshkov
Abstract:
We study the problem of implementing arbitrary permutations of qubits under interaction constraints in quantum systems that allow for arbitrarily fast local operations and classical communication (LOCC). In particular, we show examples of speedups over swap-based and more general unitary routing methods by distributing entanglement and using LOCC to perform quantum teleportation. We further descri…
▽ More
We study the problem of implementing arbitrary permutations of qubits under interaction constraints in quantum systems that allow for arbitrarily fast local operations and classical communication (LOCC). In particular, we show examples of speedups over swap-based and more general unitary routing methods by distributing entanglement and using LOCC to perform quantum teleportation. We further describe an example of an interaction graph for which teleportation gives a logarithmic speedup in the worst-case routing time over swap-based routing. We also study limits on the speedup afforded by quantum teleportation - showing an $O(\sqrt{N \log N})$ upper bound on the separation in routing time for any interaction graph - and give tighter bounds for some common classes of graphs.
△ Less
Submitted 23 September, 2024; v1 submitted 8 April, 2022;
originally announced April 2022.
-
$q$-deformed rational numbers and the 2-Calabi--Yau category of type $A_2$
Authors:
Asilata Bapat,
Louis Becker,
Anthony M. Licata
Abstract:
We describe a family of compactifications of the space of Bridgeland stability conditions of any triangulated category following earlier work by Bapat, Deopurkar, and Licata. We particularly consider the case of the 2-Calabi--Yau category of the $A_2$ quiver. The compactification is the closure of an embedding (depending on $q$) of the stability space into an infinite-dimensional projective space.…
▽ More
We describe a family of compactifications of the space of Bridgeland stability conditions of any triangulated category following earlier work by Bapat, Deopurkar, and Licata. We particularly consider the case of the 2-Calabi--Yau category of the $A_2$ quiver. The compactification is the closure of an embedding (depending on $q$) of the stability space into an infinite-dimensional projective space.
In the $A_2$ case, the three-strand braid group $B_3$ acts on this closure. We describe two distinguished braid group orbits in the boundary, points of which can be identified with certain rational functions in $q$. Points in one of the orbits are exactly the $q$-deformed rational numbers recently introduced by Morier-Genoud and Ovsienko, while the other orbit gives a new $q$-deformation of the rational numbers. Specialising $q$ to a positive real number, we obtain a complete description of the boundary of the compactification.
△ Less
Submitted 15 February, 2022;
originally announced February 2022.
-
Gate tunable light-matter interaction in natural biaxial hyperbolic van der Waals heterostructures
Authors:
Aneesh Bapat,
Saurabh Dixit,
Yashika Gupta,
Tony Low,
Anshuman Kumar
Abstract:
The recent discovery of natural biaxial hyperbolicity in van der Waals crystals, such as $α$-MoO$_3$, has opened up new avenues for mid-IR nanophotonics due to their deep subwavelength phonon-polaritons. However, a significant challenge is the lack of active tunability of these hyperbolic phonon polaritons. In this work, we investigate heterostructures of graphene and $α$-MoO$_3$ for actively tuna…
▽ More
The recent discovery of natural biaxial hyperbolicity in van der Waals crystals, such as $α$-MoO$_3$, has opened up new avenues for mid-IR nanophotonics due to their deep subwavelength phonon-polaritons. However, a significant challenge is the lack of active tunability of these hyperbolic phonon polaritons. In this work, we investigate heterostructures of graphene and $α$-MoO$_3$ for actively tunable hybrid plasmon phonon polariton modes via electrostatic gating in the mid-infrared spectral region. We observe a unique propagation direction dependent hybridization of graphene plasmon polaritons with hyperbolic phonon polaritons for experimentally feasible values of graphene chemical potential. We further report an application to tunable valley quantum interference in this system with a broad operational bandwidth due to the formation of these hybrid modes. This work presents a lithography-free alternative for actively tunable, anisotropic spontaneous emission enhancement using a sub-wavelength thick naturally biaxial hyperbolic materials.
△ Less
Submitted 25 January, 2022; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Spherical objects and stability conditions on 2-Calabi--Yau quiver categories
Authors:
Asilata Bapat,
Anand Deopurkar,
Anthony M. Licata
Abstract:
Consider a 2-Calabi--Yau triangulated category with a Bridgeland stability condition. We devise an effective procedure to reduce the phase spread of an object by applying spherical twists. Using this, we give new proofs of the following theorems for 2-Calabi--Yau categories associated to ADE quivers: (1) all spherical objects lie in a single orbit of the braid group, and (2) the space of Bridgelan…
▽ More
Consider a 2-Calabi--Yau triangulated category with a Bridgeland stability condition. We devise an effective procedure to reduce the phase spread of an object by applying spherical twists. Using this, we give new proofs of the following theorems for 2-Calabi--Yau categories associated to ADE quivers: (1) all spherical objects lie in a single orbit of the braid group, and (2) the space of Bridgeland stability conditions is connected.
△ Less
Submitted 20 August, 2021;
originally announced August 2021.
-
Behavior of Analog Quantum Algorithms
Authors:
Lucas T. Brady,
Lucas Kocia,
Przemyslaw Bienias,
Aniruddha Bapat,
Yaroslav Kharkov,
Alexey V. Gorshkov
Abstract:
Analog quantum algorithms are formulated in terms of Hamiltonians rather than unitary gates and include quantum adiabatic computing, quantum annealing, and the quantum approximate optimization algorithm (QAOA). These algorithms are promising candidates for near-term quantum applications, but they often require fine tuning via the annealing schedule or variational parameters. In this work, we explo…
▽ More
Analog quantum algorithms are formulated in terms of Hamiltonians rather than unitary gates and include quantum adiabatic computing, quantum annealing, and the quantum approximate optimization algorithm (QAOA). These algorithms are promising candidates for near-term quantum applications, but they often require fine tuning via the annealing schedule or variational parameters. In this work, we explore connections between these analog algorithms, as well as limits in which they become approximations of the optimal procedure.Notably, we explore how the optimal procedure approaches a smooth adiabatic procedure but with a superposed oscillatory pattern that can be explained in terms of the interactions between the ground state and first excited state that effect the coherent error cancellation of diabatic transitions. Furthermore, we provide numeric and analytic evidence that QAOA emulates this optimal procedure with the length of each QAOA layer equal to the period of the oscillatory pattern. Additionally, the ratios of the QAOA bangs are determined by the smooth, non-oscillatory part of the optimal procedure. We provide arguments for these phenomena in terms of the product formula expansion of the optimal procedure. With these arguments, we conclude that different analog algorithms can emulate the optimal protocol under different limits and approximations. Finally, we present a new algorithm for better approximating the optimal protocol using the analytic and numeric insights from the rest of the paper. In practice, numerically, we find that this algorithm outperforms standard QAOA and naive quantum annealing procedures.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Quantum routing with fast reversals
Authors:
Aniruddha Bapat,
Andrew M. Childs,
Alexey V. Gorshkov,
Samuel King,
Eddie Schoute,
Hrishee Shastri
Abstract:
We present methods for implementing arbitrary permutations of qubits under interaction constraints. Our protocols make use of previous methods for rapidly reversing the order of qubits along a path. Given nearest-neighbor interactions on a path of length $n$, we show that there exists a constant $ε\approx 0.034$ such that the quantum routing time is at most $(1-ε)n$, whereas any swap-based protoco…
▽ More
We present methods for implementing arbitrary permutations of qubits under interaction constraints. Our protocols make use of previous methods for rapidly reversing the order of qubits along a path. Given nearest-neighbor interactions on a path of length $n$, we show that there exists a constant $ε\approx 0.034$ such that the quantum routing time is at most $(1-ε)n$, whereas any swap-based protocol needs at least time $n-1$. This represents the first known quantum advantage over swap-based routing methods and also gives improved quantum routing times for realistic architectures such as grids. Furthermore, we show that our algorithm approaches a quantum routing time of $2n/3$ in expectation for uniformly random permutations, whereas swap-based protocols require time $n$ asymptotically. Additionally, we consider sparse permutations that route $k \le n$ qubits and give algorithms with quantum routing time at most $n/3 + O(k^2)$ on paths and at most $2r/3 + O(k^2)$ on general graphs with radius $r$.
△ Less
Submitted 24 August, 2021; v1 submitted 4 March, 2021;
originally announced March 2021.
-
Morse-based Fibering of the Persistence Rank Invariant
Authors:
Asilata Bapat,
Robyn Brooks,
Celia Hacker,
Claudia Landi,
Barbara I. Mahler
Abstract:
Although there is no doubt that multi-parameter persistent homology is a useful tool to analyse multi-variate data, efficient ways to compute these modules are still lacking in the available topological data analysis toolboxes. Other issues such as interpretation and visualization of the output remain difficult to solve. Software visualizing multi-parameter persistence diagrams is currently only a…
▽ More
Although there is no doubt that multi-parameter persistent homology is a useful tool to analyse multi-variate data, efficient ways to compute these modules are still lacking in the available topological data analysis toolboxes. Other issues such as interpretation and visualization of the output remain difficult to solve. Software visualizing multi-parameter persistence diagrams is currently only available for 2-dimensional persistence modules. One of the simplest invariants for a multi-parameter persistence module is its rank invariant, defined as the function that counts the number of linearly independent homology classes that live in the filtration through a given pair of values of the multi-parameter. We propose a step towards interpretation and visualization of the rank invariant for persistence modules for any given number of parameters. We show how discrete Morse theory may be used to compute the rank invariant, proving that it is completely determined by its values at points whose coordinates are critical with respect to a discrete Morse gradient vector field. These critical points partition the set of all lines of positive slope in the parameter space into equivalence classes, such that the rank invariant along lines in the same class are also equivalent. We show that we can deduce all persistence diagrams of the restrictions to the lines in a given class from the persistence diagram of the restriction to a representative in that class.
△ Less
Submitted 13 April, 2021; v1 submitted 30 November, 2020;
originally announced November 2020.
-
A Thurston compactification of the space of stability conditions
Authors:
Asilata Bapat,
Anand Deopurkar,
Anthony M. Licata
Abstract:
We propose compactifications of the moduli space of Bridgeland stability conditions of a triangulated category. Our construction arises from a viewing a stability condition as a metric on the underlying category and is inspired by the Thurston compactification of the Teichmüller space of hyperbolic metrics on a surface. The key ingredient in the construction are maps from the stability manifold to…
▽ More
We propose compactifications of the moduli space of Bridgeland stability conditions of a triangulated category. Our construction arises from a viewing a stability condition as a metric on the underlying category and is inspired by the Thurston compactification of the Teichmüller space of hyperbolic metrics on a surface. The key ingredient in the construction are maps from the stability manifold to an infinite projective space. We prove that, under suitable hypotheses, these maps are injective and their image has a compact closure. We identify a family of points in the boundary that are categorical analogous to the intersection functionals in Teichmüller theory.
We study in detail the geometry of the resulting compactification for the 2-Calabi--Yau categories of quivers, and fully work out the cases of the \(A_2\) and \(\widehat{A_1}\) quivers. To do so, we carefully examine the dynamics of Harder--Narasimhan multiplicities under auto-equivalences of the category. We introduce a finite automaton to study this dynamics and employ it in our analysis of the \(A_{2}\) and \(\widehat{A_1}\) categories.
△ Less
Submitted 8 November, 2023; v1 submitted 16 November, 2020;
originally announced November 2020.
-
Approximate optimization of MAXCUT with a local spin algorithm
Authors:
Aniruddha Bapat,
Stephen P. Jordan
Abstract:
Local tensor methods are a class of optimization algorithms that was introduced in [Hastings,arXiv:1905.07047v2][1] as a classical analogue of the quantum approximate optimization algorithm (QAOA). These algorithms treat the cost function as a Hamiltonian on spin degrees of freedom and simulate the relaxation of the system to a low energy configuration using local update rules on the spins. Wherea…
▽ More
Local tensor methods are a class of optimization algorithms that was introduced in [Hastings,arXiv:1905.07047v2][1] as a classical analogue of the quantum approximate optimization algorithm (QAOA). These algorithms treat the cost function as a Hamiltonian on spin degrees of freedom and simulate the relaxation of the system to a low energy configuration using local update rules on the spins. Whereas the emphasis in [1] was on theoretical worst-case analysis, we here investigate performance in practice through benchmarking experiments on instances of the MAXCUT problem.Through heuristic arguments we propose formulas for choosing the hyperparameters of the algorithm which are found to be in good agreement with the optimal choices determined from experiment. We observe that the local tensor method is closely related to gradient descent on a relaxation of maxcut to continuous variables, but consistently outperforms gradient descent in all instances tested. We find time to solution achieved by the local tensor method is highly uncorrelated with that achieved by a widely used commercial optimization package; on some MAXCUT instances the local tensor method beats the commercial solver in time to solution by up to two orders of magnitude and vice-versa. Finally, we argue that the local tensor method closely follows discretized, imaginary-time dynamics of the system under the problem Hamiltonian.
△ Less
Submitted 13 August, 2020;
originally announced August 2020.
-
Optimal Protocols in Quantum Annealing and QAOA Problems
Authors:
Lucas T. Brady,
Christopher L. Baldwin,
Aniruddha Bapat,
Yaroslav Kharkov,
Alexey V. Gorshkov
Abstract:
Quantum Annealing (QA) and the Quantum Approximate Optimization Algorithm (QAOA) are two special cases of the following control problem: apply a combination of two Hamiltonians to minimize the energy of a quantum state. Which is more effective has remained unclear. Here we analytically apply the framework of optimal control theory to show that generically, given a fixed amount of time, the optimal…
▽ More
Quantum Annealing (QA) and the Quantum Approximate Optimization Algorithm (QAOA) are two special cases of the following control problem: apply a combination of two Hamiltonians to minimize the energy of a quantum state. Which is more effective has remained unclear. Here we analytically apply the framework of optimal control theory to show that generically, given a fixed amount of time, the optimal procedure has the pulsed (or "bang-bang") structure of QAOA at the beginning and end but can have a smooth annealing structure in between. This is in contrast to previous works which have suggested that bang-bang (i.e., QAOA) protocols are ideal. To support this theoretical work, we carry out simulations of various transverse field Ising models, demonstrating that bang-anneal-bang protocols are more common. The general features identified here provide guideposts for the nascent experimental implementations of quantum optimization algorithms.
△ Less
Submitted 16 November, 2020; v1 submitted 19 March, 2020;
originally announced March 2020.
-
Nearly optimal time-independent reversal of a spin chain
Authors:
Aniruddha Bapat,
Eddie Schoute,
Alexey V. Gorshkov,
Andrew M. Childs
Abstract:
We propose a time-independent Hamiltonian protocol for the reversal of qubit ordering in a chain of $N$ spins. Our protocol has an easily implementable nearest-neighbor, transverse-field Ising model Hamiltonian with time-independent, non-uniform couplings. Under appropriate normalization, we implement this state reversal three times faster than a naive approach using SWAP gates, in time comparable…
▽ More
We propose a time-independent Hamiltonian protocol for the reversal of qubit ordering in a chain of $N$ spins. Our protocol has an easily implementable nearest-neighbor, transverse-field Ising model Hamiltonian with time-independent, non-uniform couplings. Under appropriate normalization, we implement this state reversal three times faster than a naive approach using SWAP gates, in time comparable to a protocol of Raussendorf [Phys. Rev. A 72, 052301 (2005)] that requires dynamical control. We also prove lower bounds on state reversal by using results on the entanglement capacity of Hamiltonians and show that we are within a factor $1.502(1+1/N)$ of the shortest time possible. Our lower bound holds for all nearest-neighbor qubit protocols with arbitrary finite ancilla spaces and local operations and classical communication. Finally, we extend our protocol to an infinite family of nearest-neighbor, time-independent Hamiltonian protocols for state reversal. This includes chains with nearly uniform coupling that may be especially feasible for experimental implementation.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Entanglement bounds on the performance of quantum computing architectures
Authors:
Zachary Eldredge,
Leo Zhou,
Aniruddha Bapat,
James R. Garrison,
Abhinav Deshpande,
Frederic T. Chong,
Alexey V. Gorshkov
Abstract:
There are many possible architectures of qubit connectivity that designers of future quantum computers will need to choose between. However, the process of evaluating a particular connectivity graph's performance as a quantum architecture can be difficult. In this paper, we show that a quantity known as the isoperimetric number establishes a lower bound on the time required to create highly entang…
▽ More
There are many possible architectures of qubit connectivity that designers of future quantum computers will need to choose between. However, the process of evaluating a particular connectivity graph's performance as a quantum architecture can be difficult. In this paper, we show that a quantity known as the isoperimetric number establishes a lower bound on the time required to create highly entangled states. This metric we propose counts resources based on the use of two-qubit unitary operations, while allowing for arbitrarily fast measurements and classical feedback. We use this metric to evaluate the hierarchical architecture proposed by A. Bapat et al. [Phys. Rev. A 98, 062328 (2018)], and find it to be a promising alternative to the conventional grid architecture. We also show that the lower bound that this metric places on the creation time of highly entangled states can be saturated with a constructive protocol, up to a factor logarithmic in the number of qubits.
△ Less
Submitted 22 September, 2020; v1 submitted 13 August, 2019;
originally announced August 2019.
-
Mapped Convolutions
Authors:
Marc Eder,
True Price,
Thanh Vu,
Akash Bapat,
Jan-Michael Frahm
Abstract:
We present a versatile formulation of the convolution operation that we term a "mapped convolution." The standard convolution operation implicitly samples the pixel grid and computes a weighted sum. Our mapped convolution decouples these two components, freeing the operation from the confines of the image grid and allowing the kernel to process any type of structured data. As a test case, we demon…
▽ More
We present a versatile formulation of the convolution operation that we term a "mapped convolution." The standard convolution operation implicitly samples the pixel grid and computes a weighted sum. Our mapped convolution decouples these two components, freeing the operation from the confines of the image grid and allowing the kernel to process any type of structured data. As a test case, we demonstrate its use by applying it to dense inference on spherical data. We perform an in-depth study of existing spherical image convolution methods and propose an improved sampling method for equirectangular images. Then, we discuss the impact of data discretization when deriving a sampling function, highlighting drawbacks of the cube map representation for spherical data. Finally, we illustrate how mapped convolutions enable us to convolve directly on a mesh by projecting the spherical image onto a geodesic grid and training on the textured mesh. This method exceeds the state of the art for spherical depth estimation by nearly 17%. Our findings suggest that mapped convolutions can be instrumental in expanding the application scope of convolutional neural networks.
△ Less
Submitted 26 June, 2019;
originally announced June 2019.
-
Quantum Approximate Optimization of the Long-Range Ising Model with a Trapped-Ion Quantum Simulator
Authors:
G. Pagano,
A. Bapat,
P. Becker,
K. S. Collins,
A. De,
P. W. Hess,
H. B. Kaplan,
A. Kyprianidis,
W. L. Tan,
C. Baldwin,
L. T. Brady,
A. Deshpande,
F. Liu,
S. Jordan,
A. V. Gorshkov,
C. Monroe
Abstract:
Quantum computers and simulators may offer significant advantages over their classical counterparts, providing insights into quantum many-body systems and possibly improving performance for solving exponentially hard problems, such as optimization and satisfiability. Here we report the implementation of a low-depth Quantum Approximate Optimization Algorithm (QAOA) using an analog quantum simulator…
▽ More
Quantum computers and simulators may offer significant advantages over their classical counterparts, providing insights into quantum many-body systems and possibly improving performance for solving exponentially hard problems, such as optimization and satisfiability. Here we report the implementation of a low-depth Quantum Approximate Optimization Algorithm (QAOA) using an analog quantum simulator. We estimate the ground state energy of the Transverse Field Ising Model with long-range interactions with tunable range and we optimize the corresponding combinatorial classical problem by sampling the QAOA output with high-fidelity, single-shot individual qubit measurements. We execute the algorithm with both an exhaustive search and closed-loop optimization of the variational parameters, approximating the ground state energy with up to 40 trapped-ion qubits. We benchmark the experiment with bootstrapping heuristic methods scaling polynomially with the system size. We observe, in agreement with numerics, that the QAOA performance does not degrade significantly as we scale up the system size, and that the runtime is approximately independent from the number of qubits. We finally give a comprehensive analysis of the errors occurring in our system, a crucial step in the path forward towards the application of the QAOA to more general problem instances.
△ Less
Submitted 17 April, 2020; v1 submitted 6 June, 2019;
originally announced June 2019.
-
Bang-bang control as a design principle for classical and quantum optimization algorithms
Authors:
Aniruddha Bapat,
Stephen Jordan
Abstract:
Physically motivated classical heuristic optimization algorithms such as simulated annealing (SA) treat the objective function as an energy landscape, and allow walkers to escape local minima. It has been argued that quantum properties such as tunneling may give quantum algorithms advantage in finding ground states of vast, rugged cost landscapes. Indeed, the Quantum Adiabatic Algorithm (QAO) and…
▽ More
Physically motivated classical heuristic optimization algorithms such as simulated annealing (SA) treat the objective function as an energy landscape, and allow walkers to escape local minima. It has been argued that quantum properties such as tunneling may give quantum algorithms advantage in finding ground states of vast, rugged cost landscapes. Indeed, the Quantum Adiabatic Algorithm (QAO) and the recent Quantum Approximate Optimization Algorithm (QAOA) have shown promising results on various problem instances that are considered classically hard. Here, we argue that the type of control strategy used by the optimization algorithm may be crucial to its success. Along with SA, QAO and QAOA, we define a new, bang-bang version of simulated annealing, BBSA, and study the performance of these algorithms on two well-studied problem instances from the literature. Both classically and quantumly, the successful control strategy is found to be bang-bang, exponentially outperforming the quasistatic analogues on the same instances. Lastly, we construct O(1)-depth QAOA protocols for a class of symmetric cost functions, and provide an accompanying physical picture.
△ Less
Submitted 1 August, 2019; v1 submitted 6 December, 2018;
originally announced December 2018.
-
Recollement for perverse sheaves on real hyperplane arrangements
Authors:
Asilata Bapat
Abstract:
We consider a hyperplane arrangement in $\mathbb{C}^n$ defined over $\mathbb{R}$, and the associated natural stratification of $\mathbb{C}^n$. The category of perverse sheaves smooth with respect to this stratification was described by Kapranov and Schechtman in terms of quiver representations. Using work of Weissman, we reinterpret this category as the category of finite-dimensional modules over…
▽ More
We consider a hyperplane arrangement in $\mathbb{C}^n$ defined over $\mathbb{R}$, and the associated natural stratification of $\mathbb{C}^n$. The category of perverse sheaves smooth with respect to this stratification was described by Kapranov and Schechtman in terms of quiver representations. Using work of Weissman, we reinterpret this category as the category of finite-dimensional modules over an explicit algebra. We also describe recollement (open-closed decomposition) of perverse sheaves in terms of this module category. As an application, we identify the modules associated to all intersection cohomology complexes.
We also compute recollement for $W$-equivariant perverse sheaves for the reflection arrangement of a finite Coxeter group $W$. We identify the equivariant intersection cohomology sheaves arising as intermediate extensions of local systems on the open stratum, thereby answering a question of Weissman.
△ Less
Submitted 31 October, 2018;
originally announced October 2018.
-
Unitary Entanglement Construction in Hierarchical Networks
Authors:
Aniruddha Bapat,
Zachary Eldredge,
James R. Garrison,
Abhinav Desphande,
Frederic T. Chong,
Alexey V. Gorshkov
Abstract:
The construction of large-scale quantum computers will require modular architectures that allow physical resources to be localized in easy-to-manage packages. In this work, we examine the impact of different graph structures on the preparation of entangled states. We begin by explaining a formal framework, the hierarchical product, in which modular graphs can be easily constructed. This framework…
▽ More
The construction of large-scale quantum computers will require modular architectures that allow physical resources to be localized in easy-to-manage packages. In this work, we examine the impact of different graph structures on the preparation of entangled states. We begin by explaining a formal framework, the hierarchical product, in which modular graphs can be easily constructed. This framework naturally leads us to suggest a class of graphs, which we dub hierarchies. We argue that such graphs have favorable properties for quantum information processing, such as a small diameter and small total edge weight, and use the concept of Pareto efficiency to identify promising quantum graph architectures. We present numerical and analytical results on the speed at which large entangled states can be created on nearest-neighbor grids and hierarchy graphs. We also present a scheme for performing circuit placement--the translation from circuit diagrams to machine qubits--on quantum systems whose connectivity is described by hierarchies.
△ Less
Submitted 23 August, 2018;
originally announced August 2018.
-
The Domain Transform Solver
Authors:
Akash Bapat,
Jan-Michael Frahm
Abstract:
We present a framework for edge-aware optimization that is an order of magnitude faster than the state of the art while having comparable performance. Our key insight is that the optimization can be formulated by leveraging properties of the domain transform, a method for edge-aware filtering that defines a distance-preserving 1D mapping of the input space. This enables our method to improve perfo…
▽ More
We present a framework for edge-aware optimization that is an order of magnitude faster than the state of the art while having comparable performance. Our key insight is that the optimization can be formulated by leveraging properties of the domain transform, a method for edge-aware filtering that defines a distance-preserving 1D mapping of the input space. This enables our method to improve performance for a variety of problems including stereo, depth super-resolution, and render from defocus, while keeping the computational complexity linear in the number of pixels. Our method is highly parallelizable and adaptable, and it has demonstrable scalability with respect to image resolution.
△ Less
Submitted 11 May, 2018;
originally announced May 2018.
-
The Bernstein-Sato $b$-function of the Vandermonde determinant
Authors:
Asilata Bapat,
Robin Walters
Abstract:
The Bernstein-Sato polynomial, or the $b$-function, is an important invariant of singularities of hypersurfaces that is difficult to compute in general. We describe a few different results towards computing the $b$-function of the Vandermonde determinant $ξ$.
We use a result of Opdam to produce a lower bound for the $b$-function of $ξ$. This bound proves a conjecture of Budur, Mustaţă, and Teitl…
▽ More
The Bernstein-Sato polynomial, or the $b$-function, is an important invariant of singularities of hypersurfaces that is difficult to compute in general. We describe a few different results towards computing the $b$-function of the Vandermonde determinant $ξ$.
We use a result of Opdam to produce a lower bound for the $b$-function of $ξ$. This bound proves a conjecture of Budur, Mustaţă, and Teitler for the case of finite Coxeter hyperplane arrangements, proving the Strong Monodromy Conjecture in this case.
In our second set of results, we show the duality of two $\mathcal{D}$-modules, and conclude that the roots of the $b$-function of $ξ$ are symmetric about $-1$. We then use some results about jumping coefficients to prove an upper bound for the $b$-function of $ξ$, and finally we conjecture a formula for the $b$-function of $ξ$.
△ Less
Submitted 3 March, 2015;
originally announced March 2015.
-
Classical simulation of Yang-Baxter gates
Authors:
Gorjan Alagic,
Aniruddha Bapat,
Stephen Jordan
Abstract:
A unitary operator that satisfies the constant Yang-Baxter equation immediately yields a unitary representation of the braid group B n for every $n \ge 2$. If we view such an operator as a quantum-computational gate, then topological braiding corresponds to a quantum circuit. A basic question is when such a representation affords universal quantum computation. In this work, we show how to classica…
▽ More
A unitary operator that satisfies the constant Yang-Baxter equation immediately yields a unitary representation of the braid group B n for every $n \ge 2$. If we view such an operator as a quantum-computational gate, then topological braiding corresponds to a quantum circuit. A basic question is when such a representation affords universal quantum computation. In this work, we show how to classically simulate these circuits when the gate in question belongs to certain families of solutions to the Yang-Baxter equation. These include all of the qubit (i.e., $d = 2$) solutions, and some simple families that include solutions for arbitrary $d \ge 2$. Our main tool is a probabilistic classical algorithm for efficient simulation of a more general class of quantum circuits. This algorithm may be of use outside the present setting.
△ Less
Submitted 23 October, 2015; v1 submitted 5 July, 2014;
originally announced July 2014.
-
Torus actions and tensor products of intersection cohomology
Authors:
Asilata Bapat
Abstract:
Given certain intersection cohomology sheaves on a projective variety with a torus action, we relate the cohomology groups of their tensor product to the cohomology groups of the individual sheaves. We also prove a similar result in the case of equivariant cohomology.
Given certain intersection cohomology sheaves on a projective variety with a torus action, we relate the cohomology groups of their tensor product to the cohomology groups of the individual sheaves. We also prove a similar result in the case of equivariant cohomology.
△ Less
Submitted 3 September, 2013;
originally announced September 2013.
-
Lower central series of free algebras in symmetric tensor categories
Authors:
Asilata Bapat,
David Jordan
Abstract:
We continue the study of the lower central series of a free associative algebra, initiated by B. Feigin and B. Shoikhet (arXiv:math/0610410). We generalize via Schur functors the constructions of the lower central series to any symmetric tensor category; specifically we compute the modified first quotient \bar{B}_1, and second and third quotients B_2, and B_3 of the series for a free algebra T(V)…
▽ More
We continue the study of the lower central series of a free associative algebra, initiated by B. Feigin and B. Shoikhet (arXiv:math/0610410). We generalize via Schur functors the constructions of the lower central series to any symmetric tensor category; specifically we compute the modified first quotient \bar{B}_1, and second and third quotients B_2, and B_3 of the series for a free algebra T(V) in any symmetric tensor category, generalizing the main results of (arXiv:math/0610410) and (arXiv:0902.4899). In the case A_{m|n}:=T(\CC^{m|n}), we use these results to compute the explicit Hilbert series. Finally, we prove a result relating the lower central series to the corresponding filtration by two-sided associative ideals, confirming a conjecture from (arXiv:0805.1909), and another one from (arXiv:0902.4899), as corollaries.
△ Less
Submitted 31 May, 2012; v1 submitted 8 January, 2010;
originally announced January 2010.
-
Plasma synthesis of single crystal silicon nanoparticles for novel electronic device applications
Authors:
Ameya Bapat,
Curtis Anderson,
Christopher R. Perrey,
C. Barry Carter,
Stephen A. Campbell,
Uwe Kortshagen
Abstract:
Single-crystal nanoparticles of silicon, several tens of nm in diameter, may be suitable as building blocks for single-nanoparticle electronic devices. Previous studies of nanoparticles produced in low-pressure plasmas have demonstrated the synthesis nanocrystals of 2-10 nm diameter but larger particles were amorphous or polycrystalline. This work reports the use of a constricted, filamentary ca…
▽ More
Single-crystal nanoparticles of silicon, several tens of nm in diameter, may be suitable as building blocks for single-nanoparticle electronic devices. Previous studies of nanoparticles produced in low-pressure plasmas have demonstrated the synthesis nanocrystals of 2-10 nm diameter but larger particles were amorphous or polycrystalline. This work reports the use of a constricted, filamentary capacitively coupled low-pressure plasma to produce single-crystal silicon nanoparticles with diameters between 20-80 nm. Particles are highly oriented with predominant cubic shape. The particle size distribution is rather monodisperse. Electron microscopy studies confirm that the nanoparticles are highly oriented diamond-cubic silicon.
△ Less
Submitted 6 October, 2004;
originally announced October 2004.
