Related papers: Separating Bounded Arithmetics by Herbrand Consist…

One of the central open questions in bounded arithmetic is whether Buss' hierarchy of theories of bounded arithmetic collapses or not. In this paper, we reformulate Buss' theories using free logic and conjecture that such theories are…

This paper focuses on the uniform boundary estimates in homogenization of a family of higher order elliptic operators $\mathcal{L}_\epsilon$, with rapidly oscillating periodic coefficients. We derive uniform boundary $C^{m-1,\lambda}…

We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction…

In the junction $\Omega$ of several semi-infinite cylindrical waveguides we consider the Dirichlet Laplacian whose continuous spectrum is the ray $[\lambda_\dagger, +\infty)$ with a positive cut-off value $\lambda_\dagger$. We give two…

We address the problem of determining the Hausdorff dimension of sets consisting of complex irrationals whose complex continued fraction digits satisfy prescribed restrictions and growth conditions. For the Hurwitz continued fraction, we…

In this article we introduce a dual of the uniform boundedness principle which does not require completeness and gives an indirect means for testing the boundedness of a set. The dual principle, although known to the analyst and despite its…

This paper is concerned with the stability of deficiency indices of Hermitian subspaces (i.e., linear relations) under relatively bounded perturbations in Hilbert spaces. Several results about invariance of deficiency indices of Hermitian…

A geometrical picture of separability of 2 x 2 composite quantum systems, showing the region of separable density matrices in the space of hermitian matrices, is given. It rests on the criterion of separability given by Peres, and it is an…

This paper deals with the problem of estimating the covariance matrix of a series of independent multivariate observations, in the case where the dimension of each observation is of the same order as the number of observations. Although…

The possibility of a fundamental consistency between the basic quantum principles and reduction (so-called wave function reduction) is reexamined. The mathematical description of an organized macroscopic device is constructed explicitly as…

This paper continues the study of the mixed problem for the Laplacian. We consider a bounded Lipschitz domain $\Omega\subset \reals^n$, $n\geq2$, with boundary that is decomposed as $\partial\Omega=D\cup N$, $D$ and $N$ disjoint. We let…

We formulate a property $P$ on a class of relations on the natural numbers, and formulate a general theorem on $P$, from which we get as corollaries the insolvability of Hilbert's tenth problem, G\"odel's incompleteness theorem, and…

This paper investigates the geometric constraints imposed on a domain by overdetermined problems for partial differential equations. Serrin's symmetry results are extended to overdetermined problems with potentially degenerate ellipticity…

We consider divergence form elliptic operators in dimension $n\geq 2$ with $L^\infty$ coefficients. Although solutions of these operators are only H\"{o}lder continuous, we show that they are differentiable ($C^{1,\alpha}$) with respect to…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

In this paper we present an infinite family of (h-)separable cowreaths with increasing dimension. Menini and Torrecillas proved in [20] that for $A=Cl(\alpha,\beta, \gamma)$, a four-dimensional Clifford algebra, and $H=H_4$, Sweedler's Hopf…

In this paper we give a metric construction of a tree which correctly identifies connected components of superlevel sets of $\mathbb{R}$-valued continuous functions $f$ on $X$ and show that it is possible to retrieve the $H_0$-persistent…

This short note is motivated by an attempt to understand the distinction between the Laplace operator and the hyperbolic Laplacian on the unit ball of $\mathbb{R}^n$, regarding the Lipschitz continuity of the solutions to the corresponding…

We show that Hilbert's Tenth Problem is undecidable for complementary subrings of number fields and that the p-adic and archimedean ring versions of Mazur's conjectures do not hold in these rings. More specifically, given a number field K,…

Optimal Transport (OT) metrics allow for defining discrepancies between two probability measures. Wasserstein distance is for longer the celebrated OT-distance frequently-used in the literature, which seeks probability distributions to be…