arXiv subjects

Ian R. Petersen

Publications and source records attributed to Ian R. Petersen.

At least 19 recordsLinked to original sources

arXiv2026

Unified formalism and adaptive algorithms for optimal quantum state, detector and process tomography

Quantum tomography is a standard technique for characterizing, benchmarking and verifying quantum systems/devices and plays a vital role in advancing quantum technology and understanding the foundations of quantum mechanics. Achieving the highest possible tomography accuracy remains a central challenge. Here we unify the infidelity metrics for quantum state, detector and process tomography in a single index $1-F(\hat S,S)$, where $S$ represents the true density matrix, POVM element, or process matrix, and $\hat S$ is its estimator. We establish a sufficient and necessary condition for any tomography protocol to attain the optimal scaling $1-F= O(1/N) $ where $N$ is the number of state copies consumed, in contrast to the $O(1/\sqrt{N})$ worst-case scaling of static methods. Guided by this result, we propose adaptive algorithms with provably optimal infidelity scalings for state, detector, and process tomography. Numerical simulations and quantum optical experiments validate the proposed methods, with our experiments reaching, for the first time, the optimal infidelity scaling in ancilla-assisted process tomography.

quant-ph↗

arXiv2026

An Electricity Market with Reactive Power Trading: Incorporating Dynamic Operating Envelopes

Electricity market design that accounts for grid constraints such as voltage and thermal limits at the distribution level can increase opportunities for the grid integration of Distributed Energy Resources (DERs). In this paper, we consider rooftop solar backed by battery storage connected to a distribution grid. We design an electricity market to support customers sharing rooftop generation in excess of their energy demand, where customers earn a profit through peer-to-peer (P2P) energy trading. Our proposed electricity market also incorporates P2P reactive power trading to improve the voltage profile across a distribution feeder. We formulate the electricity market as an optimization-based problem, where voltage and thermal limits across a feeder are managed through the assignment of customer-specific dynamic operating envelopes (DOEs). The electricity market equilibrium is referred to as a competitive equilibrium, which is equivalent to a Nash equilibrium in a standard game. Our proposed market design is benchmarked using the IEEE 13-node test feeder.

eess.SY↗

arXiv2026

Equilibrium points and stability of synchronous machine systems

This paper investigates equilibrium points and stability in two synchronous machine configurations: (i) a single generator with an impedance load and (ii) two interconnected machines with co-located loads. We consider both abc and dq reference frames to show that the equilibrium condition reduces to a cubic polynomial in the single-machine case and to an 18th- degree polynomial in the two-machine case. For the single-machine system, Lyapunov stability analysis and linearization based stability analysis are carried out. For the two-machine system, local stability is assessed through linearization and eigenvalue analysis. Illustrative examples confirm the existence of multiple equilibria and illustrate the impact of parameter variation on stability. Our results provide insight into the stability of synchronous machine systems.

eess.SY↗

arXiv2026

Negative Imaginary and Passivity Properties of Synchronous Machine Systems

The recent rapid proliferation of renewable energy is fundamentally changing the dynamic operations of power systems, necessitating new approaches to assess stability for these highly nonlinear systems. In this paper, we prove that synchronous machine systems, modeled in the nonlinear dq-frame, possess fundamental dissipativity properties. Specifically, we show passivity from current input to voltage output and a nonlinear negative imaginary property from torque input to rotor angle output. For the nonlinear system shifted around an equilibrium point, we derive explicit conditions for both passivity and the NI property to hold. Finally, we demonstrate that interconnection with passive droop controllers preserves these dissipativity properties with identical supply rates, thereby ensuring closed-loop stability.

eess.SY↗

arXiv2026

Digital Control of Negative Imaginary Systems Using Discrete-Time Multi-HIGS: Application to a Dual-Stage MEMS Force Sensor

In this paper, we propose a digital control approach for multi-input multi-output negative imaginary (NI) systems using discrete-time hybrid integrator-gain systems (HIGS) controllers. We show the NI property of the bimodal and trimodal discrete-time HIGS, as well as the parallel combinations of them, which are referred to as the multi-HIGS. Also, we demonstrate that linear NI systems can be asymptotically stabilized using discrete-time HIGS in digital control. We apply discrete-time bimodal and trimodal multi-HIGS controllers to a two-input two-output dual-stage force sensor with lightly damped resonant modes. To validate the theoretical findings, the closed-loop performance is evaluated in both time and frequency domains. Experimental results show that the discrete-time multi-HIGS effectively suppresses resonances while preserving favorable phase characteristics, which highlights its potential as a robust nonlinear NI controller for the digital control of NI systems.

eess.SY↗

arXiv2026

Coherent feedback $H^\infty$ control of quantum linear systems

The purpose of this paper is to investigate the coherent feedback $H^\infty$ control problem for linear quantum systems. A key contribution is a simplified design methodology that guarantees closed-loop stability and a prescribed level of disturbance attenuation. It is shown that for general linear quantum systems, a physically realizable quantum controller can be obtained by solving at most four Lyapunov equations. In the passive case, a necessary and sufficient condition is provided in terms of two uncoupled pairs of Lyapunov equations. These results represent a significant simplification over the standard approach, which requires solving two coupled algebraic Riccati equations. The effectiveness of the proposed method is demonstrated through two typical quantum optical devices: an empty optical cavity and a degenerate parametric amplifier. These results provide a computationally efficient procedure for the robust and optimal control of quantum optical and optomechanical systems.

quant-ph↗

arXiv2026

Pointwise and dynamic programming control synthesis for finite-level open quantum memory systems

This paper is concerned with finite-level quantum memory systems for retaining initial dynamic variables in the presence of external quantum noise. The system variables have an algebraic structure, similar to that of the Pauli matrices, and their Heisenberg picture evolution is governed by a quasilinear quantum stochastic differential equation. The latter involves a Hamiltonian whose parameters depend affinely on a classical control signal in the form of a deterministic function of time. The memory performance is quantified by a mean-square deviation of quantum system variables of interest from their initial conditions. We relate this functional to a matrix-valued state of an auxiliary classical control-affine dynamical system. This leads to a pointwise control design where the control signal minimises the time-derivative of the mean-square deviation with an additional quadratic penalty on the control. In an alternative finite-horizon setting with a terminal-integral cost functional, we apply dynamic programming and obtain a quadratically nonlinear Hamilton-Jacobi-Bellman equation, for which a solution is outlined in the form of a recursively computed asymptotic expansion.

math.OC↗

arXiv2026

Velocity-Free Horizontal Position Control of Quadrotor Aircraft via Nonlinear Negative Imaginary Systems Theory

This paper presents a velocity-free position control strategy for quadrotor unmanned aerial vehicles based on nonlinear negative imaginary (NNI) systems theory. Unlike conventional position control schemes that require velocity measurements or estimation, the proposed approach achieves asymptotic stability using only position feedback. We establish that the quadrotor horizontal position subsystem, when augmented with proportional feedback, exhibits the NNI property with respect to appropriately defined horizontal thrust inputs. A strictly negative imaginary integral resonant controller is then designed for the outer loop, and robust asymptotic stability is guaranteed through satisfaction of explicit sector-bound conditions relating controller and plant parameters. The theoretical framework accommodates model uncertainties and external disturbances while eliminating the need for velocity sensors. Simulation results validate the theoretical predictions and demonstrate effective position tracking performance.

eess.SY↗

arXiv2026

Optimal filtering for a giant cavity in waveguide QED systems

In waveguide quantum electrodynamics (QED) systems, a giant cavity can be engineered to interact with quantum fields by multiple distant coupling points so that its non-Markovian dynamics are quite different from traditional quantum optical cavity systems. Towards feedback control this system, this paper designs an optimal filter for the giant cavity systems to estimate its state evolution under continuous quantum measurements. Firstly, the Langevin equation in the Heisenberg picture are derived, which is a linear continuous-time system with both states and inputs delays resulting from the unconventional distant couplings. Compared to existing modeling approaches, this formulation effectively preserves the nonlocal coupling and multiple delay dynamic characteristics inherent in the original system. In particular, the presence of coupling and propagation delays leads to noncommutativity among the system operators at different times, which prevents the direct application of existing quantum filtering methods. To address this issue, an optimal filter is designed, in which the delayed-state covariance matrices are computed. By iteratively evaluating the delayed-state covariance over successive time intervals, the resulting optimal filter can be implemented in an interval-wise backward recursion algorithm. Finally, numerical simulations are conducted to evaluate the tracking performance of the proposed optimal filter for the giant cavity. By comparing between the evolutions of Wigner functions of coherent and cat states and the filter, the effectiveness of the optimal filter is validated.

quant-ph↗

arXiv2025

$\mathscr{H}_2$ Model Reduction for Augmented Model of Linear Non-Markovian Quantum Systems

An augmented system model provides an effective way to model non-Markovian quantum systems, which is useful in filtering and control for this class of systems. However, since a large number of ancillary quantum oscillators representing internal modes of a non-Markovian environment directly interact with the principal system in these models, the dimension of the augmented system may be very large causing significant computational burden in designing filters and controllers. In this context, this paper proposes an $\mathscr{H}_2$ model reduction method for the augmented model of linear non-Markovian quantum systems. We first establish necessary and sufficient conditions for the physical realizability of the augmented model of linear non-Markovian quantum systems, which are more stringent than those for Markovian quantum systems. However, these physical realizability conditions of augmented system model pose non-convex constrains in the optimization problem of model reduction, which makes the problem different from the corresponding classical model reduction problem. To solve the problem, we derive necessary conditions for determining the input matrix in the reduced model, with which a theorem for designing the system matrix of the ancillary system in the reduced system is proved. Building on this, we convert the nonlinear equality constraints into inequality constraints so that a semidefinite programming algorithm can be developed to solve the optimization problem for model reduction. A numerical example of a two-mode linear quantum system driven by three internal modes of a non-Markovian environment validates the effectiveness of our method.

quant-ph↗

arXiv2025

Robust Variational Ground-State Solvers via Dissipative Quantum Feedback Models

We propose a variational framework for solving ground-state problems of open quantum systems governed by quantum stochastic differential equations (QSDEs). This formulation naturally accommodates bosonic operators, as commonly encountered in quantum chemistry and quantum optics. By parameterizing a dissipative quantum optical system, we minimize its steady-state energy to approximate the ground state of a target Hamiltonian. The system converges to a unique steady state regardless of its initial condition, and the design inherently guarantees physical realizability. To enhance robustness against persistent disturbances, we incorporate H-infinity control into the system architecture. Numerical comparisons with the quantum approximate optimization algorithm (QAOA) highlight the method's structural advantages, stability, and physical implementability. This framework is compatible with experimental platforms such as cavity quantum electrodynamics (QED) and photonic crystal circuits.

quant-ph↗

arXiv2025

Measurement-based Initial Point Smoothing and Control Approach to Quantum Memory Systems

This paper is concerned with a quantum memory system for storing quantum information in the form of its initial dynamic variables in the presence of environmental noise. In order to compensate for the deviation from the initial conditions, the classical parameters of the system Hamiltonian are affected by the actuator output of a measurement-based classical controller. The latter uses an observation process produced by a measuring apparatus from the quantum output field of the memory system. The underlying system is modelled as an open quantum harmonic oscillator whose Heisenberg evolution is governed by linear Hudson-Parthasarathy quantum stochastic differential equations. The controller is organised as a classical linear time-varying system, so that the resulting closed-loop system has quantum and classical dynamic variables. We apply linear-quadratic-Gaussian control and fixed-point smoothing at the level of the first two moments and consider controllers with a separation structure which involve a continuously updated estimate for the initial quantum variables. The initial-point smoother is used for actuator signal formation so as to minimise the sum of a mean-square deviation of the quantum memory system variables at a given time horizon from their initial values and an integral quadratic penalty on the control signal.

quant-ph↗

arXiv2025

Tractable Infinite-Horizon Stochastic Model Predictive Control for Quantum Filtering via Eigenstate Reduction

Model predictive control has shown potential to enhance the robustness of quantum control systems. In this work, we propose a tractable Stochastic Model Predictive Control (SMPC) framework for finite-dimensional quantum systems under continuous-time measurement and quantum filtering. Using the almost-sure eigenstate reduction of quantum trajectories, we prove that the infinite-horizon stochastic objective collapses to a fidelity term that is computable in closed form from the one-step averaged state. Consequently, the online SMPC step requires only deterministic propagation of the filter and a terminal fidelity evaluation. An advantage of this method is that it eliminates per-horizon Monte Carlo scenario sampling and significantly reduces computational load while retaining the essential stochastic dynamics. We establish equivalence and mean-square stability guarantees, and validate the approach on multi-level and Ising-type systems, demonstrating favorable scalability compared to sampling-based SMPC.

quant-ph↗

arXiv2025

Generalized collective quantum tomography: algorithm design, optimization, and validation

Quantum tomography is a fundamental technique for characterizing, benchmarking, and verifying quantum states and devices. It plays a crucial role in advancing quantum technologies and deepening our understanding of quantum mechanics. Collective quantum state tomography, which estimates an unknown state \r{ho} through joint measurements on multiple copies $ρ\otimes\cdots\otimesρ$ of the unknown state, offers superior information extraction efficiency. Here we extend this framework to a generalized setting where the target becomes $S_1\otimes\cdots\otimes S_n$, with each $S_i$ representing identical or distinct quantum states, detectors, or processes from the same category. We formulate these tasks as optimization problems and develop three algorithms for collective quantum state, detector and process tomography, respectively, each accompanied by an analytical characterization of the computational complexity and mean squared error (MSE) scaling. Furthermore, we develop optimal solutions of these optimization problems using sum of squares (SOS) techniques with semi-algebraic constraints. The effectiveness of our proposed methods is demonstrated through numerical examples. Additionally, we experimentally demonstrate the algorithms using two-copy collective measurements, where entangled measurements directly provide information about the state purity. Compared to existing methods, our algorithms achieve lower MSEs and approach the collective MSE bound by effectively leveraging purity information.

quant-ph↗

arXiv2025

Quantum memory optimisation using finite-horizon, decoherence time and discounted mean-square performance criteria

This paper is concerned with open quantum memory systems for approximately retaining quantum information, such as initial dynamic variables or quantum states to be stored over a bounded time interval. In the Heisenberg picture of quantum dynamics, the deviation of the system variables from their initial values lends itself to closed-form computation in terms of tractable moment dynamics for open quantum harmonic oscillators and finite-level quantum systems governed by linear or quasi-linear Hudson-Parthasarathy quantum stochastic differential equations, respectively. This tractability is used in a recently proposed optimality criterion for varying the system parameters so as to maximise the memory decoherence time when the mean-square deviation achieves a given critical threshold. The memory decoherence time maximisation approach is extended beyond the previously considered low-threshold asymptotic approximation and to Schrödinger type mean-square deviation functionals for the reduced system state governed by the Lindblad master equation. We link this approach with the minimisation of the mean-square deviation functionals at a finite time horizon and with their discounted version which quantifies the averaged performance of the quantum system as a temporary memory under a Poisson flow of storage requests.

quant-ph↗

arXiv2025

Linear quantum systems: poles, zeros, invertibility and sensitivity

The non-commutative nature of quantum mechanics imposes fundamental constraints on system dynamics, which, in the linear realm, are manifested through the physical realizability conditions on system matrices. These restrictions give system matrices a unique structure. This paper aims to study this structure by investigating the zeros and poles of linear quantum systems. Firstly, it is shown that $-s_0$ is a transmission zero if and only if $s_0$ is a pole of the transfer function, and $-s_0$ is an invariant zero if and only if $s_0$ is an eigenvalue of the $A$-matrix, of a linear quantum system. Moreover, $s_0$ is an output-decoupling zero if and only if $-s_0$ is an input-decoupling zero. Secondly, based on these pole-zero correspondences and inspired by a recent work on the stable inversion of classical linear systems \cite{DD2023}, we show that a linear quantum system must be Hurwitz unstable if it is strongly asymptotically left invertible. Two types of stable input observers are constructed for unstable linear quantum systems. Finally, the sensitivity of a coherent feedback network is investigated; in particular, the fundamental tradeoff between ideal squeezing and system robustness is studied on the basis of system sensitivity analysis.

quant-ph↗

arXiv2025

Parameter Estimation for Jump-Diffusion Stochastic Master Equations

This paper investigates parameter estimation for open quantum systems under continuous observation, whose conditional dynamics are governed by jump-diffusion stochastic master equations (SMEs) associated with quantum nondemolition (QND) measurements. Estimation of model parameters such as coupling strengths or measurement efficiencies is essential, yet in practice these parameters are often uncertain. We first establish the existence and well-posedness of a reduced quantum filter: for an N-level system, the conditional evolution can be represented in an O(N)-dimensional real state space rather than the full O(N^2) density-matrix state space. Building on this, we extend the stability theory of quantum filters, showing that exponential convergence persists not only under mismatched initial states but also in the presence of parameter mismatch. Finally, we develop an estimation framework for continuous parameter domains and prove almost sure consistency of the estimator in the long-time limit. These results yield a rigorous treatment of parameter estimation for jump-diffusion SMEs, combining structural reduction with stability and identifiability analysis, and thereby extend the mathematical theory of parameter estimation for open quantum systems.

math-ph↗

arXiv2025

A Fundamental Convergence Rate Bound for Gradient Based Online Optimization Algorithms with Exact Tracking

In this paper, we consider algorithms with integral action for solving online optimization problems characterized by quadratic cost functions with a time-varying optimal point described by an $(n-1)$th order polynomial. Using a version of the internal model principle, the optimization algorithms under consideration are required to incorporate a discrete time $n$-th order integrator in order to achieve exact tracking. By using results on an optimal gain margin problem, we obtain a fundamental convergence rate bound for the class of linear gradient based algorithms exactly tracking a time-varying optimal point. This convergence rate bound is given by $ \left(\frac{\sqrtκ - 1 }{\sqrtκ + 1}\right)^{\frac{1}{n}}$, where $κ$ is the condition number for the set of cost functions under consideration. Using our approach, we also construct algorithms which achieve the optimal convergence rate as well as zero steady-state error when tracking a time-varying optimal point.

math.OC↗