-
Optimizing Gate Decomposition for High-Level Quantum Programming
Authors:
Evandro C. R. Rosa,
Eduardo I. Duzzioni,
Rafael de Santiago
Abstract:
This paper presents novel methods for optimizing multi-controlled quantum gates, which naturally arise in high-level quantum programming. Our primary approach involves rewriting $U(2)$ gates as $SU(2)$ gates, utilizing one auxiliary qubit for phase correction. This reduces the number of CNOT gates required to decompose any multi-controlled quantum gate from $O(n^2)$ to at most $32n$. Additionally,…
▽ More
This paper presents novel methods for optimizing multi-controlled quantum gates, which naturally arise in high-level quantum programming. Our primary approach involves rewriting $U(2)$ gates as $SU(2)$ gates, utilizing one auxiliary qubit for phase correction. This reduces the number of CNOT gates required to decompose any multi-controlled quantum gate from $O(n^2)$ to at most $32n$. Additionally, we can reduce the number of CNOTs for multi-controlled Pauli gates from $16n$ to $12n$ and propose an optimization to reduce the number of controlled gates in high-level quantum programming. We have implemented these optimizations in the Ket quantum programming platform and demonstrated significant reductions in the number of gates. For instance, for a Grover's algorithm layer with 114 qubits, we achieved a reduction in the number of CNOTs from 101,245 to 2,684. This reduction in the number of gates significantly impacts the execution time of quantum algorithms, thereby enhancing the feasibility of executing them on NISQ computers.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
On the structure of graph product von Neumann algebras
Authors:
Ian Charlesworth,
Rolando de Santiago,
Ben Hayes,
David Jekel,
Srivatsav Kunnawalkam Elayavalli,
Brent Nelson
Abstract:
We undertake a comprehensive study of structural properties of graph products of von Neumann algebras equipped with faithful, normal states, as well as properties of the graph products relative to subalgebras coming from induced subgraphs. Among the technical contributions in this paper include a complete bimodule calculation for subalgebras arising from subgraphs. As an application, we obtain a c…
▽ More
We undertake a comprehensive study of structural properties of graph products of von Neumann algebras equipped with faithful, normal states, as well as properties of the graph products relative to subalgebras coming from induced subgraphs. Among the technical contributions in this paper include a complete bimodule calculation for subalgebras arising from subgraphs. As an application, we obtain a complete classification of when two subalgebras coming from induced subgraphs can be amenable relative to each other. We also give complete characterizations of when the graph product can be full, diffuse, or a factor. Our results are obtained in a broad generality, and we emphasize that they are new even in the tracial setting. They also allow us to deduce new results about when graph products of groups can be amenable relative to each other.
△ Less
Submitted 11 April, 2024;
originally announced April 2024.
-
Random permutation matrix models for graph products
Authors:
Ian Charlesworth,
Rolando de Santiago,
Ben Hayes,
David Jekel,
Srivatsav Kunnawalkam Elayavalli
Abstract:
Graph independence (also known as $ε$-independence or $λ$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof th…
▽ More
Graph independence (also known as $ε$-independence or $λ$-independence) is a mixture of classical independence and free independence corresponding to graph products or groups and operator algebras. Using conjugation by certain random permutation matrices, we construct random matrix models for graph independence with amalgamation over the diagonal matrices. This yields a new probabilist,ic proof that graph products of sofic groups are sofic.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
McDuff and Prime von Neumann algebras arising from Thompson-Like Groups
Authors:
Rolando de Santiago,
Patrick DeBonis,
Krishnendu Khan
Abstract:
In this paper we show that the cloning system construction of Skipper and Zaremsky [SZ21], under sufficient conditions, gives rise to Thompson-Like groups which are stable; in particular, these are McDuff groups in the sense of Deprez and Vaes [DV18]. This answers a question of Bashwinger and Zaremsky posed in [BZ23] in the affirmative. We show that the von Neumann algebra of the Higman-Thompson g…
▽ More
In this paper we show that the cloning system construction of Skipper and Zaremsky [SZ21], under sufficient conditions, gives rise to Thompson-Like groups which are stable; in particular, these are McDuff groups in the sense of Deprez and Vaes [DV18]. This answers a question of Bashwinger and Zaremsky posed in [BZ23] in the affirmative. We show that the von Neumann algebra of the Higman-Thompson groups, $L(V_d)$, is a prime II$_1$ factor. Our method also provides evidence towards the primeness conjecture for group von Neumann algebras associated to non-elementary acylindrically hyperbolic group by showing a class of acylindrically hyperbolic group yield prime von Neumann algebras.
△ Less
Submitted 15 December, 2023; v1 submitted 13 December, 2023;
originally announced December 2023.
-
Strong 1-boundedness, $L^2$-Betti numbers, algebraic soficity, and graph products
Authors:
Ian Charlesworth,
Rolando de Santiago,
Ben Hayes,
David Jekel,
Srivatsav Kunnawalkam Elayavalli,
Brent Nelson
Abstract:
We show that graph products of non trivial finite dimensional von Neumann algebras are strongly 1-bounded when the underlying *-algebra has vanishing first L2-Betti number. The proof uses a combination of the following two key ideas to obtain lower bounds on the Fuglede-Kadison determinant of matrix polynomials in a generating set: a notion called ''algebraic soficity'' for *-algebras allowing for…
▽ More
We show that graph products of non trivial finite dimensional von Neumann algebras are strongly 1-bounded when the underlying *-algebra has vanishing first L2-Betti number. The proof uses a combination of the following two key ideas to obtain lower bounds on the Fuglede-Kadison determinant of matrix polynomials in a generating set: a notion called ''algebraic soficity'' for *-algebras allowing for the existence of Galois bounded microstates with asymptotically constant diagonals; a probabilistic construction of the authors of permutation models for graph independence over the diagonal.
△ Less
Submitted 8 April, 2024; v1 submitted 30 May, 2023;
originally announced May 2023.
-
Classical and Quantum Data Interaction in Programming Languages: A Runtime Architecture
Authors:
Evandro Chagas Ribeiro da Rosa,
Rafael de Santiago
Abstract:
We propose a runtime architecture that can be used in the development of a quantum programming language and its programming environment. The proposed runtime architecture enables dynamic interaction between classical and quantum data following the restriction that a quantum computer is available in the cloud as a batch computer, with no interaction with the classical computer during its execution.…
▽ More
We propose a runtime architecture that can be used in the development of a quantum programming language and its programming environment. The proposed runtime architecture enables dynamic interaction between classical and quantum data following the restriction that a quantum computer is available in the cloud as a batch computer, with no interaction with the classical computer during its execution. It is done by leaving the quantum code generation for the runtime and introducing the concept of futures for quantum measurements. When implemented in a quantum programming language, those strategies aim to facilitate the development of quantum applications, especially for beginning programmers and students. Being suitable for the current Noisy Intermediate-Scale Quantum (NISQ) Computers, the runtime architecture is also appropriate for simulation and future Fault-Tolerance Quantum Computers.
△ Less
Submitted 29 May, 2020;
originally announced June 2020.
-
Maximal rigid subalgebras of deformations and $L^{2}$-cohomology
Authors:
Rolando de Santiago,
Ben Hayes,
Daniel J. Hoff,
Thomas Sinclair
Abstract:
In the past two decades, Sorin Popa's breakthrough deformation/rigidity theory has produced remarkable rigidity results for von Neumann algebras $M$ which can be deformed inside a larger algebra $\widetilde M \supseteq M$ by an action $α: \mathbb{R} \to {\rm Aut}(\widetilde M)$, while simultaneously containing subalgebras $Q$ {\it rigid} with respect to that deformation, that is, such that…
▽ More
In the past two decades, Sorin Popa's breakthrough deformation/rigidity theory has produced remarkable rigidity results for von Neumann algebras $M$ which can be deformed inside a larger algebra $\widetilde M \supseteq M$ by an action $α: \mathbb{R} \to {\rm Aut}(\widetilde M)$, while simultaneously containing subalgebras $Q$ {\it rigid} with respect to that deformation, that is, such that $α_t \to {\rm id}$ uniformly on the unit ball of $Q$ as $t \to 0$. However, it has remained unclear how to exploit the interplay between distinct rigid subalgebras not in specified relative position.
We show that in fact, any diffuse subalgebra which is rigid with respect to a mixing s-malleable deformation is contained in a subalgebra which is uniquely maximal with respect to being rigid. In particular, the algebra generated by any family of rigid subalgebras that intersect diffusely must itself be rigid with respect to that deformation. The case where this family has two members was the motivation for this work, showing for example that if $G$ is a countable group with $β^{1}_{(2)}(G) > 0$, then $L(G)$ cannot be generated by two property $(T)$ subalgebras with diffuse intersection; however, the result is most striking when the family is infinite.
△ Less
Submitted 21 July, 2020; v1 submitted 8 September, 2019;
originally announced September 2019.
-
Classification of Tensor Decompositions of II$_1$ Factors Associated With Poly-Hyperbolic Groups
Authors:
Rolando de Santiago,
Sujan Pant
Abstract:
We demonstrate von Neumann algebra arising from an icc group $Γ$ in Chifan's, Ioana's, and Kida's class of poly-$\mathcal{C}_\text{rss} $, such as a poly-hyperbolic group with no amenable factors in its composition series, satisfies the following rigidity phenomenon discovered in DHI16 (see also CdSS17): every tensor decomposition of the II$_1$ factor $L(Γ) $ must arise from direct product decompo…
▽ More
We demonstrate von Neumann algebra arising from an icc group $Γ$ in Chifan's, Ioana's, and Kida's class of poly-$\mathcal{C}_\text{rss} $, such as a poly-hyperbolic group with no amenable factors in its composition series, satisfies the following rigidity phenomenon discovered in DHI16 (see also CdSS17): every tensor decomposition of the II$_1$ factor $L(Γ) $ must arise from direct product decomposition of $Γ$ by groups which are poly-$ \mathcal{C}_\text{rss}$. Through heavy usage and developments of the techniques in CdSS15, we improve the second author's and their collaborator's work in CKP14 by providing group-level criteria for determining whether a group von Neumann algebra is prime: $L(Γ) $ is prime precisely when the group is indecomposable as a direct product of non-amenable groups. We further demonstrate that all tensor decompositions of finite index subalgebras of $L(Γ) $ correspond to a splitting of $Γ$ as a product by groups which are also poly-$\mathcal{C}_\text{rss}$ up to commensurability.
△ Less
Submitted 25 February, 2018;
originally announced February 2018.
-
Tensor product decompositions of II$_1$ factors arising from extensions of amalgamated free product groups
Authors:
Ionuţ Chifan,
Rolando de Santiago,
Wanchalerm Sucpikarnon
Abstract:
In this paper we introduce a new family of icc groups $Γ$ which satisfy the following product rigidity phenomenon, discovered in [DHI16] (see also [dSP17]): all tensor product decompositions of the II$_1$ factor $L(Γ)$ arise only from the canonical direct product decompositions of the underlying group $Γ$. Our groups are assembled from certain HNN-extensions and amalgamated free products and inclu…
▽ More
In this paper we introduce a new family of icc groups $Γ$ which satisfy the following product rigidity phenomenon, discovered in [DHI16] (see also [dSP17]): all tensor product decompositions of the II$_1$ factor $L(Γ)$ arise only from the canonical direct product decompositions of the underlying group $Γ$. Our groups are assembled from certain HNN-extensions and amalgamated free products and include many remarkable groups studied throughout mathematics such as graph product groups, poly-amalgam groups, Burger-Mozes groups, Higman group, various integral two-dimensional Cremona groups, etc. As a consequence, we obtain several new examples of groups that give rise to prime factors.
△ Less
Submitted 28 November, 2017; v1 submitted 13 October, 2017;
originally announced October 2017.
-
W$^*$-Rigidity for the von Neumann Algebras of Products of Hyperbolic Groups
Authors:
Ionut Chifan,
Rolando de Santiago,
Thomas Sinclair
Abstract:
We show that if $Γ= Γ_1\times\dotsb\times Γ_n$ is a product of $n\geq 2$ non-elementary ICC hyperbolic groups then any discrete group $Λ$ which is $W^*$-equivalent to $Γ$ decomposes as a $k$-fold direct sum exactly when $k=n$. This gives a group-level strengthening of Ozawa and Popa's unique prime decomposition theorem by removing all assumptions on the group $Λ$. This result in combination with M…
▽ More
We show that if $Γ= Γ_1\times\dotsb\times Γ_n$ is a product of $n\geq 2$ non-elementary ICC hyperbolic groups then any discrete group $Λ$ which is $W^*$-equivalent to $Γ$ decomposes as a $k$-fold direct sum exactly when $k=n$. This gives a group-level strengthening of Ozawa and Popa's unique prime decomposition theorem by removing all assumptions on the group $Λ$. This result in combination with Margulis' normal subgroup theorem allows us to give examples of lattices in the same Lie group which do not generate stably equivalent II$_1$ factors.
△ Less
Submitted 19 August, 2015;
originally announced August 2015.
-
Multifractal analysis via scaling zeta functions and recursive structure of lattice strings
Authors:
Rolando de Santiago,
Michel L. Lapidus,
Scott A. Roby,
John A. Rock
Abstract:
The multifractal structure underlying a self-similar measure stems directly from the weighted self-similar system (or weighted iterated function system) which is used to construct the measure. This follows much in the way that the dimension of a self-similar set, be it the Hausdorff, Minkowski, or similarity dimension, is determined by the scaling ratios of the corresponding self-similar system vi…
▽ More
The multifractal structure underlying a self-similar measure stems directly from the weighted self-similar system (or weighted iterated function system) which is used to construct the measure. This follows much in the way that the dimension of a self-similar set, be it the Hausdorff, Minkowski, or similarity dimension, is determined by the scaling ratios of the corresponding self-similar system via Moran's theorem. The multifractal structure allows for our definition of scaling regularity and scaling zeta functions motivated by geometric zeta functions and, in particular, partition zeta functions. Some of the results of this paper consolidate and partially extend the results regarding a multifractal analysis for certain self-similar measures supported on compact subsets of a Euclidean space based on partition zeta functions. Specifically, scaling zeta functions generalize partition zeta functions when the choice of the family of partitions is given by the natural family of partitions determined by the self-similar system in question. Moreover, in certain cases, self-similar measures can be shown to exhibit lattice or nonlattice structure with respect to specified scaling regularity values. Additionally, in the context provided by generalized fractal strings viewed as measures, we define generalized self-similar strings, allowing for the examination of many of the results presented here in a specific overarching context and for a connection to the results regarding the corresponding complex dimensions as roots of Dirichlet polynomials. Furthermore, generalized lattice strings and recursive strings are defined and shown to be very closely related.
△ Less
Submitted 24 January, 2013; v1 submitted 27 July, 2012;
originally announced July 2012.