Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A note on semitotal domination in graphs
A set $S$ of vertices in $G$ is a semitotal dominating set of $G$ if it is a dominating set of $G$ and every vertex in $S$ is within distance $2$ of another vertex of $S$. The \emph{semitotal domination number}, $γ_{t2}(G)$, is the minimum cardinality of a semitotal dominating set of $G$. The \emph{semitotal domination multisubdivision number} of a graph $G$, $msd_{γ_{t2}}(G)$, is the minimum positive integer $k$ such that there exists an edge which must be subdivided $k$ times to increase the semitotal domination number of $G$. In this paper, we show that $msd_{γ_{t2}}(G)\leq 3$ for any graph $G$ of order at least $3$, we also determine the semitotal domination multisubdivision number for some classes of graphs and characterize trees $T$ with $msd_{γ_{t2}}(T)=3$. On the other hand, we know that $γ_{t2}(G)$ is a parameter that is squeezed between domination number, $γ(G)$ and total domination number, $γ_t(G)$, so for any tree $T$, we investigate the ratios $\frac{γ_{t2}(T)}{γ(T)}$ and $\frac{γ_t(T)}{γ_{t2}(T)}$, and present the constructive characterizations of the families of trees achieving the upper bounds.
Dynamical properties of simplicial systems and continued fraction algorithms
We propose a new point of view on multidimensional continued fraction algorithms inspired by Rauzy induction. The generic behaviour of such an algorithm is described here as a random walk on a graph that we call simplicial system. These systems provide a family of examples for random walks with memory recorded by a finite dimensional vector.
We introduce a general criterion on these graphs that induces ergodicity together with a bundle of many other dynamical properties. In particular, after computing the representation of Brun, Selmer and Arnoux-Rauzy-Poincare algorithm in this formalism, it provides a unified proof of ergodicity for these classical examples as well as new results such as uniqueness of the measure of maximal entropy on a canonical suspension.
These objects also bring a new perspective to some fractal sets such as Rauzy gaskets. We show general explicit upper bound on Hausdorff dimensions of fractals described in this formalism as well as a construction of their measure of maximal entropy. This implies in particular that the Rauzy gasket in all dimensions has Hausdorff dimension strictly smaller than its ambient space, as well as sharper bounds on the dimension and an asymptotic result.
On the probability of Boolean functions of events in the n-dimensional Euclidean space
It is shown by the author in 2017 that for the union of N orthants in the n-dimensional space there exists an efficient and systematic way to find the exact value, using a suitable partial order relation construction. In this paper our events are hyperrectangles (or n-orthotopes), the Cartesian product of intervals: another important sets (or events) in both theory and practice. We have discovered a new efficient algorithm for the union of such events. With other important Boolean functions we present optimization problem formulations for both hyperreectangles and orthants.
Frequency Fitness Assignment: Making Optimization Algorithms Invariant under Bijective Transformations of the Objective Function Value
Published
• View Publication
• BIB
Under Frequency Fitness Assignment (FFA), the fitness corresponding to an objective value is its encounter frequency in fitness assignment steps and is subject to minimization. FFA renders optimization processes invariant under bijective transformations of the objective function value. On TwoMax, Jump, and Trap functions of dimension s, the classical (1+1)-EA with standard mutation at rate 1/s can have expected runtimes exponential in s. In our experiments, a (1+1)-FEA, the same algorithm but using FFA, exhibits mean runtimes that seem to scale as $s^2\ln{s}$. Since Jump and Trap are bijective transformations of OneMax, it behaves identical on all three. On OneMax, LeadingOnes, and Plateau problems, it seems to be slower than the (1+1)-EA by a factor linear in s. The (1+1)-FEA performs much better than the (1+1)-EA on W-Model and MaxSat instances. We further verify the bijection invariance by applying the Md5 checksum computation as transformation to some of the above problems and yield the same behaviors. Finally, we show that FFA can improve the performance of a memetic algorithm for job shop scheduling.
Rainbow monochromatic $k$-edge-connection colorings of graphs
Published
• View Publication
• BIB
A path in an edge-colored graph is called a monochromatic path if all edges of the path have a same color. We call $k$ paths $P_1,\cdots,P_k$ rainbow monochromatic paths if every $P_i$ is monochromatic and for any two $i\neq j$, $P_i$ and $P_j$ have different colors. An edge-coloring of a graph $G$ is said to be a rainbow monochromatic $k$-edge-connection coloring (or $RMC_k$-coloring for short) if every two distinct vertices of $G$ are connected by at least $k$ rainbow monochromatic paths. We use $rmc_k(G)$ to denote the maximum number of colors that ensures $G$ has an $RMC_k$-coloring, and this number is called the rainbow monochromatic $k$-edge-connection number. We prove the existence of $RMC_k$-colorings of graphs, and then give some bounds of $rmc_k(G)$ and present some graphs whose $rmc_k(G)$ reaches the lower bound. We also obtain the threshold function for $rmc_k(G(n,p))\geq f(n)$, where $\lfloor\frac{n}{2}\rfloor> k\geq 1$.
On the roots of the Poupard and Kreweras polynomials
Published
• View Publication
• BIB
The Poupard polynomials are polynomials in one variable with integer coefficients, with some close relationship to Bernoulli and tangent numbers. They also have a combinatorial interpretation. We prove that every Poupard polynomial has all its roots on the unit circle. We also obtain the same property for another sequence of polynomials introduced by Kreweras and related to Genocchi numbers. This is obtained through a general statement about some linear operators acting on palindromic polynomials.
On Efficient Distance Approximation for Graph Properties
Published
• View Publication
• BIB
A distance-approximation algorithm for a graph property $\mathcal{P}$ in the adjacency-matrix model is given an approximation parameter $ε\in (0,1)$ and query access to the adjacency matrix of a graph $G=(V,E)$. It is required to output an estimate of the \emph{distance} between $G$ and the closest graph $G'=(V,E')$ that satisfies $\mathcal{P}$, where the distance between graphs is the size of the symmetric difference between their edge sets, normalized by $|V|^2$. In this work we introduce property covers, as a framework for using distance-approximation algorithms for "simple" properties to design distance-approximation. Applying this framework we present distance-approximation algorithms with $poly(1/ε)$ query complexity for induced $P_3$-freeness, induced $P_4$-freeness, and Chordality. For induced $C_4$-freeness our algorithm has query complexity $exp(poly(1/ε))$. These complexities essentially match the corresponding known results for testing these properties and provide an exponential improvement on previously known results.
A note on the simultaneous edge coloring
Published
• View Publication
• BIB
Let $G=(V,E)$ be a graph. A (proper) $k$-edge-coloring is a coloring of the edges of $G$ such that any pair of edges sharing an endpoint receive distinct colors. A classical result of Vizing ensures that any simple graph $G$ admits a $(Δ(G)+1)$-edge coloring where $Δ(G)$ denotes the maximum degreee of $G$. Recently, Cabello raised the following question: given two graphs $G_1,G_2$ of maximum degree $Δ$ on the same set of vertices $V$, is it possible to edge-color their (edge) union with $Δ+2$ colors in such a way the restriction of $G$ to respectively the edges of $G_1$ and the edges of $G_2$ are edge-colorings? More generally, given $\ell$ graphs, how many colors do we need to color their union in such a way the restriction of the coloring to each graph is proper?
In this short note, we prove that we can always color the union of the graphs $G_1,\ldots,G_\ell$ of maximum degree $Δ$ with $Ω(\sqrt{\ell} \cdot Δ)$ colors and that there exist graphs for which this bound is tight up to a constant multiplicative factor. Moreover, for two graphs, we prove that at most $\frac 32 Δ+4$ colors are enough which is, as far as we know, the best known upper bound.
Sharp relations between volume growth, isoperimetry and escape probability in vertex-transitive graphs
We prove sharp bounds on the probability that the simple random walk on a vertex-transitive graph escapes the ball of radius $r$ before returning to its starting point. In particular, this shows that if the ball of radius $r$ has size slightly greater than quadratic in $r$ then this probability is bounded from below. On the other hand, we show that if the ball of radius $r$ has volume slightly less than cubic in $r$ then this probability decays logarithmically for all larger balls. These results represent a finitary refinement of Varopoulos's theorem that a random walk on a vertex-transitive graph is recurrent if and only if the graph has at most quadratic volume growth. They also imply the existence of a gap at $0$ for escape probabilities: there exists a universal constant $c>0$ such that the random walk on an arbitrary vertex-transitive graph is either recurrent or has a probability of at least $c$ of escaping to infinity. We also prove versions of these results for finite graphs, in particular confirming and strengthening a conjecture of Benjamini and Kozma from 2002. Amongst other things, we also generalise our results to give a sharp finitary version of the characterisation of $p$-parabolic vertex-transitive graphs, prove a number of sharp isoperimetric inequalities for vertex-transitive graphs, and prove a locality result for the escape probability of the random walk on a vertex-transitive graph that can be seen as an analogue of Schramm's locality conjecture for the critical percolation probability.
Phylogenetic trees, augmented perfect matchings, and a Thron-type continued fraction (T-fraction) for the Ward polynomials
Published in Electronic Journal of Combinatorics 27(4), article P4.6 (2020)
• View Publication
• BIB
We find a Thron-type continued fraction (T-fraction) for the ordinary generating function of the Ward polynomials, as well as for some generalizations employing a large (indeed infinite) family of independent indeterminates. Our proof is based on a bijection between super-augmented perfect matchings and labeled Schröder paths, which generalizes Flajolet's bijection between perfect matchings and labeled Dyck paths.
Counting Maximum Matchings in Planar Graphs Is Hard
Here we prove that counting maximum matchings in planar, bipartite graphs is #P-complete. This is somewhat surprising in the light that the number of perfect matchings in planar graphs can be computed in polynomial time. We also prove that counting non-necessarily perfect matchings in planar graphs is already #P-complete if the problem is restricted to bipartite graphs. So far hardness was proved only for general, non-necessarily bipartite graphs.
Remarks on partitions into expanders
Published
• View Publication
• BIB
In this note we give a short proof that graphs having no linearly small Følner sets can be partitioned into a union of expanders. We use this fact to prove a partition result for graphs admitting linearly small maximal Følner sets and we deduce that a family of such graphs must contain a family of expanders. We also show that the existence of partitions into expanders is a quasi-isometry invariant.
Sublinear separators in intersection graphs of convex shapes
We give a natural sufficient condition for an intersection graph of compact convex sets in R^d to have a balanced separator of sublinear size. This condition generalizes several previous results on sublinear separators in intersection graphs. Furthermore, the argument used to prove the existence of sublinear separators is based on a connection with generalized coloring numbers which has not been previously explored in geometric settings.
(Theta, triangle)-free and (even hole, $K_4$)-free graphs. Part 2 : bounds on treewidth
Published in J Graph Theory. 2021; 97: 624-641
• View Publication
• BIB
A {\em theta} is a graph made of three internally vertex-disjoint chordless paths $P_1 = a \dots b$, $P_2 = a \dots b$, $P_3 = a \dots b$ of length at least~2 and such that no edges exist between the paths except the three edges incident to $a$ and the three edges incident to $b$. A {\em pyramid} is a graph made of three chordless paths $P_1 = a \dots b_1$, $P_2 = a \dots b_2$, $P_3 = a \dots b_3$ of length at least~1, two of which have length at least 2, vertex-disjoint except at $a$, and such that $b_1b_2b_3$ is a triangle and no edges exist between the paths except those of the triangle and the three edges incident to~$a$. An \emph{even hole} is a chordless cycle of even length. For three non-negative integers $i\leq j\leq k$, let $S_{i,j,k}$ be the tree with a vertex $v$, from which start three paths with $i$, $j$, and $k$ edges respectively. We denote by $K_t$ the complete graph on $t$ vertices.
We prove that for all non-negative integers $i, j, k$, the class of graphs that contain no theta, no $K_3$, and no $S_{i, j, k}$ as induced subgraphs have bounded treewidth. We prove that for all non-negative integers $i, j, k, t$, the class of graphs that contain no even hole, no pyramid, no $K_t$, and no $S_{i, j, k}$ as induced subgraphs have bounded treewidth. To bound the treewidth, we prove that every graph of large treewidth must contain a large clique or a minimal separator of large cardinality.
On strong Skolem starters for $\mathbb{Z}_{pq}$
In 1991, N. Shalaby conjectured that any additive group $\mathbb{Z}_n$, where $n\equiv1$ or 3 (mod 8) and $n \geq11$, admits a strong Skolem starter and constructed these starters of all admissible orders $11\leq n\leq57$. Shalaby and et al. [O. Ogandzhanyants, M. Kondratieva and N. Shalaby, \emph{Strong Skolem Starters}, J. Combin. Des. {\bf 27} (2018), no. 1, 5--21] was proved if $n=Π_{i=1}^{k}p_i^{α_i}$, where $p_i$ is a prime number such that $ord(2)_{p_i}\equiv 2$ (mod 4) and $α_i$ is a non-negative integer, for all $i=1,\ldots,k$, then $\mathbb{Z}_n$ admits a strong Skolem starter. On the other hand, the author [A. Vázquez-Ávila, \emph{A note on strong Skolem starters}, Discrete Math. Accepted] gives different families of strong Skolem starters for $\mathbb{Z}_p$ than Shalaby et al, where $p\equiv3$ (mod 8) is an odd prime. Recently, the author [A. Vázquez-Ávila, \emph{New families of strong Skolem starters}, Submitted] gives different families of strong Skolem starters of $\mathbb{Z}_{p^n}$ than Shalaby et al, where $p\equiv3$ (mod 8) and $n$ is an integer greater than 1.
In this paper, we gives some different families of strong Skolem starters of $\mathbb{Z}_{pq}$, where $p,q\equiv3$ (mod 8) are prime numbers such that $p<q$ and $(p-1)\nmid(q-1)$.
Weighted Means of B-Splines, Positivity of Divided Differences, and Complete Homogeneous Symmetric Polynomials
Published in Lin. Alg. Appl. 608 (2021), 68-83
• Search Publication
We employ the fact certain divided differences can be written as weighted means of B-splines and hence are positive. These divided differences include the complete homogeneous symmetric polynomials of even degree $2p$, the positivity of which is a classical result by D. B. Hunter. We extend Hunter's result to complete homogeneous symmetric polynomials of fractional degree, which are defined via Jacobi's bialternant formula. We show in particular that these polynomials have positive real part for real degrees $μ$ with $|μ-2p|< 1/2$. We also prove a positivity criterion for linear combinations of the classical complete homogeneous symmetric polynomials and a sufficient criterion for the positivity of linear combinations of products of such polynomials.
Random Surfaces with Boundary
Published in Discrete & Computational Geometry, online, 2021
• View Publication
• BIB
A surface with boundary is randomly generated by gluing polygons along some of their sides. We show that its genus and number of boundary components asymptotically follow a bivariate normal distribution.
An Approximation Algorithm for Fully Planar Edge-Disjoint Paths
Published
• View Publication
• BIB
We devise a constant-factor approximation algorithm for the maximization version of the edge-disjoint paths problem if the supply graph together with the demand edges form a planar graph. By planar duality this is equivalent to packing cuts in a planar graph such that each cut contains exactly one demand edge. We also show that the natural linear programming relaxations have constant integrality gap, yielding an approximate max-multiflow min-multicut theorem.
$Z$-oriented triangulations of surfaces
Published
• View Publication
• BIB
The main objects of the paper are $z$-oriented triangulations of connected closed $2$-dimensional surfaces. A $z$-orientation of a map is a minimal collection of zigzags which double covers the set of edges. We have two possibilities for an edge -- zigzags from the $z$-orientation pass through this edge in different directions (type I) or in the same direction (type II). Then there are two types of faces in a triangulation: the first type is when two edges of the face are of type I and one edge is of type II and the second type is when all edges of the face are of type II. We investigate $z$-oriented triangulations with all faces of the first type (in the general case, any $z$-oriented triangulation can be shredded to a $z$-oriented triangulation of such type). A zigzag is homogeneous if it contains precisely two edges of type I after any edge of type II. We give a topological characterization of the homogeneity of zigzags; in particular, we describe a one-to-one correspondence between $z$-oriented triangulations with homogeneous zigzags and closed $2$-cell embeddings of directed Eulerian graphs in surfaces. At the end, we give an application to one type of the $z$-monodromy.
On the Sum of Ricci-Curvatures for Weighted Graphs
Published
• View Publication
• BIB
In this paper, we generalize Lin-Lu-Yau's Ricci curvature to weighted graphs and give a simple limit-free definition. We prove two extremal results on the sum of Ricci curvatures for weighted graph.
A weighted graph $G=(V,E,d)$ is an undirected graph $G=(V,E)$ associated with a distance function $d\colon E\to [0,\infty)$. By redefining the weights if possible, without loss of generality, we assume that the shortest weighted distance between $u$ and $v$ is exactly $d(u,v)$ for any edge $uv$. Now consider a random walk whose transitive probability from an vertex $u$ to its neighbor $v$ (a jump move along the edge $uv$) is proportional to $w_{uv}:=F(d(u,v))/d(u,v)$ for some given function $F(\bullet)$. We first generalize Lin-Lu-Yau's Ricci curvature definition to this weighted graph and give a simple limit-free representation of $κ(x, y)$ using a so called $\ast$-coupling functions. The total curvature $K(G)$ is defined to be the sum of Ricci curvatures over all edges of $G$. We proved the following theorems: if $F(\bullet)$ is a decreasing function, then $K(G)\geq 2|V| -2|E|$; if $F(\bullet)$ is an increasing function, then $K(G)\leq 2|V| -2|E|$. Both equalities hold if and only if $d$ is a constant function plus the girth is at least $6$.
In particular, these imply a Gauss-Bonnet theorem for (unweighted) graphs with girth at least $6$, where the graph Ricci curvature is defined geometrically in terms of optimal transport.