arXiv subjects

Adam Sawicki

Publications and source records attributed to Adam Sawicki.

At least 19 recordsLinked to original sources

arXiv2025

Approximate pushforward designs and image bounds on approximations

We extend the framework of quantum pushforward designs to the approximate setting, in which moment operators agree only up to finite precision. We first formulate a general transfer theorem for maps that act linearly at the level of moments. This separates direct applications, controlled by standard Schatten-norm estimates, from refinements that use additional tensorial structure. Dephasing is shown to be contractive and therefore sends an approximate projective design to a simplex design without increasing its error. Ordinary partial-trace estimates give immediate bounds for mixed-state and channel designs. We then prove a sharp Schatten-norm bound for the partial trace restricted to the totally symmetric subspace. This replaces the full-environment norm coefficient by one governed by a symmetric-subspace dimension and yields asymptotically tighter estimates for both mixed-state and channel designs. Numerical simulations for induced mixed-state designs are consistent with the resulting hierarchy of bounds.

quant-ph↗

arXiv2025

The high-dimension limit of characters of compact reductive Lie groups and restrictions on the production of quantum randomness

For any element $g$ of compact reductive group $G$ we investigate the asymptotic behavior of its normalized irreducible character in the high-dimension limit, $\frac{\chi_\lambda(g)}{d_\lambda}$. We show that when $G$ is simple the limit vanishes besides identity element. For semisimple groups one gets the same results under the additional assumption that dimensions of irreducible representations of all simple components are going to infinity. Using the notion of approximate $t$-designs we connect this observations with bounds on the production of quantum randomness in large quantum systems.

math.RT↗

arXiv2025

Quantum Circuit Overhead

We introduce a measure for evaluating the efficiency of finite universal quantum gate sets $\mathcal{S}$, called the Quantum Circuit Overhead (QCO), and the related notion of $T$-Quantum Circuit Overhead ($T$-QCO). QCO compares the circuit length required by $\mathcal S$ with the best possible length among gate sets of the same size. The $T$-QCO adapts this idea to cost models in which only selected costly gates are counted, while cheap operations are absorbed into an effective gate set. We demonstrate the usefulness of the ($T$-)QCO by extensive numerical calculations of its upper bounds, providing insight into the efficiency of various choices of single-qubit $\mathcal{S}$, including Haar-random gate sets and the gate sets derived from finite subgroups, such as Clifford and Hurwitz groups. In particular, our results suggest that, in terms of the upper bounds on the $T$-QCO, the famous T gate is a highly non-optimal choice for the completion of the Clifford gate set, even among the gates of order 8. We identify the optimal choices of such completions for both finite subgroups.

quant-ph↗

arXiv2025

Fundamental solutions of heat equation on unitary groups establish an improved relation between $\epsilon$-nets and approximate unitary $t$-designs

The concepts of $\epsilon$-nets and unitary ($\delta$-approximate) $t$-designs are important and ubiquitous across quantum computation and information. Both notions are closely related and the quantitative relations between $t$, $\delta$ and $\epsilon$ find applications in areas such as (non-constructive) inverse-free Solovay-Kitaev like theorems and random quantum circuits. In recent work, quantitative relations have revealed the close connection between the two constructions, with $\epsilon$-nets functioning as unitary $\delta$-approximate $t$-designs and vice-versa, for appropriate choice of parameters. In this work we improve these results, significantly increasing the bound on the $\delta$ required for a $\delta$-approximate $t$-design to form an $\epsilon$-net from $\delta \simeq \left(\epsilon^{3/2}/d\right)^{d^2}$ to $\delta \simeq \left(\epsilon/d^{1/2}\right)^{d^2}$. We achieve this by constructing polynomial approximations to the Dirac delta using heat kernels on the projective unitary group $\mathrm{PU}(d) \cong\mathbf{U}(d)$, whose properties we studied and which may be applicable more broadly. We also outline the possible applications of our results in quantum circuit overheads, quantum complexity and black hole physics.

quant-ph↗

arXiv2024

Symplectic Structures in Quantum Entanglement

In this work, we explore the implications of applying the formalism of symplectic geometry to quantum mechanics, particularly focusing on many-particle systems. We extend the concept of a symplectic indicator of entanglement, originally introduced by Sawicki et al. \cite{sawicki2011}, to these complex systems. Specifically, we demonstrate that the restriction of the symplectic structure to manifolds comprising all states characterized by isospectral reduced one-particle density matrices, $ M_{\mu(\psi)}^0 $, exhibits degeneracy for non-separable states. We prove that the degree of degeneracy at any given state $ \ket{\varphi} \in M_{\mu(\psi)}^0 $ corresponds to the degree of degeneracy of the symplectic form $ \omega $ when restricted to the manifold of states that are locally unitary equivalent with $ \ket{\varphi} $. Additionally, we provide a physical interpretation of this symplectic indicator of entanglement, articulating it as an inherent ambiguity within the associated classical dynamical framework. Our findings underscore the pivotal role of symplectic geometry in elucidating entanglement properties in quantum mechanics and suggest avenues for further exploration into the geometric structures underlying quantum state spaces.

quant-ph↗

arXiv2022

Pointer States in the Born-Markov approximation

Explaining the emergence of classical properties of a quantum system through its interaction with the environment has been one of the promising ideas on how to understand the notorious quantum-to-classical transition. A pivotal role in this approach is played by, so called, pointer states which are quantum states least affected by the environment and are ``carriers" of classical behavior. We develop here a general method on how to find pointer states. Working within the Born-Markov approximation, we combine methods of group theory and open quantum systems to derive explicit equations describing pointer states. They contain variances squared of certain operators, thus resembling the defining equations of coherent states, but are in general different from the latter. This shows that two notions of being ``the closest to the classical" -- one defined by the uncertainty relations and the other by the interaction with the environment -- are in general different. As an example, we study arbitrary spin-$J$ systems interacting with bosonic or spin thermal environments and find explicitly pointer states for $J=1$.

quant-ph↗

arXiv2022

A random matrix model for random approximate $t$-designs

For a Haar random set $\mathcal{S}\subset U(d)$ of quantum gates we consider the uniform measure $\nu_\mathcal{S}$ whose support is given by $\mathcal{S}$. The measure $\nu_\mathcal{S}$ can be regarded as a $\delta(\nu_\mathcal{S},t)$-approximate $t$-design, $t\in\mathbb{Z}_+$. We propose a random matrix model that aims to describe the probability distribution of $\delta(\nu_\mathcal{S},t)$ for any $t$. Our model is given by a block diagonal matrix whose blocks are independent, given by Gaussian or Ginibre ensembles, and their number, size and type is determined by $t$. We prove that, the operator norm of this matrix, $\delta({t})$, is the random variable to which $\sqrt{|\mathcal{S}|}\delta(\nu_\mathcal{S},t)$ converges in distribution when the number of elements in $\mathcal{S}$ grows to infinity. Moreover, we characterize our model giving explicit bounds on the tail probabilities $\mathbb{P}(\delta(t)>2+\epsilon)$, for any $\epsilon>0$. We also show that our model satisfies the so-called spectral gap conjecture, i.e. we prove that with the probability $1$ there is $t\in\mathbb{Z}_+$ such that $\sup_{k\in\mathbb{Z}_{+}}\delta(k)=\delta(t)$. Numerical simulations give convincing evidence that the proposed model is actually almost exact for any cardinality of $\mathcal{S}$. The heuristic explanation of this phenomenon, that we provide, leads us to conjecture that the tail probabilities $\mathbb{P}(\sqrt{\mathcal{S}}\delta(\nu_\mathcal{S},t)>2+\epsilon)$ are bounded from above by the tail probabilities $\mathbb{P}(\delta(t)>2+\epsilon)$ of our random matrix model. In particular our conjecture implies that a Haar random set $\mathcal{S}\subset U(d)$ satisfies the spectral gap conjecture with the probability $1$.

quant-ph↗

arXiv2022

Matrix concentration inequalities and efficiency of random universal sets of quantum gates

For a random set $\mathcal{S} \subset U(d)$ of quantum gates we provide bounds on the probability that $\mathcal{S}$ forms a $\delta$-approximate $t$-design. In particular we have found that for $\mathcal{S}$ drawn from an exact $t$-design the probability that it forms a $\delta$-approximate $t$-design satisfies the inequality $\mathbb{P}\left(\delta \geq x \right)\leq 2D_t \, \frac{e^{-|\mathcal{S}| x \, \mathrm{arctanh}(x)}}{(1-x^2)^{|\mathcal{S}|/2}} = O\left( 2D_t \left( \frac{e^{-x^2}}{\sqrt{1-x^2}} \right)^{|\mathcal{S}|} \right)$, where $D_t$ is a sum over dimensions of unique irreducible representations appearing in the decomposition of $U \mapsto U^{\otimes t}\otimes \bar{U}^{\otimes t}$. We use our results to show that to obtain a $\delta$-approximate $t$-design with probability $P$ one needs $O( \delta^{-2}(t\log(d)-\log(1-P)))$ many random gates. We also analyze how $\delta$ concentrates around its expected value $\mathbb{E}\delta$ for random $\mathcal{S}$. Our results are valid for both symmetric and non-symmetric sets of gates.

quant-ph↗

arXiv2022

Calculable lower bounds on the efficiency of universal sets of quantum gates

Currently available quantum computers, so called Noisy Intermediate-Scale Quantum (NISQ) devices, are characterized by relatively low number of qubits and moderate gate fidelities. In such scenario, the implementation of quantum error correction is impossible and the performance of those devices is quite modest. In particular, the depth of circuits implementable with reasonably high fidelity is limited, and the minimization of circuit depth is required. Such depths depend on the efficiency of the universal set of gates $\mathcal{S}$ used in computation, and can be bounded using the Solovay-Kitaev theorem. However, it is known that much better, asymptotically tight bounds of the form $\mathcal{O}(\mathrm{log}(\epsilon^{-1}))$, can be obtained for specific $\mathcal{S}$. Those bounds are controlled by so called spectral gap, denoted $\mathrm{gap}(\mathcal{S})$. Yet, the computation of $\mathrm{gap}(\mathcal{S})$ is not possible for general $\mathcal{S}$ and in practice one considers spectral gap at a certain scale $r(\epsilon)$, denoted $\mathrm{gap}_r(\mathcal{S})$. This turns out to be sufficient to bound the efficiency of $\mathcal{S}$ provided that one is interested in a physically feasible case, in which an error $\epsilon$ is bounded from below. In this paper we derive lower bounds on $\mathrm{gap}_r(\mathcal{S})$ and, as a consequence, on the efficiency of universal sets of $d$-dimensional quantum gates $\mathcal{S}$ satisfying an additional condition. The condition is naturally met for generic quantum gates, such as e.g. Haar random gates. Our bounds are explicit in the sense that all parameters can be determined by numerical calculations on existing computers, at least for small $d$. This is in contrast with known lower bounds on $\mathrm{gap}_r(\mathcal{S})$ which involve parameters with ambiguous values.

quant-ph↗

arXiv2021

How to check universality of quantum gates?

We provide two simple universality criteria. Our first criterion states that $\mathcal{S}\subset G_d:=U(d)$ is universal if and only if $\mathcal{S}$ forms a $\delta$-approximate $t(d)$-design, where $t(2)=6$ and $t(d)=4$ for $d\geq3$. Our second universality criterion says that $\mathcal{S}\subset G_d$ is universal if and only if the centralizer of $\mathcal{S}^{t(d),t(d)}=\{U^{\otimes t(d)}\otimes \bar{U}^{\otimes t(d)}|U\in \mathcal{S}\}$ is equal to the centralizer of $G_d^{t(d),t(d)}=\{U^{\otimes t(d)}\otimes \bar{U}^{\otimes t(d)}|U\in G_d\}$, where $t(2)=3$, and $t(d)=2$ for $d\geq 3$. The equality of the centralizers can be verified by comparing their dimensions.

quant-ph↗

arXiv2021

On the Universality and Membership problems for quantum gates

We study the Universality and Membership Problems for gate sets consisting of a finite number of quantum gates. Our approach relies on the techniques from compact Lie groups theory. We also introduce an auxiliary problem called Subgroup Universality Problem, which helps in solving some instances of the Membership Problem, and can be of interest on its own. The resulting theorems are mainly formulated in terms of centralizers and the adjoint representations of a given set of quantum gates.

quant-ph↗

arXiv2020

Designing locally maximally entangled quantum states with arbitrary local symmetries

One of the key ingredients of many LOCC protocols in quantum information is a multiparticle (locally) maximally entangled quantum state, aka a critical state, that possesses local symmetries. We show how to design critical states with arbitrarily large local unitary symmetry. We explain that such states can be realised in a quantum system of distinguishable traps with bosons or fermions occupying a finite number of modes. Then, local symmetries of the designed quantum state are equal to the unitary group of local mode operations acting diagonally on all traps. Therefore, such a group of symmetries is naturally protected against errors that occur in a physical realisation of mode operators. We also link our results with the existence of so-called strictly semistable states with particular asymptotic diagonal symmetries. Our main technical result states that the $N$th tensor power of any irreducible representation of $\mathrm{SU}(N)$ contains a copy of the trivial representation. This is established via a direct combinatorial analysis of Littlewood-Richardson rules utilising certain combinatorial objects which we call telescopes.

quant-ph↗

arXiv2020

Epsilon-nets, unitary designs and random quantum circuits

Epsilon-nets and approximate unitary $t$-designs are natural notions that capture properties of unitary operations relevant for numerous applications in quantum information and quantum computing. The former constitute subsets of unitary channels that are epsilon-close to any unitary channel in the diamond norm. The latter are ensembles of unitaries that (approximately) recover Haar averages of polynomials in entries of unitary channels up to order $t$. In this work we establish quantitative connections between these two notions. Specifically, we prove that, for a fixed dimension $d$ of the Hilbert space, unitaries constituting $\delta$-approximate $t$-expanders form $\epsilon$-nets for $t\simeq\frac{d^{5/2}}{\epsilon}$ and $\delta=\left(\frac{\epsilon^{3/2}}{d}\right)^{d^2}$. We also show that $\epsilon$-nets can be used to construct $\delta$-approximate unitary $t$-designs for $\delta= \epsilon t$. Finally, we prove that the degree of an exact unitary $t$-design necessary to obtain an $\epsilon$-net must grow at least fast as $\frac1\epsilon$ (for fixed $d$) and not slower than $d^2$ (for fixed $\epsilon$). This shows near optimality of our result connecting $t$-designs and $\epsilon$-nets. We apply our findings in the context of quantum computing. First, we show that that approximate t-designs can be generated by shallow random circuits formed from a set of universal two-qudit gates in the parallel and sequential local architectures. Our gate sets need not to be symmetric (i.e. contain gates together with their inverses) or consist of gates with algebraic entries. We also show a non-constructive version of the Solovay-Kitaev theorem for general universal gate sets. Our main technical contribution is a new construction of efficient polynomial approximations to the Dirac delta in the space of quantum channels, which can be of independent interest.

quant-ph↗

arXiv2019

A link between symmetries of critical states and the structure of SLOCC classes in multipartite systems

Central in entanglement theory is the characterization of local transformations among pure multipartite states. As a first step towards such a characterization, one needs to identify those states which can be transformed into each other via local operations with a non-vanishing probability. The classes obtained in this way are called SLOCC classes. They can be categorized into three disjoint types: the null-cone, the polystable states and strictly semistable states. Whereas the former two are well characterized, not much is known about strictly semistable states. We derive a criterion for the existence of the latter. In particular, we show that there exists a strictly semistable state if and only if there exist two polystable states whose orbits have different dimensions. We illustrate the usefulness of this criterion by applying it to tripartite states where one of the systems is a qubit. Moreover, we scrutinize all SLOCC classes of these systems and derive a complete characterization of the corresponding orbit types. We present representatives of strictly semistable classes and show to which polystable state they converge via local regular operators.

quant-ph↗

arXiv2019

Implications of pinned occupation numbers for natural orbital expansions. II: Rigorous derivation and extension to non-fermionic systems

We have explained and comprehensively illustrated in Part I that the generalized Pauli constraints suggest a natural extension of the concept of active spaces. In the present Part II, we provide rigorous derivations of the theorems involved therein. This will offer in particular deeper insights into the underlying mathematical structure and will explain why the saturation of generalized Pauli constraints implies a specific simplified structure of the corresponding many-fermion quantum state. Moreover, we extend the results of Part I to non-fermionic multipartite quantum systems, revealing that extremal single-body information has always strong implications for the multipartite quantum state. In that sense, our work also confirms that pinned quantum systems define new physical entities and the presence of pinnings reflect the existence of (possibly hidden) ground state symmetries.

quant-ph↗

arXiv2019

Implications of pinned occupation numbers for natural orbital expansions. I: Generalizing the concept of active spaces

The concept of active spaces simplifies the description of interacting quantum many-body systems by restricting to a neighbourhood of active orbitals around the Fermi level. The respective wavefunction ansatzes which involve all possible electron configurations of active orbitals can be characterized by the saturation of a certain number of Pauli constraints $0 \leq n_i \leq 1$, identifying the occupied core orbitals ($n_i=1$) and the inactive virtual orbitals ($n_j=0$). In Part I, we generalize this crucial concept of active spaces by referring to the generalized Pauli constraints. To be more specific, we explain and illustrate that the saturation of any such constraint on fermionic occupation numbers characterizes a distinctive set of active electron configurations. A converse form of this selection rule establishes the basis for corresponding multiconfigurational wavefunction ansatzes. In Part II, we provide rigorous derivations of those findings. Moroever, we extend our results to non-fermionic multipartite quantum systems, revealing that extremal single-body information has always strong implications for the multipartite quantum state. In that sense, our work also confirms that pinned quantum systems define new physical entities and the presence of pinnings reflect the existence of (possibly hidden) ground state symmetries.

quant-ph↗

arXiv2018

Non-abelian Quantum Statistics on Graphs

We show that non-abelian quantum statistics can be studied using certain topological invariants which are the homology groups of configuration spaces. In particular, we formulate a general framework for describing quantum statistics of particles constrained to move in a topological space $X$. The framework involves a study of isomorphism classes of flat complex vector bundles over the configuration space of $X$ which can be achieved by determining its homology groups. We apply this methodology for configuration spaces of graphs. As a conclusion, we provide families of graphs which are good candidates for studying simple effective models of anyon dynamics as well as models of non-abelian anyons on networks that are used in quantum computing. These conclusions are based on our solution of the so-called universal presentation problem for homology groups of graph configuration spaces for certain families of graphs.

math-ph↗

arXiv2017

Asymptotic properties of entanglement polytopes for large number of qubits

Entanglement polytopes have been recently proposed as the way of witnessing the SLOCC multipartite entanglement classes using single particle information. We present first asymptotic results concerning feasibility of this approach for large number of qubits. In particular we show that entanglement polytopes of $L$-qubit system accumulate in the distance $\frac{1}{2\sqrt{L}}$ from the point corresponding to the maximally mixed reduced one-qubit density matrices. This implies existence of a possibly large region where many entanglement polytopes overlap, i.e where the witnessing power of entanglement polytopes is weak. Moreover, the witnessing power cannot be strengthened by any entanglement distillation protocol as for large $L$ the required purity is above current capability.

quant-ph↗