Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Duality for the $\mathfrak{sl}_2$ weight system
The $\mathfrak{sl}_2$ weight system, corresponding to the colored Jones polynomial of knots, is one of the the simplest weight system for chord diagrams. Recent works have led to explicit computations of this weight system on chord diagrams with complete and complete bipartite intersection graphs using $\mathfrak{sl}_2$ weight systems on shares, i.e., on chord diagrams on two strands.
In this paper, we continue our study of shares. We prove a conjecture by Lando about a duality of values of the $\mathfrak{sl}_2$ weight system on chord diagrams whose intersection graphs are joins of complementary graphs with discrete ones. To achieve this, we introduce the two-colored intersection graph of shares, define the inner product of shares, and use chord-adding operators.
An algebraic approach towards a conjecture on the Davenport constant
For a finite group $G,$ $\mathsf{D}(G)$ is defined as the least positive integer $k$ such that for every sequence $S=g_1\bdot g_2\bdot \dotsc \bdot g_k$ of length $k$ over $G$, there exist $1 \le i_1 < i_2 <\cdots < i_m \le k $ such that $g_{i_1}g_{i_2}\cdots g_{i_m}=1,$ where $1$ is the identity element of $G.$ The small Davenport constant $\mathsf{d}(G)$ is the maximal positive integer $k$ such that there is a sequence of length $k$ over $G$ which has no non-trivial product-one subsequence. In 2004, Dimitrov proved that $\mathsf{D}(G)\leq \mathsf{L}(G)$ for a finite $p$-group $G$, where $p$ is a prime and $\mathsf{L}(G)$ is the Loewy length of $\mathbb{F}_p[G].$ He conjectured that the equality holds for all finite $p$-groups. In this article, we compute $\mathsf{D}(G)$ for certain classes of finite non-abelian $p$-groups, including metacyclic groups, and show that the conjecture is true by determining the precise value of $\mathsf{L}(G)$. As a consequence, we refine an upper bound on $\mathsf{d}(G)$ recently given by Qu, Li and Teeuwsen, and prove that for specific classes of groups $\mathsf{D}(G)=\mathsf{d}(G)+1$. We also evaluate $\mathsf{D}(G)$ for finite dicyclic, semi-dihedral and other groups.
A problem of Erdős about rich distances
Published
• View Publication
• BIB
An old question posed by Erdős asked whether there exists a set of $n$ points such that $c \cdot n$ distances occur more than $n$ times. We provide an affirmative answer to this question, showing that there exists a set of $n$ points such that $\lfloor \frac{n}{4}\rfloor$ distances occur more than $n$ times. We also present a generalized version, finding a set of $n$ points where $c_m \cdot n$ distances occurring more than $n+m$ times.
The cyclicity rank of empty lattice simplices
Published
• View Publication
• BIB
We are interested in algebraic properties of empty lattice simplices $Δ$, that is, $d$-dimensional lattice polytopes containing exactly $d+1$ points of the integer lattice $\mathbb{Z}^d$. The cyclicity rank of $Δ$ is the minimal number of cyclic subgroups that the quotient group of $Δ$ splits into. It is known that up to dimension $d \leq 4$, every empty lattice $d$-simplex is cyclic, meaning that its cyclicity rank is at most $1$. We determine the maximal possible cyclicity rank of an empty lattice $d$-simplex for dimensions $d \leq 8$, and determine the asymptotics of this number up to a logarithmic term.
Cycles of weight divisible by $k$
A weighted (directed) graph is a (directed) graph with integer weights assigned to its vertices and edges. The weight of a subgraph is the sum of weights of vertices and edges in the subgraph. The problem of determining the largest order $f(k)$ of a weighted complete directed graph that does not contain a directed cycle of weight divisible by $k$, for an integer $k \ge 2$, was raised by Alon and Krivelevich [J. Graph Theory 98 (2021) 623-629]. They showed that $f(k)$ is $O(k\log k)$ and $f(k) \le 2k-2$ if $k$ is prime. The best bounds known to us are $f(k) \le 2k-2$ for all $k$ and $f(k) < (3k-1)/2$ for prime $k$. It is also known that $f(k) \ge k$ and this is believed to be the correct value. We prove that $f(k) < k+2Ω(k)$, where $Ω(k)$ is the number of prime factors, not necessarily distinct, in the prime factorization of $k$.
We also show that any weighted undirected graph of minimum degree $2k-1$ contains a cycle of weight divisible by $k$. This result is proved in the more general setting in which the weights are from a finite abelian group of order $k$, and the cycle has weight equal to the group identity. We conjecture that this holds for undirected graphs with minimum degree $k+1$.
Non-intersecting paths and the determinant of the distance matrix of a tree
We present the first combinatorial proof of the Graham-Pollak Formula for the determinant of the distance matrix of a tree, via sign-reversing involutions and the Lindström-Gessel-Viennot Lemma. Our approach provides a cohesive and unified framework for the understanding of the existing generalizations and $q$-analogues of the Graham-Pollak Formula, and facilitates the derivation of a natural simultaneous generalizations for them.
Voting Profiles Admitting All Candidates as Knockout Winners
Published
• View Publication
• BIB
A set of $2^n$ candidates is presented to a commission. At every round, each member of this commission votes by pairwise comparison, and one-half of the candidates is deleted from the tournament, the remaining ones proceeding to the next round until the $n$-th round (the final one) in which the final winner is declared. The candidates are arranged on a board in a given order, which is maintained among the remaining candidates at all rounds. A study of the size of the commission is carried out in order to obtain the desired result of any candidate being a possible winner. For $2^n$ candidates with $n \geq 3$, we identify a voting profile with $4n -3$ voters such that any candidate could win simply by choosing a proper initial order of the candidates. Moreover, in the setting of a random number of voters, we obtain the same results, with high probability, when the expected number of voters is large.
Coloured shuffle compatibility, Hadamard products, and ask zeta functions
Published
• View Publication
• BIB
We devise an explicit method for computing combinatorial formulae for Hadamard products of certain rational generating functions. The latter arise naturally when studying so-called ask zeta functions of direct sums of modules of matrices or class- and orbit-counting zeta functions of direct products of nilpotent groups. Our method relies on shuffle compatibility of coloured permutation statistics and coloured quasisymmetric functions, extending recent work of Gessel and Zhuang.
Tournament score sequences, Erdős-Ginzburg-Ziv numbers, and the Lévy-Khintchine method
Published
• View Publication
• BIB
We give a short proof of a recent result of Claesson, Dukes, Franklín and Stefánsson, connecting the number $S_n$ of score sequences and the Erdős-Ginzburg-Ziv numbers $N_n$ from additive number theory. Our proof utilizes the lattice path representation of score sequences by Erdős and Moser, and remarks by Kleitman added to an article of Moser regarding cyclic shifts of such paths. The connection between $S_n$ and $N_n$ is an instance of the Lévy-Khintchine formula from probability theory. We highlight the utility of such formulas, by giving a short proof of Moser's conjecture that $S_n\sim C4^n/n^{5/2}$, where $C$ is described in terms of $N_n$.
Eccentricity and algebraic connectivity of graphs
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ nodes with algebraic connectivity $λ_{2}$. The eccentricity of a node is defined as the length of a longest shortest path starting at that node. If $s_\ell$ denotes the number of nodes of eccentricity at most $\ell$, then for $\ell \ge 2$, $$λ_{2} \ge \frac{ 4 \, s_\ell }{ (\ell-2+\frac{4}{n}) \, n^2 }.$$ As a corollary, if $d$ denotes the diameter of $G$, then $$λ_{2} \ge \frac{ 4 }{ (d-2+\frac{4}{n}) \, n }.$$ It is also shown that $$λ_{2} \ge \frac{ s_\ell }{ 1+ \ell \left(e(G^{\ell})-m\right) },$$ where $m$ and $e(G^\ell)$ denote the number of edges in $G$ and in the $\ell$-th power of $ G $, respectively.
Finite sets of points in $\mathbb{P}^4$ with special projection properties
Published
• View Publication
• BIB
In this note we introduce the notion of $(b,d)$-geprofi sets and study their basic properties. These are sets of $bd$ points in $\mathbb{P}^4$ whose projection from a general point to a hyperplane is a full intersection, i.e., the intersection of a curve of degree $b$ and a surface of degree $d$. We show that such nontrivial sets exist if and only if $b\geq 4$ and $d\geq 2$. Somewhat surprisingly, for infinitely many values of $b$ and $d$ there exist such sets in linear general position. The note contains open questions and problems.
Optimal codes in the Stiefel manifold
Published
• View Publication
• BIB
We consider the coding problem in the Stiefel manifold with chordal distance. After considering various low-dimensional instances of this problem, we use Rankin's bounds on spherical codes to prove upper bounds on the minimum distance of a Stiefel code, and then we construct several examples of codes that achieve equality in these bounds.
Rearranging small sets for distinct partial sums
A conjecture of Graham (repeated by Erdős) asserts that for any set $A \subseteq \mathbb{F}_p \setminus \{0\}$, there is an ordering $a_1, \ldots, a_{|A|}$ of the elements of $A$ such that the partial sums $a_1, a_1+a_2, \ldots, a_1+a_2+\cdots+a_{|A|}$ are all distinct. We give a very short proof of this conjecture for sets $A$ of size at most $\log p/\log\log p$.
Jets and principal components of monomial ideals, and very well-covered graphs
Published
• View Publication
• BIB
Motivated by using combinatorics to study jets of monomial ideals, we extend a definition of jets from graphs to clutters. We offer some structural results on their vertex covers, and show an interesting connection between the cover ideal of the jets of a clutter and the symbolic powers of the cover ideal of the original clutter. We use this connection to prove that jets of very well-covered graphs are very well-covered. Next, we turn our attention to principal jets of monomial ideals, describing their primary decomposition and minimal generating sets. Finally, we give formulas to compute various algebraic invariants of principal jets of monomial ideals, including their Hilbert series, Betti numbers, multiplicity and regularity.
The $S_3$-symmetric tridiagonal algebra
Published
• View Publication
• BIB
The tridiagonal algebra is defined by two generators and two relations, called the tridiagonal relations. Special cases of the tridiagonal algebra include the $q$-Onsager algebra, the positive part of the $q$-deformed enveloping algebra $U_q({\widehat{\mathfrak{sl}}}_2)$, and the enveloping algebra of the Onsager Lie algebra.
In this paper, we introduce the $S_3$-symmetric tridiagonal algebra. This algebra has six generators. The generators can be identified with the vertices of a regular hexagon, such that nonadjacent generators commute and adjacent generators satisfy a pair of tridiagonal relations. For a $Q$-polynomial distance-regular graph $Γ$ we turn the tensor power $V^{\otimes 3}$ of the standard module $V$ into a module for an $S_3$-symmetric tridiagonal algebra.
We investigate in detail the case in which $Γ$ is a Hamming graph. We give some conjectures and open problems.
Computing Vertex and Edge Connectivity of Graphs Embedded with Crossings
Vertex connectivity and edge connectivity are fundamental concepts in graph theory that have been widely studied from both structural and algorithmic perspectives. The focus of this paper is on computing these two parameters for graphs embedded on the plane with crossings. For planar graphs -- which can be embedded on the plane without any crossings -- it has long been known that vertex and edge connectivity can be computed in linear time. Recently, the algorithm for vertex connectivity was extended from planar graphs to 1-plane graphs (where each edge is crossed at most once) without $\times$-crossings -- these are crossings whose endpoints induce a matching. The key insight, for both these classes of graphs, is that any two vertices/edges of a minimum vertex/edge cut have small face-distance (distance measured by number of faces) in the embedding. In this paper, we attempt at a comprehensive generalization of this idea to a wider class of graphs embedded on the plane. Our method works for all those embedded graphs where every pair of crossing edges is connected by a path whose vertices and edges have a small face-distance from the crossing point. Important examples of such graphs include optimal 2-planar and optimal 3-planar graphs, $d$-map graphs, $d$-framed graphs, graphs with bounded crossing number, and $k$-plane graphs with bounded number of $\times$-crossings. For all these graph classes, we get a linear-time algorithm for computing vertex and edge connectivity.
A further $q$-analogue of a formula due to Guillera
Published
• View Publication
• BIB
Hou, Krattenthaler, and Sun have introduced two $q$-analogues of a remarkable series for $π^2$ due to Guillera, and these $q$-identities were, respectively, proved with the use of a $q$-analogue of a Wilf-Zeilberger pair provided by Guillera and with the use of ${}_{3}φ_{2}$-transforms. We prove a $q$-analogue of Guillera's formula for $π^2$ that is inequivalent to previously known $q$-analogues of the same formula due to Guillera, including the Hou-Krattenthaler-Sun $q$-identities and a subsequent $q$-identity due to Wei. In contrast to previously known $q$-analogues of Guillera's formula, our new $q$-analogue involves another free parameter apart from the $q$-parameter. Our derivation of this new result relies on the $q$-analogue of Zeilberger's algorithm.
Proof of Lovász conjecture for odd order
Lovász conjectured that every connected vertex-transitive graph contains a hamilton path in 1970. First we reveal the structure of connected vertex-transitive graphs with an odd number of vertices. Then we prove that every connected vertex-transitive graph with an odd number of vertices is hamiltonian.
Symplectic Grassmannians and Cyclic Quivers
Published
• View Publication
• BIB
The goal of this paper is to extend the quiver Grassmannian description of certain degenerations of Grassmann varieties to the symplectic case. We introduce a symplectic version of quiver Grassmannians studied in our previous papers and prove a number of results on these projective algebraic varieties. First, we construct a cellular decomposition of the symplectic quiver Grassmannians in question and develop combinatorics needed to compute Euler characteristics and Poincaré polynomials. Second, we show that the number of irreducible components of our varieties coincides with the Euler characteristic of the classical symplectic Grassmannians. Third, we describe the automorphism groups of the underlying symplectic quiver representations and show that the cells are the orbits of this group. Lastly, we provide an embedding into the affine flag varieties for the affine symplectic group.
Enumeration of minimal transversals of hypergraphs of bounded VC-dimension
We consider the problem of enumerating all minimal transversals (also called minimal hitting sets) of a hypergraph $\mathcal{H}$. An equivalent formulation of this problem known as the \emph{transversal hypergraph} problem (or \emph{hypergraph dualization} problem) is to decide, given two hypergraphs, whether one corresponds to the set of minimal transversals of the other. The existence of a polynomial time algorithm to solve this problem is a long standing open question. In \cite{fredman_complexity_1996}, the authors present the first sub-exponential algorithm to solve the transversal hypergraph problem which runs in quasi-polynomial time, making it unlikely that the problem is (co)NP-complete.
In this paper, we show that when one of the two hypergraphs is of bounded VC-dimension, the transversal hypergraph problem can be solved in polynomial time, or equivalently that if $\mathcal{H}$ is a hypergraph of bounded VC-dimension, then there exists an incremental polynomial time algorithm to enumerate its minimal transversals. This result generalizes most of the previously known polynomial cases in the literature since they almost all consider classes of hypergraphs of bounded VC-dimension. As a consequence, the hypergraph transversal problem is solvable in polynomial time for any class of hypergraphs closed under partial subhypergraphs. We also show that the proposed algorithm runs in quasi-polynomial time in general hypergraphs and runs in polynomial time if the conformality of the hypergraph is bounded, which is one of the few known polynomial cases where the VC-dimension is unbounded.