Related papers: Some Nonexistence Results for Strong External Diff…
A disjoint $(v,k,k-1)$ difference family in an additive group $G$ is a partition of $G\setminus\{0\}$ into sets of size $k$ whose lists of differences cover, altogether, every non-zero element of $G$ exactly $k-1$ times. The main purpose of…
Let $F\in\mathbb{C}[x,y,s,t]$ be an irreducible constant-degree polynomial, and let $A,B,C,D\subset\mathbb{C}$ be finite sets of size $n$. We show that $F$ vanishes on at most $O(n^{8/3})$ points of the Cartesian product $A\times B\times…
Let $\Omega$ be the set of odd positive integers and let $S:\Omega \rightarrow \Omega$ be the Syracuse function. It is proved that, for every permutation $\sigma$ of $(1,2,3)$, the set of triples of the form $(m,S(m),S^2(m))$ with…
Group classification of a class of third-order nonlinear evolution equations generalizing KdV and mKdV equations is performed. It is shown that there are two equations admitting simple Lie algebras of dimension three. Next, we prove that…
We find 101,052 new extreme divisors on $\bar{M}_{0,7}$ (in 31 $S_7$-orbits) and millions of extreme nef curves over characteristic 0. Over characteristic 2, we identify two more $S_7$-orbits of extreme divisors, and prove…
We prove the consistency of ZF+DC+"there are no mad families"+"there exists a non-meager filter on $\omega$" relative to ZFC, answering a question of Neeman and Norwood. We also introduce a weaker version of madness, and we strengthen the…
Let $\Omega$ be a finite set of finitary operation symbols and let $\mathfrak V$ be a nontrivial variety of $\Omega$-algebras. Assume that for some set $\Gamma\subseteq\Omega$ of group operation symbols, all $\Omega$-algebras in $\mathfrak…
We construct several cyclic $(v;k_1,k_2,k_3;\lambda)$ difference families with $v\equiv3 \pmod{4}$ a prime and $\lambda=k_1+k_2+k_3-(3v-1)/4$. Such families can be used in conjunction with the well-known Paley-Todd difference sets to…
In this paper, we study $w$-frameproof codes, which are equivalent to $\{1,w\}$-separating hash families. Our main results concern binary codes, which are defined over an alphabet of two symbols. For all $w \geq 3$, and for $w+1 \leq N \leq…
We show that under $\mathsf{ZF} + \mathsf{CC}_{\mathbb R}$, if the Ramsey property holds for all sets in a good pointclass $\Gamma$, then there is no MAD family in $\Gamma$, proving a long-standing conjecture made by A.R.D.\ Mathias in…
In this paper, we investigate generalized bent functions (GBFs) from $\mathbb{Z}_3^n$ to $\mathbb{Z}_m$. We show that GBFs exist whenever $3$ divides $m$, while several nonexistence results are obtained when $3\nmid m$. In particular, we…
A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the…
We investigate the number of prime factors of individual entries for matrices in the special linear group over the integers. We show that, when properly normalised, it satisfies a central limit theorem of Erd\H{o}s-Kac-type. To do so, we…
This paper investigates the existence of $m$-stiff configurations in the unit sphere $S^{d-1}$, which are spherical $(2m-1)$-designs that lie on $m$ parallel hyperplanes. We establish two non-existence results: (1) for each fixed integer $m…
We investigate $k$-superirreducible polynomials, by which we mean irreducible polynomials that remain irreducible under any polynomial substitution of positive degree at most $k$. Let $\mathbb F$ be a finite field of characteristic $p$. We…
In this paper, the existence and uniqueness of strong solutions to distribution dependent neutral SFDEs are proved. We give the conditions such that the order preservation of these equations holds. Moreover, we show these conditions are…
We find bounds for the maximal length of a sequence of distinct $\bf{\Gamma_{2n+1,m}}$-sets under $AD$ and show there is no sequence of distinct $\bf{\Gamma_{2n+1}}$-sets of length $\bf{\delta^1_{2n+3}}$. As a special case, there is no…
The results in this paper are of two types. On one hand, we construct sets of large Fourier dimension that avoid nontrivial solutions of certain classes of linear equations. In particular, given any finite collection of…
We investigate character degree graphs of solvable groups. In particular, we provide general results that can be used to eliminate which degree graphs can occur as solvable groups. Finally, we show a specific family of graphs cannot occur…
We construct many new cyclic (v;r,s;lambda) difference families with v less than or equal 50. In particular we construct the difference families with parameters (45;18,10;9), (45;22,22;21), (47;21,12;12), (47;19,15;12), (47;22,14;14),…