Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.02499

Residual Minimisation for Transport-Based Optimal Control

Tristan Pryer·Nikolaos Rekatsinas
View original source ↗Read source document ↗Export metadata ↓

Abstract

We consider an optimal control problem governed by a stationary linear transport equation in two or three spatial dimensions, motivated by photon transport in radiotherapy treatment planning. The control is an inflow boundary source, and the observation operator may track either the angular flux or its angular integral, the latter serving as a simplified dose surrogate. The associated optimality system consists of a transport--adjoint pair with angular dependence, coupled through a boundary optimality condition. We formulate a residual least-squares functional whose minimisers coincide with solutions of the Karush--Kuhn--Tucker system and show that the functional controls the $L^2$ errors in the state and adjoint and the flux-weighted $L^2$ error in the control. This yields a continuum-level a posteriori estimate without recourse to discretisation. An additional unweighted optimality residual certifies the control in the norm of the objective. The estimate holds for every admissible approximation and accounts for the different boundary measures in the control penalty and transport traces, without a positive lower bound on $|ω\cdot n|$. We then parameterise the state, adjoint and control using neural networks and minimise over a neural network space using appropriate quadrature. The Monte Carlo formulation replaces each residual integral by a weighted sample mean, whose quadrature error enters the a posteriori estimate. We prove convergence under explicit assumptions on approximation, quadrature andoptimisation and derive bounds on the total error in terms of approximation, quadrature and optimisation error. Numerical examples in two and three dimensions illustrate the residual--error relation and the flexibility of the residual framework for field-tracking control problems, including regular manufactured solutions.

Explore related subjects

math.NAcs.NA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tristan Pryer, Nikolaos Rekatsinas. 2026-10-01. Residual Minimisation for Transport-Based Optimal Control. https://arxiv.org/abs/2610.02499

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A theory of meta-factorization

Meta-factorization asks how different factors and transforms describe the same matrix and how a factor can be replaced while preserving that matrix. Projector and reconstruction equations give a common description. For $A=FGH^*$ with outer factors of full column rank $k$, $Y^*F=H^*X=I_k$ certifies generally oblique projectors. Exact reconstruction requires their ranges to contain the column spaces of $A$ and $A^*$. Two design matrices parametrize every certifying pair; the core is unique and nonsingular at $k=\operatorname{rank}(A)$. Detailed constructions recover SVD, column-pivoted QR, UTV, generalized Nystrom, CUR and classical pseudoinverse formulas with their structural hypotheses. The framework makes factor replacement testable from stored factors. For a supplied candidate $\check F$ and transform $\check Y^*$, with $H$ of full column rank, $\check G=(\check Y^*F)G$ preserves $A$ exactly when $[F-\check F(\check Y^*F)]G=0$. Test, repair and exact factored residual require no access to $A$. With the pseudoinverse as transform, the updated product is a closest reconstruction within the candidate's column space in every unitarily invariant norm. We characterize the accepted subspaces under the stated inverse and rank conditions and extend replacement to different stored widths. Nonsingular generalized right-hand sides change certifying coordinates; finite-order choices yield potent operators and periodic reconstruction. Classical Fourier components test preservation of the core at every step, including singular cores. The contribution is a common description with explicit replacement and reconstruction consequences. Numerical acceptance, conditioning and candidate selection require further analysis.

math.NA↗
arXiv2026

Stochastic Quadrature Rules for Solving PDEs using Neural Networks

We examine the challenges associated with numerical integration when applying Neural Networks to solve Partial Differential Equations (PDEs). We specifically investigate the Deep Ritz Method (DRM), chosen for its practical applicability and known sensitivity to integration inaccuracies. Our research demonstrates that both standard deterministic integration techniques and biased stochastic quadrature methods can lead to incorrect solutions. In contrast, employing high-order, unbiased stochastic quadrature rules defined on integration meshes in low dimensions is shown to significantly enhance convergence rates at a comparable computational expense with respect to low-order methods like Monte Carlo. Additionally, we introduce novel stochastic quadrature approaches designed for triangular and tetrahedral mesh elements, offering increased adaptability for handling complex geometric domains. We highlight that the variance inherent in the stochastic gradient acts as a bottleneck for convergence. Furthermore, we observe that for gradient-based optimisation, the crucial factor is the accurate integration of the gradient, rather than just minimizing the quadrature error of the loss function itself.

math.NA↗
arXiv2026

A Stochastic Genetic Interacting Particle Method for Reaction-Diffusion-Advection Equations

We develop and analyze a stochastic genetic interacting particle method (SGIP) for reaction-diffusion-advection (RDA) equations. The SGIP method employs operator splitting to approximate the advection-diffusion and reaction processes, treating the former using particle drift-diffusion and the latter via exact or implicit integration of reaction dynamics over bins, where particle density is estimated using a histogram. A key innovation is the incorporation of adaptive resampling to close the loop of particle and density field description of solutions, mimicking the selection mechanism in genetics. Resampling is also crucial for maintaining long-term stability by redistributing particles in accordance with the evolving density field. We provide a comprehensive error analysis and establish convergence bounds under appropriate regularity assumptions. Numerical experiments in one to three space dimensions demonstrate the method's effectiveness across various reaction types (Fisher-Kolmogorov-Petrovsky-Piskunov (FKPP), cubic, Arrhenius) and flow configurations (shear, cellular, cat's eye, Arnold-Beltrami-Childress (ABC) flows), showing excellent agreement with the finite difference method (FDM) while offering computational advantages for complex flow geometries and higher-dimensional problems.

math.NA↗