Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Matroids satisfying the matroidal Cayley--Bacharach property and ranks of covering flats
Let $M$ be a matroid satisfying a matroidal analogue of the Cayley-Bacharach condition. Given a number $k \ge 2$, we show that there is no nontrivial bound on ranks of a $k$-tuple of flats covering the underlying set of $M$. This addresses a question of Levinson-Ullery motivated by earlier results which show that bounding the number of points satisfying the Cayley-Bacharach condition forces them to lie on low-dimensional linear subspaces. We also explore the general question what matroids satisfy the matroidal Cayley-Bacharach condition of a given degree and its relation to the geometry of generalized permutohedra and graphic matroids.
Partial Skew Motzkin Paths
Motzkin paths consist of up-steps, down-steps, level-steps, and never go below the $x$-axis. They return to the $x$-axis at the end. The concept of skew Dyck path \cite{Deutsch-italy} is transferred to skew Motzkin paths, namely, a left step $(-1,-1)$ is additionally allowed, but the path is not allowed to intersect itself. The enumeration of these combinatorial objects was known \cite{Qing}; here, using the kernel method, we extend the results by allowing them to end at a prescribed level $j$. The approach is completely based on generating functions.
Asymptotics of the total number of objects as well as the average height are also given.
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.