Related papers: Bounded ultraimaginary independence and its total …

Recently, Buan and Marsh showed that if two complete $\tau$-exceptional sequences agree in all but at most one term, then they must agree everywhere, provided the algebra is $\tau$-tilting finite. They conjectured that the result holds…

Let $a < b$ be multiplicatively independent integers, both at least $2$. Let $A,B$ be closed subsets of $[0,1]$ that are forward invariant under multiplication by $a$, $b$ respectively, and let $C := A\times B$. An old conjecture of…

Let $M$ be a fine structural mouse and let $F\in M$ be such that $M\models$``$F$ is a total extender'' and $(M||\mathrm{lh}(F),F)$ is a premouse. We show that it follows that $F\in\mathbb{E}^M$, where $\mathbb{E}^M$ is the extender sequence…

This work investigates the intersection property of conditional independence. It states that for random variables $A,B,C$ and $X$ we have that $X$ independent of $A$ given $B,C$ and $X$ independent of $B$ given $A,C$ implies $X$ independent…

We introduce the notion of Hilbert $C^*$-module independence: Let $\mathscr{A}$ be a unital $C^*$-algebra and let $\mathscr{E}_i\subseteq \mathscr{E},\,\,i=1, 2$, be ternary subspaces of a Hilbert $\mathscr{A}$-module $\mathscr{E}$. Then…

We initiate a systematic study of triplets of mutually unbiased bases (MUBs). We show that in $\mathbb{C}^d$ each MUB-triplet is characterized by a $d\times d\times d$ object that we call a Hadamard cube. We describe the basic properties of…

Type-IIB supersymmetric theories have an SL(2,Z) invariance, known as U-duality, which controls the non-perturbative behavior of the theory. Under SL(2,Z) the supercharges are doublets, implying that the bosonic charges would be singlets or…

We establish a new sufficient condition under which a monoid is non-finitely based and apply this condition to Lee monoids $L_\ell^1$, obtained by adjoining an identity element to the semigroup generated by two idempotents $a$ and $b$…

Absolute model companionship (AMC) is a strict strengthening of model companionship defined as follows: For a theory $T$, $T_{\exists\vee\forall}$ denotes the logical consequences of $T$ which are boolean combinations of universal…

The paper deals with a problem of Additive Combinatorics. Let ${\mathbf G}$ be a finite abelian group of order $N$. We prove that the number of subset triples $A,B,C\subset {\mathbf G}$ such that for any $x\in A$, $y\in B$ and $z\in C$ one…

Let $L$ be a proper differentiation invariant subspace of $C^\infty(a,b)$ such that the restriction operator $\frac{d}{dx}\bigl{|}_L$ has a discrete spectrum $\Lambda$ (counting with multiplicities). We prove that $L$ is spanned by…

For a set $A \subset \mathbb{N}$ we characterize in terms of its density when there exists an infinite set $B \subset \mathbb{N}$ and $t \in \{0,1\}$ such that $B+B \subset A-t$, where $B+B : =\{b_1+b_2\colon b_1,b_2 \in B\}$. Specifically,…

For $\mu, \kappa$ infinite, say $\mathcal{A}\subseteq [\kappa]^\kappa$ is a $(\mu,\kappa)$-maximal independent family if whenever $\mathcal{A}_0$ and $\mathcal{A}_1$ are pairwise disjoint non-empty in $[\mathcal{A}]^{<\mu}$ then…

The original theme of the paper is the existence proof of ``there is < eta_alpha : alpha < lambda > which is a (lambda,J)-sequence for < I_i:i<delta >, a sequence of ideals. This can be thought of as in a generalization to Luzin sets and…

In a Hadamard manifold $M$, it is proved that if $u$ is a $\lambda$-eigenfunction of the Laplacian that belongs to $L^p(M)$ for some $p \ge 2$, then $u$ is bounded and $\|u\|_{\infty} \le C \|u\|_p,$ where $C$ depends only on $p$, $\lambda$…

We provide sufficient conditions for the existence of a trace on the essential $\mathrm{C}^\ast$-algebra of a (not necessarily Hausdorff) \'etale groupoid $G$ which extends an invariant measure $\mu$ on the unit space of $G$. In particular,…

We define a reasonably well-behaved class of ultraimaginaries, i.e.\ classes modulo invariant equivalence relations, called {\em tame}, and establish some basic simplicity-theoretic facts. We also show feeble elimination of supersimple…

In this paper, generalizing the techniques of Bour's theorem, we prove that every generic cuspidal edge, more generally, generic $n$-type edge, which is invariant under a helicoidal motion in Euclidean $3$-space admits non-trivial isometric…

A family $\mathscr{I} \subseteq [\omega]^\omega$ such that for all finite $\{X_i\}_{i\in n}\subseteq \mathcal I$ and $A \in \mathscr{I} \setminus \{X_i\}_{i\in n}$, the set $A \setminus \bigcup_{i < n} X_i$ is infinite, is said to be ideal…

In this paper we give a generalization of the main results in \cite{ab,ab1} about $b$-ary expansions of algebraic numbers. As a byproduct we get a large class of new transcendence criteria. One of our corollaries implies that $b$-ary…