Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Arithmetic of partitions and the $q$-bracket operator
Published
• View Publication
• BIB
We present a natural multiplicative theory of integer partitions (which are usually considered in terms of addition), and find many theorems of classical number theory arise as particular cases of extremely general combinatorial structure laws. We then see that the relatively recently-defined $q$-bracket operator $\left<f\right>_q$, studied by Bloch-Okounkov, Zagier, and others for its quasimodular properties, plays a deep role in the theory of partitions, quite apart from questions of modularity. Moreover, we give an explicit formula for the coefficients of $\left<f\right>_q$ for any function $f$ defined on partitions, and, conversely, give a partition-theoretic function whose $q$-bracket is a given power series.
A survey of $q$-holonomic functions
Published
• View Publication
• BIB
We give a survey of basic facts of $q$-holonomic functions of one or several variables, following Zeilberger and Sabbah. We provide detailed proofs and examples.
Approximating permanents and hafnians
Published in Discrete Analysis, 2017:2, 34 pp
• View Publication
• BIB
We prove that the logarithm of the permanent of an nxn real matrix A and the logarithm of the hafnian of a 2nx2n real symmetric matrix A can be approximated within an additive error 1 > epsilon > 0 by a polynomial p in the entries of A of degree O(ln n - ln epsilon) provided the entries a_ij of A satisfy delta < a_ij < 1 for an arbitrarily small delta > 0, fixed in advance. Moreover, the polynomial p can be computed in n^{O(ln n - ln epsilon)} time. We also improve bounds for approximating ln per A, ln haf A and logarithms of multi-dimensional permanents for complex matrices and tensors A.
On freeness of the random fundamental group
Published
• View Publication
• BIB
Let $Y(n, p)$ denote the probability space of random 2-dimensional simplicial complexes in the Linial--Meshulam model, and let $Y \sim Y(n, p)$ denote a random complex chosen according to this distribution. In a paper of Cohen, Costa, Farber, and Kappeler, it is shown that for $p = o(1/n)$ with high probability $π_1(Y)$ is free. Following that, a paper of Costa and Farber shows that for values of $p$ which satisfy $3/n < p \ll n^{-46/47}$, with high probability $π_1(Y)$ is not free. Here we improve on both of these results to show that there are explicit constants $γ_2 < c_2 < 3$, so that for $p < γ_2/n$ with high probability $Y$ has free fundamental group and that for $p > c_2/n$, with high probability $Y$ has fundamental group which either is not free or is trivial.
Total Dominating Sequences in Graphs
Published
• View Publication
• BIB
A vertex in a graph totally dominates another vertex if they are adjacent. A sequence of vertices in a graph $G$ is called a total dominating sequence if every vertex $v$ in the sequence totally dominates at least one vertex that was not totally dominated by any vertex that precedes $v$ in the sequence, and at the end all vertices of $G$ are totally dominated. While the length of a shortest such sequence is the total domination number of $G$, in this paper we investigate total dominating sequences of maximum length, which we call the Grundy total domination number, $γ_{\rm gr}^t(G)$, of $G$. We provide a characterization of the graphs $G$ for which $γ_{\rm gr}^t(G)=|V(G)|$ and of those for which $γ_{\rm gr}^t(G)=2$. We show that if $T$ is a nontrivial tree of order~$n$ with no vertex with two or more leaf-neighbors, then $γ_{\rm gr}^t(T) \ge \frac{2}{3}(n+1)$, and characterize the extremal trees. We also prove that for $k \ge 3$, if $G$ is a connected $k$-regular graph of order~$n$ different from $K_{k,k}$, then $γ_{\rm gr}^t(G) \ge (n + \lceil \frac{k}{2} \rceil - 2)/(k-1)$ if $G$ is not bipartite and $γ_{\rm gr}^t(G) \ge (n + 2\lceil \frac{k}{2} \rceil - 4)/(k-1)$ if $G$ is bipartite. The Grundy total domination number is proven to be bounded from above by two times the Grundy domination number, while the former invariant can be arbitrarily smaller than the latter. Finally, a natural connection with edge covering sequences in hypergraphs is established, which in particular yields the NP-completeness of the decision version of the Grundy total domination number.
Permutations that Destroy Arithmetic Progressions in Elementary $p$-Groups
Published
• View Publication
• BIB
Given an abelian group $G$, it is natural to ask whether there exists a permutation $π$ of $G$ that "destroys" all nontrivial 3-term arithmetic progressions (APs), in the sense that $π(b) - π(a) \neq π(c) - π(b)$ for every ordered triple $(a,b,c) \in G^3$ satisfying $b-a = c-b \neq 0$. This question was resolved for infinite groups $G$ by Hegarty, who showed that there exists an AP-destroying permutation of $G$ if and only if $G/Ω_2(G)$ has the same cardinality as $G$, where $Ω_2(G)$ denotes the subgroup of all elements in $G$ whose order divides $2$. In the case when $G$ is finite, however, only partial results have been obtained thus far. Hegarty has conjectured that an AP-destroying permutation of $G$ exists if $G = \mathbb{Z}/n\mathbb{Z}$ for all $n \neq 2,3,5,7$, and together with Martinsson, he has proven the conjecture for all $n > 1.4 \times 10^{14}$. In this paper, we show that if $p$ is a prime and $k$ is a positive integer, then there is an AP-destroying permutation of the elementary $p$-group $(\mathbb{Z}/p\mathbb{Z})^k$ if and only if $p$ is odd and $(p,k) \not\in \{(3,1),(5,1), (7,1)\}$.
Ends of Schreier graphs and cut-points of limit spaces of self-similar groups
Published in Journal of Fractal Geometry, Volume 4, Issue 4, 2017, 369-424
• View Publication
• BIB
Every self-similar group acts on the space $X^ω$ of infinite words over some alphabet $X$. We study the Schreier graphs $Γ_w$ for $w\in X^ω$ of the action of self-similar groups generated by bounded automata on the space $X^ω$. Using sofic subshifts we determine the number of ends for every Schreier graph $Γ_w$. Almost all Schreier graphs $Γ_w$ with respect to the uniform measure on $X^ω$ have one or two ends, and we characterize bounded automata whose Schreier graphs have two ends almost surely. The connection with (local) cut-points of limit spaces of self-similar groups is established.
Spectral analogues of Moon-Moser's theorem on Hamilton paths in bipartite graphs
Published in Linear Algebra Appl. 515 (2017) 180--195
• View Publication
• BIB
In 1962, Erdős proved a theorem on the existence of Hamilton cycles in graphs with given minimum degree and number of edges. Significantly strengthening in case of balanced bipartite graphs, Moon and Moser proved a corresponding theorem in 1963. In this paper we establish several spectral analogues of Moon and Moser's theorem on Hamilton paths in balanced bipartite graphs and nearly balanced bipartite graphs. One main ingredient of our proofs is a structural result of its own interest, involving Hamilton paths in balanced bipartite graphs with given minimum degree and number of edges.
Vertex Colorings without Rainbow or Monochromatic Subgraphs
Published
• View Publication
• BIB
This paper investigates vertex colorings of graphs such that some rainbow subgraph~$R$ and some monochromatic subgraph $M$ are forbidden. Previous work focussed on the case that $R=M$. Here we consider the more general case, especially the case that $M=K_2$.
Structure trees, networks and almost invariant sets
Published
• View Publication
• BIB
A self-contained account of the theory of structure trees for edge cuts in networks is given. Applications include a generalisation of the Max-Flow Min-Cut Theorem to infinite networks and a short proof of a conjecture of Kropholler. This gives a relative version of Stallings' Theorem on the structure of groups with more than one end. A generalisation of the Almost Stability Theorem is also obtained, which provides information about the structure of the Sageev cubing.
On the Cycle Structure of Mallows Permutations
Published
• View Publication
• BIB
We study the length of cycles of random permutations drawn from the Mallows distribution. Under this distribution, the probability of a permutation $π\in \mathbb{S}_n$ is proportional to $q^{\textrm{inv}(π)}$ where $0<q\le 1$ and $\textrm{inv}(π)$ is the number of inversions in $π$.
We show that the expected length of the cycle containing a given point is of order $\min\{(1-q)^{-2}, n\}$. This marks the existence of two asymptotic regimes: with high probability, when $n$ tends to infinity with $(1-q)^{-2} \ll n$ then all cycles have size $o(n)$ whereas when $n$ tends to infinity with $(1-q)^{-2}\gg n$ then macroscopic cycles, of size proportional to $n$, emerge. In the second regime, we prove that the distribution of normalized cycle lengths follows the Poisson-Dirichlet law, as in a uniformly random permutation. The results bear formal similarity with a conjectured localization transition for random band matrices.
Further results are presented for the variance of the cycle lengths, the expected diameter of cycles and the expected number of cycles. The proofs rely on the exact sampling algorithm for the Mallows distribution and make use of a special diagonal exposure process for the graph of the permutation.
Spectral characterizations of two families of nearly complete bipartite graphs
Published
• View Publication
• BIB
It is not hard to find many complete bipartite graphs which are not determined by their spectra. We show that the graph obtained by deleting an edge from a complete bipartite graph is determined by its spectrum. We provide some graphs, each of which is obtained from a complete bipartite graph by adding a vertex and an edge incident on the new vertex and an original vertex, which are not determined by their spectra.
Trapezoidal numbers, divisor functions, and a partition theorem of Sylvester
Published in in: Analytic Number Theory, Modular Forms and q-Hypergeometric Series, Springer Proceedings in Mathematics and Statistics, Volume: 221, Springer, 2018, pp. 555--586
• View Publication
• BIB
A partition of a positive integer $n$ is a representation of $n$ as a sum of a finite number of positive integers (called parts). A trapezoidal number is a positive integer that has a partition whose parts are a decreasing sequence of consecutive integers, or, more generally, whose parts form a finite arithmetic progression. This paper reviews the relation between trapezoidal numbers, partitions, and the set of divisors of a positive integer. There is also a complete proof of a theorem of Sylvester that produces a stratification of the partitions of an integer into odd parts and partitions into disjoint trapezoids.
Permutation codes, source coding and a generalisation of Bollobás-Lubell-Yamamoto-Meshalkin and Kraft inequalities
We develop a general framework to prove Kraft-type inequalities for prefix-free permutation codes for source coding with various notions of permutation code and prefix. We also show that the McMillan-type converse theorem in most of these cases does not hold, and give a general form of a counterexample. Our approach is more general and works for other structures besides permutation codes. The classical Kraft inequality for prefix-free codes as well as results about permutation codes follow as corollaries of our main theorem and main counterexample.
Sparse exchangeable graphs and their limits via graphon processes
Published in Journal of Machine Learning Research 18(210):1-71, 2018
• Search Publication
In a recent paper, Caron and Fox suggest a probabilistic model for sparse graphs which are exchangeable when associating each vertex with a time parameter in $\mathbb{R}_+$. Here we show that by generalizing the classical definition of graphons as functions over probability spaces to functions over $σ$-finite measure spaces, we can model a large family of exchangeable graphs, including the Caron-Fox graphs and the traditional exchangeable dense graphs as special cases. Explicitly, modelling the underlying space of features by a $σ$-finite measure space $(S,\mathcal{S},μ)$ and the connection probabilities by an integrable function $W\colon S\times S\to [0,1]$, we construct a random family $(G_t)_{t\geq 0}$ of growing graphs such that the vertices of $G_t$ are given by a Poisson point process on $S$ with intensity $tμ$, with two points $x,y$ of the point process connected with probability $W(x,y)$. We call such a random family a graphon process. We prove that a graphon process has convergent subgraph frequencies (with possibly infinite limits) and that, in the natural extension of the cut metric to our setting, the sequence converges to the generating graphon. We also show that the underlying graphon is identifiable only as an equivalence class over graphons with cut distance zero. More generally, we study metric convergence for arbitrary (not necessarily random) sequences of graphs, and show that a sequence of graphs has a convergent subsequence if and only if it has a subsequence satisfying a property we call uniform regularity of tails. Finally, we prove that every graphon is equivalent to a graphon on $\mathbb{R}_+$ equipped with Lebesgue measure.
Inducibility in binary trees and crossings in random tanglegrams
Published
• View Publication
• BIB
In analogy to other concepts of a similar nature, we define the inducibility of a rooted binary tree. Given a fixed rooted binary tree $B$ with $k$ leaves, we let $γ(B,T)$ be the proportion of all subsets of $k$ leaves in $T$ that induce a tree isomorphic to $B$. The inducibility of $B$ is $\limsup_{|T| \to \infty} γ(B,T)$. We determine the inducibility in some special cases, show that every binary tree has positive inducibility and prove that caterpillars are the only binary trees with inducibility $1$. We also formulate some open problems and conjectures on the inducibility. Finally, we present an application to crossing numbers of random tanglegrams.
Core partitions into distinct parts and an analog of Euler's theorem
Published
• View Publication
• BIB
A special case of an elegant result due to Anderson proves that the number of $(s,s+1)$-core partitions is finite and is given by the Catalan number $C_s$. Amdeberhan recently conjectured that the number of $(s,s+1)$-core partitions into distinct parts equals the Fibonacci number $F_{s+1}$. We prove this conjecture by enumerating, more generally, $(s,ds-1)$-core partitions into distinct parts. We do this by relating them to certain tuples of nested twin-free sets.
As a by-product of our results, we obtain a bijection between partitions into distinct parts and partitions into odd parts, which preserves the perimeter (that is, the largest part plus the number of parts minus $1$). This simple but curious analog of Euler's theorem appears to be missing from the literature on partitions.
Sets in Almost General Position
Erdős asked the following question: given $n$ points in the plane in almost general position (no 4 collinear), how large a set can we guarantee to find that is in general position (no 3 collinear)? Füredi constructed a set of $n$ points in almost general position with no more than $o(n)$ points in general position. Cardinal, Tóth and Wood extended this result to $\mathbb{R}^3$, finding sets of $n$ points with no 5 on a plane whose subsets with no 4 points on a plane have size $o(n)$, and asked the question for higher dimensions: for given $n$, is it still true that the largest subset in general position we can guarantee to find has size $o(n)$? We answer their question for all $d$ and derive improved bounds for certain dimensions.
Commuting Contractive Families
A family $f_1,...,f_n$ of operators on a complete metric space $X$ is called contractive if there exists a positive $λ< 1$ such that for any $x,y$ in $X$ we have $d(f_i(x),f_i(y)) \leq λd(x,y)$ for some $i$. Austin conjectured that any commuting contractive family of operators has a common fixed point, and he proved this for the case of two operators. Our aim in this paper is to show that Austin's conjecture is true for three operators, provided that $λ$ is sufficiently small.
On universal partial words
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 1, Combinatorics (May 31, 2017) dmtcs:2205
• View Publication
• BIB
A universal word for a finite alphabet $A$ and some integer $n\geq 1$ is a word over $A$ such that every word in $A^n$ appears exactly once as a subword (cyclically or linearly). It is well-known and easy to prove that universal words exist for any $A$ and $n$. In this work we initiate the systematic study of universal partial words. These are words that in addition to the letters from $A$ may contain an arbitrary number of occurrences of a special `joker' symbol $\Diamond\notin A$, which can be substituted by any symbol from $A$. For example, $u=0\Diamond 011100$ is a linear partial word for the binary alphabet $A=\{0,1\}$ and for $n=3$ (e.g., the first three letters of $u$ yield the subwords $000$ and $010$). We present results on the existence and non-existence of linear and cyclic universal partial words in different situations (depending on the number of $\Diamond$s and their positions), including various explicit constructions. We also provide numerous examples of universal partial words that we found with the help of a computer.