Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Matching powers of monomial ideals and edge ideals of weighted oriented graphs
Published
• View Publication
• BIB
We introduce the concept of matching powers of monomial ideals. Let $I$ be a monomial ideal of $S=K[x_1,\dots,x_n]$, with $K$ a field. The $k$th matching power of $I$ is the monomial ideal $I^{[k]}$ generated by the products $u_1\cdots u_k$ where $u_1,\dots,u_k$ is a monomial regular sequence contained in $I$. This concept naturally generalizes that of squarefree powers of squarefree monomial ideals. We study depth and regularity functions of matching powers of monomial ideals and edge ideals of weighted oriented graphs. We show that the last nonvanishing power of a quadratic monomial ideal is always polymatroidal and thus has a linear resolution. When $I$ is a non-quadratic edge ideal of a weighted oriented forest, we characterize when $I^{[k]}$ has a linear resolution.
Runs in Random Sequences over Ordered Sets
Published
• View Publication
• BIB
We determine the distributions of lengths of runs in random sequences of elements from a totally ordered set (total order) or partially ordered set (partial order). In particular, we produce novel formulae for the expected value, variance, and probability generating function (PGF) of such lengths in the case of an arbitrary total order. Our focus is on the case of distributions with both atoms and diffuse (absolutely or singularly continuous) mass which has not been addressed in this generality before. We also provide a method of calculating the PGF of run lengths for countably series-parallel partial orders. Additionally, we prove a strong law of large numbers for the distribution of run lengths in a particular realization of an infinite sequence.
On the Estrada index of unicyclic and bicyclic signed graphs
Let $Γ=(G, σ)$ be a signed graph of order $n$ with eigenvalues $μ_1,μ_2,\ldots,μ_n.$ We define the Estrada index of a signed graph $Γ$ as $EE(Γ)=\sum_{i=1}^ne^{μ_i}$. We characterize the signed unicyclic graphs with the maximum Estrada index. The signed graph $Γ$ is said to have the pairing property if $μ$ is an eigenvalue whenever $-μ$ is an eigenvalue of $Γ$ and both $μ$ and $-μ$ have the same multiplicities. If $Γ_{p}^-(n, m)$ denotes the set of all unbalanced graphs on $n$ vertices and $m$ edges with the pairing property, we determine the signed graphs having the maximum Estrada index in $Γ_{p}^-(n, m)$, when $m=n$ and $m=n+1$. Finally, we find the signed graphs among all unbalanced complete bipartite signed graphs having the maximum Estrada index.
Low elements in dominant Shi regions
This note is a complement of a recent paper about low elements in affine Coxeter groups. We explain in terms of ad-nilpotent ideals of a Borel subalgebra why the minimal elements of dominant Shi regions are low. We also give a survey of the bijections involved in the study of dominant Shi regions in affine Weyl groups.
Strong resolving graph of the intersection graph in commutative rings
The intersection graph of ideals associated with a commutative unitary ring $R$ is the graph $G(R)$ whose vertices all non-trivial ideals of $R$ and there exists an edge between distinct vertices if and only if the intersection of them is non-zero. In this paper, the structure of the resolving graph of $G(R)$ is characterized and as an application, we evaluate the strong metric dimension of $G(R)$.
Neighborly partitions, hypergraphs and Gordon's identities
Published
• View Publication
• BIB
We prove a family of partition identities which is "dual" to the family of Andrews-Gordon's identities. These identities are inspired by a correspondence between a special type of partitions and "hypergraphs" and their proof uses combinatorial commutative algebra.
The extremals of the Kahn-Saks inequality
Published
• View Publication
• BIB
A classical result of Kahn and Saks states that given any partially ordered set with two distinguished elements, the number of linear extensions in which the ranks of the distinguished elements differ by $k$ is log-concave as a function of $k$. The log-concave sequences that can arise in this manner prove to exhibit a much richer structure, however, than is evident from log-concavity alone. The main result of this paper is a complete characterization of the extremals of the Kahn-Saks inequality: we obtain a detailed combinatorial understanding of where and what kind of geometric progressions can appear in these log-concave sequences. This settles a partial conjecture of Chan-Pak-Panova, while the analysis uncovers new extremals that were not previously conjectured. The proof relies on a much more general geometric mechanism -- a hard Lefschetz theorem for nef classes that was obtained in the setting of convex polytopes by Shenfeld and Van Handel -- which forms a model for the investigation of such structures in other combinatorial problems.
A colourful classification of (quasi) root systems and hyperplane arrangements
Published in Journal of Lie Theory 34 (2024), No. 2, 385--422
• View Publication
• BIB
We introduce a class of graphs with coloured edges to encode subsystems of the classical root systems, which in particular classify them up to equivalence. We further use the graphs to describe root-kernel intersections, as well as restrictions of root (sub)systems on such intersections, generalising the regular part of a Cartan subalgebra. We also consider a slight variation to encode the hyperplane arrangements only, showing there is a unique noncrystallographic arrangement that arises. Finally, a variation of the main definition leads to elementary classifications of closed and Levi root subsystems.
The directed Oberwolfach problem with variable cycle lengths: a recursive construction
Published
• View Publication
• BIB
The directed Oberwolfach problem OP$^\ast(m_1,\ldots,m_k)$ asks whether the complete symmetric digraph $K_n^\ast$, assuming $n=m_1+\ldots +m_k$, admits a decomposition into spanning subdigraphs, each a disjoint union of $k$ directed cycles of lengths $m_1,\ldots,m_k$. We hereby describe a method for constructing a solution to OP$^\ast(m_1,\ldots,m_k)$ given a solution to OP$^\ast(m_1,\ldots,m_\ell)$, for some $\ell<k$, if certain conditions on $m_1,\ldots,m_k$ are satisfied. This approach enables us to extend a solution for OP$^\ast(m_1,\ldots,m_\ell)$ into a solution for OP$^\ast(m_1,\ldots,m_\ell,t)$, as well as into a solution for OP$^\ast(m_1,\ldots,m_\ell,2^{\langle t \rangle})$, where $2^{\langle t \rangle}$ denotes $t$ copies of 2, provided $t$ is sufficiently large.
In particular, our recursive construction allows us to effectively address the two-table directed Oberwolfach problem. We show that OP$^\ast(m_1,m_2)$ has a solution for all $2 \le m_1\le m_2$, with a definite exception of $m_1=m_2=3$ and a possible exception in the case that $m_1 \in \{ 4,6 \}$, $m_2$ is even, and $m_1+m_2 \ge 14$. It has been shown previously that OP$^\ast(m_1,m_2)$ has a solution if $m_1+m_2$ is odd, and that OP$^\ast(m,m)$ has a solution if and only if $m \ne 3$.
In addition to solving many other cases of OP$^\ast$, we show that when $2 \le m_1+\ldots +m_k \le 13$, OP$^\ast(m_1,\ldots,m_k)$ has a solution if and only if $(m_1,\ldots,m_k) \not\in \{ (4),(6),(3,3) \}$.
Arithmetic Counts of Tropical Plane Curves and Their Properties
Published
• View Publication
• BIB
Recently, the first and third author proved a correspondence theorem which recovers the Levine-Welschinger invariants of toric del Pezzo surfaces as a count of tropical curves weighted with arithmetic multiplicities. In this paper, we study properties of the arithmetic count of plane tropical curves satisfying point conditions. We prove that this count is independent of the configuration of point conditions. Moreover, a Caporaso-Harris formula for the arithmetic count of plane tropical curves is obtained by moving one point to the very left. Repeating this process until all point conditions are stretched, we obtain an enriched count of floor diagrams which coincides with the tropical count. Finally, we prove polynomiality properties for the arithmetic counts using floor diagrams.
Robust Hamiltonicity in families of Dirac graphs
A graph is called Dirac if its minimum degree is at least half of the number of vertices in it. Joos and Kim showed that every collection $\mathbb{G}=\{G_1,\ldots,G_n\}$ of Dirac graphs on the same vertex set $V$ of size $n$ contains a Hamilton cycle transversal, i.e., a Hamilton cycle $H$ on $V$ with a bijection $φ:E(H)\rightarrow [n]$ such that $e\in G_{φ(e)}$ for every $e\in E(H)$.
In this paper, we determine up to a multiplicative constant, the threshold for the existence of a Hamilton cycle transversal in a collection of random subgraphs of Dirac graphs in various settings. Our proofs rely on constructing a spread measure on the set of Hamilton cycle transversals of a family of Dirac graphs.
As a corollary, we obtain that every collection of $n$ Dirac graphs on $n$ vertices contains at least $(cn)^{2n}$ different Hamilton cycle transversals $(H,φ)$ for some absolute constant $c>0$. This is optimal up to the constant $c$. Finally, we show that if $n$ is sufficiently large, then every such collection spans $n/2$ pairwise edge-disjoint Hamilton cycle transversals, and this is best possible. These statements generalize classical counting results of Hamilton cycles in a single Dirac graph.
Weak degeneracy of regular graphs
Published
• View Publication
• BIB
Motivated by the study of greedy algorithms for graph coloring, Bernshteyn and Lee introduced a generalization of graph degeneracy, which is called weak degeneracy. In this paper, we show the lower bound of the weak degeneracy for $d$-regular graphs is exactly $\lfloor d/2\rfloor +1$, which is tight. This result refutes the conjecture of Bernshteyn and Lee on this lower bound.
The comparison of two Zagreb-Fermat eccentricity indices
Published
• View Publication
• BIB
In this paper, we focus on comparing the first and second Zagreb-Fermat eccentricity indices of graphs. We show that $$\frac{\sum_{uv\in E\left( G \right)}{\varepsilon_3\left( u \right) \varepsilon_3\left( v \right)}}{m\left( G \right)} \leq \frac{\sum_{u\in V\left( G \right)}{\varepsilon_{3}^{2}\left( u \right)}}{n\left( G \right)} $$ holds for all acyclic and unicyclic graphs. Besides, we verify that the inequality may not be applied to graphs with at least two cycles.
Hopf triangulations of spheres and equilibrium triangulations of projective spaces
Following work by the first author and Banchoff, we investigate triangulations of real and complex projective spaces of real and complex dimension $k$ that are adapted to the decomposition into "zones of influence" around the points $[1,0,\ldots,0],$ $\ldots,$ $[0,\ldots,0,1]$ in homogeneous coordinates. The boundary of such a "zone of influence" must admit a simplicial version of the Hopf decomposition of a sphere into "solid tori" of various dimensions. We present such {\em Hopf triangulations} of $S^{2k-1}$ for $k \leq 4$, and give candidate triangulations for arbitrary $k$.
In the complex case, a crucial role of this construction is the central $k$-torus as the intersection of all "zones of influence". Candidate triangulations of the $k$-torus with $2^{k+1}-1$, $k\geq 1$, vertices -- possibly the minimum numbers -- are well known. They admit an involution acting like complex conjugation and an automorphism of order $k+1$ realising the cyclic shift of coordinate directions in $\mathbb{C}P^k$. For $k=2$, this can be extended to what we call a {\em perfect equilibrium triangulation} of $\mathbb{C}P^2$, previously described in the literature. We prove that this is no longer possible for $k=3$, and no perfect equilibrium triangulation of $\mathbb{C}P^3$ exists. In the real case, the central torus is replaced by its fixed-point set under complex conjugation: the vertices of a $k$-dimensional cube. We revisit known equilibrium triangulations of $\mathbb{R}P^k$ for $k\leq 2$, and describe new equilibrium triangulations of $\mathbb{R}P^3$ and $\mathbb{R}P^4$.
Finally, we discuss the most symmetric and vertex-minimal triangulation of $\mathbb{R}P^4$ and present a tight polyhedral embedding of $\mathbb{R}P^3$ into 6-space. No such embedding was known before.
The Reversed Zeckendorf Game
Published
• View Publication
• BIB
Zeckendorf proved that every natural number $n$ can be expressed uniquely as a sum of non-consecutive Fibonacci numbers, called its Zeckendorf decomposition. Baird-Smith, Epstein, Flint, and Miller created the Zeckendorf game, a two-player game played on partitions of $n$ into Fibonacci numbers which always terminates at a Zeckendorf decomposition, and proved that Player 2 has a winning strategy for $n\geq 3$. Since their proof was non-constructive, other authors have studied the game to find a constructive winning strategy, and lacking success there turned to related problems. For example, Cheigh, Moura, Jeong, Duke, Milgrim, Miller, and Ngamlamai studied minimum and maximum game lengths and randomly played games. We explore a new direction and introduce the reversed Zeckendorf game, which starts at the ending state of the Zeckendorf game and flips all the moves, so the reversed game ends with all pieces in the first bin. We show that Player 1 has a winning strategy for $n = F_{i+1} + F_{i-2}$ and solve various modified games.
A protrusive ordering of 5 points not witnessed by any finite multiset
Published
• View Publication
• BIB
Given a finite set of points $C \subseteq \mathbb{R}^d$, we say that an ordering of $C$ is protrusive if every point lies outside the convex hull of the points preceding it. We give an example of a set $C$ of $5$ points in the Euclidean plane possessing a protrusive ordering that cannot be obtained by ranking the points of $C$ according to the sum of their distances to a finite multiset of points. This answers a question of Alon, Defant, Kravitz and Zhu.
Group divisible designs with block size 4 and group sizes 4 and 7
Published
• View Publication
• BIB
In this paper, we consider the existence of group divisible designs (GDDs) with block size $4$ and group sizes $4$ and $7$. We show that there exists a 4-GDD of type $4^t 7^s$ for all but a finite specified set of feasible values for $(t, s)$.
Classifying Tractable Instances of the Generalized Cable-Trench Problem
Published
• View Publication
• BIB
Given a graph $G$ rooted at a vertex $r$ and weight functions, $γ, τ: E(G) \rightarrow \mathbb{R}$, the generalized cable-trench problem (CTP) is to find a single spanning tree that simultaneously minimizes the sum of the total edge cost with respect to $τ$ and the single-source shortest paths cost with respect to $γ$. Although this problem is provably $NP$-complete in the general case, we examine certain tractable instances involving various graph constructions of trees and cycles, along with quantities associated to edges and vertices that arise out of these constructions. We show that given a graph in which all cycles are edge disjoint, there exists a fast method to determine a cable-trench solution. Further, we examine properties of graphs which contribute to the general intractability of the CTP and present some open questions in this direction.
On triangle-free graphs maximizing embeddings of bipartite graphs
Published
• View Publication
• BIB
In 1991 Gy\H ori, Pach, and Simonovits proved that for any bipartite graph $H$ containing a matching avoiding at most 1 vertex, the maximum number of copies of $H$ in any large enough triangle-free graph is achieved in a balanced complete bipartite graph. In this paper we improve their result by showing that if $H$ is a bipartite graph containing a matching of size $x$ and at most $\frac{1}{2}\sqrt{x-1}$ unmatched vertices, then the maximum number of copies of $H$ in any large enough triangle-free graph is achieved in a complete bipartite graph. We also prove that such a statement cannot hold if the number of unmatched vertices is $Ω(x)$.
Sidorenko Hypergraphs and Random Turán Numbers
Published
• View Publication
• BIB
Let $\mathrm{ex}(G_{n,p}^r,F)$ denote the maximum number of edges in an $F$-free subgraph of the random $r$-uniform hypergraph $G_{n,p}^r$, and let $s(F):=\sup\{s: \exists H,\ t_F(H)=t_{K_r^r}(H)^{s+e(F)}>0\}$. Following recent work of Conlon, Lee, and Sidorenko, we prove non-trivial lower bounds on $\mathrm{ex}(G_{n,p}^r,F)$ whenever $s(F)>0$, i.e. $F$ is not Sidorenko. This connection between Sidorenko's conjecture and random Turán problems gives new lower bounds on $\mathrm{ex}(G_{n,p}^r,F)$ whenever $s(F)>0$, and further allows us to establish upper bounds for $s(F)$ whenever upper bounds for $\mathrm{ex}(G_{n,p}^r,F)$ are known. As a consequence, we prove that $s(\mathrm{E}^r(K_{k+1}^k))=\frac{1}{r-k}$ where $\mathrm{E}^r(K_{k+1}^k)$ is the $r$-expansion of $K_{k+1}^k$.