Related papers: The asymptotic existence of BIBDs having a nesting

The rational cohomology of the moduli space of rank two, odd degree stable bundles over a curve (of genus g > 1) has been studied intensely in recent years and in particular the invariant subring generated by Newstead's generators alpha,…

Given a subgroup $H$ of a group $(G,+)$, a $(G,H,k,1)$ difference family (DF) is a set $\mathcal F$ of $k$-subsets of $G$ such that $\{f-f':f,f'\in F, f\neq f',F\in \mathcal F\}=G\setminus H$. Let $g\mathbb Z_{gh}$ is the subgroup of order…

It is conjectured that Hadamard matrices exist for all orders $4t$ ($t>0$). However, despite a sustained effort over more than five decades, the strongest overall existence results are asymptotic results of the form: for all odd natural…

A family of perfect matchings of $K_{2n}$ is $intersecting$ if any two of its members have an edge in common. It is known that if $\mathcal{F}$ is family of intersecting perfect matchings of $K_{2n}$, then $|\mathcal{F}| \leq (2n-3)!!$ and…

The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There…

Let $G$ be a finitely generated group that can be written as an extension \[ 1 \longrightarrow K \stackrel{i}{\longrightarrow} G \stackrel{f}{\longrightarrow} \Gamma \longrightarrow 1 \] where $K$ is a finitely generated group. By a study…

Extensions of the Standard Model have been attempted from the bottom up and from the top down yet there remains a largely unexplored middle ground. In this paper, using the Mathematica package LieART, we exhaustively enumerate embeddings of…

We consider mainly the following version of set theory:"ZF + DC and for every $\lambda,\lambda^{\aleph_0}$ is well ordered", our thesis is that this is a reasonable set theory, e.g. much can be said. In particular, we prove that for a…

Let $G$ be a finite graph of genus $g$. Let $d$ and $r$ be non-negative integers such that the Brill-Noether number is non-negative. It is known that for some $k$ sufficiently large, the $k$-th homothetic refinement $G^{(k)}$ of $G$ admits…

We settle affirmatively a conjecture posed in [S. M. Hegde, Set colorings of graphs, European Journal of Combinatorics 30 (4) (2009), 986--995]: If some subsets of a set X are assigned injectively to all vertices of a complete bipartite…

Let $S_n$ denote the symmetric group of order $n$. Say that two subsets $x, y\subseteq S_n$ are \emph{equivalent} if there exist permutations $g_1, g_2\in S_n$ such that $g_1xg_2=y$, where multiplication is understood elementwise. Recently,…

For a linearly ordered group $G$ let us define a subset $A\subseteq G$ to be a \emph{shift-set} if for any $x,y,z\in A$ with $y < x$ we get $x\cdot y^{-1}\cdot z\in A$. We describe the natural partial order and solutions of equations on the…

An l-good sequencing of a Steiner triple system of order v, STS(v), is a permutation of the points of the system such that no l consecutive points in the permutation contains a block. It is known that every STS(v) with v > 3 has a 3-good…

For an abelian variety $A$ over a finitely generated field $K$ of characteristic $p > 0$, we prove that the algebraic rank of $A$ is at most a suitably defined analytic rank. Moreover, we prove that equality, i.e., the BSD rank conjecture,…

Reider's Theorem on the very ampleness of adjoint linear series on a complex projective algebraic surface is extended in two new directions. First, Reider-type inequalities are shown to imply nefness of linear series of the form dH - E on…

Two-dimensional (2D) group V elemental materials have attracted widespread attention due to their nonzero band gap while displaying high electron mobility. Using first-principles calculations, we propose a series of new elemental bilayers…

Let $F=\{\mathbf{p}_0,\ldots,\mathbf{p}_n\}$ be a collection of points in $\mathbb{R}^d.$ The set $F$ naturally gives rise to a family of iterated function systems consisting of contractions of the form $$S_i(\mathbf{x})=\lambda \mathbf{x}…

Border basis detection (BBD) is described as follows: given a set of generators of an ideal, decide whether that set of generators is a border basis of the ideal with respect to some order ideal. The motivation for this problem comes from a…

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if G is an abelian group, then the follwing are equivalent: 1. Th(G, +) has the…

Let ${\cal H}$ denote the family of all graphs with multi-$4$-cycles and suppose that $G \in {\cal H}$. Then, $G$ is a bipartite graph with a vertex bipartition $\{V_{\alpha}, V_{\beta}\}$. We prove that for every vertex $v \in V_{\beta}$…