Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Decomposition of Beatty and Complementary Sequences
In this paper we express the difference of two complementary Beatty sequences, as the sum of two Beatty sequences closely related to them. In the process we introduce a new Algorithm that generalizes the well known Minimum Excluded algorithm and provides a method to generate combinatorially any pair of complementary Beatty sequences.
The polynomial method for 3-path extendability of list colourings of planar graphs
Published
• View Publication
• BIB
We restate Thomassen's theorem of 3-extendability, an extension of the famous planar 5-choosability theorem, in terms of graph polynomials. This yields an Alon--Tarsi equivalent of 3-extendability.
Twists of Gr(3,n) Cluster Variables as Double and Triple Dimer Partition Functions
Published
• View Publication
• BIB
We give a combinatorial interpretation for certain cluster variables in Grassmannian cluster algebras in terms of double and triple dimer configurations. More specifically, we examine several Gr(3,n) cluster variables that may be written as degree two or degree three polynomials in terms of Plücker coordinates, and give generating functions for their images under the twist map - a cluster algebra automorphism introduced in work of Berenstein-Fomin-Zelevinsky. The generating functions range over certain double or triple dimer configurations on an associated plabic graph, which we describe using particular non-crossing matchings or webs (as defined by Kuperberg), respectively. These connections shed light on a recent conjecture of Cheung et al., extend the concept of web duality introduced in a paper of Fraser-Lam-Le, and more broadly make headway on understanding Grassmannian cluster algebras for Gr(3,n).
Unit-Interval Parking Functions and the Permutohedron
Published
• View Publication
• BIB
Unit-interval parking functions are subset of parking functions in which cars park at most one spot away from their preferred parking spot. In this paper, we characterize unit-interval parking functions by understanding how they decompose into prime parking functions and count unit-interval parking functions when exactly $k<n$ cars do not park in their preference. This count yields an alternate proof of a result of Hadaway and Harris establishing that unit-interval parking functions are enumerated by the Fubini numbers. Then, our main result, establishes that for all integers $0\leq k<n$, the unit-interval parking functions of length $n$ with displacement $k$ are in bijection with the $k$-dimensional faces of the permutohedron of order $n$. We conclude with some consequences of this result.
Chromatic number is not tournament-local
Scott and Seymour conjectured the existence of a function $f \colon \mathbb{N} \to \mathbb{N}$ such that, for every graph $G$ and tournament $T$ on the same vertex set, $χ(G) \geqslant f(k)$ implies that $χ(G[N_T^+(v)]) \geqslant k$ for some vertex $v$. In this note we disprove this conjecture even if $v$ is replaced by a vertex set of size $\mathcal{O}(\log{\lvert V(G)\rvert})$. As a consequence, we answer in the negative a question of Harutyunyan, Le, Thomassé, and Wu concerning the corresponding statement where the graph $G$ is replaced by another tournament, and disprove a related conjecture of Nguyen, Scott, and Seymour. We also show that the setting where chromatic number is replaced by degeneracy exhibits a quite different behaviour.
$h$-vector inequalities under weak maps
Published
• View Publication
• BIB
We study the behavior of $h$-vectors associated to matroid complexes under weak maps, or inclusions of matroid polytopes. Specifically, we show that the $h$-vector of the order complex of the lattice of flats of a matroid is component-wise non-increasing under a weak map. This result extends to the flag $h$-vector. We note that the analogous result also holds for independence complexes and rank-preserving weak maps.
Induced subgraphs and tree decompositions IX. Grid theorem for perforated graphs
Published in Advances in Combinatorics 2025:3, 40pp
• View Publication
• BIB
The celebrated Erdős-Pósa Theorem, in one formulation, asserts that for every $c\geq 1$, graphs with no subgraph (or equivalently, minor) isomorphic to the disjoint union of $c$ cycles have bounded treewidth. What can we say about the treewidth of graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles?
Let us call these graphs $c$-perforated. While $1$-perforated graphs have treewidth one, complete graphs and complete bipartite graphs are examples of $2$-perforated graphs with arbitrarily large treewidth. But there are sparse examples, too: Bonamy, Bonnet, Déprés, Esperet, Geniet, Hilaire, Thomassé and Wesolek constructed $2$-perforated graphs with arbitrarily large treewidth and no induced subgraph isomorphic to $K_3$ or $K_{3,3}$; we call these graphs occultations. Indeed, it turns out that a mild (and inevitable) adjustment of occultations provides examples of $2$-perforated graphs with arbitrarily large treewidth and arbitrarily large girth, which we refer to as full occultations.
Our main result shows that the converse also holds: for every $c\geq 1$, a $c$-perforated graph has large treewidth if and only if it contains, as an induced subgraph, either a large complete graph, or a large complete bipartite graph, or a large full occultation. This distinguishes $c$-perforated graphs, among graph classes purely defined by forbidden induced subgraphs, as the first to admit a grid-type theorem incorporating obstructions other than subdivided walls and their line graphs.
More generally, for all $c,o\geq 1$, we establish a full characterization of induced subgraph obstructions to bounded treewidth in graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles, each of length at least $o+2$.
An overview of horospherical varieties and coloured fans
We provide an overview of the combinatorial theory of horospherical varieties using coloured fans, a generalization of the combinatorial theory of toric varieties using polyhedral fans.
The Spectral Geometry of the Mesh Matrices of Graphs
The mesh matrix $Mesh(G,T_0)$ of a connected finite graph $G=(V(G),E(G))=(vertices, edges) \ of \ G$ of with respect to a choice of a spanning tree $T_0 \subset G$ is defined and studied. It was introduced by Trent \cite{Trent1,Trent2}. Its characteristic polynomial $det(X \cdot Id -Mesh(G,T_0))$ is shown to equal $Σ_{j=0}^{N} \ (-1)^j \ ST_{j}(G,T_0)\ (X-1)^{N-j} \ (\star)$ \ where $ST_j(G,T_0)$ is the number of spanning trees of $G$ meeting $E(G-T_0)$ in j edges and $N=|E(G-T_0)|$. As a consequence, there are Tutte-type deletion-contraction formulae for computing this polynomial. Additionally, $Mesh(G,T_0) -Id$ is of the special form $Y^t \cdot Y$; so the eigenvalues of the mesh matrix $Mesh(G,T_0)$ are all real and are furthermore be shown to be $\ge +1$. It is shown that $Y \cdot Y^t$, called the mesh Laplacian, is a generalization of the standard graph Kirchhoff Laplacian $Δ(H)= Deg -Adj$ of a graph $H$.For example, $(\star)$ generalizes the all minors matrix tree theorem for graphs $H$ and gives a deletion-contraction formula for the characteristic polynomial of $Δ(H)$. This generalization is explored in some detail. The smallest positive eigenvalue of the mesh Laplacian, a measure of flux, is estimated, thus extending the classical inequality for the Kirchoff Laplacian of graphs.
Near automorphisms of $G_{(n,m)}$
Let $G$ be a graph with vertex set $V(G)$, $f$ a permutation of $V(G)$. Define $δ_f(G)=|d(x,y)-d(f(x),f(y))|$ and $δ_f(G)=Σδ_f(x,y)$, where the sum is taken over all unordered pair $x$, $y$ of distinct vertices of $G$. $δ_f(x,U)=Σδ_f(x,y)$, where $U\subseteq V(G)$ and $y\in U$. Let $π(G)$ denote the smallest positive value of $δ_f(G)$ among all permutations of $V(G)$. A permutation $f$ with $δ_f(G)=π(G)$ is called a near automorphisms of $G$\cite{HV}. In this paper, we define $G_{(n,m)}$ is a graph obtained from $K_n$ by add $t_i$ pendent vertices to $y_i$ which is a vertex of $K_n$, $i=1,\cdots,m$, and we say $y_i$ is a c-pendent vertex of $G_(n,m)$. We determine $π(G_{(n,m)})$ and describe permutations $f$ of $G_{(n,m)}$ for which $π(G_{(n,m)})=δ_f(G_{(n,m)})$. Because $G_{(1,1)}$ is a star and it is easy, hence we let $n\geq 2$. Suppose $G_(n,m)$ has $m$ c-pendent vertices $\{y_1, \ldots, y_m\}$ and $y_i$ has $t_i$ pendent vertices($1\leq t_1\leq t_2\leq \ldots \leq t_m$). For $m<n$ we have $$π(G_{(n,m)})= \left\{ \begin{array}{lc} 2n-4 & n \leq t_1+2, m=1 \cr 2t_1&otherwise \end{array} \right. $$ For $m=n$ we have $$π(G_{(n,n)})= \left\{ \begin{array}{lc} 4 & t_1=1,t_2=2 \cr 2t_1+2t_2&otherwise \end{array} \right.$$
A combinatorial model for $q$-characters of fundamental modules of type $D_{n}$
Published
• View Publication
• BIB
In this paper, we introduce a combinatorial path model of representation of the quantum affine algebra of type $D_n$, inspired by Mukhin and Young's combinatorial path models of representations of the quantum affine algebras of types $A_n$ and $B_n$. In particular, we give a combinatorial formula for $q$-characters of fundamental modules of type $D_{n}$ by assigning each path to a monomial or binomial. By counting our paths, a new expression on dimensions of fundamental modules of type $D_n$ is obtained.
A matrix variant of the Erdős-Falconer distance problems over finite field
Published
• View Publication
• BIB
We study a matrix analog of the Erdős-Falconer distance problems in vector spaces over finite fields. There arises an interesting analysis of certain quadratic matrix Gauss sums.
From multivalued to Boolean functions: preservation of soft nested canalization
Published
• View Publication
• BIB
Nested canalization (NC) is a property of Boolean functions which has been recently extended to multivalued functions. We study the effect of the Van Ham mapping (from multivalued to Boolean functions) on this property. We introduce the class of softly nested canalizing (SNC) multivalued functions, and prove that the Van Ham mapping sends SNC multivalued functions to NC Boolean functions. Since NC multivalued functions are SNC, this preservation property holds for NC multivalued functions as well. We also study the relevance of SNC functions in the context of gene regulatory network modelling.
On the number of tangencies among 1-intersecting curves
Published
• View Publication
• BIB
Let $\cal C$ be a set of curves in the plane such that no three curves in $\cal C$ intersect at a single point and every pair of curves in $\cal C$ intersect at exactly one point which is either a crossing or a touching point. According to a conjecture of János Pach the number of pairs of curves in $\cal C$ that touch each other is $O(|{\cal C}|)$. We prove this conjecture for $x$-monotone curves.
Towards the horizons of Tits's vision -- on band schemes, crowds and F1-structures
Published in Innov. Incidence Geom. 20 (2023) 353-394
• View Publication
• BIB
This text is dedicated to Jacques Tits's ideas on geometry over F1, the field with one element. In a first part, we explain how thin Tits geometries surface as rational point sets over the Krasner hyperfield, which links these ideas to combinatorial flag varieties in the sense of Borovik, Gelfand and White and F1-geometry in the sense of Connes and Consani. A completely novel feature is our approach to algebraic groups over F1 in terms of an alteration of the very concept of a group. In the second part, we study an incidence-geometrical counterpart of (epimorphisms to) thin Tits geometries; we introduce and classify all F1-structures on 3-dimensional projective spaces over finite fields. This extends recent work of Thas and Thas on epimorphisms of projective planes (and other rank 2 buildings) to thin planes.
On 4-general sets in finite projective spaces
Published
• View Publication
• BIB
A $4$-general set in ${\rm PG}(n,q)$ is a set of points of ${\rm PG}(n,q)$ spanning the whole ${\rm PG}(n,q)$ and such that no four of them are on a plane. Such a pointset is said to be complete if it is not contained in a larger $4$-general set of ${\rm PG}(n, q)$. In this paper upper and lower bounds for the size of the largest and the smallest complete $4$-general set in ${\rm PG}(n,q)$, respectively, are investigated. Complete $4$-general sets in ${\rm PG}(n,q)$, $q \in \{3,4\}$, whose size is close to the theoretical upper bound are provided. Further results are also presented, including a description of the complete $4$-general sets in projective spaces of small dimension over small fields and the construction of a transitive $4$-general set of size $3(q + 1)$ in ${\rm PG}(5, q)$, $q \equiv 1 \pmod{3}$.
Isomorphic pastings and the two possible structures for a pair of graphs having the same deck
When G denotes a graph, the unlabeled subgraph obtained by deleting a vertex from G is called a card of G and the collection of all cards of G is the deck of G. A graph having the same deck as G is called a hypomorph of G. A graph is called reconstructible if it is isomorphic to all its hypomorphs. Reconstruction Conjecture claims that all graphs are reconstructible and it is open. A representation of a hypomorph of G in terms of two of its cards, called pasting, is introduced. Isomorphic pastings of two cards is defined. In the case of a digraph, a card with which the degree triple of the deleted vertex is also given is called a degree associated card or dacard. Dadeck, dareconstructible digraphs, dapastings and isomorphic dapastings based on dacards are defined analogously. DARC claims that all digraphs are dareconstructible and it is also open. Results: Two hypomorphs G and H of a graph are isomorphic if and only if a pair of cards in their common deck is pasted isomorphically in both G and H. Either every pair of cards in their common deck is pasted isomorphically in both G and H, or no pair of cards is pasted isomorphically in both G and H. Results analogous to the above hold for dapastings in dahypomorphs of a digraph. Some results on pastings are proved and two graph parameters are reconstructed. The neighborhood degree quintuple of a vertex and a new family of digraphs are dareconstructible. New approaches for proving the reconstruction conjecture and DARC by the method of contradiction arise.
Constructions of Constant Dimension Subspace Codes
Published
• View Publication
• BIB
Subspace codes have important applications in random network coding. It is interesting to construct subspace codes with both sizes, and the minimum distances are as large as possible. In particular, cyclic constant dimension subspaces codes have additional properties which can be used to make encoding and decoding more efficient. In this paper, we construct large cyclic constant dimension subspace codes with minimum distances $2k-2$ and $2k$. These codes are contained in $\mathcal{G}_q(n, k)$, where $\mathcal{G}_q(n, k)$ denotes the set of all $k$-dimensional subspaces of $\mathbb{F}_{q^n}$. Consequently, some results in \cite{FW}, \cite{NXG}, and \cite{ZT} are extended.
The Complexity of 2-Intersection Graphs of 3-Hypergraphs Recognition for Claw-free Graphs and triangulated Claw-free Graphs
Published
• View Publication
• BIB
Given a 3-uniform hypergraph H, its 2-intersection graph G has for vertex set the hyperedges of H and ee' is an edge of G whenever e and e' have exactly two common vertices in H. Di Marco et al. prove that deciding wether a graph G is the 2-intersection graph of a 3-uniform hypergraph is NP-complete. The main problems we study concern the class of claw-free graphs. We show that the recognition problem remains NP-complete when G is claw-free graphs but becomes polynomial if in addition G is triangulated.
Symmetrization for finitely dependent colouring
Published
• View Publication
• BIB
We prove the existence of a finitely dependent proper colouring of the integer lattice Z^d that is fully isometry-invariant in law, for all dimensions d. Previously this was known only for d=1, while only translation-invariant examples were known for higher d. Moreover we show that four colours suffice, and that the colouring can be expressed as an isometry-equivariant finitary factor of an i.i.d. process, with exponential tail decay on the coding radius. Our construction starts from known translation-invariant colourings and applies a symmetrization technique of possible broader utility.