English
Related papers

Related papers: Translation-based completeness on compact interval…

200 papers

In this article, we study exponents which preserve complete monotonicity of functions on lattices. We prove that for any completely monotone function $f$ on a finite lattice, $f^\alpha$ is completely monotone for all $\alpha\geq c$, where…

Probability · Mathematics 2023-12-06 Jnaneshwar Baslingker , Biltu Dan

We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. Let F be any set functor that preserves…

Logic in Computer Science · Computer Science 2015-07-01 C. Kupke , Y. Venema

It is known that a positive, compactly supported function $f \in L^1(\mathbb R)$ can tile by translations only if the translation set is a finite union of periodic sets. We prove that this is not the case if $f$ is allowed to have unbounded…

Classical Analysis and ODEs · Mathematics 2015-10-27 Mihail N. Kolountzakis , Nir Lev

In this manuscript, we investigate the properties of systems formed by translations of an operator in the Schatten $p$-classes $\mathcal{T}^p$. We establish the existence of Schauder frames of integer translates in $\mathcal{T}^p$ for…

Functional Analysis · Mathematics 2024-09-18 Bhawna Dharra , S. Sivananthan , D. Venku Naidu

This is a conitunation of [1] and [2]. We prove that if function $f$ belongs to the class $\Lambda_{\omega} \overset{\text{def}}{=} \{f: \omega_{f}(\delta)\leq \text{const} \omega(\delta)\} $ for an arbitrary modulus of continuity $\omega$,…

Functional Analysis · Mathematics 2016-05-18 Qinbo Liu

In this paper, we define a new realizability semantics for the simply typed lambda-mu-calculus. We show that if a term is typable, then it inhabits the interpretation of its type. We also prove a completeness result of our realizability…

Logic · Mathematics 2023-06-22 Karim Nour , Mohamad Ziadeh

Let $L$ be a proper differentiation invariant subspace of $C^\infty(a,b)$ such that the restriction operator $\frac{d}{dx}\bigl{|}_L$ has a discrete spectrum $\Lambda$ (counting with multiplicities). We prove that $L$ is spanned by…

Complex Variables · Mathematics 2013-12-31 Alexandru Aleman , Anton Baranov , Yurii Belov

We show that a real-valued function $f$ in the shift-invariant space generated by a totally positive function of Gaussian type is uniquely determined, up to a sign, by its absolute values $\{|f(\lambda)|: \lambda \in \Lambda \}$ on any set…

Classical Analysis and ODEs · Mathematics 2020-12-16 José Luis Romero

Let G denote a connected, quasi-split reductive group over a field F that is complete with respect to a discrete valuation and that has a perfect residue field. Under mild hypotheses, we produce a subset of the Lie algebra g(F) that picks…

Representation Theory · Mathematics 2019-03-13 Jeffrey D. Adler , Jessica Fintzen , Sandeep Varma

We prove that a sequence $(f_i)_{i=1}^\infty$ of translates of a fixed $f\in L_p(R)$ cannot be an unconditional basis of $L_p(R)$ for any $1\le p<\infty$. In contrast to this, for every $2<p<\infty$, $d\in N$ and unbounded sequence…

Functional Analysis · Mathematics 2012-09-21 D. Freeman , E. Odell , Th. Schlumprecht , A. Zsák

Given a lattice $\Lambda$ in a locally compact abelian group $G$ and a measurable subset $\Omega$ with finite and positive measure, then the set of characters associated to the dual lattice form a frame for $L^2(\Omega)$ if and only if the…

Functional Analysis · Mathematics 2016-12-14 Davide Barbieri , Eugenio Hernandez , Azita Mayeli

Let $X$ be an arbitrary separable symmetric space on $[0,1]$. By using a combination of the frame approach and the notion of the multiplicator space $\mathscr{M}(X)$ of $X$ with respect to the tensor product, we investigate the problem when…

Functional Analysis · Mathematics 2019-03-19 Sergey V. Astashkin , Pavel A. Terekhin

We survey the results required to pass between full and reduced coactions of locally compact groups on C*-algebras, which say, roughly speaking, that one can always do so without changing the crossed-product C*-algebra. Wherever possible we…

Operator Algebras · Mathematics 2010-01-22 Astrid an Huef , John Quigg , Iain Raeburn , Dana P. Williams

We define the completion of an associative algebra $A$ in a set $M=\{M_1,\dots,M_r\}$ of $r$ right $A$-modules in such a way that if $\mathfrak a\subseteq A$ is an ideal in a commutative ring $A$ the completion $A$ in the (right) module…

Algebraic Geometry · Mathematics 2024-10-23 Arvid Siqveland

Let a sequence $\Lambda\subset\mathbb{C}$ be such that the corresponding system of exponential functions $\mathcal{E}(\Lambda):=\{e^{i\lambda t}\}_{\lambda\in\Lambda}$ is complete and minimal in $L^2(-\pi,\pi)$ and thus each function $f\in…

Complex Variables · Mathematics 2015-02-04 Yurii Belov , Yurii Lyubarskii

Finding classical canonical observables consists of taking a function space over phase space. For constrained theories, these functions must form zero brackets with a closed algebraic structure of first-class constraints. This brackets…

General Relativity and Quantum Cosmology · Physics 2018-10-09 Edward Anderson

We prove a compactness result with respect to $\Gamma$-convergence for a class of integral functionals which are expressed as a sum of a local and a non-local term. The main feature is that, under our hypotheses, the local part of the…

Analysis of PDEs · Mathematics 2022-12-23 Andrea Braides , Gianni Dal Maso

We answer a question of Darji and Keleti by proving in $ZFC$ that there exists a compact nullset $C_0\subset\RR$ such that for every perfect set $P\subset\RR$ there exists $x\in\RR$ such that $(C_0+x)\cap P$ is uncountable. Using this $C_0$…

General Mathematics · Mathematics 2007-05-23 Marton Elekes

Let $\mathbb N$ be the set of positive integers, and denote by $\lambda(A)=\inf\{t>0:\sum_{a\in A} a^{-t}<\infty\}$ the convergence exponent of $A\subset\mathbb N$. For $0<q\le 1$, $0\le q\le 1$, respectively, the admissible ideals…

Number Theory · Mathematics 2020-05-11 János T. Tóth , József Bukor , Ferdinánd Filip , László Zsilinszky

Let $s_0,s_1,\dots,s_{m-1}$ be complex numbers and $r_0,\dots,r_{m-1}$ rational integers in the range $0\le r_j\le m-1$. Our first goal is to prove that if an entire function $f$ of sufficiently small exponential type satisfies…

Number Theory · Mathematics 2020-11-11 Michel Waldschmidt