Automorphisms and Some Geodesic Properties of Ortho-Grassmann Graphs

Let $H$ be a complex Hilbert space. Consider the ortho-Grassmann graph $\Gamma^{\perp}_{k}(H)$ whose vertices are $k$-dimensional subspaces of $H$ (projections of rank $k$) and two subspaces are connected by an edge in this graph if they are compatible and adjacent (the corresponding rank-$k$ projections commute and their difference is an operator of rank $2$). Our main result is the following: if $\dim H\ne 2k$, then every automorphism of $\Gamma^{\perp}_{k}(H)$ is induced by a unitary or anti-unitary operator; if $\dim H=2k\ge 6$, then every automorphism of $\Gamma^{\perp}_{k}(H)$ is induced by a unitary or anti-unitary operator or it is the composition of such an automorphism and the orthocomplementary map. For the case when $\dim H=2k=4$ the statement fails. To prove this statement we compare geodesics of length two in ortho-Grassmann graphs and characterise compatibility (commutativity) in terms of geodesics in Grassmann and ortho-Grassmann graphs. At the end, we extend this result on generalised ortho-Grassmann graphs associated to conjugacy classes of finite-rank self-adjoint operators.

How smooth is quantum complexity?

The “quantum complexity” of a unitary operator measures the difficulty of its construction from a set of elementary quantum gates. While the notion of quantum complexity was first introduced as a quantum generalization of the classical computational complexity, it has since been argued to hold a fundamental significance in its own right, as a physical quantity analogous to the thermodynamic entropy. In this paper, we present a unified perspective on various notions of quantum complexity, viewed as functions on the space of unitary operators. One striking feature of these functions is that they can exhibit non-smooth and even fractal behaviour. We use ideas from Diophantine approximation theory and sub-Riemannian geometry to rigorously quantify this lack of smoothness. Implications for the physical meaning of quantum complexity are discussed.

Ansatz-Independent Variational Quantum Classifiers and the Price of Ansatz

The paradigm of variational quantum classifiers (VQCs) encodes classical information as quantum states, followed by quantum processing and then measurements to generate classical predictions. VQCs are promising candidates for efficient utilizations of noisy intermediate scale quantum (NISQ) devices: classifiers involving M-dimensional datasets can be implemented with only ⌈log2 M⌉ qubits by using an amplitude encoding. A general framework for designing and training VQCs, however, is lacking. An encouraging specific embodiment of VQCs, quantum circuit learning (QCL), utilizes an ansatz: a circuit with a predetermined circuit geometry and parametrized gates expressing a time-evolution unitary operator; training involves learning the gate parameters through a gradient- descent algorithm where the gradients themselves can be efficiently estimated by the quantum circuit. The representational power of QCL, however, depends strongly on the choice of the ansatz, as it limits the range of possible unitary operators that a VQC can search over. Equally importantly, the landscape of the optimization problem may have challenging properties such as barren plateaus and the associated gradient-descent algorithm may not find good local minima. Thus, it is critically important to estimate (i) the price of ansatz; that is, the gap between the performance of QCL and the performance of ansatz-independent VQCs, and (ii) the price of using quantum circuits as classical classifiers: that is, the performance gap between VQCs and equivalent classical classifiers. This paper develops a computational framework to address both these open problems. First, it shows that VQCs, including QCL, fit inside the well-known kernel method. Next it introduces a framework for efficiently designing ansatz-independent VQCs, which we call the unitary kernel method (UKM). The UKM framework enables one to estimate the first known bounds on both the price of anstaz and the price of any speedup advantages of VQCs: numerical results with datatsets of various dimensions, ranging from 4 to 256, show that the ansatz-induced gap can vary between 10−20%, while the VQC-induced gap (between VQC and kernel method) can vary between 10−16%. To further understand the role of ansatz in VQCs, we also propose a method of decomposing a given unitary operator into a quantum circuit, which we call the variational circuit realization (VCR): given any parameterized circuit block (as for example, used in QCL), it finds optimal parameters and the number of layers of the circuit block required to approximate any target unitary operator with a given precision.

On Reflexivity of Certain Hyponormal Operators with Double Commutant Property

Sarason did pioneer work on the reflexivity and purpose of this paper is to discuss the reflexivity of different class of contractions. Among contractions it is now known that C11 contractions with finite defect indices, C.o contractions with unequal defect indices and C1. contractions with at least one finite defect indices are reflexive. More over the characterization of reflexive operators among co contractions and completely non unitary weak contractions with finite defect indices has been reduced to that of S (F), the compression of the shift on H2 ⊖ F H2, F is inner. The present work is mainly focused on the reflexivity of contractions whose characteristic function is constant. This class of operator include many other isometries, co-isometries and their direct sum. We shall also discuss the reflexivity of hyponormal contractions, reflexivity of C1. contractions and weak contractions. It is already known that normal operators isometries, quasinormal and sub-normal operators are reflexive. We partially generalize these results by showing that certain hyponormal operators with double commutant property are reflexive. In addition, reflexivity of operators which are direct sum of a unitary operator and C.o contractions with unequal defect indices,is proved Each of this kind of operator is reflexive and satisfies the double commutant property with some restrictions.

Energy storage and coherence in closed and open quantum batteries

We study the role of coherence in closed and open quantum batteries. We obtain upper bounds to the work performed or energy exchanged by both closed and open quantum batteries in terms of coherence. Specifically, we show that the energy storage can be bounded by the Hilbert-Schmidt coherence of the density matrix in the spectral basis of the unitary operator that encodes the evolution of the battery. We also show that an analogous bound can be obtained in terms of the battery's Hamiltonian coherence in the basis of the unitary operator by evaluating their commutator. We apply these bounds to a 4-state quantum system and the anisotropic XY Ising model in the closed system case, and the Spin-Boson model in the open case.

Characterising and bounding the set of quantum behaviours in contextuality scenarios

The predictions of quantum theory resist generalised noncontextual explanations. In addition to the foundational relevance of this fact, the particular extent to which quantum theory violates noncontextuality limits available quantum advantage in communication and information processing. In the first part of this work, we formally define contextuality scenarios via prepare-and-measure experiments, along with the polytope of general contextual behaviours containing the set of quantum contextual behaviours. This framework allows us to recover several properties of set of quantum behaviours in these scenarios, including contextuality scenarios and associated noncontextuality inequalities that require for their violation the individual quantum preparation and measurement procedures to be mixed states and unsharp measurements. With the framework in place, we formulate novel semidefinite programming relaxations for bounding these sets of quantum contextual behaviours. Most significantly, to circumvent the inadequacy of pure states and projective measurements in contextuality scenarios, we present a novel unitary operator based semidefinite relaxation technique. We demonstrate the efficacy of these relaxations by obtaining tight upper bounds on the quantum violation of several noncontextuality inequalities and identifying novel maximally contextual quantum strategies. To further illustrate the versatility of these relaxations, we demonstrate monogamy of preparation contextuality in a tripartite setting, and present a secure semi-device independent quantum key distribution scheme powered by quantum advantage in parity oblivious random access codes.

Understanding mathematics of Grover’s algorithm

We analyze the mathematical structure of the classical Grover’s algorithm and put it within the framework of linear algebra over the complex numbers. We also generalize it in the sense, that we are seeking not the one ‘chosen’ element (sometimes called a ‘solution’) of the dataset, but a set of m such ‘chosen’ elements (out of $$n>m)$$ n > m ) . Besides, we do not assume that the so-called initial superposition is uniform. We assume also that we have at our disposal an oracle that ‘marks,’ by a suitable phase change $$\varphi $$ φ , all these ‘chosen’ elements. In the first part of the paper, we construct a unique unitary operator that selects all ‘chosen’ elements in one step. The constructed operator is uniquely defined by the numbers $$\varphi $$ φ and $$\alpha $$ α which is a certain function of the coefficients of the initial superposition. Moreover, it is in the form of a composition of two so-called reflections. The result is purely theoretical since the phase change required to reach this heavily depends on $$\alpha $$ α . In the second part, we construct unitary operators having a form of composition of two or more reflections (generalizing the constructed operator) given the set of orthogonal versors. We find properties of these operations, in particular, their compositions. Further, by considering a fixed, ‘convenient’ phase change $$\varphi ,$$ φ , and by sequentially applying the so-constructed operator, we find the number of steps to find these ‘chosen’ elements with great probability. We apply this knowledge to study the generalizations of Grover’s algorithm ($$m=1,\phi =\pi $$ m = 1 , ϕ = π ), which are of the form, the found previously, unitary operators.

Some notes on complex symmetric operators

In this paper we show that every conjugation C on the Hardy-Hilbert space H 2 is of type C = T * 𝒥T, where T is an unitary operator and 𝒥 f ( z ) = f ( z ¯ ) ¯ \mathcal{J}f\left( z \right) = \overline {f\left( {\bar z} \right)} with f ∈ H 2. Moreover we prove some relations of complex symmetry between the operators T and |T|, where T = U |T| is the polar decomposition of bounded operator T ∈ ℒ(ℋ) on the separable Hilbert space ℋ.

Model theory and metric convergence II: Averages of unitary polynomial actions

We use model theory of metric structures to prove the pointwise convergence, with a uniform metastability rate, of averages of a polynomial sequence { T n } \{T_n\} (in Leibman’s sense) of unitary transformations of a Hilbert space. As a special case, this applies to unitary sequences { U p ( n ) } \{U^{p(n)}\} where p p is a polynomial Z → Z \mathbb {Z}\to \mathbb {Z} and U U a fixed unitary operator; however, our convergence results hold for arbitrary Leibman sequences. As a case study, we show that the non-nilpotent “lamplighter group” Z ≀ Z \mathbb {Z}\wr \mathbb {Z} is realized as the range of a suitable quadratic Leibman sequence. We also indicate how these convergence results generalize to arbitrary Følner averages of unitary polynomial actions of any abelian group G \mathbb {G} in place of Z \mathbb {Z} .

Endpoint contributions to excited-state modular Hamiltonians

We compute modular Hamiltonians for excited states obtained by perturbing the vacuum with a unitary operator. We use operator methods and work to first order in the strength of the perturbation. For the most part we divide space in half and focus on perturbations generated by integrating a local operator J over a null plane. Local operators with weight n ≥ 2 under vacuum modular flow produce an additional endpoint contribution to the modular Hamiltonian. Intuitively this is because operators with weight n ≥ 2 can move degrees of freedom from a region to its complement. The endpoint contribution is an integral of J over a null plane. We show this in detail for stress tensor perturbations in two dimensions, where the result can be verified by a conformal transformation, and for scalar perturbations in a CFT. This lets us conjecture a general form for the endpoint contribution that applies to any field theory divided into half-spaces.