-
Sufficient digits and density estimation: A Bayesian nonparametric approach using generalized finite Pólya trees
Authors:
Mario Beraha,
Jesper Møller
Abstract:
This paper proposes a novel approach for statistical modelling of a continuous random variable $X$ on $[0, 1)$, based on its digit representation $X=.X_1X_2\ldots$. In general, $X$ can be coupled with a random variable $N$ so that if a prior of $N$ is imposed, $(X_1,\ldots,X_N)$ becomes a sufficient statistics and $.X_{N+1}X_{N+2}\ldots$ is uniformly distributed. In line with this fact, and focusi…
▽ More
This paper proposes a novel approach for statistical modelling of a continuous random variable $X$ on $[0, 1)$, based on its digit representation $X=.X_1X_2\ldots$. In general, $X$ can be coupled with a random variable $N$ so that if a prior of $N$ is imposed, $(X_1,\ldots,X_N)$ becomes a sufficient statistics and $.X_{N+1}X_{N+2}\ldots$ is uniformly distributed. In line with this fact, and focusing on binary digits for simplicity, we propose a family of generalized finite P{ó}lya trees that induces a random density for a sample, which becomes a flexible tool for density estimation. Here, the digit system may be random and learned from the data. We provide a detailed Bayesian analysis, including closed form expression for the posterior distribution which sidesteps the need of MCMC methods for posterior inference. We analyse the frequentist properties as the sample size increases, and provide sufficient conditions for consistency of the posterior distributions of the random density and $N$. We consider an extension to data spanning multiple orders of magnitude, and propose a prior distribution that encodes the so-called extended Newcomb-Benford law. Such a model shows promising results for density estimation of human-activity data. Our methodology is illustrated on several synthetic and real datasets.
△ Less
Submitted 11 June, 2025;
originally announced June 2025.
-
Data-Informed Mathematical Characterization of Absorption Properties in Artificial and Natural Porous Materials
Authors:
Elishan C. Braun,
Gabriella Bretti,
Melania Di Fazio,
Laura Medeghini,
Mario Pezzella
Abstract:
In this work, we characterize the water absorption properties of selected porous materials through a combined approach that integrates laboratory experiments and mathematical modeling. Specifically, experimental data from imbibition tests on marble, travertine, wackestone and mortar mock-ups are used to inform and validate the mathematical and simulation frameworks. First, a monotonicity-preservin…
▽ More
In this work, we characterize the water absorption properties of selected porous materials through a combined approach that integrates laboratory experiments and mathematical modeling. Specifically, experimental data from imbibition tests on marble, travertine, wackestone and mortar mock-ups are used to inform and validate the mathematical and simulation frameworks. First, a monotonicity-preserving fitting procedure is developed to preprocess the measurements, aiming to reduce noise and mitigate instrumental errors. The imbibition process is then simulated through a partial differential equation model, with parameters calibrated against rough and smoothed data. The proposed procedure appears particularly effective to characterize absorption properties of different materials and it represents a reliable tool for the study and preservation of cultural heritage.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
On general and complete multidimensional Riemann solvers for nonlinear systems of hyperbolic conservation laws
Authors:
Elena Gaburro,
Mario Ricchiuto,
Michael Dumbser
Abstract:
In this work, we introduce a framework to design multidimensional Riemann solvers for nonlinear systems of hyperbolic conservation laws on general unstructured polygonal Voronoi-like tessellations. In this framework we propose two simple but complete solvers. The first method is a direct extension of the Osher-Solomon Riemann solver to multiple space dimensions. Here, the multidimensional numerica…
▽ More
In this work, we introduce a framework to design multidimensional Riemann solvers for nonlinear systems of hyperbolic conservation laws on general unstructured polygonal Voronoi-like tessellations. In this framework we propose two simple but complete solvers. The first method is a direct extension of the Osher-Solomon Riemann solver to multiple space dimensions. Here, the multidimensional numerical dissipation is obtained by integrating the absolute value of the flux Jacobians over a dual triangular mesh around each node of the primal polygonal grid. The required nodal gradient is then evaluated on a local computational simplex involving the d+1 neighbors meeting at each corner. The second method is a genuinely multidimensional upwind flux. By introducing a fluctuation form of finite volume methods with corner fluxes, we show an equivalence with residual distribution schemes (RD). This naturally allows to construct genuinely multidimensional upwind corner fluxes starting from existing and well-known RD fluctuations. In particular, we explore the use of corner fluxes obtained from the so-called N scheme, i.e. the Roe's original optimal multidimensional upwind advection scheme.
Both methods use the full eigenstructure of the underlying hyperbolic system and are therefore complete by construction. A simple higher order extension up to fourth order in space and time is then introduced at the aid of a CWENO reconstruction in space and an ADER approach in time, leading to a family of high order accurate fully-discrete one-step schemes based on genuinely multidimensional Riemann solvers.
We present applications of our new numerical schemes to several test problems for the compressible Euler equations of gas-dyanamics. In particular, we show that the proposed schemes are at the same time carbuncle-free and preserve certain stationary shear waves exactly.
△ Less
Submitted 30 May, 2025;
originally announced June 2025.
-
Multi-bubble solutions for the Brezis-Nirenberg problem in four dimensions
Authors:
Angela Pistoia,
Giuseppe Mario Rago,
Giusi Vaira
Abstract:
The paper addresses the existence of multi-bubble solutions for the well-known Brezis-Nirenberg problem. Although there is extensive literature on the subject, the existence of solutions that blow up at multiple points in a 4D bounded domain remains an open problem. The goal of the present paper is to resolve this longstanding issue. In particular, we exhibit examples of domains where a large numb…
▽ More
The paper addresses the existence of multi-bubble solutions for the well-known Brezis-Nirenberg problem. Although there is extensive literature on the subject, the existence of solutions that blow up at multiple points in a 4D bounded domain remains an open problem. The goal of the present paper is to resolve this longstanding issue. In particular, we exhibit examples of domains where a large number of multi-bubble solutions exist. Our result can also be seen as the counterpart of the asymptotic analysis carried out by Konig and Laurin in Ann. Inst. H. Poincarè C Anal. Non Linèaire, 2024.
△ Less
Submitted 30 May, 2025;
originally announced May 2025.
-
Robust Aperiodic Sampled-Data Washout Control for Uncertain Affine Systems
Authors:
Folco Giorgetti,
Francesco Crocetti,
Mario Luca Fravolini,
Francesco Ferrante
Abstract:
In this paper, we address the problem of designing an aperiodic sampled-data controller stabilizing the zero-input equilibrium of an uncertain affine plant. The closed-loop system is modeled as a hybrid dynamical system incorporating a timer triggering the occurrence of the sampling events and two memory states storing the value of the controller state and controller output at each sampling time.…
▽ More
In this paper, we address the problem of designing an aperiodic sampled-data controller stabilizing the zero-input equilibrium of an uncertain affine plant. The closed-loop system is modeled as a hybrid dynamical system incorporating a timer triggering the occurrence of the sampling events and two memory states storing the value of the controller state and controller output at each sampling time. Necessary and sufficient conditions on the controller parameters are given to establish the sought property. A constructive controller design algorithm based on sum-of-squares programming is given. A numerical example illustrates the effectiveness of the approach.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
Minimization of the expected first-passage time of a Brownian motion with Poissonian resetting
Authors:
Mario Abundo
Abstract:
We address the problem of minimizing the expected first-passage time of a Brownian motion with Poissonian resetting, with respect to the resetting rate $r.$ We consider both the one-boundary and the two-boundary cases.
We address the problem of minimizing the expected first-passage time of a Brownian motion with Poissonian resetting, with respect to the resetting rate $r.$ We consider both the one-boundary and the two-boundary cases.
△ Less
Submitted 26 May, 2025;
originally announced May 2025.
-
Safe Control for Pursuit-Evasion with Density Functions
Authors:
Mustafa Bozdag,
Arya Honarpisheh,
Mario Sznaier
Abstract:
This letter presents a density function based safe control synthesis framework for the pursuit-evasion problem. We extend safety analysis to dynamic unsafe sets by formulating a reach-avoid type pursuit-evasion differential game as a robust safe control problem. Using density functions and semi-algebraic set definitions, we derive sufficient conditions for weak eventuality and evasion, reformulati…
▽ More
This letter presents a density function based safe control synthesis framework for the pursuit-evasion problem. We extend safety analysis to dynamic unsafe sets by formulating a reach-avoid type pursuit-evasion differential game as a robust safe control problem. Using density functions and semi-algebraic set definitions, we derive sufficient conditions for weak eventuality and evasion, reformulating the problem into a convex sum-of-squares program solvable via standard semidefinite programming solvers. This approach avoids the computational complexity of solving the Hamilton-Jacobi-Isaacs partial differential equation, offering a scalable and efficient framework. Numerical simulations demonstrate the efficacy of the proposed method.
△ Less
Submitted 21 May, 2025;
originally announced May 2025.
-
Challenges in Model Agnostic Controller Learning for Unstable Systems
Authors:
Mario Sznaier,
Mustafa Bozdag
Abstract:
Model agnostic controller learning, for instance by direct policy optimization, has been the object of renewed attention lately, since it avoids a computationally expensive system identification step. Indeed, direct policy search has been empirically shown to lead to optimal controllers in a number of cases of practical importance. However, to date, these empirical results have not been backed up…
▽ More
Model agnostic controller learning, for instance by direct policy optimization, has been the object of renewed attention lately, since it avoids a computationally expensive system identification step. Indeed, direct policy search has been empirically shown to lead to optimal controllers in a number of cases of practical importance. However, to date, these empirical results have not been backed up with a comprehensive theoretical analysis for general problems. In this paper we use a simple example to show that direct policy optimization is not directly generalizable to other seemingly simple problems. In such cases, direct optimization of a performance index can lead to unstable pole/zero cancellations, resulting in the loss of internal stability and unbounded outputs in response to arbitrarily small perturbations. We conclude the paper by analyzing several alternatives to avoid this phenomenon, suggesting some new directions in direct control policy optimization.
△ Less
Submitted 16 May, 2025;
originally announced May 2025.
-
Fractional Sobolev Spaces for the Singular-perturbed Laplace Operator in the $L^p$ setting
Authors:
Vladimir Georgiev,
Mario Rastrelli
Abstract:
We study the perturbed Sobolev spaces ${H^{s,p}_α(\mathbb{R}^d)}$, associated with singular perturbation $Δ_α$ of Laplace operator in Euclidean space of dimensions 2 and 3. We extend the $L^2$ theory of perturbed Sobolev space to the $L^p$ case, finding an analogue description in terms of standard Sobolev spaces. This enables us to extend the Strichartz estimates to the energy space and to treat t…
▽ More
We study the perturbed Sobolev spaces ${H^{s,p}_α(\mathbb{R}^d)}$, associated with singular perturbation $Δ_α$ of Laplace operator in Euclidean space of dimensions 2 and 3. We extend the $L^2$ theory of perturbed Sobolev space to the $L^p$ case, finding an analogue description in terms of standard Sobolev spaces. This enables us to extend the Strichartz estimates to the energy space and to treat the {local well-posedness} of the {Nonlinear Schrödinger equation} associated with this singular perturbation, with the contraction method.
△ Less
Submitted 28 April, 2025;
originally announced April 2025.
-
Genericity of ergodicity for Sobolev homeomorphisms
Authors:
Assis Azevedo,
Davide Azevedo,
Mário Bessa,
Maria Joana Torres
Abstract:
In this paper we obtain a weak version of Lusin's theorem in the Sobolev-$(1,p)$ uniform closure of volume preserving Lipschitz homeomorphisms on closed and connected $d$-dimensional manifolds, $d \geq 2$ and $0<p<1$. With this result at hand we will be able to prove that the ergodic elements are generic. This establishes a version of Oxtoby and Ulam theorem for this Sobolev class. We also prove t…
▽ More
In this paper we obtain a weak version of Lusin's theorem in the Sobolev-$(1,p)$ uniform closure of volume preserving Lipschitz homeomorphisms on closed and connected $d$-dimensional manifolds, $d \geq 2$ and $0<p<1$. With this result at hand we will be able to prove that the ergodic elements are generic. This establishes a version of Oxtoby and Ulam theorem for this Sobolev class. We also prove that, for $1\leq p<d-1$, the topological transitive maps are generic.
△ Less
Submitted 26 April, 2025;
originally announced April 2025.
-
Computing Distances on Graph Associahedra is Fixed-parameter Tractable
Authors:
Luís Felipe I. Cunha,
Ignasi Sau,
Uéverton S. Souza,
Mario Valencia-Pabon
Abstract:
An elimination tree of a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $v$ and recursing on the connected components of $G-v$ to obtain the subtrees of $v$. The graph associahedron of $G$ is a polytope whose vertices correspond to elimination trees of $G$ and whose edges correspond to tree rotations, a natural operation between elimination trees. These obj…
▽ More
An elimination tree of a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $v$ and recursing on the connected components of $G-v$ to obtain the subtrees of $v$. The graph associahedron of $G$ is a polytope whose vertices correspond to elimination trees of $G$ and whose edges correspond to tree rotations, a natural operation between elimination trees. These objects generalize associahedra, which correspond to the case where $G$ is a path. Ito et al. [ICALP 2023] recently proved that the problem of computing distances on graph associahedra is NP-hard. In this paper we prove that the problem, for a general graph $G$, is fixed-parameter tractable parameterized by the distance $k$. Prior to our work, only the case where $G$ is a path was known to be fixed-parameter tractable. To prove our result, we use a novel approach based on a marking scheme that restricts the search to a set of vertices whose size is bounded by a (large) function of $k$.
△ Less
Submitted 25 April, 2025;
originally announced April 2025.
-
$(2B, 3A, 5A)$-subalgebras of the Griess algebra with alternating Miyamoto group
Authors:
Clara Franchi,
Mario Mainardis
Abstract:
We use Majorana representations to study the subalgebras of the Griess algebra that have shape $(2B,3A,5A)$ and whose associated Miyamoto groups are isomorphic to $A_n$. We prove that these subalgebras exist only if $n\in \{5,6,8\}$. The case $n=5$ was already treated by Ivanov, Seress, McInroy, and Shpectorov. In case $n=6$ we prove that these algebras are all isomorphic and provide their precise…
▽ More
We use Majorana representations to study the subalgebras of the Griess algebra that have shape $(2B,3A,5A)$ and whose associated Miyamoto groups are isomorphic to $A_n$. We prove that these subalgebras exist only if $n\in \{5,6,8\}$. The case $n=5$ was already treated by Ivanov, Seress, McInroy, and Shpectorov. In case $n=6$ we prove that these algebras are all isomorphic and provide their precise description. In case $n=8$ we prove that these algebras do not arise from standard Majorana representations.
△ Less
Submitted 24 April, 2025;
originally announced April 2025.
-
Enhancing the controllability of quantum systems via a static field
Authors:
Ruikang Liang,
Eugenio Pozzoli,
Monika Leibscher,
Mario Sigalotti,
Christiane P Koch,
Ugo Boscain
Abstract:
We provide a sufficient condition for the controllability of a bilinear closed quantum system based on the notion of static field and weakly conically connected spectrum. More precisely, we show that if a controlled Hamiltonian with two inputs has a weakly conically connected spectrum, then, freezing one of the two inputs at almost every constant value, the obtained single-input system is controll…
▽ More
We provide a sufficient condition for the controllability of a bilinear closed quantum system based on the notion of static field and weakly conically connected spectrum. More precisely, we show that if a controlled Hamiltonian with two inputs has a weakly conically connected spectrum, then, freezing one of the two inputs at almost every constant value, the obtained single-input system is controllable. The result is illustrated with two examples, enantiomer-selective excitation in a chiral molecule and the driven Jaynes--Cummings Hamiltonian.
△ Less
Submitted 6 May, 2025; v1 submitted 24 April, 2025;
originally announced April 2025.
-
AneuPy: An open source Python tool for creating simulation-ready geometries of abdominal aortic aneurysms
Authors:
Mario de Lucio,
Jacobo Diaz,
Alberto de Castro,
Luis E. Romera
Abstract:
Abdominal aortic aneurysms (AAAs) are localized dilatations of the abdominal aorta that can lead to life-threatening rupture if left untreated. AAAs primarily affect older individuals, with high mortality rates following rupture, so early diagnosis and risk assessment are critical. The geometrical characteristics of an AAA, such as its maximum diameter, asymmetry, and wall thickness, are extremely…
▽ More
Abdominal aortic aneurysms (AAAs) are localized dilatations of the abdominal aorta that can lead to life-threatening rupture if left untreated. AAAs primarily affect older individuals, with high mortality rates following rupture, so early diagnosis and risk assessment are critical. The geometrical characteristics of an AAA, such as its maximum diameter, asymmetry, and wall thickness, are extremely significant in biomechanical models for the assessment of rupture risk. Despite the growing use of computational modeling for AAA investigation, there is a notable gap in accessible, open-source software capable of generating simulation-ready geometries for biomechanical and hemodynamic simulations. To address this gap, we introduce \textbf{AneuPy}, an open-source Python-based tool designed to create both idealized and patient-specific AAA geometric models. \textbf{AneuPy} is a fast and automated approach for generating aneurysm geometries from minimal input data, allowing for extensive parameter customization. By automating the creation of simulation-ready geometries for finite element analysis (FEA), computational fluid dynamics (CFD), or fluid-structure interaction (FSI) models, \textbf{AneuPy} can facilitate research in AAA and improve patient-specific risk prediction.
△ Less
Submitted 15 May, 2025; v1 submitted 13 March, 2025;
originally announced April 2025.
-
Prevalence estimation in infectious diseases with imperfect tests: A comparison of Frequentist and Bayesian Logistic Regression methods with misclassification correction
Authors:
Jorge Mario Estrada Alvarez,
Henan F. Garcia,
Miguel Ángel Montero-Alonso,
Juan de Dios Luna del Castillo
Abstract:
Accurate estimation of disease prevalence is essential for guiding public health strategies. Imperfect diagnostic tests can cause misclassification errors-false positives (FP) and false negatives (FN)-that may skew estimates if unaddressed. This study compared four statistical methods for estimating the prevalence of sexually transmitted infections (STIs) and associated factors, while correcting f…
▽ More
Accurate estimation of disease prevalence is essential for guiding public health strategies. Imperfect diagnostic tests can cause misclassification errors-false positives (FP) and false negatives (FN)-that may skew estimates if unaddressed. This study compared four statistical methods for estimating the prevalence of sexually transmitted infections (STIs) and associated factors, while correcting for misclassification. The methods were: (1) Standard Logistic Regression with external correction using known sensitivity and specificity; (2) the Liu et al. model, which jointly estimates FP and FN rates; (3) Bayesian Logistic Regression with external correction; and (4) a Bayesian model with internal correction using informative priors on diagnostic accuracy. Data came from 11,452 participants in a voluntary screening campaign for HIV, syphilis, and hepatitis B (2020-2024). Prevalence estimates and regression coefficients were compared across models using relative changes from crude estimates, confidence interval (CI) width, and coefficient variability. The Liu model produced higher prevalence estimates but had wider CIs and convergence issues in low-prevalence settings. The Bayesian model with internal correction gave intermediate estimates with the narrowest CIs and more stable intercepts, suggesting improved baseline prevalence estimation. Informative or weakly informative priors helped regularize estimates, especially in small-sample or rare-event contexts. Accounting for misclassification influenced both prevalence and covariate associations. While the Liu model offers theoretical strengths, its practical limitations in sparse data settings reduce its utility. Bayesian models with misclassification correction emerge as robust and flexible tools, particularly valuable in low-prevalence contexts where diagnostic uncertainty is high.
△ Less
Submitted 18 April, 2025;
originally announced April 2025.
-
Timing via Pinwheel Double Categories
Authors:
Elena Di Lavore,
Mario Román
Abstract:
We discuss string diagrams for timed process theories -- represented by duoidally-graded symmetric strict monoidal categories -- built upon the string diagrams of pinwheel double categories.
We discuss string diagrams for timed process theories -- represented by duoidally-graded symmetric strict monoidal categories -- built upon the string diagrams of pinwheel double categories.
△ Less
Submitted 17 April, 2025;
originally announced April 2025.
-
Computational Aspects of the Short Resolution
Authors:
Ignacio García-Marco,
Philippe Gimenez,
Mario González-Sánchez
Abstract:
Let $R:= \Bbbk[x_1,\ldots,x_{n}]$ be a polynomial ring over a field $\Bbbk$, $I \subset R$ be a homogeneous ideal with respect to a weight vector $ω= (ω_1,\ldots,ω_n) \in (\mathbb{Z}^+)^n$, and denote by $d$ the Krull dimension of $R/I$. In this paper we study graded free resolutions of $R/I$ as $A$-module whenever $A :=\Bbbk[x_{n-d+1},\ldots,x_n]$ is a Noether normalization of $R/I$. We exhibit a…
▽ More
Let $R:= \Bbbk[x_1,\ldots,x_{n}]$ be a polynomial ring over a field $\Bbbk$, $I \subset R$ be a homogeneous ideal with respect to a weight vector $ω= (ω_1,\ldots,ω_n) \in (\mathbb{Z}^+)^n$, and denote by $d$ the Krull dimension of $R/I$. In this paper we study graded free resolutions of $R/I$ as $A$-module whenever $A :=\Bbbk[x_{n-d+1},\ldots,x_n]$ is a Noether normalization of $R/I$. We exhibit a Schreyer-like method to compute a (non-necessarily minimal) graded free resolution of $R/I$ as $A$-module. When $R/I$ is a $3$-dimensional simplicial toric ring, we describe how to prune the previous resolution to obtain a minimal one. We finally provide an example of a $6$-dimensional simplicial toric ring whose Betti numbers, both as $R$-module and as $A$-module, depend on the characteristic of $\Bbbk$.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
Inclusion of an Inverse Magnetic Hysteresis Model into the Space-Time Finite Element Method for Magnetoquasistatics
Authors:
Mario Gobrial,
Lukas Domenig,
Michael Reichelt,
Manfred Kaltenbacher,
Olaf Steinbach
Abstract:
In this note we discuss the numerical solution of the eddy current approximation of the Maxwell equations using the simple Pragmatic Algebraic Model to include hysteresis effects. In addition to the more standard time-stepping approach we propose a space-time finite element method which allows both for parallelization and adaptivity simultaneously in space and time. Numerical experiments confirm b…
▽ More
In this note we discuss the numerical solution of the eddy current approximation of the Maxwell equations using the simple Pragmatic Algebraic Model to include hysteresis effects. In addition to the more standard time-stepping approach we propose a space-time finite element method which allows both for parallelization and adaptivity simultaneously in space and time. Numerical experiments confirm both approaches yield the same numerical results.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
Obtuse almost-equiangular sets
Authors:
Christine Bachoc,
Bram Bekker,
Philippe Moustrou,
Fernando Mário de Oliveira Filho
Abstract:
For $t \in [-1, 1)$, a set of points on the $(n-1)$-dimensional unit sphere is called $t$-almost equiangular if among any three distinct points there is a pair with inner product $t$. We propose a semidefinite programming upper bound for the maximum cardinality $α(n, t)$ of such a set based on an extension of the Lovász theta number to hypergraphs. This bound is at least as good as previously know…
▽ More
For $t \in [-1, 1)$, a set of points on the $(n-1)$-dimensional unit sphere is called $t$-almost equiangular if among any three distinct points there is a pair with inner product $t$. We propose a semidefinite programming upper bound for the maximum cardinality $α(n, t)$ of such a set based on an extension of the Lovász theta number to hypergraphs. This bound is at least as good as previously known bounds and for many values of $n$ and $t$ it is better.
We also refine existing spectral methods to show that $α(n, t) \leq 2(n+1)$ for all $n$ and $t \leq 0$, with equality only at $t = -1/n$. This allows us to show the uniqueness of the optimal construction at $t = -1/n$ for $n \leq 5$ and to enumerate all possible constructions for $n \leq 3$ and $t \leq 0$.
△ Less
Submitted 22 April, 2025; v1 submitted 15 April, 2025;
originally announced April 2025.
-
Epsilon-Neighborhood Decision-Boundary Governed Estimation (EDGE) of 2D Black Box Classifier Functions
Authors:
Mithun Goutham,
Riccardo DalferroNucci,
Stephanie Stockar,
Meghna Menon,
Sneha Nayak,
Harshad Zade,
Chetan Patel,
Mario Santillo
Abstract:
Accurately estimating decision boundaries in black box systems is critical when ensuring safety, quality, and feasibility in real-world applications. However, existing methods iteratively refine boundary estimates by sampling in regions of uncertainty, without providing guarantees on the closeness to the decision boundary and also result in unnecessary exploration that is especially disadvantageou…
▽ More
Accurately estimating decision boundaries in black box systems is critical when ensuring safety, quality, and feasibility in real-world applications. However, existing methods iteratively refine boundary estimates by sampling in regions of uncertainty, without providing guarantees on the closeness to the decision boundary and also result in unnecessary exploration that is especially disadvantageous when evaluations are costly. This paper presents the Epsilon-Neighborhood Decision-Boundary Governed Estimation (EDGE), a sample efficient and function-agnostic algorithm that leverages the intermediate value theorem to estimate the location of the decision boundary of a black box binary classifier within a user-specified epsilon-neighborhood. Evaluations are conducted on three nonlinear test functions and a case study of an electric grid stability problem with uncertain renewable power injection. The EDGE algorithm demonstrates superior sample efficiency and better boundary approximation than adaptive sampling techniques and grid-based searches.
△ Less
Submitted 13 April, 2025;
originally announced April 2025.
-
On the Cauchy problem for the reaction-diffusion system with point-interaction in $\mathbb R^2$
Authors:
Daniele Barbera,
Vladimir Georgiev,
Mario Rastrelli
Abstract:
The paper studies the existence of solutions for the reaction-diffusion equation in $\mathbb R^2$ with point-interaction laplacian $Δ_α$ with $α\in(-\infty,+\infty]$, assuming the functions to remain on the absolute continuous projection space. By semigroup estimates, we get the existence and uniqueness of solutions on…
▽ More
The paper studies the existence of solutions for the reaction-diffusion equation in $\mathbb R^2$ with point-interaction laplacian $Δ_α$ with $α\in(-\infty,+\infty]$, assuming the functions to remain on the absolute continuous projection space. By semigroup estimates, we get the existence and uniqueness of solutions on $$ L^\infty\left((0,T);H^1_α\left(\mathbb R^2\right)\right)\cap L^r\left((0,T);H^{s+1}_α\left(\mathbb R^2\right)\right), $$ with $r>2$, $s<\frac{2}{r}$ for the Cauchy problem with small $T>0$ or small initial conditions on $H^1_α(\mathbb R^2)$. Finally, we prove decay in time of the functions.
△ Less
Submitted 11 April, 2025;
originally announced April 2025.
-
Controlling Complex Systems
Authors:
Marco Coraggio,
Davide Salzano,
Mario di Bernardo
Abstract:
This chapter provides a comprehensive overview of controlling collective behavior in complex systems comprising large ensembles of interacting dynamical agents. Building upon traditional control theory's foundation in individual systems, we introduce tools designed to address the unique challenges of coordinating networks that exhibit emergent phenomena, including consensus, synchronization, and p…
▽ More
This chapter provides a comprehensive overview of controlling collective behavior in complex systems comprising large ensembles of interacting dynamical agents. Building upon traditional control theory's foundation in individual systems, we introduce tools designed to address the unique challenges of coordinating networks that exhibit emergent phenomena, including consensus, synchronization, and pattern formation. We analyze how local agent interactions generate macroscopic behaviors and investigate the fundamental role of network topology in determining system dynamics. Inspired by natural systems, we emphasize control strategies that achieve global coordination through localized interventions while considering practical implementation challenges. The chapter concludes by presenting novel frameworks for managing very large agent ensembles and leveraging interacting networks for control purposes.
△ Less
Submitted 10 April, 2025;
originally announced April 2025.
-
Nonparametric local polynomial regression for functional covariates
Authors:
Moritz Jirak,
Alois Kneip,
Alexander Meister,
Mario Pahl
Abstract:
We consider nonparametric regression with functional covariates, that is, they are elements of an infinite-dimensional Hilbert space. A locally polynomial estimator is constructed, where an orthonormal basis and various tuning parameters remain to be selected. We provide a general asymptotic upper bound on the estimation error and show that this procedure achieves polynomial convergence rates unde…
▽ More
We consider nonparametric regression with functional covariates, that is, they are elements of an infinite-dimensional Hilbert space. A locally polynomial estimator is constructed, where an orthonormal basis and various tuning parameters remain to be selected. We provide a general asymptotic upper bound on the estimation error and show that this procedure achieves polynomial convergence rates under appropriate tuning and supersmoothness of the regression function. Such polynomial convergence rates have usually been considered to be non-attainable in nonparametric functional regression without any additional strong structural constraints such as linearity of the regression function.
△ Less
Submitted 8 April, 2025;
originally announced April 2025.
-
Nonlocal techniques for the analysis of deep ReLU neural network approximations
Authors:
Cornelia Schneider,
Mario Ullrich,
Jan Vybiral
Abstract:
Recently, Daubechies, DeVore, Foucart, Hanin, and Petrova introduced a system of piece-wise linear functions, which can be easily reproduced by artificial neural networks with the ReLU activation function and which form a Riesz basis of $L_2([0,1])$. This work was generalized by two of the authors to the multivariate setting. We show that this system serves as a Riesz basis also for Sobolev spaces…
▽ More
Recently, Daubechies, DeVore, Foucart, Hanin, and Petrova introduced a system of piece-wise linear functions, which can be easily reproduced by artificial neural networks with the ReLU activation function and which form a Riesz basis of $L_2([0,1])$. This work was generalized by two of the authors to the multivariate setting. We show that this system serves as a Riesz basis also for Sobolev spaces $W^s([0,1]^d)$ and Barron classes ${\mathbb B}^s([0,1]^d)$ with smoothness $0<s<1$. We apply this fact to re-prove some recent results on the approximation of functions from these classes by deep neural networks. Our proof method avoids using local approximations and allows us to track also the implicit constants as well as to show that we can avoid the curse of dimension. Moreover, we also study how well one can approximate Sobolev and Barron functions by ANNs if only function values are known.
△ Less
Submitted 7 April, 2025;
originally announced April 2025.
-
A Method to Estimate a Neighborhood of a Periodic Orbit
Authors:
Mario Cavani
Abstract:
In this paper we describe a method to estimate a neighborhood containing a periodic orbit of a given system of two ordinary differential equations. By using the theory of integral averages, the system of differential equations can be transformed into an equivalent autonomous system which, by using the Hopf bifurcation theorem, the existence of a periodic solution of this autonomous nonlinear diffe…
▽ More
In this paper we describe a method to estimate a neighborhood containing a periodic orbit of a given system of two ordinary differential equations. By using the theory of integral averages, the system of differential equations can be transformed into an equivalent autonomous system which, by using the Hopf bifurcation theorem, the existence of a periodic solution of this autonomous nonlinear differential equations can be demonstrated. Using of this procedure it is possible to estimate an annular region where the orbit of the periodic solution is located. The method allows to improve the results that the Hopf Bifurcation provides on periodic solutions. In addition, some quantitative characteristics of the solution can be known, such as the amplitude, the period and, a region where the periodic orbit of the original system is located. The method is applied to a three-dimensional system of differential equations that models the competition of two predators and one prey, which under the assumption that the predators are equally voracious, property that in this case leads to a two-dimensional system, where all of the conditions of the method described here are easily applicable.
△ Less
Submitted 3 April, 2025;
originally announced April 2025.
-
Improving Interoperability in Scientific Computing via MaRDI Open Interfaces
Authors:
Dmitry I. Kabanov,
Stephan Rave,
Mario Ohlberger
Abstract:
MaRDI Open Interfaces is a software project aimed at improving reuse and interoperability in Scientific Computing by alleviating the difficulties of crossing boundaries between different programming languages, in which numerical packages are usually implemented, and of switching between multiple implementations of the same mathematical problem. The software consists of a set of formal interface sp…
▽ More
MaRDI Open Interfaces is a software project aimed at improving reuse and interoperability in Scientific Computing by alleviating the difficulties of crossing boundaries between different programming languages, in which numerical packages are usually implemented, and of switching between multiple implementations of the same mathematical problem. The software consists of a set of formal interface specifications for common Scientific Computing tasks, as well as a set of loosely coupled libraries that facilitate implementing these interfaces or adapting existing implementations for multiple programming languages and handle data marshalling automatically without sacrificing performance, enabling users to use different implementations without significant code efforts. The software has high reuse potential due to aim to solve general numerical problems.
△ Less
Submitted 4 April, 2025;
originally announced April 2025.
-
Multi-fidelity Learning of Reduced Order Models for Parabolic PDE Constrained Optimization
Authors:
Benedikt Klein,
Mario Ohlberger
Abstract:
This article builds on the recently proposed RB-ML-ROM approach for parameterized parabolic PDEs and proposes a novel hierarchical Trust Region algorithm for solving parabolic PDE constrained optimization problems. Instead of using a traditional offline/online splitting approach for model order reduction, we adopt an active learning or enrichment strategy to construct a multi-fidelity hierarchy of…
▽ More
This article builds on the recently proposed RB-ML-ROM approach for parameterized parabolic PDEs and proposes a novel hierarchical Trust Region algorithm for solving parabolic PDE constrained optimization problems. Instead of using a traditional offline/online splitting approach for model order reduction, we adopt an active learning or enrichment strategy to construct a multi-fidelity hierarchy of reduced order models on-the-fly during the outer optimization loop. The multi-fidelity surrogate model consists of a full order model, a reduced order model and a machine learning model. The proposed hierarchical framework adaptively updates its hierarchy when querying parameters, utilizing a rigorous a posteriori error estimator in an error aware trust region framework. Numerical experiments are given to demonstrate the efficiency of the proposed approach.
△ Less
Submitted 27 March, 2025;
originally announced March 2025.
-
Errico Presutti 1942-2024
Authors:
Lorenzo Bertini,
Joel L. Lebowitz,
Mario Pulvirenti
Abstract:
Errico Presutti was a leading figure in mathematical physics and an important contributor to rigorous results in statistical mechanics. Due to his strong scientific personality and human qualities, there are many who remember Errico Presutti as colleague, mentor, and friend.
Errico Presutti was a leading figure in mathematical physics and an important contributor to rigorous results in statistical mechanics. Due to his strong scientific personality and human qualities, there are many who remember Errico Presutti as colleague, mentor, and friend.
△ Less
Submitted 21 March, 2025;
originally announced March 2025.
-
Formalizing colimits in Cat
Authors:
Mario Carneiro,
Emily Riehl
Abstract:
Certain results involving "higher structures" are not currently accessible to computer formalization because the prerequisite $\infty$-category theory has not been formalized. To support future work on formalizing $\infty$-category theory in Lean's mathematics library, we formalize some fundamental constructions involving the 1-category of categories. Specifically, we construct the left adjoint to…
▽ More
Certain results involving "higher structures" are not currently accessible to computer formalization because the prerequisite $\infty$-category theory has not been formalized. To support future work on formalizing $\infty$-category theory in Lean's mathematics library, we formalize some fundamental constructions involving the 1-category of categories. Specifically, we construct the left adjoint to the nerve embedding of categories into simplicial sets, defining the homotopy category functor. We prove further that this adjunction is reflective, which allows us to conclude that $\mathcal{C}\textsf{at}$ has colimits. To our knowledge this is the first formalized proof that the category of categories is cocomplete.
△ Less
Submitted 26 March, 2025;
originally announced March 2025.
-
The Least Singular Value Function in Variational Analysis
Authors:
Mario Jelitte,
Boris S. Mordukhovich
Abstract:
Metric regularity is among the central concepts of nonlinear and variational analysis, constrained optimization, and their numerous applications. However, metric regularity can be elusive for some important ill-posed classes of problems including polynomial equations, parametric variational systems, smooth reformulations of complementarity systems with degenerate solutions, etc. The study of stabi…
▽ More
Metric regularity is among the central concepts of nonlinear and variational analysis, constrained optimization, and their numerous applications. However, metric regularity can be elusive for some important ill-posed classes of problems including polynomial equations, parametric variational systems, smooth reformulations of complementarity systems with degenerate solutions, etc. The study of stability issues for such problems can often not rely on the machinery of first-order variational analysis, and so higher-order regularity concepts have been proposed in recent years. In this paper, we investigate some notions of mixed-order regularity by using advanced tools of first-order and second-order variational analysis and generalized differentiation of both primal and dual types. Efficient characterizations of such mixed-order regularity concepts are established by employing a fresh notion of the least singular value function. The obtained conditions are applied to deriving constructive criteria for mixed-order regularity in coupled constraint and variational systems.
△ Less
Submitted 25 March, 2025;
originally announced March 2025.
-
Calibration Bands for Mean Estimates within the Exponential Dispersion Family
Authors:
Łukasz Delong,
Selim Gatti,
Mario V. Wüthrich
Abstract:
A statistical model is said to be calibrated if the resulting mean estimates perfectly match the true means of the underlying responses. Aiming for calibration is often not achievable in practice as one has to deal with finite samples of noisy observations. A weaker notion of calibration is auto-calibration. An auto-calibrated model satisfies that the expected value of the responses being given th…
▽ More
A statistical model is said to be calibrated if the resulting mean estimates perfectly match the true means of the underlying responses. Aiming for calibration is often not achievable in practice as one has to deal with finite samples of noisy observations. A weaker notion of calibration is auto-calibration. An auto-calibrated model satisfies that the expected value of the responses being given the same mean estimate matches this estimate. Testing for auto-calibration has only been considered recently in the literature and we propose a new approach based on calibration bands. Calibration bands denote a set of lower and upper bounds such that the probability that the true means lie simultaneously inside those bounds exceeds some given confidence level. Such bands were constructed by Yang-Barber (2019) for sub-Gaussian distributions. Dimitriadis et al. (2023) then introduced narrower bands for the Bernoulli distribution and we use the same idea in order to extend the construction to the entire exponential dispersion family that contains for example the binomial, Poisson, negative binomial, gamma and normal distributions. Moreover, we show that the obtained calibration bands allow us to construct various tests for calibration and auto-calibration, respectively.
△ Less
Submitted 24 March, 2025;
originally announced March 2025.
-
The Betti Numbers of Kunz-Waldi Semigroups
Authors:
Mario González-Sánchez,
Srishti Singh,
Hema Srinivasan
Abstract:
Given two coprime numbers $p<q$, KW semigroups contain $p,q$ and are contained in $\langle p,q,r \rangle$ where $2r= p,q, p+q$ whichever is even. These semigroups were first introduced by Kunz and Waldi. Kunz and Waldi proved that all $KW$ semigroups of embedding dimension $n\geq 4$ have Cohen-Macaulay type $n-1$ and first Betti number ${n \choose 2}$. In this paper, we characterize KW semigroups…
▽ More
Given two coprime numbers $p<q$, KW semigroups contain $p,q$ and are contained in $\langle p,q,r \rangle$ where $2r= p,q, p+q$ whichever is even. These semigroups were first introduced by Kunz and Waldi. Kunz and Waldi proved that all $KW$ semigroups of embedding dimension $n\geq 4$ have Cohen-Macaulay type $n-1$ and first Betti number ${n \choose 2}$. In this paper, we characterize KW semigroups whose defining ideal is generated by the $2\times 2$ minors of a $2\times n$ matrix. In addition, we identify all KW semigroups that lie on the interior of the same face of the Kunz cone $\mathcal C_p$ as a KW semigroup with determinantal defining ideal. Thus, we provide an explicit formula for the Betti numbers of all those KW semigroups.
△ Less
Submitted 26 March, 2025; v1 submitted 20 March, 2025;
originally announced March 2025.
-
Control Lyapunov Function Design via Configuration-Constrained Polyhedral Computing
Authors:
Boris Houska,
Matthias A. Müller,
Mario E. Villanueva
Abstract:
This paper proposes novel approaches for designing control Lyapunov functions (CLFs) for constrained linear systems. We leverage recent configuration-constrained polyhedral computing techniques to devise piecewise affine convex CLFs. Additionally, we generalize these methods to uncertain systems with both additive and multiplicative disturbances. The proposed design methods are capable of approxim…
▽ More
This paper proposes novel approaches for designing control Lyapunov functions (CLFs) for constrained linear systems. We leverage recent configuration-constrained polyhedral computing techniques to devise piecewise affine convex CLFs. Additionally, we generalize these methods to uncertain systems with both additive and multiplicative disturbances. The proposed design methods are capable of approximating the infinite horizon cost function of both nominal and min-max optimal control problems by solving a single, one-stage, convex optimization problem. As such, these methods find practical applications in explicit controller design as well as in determining terminal regions and cost functions for nominal and min-max model predictive control (MPC). Numerical examples illustrate the effectiveness of this approach.
△ Less
Submitted 20 March, 2025;
originally announced March 2025.
-
Positive Scalar Curvature and crystallographic fundamental groups
Authors:
Noe Barcenas,
Mario Velasquez
Abstract:
We examine positive and negative results for the Gromov-Lawson-Rosenberg Conjecture within the class of crystallographic groups. We give necessary conditions within the class of split extensions of free abelian by cyclic groups to satisfy the unstable Gromov-Lawson-Rosenberg Conjecture. We also give necessary conditions within the same class of groups, producing an infinite number of counterexampl…
▽ More
We examine positive and negative results for the Gromov-Lawson-Rosenberg Conjecture within the class of crystallographic groups. We give necessary conditions within the class of split extensions of free abelian by cyclic groups to satisfy the unstable Gromov-Lawson-Rosenberg Conjecture. We also give necessary conditions within the same class of groups, producing an infinite number of counterexamples for the conjecture.
△ Less
Submitted 21 March, 2025; v1 submitted 14 March, 2025;
originally announced March 2025.
-
Generalized network autoregressive modelling of longitudinal networks with application to presidential elections in the USA
Authors:
Guy Nason,
Daniel Salnikov,
Mario Cortina-Borja
Abstract:
Longitudinal networks are becoming increasingly relevant in the study of dynamic processes characterised by known or inferred community structure. Generalised Network Autoregressive (GNAR) models provide a parsimonious framework for exploiting the underlying network and multivariate time series. We introduce the community-$α$ GNAR model with interactions that exploits prior knowledge or exogenous…
▽ More
Longitudinal networks are becoming increasingly relevant in the study of dynamic processes characterised by known or inferred community structure. Generalised Network Autoregressive (GNAR) models provide a parsimonious framework for exploiting the underlying network and multivariate time series. We introduce the community-$α$ GNAR model with interactions that exploits prior knowledge or exogenous variables for analysing interactions within and between communities, and can describe serial correlation in longitudinal networks. We derive new explicit finite-sample error bounds that validate analysing high-dimensional longitudinal network data with GNAR models, and provide insights into their attractive properties. We further illustrate our approach by analysing the dynamics of $\textit{Red, Blue}$ and $\textit{Swing}$ states throughout presidential elections in the USA from 1976 to 2020, that is, a time series of length twelve on 51 time series (US states and Washington DC). Our analysis connects network autocorrelation to eight-year long terms, highlights a possible change in the system after the 2016 election, and a difference in behaviour between $\textit{Red}$ and $\textit{Blue}$ states.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Tools for analyzing the intersection curve between a torus and a quadric through projection and lifting
Authors:
Laureano Gonzalez-Vega,
Jorge Caravantes,
Gema M. Diaz-Toca,
Mario Fioravanti
Abstract:
This article introduces efficient and user-friendly tools for analyzing the intersection curve between a ringed torus and an irreducible quadric surface. Without loose of generality, it is assumed that the torus is centered at the origin, and its axis of revolution coincides with the $z$-axis. The paper primarily focuses on examining the curve's projection onto the plane $z=0$, referred to as the…
▽ More
This article introduces efficient and user-friendly tools for analyzing the intersection curve between a ringed torus and an irreducible quadric surface. Without loose of generality, it is assumed that the torus is centered at the origin, and its axis of revolution coincides with the $z$-axis. The paper primarily focuses on examining the curve's projection onto the plane $z=0$, referred to as the cutcurve, which is essential for ensuring accurate lifting procedures. Additionally, we provide a detailed characterization of the singularities in both the projection and the intersection curve, as well as the existence of double tangents. A key tool for the analysis is the theory of resultant and subresultant polynomials.
△ Less
Submitted 11 March, 2025;
originally announced March 2025.
-
The paint group Tits Satake theory of hyperbolic symmetric spaces: the distance function, paint invariants and discrete subgroups
Authors:
Ugo Bruzzo,
Pietro Fré,
Mario Trigiante
Abstract:
The present paper, which is partially a review, but also contains several completely new results, aims at presenting, in a unified mathematical framework, a complex and articulated lore regarding non-compact symmetric spaces, with negative curvature, whose isometry group is a non-compact, real simple Lie group. All such manifolds are Riemannian normal manifolds, according to Alekseevsky's definiti…
▽ More
The present paper, which is partially a review, but also contains several completely new results, aims at presenting, in a unified mathematical framework, a complex and articulated lore regarding non-compact symmetric spaces, with negative curvature, whose isometry group is a non-compact, real simple Lie group. All such manifolds are Riemannian normal manifolds, according to Alekseevsky's definition, in the sense that they are metrically equivalent to a solvable Lie group manifold. This identification provides a vision in which, on one side one can derive quite explicit and challenging formulae for the unique distance function between points of the manifold, on the other one, one can organize the entire set of the available manifolds in universality classes distinguished by their common Tits Satake submanifold and, correspondingly, by their non-compact rank. The members of the class are distinguished by their different Paint Groups, the latter notion having been introduced by two of the present authors in an earlier collaboration. In relation to the construction of neural networks, these mathematical structures offer unique possibilities of replacing ad hoc activation functions with the naturally defined non-linear operations that relate Lie algebras to Lie Groups and vice-versa. The Paint Group invariants offer new tokens both to construct algorithms and inspect (hopefully to control) their working. A conspicuous part of the paper is devoted to the study and systematic construction of parabolic/elliptic discrete subgroups of the Lie groups SO(r,r+q), in view of discretization and/or tessellations of the space to which data are to be mapped. Furthermore, it is shown how the ingredients of Special Kähler Geometry and the c-map, well known in the supergravity literature, provide a unified classification scheme of the relevant Tits Satake universality classes with non-compact rank r<5.
△ Less
Submitted 28 February, 2025;
originally announced March 2025.
-
Study of direct and inverse first-exit problems for drifted Brownian motion with Poissonian resetting
Authors:
Mario Abundo
Abstract:
\noindent We address some direct and inverse problems, for the first-exit time (FET) $τ$ of a drifted Brownian motion with Poissonian resetting ${\cal X}(t)$ from an interval $(0,b)$ and the first-exit area (FEA) $A,$ namely the area swept out by ${\cal X}(t)$ till the time $τ$; this type of diffusion process ${\cal X}(t)$ is characterized by the fact that a reset to the position $x_R $ can occur…
▽ More
\noindent We address some direct and inverse problems, for the first-exit time (FET) $τ$ of a drifted Brownian motion with Poissonian resetting ${\cal X}(t)$ from an interval $(0,b)$ and the first-exit area (FEA) $A,$ namely the area swept out by ${\cal X}(t)$ till the time $τ$; this type of diffusion process ${\cal X}(t)$ is characterized by the fact that a reset to the position $x_R $ can occur according to a homogeneous Poisson process with rate $r>0.$ When the initial position ${\cal X}(0)= η\in (0,b)$ is deterministic and fixed, the direct FET problem consists in investigating the statistical properties of the FET $τ,$ whilst the direct FEA problem studies the probability distribution of the FEA $A$. The inverse FET problem regards the case when $η$ is randomly distributed in $(0,b)$ (while $r$ and $x_R $ are fixed); if
$F(t)$ is a given distribution function on the time $t$ axis, the inverse FET problem consists in finding the density $g$ of $η,$ if it exists, such that $P[τ\le t ] = F(t), \ t >0.$ %In addition to the case of random initial position $η,$ we also study the case when the initial position $η$ and the resetting rate $r$ are fixed, whereas the reset position $x_R$ is random. Several explicit examples of solutions to the inverse FET problem are provided.
△ Less
Submitted 27 February, 2025;
originally announced February 2025.
-
A Two-Step Formulation of Maxwell's Equations Using Generalized Tree-Cotree Gauges for Low-Frequency-Stability
Authors:
Leon Herles,
Mario Mally,
Jörg Ostrowski,
Sebastian Schöps,
Melina Merkel
Abstract:
This paper presents a new low-frequency stabilization for a two-step formulation solving the full set of Maxwell's equations. The formulation is based on a electric scalar and magnetic vector potential equation using the electroquasistatic problem as gauge condition. The proposed stabilization technique consists of an adequate frequency scaling for the electroquasistatic problem, and a tree-cotree…
▽ More
This paper presents a new low-frequency stabilization for a two-step formulation solving the full set of Maxwell's equations. The formulation is based on a electric scalar and magnetic vector potential equation using the electroquasistatic problem as gauge condition. The proposed stabilization technique consists of an adequate frequency scaling for the electroquasistatic problem, and a tree-cotree decomposition of the magnetic vector potential such that its divergence remains consistent with the partial decoupling of the magnetic and electric potentials. The paper discusses two variants and demonstrates the effectiveness by a few computational examples.
△ Less
Submitted 19 February, 2025;
originally announced February 2025.
-
Bayesian calculus and predictive characterizations of extended feature allocation models
Authors:
Mario Beraha,
Federico Camerlenghi,
Lorenzo Ghilotti
Abstract:
We introduce and study a unified Bayesian framework for extended feature allocations which flexibly captures interactions -- such as repulsion or attraction -- among features and their associated weights. We provide a complete Bayesian analysis of the proposed model and specialize our general theory to noteworthy classes of priors. This includes a novel prior based on determinantal point processes…
▽ More
We introduce and study a unified Bayesian framework for extended feature allocations which flexibly captures interactions -- such as repulsion or attraction -- among features and their associated weights. We provide a complete Bayesian analysis of the proposed model and specialize our general theory to noteworthy classes of priors. This includes a novel prior based on determinantal point processes, for which we show promising results in a spatial statistics application. Within the general class of extended feature allocations, we further characterize those priors that yield predictive probabilities of discovering new features depending either solely on the sample size or on both the sample size and the distinct number of observed features. These predictive characterizations, known as "sufficientness" postulates, have been extensively studied in the literature on species sampling models starting from the seminal contribution of the English philosopher W.E. Johnson for the Dirichlet distribution. Within the feature allocation setting, existing predictive characterizations are limited to very specific examples; in contrast, our results are general, providing practical guidance for prior selection. Additionally, our approach, based on Palm calculus, is analytical in nature and yields a novel characterization of the Poisson point process through its reduced Palm kernel.
△ Less
Submitted 3 March, 2025; v1 submitted 14 February, 2025;
originally announced February 2025.
-
Separable Approximations of Optimal Value Functions and Their Representation by Neural Networks
Authors:
Mario Sperl,
Luca Saluzzi,
Dante Kalise,
Lars Grüne
Abstract:
The use of separable approximations is proposed to mitigate the curse of dimensionality related to the approximation of high-dimensional value functions in optimal control. The separable approximation exploits intrinsic decaying sensitivity properties of the system, where the influence of a state variable on another diminishes as their spatial, temporal, or graph-based distance grows. This propert…
▽ More
The use of separable approximations is proposed to mitigate the curse of dimensionality related to the approximation of high-dimensional value functions in optimal control. The separable approximation exploits intrinsic decaying sensitivity properties of the system, where the influence of a state variable on another diminishes as their spatial, temporal, or graph-based distance grows. This property allows the efficient representation of global functions as a sum of localized contributions. A theoretical framework for constructing separable approximations in the context of optimal control is proposed by leveraging decaying sensitivity in both discrete and continuous time. Results extend prior work on decay properties of solutions to Lyapunov and Riccati equations, offering new insights into polynomial and exponential decay regimes. Connections to neural networks are explored, demonstrating how separable structures enable scalable representations of high-dimensional value functions while preserving computational efficiency.
△ Less
Submitted 12 February, 2025;
originally announced February 2025.
-
Non-linear Quantum Monte Carlo
Authors:
Jose Blanchet,
Yassine Hamoudi,
Mario Szegedy,
Guanyang Wang
Abstract:
The mean of a random variable can be understood as a $\textit{linear}$ functional on the space of probability distributions. Quantum computing is known to provide a quadratic speedup over classical Monte Carlo methods for mean estimation. In this paper, we investigate whether a similar quadratic speedup is achievable for estimating $\textit{non-linear}$ functionals of probability distributions. We…
▽ More
The mean of a random variable can be understood as a $\textit{linear}$ functional on the space of probability distributions. Quantum computing is known to provide a quadratic speedup over classical Monte Carlo methods for mean estimation. In this paper, we investigate whether a similar quadratic speedup is achievable for estimating $\textit{non-linear}$ functionals of probability distributions. We propose a quantum-inside-quantum Monte Carlo algorithm that achieves such a speedup for a broad class of non-linear estimation problems, including nested conditional expectations and stochastic optimization. Our algorithm improves upon the direct application of the quantum multilevel Monte Carlo algorithm introduced by An et al.. The existing lower bound indicates that our algorithm is optimal up polylogarithmic factors. A key innovation of our approach is a new sequence of multilevel Monte Carlo approximations specifically designed for quantum computing, which is central to the algorithm's improved performance.
△ Less
Submitted 7 February, 2025;
originally announced February 2025.
-
Near-Optimal Sample Complexity for MDPs via Anchoring
Authors:
Jongmin Lee,
Mario Bravo,
Roberto Cominetti
Abstract:
We study a new model-free algorithm to compute $\varepsilon$-optimal policies for average reward Markov decision processes, in the weakly communicating case. Given a generative model, our procedure combines a recursive sampling technique with Halpern's anchored iteration, and computes an $\varepsilon$-optimal policy with sample and time complexity…
▽ More
We study a new model-free algorithm to compute $\varepsilon$-optimal policies for average reward Markov decision processes, in the weakly communicating case. Given a generative model, our procedure combines a recursive sampling technique with Halpern's anchored iteration, and computes an $\varepsilon$-optimal policy with sample and time complexity $\widetilde{O}(|\mathcal{S}||\mathcal{A}|\|h^*\|_{\text{sp}}^{2}/\varepsilon^{2})$ both in high probability and in expectation. To our knowledge, this is the best complexity among model-free algorithms, matching the known lower bound up to a factor $\|h^*\|_{\text{sp}}$. Although the complexity bound involves the span seminorm $\|h^*\|_{\text{sp}}$ of the unknown bias vector, the algorithm requires no prior knowledge and implements a stopping rule which guarantees with probability 1 that the procedure terminates in finite time. We also analyze how these techniques can be adapted for discounted MDPs.
△ Less
Submitted 13 June, 2025; v1 submitted 6 February, 2025;
originally announced February 2025.
-
Partial Markov Categories
Authors:
Elena Di Lavore,
Mario Román,
Paweł Sobociński
Abstract:
We introduce partial Markov categories as a synthetic framework for synthetic probabilistic inference, blending the work of Cho and Jacobs, Fritz, and Golubtsov on Markov categories with the work of Cockett and Lack on cartesian restriction categories. We describe observations, Bayes' theorem, normalisation, and both Pearl's and Jeffrey's updates in purely categorical terms.
We introduce partial Markov categories as a synthetic framework for synthetic probabilistic inference, blending the work of Cho and Jacobs, Fritz, and Golubtsov on Markov categories with the work of Cockett and Lack on cartesian restriction categories. We describe observations, Bayes' theorem, normalisation, and both Pearl's and Jeffrey's updates in purely categorical terms.
△ Less
Submitted 24 January, 2025;
originally announced February 2025.
-
$\mathrm{G}_2$-structures with torsion and the deformed Shatashvili-Vafa vertex algebra
Authors:
Andoni De Arriba de La Hera,
Mateo Galdeano,
Mario Garcia-Fernandez
Abstract:
We construct representations of the deformed Shatashvili-Vafa vertex algebra $\mathrm{SV}_a$, with parameter $a \in \mathbb{C}$, as recently proposed in the physics literature by Fiset and Gaberdiel. The geometric input for our construction are integrable $\mathrm{G}_2$-structures with closed torsion, solving the heterotic $\mathrm{G}_2$ system with $α'=0$ on the group manifolds $S^3\times T^4$ an…
▽ More
We construct representations of the deformed Shatashvili-Vafa vertex algebra $\mathrm{SV}_a$, with parameter $a \in \mathbb{C}$, as recently proposed in the physics literature by Fiset and Gaberdiel. The geometric input for our construction are integrable $\mathrm{G}_2$-structures with closed torsion, solving the heterotic $\mathrm{G}_2$ system with $α'=0$ on the group manifolds $S^3\times T^4$ and $S^3\times S^3\times S^1$. From considerations in string theory, one expects the chiral algebra of these backgrounds to include $\mathrm{SV}_a$, and we provide a mathematical realization of this expectation by obtaining embeddings of $\mathrm{SV}_a$ in the corresponding superaffine vertex algebra and the chiral de Rham complex. In our examples, the parameter $a$ is proportional to the scalar torsion class of the $\mathrm{G}_2$ structure, $a \sim τ_0$, as expected from previous work in the semi-classical limit by the second author, jointly with De la Ossa and Marchetto.
△ Less
Submitted 4 February, 2025;
originally announced February 2025.
-
Shrinking vs. expanding: the evolution of spatial support in degenerate Keller-Segel systems
Authors:
Mario Fuest,
Frederic Heihoff
Abstract:
We consider radially symmetric solutions of the degenerate Keller-Segel system \begin{align*}
\begin{cases}
\partial_t u=\nabla\cdot (u^{m-1}\nabla u - u\nabla v),\\
0=Δv -μ+u,\quadμ=\frac{1}{|Ω|}\int_Ωu,
\end{cases} \end{align*} in balls $Ω\subset\mathbb R^n$, $n\ge 1$, where $m>1$ is arbitrary. Our main result states that the initial evolution of the positivity set of $u$ is essentially…
▽ More
We consider radially symmetric solutions of the degenerate Keller-Segel system \begin{align*}
\begin{cases}
\partial_t u=\nabla\cdot (u^{m-1}\nabla u - u\nabla v),\\
0=Δv -μ+u,\quadμ=\frac{1}{|Ω|}\int_Ωu,
\end{cases} \end{align*} in balls $Ω\subset\mathbb R^n$, $n\ge 1$, where $m>1$ is arbitrary. Our main result states that the initial evolution of the positivity set of $u$ is essentially determined by the shape of the (nonnegative, radially symmetric, Hölder continuous) initial data $u_0$ near the boundary of its support $\overline{B_{r_1}(0)}\subsetneqΩ$: It shrinks for sufficiently flat and expands for sufficiently steep $u_0$.
More precisely, there exists an explicit constant $A_{\mathrm{crit}} \in (0, \infty)$ (depending only on $m, n, R, r_1$ and $\int_Ωu_0$) such that if \begin{align*}
u_0(x)\le A(r_1-|x|)^\frac{1}{m-1}
\qquad \text{for all $|x|\in(r_0, r_1)$ and some $r_0\in(0,r_1)$ and $A<A_{\mathrm{crit}}$}, \end{align*} then there are $T>0$ and $ζ>0$ such that $\sup\{\, |x| \mid x \in \operatorname{supp} u(\cdot, t)\,\}\le r_1 -ζt$ for all $t\in(0, T)$, while if \begin{align*}
u_0(x)\ge A(r_1-|x|)^\frac{1}{m-1}
\qquad \text{for all $|x|\in(r_0, r_1)$ and some $r_0 \in (0, r_1)$ and $A>A_{\mathrm{crit}}$}, \end{align*} then we can find $T>0$ and $ζ>0$ such that $\sup\{\, |x| \mid x \in \operatorname{supp} u(\cdot, t)\,\}\ge r_1 +ζt$ for all $t\in(0, T)$.
△ Less
Submitted 31 January, 2025;
originally announced January 2025.
-
Not all sub-Riemannian minimizing geodesics are smooth
Authors:
Yacine Chitour,
Frédéric Jean,
Roberto Monti,
Ludovic Rifford,
Ludovic Sacchelli,
Mario Sigalotti,
Alessandro Socionovo
Abstract:
A longstanding open question in sub-Riemannian geometry is the following: are sub-Riemannian length minimizers smooth? We give a negative answer to this question, exhibiting an example of a $C^2$ but not $C^3$ length-minimizer of a real-analytic (even polynomial) sub-Riemannian structure.
A longstanding open question in sub-Riemannian geometry is the following: are sub-Riemannian length minimizers smooth? We give a negative answer to this question, exhibiting an example of a $C^2$ but not $C^3$ length-minimizer of a real-analytic (even polynomial) sub-Riemannian structure.
△ Less
Submitted 31 January, 2025;
originally announced January 2025.
-
Modified Patankar Semi-Lagrangian Scheme for the Optimal Control of Production-Destruction systems
Authors:
Simone Cacace,
Alessio Oliviero,
Mario Pezzella
Abstract:
In this manuscript, we present a comprehensive theoretical and numerical framework for the control of production-destruction differential systems. The general finite horizon optimal control problem is formulated and addressed through the dynamic programming approach. We develop a parallel in space conservative scheme for the corresponding backward-in-time Hamilton-Jacobi-Bellman equation. Furtherm…
▽ More
In this manuscript, we present a comprehensive theoretical and numerical framework for the control of production-destruction differential systems. The general finite horizon optimal control problem is formulated and addressed through the dynamic programming approach. We develop a parallel in space conservative scheme for the corresponding backward-in-time Hamilton-Jacobi-Bellman equation. Furthermore, we provide a suitable reconstruction algorithm for optimal controls and trajectories. The application to two case studies, specifically enzyme catalyzed biochemical reactions and infectious diseases, highlights the advantages of the proposed methodology over classical semi-Lagrangian discretizations.
△ Less
Submitted 22 January, 2025;
originally announced January 2025.
-
Ensemble control of n-level quantum systems with a scalar control
Authors:
Ruikang Liang,
Ugo Boscain,
Mario Sigalotti
Abstract:
In this paper we discuss how a general bilinear finite-dimensional closed quantum system with dispersed parameters can be steered between eigenstates. We show that, under suitable conditions on the separation of spectral gaps and the boundedness of parameter dispersion, rotating wave and adiabatic approximations can be employed in cascade to achieve population inversion between arbitrary eigenstat…
▽ More
In this paper we discuss how a general bilinear finite-dimensional closed quantum system with dispersed parameters can be steered between eigenstates. We show that, under suitable conditions on the separation of spectral gaps and the boundedness of parameter dispersion, rotating wave and adiabatic approximations can be employed in cascade to achieve population inversion between arbitrary eigenstates. We propose an explicit control law and test numerically the sharpness of the conditions on several examples.
△ Less
Submitted 21 January, 2025;
originally announced January 2025.
-
Approximate well-balanced WENO finite difference schemes using a global-flux quadrature method with multi-step ODE integrator weights
Authors:
Maria Kazolea,
Carlos Parés Madroñal,
Mario Ricchiuto
Abstract:
In this work, high-order discrete well-balanced methods for one-dimensional hyperbolic systems of balance laws are proposed. We aim to construct a method whose discrete steady states correspond to solutions of arbitrary high-order ODE integrators. However, this property is embedded directly into the scheme, eliminating the need to apply the ODE integrator explicitly to solve the local Cauchy probl…
▽ More
In this work, high-order discrete well-balanced methods for one-dimensional hyperbolic systems of balance laws are proposed. We aim to construct a method whose discrete steady states correspond to solutions of arbitrary high-order ODE integrators. However, this property is embedded directly into the scheme, eliminating the need to apply the ODE integrator explicitly to solve the local Cauchy problem. To achieve this, we employ a WENO finite difference framework and apply WENO reconstruction to a global flux assembled nodewise as the sum of the physical flux and a source primitive. The novel idea is to compute the source primitive using high-order multi-step ODE methods applied on the finite difference grid. This approach provides a locally well-balanced splitting of the source integral, with weights derived from the ODE integrator. By construction, the discrete solutions of the proposed schemes align with those of the underlying ODE integrator. The proposed methods employ WENO flux reconstructions of varying orders, combined with multi-step ODE methods of up to order 8, achieving steady-state accuracy determined solely by the ODE method's consistency. Numerical experiments using scalar balance laws and shallow water equations confirm that the methods achieve optimal convergence for time-dependent solutions and significant error reduction for steady-state solutions.
△ Less
Submitted 10 January, 2025;
originally announced January 2025.
