Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Finite Products Sets and Minimally Almost Periodic Groups
Published in J. Funct. Anal. 270.6 (2016), pp. 2126-2176
• View Publication
• BIB
We construct, in locally compact, second countable, amenable groups, sets with large density that fail to have certain combinatorial properties. For the property of being a shift of a set of measurable recurrence we show that this is possible when the group does not have cocompact von Neumann kernel. For the stronger property of being piecewise-syndetic we show that this is always possible.
For minimally almost periodic, locally compact, second countable, amenable groups, we prove that any dilation of a positive density set by an open neighborhood of the identity contains a set of measurable recurrence, and that the same result holds, up to a shift, when the von Neumann kernel is cocompact. This leads to a trichotomy for locally compact, second countable, amenable groups based on combinatorial properties of large sets. We also prove, using a two-sided Furstenberg correspondence principle, that any two-sided dilation of a positive density set contains a two-sided finite products set.
Solution to a problem of Bollobás and Häggkvist on Hamilton cycles in regular graphs
We prove that, for large $n$, every $3$-connected $D$-regular graph on $n$ vertices with $D \geq n/4$ is Hamiltonian. This is best possible and confirms a conjecture posed independently by Bollobás and Häggkvist in the 1970s. The proof builds on a structural decomposition result proved recently by the same authors.
Noncommutative Bell polynomials, quasideterminants and incidence Hopf algebras
Published in International Journal of Algebra and Computation, Volume 24, Issue 05, August 2014
• View Publication
• BIB
Bell polynomials appear in several combinatorial constructions throughout mathematics. Perhaps most naturally in the combinatorics of set partitions, but also when studying compositions of diffeomorphisms on vector spaces and manifolds, and in the study of cumulants and moments in probability theory. We construct commutative and noncommutative Bell polynomials and explain how they give rise to Faà di Bruno Hopf algebras. We use the language of incidence Hopf algebras, and along the way provide a new description of antipodes in noncommutative incidence Hopf algebras, involving quasideterminants. We also discuss Möbius inversion in certain Hopf algebras built from Bell polynomials.
Some Centrally Symmetric Manifolds
We show existence of centrally symmetric maps on surfaces all of whose faces are quadrangles and pentagons for each orientable genus $g \geq 0$. We also show existence of centrally symmetric maps on surfaces all of whose faces are hexagons for each orientable genus $g = 2k-1$, $k\in \mathbb{N}$. We enumerate centrally symmetric triangulated manifolds of dimensions 2 and 3 with few vertices.
Hamilton cycles in graphs and hypergraphs: an extremal perspective
As one of the most fundamental and well-known NP-complete problems, the Hamilton cycle problem has been the subject of intensive research. Recent developments in the area have highlighted the crucial role played by the notions of expansion and quasi-randomness. These concepts and other recent techniques have led to the solution of several long-standing problems in the area. New aspects have also emerged, such as resilience, robustness and the study of Hamilton cycles in hypergraphs. We survey these developments and highlight open problems, with an emphasis on extremal and probabilistic approaches.
Characterizing Block Graphs in Terms of their Vertex-Induced Partitions
Given a finite connected simple graph $G=(V,E)$ with vertex set $V$ and edge set $E\subseteq \binom{V}{2}$, we will show that
$1.$ the (necessarily unique) smallest block graph with vertex set $V$ whose edge set contains $E$ is uniquely determined by the $V$-indexed family ${\bf P}_G:=\big(π_0(G^{(v)})\big)_{v \in V}$ of the various partitions $π_0(G^{(v)})$ of the set $V$ into the set of connected components of the graph $G^{(v)}:=(V,\{e\in E: v\notin e\})$,
$2.$ the edge set of this block graph coincides with set of all $2$-subsets $\{u,v\}$ of $V$ for which $u$ and $v$ are, for all $w\in V-\{u,v\}$, contained in the same connected component of $G^{(w)}$,
$3.$ and an arbitrary $V$-indexed family ${\bf P}p=({\bf p}_v)_{v \in V}$ of partitions $π_v$ of the set $V$ is of the form ${\bf P}p={\bf P}p_G$ for some connected simple graph $G=(V,E)$ with vertex set $V$ as above if and only if, for any two distinct elements $u,v\in V$, the union of the set in ${\bf p}_v$ that contains $u$ and the set in ${\bf p}_u$ that contains $v$ coincides with the set $V$, and $\{v\}\in {\bf p}_v$ holds for all $v \in V$.
As well as being of inherent interest to the theory of block graphs, these facts are also useful in the analysis of compatible decompositions and block realizations of finite metric spaces.
Confluent Parry numbers, their spectra, and integers in positive- and negative-base number systems
Published
• View Publication
• BIB
In this paper we study the expansions of real numbers in positive and negative real base as introduced by Rényi, and Ito & Sadahiro, respectively. In particular, we compare the sets $\mathbb{Z}_β^+$ and $\mathbb{Z}_{-β}$ of nonnegative $β$-integers and $(-β)$-integers. We describe all bases $(\pmβ)$ for which $\mathbb{Z}_β^+$ and $\mathbb{Z}_{-β}$ can be coded by infinite words which are fixed points of conjugated morphisms, and consequently have the same language. Moreover, we prove that this happens precisely for $β$ with another interesting property, namely that any integer linear combination of non-negative powers of the base $-β$ with coefficients in $\{0,1,\dots,\lfloorβ\rfloor\}$ is a $(-β)$-integer, although the corresponding sequence of digits is forbidden as a $(-β)$-integer.
On the inertia set of a signed graph with loops
Published
• View Publication
• BIB
A signed graph is a pair $(G,Σ)$, where $G=(V,E)$ is a graph (in which parallel edges and loops are permitted) with $V=\{1,\ldots,n\}$ and $Σ\subseteq E$. The edges in $Σ$ are called odd edges and the other edges of $E$ even. By $S(G,Σ)$ we denote the set of all symmetric $n\times n$ real matrices $A=[a_{i,j}]$ such that if $a_{i,j} < 0$, then there must be an even edge connecting $i$ and $j$; if $a_{i,j} > 0$, then there must be an odd edge connecting $i$ and $j$; and if $a_{i,j} = 0$, then either there must be an odd edge and an even edge connecting $i$ and $j$, or there are no edges connecting $i$ and $j$. (Here we allow $i=j$.) For a symmetric real matrix $A$, the partial inertia of $A$ is the pair $(p,q)$, where $p$ and $q$ are the number of positive and negative eigenvalues of $A$, respectively. If $(G,Σ)$ is a signed graph, we define the \emph{inertia set} of $(G,Σ)$ as the set of the partial inertias of all matrices $A \in S(G,Σ)$.
In this paper, we present a formula that allows us to obtain the minimal elements of the inertia set of $(G,Σ)$ in case $(G,Σ)$ has a $1$-separation using the inertia sets of certain signed graphs associated to the $1$-separation.
Minimum Entropy Submodular Optimization (and Fairness in Cooperative Games)
We study minimum entropy submodular optimization, a common generalization of the minimum entropy set cover problem, studied earlier by Cardinal et al., and the submodular set cover problem.
We give a general bound of the approximation performance of the greedy algorithm using an approach that can be interpreted in terms of a particular type of biased network flows. As an application we rederive known results for the Minimum Entropy Set Cover and Minimum Entropy Orientation problems, and obtain a nontrivial bound for a new problem called the Minimum Entropy Spanning Tree problem.
The problem can be applied to (and is partly motivated by) the definition of worst-case approaches to fairness in concave cooperative games, similar to the notion of price of anarchy in noncooperative settings.
Partial-conjugates and Dimensionality of Posets
The Pareto dominance relation of a preference profile is (the asymmetric part of) a partial order. For any integer n, the problem of the existence of an n-agent preference profile that generates the given Pareto dominance relation is to investigate the dimension of the partial order. We provide a characterization of a partial order having dimension n in general.
Critique of Hirsch's citation index: a combinatorial Fermi problem
Published in Notices of the AMS, Volume 61 (2014), No. 9, 1040-1050
• View Publication
• BIB
The h-index was introduced by the physicist J.E. Hirsch in 2005 as measure of a researcher's productivity. We consider the "combinatorial Fermi problem" of estimating h given the citation count. Using the Euler-Gauss identity for integer partitions, we compute confidence intervals. An asymptotic theorem about Durfee squares, due to E.R. Canfield-S. Corteel-C.D. Savage from 1998, is reinterpreted as the rule of thumb h=0.54 x (citations)^{1/2}. We compare these intervals and the rule of thumb to empirical data (primarily using mathematicians).
A comment on: "Further restrictions on the structure of finite DCI-groups"
Published
• View Publication
• BIB
A finite group R is a CI-group if, whenever S and T are subsets of R with the Cayley graphs Cay(R,S) and Cay(R,T) isomorphic, there exists an automorphism x of R with S^x=T.
The classification of CI-groups is an open problem in the theory of Cayley graphs and is closely related to the isomorphism problem for graphs. This paper is a contribution towards this classification, as we show that every dihedral group of order 6p, with p>3 prime, is a CI-group.
Combinatorial Nullstellensatz modulo prime powers and the Parity Argument
Published
• View Publication
• BIB
We present new generalizations of Olson's theorem and of a consequence of Alon's Combinatorial Nullstellensatz. These enable us to extend some of their combinatorial applications with conditions modulo primes to conditions modulo prime powers. We analyze computational search problems corresponding to these kinds of combinatorial questions and we prove that the problem of finding degree-constrained subgraphs modulo $2^d$ such as $2^d$-divisible subgraphs and the search problem corresponding to the Combinatorial Nullstellensatz over $\mathbb{F}_2$ belong to the complexity class Polynomial Parity Argument (PPA).
On the Number of Walks in a Triangular Domain
Published
• View Publication
• BIB
We consider walks on a triangular domain that is a subset of the triangular lattice. We then specialise this by dividing the lattice into two directed sublattices with different weights. Our central result is an explicit formula for the generating function of walks starting at a fixed point in this domain and ending anywhere within the domain. Intriguingly, the specialisation of this formula to walks starting in a fixed corner of the triangle shows that these are equinumerous to two-coloured Motzkin paths, and two-coloured three-candidate Ballot paths, in a strip of finite height.
Lower bounds for bootstrap percolation on Galton-Watson trees
Published
• View Publication
• BIB
Bootstrap percolation is a cellular automaton modelling the spread of an `infection' on a graph. In this note, we prove a family of lower bounds on the critical probability for $r$-neighbour bootstrap percolation on Galton--Watson trees in terms of moments of the offspring distributions. With this result we confirm a conjecture of Bollobás, Gunderson, Holmgren, Janson and Przykucki. We also show that these bounds are best possible up to positive constants not depending on the offspring distribution.
New Results on Doubly Adjacent Pattern-Replacement Equivalences
In this paper, we consider the family of pattern-replacement equivalence relations referred to as the "indices and values adjacent" case. Each such equivalence is determined by a partition $P$ of a subset of $S_c$ for some $c$. In 2010, Linton, Propp, Roby, and West posed a number of open problems in the area of pattern-replacement equivalences. Five, in particular, have remained unsolved until now, the enumeration of equivalence classes under the $\{123, 132\}$-equivalence, under the $\{123, 321\}$-equivalence, under the $\{123, 132, 213\}$ equivalence, and under the $\{123, 132, 213, 321\}$-equivalence. We find formulas for three of the five equivalences and systems of representatives for the equivalence classes of the other two. We generalize our results to hold for all replacement partitions of $S_3$, as well as for an infinite family of other replacement partitions. In addition, we characterize the equivalence classes in $S_n$ under the $S_c$-equivalence, finding a generalization of Stanley's results on the $\{12, 21\}$-equivalence.
To do this, we introduce a notion of confluence that often allows one to find a representative element in each equivalence class under a given equivalence relation. Using an inclusion-exclusion argument, we are able to use this to count the equivalence classes under equivalence relations satisfying certain conditions.
The Distribution of Gaps between Summands in Generalized Zeckendorf Decompositions
Published
• View Publication
• BIB
Zeckendorf proved that any integer can be decomposed uniquely as a sum of non-adjacent Fibonacci numbers, $F_n$. Using continued fractions, Lekkerkerker proved the average number of summands of an $m \in [F_n, F_{n+1})$ is essentially $n/(\varphi^2 +1)$, with $\varphi$ the golden ratio. Miller-Wang generalized this by adopting a combinatorial perspective, proving that for any positive linear recurrence the number of summands in decompositions for integers in $[G_n, G_{n+1})$ converges to a Gaussian distribution. We prove the probability of a gap larger than the recurrence length converges to decaying geometrically, and that the distribution of the smaller gaps depends in a computable way on the coefficients of the recurrence. These results hold both for the average over all $m \in [G_n, G_{n+1})$, as well as holding almost surely for the gap measure associated to individual $m$. The techniques can also be used to determine the distribution of the longest gap between summands, which we prove is similar to the distribution of the longest gap between heads in tosses of a biased coin. It is a double exponential strongly concentrated about the mean, and is on the order of $\log n$ with computable constants depending on the recurrence.
On the reducibility of exact covering systems
There exist irreducible exact covering systems (ECS). These are ECS which are not a proper split of a coarser ECS. However, an ECS admiting a maximal modulus which is divisible by at most two distinct primes, primely splits a coarser ECS. As a consequence, if all moduli of an ECS $A$, are divisible by at most two distinct primes, then $A$ is natural. That is, $A$ can be formed by iteratively splitting the trivial ECS.
A cross-intersection theorem for subsets of a set
Published
• View Publication
• BIB
Two families $\mathcal{A}$ and $\mathcal{B}$ of sets are said to be cross-intersecting if each member of $\mathcal{A}$ intersects each member of $\mathcal{B}$. For any two integers $n$ and $k$ with $0 \leq k \leq n$, let ${[n] \choose \leq k}$ denote the family of all subsets of $\{1, \dots, n\}$ of size at most $k$. We show that if $\mathcal{A} \subseteq {[m] \choose \leq r}$, $\mathcal{B} \subseteq {[n] \choose \leq s}$, and $\mathcal{A}$ and $\mathcal{B}$ are cross-intersecting, then \[|\mathcal{A}||\mathcal{B}| \leq \sum_{i=0}^r {m-1 \choose i-1} \sum_{j=0}^s {n-1 \choose j-1},\] and equality holds if $\mathcal{A} = \{A \in {[m] \choose \leq r} \colon 1 \in A\}$ and $\mathcal{B} = \{B \in {[n] \choose \leq s} \colon 1 \in B\}$. Also, we generalise this to any number of such cross-intersecting families.
On Additive Combinatorics of Permutations of \mathbb{Z}_n
Published
• View Publication
• BIB
Let $\mathbb{Z}_n$ denote the ring of integers modulo $n$. In this paper we consider two extremal problems on permutations of $\mathbb{Z}_n$, namely, the maximum size of a collection of permutations such that the sum of any two distinct permutations in the collection is again a permutation, and the maximum size of a collection of permutations such that the sum of any two distinct permutations in the collection is not a permutation. Let the sizes be denoted by $s(n)$ and $t(n)$ respectively. The case when $n$ is even is trivial in both the cases, with $s(n)=1$ and $t(n)=n!$. For $n$ odd, we prove $s(n)\geq (nφ(n))/2^k$ where $k$ is the number of distinct prime divisors of $n$. When $n$ is an odd prime we prove $s(n)\leq \frac{e^2}π n ((n-1)/e)^\frac{n-1}{2}$. For the second problem, we prove $2^{(n-1)/2}.(\frac{n-1}{2})!\leq t(n)\leq 2^k.(n-1)!/φ(n)$ when $n$ is odd.