Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Classifying Intrinsically Linked Tournaments by Score Sequence
Published
• View Publication
• BIB
A tournament on 8 or more vertices may be intrinsically linked as a directed graph. We begin the classification of intrinsically linked tournaments by examining their score sequences. While many distinct tournaments may have the same score sequence, there exist score sequences $S$ such that any tournament with score sequence $S$ has an embedding with no nonsplit consistently oriented link. We call such score sequences $\textit{linkless}$, and we show that the vast majority of score sequences for 8 vertex tournaments are linkless.
We also extend these results to $n$ vertex tournaments and are able to classify many longer score sequences as well. We show that for any $n$, there exist at least $O(n)$ linkless score sequences, but we conjecture that the fraction of score sequences of length $n$ that are linkless goes to 0 as $n$ becomes large.
Geometric properties of the Kazhdan-Lusztig Schubert basis
Published in Alg. Number Th. 17 (2023) 169-198
• View Publication
• BIB
We study classes determined by the Kazhdan-Lusztig basis of the Hecke algebra in the $K$-theory and hyperbolic cohomology theory of flag varieties. We first show that, in $K$-theory, the two different choices of Kazhdan-Lusztig bases produce dual bases, one of which can be interpreted as characteristic classes of the intersection homology mixed Hodge modules. In equivariant hyperbolic cohomology, we show that if the Schubert variety is smooth, then the class it determines coincides with the class of the Kazhdan-Lusztig basis; this was known as the Smoothness Conjecture. For Grassmannians, we prove that the classes of the Kazhdan-Lusztig basis coincide with the classes determined by Zelevinsky's small resolutions. These properties of the so-called KL-Schubert basis show that it is the closest existing analogue to the Schubert basis for hyperbolic cohomology; the latter is a very useful testbed for more general elliptic cohomologies.
McKay quivers and Lusztig algebras of some finite groups
Published
• View Publication
• BIB
We are interested in the McKay quiver $Γ(G)$ and skew group rings $A*G$, where $G$ is a finite subgroup of $\mathrm{GL}(V)$, where $V$ is a finite dimensional vector space over a field $K$, and $A$ is a $K-G$-algebra. These skew group rings appear in Auslander's version of the McKay correspondence.
In the first part of this paper we consider complex reflection groups $G \subseteq \mathrm{GL}(V)$ and find a combinatorial method, making use of Young diagrams, to construct the McKay quivers for the groups $G(r,p,n)$. We first look at the case $G(1,1,n)$, which is isomorphic to the symmetric group $S_n$, followed by $G(r,1,n)$ for $r >1$. Then, using Clifford theory, we can determine the McKay quiver for any $G(r,p,n)$ and thus for all finite irreducible complex reflection groups up to finitely many exceptions.
In the second part of the paper we consider a more conceptual approach to McKay quivers of arbitrary finite groups: we define the Lusztig algebra $\widetilde A(G)$ of a finite group $G \subseteq \mathrm{GL}(V)$, which is Morita equivalent to the skew group ring $A*G$. This description gives us an embedding of the basic algebra Morita equivalent to $A*G$ into a matrix algebra over $A$.
Abacus-histories and the combinatorics of creation operators
Published in Journal of Combinatorial Theory, Series A, Volume 177, January 2021
• View Publication
• BIB
Creation operators act on symmetric functions to build Schur functions, Hall--Littlewood polynomials, and related symmetric functions one row at a time. Haglund, Morse, Zabrocki, and others have studied more general symmetric functions $H_α$, $C_α$, and $B_α$ obtained by applying any sequence of creation operators to $1$. We develop new combinatorial models for the Schur expansions of these and related symmetric functions using objects called abacus-histories. These formulas arise by chaining together smaller abacus-histories that encode the effect of an individual creation operator on a given Schur function. We give a similar treatment for operators such as multiplication by $h_m$, $h_m^{\perp}$, $ω$, etc., which serve as building blocks to construct the creation operators. We use involutions on abacus-histories to give bijective proofs of properties of the Bernstein creation operator and Hall-Littlewood polynomials indexed by three-row partitions.
On the number of spanning trees in bipartite graphs
In this paper, we address the Ehrenborg's conjecture which proposes that for any bipartite graph the number of spanning trees does not exceed the product of the degrees of the vertices divided by the product of the sizes of the graph components. We show that the conjecture is true for a one-side regular graph (that is a graph for which all degrees of the vertices of at least one of the components are equal). We also present a new proof of the fact that the equality holds for Ferrers graphs.
Equivariant incidence algebras and equivariant Kazhdan-Lusztig-Stanley theory
Published
• View Publication
• BIB
We establish a formalism for working with incidence algebras of posets with symmetries, and we develop equivariant Kazhdan-Lusztig-Stanley theory within this formalism. This gives a new way of thinking about the equivariant Kazhdan-Lusztig polynomial and equivariant Z-polynomial of a matroid.
Conflict-Free Coloring of Star-Free Graphs on Open Neighborhoods
Published
• View Publication
• BIB
Given a graph, the conflict-free coloring problem on open neighborhoods (CFON) asks to color the vertices of the graph so that all the vertices have a uniquely colored vertex in its open neighborhood. The smallest number of colors required for such a coloring is called the conflict-free chromatic number and denoted $χ_{ON}(G)$. In this note, we study this problem on $S_k$-free graphs where $S_k$ is a star on $k+1$ vertices. When $G$ is $S_k$-free, we show that $χ_{ON}(G) = O(k\cdot \log^{2+ε}Δ)$, for any $ε> 0$, where $Δ$ denotes the maximum degree of $G$. Further, we show existence of claw-free ($S_3$-free) graphs that require $Ω(\log Δ)$ colors.
Fermat's Last Theorem Implies Euclid's Infinitude of Primes
Published in The American Mathematical Monthly, Volume 128, 2021 - Issue 3, 250-257
• View Publication
• BIB
We show that Fermat's last theorem and a combinatorial theorem of Schur on monochromatic solutions of $a+b=c$ implies that there exist infinitely many primes. In particular, for small exponents such as $n=3$ or $4$ this gives a new proof of Euclid's theorem, as in this case Fermat's last theorem has a proof that does not use the infinitude of primes. Similarly, we discuss implications of Roth's theorem on arithmetic progressions, Hindman's theorem, and infinite Ramsey theory towards Euclid's theorem. As a consequence we see that Euclid's Theorem is a necessary condition for many interesting (seemingly unrelated) results in mathematics.
Answers to Two Questions on the DP Color Function
Published
• View Publication
• BIB
DP-coloring is a generalization of list coloring that was introduced in 2015 by Dvořák and Postle. The chromatic polynomial of a graph is a notion that has been extensively studied since the early 20th century. The chromatic polynomial of graph $G$ is denoted $P(G,m)$, and it is equal to the number of proper $m$-colorings of $G$. In 2019, Kaul and Mudrock introduced an analogue of the chromatic polynomial for DP-coloring; specifically, the DP color function of graph $G$ is denoted $P_{DP}(G,m)$. Two fundamental questions posed by Kaul and Mudrock are: (1) For any graph $G$ with $n$ vertices, is it the case that $P(G,m)-P_{DP}(G,m) = O(m^{n-3})$ as $m \rightarrow \infty$? and (2) For every graph $G$, does there exist $p,N \in \mathbb{N}$ such that $P_{DP}(K_p \vee G, m) = P(K_p \vee G, m)$ whenever $m \geq N$? We show that the answer to both these questions is yes. In fact, we show the answer to (2) is yes even if we require $p=1$.
On sets of subspaces with two intersection dimensions and a geometrical junta bound
Published
• View Publication
• BIB
In this article, constant dimension subspace codes whose codewords have subspace distance in a prescribed set of integers, are considered. The easiest example of such an object is a {\it junta}; i.e. a subspace code in which all codewords go through a common subspace. We focus on the case when only two intersection values for the codewords, are assigned. In such a case we determine an upper bound for the dimension of the vector space spanned by the elements of a non-junta code. In addition, if the two intersection values are consecutive, we prove that such a bound is tight, and classify the examples attaining the largest possible dimension as one of four infinite families.
Counting ternary trees according to the number of middle edges and factorizing into $(3/2)$-ary trees
Published
• View Publication
• BIB
The sequence A120986 in the Encyclopedia of Integer Sequences counts ternary trees according to the number of nodes and the number of middle edges. Using a certain substition, the underlying cubic equation can be factored. This leads to an extension of the concept of $(3/2)$-ary trees, introduced by Knuth in his christmas lecture from 2014.
Numerical semigroups, polyhedra, and posets III: minimal presentations and face dimension
Published
• View Publication
• BIB
This paper is the third in a series of manuscripts that examine the combinatorics of the Kunz polyhedron $P_m$, whose positive integer points are in bijection with numerical semigroups (cofinite subsemigroups of $\mathbb Z_{\ge 0}$) whose smallest positive element is $m$. The faces of $P_m$ are indexed by a family of finite posets (called Kunz posets) obtained from the divisibility posets of the numerical semigroups lying on a given face. In this paper, we characterize to what extent the minimal presentation of a numerical semigroup can be recovered from its Kunz poset. In doing so, we prove that all numerical semigroups lying on the interior of a given face of $P_m$ have identical minimal presentation cardinality, and we provide a combinatorial method of obtaining the dimension of a face from its corresponding Kunz poset.
Possible cardinalities of the center of a graph
Published
• View Publication
• BIB
A central vertex of a graph is a vertex whose eccentricity equals the radius. The center of a graph is the set of all central vertices. The central ratio of a graph is the ratio of the cardinality of its center to its order. In 1982, Buckley proved that every positive rational number not exceeding one is the central ratio of some graph. In this paper, we obtain more detailed information by determining which cardinalities are possible for the center of a graph with given order and radius. There are unexpected phenomena in the results. For example, there exists a graph of order $14$ and radius $6$ whose center has cardinality $s$ if and only if $s\in \{ 1, 2, 3, 4, 9,10,11,12,14\}.$ We also prove a related uniqueness result.
Counterexamples to the interpolating conjecture on partial-dual genus polynomials of ribbon graphs
Published
• View Publication
• BIB
Gross, Mansour and Tucker introduced the partial-dual orientable genus polynomial and the partial-dual Euler genus polynomial. They showed that the partial-dual genus polynomial for an orientable ribbon graph is interpolating and gave an analogous conjecture: The partial-dual Euler-genus polynomial for any non-orientable ribbon graph is interpolating. In this paper, we first give some counterexamples to the conjecture. Then motivated by these counterexamples, we further find two infinite classes of counterexamples.
Optimization over Young Diagrams
Published in Journal of Algebraic Combinatorics, 54:689--692, 2021
• View Publication
• BIB
We consider the problem of finding a Young diagram minimizing the sum of evaluations of a given pair of functions on the parts of the associated pair of conjugate partitions. While there are exponentially many diagrams, we show it is polynomial time solvable.
Dynamic dimensional reduction in the Abelian sandpile
Published in Communications in Mathematical Physics, 2022, volume 390, 933-958
• View Publication
• BIB
We prove the dimensional reduction conjecture of Fey, Levine, and Peres (2010) on the hypercube. The proof shows that dimensional reduction, symmetry, and regularity of the Abelian sandpile persist during the parallel toppling process. This stronger result verifies empirical observations first documented by Liu, Kaplan, and Gray (1990).
Lower bounds for the chromatic number of certain Kneser-type hypergraphs
Published
• View Publication
• BIB
Let $n\ge 1$, $r\ge 2$, and $s\ge 0$ be integers and ${\cal P}=\{P_1,\dots, P_l\}$ be a partition of $[n]=\{1,\dots, n\}$ with $|P_i|\le r$ for $i=1,\dots, l$. Also, let $\cal F$ be a family of non-empty subsets of $[n]$. The $r$-uniform Kneser-type hypergraph $\mbox{KG}^r({\cal F}, {\cal P},s)$ is the hypergraph with the vertex set of all $\cal P$-admissible elements $F\in {\cal F}$, that is $|F\cap P_i|\le 1$ for $i=1,\dots, l$ and the edge set of all $r$-subsets $\{F_1,\dots, F_r\}$ of the vertex set that $|F_i\cap F_j|\le s$ for all $1\le i<j\le r$. In this article, we extend the equitable $r$-colorability defect $\mbox{ecd}^r({\cal F})$ of Abyazi Sani and Alishahi to the case when one allows intersection among the vertices of an edge. It will be denoted by $\mbox{ecd}^r({\cal F},s)$. We then, give (under certain assumptions) lower bounds for the chromatic number of $\mbox{KG}^r({\cal F}, {\cal P},s)$ and some of its variants in terms of $\mbox{ecd}^r({\cal F},\lfloor s/2\rfloor)$. This work generalizes many existing results in the literature of the Kneser hypergraphs. It generalizes the previous results of the current authors from the special family of all $k$-subsets of $[n]$ to a general family $\cal F$ of subsets.
The peak and descent statistics over ballot permutations
Published
• View Publication
• BIB
A ballot permutation is a permutation $π$ such that in any prefix of $π$ the descent number is not more than the ascent number. By using a reversal concatenation map, we give a formula for the joint distribution (pk, des) of the peak and descent statistics over ballot permutations, and connect this distribution and the joint distribution (pk, dp, des) of the peak, depth, and descent statistics over ordinary permutations in terms of generating functions. As corollaries, we obtain several formulas for the bivariate generating function for (i) the peak statistic over ballot permutations,(ii) the descent statistic over ballot permutations, and (iii) the depth statistic over ordinary permutations. In particular, we confirm Spiro's conjecture which finds the equidistribution of the descent statistic for ballot permutations and an analogue of the descent statistic for odd order permutations.
Trees with Matrix Weights: Laplacian Matrix and Characteristic-like Vertices
Published
• View Publication
• BIB
It is known that there is an alternative characterization of characteristic vertices for trees with positive weights on their edges via Perron values and Perron branches. Moreover, the algebraic connectivity of a tree with positive edge weights can be expressed in terms of Perron value.
In this article, we consider trees with matrix weights on their edges. More precisely, we are interested in trees with the following classes of matrix edge weights: 1. positive definite matrix weights, 2. lower (or upper) triangular matrix weights with positive diagonal entries. For trees with the above classes of matrix edge weights, we define Perron values and Perron branches. Further, we have shown the existence of vertices satisfying properties analogous to the properties of characteristic vertices of trees with positive edge weights in terms of Perron values and Perron branches, and we call such vertices characteristic-like vertices. In this case, the eigenvalues of the Laplacian matrix are nonnegative, and we obtain a lower bound for the first non-zero eigenvalue of the Laplacian matrix in terms of Perron value. Furthermore, we also compute the Moore-Penrose inverse of the Laplacian matrix of a tree with nonsingular matrix weights on its edges.
Gabor-type frames for signal processing on graphs
Published
• View Publication
• BIB
In the past decade, significant progress has been made to generalize classical tools from Fourier analysis to analyze and process signals defined on networks. In this paper, we propose a new framework for constructing Gabor-type frames for signals on graphs. Our approach uses general and flexible families of linear operators acting as translations. Compared to previous work in the literature, our methods yield the sharp bounds for the associated frames, in a broad setting that generalizes several existing constructions. We also examine how Gabor-type frames behave for signals defined on Cayley graphs by exploiting the representation theory of the underlying group. We explore how natural classes of translations can be constructed for Cayley graphs, and how the choice of an eigenbasis can significantly impact the properties of the resulting translation operators and frames on the graph.