Related papers: A closure operator respecting the modular $j$-func…
Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuel's Conjecture, and an adapted form of existential closure. Here we show that if…
Let $ R $ be a rational map. We are interesting in the dynamic of the Ruelle operator on suitable spaces of differentials. In particular the necessary and sufficient conditions (in terms of convergence of sequences of measures) of existence…
We describe a framework for systematic enumeration of families combinatorial structures which possess a certain regularity. More precisely, we describe how to obtain the differential equations satisfied by their generating series. These…
Probabilistic conditioning is concerned with the identification of a distribution of a random variable $X$ given a random variable $Y$. It is a cornerstone of scientific and engineering applications where modeling uncertainty is key. This…
We describe the construction of the genus-zero parts of conformal field theories in the sense of G. Segal from representations of vertex operator algebras satisfying certain conditions. The construction is divided into four steps and each…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…
In this paper we consider a class of boundary value problems for third order nonlinear functional differential equation. By the reduction of the problem to operator equation we establish the existence and uniqueness of solution and…
We construct an expression for the Green function of a differential operator satisfying nonlocal, homogeneous boundary conditions starting from the fundamental solution of the differential operator. This also provides the solution to the…
We introduce two closure operations on ideals in commutative rings related to the ring operation of root closure. One closure is the result of iterating a root-like operation on ideals infinitely many times, and the other closure arises as…
The basic purpose of the present paper is the full solutions of the inverse problem (i.e. a finding of necessary and sufficient conditions) for the operator with complex periodic coefficients.
Let A be a finite subset of the natural numbers containing 0, and let f(n) denote the number of ways to write n in the form $\sum e_j2^j$, where $\e_j \in A$. We show that there exists a computable T = T(A) so that the sequence (f(n) mod 2)…
Assuming a modular version of Schanuel's conjecture and the modular Zilber-Pink conjecture, we show that the existence of generic solutions of certain families of equations involving the modular $j$ function can be reduced to the problem of…
In this paper we consider a fragment of the first-order theory of the real numbers that includes systems of equations of continuous functions in bounded domains, and for which all functions are computable in the sense that it is possible to…
We consider the periodic Jacobi operator $J$ with finitely supported perturbations on the half-lattice. We describe all eigenvalues and resonances of $J$ and give their properties. We solve the inverse resonance problem: we prove that the…
Does a conformal manifold imply the existence of exactly marginal operators? We answer this question affirmatively under the assumption that there exists a conformal interface with certain properties connecting nearby CFTs. We show that the…
Let $A$ and $B$ be two densely defined unbounded closeable operators in a Hilbert space such that their unbounded operator products $AB$ and $BA$ are also densely defined. Then all four operators possess adjoints and we obtain new inclusion…
In a paper from 2016 D. R. Yafaev considers Hankel operators associated with Hamburger moment sequences q_n and claims that the corresponding Hankel form is closable if and only if the moment sequence tends to 0. The claim is not correct,…
Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate…
We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions and predicates defined by higher-order rewrite rules. In a previous…
Selective rationalization has become a common mechanism to ensure that predictive models reveal how they use any available features. The selection may be soft or hard, and identifies a subset of input features relevant for prediction. The…