Colouring Complete Multipartite and Kneser-type Digraphs

2025-04-20T10:26:12Z

The dichromatic number of a digraph $D$ is the smallest $k$ such that $D$ can be partitioned into $k$ acyclic subdigraphs, and the dichromatic number of an undirected graph is the maximum dichromatic number over all its orientations. Extending a well-known result of Lov\'{a}sz, we show that the dichromatic number of the Kneser graph $KG(n,k)$ is $\Theta(n-2k+2)$ and that the dichromatic number of the Borsuk graph $BG(n+1,a)$ is $n+2$ if $a$ is large enough. We then study the list version of the dichromatic number. We show that, for any $\varepsilon>0$ and $2\leq k\leq n^{1/2-\varepsilon}$, the list dichromatic number of $KG(n,k)$ is $\Theta(n\ln n)$. This extends a recent result of Bulankina and Kupavskii on the list chromatic number of $KG(n,k)$, where the same behaviour was observed. We also show that for any $\rho>3$, $r\geq 2$ and $m\geq\max\{\ln^{\rho}r,2\}$, the list dichromatic number of the complete $r$-partite graph with $m$ vertices in each part is $\Theta(r\ln m)$, extending a classical result of Alon. Finally, we give a directed analogue of Sabidussi's theorem on the chromatic number of graph products.

Complexity of approximate conflict-free, linearly-ordered, and nonmonochromatic hypergraph colourings

2025-04-20T10:12:52Z

Using the algebraic approach to promise constraint satisfaction problems, we establish complexity classifications of three natural variants of hypergraph colourings: standard nonmonochromatic colourings, conflict-free colourings, and linearly-ordered colourings. Firstly, we show that finding an $\ell$-colouring of a $k$-colourable $r$-uniform hypergraph is NP-hard for all constant $2\leq k\leq \ell$ and $r\geq 3$. This provides a shorter proof of a celebrated result by Dinur et al. [FOCS'02/Combinatorica'05]. Secondly, we show that finding an $\ell$-conflict-free colouring of an $r$-uniform hypergraph that admits a $k$-conflict-free colouring is NP-hard for all constant $3\leq k\leq\ell$ and $r\geq 4$, except for $r=4$ and $k=2$ (and any $\ell$); this case is solvable in polynomial time. The case of $r=3$ is the standard nonmonochromatic colouring, and the case of $r=2$ is the notoriously difficult open problem of approximate graph colouring. Thirdly, we show that finding an $\ell$-linearly-ordered colouring of an $r$-uniform hypergraph that admits a $k$-linearly-ordered colouring is NP-hard for all constant $3\leq k\leq\ell$ and $r\geq 4$, thus improving on the results of Nakajima and \v{Z}ivn\'y [ICALP'22/ACM TocT'23].

Matroid schemes and geometric posets

2025-04-20T10:04:37Z

The intersection data of a hyperplane arrangement is described by a geometric lattice, or equivalently a simple matroid. There is a rich interplay between this combinatorial structure and the topology of the arrangement complement. In this paper, we characterize the combinatorial structure underlying an abelian arrangement (such as a toric or elliptic arrangement) by defining a class of geometric posets and a generalization of matroids called matroid schemes. The intersection data of an abelian arrangement is encoded in a geometric poset, and we prove that a geometric poset is equivalent to a simple matroid scheme. We lay foundations for the theory of matroid schemes, discussing rank, flats, and independence. We also extend the definition of the Tutte polynomial to this setting and prove that it satisfies a deletion-contraction recurrence.

Extreme Points of Base Polytope of Submodular Set Functions and Limit for Quotient Convergent Graph Sequence

2025-04-20T09:20:42Z

Submodular set functions are of great importance in mathematics and theoretical computer science, serving as fundamental tools in optimization, combinatorics, and economics due to their natural properties and wide-ranging applications. In 2023, Lov\'asz systematically extended the theory of submodular set functions from finite sets to general set algebras and proposed several open problems about the behavior of submodular functions in infinite settings, including the characterization of extreme points of the base polytope of submodular set functions. We characterize conditions under which the extreme points of the base polytope of a submodular function are restricting measures with respect to its majorizing measure. Applying this result, we characterize the core of increasing subadditive non-atomic games and provide a positive answer to a question of Krist\'of B\'erzi, M\'arton Borb\'enyi, L\'aszl\'o Lov\'asz and L\'aszl\'o M\'arton T\'oth regarding the rank function for graphing's cycle matroid. Furthermore, building on the limit theory for set functions, we prove that the limit of convergent sequence of bounded-degree graphs' cycle matroids can be represented as the cycle matroid of a graphing, analogous to the completeness result for local-global convergence.

A lattice point counting approach for the study of the number of self-avoiding walks on $\mathbb{Z}^{d}$

2025-04-20T08:50:34Z

We reduce the problem of counting self-avoiding walks in the square lattice to a problem of counting the number of integral points in multidimensional domains. We obtain an asymptotic estimate of the number of self-avoiding walks of length $n$ in the square lattice. This new formalism gives a natural and unified setting in order to study the properties of the number of self-avoiding walks in the lattice $\mathbb{Z}^{d}$ of any dimension $d\geq 2$.

Total positivity of Hadamard product of dual Jacobi--Trudi matrices

2025-04-20T07:16:20Z

In 1992, Wagner proved that the Hadamard product of two totally positive lower triangular Toeplitz matrices is totally positive. In this work, we strengthen this result by establishing total monomial positivity for the Hadamard product of Jacobi--Trudi matrices. In particular, we resolve a conjecture of Sokal concerning the Hadamard square of Jacobi--Trudi matrices. Moreover, we provide a manifestly positive Schur expansion for the Hadamard square of Jacobi--Trudi matrices indexed by ribbons. In addition, we construct a corresponding representation, offering a representation-theoretic proof of the Schur positivity.

On Solving the Set Covering Problem with Conflicts on Sets

2025-04-20T06:20:35Z

A variant of the well-known Set Covering Problem is studied in this paper, where subsets of a collection have to be selected, and pairwise conflicts among subsets of items exist. The selection of each subset has a cost, and the inclusion of conflicting subsets is associated with a penalty to be paid. The problem, which can be used to model real applications, looks for a selection of subsets that cover the original collection, while minimizing the sum of covering and penalty costs. In this paper we consider a compact mixed integer linear program and we solve it with an open-source solver. Computational results on the benchmark instances commonly used in the literature of the problem are reported. The results indicate that the new approach we propose is capable of good results, both in terms of lower and upper bounds, although not matching the state-of-the-art on average. The new approach was, however, able to improve 9 best-known heuristic solutions.

Turán number of complete multipartite graphs in multipartite graphs

2025-04-20T04:55:06Z

In this paper we study a multi-partite version of the Erd\H{o}s--Stone theorem. Given integers $r

Digraphs of potential barriers: properties of their tree structure and algorithm for constructing minimum spanning forests

2025-04-20T04:24:32Z

For a weighted digraph without loops $V$, the arc weights of which can be obtained from an undirected graph with loops ${\sf P}$ according to the rule $v_{ij}=p_{ij}-p_{ii}$, the properties are studied. An effective algorithm for constructing directed trees of minimum weight and an algorithm for constructing spanning directed forests of minimum weight are proposed.

On the Ehrhart Theory of Generalized Symmetric Edge Polytopes

2025-04-19T22:57:01Z

The symmetric edge polytope (SEP) of a (finite, undirected) graph is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. SEPs have been studied extensively in the past twenty years. Recently, T\'othm\'er\'esz and, independently, D'Al\'i, Juhnke-Kubitzke, and Koch generalized the definition of an SEP to regular matroids, which are the matroids that can be represented by totally unimodular matrices. Generalized SEPs are known to have symmetric Ehrhart $h^*$-polynomials, and Ohsugi and Tsuchiya conjectured that (ordinary) SEPs have nonnegative $\gamma$-vectors. In this article, we use combinatorial and Gr\"obner basis techniques to extend additional known properties of SEPs to generalized SEPs. Along the way, we show that generalized SEPs are not necessarily $\gamma$-nonnegative by providing explicit examples. We prove that the polytopes we construct are ``nearly'' $\gamma$-nonnegative in the sense that, by deleting exactly two elements from the matroid, one obtains SEPs for graphs that are $\gamma$-nonnegative. This provides further evidence that Ohsugi and Tsuchiya's conjecture holds in the ordinary case.

Tropical Abel-Jacobi theory

2025-04-19T22:11:12Z

To a compact tropical variety of arbitrary dimension, we associate a collection of intermediate Jacobians defined in terms of tropical homology and tropical monodromy. We then develop an Abel-Jacobi theory in the tropical setting by defining functorial Abel-Jacobi maps. We introduce, in particular, tropical Albanese varieties and formulate obstructions to algebraic equivalence of tropical cycles. In dimension 1, we show that this recovers the existing Abel-Jacobi theory for tropical curves. As an application, we consider the Ceresa class of a tropical curve which is defined as the image of the Ceresa cycle in an appropriate intermediate Jacobian under the Abel-Jacobi map. We give an explicit formula for this class entirely in terms of the combinatorics of the tropical curve.

Noncrossing arc diagrams of type B

2025-04-19T19:39:35Z

Noncrossing arc diagrams are combinatorial models for permutations that encode information about lattice congruences of the weak order and about the associated discrete geometry. In this paper, we consider two related, analogous models for signed permutations. One model features centrally symmetric noncrossing arc diagrams, while the other features their quotients modulo the central symmetry. We demonstrate the utility of the models by applying them to various questions about lattice quotients of the weak order.

A new intersection condition in extremal set theory

2025-04-19T19:30:36Z

We call a family $\mathcal{F}$ $(3,2,\ell)$-intersecting if $|A \cap B|+|B \cap C|+|C \cap A| \geq \ell$ for all $A$, $B$, $C \in \mathcal{F}$. We try to look for the maximum size of such a family $\mathcal{F}$ in case when $\mathcal{F} \subset {[n] \choose k}$ or $\mathcal{F} \subset 2^{[n]}$. In the uniform case we show that if $\mathcal{F}$ is $(3,2,2)$-intersecting, then $\vert \mathcal{F} \vert \leq {n+1 \choose k-1}+{n \choose k-2}$ and if $\mathcal{F}$ is $(3,2,3)$-intersecting, then $|\mathcal{F}| \leq {n \choose k-1} + 2 {n \choose k-3} + 3 {n-1 \choose k-3}$. For the lower bound we construct a $(3,2,\ell)$-intersecting family and we show that this bound is sharp when $\ell=2$ or $3$ and $n$ is sufficiently large compared to $k$. In the non-uniform case we give an upper bound for a $(3,2,n-x)$-intersecting family, when $n$ is sufficiently large compared to $x$.

Extremal independence in discrete random systems

2025-04-19T19:08:15Z

Let $\mathbf{X}(n) \in \mathbb{R}^d$ be a sequence of random vectors, where $n\in\mathbb{N}$ and $d = d(n)$. Under certain weakly dependence conditions, we prove that the distribution of the maximal component of $\mathbf{X}$ and the distribution of the maximum of their independent copies are asymptotically equivalent. Our result on extremal independence relies on new lower and upper bounds for the probability that none of a given finite set of events occurs. As applications, we obtain the distribution of various extremal characteristics of random discrete structures such as maximum codegree in binomial random hypergraphs and the maximum number of cliques sharing a given vertex in binomial random graphs. We also generalise Berman-type conditions for a sequence of Gaussian random vectors to possess the extremal independence property.

Fixing two points in primitive solvable groups

2025-04-19T18:13:20Z

Consider a finite primitive solvable group. We observe that a result of Y. Yang implies that there exist two points whose pointwise stabilizer has derived length at most $9$. We show that, if the group has odd cardinality, then there exist two points whose pointwise stabilizer is abelian.