Related papers: Parametrization of Formal Norm Compatible Sequence…
We give a characterization of complete interpolating sequences for the Fock spaces $\mathcal{F}^p_\varphi,\ 1\leq p<\infty$, where $\varphi(z)=\alpha\left(\log^+|z|\right)^2,\ \alpha>0$. Our results are {analogous} to the classical…
In this paper we consider Modal Team Logic, a generalization of Classical Modal Logic in which it is possible to describe dependence phenomena between data. We prove that most known fragment of Full Modal Team Logic allow the elimination of…
The Taelman class groups associated to Drinfeld modules over function fields serve as an analogue of ideal class groups of number fields. In this paper, we establish an analogue of Iwasawa's asymptotic formula for $\mathbb{Z}_p$-extensions…
Synchronization in networks of coupled oscillators is a widely studied topic with extensive scientific and engineering applications. In this paper, we study the frequency synchronization problem for networks of Kuramoto oscillators with…
We show that the category of countable Borel equivalence relations (CBERs) is dually equivalent to the category of countable $\mathcal{L}_{\omega_1\omega}$ theories which admit a one-sorted interpretation of a particular theory we call…
Given a convergent sequence of nodes we present a one-dimensional-holomorphic-function version of the Newton interpolation method of polynomials. It also generalises the Taylor and the Laurent formula. In other words, we present an…
We study the interpolation group whose elements are suitable pairs of formal power series. This group has a faithful representation into infinite lower triangular matrices and carries thus a natural structure as a Lie group. The matrix…
We investigate the convergence of entire Lagrange interpolations and of Hermite interpolations of exponential type in weighted $L^p$-spaces on the real line. The weights are reciprocals of entire functions and depend on the type and may be…
We classify the unitary, renormalizable, Lorentz violating quantum field theories of interacting scalars and fermions, obtained improving the behavior of Feynman diagrams by means of higher space derivatives. Higher time derivatives are not…
We obtain a characterization of complete interpolating sequences in a class of Fock-type spaces with radial weights for which such sequences exist. Our criterion is formulated in terms of logarithmic separation and controlled perturbations…
In this paper we prove a conjecture regarding the form of the Born-Infeld Lagrangian with a U(1)^2n gauge group after the elimination of the auxiliary fields. We show that the Lagrangian can be written as a symmetrized trace of Lorentz…
Let L be a non-archimedean local field of characteristic 0. We present a variant of the theory of (\phi,\Gamma)-modules associated with Lubin-Tate groups, developed by Kisin and Ren [Ki-Re], in which we replace the Lubin-Tate tower by the…
In connection with each global field of positive characteristic we exhibit many examples of two-variable algebraic functions possessing properties consistent with a conjectural refinement of the Stark conjecture in the function field case…
A modular proof-theoretic framework was recently developed to prove Craig interpolation for normal modal logics based on generalizations of sequent calculi (e.g., nested sequents, hypersequents, and labelled sequents). In this paper, we…
We present some Markovian approaches to prove universality results for some functions on the symmetric group. Some of those statistics are already studied in [Kammoun, 2018, 2020] but not the general case. We prove, in particular, that the…
We investigate completeness and parametricity for a general class of realizability semantics for System F defined in terms of closure operators over sets of $\lambda$-terms. This class includes most semantics used for normalization…
In this paper we consider a type system with a universal type $\omega$ where any term (whether open or closed, $\beta$-normalising or not) has type $\omega$. We provide this type system with a realisability semantics where an atomic type is…
Extending and unifying concepts extensively used in the literature, we introduce the notion of approximable interpolation sets for algebras of functions on locally compact groups, especially for weakly almost periodic functions and for…
For two distinct primes p and l, we investigate the Z_l-cohomology of the Lubin-Tate towers of a p-adic field. We prove that it realizes some version of Langlands and Jacquet-Langlands correspondences for flat families of irreducible…
The equivalence group is determined for systems of linear ordinary differential equations in both the standard form and the normal form. It is then shown that the normal form of linear systems reducible by an invertible point transformation…