Related papers: Spectral synthesis for exponentials and logarithmi…

The single exponential (SE) and double exponential (DE) formulas are widely recognized as efficient quadrature formulas for evaluating integrals with endpoint singularity. For integrals exhibiting algebraic singularity, explicit error…

In this paper we investigate the power of spectral synthesis as a mean to estimate physical properties of galaxies. Spectral synthesis is nothing more than the decomposition of an observed spectrum in terms of a superposition of a base of…

We develop a class of integrals on a manifold M called exponential iterated integrals, an extension of K. T. Chen's iterated integrals. It is shown that the matrix entries of any upper triangular representation of the fundamental group of M…

We show that every sequence $f_1, f_2, \cdots$ of real-valued random variables with $\sup_{n \in \N} \E (f_n^2) < \infty$ contains a subsequence $f_{k_1}, f_{k_2}, \cdots$ converging in \textsc{Ces\`aro} mean to some $\,f_\infty \in…

We derive exponential bounds for tail of distribution for natural, i.e. under ordinary logarithm, normalized sums of arrays of random variables, not necessarily independent.

Let $\cal R$ be either the Grothendieck semiring (semiring with multiplication) of complex algebraic varieties, or the Grothendieck ring of these varieties, or the Grothendieck ring localized by the class of the complex affine line. We…

This paper provides an NP procedure that decides whether a linear-exponential system of constraints has an integer solution. Linear-exponential systems extend standard integer linear programs with exponential terms $2^x$ and remainder terms…

Let $\mu$ be a finite positive measure on the real line. For $a>0$ denote by $\EE_a$ the family of exponential functions $$\EE_a=\{e^{ist}| \ s\in[0,a]\}.$$ The exponential type of $\mu$ is the infimum of all numbers $a$ such that the…

Let $G$ be an acylindrically hyperbolic group and $E$ an exponential equation over $G$. We show that if $E$ is solvable in $G$, then there exists a solution whose components, corresponding to loxodromic elements, can be linearly estimated…

If a finitely generated torsion free group K has the property that all finitely generated subgroups S of K are either small or have growth constant bounded uniformly away from 1 then a non proper HNN extension G of K, that is a semidirect…

By a classical result of Weyl, for any increasing sequence $(n_k)_{k \geq 1}$ of integers the sequence of fractional parts $(\{n_k x\})_{k \geq 1}$ is uniformly distributed modulo 1 for almost all $x \in [0,1]$. Except for a few special…

It is known that for any smooth periodic function $f$ the sequence $(f(2^kx))_{k\ge 1}$ behaves like a sequence of i.i.d.\ random variables, for example, it satisfies the central limit theorem and the law of the iterated logarithm. Recently…

Lacunary trigonometric and Walsh series satisfy limiting results that are typical for i.i.d. random variables such as the central limit theorem (Salem, Zygmund 1947), the law of the iterated logarithm (Weiss 1959) and several probability…

Let $ K / k $ be a purely inseparable extension of characteristic $ p> 0 $ and of finite size. We recall that $K/k$ is modular if for every $n \in \mathbb{N}$,$K^{p^n}$ and $k$ are $k\cap K^{p^ n}$-linearly disjoint. A natural…

Quadratic harnesses are time-inhomogeneous Markov polynomial processes with linear conditional expectations and quadratic conditional variances with respect to the past-future filtrations. Typically they are determined by five numerical…

Given a densely defined and gapped symmetric operator with infinite deficiency index, it is shown how self-adjoint extensions admitting arbitrarily prescribed portions of the gap as essential spectrum are identified and constructed within a…

It is known that, if a point in $R^n$ is driven by a bounded below potential $V$, whose gradient is always in a closed convex cone which contains no lines, then the velocity has a finite limit as time goes to $+\infty$. The components of…

A formalisation of G\"odel's incompleteness theorems using the Isabelle proof assistant is described. This is apparently the first mechanical verification of the second incompleteness theorem. The work closely follows {\'S}wierczkowski…

A scale of the Frechet spaces of exponential type entire functions of one complex variable is considered. Certain special properties of subsets of these spaces consisting of Laguerre entire functions, which are obtained as uniform limits on…

Networks of genetic expression can be modelled by hypergraphs with the additional structure that real coefficients are given to each vertex-edge incidence. The spectra, i.e. the multiset of the eigenvalues, of such hypergraphs, are known to…