Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Simple realizability of complete abstract topological graphs simplified
Published in Discrete and Computational Geometry 64 (2020), Issue 1, 1-27
• View Publication
• BIB
An abstract topological graph (briefly an AT-graph) is a pair $A=(G,\mathcal{X})$ where $G=(V,E)$ is a graph and $\mathcal{X}\subseteq {E \choose 2}$ is a set of pairs of its edges. The AT-graph $A$ is simply realizable if $G$ can be drawn in the plane so that each pair of edges from $\mathcal{X}$ crosses exactly once and no other pair crosses. We show that simply realizable complete AT-graphs are characterized by a finite set of forbidden AT-subgraphs, each with at most six vertices. This implies a straightforward polynomial algorithm for testing simple realizability of complete AT-graphs, which simplifies a previous algorithm by the author. We also show an analogous result for independent $\mathbb{Z}_2$-realizability, where only the parity of the number of crossings for each pair of independent edges is specified.
The fractional strong metric dimension in three graph products
Published in Discrete Appl. Math., Vol. 251 (2018) pp. 190-203
• View Publication
• BIB
For any two distinct vertices $x$ and $y$ of a graph $G$, let $S\{x, y\}$ denote the set of vertices $z$ such that either $x$ lies on a $y-z$ geodesic or $y$ lies on an $x-z$ geodesic. Let $g: V(G) \rightarrow [0,1]$ be a real valued function and, for any $U \subseteq V(G)$, let $g(U)=\sum_{v \in U}g(v)$. The function $g$ is a strong resolving function of $G$ if $g(S\{x, y\}) \ge 1$ for every pair of distinct vertices $x, y$ of $G$. The fractional strong metric dimension, $sdim_f(G)$, of a graph $G$ is $\min\{g(V(G)): g \mbox{ is a strong resolving function of }G\}$. In this paper, after obtaining some new results for all connected graphs, we focus on the study of the fractional strong metric dimension of the corona product, the lexicographic product, and the Cartesian product of graphs.
Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph
Published
• View Publication
• BIB
In this paper, we address the formal characterization of targets triggering cellular trans-differentiation in the scope of Boolean networks with asynchronous dynamics. Given two fixed points of a Boolean network, we are interested in all the combinations of mutations which allow to switch from one fixed point to the other, either possibly, or inevitably. In the case of existential reachability, we prove that the set of nodes to (permanently) flip are only and necessarily in certain connected components of the interaction graph. In the case of inevitable reachability, we provide an algorithm to identify a subset of possible solutions.
Packing chromatic number, $(1,1,2,2)$-colorings, and characterizing the Petersen graph
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $Π_1,\ldots,Π_k$, where $Π_i$, $i\in [k]$, is an $i$-packing. The following conjecture is posed and studied: if $G$ is a subcubic graph, then $χ_ρ(S(G))\le 5$, where $S(G)$ is the subdivision of $G$. The conjecture is proved for all generalized prisms of cycles. To get this result it is proved that if $G$ is a generalized prism of a cycle, then $G$ is $(1,1,2,2)$-colorable if and only if $G$ is not the Petersen graph. The validity of the conjecture is further proved for graphs that can be obtained from generalized prisms in such a way that one of the two $n$-cycles in the edge set of a generalized prism is replaced by a union of cycles among which at most one is a 5-cycle. The packing chromatic number of graphs obtained by subdividing each of its edges a fixed number of times is also considered.
Packing chromatic number under local changes in a graph
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that there exists a $k$-vertex coloring of $G$ in which any two vertices receiving color $i$ are at distance at least $i+1$. It is proved that in the class of subcubic graphs the packing chromatic number is bigger than $13$, thus answering an open problem from [Gastineau, Togni, $S$-packing colorings of cubic graphs, Discrete Math.\ 339 (2016) 2461--2470]. In addition, the packing chromatic number is investigated with respect to several local operations. In particular, if $S_e(G)$ is the graph obtained from a graph $G$ by subdividing its edge $e$, then $\left\lfloor χ_ρ(G)/2 \right\rfloor +1 \le χ_ρ(S_e(G)) \le χ_ρ(G)+1$.
A BKR operation for events occurring for disjoint reasons with high probability
Published
• View Publication
• BIB
Given events $A$ and $B$ on a product space $S=\prod_{i=1}^n S_i$, the set $A \Box B$ consists of all vectors ${\bf x}=(x_1,\ldots,x_n) \in S$ for which there exist disjoint coordinate subsets $K$ and $L$ of $\{1,\ldots,n\}$ such that given the coordinates $x_i, i \in K$ one has that ${\bf x} \in A$ regardless of the values of ${\bf x}$ on the remaining coordinates, and likewise that ${\bf x} \in B$ given the coordinates {$x_j, j \in L$}.
For a finite product of discrete spaces endowed with a product measure, the BKR inequality
$$
P(A \Box B) \le P(A)P(B) \quad (1)
$$
was conjectured by van den Berg and Kesten [3] and proved by Reimer [13].
In [7] inequality (1) was extended to general product probability spaces, replacing $A \Box B$ by the set $A \Box_{11} B$ consisting of those outcomes ${\bf x}$ which only assure with probability one that ${\bf x} \in A$ and ${\bf x} \in B$ based only on the revealed coordinates in $K$ and $L$ as above. A strengthening of the original BKR inequality (1) results, due to the fact that $A \Box B \subseteq A \Box_{11} B$. In particular, it may be the case that $A \Box B$ is empty, while $A \Box_{11} B$ is not.
We propose the further extension $A \Box_{st} B$ depending on probability thresholds $s$ and $t$, where $A \Box_{11} B$ is the special case where both $s$ and $t$ take the value one. The outcomes ${\bf x}$ in $A \Box_{st} B$ are those for which disjoint sets of coordinates $K$ and $L$ exist such that given the values of $\bf x$ on the revealed set of coordinates $K$, the probability that $A$ occurs is at least $s$, and given the coordinates of $\bf x$ in $L$, the probability of $B$ is at least $t$. We provide simple examples that illustrate the utility of these extensions.
Simplicial Complexes are Game Complexes
Published
• View Publication
• BIB
Strong placement games (SP-games) are a class of combinatorial games whose structure allows one to describe the game via simplicial complexes. A natural question is whether well-known invariants of combinatorial games, such as "game value", appear as invariants of the simplicial complexes. This paper is the first step in that direction. We show that every simplicial complex encodes a certain type of SP-game (called an "invariant SP-game") whose ruleset is independent of the board it is played on. We also show that in the class of SP-games isomorphic simplicial complexes correspond to isomorphic game trees, and hence equal game values. We also study a subclass of SP-games corresponding to flag complexes, showing that there is always a game whose corresponding complex is a flag complex no matter which board it is played on.
Motzkin numbers and related sequences modulo powers of $2$
Published in Europ. J. Combin. 73 (2018), 114-137
• View Publication
• BIB
We show that the generating function $\sum_{n\ge0}M_n\,z^n$ for Motzkin numbers $M_n$, when coefficients are reduced modulo a given power of $2$, can be expressed as a polynomial in the basic series $\sum _{e\ge0} ^{} {z^{4^e}}/( {1-z^{2\cdot 4^e}})$ with coefficients being Laurent polynomials in $z$ and $1-z$. We use this result to determine $M_n$ modulo $8$ in terms of the binary digits of~$n$, thus improving, respectively complementing earlier results by Eu, Liu and Yeh [Europ. J. Combin. 29 (2008), 1449-1466] and by Rowland and Yassawi [J. Théorie Nombres Bordeaux 27 (2015), 245-288]. Analogous results are also shown to hold for related combinatorial sequences, namely for the Motzkin prefix numbers, Riordan numbers, central trinomial coefficients, and for the sequence of hex tree numbers.
Hyperpfaffians
We define and inverstigate a generalization of the pfaffian for multiple array which interpolate between the hyperdeterminant and the hyperp-faffian.
Exact Ramsey numbers of odd cycles via nonlinear optimisation
Published
• View Publication
• BIB
For a graph $G$, the $k$-colour Ramsey number $R_k(G)$ is the least integer $N$ such that every $k$-colouring of the edges of the complete graph $K_N$ contains a monochromatic copy of $G$. Let $C_n$ denote the cycle on $n$ vertices. We show that for fixed $k\geq2$ and $n$ odd and sufficiently large, \[ R_k(C_n)=2^{k-1}(n-1)+1. \] This resolves a conjecture of Bondy and Erdős [J. Combin. Th. Ser. B \textbf{14} (1973), 46--54] for large $n$. The proof is analytic in nature, the first step of which is to use the regularity method to relate this problem in Ramsey theory to one in nonlinear optimisation. This allows us to prove a stability-type generalisation of the above and establish a surprising correspondence between extremal $k$-colourings for this problem and perfect matchings in the $k$-dimensional hypercube $Q_k$.
Supermodularity in Unweighted Graph Optimization I: Branchings and Matchings
The main result of the paper is motivated by the following two, apparently unrelated graph optimization problems: (A) as an extension of Edmonds' disjoint branchings theorem, characterize digraphs comprising $k$ disjoint branchings $B_i$ each having a specified number $μ_i$ of arcs, (B) as an extension of Ryser's maximum term rank formula, determine the largest possible matching number of simple bipartite graphs complying with degree-constraints. The solutions to these problems and to their generalizations will be obtained from a new min-max theorem on covering a supermodular function by a simple degree-constrained bipartite graph. A specific feature of the result is that its minimum cost extension is already NP-complete. Therefore classic polyhedral tools themselves definitely cannot be sufficient for solving the problem, even though they make some good service in our approach.
The Exchange Graphs of Weakly Separated Collections
Weakly separated collections arise in the cluster algebra derived from the Plücker coordinates on the nonnegative Grassmannian. Oh, Postnikov, and Speyer studied weakly separated collections over a general Grassmann necklace $\mathcal{I}$ and proved the connectivity of every exchange graph. Oh and Speyer later introduced a generalization of exchange graphs that we call $\mathcal{C}$-constant graphs. They characterized these graphs in the smallest two cases. We prove an isomorphism between exchange graphs and a certain class of $\mathcal{C}$-constant graphs. We use this to extend Oh and Speyer's characterization of these graphs to the smallest four cases, and we present a conjecture on a bound on the maximal order of these graphs. In addition, we fully characterize certain classes of these graphs in the special cases of cycles and trees.
Supermodularity in Unweighted Graph Opitimization III: Highly-connected Digraphs
By generalizing a recent result of Hong, Liu, and Lai on characterizing the degree-sequences of simple strongly connected directed graphs, a characterization is provided for degree-sequences of simple $k$-node-connected digraphs. More generally, we solve the directed node-connectivity augmentation problem when the augmented digraph is degree-specified and simple. As for edge-connectivity augmentation, we solve the special case when the edge-connectivity is to be increased by one and the augmenting digraph must be simple.
Supermodularity in Unweighted Graph Optimization II: Matroidal Term Rank Augmentation
Ryser's max term rank formula with graph theoretic terminology is equivalent to a characterization of degree sequences of simple bipartite graphs with matching number at least $\ell$. In a previous paper by the authors, a generalization was developed for the case when the degrees are constrained by upper and lower bounds. Here two other extensions of Ryser's theorem are discussed. The first one is a matroidal model, while the second one settles the augmentation version. In fact, the two directions shall be integrated into one single framework.
Coloring the Real Line with Monochromatic Intervals
Published in Geombinatorics, 25, January 2016, 113-117
• Search Publication
Let D be a finite set of positive real numbers. The distance graph G(R,D) is the graph with vertex set R (set of real numbers), and two vertices x, y are adjacent if |x-y| belongs to D. We prove that every positive integer t>1 there is a distance set D such that the chromatic number of G(R,D) is t and no proper coloring of G(R,D) with t colors allows monochromatic intervals. This result disproves a conjecture in [2].
Introduction to Cluster Algebras. Chapters 1-3
This is a preliminary draft of Chapters 1-3 of our forthcoming textbook "Introduction to Cluster Algebras." This installment contains:
Chapter 1. Total positivity
Chapter 2. Mutations of quivers and matrices
Chapter 3. Clusters and seeds
Proof of a Conjecture of Kleinberg-Sawin-Speyer
In Ellenberg and Gijswijt's groundbreaking work, the authors show that a subset of $\mathbb{Z}_3^{n}$ with no arithmetic progression of length 3 must be of size at most $2.755^n$ (no prior upper bound was known of $(3-ε)^n)$), and provide for any prime $p$ a value $λ_p<p$ such that any subset of $\mathbb{Z}_p^{n}$ with no arithmetic progression of length 3 must be of size at most $λ_p^n$.
Blasiak et al showed that the same bounds apply to tri-coloured sum-free sets, which are triples $\{(a_i,b_i,c_i):a_i,b_i,c_i\in\mathbb{Z}_p^{n}\}$ with $a_i+b_j+c_k=0$ if and only if $i=j=k$.
Building on this work, Kleinberg, Sawin and Speyer gave a description of a value $μ_p$ such that no tri-coloured sum-free sets of size $e^{μ_p n}$ exist in $\mathbb{Z}_p^{n}$, but for any $ε>0$, such sets of size $e^{(μ_p-ε) n}$ exist for all sufficiently large $n$. The value of $μ_p$ was left open, but a conjecture was stated which would imply that $e^{μ_p}=λ_p$, i.e. the Ellenberg-Gijswijt bound is correct for the sum-free set problem.
The purpose of this note is to close that gap. The conjecture of Kleinberg, Sawin and Speyer is true, and the Ellenberg-Gijswijt bound is the correct exponent for the sum-free set problem.
A stability version for a theorem of Erdős on nonhamiltonian graphs
Let $n, d$ be integers with $1 \leq d \leq \left \lfloor \frac{n-1}{2} \right \rfloor$, and set $h(n,d):={n-d \choose 2} + d^2$ and $e(n,d):= \max\{h(n,d),h(n, \left \lfloor \frac{n-1}{2} \right \rfloor)\}$. Because $h(n,d)$ is quadratic in $d$, there exists a $d_0(n)=(n/6)+O(1)$ such that $e(n,1)> e(n, 2)> \dots >e(n,d_0)=e(n, d_0+1)=\dots = e(n,\left \lfloor \frac{n-1}{2} \right \rfloor)$. A theorem by Erdős states that for $d\leq \left \lfloor \frac{n-1}{2} \right \rfloor$, any $n$-vertex nonhamiltonian graph $G$ with minimum degree $δ(G) \geq d$ has at most $e(n,d)$ edges, and for $d > d_0(n)$ the unique sharpness example is simply the graph $K_n-E(K_{\lceil (n+1)/2\rceil})$. Erdős also presented a sharpness example $H_{n,d}$ for each $1\leq d \leq d_0(n)$. We show that if $d< d_0(n)$ and a $2$-connected, nonhamiltonian $n$-vertex graph $G$ with $δ(G) \geq d$ has more than $e(n,d+1)$ edges, then $G$ is a subgraph of $H_{n,d}$. Note that $e(n,d) - e(n, d+1) = n - 3d - 2 \geq n/2$ whenever $d< d_0(n)-1$.
Decomposition of a complete bipartite multigraph into arbitrary cycle sizes
Published
• View Publication
• BIB
In a graph $G$, let $μ_G(xy)$ denote the number of edges between $x$ and $y$ in $G$. Let $λK_{v,u}$ be the graph $(V\cup U,E)$ with $|V|=v$, $|U|=u$, and \[ μ_G(xy)=\begin{cases} λ&\mbox{if $x\in U$ and $y\in V$ or if $x\in V$ and $y\in U$}\\ 0 &\mbox{otherwise.} \\ \end{cases} \] Let $M$ be a sequence of non-negative integers $m_1,m_2,\ldots,m_n$. An $(M)$-cycle decomposition of a graph $G$ is a partition of the edge set into cycles of lengths $m_1,m_2,\ldots,m_n$. In this paper, we establish necessary and sufficient conditions for the existence of an $(M)$-cycle decomposition of $λK_{v,u}$.
Five-list-coloring graphs on surfaces III. One list of size one and one list of size two
Published
• View Publication
• BIB
Let $G$ be a plane graph with outer cycle $C$ and let $(L(v):v\in V(G))$ be a family of non-empty sets. By an $L$-coloring of $G$ we mean a (proper) coloring $φ$ of $G$ such that $φ(v)\in L(v)$ for every vertex $v$ of $G$. Thomassen proved that if $v_1,v_2\in V(C)$ are adjacent, $L(v_1)\ne L(v_2)$, $|L(v)|\ge3$ for every $v\in V(C)-\{v_1,v_2\}$ and $|L(v)|\ge5$ for every $v\in V(G)-V(C)$, then $G$ has an $L$-coloring. What happens when $v_1$ and $v_2$ are not adjacent? Then an $L$-coloring need not exist, but in the first paper of this series we have shown that it exists if $|L(v_1)|,|L(v_2)|\ge2$. Here we characterize when an $L$-coloring exists if $|L(v_1)|\ge1$ and $|L(v_2)|\ge2$.
This result is a lemma toward a more general theorem along the same lines, which we will use to prove that minimally non-$L$-colorable planar graphs with two precolored cycles of bounded length are of bounded size. The latter result has a number of applications which we pursue elsewhere.