arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Well-forced graphs
Published • View PublicationBIB
A graph in which all minimal zero forcing sets are in fact minimum size is called ``well-forced." This paper characterizes well-forced trees and presents an algorithm for determining which trees are well-forced. Additionally, we characterize which vertices in a tree are contained in no minimal zero forcing set.
Fairness in Submodular Maximization over a Matroid Constraint
Submodular maximization over a matroid constraint is a fundamental problem with various applications in machine learning. Some of these applications involve decision-making over datapoints with sensitive attributes such as gender or race. In such settings, it is crucial to guarantee that the selected solution is fairly distributed with respect to this attribute. Recently, fairness has been investigated in submodular maximization under a cardinality constraint in both the streaming and offline settings, however the more general problem with matroid constraint has only been considered in the streaming setting and only for monotone objectives. This work fills this gap. We propose various algorithms and impossibility results offering different trade-offs between quality, fairness, and generality.
2023-12-21 v2
Vector Multispaces and Multispace Codes
Published in Appl. Math. Comput., vol. 486, article no. 129041, 2025 • View PublicationBIB
Basic algebraic and combinatorial properties of finite vector spaces in which individual vectors are allowed to have multiplicities larger than $ 1 $ are derived. An application in coding theory is illustrated by showing that multispace codes that are introduced here may be used in random linear network coding scenarios, and that they generalize standard subspace codes (defined in the set of all subspaces of $ \mathbb{F}_q^n $) and extend them to an infinitely larger set of parameters. In particular, in contrast to subspace codes, multispace codes of arbitrarily large cardinality and minimum distance exist for any fixed $ n $ and $ q $.
2023-12-20 v2
Structure of lower tails in sparse random graphs
Published • View PublicationBIB
We study the typical structure of a sparse Erdős--Rényi random graph conditioned on the lower tail subgraph count event. We show that in certain regimes, a typical graph sampled from the conditional distribution resembles the entropy minimizer of the mean field approximation in the sense of both subgraph counts and cut norm. The main ingredients are an adaptation of an entropy increment scheme of Kozma and Samotij, and a new stability for the solution of the associated entropy variational problem. The proof can be interpreted as a structural application of the new probabilistic hypergraph container lemma for sparser than average sets, and suggests a more general framework for establishing such typical behavior statements.
2023-12-20 v2
The spectra of Laplace operators on covering simplicial complexes
We give a decomposition of the Laplace operator (in matrix form) of a covering simplicial complex as a direct sum of several matrices, one of which is the Laplace operator of the base complex. It follows that the spectrum of a covering simplicial complex is a multiset union of the spectrum of the base simplicial complex and the spectra of other relevant matrices, which implies the spectral inclusion property of Horak and Jost. In the case of a $2$-fold covering, we show that the spectrum is a multiset union of the spectrum of the base complex and that of an incidence-signed simplicial complex, thereby generalizing a result of Bilu and Linial from graphs to simplicial complexes. Additionally, we show that the dimension of the cohomology of a covering complex is greater than or equal to that of the base complex. Our arguments exploit the coverings of incidence graphs of simplicial complexes and the representation theory of permutation groups.
2023-12-20 v2
Graph connectivity with fixed endpoints in the random-connection model
Published in Prob. Eng. Inf. Sci. 39 (2025) 370-396 • View PublicationBIB
We consider the count of subgraphs with an arbitrary configuration of endpoints in the random-connection model based on a Poisson point process on ${\Bbb R}^d$. We present combinatorial expressions for the computation of the cumulants and moments of all orders of such subgraph counts, which allow us to estimate the growth of cumulants as the intensity of the underlying Poisson point process goes to infinity. As a consequence, we obtain a central limit theorem with explicit convergence rates under the Kolmogorov distance, and connectivity bounds. Numerical examples are presented using a computer code in SageMath for the closed-form computation of cumulants of any order, for any type of connected subgraph and for any configuration of endpoints in any dimension $d\geq 1$. In particular, graph connectivity estimates, Gram-Charlier expansions for density estimation, and correlation estimates for joint subgraph counting are obtained.
2023-12-20 v2
On components of the tensor square of a Weyl module
Published • View PublicationBIB
For a simple Lie algebra $\mathfrak{g}$ of type $A_n,B_n,C_n$ or $D_n$, we give a characterization of the set of dominant integral weights $λ$ such that for any rational point $μ$ in the fundamental Weyl chamber, $2λ-μ$ is a non-negative rational combination of the simple roots if and only if $V_{mμ}\subseteq V_{mλ}\otimes V_{mλ}$ for some positive integer $m$.
2023-12-20
A distinction between the paraboloid and the sphere in weighted restriction
For several weights based on lattice point constructions in $\mathbb{R}^d (d \geq 2)$, we prove that the sharp $L^2$ weighted restriction inequality for the sphere is very different than the corresponding result for the paraboloid. The proof uses Poisson summation, linear algebra, and lattice counting. We conjecture that the $L^2$ weighted restriction is generally better for the circle for a wide variety of general sparse weights.
2023-12-20 v5
On spectrum of corona product of duplication signed graph and its application
This paper introduces the concept of $μ$-signed and duplication signed graphs and shows that both are always structurally balanced. Using the duplication signed graph, we define the corona product of the duplication signed graph (Duplication add vertex corona product and duplication vertex corona product) and explore their structural properties. Additionally, we provide the adjacency spectrum of both the products for any $Γ_1$ and $Γ_2$, and the Laplacian and signless Laplacian spectrum for regular $Γ_1$ and arbitrary $Γ_2$, in terms of the corresponding spectrum of $Γ_1$ and $Γ_2$. Finally, we discuss its application in generating integral and equienergetic signed graphs.
2023-12-20 v2
r-orientation of a signed graph and its application on coronae of signed graphs
For unsigned graphs G and H, the characteristic polynomial of different graph matrices for edge corona, subdivision vertex neighbourhood corona and subdivision edge neighbourhood corona has already been studied using the concept of coronal. However, till date no work regarding the spectrum of these products has been studied for signed graphs. In our work, we have filled this gap and defined these variants of coronae by introducing the concept of reverse orientation (r-orientation). We analyzed the structural properties of these product. Also, the characteristic polynomial of adjacency matrix, Laplacian matrices (signed and signless) and normalized Laplacian matrix of these variants of corona product of regular signed graphs under $r$-orientation is obtained using the concept of signed coronal. These results help us to construct infinitely many families of pairs of cospectral signed graphs.
2023-12-20 v3
The Bombieri-Pila determinant method
Published in Essential Number Theory 4-2 (2025), 327-348 • View PublicationBIB
We give a concise and accessible introduction to the real-analytic determinant method for counting integral points on algebraic curves, based on the classic 1989 paper of Bombieri and Pila.
2023-12-20 v4
Coloring Grids Avoiding Bicolored Paths
Published • View PublicationBIB
The star chromatic number on a graph is the minimum number of colors in a proper vertex coloring forbidding any $P_4$ with two colors (bicolored). This problem was introduced by Grünbaum (1973) together with the acyclic coloring of graphs, where bicolored cycles are avoided. In this paper, we study a generalization of this problem, by considering proper vertex coloring on graphs forbidding bicolored paths of a fixed length, which was initially discussed by Alon, McDiarmid, and Reed (1991). Here, we study this problem on products of two paths. We show that at least 4 colors are needed to properly color the product of paths, $P_m\square P_n$, avoiding a bicolored $P_k,$ unless $n<k-2$ or $m<k-2.$ With this result, the above question is settled for all $k$ on 2-dimensional grids.
2023-12-20
On directed and undirected diameters of vertex-transitive graphs
Published in Combinatorica 44 (2024), 1353-1366 • View PublicationBIB
A directed diameter of a directed graph is the maximum possible distance between a pair of vertices, where paths must respect edge orientations, while undirected diameter is the diameter of the undirected graph obtained by symmetrizing the edges. In 2006 Babai proved that for a connected directed Cayley graph on $n$ vertices the directed diameter is bounded above by a polynomial in undirected diameter and $\log n$. Moreover, Babai conjectured that a similar bound holds for vertex-transitive graphs. We prove this conjecture of Babai, in fact, it follows from a more general bound for connected relations of homogeneous coherent configurations. The main novelty of the proof is a generalization of Ruzsa's triangle inequality from additive combinatorics to the setting of graphs.
2023-12-20 v2
Bounds for characteristic numbers of conic-line arrangements in the plane
Published in Collectanea Mathematica (2025) • View PublicationBIB
The main aim of the note is to provide an upper-bound for the characteristic number of conic-line arrangements with ordinary singularities in the complex projective plane.
2023-12-20 v3
Frieze patterns and Farey complexes
Published • View PublicationBIB
Frieze patterns have attracted significant attention recently, motivated by their relationship with cluster algebras. A longstanding open problem has been to provide a combinatorial model for frieze patterns over the ring of integers modulo $n$ akin to Conway and Coxeter's celebrated model for positive integer frieze patterns. Here we solve this problem using the Farey complex of the ring of integers modulo $n$; in fact, using more general Farey complexes we provide combinatorial models for frieze patterns over any rings whatsoever. Our strategy generalises that of the first author and of Morier-Genoud et al. for integers and that of Felikson et al. for Eisenstein integers. We also generalise results of Singerman and Strudwick on diameters of Farey graphs, we recover a theorem of Morier-Genoud on enumerating friezes over finite fields, and we classify those frieze patterns modulo $n$ that lift to frieze patterns over the integers in terms of the topology of the corresponding Farey complexes.
Maximizing Matching Cuts
Published • View PublicationBIB
A matching cut in a graph G is an edge cut of G that is also a matching. This short survey gives an overview of old and new results and open problems for Maximum Matching Cut, which is to determine the size of a largest matching cut in a graph. We also compare this problem with the related problems Matching Cut, Minimum Matching Cut, and Perfect Matching Cut, which are to determine if a graph has a matching cut; the size of a smallest matching cut in a graph; and if a graph has a matching cut that is a perfect matching, respectively. Moreover, we discuss a relationship between Maximum Matching Cut and Max Cut, which is to determine the size of a largest edge cut in a graph, as well as a relationship between Minimum Matching Cut and Min Cut, which is to determine the size of a smallest edge cut in a graph.
2023-12-20
Points-Polynomials Incidence Theorem with Applications to Coding Theory
Published • View PublicationBIB
This paper focuses on incidences over finite fields, extending to higher degrees a result by Vinh \cite{VINH20111177} on the number of point-line incidences in the plane $\mathbb{F}^2$, where $\mathbb{F}$ is a finite field. Specifically, we present a bound on the number of incidences between points and polynomials of bounded degree in $\mathbb{F}^2$. Our approach employs a singular value decomposition of the incidence matrix between points and polynomials, coupled with an analysis of the related group algebras. This bound is then applied to coding theory, specifically to the problem of average-radius list decoding of Reed-Solomon (RS) codes. We demonstrate that RS codes of certain lengths are average-radius list-decodable with a constant list size, which is dependent on the code rate and the distance from the Johnson radius. While a constant list size for list-decoding of RS codes in this regime was previously established, its existence for the stronger notion of average-radius list-decoding was not known to exist.
Hardness of linearly ordered 4-colouring of 3-colourable 3-uniform hypergraphs
A linearly ordered (LO) $k$-colouring of a hypergraph is a colouring of its vertices with colours $1, \dots, k$ such that each edge contains a unique maximal colour. Deciding whether an input hypergraph admits LO $k$-colouring with a fixed number of colours is NP-complete (and in the special case of graphs, LO colouring coincides with the usual graph colouring). Here, we investigate the complexity of approximating the `linearly ordered chromatic number' of a hypergraph. We prove that the following promise problem is NP-complete: Given a 3-uniform hypergraph, distinguish between the case that it is LO $3$-colourable, and the case that it is not even LO $4$-colourable. We prove this result by a combination of algebraic, topological, and combinatorial methods, building on and extending a topological approach for studying approximate graph colouring introduced by Krokhin, Opršal, Wrochna, and Živný (2023).
2023-12-20 v2
Shellability of Componentwise Discrete Polymatroids
Published • View PublicationBIB
In the present paper, motivated by a conjecture of Jahan and Zheng, we prove that componentwise polymatroidal ideals have linear quotients. This solves positively a conjecture of Bandari and Herzog.
2023-12-20
Matching Powers: Macaulay2 Package
We introduce the Macaulay2 package MatchingPowers. It allows to compute and manipulate the matching powers of a monomial ideal. The basic theory of matching powers is explained and the main features of the package are presented.