Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On the maximum mean subtree order of trees
Published in European Journal of Combinatorics 2021
• View Publication
• BIB
A subtree of a tree is any induced subgraph that is again a tree (i.e., connected). The mean subtree order of a tree is the average number of vertices of its subtrees. This invariant was first analyzed in the 1980s by Jamison. An intriguing open question raised by Jamison asks whether the maximum of the mean subtree order, given the order of the tree, is always attained by some caterpillar. While we do not completely resolve this conjecture, we find some evidence in its favor by proving different features of trees that attain the maximum. For example, we show that the diameter of a tree of order $n$ with maximum mean subtree order must be very close to $n$. Moreover, we show that the maximum mean subtree order is equal to $n - 2\log_2 n + O(1)$. For the local mean subtree order, which is the average order of all subtrees containing a fixed vertex, we can be even more precise: we show that its maximum is always attained by a broom and that it is equal to $n - \log_2 n + O(1)$.
Discrete and continuous Muttalib--Borodin processes I: the hard edge
Published
• View Publication
• BIB
In this note we study a natural measure on plane partitions giving rise to a certain discrete-time Muttalib-Borodin process (MBP): each time-slice is a discrete version of a Muttalib-Borodin ensemble (MBE). The process is determinantal with explicit time-dependent correlation kernel. Moreover, in the $q \to 1$ limit, it converges to a continuous Jacobi-like MBP with Muttalib-Borodin marginals supported on the unit interval. This continuous process is also determinantal with explicit correlation kernel. We study its hard-edge scaling limit (around 0) to obtain a discrete-time-dependent generalization of the classical continuous Bessel kernel of random matrix theory (and, in fact, of the Meijer $G$-kernel as well). We lastly discuss two related applications: random sampling from such processes, and their interpretations as models of directed last passage percolation (LPP). In doing so, we introduce a corner growth model naturally associated to Jacobi processes, a version of which is the "usual" corner growth of Forrester-Rains in logarithmic coordinates. The aforementioned hard edge limits for our MBPs lead to interesting asymptotics for these LPP models. In particular, a special cases of our LPP asymptotics give rise (via the random matrix Bessel kernel and following Johansson's lead) to an extremal statistics distribution interpolating between the Tracy-Widom GUE and the Gumbel distributions.
Lattices in Chip-Firing
We analyze the poset of moves in chip-firing, as defined by Klivans and Liscio. Answering a question of Propp, we show that the move poset forms the join-irreducibles of the poset of configurations. The proof involves a graph augmentation and an analysis of configurations in which only one firing move is available. We then use this framework to analyze the problem of chip-firing on a line, where the move poset is relevant to the problem of labeled chip-firing.
Recognizing distributed approval voting forms and correspondences
Published
• View Publication
• BIB
Each voter $i \in I$ has $α_i$ cards that (s)he distributes among the candidates $a \in A$ as a measure of approval. One (or several) candidate(s) who received the maximum number of cards is (are) elected. We provide polynomial algorithms to recognize voting forms and voting correspondences generated by such voting schemes in cases when either the number of candidates or the number of voters is equal to $2$. We prove that for two voters, if $α_2 \geq α_1-2\geq 0$ then the unique voting correspondence has distinct rows. We also characterize voting forms with distinct rows.
Introducing edge-biregular maps
We introduce the concept of alternate-edge-colourings for maps, and study highly symmetric examples of such maps. Edge-biregular maps of type $(k,l)$ occur as smooth normal quotients of a particular index two subgroup of $T_{k,l}$, the full triangle group describing regular plane $(k,l)$-tessellations. The resulting colour-preserving automorphism groups can be generated by four involutions. We explore special cases when the usual four generators are not distinct involutions, with constructions relating these maps to fully regular maps. We classify edge-biregular maps when the supporting surface has non-negative Euler characteristic, and edge-biregular maps on arbitrary surfaces when the colour-preserving automorphism group is isomorphic to a dihedral group.
Sandwiching biregular random graphs
Let $G(n,n,m)$ be a uniformly random $m$-edge subgraph of the complete bipartite graph $K_{n,n}$ with bipartition $(V_1, V_2)$, where $n_i = |V_i|$. Given a real number $p \in [0,1]$ such that $d_1 := pn_2$ and $d_2 := pn_1$ are integers, let $R(n,n,p)$ be a random subgraph of $K_{n,n}$ such that every $v \in V_i$ has degree $d_i$, for $i = 1, 2$. In this paper we determine sufficient conditions on $n_1,n_2,p$, and $m$ under which one can embed $G(n,n,m)$ into $R(n,n,p)$ and vice versa with probability tending to $1$. In particular, in the balanced case $n_1 = n_2$, we show that if $p \gg \log n/n$ and $1 - p \gg \left(\log n/n \right)^{1/4}$, then for some $m \sim pn^2$, asymptotically almost surely one can embed $G(n,n,m)$ into $R(n,n,p)$, while for $p \gg \left(\log^{3} n/n\right)^{1/4}$ and $1-p \gg \log n/n$ we have the opposite embedding. As an extension, we confirm the Kim--Vu Sandwich Conjecture for degrees growing faster than $(n \log n)^{3/4}$.
Diameters of Graphs on Reduced Words of 12 and 21-Inflations
Published
• View Publication
• BIB
It is a classical result that any permutation in the symmetric group can be generated by a sequence of adjacent transpositions. The sequences of minimal length are called reduced words, and in this paper we study the graphs of these reduced words, with edges determined by relations in the underlying Coxeter group. Recently, the diameter has been calculated for the longest permutation $n\ldots 21$ by Reiner and Roichman as well as Assaf. In this paper we find inductive formulas for the diameter of the graphs of 12-inflations and many 21-inflations. These results extend to the associated graphs on commutation and long braid classes. Also, these results give a recursive formula for the diameter of the longest permutation, which matches that of Reiner, Roichman and Assaf. Lastly, We make progress on conjectured bounds of the diameter by Reiner and Roichman, which are based on the underlying hyperplane arrangement, and find families of permutations that achieve the upper bound and lower bound of the conjecture. In particular permutations that avoid 312 or 231 have graphs that achieve the upper bound.
Optimal bounds for the colorful fractional Helly theorem
The well known fractional Helly theorem and colorful Helly theorem can be merged into the so called colorful fractional Helly theorem. It states: For every $α\in (0, 1]$ and every non-negative integer $d$, there is $β_{col}
= β_{col}(α, d) \in (0, 1]$ with the following property. Let $\mathcal{F}_1, \dots, \mathcal{F}_{d+1}$ be finite nonempty families of convex sets in $\mathbb{R}^d$ of sizes $n_1, \dots, n_{d+1}$ respectively. If at least $αn_1 n_2 \cdots n_{d+1}$ of the colorful $(d+1)$-tuples have a nonempty intersection, then there is $i \in [d+1]$ such that $\mathcal{F}_i$ contains a subfamily of size at least $β_{col} n_i$ with a nonempty intersection. (A colorful $(d+1)$-tuple is a $(d+1)$-tuple $(F_1, \dots , F_{d+1})$ such that $F_i$ belongs to $\mathcal{F}_i$ for every $i$.)
The colorful fractional Helly theorem was first stated and proved by Bárány, Fodor, Montejano, Oliveros, and Pór in 2014 with $β_{col} = α/(d+1)$. In 2017 Kim proved the theorem with better function $β_{col}$, which in particular tends to $1$ when $α$ tends to $1$. Kim also conjectured what is the optimal bound for $β_{col}(α, d)$ and provided the upper bound example for the optimal bound. The conjectured bound coincides with the optimal bounds for the (non-colorful) fractional Helly theorem proved independently by Eckhoff and Kalai around 1984.
We verify Kim's conjecture by extending Kalai's approach to the colorful scenario. Moreover, we obtain optimal bounds also in more general setting when we allow several sets of the same color.
A solution to Erdős and Hajnal's odd cycle problem
Published
• View Publication
• BIB
In 1981, Erdős and Hajnal asked whether the sum of the reciprocals of the odd cycle lengths in a graph with infinite chromatic number is necessarily infinite. Let $\mathcal{C}(G)$ be the set of cycle lengths in a graph $G$ and let $\mathcal{C}_\text{odd}(G)$ be the set of odd numbers in $\mathcal{C}(G)$. We prove that, if $G$ has chromatic number $k$, then $\sum_{\ell\in \mathcal{C}_\text{odd}(G)}1/\ell\geq (1/2-o_k(1))\log k$. This solves Erdős and Hajnal's odd cycle problem, and, furthermore, this bound is asymptotically optimal.
In 1984, Erdős asked whether there is some $d$ such that each graph with chromatic number at least $d$ (or perhaps even only average degree at least $d$) has a cycle whose length is a power of 2. We show that an average degree condition is sufficient for this problem, solving it with methods that apply to a wide range of sequences in addition to the powers of 2.
Finally, we use our methods to show that, for every $k$, there is some $d$ so that every graph with average degree at least $d$ has a subdivision of the complete graph $K_k$ in which each edge is subdivided the same number of times. This confirms a conjecture of Thomassen from 1984.
Perfect colorings of the infinite square grid: coverings and twin colors
Published in Electron. J. Comb. 30(2) 2023, #P2.4(1-59)
• View Publication
• BIB
A perfect coloring (equivalent concepts are equitable partition and partition design) of a graph $G$ is a function $f$ from the set of vertices onto some finite set (of colors) such that every node of color $i$ has exactly $S(i,j)$ neighbors of color $j$, where $S(i,j)$ are constants, forming the matrix $S$ called quotient. If $S$ is an adjacency matrix of some simple graph $T$ on the set of colors, then $f$ is called a covering of the target graph $T$ by the cover graph $G$. We characterize all coverings by the infinite square grid, proving that every such coloring is either orbit (that is, corresponds to the orbit partition under the action of some group of graph automorphisms) or has twin colors (that is, two colors such that unifying them keeps the coloring perfect). The case of twin colors is separately classified.
Keywords: perfect coloring, equitable partition, partition design, square grid, rectangular grid, wallpaper group, twin colors, graph covering
The realizability of discs with ribbons on a Möbius strip
An hieroglyph on n letters is a cyclic sequence of the letters 1,2, . . . , n of length 2n such that each letter appears in the sequence twice.Take an hieroglyph H. Take a convex polygon with 2n sides. Put the letters in the sequence of letters of the hieroglyph on the sides of the convexpolygon in the same order. For each letter i glue the ends of a ribbon to thepair of sides corresponding to the letter i. Call the resulting surface a disk with ribbons corresponding to the hieroglyph H. An hieroglyph H is weakly realizable on the Möbius strip if some disk with ribbons corresponding to H can be cut out of the Möbius strip. We give a criterion for weak realizability, which gives a quadratic (in the number of letters) algorithm. Our criterion is based on the Mohar criterion for realizability of a disk with ribbons in the Möbius strip.
Generalized spectral characterizations of almost controllable graphs
Published
• View Publication
• BIB
Characterizing graphs by their spectra is an important topic in spectral graph theory, which has attracted a lot of attention of researchers in recent years. It is generally very hard and challenging to show a given graph to be determined by its spectrum. In Wang~[J. Combin. Theory, Ser. B, 122 (2017):438-451], the author gave a simple arithmetic condition for a family of graphs being determined by their generalized spectra. However, the method applies only to a family of the so called \emph{controllable graphs}; it fails when the graphs are non-controllable.
In this paper, we introduce a class of non-controllable graphs, called \emph{almost controllable graphs}, and prove that, for any pair of almost controllable graphs $G$ and $H$ that are generalized cospectral, there exist exactly two rational orthogonal matrices $Q$ with constant row sums such that $Q^{\rm T}A(G)Q=A(H)$, where $A(G)$ and $A(H)$ are the adjacency matrices of $G$ and $H$, respectively. The main ingredient of the proof is a use of the Binet-Cauchy formula. As an application, we obtain a simple criterion for an almost controllable graph $G$ to be determined by its generalized spectrum, which in some sense extends the corresponding result for controllable graphs.
A probabilistic way to discover the rainbow
Published
• View Publication
• BIB
"No two rainbows are the same. Neither are two packs of Skittles. Enjoy an odd mix!". Using an interpretation via spatial random walks, we quantify the probability that two randomly selected packs of Skittles candy are identical and determine the expected number of packs one has to purchase until the first match. We believe this problem to be appealing for middle and high school students as well as undergraduate students at University.
Expanding the quasisymmetric Macdonald polynomials in the fundamental basis
Published
• View Publication
• BIB
The quasisymmetic Macdonald polynomials $G_γ(X; q, t)$ were recently introduced by the first and second authors with Haglund, Mason, and Williams in [3] to refine the symmetric Macdonald polynomials $P_λ(X; q, t)$ with the property that $G_γ(X; 0, 0)$ equals $QS_γ(X)$, the quasisymmetric Schur polynomial of [9]. We derive an expansion for $G_γ(X; q, t)$ in the fundamental basis of quasisymmetric functions.
Comodule Structures, Equivariant Hopf Structures, and Generalized Schubert Polynomials
In this article, the comodule structure of Chow rings of Flag manifolds $\operatorname{CH}(G/B)$ is described by Schubert cells. Its equivariant version gives rise to a Hopf structure of the equivariant cohomology of flag manifolds $H^*_B(G/B)$. We get two identities of generalized Schubert polynomials as explanations of the geometric facts.
Random walks on stochastic uniform growth trees: Analytical formula for mean first-passage time
Published
• View Publication
• BIB
As known, the commonly-utilized ways to determine mean first-passage time $\overline{\mathcal{F}}$ for random walk on networks are mainly based on Laplacian spectra. However, methods of this type can become prohibitively complicated and even fail to work when the Laplacian matrix of network under consideration is difficult to describe in the first place. In this paper, we propose an effective approach to determining quantity $\overline{\mathcal{F}}$ on some widely-studied tree networks. To this end, we first build up a general formula between Wiener index $\mathcal{W}$ and $\overline{\mathcal{F}}$ on a tree. This enables us to convert issues to answer into calculation of $\mathcal{W}$ on networks in question. As opposed to most of previous work focusing on deterministic growth trees, our goal is to consider stochastic case. Towards this end, we establish a principled framework where randomness is introduced into the process of growing trees. As an immediate consequence, the previously published results upon deterministic cases are thoroughly covered by formulas established in this paper. Additionally, it is also straightforward to obtain Kirchhoff index on our tree networks using the proposed approach. Most importantly, our approach is more manageable than many other methods including spectral technique in situations considered herein.
A Note on Generalized $q$-Difference Equations and Their Applications Involving $q$-Hypergeometric Functions
Published in Symmetry 2020, 12, 1816 (2020)
• View Publication
• BIB
In this paper, we use two $q$-operators $\mathbb{T}(a,b,c,d,e,yD_x)$ and $\mathbb{E}(a,b,c,d,e,yθ_x)$ to derive two potentially useful generalizations of the $q$-binomial theorem, a set of two extensions of the $q$-Chu-Vandermonde summation formula and two new generalizations of the Andrews-Askey integral by means of the $q$-difference equations. We also briefly describe relevant connections of various special cases and consequences of our main results with a number of known results.
Trees and cycles
Let $T$ be a tree on $n$ vertices. We can regard the edges of $T$ as transpositions of the vertex set; their product (in any order) is a cyclic permutation. All possible cyclic permutations arise (each exactly once) if and only if the tree is a star. In this paper we find the number of realised cycles, and obtain some results on the number of realisations of each cycle, for other trees. We also solve the inverse problem of the number of trees which give rise to a given cycle. On the way, we meet some familiar number sequences including the Euler and Fuss--Catalan numbers.
Efficient multisections of odd-dimensional tori
Published in Algebr. Geom. Topol. 23 (2023) 3997-4056
• View Publication
• BIB
Rubinstein--Tillmann generalized the notions of Heegaard splittings of 3-manifolds and trisections of 4-manifolds by defining {\it multisections} of PL $n$-manifolds, which are decompositions into $k=\lfloor n/2\rfloor+1$ $n$-dimensional 1-handlebodies with nice intersection properties. For each odd-dimensional torus $T^n$, we construct a multisection which is {\it efficient} in the sense that each 1-handlebody has genus $n$, which we prove is optimal; each multisection is {\it symmetric} with respect to both the permutation action of $S_n$ on the indices and the $\Z_k$ translation action along the main diagonal. We also construct such a trisection of $T^4$, lift all symmetric multisections of tori to certain cubulated manifolds, and obtain combinatorial identities as corollaries.
High-entropy dual functions over finite fields and locally decodable codes
Published in Forum of Mathematics, Sigma , Volume 9 , 2021 , e19
• View Publication
• BIB
We show that for infinitely many primes $p$, there exist dual functions of order $k$ over $\mathbb{F}_p^n$ that cannot be approximated in $L_\infty$-distance by polynomial phase functions of degree $k-1$. This answers in the negative a natural finite-field analog of a problem of Frantzikinakis on $L_\infty$-approximations of dual functions over $\mathbb{N}$ (a.k.a. multiple correlation sequences) by nilsequences.