Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Matroids and the space of torus-invariant subvarieties of the Grassmannian with given homology class
Published in Journal of Pure and Applied Algebra, 2025
• View Publication
• BIB
Let $\mathbb{G}(d,n)$ be the complex Grassmannian of affine $d$-planes in $n$-space. We study the problem of characterizing the set of algebraic subvarieties of $\mathbb{G}(d,n)$ invariant under the action of the maximal torus $T$ and having given homology class $λ$. We give a complete answer for the case where $λ$ is the class of a $T$-orbit, and partial results for other cases, using techniques inspired by matroid theory. This problem has applications to the computation of the Euler-Chow series for Grassmannians of projective lines: we calculate the series for 3-cycles in $\mathbb{G}(2,4)$ and carry out partial calculations for $\mathbb{G}(2,5)$.
Preference Swaps for the Stable Matching Problem
Published
• View Publication
• BIB
An instance $I$ of the Stable Matching Problem (SMP) is given by a bipartite graph with a preference list of neighbors for every vertex. A swap in $I$ is the exchange of two consecutive vertices in a preference list. A swap can be viewed as a smallest perturbation of $I$. Boehmer et al. (2021) designed a polynomial-time algorithm to find the minimum number of swaps required to turn a given maximal matching into a stable matching. We generalize this result to the many-to-many version of SMP. We do so first by introducing a new representation of SMP as an extended bipartite graph and subsequently by reducing the problem to submodular minimization. It is a natural problem to establish the computational complexity of deciding whether at most $k$ swaps are enough to turn $I$ into an instance where one of the maximum matchings is stable. Using a hardness result of Gupta et al. (2020), we prove that this problem is NP-hard and, moreover, this problem parameterised by $k$ is W[1]-hard. We also obtain a lower bound on the running time for solving the problem using the Exponential Time Hypothesis.
HS-integral and Eisenstein integral mixed Cayley graphs over abelian groups
Published
• View Publication
• BIB
A mixed graph is called \emph{second kind hermitian integral}(or \emph{HS-integral}) if the eigenvalues of its Hermitian-adjacency matrix of second kind are integers. A mixed graph is called \emph{Eisenstein integral} if the eigenvalues of its (0, 1)-adjacency matrix are Eisenstein integers. Let $Γ$ be an abelian group. We characterize the set $S$ for which a mixed Cayley graph $\text{Cay}(Γ, S)$ is HS-integral. We also show that a mixed Cayley graph is Eisenstein integral if and only if it is HS-integral.
Weierstrass semigroups from cyclic covers of hyperelliptic curves
Published
• View Publication
• BIB
The {\it Weierstrass semigroup} of pole orders of meromorphic functions in a point $p$ of a smooth algebraic curve $C$ is a classical object of study; a celebrated problem of Hurwitz is to characterize which semigroups ${\rm S} \subset \mathbb{N}$ with finite complement are {\it realizable} as Weierstrass semigroups ${\rm S}= {\rm S}(C,p)$. In this note, we establish realizability results for cyclic covers $π: (C,p) \rightarrow (B,q)$ of hyperelliptic targets $B$ marked in hyperelliptic Weierstrass points; and we show that realizability is dictated by the behavior under $j$-fold multiplication of certain divisor classes in hyperelliptic Jacobians naturally associated to our cyclic covers, as $j$ ranges over all natural numbers.
The extremality of 2-partite Turán graphs with respect to the number of colorings
Published
• View Publication
• BIB
We consider a problem proposed by Linial and Wilf to determine the structure of graphs that allows the maximum number of $q$-colorings among graphs with $n$ vertices and $m$ edges. Let $T_r(n)$ denote the Turán graph - the complete $r$-partite graph on $n$ vertices with partition sizes as equal as possible. We prove that for all odd integers $q\geq 5$ and sufficiently large $n$, the Turán graph $T_2(n)$ has at least as many $q$-colorings as any other graph $G$ with the same number of vertices and edges as $T_2(n)$, with equality holding if and only if $G=T_2(n)$. Our proof builds on methods by Norine and by Loh, Pikhurko, and Sudakov, which reduces the problem to a quadratic program.
Introducing DASEP: the doubly asymmetric simple exclusion process
Published in "Séminaire Lotharingien de Combinatoire" 87B (2023), pp. 81-91
• Search Publication
Research in combinatorics has often explored the asymmetric simple exclusion process (ASEP). The ASEP, inspired by examples from statistical mechanics, involves particles of various species moving around a lattice. With the traditional ASEP particles of a given species can move but do not change species. In this paper a new combinatorial formalism, the DASEP (doubly asymmetric simple exclusion process), is explored. The DASEP is inspired by biological processes where, unlike the ASEP, the particles can change from one species to another. The combinatorics of the DASEP on a one dimensional lattice are explored, including the associated generating function. The stationary probabilities of the DASEP are explored, and results are proven relating these stationary probabilities to those of the simpler ASEP.
Some exact results of the generalized Turán numbers for paths
Published
• View Publication
• BIB
For graphs $H$ and $F$ with chromatic number $χ(F)=k$, we call $H$ strictly $F$-Turán-good (or $(H, F)$ strictly Turán-good) if the Turán graph $T_{k-1}(n)$ is the unique $F$-free graph on $n$ vertices containing the largest number of copies of $H$ when $n$ is large enough. Let $F$ be a graph with chromatic number $χ(F)\geq 3$ and a color-critical edge and let $P_\ell$ be a path with $\ell$ vertices. Gerbner and Palmer (2020, arXiv:2006.03756) showed that $(P_3, F)$ is strictly Turán good if $χ(H)\ge 4$ and they conjectured that (a) this result is true when $χ(F)=3$, and, moreover, (b) $(P_\ell, K_k)$ is Turán-good for every pair of integers $\ell$ and $k$. In the present paper, we show that $(H, F)$ is strictly Turán-good when $H$ is a bipartite graph with matching number $ν(H)=\lfloor \frac{|V(H)|}{2}\rfloor$ and $χ(F)= 3$, as a corollary, this result confirms the conjecture (a); we also prove that $(P_\ell, F)$ is strictly Turán-good for $2\le\ell\leq 6$ and $χ(F)\ge 4$, this also confirms the conjecture (b) for $2\le\ell\leq 6$ and $k\ge 4$.
Generalized Schreier sets, linear recurrence relation, Turán graphs
Published
• View Publication
• BIB
We prove a linear recurrence relation for a large family of generalized Schreier sets, which generalizes the Fibonacci recurrence proved by Bird and higher order Fibonacci recurrence proved by the second author et al. Furthermore, we show a relationship between Schreier-type sets and Turán graphs.
Cyclic matroids
Published
• View Publication
• BIB
For all positive integers $s$ and $t$ exceeding one, a matroid $M$ on $n$ elements is {\em nearly $(s, t)$-cyclic} if there is a cyclic ordering $σ$ of its ground set such that every $s-1$ consecutive elements of $σ$ are contained in an $s$-element circuit and every $t-1$ consecutive elements of $σ$ are contained in a $t$-element cocircuit. In the case $s=t$, nearly $(s, s)$-cyclic matroids have been studied previously. In this paper, we show that if $M$ is nearly $(s, t)$-cyclic and $n$ is sufficiently large, then these $s$-element circuits and $t$-element cocircuits are consecutive in $σ$ in a prescribed way, that is, $M$ is "$(s, t)$-cyclic". Furthermore, we show that, given $s$ and $t$ where $t\ge s$, every $(s, t)$-cyclic matroid on $n > s+t-2$ elements is a weak-map image of the $\left(\frac{t-s}{2}\right)$-th truncation of a certain $(s, s)$-cyclic matroid. If $s=3$, this certain matroid is the rank-$\frac{n}{2}$ whirl, and if $s=4$, this certain matroid is the rank-$\frac{n}{2}$ free swirl.
An irrational Lagrangian density of a single hypergraph
Published
• View Publication
• BIB
The {\em Turán number} of an $r$-uniform graph $F$, denoted by $ex(n,F)$, is the maximum number of edges in an $F$-free $r$-uniform graph on $n$ vertices. The {\em Turán density} of $F$ is defined as $π(F)=\underset{n\rightarrow\infty}{\lim}{ex(n,F) \over {n \choose r }}.$ For graphs, Erdős-Stone-Simonovits (\cite{ESi}, \cite{ES}) showed that $Π_{\infty}^{(2)}=Π_{fin}^{(2)}=Π_{1}^{(2)}=\{0, {1 \over 2}, {2 \over 3}, \ldots,{l-1 \over l}, ...\}.$ We know quite few about the Turán density of an $r$-uniform graph for $r\ge 3$. Baber and Talbot \cite{BT}, and Pikhurko \cite{Pikhurko2} showed that there is an irrational number in $Π_{3}^{(3)}$ and $Π_{fin}^{(3)}$ respectively, disproving a conjecture of Chung and Graham \cite{FG}. Baber and Talbot \cite{BT} asked whether $Π_{1}^{(r)}$ contains an irrational number. In this paper, we show that the Lagrangian density of $F=\{123, 124, 134, 234, 567\}$ (the disjoint union of $K_4^3$ and an edge) is ${\sqrt 3\over 3}$, consequently, the Turán density of the extension of $F$ is an irrational number, answering the question of Baber and Talbot.
Non-jumping Turán densities of hypergraphs
Published
• View Publication
• BIB
A real number $α\in [0, 1)$ is a jump for an integer $r\ge 2$ if there exists $c>0$ such that no number in $(α, α+ c)$ can be the Turán density of a family of $r$-uniform graphs. A classical result of Erd\H os and Stone \cite{ES} implies that that every number in $[0, 1)$ is a jump for $r=2$. Erd\H os \cite{E64} also showed that every number in $[0, r!/r^r)$ is a jump for $r\ge 3$ and asked whether every number in $[0, 1)$ is a jump for $r\ge 3$. Frankl and Rödl \cite{FR84} gave a negative answer by showing a sequence of non-jumps for every $r\ge 3$. After this, Erd\H os modified the question to be whether $\frac{r!}{r^r}$ is a jump for $r\ge 3$? What's the smallest non-jump? Frankl, Peng, Rödl and Talbot \cite{FPRT} showed that ${5r!\over 2r^r}$ is a non-jump for $r\ge 3$. Baber and Talbot \cite{BT0} showed that every $α\in[0.2299, 0.2316)\cup [0.2871, \frac{8}{27})$ is a jump for $r=3$. Pikhurko \cite{Pikhurko2} showed that the set of all possible Turán densities of $r$-uniform graphs has cardinality of the continuum for $r\ge 3$. However, whether $\frac{r!}{r^r}$ is a jump for $r\ge 3$ remains open, and $\frac{5r!}{2r^r}$ has remained the known smallest non-jump for $r\ge 3$. In this paper, we give a smaller non-jump by showing that ${54r!\over 25r^r}$ is a non-jump for $r\ge 3$. Furthermore, we give infinitely many irrational non-jumps for every $r\ge 3$.
Symmetric Kapranov and symmetric tropical ranks
This paper proves the $r \times r$ minors of an $n \times n$ symmetric matrix of indeterminates are a tropical basis when $r = 2$, $r = 3$, or $r = n$, and are not when $4 < r < n$ or $r = 4, n > 12$. In the process, it introduces two new notions of rank for symmetric matrices coming from tropical geometry, the symmetric tropical and the symmetric Kapranov rank, which are the symmetric versions of their standard counterparts defined by Develin, Santos, and Sturmfels.
Tree Embeddings and Tree-Star Ramsey Numbers
Published
• View Publication
• BIB
We say that a graph $F$ can be embedded into a graph $G$ if $G$ contains an isomorphic copy of $F$ as a subgraph. Guo and Volkmann \cite{GV} conjectured that if $G$ is a connected graph with at least $n$ vertices and minimum degree at least $n-3$, then any tree with $n$ vertices and maximum degree at most $n-4$ can be embedded into $G$. In this paper, we give a result slightly stronger than this conjecture and obtain a sufficient and necessary condition that a tree with $n$ vertices and maximum degree at most $n-3$ can be embedded into a connected graph G with at least $n$ vertices and minimum degree at least $n-3$. Our result implies that the conjecture of Guo and Volkmann is true with one exception. We also give an application to the Ramsey number of a tree versus a star.
The bipartite Ramsey number $br(C_{2n}, C_{2m})$
Given bipartite graphs $H_1$, \dots , $H_k$, the bipartite Ramsey number $br(H_1,\dots, H_k)$ is the minimum integer $N$ such that any $k$-edge-coloring of complete bipartite graph $K_{N, N}$ contains a monochromatic $H_i$ in color $i$ for $1\le i\le k$. There are considerable results on asymptotic values of bipartite Ramsey numbers of cycles. For exact value, Zhang-Sun \cite{Zhangs} determined $br(C_4, C_{2n})$, Zhang-Sun-Wu \cite{Zhangsw} determined $br(C_6, C_{2n})$, and Gholami-Rowshan \cite{GR} determined $br(C_8, C_{2n})$. In this paper, we solve all remaining cases and give the exact values of $br(C_{2n}, C_{2m})$ for all $n\ge m\ge 5$, this answers a question concerned by Bucić-Letzter-Sudakov \cite{BLS}, Gholami-Rowshan \cite{GR}, Zhang-Sun \cite{Zhangs}, and Zhang-Sun-Wu \cite{Zhangsw}.
Cohomology rings of quasitoric bundles
Published
• View Publication
• BIB
The classical BKK theorem computes the intersection number of divisors on toric variety in terms of volumes of corresponding polytopes. It was observed by Pukhlikov and the first author that the BKK theorem leads to a presentation of the cohomology ring of toric variety as a quotient of the ring of differential operators with constant coefficients by the annihilator of an explicit polynomial.
In this paper we generalize this construction to the case of quasitoric bundles. These are fiber bundles with generalized quasitoric manifolds as fibers. First we obtain a generalization of the BKK theorem to this case. Then we use recently obtained descriptions of the graded-commutative algebras which satisfy Poincaré duality to give a description of cohomology rings of quasitoric bundles.
Invariant metrics on finite groups
We study invariant and bi-invariant metrics on groups focusing on finite groups $G$. We show that non-equivalent (bi) invariant metrics on $G$ are in 1-1 correspondence with unitary symmetric (conjugate) partitions on $G$. To every metric group $(G,d)$ we associate to it the symmetry group and the weighted graph of distances. Using these objects we can classify all equivalence classes of invariant and bi-invariant metrics for small groups. We then study the number of non-equivalent invariant and bi-invariant metrics on $G$. We give an expression for the number of such metrics in terms of Bell numbers, with closed expressions for certain groups such as abelian, dihedral, quasidihedral and dicyclic groups. We then characterize all the groups (finite or not) in which every invariant metric is also bi-invariant. We give the number of non-equivalent invariant and bi-invariant metrics for all the groups of order up to 32.
Length-Four Pattern Avoidance in Inversion Sequences
Published in Electron. J. Comb. Volume 29, Issue 4 (2022) P4.37
• View Publication
• BIB
Inversion sequences of length $n$ are integer sequences $e_1,\ldots ,e_n$ with $0\le e_i<i$ for all $i$, which are in bijection with the permutations of length $n$. In this paper, we classify all Wilf equivalence classes of pattern-avoiding inversion sequences of length-4 patterns except for one case (whether 3012 $\equiv$ 3201) and enumerate some of the length-4 pattern-avoiding inversion sequences that are in the OEIS.
Verification and generation of unrefinable partitions
Published
• View Publication
• BIB
Unrefinable partitions are a subset of partitions into distinct parts which satisfy an additional unrefinability property. More precisely, being an unrefinable partition means that none of the parts can be written as the sum of smaller integers without introducing a repetition. We address the algorithmic aspects of unrefinable partitions, such as testing whether a given partition is unrefinable or not and enumerating all the partitions whose sum is a given integer. We design two algorithms to solve the two mentioned problems and we discuss their complexity.
Bounds on Area Involving Lattice Size
Published in Electron. J. Combin., 30, No 4, Paper No. 4.45 (2023), 18 pp
• View Publication
• BIB
The lattice size of a lattice polygon $P$ was introduced and studied by Schicho, and by Castryck and Cools in relation to the problem of bounding the total degree and the bi-degree of the defining equation of an algebraic curve. In this paper we establish sharp lower bounds on the area of plane convex bodies $P\subset\mathbb{R}^2$ that involve the lattice size of $P$. In particular, we improve bounds established by Arnold, and Bárány and Pach. We also provide a classification of minimal lattice polygons $P\subset\mathbb{R}^2$ of fixed lattice size $\operatorname{ls_\square}(P)$.
Cohen-Macaulay generalized binomial edge ideals
Published
• View Publication
• BIB
Let $G$ be a simple graph on $n$ vertices and let $J_{G,m}$ be the generalized binomial edge ideal associated to $G$ in the polynomial ring $K[x_{ij}, 1\le i \le m, 1\le j \le n]$. We classify the Cohen-Macaulay generalized binomial edge ideals. Moreover we study the unmixedness and classify the bipartite and power cycle unmixed ones.