Related papers: Separating Bounded Arithmetics by Herbrand Consist…
An inductive proof can be represented as a proof schema, i.e. as a parameterized sequence of proofs defined in a primitive recursive way. A corresponding cut-elimination method, called schematic CERES, can be used to analyze these proofs,…
A detachment of a hypergraph is formed by splitting each vertex into one or more subvertices, and sharing the incident edges arbitrarily among the subvertices. For a given edge-colored hypergraph $\scr F$, we prove that there exists a…
Heisenberg-type higher order symmetries are studied for both classical and quantum mechanical systems separable in cartesian coordinates. A few particular cases of this type of superintegrable systems were already considered in the…
Let $G/H$ be a reductive symmetric space over a $p$-adic field $F$, the algebraic groups $G$ and $H$ being assumed semisimple of relative rank $1$. One of the branching problems for the Steinberg representation $\St_G$ of $G$ is the…
We prove large-scale $C^\infty$ regularity for solutions of nonlinear elliptic equations with random coefficients, thereby obtaining a version of the statement of Hilbert's 19th problem in the context of homogenization. The analysis…
Often some interesting or simply curious points are left out when developing a theory. It seems that one of them is the existence of an upper bound for the fraction of area of a convex and closed plane area lying outside a circle with which…
We prove that for any integers $\alpha, \beta > 1$, the existential fragment of the first-order theory of the structure $\langle \mathbb{Z}; 0,1,<, +, \alpha^{\mathbb{N}}, \beta^{\mathbb{N}}\rangle$ is decidable (where $\alpha^{\mathbb{N}}$…
Very recently, Bai [Linear Algebra Appl., 681:150-186, 2024 \& Appl. Math. Lett., 166:109510, 2025] studied some concrete structures, and obtained essential algebraic and computational properties of the one-dimensional, two-dimensional and…
In this note we study periodic homogenization of Dirichlet problem for divergence type elliptic systems when both the coefficients and the boundary data are oscillating. One of the key difficulties here is the determination of the fixed…
We refine the arithmetical hierarchy of various classical principles by finely investigating the derivability relations between these principles over Heyting arithmetic. We mainly investigate some restricted versions of the law of excluded…
For elliptic systems with block structure in the upper half-space and t-independent coefficients, we settle the study of boundary value problems by proving compatible well-posedness of Dirichlet, regularity and Neumann problems in optimal…
We investigate a linearised Calder\'on problem in a two-dimensional bounded simply connected $C^{1,\alpha}$ domain $\Omega$. After extending the linearised problem for $L^2(\Omega)$ perturbations, we orthogonally decompose $L^2(\Omega) =…
Let K be an algebraically bounded structure and T be its theory. If T is model complete, then the theory of K endowed with a derivation, denoted by $T^{\delta}$, has a model completion. Additionally, we prove that if the theory T is…
The algebra of embeddings at the I3 level has been deeply analyzed, but nothing is known algebra-wise for embeddings above I3. In this paper it is introduced an operation for embeddings at the level of I0 and above, and it is proven that…
In the unit ball B(0,1), let $u$ and $\Omega$ (a domain in $\R$) solve the following overdetermined problem: $$\Delta u =\chi_\Omega\quad \hbox{in} B(0,1), \qquad 0 \in \partial \Omega, \qquad u=|\nabla u |=0 \quad \hbox{in} B(0,1)\setminus…
We improve the preceding results obtained by the first and the second authors in [3]. They concern the stability issue of the inverse problem that consists in determining the potential and the damping coefficient in a wave equation from an…
The main result here gives an algebra(/linear category) isomorphism between a geometrically defined subcategory $J^1_0$ of a short Brauer category $J_0$ and a certain one-parameter specialisation of the blob category $b$. That is, we prove…
Quadratic irrationals posses a periodic continued fraction expansion. Much less is known about cubic irrationals. We do not even know if the partial quotients are bounded, even though extensive computations suggest they might follow…
We develop novel empirical Bernstein inequalities for the variance of bounded random variables. Our inequalities hold under constant conditional variance and mean, without further assumptions like independence or identical distribution of…
Let $(X,d)$ be a proper ultrametric space. Given a measure $m$ on $X$ and a function $C(B)$ defined on the set of all non-singleton balls $B$ we consider the hierarchical Laplacian $L=L_{C}$. Choosing a sequence $\{\varepsilon (B)\}$ of…