Showing 20 papers (Total: 81378 papers, 47165 authors in database)
2-Distance Coloring of Planar Graphs with Specific Maximum Degree
A k-distance r-coloring of a graph is a coloring of the vertices of the graph such that if the distance between 2 vertices x and y is less or equal to k, then x and y must have distinct colors. A planar graph is a graph that can be drawn with no edge crossing. We will study the 2-distance coloring of planar graphs with maximum degree at least 6.
Catalan numbers and a conjecture on the maximum composition length of a Kac module
Let $f:\mathbb{Z}\longrightarrow \{ \times \cdot\}$ be a function such that $f(a) = \cdot$ for all except finitely for
many $a \in \mathbb{Z}$. We define a set $\flat f$ of non-intersecting arc (or cap) diagrams satisfying certain conditions determined by $f$. Then we give a recursive method for enumeration of $\flat f$ which recalls the Fundamental Recurrence for Catalan numbers. The motivation comes from the problem of enumeration of the
composition factors of a Kac module with maximum degree of atypicality for the Lie superalgebra $\mathfrak{g}=\mathfrak{gl}(r|r)$. In particular we prove a conjecture that the maximum number of
composition factors is a Catalan number.
Hodge theory of matroids by star subdivisions
It is known that the Chow ring of a matroid satisfies the Hard Lefschetz property and Hodge Riemann relations. We provide a proof of this theorem by decomposition of the deletion operation into star subdivisions at two dimensional cones. This gives a simple combinatorial proof which avoids intersection cohomology or algebraic geometry.
Short history of signed exceptional sequences
Whereas exceptional sequences have a long history with many well-known connections to combinatorics, signed exceptional sequences are relatively recent. The authors introduced this concept in 2017 [19], although it was retroactively realized that the category of noncrossing partitions [24] is a special case of this construction. Buan and Marsh [4] have introduced the concept of $τ$-exceptional sequences to generalize the definitions and theorems to all finite dimensional algebras. This short paper is the story of the original concept of signed exceptional sequences for hereditary algebras and how it developed out of the two authors' study of algebraic K-theory, link invariants, and cluster combinatorics.
Cops and Robbers on Graphs with Path Constraints
In 2019, Sivaraman conjectured that every $P_k$-free graph has cop number at most $k-3$. In the same year, Liu proved this conjecture for $(P_k,\text{claw})$-free graphs. Recently Chudnovsky, Norin, Seymour, and Turcotte proved this conjecture for $P_5$-free graphs. For $k\geq 6$ the conjecture remains widely opened. Let the $E$ graph be the $\text{claw}$ with two subdivided edges. We show that all $(P_k,E)$-free graphs have cop number at most $\lceil \frac{k-1}{2} \rceil +3$, which improves and generalizes Liu's result for $(P_k,\text{claw})$-free graphs. We also prove that if $G$ is a graph whose longest path is length $p$, then $G$ has cop number at most $\lceil \frac{2p}{3} \rceil+3$. This improves a bound of Joret, Kamiński, and Theis. Our proof relies on demonstrating that all $(P_k,\text{claw},\text{butterfly},C_4,C_5)$-free graphs have cop number at most $\lceil\frac{k-1}{3}\rceil +3$.
Some Structures arising from the Farey Fractal
This work explores new arithmetic and combinatorial structures arising from the interplay between Farey-type graphs, Fibonacci expansions, and operadic constructions. We introduce Fibonadic numbers, defined as an inverse limit under the Zeckendorf shift, equipped with a metric, order, and commutative rig structure. A normalization lemma provides canonical representatives, while quotients of the non-zero Fibonadic numbers under shifts and it's fundamental domain covering the circle via phi-values. Levels with associated functions encoding the decomposition of X into arithmetic layers. This research links number theory, combinatorics, discrete dynamics, operads, fractal geometry and the golden ratio.
On Legendre Cordial Labeling of Some Graphs Under Graph Opearations
For a simple connected graph $G$ of order $n$, a bijective function $f:V(G)\to\{1,2,\cdots,n\}$ is said to be a Legendre cordial labeling modulo $p$, where $p$ is an odd prime, if the induced function $f_p^*:E(G)\to \{0,1\}$, defined by $f_p^*(uv)=0$ whenever $([f(u)+f(v)]/p)=-1$ or $f(u)+f(v)\equiv 0(\text{mod }p)$, and $f_p^*(uv)=1$ whenever $([f(u)+f(v)]/p)=1$, satisfies the condition $|e_{f_p^*}(0)-e_{f_p^*}(1)|\leq 1$ where $e_{f_p^*}(i)$ is the number of edges with label $i$ ($i=0,1$). This paper investigates the Legendre cordial labeling of graphs obtained through various operations: join, corona, lexicographic product, cartesian product, tensor product, and strong product.
Further constructions of square integer relative Heffter arrays
A square integer relative Heffter array is an $n \times n$ array whose rows and columns sum to zero, each row and each column has exactly $k$ entries and either $x$ or $-x$ appears in the array for every $x \in \mathbb{Z}_{2nk+t}\setminus J$, where $J$ is a subgroup of size $t$. There are many open problems regarding the existence of these arrays. In this paper we construct two new infinite families of these arrays with the additional property that they are strippable. These constructions complete the existence theory for square integer relative Heffter arrays in the case where $k=3$ and $n$ is prime.
A sharp lower bound on the generalized 4-independence number
For a graph $G$, a vertex subset $S$ is called a maximum generalized $k$-independent set if the induced subgraph $G[S]$ does not contain a $k$-tree as its subgraph, and the subset has maximum cardinality. The generalized $k$-independence number of $G$, denoted as $α_k(G)$, is the number of vertices in a maximum generalized $k$-independent set of $G$. For a graph $G$ with $n$ vertices, $m$ edges, $c$ connected components, and $c_1$ induced cycles of length 1 modulo 3, Bock et al. [J. Graph Theory 103 (2023) 661-673] showed that $α_3(G)\geq n-\frac{1}{3}(m+c+c_1)$ and identified the extremal graphs in which every two cycles are vertex-disjoint. Li and Zhou [Appl. Math. Comput. 484 (2025) 129018] proved that if $G$ is a tree with $n$ vertices, then $α_4(G) \geq \frac{3}{4}n$. They also presented all the corresponding extremal trees. In this paper, for a general graph $G$ with $n$ vertices, it is proved that $α_4(G)\geq \frac{3}{4}(n-ω(G))$ by using a different approach, where $ω(G)$ denotes the dimension of the cycle space of $G$. The graphs whose generalized $4$-independence number attains the lower bound are characterized completely. This represents a logical continuation of the work by Bock et al. and serves as a natural extension of the result by Li and Zhou.
Orthogonal polynomials, quantum walks and the Prouhet-Tarry-Escott problem
This paper is motivated by the following problem. Define a quantum walk on a positively weighted path (linear chain). Can the weights be tuned so that perfect state transfer occurs between the first vertex and any other position? We do not fully answer this question - in fact, we show that a particular case of this problem is equivalent to a solution of a particular case of the well known Prouhet-Tarry-Escott problem, deeming our original task certainly harder than anticipated. In our journey, we prove new results about sequences of orthogonal polynomials satisfying three-term recurrences. In particular, we provide a full characterization of when two polynomials belong to such a sequence, which (as far as we were able to ascertain) was known only for when their degrees differ by one.
The capture time in the game of cops and many robbers
The game of cops and robber is a pursuit-evasion game played on graphs that has been extensively studied. Traditionally the game is played with one or more cops and only one robber, but in this paper we consider the game played with multiple robbers, with rules allowing for consecutive capture of the robbers. While the cop number remains the same, the capture time can differ drastically compared to the game played with one robber. In this paper we present general upper bounds for the capture time of cop-win graphs in the game with multiple robbers and show that they are the best possible for some families of graphs. Moreover, we explore how the capture time behaves with an increasing number of robbers and prove a surprising relation between this behavior and the 0-visibility cop number.
Some conjectures of Schlosser and Zhou on sign patterns of the coefficients of infinite products
Recently, Schlosser and Zhou proposed many conjectures on sign patterns of the coefficients appearing in the $q$-series expansions of the infinite Borwein product and other infinite products raised to a real power. In this paper, we will study several of these conjectures. Let \[ G(q):=\prod_{i=1}^{I}\left(\prod_{k=0}^{\infty}(1-q^{m_{i}+kn_{i}})(1-q^{-m_{i}+(k+1)n_{i}})\right)^{u_{i}} \] where $I$ is a positive integer, $1\leq m_{i}<n_{i}$ and $u_{i}\neq0$ for $1\leq i\leq I$ and $|q|<1.$ We will establish an asymptotic formula for the coefficients of $G(q)^δ$ with $δ$ being a positive real number by using the Hardy--Ramanujan--Rademacher circle method. As applications, we apply the asymptotic formula to confirm some of the conjectures of Schlosser and Zhou.
Field-independent Kronecker-plethysm isomorphisms
We construct an explicit field-independent SL$_2$-equivariant isomorphism between an invariant space of tensors and a plethysm space. The existence of such an isomorphism was only known in characteristic 0, and only indirectly via character theory. Our isomorphism naturally extends the web of field-independent isomorphisms given by Hermite reciprocity, Hodge duality, and the Wronskian isomorphism. This is a characteristic free generalization of a classical situation in characteristic zero: certain rectangular Kronecker coefficients coincide with certain plethysm coefficients, and their non-negativiy proves the unimodality of the $q$-binomial coefficient.
We also give a short combinatorial field-independent proof that the Hermite reciprocity map over the standard basis is a triangular matrix with 1s on the main diagonal.
Toward Minimum Graphic Parity Networks
Quantum circuits composed of CNOT and $R_z$ are fundamental building blocks of many quantum algorithms, so optimizing the synthesis of such quantum circuits is crucial. We address this problem from a theoretical perspective by studying the graphic parity network synthesis problem. A graphic parity network for a graph $G$ is a quantum circuit composed solely of CNOT gates where each edge of $G$ is represented in the circuit, and the final state of the wires matches the original input. We aim to synthesize graphic parity networks with the minimum number of gates, specifically for quantum algorithms addressing combinatorial optimization problems with Ising formulations. We demonstrate that a graphic parity network for a connected graph with $n$ vertices and $m$ edges requires at least $m+n-1$ gates. This lower bound can be improved to $m+Ω(m) = m+Ω(n^{1.5})$ when the shortest cycle in the graph has a length of at least five. We complement this result with a simple randomized algorithm that synthesizes a graphic parity network with expected $m + O(n^{1.5}\sqrt{\log n})$ gates. Additionally, we begin exploring connected graphs that allow for graphic parity networks with exactly $m+n-1$ gates. We conjecture that all such graphs belong to a newly defined graph class. Furthermore, we present a linear-time algorithm for synthesizing minimum graphic parity networks for graphs within this class. However, this graph class is not closed under taking induced subgraphs, and we show that recognizing it is $\textsf{NP}$-complete, which is complemented with a fixed-parameter tractable algorithm parameterized by the treewidth.
The Bin Packing Problem with Setups: Formulation, Structural Properties and Computational Insights
We introduce and study a novel generalization of the classical Bin Packing Problem (BPP), called the Bin Packing Problem with Setups (BPPS). In this problem, which has many practical applications in production planning and logistics, the items are partitioned into classes and, whenever an item from a given class is packed into a bin, a setup weight and cost are incurred. We present a natural Integer Linear Programming (ILP) formulation for the BPPS and analyze the structural properties of its Linear Programming relaxation. We show that the lower bound provided by the relaxation can be arbitrarily poor in the worst case. We introduce the Minimum Classes Inequalities (MCIs), which strengthen the relaxation and restore a worst-case performance guarantee of 1/2, matching that of the classical BPP. In addition, we derive the Minimum Bins Inequality (MBI) to further reinforce the relaxation, together with an upper bound on the number of bins in any optimal BPPS solution, which leads to a significant reduction in the number of variables and constraints of the ILP formulation. Finally, we establish a comprehensive benchmark of 480 BPPS instances and conduct extensive computational experiments. The results show that the integration of MCIs, the MBI, and the upper bound on the number of bins substantially improves the performance of the ILP formulation in terms of solution time and number of instances solved to optimality.
Resolving subcategories for gentle algebras II: Resolving subcategories for gentle trees
This paper is the second part of a series that intends to study the resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$.
As in the first part, we continue to focus on gentle quivers $(Q,R)$, where $Q$ is a directed tree, known as gentle trees. In our previous work, via a modified surface model for gentle algebras with finite global dimension, we studied the join-irreducible elements of the lattice of resolving subcategories of $\mathbb{K}Q/\langle R \rangle - \text{mod}$, which happen to be those generated by a non-projective indecomposable object.
In this paper, we notice that this lattice is not semidistributive in general and, accordingly, introduce a so-called upper join-decomposition, replacing the canonical one. Together with the techniques we develop in our geometric model, it allows us to describe the resolving subcategories of any gentle tree. These same techniques let us explicitly construct the resolving subcategory generated by any collection of indecomposable $\mathbb{K}Q/\langle R\rangle$-modules.
On the threshold for triangulations inside convex polygons
Start with a large convex polygon and add all other edges inside independently with probability $p$. At what critical threshold $p_c$ do triangulations of the polygon begin to appear?
The first author and Gravner asked this question, and observed that $p_c=Θ(1)$, using the relationship with the Catalan numbers and a coupling with oriented site percolation on ${\mathbb Z}^2$. More recently, Archer, Hartarsky, the first author, Olesker-Taylor, Schapira and Valesin proved that $1/4<p_c<p_c^o$, where $1/4$ is the Catalan exponential growth rate and $p_c^o$ is the critical threshold for oriented percolation. The upper bound is strict, but non-quantitative, and follows by a renormalization argument.
We show that $p_c<1/2$ using a simple ear clipping algorithm, which can be analyzed using the gambler's ruin problem. This bound is closer to the truth (perhaps near $0.4$) and shows that most configurations of edges inside large convex polygons contain triangulations.
A case of the dijoin conjecture on inverting oriented graphs
For an oriented graph $D$, the inversion of $X\subseteq V(D)$ in $D$ is the graph obtained by reversing the orientation of all arcs with both ends in $X$. The inversion number $\mathrm{inv}(D)$ is the minimum number of inversions needed to obtain an acyclic oriented graph.
We show that the dijoin conjecture of Bang-Jensen, da Silva and Havet, that $\mathrm{inv}(D_1\rightarrow D_2)=\mathrm{inv}(D_1)+\mathrm{inv}(D_2)$, is true in the case where $\mathrm{inv}(D_1)=2$ and $\mathrm{inv}(D_2)$ is even. We also characterise the cases $\mathrm{inv}(D_1)=2$ and $\mathrm{inv}(D_2)$ odd, for which the conjecture does and does not hold. We then go on to show a similar result for n-joins, in doing so we prove a conjecture of Alon, Powierski, Savery, Scott and Wilmer. Our proofs build on the idea of tournament minimum rank, introduced by Behague, Johnston, Morrison and Ogden.
Projective Planar Cartesian Products of Graphs
In this paper, we provide a complete classification of Cartesian products of graphs that embed in the projective plane. Our work requires us to determine minimal Cartesian products that are nonprojective planar, organize their essential properties to be used as constraints for projective planar embeddings, and explicitly construct projective planar embeddings for Cartesian products that satisfy these constraints. A corollary of our work shows that only six of the 35 forbidden minors for the projective plane are sufficient to classify projective planar Cartesian products.
Saturation for Sums of Posets and Antichains
Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The saturation number of $\mathcal P$ is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$.
The saturation numbers have been shown to exhibit a dichotomy: for any poset, the saturation number is either bounded, or at least $2\sqrt n$. The general conjecture is that in fact, the saturation number for any poset is either bounded, or at least linear.
The linear sum of two posets $\mathcal P_1$ and $\mathcal P_2$, dented by $\mathcal P_1*\mathcal P_2$, is defined as the poset obtained from a copy of $\mathcal P_1$ placed completely on top of a copy of $\mathcal P_2$. In this paper we show that the saturation number of $\mathcal P_1*\mathcal A_k*\mathcal P_2$ is always at least linear, for any $\mathcal P_1$, $\mathcal P_2$ and $k\geq2$, where $\mathcal A_k$ is the antichain of size $k$. This is a generalisation of the recent result that the saturation number for the diamond is linear (in that case $\mathcal P_1$ and $\mathcal P_2$ are both the single point poset, and $k=2$). We also show that, with the exception of chains which are known to have bounded saturation number, the saturation number for all complete multipartite posets is linear.