Related papers: Some Nonexistence Results for Strong External Diff…

Given non-negative integers $v, m, n, \alpha, \beta$, the Hamilton-Waterloo problem asks for a factorization of the complete graph $K_v$ into $\alpha$ $C_m$-factors and $\beta$ $C_n$-factors. Clearly, $v$ odd, $n,m\geq 3$, $m\mid v$, $n\mid…

Alp\"oge--Bhargava--Shnidman showed that even a strengthened \emph{no local obstruction} condition for monogenicity does not force a global power integral basis: in the full spaces of cubic and quartic fields, a positive proportion are…

Let $f(n,k)$ be the largest number of positive integers not exceeding $n$ from which one cannot select $k+1$ pairwise coprime integers, and let $E(n,k)$ be the set of positive integers which do not exceed $n$ and can be divided by at least…

We call a CNF formula linear if any two clauses have at most one variable in common. Let m(k) be the largest integer m such that any linear k-CNF formula with <= m clauses is satisfiable. We show that 4^k / (4e^2k^3) <= m(k) < ln(2) k^4…

For $k \ge 2$ and a positive integer $d_0$, we show that if there exists no quaternary Hermitian linear complementary dual $[n,k,d]$ code with $d \ge d_0$ and Hermitian dual distance greater than or equal to $2$, then there exists no…

Within the scope of elementary number theory, we prove that, as the main result, if $1 \leq x < y < z$ are integers such that at least one of $y, z, x+y$ is prime then $x^{n}+y^{n} \neq z^{n}$ for every odd integer $n \geq 3$. This result…

It is well-known that every derivation of a semisimple Lie algebra $L$ over an algebraically closed field $F$ with characteristic zero is inner. The aim of this paper is to show what happens if the characteristic of $F$ is prime with $L$ an…

A matrix is \emph{simple} if it is a (0,1)-matrix and there are no repeated columns. Given a (0,1)-matrix $F$, we say a matrix $A$ has $F$ as a \emph{configuration}, denoted $F\prec A$, if there is a submatrix of $A$ which is a row and…

The Moore bound $M(k,g)$ is a lower bound on the order of $k$-regular graphs of girth $g$ (denoted $(k,g)$-graphs). The excess $e$ of a $(k,g)$-graph of order $n$ is the difference $n-M(k,g).$ A $(k,g)$-cage is a $(k,g)$-graph with the…

In this paper we study the existence of at least two positive weak solutions for an inhomogeneous fourth order equation with Navier boundary data involving nonlinearities of critical growth with a bifurcation parameter $\lambda$ in…

A system of distinct representatives (SDR) of a family $F = (A_1, \cdots, A_n)$ is a sequence $(x_1, \cdots, x_n)$ of $n$ distinct elements with $x_i \in A_i$ for $1 \le i \le n$. Let $N(F)$ denote the number of SDRs of a family $F$; two…

Maximum distance profile (MDP) convolutional codes have the property that their column distances are as large as possible for given rate and degree. There exists a well-known criterion to check whether a code is MDP using the generator or…

We study classical positive solutions of the biharmonic inequality $-\Delta^2 v \geq f(v)$ in exterior domains in $\mathbb{R}^n$ where $f:(0,\infty)\to (0,\infty)$ is continuous function. We give lower bounds on the growth of $f(s)$ at…

A $(v,k,\lambda, \mu)$-partial difference set (PDS) is a subset $D$ of size $k$ of a group $G$ of order $v$ such that every nonidentity element $g$ of $G$ can be expressed in either $\lambda$ or $\mu$ different ways as a product $xy^{-1}$,…

We throw some light on the question: is there a MAD family (= a family of infinite subsets of N, the intersection of any two is finite) which is completely separable (i.e. any X subseteq N is included in a finite union of members of the…

Suppose E/F is a field extension. We ask whether or not there exists an element of E whose characteristic polynomial has one or more zero coefficients in specified positions. We show that the answer is frequently ``no''. We also prove…

A semigroup $S$ is called a weakly exponential semigroup if, for every couple $(a,b)\in S\times S$ and every positive integer $n$, there is a non-negative integer $m$ such that $(ab)^{n+m}=a^nb^n(ab)^m=(ab)^ma^nb^n$. A semigroup $S$ is…

Let $\F_q$ be a field of characteristic $p$ with $q$ elements. It is known that the degrees of the irreducible characters of the Sylow $p$-subgroup of $GL_n(\F_q)$ are powers of $q$ by Issacs. On the other hand Sangroniz showed that this is…

We prove the non-existence of strongly regular graph with parameters $(76,30,8,14)$. We use Euclidean representation of a strongly regular graph together with a new lower bound on the number of 4-cliques to derive strong structural…

We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense…