Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Convex analysis on polyhedral spaces
Published
• View Publication
• BIB
We introduce notions of concavity for functions on balanced polyhedral spaces, and we show that concave functions on such spaces satisfy several strong continuity properties.
Further equidistribution of set-valued statistics on permutations
Published
• View Publication
• BIB
We construct bijections to show that two pairs of sextuple set-valued statistics of permutations are equidistributed on symmetric groups. This extends a recent result of Sokal and the second author valid for integer-valued statistics as well as a previous result of Foata and Han for bivariable set-valued statistics.
Permutations in two dimensions that maximally separate neighbors
Published in Electronic Journal of Combinatorics 26 (2019), no. 2, article P2.1, 20 pages
• View Publication
• BIB
We characterize all permutations on even-by-even grids that maximally separate neighboring vertices. More precisely, let $n_1$, $n_2$ be positive even integers, let $I(n_1,n_2)=\{1,\dots,n_1\}\times\{1,\dots,n_2\}$ be the $n_1\times n_2$ grid, let $d$ be the $L_1$ metric on $I(n_1,n_2)$, and let $N=\{\{x,y\}\in I(n_1,n_2)\times I(n_1,n_2):d(x,y)=1\}$ be the set of neighbors in $I(n_1,n_2)$. We characterize all permutations $π$ of $I(n_1,n_2)$ that maximize $\sum_{\{x,y\}\in N} d(π(x),π(y))$.
Persistent Graphs and Cyclic Polytope Triangulations
Published
• View Publication
• BIB
We prove a bijection between the triangulations of the 3-dimensional cyclic polytope C(n+2, 3) and persistent graphs with n vertices. We show that under this bijection the Stasheff-Tamari orders on triangulations naturally translate to subgraph inclusion between persistent graphs. Moreover, we describe a connection to the second higher Bruhat order B(n, 2). We additionally give an algorithm to efficiently enumerate all persistent graphs on n vertices and thus all triangulations of C(n+2, 3).
Transitioning between tableaux and spider bases for Specht modules
Published
• View Publication
• BIB
Regarding the Specht modules associated to the two-row partition $(n,n)$, we provide a combinatorial path model to study the transitioning matrix from the tableau basis to the $A_1$-web basis (i.e. cup diagrams), and prove that the entries in this matrix are positive in the upper-triangular portion with respect to a certain partial order.
Popularity of patterns over $d$-equivalence classes of words and permutations
Published
• View Publication
• BIB
Two same length words are $d$-equivalent if they have same descent set and same underlying alphabet. In particular, two same length permutations are $d$-equivalent if they have same descent set. The popularity of a pattern in a set of words is the overall number of copies of the pattern within the words of the set. We show the far-from-trivial fact that two patterns are $d$-equivalent if and only if they are equipopular over any $d$-equivalence class, and this equipopularity does not follow obviously from a trivial equidistribution.
On the generic family of Cayley graphs of a finite group
Let $G$ be a finite group. For each $m>1$ we define the symmetric canonical subset $S=S(m)$ of the Cartesian power $G^m$ and we consider the family of Cayley graphs $\mathscr{G}_m(G)=Cay(G^m,S)$. We describe properties of these graphs and show that for a fixed $m>1$ and groups $G$ and $H$ the graphs $\mathscr{G}_m(G)$ and $\mathscr{G}_m(H)$ are isomorphic if and only if the groups $G$ and $H$ are isomorphic. We describe also the groups of automorphisms $\mathbf{Aut}(\mathscr{G}_m(G))$. It is shown that if $G$ is a non-abelian group, then $\mathbf{Aut}(\mathscr{G}_m(G))\simeq \big(G^m \rtimes \mathbf{Aut}(G)\big)\rtimes D_{m+1}$, where $D_{m+1}$ is the dihedral group of order $2m+2$. If $G$ is an abelian group (with some exceptions for $m=3$), then $\mathbf{Aut}(\mathscr{G}_m(G))\simeq G^m\rtimes \big(\mathbf{Aut}(G)\times S_{m+1}\big)$, where $S_{m+1}$ is the symmetric group of degree $m+1$. As an example of application we discuss relations between Cayley graphs $\mathscr{G}_m(G)$ and Bergman-Isaacs Theorem on rings with fixed-point-free group actions.
A note on nearly Platonic graphs with connectivity one
Published
• View Publication
• BIB
A k-regular planar graph G is nearly Platonic when all faces but one are of the same degree while the remaining face is of a different degree. We show that no such graphs with connectivity one can exist. This complements a recent result by Keith, Froncek, and Kreher on non-existence of 2-connected nearly Platonic graphs.
On the Strength of Connectivity of Inhomogeneous Random K-out Graphs
Random graphs are an important tool for modelling and analyzing the underlying properties of complex real-world networks. In this paper, we study a class of random graphs known as the inhomogeneous random K-out graphs which were recently introduced to analyze heterogeneous sensor networks secured by the pairwise scheme. In this model, first, each of the $n$ nodes is classified as type-1 (respectively, type-2) with probability $0<μ<1$ (respectively, $1-μ)$ independently from each other. Next, each type-1 (respectively, type-2) node draws 1 arc towards a node (respectively, $K_n$ arcs towards $K_n$ distinct nodes) selected uniformly at random, and then the orientation of the arcs is ignored. From the literature on homogeneous K-out graphs wherein all nodes select $K_n$ neighbors (i.e., $μ=0$), it is known that when $K_n \geq2$, the graph is $K_n$-connected asymptotically almost surely (a.a.s.) as $n$ gets large. In the inhomogeneous case (i.e., $μ>0$), it was recently established that achieving even 1-connectivity a.a.s. requires $K_n=ω(1)$. Here, we provide a comprehensive set of results to complement these existing results. First, we establish a sharp zero-one law for $k$-connectivity, showing that for the network to be $k$-connected a.a.s., we need to set $K_n = \frac{1}{1-μ}(\log n +(k-2)\log\log n + ω(1))$ for all $k=2, 3, \ldots$. Despite such large scaling of $K_n$ being required for $k$-connectivity, we show that the trivial condition of $K_n \geq 2$ for all $n$ is sufficient to ensure that inhomogeneous K-out graph has a connected component of size $n-O(1)$ whp.
Some properties of ergodicity coefficients with applications in spectral graph theory
Published
• View Publication
• BIB
The main result is Corollary 2.9 which provides upper bounds on, and even better, approximates the largest non-trivial eigenvalue in absolute value of real constant row-sum matrices by the use of vector norm based ergodicity coefficients Tp. If the constant row-sum matrix is nonsingular, then it is also shown how its smallest non-trivial eigenvalue in absolute value can be bounded by using Tp. In the last section, these two results are applied to bound the spectral radius of the Laplacian matrix as well as the algebraic connectivity of its associated graph. Many other results are obtained. In particular, Theorem 2.15 is a convergence theorem for Tp and Theorem 4.7 compares some ergodicity coefficients to each other.
New bounds on the spectral radius of graphs based on the moment problem
Published
• View Publication
• BIB
Let $\mathcal{G}$ be an undirected graph with adjacency matrix $A$ and spectral radius $ρ$. Let $w_k, φ_k$ and $φ_k^{(i)}$ be, respectively, the number walks of length $k$, closed walks of length $k$ and closed walks starting and ending at vertex $i$ after $k$ steps. In this paper, we propose a measure-theoretic framework which allows us to relate walks in a graph with its spectral properties. In particular, we show that $w_k, φ_k$ and $φ_k^{(i)}$ can be interpreted as the moments of three different measures, all of them supported on the spectrum of $A$. Building on this interpretation, we leverage results from the classical moment problem to formulate a hierarchy of new lower and upper bounds on $ρ$, as well as provide alternative proofs to several well-known bounds in the literature.
The Power of Two Choices for Random Walks
Published in Combinator. Probab. Comp. 31 (2022) 73-100
• View Publication
• BIB
We apply the power-of-two-choices paradigm to a random walk on a graph: rather than moving to a uniform random neighbour at each step, a controller is allowed to choose from two independent uniform random neighbours. We prove that this allows the controller to significantly accelerate the hitting and cover times in several natural graph classes. In particular, we show that the cover time becomes linear in the number $n$ of vertices on discrete tori and bounded degree trees, of order $\mathcal{O}(n \log \log n)$ on bounded degree expanders, and of order $\mathcal{O}(n (\log \log n)^2)$ on the Erdős-Rényi random graph in a certain sparsely connected regime. We also consider the algorithmic question of computing an optimal strategy, and prove a dichotomy in efficiency between computing strategies for hitting and cover times.
$q$-Plane Zeros of the Potts Partition Function on Diamond Hierarchical Graphs
Published in J. Math. Phys. 61, 073301 (2020)
• View Publication
• BIB
We report exact results concerning the zeros of the partition function of the Potts model in the complex $q$ plane, as a function of a temperature-like Boltzmann variable $v$, for the $m$'th iterate graphs $D_m$ of the Diamond Hierarchical Lattice (DHL), including the limit $m \to \infty$. In this limit we denote the continuous accumulation locus of zeros in the $q$ planes at fixed $v = v_0$ as ${\mathcal B}_q(v_0)$. We apply theorems from complex dynamics to establish properties of ${\mathcal B}_q(v_0)$. For $v=-1$ (the zero-temperature Potts antiferromagnet, or equivalently, chromatic polynomial), we prove that ${\mathcal B}_q(-1)$ crosses the real-$q$ axis at (i) a minimal point $q=0$, (ii) a maximal point $q=3$ (iii) $q=32/27$, (iv) a cubic root that we give, with the value $q = q_1 = 1.6388969..$, and (v) an infinite number of points smaller than $q_1$, converging to $32/27$ from above. Similar results hold for ${\mathcal B}_q(v_0)$ for any $-1 < v < 0$ (Potts antiferromagnet at nonzero temperature). The locus ${\mathcal B}_q(v_0)$ crosses the real-$q$ axis at only two points for any $v > 0$ (Potts ferromagnet). We also provide computer-generated plots of ${\mathcal B}_q(v_0)$ at various values of $v_0$ in both the antiferromagnetic and ferromagnetic regimes and compare them to numerically computed zeros of $Z(D_4,q,v_0)$.
On typical triangulations of a convex $n$-gon
Published
• View Publication
• BIB
Let $f_n$ be a function assigning weight to each possible triangle whose vertices are chosen from vertices of a convex polygon $P_n$ of $n$ sides. Suppose ${\mathcal T}_n$ is a random triangulation, sampled uniformly out of all possible triangulations of $P_n$. We study the sum of weights of triangles in ${\mathcal T}_n$ and give a general formula for average and variance of this random variable. In addition, we look at several interesting special cases of $f_n$ in which we obtain explicit forms of generating functions for the sum of the weights. For example, among other things, we give new proofs for already known results such as the degree of a fixed vertex and the number of ears in ${\mathcal T}_n,$ as well as, provide new results on the number of "blue" angles and refined information on the distribution of angles at a fixed vertex. We note that our approach is systematic and can be applied to many other new examples while generalizing the existing results.
A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords
Published
• View Publication
• BIB
Using techniques from the fields of symbolic computation and satisfiability checking we verify one of the cases used in the landmark result that projective planes of order ten do not exist. In particular, we show that there exist no projective planes of order ten that generate codewords of weight fifteen, a result first shown in 1973 via an exhaustive computer search. We provide a simple satisfiability (SAT) instance and a certificate of unsatisfiability that can be used to automatically verify this result for the first time. All previous demonstrations of this result have relied on search programs that are difficult or impossible to verify---in fact, our search found partial projective planes that were missed by previous searches due to previously undiscovered bugs. Furthermore, we show how the performance of the SAT solver can be dramatically increased by employing functionality from a computer algebra system (CAS). Our SAT+CAS search runs significantly faster than all other published searches verifying this result.
The cyclic matching sequenceability of regular graphs
Published
• View Publication
• BIB
The cyclic matching sequenceability of a simple graph $G$, denoted $\mathrm{cms}(G)$, is the largest integer $s$ for which there exists a cyclic ordering of the edges of $G$ so that every set of $s$ consecutive edges forms a matching. In this paper we consider the minimum cyclic matching sequenceability of $k$-regular graphs. We completely determine this for $2$-regular graphs, and give bounds for $k \geq 3$.
The Alon-Tarsi number of $K_5$-minor-free graphs
Published
• View Publication
• BIB
In this paper, we show the following three theorems. Let $G$ be a $K_5$-minor-free graph. Then Alon-Tarsi number of $G$ is at most $5$, there exists a matching $M$ of $G$ such that the Alon-Tarsi number of $G-M$ is at most $4$, and there exists a forest $F$ such that the Alon-Tarsi number of $G-E(F)$ is at most $3$.
Combinatorics of the double-dimer model
Published
• View Publication
• BIB
We prove that the partition function for tripartite double-dimer configurations of a planar bipartite graph satisfies a recurrence related to the Desnanot-Jacobi identity from linear algebra. A similar identity for the dimer partition function was established nearly 20 years ago by Kuo and has applications to random tiling theory and the theory of cluster algebras. This work was motivated in part by the potential for applications in these areas. Additionally, we discuss an application to Donaldson-Thomas and Pandharipande-Thomas theory which will be the subject of a forthcoming paper. The proof of our recurrence requires generalizing work of Kenyon and Wilson; specifically, lifting their assumption that the nodes of the graph are black and odd or white and even.
Lefschetz Properties and Hyperplane Arrangements
Published
• View Publication
• BIB
In this article, we study the weak and strong Lefschetz properties, and the related notion of almost revlex ideal, in the non-Artinian case, proving that several results known in the Artinian case hold also in this more general setting. We then apply the obtained results to the study of the Jacobian algebra of hyperplane arrangements.
Paired Domination versus Domination and Packing Number in Graphs
Published
• View Publication
• BIB
Given a graph $G=(V(G), E(G))$, the size of a minimum dominating set, minimum paired dominating set, and a minimum total dominating set of a graph $G$ are denoted by $γ(G)$, $γ_{\rm pr}(G)$, and $γ_{t}(G)$, respectively. For a positive integer $k$, a $k$-packing in $G$ is a set $S \subseteq V(G)$ such that for every pair of distinct vertices $u$ and $v$ in $S$, the distance between $u$ and $v$ is at least $k+1$. The $k$-packing number is the order of a largest $k$-packing and is denoted by $ρ_{k}(G)$. It is well known that $γ_{\rm pr}(G) \le 2γ(G)$. In this paper, we prove that it is NP-hard to determine whether $γ_{\rm pr}(G) = 2γ(G)$ even for bipartite graphs. We provide a simple characterization of trees with $γ_{\rm pr}(G) = 2γ(G)$, implying a polynomial-time recognition algorithm. We also prove that even for a bipartite graph, it is NP-hard to determine whether $γ_{\rm pr}(G)=γ_{t}(G)$. We finally prove that it is both NP-hard to determine whether $γ_{\rm pr}(G)=2ρ_{4}(G)$ and whether $γ_{\rm pr}(G)=2ρ_{3}(G)$.