Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Minimal 3-regular Penny Graph
We prove that a 3-regular penny graph has at least 16 vertices and show that such a graph with 16 vertices exists.
Benchmarking of algorithms for set partitions
Set partitions are arrangements of distinct objects into groups. The problem of listing all set partitions arises in a variety of settings, in particular in combinatorial optimization tasks. After a brief review, we give practical approximate formulas for determining the number of set partitions, both for small and large set sizes. Several algorithms for enumerating all set partitions are reviewed, and benchmarking tests were conducted. The algorithm of Djokic et al. is recommended for practical use.
5-cycles in the complement of minimal prime graphs
Minimal prime graphs (MPGs) are a special class of prime graphs (also known as Gruenberg-Kegel graphs) associated with finite solvable groups. A graph is an MPG if it has at least two vertices, is connected, its complement is triangle-free and 3-colorable, and the addition of an edge to the complement will violate triangle-freeness or 3-colorability. In this paper, we continue the study of the complements of MPGs focusing on their cycle structure. Our main result establishes that every edge in the complement of an MPG is contained in a 5-cycle. This finding is a much stronger form of an older result stating that every minimal prime graph complement contains at least one induced 5-cycle.
Erdős Matching (Conjecture) Theorem
Let $\mathcal{F}$ be a family of $k$-sized subsets of $[n]$ that does not contain $s$ pairwise disjoint subsets.
The Erdős Matching Conjecture, a celebrated and long-standing open problem in extremal combinatorics, asserts the maximum cardinality of $\mathcal{F}$ is upper bounded by
$\max\left\{\binom{sk-1}{k}, \binom{n}{k}-\allowbreak \binom{n-s+1}{k}\right\}$.
These two bounds correspond to the sizes of two canonical extremal families: one in which all subsets are contained within a ground set of $sk-1$ elements, and one in which every subset intersects a fixed set of $s-1$ elements.
In this paper, we prove the conjecture.
Hall numbers of some complete $k-$partite graphs
Published in Util. Math. 89, 257-267 (2012)
• Search Publication
The Hall number is a graph parameter closely related to the choice number. Here it is shown that the Hall numbers of the complete multipartite graphs $K(m,2,\ldots,2)$, $m\ge 2$, are equal to their choice numbers.
Decomposable shuffles
We develop a combinatorial and order-theoretic framework for shuffles, understood as ordered concatenations of indexed families of sequences that induce total orders on the natural numbers. Motivated by the classical Šarkovskiĭ order, we introduce elementary building blocks that encode finite and infinite order patterns and focus on decomposable shuffles constructed from finite ordinals together with $ω$ and its dual $ω^*$. We define representations that allow individual elements to be located within a shuffle and show how suitable structural conditions yield total orders on $\mathbb{N}$
On the Hamiltonicity, traceability and toughness of complements of line graphs
A coline graph $\text{co}(G)$ of a graph $G$ is the graph with vertex set $E(G)$ for which two vertices $e$ and $e'$ of $\text{co}(G)$ are adjacent if and only if they are not adjacent as edges in $G$. A graph $G$ is tough if the number of connected components of $G-S$ is at most $|S|$ for all cut sets $S$. Wu and Meng, and Liu independently gave similar characterisations of coline graphs that are Hamiltonian. In this paper we give an alternate proof of Wu and Meng's and Liu's results using the longest cycle method. We in fact prove the following reformation of their results. A tough coline graph $\text{co}(G)$ is Hamiltonian unless $G$ is one of four examples, one of which is $K_5$, since $\text{co}(K_5)$ is the Petersen graph. Characterisations of tough coline graphs and coline graphs which contain a Hamiltonian path are also given.
Exact minimum co-degree conditions for $\ell$-Hamiltonicity in hypergraphs
Suppose $1\le \ell <k$ such that $(k-\ell)\nmid k$. Given an $n$-vertex $k$-uniform hypergraph $\mathcal H$, for all $k/2<\ell< 3k/4$ and sufficiently large $n\in (k-\ell)\mathbb N$, we prove that if $\mathcal H$ has minimum co-degree at least $\frac{n}{\lceil \frac{k}{k-\ell}\rceil (k-\ell)}$, then $\mathcal H$ contains a Hamilton $\ell$-cycle, which partially verifies a conjecture of Han and Zhao and (partially) resolves a problem of Rödl and Ruciński. Moreover, we show that assuming minimum co-degree $\frac{n}{\lceil \frac{k}{k-\ell}\rceil (k-\ell)}+\frac{k^2}2$ is enough for all $\ell$.
Non-Clashing Teaching in Graphs: Algorithms, Complexity, and Bounds
Kirkpatrick et al. [ALT 2019] and Fallat et al. [JMLR 2023] introduced non-clashing teaching and proved that it is the most efficient batch machine teaching model satisfying the collusion-avoidance benchmark established in the seminal work of Goldman and Mathias [COLT 1993]. Recently, (positive) non-clashing teaching was thoroughly studied for balls in graphs, yielding numerous algorithmic and combinatorial results. In particular, Chalopin et al. [COLT 2024] and Ganian et al. [ICLR 2025] gave an almost complete picture of the complexity landscape of the positive variant, showing that it is tractable only for restricted graph classes due to the non-trivial nature of the problem and concept class.
In this work, we consider (positive) non-clashing teaching for closed neighborhoods in graphs. This concept class is not only extensively studied in various related contexts, but it also exhibits broad generality, as any finite binary concept class can be equivalently represented by a set of closed neighborhoods in a graph. In comparison to the works on balls in graphs, we provide improved algorithmic results, notably including FPT algorithms for more general classes of parameters, and we complement these results by deriving stronger lower bounds. Lastly, we obtain combinatorial upper bounds for wider classes of graphs.
Boolean lattice without small rainbow subposets
A Boolean lattice $\mathcal{B}_n=(2^X, \leq)$ is the power set of an $n$-element ground set $X$ equipped with inclusion relation. For two posets $\mathcal{P}$ and $\mathcal{Q}$, we say that $\mathcal{Q}$ contains an \emph{induced copy} of $\mathcal{P}$ if there exists an injection $f : \mathcal{P} \to \mathcal{Q}$ such that $f(X) \le f(Y)$ if and only if $X \le Y$ in $\mathcal{P}$. A $k$-coloring is exact if all colors are used at least once. For posets $\mathcal{Q}$ and $\mathcal{P}$, the \emph{Boolean Gallai-Ramsey number} $\operatorname{GR}_{k}(\mathcal{Q}:\mathcal{P})$ is defined as the smallest $n$ such that any exact $k$-coloring of the sets in $\mathcal{B}_n$ contains either a rainbow induced copy of $\mathcal{Q}$ or a monochromatic induced copy of $\mathcal{P}$ and the \emph{Boolean rainbow Ramsey number} $\operatorname{RR}(\mathcal{Q}:\mathcal{P})$ is defined as the smallest $n$ such that any coloring of the sets in $\mathcal{B}_n$ contains either a rainbow induced copy of $\mathcal{Q}$ or a monochromatic induced copy of $\mathcal{P}$.
In this paper, we first study the structural properties of exact $k$-colorings of the sets in Boolean lattice without rainbow induced copy of small posets. As the application of these results, we give exact values and some bounds of Boolean Gallai-Ramsey numbers and Boolean rainbow Ramsey numbers, which improve a result of Chen, Cheng, Li, and Liu in 2020 and give an answer of a question proposed by Chang, Gerbner, Li, Methuku, Nagy, Patkós, and Vizer in 2022.
Subgroup perfect codes of $ S_n $ in Cayley graphs
A perfect code in a graph $Γ= (V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A subgroup $H$ of a group $G$ is called a subgroup perfect code of $G$ if there exists a Cayley graph of $G$ which admits $H$ as a perfect code. In this work, we present a classification of cyclic 2-subgroup perfect codes in $ S_n$. We analyze these subgroup codes, detailing their structure and properties. We extend our discussion to various classes of subgroup codes in the symmetric group $ S_n $, encompassing both commutative and non-commutative cases. We provide numerous examples to illustrate and support our findings.
Graphs defined on algebras
There has been a great deal of attention recently to graphs whose vertex set is a group, defined using the group structure. (The commuting graph, where two elements are joined if they commute, is the oldest and most famous example.)
The purpose of this paper is to investigate extending the definitions of such graphs to general algebras (in the sense of universal algebra). It seems unlikely that such a definition can be made for the commuting graph, or for various others such as the nilpotency and Engel graphs. However, for graphs whose definition depends on the notion of subgroup or subalgebra generated by a subset, the existing definitions work without change. These graphs include several well-studied examples: the power graph, enhanced power graph, generating graph, independence graph, and rank graph. In these cases, some results about groups extend to arbitrary algebras unchanged, but others require specific properties of groups, and pose a challenge to researchers.
In the next two sections, I will describe some extensions to directed graphs (the directed power graph and the endomorphism digraph) and to simplicial complexes (the independence and strong independence complexes). The final section gives explicit descriptions of all of these objects for independence algebras.
Affine hyperplane arrangements at finite distance
We study the relative homology group of an affine hyperplane arrangement and its Poincaré dual, the cohomology at finite distance of the complement. We give an Orlik--Solomon-type description of the latter, and identify it with the vector space of logarithmic forms having vanishing residues at infinity. To this end, we introduce a partial version of wonderful compactifications, which could be relevant in other contexts where blow-ups only occur at infinity. Finally, we show that the cohomology at finite distance coincides with the vector space of canonical forms in the sense of positive geometry.
Natural graph spectra
In 2003, van Dam and Haemers posed a fundamental question in spectral graph theory: does there exist a ``sensible'' matrix whose spectrum determines a random graph up to isomorphism? This paper introduces the class of {\em natural graph matrices}, which are matrices defined by applying a fixed sequence of elementary operations to the adjacency matrix. This class includes many standard matrices such as the adjacency matrix, the Seidel matrix, the Laplacian matrix, and the distance matrix. We give an affirmative answer to the question of van Dam and Haemers by proving the existence of a natural graph matrix whose spectrum determines random graphs up to isomorphism. The proof introduces a new algebraic framework called {\em double algebras}, which provides a simple sufficient condition for spectral determination. This sufficient condition is then shown to hold for random graphs.
The isomorphism problem for reduced finitary power monoids
Let $H$ be a multiplicatively written monoid with identity $1_H$ and let $\mathcal{P}_{\text{fin},1}(H)$ denote the reduced finitary power monoid of $H$, that is, the monoid consisting of all finite subsets of $H$ containing $1_H$ with set multiplication as operation. Building on work of Tringali and Yan, we give a complete description of pairs of commutative and cancellative monoids $H,K$ for which $\mathcal{P}_{\text{fin},1}(H)$ and $\mathcal{P}_{\text{fin},1}(K)$ are isomorphic.
Multisets of finite intervals and a universal category of poset representations
For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some cases new integer sequences arise. The formulation of this counting problem leads to a universal construction which assigns to any poset a finitely cocomplete additive category; it is abelian when the poset is finite and does not depend on the choice of any ring of coefficients. For a general poset the universal category of representations is abelian if and only if for the lattice of ideals the meet of two compact elements is again compact.
The two-nest ants process on triangle-series-parallel graphs
The ants process is a stochastic process introduced by Kious, Mailler and Schapira as a model for the phenomenon of ants finding shortest paths between their nest and a source of food (seen as two marked nodes in a finite graph), with no other means of communications besides the pheromones they lay behind them as they explore their environment. The ants process relies on a reinforcement learning mechanism. In this paper, we modify the ants process by having more than one ants nest (and still one source of food). For technical reasons, we restrict ourselves to the case when there are two nests, and when the graph is a triangle between the two nests and the source of food, whose edges have been replaced by series-parallel graphs. In this setting, using stochastic approximation techniques, comparison with Pólya urns, and combinatorial arguments, we are able to prove that the ants process converges and to describe its limit.
Poset modules of the $0$-Hecke algebras of type $B$
In 2001, Chow developed the theory of the $B_n$ posets $P$ and the type $B$ $P$-partition enumerators $K^B_P$. To provide a representation-theoretic interpretation of $K^B_P$, we define the poset modules $M^B_P$ of the 0-Hecke algebra $H_n^B(0)$ of type $B$ by endowing the set of type-$B$ linear extensions of $P$ with an $H_n^B(0)$-action. We then show that the Grothendieck group of the category associated to type-$B$ poset modules is isomorphic to the space of type $B$ quasisymmetric functions as both a $\mathrm{QSym}$-module and comodule, where $\mathrm{QSym}$ denotes the Hopf algebra of quasisymmetric functions. Considering an equivalence relation on $B_n$ posets, where two posets are equivalent if they share the same set of type-$B$ linear extensions, we identify a natural representative of each equivalence class, which we call a distinguished poset. We further characterize the distinguished posets whose sets of type-$B$ linear extensions form intervals in the right weak Bruhat order on the the hyperoctahedral groups. Finally, we discuss the relationship among the categories associated to type-$B$ weak Bruhat interval modules, $B_n$ poset modules, and finite-dimensional $H_n^B(0)$-modules.
Remarks on a theorem of Erdős and Szemerédi
Given a graph $G$ and a real $\varepsilon>0$, an edge-coloring of $G$ is called \textit{$\varepsilon$-balanced} if each color appears on at least an $\varepsilon$-fraction of the edges in $G$. A classical result of Erdős and Szemerédi asserts that if a $2$-edge-coloring of a complete graph $K_n$ is not $\varepsilon$-balanced for some $0<\varepsilon\leq1/2$, then there exists a large monochromatic clique. This theorem has been used extensively in Ramsey-type arguments, as it allows one to focus on reasonably balanced colorings. However, in its original formulation the dependence between $n$ and $\varepsilon$ was left implicit, occasionally leading to inaccurate applications. In this short note, we revisit the Erdős--Szemerédi theorem and specify all parameter dependencies.
Periods of Ehrhart coefficients of rational polytopes
Published in Electron. J. Combin. 25 (2018), no. 1, Paper No. 1.64, 10 pp
• View Publication
• BIB
Let $\mathcal{P} \subseteq \mathbb{R}^{n}$ be a polytope whose vertices have rational coordinates. By a seminal result of E. Ehrhart, the number of integer lattice points in the $k$th dilate of $\mathcal{P}$ ($k$ a positive integer) is a quasi-polynomial function of $k$ -- that is, a "polynomial" in which the coefficients are themselves periodic functions of $k$. It is an open problem to determine which quasi-polynomials are the Ehrhart quasi-polynomials of rational polytopes. As partial progress on this problem, we construct families of polytopes in which the periods of the coefficient functions take on various prescribed values.