Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Several Roman domination graph invariants on Kneser graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Graph Theory (May 26, 2023) dmtcs:10506
• View Publication
• BIB
This paper considers the following three Roman domination graph invariants on Kneser graphs:
Roman domination, total Roman domination, and signed Roman domination.
For Kneser graph $K_{n,k}$, we present exact values for Roman domination number $γ_{R}(K_{n,k})$ and total Roman domination number $γ_{tR}(K_{n,k})$ proving that for $n\geqslant k(k+1)$, $γ_{R}(K_{n,k}) =γ_{tR}(K_{n,k}) = 2(k+1)$. For signed Roman domination number $γ_{sR}(K_{n,k})$, the new lower and upper bounds for $K_{n,2}$ are provided: we prove that for $n\geqslant 12$, the lower bound is equal to 2, while the upper bound depends on the parity of $n$ and is equal to 3 if $n$ is odd, and equal to $5$ if $n$ is even. For graphs of smaller dimensions, exact values are found by applying exact methods from literature.
Higher Braidings of Diagonal Type
Published in SIGMA 19 (2023), 019, 23 pages
• View Publication
• BIB
Heckenberger introduced the Weyl groupoid of a finite-dimensional Nichols algebra of diagonal type. We replace the matrix of its braiding by a higher tensor and present a construction which yields further Weyl groupoids. Abelian cohomology theory gives evidence for the existence of a higher braiding associated to such a tensor.
The first Cotangent Cohomology Module for Matroids
We find a combinatorial formula which computes the first cotangent cohomology module of Stanley-Reisner rings associated to matroids. For arbitrary simplicial complexes we provide upper bounds for the dimensions of the multigraded components of T^1. For specific degrees we prove that these bounds are reached if and only if the simplicial complex is a matroid, obtaining thus a new characterization for matroids. Furthermore, the graded first cotangent cohomology turns out to be a complete invariant for nondiscrete matroids.
Square coloring planar graphs with automatic discharging
Published
• View Publication
• BIB
The discharging method is a powerful proof technique, especially for graph coloring problems. Its major downside is that it often requires lengthy case analyses, which are sometimes given to a computer for verification. However, it is much less common to use a computer to actively look for a discharging proof. In this paper, we use a Linear Programming approach to automatically look for a discharging proof. While our system is not entirely autonomous, we manage to make some progress towards Wegner's conjecture for distance-$2$ coloring of planar graphs, by showing that $12$ colors are sufficient to color at distance $2$ every planar graph with maximum degree $4$.
Shi arrangements restricted to Weyl cones
Published
• View Publication
• BIB
We consider the restrictions of Shi arrangements to Weyl cones, their relations to antichains in the root poset, and their intersection posets. For any Weyl cone, we provide bijections between regions, flats intersecting the cone, and antichains of a naturally-defined subposet of the root poset. This gives a refinement of the parking function numbers via the Poincaré polynomials of the intersection posets of all Weyl cones. Finally, we interpret these Poincaré polynomials as the Hilbert series of three isomorphic graded rings. One of these rings arises from the Varchenko-Gel'fand ring, another is the coordinate ring of the vertices of the order polytope of a subposet of the root poset, and the third is purely combinatorial.
A note on shortest circuit cover of 3-edge colorable cubic signed graphs
Published
• View Publication
• BIB
A {sign-circuit cover} $\mathcal{F}$ of a signed graph $(G, σ)$ is a family of sign-circuits which covers all edges of $(G, σ)$. The shortest sign-circuit cover problem was initiated by Má$\check{\text{c}}$ajová, Raspaud, Rollová, and Škoviera (JGT 2016) and received many attentions in recent years. In this paper, we show that every flow-admissible 3-edge colorable cubic signed graph $(G, σ)$ has a sign-circuit cover with length at most $\frac{20}{9} |E(G)|$.
A note on the distribution of the extreme degrees of a random graph via the Stein-Chen method
Published
• View Publication
• BIB
We offer an alternative proof, using the Stein-Chen method, of Bollobás' theorem concerning the distribution of the extreme degrees of a random graph. Our proof also provides a rate of convergence of the extreme degree to its asymptotic distribution. The same method also applies in a more general setting where the probability of every pair of vertices being connected by edges depends on the number of vertices.
Decompositions of Augmented Bergman Complexes
Published
• View Publication
• BIB
We study the augmented Bergman complex of a closure operator on a finite set, which interpolates between the order complex of proper flats and the independence complex of the operator. In 2020, Braden, Huh, Matherne, Proudfoot, and Wang showed that augmented Bergman complexes of matroids are always gallery-connected, and recently Bullock, Kelley, Reiner, Ren, Shemy, Shen, Sun, Tao, and Zhang strengthened "gallery-connected" to "shellable" by providing two classes of shelling orders: "flag-to-basis" shellings and "basis-to-flag" shellings.
We show that augmented Bergman complexes of matroids are vertex decomposable, a stronger property than shellable. We also prove that the augmented Bergman complex of any closure operator is shellable if and only if lattice of flats (that is, its non-augmented Bergman complex) is shellable. As a consequence, an augmented Bergman complex is shellable if and only if it admits a flag-to-basis shelling. Perhaps surprisingly, the same does not hold for basis-to-flag shellings: we describe a closure operator whose augmented Bergman complex is shellable, but has no shelling order with bases appearing first.
Distinct degrees and homogeneous sets
Published
• View Publication
• BIB
In this paper we investigate the extremal relationship between two well-studied graph parameters: the order of the largest homogeneous set in a graph $G$ and the maximal number of distinct degrees appearing in an induced subgraph of $G$, denoted respectively by $\hom (G)$ and $f(G)$. Our main theorem improves estimates due to several earlier researchers and shows that if $G$ is an $n$-vertex graph with $\hom (G) \geq n^{1/2}$ then $f(G) \geq \big ( {n}/{\hom (G)} \big )^{1 - o(1)}$. The bound here is sharp up to the $o(1)$-term, and asymptotically solves a conjecture of Narayanan and Tomon. In particular, this implies that $\max \{ \hom (G), f(G) \} \geq n^{1/2 -o(1)}$ for any $n$-vertex graph $G$,which is also sharp. The above relationship between $\hom (G)$ and $f(G)$ breaks down in the regime where $\hom (G) < n^{1/2}$. Our second result provides a sharp bound for distinct degrees in biased random graphs, i.e. on $f\big (G(n,p) \big )$. We believe that the behaviour here determines the extremal relationship between $\hom (G)$ and $f(G)$ in this second regime. Our approach to lower bounding $f(G)$ proceeds via a translation into an (almost) equivalent probabilistic problem, and it can be shown to be effective for arbitrary graphs. It may be of independent interest.
Posets and spaces of $k$-noncrossing RNA Structures
Published
• View Publication
• BIB
RNA molecules are single-stranded analogues of DNA that can fold into various structures which influence their biological function within the cell. RNA structures can be modelled combinatorially in terms of a certain type of graph called an RNA diagram. In this paper we introduce a new poset of RNA diagrams $\mathcal{B}^r_{f,k}$, $r\ge 0$, $k \ge 1$ and $f \ge 3$, which we call the Penner-Waterman poset, and, using results from the theory of multitriangulations, we show that this is a pure poset of rank $k(2f-2k+1)+r-f-1$, whose geometric realization is the join of a simplicial sphere of dimension $k(f-2k)-1$ and an $\left((f+1)(k-1)-1\right)$-simplex in case $r=0$. As a corollary for the special case $k=1$, we obtain a result due to Penner and Waterman concerning the topology of the space of RNA secondary structures. These results could eventually lead to new ways to investigate landscapes of RNA $k$-noncrossing structures.
The twist for Richardson varieties
Published
• View Publication
• BIB
We construct the twist automorphism of open Richardson varieties inside the flag variety of a complex semisimple algebraic group. We show that the twist map preserves totally positive parts, and prove a Chamber Ansatz formula for it. Our twist map generalizes the twist maps previously constructed by Berenstein-Fomin-Zelevinsky, Marsh-Scott, and Muller-Speyer. We use it to explain the relationship between the two conjectural cluster structures for Richardson varieties studied by Leclerc and by Ingermanson.
A combinatorial model for the fermionic diagonal coinvariant ring
Published
• View Publication
• BIB
Let $Θ_n = (θ_1, \dots, θ_n)$ and $Ξ_n = (ξ_1, \dots, ξ_n)$ be two lists of $n$ variables and consider the diagonal action of $\mathfrak{S}_n$ on the exterior algebra $\wedge \{ Θ_n, Ξ_n \}$ generated by these variables. Jongwon Kim and Rhoades defined and studied the fermionic diagonal coinvariant ring $FDR_n$ obtained from $\wedge \{ Θ_n, Ξ_n \}$ by modding out by the $\mathfrak{S}_n$-invariants with vanishing constant term. In joint work with Rhoades we gave a basis for the maximal degree components of this ring where the action of $\mathfrak{S}_n$ could be interpreted combinatorially via noncrossing set partitions. This paper will do similarly for the entire ring, although the combinatorial interpretation will be limited to the action of $\mathfrak{S}_{n-1} \subset \mathfrak{S}_n$. The basis will be indexed by a certain class of noncrossing partitions.
Unique Optima of the Delsarte Linear Program
Published in Des. Codes Cryptogr. 91:2117-2140 (2023)
• View Publication
• BIB
The Delsarte linear program is used to bound the size of codes given their block length $n$ and minimal distance $d$ by taking a linear relaxation from codes to quasicodes. We study for which values of $(n,d)$ this linear program has a unique optimum: while we show that it does not always have a unique optimum, we prove that it does if $d>n/2$ or if $d \leq 2$. Introducing the Krawtchouk decomposition of a quasicode, we prove there exist optima to the $(n,2e)$ and $(n-1,2e-1)$ linear programs that have essentially identical Krawtchouk decompositions, revealing a parity phenomenon among the Delsarte linear programs. We generalize the notion of extending and puncturing codes to quasicodes, from which we see that this parity relationship is given by extending/puncturing. We further characterize these pairs of optima, in particular demonstrating that they exhibit a symmetry property, effectively halving the number of decision variables.
The Dirac--Goodman--Pollack Conjecture
Published
• View Publication
• BIB
In one of their seminal articles on allowable sequences, Goodman and Pollack gave combinatorial generalizations for three problems in discrete geometry, one of which being the Dirac conjecture. According to this conjecture, any set of $n$ noncollinear points in the plane has a point incident to at least $c n$ connecting lines determined by the set. The notion of allowable sequences of permutations provides a natural combinatorial setting for analyzing these problems. Within this formalism, the conjectured generalization reads as follows: \emph{Any nontrivial allowable $n$-sequence $Σ$ has a local sequence $Λ_i$ whose half-period is at least $c n$.} The conjecture is confirmed here with a concrete bound $c=1/845$. Several related problems are discussed.
Topological approach to diagonalization algorithms
In this paper we prove that there exists an asymptotical diagonalization algorithm for a class of sparse Hermitian (or real symmetric) matrices if and only if the matrices become Hessenberg matrices after some permutation of rows and columns. The proof is based on Morse theory, Roberts' theorem on indifference graphs, toric topology, and computer-based homological calculations.
On complex roots of the independence polynomial
Published
• View Publication
• BIB
It is known from the work of Shearer (1985) (and also Scott and Sokal (2005)) that the independence polynomial $Z_G(λ)$ of a graph $G$ of maximum degree at most $d+1$ does not vanish provided that $\vertλ\vert \leq \frac{d^d}{(d+1)^{d+1}}$. Significant extensions of this result have recently been given in the case $\Re λ\geq 0$ by Peters and Regts (2019) and Bencs and Csikvári (arxiv:1807.08963). In this paper, our motivation is to further extend these results and find zero free regions when $\Re λ\leq 0$.
We begin by giving new geometric criteria for establishing zero-free regions as well as for carrying out semi-rigorous numerical explorations. We then provide two examples of the (rigorous) use of these criteria, by establishing two new zero-free regions in the left-half plane. We also improve upon the results of Bencs and Csikvári (arxiv:1807.08963) for the right half-plane using our framework. By a direct application of the interpolation method of Barvinok, combined with extensions due to Patel and Regts, these results also imply deterministic polynomial time approximation algorithms for the independence polynomial of bounded degree graphs in the new zero-free regions.
Properties and applications of the Apéry set of good semigroups in $\mathbb{N}^d$
Published
• View Publication
• BIB
In this article we discuss some applications of the construction of the Apéry set of a good semigroup in $\mathbb{N}^d$ given in the previous paper [Partition of the complement of good semigroup ideals and Apéry sets, Communications in Algebra, 49, No. 10, 4136-4158 (2021))]. In particular we study: the duality of a symmetric and almost symmetric good semigroup, the Apéry set of non-local good semigroups and the Apéry set of value semigroups of plane curves.
Moment functions of higher rank on polynomial hypergroups
Published
• View Publication
• BIB
In this paper we consider generalized moment functions of higher order. These functions are closely related to the well-known functions of binomial type which have been investigated on various abstract structures. In our former paper we investigated the properties of generalized moment functions of higher order on commutative groups. In particular, we proved the characterization of generalized moment functions on a commutative group as the product of an exponential and composition of multivariate Bell polynomial and a sequence additive functions. In the present paper we continue the study of generalized moment function sequences of higher order in the more abstract setting, namely we consider functions defined on a hypergroup. We characterize these functions on the polynomial hypergroup in one variable by means of partial derivatives of a composition of polynomials generating the polynomial hypergroup and an analytic function. As an example, we give an explicit formula for moment generating functions of rank at most two on the Tchebyshev hypergroup.
Quantum state transfer on integral oriented circulant graphs
Published
• View Publication
• BIB
An oriented circulant graph is called integral if all eigenvalues of its Hermitian adjacency matrix are integers. The main purpose of this paper is to investigate the existence of perfect state transfer ($\PST$ for short) and multiple state transfer ($\MST$ for short) on integral oriented circulant graphs. Specifically, a characterization of $\PST$ (or $\MST$) on integral oriented circulant graphs is provided. As an application, we also obtain a closed-form expression for the number of integral oriented circulant graphs with fixed order having $\PST$ (or $\MST$).
Perfect state transfer in neighborhood coronas
The neighborhood corona $G \star H$ is the graph obtained by taking one copy $G$ and $|G|$ copies of $H$, and joining each vertex of the $j$th copy of $H$ to all neighbors of $v_{j}$ in $G$. In this paper, we study the state transfer of neighborhood coronas related to the adjacency matrix. Concretely, we provide some necessary conditions under which the neighborhood corona $G \star H$ admits perfect state transfer, and obtain a new family of graphs with pretty good state transfer based on neighborhood coronas.