相关论文: Separating Bounded Arithmetics by Herbrand Consist…

This article focuses on Lp-estimates for the square root of elliptic systems of second order in divergence form on a bounded domain. We treat complex bounded measurable coefficients and allow for mixed Dirichlet/Neumann boundary conditions…

Using the notion of higher-order Fourier dimension introduced in \cite{M2} (which was a sort of psuedorandomness condition stemming from the Gowers norms of Additive Combinatorics), we prove a maximal theorem and corresponding…

We consider the coefficients in the series expansion at zero of the Weierstrass sigma function \[ \sigma(z) = z \sum_{i, j \geqslant 0} {a_{i,j} \over (4 i + 6 j + 1)!} \left({g_2 z^4 \over 2}\right)^i \left(2 g_3 z^6\right)^j. \] We have…

Using a regularization with the properties of dimensional regularization, higher order local consistency conditions on one loop anomalies and divergent counterterms are given. They are derived without any a priori assumption on the form of…

The algebraic stability theorem for $\mathbb{R}$-persistence modules is a fundamental result in topological data analysis. We present a stability theorem for $n$-dimensional rectangle decomposable persistence modules up to a constant…

This paper investigates the relation between the boundary geometric properties and the boundary regularity of the solutions of elliptic equations. We prove by a new unified method the pointwise boundary H\"{o}lder regularity under proper…

Hilbert's epsilon calculus is an extension of elementary or predicate calculus by a term-forming operator $\varepsilon$ and initial formulas involving such terms. The fundamental results about the epsilon calculus are so-called epsilon…

This paper studies the regularity problem for block uniformly elliptic operators in divergence form with complex bounded measurable coefficients. We consider the case where the boundary data belongs to Lebesgue spaces with weights in the…

We prove that if $R$ is an $\mathbb{E}_2$-ring with homotopy concentrated in even degrees, and $\{x_j\}$ is any sequence of elements in $\pi_{2*}(R)$, then $R/(x_1,x_2,\cdots)$ admits the structure of an $\mathbb{E}_1$-$R$-algebra. This…

This paper presents a solution to a problem from superanalysis about the existence of Hilbert-Banach superalgebras. Two main results are derived: 1) There exist Hilbert norms on some graded algebras (infinite-dimensional superalgebras…

We give dimension-free regularity conditions for a class of possibly degenerate sub-elliptic equations in the Heisenberg group exhibiting super-quadratic growth in the horizontal gradient; this solves an issue raised by Manfredi & Mingione…

We generalise the notions of semi-regularity, regularity, and bi-regularity to unitary solutions of the braided Pentagon equation in concrete W*-categories with semi-regular/regular/bi-regular braiding, and study their properties. We show,…

Persistent homology is a popular and useful tool for analysing finite metric spaces, revealing features that can be used to distinguish sets of unlabeled points and as input into machine learning pipelines. The famous stability theorem of…

In this paper, we achieve new and improved numerical radius inequalities of operators defined on a Hilbert space by using Orlicz function and Hermite-Hadamard inequality. The upper bounds of various inequalities involving numerical radii…

The contribution of this work is twofold. The first part deals with a Hilbert-space version of McCann's celebrated result on the existence and uniqueness of monotone measure-preserving maps: given two probability measures $\rm P$ and $\rm…

Let $R=k[x_1,\dots,x_n]/I$ be a standard graded $k$-algebra where $k$ is a field of prime characteristic and let $J$ be a homogeneous ideal in $R$. Denote $(x_1,\dots,x_n)$ by $\mathfrak{m}$. We prove that there is a constant $C$…

We investigate both the instantaneous loss and the persistence of high regularity for the one-dimensional logarithmic Schr{\"o}dinger equation in symmetric domains under various boundary conditions. We show that for a broad class of odd…

The concept of reiterated $\Sigma$-convergence (and more generally of multiscale $\Sigma$-convergence) is extended to framework of Orlicz-Sobolev spaces, in order to deals with homogenization of multiscales problems in general deterministic…

Higher-order beta-matching is the following decision problem: given two simply typed lambda-terms, can the first term be instantiated to be beta-equivalent to the second term? This problem was formulated by Huet in the 1970s and shown…

We study the problem of covariant separation between first and second class constraints for the $D=10$ Brink-Schwarz superparticle. Opposite to the supersymmetric light-cone frame separation, we show here that there is a Lorentz covariant…