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

In this article we have studied complex linear homogeneous difference equations where the coefficients are meromorphic functions, having finite iterated p-phi order. We have made some estimations on the growth of its nontrivial solutions.…

Unanticipated connections between different fragments of lambda calculus and different families of embedded graphs (a.k.a. "maps") motivate the problem of enumerating $\beta$-normal linear lambda terms. In this brief note, it is shown (by…

We study semi Lagrangian approximation schemes for Hamilton Jacobi Bellman equations arising from finite horizon optimal control problems. Classical error estimates for these schemes include the term $\frac{1}{\Delta t}$ which leads to…

We consider a nonlinear Neumann problem, with periodic oscillation in the elliptic operator and on the boundary condition. Our focus is on problems posed in half-spaces, but with general normal directions that may not be parallel to the…

In this paper we prove Holder regularity of the gradient for solutions of Dirichlet problem associate to degenerate elliptic equations, extending the recent result of Imbert and Silvestre. Indeed we obtain regularity up to the boundary and…

Sliced Wasserstein distances preserve properties of classic Wasserstein distances while being more scalable for computation and estimation in high dimensions. The goal of this work is to quantify this scalability from three key aspects: (i)…

The paper investigates the stability properties of restrictions of irreducible representations of the symmetric group to the hyperoctahedral subgroup. A stability result is obtained, analogous to the classical Murnaghan theorem on the…

Hyers-Ulam stability of the difference equation $ z_{n+1} = a_nz_n + b_n $ is investigated. If $ \prod_{j=1}^{n}|a_j| $ has subexponential growth rate, then difference equation generated by linear maps has no Hyers-Ulam stability. Other…

We study a fine hierarchy of Borel-piecewise continuous functions, especially, between closed-piecewise continuity and $G_\delta$-piecewise continuity. Our aim is to understand how a priority argument in computability theory is connected to…

We introduce an intrinsic notion of Hoelder-Zygmund regularity for Colombeau generalized functions. In case of embedded distributions belonging to some Zygmund-Hoelder space this is shown to be consistent. The definition is motivated by the…

In the present work we prove a number of surprising results about gaps between consecutive primes and arithmetic progressions in the sequence of generalized twin primes which could not have been proven without the recent fantastic…

Quantum coherence and entanglement orignate from the superposition principle. We derive a rigorous relation between the ${l_1}$-norm of coherence and concurrence, in that we show that the former is always greater than the latter. This…

We consider second-order uniformly elliptic operators subject to Dirichlet boundary conditions. Such operators are considered on a bounded domain $\Omega$ and on the domain $\phi(\Omega)$ resulting from $\Omega$ by means of a bi-Lipschitz…

Hilbert's epsilon-calculus is based on an extension of the language of predicate logic by a term-forming operator $\epsilon_{x}$. Two fundamental results about the epsilon-calculus, the first and second epsilon theorem, play a role similar…

In the half-space $\mathbb{R}^d \times \mathbb{R}_+$, we consider the Hermite-Schr\"odinger equation $i\partial u/\partial t = - \Delta u + |x|^2 u$, with given boundary values on $\mathbb{R}^d$. We prove a formula that links the solution…

Let $ \bbB_n =\frac{1}{n}(\bbR_n + \bbT^{1/2}_n \bbX_n)(\bbR_n + \bbT^{1/2}_n \bbX_n)^* $ where $ \bbX_n $ is a $ p \times n $ matrix with independent standardized random variables, $ \bbR_n $ is a $ p \times n $ non-random matrix,…

We prove that if the linear-time and polynomial-time hierarchies coincide, then every model of $\Pi_1(\mathbb{N}) + \neg \Omega_1$ has a proper end-extension to a model of $\Pi_1(\mathbb{N})$, and so $\Pi_1(\mathbb{N}) + \neg \Omega_1…

The purpose of this article is to study the algorithmic complexity of the Besicovitch stability of noisy subshifts of finite type, a notion studied in a previous article. First, we exhibit an unstable aperiodic tiling, and then see how it…

We prove the homogenization of fully nonlinear parabolic equations with periodic oscillating Dirichlet boundary conditions on certain general prescribed space-time domains. It was proved in [9,10] that for elliptic equations, the…

We investigate the boundedness of solutions of the first order linear difference equation of the form $x_{n+1} = Ax_{n} + y_{n}, \; n \geq 1$ where $A$ is a square matrix with complex entries, sequence $\{y_{n}\}_{n\geq 1}$ and initial…