Related papers: A sufficient condition for a Rational Differential…
The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$…
We establish the existence of a finite-dimensional unitary realization for every matrix-valued rational inner function from the Schur--Agler class on a unit square-matrix polyball. In the scalar-valued case, we characterize the denominators…
The Hardy operator is not bounded on the space of integrable functions on the positive half-line and its discrete counterpart on summable sequences. we introduce a modified Hardy operator obtained by subtracting a natural corrective term,…
Certain Bernoulli convolution measures (\mu) are known to be spectral. Recently, much work has concentrated on determining conditions under which orthonormal Fourier bases (i.e. spectral bases) exist. For a fixed measure known to be…
We give an algorithm to write down all conformally invariant differential operators acting between scalar functions on Minkowski space. All operators of order k are nonlinear and are functions on a finite family of functionally independent…
In [Appl. Comput. Harmon. Anal., 46(3):664-673, 2019], O. Christensen and M. Hasannasab observed that assuming the existence of an operator $T$ sending $e_n$ to $e_{n+1}$ for all $n \in \mathbb{N}$ (where $(e_n)_{n \in \mathbb{N}}$ is a…
New Completely Integrable (2+1)-System is studied. It is based on the so-called L-A-B-triples $L_t=[H,L]-fL$ where L is a 2D Schrodinger Operator. This approach was invented by S.Manakov and B.Dubrovin, I.Krichever, S.Novikov(DKN) in the…
This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…
In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…
We compute the Form Factors of the relevant scaling operators in a class of integrable models without internal symmetries by exploiting their cluster properties. Their identification is established by computing the corresponding anomalous…
We formally define an elegant multi-paradigm unification of Functional Reactive Programming, Actor Systems, and Object-Oriented Programming. This enables an intuitive form of declarative programming, harvesting the power of concurrency…
Our main result is a theorem saying that a bounded operator $A$ on a Hilbert space belongs to a certain set associated with its self-commutator $[A^*,A]$, provided that $A-zI$ can be approximated by invertible operators for all complex…
In this paper, we introduce the integration of algebroidal functions on Riemann surfaces for the first time. Some properties of integration are obtained. By giving the definition of residues and integral function element, we obtain the…
A completion of an m-by-n matrix A with entries in {0,1,*} is obtained by setting all *-entries to constants 0 or 1. A system of semi-linear equations over GF(2) has the form Mx=f(x), where M is a completion of A and f:{0,1}^n --> {0,1}^m…
Let $G$ be a simply connected, connected completely solvable Lie group with Lie algebra $\mathfrak{g}=\mathfrak{p}+\mathfrak{m}.$ Next, let $\pi$ be an infinite-dimensional unitary irreducible representation of $G$ obtained by inducing a…
Model checking properties are often described by means of finite automata. Any particular such automaton divides the set of infinite trees into finitely many classes, according to which state has an infinite run. Building the full type…
The article continues the work on the description of integrable nonlinear chains with three independent variables of the following form $u^j_{n+1,x}=u^j_{n,x}+f(u^{j+1}_{n}, u^{j}_n,u^j_{n+1 },u^{j-1}_{n+1})$ by the presence of a hierarchy…
Let $0<t<\infty$, $0<\alpha<n$, $1<p<r<\infty$ and $1<q<s<\infty$. In this paper, we prove that $b\in B M O\left(\mathbb{R}^{n}\right)$ if and only if the commutator $[b, T_{\Omega,\alpha}]$ generated by the fractional integral operator…
It is studied a connection between the separability and the countable chain condition of spaces with the $L$-property (a topological space $X$ has the $L$-property if for every topological space $Y$, separately continuous function…
We introduce a fractional magnetic pseudorelativistic operator for a general fractional order $s\in(0,1)$. First we define a suitable functional setting and we prove some fundamental properties. Then we show the behavior of the operator as…