Related papers: Separating Bounded Arithmetics by Herbrand Consist…
Checking whether a system of linear equations is consistent is a basic computational problem with ubiquitous applications. When dealing with inconsistent systems, one may seek an assignment that minimizes the number of unsatisfied…
Suppose any solution of a linear impulsive delay differential equation $$ \dot{x} (t) + \sum_{i=1}^m A_i (t) x[h_i (t)] = 0,~t \geq 0, x(s) = 0, s < 0, $$ $$ x(\tau_j +0) = B_j x(\tau_j -0) + \alpha_j, ~j=1,2, ... ,$$ is bounded for any…
This note is on spherical classes in $H_*(QS^0;k)$ when $k=\mathbb{Z},\mathbb{Z}/p$ with a special focus on the case of $p=2$ related to Curtis conjecture. We apply Freudenthal theorem to prove a vanishing result for the Hurewicz image of…
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…
This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…
Consider the $3$-d primitive equations in a layer domain $\Omega=G \times (-h,0)$, $G=(0,1)^2$, subject to mixed Dirichlet and Neumann boundary conditions at $z=-h$ and $z=0$, respectively, and the periodic lateral boundary condition. It is…
In this paper we produce a few continuations of our previous work on partitions into fractions. Specifically, we study strictly increasing integer sequences $\{n_j\}$ such that there are partitions for all integers less than the floor of…
The aim of this paper is twofold. First we prove a theorem of extension of sections of a coherent subquotient of a hermitian vector bundle on a complex analytic space with control of the norms, without any of the smoothness assumptions that…
In 1995, D. Jerison and C. Kenig in \cite{JK-1995} considered the the inhomogeneous Dirichlet problem $\Delta u= f$ on $\Omega$, $u=0$ on $\partial\Omega$ in Lipschitz domains. One of their main results shows that the $W^{1,p}$ estimate…
In (hyper)coherence semantics, proofs/terms are cliques in (hyper)graphs. Intuitively, vertices represent results of computations and the edge relation witnesses the ability of being assembled into a same piece of data or a same (strongly)…
Undecidability of various properties of first order term rewriting systems is well-known. An undecidable property can be classified by the complexity of the formula defining it. This gives rise to a hierarchy of distinct levels of…
We study the boundedness of the $H^{\infty}$ functional calculus for differential operators acting in (L^{p}(\mathbb{R}^{n};\mathbb{C}^{N})). For constant coefficients, we give simple conditions on the symbols implying such boundedness. For…
In this paper, we introduce new general frameworks for estimating the maximal dimension of Hilbert cubes contained in finite truncations of arbitrary sets. As applications, we investigate Hilbert cubes in a range of arithmetic sets,…
Symmetrical subdivisions in the space of Jager Pairs for continued fractions-like expansions will provide us with bounds on their difference. Results will also apply to the classical regular and backwards continued fractions expansions,…
We prove upper bounds for the Hilbert-Samuel multiplicity of standard graded Gorenstein algebras. The main tool that we use is Boij-S\"oderberg theory to obtain a decomposition of the Betti table of a Gorenstein algebra as the sum of…
We study the homogenization of first-order Hamilton-Jacobi equations on an infinite-dimensional Hilbert space, motivated by systems of infinitely many indistinguishable particles on the torus. A central difficulty is that the analysis takes…
We prove that, under CH, any space with a regular $G_\delta$-diagonal and caliber $\omega_1$ is separable; a corollary of this result answers, under CH, a question of Buzyakova. For any Urysohn space $X$, we establish the inequality $|X|\le…
We consider the problem of bounding the dimension of Hilbert cubes in a finite field $\mathbb{F_p}$ that does not contain any primitive roots. We show that the dimension of such Hilbert cubes is $O_{\epsilon}(p^{1/8+\epsilon})$ for any…
We investigate elliptic boundary-value problems for which the maximum of the orders of the boundary operators is equal to or greater than the order of the elliptic differential equation. We prove that the operator corresponding to an…
Distances have a ubiquitous role in persistent homology, from the direct comparison of homological representations of data to the definition and optimization of invariants. In this article we introduce a family of parametrized pseudometrics…