Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Rotor-Routing Induces the Only Consistent Sandpile Torsor Structure on Plane Graphs
Published
• View Publication
• BIB
We make precise and prove a conjecture of Klivans about actions of the sandpile group on spanning trees. More specifically, the conjecture states that there exists a unique ``suitably nice'' sandpile torsor structure on plane graphs which is induced by rotor-routing.
First, we rigorously define a sandpile torsor algorithm (on plane graphs) to be a map which associates each plane graph (i.e., planar graph with an appropriate ribbon structure) with a free transitive action of its sandpile group on its spanning trees. Then, we define a notion of consistency, which requires a torsor algorithm to be preserved with respect to a certain class of contractions and deletions. Using these definitions, we show that the rotor-routing sandpile torsor algorithm is consistent. Furthermore, we demonstrate that there are only three other consistent algorithms on plane graphs, which all have the same structure as rotor-routing.
We also define sandpile torsor algorithms on regular matroids and suggest a notion of consistency in this context. We conjecture that the Backman-Baker-Yuen algorithm is consistent, and that there are only three other consistent sandpile torsor algorithms on regular matroids, all with the same structure.
Matroid schemes and geometric posets
The intersection data of a hyperplane arrangement is described by a geometric lattice, or equivalently a simple matroid. There is a rich interplay between this combinatorial structure and the topology of the arrangement complement. In this paper, we characterize the combinatorial structure underlying an abelian arrangement (such as a toric or elliptic arrangement) by defining a class of geometric posets and a generalization of matroids called matroid schemes. The intersection data of an abelian arrangement is encoded in a geometric poset, and we prove that a geometric poset is equivalent to a simple matroid scheme. We lay foundations for the theory of matroid schemes, discussing rank, flats, and independence. We also extend the definition of the Tutte polynomial to this setting and prove that it satisfies a deletion-contraction recurrence.
A proof of the $\frac{n!}{2}$ conjecture for hook shapes
Published
• View Publication
• BIB
A well-known representation-theoretic model for the transformed Macdonald polynomial $\widetilde{H}_μ(Z;t,q)$, where $μ$ is an integer partition, is given by the Garsia-Haiman module $\mathcal{H}_μ$. We study the $\frac{n!}{k}$ conjecture of Bergeron and Garsia, which concerns the behavior of certain $k$-tuples of Garsia-Haiman modules under intersection. In the special case that $μ$ has hook shape, we use a basis for $\mathcal{H}_μ$ due to Adin, Remmel, and Roichman to resolve the $\frac{n!}{2}$ conjecture by constructing an explicit basis for the intersection of two Garsia-Haiman modules.
Maximal origami flip graphs of flat-foldable vertices: properties and algorithms
Published in Journal of Graph Algorithms and Applications, Vol. 26, No. 4, 2020
• View Publication
• BIB
Flat origami studies straight line, planar graphs $C=(V,E)$ drawn on a region $R\subset\mathbb{R}^2$ that can act as crease patterns to map, or fold, $R$ into $\mathbb{R}^2$ in a way that is continuous and a piecewise isometry exactly on the faces of $C$. Associated with such crease pattern graphs are valid mountain-valley (MV) assignments $μ:E\to\{-1,1\}$, indicating which creases can be mountains (convex) or valleys (concave) to allow $R$ to physically fold flat without self-intersecting. In this paper, we initiate the first study of how valid MV assignments of single-vertex crease patterns are related to one another via face-flips, a concept that emerged from applications of origami in engineering and physics, where flipping a face $F$ means switching the MV parity of all creases of $C$ that border $F$. Specifically, we study the origami flip graph ${\rm{OFG}}(C)$, whose vertices are all valid MV assignments of $C$ and edges connect assignments that differ by only one face flip. We prove that, for the single-vertex crease pattern $A_{2n}$ whose $2n$ sector angles around the vertex are all equal, ${\rm{OFG}}(A_{2n})$ contains as subgraphs all other origami flip graphs of degree-$2n$ flat origami vertex crease patterns. We also prove that ${\rm{OFG}}(A_{2n})$ is connected and has diameter $n$ by providing two $O(n^2)$ algorithms to traverse between vertices in the graph, and we enumerate the vertices, edges, and degree sequence of ${\rm{OFG}}(A_{2n})$. We conclude with open questions on the surprising complexity found in origami flip graphs of this type.
Realization of zero-divisor graphs of finite commutative rings as threshold graphs
Published
• View Publication
• BIB
Let R be a finite commutative ring with unity, and let G = (V, E) be a simple graph. The zero-divisor graph, denoted by Γ(R) is a simple graph with vertex set as R, and two vertices x, y \in R are adjacent in Γ(R) if and only if $xy = 0$. In [10], the authors have studied the Laplacian eigenvalues of the graph Γ(Z_n) and for distinct proper divisors d_1, d_2, \dots, d_k of n, they defined the sets as, A_{d_i} = {x \in Zn : (x, n) = d_i}, where (x, n) denotes the greatest common divisor of x and n. In this paper, we show that the sets A_{d_i}, 1 \leq i \leq k are actually orbits of the group action: Aut(Γ(R)) \times R \longrightarrow R, where Aut(Γ(R)) denotes the automorphism group of Γ(R). Our main objective is to determine new classes of threshold graphs, since these graphs play an important role in several applied areas. For a reduced ring R, we prove that Γ(R) is a connected threshold graph if and only if R = F_q or R = F_2 \times F_q. We provide classes of threshold graphs realized by some classes of local rings. Finally, we characterize all finite commutative rings with unity of which zero-divisor graphs are not threshold.
On the Linear Components Space of S-boxes Generated by Orthogonal Cellular Automata
Published
• View Publication
• BIB
We investigate S-boxes defined by pairs of Orthogonal Cellular Automata (OCA), motivated by the fact that such CA always define bijective vectorial Boolean functions, and could thus be interesting for the design of block ciphers. In particular, we perform an exhaustive search of all nonlinear OCA pairs of diameter $d=4$ and $d=5$, which generate S-boxes of size $6\times 6$ and $8\times 8$, respectively. Surprisingly, all these S-boxes turn out to be linear, and thus they are not useful for the design of confusion layers in block ciphers. However, a closer inspection of these S-boxes reveals a very interesting structure. Indeed, we remark that the linear components space of the OCA-based S-boxes found by our exhaustive search are themselves the kernels of linear CA, or, equivalently, \emph{polynomial codes}. We finally classify the polynomial codes of the S-boxes obtained in our exhaustive search and observe that, in most cases, they actually correspond to the cyclic code with generator polynomial $X^{b}+1$, where $b=d-1$. Although these findings rule out the possibility of using OCA to design good S-boxes in block ciphers, they give nonetheless some interesting insights for a theoretical characterization of nonlinear OCA pairs, which is still an open question in general.
Weighted Tutte-Grothendieck polynomials of graphs
Published
• View Publication
• BIB
In this paper, we introduce the concept of the weighted (harmonic) chromatic polynomials of graphs and discuss some of its properties. We also present the notion of the weighted (harmonic) Tutte--Grothendieck polynomials of graphs and give a generalization of the recipe theorem between the harmonic Tutte--Grothendieck polynomials graphs and the harmonic Tutte polynomials of matroids. Moreover, we give some constructions of the weighted (harmonic) Tutte--Grothendieck invariants for graphs and the weighted (harmonic) Tutte invariants for matroids. Finally, we give a remark on the categorification of the harmonic chromatic polynomials of graphs and harmonic Tutte polynomials of matroids.
There are infinitely many monotone games over $L_5$
A notion of combinatorial game over a partially ordered set of atomic outcomes was recently introduced by Selinger. These games are appropriate for describing the value of positions in Hex and other monotone set coloring games. It is already known that there are infinitely many distinct monotone game values when the poset of atoms is not linearly ordered, and that there are only finitely many such values when the poset of atoms is linearly ordered with 4 or fewer elements. In this short paper, we settle the remaining case: when the atom poset has 5 or more elements, there are infinitely many distinct monotone values.
On the treewidth of generalized Kneser graphs
The generalized Kneser graph $K(n,k,t)$ for integers $k>t>0$ and $n>2k-t$ is the graph whose vertices are the $k$-subsets of $\{1,\dots,n\}$ with two vertices adjacent if and only if they share less than $t$ elements. We determine the treewidth of the generalized Kneser graphs $K(n,k,t)$ when $t\ge 2$ and $n$ is sufficiently large compared to $k$. The imposed bound on $n$ is a significant improvement of a previously known bound. One consequence of our result is the following. For each integer $c\ge 1$ there exists a constant $K(c)\ge 2c$ such that $k\ge K(c)$ implies for $t=k-c$ that $$tw(K(n,k,t))=\binom{n}{k}-\binom{n-t}{k-t}-1$$ if and only if $n\ge (t+1)(k+1-t)$ .
Cluster-permutohedra and submanifolds of flag varieties with torus actions
Published in Int. Math. Res. Notices, rnad076, 2023
• View Publication
• BIB
In this paper we describe a relation between the notion of graphicahedron, introduced by Araujo-Pardo, Del Río-Francos, López-Dudet, Oliveros, and Schulte in 2010, and toric topology of manifolds of sparse isospectral Hermitian matrices. More precisely, we recall the notion of a cluster-permutohedron, a certain finite poset defined for a simple graph $Γ$. This poset is build as a combination of cosets of the symmetric group, and the geometric lattice of the graphical matroid of $Γ$. This poset is similar to the graphicahedron of $Γ$, in particular, 1-skeleta of both posets are isomorphic to Cayley graphs of the symmetric group. We describe the relation between cluster-permutohedron and graphicahedron using Galois connection and the notion of a core of a finite topology. We further prove that the face poset of the natural torus action on the manifold of isospectral $Γ$-shaped Hermitian matrices is isomorphic to the cluster-permutohedron. Using recent results in toric topology, we show that homotopy properties of graphicahedra may serve an obstruction to equivariant formality of isospectral matrix manifolds. We introduce a generalization of a cluster-permutohedron and describe the combinatorial structure of a large family of manifolds with torus actions, including Grassmann manifolds and partial flag manifolds.
On the sum of chemical reactions
Published
• View Publication
• BIB
It is standard in chemistry to represent a sequence of reactions by a single overall reaction, often called a complex reaction in contrast to an elementary reaction. Photosynthesis $6 \text{CO}_2+6 \text{H}_2\text{O} \to \ \text{C}_6\text{H}_{12}\text{O}_6$ $+\ 6 \text{O}_2$ is an example of such complex reaction. We introduce a mathematical operation that corresponds to summing two chemical reactions. Specifically, we define an associative and non-communicative operation on the product space $\mathbb{N}_0^n\times \mathbb{N}_0^n$ (representing the reactant and the product of a chemical reaction, respectively). The operation models the overall effect of two reactions happening in succession, one after the other. We study the algebraic properties of the operation and apply the results to stochastic reaction networks, in particular to reachability of states, and to reduction of reaction networks.
The maximum $A_α$-spectral radius of $t$-connected graphs with bounded matching number
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be a diagonal matrix of the degrees of $G$. In 2017, Nikiforov defined the $A_α$-matrix of $G$ as \begin{equation*} A_α(G)=αG)+(1-α)A(G), \end{equation*}d where $α\in[0,1]$ is an arbitrary real number. The largest eigenvalue of $A_α(G)$ is called the $A_α$-spectral radius of $G$. Let $n$, $t$, $k$ be positive integers, satisfying $t\geq1$, $k\geq2$, $n\geq k+2$, and $n\equiv k$ (mod $2$). In this paper, for $α\in[0,\frac{1}{2}]$, we determine the extremal graphs with the maximum $A_α$-spectral radius among all $t$-connected graphs on $n$ vertices with matching number $\frac{n-k}{2}$ at most. This generalizes some results of O (2021) and Zhang (2022).
Independent set reconfiguration on directed graphs
Published
• View Publication
• BIB
\textsc{Directed Token Sliding} asks, given a directed graph and two sets of pairwise nonadjacent vertices, whether one can reach from one set to the other by repeatedly applying a local operation that exchanges a vertex in the current set with one of its out-neighbors, while keeping the nonadjacency. It can be seen as a reconfiguration process where a token is placed on each vertex in the current set, and the local operation slides a token along an arc respecting its direction. Previously, such a problem was extensively studied on undirected graphs, where the edges have no directions and thus the local operation is symmetric. \textsc{Directed Token Sliding} is a generalization of its undirected variant since an undirected edge can be simulated by two arcs of opposite directions.
In this paper, we initiate the algorithmic study of \textsc{Directed Token Sliding}. We first observe that the problem is PSPACE-complete even if we forbid parallel arcs in opposite directions and that the problem on directed acyclic graphs is NP-complete and W[1]-hard parameterized by the size of the sets in consideration. We then show our main result: a linear-time algorithm for the problem on directed graphs whose underlying undirected graphs are trees, which are called polytrees. Such a result is also known for the undirected variant of the problem on trees~[Demaine et al.~TCS 2015], but the techniques used here are quite different because of the asymmetric nature of the directed problem. We present a characterization of yes-instances based on the existence of a certain set of directed paths, and then derive simple equivalent conditions from it by some observations, which admits an efficient algorithm. For the polytree case, we also present a quadratic-time algorithm that outputs, if the input is a yes-instance, one of the shortest reconfiguration sequences.
Hamilton Cycles In Primitive Graphs of Order $2rs$
Published
• View Publication
• BIB
After long term efforts, it was recently proved in \cite{DKM2} that except for the Peterson graph, every connected vertex-transitive graph of order $rs$ has a Hamilton cycle, where $r$ and $s$ are primes. A natural topic is to solve the hamiltonian problem for connected vertex-transitive graphs of $2rs$. This topic is quite trivial, as the problem is still unsolved even for that of $r=3$. In this paper, it is shown that except for the Coxeter graph, every connected vertex-transitive graph of order $2rs$ contains a Hamilton cycle, provided the automorphism group acts primitively on vertices.
Improved Lower Bounds for Multicolour Ramsey Numbers using SAT-Solvers
This paper sets out the results of a range of searches for linear and cyclic graph colourings with specific Ramsey properties. The new graphs comprise mainly 'template graphs' which can be used in a construction described by the current author in 2021 to build linear or cyclic compound graphs with inherited Ramsey properties. These graphs result in improved lower bounds for a wide range of multicolour Ramsey numbers.
Searches were carried out using relatively simple programs (written in the language `C') to generate clauses for input to the PeneLoPe and Plingeling parallel SAT-solvers. When solutions were found, the output from the solvers specified the desired graph colourings.
The majority of the graphs produced by this work are `template graphs' with parameters in the form $(k,k,3)$ or $(k,l,3)$ with $k \ne l$. Using these template graphs in familiar constructions, it has been possible to demonstrate significant improvements for lower bounds for most $R_r(k)$ for $5 \le k \le 9$ and $r \ge 4$. These improvements provide correspondingly increased lower bounds on $Γ(k) = \lim_{\substack{r \rightarrow \infty}} R{_r}(k)^{1/r}$.
We also show that $R_3(8) \ge 7174$ and $R_3(9) \ge 15041$. Other new lower bounds include $R(3,6,6) \ge 338$ and $R(3,8,8) \ge 941$, based on non-template cyclic graphs, and the interesting particular cases $R(3,4,5,5) \ge 729$ and $R(3,5,5,5) \ge 1429$.
A spreadsheet containing specimens of many of the graphs mentioned here will be attached as an ArXiv ancillary file.
Some Refinements of Stanley's Shuffle Theorem
Published in J. Combin. Theory A 203 (2024) 105830
• View Publication
• BIB
We first give a combinatorial proof of Stanley's shuffle theorem by using the insertion lemma of Haglund, Loehr and Remmel. Based on this combinatorial construction, we establish several refinements of Stanley's shuffle theorem.
An existence criterion for a cycle such that the vertex set beyond this cycle is independent
Published in Zap. Nauchn. Sem. POMI, 497, pp. 53-79, 2020 (in Russian)
• View Publication
• BIB
We prove that if $G$ is a 2-connected graph with $δ(G) \geqslant \frac{v(G) + 2}{3}$ then $G$ has a cycle $W$ such that $V(G - W)$ is independent. This result is best possible in the sense that it becomes false if $\frac{v(G) + 2}{3}$ is replaced by any smaller number.
Seshadri stratification for Schubert varieties and Standard Monomial Theory
The theory of Seshadri stratifications has been developed by the authors with the intention to build up a new geometric approach towards a standard monomial theory for embedded projective varieties with certain nice properties. In this article, we investigate the Seshadri stratification on a Schubert variety arising from its Schubert subvarieties. We show that the standard monomial theory developed in [32] is compatible with this new strategy.
Nowhere-zero 3-flows in nilpotently vertex-transitive graphs
Published
• View Publication
• BIB
We prove that every regular graph of valency at least four whose automorphism group contains a nilpotent subgroup acting transitively on the vertex set admits a nowhere-zero 3-flow.
On the probability of a Condorcet winner among a large number of alternatives
Consider $2k-1$ voters, each of which has a preference ranking between $n$ given alternatives. An alternative $A$ is called a Condorcet winner, if it wins against every other alternative $B$ in majority voting (meaning that for every other alternative $B$ there are at least $k$ voters who prefer $A$ over $B$). The notion of Condorcet winners has been studied intensively for many decades, yet some basic questions remain open. In this paper, we consider a model where each voter chooses their ranking randomly according to some probability distribution among all rankings. One may then ask about the probability to have a Condorcet winner with these randomly chosen rankings (which, of course, depends on $n$ and $k$, and the underlying probability distribution on the set of rankings). In the case of the uniform probability distribution over all rankings, which has received a lot of attention and is often referred to as the setting of an "impartial culture", we asymptotically determine the probability of having a Condorcet winner for a fixed number $2k-1$ of voters and $n$ alternatives with $n\to \infty$. This question has been open for around fifty years. While some authors suggested that the impartial culture should exhibit the lowest possible probability of having a Condorcet winner, in fact the probability can be much smaller for other distributions. We determine, for all values of $n$ and $k$, the smallest possible probability of having a Condorcet winner (and give an example of a probability distribution over all rankings which achieves this minimum possible probability).