Related papers: Non-tightness in class theory and second-order ari…
Broadly speaking Information theory (IT) assumes no structure of the underlying states. But what about contexts where states do have a clear structure - how should IT cope with such situations? And if such coping is at all possible then -…
We classify all division algebras that are principal Albert isotopes of a cyclic Galois field extension of degree $n>2$ up to isomorphisms. We achieve a ``tight'' classification when the cyclic Galois field extension is cubic. The…
We apply the recently developed technology of cofinality spectrum problems to prove a range of theorems in model theory. First, we prove that any model of Peano arithmetic is $\lambda$-saturated iff it has cofinality $\geq \lambda$ and the…
Supergravity provides the effective field theories for string compactifications. The deformation of the maximal supergravities by non-abelian gauge interactions is only possible for a restricted class of charges. Generically these…
Leighton's Theorem states that if there is a tree $T$ that covers two finite graphs $G_1$ and $G_2$, then there is a finite graph $\hat G$ that is covered by $T$ and covers both $G_1$ and $G_2$. We prove that this result does not extend to…
We study the expressive power of fragments of inclusion and independence logic defined by restricting the number k of universal quantifiers in formulas. Assuming the so-called strict semantics for these logics, we relate these fragments of…
We consider a distance-regular graph $\G$ with diameter $d \ge 3$ and eigenvalues $k=\theta_0>\theta_1>... >\theta_d$. We show the intersection numbers $a_1, b_1$ satisfy $$ (\theta_1 + {k \over a_1+1}) (\theta_d + {k \over a_1+1}) \ge -…
The main goal of this paper is to show that a wide variety of infinite-dimensional algebras all share a common structure, including a triangular decomposition and a theory of weights. This structure allows us to define and study the BGG…
The second author previously discussed how classical complexity separation conjectures, we call them "axioms", have implications in three manifold topology: polynomial length stings of operations which preserve certain Jones polynomial…
A semigroup amalgam (S; T1, T2) is known to be non-embeddable if T1 and T2 are both groups (completely regular semigroups, Clifford semigroups) but S is not such. We prove some non-embeddability conditions for semigroup amalgams (S; T1, T2)…
The theory of two binary relations has the strong amalgamation property when the first relation is assumed to be coarser than the second relation, and each relation satisfies a chosen set of properties from the following list: transitivity,…
We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra…
We study the properties of a non-abelian gauge theory subjected to a gauge invariant constraint given by the classical equations of motion. The constraint is not imposed by hand, but appears naturally when we study a particular type of…
No natural principle is currently known to be strictly between the arithmetic comprehension axiom (ACA) and Ramsey's theorem for pairs (RT^2_2) in reverse mathematics. The tree theorem for pairs (TT^2_2) is however a good candidate. The…
Continuing the study of complexity theory of Koepke's Ordinal Turing Machines (OTMs) that was started by Rin, L\"owe and the author, we prove the following results: (1) An analogue of Ladner's theorem for OTMs holds: That is, there are…
We investigate the cyclic proof theory of extensions of Peano Arithmetic by (finitely iterated) inductive definitions. Such theories are essential to proof theoretic analyses of certain `impredicative' theories; moreover, our cyclic systems…
Using methods from coarse topology we show that fundamental classes of closed enlargeable manifolds map non-trivially both to the rational homology of their fundamental groups and to the K-theory of the corresponding reduced C*-algebras.…
The required absence of global symmetries in quantum gravity has been used to imply that all non-compact gauge theories are in the swampland. This argument stems from the idea that non-compact gauge symmetries always seem to be accompanied…
We make two observations regarding a recent tight example for a composition theorem for randomized query complexity: (1) it implies general randomized query-to-communication lifting is not always true if one allows relations, (2) it is in a…
We study compactifications of the $N=2$ 6D tensionless string on various complex two-folds down to two-dimensions. In the IR limit they become non-trivial conformal field theories in 2D. Using results of Vafa and Witten on the partition…