相关论文: The stable limit DAHA: the structure of the standa…

We introduce heap automata, a formalism for automatic reasoning about robustness properties of the symbolic heap fragment of separation logic with user-defined inductive predicates. Robustness properties, such as satisfiability,…

We continue the study of stabilization phenomena for Dynkin diagram sequences initiated in the earlier work of Kleber and the present author. We consider a more general class of sequences than that of this earlier work, and isolate a…

This work is concerned with the quasineutral limit of the one-dimensional Vlasov-Poisson equation, for initial data close to stationary homogeneous profiles. Our objective is threefold: first, we provide a proof of the fact that the formal…

In [2] we characterized in terms of a quadratic growth condition various metric regularity properties of the subdifferential of a lower semicontinuous convex function acting in a Hilbert space. Motivated by some recent results in [16] where…

We consider Dirac operators on the half-line, subject to generalised infinite-mass boundary conditions. We derive sufficient conditions which guarantee the stability of the spectrum against possibly non-self-adjoint potential perturbations…

We consider the Temperley-Lieb algebras $\textrm{TL}_n(\delta)$ at $\delta = 1$. Since $\delta = 1$, we can consider the multiplicative monoid structure and ask how this monoid acts on topological spaces. Given a monoid action on a…

We dress bare quantum graphs with finite delta function potentials and calculate optical nonlinearities that are found to match the fundamental limits set by potential optimization. We show that structures whose first hyperpolarizability is…

For three-dimensional piecewise-smooth systems of ordinary differential equations, this paper characterises the stability of points that belong to a switching surface and are equilibria of exactly one of the two neighbouring pieces of the…

In this paper we discuss some connections between measurable dynamics and rigidity aspects of group representations and group actions. A new ergodic feature of familiar group boundaries is introduced, and is used to obtain rigidity results…

Motivated by the theory of graph limits, we introduce and study the convergence and limits of linear representations of finite groups over finite fields. The limit objects are infinite dimensional representations of free groups in…

We study the spectral stability of the nonlinear Dirac operator in dimension $1+1$, restricting our attention to nonlinearities of the form $f(\langle\psi,\beta \psi\rangle_{\mathbb{C}^2}) \beta$. We obtain bounds on eigenvalues for the…

It is well known that the solutions of a (relaxed) commutant lifting problem can be described via a linear fractional representation of the Redheffer type. The coefficients of such Redheffer representations are analytic operator-valued…

We continue the study of the theories of Baldwin-Shi hypergraphs from $[5]$. Restricting our attention to when the rank $\delta$ is rational valued, we show that each countable model of the theory of a given Baldwin-Shi hypergraph is…

This article establishes a rigorous spectral framework for the mathematical analysis of SHAP values. We show that any predictive model defined on a discrete or multi-valued input space admits a generalized Fourier expansion with respect to…

We analysis some singular partial differential equations systems(PDAEs) with boundary conditions in high dimension bounded domain with sufficiently smooth boundary. With the eigenvalue theory of PDE the systems initially is formulated as an…

We address the question of the exponential stability for the $C^{1}$ norm of general 1-D quasilinear systems with source terms under boundary conditions. To reach this aim, we introduce the notion of basic $C^{1}$ Lyapunov functions, a…

In this paper, we prove a structure theorem for the infinite union of $n$-adic doubling measures via techniques which involve far numbers. Our approach extends the results of Wu in 1998, and as a by product, we also prove a classification…

The paper is devoted to optimization of resonances associated with 1-D wave equations in inhomogeneous media. The medium's structure is represented by a nonnegative function B. The problem is to design for a given $\alpha \in \R$ a medium…

We address the challenge of estimating the hyperuniformity exponent $\alpha$ of a spatial point process, given only one realization of it. Assuming that the structure factor $S$ of the point process follows a vanishing power law at the…

We provide a complete local well-posedness theory in $H^s$ based Sobolev spaces for the free boundary incompressible Euler equations with zero surface tension on a connected fluid domain. Our well-posedness theory includes: (i) Local…