Related papers: Gap Theorem for Separated Sequences without Pain

Muchnik's theorem about simple conditional descriprion states that for all words $a$ and $b$ there exists a short program $p$ transforming $a$ to $b$ that has the least possible length and is simple conditional on $b$. This paper presents a…

In this article, we give a simple proof of the comparison of nearby and vanishing cycles in the sense of Riemann-Hilbert correspondence following the idea of Beilinson and Bernstein, without using the Kashiwara-Malgrange $V$-filtrations.

Based on various strategies and a new general doubling operator, we obtain several simple proofs of the celebrated Sharkovsky's cycle coexistence theorem. A simple non-directed graph proof which is especially suitable for a calculus course…

The observable distance $d_{\mathrm{conc}}$ based on measure concentration and the box distance $\Box$ based on collapsing theory are extended to geometric data sets introduced by Hanika--Schneider--Stumme. On the set $\mathcal{D}$ of…

The separately continuity topology is considered and some its properties are investigated. With help of these properties a generalization of Sierpinski theorem on determination of real separately continuous function by its values on an…

We give a necessary and sufficient condition for a system of linear inhomogeneous fractional differential equations to have at least one bounded solution. We also obtain an explicit description for the set of all bounded (or decay)…

We give a proof of the Marker-Steinhorn Theorem which fills a gap in previous proofs of the result.

The First and Second Representation Theorem for sign-indefinite quadratic forms are extended. We include new cases of unbounded forms associated with operators that do not necessarily have a spectral gap around zero. The kernel of the…

For a finite dimensional algebra $A$ with $0 < \phi dim (A) = m < \infty$ we prove that there always exist modules $M$ and $N$ such that $\phi(M) = m-1$ and $\phi (N) = 1$. On the other hand, we see an example of an algebra that not every…

Let $G=*_\lambda G_\lambda$ be a free product of torsion-free groups, and let $g\in[G,G]$ be any element not conjugate into a $G_\lambda$. Then scl$_G(g)\ge1/2$. This generalizes, and gives a new proof of a theorem of Duncan-Howie.

Separation of variables by means of the orbit method is implemented to integrable systems on coadjoint orbits in an $\mathfrak{sl}(4)$ loop algebra. This is a development and a kind of explanation for Sklyanin's procedure of separation of…

We present infinite analogues of our splinter lemma from [Trees of tangles in abstract separation systems, arXiv:1909.09030]. From these we derive several tree-of-tangles-type theorems for infinite graphs and infinite abstract separation…

We derive an inequality on the discrepancy of sequences on the ring of $p$-adic integers $\ZZ_p$ using techniques from Fourier analysis. The inequality is used to obtain an upper bound on the discrepancy of the sequence $\alpha_n = na +b$,…

We revisit the central limit theorem for integrated periodograms, equivalently for Toeplitz quadratic forms of stationary Gaussian sequences. Under a regular-variation assumption allowing long-memory singularities and slowly varying…

For a sequence of complex numbers $\Lambda$ we consider the restriction operator $R_{\Lambda}$ defined on Paley-Wiener spaces $PW_{\tau}^{p}$ ($1<p<\infty$). Lyubarskii and Seip gave necessary and sufficient conditions on $\Lambda$ for…

The $LS$-sequences are a parametric family of sequences of points in the unit interval. They were introduced by Carbone, who also proved that under an appropriate choice of the parameters $L$ and $S$, such sequences are low-discrepancy. The…

The discontinuous Petrov-Galerkin method is a minimal residual method with broken test spaces and is introduced for a nonlinear model problem in this paper. Its lowest-order version applies to a nonlinear uniformly convex model example and…

Conjugacy separability of any group of the class of one-relator groups given by the presentation $<a, b; [a^m,b^n]=1>$ ($m,n>1$) is proven.

Let $f$ be a rational function on an algebraic curve over the complex numbers. For a point $p$ and local parameter $x$ we can consider the Taylor series for $f$ in the variable $x$. In this paper we give an upper bound on the frequency with…

Applying quantitative perturbation theory for linear operators, we prove non-asymptotic limit theorems for Markov chains whose transition kernel has a spectral gap in an arbitrary Banach algebra of functions X . The main results are…