Related papers: Corrigendum to: Essential normality, essential nor…

The univalence axiom expresses the principle of extensionality for dependent type theory. However, if we simply add the univalence axiom to type theory, then we lose the property of canonicity - that every closed term computes to a…

For an arbitrary evolution family, we consider the notion of a polynomial dichotomy with respect to a family of norms and characterize it in terms of the admissibility property, that is, the existence of a unique bounded solution for each…

It was recently conjectured that every system of exceptional orthogonal polynomials is related to classical orthogonal polynomials by a sequence of Darboux transformations. In this paper we prove this conjecture, which paves the road to a…

The purpose of this erratum and addendum is to correct the errors in [1]. It consists of five components: 1. Lemma 7.1 and Proposition 7.2 are wrong and discarded; 2. A new proof of existence $\lambda(\xi)$ in (7.1) without Proposition 7.2;…

A hyperplane arrangement is said to satisfy the ``Riemann hypothesis'' if all roots of its characteristic polynomial have the same real part. This property was conjectured by Postnikov and Stanley for certain families of arrangements which…

We present an extension of System F with call-by-name exceptions. The type system is enriched with two syntactic constructs: a union type for programs whose execution may raise an exception at top level, and a corruption type for programs…

We consider a natural Hamiltonian system of $n$ degrees of freedom with a homogeneous potential. Such system is called partially integrable if it admits $1<l<n$ independent and commuting first integrals, and it is called super-integrable if…

Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object" (Identity of indiscernibles), "everything can possibly exist, unless it yields contradiction" (Possibility…

The culmination of the papers (arXiv:0905.0518, arXiv:0910.0909) was a proof of the norm convergence in $L^2(\mu)$ of the quadratic nonconventional ergodic averages \frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ…

Existential rules are an expressive knowledge representation language mainly developed to query data. In the literature, they are often supposed to be in some normal form that simplifies technical developments. For instance, a common…

We study inequalities between graded Betti numbers of ideals in a standard graded algebra over a field and their images under embedding maps, defined earlier by us in [Math. Z. 274, (2013), no. 3-4, pp. 809-819; arXiv:1009.4488]. We show…

The class of absolutely norming operators on complex Hilbert spaces of arbitrary dimensions was introduced in [6] and a spectral characterization theorem for these operators was established in [11]. In this paper we extend the concept of…

Let R be a Krasner (m,n)-hyperring and S be an n-ary multiplicative subset of R. The purpose of this paper is to introduce the notion of n-ary S-prime hyperideals as a new expansion of n-ary prime hyperideals. Several properties and…

The concept of polytopes was a milestone in elementary integral group theory. In this article, we will extend the concept of contra-linearly stochastic lines to H-Positive Definite Monoids. We will show that by adding the Non-Gaussian…

Given an energy-dissipating port-Hamiltonian system, we characterise the exponential decay of the energy via the model ingredients under mild conditions on the Hamiltonian density $\mathcal{H}$. In passing, we obtain generalisations for…

Building on coprincipal mesoprimary decomposition [Kahle and Miller, 2014], we combinatorially construct an irreducible decomposition of any given binomial ideal. In a parallel manner, for congruences in commutative monoids we construct…

$(1)$ Let $M\subset N$ be a commutative cancellative torsion-free and subintegral extension of monoids. Then we prove that in the case of ring extension $A[M]\subset A[N]$, the two notions, subintegral and weakly subintegral coincide…

This article extends the notion of a Frobenius power of an ideal in prime characteristic to allow arbitrary nonnegative real exponents. These generalized Frobenius powers are closely related to test ideals in prime characteristic, and…

We enumerate generalizations of the superintegrability property $<character>\ \sim {\rm character}$ and illuminate possible general structures behind them. We collect variations of original formulas available up to date and emphasize the…

A classical result in thermodynamic formalism is that for uniformly hyperbolic systems, every H\"older continuous potential has a unique equilibrium state. One proof of this fact is due to Rufus Bowen and uses the fact that such systems…