arXiv++ Combinatorics

In this paper, we prove power-saving bounds for the corelation of the Möbius function with polynomial phases of degree $k$ in function fields $\mathbb{F}_p[t]$, when $p > k$. The proof relies on a new approximation result for phases of biased multilinear forms and the recently established strong bounds for the problem of finding bounded codimension varieties inside the dense ones. Along the way, we also obtain polynomial bounds in the inverse theorem for Gowers uniformity norms in the special case of polynomial phases in finite vector spaces.

Given integers $m\le c$ and an exact $c$-coloring of the edges of a complete countably infinite graph (i.e. a coloring that uses exactly $c$ colors), must there be an infinite subgraph that is exactly $m$-colored? Using the Infinite Ramsey Theorem It is easy to show that the statement is true if $m=1,2$ or $c$. Erickson conjectured that it is false in all other cases. Stacey and Weidl proved that for each $m\ge 3$ there is some large enough $C(m)$ such that the conjecture is true for all pairs $(c,m)$ with $c>C(m)$. The main aim of this paper is to show that for all large enough $m$ the conjecture holds for all $c>m$. This reduces the number of cases needed to fully verify the conjecture to a finite number.

Given functions $f,g: [n] \rightarrow [n]$ do there exist $n$ points $A_1,A_2\ldots A_n$ in some metric space such that $A_{f(i)},A_{g(i)}$ are the points closest and farthest from point $A_i$? In this paper we characterize precisely which pairs of functions have this property. If the metric space is $\mathbb{R}^k$ we show that the maximal number $m(k)$ so that any pair of functions $f,g: [m(k)]\rightarrow [m(k)]$ realizable in some metric space is also realizable in $\mathbb{R}^k$ grows exponentially in $k$. In the final section of this paper we consider what happens when we look at minimal and maximal distances separately. We show that any function $g$ that can be a maximal distance function can also be a maximal distance function in $\mathbb{R}^2$. We also find an interesting family of functions that can be minimal distance functions but not in $\mathbb{R}^k$.

An expression is any mathematical formula that contains certain formal variables and operations to be executed in a specified order. In computer science, it is usually convenient to represent each expression in the form of an expression tree. Here, we consider only arithmetic expressions, i.e., those that contain only the four standard arithmetic operations: addition, subtraction, multiplication and division, alongside additive inversion. We first provide certain theoretical results concerning the equivalence of such expressions and then disclose a $Θ(n^2)$ algorithm that computes the number of inequivalent arithmetic expressions on $n$ distinct variables.

Two players take turns claiming empty cells from an $n\times n$ grid. The first player (if any) to occupy a transversal (a set of $ n $ cells having no two cells in the same row or column) is the winner. What is the outcome of the game given optimal play? Our aim in this paper is to show that for $n\ge 4$ the first player has a winning strategy. This answers a question of Erickson.

How many graphs on an $n$-point set can we find such that any two have connected intersection? Berger, Berkowitz, Devlin, Doppelt, Durham, Murthy and Vemuri showed that the maximum is exactly $1/2^{n-1}$ of all graphs. Our aim in this short note is to give a 'directed' version of this result; we show that a family of oriented graphs such that any two have strongly-connected intersection has size at most $1/3^n$ of all oriented graphs. We also show that a family of graphs such that any two have Hamiltonian intersection has size at most $1/2^n$ of all graphs, verifying a conjecture of the above authors.

For a given number of $k$-sets, how should we choose them so as to minimize the union-closed family that they generate? Our main aim in this paper is to show that, if $\mathcal{A}$ is a family of $k$-sets of size $\binom{t}{k}$, and $t$ is sufficiently large, then the union-closed family generated by $\mathcal{A}$ has size at least that generated by the family of all $k$-sets from a $t$-set. This proves (for this size of family) a conjecture of Roberts. We also make some related conjectures, and give some other results, including a new proof of the result of Leck, Roberts and Simpson that exactly determines this minimum (for all sizes of the family) when $k=2$.

Among all trees on $n$ vertices with a given degree sequence, how do we maximise or minimise the sum over all adjacent pairs of vertices $x$ and $y$ of $f(\mathrm{deg} x, \mathrm{deg} y)$? Here $f$ is a fixed symmetric function satisfying a 'monotonicity' condition that \[ f(x, a) + f(y, b) > f(y, a) + f(x, b) \quad \mbox{for any $x > y$ and $a > b$} . \] These functions arise naturally in several areas of graph theory, particularly chemical graph theory. Wang showed that the so-called 'greedy' tree maximises this quantity, while an 'alternating greedy' tree minimises it. Our aim in this paper is to solve the inverse problem: we characterise precisely which trees are extremal for these two problems.

In this paper we study the following geometric problem: given $2^n-1$ real numbers $x_A$ indexed by the non-empty subsets $A\subset \{1,..,n\}$, is it possible to construct a body $T\subset \mathbb{R}^n$ such that $x_A=|T_A|$ where $|T_A|$ is the $|A|$-dimensional volume of the projection of $T$ onto the subspace spanned by the axes in $A$? As it is more convenient to take logarithms we denote by $ψ_n$ the set of all vectors $x$ for which there is a body $T$ such that $x_A=\log |T_A|$ for all $A$. Bollobás and Thomason showed that $ψ_n$ is contained in the polyhedral cone defined by the class of `uniform cover inequalities'. Tan and Zeng conjectured that the convex hull $\DeclareMathOperator{\conv}{conv}$ $\conv(ψ_n)$ is equal to the cone given by the uniform cover inequalities. We prove that this conjecture is `nearly' right: the closed convex hull $\overline{\conv}(ψ_n)$ is equal to the cone given by the uniform cover inequalities. However, perhaps surprisingly, we also show that $\conv (ψ_n)$ is not closed for $n\ge 4$, thus disproving the conjecture.