Related papers: A Note on Strongly Mixing Extensions
We derive fundamentally new equations that are satisfied by first-order flexes of a flexible polyhedron. Moreover, we indicate two sources of such new equations. These sources are the Dehn invariants and rigidity matrix. The equations…
We introduce partially defined Schur multipliers and obtain necessary and sufficient conditions for the existence of extensions to fully defined positive Schur multipliers, in terms of operator systems canonically associated with their…
We study group graded extensions of fusion 2-categories. As an application, we obtain a homotopy theoretic classification of fermionic strongly fusion 2-categories. We examine various examples in detail.
Exponentiable functors between quantaloid-enriched categories are characterized in elementary terms. The proof goes as follows: the elementary conditions on a given functor translate into existence statements for certain adjoints that obey…
We define the finite extension property for $d$-dimensional subshifts, which generalizes the topological strong spatial mixing condition defined by Brice\~no (2016), and we prove that this property is invariant under topological conjugacy.…
We introduce a new version of arithmetic in all finite types which extends the usual versions with primitive notions of extensionality and extensional equality. This new hybrid version allows us to formulate a strong form of extensionality,…
G. Cz\'edli and E.\,T. Schmidt introduced in 2012 the fork extension. Continuing from Part I, we investigate the congruences of a fork extension. This paper has been merged with Part I, under the title Congruences of fork extensions of slim…
For an arbitrary set $E \subset \mathbb{R}^n$, and functions $f:E \to \mathbb{R}$, $G: E\to \mathbb{R}^n$ with $G$ bounded, we construct $C^1(\mathbb{R}^n)$ convex extensions $(F, \nabla F)$ of $(f,G)$ with the sharp Lipschitz constant $$…
We introduce a class of rank-one transformations, which we call extremely elevated staircase transformations. We prove that they are measure-theoretically mixing and, for any $f : \mathbb{N} \to \mathbb{N}$ with $f(n)/n$ increasing and…
We prove that the bounded and bounded below derived categories of (all) modules over the dual numbers have strongly unique (dg) enhancements. To this end we relate those categories to the category of sequences of vector spaces, which allows…
In this paper, by using the Groebner-Shirshov bases, we give characterizations of the Schreier extensions of groups when the group is presented by generators and relations. An algorithm to find the conditions of a group to be a Schreier…
We establish several sufficient conditions for the strong ellipticity of any fourth-order elasticity tensor in this paper. The first presented sufficient condition is an extension of positive definite matrices, which states that the strong…
In this paper we try to find a computational interpretation for a strong form of extensionality, which we call "converse extensionality". Converse extensionality principles, which arise as the Dialectica interpretation of the axiom of…
Let $B \subseteq A$ be an extension of finite dimensional algebras. We provide a sufficient condition for the existence of triangle equivalences of singularity categories (resp. Gorenstein defect categories) between $A$ and $B$. This result…
We introduce high staircase infinite measure preserving transformations and prove that they are mixing under a restricted growth condition. This is used to (i) realize each subset $E\subset\Bbb N\cup\{\infty\}$ as the set of essential…
Solving functional equations given in \cite{nagy} for extensions of a group $A$ by a weighted Steiner loop $S$ we obtain concrete description for all loops with interesting weak associativity properties if the Steiner loop $S$ induces only…
Variational convexity, together with ist strong counterpart, of extended-real-valued functions has been recently introduced by Rockafellar. In this paper we present second-order characterizations of these properties, i.e., conditions using…
Nested conditions are used, among other things, as a graphical way to express first order formulas ruling the applicability of a graph transformation rule to a given match. In this paper, we propose (for the first time) a notion of…
The work of this paper is devoted to obtaining strong laws for intermediately trimmed sums of random variables with infinite means. Particularly, we provide conditions under which the intermediately trimmed sums of independent but not…
We consider the multiplicative structure of sets of the form AA+1, where where A is a large, finite set of real numbers. In particular, we show that the additively shifted product set, AA+1 must have a large part outside of any generalized…