Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Variations on five-dimensional sphere packings
Published
• View Publication
• BIB
We analyze Szöllősi's recent construction of a conjecturally optimal five-dimensional kissing configuration and produce a new such configuration, the fourth to be discovered. We construct five-dimensional sphere packings from these configurations, which augment Conway and Sloane's list of conjecturally optimal packings. We also construct a new kissing configuration in nine dimensions. None of these constructions improves on the known records, but they provide geometrically distinct constructions achieving these records.
Star arboricity relaxed book thickness of $K_n$
A book embedding of the complete graph $K_n$ needs $\lceil \frac{n}{2} \rceil$ pages and the page-subgraphs can be chosen to be spanning paths (for $n$ even) and one spanning star for $n$ odd. We show that all page-subgraphs can be chosen to be {\rm star forests} by including one extra {\rm cross-cap} page or two new ordinary pages.
On hook length biases in $t$-regular partitions
Let $t\geq2$ and $k\geq1$ be integers. A $t$-regular partition of a positive integer $n$ is a partition of $n$ such that none of its parts is divisible by $t$. Let $b_{t,k}(n)$ denote the number of hooks of length $k$ in all the $t$-regular partitions of $n$. Recently, the first and the third authors proved that $b_{3,2}(n)\geq b_{2,2}(n)$ for all $n\geq 4$, and conjectured that $b_{t+1,2}(n)\geq b_{t,2}(n)$ for all $t\geq 3$ and $n\geq 0$. In this paper, we prove that the conjecture is true for $t=3$.
Pattern avoidance in nonnesting permutations
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (October 17, 2025) dmtcs:14885
• View Publication
• BIB
Nonnesting permutations are permutations of the multiset $\{1,1,2,2,\dots,n,n\}$ that avoid subsequences of the form $abba$ for any $a\neq b$. These permutations have recently been studied in connection to noncrossing (also called quasi-Stirling) permutations, which are those that avoid subsequences of the form $abab$, and in turn generalize the well-known Stirling permutations. Inspired by the work by Archer et al. on pattern avoidance in noncrossing permutations, we consider the analogous problem in the nonnesting case. We enumerate nonnesting permutations that avoid each set of two or more patterns of length 3, as well as those that avoid some sets of patterns of length 4. We obtain closed formulas and generating functions, some of which involve unexpected appearances of the Catalan and Fibonacci numbers. Our proofs rely on decompositions, recurrences, and bijections.
Revisiting Extremal Graphs Having No Stable Cutsets
Published
• View Publication
• BIB
Confirming a conjecture posed by Caro, it was shown by Chen and Yu that every graph $G$ with $n$ vertices and at most $2n-4$ edges has a stable cutset, which is a stable set of vertices whose removal disconnects the graph. Le and Pfender showed that all graphs with $n$ vertices and $2n-3$ edges without stable cutset arise recursively glueing together triangles and triangular prisms along an edge or triangle. Le and Pfender's proof contains a gap, which we fill in the present article.
Categorical approach to graph limits
We define and study a natural category of graph limits. The objects are pairs $(π,μ)$, where $π$ (the distribution of vertices) is an abstract probability measure on some abstract measurable space $(X,\mathcal{A})$ and $μ$ (the distribution of edges) is an abstract finite measure on the square $(X,\mathcal{A})^2$. Morphisms are random maps between the underlying measurable spaces which preserve the distribution of vertices as well as the distribution of edges. We also define a convergence notion (inspired by s-convergence) for sequences of graph limits. We apply tools from category theory to prove the compactness of the space of all graph limits.
Positioned and primary positioned $\mathcal{C}$-semigroups
Published in Annali di Matematica Pura ed Applicata (1923 -)
• View Publication
• BIB
Let $\mathcal{C}$ be a positive integer cone and $k\in \mathcal{C}$. A $\mathcal{C}$-semigroup $S$ is $k$-positioned if for every $h\in \mathcal{C}\setminus S$ we have that $k-h$ belongs to $S$. In this work, we focus on this family of semigroups and introduce primary positioned $\mathcal{C}$-semigroups, characterizing a subfamily of them through the perspective of irreducibility. Furthermore, we provide some procedures to compute all such semigroups, describing a family of graphs containing all the primary positioned $\mathcal{C}$-semigroups for a fixed $k\in \mathcal{C}$.
Improvements for lower bounds of mutually orthogonal Latin squares of sizes $54$, $96$ and $108$
Published
• View Publication
• BIB
We will show that there are at least 8, 10 and 9 mutually orthogonal Latin squares (MOLS) of orders $n=54$, $96$ and $108$. The cases $n=54$ and $96$ are obtained by constructing separable permutation codes consisting of $8 \times 54$ and $10 \times 96$ codeword respectively; in addition, these codes respectively have lengths $54$, $96$ and minimum distances $53$, $95$. Here we will follow exactly the procedure given in \cite{JS2019}. The case $n=108$ is obtained by constructing a $(108,10,1)$ difference matrix. Also, an error in \cite{ACD} for $n=45$ will be corrected.
The Schrijver system of the length polyhedron of an interval order
Published
• View Publication
• BIB
The length polyhedron of an interval order $P$ is the convex hull of integer vectors representing the interval lengths in possible interval representations of $P$ in which all intervals have integer endpoints. This polyhedron is an integral translation of a polyhedral cone, with its apex corresponding to the canonical interval representation of $P$ (also known as the minimal endpoint representation).
In earlier work, we introduced an arc-weighted directed graph model, termed the key graph, inspired by this canonical representation. We showed that cycles in the key graph correspond, via Fourier-Motzkin elimination, to inequalities that describe supporting hyperplanes of the length polyhedron. These cycle inequalities derived from the key graph form a complete system of linear inequalities defining the length polyhedron. By applying a theorem due to Cook, we establish here that this system of inequalities is totally dual integral (TDI).
Leveraging circulations, total dual integrality, and the special structure of the key graph, our main theorem demonstrates that a cycle inequality is a positive linear combination of other cycle inequalities if and only if it is a positive integral linear combination of smaller cycle inequalities (where `smaller' here refers a natural weak ordering among these cycle inequalities). This yields an efficient method to remove redundant cycle inequalities and ultimately construct the unique minimal TDI-system, also known as the Schrijver system, for the length polyhedron. Notably, if the key graph contains a polynomial number of cycles, this gives a polynomial-time algorithm to compute the Schrijver system for the length polyhedron.
Lastly, we provide examples of interval orders where the Schrijver system has an exponential size.
How to stab a polytope
Published in Special volume on Positive Geometry, Le Matematiche 80 (1) (2025), 473-493
• Search Publication
We study the set of linear subspaces of a fixed dimension intersecting a given polytope. To describe this set as a semialgebraic subset of a Grassmannian, we introduce a Schubert arrangement of the polytope, defined by the Chow forms of the polytope's faces of complementary dimension. We show that the set of subspaces intersecting a specified family of faces is defined by fixing the sign of the Chow forms of their boundaries. We give inequalities defining the set of stabbing subspaces in terms of sign conditions on the Chow form.
A formula for constructing Mignotte sequences
This article present a new, direct and simple formula for constructing Mignotte sequences.
Asymmetric Colorings of Disjoint Unions of Graphs
The asymmetric coloring number of a graph is the minimum number of colors needed to color its vertices, so that no non-trivial automorphism preserves the color classes. We investigate the asymmetric coloring number of graphs that are disjoint unions of graphs. We will derive a general relationship between the asymmetric coloring number of disjoint copies of graphs and the number of ways to color a single copy asymmetrically, and then look at particular cases such as disjoint copies of paths, stars, cycles, and hypercubes.
Joint Poisson Convergence of Monochromatic Hyperedges in Multiplex Hypergraphs
Published
• View Publication
• BIB
Given a sequence of $r$-uniform hypergraphs $H_n$, denote by $T(H_n)$ the number of monochromatic hyperedges when the vertices of $H_n$ are colored uniformly at random with $c = c_n$ colors. In this paper, we study the joint distribution of monochromatic hyperedges for hypergraphs with multiple layers (multiplex hypergraphs). Specifically, we consider the joint distribution of ${\bf T} _n:= (T(H_n^{(1)}), T(H_n^{(2)}))$, for two sequences of hypergraphs $H_n^{(1)}$ and $H_n^{(2)}$ on the same set of vertices. We will show that the joint distribution of ${\bf T}_n$ converges to (possibly dependent) Poisson distributions whenever the mean vector and the covariance matrix of ${\bf T}_n$ converge. In other words, the joint Poisson approximation of ${\bf T}_n$ is determined only by the convergence of its first two moments. This generalizes recent results on the second moment phenomenon for Poisson approximation from graph coloring to hypergraph coloring and from marginal convergence to joint convergence. Applications include generalizations of the birthday problem, counting monochromatic subgraphs in randomly colored graphs, and counting monochromatic arithmetic progressions in randomly colored integers. Extensions to random hypergraphs and weighted hypergraphs are also discussed.
Cayley Incidence Graphs
Evra, Feigon, Maurischat, and Parzanchevski (2023) introduced a biregular extension of Cayley graphs. In this paper, we reformulate their definition and provide some basic properties. We also show how these Cayley incidence graphs relate to various notions of Cayley hypergraphs. We further establish connections between Cayley incidence graphs and certain geometric and combinatorial structures, including coset geometries, difference sets and cages.
Hypergraph universality via branching random walks
Given a family of hypergraphs $\mathcal{H}$, we say that a hypergraph $Γ$ is $\mathcal{H}$-universal if it contains every $H \in \mathcal{H}$ as a subgraph. For $D, r \in \mathbb{N}$, we construct an $r$-uniform hypergraph with $Θ\left(n^{r - r/D} \log^{r/D}(n)\right)$ edges which is universal for the family of all $r$-uniform hypergraphs with $n$ vertices and maximum degree at most $D$. This almost matches a trivial lower bound $Ω(n^{r - r/D})$ coming from the number of such hypergraphs.
On a high level, we follow the strategy of Alon and Capalbo used in the graph case, that is $r = 2$. The construction of $Γ$ is deterministic and based on a bespoke product of expanders, whereas showing that $Γ$ is universal is probabilistic. Two key new ingredients are a decomposition result for hypergraphs of bounded density, based on Edmond's matroid partitioning theorem, and a tail bound for branching random walks on expanders.
Single-delete Nim
The classic game of Nim has been well-known for many years, inspiring numerous variations. One such variant is Delete Nim, where players take turns eliminating one pile of stones and splitting the remaining pile into two smaller piles. In this paper we generalize the game to include the case of n piles. On each turn, a player eliminates one pile and splits one of the remaining piles into two smaller piles. We specifically analyze the case where n=4, deriving the conditions for a winning strategy.
Chip games and multipartite graph paintability
We study the paintability, an on-line version of choosability, of complete multipartite graphs. We do this by considering an equivalent chip game introduced by Duraj, Gutowski, and Kozik. We consider complete multipartite graphs with $ n $ parts of size at most 3. Using a computational approach, we establish upper bounds on the paintability of such graphs for small values of $ n. $
The choosability of complete multipartite graphs is closely related to value $ p(n, m) $, the minimum number of edges in a $n$-uniform hypergraph with no panchromatic $m$-coloring. We consider an online variant of this parameter $ p_{OL}(n, m), $ introduced by Khuzieva et al. using a symmetric chip game. With this symmetric chip game, we find an improved upper bound for $ p_{OL}(n, m)$ when $m \geq 3$ and $n$ is large. Our method also implies a lower bound on the paintability of complete multipartite graphs with $m \geq 3$ parts of equal size.
Complexity of Paired Domination Problems on Circle and $k$-Polygon Graphs
Published
• View Publication
• BIB
A set $D \subseteq V$ is a dominating set of a graph $G$ if every vertex in $V - D$ is adjacent to at least one vertex in $D$. A dominating set $D$ is a paired-dominating set if the subgraph of $G$ induced by $D$ contains a perfect matching. In this paper, we prove that determining the minimum paired-dominating set in circle graphs is NP-complete. We further present an $O(n(\frac{n}{k^2-k})^{2k^2-2k})$-time algorithm for finding the minimum paired-dominating set in $k$-polygon graphs, a subclass of circle graphs. Additionally, we refine the existing algorithm of Elmallah and Stewart for computing the minimum dominating set in $k$-polygon graphs, reducing its time complexity from $O(n^{4k^2+3})$ to $O(n^{3k-5})$, and further extend it to find the minimum total dominating set.
Optimal Algorithm for Paired-Domination in Distance-Hereditary Graphs
Published
• View Publication
• BIB
The domination problem and its variants represent a classical domain within algorithmic graph theory. Among these variants, the paired-domination problem holds particular prominence due to its real-world implications in security and surveillance domains. Given an input graph $G$, the paired-domination problem involves identifying a minimum dominating set $D$ that induces a subgraph of $G$ with a perfect matching. Lin et al.~[\emph{Paired-domination problem on distance-hereditary graphs}, Algorithmica, 2020] previously presented a solution to this problem with a time complexity of $O(n^2)$. This paper significantly enhances their findings by introducing an $O(n+m)$-time algorithm. Furthermore, the time complexity of this algorithm can be reduced to $O(n)$ when provided with a decomposition tree for the graph $G$.
Hamiltonian cycles passing through matchings in $k$-ary $n$-cubes
Published
• View Publication
• BIB
As we all know, the $k$-ary $n$-cube is a highly efficient interconnect network topology structure. It is also a concept of great significance, with a broad range of applications spanning both mathematics and computer science. In this paper, we study the existence of Hamiltonian cycles passing through prescribed matchings in $k$-ary $n$-cubes, and obtain the following result. For $n\geq5$ and $k\geq4$, every matching with at most $4n-20$ edges is contained in a Hamiltonian cycle in the $k$-ary $n$-cube.