Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Representations for the largest Extension of a closure system
Published
• View Publication
• BIB
We consider extension of a closure system on a finite set S as a closure system on the same set S containing the given one as a sublattice. A closure system can be represented in different ways, e.g. by an implicational base or by the set of its meet-irreducible elements. When a closure system is described by an implicational base, we provide a characterization of the implicational base for the largest extension. We also show that the largest extension can be handled by a small modification of the implicational base of the input closure system. This answers a question asked in [12]. Second, we are interested in computing the largest extension when the closure system is given by the set of all its meet-irreducible elements. We give an incremental polynomial time algorithm to compute the largest extension of a closure system, and left open if the number of meet-irreducible elements grows exponentially.
Dynamics of Cycles in Polyhedra I: The Isolation Lemma
Published
• View Publication
• BIB
A cycle $C$ of a graph $G$ is \emph{isolating} if every component of $G-V(C)$ is a single vertex. We show that isolating cycles in polyhedral graphs can be extended to larger ones: every isolating cycle $C$ of length $6 \leq |E(C)| < \left \lfloor \frac{2}{3}(|V(G)|+4) \right \rfloor$ implies an isolating cycle $C'$ of larger length that contains $V(C)$. By "hopping" iteratively to such larger cycles, we obtain a powerful and very general inductive motor for proving long cycles and computing them (we will give an algorithm with quadratic running time). This is the first step towards the so far elusive quest of finding a universal induction that captures longest cycles of polyhedral graph classes.
Our motor provides also a method to prove linear lower bounds on the length of Tutte cycles, as $C'$ will be a Tutte cycle of $G$ if $C$ is. We prove in addition that $|E(C')| \leq |E(C)|+3$ if $G$ contains no face of size five, which gives a new tool for results about cycle spectra, and provides evidence that faces of size five may obstruct long cycles in many graph classes. We test our motor on the following conjecture about essentially 4-connected graphs.
A planar graph is \emph{essentially $4$-connected} if it is 3-connected and every of its 3-separators is the neighborhood of a single vertex. Jackson and Wormald proved that every essentially 4-connected planar graph $G$ on $n$ vertices contains a cycle of length at least $\frac{2}{5}(n+2)$, and this result has recently been improved multiple times, culminating in the lower bound $\frac{5}{8}(n+2)$. However, the currently best known upper bound is given by an infinite family of such graphs in which no graph $G$ contains a cycle that is longer than $\left \lfloor \frac{2}{3}(n+4) \right \rfloor$; this upper bound is still unmatched.
Using isolating cycles, we improve the lower bound to match the upper. All our results are tight.
Gonality sequences of graphs
Published
• View Publication
• BIB
To any graph we associate a sequence of integers called the gonality sequence of the graph, consisting of the minimum degrees of divisors of increasing rank on the graph. This is a tropical analogue of the gonality sequence of an algebraic curve. We study gonality sequences for graphs of low genus, proving that for genus up to $5$, the gonality sequence is determined by the genus and the first gonality. We then prove that any reasonable pair of first two gonalities is achieved by some graph. We also develop a modified version of Dhar's burning algorithm more suited for studying higher gonalities.
Log-concavity results for a biparametric and an elliptic extension of the $q$-binomial coefficients
Published
• View Publication
• BIB
We establish discrete and continuous log-concavity results for a biparametric extension of the $q$-numbers and of the $q$-binomial coefficients. By using classical results for the Jacobi theta function we are able to lift some of our log-concavity results to the elliptic setting. One of our main ingredients is a putatively new lemma involving a multiplicative analogue of Turán's inequality.
1324- and 2143-avoiding Kazhdan-Lusztig immanants and k-positivity
Published
• View Publication
• BIB
Immanants are functions on square matrices generalizing the determinant and permanent. Kazhdan-Lusztig immanants, which are indexed by permutations, involve $q=1$ specializations of Type A Kazhdan-Lusztig polynomials, and were defined in (Rhoades-Skandera, 2006). Using results of (Haiman, 1993) and (Stembridge, 1991), Rhoades and Skandera showed that Kazhdan-Lusztig immanants are nonnegative on matrices whose minors are nonnegative. We investigate which Kazhdan-Lusztig immanants are positive on $k$-positive matrices (matrices whose minors of size $k \times k$ and smaller are positive). We show that the Kazhdan-Lusztig immanant indexed by $v$ is positive on $k$-positive matrices when $v$ avoids 1324 and 2143 and for all non-inversions $i<j$ of $v$, either $j-i \leq k$ or $v_j-v_i\leq k$. Our main tool is Lewis Carroll's identity.
Simplex based Steiner tree instances yield large integrality gaps for the bidirected cut relaxation
The bidirected cut relaxation is the characteristic representative of the bidirected relaxations ($\mathrm{\mathcal{BCR}}$) which are a well-known class of equivalent LP-relaxations for the NP-hard Steiner Tree Problem in Graphs (STP). Although no general approximation algorithm based on $\mathrm{\mathcal{BCR}}$ with an approximation ratio better than $2$ for STP is known, it is mostly preferred in integer programming as an implementation of STP, since there exists a formulation of compact size, which turns out to be very effective in practice.
It is known that the integrality gap of $\mathrm{\mathcal{BCR}}$ is at most $2$, and a long standing open question is whether the integrality gap is less than $2$ or not. The best lower bound so far is $\frac{36}{31} \approx 1.161$ proven by Byrka et al. [BGRS13]. Based on the work of Chakrabarty et al. [CDV11] about embedding STP instances into simplices by considering appropriate dual formulations, we improve on this result by constructing a new class of instances and showing that their integrality gaps tend at least to $\frac{6}{5} = 1.2$.
More precisely, we consider the class of equivalent LP-relaxations $\mathrm{\mathcal{BCR}}^{+}$, that can be obtained by strengthening $\mathrm{\mathcal{BCR}}$ by already known straightforward Steiner vertex degree constraints, and show that the worst case ratio regarding the optimum value between $\mathrm{\mathcal{BCR}}$ and $\mathrm{\mathcal{BCR}}^{+}$ is at least $\frac{6}{5}$. Since $\mathrm{\mathcal{BCR}}^{+}$ is a lower bound for the hypergraphic relaxations ($\mathrm{\mathcal{HYP}}$), another well-known class of equivalent LP-relaxations on which the current best $(\ln(4) + \varepsilon)$-approximation algorithm for STP by Byrka et al. [BGRS13] is based, this worst case ratio also holds for $\mathrm{\mathcal{BCR}}$ and $\mathrm{\mathcal{HYP}}$.
On Tuza's conjecture for triangulations and graphs with small treewidth
Published
• View Publication
• BIB
Tuza (1981) conjectured that the size $τ(G)$ of a minimum set of edges that intersects every triangle of a graph $G$ is at most twice the size $ν(G)$ of a maximum set of edge-disjoint triangles of $G$. In this paper we present three results regarding Tuza's Conjecture. We verify it for graphs with treewidth at most $6$; we show that $τ(G)\leq \frac{3}{2}\,ν(G)$ for every planar triangulation $G$ different from $K_4$; and that $τ(G)\leq\frac{9}{5}\,ν(G) + \frac{1}{5}$ if $G$ is a maximal graph with treewidth 3. Our first result strengthens a result of Tuza, implying that $τ(G) \leq 2\,ν(G)$ for every $K_8$-free chordal graph $G$.
On the Turán number of 1-subdivision of $K_{3,t}$
For a graph $H$, the 1-subdivision of $H$, denoted by $H'$, is the graph obtained by replacing the edges of $H$ by internally disjoint paths of length 2. Recently, Conlon, Janzer and Lee (arXiv: 1903.10631) asked the following question: For any integer $s\ge2$, estimate the smallest $t$ such that $\textup{ex}(n,K_{s,t}')=Ω(n^{\frac{3}{2}-\frac{1}{2s}})$. In this paper, we consider the case $s=3$. More precisely, we provide an explicit construction giving \begin{align*} \text{ex}(n,K_{3,30}')=Ω(n^{\frac{4}{3}}), \end{align*} which reduces the estimation for the smallest value of $t$ from a magnitude of $10^{56}$ to the number $30$. The construction is algebraic, which is based on some equations over finite fields.
Helly groups
Published in Geom. Topol. 29 (2025) 1-70
• View Publication
• BIB
Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs -- Helly groups. We provide numerous examples of such groups: all (Gromov) hyperbolic, CAT(0) cubical, finitely presented graphical C(4)$-$T(4) small cancellation groups, and type-preserving uniform lattices in Euclidean buildings of type $C_n$ are Helly; free products of Helly groups with amalgamation over finite subgroups, graph products of Helly groups, some diagram products of Helly groups, some right-angled graphs of Helly groups, and quotients of Helly groups by finite normal subgroups are Helly. We show many properties of Helly groups: biautomaticity, existence of finite dimensional models for classifying spaces for proper actions, contractibility of asymptotic cones, existence of EZ-boundaries, satisfiability of the Farrell-Jones conjecture and of the coarse Baum-Connes conjecture. This leads to new results for some classical families of groups (e.g. for FC-type Artin groups) and to a unified approach to results obtained earlier.
The gamma-positivity of Eulerian polynomials and succession statistics
This paper is concerned with multivariate refinements of the gamma-positivity of Eulerian polynomials by using the succession and fixed point statistics. Properties of the enumerative polynomials for permutations, signed permutations and derangements, including generating functions and gamma-positivity are studied, which generalize and unify earlier results of Athanasiadis, Brenti, Chow, Petersen, Roselle, Stembridge, Shin and Zeng. In particular, we derive a formula expressing the joint distribution of excedance number and negative number statistics over the type B derangements in terms of the derangement polynomials.
Fundamental Theorems of Morse Theory on posets
Published
• View Publication
• BIB
We prove a version of the fundamental theorems of Morse Theory in the setting of finite spaces or partially ordered sets. By using these results we extend Forman's discrete Morse theory to more general cell complexes and derive the Morse-Pitcher inequalities in the context of finite spaces.
Isomorphism for Random $k$-Uniform Hypergraphs
Published
• View Publication
• BIB
We study the isomorphism problem for random hypergraphs. We show that it is solvable in polynomial time for the binomial random $k$-uniform hypergraph $H_{n,p;k}$, for a wide range of $p$. We also show that it is solvable w.h.p. for random $r$-regular, $k$-uniform hypergraphs $H_{n,r;k},r=O(1)$.
Separating Bohr denseness from measurable recurrence
Published in Discrete Analysis, 2021:9, 20pp
• View Publication
• BIB
We prove that there is a set of integers $A$ having positive upper Banach density whose difference set $A-A:=\{a-b:a,b\in A\}$ does not contain a Bohr neighborhood of any integer, answering a question asked by Bergelson, Hegyvári, Ruzsa, and the author, in various combinations. In the language of dynamical systems, this result shows that there is a set of integers $S$ which is dense in the Bohr topology of $\mathbb Z$ and which is not a set of measurable recurrence. Our proof yields the following stronger result: if $S\subseteq \mathbb Z$ is dense in the Bohr topology of $\mathbb Z$, then there is a set $S'\subseteq S$ such that $S'$ is dense in the Bohr topology of $\mathbb Z$ and for all $m\in \mathbb Z,$ the set $(S'-m)\setminus \{0\}$ is not a set of measurable recurrence.
Two new identities involving the Bernoulli numbers, the Euler numbers, and the Stirling numbers of the first kind
We derive two new identities involving the Bernoulli numbers, the Euler numbers, and the Stirling numbers of the first kind using analytic continuation of a well known identity for the Stirling numbers of the first kind.
Wiener index, number of subtrees, and tree eccentric sequence
The eccentricity of a vertex $u$ in a connected graph $G$ is the distance between $u$ and a vertex farthest from it; the eccentric sequence of $G$ is the nondecreasing sequence of the eccentricities of $G$. In this paper, we determine the unique tree that minimises the Wiener index, i.e. the sum of distances between all unordered vertex pairs, among all trees with a given eccentric sequence. We show that the same tree maximises the number of subtrees among all trees with a given eccentric sequence, thus providing another example of negative correlation between the number of subtrees and the Wiener index of trees. Furthermore, we provide formulas for the corresponding extreme values of these two invariants in terms of the eccentric sequence. As a corollary to our results, we determine the unique tree that minimises the edge Wiener index, the vertex-edge Wiener index, the Schulz index (or degree distance), and the Gutman index among all trees with a given eccentric sequence.
The poset of morphism-extension classes of countable graphs
Published
• View Publication
• BIB
Let $\mathrm{XY_{L,T}}$ denote the class of countably infinite $L$-structures that satisfy the axioms $T$ and in which all homomorphisms of type X (these could be homomorphisms, monomorphisms, or isomorphisms) between finite substructures of $M$ are restrictions of an endomorphism of $M$ of type Y (for example, an automorphism or a surjective endomorphism). Lockett and Truss introduced 18 such morphism-extension classes for relational structures. For a given pair $L,T$, however, two or more morphism-extension properties may define the same class of structures.
In this paper, we establish all equalities and inequalities between morphism-extension classes of countable (undirected, loopless) graphs.
Demazure crystals for Kohnert polynomials
Published
• View Publication
• BIB
Kohnert polynomials are polynomials indexed by unit cell diagrams in the first quadrant defined earlier by the author and Searles that give a common generalization of Schubert polynomials and Demazure characters for the general linear group. Demazure crystals are certain truncations of normal crystals whose characters are Demazure characters. For each diagram satisfying a southwest condition, we construct a Demazure crystal whose character is the Kohnert polynomial for the given diagram, resolving an earlier conjecture of the author and Searles that these polynomials expand nonnegatively into Demazure characters. We give explicit formulas for the expansions with applications including a characterization of those diagrams for which the corresponding Kohnert polynomial is a single Demazure character.
Ramsey numbers of partial order graphs (comparability graphs) and implications in ring theory
Published
• View Publication
• BIB
For a partially ordered set $(A, \le)$, let $G_A$ be the simple, undirected graph with vertex set $A$ such that two vertices $a \neq b\in A$ are adjacent if either $a \le b$ or $b \le a$. We call $G_A$ the \emph{partial order graph} or \emph{comparability graph} of $A$. Further, we say that a graph $G$ is a partial order graph if there exists a partially ordered set $A$ such that $G = G_A$. For a class $\mathcal{C}$ of simple, undirected graphs and $n$, $m \ge 1$, we define the Ramsey number $\mathcal{R}_{\mathcal{C}}(m,n)$ with respect to $\mathcal{C}$ to be the minimal number of vertices $r$ such that every induced subgraph of an arbitrary partial order graph consisting of $r$ vertices contains either a complete $n$-clique $K_n$ or an independent set consisting of $m$ vertices. In this paper, we determine the Ramsey number with respect to some classes of partial order graphs. Furthermore, some implications of Ramsey numbers in ring theory are discussed.
On the eccentricity energy of complete mutipartite graph
Published in MATCH 2012
• Search Publication
The eccentricity (anti-adjacency) matrix $\varepsilon(G)$ of a graph $G$ is obtained from the distance matrix by retaining the eccentricities in each row and each column. The $\varepsilon$-eigenvalues of a graph $G$ are those of its eccentricity matrix $\varepsilon(G),$ and the eccentricity energy (or the $\varepsilon$-energy) of $G$ is the sum of the absolute values of $\varepsilon$-eigenvalues. In this paper, we establish some bounds for the $\varepsilon$-energy of the complete multipartite graph $K_{n_1, n_2, \ldots,n_p}$ of order $n= \sum_{i=1}^p n_i $ and characterize the extreme graphs.
This partially answers the problem given in Wang {\em et al.} (2019). We finish the paper showing graphs that are not $\varepsilon$-cospectral with the same $\varepsilon$-energy.
Quantifying Noninvertibility in Discrete Dynamical Systems
Published in Electronic Journal of Combinatorics, 27 (2020)
• View Publication
• BIB
Given a finite set $X$ and a function $f:X\to X$, we define the degree of noninvertibility of $f$ to be $\displaystyle\text{deg}(f)=\frac{1}{|X|}\sum_{x\in X}|f^{-1}(f(x))|$. This is a natural measure of how far the function $f$ is from being bijective. We compute the degrees of noninvertibility of some specific discrete dynamical systems, including the Carolina solitaire map, iterates of the bubble sort map acting on permutations, bubble sort acting on multiset permutations, and a map that we call "nibble sort." We also obtain estimates for the degrees of noninvertibility of West's stack-sorting map and the Bulgarian solitaire map. We then turn our attention to arbitrary functions and their iterates. In order to compare the degree of noninvertibility of an arbitrary function $f:X\to X$ with that of its iterate $f^k$, we prove that \[\max_{\substack{f:X\to X\\ |X|=n}}\frac{\text{deg}(f^k)}{\text{deg}(f)^γ}=Θ(n^{1-1/2^{k-1}})\] for every real number $γ\geq 2-1/2^{k-1}$. We end with several conjectures and open problems.