Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Injective coloring of graphs revisited
Published in Discrete Mathematics, 2023
• View Publication
• BIB
An open packing in a graph $G$ is a set $S$ of vertices in $G$ such that no two vertices in $S$ have a common neighbor in $G$. The injective chromatic number $χ_i(G)$ of $G$ is the smallest number of colors assigned to vertices of $G$ such that each color class is an open packing. Alternatively, the injective chromatic number of $G$ is the chromatic number of the two-step graph of $G$, which is the graph with the same vertex set as $G$ in which two vertices are adjacent if they have a common neighbor. The concept of injective coloring has been studied by many authors, while in the present paper we approach it from two novel perspectives, related to open packings and the two-step graph operation. We prove several general bounds on the injective chromatic number expressed in terms of the open packing number. In particular, we prove that $χ_{i}(G)\geq \frac{1}{2}+\sqrt{\frac{1}{4}+\frac{2m-n}{\opack}}$ holds for any connected graph $G$ of order $n\geq2$, size $m$, and the open packing number $\opack$, and characterize the class of graphs attaining the bound. Regarding the well-known bound $χ_i(G)\ge Δ(G)$, we describe the family of extremal graphs and prove that deciding when the equality holds (even for regular graphs) is NP-complete, solving an open problem from an earlier paper. Next, we consider the chromatic number of the two-step graph of a graph, and compare it with the clique number and the maximum degree of the graph. We present two large families of graphs in which $χ_i(G)$ equals the cardinality of a largest clique of the two-step graph of $G$. Finally, we consider classes of graphs that admit an injective coloring in which all color classes are maximal open packings. We give characterizations of three subclasses of these graphs among graphs with diameter $2$, and find a partial characterization of hypercubes with this property.
The differential on Graph Operator $§{G}$
Let $G=(V(G),E(G))$ be a simple graph with vertex set $V(G)$ and edge set $E(G)$. Let $S$ be a subset of $V(G)$, and let $B(S)$ be the set of neighbours of $S$ in $V(G) \setminus S$. The differential $\partial(S)$ of $S$ is defined as $|B(S)|-|S|$. The maximum value of $\partial(S)$ taken over all subsets $S\subseteq V$ is the differential $\partial(G)$ of $G$. A graph operator is a mapping $F: G\rightarrow G'$, where $G$ and $G'$ are families of graphs.The graph $§{G}$ is defined as the graph obtained from $G$ con bipartición de vértices $V(G)\cup E(G)$, donde hay tantas aristas entre $v \in V(G)$ y $e \in E(G)$, como veces $e$ sea incidente con $v$ en $G$. In this paper we study the relationship between $\partial(G)$ and $\partial(§{G})$. Besides, we relate the differential of a graph with known parameters of a graph, namely, its domination and independence number.
RSK in last passage percolation: a unified approach
Published in Probability Surveys 19 (2022): 65-112
• View Publication
• BIB
We present a version of the RSK correspondence based on the Pitman transform and geometric considerations. This version unifies ordinary RSK, dual RSK and continuous RSK. We show that this version is both a bijection and an isometry, two crucial properties for taking limits of last passage percolation models.
We use the bijective property to give a non-computational proof that dual RSK maps Bernoulli walks to nonintersecting Bernoulli walks.
Restrained double Roman domination of a graph
Published
• View Publication
• BIB
For a graph G=(V,E), a restrained double Roman dominating function is a function f:V\rightarrow\{0,1,2,3\} having the property that if f(v)=0, then the vertex v must have at least two neighbors assigned 2 under f or one neighbor w with f(w)=3, and if f(v)=1, then the vertex v must have at least one neighbor w with f(w)\geq2, and at the same time, the subgraph G[V_0] which includes vertices with zero labels has no isolated vertex. The weight of a restrained double Roman dominating function f is the sum f(V)=\sum_{v\in V}f(v), and the minimum weight of a restrained double Roman dominating function on G is the restrained double Roman domination number of G. We initiate the study of restrained double Roman domination with proving that the problem of computing this parameter is NP-hard. Then we present an upper bound on the restrained double Roman domination number of a connected graph G in terms of the order of G and characterize the graphs attaining this bound. We study the restrained double Roman domination versus the restrained Roman domination. Finally, we characterized all trees T attaining the exhibited bound.
Sufficient conditions for 2-dimensional global rigidity
Published
• View Publication
• BIB
The 2-dimensional global rigidity has been shown to be equivalent to 3-connectedness and redundant rigidity by a combination of two results due to Jackson and Jordán, and Connelly, respectively. By the characterization, a theorem of Lovász and Yemini implies that every $6$-connected graph is redundantly rigid, and thus globally rigid. The 6-connectedness is best possible, since there exist infinitely many 5-connected non-rigid graphs. Jackson, Servatius and Servatius used the idea of ``essential connectivity'' and proved that every 4-connected ``essentially 6-connected'' graph is redundantly rigid and thus global rigid. Since 3-connectedness is a necessary condition of global rigidity, it is interesting to study 3-connected graphs for redundant rigidity and thus globally rigidity. We utilize a different ``essential connectivity'', and prove that every 3-connected essentially 9-connected graph is redundantly rigid and thus globally rigid. The essential 9-connectedness is best possible. Under this essential connectivity, we also prove that every 4-connected essentially 6-connected graph is redundantly rigid and thus global rigid. Our proofs are based on discharging arguments.
Colouring graphs with no induced six-vertex path or diamond
Published
• View Publication
• BIB
The diamond is the graph obtained by removing an edge from the complete graph on 4 vertices. A graph is ($P_6$, diamond)-free if it contains no induced subgraph isomorphic to a six-vertex path or a diamond. In this paper we show that the chromatic number of a ($P_6$, diamond)-free graph $G$ is no larger than the maximum of 6 and the clique number of $G$. We do this by reducing the problem to imperfect ($P_6$, diamond)-free graphs via the Strong Perfect Graph Theorem, dividing the imperfect graphs into several cases, and giving a proper colouring for each case. We also show that there is exactly one 6-vertex-critical ($P_6$, diamond, $K_6$)-free graph. Together with the Lovász theta function, this gives a polynomial time algorithm to compute the chromatic number of ($P_6$, diamond)-free graphs.
$1$-independent percolation on $\mathbb{Z}^2 \times K_n$
Published
• View Publication
• BIB
A random graph model on a host graph H is said to be 1-independent if for every pair of vertex-disjoint subsets A,B of E(H), the state of edges (absent or present) in A is independent of the state of edges in B. For an infinite connected graph H, the 1-independent critical percolation probability $p_{1,c}(H)$ is the infimum of the p in [0,1] such that every 1-independent random graph model on H in which each edge is present with probability at least p almost surely contains an infinite connected component.
Balister and Bollobás observed in 2012 that $p_{1,c}(\mathbb{Z}^d)$ is nonincreasing and tends to a limit in [1/2, 1] as d tends to infinity. They asked for the value of this limit. We make progress towards this question by showing that \[\lim_{n\rightarrow \infty}p_{1,c}(\mathbb{Z}^2\times K_n)=4-2\sqrt{3}=0.5358\ldots \ .\] In fact, we show that the equality above remains true if the sequence of complete graphs $K_n$ is replaced by a sequence of weakly pseudorandom graphs on n vertices with average degree $ω(\log n)$. We conjecture that the equality also remains true if $K_n$ is replaced instead by the n-dimensional hypercube $Q_n$. This latter conjecture would imply the answer to Balister and Bollobás's question is $4-2\sqrt{3}$.
Using our results, we are also able to resolve a problem of Day, Hancock and the first author on the emergence of long paths in 1-independent random graph models on $\mathbb{Z}\times K_n$. Finally, we prove some results on component evolution in 1-independent random graphs, and discuss a number of open problems arising from our work that may pave the way for further progress on the question of Balister and Bollobás.
Divisible design graphs with parameters $(4n,n+2,n-2,2,4,n)$ and $(4n,3n-2,3n-6,2n-2,4,n)$
Published
• View Publication
• BIB
A $k$-regular graph is called a divisible design graph (DDG for short) if its vertex set can be partitioned into $m$ classes of size $n$, such that two distinct vertices from the same class have exactly $λ_1$ common neighbors, and two vertices from different classes have exactly $λ_2$ common neighbors. $4\times n$-lattice graph is the line graph of $K_{4,n}$. This graph is a DDG with parameters $(4n,n+2,n-2,2,4,n)$. In the paper we consider DDGs with these parameters. We prove that if $n$ is odd then such graph can only be a $4\times n$-lattice graph. If $n$ is even we characterise all DDGs with such parameters. Moreover, we characterise all DDGs with parameters $(4n,3n-2,3n-6,2n-2,4,n)$ which are related to $4\times n$-lattice graphs.
Real phase structures on matroid fans and matroid orientations
Published in J. Lond. Math. Soc. 106.4 (2022) pp. 3687-3710
• View Publication
• BIB
We introduce the notion of real phase structure on rational polyhedral fans in Euclidean space. Such a structure consists of an assignment of affine spaces over $\mathbb{Z}/2\mathbb{Z}$ to each top dimensional face of the fan subject to two conditions. Given an oriented matroid we can construct a real phase structure on the fan of the underlying matroid. Conversely, we show that from a real phase structure on a matroid fan we can produce an orientation of the underlying matroid. Thus real phase structures are cryptomorphic to matroid orientations. The topes of the orientated matroid are recovered immediately from the real phase structure. We also provide a direct way to recover the signed circuits of the oriented matroid from the real phase structure.
A generalization of a theorem of Nash-Williams
Published
• View Publication
• BIB
In 1972, Chvatal gave a well-known sufficient condition for a graphical sequence to be forcibly hamiltonian, and showed that in some sense his condition is best possible. Nash-Williams gave examples of forcibly hamiltonian n-sequences that do not satisfy Chvatla's condition for every n at least 5. In this note we generalize the Nash-Williams examples, and use this generalization to generate Ω(2^n/n^.5) forcibly hamiltonian n-sequences that do not satisfy Chvatal's condition
A Context-free Grammar for the $e$-Positivity of the Trivariate Second-order Eulerian Polynomials
Published
• View Publication
• BIB
Ma-Ma-Yeh made a beautiful observation that a transformation of the grammar of Dumont instantly leads to the $γ$-positivity of the Eulerian polynomials. We notice that the transformed grammar bears a striking resemblance to the grammar for 0-1-2 increasing trees also due to Dumont. The appearance of the factor of two fits perfectly in a grammatical labeling of 0-1-2 increasing plane trees. Furthermore, the grammatical calculus is instrumental to the computation of the generating functions. This approach can be adapted to study the $e$-positivity of the trivariate second-order Eulerian polynomials first introduced by Dumont in the contexts of ternary trees and Stirling permutations, and independently defined by Janson, in connection with the joint distribution of the numbers of ascents, descents and plateaux over Stirling permutations.
Counting $H$-free orientations of graphs
In 1974, Erdős posed the following problem. Given an oriented graph $H$, determine or estimate the maximum possible number of $H$-free orientations of an $n$-vertex graph. When $H$ is a tournament, the answer was determined precisely for sufficiently large $n$ by Alon and Yuster. In general, when the underlying undirected graph of $H$ contains a cycle, one can obtain accurate bounds by combining an observation of Kozma and Moran with celebrated results on the number of $F$-free graphs. As the main contribution of the paper, we resolve all remaining cases in an asymptotic sense, thereby giving a rather complete answer to Erdős's question. Moreover, we determine the answer exactly when $H$ is an odd cycle and $n$ is sufficiently large, answering a question of Araújo, Botler and Mota.
A polynomial Time Algorithm to Solve The Max-atom Problem
In this paper we consider $m$ ($m \geq 1$)conjunctions of Max-atoms that is atoms of the form $\max(z,y) + r \geq x$, where the offset $r$ is a real constant and $x,y,z$ are variables. We show that the Max-atom problem (MAP) belongs to $\textsf{P}$. Indeed, we provide an algorithm which solves the MAP in $O(n^{6} m^{2} + n^{4} m^{3} + n^{2} m^{4})$ operations, where $n$ is the number of variables which compose the max-atoms. As a by-product other problems also known to be in $\textsf{NP} \cap \textsf{co-NP}$ are in $\textsf{P}$. P1: the problem to know if a tropical cone is trivial or not. P2: problem of tropical rank of a tropical matrix. P3: parity game problem. P4: scheduling problem with AND/OR precedence constraints. P5: problem on hypergraph (shortest path). P6: problem in model checking and $μ$-calculus.
Polynomial $χ$-binding functions for $t$-broom-free graphs
Published
• View Publication
• BIB
For any positive integer $t$, a \emph{$t$-broom} is a graph obtained from $K_{1,t+1}$ by subdividing an edge once. In this paper, we show that, for graphs $G$ without induced $t$-brooms, we have $χ(G) = o(ω(G)^{t+1})$, where $χ(G)$ and $ω(G)$ are the chromatic number and clique number of $G$, respectively. When $t=2$, this answers a question of Schiermeyer and Randerath. Moreover, for $t=2$, we strengthen the bound on $χ(G)$ to $7ω(G)^2$, confirming a conjecture of Sivaraman. For $t\geq 3$ and \{$t$-broom, $K_{t,t}$\}-free graphs, we improve the bound to $o(ω^{t})$.
Bar-and-joint rigidity on the moment curve coincides with cofactor rigidity on a conic
Published in Combinatorial Theory 3 (1) (2023) paper 15
• View Publication
• BIB
We show that, for points along the moment curve, the bar-and-joint rigidity matroid and the hyperconnectivity matroid coincide, and that both coincide with the $C^{d-2}_{d-1}$-cofactor rigidity of points along any (non-degenerate) conic in the plane. For hyperconnectivity in dimension two, having the points in the moment curve is no loss of generality.
We also show that, restricted to bipartite graphs, the bar-and-joint rigidity matroid is freer than the hyperconnectivity matroid.
Short proofs for long induced paths
We present a modification of the Depth first search algorithm, suited for finding long induced paths. We use it to give simple proofs of the following results. We show that the induced size-Ramsey number of paths satisfies $\hat{R}_{\mathrm{ind}}(P_n)\leq 5\cdot 10^7n$, thus giving an explicit constant in the linear bound, improving the previous bound with a large constant from a regularity lemma argument by Haxell, Kohayakawa and Łuczak. We also provide a bound for the $k$-color version, showing that $\hat{R}_{\mathrm{ind}}^k(P_n)=O(k^3\log^4k)n$. Finally, we present a new short proof of the fact that the binomial random graph in the supercritical regime, $G(n,\frac{1+\varepsilon}{n})$, contains typically an induced path of length $Θ(\varepsilon^2) n$.
On uncommon systems of equations
A system of linear equations $L$ over $\mathbb{F}_q$ is common if the number of monochromatic solutions to $L$ in any two-colouring of $\mathbb{F}_q^n$ is asymptotically at least the expected number of monochromatic solutions in a random two-colouring of $\mathbb{F}_q^n$. Motivated by existing results for specific systems (such as Schur triples and arithmetic progressions), as well as extensive research on common and Sidorenko graphs, the systematic study of common systems of linear equations was recently initiated by Saad and Wolf.
Building upon earlier work of Cameron, Cilleruelo and Serra, as well as Saad and Wolf, common linear equations have recently been fully characterised by Fox, Pham and Zhao, who asked about common \emph{systems} of equations. In this paper we move towards a classification of common systems of two or more linear equations. In particular we prove that any system containing an arithmetic progression of length four is uncommon, confirming a conjecture of Saad and Wolf. This follows from a more general result which allows us to deduce the uncommonness of a general system from certain properties of one- or two-equation subsystems.
Topological recursion for fully simple maps from ciliated maps
Published in Comb. Th. 4 2 (2024)
• View Publication
• BIB
Ordinary maps satisfy topological recursion for a certain spectral curve $(x, y)$. We solve a conjecture from arXiv:1710.07851 that claims that fully simple maps, which are maps with non self-intersecting disjoint boundaries, satisfy topological recursion for the exchanged spectral curve $(y, x)$, making use of the topological recursion for ciliated maps arXiv:2105.08035.
Very Well-Covered Graphs with the Erdős-Ko-Rado Property
Published in Involve 16 (2023) 35-47
• View Publication
• BIB
A family of independent $r$-sets of a graph $G$ is an $r$-star if every set in the family contains some fixed vertex $v$. A graph is $r$-EKR if the maximum size of an intersecting family of independent $r$-sets is the size of an $r$-star. Holroyd and Talbot conjecture that a graph is $r$-EKR as long as $1\leq r\leq\frac{μ(G)}{2}$, where $μ(G)$ is the minimum size of a maximal independent set. It is suspected that the smallest counterexample to this conjecture is a well-covered graph. Here we consider the class of very well-covered graphs $G^*$ obtained by appending a single pendant edge to each vertex of $G$. We prove that the pendant complete graph $K_n^*$ is $r$-EKR when $n \geq 2r$ and strictly so when $n>2r$. Pendant path graphs $P_n^*$ are also explored and the vertex whose $r$-star is of maximum size is determined.
Efficient recurrence for the enumeration of permutations with fixed pinnacle set
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Combinatorics (March 11, 2022) dmtcs:8321
• View Publication
• BIB
Initiated by Davis, Nelson, Petersen and Tenner (2018), the enumerative study of pinnacle sets of permutations has attracted a fair amount of attention recently. In this article, we provide a recurrence that can be used to compute efficiently the number $|\mathfrak{S}_n(P)|$ of permutations of size $n$ with a given pinnacle set $P$, with arithmetic complexity $O(k^4 + k\log n)$ for $P$ of size $k$. A symbolic expression can also be computed in this way for pinnacle sets of fixed size. A weighted sum $q_n(P)$ of $|\mathfrak{S}_n(P)|$ proposed in Davis, Nelson, Petersen and Tenner (2018) seems to have a simple form, and a conjectural form is given recently by Flaque, Novelli and Thibon (2021+). We settle the problem by providing and proving an alternative form of $q_n(P)$, which has a strong combinatorial flavor. We also study admissible orderings of a given pinnacle set, first considered by Rusu (2020) and characterized by Rusu and Tenner (2021), and we give an efficient algorithm for their counting.