arXiv++ Combinatorics

We define the problem as a two-player game between Algorithm and Builder. The game is played in rounds. Each round, Builder presents an interval that is neither contained in nor contains any previously presented interval. Algorithm immediately and irrevocably assigns the interval a color that has not been assigned to any interval intersecting it. The set of intervals form an interval representation for a unit interval graph and the colors form a proper coloring of that graph. For every positive integer $ω$, we define the value $R(ω)$ as the maximum number of colors for which Builder has a strategy that forces Algorithm to use $R(ω)$ colors with the restriction that the unit interval graph constructed cannot contain a clique of size $ω+1$. In 1981, Chrobak and Ślusarek showed that $R(ω)\leq2ω-1$. In 2005, Epstein and Levy showed that $R(ω)\geq\lfloor{3ω/2\rfloor}$. This problem remained unsolved for $ω\geq 3$. In 2023, Biró and Curbelo showed that $R(3)=5$. In this paper, we show that $R(4)=7$

We prove a new signed elementary symmetric function expansion of the chromatic quasisymmetric function of any natural unit interval graph. We then use a sign-reversing involution to prove a new combinatorial formula for K-chains, which are graphs formed by joining cliques at single vertices. This formula immediately implies $e$-positivity and $e$-unimodality for K-chains. We also prove a version of our signed $e$-expansion for arbitrary graphs.

The solution of Shareshian-Wachs conjecture by Brosnan-Chow and Guay-Paquet tied the graded chromatic symmetric functions on indifference graphs (or unit interval graphs) and the cohomology of regular semisimple Hessenberg varieties with the dot action. A similar result holds between unicellular LLT polynomials and twins of regular semisimple Hessenberg varieties. A recent result by Abreu-Nigro enabled us to prove these results by showing the modular law for the geometrical objects, and this is indeed done by Precup-Sommers and Kiem-Lee. In this paper, we give elementary and simpler proofs to the modular law through GKM theory.

In this paper, we extend the chromatic symmetric function $X$ to a chromatic $k$-multisymmetric function $X_k$, defined for graphs equipped with a partition of their vertex set into $k$ parts. We demonstrate that this new function retains the basic properties and basis expansions of $X$, and we give a method for systematically deriving new linear relationships for $X$ from previous ones by passing them through $X_k$. In particular, we show how to take advantage of homogeneous sets of $G$ (those $S \subseteq V(G)$ such that each vertex of $V(G) \backslash S$ is either adjacent to all of $S$ or is nonadjacent to all of $S$) to relate the chromatic symmetric function of $G$ to those of simpler graphs. Furthermore, we show how extending this idea to homogeneous pairs $S_1 \sqcup S_2 \subseteq V(G)$ generalizes the process used by Guay-Paquet to reduce the Stanley-Stembridge conjecture to unit interval graphs.

The solution of Shareshian-Wachs conjecture by Brosnan-Chow linked together the cohomology of regular semisimple Hessenberg varieties and graded chromatic symmetric functions on unit interval graphs. On the other hand, it is known that unicellular LLT polynomials have similar properties to graded chromatic symmetric functions. In this paper, we link together the unicellular LLT polynomials and twin of regular semisimple Hessenberg varieties introduced by Ayzenberg-Buchstaber. We prove their palindromicity from topological viewpoint. We also show that modules of a symmetric group generated by faces of a permutohedron are related to a shifted unicellular LLT polynomial and observe the $e$-positivity of shifted unicellular LLT polynomials, which is established by Alexandersson-Sulzgruber in general, for path graphs and complete graphs through the cohomology of the twins.

An interval graph has interval count $\ell$ if it has an interval model, where among every $\ell+1$ intervals there are two that have the same length. Maximum Cut on interval graphs has been found to be NP-complete recently by Adhikary et al. while deciding its complexity on unit interval graphs (graphs with interval count one) remains a longstanding open problem. More recently, de Figueiredo et al. have made an advancement by showing that the problem remains NP-complete on interval graphs of interval count four. In this paper, we show that Maximum Cut is NP-complete even on interval graphs of interval count two.

In this paper we study the problem of coloring a unit interval graph which changes dynamically. In our model the unit intervals are added or removed one at the time, and have to be colored immediately, so that no two overlapping intervals share the same color. After each update only a limited number of intervals is allowed to be recolored. The limit on the number of recolorings per update is called the recourse budget. In this paper we show, that if the graph remains $k$-colorable at all times, and the updates consist of insertions only, then we can achieve the amortized recourse budget of $O(k^7 \log n)$ while maintaining a proper coloring with $k$ colors. This is an exponential improvement over the result in [Bosek et al., Recoloring Interval Graphs with Limited Recourse Budget. SWAT 2020] in terms of both $k$ and $n$. We complement this result by showing the lower bound of $Ω(n)$ on the amortized recourse budget in the fully dynamic setting. Our incremental algorithm can be efficiently implemented. As a byproduct of independent interest we include a new result on coloring proper circular arc graphs. Let $L$ be the maximum number of arcs intersecting in one point for some set of unit circular arcs $\mathcal{A}$. We show that if there is a set $\mathcal{A}'$ of non-intersecting unit arcs of size $L^2-1$ such that $\mathcal{A} \cup \mathcal{A}'$ does not contain $L+1$ arcs intersecting in one point, then it is possible to color $\mathcal{A}$ with $L$ colors. This complements the work on unit circular arc coloring, which specifies sufficient conditions needed to color $\mathcal{A}$ with $L+1$ colors or more.

We discover new linear relations between the chromatic symmetric functions of certain sequences of graphs and apply these relations to find new families of e-positive unit interval graphs. Motivated by the results of Gebhard and Sagan, we revisit their ideas and reinterpret their equivalence relation in terms of a new quotient algebra of NCSym. We investigate the projection of the chromatic symmetric function $Y_G$ in noncommuting variables in this quotient algebra, which defines $y_{G : v}$, the chromatic symmetric function of a graph G centred at a vertex v. We then apply our methods to $y_{G :v}$ and find new families of unit interval graphs that are (e)-positive, a stronger condition than classical e-positivity, thus confirming new cases of the (3+1)-free conjecture of Stanley and Stembridge. In our study of $y_{G : v}$, we also describe methods of constructing new e-positive graphs from given $(e)$-positive graphs and classify the (e)-positivity of trees and cut vertices. We moreover construct a related quotient algebra of NCQSym to prove theorems relating the coefficients of $y_{G : v}$ to acyclic orientations of graphs, including a noncommutative refinement of Stanley's sink theorem.

A Robinson similarity matrix is a symmetric matrix where the entry values on all rows and columns increase toward the diagonal. Decompose the Robinson matrix into the sum of k {0, 1}-matrices, then these k {0, 1}-matrices are the adjacency matrices of a set of nested unit interval graphs. Previous studies show that unit interval graphs coincide with indifference graphs. An indifference graph has an embedding that maps each vertex to a real number, where two vertices are adjacent if their embedding is within a fixed threshold distance. In this thesis, consider k different threshold distances, we study the problem of finding an embedding that, simultaneously and with respect to each threshold distance, embeds the k indifference graphs corresponding to the k adjacency matrices. This is called a uniform embedding of a Robinson matrix with respect to the k threshold distances. We give a sufficient and necessary condition on Robinson matrices that have a uniform embedding, which is derived from paths in an associated graph. We also give an efficient combinatorial algorithm to find a uniform embedding or give proof that it does not exist, for the case where k = 2.

We study d-dimensional generalizations of three mutually related topics in graph theory: Hamiltonian paths, (unit) interval graphs, and binomial edge ideals. We provide partial high-dimensional generalizations of Ore and Posa's sufficient conditions for a graph to be Hamiltonian. We introduce a hierarchy of combinatorial properties for simplicial complexes that generalize unit-interval, interval, and co-comparability graphs. We connect these properties to the already existing notions of determinantal facet ideals and Hamiltonian paths in simplicial complexes. Some important consequences of our work are: (1) Every almost-closed strongly-connected d-dimensional simplicial complex is traceable. (This extends the well-known result "unit-interval connected graphs are traceable".) (2) Every almost-closed d-complex that remains strongly connected after the deletion of d or less vertices, is Hamiltonian. (This extends the fact that "unit-interval 2-connected graphs are Hamiltonian".) (3) Unit-interval complexes are characterized, among traceable complexes, by the property that the minors defining their determinantal facet ideal form a Groebner basis for a diagonal term order which is compatible with the traceability of the complex. (This corrects a recent theorem by Ene et al., extends a result by Herzog and others, and partially answers a question by Almousa-Vandebogert.) (4) Only the d-skeleton of the simplex has a determinantal facet ideal with linear resolution. (This extends the result by Kiani and Saeedi-Madani that "only the complete graph has a binomial edge ideal with linear resolution".) (5) The determinantal facet ideals of all under-closed and semi-closed complexes have a square-free initial ideal with respect to lex. In characteristic p, they are even F-pure.

The product power throttling number of a graph is defined to study product throttling for power domination. The domination number of a graph is an upper bound for its product power throttling number. It is established that the two parameters are equal for certain families including paths, cycles, complete graphs, unit interval graphs, and grid graphs (on the plane, cylinder, and torus). Families of graphs for which the product power throttling number is less than the domination number are also exhibited. Graphs with extremely high or low product power throttling number are characterized and bounds on the product power throttling number are established.

We present formulas to compute the P3-geodetic number, the P3-hull number and the percolation time for a caterpillar, in terms of certain sequences associated with it. In addition, we find a connection between the percolation time of a unit interval graph and a parameter involving the diameter of a unit interval graph related to it. Finally, we present a hereditary graph class, defined by forbidden induced subgraphs, such that its percolation time is equal to one.

Motivated by Stanley's conjecture about the $e$-positivity of claw-free incomparability graphs, Hamel and her collaborators studied the $e$-positivity of $(claw, H)$-free graphs, where $H$ is a four-vertex graph. In this paper we establish the $e$-positivity of generalized pyramid graphs and $2K_2$-free unit interval graphs, which are two important families of $(claw, 2K_2)$-free graphs. Hence we affirmatively solve one problem proposed by Hamel, Hoàng and Tuero, and another problem considered by Foley, Hoàng and Merkel.

We give a proof of Stanley-Stembridge conjecture on chromatic symmetric functions for the class of all unit interval graphs with independence number 3. That is, we show that the chromatic symmetric function of the incomparability graph of a unit interval order in which the length of a chain is at most 3 is positively expanded as a linear sum of elementary symmetric functions.

In a confluence of combinatorics and geometry, simultaneous representations provide a way to realize combinatorial objects that share common structure. A standard case in the study of simultaneous representations is the sunflower case where all objects share the same common structure. While the recognition problem for general simultaneous interval graphs -- the simultaneous version of arguably one of the most well-studied graph classes -- is NP-complete, the complexity of the sunflower case for three or more simultaneous interval graphs is currently open. In this work we settle this question for proper interval graphs. We give an algorithm to recognize simultaneous proper interval graphs in linear time in the sunflower case where we allow any number of simultaneous graphs. Simultaneous unit interval graphs are much more 'rigid' and therefore have less freedom in their representation. We show they can be recognized in time O(|V|*|E|) for any number of simultaneous graphs in the sunflower case where G = (V, E) is the union of the simultaneous graphs. We further show that both recognition problems are in general NP-complete if the number of simultaneous graphs is not fixed. The restriction to the sunflower case is in this sense necessary.

We study the chromatic symmetric functions of graph classes related to spiders, namely generalized spider graphs (line graphs of spiders), and what we call horseshoe crab graphs. We show that no two generalized spiders have the same chromatic symmetric function, thereby extending the work of Martin, Morin and Wagner. Additionally, we establish that a subclass of generalized spiders, which we call generalized nets, has no e-positive members, providing a more general counterexample to the necessity of the claw-free condition. We use yet another class of generalized spiders to construct a counterexample to a problem involving the $e$-positivity of claw-free, P4-sparse graphs, showing that Tsujie's result on the e-positivity of claw-free, P4-free graphs cannot be extended to graphs in this set. Finally, we investigate the e-positivity of another type of graphs, the horseshoe crab graphs (a class of unit interval graphs), and prove the positivity of all but one of the coefficients. This has close connections to the work of Gebhard and Sagan and Cho and Huh.

In 1995 Stanley conjectured that the chromatic symmetric functions of the graphs $P_{d,2}$, which we call triangular ladders, were $e$-positive. In this paper we confirm this conjecture, which is also an unsolved case of the celebrated $(3+1)$-free conjecture. Our method is to follow the generalization of the chromatic symmetric functions by Gebhard and Sagan to symmetric functions in non-commuting variables. These functions satisfy a deletion-contraction property unlike the chromatic symmetric function in commuting variables. We do this by proving a new signed combinatorial formula for \emph{all} unit interval graphs on the basis of elementary symmetric functions. Then we prove $e$-positivity for triangular ladders by very carefully defining a sign-reversing involution on our signed combinatorial formula. This leaves us with certain positive terms and further allows us to expand on an already-known family of $e$-positive graphs by Gebhard and Sagan.

Consider finitely many points in a geodesic space. If the distance of two points is less than a fixed threshold, then we regard these two points as "near". Connecting near points with edges, we obtain a simple graph on the points, which is called a unit ball graph. If the space is the real line, then it is known as a unit interval graph. Unit ball graphs on a geodesic space describe geometric characteristics of the space in terms of graphs. In this article, we show that every unit ball graph on a geodesic space is (strongly) chordal if and only if the space is an $ \mathbb{R} $-tree and that every unit ball graph on a geodesic space is (claw, net)-free if and only if the space is a connected manifold of dimension at most $ 1 $. As a corollary, we prove that the collection of unit ball graphs essentially characterizes the real line and the unit circle.

In the mid-1990s, Stanley and Stembridge conjectured that the chromatic symmetric functions of claw-free co-comparability (also called incomparability) graphs were e-positive. The quest for the proof of this conjecture has led to an examination of other, related graph classes. In 2013 Guay-Paquet proved that if unit interval graphs are e-positive, that implies claw-free incomparability graphs are as well. Inspired by this approach, we consider a related case and prove that unit interval graphs whose complement is also a unit interval graph are e-positive. We introduce the concept of strongly $e$-positive to denote a graph whose induced subgraphs are all e-positive, and conjecture that a graph is strongly e-positive if and only if it is (claw, net)-free.

Let $G=(V,E)$ be a graph and $A$ its adjacency matrix. We say that a vertex $y \in V$ is a function of vertices $x_1, \ldots, x_k \in V$ if there exists a Boolean function $f$ of $k$ variables such that for any vertex $z \in V - \{y, x_1, \ldots, x_k\}$, $A(y,z)=f(A(x_1,z),\ldots,A(x_k,z))$. The functionality $fun(y)$ of vertex $y$ is the minimum $k$ such that $y$ is a function of $k$ vertices. The functionality $fun(G)$ of the graph $G$ is $\max\limits_H\min\limits_{y\in V(H)}fun(y)$, where the maximum is taken over all induced subgraphs $H$ of $G$. In the present paper, we show that functionality generalizes simultaneously several other graph parameters, such as degeneracy or clique-width, by proving that bounded degeneracy or bounded clique-width imply bounded functionality. Moreover, we show that this generalization is proper by revealing classes of graphs of unbounded degeneracy and clique-width, where functionality is bounded by a constant. This includes permutation graphs, unit interval graphs and line graphs. We also observe that bounded functionality implies bounded VC-dimension, i.e. graphs of bounded VC-dimension extend graphs of bounded functionality, and this extension is also proper.