natural ↗ reference
4894 papers tagged with this keyword
The red-blue-yellow matching problem
Published
• View Publication
• BIB
We consider the red-blue-yellow matching problem: given two natural numbers $k_R$, $k_B$ and a graph $G$ whose edges are colored red, blue or yellow, the goal is to find a matching of $G$ that contains exactly $k_R$ red edges and exactly $k_B$ blue edges, and is of maximum cardinality subject to these constraints. This is a natural generalization of the well known red-blue matching problem, whose complexity status is unknown: although a randomized polynomial-time algorithm exists, a deterministic algorithm has remained elusive for nearly four decades. The best known deterministic approach to the red-blue matching problem, due to Yuster (2012), gives an additive approximation. In this paper, we show a similar result for the red-blue-yellow matching problem, giving a polynomial-time deterministic algorithm that, under natural assumptions, finds a matching satisfying the color requirements almost exactly and has cardinality within 3 of the optimal solution. Our algorithm is a mix of classic linear programming techniques and ad hoc existence results on restricted classes of graphs such as paths and cycles. As a key ingredient, we prove a curious topological property of plane curves, which is a strengthened version of a result by Grandoni and Zenklusen (2010) in the related context of budgeted matchings.
Reverse Mathematics and Dimension of Posets
Published
• View Publication
• BIB
Order dimension theory measures the complexity of partially ordered sets by quantifying how far they are from being linearly ordered. In this paper we study classical bounding results for order dimension within the framework of reverse mathematics. We focus on principles asserting that the dimension of a poset can be bounded in terms of the dimension of subposets obtained by removing chains or points, denoted by $\mathsf{DBi_n}$, $\mathsf{DBc_n}$, and $\mathsf{DB_p}$. We prove that, over $\mathsf{RCA}_0$, both $\mathsf{DBi_n}$ and $\mathsf{DBc_n}$ are equivalent to $\mathsf{WKL}_0$. To analyze $\mathsf{DB_p}$, we introduce a natural strengthening $\mathsf{DB^+_p}$ and show that both $\mathsf{DB_p}$ and $\mathsf{DB^+_p}$ are provable from $\mathsf{WKL}_0$ and from $\mathsf{I}Σ^0_2$, while $\mathsf{B}Σ^0_2$ does not suffice to prove $\mathsf{DB^+_p}$. The latter result is obtained by showing that the statement \lq\lq $\mathsf{DB^+_p}$ is computably true\rq\rq\ is equivalent to $\mathsf{I}Σ^0_2$.
On Rado's single equation theorem
We show that for non-zero integers $a$ and $b$ there is a natural number $N < \exp(r^{2+o_{a,b;r\rightarrow \infty}(1)})$ such that in any $r$-colouring of $\{1,\dots,N\}$ there are $x,y,z$, all in the same colour class, such that $ax-ay=bz$.
Counting Strict Gridlock on Graphs
Graph colorings have been of interest to mathematicians for a long time, but relatively recently, social scientists have also found them to be interesting tools for studying group behavior. In the last 20 years, scientists have begun to study how coloring problems can be solved by groups of individuals on a graph, which has led to new insights into network structure, group dynamics, and individual human behavior. Despite this newfound utility, the exact nature of these distributed coloring problems is not well-understood, and established mathematical tools like the chromatic polynomial miss the unique challenges that arise in these social problem-solving situations with limited information. In this paper, we provide a new framework for understanding these distributed problems by defining a new kind of graph coloring with particular relevance to consensus formation on networks, in which all vertices are trying to agree on a common color. These strict gridlock colorings represent roadblocks to consensus where the group will not reach a uniform coloring using natural update processes. We describe a recurrence relation that provides an algorithm for counting these gridlocked colorings, which establishes a mathematical measure of how much a given graph hinders consensus in a group.
Separable integer partition classes and Slater's list -- I
Slater's list of Rogers-Ramanujan type identities consists of 130 series-product identities whose analytic proofs rely primarily on Bailey pair techniques. Although these identities play an important role in the theory of $q$-series and partitions, combinatorial interpretations for many of them remain unknown, largely because the series sides are difficult to interpret naturally in terms of partitions. In this paper we apply Andrews' theory of separable integer partition (SIP) classes to several identities from Slater's list. By constructing suitable SIP classes, we obtain natural partition-theoretic interpretations and parameterized generalizations of their series sides. We then apply various $q$-hypergeometric transformations to these generalized series to derive alternative expressions, which in certain cases reduce to infinite products. These results illustrate how the SIP framework provides a systematic approach to understanding Rogers-Ramanujan type identities and offer new combinatorial insights into identities appearing in Slater's list.
Better approximation guarantee for Asymmetric TSP
We improve the approximation ratio for the Asymmetric TSP to less than 15. We also obtain improved ratios for the special case of unweighted digraphs and the generalization where we ask for a minimum-cost tour with given (distinct) endpoints. Moreover, we prove better upper bounds on the integrality ratios of the natural LP relaxations.
The homotopy type of the clique complex of the partition graph
For each positive integer $n$, let $G_n$ be the graph whose vertices are the partitions of $n$, with edges corresponding to elementary transfers of one cell between two parts, followed by reordering. Let $K_n := \mathrm{Cl}(G_n)$ be the clique complex of $G_n$.
We prove that $K_n$ is homotopy equivalent to a wedge of $2$-spheres. More precisely, $K_n$ is homotopy equivalent to a wedge of $b_n$ copies of $S^2$, where $b_n = χ(K_n) - 1$. Thus the homotopy type of $K_n$ is completely determined by its Euler characteristic.
The proof has three main ingredients. First, we classify all cliques in $G_n$ via two canonical families of simplices, called star-simplices and top-simplices, and use them to build a canonical cover of $K_n$. Second, we pass to the corresponding nerve, construct a second natural cover, and show via the intersection poset of that cover that $K_n$ has the homotopy type of a CW-complex of dimension at most $2$. Third, using an explicit height function on partitions, we prove that $K_n$ is connected and simply connected. It follows that the reduced homology of $K_n$ is concentrated in degree $2$, where its rank is $χ(K_n) - 1$, and therefore $K_n$ has the homotopy type claimed above.
We conclude with remarks on Euler characteristics, small examples, and the integer sequences arising from these complexes.
Group and algebra hyperdeterminant
In 1896, Dedekind posed the problem of factoring the group determinant in the non-abelian case to Frobenius, whose solution sparked the birth of finite-group representation theory. Several decades earlier, Cayley introduced the notion of the combinatorial hyperdeterminant of a $d$-way tensor, which is the most natural generalization of an ordinary determinant. In this note, we solve the problem of factoring the group hyperdeterminant. We reduce the computation of the group hyperdeterminant to the computation of the hyperdeterminant at the matrix multiplication tensor and derive a nice closed formula. Further, we extend this notion to associative algebra tensors and show that this polynomial is nonzero if and only if the algebra is semisimple.
On $(1^2,2^2)$-packing edge-coloring of sparse subcubic graphs
For positive integers $\ell$ and $k$, a $(1^\ell, 2^k)$-packing edge-coloring of a graph $G$ is a partition of $E(G)$ into $\ell$ matchings and $k$ induced matchings. A graph is $d$-irregular if it has no adjacent vertices of degree $d$. Yang and Wu proved that every $3$-irregular subcubic graph admits a $(1,2^4)$-packing edge-coloring, which answered an open question of Hocquad, Lajou, and Lu\v zar in the affirmative. In this paper, we prove an analogue result that every $3$-irregular subcubic multigraph is $(1^2,2^2)$-packing edge-colorable. Our result is sharp since there are $3$-irregular subcubic graphs that are not $(1,2^3)$-packing edge-colorable and $(1^2,2)$-packing edge-colorable, respectively.
Hocquad, Lajou, and Lu\v zar conjectured that every subcubic planar graph is $(1^2,2^3)$-packing edge-colorable. Furthermore, they found a subcubic planar graph with girth $3$ that is not $(1^2,2^2)$-packing edge-colorable. For every fixed integer $k \ge 3$, we found graphs with girth $k$ that are not $(1^2,2)$- and not $(1,2^3)$-packing edge-colorable. It is natural to consider the question "what is the minimum positive integer $g$ such that every subcubic planar graph with girth at least $g$ is $(1^2,2^2)$-packing edge-colorable?". We prove $g$ is finite and in fact $g \le 20$. We also provide an example showing $g \ge 6$.
Rainbow trapezoids with given area
A well-known result by Graham in Euclidean Ramsey Theory states that, for every positive real number $A$, every coloring of the plane with finite number of colors contains a monochromatic triangle of area $A$. We consider canonical versions of this result. We show that every $3$-coloring of the plane integer lattice contains either a rainbow triangle of area $1/2$ or a monochromatic rectangle of any given area whose sides are parallell to the axes. We also show that, under natural conditions, there are numbers $A$ and $B$ such that every coloring of the plane integer lattice contains either a monochromatic rectangle of area $A$ or a rainbow trapezoid of area $B$. As usual, only vertex colors are considered: e.g., a monochromatic rectangle is a set of four points in the lattice which a) are the vertices of a rectangle and b) are assigned the same color.
On the minimum degree of minimal $k$-$\{1,2\}$-factor critical $k$-planar graphs
A graph of order $n$ is said to be $k$-\emph{factor-critical} $(0\le k<n)$ if the removal of any $k$ vertices results in a graph with a perfect matching. A $k$-factor-critical graph $G$ is \emph{minimal} if $G-e$ is not $k$-factor-critical for any edge $e$ in $G$. In 1998, Favaron and Shi posed the conjecture that every minimal $k$-factor-critical graph is of minimum degree $k+1$.
A natural extension of this notion arises from $\{1,2\}$-factors. A spanning subgraph of $G$ is called a $\{1,2\}$-factor if each of its components is a regular graph of degree one or two. A graph is $k$-\emph{$\{1,2\}$-factor critical} if the removal of any $k$ vertices results in a graph with a $\{1,2\}$-factor.
A recent conjecture in the area states that every minimal $k$-$\{1,2\}$-factor critical graph $G$ satisfies $k+1\le δ(G)\le k+2$. In this paper, we prove that the conjecture holds for $k$-planar graphs, that is, graphs in which the deletion of any set of $k$ vertices yields a planar graph. In particular, this resolves the conjecture for planar graphs.
Central limit theorems for high dimensional lattice polytopes: symmetric edge polytopes
We investigate symmetric edge polytopes generated by Erdős--Rényi random graphs in a high-dimensional regime. These objects provide a natural and largely unexplored model of random lattice polytopes, in which geometric properties are governed by graph-theoretic structure. Focusing on the number of polytope edges and on the number of edges in unimodular triangulations, we derive precise asymptotics for expectations and variances and establish central limit theorems with explicit rates of convergence. Our analysis combines a detailed combinatorial-geometric study of the graph configurations determining the facial structure with the discrete Malliavin--Stein method for normal approximation. In particular, we identify a distinguished parameter value at which the leading variance term cancels, producing an atypical fluctuation regime. To the best of our knowledge, the results obtained here constitute the first distributional limit theorems for random lattice polytopes
The zeta function of regular trees, their special values and functional equations
We determine the special values at positive integers of the spectral zeta function associated with the combinatorial Laplacian on the regular tree. These values admit explicit formulas in terms of certain polynomials, which we show to be palindromic and to have non-negative integer coefficients with a combinatorial interpretation. Along the way, we uncover unexpected symmetries between the values of the zeta function at negative and positive integers, expressed at the level of their generating functions. Using these symmetries, we ultimately establish a functional equation of the type \( s \longleftrightarrow 1-s \) for a natural completion of the zeta function.
Rainbow connectivity Maker-Breaker game
We study biased Maker-Breaker games on a graph system $\{G_1,\ldots,G_s\}$, in which Maker's goal is to claim certain rainbow structures, i.e., specified subgraphs consisting of at most one edge from each graph $G_i$. We consider the rainbow-connectivity game, in which Maker wants to claim a rainbow path between every pair of vertices.
We analyse this game in detail, essentially determining the threshold bias when played on the system of complete graphs, and observing that whether the random graph intuition holds depends on the size of $s$. The key ingredient of our result is the analysis of a Maker's strategy that combines several randomized strategies with an appropriately designed balancing game. As a byproduct, we find the order of the threshold bias for the Maker-Breaker diameter game, and disprove a conjecture by Balogh, Martin and Pluhár.
Another natural and general way to analyse Maker-Breaker games that are played on a colored board is to require Maker to occupy a rainbow winning set of a given positional game. In the case of the connectivity game, Maker's goal is to claim a rainbow spanning tree. For this game played on the system of complete graphs, we establish matching upper and lower bounds on the threshold bias, up to constant factors.
Pseudo-Gorenstein$^{*}$ Graphs
Motivated by pseudo-Gorenstein rings in commutative algebra, introduced by Herzog et al., we define pseudo-Gorenstein$^{*}$ graphs and classify them in several natural graph families using independence polynomials.
Hierarchical threshold structure in Max-Cut with geometric edge weights
We study a family of weighted Max-Cut instances on the complete graph $K_n$ in which edge weights decrease geometrically in lexicographic order: the $i$-th edge has weight $r^{N-i}$ where $N=\binom{n}{2}$. For $r\ge 2$, the lexicographically first cut is optimal; for $r=1$, all edges have equal weight and the balanced partition wins. In this paper we study the intermediate regime $1< r <2$.
The geometric weighting makes early edges dominant and singles out the $k$-isolated cuts $C_k=\{1,\dots,k\}\mid\{k+1,\dots,n\}$ as natural candidates for optimality. For each $n$ and $k\le\lfloor n/2\rfloor-1$, we define threshold polynomials $P^{n,k}(r)$ whose unique roots $r_k(n)\in(1,2)$ determine when $C_k$ and $C_{k+1}$ exchange dominance. We prove that, for fixed $n$, these thresholds are strictly decreasing in $k$ and that $r_k(n)\to 1$ as $n\to\infty$. As our main result, we show that for $r\in(r_k(n),r_{k-1}(n))$ the cut $C_k$ achieves maximum weight among all isolated cuts, yielding a sharp phase diagram for the isolated-cut family.
We conjecture that isolated cuts are globally optimal among all $2^{n-1}$ cuts when $n\ge 7$; all counterexamples for small $n$ are characterized completely, and extensive computations for $n\le 100$ support the conjecture.
A Class of Unrooted Phylogenetic Networks Inspired by the Properties of Rooted Tree-Child Networks
A directed phylogenetic network is tree-child if every non-leaf vertex has a child that is not a reticulation. As a class of directed phylogenetic networks, tree-child networks are very useful from a computational perspective. For example, several computationally difficult problems in phylogenetics become tractable when restricted to tree-child networks. At the same time, the class itself is rich enough to contain quite complex networks. Furthermore, checking whether a directed network is tree-child can be done in polynomial time. In this paper, we seek a class of undirected phylogenetic networks that is rich and computationally useful in a similar way to the class tree-child directed networks. A natural class to consider for this role is the class of tree-child-orientable networks which contains all those undirected phylogenetic networks whose edges can be oriented to create a tree-child network. However, we show here that recognizing such networks is NP-hard, even for binary networks, and as such this class is inappropriate for this role. Towards finding a class of undirected networks that fills a similar role to directed tree-child networks, we propose new classes called $q$-cuttable networks, for any integer $q\geq 1$. We show that these classes have many of the desirable properties, similar to tree-child networks in the rooted case, including being recognizable in polynomial time, for all $q\geq 1$. Towards showing the computational usefulness of the class, we show that the NP-hard problem Tree Containment is polynomial-time solvable when restricted to $q$-cuttable networks with $q\geq 3$.
Explicit Formulas and Unimodality Phenomena for General Position Polynomials
The general position problem in graphs seeks the largest set of vertices such that no three vertices lie on a common geodesic. Its counting refinement, the general position polynomial $ψ(G)$, asks for all such possible sets. In this paper, We describe general position sets for several classes of graphs and provide explicit formulas for the general position polynomials of complete multipartite graphs. We specialize to balanced complete multipartite graphs and show that for part size $r\le 4$, the polynomial $ψ(K_{r,\dots,r})$ is log-concave and unimodal for all numbers of parts, while for larger $r$, counterexamples show that these properties fail. Finally, we analyze the corona $G\circ K_1$ and prove that unimodality of $ψ(G)$ is retained for numerous natural classes (paths, edgeless graphs, combs). This contributes to an open problem, but the general case remains unknown. Our findings support the parallel between general position polynomials and classical position-type parameters, and identify balanced multipartite graphs and coronas as promising testbeds for additional research.
Positional s-of-k games
We introduce a general framework for positional games in which players score points by claiming a prescribed portion of each winning set, extending the notion of scoring Maker-Breaker games. In the scoring variant, Maker gains a point by fully claiming a winning set, while Breaker aims to minimize Maker's total score. In this paper, we generalize these models for all k-uniform positional games by fixing an integer threshold s in {1,2,..., k} so that a player scores a point whenever she claims at least s elements of a winning set of size k. We refer to this class as s-of-k games. Such formulation allows for a flexible description of scoring objectives that appear in both theoretical models and real-life board games.
We further investigate the impact of strategy restrictions on the achievable score. In particular, we analyze s-of-k games both under optimal play, where the score is denoted by SC, and under the additional constraint that Maker is restricted to a pairing strategy. The corresponding score in this setting is denoted by SC_2. While the unrestricted score captures the standard notion of optimal play in scoring positional games, the pairing-restricted score allows us to observe Maker's loss incurred by limiting her to these standard strategies.
We comprehensively study s-of-k games played on regular grids, which provide a natural and uniform setting for illustrating the general framework. After developing several general tools for the analysis of both scores, we complement them by a number of ad-hoc strategies tailored for particular cases of these games, to obtain both upper and lower bounds for the two scores on triangular, square, rhombus and hexagonal grids.
Chromatic thresholds for linear equations and recurrence
Motivated by classical problems in extremal graph theory, we study a chromatic analogue of Roth-type questions for linear equations over $\mathbb F_p$. Given a homogeneous equation $\mathcal L:\sum_{i=1}^k c_i x_i=0$ with $k\ge 3$, we study $\mathcal L$-solution-free sets $A\subseteq \mathbb F_p$ through the chromatic number of the Cayley graph $\mathsf{Cay}(\mathbb F_p,A)$. We introduce the \emph{chromatic threshold} $δ_χ(\mathcal L)$, the minimum density that guarantees bounded chromatic number of $\mathsf{Cay}(\mathbb F_p,A)$ among all $\mathcal L$-solution-free sets $A$, and determine exactly when $δ_χ(\mathcal L)=0$. We prove that $δ_χ(\mathcal L)=0$ if and only if $\mathcal L$ contains a zero-sum subcollection of at least three coefficients.
A key ingredient is a quantitative chromatic lower bound for Cayley graphs on $\mathbb Z_p^n$ generated by Hamming balls around the all-ones vector. This is obtained by introducing a new Kneser-type graph that admits a natural embedding into $\mathbb Z_p^n$, together with an equivariant Borsuk--Ulam type argument. As a consequence, we resolve a question of Griesmer. We further relate our classification to the hierarchy of measurable, topological, and Bohr recurrence. In particular, we show that every infinite discrete abelian group admits a set that is topological recurrent but not measurable recurrent, extending the seminal examples of Kříž and Ruzsa.