Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Covering complete $r$-partite hypergraphs with few monochromatic components
An edge-coloring of a hypergraph is {\em spanning} if every vertex sees every color used in the coloring. In this paper, we prove that for $k \geq 2r \geq 6$, in any spanning $k$-coloring of the edges of a complete $r$-partite $r$-uniform hypergraph $H$, the vertices of $H$ can be covered by a set of at most $k-r+1$ monochromatic connected components. This proves a conjecture of Gyárfás and Király which is related to a special case of Ryser's conjecture. We also prove that for $k \in \{2,3\}$, every spanning $k$-edge-coloring of a complete bipartite graph admits a covering of its vertices using at most $k$ monochromatic components.
Counting $P_3$-convex sets in graphs
We study the $P_3$-convexity, the path convexity generated by all three-vertex paths, and focus on the problem of counting the $P_3$-convex vertex sets of a graph $G$, denoted by $\noc(G)$. First, we settle the associated extremal question: we characterize the $n$-vertex graphs maximizing $\noc(G)$ among all graphs and determine the connected extremal graphs. Next, we investigate computational complexity and show that counting $P_3$-convex sets is $\#\mathsf{P}$-complete already on split graphs, even under additional structural restrictions. On the positive side, we identify two tractable subclasses, namely trees and threshold graphs, and obtain linear-time algorithms for both. Finally, we design nontrivial exact exponential-time algorithms for general graphs, combining structural decomposition, propagation rules capturing forced consequences of $P_3$-convexity, and fast counting of independent sets in auxiliary graphs. The resulting strategy becomes particularly effective on graph classes where large independent sets are guaranteed and can be found efficiently.
The minimum length of an axis-aligned rectangular tiling of a flat torus
A flat torus is the quotient of the Euclidean plane over a lattice generated by a basis, and an axis-aligned rectangular tiling of a flat torus is a partition into finitely many rectangles whose sides are axis-aligned. We provide the minimum sum of the perimeter of rectangles for an axis-aligned rectangular tiling, and prove that it is attainable by either exactly one rectangle or exactly two rectangles.
Lattice points arising from regularity and $\mathrm{v}$-number of Graphs: Whisker and Cameron-Walker
Let $G$ be a simple graph on $n$ vertices and $I(G)\subseteq R$ be its edge ideal. In this paper, we initiate the study of determining lattice points in $\mathbb{N}^2$ that appear as a pair $(\mathrm{reg}(R/I(G)), \mathrm{v}(I(G)))$, where $G$ ranges over all connected graphs on $n$ vertices, and we denote this set by $\mathcal{RV}(n)$. Here `$\mathrm{reg}$' denotes the (Castelnuovo-Mumford) regularity and `$\mathrm{v}$' denotes the $\mathrm{v}$-number. We establish general bounds for $\mathcal{RV}(n)$ by identifying two sets $A(n)$ and $B(n)$ satisfying $A(n)\subseteq \mathcal{RV}(n)\subseteq B(n)$. Furthermore, we explicitly determine the subsets of $\mathcal{RV}(n)$ consisting of all possible pairs $(\mathrm{reg}(R/I(G)), \mathrm{v}(I(G)))$ arising from whisker graphs and Cameron-Walker graphs on $n$ vertices. Finally, we propose a conjecture on the subset of $\mathcal{RV}(n)$ arising from connected chordal graphs.
Hat guessing with proper colorings
We initiate the study of the hat guessing number of a graph where the adversary is only allowed to provide a proper coloring of the graph. This is the largest number $q$ for which there is a guessing strategy on each vertex that only depends on its neighborhood, such that for every proper coloring of the graph with $q$ colors at least one vertex guesses its color correctly. In this variation, we prove that the hat guessing number of the complete graphs on $n$ vertices is $2n - 1$, which is roughly twice the classical hat guessing number of the complete graph. Our winning strategy is related to finding perfect matchings between the middle layers of the boolean poset of dimension $2n - 1$. We prove that the hat guessing number of all trees on $n \geq 3$ vertices is equal to $4$. We derive some general upper and lower bounds for all graphs and give improved estimates for book graphs. Using our results and an ILP formulation of the problem, we determine the exact hat guessing number for all graphs on at most $4$ vertices, give bounds on graphs on $5$ vertices, and propose general conjectures.
Geodesic-transitive graphs with large diameter
We review the nearly complete classification project for finite distance-transitive graphs and compile a list of all known graphs. Interestingly, we find that those graphs with diameter larger than 4, apart from a small finite number of exceptions, are geodesic-transitive. Their geodesics exhibit a clear (often geometric) structure. On the other hand, we provide examples of graphs that are distance-transitive but not geodesic-transitive, including two infinite families with diameter 3 and a few sporadic ones with diameter 3, 4 or 7. In the last section, we extend our investigation to polar Grassmann graphs and provide an explicit description of their geodesics.
Quadratic form estimations for Hessian matrices of resistance distance and Kirchhoff index of positive-weighted graphs
Let $G^{w}=(V,E,w)$ be a positive-weighted graph with the weight $w(e)>0$ for all $e\in E$. The weighted graph $G^{\widetilde{w}}=(V,E,\widetilde{w})$ is called a hyper-dual number weighted graph, where the weight $\widetilde{w}(e)=w(e)+Δw(e)(\varepsilon+\varepsilon^{*})$ is a hyper dual number, $Δw(e)$ is a real number, $\varepsilon$ and $\varepsilon^{*}$ are two dual units, $e\in E$. In this paper, we give a representation for the Moore-Penrose inverse of the Laplacian matrix, and calculation formulas for the resistance distance and Kirchhoff index of $G^{\widetilde{w}}$, respectively. We establish quadratic forms of the Hessian matrices for the resistance distance and Kirchhoff index of $G^{w}$ via generalized matrix inverses. We further derive explicit bounds on the eigenvalues of the Hessian matrices for the resistance distance and the Kirchhoff index of $G^{w}$ in terms of graph parameters. We also prove that the Kirchhoff index of a positive-weighted graph with bounded edge weights is strongly convex on its edge weight vector.
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.
Minimal toughness in subclasses of weakly chordal graphs
The toughness of a graph $G$ is defined as the largest real number $t$ such that for any set $S\subseteq V(G)$ such that $G-S$ is disconnected, $S$ has at least $t$ times more elements than $G-S$ has components (unless $G$ is complete, in which case the toughness is defined to be infinite). A graph is said to be minimally tough if deleting any edge decreases the toughness. It is an open question whether there exists a minimally tough non-complete chordal graph with toughness exceeding $1$. We initiate the study of minimally tough graphs in the larger class of weakly chordal graphs. We obtain complete classifications of minimally tough graphs in the following subclasses of weakly chordal graphs: co-chordal graphs whose complement has diameter at least $3$, net-free co-chordal graphs, complements of forests, $P_4$-free graphs, and complete multipartite graphs. Our approach leads to simple proofs of two results on minimally tough graphs due to Dallard, Fernández, Katona, Milanič, and Varga.
What induces plane structures in complete graph drawings?
This paper considers the task of connecting points on a piece of paper by drawing a curve between each pair of them. Under mild assumptions, we prove that many pairwise disjoint curves are unavoidable if either of the following rules is obeyed: any two adjacent curves do not cross, or any two non-adjacent curves cross at most once. Here, two curves are called adjacent if they share an endpoint. On the other hand, we demonstrate how to draw all curves such that any two adjacent curves cross exactly once, any two non-adjacent curves cross at least once and at most twice, and thus no two curves are disjoint. Furthermore, we analyze the emergence of disjoint curves without these mild assumptions, and characterize the plane structures in complete graph drawings guaranteed by each of the rules above.
Gauge-string duality, monomial bases and graph determinants
Questions at the intersection of the AdS/CFT correspondence and quantum information theory motivate the study of projectors in sequences of subalgebras of finite-dimensional commutative associative semisimple algebras $\mathcal{A}$, obtained by incrementally adjoining one generator at each step to produce a non-linear generating set for $\mathcal{A}$. We define degeneracy graphs, which are finite layered tree graphs whose nodes represent projectors in the successive subalgebras. Using combinatorial properties of the degeneracy graph, we give a simple formula for constructing a linear basis of $\mathcal{A}$ in terms of monomials in the generators. The nodes can be labelled by formal variables corresponding to the eigenvalues of the generators added at each layer. We prove that the construction is compatible with the required counting of projectors in $\mathcal{A}$, and give explicit constructions of the projectors in terms of the monomials, in the cases of one- and two-layer degeneracy graphs with arbitrary numbers of nodes. More generally, we provide extensive computational evidence for the invertibility of the matrix relating the proposed monomial basis to the projector basis, by evaluating its determinant. In the 1-layer case, this is a Vandermonde determinant. A simple formula for the non-vanishing determinant in the general layer case is conjectured and supported by the computational data. The construction is illustrated with examples including centres of symmetric group algebras and maximally commuting subalgebras generated by JucysMurphy elements. We outline applications of the monomial basis to algorithms for constructing matrix units in non-commutative semisimple algebras, with relevance to orthogonal bases of multi-matrix gauge-invariant operators and to quantum information theory.
Hitting time for Hamilton cycles in pseudorandom graphs
Consider the random subgraph process on a base graph $G$ with $n$ vertices: we generate a sequence $\{G_t\}_{t=0}^{|E(G)|}$ by taking a uniformly random ordering of the edges of $G$ and then adding these edges one by one to the empty graph $G_0$ on the same vertex set. We prove that there is a constant $C > 0$ such that if $G$ is an $(n,d,λ)$-graph with $d/λ\ge C$, then with high probability, the hitting time for the appearance of a Hamilton cycle coincides with the hitting time for reaching minimum degree $2$. This resolves questions posed by Alon--Krivelevich in 2019 and by Frieze--Krivelevich in 2002. As a consequence, we determine the sharp threshold for Hamilton cycles in $(n,d,λ)$-graphs with $d/λ\ge C$ for all $d$ sufficiently large. Lastly, we extend our result to the minimum degree $2k$ versus $k$ edge-disjoint Hamilton cycles setting for $k \leq c\cdot \min\{d,\log n\}$ where $c$ is a constant depending on $C$. This advances on a question asked by Frieze.
Andrews--Gordon type identities with parity restrictions through particle motion
In this paper, we use the particle motion bijection introduced by Warnaar and developed by the two authors, Jouhet and Konan, to study q-series and partition identities of the Andrews--Gordon type with parity restrictions. These restrictions are of the type ``even (resp. odd) parts appear an even number of times". We prove $q$-series identities where a multisum equals a sum of products, which generalise identities of Andrews and Kim--Yee in a similar way that Stanton's identities generalised the Andrews--Gordon identities. As a consequence of our results, we obtain a simple proof of a recent identity of Chern--Li--Stanton--Xue--Yee related to Ariki--Koike algebras.
Four relations on the set of point-hyperplane anti-flags
Published
• View Publication
• BIB
There are precisely four arrangements of two point-hyperplane anti-flags. We consider the corresponding relations on the set of such anti-flags and show that each of them can be recovered from any other except in one special case. If the field consists of two elements, then one of the relations cannot be used to recover each of the remaining three. This is related to a bijection between anti-flags and exterior points of the hyperbolic polar space which exists in this case.
Homological methods in rigidity theory using graphs of groups
In recent work, Stokes and Vermant considered graph-of-groups realisations of hypergraphs as a new description of rigidity-theoretic problems. In this paper, we show that the infinitesimal aspects of graph-of-groups realisations can be analysed using cellular sheaves and their cohomology. Using these tools, we give an algebraic condition for Henneberg moves to preserve independence, and we prove that the infinitesimal rigidity and flexibility of certain graph-of-groups realisations are generic properties. We use these results to show that whenever a rigidity-theoretic problem is defined in a real algebraic group $G$ using a $1$-dimensional connected subgroup $H$ with $N_{G}(H)/H$ finite, then the so-called Maxwell-count leads to a necessary and sufficient condition for minimal rigidity, generalising various known results in the literature.
Cross-free families have linear size
Two subsets $A$ and $B$ of a ground set $X$ are \emph{crossing} if none of the four sets $A\setminus B,B\setminus A,A\cap B, X\setminus (A\cup B)$ are empty. Almost fifty years ago, Karzanov and Lomonosov conjectured that every family of subsets of an $n$-element ground set with no $k$-pairwise crossing members has size $O(kn)$. We prove the bound $O_k(n)$, settling (arguably) the main problem about the growth rate of such families.
A complete classification of modular compactifications of the universal Jacobian
We classify all modular compactifications of the universal Jacobian over $\overline{\mathcal{M}}_{g,n}$, both as stacks and as their relative good moduli spaces. Our main result gives a combinatorial parametrization of compactified universal Jacobian stacks by $V$-functions on a stability domain $\mathbb{D}_{g,n}$ of half-vine types (two-components topological types with a chosen side); under this correspondence, fine compactifications are exactly the general $V$-functions.
We single out the classical compactified universal Jacobians, namely those induced by numerical polarizations (relative $\mathbb{R}$-line bundles on the universal curve $\overline{\mathcal{C}}_{g,n}/\overline{\mathcal{M}}_{g,n}$), recovering the constructions of Kass-Pagani and Melo in the fine case, and we prove that their good moduli spaces are locally projective over $\overline{\mathcal{M}}_{g,n}$.
We determine when two compactified universal Jacobians are isomorphic over $\overline{\mathcal{M}}_{g,n}$ and describe a resolution of the universal family via a compactified Jacobian over $\overline{\mathcal{M}}_{g,n+1}$.
Finally, we analyse the poset $Σ_{g,n}$ of compactified universal Jacobians, an extension of the poset of regions of the hyperplane arrangement of classical stability conditions $\mathcal{A}_{g,n}$ studied in Kass-Pagani. We prove that for $n=0$ all compactified universal Jacobians are those constructed by Caporaso. We then give an explicit description of the submaximal elements of $Σ_{g,n}$ for all $n$, generalizing the stability walls in the classical stability space $\mathcal{A}_{g,n}$ from Kass-Pagani's work.
Thresholds for colouring the random Borsuk graph
We consider the chromatic number of the random Borsuk graph. The random Borsuk graph is obtained by sampling $n$ points i.i.d. uniformly at random on the $d$-dimensional sphere $S^d$, and joining a pair of points by an edge whenever their geodesic distance is $>π-α$ where the parameter $α=α(n)$ may depend on $n$. Kahle and Martinez-Figueroa have shown that the switch from being $(d+1)$-colourable to needing $\geq d+2$ colours occurs in the regime where the average degree is of logarithmic order. We show that for each $2\leq k\leq d$, the switch from being $k$-colourable to needing $> k$ colours occurs in the regime when the average degree is constant. What is more, we show that for $k=2$ there is a sharp threshold of the form $α(n) = c \cdot n^{-1/d}$, where the constant $c$ can be expressed in terms of the critical intensity for continuum AB percolation on $\mathbb{R}^d$. For $k=3,\dots,d+1$ we show that there is a sharp threshold for "almost all $n$".
Finding Short Paths on Simple Polytopes
We prove that computing a shortest monotone path to the optimum of a linear program over a simple polytope is NP-hard, thus resolving a 2022 open question of De Loera, Kafer, and Sanità. As a consequence, finding a shortest sequence of pivots to an optimal basis with the simplex method is NP-hard. In fact, we show this is NP-hard already for fractional knapsack polytopes. By applying an additional polyhedral construction, we show that computing the diameter of a simple polytope is NP-hard, resolving a 2003 open problem by Kaibel and Pfetsch. Finally, on the positive side we show that every polytope has a small, simple extended formulation for which a linear length path may be found between any pair of vertices in polynomial time building upon a result of Kaibel and Kukharenko.
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.