Showing 20 papers (Total: 82661 papers, 47773 authors in database)
The role of the Axiom of Choice in proper and distinguishing colourings
Published
• View Publication
• BIB
Call a colouring of a graph distinguishing if the only automorphism which preserves it is the identity. We investigate the role of the Axiom of Choice in the existence of certain proper or distinguishing colourings in both vertex and edge variants with special emphasis on locally finite connected graphs. We show that every locally finite connected graph has a distinguishing colouring with at most countable number of colours or every locally finite connected graph has a proper colouring with at most countable number of colours if and only if Kőnig's Lemma holds. This statement holds for both vertex and edge colourings. Furthermore, we show that it is not provable in ZF that such colourings exist even for every connected graph with maximum degree 3. We also formulate a few conditions about distinguishing and proper colourings which are equivalent to the Axiom of Choice.
Old and new applications of Katona's circle
Published
• View Publication
• BIB
Several new applications of Katona's circle are given.
Sign stability of mapping classes on marked surfaces II: general case via reductions
We give a cluster algebraic description of the reduction procedure of mapping classes along a multicurve. Based on this description, we characterize pseudo-Anosov mapping classes on a general marked surface in terms of a weaker version of the uniform sign stability, generalizing the main result in the previous paper [IK20]. Moreover we axiomatize a general reduction procedure of mutation loops parametrized by a rational polyhedral cone in the tropical cluster $\mathcal{X}$-variety, which includes both the reduction along a multicurve and the cluster reduction introduced in [Ish19].
Asymptotics of descent functions
In 1916, MacMahon showed that permutations in $S_n$ with a fixed descent set $I$ are enumerated by a polynomial $d_I(n)$. Diaz-Lopez, Harris, Insko, Omar, and Sagan recently revived interest in this descent polynomial, and suggested the direction of studying such enumerative questions for other consecutive patterns (descents being the consecutive pattern $21$). Zhu studied this question for the consecutive pattern $321$. We continue this line of work by studying the case of any consecutive pattern of the form $k,k-1,\ldots,1$, which we call a $k$-descent. In this paper, we reduce the problem of determining the asymptotic number of permutations with a certain $k$-descent set to computing an explicit integral. We also prove an equidistribution theorem, showing that any two sparse $k$-descent sets are equally likely.
Counting the number of $k$-descent-avoiding permutations while conditioning on the length $n$ and first element $m$ simultaneously, one obtains a number triangle $f_k(m,n)$ with some useful properties. For $k=3$, the $m=1$ and $m=n$ diagonals are OEIS sequences A049774 and A080635. We prove a $k$th difference recurrence relation for entries of this number triangle. This also leads to an $O(n^2)$ algorithm for computing $k$-descent functions.
Along the way to these results, we prove an explicit formula for the distribution of first elements of $k$-descent-avoiding permutations, as well as for the joint distribution of first and last elements. We also develop an understanding of discrete order statistics. In our approach, we combine algebraic, analytic, and probabilistic tools. A number of open problems are stated at the end.
On the rainbow matching conjecture for 3-uniform hypergraphs
Published
• View Publication
• BIB
Aharoni and Howard, and, independently, Huang, Loh, and Sudakov proposed the following rainbow version of Erdős matching conjecture: For positive integers $n,k,m$ with $n\ge km$, if each of the families $F_1,\ldots, F_m\subseteq {[n]\choose k}$ has size more than $\max\{\binom{n}{k} - \binom{n-m+1}{k}, \binom{km-1}{k}\}$, then there exist pairwise disjoint subsets $e_1,\dots, e_m$ such that $e_i\in F_i$ for all $i\in [m]$. We prove that there exists an absolute constant $n_0$ such that this rainbow version holds for $k=3$ and $n\geq n_0$. We convert this rainbow matching problem to a matching problem on a special hypergraph $H$. We then combine several existing techniques on matchings in uniform hypergraphs: find an absorbing matching $M$ in $H$; use a randomization process of Alon et al. to find an almost regular subgraph of $H-V(M)$; and find an almost perfect matching in $H-V(M)$. To complete the process, we also need to prove a new result on matchings in 3-uniform hypergraphs, which can be viewed as a stability version of a result of Łuczak and Mieczkowska and might be of independent interest.
Paths in tournaments a simple proof of Rosenfeld's Conjecture
Rosenfeld Conjectured in 1972 that there exists an integer K $\geq$ 8 such that any tournament of order n $\geq$ K contains any Hamiltonian oriented path. In 2000, Havet and Thomassé proved this conjecture for any tournament with exactly 3 exceptions. We give a simplified proof of this fact.
Capacity of Lorentzian polynomials and distance to binomial distributions
In this paper we study the capacity of Lorentzian polynomials. We give a new proof of a theorem of Brändén, Leake and Pak. Our approach is probabilistic in nature and uses a lemma about a certain distance of binomial distributions to distributions with fixed expected value.
Planar binary trees in scattering amplitudes
Published in Algebraic Combinatorics, Resurgence, Moulds and Applications (CARMA) (2020): 349-365
• View Publication
• BIB
These notes are a written version of my talk given at the CARMA workshop in June 2017, with some additional material. I presented a few concepts that have recently been used in the computation of tree-level scattering amplitudes (mostly using pure spinor methods but not restricted to it) in a context that could be of interest to the combinatorics community. In particular, I focused on the appearance of {\it planar binary trees} in scattering amplitudes and presented some curious identities obeyed by related objects, some of which are known to be true only via explicit examples.
On the maximal number of elements pairwise generating the symmetric group of even degree
Published
• View Publication
• BIB
Let $G$ be the symmetric group of degree $n$. Let $ω(G)$ be the maximal size of a subset $S$ of $G$ such that $\langle x,y \rangle = G$ whenever $x,y \in S$ and $x \neq y$ and let $σ(G)$ be the minimal size of a family of proper subgroups of $G$ whose union is $G$. We prove that both functions $σ(G)$ and $ω(G)$ are asymptotically equal to $\frac{1}{2} \binom{n}{n/2}$ when $n$ is even. This, together with a result of S. Blackburn, implies that $σ(G)/ω(G)$ tends to $1$ as $n \to \infty$. Moreover, we give a lower bound of $(1-o(1))n$ on $ω(G)$ which is independent of the classification of finite simple groups. We also calculate, for large enough $n$, the clique number of the graph defined as follows: the vertices are the elements of $G$ and two vertices $x,y$ are connected by an edge if $\langle x,y \rangle \geq A_n$.
Weak harmonic labeling of graphs and multigraphs
Published
• View Publication
• BIB
In this article we introduce the notion of weak harmonic labeling of a graph, a generalization of the concept of harmonic labeling defined recently by Benjamini et al. that allows extension to finite graphs and graphs with leaves. We present various families of examples and provide several constructions that extend a given weak harmonic labeling to larger graphs. In particular, we use finite weak models to produce new examples of (strong) harmonic labelings. As a main result, we provide a characterization of weakly labeled graphs in terms of harmonic subsets of the integers and use it to compute every such graphs of up to ten vertices. In particular, we characterize harmonically labeled graphs as defined by Benjamini et al. We further extend the definitions and main results to the case of multigraphs and total labelings.
Counterbalancing steps at random in a random walk
Published
• View Publication
• BIB
A random walk with counterbalanced steps is a process of partial sums $\check S(n)=\check X_1+ \cdots + \check X_n$ whose steps $\check X_n$ are given recursively as follows. For each $n\geq 2$, with a fixed probability $p$, $\check X_n$ is a new independent sample from some fixed law $μ$, and with complementary probability $1-p$, $\check X_n= -\check X_{v(n)}$ counterbalances a previous step, with $v(n)$ a uniform random pick from $\{1, \ldots, n-1\}$. We determine the asymptotic behavior of $\check S(n)$ in terms of $p$ and the first two moments of $μ$. Our approach relies on a coupling with a reinforcement algorithm due to H.A. Simon, and on properties of random recursive trees and Eulerian numbers, which may be of independent interest. The method can be adapted to the situation where the step distribution $μ$ belongs to the domain of attraction of a stable law.
On Ramsey-minimal infinite graphs
Published in The Electronic Journal of Combinatorics 28(1) (2021), #P1.46
• View Publication
• BIB
For fixed finite graphs $G$, $H$, a common problem in Ramsey theory is to study graphs $F$ such that $F \to (G,H)$, i.e. every red-blue coloring of the edges of $F$ produces either a red $G$ or a blue $H$. We generalize this study to infinite graphs $G$, $H$; in particular, we want to determine if there is a minimal such $F$. This problem has strong connections to the study of self-embeddable graphs: infinite graphs which properly contain a copy of themselves. We prove some compactness results relating this problem to the finite case, then give some general conditions for a pair $(G,H)$ to have a Ramsey-minimal graph. We use these to prove, for example, that if $G=S_\infty$ is an infinite star and $H=nK_2$, $n \ge 1$ is a matching, then the pair $(S_\infty,nK_2)$ admits no Ramsey-minimal graphs.
Minimizing cycles in tournaments and normalized $q$-norms
Published
• View Publication
• BIB
Akin to the Erdős-Rademacher problem, Linial and Morgenstern made the following conjecture in tournaments: for any $d\in (0,1]$, among all $n$-vertex tournaments with $d\binom{n}{3}$ many 3-cycles, the number of 4-cycles is asymptotically minimized by a special random blow-up of a transitive tournament. Recently, Chan, Grzesik, Král' and Noel introduced spectrum analysis of adjacency matrices of tournaments in this study, and confirmed this for $d\geq 1/36$.
In this paper, we investigate the analogous problem of minimizing the number of cycles of a given length. We prove that for integers $\ell\not\equiv 2\mod 4$, there exists some constant $c_\ell>0$ such that if $d\geq 1-c_\ell$, then the number of $\ell$-cycles is also asymptotically minimized by the same family of extremal examples for $4$-cycles. In doing so, we answer a question of Linial and Morgenstern about minimizing the $q$-norm of a probabilistic vector with given $p$-norm for any integers $q>p>1$. For integers $\ell\equiv 2\mod 4$, however the same phenomena do not hold for $\ell$-cycles, for which we can construct an explicit family of tournaments containing fewer $\ell$-cycles for any given number of $3$-cycles. We conclude by proposing two conjectures on the minimization problem for general cycles in tournaments.
A note on the Grover walk and the generalized Ihara zeta function of the one-dimensional integer lattice
Chinta, Jorgenson and Karlsson introduced a generalized version of the determinant formula for the Ihara zeta function associated to finite or infinite regular graphs. On the other hand, Konno and Sato obtained a formula of the characteristic polynomial of the Grover matrix by using the determinant expression for the second weighted zeta function of a finite graph. In this paper, we focus on a relationship between the Grover walk and the generalized Ihara zeta function. That is to say, we treat the generalized Ihara zeta function of the one-dimensional integer lattice as a limit of the Ihara zeta function of the cycle graph.
Box and segment intersection graphs with large girth and chromatic number
Published in Advances in Combinatorics, 2021:7, 9pp
• View Publication
• BIB
We prove that there are intersection graphs of axis-aligned boxes in $\mathbb{R}^3$ and intersection graphs of straight lines in $\mathbb{R}^3$ that have arbitrarily large girth and chromatic number.
Reciprocal maximum likelihood degrees of diagonal linear concentration models
We show that the reciprocal maximal likelihood degree (rmld) of a diagonal linear concentration model $\mathcal L \subseteq \mathbb{C}^n$ of dimension $r$ is equal to $(-2)^rχ_M( \textstyle\frac{1}{2})$, where $χ_M$ is the characteristic polynomial of the matroid $M$ associated to $\mathcal L$. In particular, this establishes the polynomiality of the rmld for general diagonal linear concentration models, positively answering a question of Sturmfels, Timme, and Zwiernik.
Multiplicative representations of integers and Ramsey's theorem
Published in in: Combinatorial and Additive Number Theory IV, Springer, New York, 2021, pp. 409--423
• View Publication
• BIB
Let $\mathcal{B} = (B_1,\ldots, B_h)$ be an $h$-tuple of sets of positive integers. Let $g_{\mathcal{B} }(n)$ count the number of representations of $n$ in the form $n = b_1\cdots b_h$, where $b_i \in B_i$ for all $i \in \{1,\ldots, h\}$. It is proved that $\liminf_{n\rightarrow \infty} g_{\mathcal{B} }(n) \geq 2$ implies $\limsup_{n\rightarrow \infty} g_{\mathcal{B} }(n) = \infty$.
The co-prime order graph associated with a finite group
Let $G$ be a finite group. The co-prime order graph of $G$ is the graph whose vertex set is $G$, and two distinct vertices $x,y$ are adjacent if gcd$(o(x),o(y))$ is either $1$ or a prime, where $o(x)$ and $o(y)$ are the orders of $x$ and $y$, respectively. In this paper, we characterize all finite groups whose co-prime order graphs are complete and classify all finite groups whose co-prime order graphs are planar. Also, we compute the vertex-connectivity of the co-prime order graph of a cyclic group, a dihedral group and a generalized quaternion group, which answers a question by Banerjee (2019). Finally, we prove that, for a fixed positive integer $k$, there are finitely many finite groups whose co-prime order graphs have (non)orientable genus $k$. As applications, we classify all finite groups whose co-prime order graphs have (non)orientable genus one and two.
A combinatorial Schur expansion of triangle-free horizontal-strip LLT polynomials
Published
• View Publication
• BIB
In recent years, Alexandersson and others proved combinatorial formulas for the Schur function expansion of the horizontal-strip LLT polynomial $G_λ(x;q)$ in some special cases. We associate a weighted graph $Π$ to $λ$ and we use it to express a linear relation among LLT polynomials. We apply this relation to prove an explicit combinatorial Schur-positive expansion of $G_λ(x;q)$ whenever $Π$ is triangle-free. We also prove that the largest power of $q$ in the LLT polynomial is the total edge weight of our graph.
Turan and Ramsey numbers in linear triple systems
In this paper we study Turán and Ramsey numbers in linear triple systems, defined as $3$-uniform hypergraphs in which any two triples intersect in at most one vertex.
A famous result of Ruzsa and Szemerédi is that for any fixed $c>0$ and large enough $n$ the following Turán-type theorem holds. If a linear triple system on $n$ vertices has at least $cn^2$ edges then it contains a {\em triangle}: three pairwise intersecting triples without a common vertex. In this paper we extend this result from triangles to other triple systems, called {\em $s$-configurations}. The main tool is a generalization of the induced matching lemma from $aba$-patterns to more general ones.
We slightly generalize $s$-configurations to {\em extended $s$-configurations}. For these we cannot prove the corresponding Turán-type theorem, but we prove that they have the weaker, Ramsey property: they can be found in any $t$-coloring of the blocks of any sufficiently large Steiner triple system. Using this, we show that all unavoidable configurations with at most 5 blocks, except possibly the ones containing the sail $C_{15}$ (configuration with blocks 123, 345, 561 and 147), are $t$-Ramsey for any $t\geq 1$. The most interesting one among them is the {\em wicket}, $D_4$, formed by three rows and two columns of a $3\times 3$ point matrix. In fact, the wicket is $1$-Ramsey in a very strong sense: all Steiner triple systems except the Fano plane must contain a wicket.