Related papers: Relational Hypersequent S4 and B are Cut-Free Hype…

We prove statement conjectured in [Baez and Barrett:2001] that every 3-edge-connected SL(2,C) spin-network with invariants of certain class is integrable. It means that the regularized evaluation (defined by a suitable integral) of such a…

We show that any closed incompressible surface in the complement of a positive knot is algebraically non-split from the knot, positive knots cannot bound non-free incompressible Seifert surfaces and that the splitability and the primeness…

We discuss the non autonomous nonlinear partial difference equations belonging to Boll classification of quad graph equations consistent around the cube. We show how starting from the compatible equations on a cell we can construct the…

Given any irreducible Coxeter group $C$ of hyperbolic type with non-linear diagram and rank at least $4$, whose maximal parabolic subgroups are finite, we construct an infinite family of locally spherical regular hypertopes of hyperbolic…

In this article, we prove the following results:\\ \noindent \text{(1).} Let $R$ be a smooth affine algebra of dimension $3$ over an algebraically closed field $K$ with $3!\in K$, then we show that $\Um_4(R)=e_1\Sp_4(R)$ and $\Um_4(R…

We Classify the rational quadratic extensions K and the finite groups G for which the group ring R[G] of G over the ring R of integers of K has the property that the group of units of augmentation 1 of R[G] is hyperbolic. We also construct…

We comment on relations between the linear W_{2,4}^{linear} algebra and non-linear W(2,4)$ algebra appearing in a Sp(4) particle mechanics model by using Lax equations. The appearance of the non-local V_{2,2} algebra is also studied.

We study off-diagonal Ramsey numbers $r(H, K_n^{(k)})$ of $k$-uniform hypergraphs, where $H$ is a fixed linear $k$-uniform hypergraph and $K_n^{(k)}$ is complete on $n$ vertices. Recently, Conlon et al.\ disproved the folklore conjecture…

We study the linear algebra of finite subsets $S$ of a Segre variety $X$. In particular we classify the pairs $(S,X)$ with $S$ linear dependent and $\#(S)\le 5$. We consider an additional condition for linear dependent sets (no two of their…

TO APPEAR IN AEQUATIONES MATHEMATICAE - WITHOUT THEOREM 2. THEOREM 2 IS CORRECTLY PROVED IN PREVIOUS VERSIONS 1 AND 2. AUTHOR'S VERSION 3 (WITH A NEW FIGURE 6A) IS UNNECESSARY. Let F \subseteq R denote the field of numbers which are…

It is shown that the previously known $N=3$ and $N=4$ superconformal algebras can be contracted consistently by singular scaling of some of the generators. For the later case, by a contraction which depends on the central term, we obtain a…

Let $\mathcal{A}$ be a separable nuclear C*-algebra, and $\mathcal{B}$ be a nonunital separable simple $\mathcal{Z}$-stable C*-algebra. Continuing the work from Gabe-Lin-Ng, we classify all essential extensions, with large complement, of…

In this paper we prove that certain hyperbolic link complements of $2$-tori in $S^4$ do not contain closed embedded totally geodesic hyperbolic $3$-manifolds.

We provide an equivariant extension of Carlsson's BGG correspondence in characteristic two. As an application we classify perfect cochain complexes of $(\mathbb{Z}/2\times \mathbb{Z}/2)\rtimes Q$-representations with four-dimensional total…

In this paper we prove several results on Ramsey numbers $R(H,F)$ for a fixed graph $H$ and a large graph $F$, in particular for $F = K_n$. These results extend earlier work of Erd\H{o}s, Faudree, Rousseau and Schelp and of Balister, Schelp…

We study the model theoretic structure $(\Z,+,P_r)$ where $r>1$ is an irrational number and the elements of $P_r$ are of the form $\floor{nr}$ for some $n\in\Z\setminus\{0\}$. We axiomatize of this structure and prove a quantifier…

In this study, novel Hyperbolic spinor sequences of Jacobsthal, Jacobsthal-Lucas and Jacobsthal polynomial, which have not been studied before, are defined by investigating the relationship between spinors, which are important mathematical…

We show that all rank-one transformations are subsequence boundedly rationally ergodic and that there exist rank-one transformations that are not weakly rationally ergodic.

We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…

We consider certain correspondences on a Riemann surface, and show that they admit a weak form of hyperbolicity: sufficiently long loops get shorter under lifting at a fixed point and closing. In terms of their algebraic encoding by bisets,…