Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Approximate Sampling and Counting of Graphs with Near-Regular Degree Intervals
Published
• View Publication
• BIB
The approximate uniform sampling of graphs with a given degree sequence is a well-known, extensively studied problem in theoretical computer science and has significant applications, e.g., in the analysis of social networks. In this work we study an extension of the problem, where degree intervals are specified rather than a single degree sequence. We are interested in sampling and counting graphs whose degree sequences satisfy the degree interval constraints. A natural scenario where this problem arises is in hypothesis testing on social networks that are only partially observed. In this work, we provide the first fully polynomial almost uniform sampler (FPAUS) as well as the first fully polynomial randomized approximation scheme (FPRAS) for sampling and counting, respectively, graphs with near-regular degree intervals, in which every node $i$ has a degree from an interval not too far away from a given $d \in \N$. In order to design our FPAUS, we rely on various state-of-the-art tools from Markov chain theory and combinatorics. In particular, we provide the first non-trivial algorithmic application of a breakthrough result of Liebenau and Wormald (2017) regarding an asymptotic formula for the number of graphs with a given near-regular degree sequence. Furthermore, we also make use of the recent breakthrough of Anari et al. (2019) on sampling a base of a matroid under a strongly log-concave probability distribution. As a more direct approach, we also study a natural Markov chain recently introduced by Rechner, Strowick and Müller-Hannemann (2018), based on three simple local operations: Switches, hinge flips, and additions/deletions of a single edge. We obtain the first theoretical results for this Markov chain by showing it is rapidly mixing for the case of near-regular degree intervals of size at most one.
Secure domination number of $k$-subdivision of graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. A dominating set $D$ is called a secure dominating set of $G$, if for every $u\in V-D$, there exists a vertex $v\in D$ such that $uv \in E$ and $D-\{v\}\cup\{u\}$ is a dominating set of $G$. The cardinality of a smallest secure dominating set of $G$, denoted by $γ_s(G)$, is the secure domination number of $G$. For any $k \in \mathbb{N}$, the $k$-subdivision of $G$ is a simple graph $G^{\frac{1}{k}}$ which is constructed by replacing each edge of $G$ with a path of length $k$. In this paper, we study the secure domination number of $k$-subdivision of $G$.
All Graphs with a Failed Zero Forcing Number of Two
Published
• View Publication
• BIB
Given a graph $G$, the zero-forcing number of $G$, $Z(G)$, is the smallest cardinality of any set $S$ of vertices on which repeated applications of the forcing rule results in all vertices being in $S$. The forcing rule is: if a vertex $v$ is in $S$, and exactly one neighbor $u$ of $v$ is not in $S$, then $u$ is added to $S$ in the next iteration. Zero-forcing numbers have attracted great interest over the past 15 years and have been well studied. In this paper we investigate the largest size of a set $S$ that does not force all of the vertices in a graph to be in $S$. This quantity is known as the failed zero-forcing number of a graphs and will be denoted by $F(G)$, and has received attention in recent years. We present new results involving this parameter. In particular, we completely characterize all graphs $G$ where $F(G)=2$, solving a problem posed in 2015 by Fetcie, Jacob, and Saavedra.
Inscribed Tverberg-Type Partitions for Orbit Polytopes
Published in Mathematika 68 (2022) 1135-1152
• View Publication
• BIB
Tverberg's theorem states that any set of $t(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Moreover, generic collections of fewer points cannot be so divided. Extending earlier work of the first author, we show that one can nonetheless guarantee inscribed ``polytopal partitions" with specified symmetry conditions in many such circumstances. Namely, for any faithful and full--dimensional orthogonal representation $ρ\colon G\rightarrow O(d)$ of any order $r$ group $G$, we show that a generic set of $t(r,d)-d$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets so that there are $r$ points, one from each of the resulting convex hulls, which are the vertices of a convex $d$--polytope whose isometry group contains $G$ via the regular action afforded by the representation. As with Tverberg's theorem, the number of points is optimal for this. At one extreme, this gives polytopal partitions for all regular $r$--gons in the plane, as well as for three of the six regular 4--polytopes in $\mathbb{R}^4$. At the other extreme, one has polytopal partitions for $d$-polytopes on $r$ vertices with isometry group equal to $G$ whenever $G$ is the isometry group of a vertex--transitive $d$-polytope.
A modular equality for Cameron-Liebler line classes in projective and affine spaces of odd dimension
Published in Finite Fields and Their Applications, Volume 82, 102047 (2022)
• View Publication
• BIB
In this article we study Cameron-Liebler line classes in PG$(n,q)$ and AG$(n,q)$, objects also known as boolean degree one functions. A Cameron-Liebler line class $\mathcal{L}$ is known to have a parameter $x$ that depends on the size of $\mathcal{L}$. One of the main questions on Cameron-Liebler line classes is the (non)-existence of these sets for certain parameters $x$. In particularly it is proven in [12] for $n=3$, that the parameter $x$ should satisfy a modular equality. This equality excludes about half of the possible parameters. We generalize this result to a modular equality for Cameron-Liebler line classes in PG$(n,q)$, and AG$(n,q)$ respectively. Since it is known that a Cameron-Liebler line class in AG$(n,q)$ is also a Cameron-Liebler line class in its projective closure, we end this paper with proving that the modular equality in AG$(n,q)$ is a stronger condition than the condition for the projective case.
Planar Median Graphs and Cubesquare-Graphs
Published
• View Publication
• BIB
Median graphs are connected graphs in which for all three vertices there is a unique vertex that belongs to shortest paths between each pair of these three vertices. In this paper we provide several novel characterizations of planar median graphs. More specifically, we characterize when a planar graph $G$ is a median graph in terms of forbidden subgraphs and the structure of isometric cycles in $G$, and also in terms of subgraphs of $G$ that are contained inside and outside of 4-cycles with respect to an arbitrary planar embedding of $G$. These results lead us to a new characterization of planar median graphs in terms of cubesquare-graphs that is, graphs that can be obtained by starting with cubes and square graphs, and iteratively replacing 4-cycle boundaries (relative to some embedding) by cubes or square-graphs. As a corollary we also show that a graph is planar median if and only if it can be obtained from cubes and square-graphs by a sequence of ``square-boundary'' amalgamations. These considerations also lead to an $\mathcal{O}(n\log n)$-time recognition algorithm to compute a decomposition of a planar median graph with $n$ vertices into cubes and square-graphs.
Towards a hypergraph version of the Pósa-Seymour conjecture
Published in Advances in Combinatorics 2023:3, 29pp
• View Publication
• BIB
We prove that for fixed $r\ge k\ge 2$, every $k$-uniform hypergraph on $n$ vertices having minimum codegree at least $(1-(\binom{r-1}{k-1}+\binom{r-2}{k-2})^{-1})n+o(n)$ contains the $(r-k+1)$th power of a tight Hamilton cycle. This result may be seen as a step towards a hypergraph version of the Pósa-Seymour conjecture.
Moreover, we prove that the same bound on the codegree suffices for finding a copy of every spanning hypergraph of tree-width less than $r$ which admits a tree decomposition where every vertex is in a bounded number of bags.
Improved lower bound for the list chromatic number of graphs with no $K_t$ minor
Published
• View Publication
• BIB
Hadwiger's conjecture asserts that every graph without a $K_t$-minor is $(t-1)$-colorable. It is known that the exact version of Hadwiger's conjecture does not extend to list coloring, but it has been conjectured by Kawarabayashi and Mohar (2007) that there exists a constant $c$ such that every graph with no $K_t$-minor has list chromatic number at most $ct$. More specifically, they also conjectured that this holds for $c=\frac{3}{2}$.
Refuting the latter conjecture, we show that the maximum list chromatic number of graphs with no $K_t$-minor is at least $(2-o(1))t$, and hence $c \ge 2$ in the above conjecture is necessary. This improves the previous best lower bound by Barát, Joret and Wood (2011), who proved that $c \ge \frac{4}{3}$. Our lower-bound examples are obtained via the probabilistic method.
An improved condition for a graph to be determined by its generalized spectrum
Published in European Journal of Combinatorics 108 (2023) 103638
• View Publication
• BIB
A fundamental and challenging problem in spectral graph theory is to characterize which graphs are uniquely determined by their spectra. In Wang [J. Combin. Theory, Ser. B, 122 (2017): 438-451], the author proved that an $n$-vertex graph $G$ is uniquely determined by its generalized spectrum (DGS) whenever $2^{-\lfloor\frac{n}{2}\rfloor}\det W$ is odd and square-free. Here, $W$ is the walk matrix of $G$, namely, $W=[e,Ae,\ldots,A^{n-1}e]$ with $e$ all-one vector and $A$ the adjacency matrix of $G$. In this paper, we focus on a larger family of graphs with $d_n$ square-free, where $d_n$ refers to the last invariant factor of $W$. We introduce a new kind of polynomials for a graph $G$ associated with a prime $p$. Such a polynomial is invariant under generalized cospectrality. Using the newly defined polynomials, we obtain a sufficient condition for a graph in the larger family to be DGS. The main result of this paper improves upon the aforementioned result of Wang while the proof for the main result gives a new way to attack the problem of generalized spectral characterization of graphs.
Coarse-graining and reconstruction for Markov matrices
Published
• View Publication
• BIB
We present a coarse-graining (or model order reduction) procedure for stochastic matrices by clustering. The method is consistent with the natural structure of Markov theory, preserving positivity and mass, and does not rely on any tools from Hilbert space theory. The reconstruction is provided by a generalized Penrose-Moore inverse of the coarse-graining operator incorporating the inhomogeneous invariant measure of the Markov matrix. As we show, the method provides coarse-graining and reconstruction also on the level of tensor spaces, which is consistent with the notion of an incidence matrix and quotient graphs, and, moreover, allows to coarse-grain and reconstruct fluxes. Furthermore, we investigate the connection with functional inequalities and Poincaré-type constants.
The smallest class of binary matroids closed under direct sums and complements
Published
• View Publication
• BIB
The class of cographs or complement-reducible graphs is the class of graphs that can be generated from $K_1$ using the operations of disjoint union and complementation. By analogy, this paper introduces the class of binary comatroids as the class of matroids that can be generated from the empty matroid using the operations of direct sum and taking complements inside of binary projective space. We show that a proper flat of a binary comatroid is a binary comatroid. Our main result identifies those binary non-comatroids for which every proper flat is a binary comatroid. The paper also proves the corresponding results for ternary matroids.
Cordiality of Digraphs
Published in Journal of Algebra Combinatorics Discrete Structures and Applications. Vol 10:1 2022
• View Publication
• BIB
A $(0,1)$-labelling of a set is said to be {\em friendly} if approximately one half the elements of the set are labelled 0 and one half labelled 1. Let $g$ be a labelling of the edge set of a graph that is induced by a labelling $f$ of the vertex set. If both $g$ and $f$ are friendly then $g$ is said to be a {\em cordial} labelling of the graph. We extend this concept to directed graphs and investigate the cordiality of sets of directed graphs. We investigate a specific type of cordiality on digraphs, a restriction of quasigroup-cordiality called $(2,3)$-cordiality. A directed graph is $(2,3)$-cordial if there is a friendly labelling $f$ of the vertex set which induces a $(1,-1,0)$-labelling of the arc set $g$ such that about one third of the arcs are labelled 1, about one third labelled -1 and about one third labelled 0. In particular we determine which tournaments are $(2,3)$-cordial, which orientations of the $n$-wheel are $(2,3)$-cordial, and which orientations of the $n -$fan are $(2,3)$-cordial.
Isolation of the diamond graph
Published
• View Publication
• BIB
A graph is $H$-free if it does not contain $H$ as a subgraph. The diamond graph is the graph obtained from $K_4$ by deleting one edge. We prove that if $G$ is a connected graph with order $n\geq 10$, then there exists a subset $S\subseteq V(G)$ with $|S|\leq n/5$ such that the graph induced by $V(G)\setminus N[S]$ is diamond-free, where $N[S]$ is the closed neighborhood of $S$. Furthermore, the bound is sharp.
The Game of Arrows on 3-Legged Spider Graphs
The Game of Cycles is a combinatorial game introduced by Francis Su in 2020 in which players take turns marking arrows on the edges of a simple plane graph, avoiding the creation of sinks and sources and seeking to complete a "cycle cell." Su and his collaborators (2021) found winning strategies on graphs with certain types of symmetry using reverse mirroring.
In this paper, we for the first time determine the winning player in the Game of Cycles on an infinite family of graphs lacking symmetry. In particular, we use the Sprague-Grundy Theorem to show that player two has a winning strategy for the Game of Cycles on any 3-legged spider graph with legs of odd length. Because the cycle cell victory condition is extraneous for tree graphs (including spiders), we drop it from the rules and call the result the Game of Arrows. Our proof leans heavily on a notion of state isomorphism that allows us to decompose a game state into states of smaller pieces of a graph, leading to nim-sum calculations with Grundy values.
Petals and Books: The largest Laplacian spectral gap from 1
Published in Journal of Graph Theory, 2023
• View Publication
• BIB
We prove that, for any connected graph on $N\geq 3$ vertices, the spectral gap from the value $1$ with respect to the normalized Laplacian is at most $1/2$. Moreover, we show that equality is achieved if and only if the graph is either a petal graph (for $N$ odd) or a book graph (for $N$ even). This implies that $(\frac12,\frac32)$ is a maximal gap interval for the normalized Laplacian on connected graphs. This is closely related to the Alon-Boppana bound on regular graphs and a recent result by Kollár and Sarnak on cubic graphs. Our result also provides a sharp bound for the convergence rate of some eigenvalues of the Laplacian on neighborhood graphs.
Quadratic heptagon cohomology
A cohomology theory is proposed for the recently discovered heptagon relation -- an algebraic imitation of a 5-dimensional Pachner move 4--3. In particular, `quadratic cohomology' is introduced, and it is shown that it is quite nontrivial, and even more so if compare heptagon with either its higher analogues, such as enneagon or hendecagon, or its lower analogue, pentagon. Explicit expressions for the nontrivial quadratic heptagon cocycles are found in dimensions 4 and 5.
A combinatorial model for the transition matrix between the Specht and web bases
Published
• View Publication
• BIB
We introduce a new class of permutations, called web permutations. Using these permutations, we provide a combinatorial interpretation for entries of the transition matrix between the Specht and web bases, which answers Rhoades's question. Furthermore, we study enumerative properties of these permutations.
Difference operators for wreath Macdonald polynomials
Published
• View Publication
• BIB
We give explicit $q$-difference operators acting diagonally on wreath Macdonald $P$-polynomials in finitely many variables.
On semi-transitive orientability of split graphs
Published
• View Publication
• BIB
A directed graph is semi-transitive if and only if it is acyclic and for any directed path $u_1\rightarrow u_2\rightarrow \cdots \rightarrow u_t$, $t \geq 2$, either there is no edge from $u_1$ to $u_t$ or all edges $u_i\rightarrow u_j$ exist for $1 \leq i < j \leq t$. Recognizing semi-transitive orientability of a graph is an NP-complete problem.
A split graph is a graph in which the vertices can be partitioned into a clique and an independent set. Semi-transitive orientability of spit graphs was recently studied in the literature. The main result in this paper is proving that recognition of semi-transitive orientability of split graphs can be done in a polynomial time. We also characterize, in terms of minimal forbidden induced subgraphs, semi-transitively orientable split graphs with the size of the independent set at most 3, hence extending the known classification of such graphs with the size of the clique at most 5.
Stressed hyperplanes and Kazhdan-Lusztig gamma-positivity for matroids
Published in Int. Math. Res. Not. IMRN 2022 rnac270
• View Publication
• BIB
In this article we make several contributions of independent interest. First, we introduce the notion of stressed hyperplane of a matroid, essentially a type of cyclic flat that permits to transition from a given matroid into another with more bases. Second, we prove that the framework provided by the stressed hyperplanes allows one to write very concise closed formulas for the Kazhdan--Lusztig, inverse Kazhdan--Lusztig and $Z$-polynomials of all paving matroids, a class which is conjectured to predominate among matroids. Third, noticing the palindromicity of the $Z$-polynomial, we address its $γ$-positivity, a midpoint between unimodality and real-rootedness. To this end, we introduce the \emph{$γ$-polynomial} associated to it, we study some of its basic properties and we find closed expressions for it in the case of paving matroids. Also, we prove that it has positive coefficients in many interesting cases, particularly in the large family of sparse paving matroids, and other smaller classes such as projective geometries, thagomizer matroids and other particular graphs. Our last contribution consists of providing explicit combinatorial interpretations for the coefficients of many of the polynomials addressed in this article by enumerating fillings in certain Young tableaux and skew Young tableaux.