Related papers: Parametrization of Formal Norm Compatible Sequence…
The classical Kramer sampling theorem establishes general conditions that allow the reconstruction of functions by mean of orthogonal sampling formulae. One major task in sampling theory is to find concrete, non trivial realizations of this…
In this paper, we discuss a novel model reduction framework for generalized linear systems. The transfer functions of these systems are assumed to have a special structure, e.g., coming from second-order linear systems and time-delay…
It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective…
We introduce and investigate the notion of uniform Lyndon interpolation property (ULIP) which is a strengthening of both uniform interpolation property and Lyndon interpolation property. We prove several propositional modal logics including…
We prove an endpoint version of the uniform Sobolev inequalities in Kenig-Ruiz-Sogge [8]. It was known that strong type inequalities no longer hold at the endpoints; however, we show that restricted weak type inequalities hold there, which…
Most characterizations of interpolating sequences for Bergman spaces include the condition that the sequence be uniformly discrete in the hyperbolic metric. We show that if the notion of interpolation is suitably generalized, two of these…
Non-relativistic potential models are considered of the pure power V(r)=sgn(q) r^q and logarithmic V(r)=ln(r) types. It is shown that, from the spectral viewpoint, these potentials are actually in a single family. The log spectra can be…
Let $M$ be a random matrix chosen according to Haar measure from the unitary group $\mathrm{U}(n,\mathbb{C})$. Diaconis and Shahshahani proved that the traces of $M,M^2,\ldots,M^k$ converge in distribution to independent normal variables as…
This paper is a natural continuation of the study of skew power series rings A initiated in [P. Schneider and O. Venjakob, On the codimension of modules over skew power series rings with applications to Iwasawa algebras, J. Pure Appl.…
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized model-checking problems for various fragments of first-order…
We extend the notion of shape-Wilf-equivalence to vincular patterns (also known as "generalized patterns" or "dashed patterns"). First we introduce a stronger equivalence on patterns which we call filling-shape-Wilf-equivalence. When…
In this paper, we study compatible Leibniz algebras. We characterize compatible Leibniz algebras in terms of Maurer-Cartan elements of a suitable differential graded Lie algebra. We define a cohomology theory of compatible Leibniz algebras…
We survey some of the stratification theorems concerning exponential sums over finite fields, especially those due to Katz-Laumon and Fouvry-Katz, as well as some of their applications. Moreover, motivated partly by recent work of Bonolis,…
We devise three strategies for recognizing admissibility of non-standard inference rules via interpolation, uniform interpolation, and model completions. We apply our machinery to the case of symmetric implication calculus $\mathsf{S^2IC}$,…
It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence…
The structure of type A and B trace anomalies is reanalyzed in terms of the universal behaviour of dimension -2 invariant amplitudes. Based on it a general argument for trace anomaly matching between the unbroken and broken phases of a CFT…
We review the ideas of renormalizable field theories and the Standard Model at the Born (neutral currents, the Higgs mechanism and unification) and quantum level. We subsequently illustrate how high statistics experiments are producing the…
We present a generic tree-interpolation algorithm in the SMT context with quantifiers. The algorithm takes a proof of unsatisfiability using resolution and quantifier instantiation and computes interpolants (which may contain quantifiers).…
We discuss different choices that can be made when matching a general high-energy theory -- with the restriction that it should not contain heavy gauge bosons -- onto a general renormalisable effective field theory at one loop, with…
In this short note we explain why the log-Brunn-Minkowski conjecture is correct for complex convex bodies. We do this by relating the conjecture to the notion of complex interpolation, and appealing to a general theorem by…