Related papers: Completeness, special functions and uncertainty pr…

The convergence of double Fourier series of functions of bounded partial $\Lambda$-variation is investigated. The sufficient and necessary conditions on the sequence $\Lambda=\{\lambda_n\}$ are found for the convergence of Fourier series of…

We study when partial Boolean functions can (and cannot) exhibit superpolynomial quantum query speedups, and develop a general framework for ruling out such speedups via two complementary lenses: promise-aware complexity measures and…

Let $\Omega$ be a domain in $R^n$, and let $N=3\cdot 2^{n-1}$. We prove that the trace of the space $C^2(\Omega)$ to the boundary of $\Omega$ has the following finiteness property: A function $f:\partial\Omega\to R$ is the trace to the…

A function $f$ from an Abelian group $(A,+)$ to an Abelian group $(B,+)$ is $(n, m, S)$ zero-difference (ZD), if $S=\{\lambda_\alpha \mid \alpha \in A\setminus\{0\}\}$ where $n=|A|$, $m=|f(A)|$ and $\lambda_\alpha=|\{x \in A \mid…

Motivated by G. H. Hardy's 1939 results \cite{Hardy} on functions orthogonal with respect to their real zeros $\lambda_{n}, n=1,2,... $, we will consider, within the same general conditions imposed by Hardy, functions satisfying an…

We propose a unified approach to $q$-special functions, which are degenerations of basic hypergeometric functions ${}_2\phi_1(a,b;c;q,x)$. We obtain a list of seven different class of $q$-special functions: ${}_2\phi_1, {}_1\phi_1$, two…

The principles of density-functional theory are studied for finite lattice systems represented by graphs. Surprisingly, the fundamental Hohenberg-Kohn theorem is found void in general, while many insights into the topological structure of…

We study regular coverings of graphs and manifolds with a focus on properties of the heat equation. In particular, we look at stochastic incompleteness, the Feller property and uniform transience; and investigate the connection between the…

Q-systems are unitary versions of Frobenius algebra objects which appeared in the theory of subfactors. In recent joint work with R. Hern\'andez Palomares and C. Jones, the authors defined a notion of Q-system completion for C*/W*…

We consider process algebras with branching parametrized by an equational theory T, and show that it is possible to axiomatize bisimilarity under certain conditions on T. Our proof abstracts an earlier argument due to Grabmayer and Fokkink…

In this paper we established a new Simpson type conformable fractional integral equality for convex functions. Based on this identity, some results related to Simpson-like type inequalities are obtained. These results are then applied to…

We give examples of $L^{1}$-functions that are essentially unbounded on every nonempty open subset of their domains of definition. We obtain such functions as limits of weighted sums of functions with the unboundedly increasing number of…

We will prove an analogue of Landau's necessary conditions [Necessary density conditions for sampling and interpolation of certain entire functions, Acta Math. 117 (1967).] for spaces of functions whose Hankel transform is supported in a…

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…

In this paper we study the variation diminishing kernel as a part of the $q$-calculus. We introduce the $q$-Macdonald function a newborne in the family of the $q$-special functions which play a central role in this study.

We construct families of rational functions $f \colon \bP^1_k \to \bP^1_k$ of degree $d \geq 2$ over a perfect field $k$ whose associated fixed-point processes fail to be martingales. Conversely, for any normal variety $X \subset…

Using graph-theoretic techniques for f.g. subgroups of $F^{\mathbb{Z}[t]}$ we provide a criterion for a f.g. subgroup of a f.g. fully residually free group to be of finite index. Moreover, we show that this criterion can be checked…

Let $G$, $H$ be finite groups and let $X$ be a finite $G$-set. $G$-perfect nonlinear functions from $X$ to $H$ have been studied in several papers. They have more interesting properties than perfect nonlinear functions from $G$ itself to…

We argue that Godel's completeness theorem is equivalent to completability of consistent theories, and Godel's incompleteness theorem is equivalent to the fact that this completion is not constructive, in the sense that there are some…

This work revolves around properties and applications of functions whose nonlocal gradient, or more precisely, finite-horizon fractional gradient, vanishes. Surprisingly, in contrast to the classical local theory, we show that this class…