Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Unfolding cubes: nets, packings, partitions, chords
Published
• View Publication
• BIB
We show that every ridge unfolding of an $n$-cube is without self-overlap, yielding a valid net. The results are obtained by developing machinery that translates cube unfolding into combinatorial frameworks. Moreover, the geometry of the bounding boxes of these cube nets are classified using integer partitions, as well as the combinatorics of path unfoldings seen through the lens of chord diagrams.
The bounds of the spectral radius of general hypergraphs in terms of clique number
Published
• View Publication
• BIB
The spectral radius (or the signless Laplacian spectral radius) of a general hypergraph is the maximum modulus of the eigenvalues of its adjacency (or its signless Laplacian) tensor. In this paper, we firstly obtain a lower bound of the spectral radius (or the signless Laplacian spectral radius) of general hypergraphs in terms of clique number. Moreover, we present a relation between a homogeneous polynomial and the clique number of general hypergraphs. As an application, we finally obtain an upper bound of the spectral radius of general hypergraphs in terms of clique number.
Characterizing matroids whose bases form graphic delta-matroids
Published in European J. Combin., 101(Article 103476), March 2022
• View Publication
• BIB
We introduce delta-graphic matroids, which are matroids whose bases form graphic delta-matroids. The class of delta-graphic matroids contains graphic matroids as well as cographic matroids and is a proper subclass of the class of regular matroids. We give a structural characterization of the class of delta-graphic matroids. We also show that every forbidden minor for the class of delta-graphic matroids has at most $48$ elements.
On the sizes of bipartite 1-planar graphs
Published
• View Publication
• BIB
A graph is called $1$-planar if it admits a drawing in the plane such that each edge is crossed at most once. Let $G$ be a bipartite 1-planar graph with $n$ ($\ge 4$) vertices and $m$ edges. Karpov showed that $m\le 3n-8$ holds for even $n\ge 8$ and $m\le 3n-9$ holds for odd $n\ge 7$. Czap, Przybylo and uSkrabuláková proved that if the partite sets of $G$ are of sizes $x$ and $y$, then $m\le 2n+6x-12$ holds for $2\leq x\leq y$, and conjectured that $m\le 2n+4x-12$ holds for $x\ge 3$ and $y\ge 6x-12$. In this paper, we settle their conjecture and our result is even under a weaker condition $2\le x\le y$.
Robust Single Machine Makespan Scheduling with Release Date Uncertainty
Published in Operations Research Letters, Volume 48, Issue 6, 2020, Pages 816-819
• View Publication
• BIB
This paper addresses the robust single machine makespan scheduling with uncertain release dates of the jobs. The release dates take values within know intervals. We use the concept of gamma-robustness in two different settings and address both the robust absolute and robust regret criteria. Our main results are polynomial time algorithms which have the same running time (O(n log n)) as the best algorithms for the non-robust case.
Counting the lattice rectangles inside Aztec diamonds and square biscuits
We are counting the lattice rectangles that can be constructed inside several planar shapes and identify the corresponding sequences in the OEIS.
Non-backtracking Spectrum: Unitary Eigenvalues and Diagonalizability
Much effort has been spent on characterizing the spectrum of the non-backtracking matrix of certain classes of graphs, with special emphasis on the leading eigenvalue or the second eigenvector. Much less attention has been paid to the eigenvalues of small magnitude; here, we fully characterize the eigenvalues with magnitude equal to one. We relate the multiplicities of such eigenvalues to the existence of specific subgraphs. We formulate a conjecture on necessary and sufficient conditions for the diagonalizability of the non backtracking matrix. As an application, we establish an interlacing-type result for the Perron eigenvalue.
High-girth near-Ramanujan graphs with lossy vertex expansion
Kahale proved that linear sized sets in $d$-regular Ramanujan graphs have vertex expansion $\sim\frac{d}{2}$ and complemented this with construction of near-Ramanujan graphs with vertex expansion no better than $\frac{d}{2}$. However, the construction of Kahale encounters highly local obstructions to better vertex expansion. In particular, the poorly expanding sets are associated with short cycles in the graph. Thus, it is natural to ask whether high-girth Ramanujan graphs have improved vertex expansion. Our results are two-fold:
1. For every $d = p+1$ for prime $p$ and infinitely many $n$, we exhibit an $n$-vertex $d$-regular graph with girth $Ω(\log_{d-1} n)$ and vertex expansion of sublinear sized sets bounded by $\frac{d+1}{2}$ whose nontrivial eigenvalues are bounded in magnitude by $2\sqrt{d-1}+O\left(\frac{1}{\log n}\right)$.
2. In any Ramanujan graph with girth $C\log n$, all sets of size bounded by $n^{0.99C/4}$ have vertex expansion $(1-o_d(1))d$.
The tools in analyzing our construction include the nonbacktracking operator of an infinite graph, the Ihara--Bass formula, a trace moment method inspired by Bordenave's proof of Friedman's theorem, and a method of Kahale to study dispersion of eigenvalues of perturbed graphs.
On the combinatorics of symmetrized poly-Bernoulli numbers
In this paper we introduce three combinatorial models for symmetrized poly-Bernoulli numbers. Based on our models we derive generalizations of some identities for poly-Bernoulli numbers. Finally, we set open questions and directions of further studies.
Wilf Equivalences for Patterns in Rooted Labeled Forests
Published
• View Publication
• BIB
Building off recent work of Garg and Peng, we continue the investigation into classical and consecutive pattern avoidance in rooted forests, resolving some of their conjectures and questions and proving generalizations whenever possible. Through extensions of the forest Simion-Schmidt bijection introduced by Anders and Archer, we demonstrate a new family of forest-Wilf equivalences, completing the classification of forest-Wilf equivalence classes for sets consisting of a pattern of length 3 and a pattern of length at most $5$. We also find a new family of nontrivial c-forest-Wilf equivalences between single patterns using the forest analogue of the Goulden-Jackson cluster method, showing that a $(1-o(1))^n$-fraction of patterns of length $n$ satisfy a nontrivial c-forest-Wilf equivalence and that there are c-forest-Wilf equivalence classes of patterns of length $n$ of exponential size. Additionally, we consider a forest analogue of super-strong-c-Wilf equivalence, introduced for permutations by Dwyer and Elizalde, showing that super-strong-c-forest-Wilf equivalences are trivial by enumerating linear extensions of forest cluster posets.
Super-simple $(v,5,2)$ directed designs and their smallest defining sets with its application in LDPC codes
Published
• View Publication
• BIB
In this paper, we show that for all $v\equiv 0,1$ (mod 5) and $v\geq 15$, there exists a super-simple $(v,5,2)$ directed design, also for these parameters there exists a super-simple $(v,5,2)$ directed design such that its smallest defining sets contain at least half of its blocks. Also, we show that these designs are useful in constructing parity-check matrices of LDPC codes.
Chromatic polynomials of 2-edge coloured graphs
Published
• View Publication
• BIB
Using the definition of colouring of $2$-edge-coloured graphs derived from $2$-edge-coloured graph homomorphism, we extend the definition of chromatic polynomial to $2$-edge-coloured graphs. We find closed forms for the first three coefficients of this polynomial that generalize the known results for the chromatic polynomial of a graph. We classify those $2$-edge-coloured graphs that have a chromatic polynomial equal to the chromatic polynomial of the underlying graph, when every vertex is incident to edges of both colours. Finally, we examine the behaviour of the roots of this polynomial, highlighting behaviours not seen in chromatic polynomials of graphs.
Bijective proofs of proper coloring theorems
Published
• View Publication
• BIB
The chromatic polynomial and its generalization, the chromatic symmetric function, are two important graph invariants. Celebrated theorems of Birkhoff, Whitney, and Stanley show how both objects can be expressed in three different ways: as sums over all spanning subgraphs, as sums over spanning subgraphs with no broken circuits, and in terms of acyclic orientations with compatible colorings. We establish all six of these expressions bijectively. In fact, we do this with only two bijections, as the proofs in the symmetric function setting are obtained using the same bijections as in the polynomial case and the bijection for broken circuits is just a restriction of the one for all spanning subgraphs.
The height of Mallows trees
Published
• View Publication
• BIB
Random binary search trees are obtained by recursively inserting the elements $σ(1),σ(2),\ldots,σ(n)$ of a uniformly random permutation $σ$ of $[n]=\{1,\dots,n\}$ into a binary search tree data structure. Devroye (1986) proved that the height of such trees is asymptotically of order $c^*\log n$, where $c^*=4.311\ldots$ is the unique solution of $c \log((2e)/c)=1$ with $c \geq 2$. In this paper, we study the structure of binary search trees $T_{n,q}$ built from Mallows permutations. A $\textrm{Mallows}(q)$ permutation is a random permutation of $[n]=\{1,\ldots,n\}$ whose probability is proportional to $q^{\textrm{Inv}(σ)}$, where $\textrm{Inv}(σ) = \#\{i < j: σ(i) > σ(j)\}$. This model generalizes random binary search trees, since $\textrm{Mallows}(q)$ permutations with $q=1$ are uniformly distributed. The laws of $T_{n,q}$ and $T_{n,q^{-1}}$ are related by a simple symmetry (switching the roles of the left and right children), so it suffices to restrict our attention to $q\leq1$.
We show that, for $q\in[0,1]$, the height of $T_{n,q}$ is asymptotically $(1+o(1))(c^* \log n + n(1-q))$ in probability. This yields three regimes of behaviour for the height of $T_{n,q}$, depending on whether $n(1-q)/\log n$ tends to zero, tends to infinity, or remains bounded away from zero and infinity. In particular, when $n(1-q)/\log n$ tends to zero, the height of $T_{n,q}$ is asymptotically of order $c^*\log n$, like it is for random binary search trees. Finally, when $n(1-q)/\log n$ tends to infinity, we prove stronger tail bounds and distributional limit theorems for the height of $T_{n,q}$.
Geodesic Geometry on Graphs
Published
• View Publication
• BIB
We investigate a graph theoretic analog of geodesic geometry. In a graph $G=(V,E)$ we consider a system of paths $\mathcal{P}=\{P_{u,v}|u,v\in V\}$ where $P_{u,v}$ connects vertices $u$ and $v$. This system is consistent in that if vertices $y, z$ are in $P_{u,v}$, then the sub-path of $P_{u,v}$ between them coincides with $P_{y,z}$. A map $w: E\to(0,\infty)$ is said to induce $\mathcal{P}$ if for every $u, v\in V$ the path $P_{u,v}$ is $w$-geodesic. We say that $G$ is metrizable if every consistent path system is induced by some such $w$. As we show, metrizable graphs are very rare, whereas there exist infinitely many $2$-connected metrizable graphs.
Isotopy graphs of Latin tableaux
Published
• View Publication
• BIB
Latin tableaux are a generalization of Latin squares, which first appeared in the early 2000's in a paper of Chow, Fan, Goemans, and Vondrák. Here, we extend the notion of isotopy, a permutation group action, from Latin squares to Latin tableaux. We define isotopy graphs for Latin tableaux, which encode the structure of orbits under the isotopy action, and investigate the relationship between the shape of a Latin tableau and the structure of its isotopy graph. Our main result shows that for any positive integer $d$, there is a Latin tableau whose isotopy graph is a $d$-dimensional cube. We show that most isotopy graphs are triangle-free, and we give a characterization of all the Latin tableaux for which the isotopy graph contains a triangle. We also give a formula for the degree of a vertex of each component of an isotopy graph which depends on both the shape of the Latin Tableaux and the filling.
Continuous phase transitions on Galton-Watson trees
Published in Combin. Probab. Comput., 31(2):184-367, 2022
• View Publication
• BIB
Distinguishing between continuous and first-order phase transitions is a major challenge in random discrete systems. We study the topic for events with recursive structure on Galton-Watson trees. For example, let $\mathcal{T}_1$ be the event that a Galton-Watson tree is infinite, and let $\mathcal{T}_2$ be the event that it contains an infinite binary tree starting from its root. These events satisfy similar recursive properties: $\mathcal{T}_1$ holds if and only if $\mathcal{T}_1$ holds for at least one of the trees initiated by children of the root, and $\mathcal{T}_2$ holds if and only if $\mathcal{T}_2$ holds for at least two of these trees. The probability of $\mathcal{T}_1$ has a continuous phase transition, increasing from 0 when the mean of the child distribution increases above 1. On the other hand, the probability of $\mathcal{T}_2$ has a first-order phase transition, jumping discontinuously to a nonzero value at criticality. Given the recursive property satisfied by the event, we describe the critical child distributions where a continuous phase transition takes place. In many cases, we also characterize the event undergoing the phase transition.
A critical quartet for queuing couples
We enumerate arrangements of $n$ couples, i.e. pairs of people, placed in a single-file queue, and consider four statistics from the vantage point of a distinguished given couple. In how many arrangements are exactly $p$ of the $n-1$ other couples i) interlaced with the given couple, ii) contained within them, iii) containing the given couple, and iv) lying outside the given couple? We provide generating functions which enumerate these arrangements and obtain the associated continuous asymptotic distributions in the $n\to\infty$ limit. The asymptotic distributions corresponding to cases i), iii), and iv) evince critical phenomena around the value $p_c=(n-1)/2$, such that the probability that 1) the couple is interlaced with more than half of the other couples, and 2) the couple is contained by more than half of the other couples, are both zero in the strict $n\to\infty$ limit. We further show that the cumulative probability that less than half of the other couples lie outside the given couple is $π/4$ in the limit, and that the associated distribution is uniform for $p<p_c$.
On the cardinality of sets in ${\bf R}^d$ obeying a slightly obtuse angle bound
Published
• View Publication
• BIB
In this paper we explicitly estimate the number of points in a subset $A \subset \R^{d}$ as a function of the maximum angle $\angle A$ that any three of these points form, provided $\angle A < θ_d := \arccos(-\frac 1 {d}) \in (π/2,π)$. We also show $\angle A < θ_d$ ensures that $A$ coincides with the vertex set of a convex polytope. This study is motivated by a question of Paul Erdős and indirectly by a conjecture of László Fejes Tóth.
The watchman's walk problem on directed graphs
In a graph, a watchman's walk is a minimum closed dominating walk. Given a graph $G$ and a single watchman, the length of a watchman's walk in $G$ (the watchman number) is denoted by $w(G)$ and the typical goals of the watchman's walk problem is to determine $w(G)$ and find a watchman's walk in $G$. In this paper, we extend the watchman's walk problem to directed graphs. In a directed graph, we say that the watchman can only move to and see the vertices that are adjacent to him relative to outgoing arcs. That is, a watchman's walk is oriented and domination occurs in the direction of the arcs. The directed graphs this paper focuses on are families of tournaments and orientations of complete multipartite graphs. We give bounds on the watchman number and discuss its relationship to variants of the domination number.