Source author record

David Ellis

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO Human-Computer Interaction math.GR math.RT Software Engineering

Catalog footprint

Research overview

12works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

On symmetric intersecting families

We make some progress on a question of Babai from the 1970s, namely: for $n, k \in \mathbb{N}$ with $k \le n/2$ , what is the largest possible cardinality $s(n,k)$ of an intersecting family of $k$ -element subsets of $\{1,2,\ldots,n\}$ admitting a transitive group of automorphisms? We give upper and lower bounds for $s(n,k)$ , and show in particular that $s(n,k) = o (\binom{n-1}{k-1})$ as $n \to \infty$ if and only if $k = n/2 - ω(n)(n/\log n)$ for some function $ω(\cdot)$ that increases without bound, thereby determining the threshold at which `symmetric' intersecting families are negligibly small compared to the maximum-sized intersecting families. We also exhibit connections to some basic questions in group theory and additive number theory, and pose a number of problems.

preprint2022arXiv

Personality Traits in Game Development

Existing work on personality traits in software development excludes game developers as a discrete group. Whilst games are software, game development has unique considerations, so game developers may exhibit different personality traits from other software professionals. We assessed responses from 123 game developers on an International Personality Item Pool Five Factor Model scale and demographic questionnaire using factor analysis. Programmers reported lower Extraversion than designers, artists and production team members; lower Openness than designers and production, and reported higher Neuroticism than production -- potentially linked to burnout and crunch time. Compared to published norms of software developers, game developers reported lower Openness, Conscientiousness, Extraversion and Agreeableness, but higher Neuroticism. These personality differences have many practical implications: differences in Extraversion among roles may precipitate communication breakdowns; differences in Openness may induce conflict between programmers and designers. Understanding the relationship between personality traits and roles can help recruiters steer new employees into appropriate roles, and help managers apply appropriate stress management techniques. To realise these benefits, individuals must be distinguished from roles: just because an individual occupies a role does not mean they possess personality traits associated with that role.

preprint2016arXiv

On the structure of graphs which are locally indistinguishable from a lattice

We study the properties of finite graphs in which the ball of radius $r$ around each vertex induces a graph isomorphic to some fixed graph $F$ . This is a natural extension of the study of regular graphs, and of the study of graphs of constant link. We focus on the case where $F$ is $\mathbb{L}^d$ , the $d$ -dimensional square lattice. We obtain a characterisation of all the finite graphs in which the ball of radius $3$ around each vertex is isomorphic to the ball of radius $3$ in $\mathbb{L}^d$ , for each integer $d \geq 3$ . These graphs have a very rigidly proscribed global structure, much more so than that of $(2d)$ -regular graphs. (They may be viewed as quotient lattices of $\mathbb{L}^d$ in various compact orbifolds.) In the $d=2$ case, our methods yield new proofs of structure theorems of Thomassen and of Márquez, de Mier, Noy and Revuelta, and also yield short, `algebraic' restatements of these theorems. Our proofs use a mixture of techniques and results from combinatorics, algebraic topology and group theory.

preprint2015arXiv

Juntas in the $\ell^{1}$ -grid and Lipschitz maps between discrete tori

We show that if $A \subset [k]^n$ , then $A$ is $ε$ -close to a junta depending upon at most $\exp(O(|\partial A|/(k^{n-1}ε)))$ coordinates, where $\partial A$ denotes the edge-boundary of $A$ in the $\ell^1$ -grid. This is sharp up to the value of the absolute constant in the exponent. This result can be seen as a generalisation of the Junta theorem for the discrete cube, from [E. Friedgut, Boolean functions with low average sensitivity depend on few coordinates, Combinatorica 18 (1998), 27-35], or as a characterization of large subsets of the $\ell^1$ -grid whose edge-boundary is small. We use it to prove a result on the structure of Lipschitz functions between two discrete tori; this can be seen as a discrete, quantitative analogue of a recent result of Austin [T. Austin, On the failure of concentration for the $\ell^{\infty}$ -ball, preprint]. We also prove a refined version of our junta theorem, which is sharp in a wider range of cases.

preprint2014arXiv

An isoperimetric inequality for conjugation-invariant sets in the symmetric group

We prove an isoperimetric inequality for conjugation-invariant sets of size $k$ in $S_n$ , showing that these necessarily have edge-boundary considerably larger than some other sets of size $k$ (provided $k$ is small). Specifically, let $T_n$ denote the Cayley graph on $S_n$ generated by the set of all transpositions. We show that if $A \subset S_n$ is a conjugation-invariant set with $|A| = pn! \leq n!/2$ , then the edge-boundary of $A$ in $T_n$ has size at least $c \cdot \frac {\log_2 (\tfrac 1{p})}{\log_2 \log_2 (\tfrac 2{p})}\cdot n \cdot |A|,$ where $c$ is an absolute constant. (This is sharp up to an absolute constant factor, when $p = Θ(1/s!)$ for any $s \in \{1,2,...,n\}$ .) It follows that if $p = n^{-Θ(1)}$ , then the edge-boundary of a conjugation-invariant set of measure $p$ is necessarily a factor of $Ω(\log n / \log \log n)$ larger than the minimum edge-boundary over all sets of measure $p$ .

preprint2013arXiv

Almost isoperimetric subsets of the discrete cube

We show that a set $A \subset \{0,1\}^{n}$ with edge-boundary of size at most $|A| (\log_{2}(2^{n}/|A|) + ε)$ can be made into a subcube by at most $(2 ε/\log_{2}(1/ε))|A|$ additions and deletions, provided $ε$ is less than an absolute constant. We deduce that if $A \subset \{0,1\}^{n}$ has size $2^{t}$ for some $t \in \mathbb{N}$ , and cannot be made into a subcube by fewer than $δ|A|$ additions and deletions, then its edge-boundary has size at least $|A| \log_{2}(2^{n}/|A|) + |A| δ\log_{2}(1/δ) = 2^{t}(n-t+δ\log_{2}(1/δ))$ , provided $δ$ is less than an absolute constant. This is sharp whenever $δ= 1/2^{j}$ for some $j \in \{1,2,\ldots,t\}$ .

preprint2013arXiv

Forbidding just one intersection, for permutations

We prove that for $n$ sufficiently large, if $A$ is a family of permutations of $\{1,2,\ldots,n\}$ with no two permutations in $\mathcal{A}$ agreeing exactly once, then $|\mathcal{A}| \leq (n-2)!$ , with equality holding only if $\mathcal{A}$ is a coset of the stabilizer of 2 points. We also obtain a Hilton-Milner type result, namely that if $\mathcal{A}$ is such a family which is not contained within a coset of the stabilizer of 2 points, then it is no larger than the family $\{σ\in S_{n}:\ σ(1)=1,σ(2)=2,\ \#\{\textrm{fixed points of}σ\geq 5\} \neq 1\} \cup \{(1\ 3)(2\ 4),(1\ 4)(2\ 3),(1\ 3\ 2\ 4),(1\ 4\ 2\ 3)\}$ . We conjecture that for $t \in \mathbb{N}$ , and for $n$ sufficiently large depending on $t$ , if $\mathcal{A}$ is family of permutations of $\{1,2,\ldots,n\}$ with no two permutations in $\mathcal{A}$ agreeing exactly $t-1$ times, then $|\mathcal{A}| \leq (n-t)!$ , with equality holding only if $\mathcal{A}$ is a coset of the stabilizer of $t$ points. This can be seen as a permutation analogue of a conjecture of Erdős on families of $k$ -element sets with a forbidden intersection, proved by Frankl and Füredi in [P. Frankl and Z. Füredi, Forbidding Just One Intersection, Journal of Combinatorial Theory, Series A, Volume 39 (1985), pp. 160-176].

preprint2012arXiv

An approximate isoperimetric inequality for r-sets

We prove a vertex-isoperimetric inequality for [n]^(r), the set of all r-element subsets of {1,2,...,n}, where x,y \in [n]^(r) are adjacent if |x Δy|=2. Namely, if \mathcal{A} \subset [n]^(r) with |\mathcal{A}|=α{n \choose r}, then the vertex-boundary b(\mathcal{A}) satisfies |b(\mathcal{A})| \geq c\sqrt{\frac{n}{r(n-r)}} α(1-α) {n \choose r}, where c is a positive absolute constant. For αbounded away from 0 and 1, this is sharp up to a constant factor (independent of n and r).

preprint2012arXiv

Triangle-Intersecting Families of Graphs

A family of graphs F is said to be triangle-intersecting if for any two graphs G,H in F, the intersection of G and H contains a triangle. A conjecture of Simonovits and Sos from 1976 states that the largest triangle-intersecting families of graphs on a fixed set of n vertices are those obtained by fixing a specific triangle and taking all graphs containing it, resulting in a family of size (1/8) 2^{n choose 2}. We prove this conjecture and some generalizations (for example, we prove that the same is true of odd-cycle-intersecting families, and we obtain best possible bounds on the size of the family under different, not necessarily uniform, measures). We also obtain stability results, showing that almost-largest triangle-intersecting families have approximately the same structure.

preprint2011arXiv

A Proof of the Cameron-Ku conjecture

A family of permutations A \subset S_n is said to be intersecting if any two permutations in A agree at some point, i.e. for any σ, π\in A, there is some i such that σ(i)=π(i). Deza and Frankl showed that for such a family, |A| <= (n-1)!. Cameron and Ku showed that if equality holds then A = {σ\in S_{n}: σ(i)=j} for some i and j. They conjectured a `stability' version of this result, namely that there exists a constant c < 1 such that if A \subset S_{n} is an intersecting family of size at least c(n-1)!, then there exist i and j such that every permutation in A maps i to j (we call such a family `centred'). They also made the stronger `Hilton-Milner' type conjecture that for n \geq 6, if A \subset S_{n} is a non-centred intersecting family, then A cannot be larger than the family C = {σ\in S_{n}: σ(1)=1, σ(i)=i \textrm{for some} i > 2} \cup {(12)}, which has size (1-1/e+o(1))(n-1)!. We prove the stability conjecture, and also the Hilton-Milner type conjecture for n sufficiently large. Our proof makes use of the classical representation theory of S_{n}. One of our key tools will be an extremal result on cross-intersecting families of permutations, namely that for n \geq 4, if A,B \subset S_{n} are cross-intersecting, then |A||B| \leq ((n-1)!)^{2}. This was a conjecture of Leader; it was recently proved for n sufficiently large by Friedgut, Pilpel and the author.

preprint2011arXiv

Generating all subsets of a finite set with disjoint unions

If X is an n-element set, we call a family G of subsets of X a k-generator for X if every subset of X can be expressed as a union of at most k disjoint sets in G. Frein, Leveque and Sebo conjectured that for n > 2k, the smallest k-generators for X are obtained by taking a partition of X into classes of sizes as equal as possible, and taking the union of the power-sets of the classes. We prove this conjecture for all sufficiently large n when k = 2, and for n a sufficiently large multiple of k when k > 2.

preprint2010arXiv

Irredundant Families of Subcubes

We consider the problem of finding the maximum possible size of a family of k-dimensional subcubes of the n-cube {0,1}^{n}, none of which is contained in the union of the others. (We call such a family `irredundant'). Aharoni and Holzman conjectured that for k > n/2, the answer is {n choose k} (which is attained by the family of all k-subcubes containing a fixed point). We give a new proof of a general upper bound of Meshulam, and we prove that for k >= n/2, any irredundant family in which all the subcubes go through either (0,0,...,0) or (1,1,...,1) has size at most {n choose k}. We then give a general lower bound, showing that Meshulam's upper bound is always tight up to a factor of at most e.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

David Ellis

Research overview

Is this your work?

12 publications

On symmetric intersecting families

Personality Traits in Game Development

On the structure of graphs which are locally indistinguishable from a lattice

Juntas in the $\ell^{1}$ -grid and Lipschitz maps between discrete tori

An isoperimetric inequality for conjugation-invariant sets in the symmetric group

Almost isoperimetric subsets of the discrete cube

Forbidding just one intersection, for permutations

An approximate isoperimetric inequality for r-sets

Triangle-Intersecting Families of Graphs

A Proof of the Cameron-Ku conjecture

Generating all subsets of a finite set with disjoint unions

Irredundant Families of Subcubes

See the researcher in context

Building this map preview

David Ellis

Research overview

Is this your work?

12 publications

On symmetric intersecting families

Personality Traits in Game Development

On the structure of graphs which are locally indistinguishable from a lattice

Juntas in the ℓ1\ell^{1}ℓ1-grid and Lipschitz maps between discrete tori

An isoperimetric inequality for conjugation-invariant sets in the symmetric group

Almost isoperimetric subsets of the discrete cube

Forbidding just one intersection, for permutations

An approximate isoperimetric inequality for r-sets

Triangle-Intersecting Families of Graphs

A Proof of the Cameron-Ku conjecture

Generating all subsets of a finite set with disjoint unions

Irredundant Families of Subcubes

See the researcher in context

Building this map preview

Juntas in the $\ell^{1}$ -grid and Lipschitz maps between discrete tori