-
Thirty-six officers, artisanally entangled
Authors:
David Gross,
Paulina Goedicke
Abstract:
A perfect tensor of order $d$ is a state of four $d$-level systems that is maximally entangled under any bipartition. These objects have attracted considerable attention in quantum information and many-body theory. Perfect tensors generalize the combinatorial notion of orthogonal Latin squares (OLS). Deciding whether OLS of a given order exist has historically been a difficult problem. The case…
▽ More
A perfect tensor of order $d$ is a state of four $d$-level systems that is maximally entangled under any bipartition. These objects have attracted considerable attention in quantum information and many-body theory. Perfect tensors generalize the combinatorial notion of orthogonal Latin squares (OLS). Deciding whether OLS of a given order exist has historically been a difficult problem. The case $d=6$ proved particularly thorny, and was popularized by Leonhard Euler in terms of a putative constellation of "36 officers". It took more than a century to show that Euler's puzzle has no solution. After yet another century, its quantum generalization was resolved in the affirmative: 36 entangled officers can be suitably arranged. However, the construction and verification of known instances relies on elaborate computer codes. (In particular, Leonhard would have had no means of dealing with such solutions to his own puzzle -- an unsatisfactory state of affairs). In this paper, we present the first human-made order-$6$ perfect tensors. We decompose the Hilbert space $(\mathbb{C}^6)^{\otimes 2}$ of two quhexes into the direct sum $(\mathbb{C}^3)^{\otimes 2}\oplus(\mathbb{C}^3)^{\otimes 3}$ comprising superpositions of two-qutrit and three-qutrit states. Perfect tensors arise when certain Clifford unitaries are applied separately to the two sectors. Technically, our construction realizes solutions to the perfect functions ansatz recently proposed by Rather. Generalizing an observation of Bruzda and Życzkowski, we show that any solution of this kind gives rise to a two-unitary complex Hadamard matrix, of which we construct infinite families. Finally, we sketch a formulation of the theory of perfect tensors in terms of quasi-orthogonal decompositions of matrix algebras.
△ Less
Submitted 21 April, 2025;
originally announced April 2025.
-
Benchmarking of quantum and classical SDP relaxations for QUBO formulations of real-world logistics problems
Authors:
Birte Ostermann,
Taylor Garnowski,
Fabian Henze,
Vaibhavnath Jha,
Asra Dia,
Frederik Fiand,
David Gross,
Wendelin Gross,
Julian Nowak,
Timo de Wolff
Abstract:
Quadratic unconstrained binary optimization problems (QUBOs) are intensively discussed in the realm of quantum computing and polynomial optimization. We provide a vast experimental study of semidefinite programming (SDP) relaxations of QUBOs using sums of squares methods and on Hamiltonian Updates. We test on QUBO reformulations of industry-based instances of the (open) vehicle routing problem and…
▽ More
Quadratic unconstrained binary optimization problems (QUBOs) are intensively discussed in the realm of quantum computing and polynomial optimization. We provide a vast experimental study of semidefinite programming (SDP) relaxations of QUBOs using sums of squares methods and on Hamiltonian Updates. We test on QUBO reformulations of industry-based instances of the (open) vehicle routing problem and the (affinity-based) slotting problem -- two common combinatorial optimization problems in logistics. Beyond comparing the performance of various methods and software, our results reaffirm that optimizing over non-generic, real-world instances provides additional challenges. In consequence, this study underscores recent developments towards structure exploitation and specialized solver development for the used methods and simultaneously shows that further research is necessary in this direction both on the classical and the quantum side.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Solving quadratic binary optimization problems using quantum SDP methods: Non-asymptotic running time analysis
Authors:
Fabian Henze,
Viet Tran,
Birte Ostermann,
Richard Kueng,
Timo de Wolff,
David Gross
Abstract:
Quantum computers can solve semidefinite programs (SDPs) using resources that scale better than state-of-the-art classical methods as a function of the problem dimension. At the same time, the known quantum algorithms scale very unfavorably in the precision, which makes it non-trivial to find applications for which the quantum methods are well-suited. Arguably, precision is less crucial for SDP re…
▽ More
Quantum computers can solve semidefinite programs (SDPs) using resources that scale better than state-of-the-art classical methods as a function of the problem dimension. At the same time, the known quantum algorithms scale very unfavorably in the precision, which makes it non-trivial to find applications for which the quantum methods are well-suited. Arguably, precision is less crucial for SDP relaxations of combinatorial optimization problems (such as the Goemans-Williamson algorithm), because these include a final rounding step that maps SDP solutions to binary variables. With this in mind, Brandão, França, and Kueng have proposed to use quantum SDP solvers in order to achieve an end-to-end speed-up for obtaining approximate solutions to combinatorial optimization problems. They did indeed succeed in identifying an algorithm that realizes a polynomial quantum advantage in terms of its asymptotic running time. However, asymptotic results say little about the problem sizes for which advantages manifest. Here, we present an analysis of the non-asymptotic resource requirements of this algorithm. The work consists of two parts. First, we optimize the original algorithm with a particular emphasis on performance for realistic problem instances. In particular, we formulate a version with adaptive step-sizes, an improved detection criterion for infeasible instances, and a more efficient rounding procedure. In a second step, we benchmark both the classical and the quantum version of the algorithm. The benchmarks did not identify a regime where even the optimized quantum algorithm would beat standard classical approaches for input sizes that can be realistically solved at all. In the absence of further significant improvements, these algorithms therefore fall into a category sometimes called galactic: Unbeaten in their asymptotic scaling behavior, but not practical for realistic problems.
△ Less
Submitted 21 February, 2025;
originally announced February 2025.
-
The polarization hierarchy for polynomial optimization over convex bodies, with applications to nonnegative matrix rank
Authors:
Martin Plávala,
Laurens T. Ligthart,
David Gross
Abstract:
We construct a convergent family of outer approximations for the problem of optimizing polynomial functions over convex bodies subject to polynomial constraints. This is achieved by generalizing the polarization hierarchy, which has previously been introduced for the study of polynomial optimization problems over state spaces of $C^*$-algebras, to convex cones in finite dimensions. If the convex b…
▽ More
We construct a convergent family of outer approximations for the problem of optimizing polynomial functions over convex bodies subject to polynomial constraints. This is achieved by generalizing the polarization hierarchy, which has previously been introduced for the study of polynomial optimization problems over state spaces of $C^*$-algebras, to convex cones in finite dimensions. If the convex bodies can be characterized by linear or semidefinite programs, then the same is true for our hierarchy. Convergence is proven by relating the problem to a certain de Finetti theorem for general probabilistic theories, which are studied as possible generalizations of quantum mechanics. We apply the method to the problem of nonnegative matrix factorization, and in particular to the nested rectangles problem. A numerical implementation of the third level of the hierarchy is shown to give rise to a very tight approximation for this problem.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Realistic Runtime Analysis for Quantum Simplex Computation
Authors:
Sabrina Ammann,
Maximilian Hess,
Debora Ramacciotti,
Sándor P. Fekete,
Paulina L. A. Goedicke,
David Gross,
Andreea Lefterovici,
Tobias J. Osborne,
Michael Perk,
Antonio Rotundo,
S. E. Skelton,
Sebastian Stiller,
Timo de Wolff
Abstract:
In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for Linear and Integer Programming when solving instances of practically relevant size, a fundamental goal of Mathematical Programming, Operations Research and Algor…
▽ More
In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for Linear and Integer Programming when solving instances of practically relevant size, a fundamental goal of Mathematical Programming, Operations Research and Algorithm Engineering? Answering this question faces a crucial impediment: The lack of sufficiently large quantum platforms prevents performing real-world tests for comparison with classical methods.
In this paper, we present a quantum analog for classical runtime analysis when solving real-world instances of important optimization problems. To this end, we measure the expected practical performance of quantum computers by analyzing the expected gate complexity of a quantum algorithm. The lack of practical quantum platforms for experimental comparison is addressed by hybrid benchmarking, in which the algorithm is performed on a classical system, logging the expected cost of the various subroutines that are employed by the quantum versions. In particular, we provide an analysis of quantum methods for Linear Programming, for which recent work has provided asymptotic speedup through quantum subroutines for the Simplex method. We show that a practical quantum advantage for realistic problem sizes would require quantum gate operation times that are considerably below current physical limitations.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
The inflation hierarchy and the polarization hierarchy are complete for the quantum bilocal scenario
Authors:
Laurens T. Ligthart,
David Gross
Abstract:
It is a fundamental but difficult problem to characterize the set of correlations that can be obtained by performing measurements on quantum mechanical systems. The problem is particularly challenging when the preparation procedure for the quantum states is assumed to comply with a given causal structure. Recently, a first completeness result for this quantum causal compatibility problem has been…
▽ More
It is a fundamental but difficult problem to characterize the set of correlations that can be obtained by performing measurements on quantum mechanical systems. The problem is particularly challenging when the preparation procedure for the quantum states is assumed to comply with a given causal structure. Recently, a first completeness result for this quantum causal compatibility problem has been given, based on the so-called quantum inflation technique. However, completeness was achieved by imposing additional technical constraints, such as an upper bound on the Schmidt rank of the observables. Here, we show that these complications are unnecessary in the quantum bilocal scenario, a much-studied abstract model of entanglement swapping experiments. We prove that the quantum inflation hierarchy is complete for the bilocal scenario in the commuting observables model of locality. We also give a bilocal version of an observation by Tsirelson, namely that in finite dimensions, the commuting observables model and the tensor product model of locality coincide. These results answer questions recently posed by Renou and Xu. Finally, we point out that our techniques can be interpreted more generally as giving rise to an SDP hierarchy that is complete for the problem of optimizing polynomial functions in the states of operator algebras defined by generators and relations. The completeness of this polarization hierarchy follows from a quantum de Finetti theorem for states on maximal $C^*$-tensor products.
△ Less
Submitted 26 May, 2023; v1 submitted 21 December, 2022;
originally announced December 2022.
-
Frequency shaping control for weakly-coupled grid-forming IBRs
Authors:
Bala Kameshwar Poolla,
Yashen Lin,
Andrey Bernstein,
Enrique Mallada,
Dominic Groß
Abstract:
We consider the problem of controlling the frequency of low-inertia power systems via inverter-based resources (IBRs) that are weakly connected to the grid. We propose a novel grid-forming control strategy, the so-called frequency shaping control, that aims to shape the frequency response of synchronous generators (SGs) to load perturbations so as to efficiently arrest sudden frequency drops. Our…
▽ More
We consider the problem of controlling the frequency of low-inertia power systems via inverter-based resources (IBRs) that are weakly connected to the grid. We propose a novel grid-forming control strategy, the so-called frequency shaping control, that aims to shape the frequency response of synchronous generators (SGs) to load perturbations so as to efficiently arrest sudden frequency drops. Our solution relaxes several existing assumptions in the literature and is able to navigate tradeoffs between peak power requirements and maximum frequency deviations. Finally, we analyze the robustness to imperfect knowledge of network parameters, while particularly highlighting the importance of accurate estimation of these parameters.
△ Less
Submitted 17 December, 2022; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Duality theory for Clifford tensor powers
Authors:
Felipe Montealegre-Mora,
David Gross
Abstract:
The representation theory of the Clifford group is playing an increasingly prominent role in quantum information theory, including in such diverse use cases as the construction of protocols for quantum system certification, quantum simulation, and quantum cryptography. In these applications, the tensor powers of the defining representation seem particularly important. The representation theory of…
▽ More
The representation theory of the Clifford group is playing an increasingly prominent role in quantum information theory, including in such diverse use cases as the construction of protocols for quantum system certification, quantum simulation, and quantum cryptography. In these applications, the tensor powers of the defining representation seem particularly important. The representation theory of these tensor powers is understood in two regimes. 1. For odd qudits in the case where the power t is not larger than the number of systems n: Here, a duality theory between the Clifford group and certain discrete orthogonal groups can be used to make fairly explicit statements about the occurring irreps (this theory is related to Howe duality and the eta-correspondence). 2. For qubits: Tensor powers up to t=4 have been analyzed on a case-by-case basis. In this paper, we provide a unified framework for the duality approach that also covers qubit systems. To this end, we translate the notion of rank of symplectic representations to representations of the qubit Clifford group, and generalize the eta correspondence between symplectic and orthogonal groups to a correspondence between the Clifford and certain orthogonal-stochastic groups. As a sample application, we provide a protocol to efficiently implement the complex conjugate of a black-box Clifford unitary evolution.
△ Less
Submitted 3 November, 2024; v1 submitted 2 August, 2022;
originally announced August 2022.
-
A convergent inflation hierarchy for quantum causal structures
Authors:
Laurens T. Ligthart,
Mariami Gachechiladze,
David Gross
Abstract:
A causal structure is a description of the functional dependencies between random variables. A distribution is compatible with a given causal structure if it can be realized by a process respecting these dependencies. Deciding whether a distribution is compatible with a structure is a practically and fundamentally relevant, yet very difficult problem. Only recently has a general class of algorithm…
▽ More
A causal structure is a description of the functional dependencies between random variables. A distribution is compatible with a given causal structure if it can be realized by a process respecting these dependencies. Deciding whether a distribution is compatible with a structure is a practically and fundamentally relevant, yet very difficult problem. Only recently has a general class of algorithms been proposed: These so-called inflation techniques associate to any causal structure a hierarchy of increasingly strict compatibility tests, where each test can be formulated as a computationally efficient convex optimization problem. Remarkably, it has been shown that in the classical case, this hierarchy is complete in the sense that each non-compatible distribution will be detected at some level of the hierarchy. An inflation hierarchy has also been formulated for causal structures that allow for the observed classical random variables to arise from measurements on quantum states - however, no proof of completeness of this quantum inflation hierarchy has been supplied. In this paper, we construct a first version of the quantum inflation hierarchy that is provably convergent. From a technical point of view, convergence proofs are built on de Finetti Theorems, which show that certain symmetries (which can be imposed in convex optimization problems) imply independence of random variables (which is not directly a convex constraint). A main technical ingredient to our proof is a Quantum de Finetti Theorem that holds for general tensor products of $C^*$-algebras, generalizing previous work that was restricted to minimal tensor products.
△ Less
Submitted 7 December, 2022; v1 submitted 27 October, 2021;
originally announced October 2021.
-
Power-balancing dual-port grid-forming power converter control for renewable integration and hybrid AC/DC power systems
Authors:
Irina Subotić,
Dominic Groß
Abstract:
In this work, we investigate grid-forming (GFM) control for dc/ac power converters in emerging power systems that contain ac and dc networks, renewable generation, and conventional generation. We propose a novel power-balancing GFM control strategy that simultaneously forms the converter ac and dc voltage (i.e., dual-port GFM), unifies standard grid-following (GFL) and GFM functions, and is backwa…
▽ More
In this work, we investigate grid-forming (GFM) control for dc/ac power converters in emerging power systems that contain ac and dc networks, renewable generation, and conventional generation. We propose a novel power-balancing GFM control strategy that simultaneously forms the converter ac and dc voltage (i.e., dual-port GFM), unifies standard grid-following (GFL) and GFM functions, and is backwards compatible with conventional machine-based generation. Notably, in contrast to state-of-the-art control architectures that use a mix of grid-forming and grid-following control, dual-port GFM control can be used independently of the converter power source or network configuration. Our main contribution are stability conditions that cover emerging hybrid ac/dc networks as well as machines and converters with and without controlled power source, that only require knowledge of the system topology. Finally, a detailed case study is used to illustrate and validate the results.
△ Less
Submitted 19 July, 2022; v1 submitted 18 June, 2021;
originally announced June 2021.
-
Sketching with Kerdock's crayons: Fast sparsifying transforms for arbitrary linear maps
Authors:
Tim Fuchs,
David Gross,
Felix Krahmer,
Richard Kueng,
Dustin G. Mixon
Abstract:
Given an arbitrary matrix $A\in\mathbb{R}^{n\times n}$, we consider the fundamental problem of computing $Ax$ for any $x\in\mathbb{R}^n$ such that $Ax$ is $s$-sparse. While fast algorithms exist for particular choices of $A$, such as the discrete Fourier transform, there is currently no $o(n^2)$ algorithm that treats the unstructured case. In this paper, we devise a randomized approach to tackle t…
▽ More
Given an arbitrary matrix $A\in\mathbb{R}^{n\times n}$, we consider the fundamental problem of computing $Ax$ for any $x\in\mathbb{R}^n$ such that $Ax$ is $s$-sparse. While fast algorithms exist for particular choices of $A$, such as the discrete Fourier transform, there is currently no $o(n^2)$ algorithm that treats the unstructured case. In this paper, we devise a randomized approach to tackle the unstructured case. Our method relies on a representation of $A$ in terms of certain real-valued mutually unbiased bases derived from Kerdock sets. In the preprocessing phase of our algorithm, we compute this representation of $A$ in $O(n^3\log n)$ operations. Next, given any unit vector $x\in\mathbb{R}^n$ such that $Ax$ is $s$-sparse, our randomized fast transform uses this representation of $A$ to compute the entrywise $ε$-hard threshold of $Ax$ with high probability in only $O(sn + ε^{-2}\|A\|_{2\to\infty}^2n\log n)$ operations. In addition to a performance guarantee, we provide numerical results that demonstrate the plausibility of real-world implementation of our algorithm.
△ Less
Submitted 12 May, 2021;
originally announced May 2021.
-
Certifying Numerical Decompositions of Compact Group Representations
Authors:
Felipe Montealegre-Mora,
Denis Rosset,
Jean-Daniel Bancal,
David Gross
Abstract:
We present a performant and rigorous algorithm for certifying that a matrix is close to being a projection onto an irreducible subspace of a given group representation. This addresses a problem arising when one seeks solutions to semi-definite programs (SDPs) with a group symmetry. Indeed, in this context, the dimension of the SDP can be significantly reduced if the irreducible representations of…
▽ More
We present a performant and rigorous algorithm for certifying that a matrix is close to being a projection onto an irreducible subspace of a given group representation. This addresses a problem arising when one seeks solutions to semi-definite programs (SDPs) with a group symmetry. Indeed, in this context, the dimension of the SDP can be significantly reduced if the irreducible representations of the group action are explicitly known. Rigorous numerical algorithms for decomposing a given group representation into irreps are known, but fairly expensive. To avoid this performance problem, existing software packages -- e.g. RepLAB, which motivated the present work -- use randomized heuristics. While these seem to work well in practice, the problem of to which extent the results can be trusted arises. Here, we provide rigorous guarantees applicable to finite and compact groups, as well as a software implementation that can interface with RepLAB. Under natural assumptions, a commonly used previous method due to Babai and Friedl runs in time O(n^5) for n-dimensional representations. In our approach, the complexity of running both the heuristic decomposition and the certification step is O(max{n^3 log n, D d^2 log d}), where d is the maximum dimension of an irreducible subrepresentation, and D is the time required to multiply elements of the group. A reference implementation interfacing with RepLAB is provided.
△ Less
Submitted 27 August, 2021; v1 submitted 28 January, 2021;
originally announced January 2021.
-
Stabilizer extent is not multiplicative
Authors:
Arne Heimendahl,
Felipe Montealegre-Mora,
Frank Vallentin,
David Gross
Abstract:
The Gottesman-Knill theorem states that a Clifford circuit acting on stabilizer states can be simulated efficiently on a classical computer. Recently, this result has been generalized to cover inputs that are close to a coherent superposition of logarithmically many stabilizer states. The runtime of the classical simulation is governed by the stabilizer extent, which roughly measures how many stab…
▽ More
The Gottesman-Knill theorem states that a Clifford circuit acting on stabilizer states can be simulated efficiently on a classical computer. Recently, this result has been generalized to cover inputs that are close to a coherent superposition of logarithmically many stabilizer states. The runtime of the classical simulation is governed by the stabilizer extent, which roughly measures how many stabilizer states are needed to approximate the state. An important open problem is to decide whether the extent is multiplicative under tensor products. An affirmative answer would yield an efficient algorithm for computing the extent of product inputs, while a negative result implies the existence of more efficient classical algorithms for simulating largescale quantum circuits. Here, we answer this question in the negative. Our result follows from very general properties of the set of stabilizer states, such as having a size that scales subexponentially in the dimension, and can thus be readily adapted to similar constructions for other resource theories.
△ Less
Submitted 19 February, 2021; v1 submitted 8 July, 2020;
originally announced July 2020.
-
Frequency Stability of Synchronous Machines and Grid-Forming Power Converters
Authors:
Ali Tayyebi,
Dominic Groß,
Adolfo Anta,
Friederich Kupzog,
Florian Dörfler
Abstract:
An inevitable consequence of the global power system transition towards nearly 100% renewable-based generation is the loss of conventional bulk generation by synchronous machines, their inertia, and accompanying frequency and voltage control mechanisms. This gradual transformation of the power system to a low-inertia system leads to critical challenges in maintaining system stability. Novel contro…
▽ More
An inevitable consequence of the global power system transition towards nearly 100% renewable-based generation is the loss of conventional bulk generation by synchronous machines, their inertia, and accompanying frequency and voltage control mechanisms. This gradual transformation of the power system to a low-inertia system leads to critical challenges in maintaining system stability. Novel control techniques for converters, so-called grid-forming strategies, are expected to address these challenges and replicate functionalities that so far have been provided by synchronous machines. This article presents a low-inertia case study that includes synchronous machines and converters controlled under various grid-forming techniques. In this work 1) the positive impact of the grid-forming converters on the frequency stability of synchronous machines is highlighted, 2) a qualitative analysis which provides insights into the frequency stability of the system is presented, 3) we explore the behavior of the grid-forming controls when imposing the converter dc and ac current limitations, 4) the importance of the dc dynamics in grid-forming control design as well as the critical need for an effective ac current limitation scheme are reported, and lastly 5) we analyze how and when the interaction between the fast grid-forming converter and the slow synchronous machine dynamics can contribute to the system instability
△ Less
Submitted 8 March, 2020;
originally announced March 2020.
-
A Lyapunov framework for nested dynamical systems on multiple time scales with application to converter-based power systems
Authors:
Irina Subotić,
Dominic Groß,
Marcello Colombino,
Florian Dörfler
Abstract:
In this work, we present a Lyapunov framework for establishing stability with respect to a compact set for a nested interconnection of nonlinear dynamical systems ordered from slow to fast according to their convergence rates, where each of the dynamics are influenced only by the slower dynamics and the successive fastest one. The proposed approach explicitly considers more than two time scales, i…
▽ More
In this work, we present a Lyapunov framework for establishing stability with respect to a compact set for a nested interconnection of nonlinear dynamical systems ordered from slow to fast according to their convergence rates, where each of the dynamics are influenced only by the slower dynamics and the successive fastest one. The proposed approach explicitly considers more than two time scales, it does not require modeling multiple time scales via scalar time constants, and provides analytic bounds that make ad-hoc time-scale separation arguments rigorous. Motivated by the technical results, we develop a novel control strategy for a grid-forming power converter that consists of an inner cascaded two-degree of freedom controller and dispatchable virtual oscillator control as a reference model. The resulting closed-loop converter-based AC power system is in the form of a nested system with multiple time scales. We apply our technical results to obtain explicit bounds on the controller set-points, branch powers, and control gains that guarantee almost global asymptotic stability of the multi-converter AC power system with respect to a pre-specified solution of the AC power-flow equations. Finally, we validate the performance of the proposed control structure in a case study using a high-fidelity simulation with detailed hardware validated converter models.
△ Less
Submitted 11 January, 2021; v1 submitted 20 November, 2019;
originally announced November 2019.
-
Beyond low-inertia systems: Massive integration of grid-forming power converters in transmission grids
Authors:
Alessandro Crivellaro,
Ali Tayyebi,
Catalin Gavriluta,
Dominic Groß,
Adolfo Anta,
Friederich Kupzog,
Florian Dörfler
Abstract:
As renewable sources increasingly replace existing conventional generation, the dynamics of the grid drastically changes, posing new challenges for transmission system operations, but also arising new opportunities as converter-based generation is highly controllable in faster timescales. This paper investigates grid stability under the massive integration of grid-forming converters. We utilize de…
▽ More
As renewable sources increasingly replace existing conventional generation, the dynamics of the grid drastically changes, posing new challenges for transmission system operations, but also arising new opportunities as converter-based generation is highly controllable in faster timescales. This paper investigates grid stability under the massive integration of grid-forming converters. We utilize detailed converter and synchronous machine models and describe frequency behavior under different penetration levels. First, we show that the transition from 0% to 100% can be achieved from a frequency stability point of view. This is achieved by re-tuning power system stabilizers at high penetration values. Second, we explore the evolution of the nadir and RoCoF for each generator as a function of the amount of inverter-based generation in the grid. This work sheds some light on two major challenges in low and no-inertia systems: defining novel performance metrics that better characterize grid behaviour, and adapting present paradigms in PSS design.
△ Less
Submitted 7 November, 2019;
originally announced November 2019.
-
Rank-deficient representations in the Theta correspondence over finite fields arise from quantum codes
Authors:
Felipe Montealegre-Mora,
David Gross
Abstract:
Let V be a symplectic vector space and let $μ$ be the oscillator representation of Sp(V). It is natural to ask how the tensor power representation $μ^{\otimes t}$ decomposes. If V is a real vector space, then Howe-Kashiwara-Vergne (HKV) duality asserts that there is a one-one correspondence between the irreducible subrepresentations of Sp(V) and the irreps of an orthogonal group O(t). It is well-k…
▽ More
Let V be a symplectic vector space and let $μ$ be the oscillator representation of Sp(V). It is natural to ask how the tensor power representation $μ^{\otimes t}$ decomposes. If V is a real vector space, then Howe-Kashiwara-Vergne (HKV) duality asserts that there is a one-one correspondence between the irreducible subrepresentations of Sp(V) and the irreps of an orthogonal group O(t). It is well-known that this duality fails over finite fields. Addressing this situation, Gurevich and Howe have recently assigned a notion of rank to each Sp(V) representation. They show that a variant of HKV duality continues to hold over finite fields, if one restricts attention to subrepresentations of maximal rank. The nature of the rank-deficient components was left open. Here, we show that all rank-deficient Sp(V)-subrepresentations arise from embeddings of lower-order tensor products of $μ$ and $\barμ$ into $μ^{\otimes t}$. The embeddings live on spaces that have been studied in quantum information theory as tensor powers of self-orthogonal Calderbank-Shor-Steane (CSS) quantum codes. We then find that the irreducible Sp(V) subrepresentations of $μ^{\otimes t}$ are labelled by the irreps of orthogonal groups O(r) acting on certain r-dimensional spaces for r <= t. The results hold in odd charachteristic and the "stable range" t <= 1/2 dim V. Our work has implications for the representation theory of the Clifford group. It can be thought of as a generalization of the known characterization of the invariants of the Clifford group in terms of self-dual codes.
△ Less
Submitted 24 June, 2020; v1 submitted 17 June, 2019;
originally announced June 2019.
-
Interactions of Grid-Forming Power Converters and Synchronous Machines
Authors:
Ali Tayyebi,
Dominic Groß,
Adolfo Anta,
Friederich Kupzog,
Florian Dörfler
Abstract:
An inevitable consequence of the global power system transition towards nearly 100% renewable-based generation is the loss of conventional bulk generation by synchronous machines, their inertia, and accompanying frequency and voltage control mechanisms. This gradual transformation of the power system to a low-inertia system leads to critical challenges in maintaining system stability. Novel contro…
▽ More
An inevitable consequence of the global power system transition towards nearly 100% renewable-based generation is the loss of conventional bulk generation by synchronous machines, their inertia, and accompanying frequency and voltage control mechanisms. This gradual transformation of the power system to a low-inertia system leads to critical challenges in maintaining system stability. Novel control techniques for converters, so-called grid-forming strategies, are expected to address these challenges and replicate functionalities that so far have been provided by synchronous machines. We present a low-inertia high-fidelity case study that includes synchronous machines and models of grid-forming converters. We study interactions between synchronous machines and converters and analyze the response of various grid-forming control approaches to contingencies, i.e., large changes in load and the loss of a synchronous machine. Our case study highlights the positive impact of the grid-forming converters on frequency stability and analyze the potential limitations of each control technique when interacting with synchronous machines. Our studies also analyze how and when the interaction between the fast grid-forming converter, the dc source and ac current limitations, and the slow synchronous machine dynamics contributes to system instability. Lastly, we introduce an effective solution to address the instability issues due to the GFCs ac and dc current limitation.
△ Less
Submitted 8 October, 2019; v1 submitted 27 February, 2019;
originally announced February 2019.
-
Dispatchable Virtual Oscillator Control for Decentralized Inverter-dominated Power Systems: Analysis and Experiments
Authors:
Gab-Su Seo,
Marcello Colombino,
Irina Subotić,
Brian Johnson,
Dominic Groß,
Florian Dörfler
Abstract:
This paper presents an analysis and experimental validation of dispatchable virtual oscillator control (dVOC) for inverter-dominated power systems. dVOC is a promising decentralized control strategy that requires only local measurements to induce grid-forming behavior with programmable droop characteristics. It is dispatchable i.e., the inverters can vary their power generation via user-defined po…
▽ More
This paper presents an analysis and experimental validation of dispatchable virtual oscillator control (dVOC) for inverter-dominated power systems. dVOC is a promising decentralized control strategy that requires only local measurements to induce grid-forming behavior with programmable droop characteristics. It is dispatchable i.e., the inverters can vary their power generation via user-defined power set-points and guarantees strong stability. To verify its feasibility, a testbed comprising multiple dVOC-programmed inverters with transmission line impedances is designed. With an embedded synchronization strategy, the dVOC inverters are capable of dynamic synchronization, black start operation, and transient grid voltage regulation with dynamic load sharing, and real-time-programmable droop characteristics for backward compatibility. All these features are experimentally verified.
△ Less
Submitted 21 November, 2018;
originally announced November 2018.
-
Placement and Implementation of Grid-Forming and Grid-Following Virtual Inertia and Fast Frequency Response
Authors:
Bala Kameshwar Poolla,
Dominic Groß,
Florian Dörfler
Abstract:
The electric power system is witnessing a shift in the technology of generation. Conventional thermal generation based on synchronous machines is gradually being replaced by power electronics interfaced renewable generation. This new mode of generation, however, lacks the natural inertia and governor damping which are quintessential features of synchronous machines. The loss of these features resu…
▽ More
The electric power system is witnessing a shift in the technology of generation. Conventional thermal generation based on synchronous machines is gradually being replaced by power electronics interfaced renewable generation. This new mode of generation, however, lacks the natural inertia and governor damping which are quintessential features of synchronous machines. The loss of these features results in increasing frequency excursions and, ultimately, system instability. Among the numerous studies on mitigating these undesirable effects, the main approach involves virtual inertia emulation to mimic the behavior of synchronous machines. In this work, explicit models of grid-following and grid-forming virtual inertia (VI) devices are developed for inertia emulation in low-inertia systems. An optimization problem is formulated to optimize the parameters and location of these devices in a power system to increase its resilience. Finally, a case study based on a high-fidelity model of the South-East Australian system is used to illustrate the effectiveness of such devices.
△ Less
Submitted 9 January, 2019; v1 submitted 5 July, 2018;
originally announced July 2018.
-
The effect of transmission-line dynamics on grid-forming dispatchable virtual oscillator control
Authors:
Dominic Groß,
Marcello Colombino,
Jean-Sébastien Brouillon,
Florian Dörfler
Abstract:
In this work, we analyze the effect of transmission line dynamics on grid-forming control for inverter-based AC power systems. In particular, we investigate a dispatchable virtual oscillator control (dVOC) strategy that was recently proposed in the literature. When the dynamics of the transmission lines are neglected, i.e., if an algebraic model of the transmission network is used, dVOC ensures al…
▽ More
In this work, we analyze the effect of transmission line dynamics on grid-forming control for inverter-based AC power systems. In particular, we investigate a dispatchable virtual oscillator control (dVOC) strategy that was recently proposed in the literature. When the dynamics of the transmission lines are neglected, i.e., if an algebraic model of the transmission network is used, dVOC ensures almost global asymptotic stability of a network of AC power inverters with respect to a pre-specified solution of the AC power-flow equations. While this approximation is typically justified for conventional power systems, the electromagnetic transients of the transmission lines can compromise the stability of an inverter-based power system. In this work, we establish explicit bounds on the controller setpoints, branch powers, and control gains that guarantee almost global asymptotic stability of dVOC in combination with a dynamic model of the transmission network.
△ Less
Submitted 29 May, 2019; v1 submitted 24 February, 2018;
originally announced February 2018.
-
Schur-Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations
Authors:
David Gross,
Sepehr Nezami,
Michael Walter
Abstract:
Schur-Weyl duality is a ubiquitous tool in quantum information. At its heart is the statement that the space of operators that commute with the tensor powers of all unitaries is spanned by the permutations of the tensor factors. In this work, we describe a similar duality theory for tensor powers of Clifford unitaries. The Clifford group is a central object in many subfields of quantum information…
▽ More
Schur-Weyl duality is a ubiquitous tool in quantum information. At its heart is the statement that the space of operators that commute with the tensor powers of all unitaries is spanned by the permutations of the tensor factors. In this work, we describe a similar duality theory for tensor powers of Clifford unitaries. The Clifford group is a central object in many subfields of quantum information, most prominently in the theory of fault-tolerance. The duality theory has a simple and clean description in terms of finite geometries. We demonstrate its effectiveness in several applications:
(1) We resolve an open problem in quantum property testing by showing that "stabilizerness" is efficiently testable: There is a protocol that, given access to six copies of an unknown state, can determine whether it is a stabilizer state, or whether it is far away from the set of stabilizer states. We give a related membership test for the Clifford group.
(2) We find that tensor powers of stabilizer states have an increased symmetry group. We provide corresponding de Finetti theorems, showing that the reductions of arbitrary states with this symmetry are well-approximated by mixtures of stabilizer tensor powers (in some cases, exponentially well).
(3) We show that the distance of a pure state to the set of stabilizers can be lower-bounded in terms of the sum-negativity of its Wigner function. This gives a new quantitative meaning to the sum-negativity (and the related mana) -- a measure relevant to fault-tolerant quantum computation. The result constitutes a robust generalization of the discrete Hudson theorem.
(4) We show that complex projective designs of arbitrary order can be obtained from a finite number (independent of the number of qudits) of Clifford orbits. To prove this result, we give explicit formulas for arbitrary moments of random stabilizer states.
△ Less
Submitted 16 January, 2021; v1 submitted 22 December, 2017;
originally announced December 2017.
-
Global phase and magnitude synchronization of coupled oscillators with application to the control of grid-forming power inverters
Authors:
Marcello Colombino,
Dominic Groß,
Jean-Sébastien Brouillon,
Florian Dörfler
Abstract:
In this work, we explore a new approach to synchronization of coupled oscillators. In contrast to the celebrated Kuramoto model we do not work in polar coordinates and do not consider oscillations of fixed magnitude. We propose a synchronizing feedback based on relative state information and local measurements that induces consensus-like dynamics. We show that, under a mild stability condition, th…
▽ More
In this work, we explore a new approach to synchronization of coupled oscillators. In contrast to the celebrated Kuramoto model we do not work in polar coordinates and do not consider oscillations of fixed magnitude. We propose a synchronizing feedback based on relative state information and local measurements that induces consensus-like dynamics. We show that, under a mild stability condition, the combination of the synchronizing feedback with a decentralized magnitude control law renders the oscillators' almost globally asymptotically stable with respect to set-points for the phase shift, frequency, and magnitude. We apply these result to rigorously solve an open problem in control of inverter-based AC power systems. In this context, the proposed control strategy can be implemented using purely local information, induces a grid-forming behavior, and ensures that a network of AC power inverters is almost globally asymptotically stable with respect to a pre-specified solution of the AC power-flow equations. Moreover, we show that the controller exhibits a droop-like behavior around the standard operating point thus making it backward-compatible with the existing power system operation.
△ Less
Submitted 28 November, 2018; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Semidefinite tests for latent causal structures
Authors:
Aditya Kela,
Kai von Prillwitz,
Johan Aberg,
Rafael Chaves,
David Gross
Abstract:
Testing whether a probability distribution is compatible with a given Bayesian network is a fundamental task in the field of causal inference, where Bayesian networks model causal relations. Here we consider the class of causal structures where all correlations between observed quantities are solely due to the influence from latent variables. We show that each model of this type imposes a certain…
▽ More
Testing whether a probability distribution is compatible with a given Bayesian network is a fundamental task in the field of causal inference, where Bayesian networks model causal relations. Here we consider the class of causal structures where all correlations between observed quantities are solely due to the influence from latent variables. We show that each model of this type imposes a certain signature on the observable covariance matrix in terms of a particular decomposition into positive semidefinite components. This signature, and thus the underlying hypothetical latent structure, can be tested in a computationally efficient manner via semidefinite programming. This stands in stark contrast with the algebraic geometric tools required if the full observable probability distribution is taken into account. The semidefinite test is compared with tests based on entropic inequalities.
△ Less
Submitted 3 January, 2017;
originally announced January 2017.
-
On the steady-state behavior of a nonlinear power system model
Authors:
Dominic Groß,
Catalin Arghir,
Florian Dörfler
Abstract:
In this article, we consider a dynamic model of a three-phase power system including nonlinear generator dynamics, transmission line dynamics, and static nonlinear loads. We define a synchronous steady-state behavior which corresponds to the desired nominal operating point of a power system and obtain necessary and sufficient conditions on the control inputs, load model, and transmission network,…
▽ More
In this article, we consider a dynamic model of a three-phase power system including nonlinear generator dynamics, transmission line dynamics, and static nonlinear loads. We define a synchronous steady-state behavior which corresponds to the desired nominal operating point of a power system and obtain necessary and sufficient conditions on the control inputs, load model, and transmission network, under which the power system admits this steady-state behavior. We arrive at a separation between the steady-state conditions of the transmission network and generators, which allows us to recover the steady-state of the entire power system solely from a prescribed operating point of the transmission network. Moreover, we constructively obtain necessary and sufficient steady-state conditions based on network balance equations typically encountered in power flow analysis. Our analysis results in several necessary conditions that any power system control strategy needs to satisfy.
△ Less
Submitted 19 February, 2018; v1 submitted 6 July, 2016;
originally announced July 2016.
-
Qubit stabilizer states are complex projective 3-designs
Authors:
Richard Kueng,
David Gross
Abstract:
A complex projective $t$-design is a configuration of vectors which is ``evenly distributed'' on a sphere in the sense that sampling uniformly from it reproduces the moments of Haar measure up to order $2t$. We show that the set of all $n$-qubit stabilizer states forms a complex projective $3$-design in dimension $2^n$. Stabilizer states had previously only been known to constitute $2$-designs. Th…
▽ More
A complex projective $t$-design is a configuration of vectors which is ``evenly distributed'' on a sphere in the sense that sampling uniformly from it reproduces the moments of Haar measure up to order $2t$. We show that the set of all $n$-qubit stabilizer states forms a complex projective $3$-design in dimension $2^n$. Stabilizer states had previously only been known to constitute $2$-designs. The main technical ingredient is a general recursion formula for the so-called frame potential of stabilizer states. To establish it, we need to compute the number of stabilizer states with pre-described inner product with respect to a reference state. This, in turn, reduces to a counting problem in discrete symplectic vector spaces for which we find a simple formula. We sketch applications in quantum information and signal analysis.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
Uncertainty Quantification for Matrix Compressed Sensing and Quantum Tomography Problems
Authors:
Alexandra Carpentier,
Jens Eisert,
David Gross,
Richard Nickl
Abstract:
We construct minimax optimal non-asymptotic confidence sets for low rank matrix recovery algorithms such as the Matrix Lasso or Dantzig selector. These are employed to devise adaptive sequential sampling procedures that guarantee recovery of the true matrix in Frobenius norm after a data-driven stopping time $\hat n$ for the number of measurements that have to be taken. With high probability, this…
▽ More
We construct minimax optimal non-asymptotic confidence sets for low rank matrix recovery algorithms such as the Matrix Lasso or Dantzig selector. These are employed to devise adaptive sequential sampling procedures that guarantee recovery of the true matrix in Frobenius norm after a data-driven stopping time $\hat n$ for the number of measurements that have to be taken. With high probability, this stopping time is minimax optimal. We detail applications to quantum tomography problems where measurements arise from Pauli observables. We also give a theoretical construction of a confidence set for the density matrix of a quantum state that has optimal diameter in nuclear norm. The non-asymptotic properties of our confidence sets are further investigated in a simulation study.
△ Less
Submitted 21 December, 2015; v1 submitted 13 April, 2015;
originally announced April 2015.
-
Recovering low-rank matrices from few coefficients in any basis
Authors:
David Gross
Abstract:
We present novel techniques for analyzing the problem of low-rank matrix recovery. The methods are both considerably simpler and more general than previous approaches. It is shown that an unknown (n x n) matrix of rank r can be efficiently reconstructed from only O(n r nu log^2 n) randomly sampled expansion coefficients with respect to any given matrix basis. The number nu quantifies the "degree o…
▽ More
We present novel techniques for analyzing the problem of low-rank matrix recovery. The methods are both considerably simpler and more general than previous approaches. It is shown that an unknown (n x n) matrix of rank r can be efficiently reconstructed from only O(n r nu log^2 n) randomly sampled expansion coefficients with respect to any given matrix basis. The number nu quantifies the "degree of incoherence" between the unknown matrix and the basis. Existing work concentrated mostly on the problem of "matrix completion" where one aims to recover a low-rank matrix from randomly selected matrix elements. Our result covers this situation as a special case. The proof consists of a series of relatively elementary steps, which stands in contrast to the highly involved methods previously employed to obtain comparable results. In cases where bounds had been known before, our estimates are slightly tighter. We discuss operator bases which are incoherent to all low-rank matrices simultaneously. For these bases, we show that O(n r nu log n) randomly sampled expansion coefficients suffice to recover any low-rank matrix with high probability. The latter bound is tight up to multiplicative constants.
△ Less
Submitted 17 September, 2010; v1 submitted 12 October, 2009;
originally announced October 2009.
