Related papers: Low-like basis theorems for Ramsey's theorem for p…
We expand on recent exciting work of Debris-Alazard, Ducas, and van Woerden [Transactions on Information Theory, 2022], which introduced the notion of basis reduction for codes, in analogy with the extremely successful paradigm of basis…
We use a second-order analogy $\mathsf{PRA}^2$ of $\mathsf{PRA}$ to investigate the proof-theoretic strength of theorems in countable algebra, analysis, and infinite combinatorics. We compare our results with similar results in the…
Consider a class of non-homogenous ultraparabolic differential equations with drift terms or lower order terms arising from some physical models, and we prove that weak solutions are H\"{o}lder continuous, which also generalizes the classic…
A well-ordering principle is a principle of the form: If $X$ is well-ordered then $F(X)$ is well-ordered, where $F$ is some natural operator transforming linear orders into linear orders. Many important subsystems of Second-order Arithmetic…
It is known that if $\Omega \subset \mathbb{R}^{d}$ belongs to a class of multi-tiling domains when translated by a lattice $\Lambda$, there exists a Riesz basis of exponentials for $L^{2}(\Omega)$ constructed using $k$ translates of the…
By a classical result of Kadec and Pe\l czynski (1962), every normalized weakly null sequence in $L^p$, $p>2$ contains a subsequence equivalent to the unit vector basis of $\ell^2$ or to the unit vector basis of $\ell^p$. In this paper we…
The proofs of K. Oka's Coherence Theorems are based on Weierstrass' Preparation (division) Theorem. Here we formulate and prove a Weak Coherence Theorem without using Weierstrass' Preparation Theorem, but only with power series expansions:…
The paper is concerned with the Bari basis property of a boundary value problem associated in $L^2([0,1]; \mathbb{C}^2)$ with the following $2 \times 2$ Dirac-type equation for $y = {\rm col}(y_1, y_2)$: $$L_U(Q) y =-i B^{-1} y' + Q(x) y =…
Polynomial minimal bases of rational vector subspaces are a classical concept that plays an important role in control theory, linear systems theory, and coding theory. It is a common practice to arrange the vectors of any minimal basis as…
We describe here how the recent Wagner's approach for applying reinforcement learning to construct examples in graph theory can be used in the search for critical graphs for small Ramsey numbers. We illustrate this application by providing…
When the Canonical Ramsey's Theorem by Erd\H{o}s and Rado is applied to regressive functions one obtains the Regressive Ramsey's Theorem by Kanamori and McAloon. Taylor proved a "canonical" version of Hindman's Theorem, analogous to the…
For an open set $\Om \subset \R^2$ let $\lambda(\Om)$ denote the bottom of the spectrum of the Dirichlet Laplacian acting in $L^2(\Om)$. Let $w_\Om$ be the torsion function for $\Om$, and let $\|.\|_p$ denote the $L^p$ norm. It is shown…
We show that taking account of bounded curvature reduces the threshold regularity of connection coefficients required for existence and uniqueness of solutions to the geodesic equation, to $L^p_\text{loc}$, one derivative below the…
Computing a basis for the exponent lattice of algebraic numbers is a basic problem in the field of computational number theory with applications to many other areas. The main cost of a well-known algorithm…
In the present paper, a class of new simple modules over the $N=1$ Ramond algebra are constructed, which are induced from simple modules over some finite dimensional solvable Lie superalgebras. These new modules are simple restricted…
Motivated by a recent generalization of the Balian-Low theorem and by new research in wireless communications we analyze the construction of Wilson bases for general time-frequency lattices. We show that orthonormal Wilson bases for $\LtR$…
It is widely accepted that conservation laws, especially energy-momentum conservation, have fundamental importance for both classical and quantum systems in physics. A widely used method to derive the conservation laws is based on Noether's…
A second-order regularity theory is developed for solutions to a class of quasilinear elliptic equations in divergence form, including the $p$-Laplace equation, with merely square-integrable right-hand side. Our results amount to the…
Higher-order abstract GSOS is a recent extension of Turi and Plotkin's framework of Mathematical Operational Semantics to higher-order languages. The fundamental well-behavedness property of all specifications within the framework is that…
We provide a new proof of a important theorem in the Lagrangian formalism about necessary and sufficient conditions for a second-order variational system of equations to follow from a first-order Lagrangian.