Related papers: Frames generated by the functional calculus and fu…
The Functional Machine Calculus (FMC), recently introduced by the authors, is a generalization of the lambda-calculus which may faithfully encode the effects of higher-order mutable store, I/O and probabilistic/non-deterministic input.…
It is known that the function $f(e^x)/g(e^x)$ is positive definite for some functions $f,g$ implies the operator norm inequality related to $f,g$. We treat functions which have the following form: $f(t) = t^{(1-\sum_{i=1}^n…
Graphical functions are special position space Feynman integrals, which can be used to calculate Feynman periods and one- or two-scale processes at high loop orders. With graphical functions, renormalization constants have been calculated…
We show that the framing of $2$-sequences whose generating functions are rational integrate to $3$-sequences. To do so, we give a generalization of Wolstenholme's Theorem.
We forge connections between the theory of fractal sets obtained as attractors of iterated function systems and process calculi. To this end, we reinterpret Milner's expressions for processes as contraction operators on a complete metric…
Four dimensional scalar-tensor theory is considered within two conformal frames, the Jordan frame (JF) and the Einstein frame (EF). The actions for the theory are equivalent and equations of motion can be obtained from each action. It is…
Frames formed by orbits of vectors through the iteration of a bounded operator have recently attracted considerable attention, in particular due to its applications to dynamical sampling. In this article, we consider two commuting bounded…
The class of uniformly computable real functions with respect to a small subrecursive class of operators computes the elementary functions of calculus, restricted to compact subsets of their domains. The class of conditionally computable…
We introduce a real vector space composed of set-valued maps on an open set X and note it by S. It is a complete metric space and a complete lattice. The set of continuous functions on X is dense in S as in a metric space and as in a…
Let $F(x)=\sum\limits_{n=1}^\infty\tau(n)x^n$ be the generating function for the number $\tau(n)$ of spanning trees in the circulant graphs $C_{n}(s_1,s_2,\ldots,s_k).$ We show that $F(x)$ is a rational function with integer coefficients…
Given a vector function ${\bf F}=(F_1,\ldots,F_d),$ analytic on a neighborhood of some compact subset $E$ of the complex plane with simply connected complement, we define a sequence of vector rational functions with common denominator in…
This paper establishes new bridges between number theory and modern harmonic analysis, namely between the class of complex functions, which contains zeta functions of arithmetic schemes and closed with respect to product and quotient, and…
In this paper the notion of an abstract square function (estimate) is introduced as an operator X to gamma (H; Y), where X, Y are Banach spaces, H is a Hilbert space, and gamma(H; Y) is the space of gamma-radonifying operators. By the…
Category theory provides a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the…
Tensor networks and circuits are widely used data structures to represent pseudo-Boolean functions. These two formalisms have been studied primarily in separate communities, and this paper aims to establish equivalences between them. We…
We characterise the computational power of recurrent graph neural networks (GNNs) in terms of arithmetic circuits over the real numbers. Our networks are not restricted to aggregate-combine GNNs or other particular types. Generalising…
We construct a new scheme of approximation of any multivalued algebraic function $f(z)$ by a sequence $\{r_{n}(z)\}_{n\in \mathbb{N}}$ of rational functions. The latter sequence is generated by a recurrence relation which is completely…
Causal functions of sequences occur throughout computer science, from theory to hardware to machine learning. Mealy machines, synchronous digital circuits, signal flow graphs, and recurrent neural networks all have behaviour that can be…
Regular functions from infinite words to infinite words can be equivalently specified by MSO-transducers, streaming $\omega$-string transducers as well as deterministic two-way transducers with look-ahead. In their one-way restriction, the…
The classical theory of free analysis generalizes the noncommutative (nc) polynomials and rational functions, easily providing such results as an nc analogue of the Jacobian conjecture. However, the classical theory misses out on important…