Related papers: Improved surrogate bi-parameter maximum principle
In the style of Lindstr\"om's theorem for classical first-order logic, this article characterizes propositional bi-intuitionistic logic as the maximal (with respect to expressive power) abstract logic satisfying a certain form of…
We establish the Lyndon interpolation property for basic lattice expansion logics (LE-logics) in arbitrary signatures using display calculi. Our approach is constructive, yielding interpolants algorithmically from derivations, and modular,…
We prove a Tb theorem on quasimetric spaces equipped with what we call an upper doubling measure. This is a property that encompasses both the doubling measures and those satisfying the upper power bound \mu(B(x,r)) \le Cr^d. Our spaces are…
We explain theoretically a curious empirical phenomenon: "Approximating a matrix by deterministically selecting a subset of its columns with the corresponding largest leverage scores results in a good low-rank matrix surrogate". To obtain…
Let $E$ be an arbitrary directed graph and let $L$ be the Leavitt path algebra of the graph $E$ over a field $K$. The necessary and sufficient con- ditions are given to assure the existence of a maximal ideal in $L$ and also the necessary…
By using the unique continuation principle for linear elliptic systems, we can simplify the proof of a recent variational maximum principle due to Alikakos and Fusco. At the same time, this approach allows us to relax an assumption from the…
This work studies a class of singular Volterra integral equations that are (controlled) and can be applied to memory-related problems.For optimum controls, we prove a second-order Pontryagin type maximal principle.
We revisit the model of the ballistic deposition studied in \cite{bdeposition} and prove several combinatorial properties of the random tree structure formed by the underlying stochastic process. Our results include limit theorems for the…
The superiority of stochastic symplectic methods over non-symplectic counterparts has been verified by plenty of numerical experiments, especially in capturing the asymptotic behaviour of the underlying solution process. How can one…
This paper presents a complete axiomatization of Monadic Second-Order Logic (MSO) over infinite trees. MSO on infinite trees is a rich system, and its decidability ("Rabin's Tree Theorem") is one of the most powerful known results…
Treewidth is a graph parameter that plays a fundamental role in several structural and algorithmic results. We study the problem of decomposing a given graph $G$ into node-disjoint subgraphs, where each subgraph has sufficiently large…
In dimension two or three, the weak maximum principal for biharmonic equation is valid in any bounded Lipschitz domains. In higher dimensions (greater than three), it was only known that the weak maximum principle holds in convex domains or…
A formulation of the Carleson embedding theorem in the multilinear setting is proved which allows to obtain a multilinear analogue of Sawyer's two weight theorem for the multisublinear maximal function \mathcal{M} introduced in Lerner et…
NDCG, namely Normalized Discounted Cumulative Gain, is a widely used ranking metric in information retrieval and machine learning. However, efficient and provable stochastic methods for maximizing NDCG are still lacking, especially for deep…
We introduce a notion of subunit vector field for fully nonlinear degenerate elliptic equations. We prove that an interior maximum of a viscosity subsolution of such an equation propagates along the trajectories of subunit vector fields.…
The deformed supersymmetric sine-Gordon model, obtained through known deformation of the corresponding potential, is found to be quasi-integrable, like its non-supersymmetric counterpart, which was observed earlier. The system expectedly…
We introduce a new parameter, called stretch-width, that we show sits strictly between clique-width and twin-width. Unlike the reduced parameters [BKW '22], planar graphs and polynomial subdivisions do not have bounded stretch-width. This…
We study a class of second-order boundary-degenerate elliptic equations in two dimensions with minimal regularity assumptions. We prove a maximum principle and a Harnack inequality at the degenerate boundary, and assuming local boundedness,…
We prove a maximal-type large deviation principle for dynamical systems with arbitrarily slow polynomial mixing rates. Also several applications, particularly to billiard systems, are presented.
In this paper, we are interested in studying the asymptotic behavior of the solutions of differential inclusions governed by maximally monotone operators. In the case where the LaSalle's invariance principle is inconclusive, we provide a…