2025-01-09 | | Total: 185
Let L⊂X 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
We determine the asymptotic size of the largest gap between bulk eigenvalues in complex Ginibre matrices.
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.
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.
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.
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.
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}.
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.
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.
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.
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.