Loading [MathJax]/jax/element/mml/optable/GreekAndCoptic.js

Mathematics

2025-01-09 | | Total: 185

#1 An open-closed Deligne-Mumford field theory associated to a Lagrangian submanifold [PDF] [Copy] [Kimi] [REL]

Authors: Amanda Hirschi, Kai Hugtenburg

Let LX be a compact embedded Lagrangian in a compact symplectic manifold. We present the moduli spaces of holomorphic maps of arbitrary genus with boundary on L as a global Kuranishi chart, generalising the work of Abouzaid-McLean-Smith and Hirschi-Swaminathan. We use this to define an open-closed Deligne-Mumford theory whose open genus zero part is the Fukaya A algebra associated to L, and whose closed part gives the Gromov--Witten theory of X. Combined with results of Costello, this has applications in obtaining Gromov--Witten invariants from the Fukaya category.

Subject: Symplectic Geometry

Publish: 2025-01-08 18:50:07 UTC


#2 A Novel Highly Parallelizable Machine-Learning Based Method for the Fast Solution of Integral Equations for Electromagnetic Scattering Problems [PDF] [Copy] [Kimi] [REL]

Authors: Enes Koç, Mert Kalfa, Secil E. Dogan, Vakur B. Ertürk

We propose a novel method for the efficient and accurate iterative solution of frequency domain integral equations (IEs) that are used for large/multi-scale electromagnetic scattering problems. The proposed method uses a novel group-by-group interaction strategy to accurately evaluate far-zone interactions within the framework of the one-box-buffer scheme during the matrix-vector multiplication at each iteration. Briefly, subdomain basis functions that are used to model the scatterer at each box are represented by a fixed number of uniformly distributed and arbitrarily oriented Hertzian dipoles (referred to as uniform basis functions), and then the dipole-to-dipole interactions are predicted in a group-wise manner by employing machine learning algorithms, thereby showcasing efficiency, strong scalability for parallelization and accuracy without the low-frequency breakdown (LFB) problem. Since the dipole representation is independent of the underlying material properties of the scatterer, the proposed method is valid for all types of IEs (surface or volume). Moreover, because the training is performed offline, the resulting networks can be used for any scatterer under any IE, without extra training, as long as the size of, and the distances among the boxes are preserved. The efficiency and accuracy of the proposed method are assessed by comparing our results with those obtained from the conventional multilevel fast multipole algorithm for various scattering problems. The proposed method's parallelization performance is showcased through scalability tests, and its resilience to LFB is demonstrated.

Subjects: Numerical Analysis , Computational Physics

Publish: 2025-01-08 18:44:32 UTC


#3 Discrete μ-dichotomy spectrum: beyond uniformity and new insights [PDF] [Copy] [Kimi] [REL]

Authors: Álvaro Castañeda, Claudio A. Gallegos, Néstor Jara

We develop spectral theorems for nonautonomous linear difference systems, considering different types of \mu-dichotomies, both uniform and nonuniform. In the nonuniform case, intriguing scenarios emerge -- that have been employed but whose consequences have not been thoroughly explored -- which surprisingly exhibit unconventional behavior. These particular cases motivate us to introduce two novel properties of nonautonomous systems (even in the continuous-time framework), which appear to have been overlooked in the existing literature. Additionally, we introduce a new conceptualization of a nonuniform \mu-dichotomy spectrum, which lies between the traditional nonuniform \mu-dichotomy spectrum and the slow nonuniform \mu-dichotomy spectrum. Moreover, and this is particularly noteworthy, we propose a conjecture that enables the derivation of spectral theorems in this new setting. Finally, contrary to what has been believed in recent years, through the lens of optimal ratio maps, we show that the nonuniform exponential dichotomy spectrum is not preserved between systems that are weakly kinematically similar.

Subject: Dynamical Systems

Publish: 2025-01-08 18:34:58 UTC


#4 Equivalence of the pearly tree immersed Lagrangian Floer theory and the Hamiltonian immersed Lagrangian Floer theory [PDF] [Copy] [Kimi] [REL]

Author: Zuyi Zhang

The goal of this paper is to prove an equivalence relation between the immersed Lagrangian Floer theory, defined using pearly tree discs, and local Hamiltonian flows, i.e., Hamiltonian flows performed in the Weinstein tubular neighborhood. This is a generalization of Alston-Bao's work.

Subjects: Symplectic Geometry , Differential Geometry , Geometric Topology

Publish: 2025-01-08 18:31:39 UTC


#5 Semilinear Dynamic Programming: Analysis, Algorithms, and Certainty Equivalence Properties [PDF] [Copy] [Kimi] [REL]

Authors: Yuchao Li, Dimitri Bertsekas

We consider a broad class of dynamic programming (DP) problems that involve a partially linear structure and some positivity properties in their system equation and cost function. We address deterministic and stochastic problems, possibly with Markov jump parameters. We focus primarily on infinite horizon problems and prove that under our assumptions, the optimal cost function is linear, and that an optimal policy can be computed efficiently with standard DP algorithms. Moreover, we show that forms of certainty equivalence hold for our stochastic problems, in analogy with the classical linear quadratic optimal control problems.

Subject: Optimization and Control

Publish: 2025-01-08 18:28:56 UTC


#6 Limiting behavior of mixed coherent systems with Lévy-frailty Marshall-Olkin failure times [PDF] [Copy] [Kimi] [REL]

Authors: Guido Lagos, Javiera Barrera, Pablo Romero, Juan Valencia

In this paper we show a limit result for the reliability function of a system -- that is, the probability that the whole system is still operational after a certain given time -- when the number of components of the system grows to infinity. More specifically, we consider a sequence of mixed coherent systems whose components are homogeneous and non-repairable, with failure-times governed by a Lévy-frailty Marshall-Olkin (LFMO) distribution -- a distribution that allows simultaneous component failures. We show that under integrability conditions the reliability function converges to the probability of a first-passage time of a Lévy subordinator process. To the best of our knowledge, this is the first result to tackle the asymptotic behavior of the reliability function as the number of components of the system grows. To illustrate our approach, we give an example of a parametric family of reliability functions where the system failure time converges in distribution to an exponential random variable, and give computational experiments testing convergence.

Subject: Probability

Publish: 2025-01-08 18:14:55 UTC


#7 Quadratic-form Optimal Transport [PDF2] [Copy] [Kimi] [REL]

Authors: Ruodu Wang, Zhenyuan Zhang

We introduce the framework of quadratic-form optimal transport (QOT), whose transport cost has the form \iint c\,\mathrm{d}\pi \otimes\mathrm{d}\pi for some coupling \pi between two marginals. Interesting examples of quadratic-form transport cost and their optimization include the variance of a bivariate function, covariance, Kendall's tau, the Gromov--Wasserstein distance, quadratic assignment problems, and quadratic regularization of classic optimal transport. QOT leads to substantially different mathematical structures compared to classic transport problems and many technical challenges. We illustrate the fundamental properties of QOT, provide several cases where explicit solutions are obtained, and give general lower bounds of the optimal transport costs. For a wide class of cost functions, including the rectangular cost functions, the QOT problem is solved by a new coupling called the diamond transport, whose copula is supported on a diamond in the unit square.

Subjects: Probability , Optimization and Control

Publish: 2025-01-08 18:13:35 UTC


#8 Sharp Quantitative Stability for the Prékopa-Leindler and Borell-Brascamp-Lieb Inequalities [PDF] [Copy] [Kimi] [REL]

Authors: Alessio Figalli, Peter van Hintum, Marius Tiba

The Borell-Brascamp-Lieb inequality is a classical extension of the Prékopa-Leindler inequality, which in turn is a functional counterpart of the Brunn-Minkowski inequality. The stability of these inequalities has received significant attention in recent years. Despite substantial progress in the geometric setting, a sharp quantitative stability result for the Prékopa-Leindler inequality has remained elusive, even in the special case of log-concave functions. In this work, we provide a unified and definitive stability framework for these foundational inequalities. By establishing the optimal quantitative stability for the Borell-Brascamp-Lieb inequality in full generality, we resolve the conjectured sharp stability for the Prékopa-Leindler inequality as a particular case. Our approach builds on the recent sharp stability results for the Brunn-Minkowski inequality obtained by the authors.

Subjects: Functional Analysis , Analysis of PDEs , Combinatorics , Metric Geometry , Probability

Publish: 2025-01-08 18:09:25 UTC


#9 Dynamics of Newton-like root finding methods [PDF] [Copy] [Kimi] [REL]

Authors: Beatriz Campos, Jordi Canela, Pura Vindel

When exploring the literature, it can be observed that the operator obtained when applying \textit{Newton-like} root finding algorithms to the quadratic polynomials z^2-c has the same form regardless of which algorithm has been used. In this paper we justify why this expression is obtained. This is done by studying the symmetries of the operators obtained after applying Newton-like algorithms to a family of degree d polynomials p(z)=z^d-c. Moreover, we provide an iterative procedure to obtain the expression of new Newton-like algoritms. We also carry out a dynamical study of the given generic operator and provide general conclusions of this type of methods.

Subject: Numerical Analysis

Publish: 2025-01-08 17:54:35 UTC


#10 On sparsity of integral points in orbits with big pullbacks under iterates [PDF] [Copy] [Kimi] [REL]

Author: Jorge Mello

We prove new unconditional results of sparsity of integral points on orbits under many maps in arbitrary dimensions, generalizing theorems of Yasufuku(2015) and others. The main ingredients are new diophantine approximation tools.

Subjects: Number Theory , Dynamical Systems

Publish: 2025-01-08 17:47:44 UTC


#11 Characterizations of Variational Convexity and Tilt Stability via Quadratic Bundles [PDF] [Copy] [Kimi] [REL]

Authors: Pham Duy Khanh, Boris S. Mordukhovich, Vo Thanh Phat, Le Duc Viet

In this paper, we establish characterizations of variational s-convexity and tilt stability for prox-regular functions in the absence of subdifferential continuity via quadratic bundles, a kind of primal-dual generalized second-order derivatives recently introduced by Rockafellar. Deriving such characterizations in the effective pointbased form requires a certain revision of quadratic bundles investigated below. Our device is based on the notion of generalized twice differentiability and its novel characterization via classical twice differentiability of the associated Moreau envelopes combined with various limiting procedures for functions and sets.

Subject: Optimization and Control

Publish: 2025-01-08 17:20:55 UTC


#12 Uniformizable foliated projective structures along singular foliations [PDF] [Copy] [Kimi] [REL]

Authors: Bertrand Deroin, Adolfo Guillot

We consider holomorphic foliations by curves on compact complex manifolds, for which we investigate the existence of projective structures along the leaves varying holomorphically (foliated projective structures), that satisfy particular uniformizability properties. Our results show that the singularities of the foliation impose severe restrictions for the existence of such structures. A foliated projective structure separates the singularities of a foliation into parabolic and non-parabolic ones. For a strongly uniformizable foliated projective structure on a compact Kähler manifold, the existence of a single non-degenerate, non-parabolic singularity implies that the foliation is completely integrable. We establish an index theorem that imposes strong cohomological restrictions on the foliations having only non-degenerate singularities that support foliated projective structures making all of them parabolic. As an application of our results, we prove that, on a projective space of any dimension, a foliation by curves of degree at least two, with only non-degenerate singularities, does not admit a strongly uniformizable foliated projective structure.

Subject: Complex Variables

Publish: 2025-01-08 17:16:00 UTC


#13 Convergence of a second-order central scheme for conservation laws with discontinuous flux [PDF] [Copy] [Kimi] [REL]

Authors: Nikhil Manoj, Sudarshan Kumar K

In this article, we propose a Nessyahu-Tadmor-type second-order central scheme for a class of scalar conservation laws with discontinuous flux and present its convergence analysis. Since solutions to problems with discontinuous flux typically do not belong to the space of bounded variation (BV), we employ the theory of compensated compactness as the main tool for the convergence of approximate solutions. A central component of the analysis involves establishing the maximum principle and the \mathrm{W}^{-1,2}_{\mathrm{loc}} compactness of the approximate solutions, the latter achieved through the derivation of several essential estimates. Finally, by introducing a mesh-dependent correction term in the slope limiter, we show that the numerical solutions generated by the the proposed second-order scheme converge to the entropy solution.

Subject: Numerical Analysis

Publish: 2025-01-08 17:03:25 UTC


#14 Strong error estimates for a fully discrete SAV scheme for the stochastic Allen--Cahn equation with multiplicative noise [PDF] [Copy] [Kimi] [REL]

Author: Stefan Metzger

We investigate the numerical approximation of the stochastic Allen--Cahn equation with multiplicative noise on a periodic domain. The considered scheme uses a recently proposed augmented variant of scalar auxiliary variable method for the discretization with respect to time. While scalar auxiliary variable methods in general allow for the construction of unconditionally stable, efficient linear schemes, the considered augmented version (cf. [S. Metzger, 2024, IMA J. Numer. Anal.]) additionally compensates for the typically poor temporal regularity of solutions to stochastic partial differential equations and hence extends the range of applicability of the scheme. In this work, we establish strong rates of convergence and show that the proposed linear scheme exhibits the same optimal rates of convergence that were established in [A. K. Majee & A. Prohl, 2018, Comput. Methods Appl. Math.] for a nonlinear structure preserving scheme. Finally, we provide numerical simulations verifying our theoretical findings.

Subject: Numerical Analysis

Publish: 2025-01-08 17:00:31 UTC


#15 Maximum gap in complex Ginibre matrices [PDF] [Copy] [Kimi] [REL]

Authors: Patrick Lopatto, Moritz Otto

We determine the asymptotic size of the largest gap between bulk eigenvalues in complex Ginibre matrices.

Subject: Probability

Publish: 2025-01-08 16:47:58 UTC


#16 Big algebra in type A for the coordinate ring of the matrix space [PDF] [Copy] [Kimi] [REL]

Author: Nhok Tkhai Shon Ngo

In this note we consider the big algebra recently introduced by Hausel for the \mathrm{GL}_n-action on the coordinate ring of the matrix space \operatorname{Mat}(n,r). In particular, we obtain explicit formulas for the big algebra generators in terms of differential operators with polynomial coefficients. We show that big algebras in type A are commutative and relate them to the Bethe subalgebra in the Yangian \mathrm{Y}(\mathfrak{gl}_{n}). We apply these results to big algebras of symmetric powers of the standard representation of \mathrm{GL}_n.

Subjects: Representation Theory , Quantum Algebra

Publish: 2025-01-08 16:41:13 UTC


#17 Infinite Horizon Fully Coupled Nonlinear Forward-Backward Stochastic Difference Equations and their Application to LQ Optimal Control Problems [PDF] [Copy] [Kimi] [REL]

Authors: Xinyu Ma, Xun Li, Qingxin Meng

This paper focuses on the study of infinite horizon fully coupled nonlinear forward-backward stochastic difference equations (FBS\bigtriangleupEs). Firstly, we establish a pair of priori estimates for the solutions to forward stochastic difference equations (FS\bigtriangleupEs) and backward stochastic difference equations (BS\bigtriangleupEs) respectively. Then, to achieve broader applicability, we utilize a set of domination-monotonicity conditions which are more lenient than general ones. Using these conditions, we apply continuation methods to prove the unique solvability of infinite horizon fully coupled FBS\bigtriangleupEs and derive a set of solution estimates. Furthermore, our results have considerable implications for a variety of related linear quadratic (LQ) problems, especially when the stochastic Hamiltonian system is consistent with FBS\bigtriangleupEs satisfying these introduced domination-monotonicity conditions. Thus, by solving the associated stochastic Hamiltonian system, we can derive an explicit expression for the unique optimal control.

Subject: Optimization and Control

Publish: 2025-01-08 16:40:58 UTC


#18 Sobol' Matrices For Multi-Output Models With Quantified Uncertainty [PDF] [Copy] [Kimi] [REL]

Authors: Robert A. Milton, Solomon F. Brown

Variance based global sensitivity analysis measures the relevance of inputs to a single output using Sobol' indices. This paper extends the definition in a natural way to multiple outputs, directly measuring the relevance of inputs to the linkages between outputs in a correlation-like matrix of indices. The usual Sobol' indices constitute the diagonal of this matrix. Existence, uniqueness and uncertainty quantification are established by developing the indices from a putative multi-output model with quantified uncertainty. Sobol' matrices and their standard errors are related to the moments of the multi-output model, to enable calculation. These are benchmarked numerically against test functions (with added noise) whose Sobol' matrices are calculated analytically.

Subject: Statistics Theory

Publish: 2025-01-08 16:34:17 UTC


#19 Sparse free deconvolution under unknown noise level via eigenmatrix [PDF] [Copy] [Kimi] [REL]

Author: Lexing Ying

This note considers the spectral estimation problems of sparse spectral measures under unknown noise levels. The main technical tool is the eigenmatrix method for solving unstructured sparse recovery problems. When the noise level is determined, the free deconvolution reduces the problem to an unstructured sparse recovery problem to which the eigenmatrix method can be applied. To determine the unknown noise level, we propose an optimization problem based on the singular values of an intermediate matrix of the eigenmatrix method. Numerical results are provided for both the additive and multiplicative free deconvolutions.

Subjects: Numerical Analysis , Statistics Theory

Publish: 2025-01-08 16:27:00 UTC


#20 Weighted Besov spaces on Heisenberg groups and applications to the Parabolic Anderson model [PDF] [Copy] [Kimi] [REL]

Authors: Fabrice Baudoin, Li Chen, Che-Hung Huang, Cheng Ouyang, Samy Tindel, Jing Wang

This article aims at a proper definition and resolution of the parabolic Anderson model on Heisenberg groups \mathbf{H}_{n}. This stochastic PDE is understood in a pathwise (Stratonovich) sense. We consider a noise which is smoother than white noise in time, with a spatial covariance function generated by negative powers (-\Delta)^{-\alpha} of the sub-Laplacian on \mathbf{H}_{n}. We give optimal conditions on the covariance function so that the stochastic PDE is solvable. A large portion of the article is dedicated to a detailed definition of weighted Besov spaces on \mathbf{H}_{n}. This definition, related paraproducts and heat flow smoothing properties, forms a necessary step in the resolution of our main equation. It also appears to be new and of independent interest. It relies on a recent approach, called projective, to Fourier transforms on \mathbf{H}_{n}.

Subjects: Probability , Functional Analysis

Publish: 2025-01-08 16:16:20 UTC


#21 Acoustic waves interacting with non--locally reacting surfaces in a Lagrangian framework [PDF] [Copy] [Kimi] [REL]

Author: Enzo Vitillaro

The paper deals with a family of evolution problems arising in the physical modeling of small amplitude acoustic phenomena occurring in a fluid, bounded by a surface of extended reaction. They are all derived in a Lagrangian framework. We study well-posedness of these problems, their mutual relations, and their relations with other evolution problems modeling the same physical phenomena. They are those introduced in an Eulerian framework and those which deal with the (standard in Theoretical Acoustics) velocity potential. The latter reduce to the well--known wave equation with acoustic boundary conditions. Finally, we prove that all problems are asymptotically stable provided the system is linearly damped.

Subject: Analysis of PDEs

Publish: 2025-01-08 16:10:29 UTC


#22 Accelerated Extragradient-Type Methods -- Part 2: Generalization and Sublinear Convergence Rates under Co-Hypomonotonicity [PDF1] [Copy] [Kimi] [REL]

Authors: Quoc Tran-Dinh, Nghia Nguyen-Trung

Following the first part of our project, this paper comprehensively studies two types of extragradient-based methods: anchored extragradient and Nesterov's accelerated extragradient for solving [non]linear inclusions (and, in particular, equations), primarily under the Lipschitz continuity and the co-hypomonotonicity assumptions. We unify and generalize a class of anchored extragradient methods for monotone inclusions to a wider range of schemes encompassing existing algorithms as special cases. We establish \mathcal{O}(1/k) last-iterate convergence rates on the residual norm of the underlying mapping for this general framework and then specialize it to obtain convergence guarantees for specific instances, where k denotes the iteration counter. We extend our approach to a class of anchored Tseng's forward-backward-forward splitting methods to obtain a broader class of algorithms for solving co-hypomonotone inclusions. Again, we analyze \mathcal{O}(1/k) last-iterate convergence rates for this general scheme and specialize it to obtain convergence results for existing and new variants. We generalize and unify Nesterov's accelerated extra-gradient method to a new class of algorithms that covers existing schemes as special instances while generating new variants. For these schemes, we can prove \mathcal{O}(1/k) last-iterate convergence rates for the residual norm under co-hypomonotonicity, covering a class of nonmonotone problems. We propose another novel class of Nesterov's accelerated extragradient methods to solve inclusions. Interestingly, these algorithms achieve both \mathcal{O}(1/k) and o(1/k) last-iterate convergence rates, and also the convergence of iterate sequences under co-hypomonotonicity and Lipschitz continuity. Finally, we provide a set of numerical experiments encompassing different scenarios to validate our algorithms and theoretical guarantees.

Subjects: Optimization and Control , Machine Learning

Publish: 2025-01-08 16:06:15 UTC


#23 Existence of traveling wave for a coupled incompressible Darcy's free boundary model with undercooling effect and surface tension [PDF] [Copy] [Kimi] [REL]

Authors: Claire Alamichel, Nicolas Meunier

In this paper, we present a cell motility model that takes into account the cell membrane effect. The model introduced is an incompressible Darcy free boundary problem. This model involves a nonlinear term in the boundary condition to model the action of the membrane. This term can be seen as a undercooling effect of the membrane on the cell. It also implies a destabilizing nonlinear term in the boundary condition, depending on polarity markers and modeling the active character of the cytoskeleton. First, we study the linear stability of the steady state and prove that above a threshold, the disk is linearly unstable. This analysis highlights the stabilizing effect of undercooling. Then, using a bifurcation argument, we prove the existence of traveling waves that describe a persistent motion in cell migration and justify the relevance of the model.

Subject: Analysis of PDEs

Publish: 2025-01-08 15:46:00 UTC


#24 High order positivity-preserving numerical methods for a non-local photochemical model [PDF] [Copy] [Kimi] [REL]

Author: Mario Pezzella

In this paper we design high-order positivity-preserving approximation schemes for an integro-differential model describing photochemical reactions. Specifically, we introduce and analyze three classes of dynamically consistent methods, encompassing non-standard finite difference schemes, direct quadrature techniques and predictor-corrector approaches. The proposed discretizations guarantee the positivity, monotonicity and boundedness of the solution regardless of the temporal, spatial and frequency stepsizes. Comprehensive numerical experiments confirm the theoretical findings and demonstrate the efficacy of the proposed methods in simulating realistic photochemical phenomena.

Subject: Numerical Analysis

Publish: 2025-01-08 15:43:09 UTC


#25 On the structure of some one-generator nilpotent braces [PDF] [Copy] [Kimi] [REL]

Authors: Martyn R. Dixon, Leonid A. Kurdachenko, Igor Ya. Subbotin

This article provides a detailed description of some nilpotent left braces generated by one element.

Subjects: Group Theory , Rings and Algebras

Publish: 2025-01-08 15:30:41 UTC