Related papers: On tight $4$-designs in Hamming association scheme…

An obstruction theory for representing homotopy classes of surfaces in 4-manifolds by immersions with pairwise disjoint images is developed, using the theory of non-repeating Whitney towers. The accompanying higher-order intersection…

We give a systematic approach to constructing non-reduced, locally Cohen-Macaulay schemes with reduced support a smooth projective variety. The hierarchy of such structures includes a lot of information about the underlying variety, its…

We discuss the construction of Sp(2)Sp(1)-structures whose fundamental form is closed. In particular, we find 10 new examples of 8-dimensional nilmanifolds that admit an invariant closed 4-form with stabiliser Sp(2)Sp(1). Our constructions…

We perform a topological-holomorphic twist of $\mathcal{N}=4$ supersymmetric gauge theory on a four-manifold of the form $M_4=\Sigma_1 \times \Sigma_2$ with Riemann surfaces $\Sigma_{1,2}$, and unravel the mathematical implications of its…

In the first part of this paper we present a formalization in Agda of the James construction in homotopy type theory. We include several fragments of code to show what the Agda code looks like, and we explain several techniques that we used…

Penttila and Williford constructed a $4-$class association scheme from a generalized quadrangle with a doubly subtended subquadrangle. We show that an association scheme with appropriate parameters and satisfying some assumption about…

Identifying codes in graphs have been widely studied since their introduction by Karpovsky, Chakrabarty and Levitin in 1998. In particular, there are a lot of results regarding the binary hypercubes, that is, the Hamming graphs $K_2^n$. In…

We affirmatively address the question of whether the proposed link homotopy invariant $\omega$ of Li is well-defined. It is also shown that if one wishes to adapt the homotopy invariant $\tau$ of Schneiderman-Teichner to a link homotopy…

We consider the problem of existence of perfect $2$-colorings (equitable $2$-partitions) of Hamming graphs with given parameters. We start with conditions on parameters of graphs and colorings that are necessary for their existence. Next we…

In this paper, we establish a version of the adjunction inequality for closed symplectic 4-manifolds. As in a previous paper on the Thom conjecture, we use contact geometry and trisections of 4-manifolds to reduce this inequality to the…

This article analyzes the interplay between symplectic geometry in dimension four and the invariants for smooth four-manifolds constructed using holomorphic triangles introduced in math.SG/0110169. Specifically, we establish a non-vanishing…

A complete structural characterization of graphs with no $K_{3,4}$ minor is obtained, and the following consequences are established. Every $4$-connected non-planar graph with at least seven vertices and minimum degree at least five…

This paper explores the structure of low-dimensional cohomology groups in the context of complex nilpotent associative algebras. Specifically, we study 5-dimensional complex nilpotent associative algebras satisfying $\mathcal{A}^4 = 0$ and…

We give a probabilistic construction of a $3$-uniform hypergraph on $N$ vertices with independence number $O(\log N / \log \log N)$ in which there are at most two edges among any four vertices. This bound is tight and solves a longstanding…

We prove that 1) There exist infinitely many non-trivial codimension one "thick" knots in $\mathbb{R}^5$; 2) For each closed four-dimensional smooth manifold $M$ and for each sufficiently small positive $\epsilon$ the set of isometry…

We study a lattice model comprising four massless reduced staggered fermions in four dimensions coupled through an $SU(4)$-invariant four-fermion interaction. We present both theoretical arguments and numerical evidence that no bilinear…

Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Venneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing…

Classical finite association schemes lead to a finite-dimensional algebras which are generated by finitely many stochastic matrices. Moreover, there exist associated finite hypergroups. The notion of classical discrete association schemes…

A complex Hadamard matrix is a square matrix W with complex entries of absolute value 1 satisfying WW*=nI, where * stands for the Hermitian transpose and I is the identity matrix of order n. In this paper, we give constructions of complex…

Tang and Ding [IEEE IT 67 (2021) 244-254] studied the class of narrow-sense BCH codes $\mathcal{C}_{(q,q+1,4,1)}$ and their dual codes with $q=2^m$ and established that the codewords of the minimum (or the second minimum) weight in these…