Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Signed analogue of line graphs and their smallest eigenvalues
Published
• View Publication
• BIB
In this paper, we show that every connected signed graph with smallest eigenvalue strictly greater than $-2$ and large enough minimum degree is switching equivalent to a complete graph. This is a signed analogue of a theorem of Hoffman. The proof is based on what we call Hoffman's limit theorem which we formulate for Hermitian matrices, and also the extension of the concept of Hoffman graph and line graph for the setting of signed graphs.
Finite-dimensional modules of the universal Askey--Wilson algebra and DAHA of type $(C_1^\vee,C_1)$
Published
• View Publication
• BIB
Assume that $\mathbb F$ is an algebraically closed field and let $q$ denote a nonzero scalar in $\mathbb F$ that is not a root of unity. The universal Askey--Wilson algebra $\triangle_q$ is a unital associative $\mathbb F$-algebra defined by generators and relations. The generators are $A,B, C$ and the relations state that each of $$ A+\frac{q BC-q^{-1} CB}{q^2-q^{-2}}, \qquad B+\frac{q CA-q^{-1} AC}{q^2-q^{-2}}, \qquad C+\frac{q AB-q^{-1} BA}{q^2-q^{-2}} $$ is central in $\triangle_q$. The universal DAHA (double affine Hecke algebra) $\mathfrak H_q$ of type $(C_1^\vee,C_1)$ is a unital associative $\mathbb F$-algebra generated by $\{t_i^{\pm 1}\}_{i=0}^3$ and the relations state that \begin{gather*} t_it_i^{-1}=t_i^{-1} t_i=1 \quad \hbox{for all $i=0,1,2,3$}; \\ \hbox{$t_i+t_i^{-1}$ is central} \quad \hbox{for all $i=0,1,2,3$}; \\ t_0t_1t_2t_3=q^{-1}. \end{gather*} Each $\mathfrak H_q$-module is a $\triangle_q$-module by pulling back via the injection $\triangle_q\to \mathfrak H_q$ given by \begin{eqnarray*} A &\mapsto & t_1 t_0+(t_1 t_0)^{-1}, \\ B &\mapsto & t_3 t_0+(t_3 t_0)^{-1}, \\ C &\mapsto & t_2 t_0+(t_2 t_0)^{-1}. \end{eqnarray*} We classify the lattices of $\triangle_q$-submodules of finite-dimensional irreducible $\mathfrak H_q$-modules. As a consequence, for any finite-dimensional irreducible $\mathfrak H_q$-module $V$, the $\triangle_q$-module $V$ is completely reducible if and only if $t_0$ is diagonalizable on $V$.
Duality pairs and homomorphisms to oriented and unoriented cycles
Published
• View Publication
• BIB
In the homomorphism order of digraphs, a duality pair is an ordered pair of digraphs $(G,H)$ such that for any digraph, $D$, $G\to D$ if and only if $D\not\to H$. The directed path on $k+1$ vertices together with the transitive tournament on $k$ vertices is a classic example of a duality pair. This relation between paths and tournaments implies that a graph is $k$-colourable if and only if it admits an orientation with no directed path on more than $k$-vertices.
In this work, for every undirected cycle $C$ we find an orientation $C_D$ and an oriented path $P_C$, such that $(P_C,C_D)$ is a duality pair. As a consequence we obtain that there is a finite set, $F_C$, such that an undirected graph is homomorphic to $C$, if and only if it admits an $F_C$-free orientation. As a byproduct of the proposed duality pairs, we show that if $T$ is a tree of height at most $3$, one can choose a dual of $T$ of linear size with respect to the size of $T$.
Orientations without forbidden patterns on three vertices
Published
• View Publication
• BIB
Given a set $F$ of oriented graphs, a graph $G$ is an $F$-graph if it admits an $F$-free orientation. Building on previous work by Bang-Jensen and Urrutia, we propose a master algorithm that determines if a graph admits an $F$-free orientation when $F$ is a subset of the orientations of $P_3$ and the transitive triangle.
We extend previous results of Skrien by studying the class of $F$-graphs, when $F$ is any set of oriented graphs of order three. Structural characterizations for all such sets are provided, except for the so-called perfectly-orientable graphs and one of its subclasses, which remain as open problems.
Discrete Richman-bidding Scoring Games
Published
• View Publication
• BIB
We study zero-sum (combinatorial) games, within the framework of so-called Richman auctions (Lazarus et al. 1996) namely, we modify the alternating play scoring ruleset Cumulative Subtraction (CS) (Cohensius et al. 2019), to a discrete bidding scheme (similar to Develin and Payne 2010). Players bid to move and the player with the highest bid wins the move, and hands over the winning bidding amount to the other player. The new game is dubbed Bidding Cumulative Subtraction (BCS). In so-called unitary games, players remove exactly one item out of a single heap of identical items, until the heap is empty, and their actions contribute to a common score, which increases or decreases by one unit depending on whether the maximizing player won the turn or not. We show that there is a unique bidding equilibrium for a much larger class of games, that generalize standard scoring play in the literature. We prove that for all sufficiently large heap sizes, the equilibrium outcomes of unitary BCS are eventually periodic, with period 2, and we show that the periodicity appears at the latest for heaps of sizes quadratic in the total budget.
Conflict-free coloring on closed neighborhoods of bounded degree graphs
Published
• View Publication
• BIB
The closed neighborhood conflict-free chromatic number of a graph $G$, denoted by $χ_{CN}(G)$, is the minimum number of colors required to color the vertices of $G$ such that for every vertex, there is a color that appears exactly once in its closed neighborhood. Pach and Tardos [Combin. Probab. Comput. 2009] showed that $χ_{CN}(G) = O(\log^{2+\varepsilon} Δ)$, for any $\varepsilon > 0$, where $Δ$ is the maximum degree. In [Combin. Probab. Comput. 2014], Glebov, Szabó and Tardos showed existence of graphs $G$ with $χ_{CN}(G) = Ω(\log^2Δ)$. In this paper, we bridge the gap between the two bounds by showing that $χ_{CN}(G) = O(\log^2 Δ)$.
Gröbner bases for fusion products
Published
• View Publication
• BIB
We provide a new approach towards the analysis of the fusion products defined by B.~Feigin and S.~Loktev in the representation theory of (truncated) current Lie algebras. We understand the fusion product as a degeneration using Gröbner theory of non-commutative algebras and outline a strategy on how to prove a conjecture about the defining relations for the fusion product of two evaluation modules. We conclude with following this strategy for $\mathfrak{sl}_2(\mathbb{C}[t]) $ and hence provide yet another proof for the conjecture in this case.
Some new results about a conjecture by Brian Alspach
Published
• View Publication
• BIB
In this paper we consider the following conjecture, proposed by Brian Alspach, concerning partial sums in finite cyclic groups: given a subset $A$ of $\mathbb{Z}_n\setminus \{0\}$ of size $k$ such that $\sum_{z\in A} z\not= 0$, it is possible to find an ordering $(a_1,\ldots,a_k)$ of the elements of $A$ such that the partial sums $s_i=\sum_{j=1}^i a_j$, $i=1,\ldots,k$, are nonzero and pairwise distinct. This conjecture is known to be true for subsets of size $k\leq 11$ in cyclic groups of prime order. Here, we extend such result to any torsion-free abelian group and, as a consequence, we provide an asymptotic result in $\mathbb{Z}_n$.
We also consider a related conjecture, originally proposed by Ronald Graham: given a subset $A$ of $\mathbb{Z}_p\setminus\{0\}$, where $p$ is a prime, there exists an ordering of the elements of $A$ such that the partial sums are all distinct. Working with the methods developed by Hicks, Ollis and Schmitt, based on the Alon's combinatorial Nullstellensatz, we prove the validity of such conjecture for subsets $A$ of size $12$.
A combinatorial proof of Fisher's Inequality
Published
• View Publication
• BIB
In this note, we give a simple, counting based proof of Fisher's Inequality that does not use any tools from linear algebra.
Fertility Monotonicity and Average Complexity of the Stack-Sorting Map
Published
• View Publication
• BIB
Let $\mathcal D_n$ denote the average number of iterations of West's stack-sorting map $s$ that are needed to sort a permutation in $S_n$ into the identity permutation $123\cdots n$. We prove that \[0.62433\approxλ\leq\liminf_{n\to\infty}\frac{\mathcal D_n}{n}\leq\limsup_{n\to\infty}\frac{\mathcal D_n}{n}\leq \frac{3}{5}(7-8\log 2)\approx 0.87289,\] where $λ$ is the Golomb-Dickman constant. Our lower bound improves upon West's lower bound of $0.23$, and our upper bound is the first improvement upon the trivial upper bound of $1$. We then show that fertilities of permutations increase monotonically upon iterations of $s$. More precisely, we prove that $|s^{-1}(σ)|\leq|s^{-1}(s(σ))|$ for all $σ\in S_n$, where equality holds if and only if $σ=123\cdots n$. This is the first theorem that manifests a law-of-diminishing-returns philosophy for the stack-sorting map that Bóna has proposed. Along the way, we note some connections between the stack-sorting map and the right and left weak orders on $S_n$.
Reconfiguration of Colourings and Dominating Sets in Graphs: a Survey
Published in The 50th Southeastern International Conference on Combinatorics, Graph Theory, and Computing}, CRC Press, 2020
• View Publication
• BIB
We survey results concerning reconfigurations of colourings and dominating sets in graphs. The vertices of the $k$-colouring graph $\mathcal{C}_{k}(G)$ of a graph $G$ correspond to the proper $k$-colourings of a graph $G$, with two $k$-colourings being adjacent whenever they differ in the colour of exactly one vertex. Similarly, the vertices of the $k$-edge-colouring graph $\mathcal{EC}_{k}(G)$ of $g$ are the proper $k$-edge-colourings of $G$, where two $k$-edge-colourings are adjacent if one can be obtained from the other by switching two colours along an edge-Kempe chain, i.e., a maximal two-coloured alternating path or cycle of edges.
The vertices of the $k$-dominating graph $\mathcal{D}_{k}(G)$ are the (not necessarily minimal) dominating sets of $G$ of cardinality $k$ or less, two dominating sets being adjacent in $\mathcal{D}_{k}(G)$ if one can be obtained from the other by adding or deleting one vertex. On the other hand, when we restrict the dominating sets to be minimum dominating sets, for example, we obtain different types of domination reconfiguration graphs, depending on whether vertices are exchanged along edges or not.
We consider these and related types of colouring and domination reconfiguration graphs. Conjectures, questions and open problems are stated within the relevant sections.
A sharp inequality for the variance with respect to the Ewens Sampling Formula
The variance of a linear statistic defined on the symmetric group endowed with the Ewens probability is examined. Despite the dependence of the summands, it can be bounded from above by a constant multiple of the sum of variances. We find the exact value of this constant. The analysis of the appearing quadratic forms and eigenvalue search is built upon the exponential matrices and discrete Hahn's polynomials.
Discrete-to-Continuous Extensions: Lovász extension and Morse theory
Published
• View Publication
• BIB
This is the first of a series of papers that develop a systematic bridge between constructions in discrete mathematics and the corresponding continuous analogs. In this paper, we establish an equivalence between Forman's discrete Morse theory on a simplicial complex and the continuous Morse theory (in the sense of any known non-smooth Morse theory) on the associated order complex via the Lovász extension. Furthermore, we propose a new version of the Lusternik-Schnirelman category on abstract simplicial complexes to bridge the classical Lusternik-Schnirelman theorem and its discrete analog on finite complexes. More generally, we can suggest a discrete Morse theory on hypergraphs by employing piecewise-linear (PL) Morse theory and Lovász extension, hoping to provide new tools for exploring the structure of hypergraphs.
Combinatorial statistics on restricted growth functions containing a pattern exactly $k$ times
In this undergraduate thesis, we expand on the study of statistics on restricted growth functions avoiding patterns initiated by Campbell, et. al. Restricted growth functions are of interest because they are in bijection with set partitions. We examine the case when a restricted growth function contains a pattern exactly $k$ times, where $k=0$ corresponds to pattern avoidance. We prove results for several statistic and pattern combinations in the case when $k=1$ and define a new type of Wilf equivalence for these patterns. We also examine a poset related to $M(n)$, the poset of integer partitions into distinct parts, and give a conjecture on the new poset's unimodality. We begin with a brief history of the field and end with a list of conjectures.
Extremal Khovanov homology and the girth of a knot
We utilize relations between Khovanov and chromatic graph homology to determine extreme Khovanov groups and corresponding coefficients of the Jones polynomial. The extent to which chromatic homology and chromatic polynomial can be used to compute integral Khovanov homology of a link depends on the maximal girth of its all-positive graphs. In this paper we also define the girth of a link, discuss relations to other knot invariants, and the possible values for girth. Analyzing girth leads to a description of possible all-A state graphs of any given link; e.g., if a link has a diagram such that the girth of the corresponding all-A graph is equal to $\ell>2$, than the girth of the link is equal to $\ell.$
On Degree Sequence Optimization
Published in Operations Research Letters, 48:840--843, 2020
• View Publication
• BIB
We consider the problem of finding a subgraph of a given graph which maximizes a given function evaluated at its degree sequence. While the problem is intractable already for convex functions, we show that it can be solved in polynomial time for convex multi-criteria objectives. We next consider the problem with separable objectives, which is NP-hard already when all vertex functions are the square. We consider a colored extension of the separable problem, which includes the notorious exact matching problem as a special case, and show that it can be solved in polynomial time on graphs of bounded tree-depth for any vertex functions. We mention some of the many remaining open problems.
A Künneth Formula of Hypergraphs
Published
• View Publication
• BIB
In this paper, based on the embedded homology groups of hypergraphs defined in \cite{h1}, we define the product of hypergraphs and prove the corresponding Künneth formula of hypergraphs which can be generalized to the Künneth formula for the embedded homology of graded subsets of chain complexes with coefficients in a principal ideal domain.
Finite cubic graphs admitting an cyclic group of automorphisms with at most three orbits on vertices
The theory of voltage graphs has become a standard tool in the study graphs admitting a semiregular group of automorphisms. We introduce the notion of a cyclic generalised voltage graph to extend the scope of this theory to graphs admitting a cyclic group of automorphism that may not be semiregular. We use this new tool to classify all cubic graphs admitting a cyclic group of automorphisms with at most three vertex-orbits and we characterise vertextransitivity for each of these classes. In particular, we show that a cubic vertex-transitive graph admitting a cyclic group of automorphisms with at most three orbits on vertices either belongs to one of 5 infinite families or is isomorphic to the well-know Tutte-Coxeter graph.
Colourings, transversals and local sparsity
Published
• View Publication
• BIB
Motivated both by recently introduced forms of list colouring and by earlier work on independent transversals subject to a local sparsity condition, we use the semi-random method to prove the following result.
For any function $μ$ satisfying $μ(d)=o(d)$ as $d\to\infty$, there is a function $λ$ satisfying $λ(d)=d+o(d)$ as $d\to\infty$ such that the following holds. For any graph $H$ and any partition of its vertices into parts of size at least $λ$ such that (a) for each part the average over its vertices of degree to other parts is at most $d$, and (b) the maximum degree from a vertex to some other part is at most $μ$, there is guaranteed to be a transversal of the parts that forms an independent set of $H$.
This is a common strengthening of two results of Loh and Sudakov (2007) and Molloy and Thron (2012), each of which in turn implies an earlier result of Reed and Sudakov (2002).
A counterexample to the Bollobás-Riordan conjectures on sparse graph limits
Published in Combinatorics, Probability and Computing 30 (5), 2021, 796-799
• View Publication
• BIB
Bollobás and Riordan, in their paper "Metrics for sparse graphs," proposed a number of provocative conjectures extending central results of quasirandom graphs and graph limits to sparse graphs. We refute these conjectures by exhibiting a sequence of graphs with convergent normalized subgraph densities (and pseudorandom $C_4$-counts), but with no limit expressible as a kernel.