arXiv subjects

Gaoyue Guo

Publications and source records attributed to Gaoyue Guo.

At least 19 recordsLinked to original sources

arXiv2026

Measurement-Based Feedback of Open Quantum Systems: A Control-Theoretic Review and Tutorial

This review develops a control-theoretic perspective on measurement-based feedback for continuously monitored open quantum systems, with the main analysis focused on finite-dimensional systems governed by diffusive stochastic master equations. We introduce the relevant state-space, invariant-subspace, and quantum non-demolition structures, interpret quantum filtering as nonlinear observer dynamics, and review open-loop asymptotics, filter stability, state-feedback stabilization, robustness, and reduced-order observer-based control. Particular emphasis is placed on a recurrence--contraction framework, in which Hamiltonian feedback removes non-target invariant obstructions while measurement-induced dynamics provide local exponential contraction. Although the detailed analysis is developed for finite-dimensional diffusive models, the underlying measurement--estimation--feedback architecture is relevant across a broad range of quantum platforms. We further discuss implementation challenges and open problems involving scalable estimation, sampling and delay, adaptation, hybrid and non-Markovian dynamics, practical stability, optimal control, and learning-based design. By organizing these developments around invariance, estimation, recurrence, and contraction, the review provides a tutorial bridge between measurement-based quantum feedback and nonlinear stochastic control.

quant-ph↗

arXiv2026

Semi-discrete quadratic Wasserstein energy and state-dependent Langevin exploration

We study the semi-discrete quadratic Wasserstein energy. The energy is nonsmooth at collisions of sites. We prove local Lipschitz continuity on the full configuration space, together with global semiconcavity, coercivity, and dissipativity; show that every global minimizer is interior and collision free; and establish $C^2$ regularity on the collision-free configuration space. The gradient is expressed through the barycenters of the balanced Laguerre cells, while the Hessian is given by an explicit facet formula and satisfies a global one-sided bound. We also solve the one-dimensional problem explicitly in each ordering chamber and give a two-site example on the unit square with non-minimizing Lloyd fixed points. For $d\ge 2$, we then formulate an entropy-regularized relaxed control of the Langevin temperature. The controlled dynamics is strongly well posed, nonexplosive, and collision free. Its value function is a classical interior solution of the exploratory Hamilton-Jacobi-Bellman equation; the Laplacian of the value function is locally $C^1$, which yields a locally Lipschitz optimal temperature feedback. Independently of this optimal-control result, for every fixed Borel temperature rule bounded away from zero, and every sufficiently small step size, the associated Gaussian Euler chain is geometrically ergodic with a full-support invariant law. The raw iterates do not converge, whereas the best-so-far energy converges almost surely to the global minimum and the running record approaches the set of global minimizers.

math.NA↗

arXiv2026

Propagation of chaos for Belavkin equations beyond pure states

We use probabilistic and stochastic-analysis methods to prove trace-norm propagation of chaos for finite-dimensional quantum mean-field systems governed by Belavkin equations. The particles are density matrices, interact through a mean-field Hamiltonian, and are continuously monitored through independent diffusive observation channels. The limiting dynamics is a nonlinear matrix-valued McKean-Vlasov diffusion, random through its local observation record and coupled through the deterministic averaged state. The main result treats arbitrary one-particle density matrices, including mixed states, and both perfect and inefficient measurement regimes. Under strong tensorization of the initial data, every fixed marginal converges uniformly on compact time intervals to the tensor product of the nonlinear limiting filters, with an explicit quantitative bound. The proof combines purification, fully observed dilation, conditional expectation, relative entropy, and uniform stability of the associated Zakai equations. In the skew-adjoint measurement case, exterior observation noises disappear from the marginal equations and a stochastic BBGKY hierarchy is recovered. Under only marginal chaoticity of permutation-invariant initial states, we prove convergence of fixed marginals by an iteration of this hierarchy.

math.PR↗

arXiv2026

Quantum Relative Entropy and the Mean-Field Limit

We develop a quantum relative entropy method for the mean-field limit of quantum many-body systems. For closed systems governed by the von Neumann equation, we prove a quantitative stability estimate between the $N$-body density matrix and the tensorized solution of the Hartree equation. The argument is based on an entropy production identity, a cancellation mechanism for the centered two-body fluctuation, and a combinatorial estimate controlling the remaining mixed moments. As a consequence, we obtain propagation of chaos in trace norm for fixed marginals. We further combine the entropy estimate with known semiclassical Wasserstein bounds to derive a convergence estimate that is uniform in the Planck constant in an appropriate joint mean-field and semiclassical regime. Finally, we extend the method to finite-dimensional open quantum systems governed by Lindblad dynamics. In this setting, we establish an analogous relative entropy estimate for general bounded two-body interactions, where the mean-field potential is defined through partial trace. This shows that the entropy method does not rely on any special tensor-product decomposition of the interaction.

math-ph↗

arXiv2026

Stability of supermartingale optimal transport problems

We investigate stability properties of weak supermartingale optimal transport (WSOT) problems on $\mathbb{R}$. For probability measures $\mu,\nu\in\mathcal{P}_r$ satisfying $\mu \leq_{cd} \nu$ (equivalently, $\Pi_S(\mu,\nu)\neq\emptyset$), we consider supermartingale couplings $\pi=\mu(d x)\pi_x(d y)$ and the weak transport functional \[ V_S^C(\mu,\nu) := \inf_{\pi\in\Pi_S(\mu,\nu)} \int_\mathbb{R} C(x,\pi_x)\,\mu(d x), \] for some appropriate cost function $C:\mathbb{R}\times\mathcal{P}_r\to\mathbb{R}$. Our first main contribution is an approximation result in adapted Wasserstein distance: under $W_r$-convergence of marginals $(\mu^k,\nu^k)\to(\mu,\nu)$ with $\mu^k\leq_{cd} \nu^k$, any $\pi\in\Pi_S(\mu,\nu)$ can be approximated by $\pi^k\in\Pi_S(\mu^k,\nu^k)$ such that $A\mathcal{W}_r(\pi^k,\pi)\to0$. As a consequence, we obtain the continuity of the functional $(\mu,\nu) \mapsto V_S^C(\mu,\nu)$, and the monotonicity principle for WSOT.

math.PR↗

arXiv2026

Optimal resource allocation for maintaining system solvency

We study two optimal allocation problems for a system of independent Brownian agents whose states evolve under a limited shared control. At each time, a unit of resource can be divided and allocated across components to increase their drifts, with the objective of maximizing either (i) the probability that all components avoid ruin, or (ii) the expected number of components that avoid ruin. We identify drift thresholds separating trivial and nontrivial regimes, and derive the associated Hamilton-Jacobi-Bellman equations on the positive orthant with mixed boundary conditions at the absorbing boundary and at infinity. We also establish the existence, uniqueness, and regularity of a bounded classical solution and a verification theorem linking the PDE to the stochastic control value function. Finally, we prove a conjecture on the optimality of a socialistic allocation rule : the push-the-laggard strategy. It is optimal for the all-survive value function, while it is suboptimal for the count-survivors criterion.

math.OC↗

arXiv2025

Brownian motion on the Fubini extension space and applications

We study a family of essentially pairwise independent Brownian motions indexed by a continuum of labels and show how the Fubini extension framework provides a rigorous way to represent such families as a single jointly measurable process. Within this framework, we address two main objectives: first, we show how a system of graphon stochastic differential equations can be reformulated as a single McKean-Vlasov type equation driven by a standard Brownian motion, which significantly facilitates its analysis. Second, we establish a Girsanov theorem for a continuum of essentially pairwise independent Brownian motions.

math.PR↗

arXiv2025

Infinite Dimensional Mean-Field Belavkin Equation: Well-posedness and Derivation

We analyze the mean-field limit of a stochastic Schr{\"o}dinger equation arising in quantum optimal control and mean-field games, where N interacting particles undergo continuous indirect measurement. For the open quantum system described by Belavkin's filtering equation, we derive a mean-field approximation under minimal assumptions, extending prior results limited to bounded operators and finitedimensional settings. By establishing global well-posedness via fixed-point methods-avoiding measure-change techniques-we obtain higher regularity solutions. Furthermore, we prove rigorous convergence to the mean-field limit in an infinitedimensional framework. Our work provides the first derivation of such limits for wave functions in $L^2 (R^d)$, with implications for simulating and controlling large quantum systems.

math.AP↗

arXiv2025

Stabilization of jump-diffusion stochastic differential equations by hysteresis switching

We address the stabilization of both classical and quantum systems modeled by jump-diffusion stochastic differential equations using a novel hysteresis switching strategy. Unlike traditional methods that depend on global Lyapunov functions or require each subsystem to stabilize the target state individually, our approach employs local Lyapunov-like conditions and state-dependent switching to achieve global asymptotic or exponential stability with finitely many switches almost surely. We rigorously establish the well-posedness of the resulting switched systems and derive sufficient conditions for stability. The framework is further extended to quantum feedback control systems governed by stochastic master equations with both diffusive and jump dynamics. Notably, our method relaxes restrictive invariance assumptions often necessary in prior work, enhancing practical applicability in experimental quantum settings. Additionally, the proposed strategy offers promising avenues for robust control under model uncertainties and perturbations, paving the way for future developments in both classical and quantum control.

math.OC↗

arXiv2025

Graphon Quantum Filtering Systems

We consider a non-exchangeable system of interacting quantum particles with mean-field type interactions, subject to continuous measurement on dense graphs. In the mean-field limit, we derive a graphon-based quantum filtering system, establish its well-posedness, and prove propagation of chaos for multi-class bosonic systems with blockwise interactions. We then discuss applications to quantum state preparation and quantum graphon games.

math.PR↗

arXiv2025

The football model, stochastic ordering and martingale transport

Tournaments are competitions between a number of teams, the outcome of which determines the relative strength or rank of each team. In many cases, the strength of a team in the tournament is given by a score. Perhaps, the most striking mathematical result on the tournament is Moon's theorem, which provides a necessary and sufficient condition for a feasible score sequence via majorization. To give a probabilistic interpretation of Moon's result, Aldous and Kolesnik introduced the football model, the existence of which gives a short proof of Moon's theorem. However, the existence proof of Aldous and Kolesnik is nonconstructive, leading to the question of a ``canonical'' construction of the football model. The purpose of this paper is to provide explicit constructions of the football model with an additional stochastic ordering constraint, which can be formulated by martingale transport. Two solutions are given: one is by solving an entropy optimization problem via Sinkhorn's algorithm, and the other relies on the idea of shadow couplings. It turns out that both constructions yield the property of strong stochastic transitivity. The nontransitive situations of the football model are also considered.

math.PR↗

arXiv2024

Observed quantum particles system with graphon interaction

In this paper, we consider a system of heterogeneously interacting quantum particles subject to indirect continuous measurement. The interaction is assumed to be of the mean-field type. We derive a new limiting quantum graphon system, prove the well-posedness of this system, and establish a stability result.

math.AP↗

arXiv2023

Mean-field limit of particle systems with absorption

In this work, we consider one-dimensional particles interacting in mean-field type through a bounded kernel. In addition, when particles hit some barrier (say zero), they are removed from the system. This absorption of particles is instantaneously felt by the others, as, contrary to the usual mean-field setting, particles interact only with other non-absorbed particles. This makes the interaction singular as it happens through hitting times of the given barrier. In addition, the diffusion coefficient of each particle is non uniformly elliptic. We show that the particle system admits a weak solution. Through Partial Girsanov transforms we are able to relate our particles with independent stopped Brownian motions, and prove tightness and convergence to a mean-fied limit stochastic differential equation when the number of particles tends to infinity. Further, we study the limit and establish the existence and uniqueness of the classical solution to the corresponding nonlinear Fokker-Planck equation under some continuity assumption on the interacting kernel. This yields the strong well-posedness of the mean-field limit SDE and confirms that our convergence result is indeed a propagation of chaos result.

math.PR↗

arXiv2023

Randomness and early termination: what makes a game exciting?

In this paper we revisit an open problem posed by Aldous on the max-entropy win-probability martingale: given two players of equal strength, such that the win-probability is a martingale diffusion, which of these processes has maximum entropy and hence gives the most excitement for the spectators? We study a terminal-boundary value problem for the nonlinear parabolic PDE $2\partial_te(t,x)=\log(-\partial_{xx}e(t,x))$ derived by Aldous and prove its wellposedness and regularity of its solution by combining PDE analysis and probabilistic tools, in particular the reformulation as a stochastic control problem with restricted control set, which allows us to deduce strict ellipticity. We establish key qualitative properties of the solution including concavity, monotonicity, convergence to a steady state for long remaining time and the asymptotic behaviour shortly before the terminal time. Moreover, we construct convergent numerical approximations. The analytical and numerical results allow us to highlight the behaviour of the win-probability process in the present case where the match may end early, in contrast to recent work by Backhoff-Veraguas and Beiglb\"ock where the match always runs the full length.

math.PR↗

arXiv2023

On the mean-field Belavkin filtering equation

Following Kolokoltsov's work [1], we present an extension of mean-field control theory in quantum framework. In particular such an extension is done naturally by considering the Belavkin quantum filtering and control theory in a mean-field setting. In this setting, the dynamics is described by a controlled Belavkin equation of McKean-Vlasov type. We prove the well-posedness of such an equation under imperfect measurement records. Furthermore, we show under purification assumption the propagation of chaos for perfect measurements. Finally, we apply particle methods to simulate the mean-field Belavkin equation and we provide numerical simulations showing the stabilization of the mean-field Belavkin equation by a feedback control strategy towards a chosen target state.

math.OC↗

arXiv2023

Mean field game of mutual holding with defaultable agents, and systemic risk

We introduce the possibility of default in the mean field game of mutual holding of Djete and Touzi [11]. This is modeled by introducing absorption at the origin of the equity process. We provide an explicit solution of this mean field game. Moreover, we provide a particle system approximation, and we derive an autonomous equation for the time evolution of the default probability, or equivalently the law of the hitting time of the origin by the equity process. The systemic risk is thus described by the evolution of the default probability.

math.PR↗

arXiv2022

Systemic robustness: a mean-field particle system approach

This paper is concerned with the problem of budget control in a large particle system modeled by stochastic differential equations involving hitting times, which arises from considerations of systemic risk in a regional financial network. Motivated by Tang and Tsai (Ann. Probab., 46(2018), pp. 1597{1650), we focus on the number or proportion of surviving entities that never default to measure the systemic robustness. First we show that both the mean-field particle system and its limiting McKean-Vlasov equation are well-posed by virtue of the notion of minimal solutions. We then establish a connection between the proportion of surviving entities in the large particle system and the probability of default in the limiting McKean-Vlasov equation as the size of the interacting particle system N tends to infinity. Finally, we study the asymptotic efficiency of budget control in different economy regimes: the expected number of surviving entities is of constant order in a negative economy; it is of order of the square root of N in a neutral economy; and it is of order N in a positive economy where the budget's effect is negligible.

math.PR↗

arXiv2020

McKean-Vlasov equations involving hitting times: blow-ups and global solvability

This paper is concerned with the analysis of blow-ups for two McKean-Vlasov equations involving hitting times. Let $(B(t); \, t \ge 0)$ be standard Brownian motion, and $\tau:= \inf\{t \ge 0: X(t) \le 0\}$ be the hitting time to zero of a given process $X$. The first equation is $X(t) = X(0) + B(t) - \alpha \mathbb{P}(\tau \le t)$. We provide a simple condition on $\alpha$ and the distribution of $X(0)$ such that the corresponding Fokker-Planck equation has no blow-up, and thus the McKean-Vlasov dynamics is well-defined for all time $t \ge 0$. Our approach relies on a connection between the McKean-Vlasov equation and the supercooled Stefan problem, as well as several comparison principles. The second equation is $X(t) = X(0) + \beta t + B(t) + \alpha \log \mathbb{P}(\tau > t)$, whose Fokker-Planck equation is non-local. We prove that for $\beta > 0$ sufficiently large and $\alpha$ no greater than a sufficiently small positive constant, there is no blow-up and the McKean-Vlasov dynamics is well-defined for all time $t \ge 0$. The argument is based on a new transform, which removes the non-local term, followed by a relative entropy analysis.

math.PR↗