-
Robust Stability for Multiagent Systems with Spatio-Temporally Correlated Packet Loss
Authors:
Christian Hespe,
Adwait Datar,
Herbert Werner
Abstract:
A problem with considering correlations in the analysis of multiagent system with stochastic packet loss is that they induce dependencies between agents that are otherwise decoupled, preventing the application of decomposition methods required for efficient evaluation. To circumvent that issue, this paper is proposing an approach based on analysing sets of networks with independent communication l…
▽ More
A problem with considering correlations in the analysis of multiagent system with stochastic packet loss is that they induce dependencies between agents that are otherwise decoupled, preventing the application of decomposition methods required for efficient evaluation. To circumvent that issue, this paper is proposing an approach based on analysing sets of networks with independent communication links, only considering the correlations in an implicit fashion. Combining ideas from the robust stabilization of Markov jump linear systems with recently proposed techniques for analysing packet loss in multiagent systems, we obtain a linear matrix inequality based stability condition which is independent of the number of agents. The main result is that the set of stabilized probability distributions has non-empty interior such that small correlations cannot lead to instability, even though only distributions of independent links were analysed. Moreover, two examples are provided to demonstrate the applicability of the results to practically relevant scenarios.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Transformation-Free Fixed-Structure Model Reduction for LPV Systems
Authors:
Lennart Heeren,
Adwait Datar,
Antonio Mendez Gonzalez,
Herbert Werner
Abstract:
In this paper, we propose a model reduction technique for linear parameter varying (LPV) systems based on available tools for fixed-structure controller synthesis. We start by transforming a model reduction problem into an equivalent controller synthesis problem by defining an appropriate generalized plant. The controller synthesis problem is then solved by using gradient-based tools available in…
▽ More
In this paper, we propose a model reduction technique for linear parameter varying (LPV) systems based on available tools for fixed-structure controller synthesis. We start by transforming a model reduction problem into an equivalent controller synthesis problem by defining an appropriate generalized plant. The controller synthesis problem is then solved by using gradient-based tools available in the literature. Owing to the flexibility of the gradient-based synthesis tools, we are able to impose a desired structure on the obtained reduced model. Additionally, we obtain a bound on the approximation error as a direct output of the optimization problem. The proposed methods are applied on a benchmark mechanical system of interconnected masses, springs and dampers. To evaluate the effect of the proposed model-reduction approach on controller design, LPV controllers designed using the reduced models (with and without an imposed structure) are compared in closed-loop with the original model.
△ Less
Submitted 21 March, 2024;
originally announced March 2024.
-
Noise-mitigated randomized measurements and self-calibrating shadow estimation
Authors:
E. Onorati,
J. Kitzinger,
J. Helsen,
M. Ioannou,
A. H. Werner,
I. Roth,
J. Eisert
Abstract:
Randomized measurements are increasingly appreciated as powerful tools to estimate properties of quantum systems, e.g., in the characterization of hybrid classical-quantum computation. On many platforms they constitute natively accessible measurements, serving as the building block of prominent schemes like shadow estimation. In the real world, however, the implementation of the random gates at th…
▽ More
Randomized measurements are increasingly appreciated as powerful tools to estimate properties of quantum systems, e.g., in the characterization of hybrid classical-quantum computation. On many platforms they constitute natively accessible measurements, serving as the building block of prominent schemes like shadow estimation. In the real world, however, the implementation of the random gates at the core of these schemes is susceptible to various sources of noise and imperfections, strongly limiting the applicability of protocols. To attenuate the impact of this shortcoming, in this work we introduce an error-mitigated method of randomized measurements, giving rise to a robust shadow estimation procedure. On the practical side, we show that error mitigation and shadow estimation can be carried out using the same session of quantum experiments, hence ensuring that we can address and mitigate the noise affecting the randomization measurements. Mathematically, we develop a picture derived from Fourier-transforms to connect randomized benchmarking and shadow estimation. We prove rigorous performance guarantees and show the functioning using comprehensive numerics. More conceptually, we demonstrate that, if properly used, easily accessible data from randomized benchmarking schemes already provide such valuable diagnostic information to inform about the noise dynamics and to assist in quantum learning procedures.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
A density-fitting implementation of the density-based basis-set correction method
Authors:
Andreas Heßelmann,
Emmanuel Giner,
Peter Reinhardt,
Peter J. Knowles,
Hans-Joachim Werner,
Julien Toulouse
Abstract:
This work reports an efficient density-fitting implementation of the density-based basis-set correction (DBBSC) method in the MOLPRO software. This method consists in correcting the energy calculated by a wave-function method with a given basis set by an adapted basis-set correction density functional incorporating the short-range electron correlation effects missing in the basis set, resulting in…
▽ More
This work reports an efficient density-fitting implementation of the density-based basis-set correction (DBBSC) method in the MOLPRO software. This method consists in correcting the energy calculated by a wave-function method with a given basis set by an adapted basis-set correction density functional incorporating the short-range electron correlation effects missing in the basis set, resulting in an accelerated convergence to the complete-basis-set limit. Different basis-set correction density-functional approximations are explored and the complementary-auxiliary-basis-set single-excitation correction is added. The method is tested on a benchmark set of reaction energies at the second-order Møller-Plesset (MP2) level and a comparison with the explicitly correlated MP2-F12 method is provided. The results show that the DBBSC method greatly accelerates the basis convergence of MP2 reaction energies, without reaching the accuracy of the MP2-F12 method but with a lower computational cost.
△ Less
Submitted 19 February, 2024; v1 submitted 19 September, 2023;
originally announced September 2023.
-
Convergence Properties of Fast quasi-LPV Model Predictive Control
Authors:
Christian Hespe,
Herbert Werner
Abstract:
In this paper, we study the convergence properties of an iterative algorithm for fast nonlinear model predictive control of quasi-linear parameter-varying systems without inequality constraints. Compared to previous works considering this algorithm, we contribute conditions under which the iterations are guaranteed to converge. Furthermore, we show that the algorithm converges to suboptimal soluti…
▽ More
In this paper, we study the convergence properties of an iterative algorithm for fast nonlinear model predictive control of quasi-linear parameter-varying systems without inequality constraints. Compared to previous works considering this algorithm, we contribute conditions under which the iterations are guaranteed to converge. Furthermore, we show that the algorithm converges to suboptimal solutions and propose an optimality-preserving variant with moderately increased computational complexity. Finally, we compare both variants in terms of quality of solution and computational performance with a state-of-the-art solver for nonlinear model predictive control in two simulation benchmarks.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
A Scalable Approach for Analysing Multi-Agent Systems with Heterogeneous Stochastic Packet Loss
Authors:
Christian Hespe,
Herbert Werner
Abstract:
An important aspect in jointly analysing networked control systems and their communication is to model the networking in a sufficiently rich but at the same time mathematically tractable way. As such, this paper improves on a recently proposed scalable approach for analysing multi-agent systems with stochastic packet loss by allowing for heterogeneous transmission probabilities and temporal correl…
▽ More
An important aspect in jointly analysing networked control systems and their communication is to model the networking in a sufficiently rich but at the same time mathematically tractable way. As such, this paper improves on a recently proposed scalable approach for analysing multi-agent systems with stochastic packet loss by allowing for heterogeneous transmission probabilities and temporal correlation in the communication model. The key idea is to consider the transmission probabilities as uncertain, which facilitates the use of tools from robust control. Due to being formulated in terms of linear matrix inequalities that grow linearly with the number of agents, the result is applicable to very large multi-agent systems, which is demonstrated by numerical simulations with up to 10000 agents.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
A Distributed Linear Quadratic Discrete-Time Game Approach to Formation Control with Collision Avoidance
Authors:
Prima Aditya,
Herbert Werner
Abstract:
Formation control problems can be expressed as linear quadratic discrete-time games (LQDTG) for which Nash equilibrium solutions are sought. However, solving such problems requires solving coupled Riccati equations, which cannot be done in a distributed manner. A recent study showed that a distributed implementation is possible for a consensus problem when fictitious agents are associated with edg…
▽ More
Formation control problems can be expressed as linear quadratic discrete-time games (LQDTG) for which Nash equilibrium solutions are sought. However, solving such problems requires solving coupled Riccati equations, which cannot be done in a distributed manner. A recent study showed that a distributed implementation is possible for a consensus problem when fictitious agents are associated with edges in the network graph rather than nodes. This paper proposes an extension of this approach to formation control with collision avoidance, where collision is precluded by including appropriate penalty terms on the edges. To address the problem, a state-dependent Riccati equation needs to be solved since the collision avoidance term in the cost function leads to a state-dependent weight matrix. This solution provides relative control inputs associated with the edges of the network graph. These relative inputs then need to be mapped to the physical control inputs applied at the nodes; this can be done in a distributed manner by iterating over a gradient descent search between neighbors in each sampling interval. Unlike inter-sample iteration frequently used in distributed MPC, only a matrix-vector multiplication is needed for each iteration step here, instead of an optimization problem to be solved. This approach can be implemented in a receding horizon manner, this is demonstrated through a numerical example.
△ Less
Submitted 5 September, 2023; v1 submitted 24 August, 2023;
originally announced August 2023.
-
Dissipation-enabled bosonic Hamiltonian learning via new information-propagation bounds
Authors:
Tim Möbus,
Andreas Bluhm,
Matthias C. Caro,
Albert H. Werner,
Cambyse Rouzé
Abstract:
Reliable quantum technology requires knowledge of the dynamics governing the underlying system. This problem of characterizing and benchmarking quantum devices or experiments in continuous time is referred to as the Hamiltonian learning problem. In contrast to multi-qubit systems, learning guarantees for the dynamics of bosonic systems have hitherto remained mostly unexplored. For $m$-mode Hamilto…
▽ More
Reliable quantum technology requires knowledge of the dynamics governing the underlying system. This problem of characterizing and benchmarking quantum devices or experiments in continuous time is referred to as the Hamiltonian learning problem. In contrast to multi-qubit systems, learning guarantees for the dynamics of bosonic systems have hitherto remained mostly unexplored. For $m$-mode Hamiltonians given as polynomials in annihilation and creation operators with modes arranged on a lattice, we establish a simple moment criterion in terms of the particle number operator which ensures that learning strategies from the finite-dimensional setting extend to the bosonic setting, requiring only coherent states and heterodyne detection on the experimental side. We then propose an enhanced procedure based on added dissipation that even works if the Hamiltonian time evolution violates this moment criterion: With high success probability it learns all coefficients of the Hamiltonian to accuracy $\varepsilon$ using a total evolution time of $\mathcal{O}(\varepsilon^{-2}\log(m))$. Our protocol involves the experimentally reachable resources of projected coherent state preparation, dissipative regularization akin to recent quantum error correction schemes involving cat qubits stabilized by a nonlinear multi-photon driven dissipation process, and heterodyne measurements. As a crucial step in our analysis, we establish our moment criterion and a new Lieb-Robinson type bound for the evolution generated by an arbitrary bosonic Hamiltonian of bounded degree in the annihilation and creation operators combined with photon-driven dissipation. Our work demonstrates that a broad class of bosonic Hamiltonians can be efficiently learned from simple quantum experiments, and our bosonic Lieb-Robinson bound may independently serve as a versatile tool for studying evolutions on continuous variable systems.
△ Less
Submitted 27 July, 2023;
originally announced July 2023.
-
The resource theory of tensor networks
Authors:
Matthias Christandl,
Vladimir Lysikov,
Vincent Steffan,
Albert H. Werner,
Freek Witteveen
Abstract:
Tensor networks provide succinct representations of quantum many-body states and are an important computational tool for strongly correlated quantum systems. Their expressive and computational power is characterized by an underlying entanglement structure, on a lattice or more generally a (hyper)graph, with virtual entangled pairs or multipartite entangled states associated to (hyper)edges. Changi…
▽ More
Tensor networks provide succinct representations of quantum many-body states and are an important computational tool for strongly correlated quantum systems. Their expressive and computational power is characterized by an underlying entanglement structure, on a lattice or more generally a (hyper)graph, with virtual entangled pairs or multipartite entangled states associated to (hyper)edges. Changing this underlying entanglement structure into another can lead to both theoretical and computational benefits. We study a natural resource theory which generalizes the notion of bond dimension to entanglement structures using multipartite entanglement. It is a direct extension of resource theories of tensors studied in the context of multipartite entanglement and algebraic complexity theory, allowing for the application of the sophisticated methods developed in these fields to tensor networks. The resource theory of tensor networks concerns both the local entanglement structure of a quantum many-body state and the (algebraic) complexity of tensor network contractions using this entanglement structure. We show that there are transformations between entanglement structures which go beyond edge-by-edge conversions, highlighting efficiency gains of our resource theory that mirror those obtained in the search for better matrix multiplication algorithms. We also provide obstructions to the existence of such transformations by extending a variety of methods originally developed in algebraic complexity theory for obtaining complexity lower bounds. The resource theory of tensor networks allows to compare different entanglement structures and should lead to more efficient tensor network representations and contraction algorithms.
△ Less
Submitted 15 September, 2023; v1 submitted 14 July, 2023;
originally announced July 2023.
-
Structured IQC Synthesis of Robust $\mathcal{H}_2$ Controllers in the Frequency Domain
Authors:
Maximilian Schütte,
Annika Eichler,
Herbert Werner
Abstract:
The problem of robust controller synthesis for plants affected by structured uncertainty, captured by integral quadratic constraints, is discussed. The solution is optimized towards a worst-case white noise rejection specification, which is a generalization of the standard $\mathcal{H}_2$-norm to the robust setting including possibly non-LTI uncertainty. Arbitrary structural constraints can be imp…
▽ More
The problem of robust controller synthesis for plants affected by structured uncertainty, captured by integral quadratic constraints, is discussed. The solution is optimized towards a worst-case white noise rejection specification, which is a generalization of the standard $\mathcal{H}_2$-norm to the robust setting including possibly non-LTI uncertainty. Arbitrary structural constraints can be imposed on the control solution, making this method suitable for distributed systems. The nonsmooth optimization algorithm used to solve the robust synthesis problem operates directly in the frequency domain, eliminating scalability issues for complex systems and providing local optimality certificates. The method is evaluated using a literature example and a real-world system using a novel implementation of a robust $\mathcal{H}_2$-performance bound.
△ Less
Submitted 2 December, 2023; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Gradient-based Cooperative Control of quasi-Linear Parameter Varying Vehicles with Noisy Gradients
Authors:
Adwait Datar,
Antonio Mendez Gonzalez,
Herbert Werner
Abstract:
This paper extends recent results on the exponential performance analysis of gradient based cooperative control dynamics using the framework of exponential integral quadratic constraints ($α-$IQCs). A cooperative source-seeking problem is considered as a specific example where one or more vehicles are embedded in a strongly convex scalar field and are required to converge to a formation located at…
▽ More
This paper extends recent results on the exponential performance analysis of gradient based cooperative control dynamics using the framework of exponential integral quadratic constraints ($α-$IQCs). A cooperative source-seeking problem is considered as a specific example where one or more vehicles are embedded in a strongly convex scalar field and are required to converge to a formation located at the minimum of a field. A subset of the agents are assumed to have the knowledge of the gradient of the field evaluated at their respective locations and the interaction graph is assumed to be uncertain. As a first contribution, we extend earlier results on linear time invariant (LTI) systems to non-linear systems by using quasi-linear parameter varying (qLPV) representations. Secondly, we remove the assumption on perfect gradient measurements and consider multiplicative noise in the analysis. Performance-robustness trade off curves are presented to illustrate the use of presented methods for tuning controller gains. The results are demonstrated on a non-linear second order vehicle model with a velocity-dependent non-linear dam** and a local gain-scheduled tracking controller.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
Robust Performance Analysis for Time-Varying Multi-Agent Systems with Stochastic Packet Loss
Authors:
Christian Hespe,
Herbert Werner
Abstract:
Recently, a scalable approach to system analysis and controller synthesis for homogeneous multi-agent systems with Bernoulli distributed packet loss has been proposed. As a key result of that line of work, it was shown how to obtain upper bounds on the $H_2$-norm that are robust with respect to uncertain interconnection topologies. The main contribution of the current paper is to show that the sam…
▽ More
Recently, a scalable approach to system analysis and controller synthesis for homogeneous multi-agent systems with Bernoulli distributed packet loss has been proposed. As a key result of that line of work, it was shown how to obtain upper bounds on the $H_2$-norm that are robust with respect to uncertain interconnection topologies. The main contribution of the current paper is to show that the same upper bounds hold not only for uncertain but also time-varying topologies that are superimposed with the stochastic packet loss. Because the results are formulated in terms of linear matrix inequalities that are independent of the number of agents, multi-agent systems of any size can be analysed efficiently. The applicability of the approach is demonstrated on a numerical first-order consensus example, on which the obtained upper bounds are compared to estimates from Monte-Carlo simulations.
△ Less
Submitted 5 April, 2023;
originally announced April 2023.
-
A temporally quantized distribution of pupil diameters as a new feature for cognitive load classification
Authors:
Wolfgang Fuhl,
Susanne Zabel,
Theresa Harbig,
Julia Astrid Moldt,
Teresa Festl Wiete,
Anne Herrmann Werner,
Kay Nieselt
Abstract:
In this paper, we present a new feature that can be used to classify cognitive load based on pupil information. The feature consists of a temporal segmentation of the eye tracking recordings. For each segment of the temporal partition, a probability distribution of pupil size is computed and stored. These probability distributions can then be used to classify the cognitive load. The presented feat…
▽ More
In this paper, we present a new feature that can be used to classify cognitive load based on pupil information. The feature consists of a temporal segmentation of the eye tracking recordings. For each segment of the temporal partition, a probability distribution of pupil size is computed and stored. These probability distributions can then be used to classify the cognitive load. The presented feature significantly improves the classification accuracy of the cognitive load compared to other statistical values obtained from eye tracking data, which represent the state of the art in this field. The applications of determining Cognitive Load from pupil data are numerous and could lead, for example, to pre-warning systems for burnouts.
Link: https://es-cloud.cs.uni-tuebingen.de/d/8e2ab8c3fdd444e1a135/?p=%2FCognitiveLoadFeature&mode=list
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
Area of interest adaption using feature importance
Authors:
Wolfgang Fuhl,
Susanne Zabel,
Theresa Harbig,
Julia Astrid Moldt,
Teresa Festl Wiete,
Anne Herrmann Werner,
Kay Nieselt
Abstract:
In this paper, we present two approaches and algorithms that adapt areas of interest (AOI) or regions of interest (ROI), respectively, to the eye tracking data quality and classification task. The first approach uses feature importance in a greedy way and grows or shrinks AOIs in all directions. The second approach is an extension of the first approach, which divides the AOIs into areas and calcul…
▽ More
In this paper, we present two approaches and algorithms that adapt areas of interest (AOI) or regions of interest (ROI), respectively, to the eye tracking data quality and classification task. The first approach uses feature importance in a greedy way and grows or shrinks AOIs in all directions. The second approach is an extension of the first approach, which divides the AOIs into areas and calculates a direction of growth, i.e. a gradient. Both approaches improve the classification results considerably in the case of generalized AOIs, but can also be used for qualitative analysis. In qualitative analysis, the algorithms presented allow the AOIs to be adapted to the data, which means that errors and inaccuracies in eye tracking data can be better compensated for. A good application example is abstract art, where manual AOIs annotation is hardly possible, and data-driven approaches are mainly used for initial AOIs.
Link: https://es-cloud.cs.uni-tuebingen.de/d/8e2ab8c3fdd444e1a135/?p=%2FAOIGradient&mode=list
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
One step closer to EEG based eye tracking
Authors:
Wolfgang Fuhl,
Susanne Zabel,
Theresa Harbig,
Julia Astrid Moldt,
Teresa Festl Wiete,
Anne Herrmann Werner,
Kay Nieselt
Abstract:
In this paper, we present two approaches and algorithms that adapt areas of interest We present a new deep neural network (DNN) that can be used to directly determine gaze position using EEG data. EEG-based eye tracking is a new and difficult research topic in the field of eye tracking, but it provides an alternative to image-based eye tracking with an input data set comparable to conventional ima…
▽ More
In this paper, we present two approaches and algorithms that adapt areas of interest We present a new deep neural network (DNN) that can be used to directly determine gaze position using EEG data. EEG-based eye tracking is a new and difficult research topic in the field of eye tracking, but it provides an alternative to image-based eye tracking with an input data set comparable to conventional image processing. The presented DNN exploits spatial dependencies of the EEG signal and uses convolutions similar to spatial filtering, which is used for preprocessing EEG signals. By this, we improve the direct gaze determination from the EEG signal compared to the state of the art by 3.5 cm MAE (Mean absolute error), but unfortunately still do not achieve a directly applicable system, since the inaccuracy is still significantly higher compared to image-based eye trackers.
Link: https://es-cloud.cs.uni-tuebingen.de/d/8e2ab8c3fdd444e1a135/?p=%2FEEGGaze&mode=list
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
A Decomposition Approach to Multi-Agent Systems with Bernoulli Packet Loss
Authors:
Christian Hespe,
Hamideh Saadabadi,
Adwait Datar,
Herbert Werner,
Yang Tang
Abstract:
In this paper, we extend the decomposable systems framework to multi-agent systems with Bernoulli distributed packet loss with uniform probability. The proposed sufficient analysis conditions for mean-square stability and $H_2$-performance -- which are expressed in the form of linear matrix inequalities -- scale linearly with increased network size and thus allow to analyse even very large-scale m…
▽ More
In this paper, we extend the decomposable systems framework to multi-agent systems with Bernoulli distributed packet loss with uniform probability. The proposed sufficient analysis conditions for mean-square stability and $H_2$-performance -- which are expressed in the form of linear matrix inequalities -- scale linearly with increased network size and thus allow to analyse even very large-scale multi-agent systems. A numerical example demonstrates the potential of the approach by application to a first-order consensus problem.
△ Less
Submitted 8 May, 2023; v1 submitted 7 September, 2022;
originally announced September 2022.
-
Event-Triggered l2-Optimal Formation Control with State-Estimation for Agents Modeled as LPV Systems
Authors:
Gerald Gebhardt,
Hamideh Saadabadi,
Herbert Werner
Abstract:
This paper proposes a distributed scheme with different estimators for the event-triggered formation control of polytopic homogeneously scheduled linear parameter-varying (LPV) multi-agent systems (MAS). Each agent consists of a time-triggered inner feedback loop and a larger event-triggered outer feedback loop to track a formation reference signal and reject input and output noise. If a local eve…
▽ More
This paper proposes a distributed scheme with different estimators for the event-triggered formation control of polytopic homogeneously scheduled linear parameter-varying (LPV) multi-agent systems (MAS). Each agent consists of a time-triggered inner feedback loop and a larger event-triggered outer feedback loop to track a formation reference signal and reject input and output noise. If a local event-trigger condition is violated, the event-triggered outer feedback loop is closed through the communication network. The event-trigger condition is only based on locally available information. To design the controller, a synthesis problem is formulated as a linear matrix inequality of the size of a single agent under the assumption, that local estimators trigger intercommunication events with neighboring agents if the event-trigger condition is violated. The design procedure guarantees stability and bounded l2-performance. Furthermore, the estimators are interchangeable for a given controller. We compare in simulation zero-order hold, open-loop estimation, and closed-loop estimation strategies. Simulation trials are carried out with non-holonomic dynamic unicycles modeled as polytopic LPV systems.
△ Less
Submitted 5 September, 2022;
originally announced September 2022.
-
System response analysis in wavenumber domain for linear space-invariant time-varying problems
Authors:
Wending Mai,
**gwei Xu,
Arkaprovo Das,
Douglas H. Werner
Abstract:
Being a powerful tool for linear time-invariant (LTI) systems, system response analysis can also be applied to the so-called linear space-invariant (LSI) but time-varying systems, which is a dual of the conventional LTI problems. In this paper, we propose a system response analysis method for LSI problems by conducting Fourier transform of the field distribution on the space instead of time coordi…
▽ More
Being a powerful tool for linear time-invariant (LTI) systems, system response analysis can also be applied to the so-called linear space-invariant (LSI) but time-varying systems, which is a dual of the conventional LTI problems. In this paper, we propose a system response analysis method for LSI problems by conducting Fourier transform of the field distribution on the space instead of time coordinate. Specifically, input and output signals can be expressed in the wavenumber (spatial frequency) domain. In this way, the system function in wavenumber domain can also be obtained for LSI systems. Given an arbitrary input and temporal profile of the medium, the output can be easily predicted using the system function. Moreover, for a complex temporal system, the proposed method allows for decomposing it into multiple simpler subsystems that appear in sequence in time. The system function of the whole system can be efficiently calculated by multiplying those of the individual subsystems.
△ Less
Submitted 8 August, 2022; v1 submitted 1 August, 2022;
originally announced August 2022.
-
Contact tracing Inspired Efficient Computation by Energy Tracing
Authors:
Wending Mai,
Ronald P. Jenkins,
Yifan Chen,
Douglas H. Werner
Abstract:
Inspired by the epidemic contact tracing technique, we propose a method to efficiently solve electromagnetics by tracing the energy distribution. The computational domain is adaptively decomposed, and the available computational resources are focused on those energy-active (infections) and their adjacent (exposed) domains, while avoiding the unnecessary computation of energy-null (unexposed) domai…
▽ More
Inspired by the epidemic contact tracing technique, we propose a method to efficiently solve electromagnetics by tracing the energy distribution. The computational domain is adaptively decomposed, and the available computational resources are focused on those energy-active (infections) and their adjacent (exposed) domains, while avoiding the unnecessary computation of energy-null (unexposed) domains. As an example, we employ this method to solve several optics problems. The proposed method shows high efficiency while maintaining a good accuracy. The energy tracing method is based on the causality principle, and therefore is potentially transformative into other computational physics and associated algorithms.
△ Less
Submitted 8 August, 2022; v1 submitted 9 July, 2022;
originally announced July 2022.
-
Chiral Ball and Its Omnidirectional Circularly-Polarized Radiation
Authors:
Wending Mai,
Chunxu Mao,
Galestan Mackertich-Sengerdy,
Yifan Chen,
Douglas H. Werner
Abstract:
Chiral structures have reported radiation of circular polarized electromagnetic waves (CPs) in a specific direction. Here we report a class of torus knot radiators that is not only chiral but also three-dimensional (3-D) rotational symmetric along X, Y and Z axes. Because of this exotic chirality and symmetry, the knot radiator presented is able to demonstrate omnidirectional circular polarized ra…
▽ More
Chiral structures have reported radiation of circular polarized electromagnetic waves (CPs) in a specific direction. Here we report a class of torus knot radiators that is not only chiral but also three-dimensional (3-D) rotational symmetric along X, Y and Z axes. Because of this exotic chirality and symmetry, the knot radiator presented is able to demonstrate omnidirectional circular polarized radiation, which has never been reported in any known structures.
△ Less
Submitted 8 August, 2022; v1 submitted 13 July, 2022;
originally announced July 2022.
-
Fundamental asymmetries between spatial and temporal boundaries in electromagnetics
Authors:
Wending Mai,
**gwei Xu,
Douglas H. Werner
Abstract:
Time-varying materials bring an extra degree of design freedom compared to their conventional time-invariant counterparts. However, few discussions have focused on the underlying physical difference between spatial and temporal boundaries. In this letter, we thoroughly investigate those differences from the perspective of conservation laws. By doing so, the building blocks of optics and electromag…
▽ More
Time-varying materials bring an extra degree of design freedom compared to their conventional time-invariant counterparts. However, few discussions have focused on the underlying physical difference between spatial and temporal boundaries. In this letter, we thoroughly investigate those differences from the perspective of conservation laws. By doing so, the building blocks of optics and electromagnetics such as the reflection law, Snell's law, and Fresnel's equations can be analogously derived in a temporal context, but with completely different interpretations. Furthermore, we study the unique features of temporal boundaries, such as their nonconformance to energy conservation and causality.
△ Less
Submitted 8 August, 2022; v1 submitted 9 July, 2022;
originally announced July 2022.
-
Evidencing non-Bloch dynamics in temporal topolectrical circuits
Authors:
Maopeng Wu,
Qian Zhao,
Lei Kang,
Mingze Weng,
Zhonghai Chi,
Ruiguang Peng,
**gquan Liu,
Douglas H. Werner,
Yonggang Meng,
Ji Zhou
Abstract:
One of the core concepts from the non-Hermitian skin effect is the extended complex wavevectors (CW) in the generalized Brillouin zone (GBZ), while the origin of CW remains elusive, and further experimental demonstration of GBZ is still lacking. We show that the bulk states of an open quantum system dynamically governed by the Lindblad master equation exhibit non-Bloch evolution which results in C…
▽ More
One of the core concepts from the non-Hermitian skin effect is the extended complex wavevectors (CW) in the generalized Brillouin zone (GBZ), while the origin of CW remains elusive, and further experimental demonstration of GBZ is still lacking. We show that the bulk states of an open quantum system dynamically governed by the Lindblad master equation exhibit non-Bloch evolution which results in CW. Experimentally, we present temporal topolectrical circuits to serve as simulators for the dynamics of an open system. By reconstructing the correspondence between the bulk states of an open system and circuit voltage modes through gauge scale potentials in the circuit, the non-Bloch evolution is demonstrated. Facilitated by the simulators and proper approach to characterize the non-Bloch band proposed here, the GBZ is confirmed. Our work may advance the investigation of the dissipative topological modes and provide a versatile platform for exploring the unique evolution and topology for both closed and open systems.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
Spectra of generators of Markovian evolution in the thermodynamic limit: From non-Hermitian to full evolution via tridiagonal Laurent matrices
Authors:
Frederik Ravn Klausen,
Albert H. Werner
Abstract:
We determine spectra of single-particle translation-invariant Lindblad operators on the infinite line. In the case where the Hamiltonian is given by the discrete Laplacian and the Lindblad operators are rank $r$, finite range and translates of each other, we obtain a representation of the Lindbladian as a direct integral of finite range bi-infinite Laurent matrices with rank-$r$-perturbations. By…
▽ More
We determine spectra of single-particle translation-invariant Lindblad operators on the infinite line. In the case where the Hamiltonian is given by the discrete Laplacian and the Lindblad operators are rank $r$, finite range and translates of each other, we obtain a representation of the Lindbladian as a direct integral of finite range bi-infinite Laurent matrices with rank-$r$-perturbations. By analyzing the direct integral we rigorously determine the spectra in the general case and calculate it explicitly for several types of dissipation e.g.\ dephasing, and coherent hop**. We further use the detailed information about the spectrum to prove gaplessness, absence of residual spectrum and a condition for convergence of finite volume spectra to their infinite volume counterparts. We finally extend the discussion to the case of the Anderson Hamiltonian, which enables us to study a Lindbladian recently associated with localization in open quantum systems.
△ Less
Submitted 2 July, 2023; v1 submitted 20 June, 2022;
originally announced June 2022.
-
Robust Performance Analysis of Cooperative Control Dynamics via Integral Quadratic Constraints
Authors:
Adwait Datar,
Christian Hespe,
Herbert Werner
Abstract:
We study cooperative control dynamics with gradient based forcing terms. As a specific example, we focus on source-seeking dynamics with vehicles embedded in an unknown scalar field with a subset of agents having gradient information. As interaction mechanisms, formation control dynamics and flocking dynamics are considered. We leverage the framework of $α$-integral quadratic constraints to obtain…
▽ More
We study cooperative control dynamics with gradient based forcing terms. As a specific example, we focus on source-seeking dynamics with vehicles embedded in an unknown scalar field with a subset of agents having gradient information. As interaction mechanisms, formation control dynamics and flocking dynamics are considered. We leverage the framework of $α$-integral quadratic constraints to obtain convergence rate estimates whenever exponential stability can be achieved. The communication graph and the interaction potential are assumed to be time-invariant and uncertain. Sufficient conditions take the form of linear matrix inequalities independent of the size of network. A derivation (purely in time-domain) of the so-called \textit{hard} Zames-Falb $α$-IQCs involving general non-causal higher order multipliers is given along with a suitably adapted parameterization of the multipliers to the $α$-IQC setting. The time-domain arguments facilitate a straightforward extension to linear parameter varying systems. Numerical examples illustrate the application of the theoretical results.
△ Less
Submitted 27 May, 2023; v1 submitted 9 June, 2022;
originally announced June 2022.
-
Efficient and robust estimation of many-qubit Hamiltonians
Authors:
Daniel Stilck França,
Liubov A. Markovich,
V. V. Dobrovitski,
Albert H. Werner,
Johannes Borregaard
Abstract:
Characterizing the interactions and dynamics of quantum mechanical systems is an essential task in the development of quantum technologies. We propose an efficient protocol based on the estimation of the time derivatives of few qubit observables using polynomial interpolation for characterizing the underlying Hamiltonian dynamics and Markovian noise of a multi-qubit device. For finite range dynami…
▽ More
Characterizing the interactions and dynamics of quantum mechanical systems is an essential task in the development of quantum technologies. We propose an efficient protocol based on the estimation of the time derivatives of few qubit observables using polynomial interpolation for characterizing the underlying Hamiltonian dynamics and Markovian noise of a multi-qubit device. For finite range dynamics, our protocol exponentially relaxes the necessary time resolution of the measurements and quadratically reduces the overall sample complexity compared to previous approaches. Furthermore, we show that our protocol can characterize the dynamics of systems with algebraically decaying interactions. The implementation of the protocol requires only the preparation of product states and single-qubit measurements. Furthermore, we develop a shadow tomography method for quantum channels that is of independent interest. This protocol can be used to parallelize to learn the Hamiltonian, rendering it applicable for the characterization of both current and future quantum devices.
△ Less
Submitted 15 November, 2022; v1 submitted 19 May, 2022;
originally announced May 2022.
-
Finite State Markov Modeling of C-V2X Erasure Links For Performance and Stability Analysis of Platooning Applications
Authors:
Mahdi Razzaghpour,
Adwait Datar,
Daniel Schneider,
Mahdi Zaman,
Herbert Werner,
Hannes Frey,
Javad Mohammadpour Velni,
Yaser P. Fallah
Abstract:
Cooperative driving systems, such as platooning, rely on communication and information exchange to create situational awareness for each agent. Design and performance of control components are therefore tightly coupled with communication component performance. The information flow between vehicles can significantly affect the dynamics of a platoon. Therefore, both the performance and the stability…
▽ More
Cooperative driving systems, such as platooning, rely on communication and information exchange to create situational awareness for each agent. Design and performance of control components are therefore tightly coupled with communication component performance. The information flow between vehicles can significantly affect the dynamics of a platoon. Therefore, both the performance and the stability of a platoon depend not only on the vehicle's controller but also on the information flow Topology (IFT). The IFT can cause limitations for certain platoon properties, i.e., stability and scalability. Cellular Vehicle-To-Everything (C-V2X) has emerged as one of the main communication technologies to support connected and automated vehicle applications. As a result of packet loss, wireless channels create random link interruption and changes in network topologies. In this paper, we model the communication links between vehicles with a first-order Markov model to capture the prevalent time correlations for each link. These models enable performance evaluation through better approximation of communication links during system design stages. Our approach is to use data from experiments to model the Inter-Packet Gap (IPG) using Markov chains and derive transition probability matrices for consecutive IPG states. Training data is collected from high fidelity simulations using models derived based on empirical data for a variety of different vehicle densities and communication rates. Utilizing the IPG models, we analyze the mean-square stability of a platoon of vehicles with the standard consensus protocol tuned for ideal communication and compare the degradation in performance for different scenarios.
△ Less
Submitted 18 February, 2022; v1 submitted 13 November, 2021;
originally announced November 2021.
-
Estimating gate-set properties from random sequences
Authors:
J. Helsen,
M. Ioannou,
J. Kitzinger,
E. Onorati,
A. H. Werner,
J. Eisert,
I. Roth
Abstract:
With quantum computing devices increasing in scale and complexity, there is a growing need for tools that obtain precise diagnostic information about quantum operations. However, current quantum devices are only capable of short unstructured gate sequences followed by native measurements. We accept this limitation and turn it into a new paradigm for characterizing quantum gate-sets. A single exper…
▽ More
With quantum computing devices increasing in scale and complexity, there is a growing need for tools that obtain precise diagnostic information about quantum operations. However, current quantum devices are only capable of short unstructured gate sequences followed by native measurements. We accept this limitation and turn it into a new paradigm for characterizing quantum gate-sets. A single experiment - random sequence estimation - solves a wealth of estimation problems, with all complexity moved to classical post-processing. We derive robust channel variants of shadow estimation with close-to-optimal performance guarantees and use these as a primitive for partial, compressive and full process tomography as well as the learning of Pauli noise. We discuss applications to the quantum gate engineering cycle, and propose novel methods for the optimization of quantum gates and diagnosing cross-talk.
△ Less
Submitted 31 August, 2023; v1 submitted 25 October, 2021;
originally announced October 2021.
-
Robust Performance Analysis of Source-Seeking Dynamics with Integral Quadratic Constraints
Authors:
Adwait Datar,
Herbert Werner
Abstract:
We analyze the performance of source-seeking dynamics involving either a single vehicle or multiple flocking-vehicles embedded in an underlying strongly convex scalar field with gradient based forcing terms. For multiple vehicles under flocking dynamics embedded in quadratic fields, we show that the dynamics of the center of mass are equivalent to the dynamics of a single agent. We leverage the re…
▽ More
We analyze the performance of source-seeking dynamics involving either a single vehicle or multiple flocking-vehicles embedded in an underlying strongly convex scalar field with gradient based forcing terms. For multiple vehicles under flocking dynamics embedded in quadratic fields, we show that the dynamics of the center of mass are equivalent to the dynamics of a single agent. We leverage the recently developed framework of $α$-integral quadratic constraints (IQCs) to obtain convergence rate estimates. We first present a derivation of \textit{hard} Zames-Falb (ZF) $α$-IQCs involving general non-causal multipliers based on purely time-domain arguments and show that a parameterization of the ZF multiplier, suggested in the literature for the standard version of the ZF IQCs, can be adapted to the $α$-IQCs setting to obtain quasi-convex programs for estimating convergence rates. Owing to the time-domain arguments, we can seamlessly extend these results to linear parameter varying (LPV) vehicles possibly opening the doors to non-linear vehicle models with quasi-LPV representations. We illustrate the theoretical results on a linear time invariant (LTI) model of a quadrotor, a non-minimum phase LTI plant and two LPV examples which show a clear benefit of using general non-causal dynamic multipliers to drastically reduce conservatism.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Absolutely Continuous Edge Spectrum of Hall Insulators on the Lattice
Authors:
Alex Bols,
Albert H. Werner
Abstract:
The presence of chiral modes on the edges of quantum Hall samples is essential to our understanding of the quantum Hall effect. In particular, these edge modes should support ballistic transport and therefore, in a single particle picture, be supported in the absolutely continuous spectrum of the single-particle Hamiltonian. We show in this note that if a free fermion system on the two-dimensional…
▽ More
The presence of chiral modes on the edges of quantum Hall samples is essential to our understanding of the quantum Hall effect. In particular, these edge modes should support ballistic transport and therefore, in a single particle picture, be supported in the absolutely continuous spectrum of the single-particle Hamiltonian. We show in this note that if a free fermion system on the two-dimensional lattice is gapped in the bulk, and has a nonvanishing Hall conductance, then the same system put on a half-space geometry supports edge modes whose spectrum fills the entire bulk gap and is absolutely continuous.
△ Less
Submitted 21 January, 2021;
originally announced January 2021.
-
A general framework for randomized benchmarking
Authors:
Jonas Helsen,
Ingo Roth,
Emilio Onorati,
Albert H. Werner,
Jens Eisert
Abstract:
Randomized benchmarking (RB) refers to a collection of protocols that in the past decade have become central methods for characterizing quantum gates. These protocols aim at efficiently estimating the quality of a set of quantum gates in a way that is resistant to state preparation and measurement errors. Over the years many versions have been developed, however, a comprehensive theoretical treatm…
▽ More
Randomized benchmarking (RB) refers to a collection of protocols that in the past decade have become central methods for characterizing quantum gates. These protocols aim at efficiently estimating the quality of a set of quantum gates in a way that is resistant to state preparation and measurement errors. Over the years many versions have been developed, however, a comprehensive theoretical treatment of RB has been missing. In this work, we develop a rigorous framework of RB general enough to encompass virtually all known protocols as well as novel, more flexible extensions. Overcoming previous limitations on error models and gate sets, this framework allows us, for the first time, to formulate realistic conditions under which we can rigorously guarantee that the output of any RB experiment is well-described by a linear combination of matrix exponential decays. We complement this with a detailed analysis of the fitting problem associated with RB data. We introduce modern signal processing techniques to RB, prove analytical sample complexity bounds, and numerically evaluate performance and limitations. In order to reduce the resource demands of this fitting problem, we introduce novel, scalable post-processing techniques to isolate exponential decays, significantly improving the practical feasibility of a large set of RB protocols. These post-processing techniques overcome shortcomings in efficiency of several previously proposed methods such as character benchmarking and linear-cross entropy benchmarking. Finally, we discuss, in full generality, how and when RB decay rates can be used to infer quality measures like the average fidelity. On the technical side, our work substantially extends the recently developed Fourier-theoretic perspective on RB by making use of the perturbation theory of invariant subspaces, as well as ideas from signal processing.
△ Less
Submitted 5 April, 2022; v1 submitted 15 October, 2020;
originally announced October 2020.
-
Transport properties of band engineered p-n heterostructures of epitaxial Bi$_2$Se$_3$/(Bi$_{1-x}$Sb$_x$)$_2$(Te$_{1-y}$Se$_y$)$_3$ topological insulators
Authors:
T. Mayer,
H. Werner,
F. Schmid,
R. Diaz-Pardo,
J. Fujii,
I. Vobornik,
C. H. Back,
M. Kronseder,
D. Bougeard
Abstract:
The challenge of parasitic bulk do** in Bi-based 3D topological insulator materials is still omnipresent, especially when preparing samples by molecular beam epitaxy (MBE). Here, we present a heterostructure approach for epitaxial BSTS growth. A thin n-type Bi$_2$Se$_3$ (BS) layer is used as an epitaxial and electrostatic seed which drastically improves the crystalline and electronic quality and…
▽ More
The challenge of parasitic bulk do** in Bi-based 3D topological insulator materials is still omnipresent, especially when preparing samples by molecular beam epitaxy (MBE). Here, we present a heterostructure approach for epitaxial BSTS growth. A thin n-type Bi$_2$Se$_3$ (BS) layer is used as an epitaxial and electrostatic seed which drastically improves the crystalline and electronic quality and reproducibility of the sample properties. In heterostructures of BS with p-type (Bi$_{1-x}$Sb$_x$)$_2$(Te$_{1-y}$Se$_y$)$_3$ (BSTS) we demonstrate intrinsic band bending effects to tune the electronic properties solely by adjusting the thickness of the respective layer. The analysis of weak anti-localization features in the magnetoconductance indicates a separation of top and bottom conduction layers with increasing BSTS thickness. By temperature- and gate-dependent transport measurements, we show that the thin BS seed layer can be completely depleted within the heterostructure and demonstrate electrostatic tuning of the bands via a back-gate throughout the whole sample thickness.
△ Less
Submitted 20 January, 2021; v1 submitted 13 October, 2020;
originally announced October 2020.
-
Optimization at the boundary of the tensor network variety
Authors:
Matthias Christandl,
Fulvio Gesmundo,
Daniel Stilck Franca,
Albert H. Werner
Abstract:
Tensor network states form a variational ansatz class widely used, both analytically and numerically, in the study of quantum many-body systems. It is known that if the underlying graph contains a cycle, e.g. as in projected entangled pair states (PEPS), then the set of tensor network states of given bond dimension is not closed. Its closure is the tensor network variety. Recent work has shown tha…
▽ More
Tensor network states form a variational ansatz class widely used, both analytically and numerically, in the study of quantum many-body systems. It is known that if the underlying graph contains a cycle, e.g. as in projected entangled pair states (PEPS), then the set of tensor network states of given bond dimension is not closed. Its closure is the tensor network variety. Recent work has shown that states on the boundary of this variety can yield more efficient representations for states of physical interest, but it remained unclear how to systematically find and optimize over such representations. We address this issue by defining a new ansatz class of states that includes states at the boundary of the tensor network variety of given bond dimension. We show how to optimize over this class in order to find ground states of local Hamiltonians by only slightly modifying standard algorithms and code for tensor networks. We apply this new method to a different of models and observe favorable energies and runtimes when compared with standard tensor network methods.
△ Less
Submitted 25 May, 2021; v1 submitted 30 June, 2020;
originally announced June 2020.
-
Lieb-Robinson bounds imply locality of interactions
Authors:
Henrik Wilming,
Albert H. Werner
Abstract:
Discrete lattice models are a cornerstone of quantum many-body physics. They arise as effective descriptions of condensed matter systems and lattice-regularized quantum field theories. Lieb-Robinson bounds imply that if the degrees of freedom at each lattice site only interact locally with each other, correlations can only propagate with a finite group velocity through the lattice, similarly to a…
▽ More
Discrete lattice models are a cornerstone of quantum many-body physics. They arise as effective descriptions of condensed matter systems and lattice-regularized quantum field theories. Lieb-Robinson bounds imply that if the degrees of freedom at each lattice site only interact locally with each other, correlations can only propagate with a finite group velocity through the lattice, similarly to a light cone in relativistic systems. Here we show that Lieb-Robinson bounds are equivalent to the locality of the interactions: a system with k-body interactions fulfills Lieb-Robinson bounds in exponential form if and only if the underlying interactions decay exponentially in space. In particular, our result already follows from the behavior of two-point correlation functions for single-site observables and generalizes to different decay behaviours as well as fermionic lattice models. As a side-result, we thus find that Lieb-Robinson bounds for single-site observables imply Lieb-Robinson bounds for bounded observables with arbitrary support.
△ Less
Submitted 28 September, 2020; v1 submitted 17 June, 2020;
originally announced June 2020.
-
Chiral Floquet systems and quantum walks at half period
Authors:
C. Cedzich,
T. Geib,
A. H. Werner,
R. F. Werner
Abstract:
We classify chiral symmetric periodically driven quantum systems on a one-dimensional lattice. The driving process is local, can be continuous or discrete in time, and we assume a gap condition for the corresponding Floquet operator. The analysis is in terms of the unitary operator at a half-period, the half-step operator. We give a complete classification of the connected classes of half-step ope…
▽ More
We classify chiral symmetric periodically driven quantum systems on a one-dimensional lattice. The driving process is local, can be continuous or discrete in time, and we assume a gap condition for the corresponding Floquet operator. The analysis is in terms of the unitary operator at a half-period, the half-step operator. We give a complete classification of the connected classes of half-step operators in terms of five integer indices. On the basis of these indices it can be decided whether the half-step operator can be obtained from a continuous Hamiltonian driving, or not. The half-step operator determines two Floquet operators, obtained by starting the driving at zero or at half period, respectively. These are called timeframes and are chiral symmetric quantum walks. Conversely, we show under which conditions two chiral symmetric walks determine a common half-step operator. Moreover, we clarify the connection between the classification of half-step operators and the corresponding quantum walks. Within this theory we prove bulk-edge correspondence and show that a second timeframe allows to distinguish between symmetry protected edge states at $+1$ and $-1$ which is not possible for a single timeframe.
△ Less
Submitted 29 September, 2022; v1 submitted 8 June, 2020;
originally announced June 2020.
-
The semiring of dichotomies and asymptotic relative submajorization
Authors:
Christopher Perry,
Péter Vrana,
Albert H. Werner
Abstract:
We study quantum dichotomies and the resource theory of asymmetric distinguishability using a generalization of Strassen's theorem on preordered semirings. We find that an asymptotic variant of relative submajorization, defined on unnormalized dichotomies, is characterized by real-valued monotones that are multiplicative under the tensor product and additive under the direct sum. These strong cons…
▽ More
We study quantum dichotomies and the resource theory of asymmetric distinguishability using a generalization of Strassen's theorem on preordered semirings. We find that an asymptotic variant of relative submajorization, defined on unnormalized dichotomies, is characterized by real-valued monotones that are multiplicative under the tensor product and additive under the direct sum. These strong constraints allow us to classify and explicitly describe all such monotones, leading to a rate formula expressed as an optimization involving sandwiched Rényi divergences. As an application we give a new derivation of the strong converse error exponent in quantum hypothesis testing.
△ Less
Submitted 22 April, 2020;
originally announced April 2020.
-
Singular continuous Cantor spectrum for magnetic quantum walks
Authors:
C. Cedzich,
J. Fillman,
T. Geib,
A. H. Werner
Abstract:
In this note, we consider a physical system given by a two-dimensional quantum walk in an external magnetic field. In this setup, we show that both the topological structure as well as its type depend sensitively on the value of the magnetic flux $Φ$: while for $Φ/(2π)$ rational the spectrum is known to consist of bands, we show that for $Φ/(2π)$ irrational the spectrum is a zero-measure Cantor se…
▽ More
In this note, we consider a physical system given by a two-dimensional quantum walk in an external magnetic field. In this setup, we show that both the topological structure as well as its type depend sensitively on the value of the magnetic flux $Φ$: while for $Φ/(2π)$ rational the spectrum is known to consist of bands, we show that for $Φ/(2π)$ irrational the spectrum is a zero-measure Cantor set and the spectral measures have no pure point part.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
A Knotted Meta-molecule with 2-D Isotropic Optical Activity Rotating the Incident Polarization by 90°
Authors:
Wending Mai,
Lei Kang,
Chunxu Mao,
Ronald Jenkins,
Danny Zhu,
**juan Werner,
Douglas H. Werner,
Jun Hu,
Wei** Cao,
Yifan Chen
Abstract:
Optical activity is the ability of chiral materials to rotate linearly-polarized (LP) electromagnetic waves. Because of their intrinsic asymmetry, traditional chiral molecules usually lack isotropic performance, or at best only possess a weak form of chirality. Here we introduce a knotted chiral meta-molecule that exhibits optical activity corresponding to a 90° polarization rotation of the incide…
▽ More
Optical activity is the ability of chiral materials to rotate linearly-polarized (LP) electromagnetic waves. Because of their intrinsic asymmetry, traditional chiral molecules usually lack isotropic performance, or at best only possess a weak form of chirality. Here we introduce a knotted chiral meta-molecule that exhibits optical activity corresponding to a 90° polarization rotation of the incident waves. More importantly, arising from the continuous multi-fold rotational symmetry of the chiral torus knot structure, the observed polarization rotation behavior is found to be independent of how the incident wave is polarized. In other words, the proposed chiral knot structure possesses two-dimensional (2-D) isotropic optical activity as illustrated in Fig. 1, which has been experimentally validated in the microwave spectrum. The proposed chiral torus knot represents the most optically active meta-molecule reported to date that is intrinsically isotropic to the incident polarization.
△ Less
Submitted 8 August, 2019;
originally announced August 2019.
-
Anderson localization for electric quantum walks and skew-shift CMV matrices
Authors:
C. Cedzich,
A. H. Werner
Abstract:
We consider the spectral and dynamical properties of one-dimensional quantum walks placed into homogenous electric fields according to a discrete version of the minimal coupling principle. We show that for all irrational fields the absolutely continuous spectrum of these systems is empty, and prove Anderson localization for almost all (irrational) fields. This result closes a gap which was left op…
▽ More
We consider the spectral and dynamical properties of one-dimensional quantum walks placed into homogenous electric fields according to a discrete version of the minimal coupling principle. We show that for all irrational fields the absolutely continuous spectrum of these systems is empty, and prove Anderson localization for almost all (irrational) fields. This result closes a gap which was left open in the original study of electric quantum walks: a spectral and dynamical characterization of these systems for typical fields. Additionally, we derive an analytic and explicit expression for the Lyapunov exponent of this model. Making use of a connection between quantum walks and CMV matrices our result implies Anderson localization for CMV matrices with a particular choice of skew-shift Verblunsky coefficients as well as for quasi-periodic unitary band matrices.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Chiral Balls: Knotted Structures with Both Chirality and Three-dimensional Rotational Symmetry
Authors:
Wending Mai,
Chunxu Mao,
Lei Kang,
Yifan Chen,
Jun Hu,
Douglas H. Werner
Abstract:
Knots have been put forward to explain various physical phenomena because of their topological stability. Nevertheless, few works have reported on the exotic symmetry properties that certain knots possess. Here we reveal an exceptional form of symmetry for a family of knots that are both chiral and three-dimensional (3-D) rotationally symmetric about every axis of a standard Cartesian coordinate s…
▽ More
Knots have been put forward to explain various physical phenomena because of their topological stability. Nevertheless, few works have reported on the exotic symmetry properties that certain knots possess. Here we reveal an exceptional form of symmetry for a family of knots that are both chiral and three-dimensional (3-D) rotationally symmetric about every axis of a standard Cartesian coordinate system. We call these unique knotted structures chiral balls. To demonstrate the unprecedented physical characteristics exhibited by these unique structures, we study the electromagnetic scattering properties of a representative conductive chiral ball. In particular, a characteristic mode analysis is performed to investigate the intrinsic scattering properties of this chiral ball. With both chirality and 3-D rotational symmetry, the chiral ball is shown to exhibit an extraordinary isotropic circularly polarized scattering property, which has not been previously reported for any known electromagnetic structures. Because of their unique properties, chiral balls are expected to not only have a profound impact on the fields of electromagnetics and optics but also far beyond.
△ Less
Submitted 8 August, 2019; v1 submitted 5 April, 2019;
originally announced April 2019.
-
Quantum walks: Schur functions meet symmetry protected topological phases
Authors:
C. Cedzich,
T. Geib,
F. A. Grünbaum,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
This paper uncovers and exploits a link between a central object in harmonic analysis, the so-called Schur functions, and the very hot topic of symmetry protected topological phases of quantum matter. This connection is found in the setting of quantum walks, i.e. quantum analogs of classical random walks. We prove that topological indices classifying symmetry protected topological phases of quantu…
▽ More
This paper uncovers and exploits a link between a central object in harmonic analysis, the so-called Schur functions, and the very hot topic of symmetry protected topological phases of quantum matter. This connection is found in the setting of quantum walks, i.e. quantum analogs of classical random walks. We prove that topological indices classifying symmetry protected topological phases of quantum walks are encoded by matrix Schur functions built out of the walk. This main result of the paper reduces the calculation of these topological indices to a linear algebra problem: calculating symmetry indices of finite-dimensional unitaries obtained by evaluating such matrix Schur functions at the symmetry protected points $\pm1$. The Schur representation fully covers the complete set of symmetry indices for 1D quantum walks with a group of symmetries realizing any of the symmetry types of the tenfold way. The main advantage of the Schur approach is its validity in the absence of translation invariance, which allows us to go beyond standard Fourier methods, leading to the complete classification of non-translation invariant phases for typical examples.
△ Less
Submitted 16 April, 2021; v1 submitted 18 March, 2019;
originally announced March 2019.
-
Randomized benchmarking for individual quantum gates
Authors:
E. Onorati,
A. H. Werner,
J. Eisert
Abstract:
Any technology requires precise benchmarking of its components, and the quantum technologies are no exception. Randomized benchmarking allows for the relatively resource economical estimation of the average gate fidelity of quantum gates from the Clifford group, assuming identical noise levels for all gates, making use of suitable sequences of randomly chosen Clifford gates. In this work, we repor…
▽ More
Any technology requires precise benchmarking of its components, and the quantum technologies are no exception. Randomized benchmarking allows for the relatively resource economical estimation of the average gate fidelity of quantum gates from the Clifford group, assuming identical noise levels for all gates, making use of suitable sequences of randomly chosen Clifford gates. In this work, we report significant progress on randomized benchmarking, by showing that it can be done for individual quantum gates outside the Clifford group, even for varying noise levels per quantum gate. This is possible at little overhead of quantum resources, but at the expense of a significant classical computational cost. At the heart of our analysis is a representation-theoretic framework that we develop here which is brought into contact with classical estimation techniques based on bootstrap** and matrix pencils. We demonstrate the functioning of the scheme at hand of benchmarking tensor powers of T-gates. Apart from its practical relevance, we expect this insight to be relevant as it highlights the role of assumptions made on unknown noise processes when characterizing quantum gates at high precision.
△ Less
Submitted 4 December, 2018; v1 submitted 28 November, 2018;
originally announced November 2018.
-
Tensor network representations from the geometry of entangled states
Authors:
Matthias Christandl,
Angelo Lucia,
Péter Vrana,
Albert H. Werner
Abstract:
Tensor network states provide successful descriptions of strongly correlated quantum systems with applications ranging from condensed matter physics to cosmology. Any family of tensor network states possesses an underlying entanglement structure given by a graph of maximally entangled states along the edges that identify the indices of the tensors to be contracted. Recently, more general tensor ne…
▽ More
Tensor network states provide successful descriptions of strongly correlated quantum systems with applications ranging from condensed matter physics to cosmology. Any family of tensor network states possesses an underlying entanglement structure given by a graph of maximally entangled states along the edges that identify the indices of the tensors to be contracted. Recently, more general tensor networks have been considered, where the maximally entangled states on edges are replaced by multipartite entangled states on plaquettes. Both the structure of the underlying graph and the dimensionality of the entangled states influence the computational cost of contracting these networks. Using the geometrical properties of entangled states, we provide a method to construct tensor network representations with smaller effective bond dimension. We illustrate our method with the resonating valence bond state on the kagome lattice.
△ Less
Submitted 3 September, 2020; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Quantum walks in external gauge fields
Authors:
C. Cedzich,
T. Geib,
A. H. Werner,
R. F. Werner
Abstract:
Describing a particle in an external electromagnetic field is a basic task of quantum mechanics. The standard scheme for this is known as "minimal coupling", and consists of replacing the momentum operators in the Hamiltonian by modified ones with an added vector potential. In lattice systems it is not so clear how to do this, because there is no continuous translation symmetry, and hence there ar…
▽ More
Describing a particle in an external electromagnetic field is a basic task of quantum mechanics. The standard scheme for this is known as "minimal coupling", and consists of replacing the momentum operators in the Hamiltonian by modified ones with an added vector potential. In lattice systems it is not so clear how to do this, because there is no continuous translation symmetry, and hence there are no momenta. Moreover, when time is also discrete, as in quantum walk systems, there is no Hamiltonian, only a unitary step operator. We present a unified framework of gauge theory for such discrete systems, kee** a close analogy to the continuum case. In particular, we show how to implement minimal coupling in a way that automatically guarantees unitary dynamics. The scheme works in any lattice dimension, for any number of internal degree of freedom, for walks that allow jumps to a finite neighborhood rather than to nearest neighbours, is naturally gauge invariant, and prepares possible extensions to non-abelian gauge groups.
△ Less
Submitted 31 August, 2018;
originally announced August 2018.
-
Vorticity dynamics of revolving wings: The role of planetary vortex tilting on the stability of the leading-edge vortex
Authors:
Nathaniel H. Werner,
Hojae Chung,
Junshi Wang,
Geng Liu,
John Cimbala,
Haibo Dong,
Bo Cheng
Abstract:
This work investigated the vorticity dynamics and stability of leading-edge vortices (LEVs) in revolving wings. Previous studies suggested that Coriolis acceleration and spanwise flow both played key roles in stabilizing the LEV; however, the exact mechanism remains unclear. The current study examined a mechanism that relates the effects of Coriolis acceleration, spanwise flow, and the tilting of…
▽ More
This work investigated the vorticity dynamics and stability of leading-edge vortices (LEVs) in revolving wings. Previous studies suggested that Coriolis acceleration and spanwise flow both played key roles in stabilizing the LEV; however, the exact mechanism remains unclear. The current study examined a mechanism that relates the effects of Coriolis acceleration, spanwise flow, and the tilting of the planetary vortex on limiting the growth of the LEV. Specifically, this mechanism states that a vertical gradient in spanwise flow can create a vertical gradient in Coriolis acceleration, which will in turn produce oppositely-signed vorticity within the LEV. This gradient of Coriolis acceleration corresponds to the spanwise (radial) component of planetary vortex tilting (PVTr) that reorients the planetary vortex into the spanwise direction therefore creating oppositely-signed LEV vorticity. Using an in-house, immersed-boundary-method flow solver, this mechanism was investigated alongside the other vorticity dynamics for revolving wings of varying aspect ratio (AR=3, 5, and 7) and Reynolds number (Re=110, and 1400). Analyses of vorticity dynamics showed that the PVTr consistently produced oppositely-signed vorticity for all values of AR and Re investigated, although other three-dimensional phenomena play a similar but more dominant role when Re = 1400. In addition, the relative strength of the PVTr increased with increasing AR due to a decrease in the magnitude of advection. Finally, the effects of AR and Re on the vorticity dynamics and LEV stability were also investigated.
△ Less
Submitted 27 June, 2018;
originally announced June 2018.
-
Complete homotopy invariants for translation invariant symmetric quantum walks on a chain
Authors:
C. Cedzich,
T. Geib,
C. Stahl,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
We provide a classification of translation invariant one-dimensional quantum walks with respect to continuous deformations preserving unitarity, locality, translation invariance, a gap condition, and some symmetry of the tenfold way. The classification largely matches the one recently obtained (arXiv:1611.04439) for a similar setting leaving out translation invariance. However, the translation inv…
▽ More
We provide a classification of translation invariant one-dimensional quantum walks with respect to continuous deformations preserving unitarity, locality, translation invariance, a gap condition, and some symmetry of the tenfold way. The classification largely matches the one recently obtained (arXiv:1611.04439) for a similar setting leaving out translation invariance. However, the translation invariant case has some finer distinctions, because some walks may be connected only by breaking translation invariance along the way, retaining only invariance by an even number of sites. Similarly, if walks are considered equivalent when they differ only by adding a trivial walk, i.e., one that allows no jumps between cells, then the classification collapses also to the general one. The indices of the general classification can be computed in practice only for walks closely related to some translation invariant ones. We prove a completed collection of simple formulas in terms of winding numbers of band structures covering all symmetry types. Furthermore, we determine the strength of the locality conditions, and show that the continuity of the band structure, which is a minimal requirement for topological classifications in terms of winding numbers to make sense, implies the compactness of the commutator of the walk with a half-space projection, a condition which was also the basis of the general theory. In order to apply the theory to the joining of large but finite bulk pieces, one needs to determine the asymptotic behaviour of a stationary Schrödinger equation. We show exponential behaviour, and give a practical method for computing the decay constants.
△ Less
Submitted 21 September, 2018; v1 submitted 12 April, 2018;
originally announced April 2018.
-
The topological classification of one-dimensional symmetric quantum walks
Authors:
C. Cedzich,
T. Geib,
F. A. Grünbaum,
C. Stahl,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
We give a topological classification of quantum walks on an infinite 1D lattice, which obey one of the discrete symmetry groups of the tenfold way, have a gap around some eigenvalues at symmetry protected points, and satisfy a mild locality condition. No translation invariance is assumed. The classification is parameterized by three indices, taking values in a group, which is either trivial, the g…
▽ More
We give a topological classification of quantum walks on an infinite 1D lattice, which obey one of the discrete symmetry groups of the tenfold way, have a gap around some eigenvalues at symmetry protected points, and satisfy a mild locality condition. No translation invariance is assumed. The classification is parameterized by three indices, taking values in a group, which is either trivial, the group of integers, or the group of integers modulo 2, depending on the type of symmetry. The classification is complete in the sense that two walks have the same indices if and only if they can be connected by a norm continuous path along which all the mentioned properties remain valid. Of the three indices, two are related to the asymptotic behaviour far to the right and far to the left, respectively. These are also stable under compact perturbations. The third index is sensitive to those compact perturbations which cannot be contracted to a trivial one. The results apply to the Hamiltonian case as well. In this case all compact perturbations can be contracted, so the third index is not defined. Our classification extends the one known in the translation invariant case, where the asymptotic right and left indices add up to zero, and the third one vanishes, leaving effectively only one independent index. When two translationally invariant bulks with distinct indices are joined, the left and right asymptotic indices of the joined walk are thereby fixed, and there must be eigenvalues at $1$ or $-1$ (bulk-boundary correspondence). Their location is governed by the third index. We also discuss how the theory applies to finite lattices, with suitable homogeneity assumptions.
△ Less
Submitted 7 September, 2018; v1 submitted 14 November, 2016;
originally announced November 2016.
-
Mixing properties of stochastic quantum Hamiltonians
Authors:
E. Onorati,
O. Buerschaper,
M. Kliesch,
W. Brown,
A. H. Werner,
J. Eisert
Abstract:
Random quantum processes play a central role both in the study of fundamental mixing processes in quantum mechanics related to equilibration, thermalisation and fast scrambling by black holes, as well as in quantum process design and quantum information theory. In this work, we present a framework describing the mixing properties of continuous-time unitary evolutions originating from local Hamilto…
▽ More
Random quantum processes play a central role both in the study of fundamental mixing processes in quantum mechanics related to equilibration, thermalisation and fast scrambling by black holes, as well as in quantum process design and quantum information theory. In this work, we present a framework describing the mixing properties of continuous-time unitary evolutions originating from local Hamiltonians having time-fluctuating terms, reflecting a Brownian motion on the unitary group. The induced stochastic time evolution is shown to converge to a unitary design. As a first main result, we present bounds to the mixing time. By develo** tools in representation theory, we analytically derive an expression for a local k-th moment operator that is entirely independent of k, giving rise to approximate unitary k-designs and quantum tensor product expanders. As a second main result, we introduce tools for proving bounds on the rate of decoupling from an environment with random quantum processes. By tying the mathematical description closely with the more established one of random quantum circuits, we present a unified picture for analysing local random quantum and classes of Markovian dissipative processes, for which we also discuss applications.
△ Less
Submitted 21 February, 2017; v1 submitted 6 June, 2016;
originally announced June 2016.
-
Emergence of spontaneous symmetry breaking in dissipative lattice systems
Authors:
H. Wilming,
M. J. Kastoryano,
A. H. Werner,
J. Eisert
Abstract:
A cornerstone of the theory of phase transitions is the observation that many-body systems exhibiting a spontaneous symmetry breaking in the thermodynamic limit generally show extensive fluctuations of an order parameter in large but finite systems. In this work, we introduce the dynamical analogue of such a theory. Specifically, we consider local dissipative dynamics preparing a steady-state of q…
▽ More
A cornerstone of the theory of phase transitions is the observation that many-body systems exhibiting a spontaneous symmetry breaking in the thermodynamic limit generally show extensive fluctuations of an order parameter in large but finite systems. In this work, we introduce the dynamical analogue of such a theory. Specifically, we consider local dissipative dynamics preparing a steady-state of quantum spins on a lattice exhibiting a discrete or continuous symmetry but with extensive fluctuations in a local order parameter. We show that for all such processes satisfying detailed balance, there exist metastable symmetry-breaking states, i.e., states that become stationary in the thermodynamic limit and give a finite value to the order parameter. We give results both for discrete and continuous symmetries and explicitly show how to construct the symmetry-breaking states. Our results show in a simple way that, in large systems, local dissipative dynamics satisfying detailed balance cannot uniquely and efficiently prepare states with extensive fluctuations with respect to local operators. We discuss the implications of our results for quantum simulators and dissipative state preparation.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
Experimentally accessible witnesses of many-body localisation
Authors:
M. Goihl,
M. Friesdorf,
A. H. Werner,
W. Brown,
J. Eisert
Abstract:
The phenomenon of many-body localised (MBL) systems has attracted significant interest in recent years, for its intriguing implications from a perspective of both condensed-matter and statistical physics: they are insulators even at non-zero temperature and fail to thermalise, violating expectations from quantum statistical mechanics. What is more, recent seminal experimental developments with ult…
▽ More
The phenomenon of many-body localised (MBL) systems has attracted significant interest in recent years, for its intriguing implications from a perspective of both condensed-matter and statistical physics: they are insulators even at non-zero temperature and fail to thermalise, violating expectations from quantum statistical mechanics. What is more, recent seminal experimental developments with ultra-cold atoms in optical lattices constituting analog quantum simulators have pushed many-body localised systems into the realm of physical systems that can be measured with high accuracy. In this work, we introduce experimentally accessible witnesses that directly probe distinct features of MBL, distinguishing it from its Anderson counterpart. We insist on building our toolbox from techniques available in the laboratory, including on-site addressing, super-lattices, and time-of-flight measurements, identifying witnesses based on fluctuations, density-density correlators, densities, and entanglement. We build upon the theory of out of equilibrium quantum systems, in conjunction with tensor network and exact simulations, showing the effectiveness of the tools for realistic models.
△ Less
Submitted 26 March, 2019; v1 submitted 11 January, 2016;
originally announced January 2016.
-
Bulk-edge correspondence of one-dimensional quantum walks
Authors:
C. Cedzich,
F. A. Grünbaum,
C. Stahl,
L. Velázquez,
A. H. Werner,
R. F. Werner
Abstract:
We outline a theory of symmetry protected topological phases of one-dimensional quantum walks. We assume spectral gaps around the symmetry-distinguished points +1 and -1, in which only discrete eigenvalues are allowed. The phase classification by integer or binary indices extends the classification known for translation invariant systems in terms of their band structure. However, our theory requir…
▽ More
We outline a theory of symmetry protected topological phases of one-dimensional quantum walks. We assume spectral gaps around the symmetry-distinguished points +1 and -1, in which only discrete eigenvalues are allowed. The phase classification by integer or binary indices extends the classification known for translation invariant systems in terms of their band structure. However, our theory requires no translation invariance whatsoever, and the indices we define in this general setting are invariant under arbitrary symmetric local perturbations, even those that cannot be continuously contracted to the identity. More precisely we define two indices for every walk, characterizing the behavior far to the right and far to the left, respectively. Their sum is a lower bound on the number of eigenstates at +1 and -1. For a translation invariant system the indices add up to zero, so one of them already characterizes the phase. By joining two bulk phases with different indices we get a walk in which the right and left indices no longer cancel, so the theory predicts bound states at +1 or -1. This is a rigorous statement of bulk-edge correspondence. The results also apply to the Hamiltonian case with a single gap at zero.
△ Less
Submitted 10 February, 2016; v1 submitted 9 February, 2015;
originally announced February 2015.