Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Pebbling number of polymers
Let $G=(V,E)$ be a simple graph. A function $f:V\rightarrow \mathbb{N}\cup \{0\}$ is called a configuration of pebbles on the vertices of $G$ and the quantity $\vert f\vert=\sum_{u\in V}f(u)$ is called the weight of $f$ which is just the total number of pebbles assigned to vertices. A pebbling step from a vertex $u$ to one of its neighbors $v$ reduces $f(u)$ by two and increases $f(v)$ by one. A pebbling configuration $f$ is said to be solvable if for every vertex $ v $, there exists a sequence (possibly empty) of pebbling moves that results in a pebble on $v$. The pebbling number $ π(G) $ equals the minimum number $ k $ such that every pebbling configuration $ f $ with $ \vert f\vert = k $ is solvable. Let $ G $ be a connected graph constructed from pairwise disjoint connected graphs $ G_1,...,G_k $ by selecting a vertex of $ G_1 $, a vertex of $ G_2 $, and identifying these two vertices. Then continue in this manner inductively. We say that $ G $ is a polymer graph, obtained by point-attaching from monomer units $ G_1,...,G_k $. In this paper, we study the pebbling number of some polymers.
Local expressions of hereditary classes
A well-established research line in structural and algorithmic graph theory is characterizing graph classes by listing their minimal obstructions. When this list is finite for some class $\mathcal C$ we obtain a polynomial-time algorithm for recognizing graphs in $\mathcal C$, and from a logic point of view, having finitely many obstructions corresponds to being definable by a universal sentence. However, in many cases we study classes with infinite sets of minimal obstructions, and this might have neither algorithmic nor logic implications for such a class. Some decades ago, Skrien (1982) and Damaschke (1990) introduced finite expressions of graph classes by means of forbidden orientations and forbidden linear orderings, and recently, similar research lines appeared in the literature, such as expressions by forbidden circular orders, by forbidden tree-layouts, and by forbidden edge-coloured graphs. In this paper, we introduce local expressions of graph classes; a general framework for characterizing graph classes by forbidden equipped graphs. In particular, it encompasses all research lines mentioned above, and we provide some new examples of such characterizations. Moreover, we see that every local expression of a class $\mathcal C$ yields a polynomial-time certification algorithm for graphs in $\mathcal C$. Finally, from a logic point of view, we show that being locally expressible corresponds to being definable in the logic SNP introduced by Feder and Vardi (1999).
Equable Parallelograms on the Eisenstein Lattice
Published
• View Publication
• BIB
This paper studies equable parallelograms whose vertices lie on the Eisenstein lattice. Using Rosenberger's Theorem on generalised Markov equations, we show that the set of these parallelograms forms naturally an infinite tree, all of whose vertices have degree 4, bar the root which has degree 3. This study naturally complements the authors' previous study of equable parallelograms whose vertices lie on the integer lattice.
On the maximum value of the stairs2 index
Published
• View Publication
• BIB
Measures of tree balance play an important role in different research areas such as mathematical phylogenetics or theoretical computer science. The balance of a tree is usually quantified in a single number, called a balance or imbalance index, and several such indices exist in the literature. Here, we focus on the stairs2 balance index for rooted binary trees, which was first introduced in the context of viral phylogenetics but has not been fully analyzed from a mathematical viewpoint yet. While it is known that the caterpillar tree uniquely minimizes the stairs2 index for all leaf numbers and the fully balanced tree uniquely maximizes the stairs2 index for leaf numbers that are powers of two, understanding the maximum value and maximal trees for arbitrary leaf numbers is an open problem in the literature. In this note, we fill this gap by showing that for all leaf numbers, there is a unique rooted binary tree maximizing the stairs2 index. Additionally, we obtain recursive and closed expressions for the maximum value of the stairs2 index of a rooted binary tree with $n$ leaves.
Manifolds from Partitions
If f maps a discrete d-manifold G onto a (k+1)-partite complex P then H(G,f,P),the set of simplices x in G such that f(x) contains at least one facet in P defines a (d-k)-manifold.
Bijections between different combinatorial models for $q$-Whittaker and modified Hall-Littlewood polynomials
Published
• View Publication
• BIB
We consider the monomial expansion of the $q$-Whittaker and modified Hall-Littlewood polynomialsarising from specialization of the modified Macdonald polynomial. The two combinatorial formulas for the latter due to Haglund, Haiman, and Loehr and Ayyer, Mandelshtam and Martin give rise to two different parameterizing sets in each case. We produce bijections between the parameterizing sets which preserve the content and major index statistics. We identify the major index with the charge or cocharge of appropriate words and use descriptions of the latter due to Lascoux-Sch$\ddot{\text{u}}$tzenberger and Killpatrick to show that our bijections have the desired properties.
Growing Trees and Amoebas' Replications
Published
• View Publication
• BIB
An amoeba is a tree together with instructions how to iteratively grow trees by adding paths of a fixed length $\ell$. This paper analyses such a growth process. An amoeba is mortal if all versions of the process are finite, and it is immortal if they are all infinite. We obtain some necessary and some sufficient conditions for mortality. In particular, for growing caterpillars in the case $\ell=1$ we characterize mortal amoebas. We discuss variations of the mortality concept, conjecture that some of them are equivalent, and support this conjecture for $\ell\in\{1,2\}$.
2-levelness of Marked Poset Polytopes and the Ehrhart polynomial
It is already known that order polytopes and chain polytopes are always 2-level polytopes. In general, this is not true for marked order and marked chain polytopes. We study the geometry of marked order polytopes, marked chain polytopes, and marked chain-order polytopes, providing a comprehensive characterisation of 2-levelness for these polytopes. Furthermore, we present an exact formula for the Ehrhart polynomial of marked order polytopes. Because of their connection to marked chain and marked chain-order polytopes, this polynomial is also the Ehrhart polynomial of these polytopes.
A greedy heuristic for graph burning
Published
• View Publication
• BIB
Given a graph $G$, the optimization version of the graph burning problem seeks for a sequence of vertices, $(u_1,u_2,...,u_p) \in V(G)^p$, with minimum $p$ and such that every $v \in V(G)$ has distance at most $p-i$ to some vertex $u_i$. The length $p$ of the optimal solution is known as the burning number and is denoted by $b(G)$, an invariant that helps quantify the graph's vulnerability to contagion. This paper explores the advantages and limitations of an $\mathcal{O}(mn + pn^2)$ deterministic greedy heuristic for this problem, where $n$ is the graph's order, $m$ is the graph's size, and $p$ is a guess on $b(G)$. This heuristic is based on the relationship between the graph burning problem and the clustered maximum coverage problem, and despite having limitations on paths and cycles, it found most of the optimal and best-known solutions of benchmark and synthetic graphs with up to 102400 vertices. Beyond practical advantages, our work unveils some of the fundamental aspects of graph burning: its relationship with a generalization of a classical coverage problem and compact integer programs. With this knowledge, better algorithms might be designed in the future.
Spectral conditions for graphs in which every edge belongs to a factor
A factor of a graph is a spanning subgraph. Spectral sufficient conditions are provided via spectral radius and signless Laplacian spectral radius for graphs with (i) a matching of given size (particularly, $1$-factor) containing any given edge, and (ii) a star factor with a component isomorphic to stars of order two or three containing any given edge, respectively.
Stabilities for non-uniform $t$-intersecting families
Published in Electronic Journal of Combinatorics 31 (4) (2024), #P4.3
• View Publication
• BIB
The study of intersection problems on families of sets is one of the most important topics in extremal combinatorics. As we all know, the extremal problems involving certain intersection constraints are equivalent to that with the union properties by taking complement of sets. A family of sets is called $s$-union if the union of any two sets in this family has size at most $s$. Katona [Acta Math. Hungar. 15 (1964)] provided the maximum size of an $s$-union family of sets of $[n]$, and he also determined the extremal families up to isomorphism. Recently, Frankl [J. Combin. Theory Ser. B 122 (2017) 869--876] sharpened this result by establishing the maximum size of an $s$-union family that is not a subfamily of the so-called Katona family. In this paper, we determine the maximum size of an $s$-union family that is neither contained in the Katona family nor in the Frankl family. Moreover, we characterize all extremal families achieving the upper bounds.
Intersective sets for sparse sets of integers
Published
• View Publication
• BIB
For $E \subset \mathbb{N}$, a subset $R \subset \mathbb{N}$ is $E$-intersective if for every $A \subset E$ having positive upper relative density, we have $R \cap (A - A) \neq \varnothing$. On the other hand, $R$ is chromatically $E$-intersective if for every finite partition $E=\bigcup_{i=1}^k E_i$, there exists $i$ such that $R\cap (E_i-E_i)\neq\varnothing$. When $E=\mathbb{N}$, we recover the usual notions of intersectivity and chromatic intersectivity.
In this article, we investigate to which extent known intersectivity results hold in the relative setting when $E = \mathbb{P}$, the set of primes, or other sparse subsets of $\mathbb{N}$. Among other things, we prove:
-There exists an intersective set that is not $\mathbb{P}$-intersective.
-However, every $\mathbb{P}$-intersective set is intersective.
-There exists a chromatically $\mathbb{P}$-intersective set which is not intersective (and therefore not $\mathbb{P}$-intersective).
-The set of shifted Chen primes $\mathbb{P}_{\mathrm{Chen}} + 1$ is $\mathbb{P}$-intersective (and therefore intersective).
Computing the clique number of tournaments
The clique number of a tournament is the maximum clique number of a graph formed by keeping backwards arcs in an ordering of its vertices. We study the time complexity of computing the clique number of a tournament and prove that, for any integer $k \geq 3$, deciding whether a tournament has clique number at most $k$ is NP-complete. This answers an interrogation of Nguyen, Scott and Seymour. To do so, we make use of a construction which we then modify to provide a counterexample to a conjecture of Aboulker, Aubian, Charbit and Lopes.
Growth and density in free groupoids
The density of a subgroupoid with respect to a free groupoid is defined as the asymptotic ratio of their growths. This notion can be interpreted as a generalisation of the index's inverse for groups or as the probability of an element belonging to a subgroupoid. This more combinatorial strategy shows a richer picture of free groupoids than the bare algebraic perspective. We study the growth and density of several subgroupoids of a free groupoid. In addition, some aspects of enumeration related to the Motzkin paths are shown.
Generating functions of lattice paths
We recall the main types of lattice paths, which are sequences in the lattice of integer coordinates points in the plane. We start with the fundamental central lattice paths and Dyck paths and proceed in elementary terms through recently introduced lattice paths.
For every type, we consider the respective generating function. In fact, through our approach (via Riordan arrays), various entries of the On-Line Encyclopedia of Integer Sequences are unified, clarified, and simplified.
Viennot shadows and graded module structure in colored permutation groups
Published
• View Publication
• BIB
Let $\mathbf{x}_{n \times n}$ be a matrix of $n \times n$ variables, and let $\mathbb{C}[\mathbf{x}_{n \times n}]$ be the polynomial ring on these variables. Let $\mathfrak{S}_{n,r}$ be the group of colored permutations, consisting of $n \times n$ complex matrices with exactly one nonzero entry in each row and column, where each nonzero entry is an $r$-th root of unity. We associate an ideal $I_{\mathfrak{S}_{n,r}} \subseteq \mathbb{C}[\mathbf{x}_{n \times n}]$ with the group $\mathfrak{S}_{n,r}$, and use orbit harmonics to give an ideal-theoretic extension of the Viennot shadow line construction to $\mathfrak{S}_{n,r}$. This extension gives a standard monomial basis of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$, and introduces an analogous definition of ``longest increasing subsequence'' to the group $\mathfrak{S}_{n,r}$. We examine the extension of Chen's conjecture to this analogy. We also study the structure of $\mathbb{C}[\mathbf{x}_{n \times n}]/I_{\mathfrak{S}_{n,r}}$ as a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module, which subsequently induces a graded $\mathfrak{S}_{n,r} \times \mathfrak{S}_{n,r}$ module structure on the $\mathbb{C}$-algebra $\mathbb{C}[\mathfrak{S}_{n,r}]$.
Intersection theory of matroids: variations on a theme
Published
• View Publication
• BIB
Chow rings of toric varieties, which originate in intersection theory, feature a rich combinatorial structure of independent interest. We survey four different ways of computing in these rings, due to Billera, Brion, Fulton--Sturmfels, and Allermann--Rau. We illustrate the beauty and power of these methods by giving four proofs of Huh and Huh--Katz's formula $μ^k(M) = deg_M(α^{r-k} β^k)$ for the coefficients of the reduced characteristic polynomial of a matroid $M$ as the mixed intersection numbers of the hyperplane and reciprocal hyperplane classes $α$ and $β$ in the Chow ring of $M$. Each of these proofs sheds light on a different aspect of matroid combinatorics, and provides a framework for further developments in the intersection theory of matroids. Our presentation is combinatorial, and does not assume previous knowledge of toric varieties, Chow rings, or intersection theory.
Minimal presentation, finite quotients and lower central series of cactus groups
Published
• View Publication
• BIB
This article deals with the study of cactus groups from a combinatorial point of view. These groups have been gaining prominence lately in various domains of mathematics, amongst which are their relations with well-known groups such as braid groups, diagram groups, to name a few. We compute a minimal presentation for cactus groups in terms of generators and non-redundant relations. We also construct homomorphisms of these groups onto certain finite groups, which leads to results about finite quotients of cactus groups. More precisely, we prove that all (infinite) dihedral groups appear as quotients of cactus groups. We also investigate the lower central series and its consecutive quotients. While there are already known established similarities with braid groups, we deduce a considerable disparity between the two groups.
Quantum state systems that count perfect matchings
In this paper we show how to categorify the $n$-color vertex polynomial, which is based upon one of Roger Penrose's formulas for counting the number of $3$-edge colorings of a planar trivalent graph. Using topological quantum field theory (TQFT), we introduce a quantum state system to build a new bigraded theory called the bigraded $n$-color vertex homology. The graded Euler characteristic of this homology is the $n$-color vertex polynomial. We then produce a spectral sequence whose $E_\infty$-page is a filtered theory called filtered $n$-color vertex homology and show that it is generated by certain types of face colorings of ribbon graphs. For $n=2$, we show that the filtered $n$-color vertex homology is generated by face colorings that correspond to perfect matchings. Finally, we introduce and give meaning to what the vertex polynomial counts when $n \geq 2$. This polynomial is a new abstract graph invariant that can be inferred from certain formulas of Penrose.
Tree and Tripod Nim
This paper introduces a variant of the impartial combinatorial game nim, called tree nim, as well as a particular case of tree nim called tripod nim. A certain existence-uniqueness result and a periodicity result are proven about the distribution of $\mathcal{P}$-positions and Grundy values in tree nim. Tripod nim is associated to a family of arrays similar to those which arise in the study of sequential compound games. Using these arrays, a partial analysis is given for tripod nim. Conjectures relating to the periods of the rows of these arrays are put forward.