Showing 20 papers (Total: 82064 papers, 47505 authors in database)
Slicing convex sets and measures by a hyperplane
Published in Discrete & Computational Geometry Volume 39 , Issue 1 (March 2008) Pages: 67-75, 2008 ISSN:0179-5376
• Search Publication
We generalize the ham sandwich theorem for the case of well separated measures. Given convex bodies $K_1,...,K_d$ in $\mathbb{R_d}$ and numbers $α_1,...,α_d \in [0, 1]$, we give a sufficient condition for existence and uniqueness of an (oriented)halfspace H with Vol($H \cap K_i$)= $α_i \dot$ Vol$K_i$ for every i. The result is extended from convex bodies to measures.
On graphs with cyclic defect or excess
Published in The Electronic Journal of Combinatorics 17 (2010), no. 1, R143
• View Publication
• BIB
The Moore bound constitutes both an upper bound on the order of a graph of maximum degree $d$ and diameter $D=k$ and a lower bound on the order of a graph of minimum degree $d$ and odd girth $g=2k+1$. Graphs missing or exceeding the Moore bound by $ε$ are called {\it graphs with defect or excess $ε$}, respectively.
While {\it Moore graphs} (graphs with $ε=0$) and graphs with defect or excess 1 have been characterized almost completely, graphs with defect or excess 2 represent a wide unexplored area.
Graphs with defect (excess) 2 satisfy the equation $G_{d,k}(A) = J_n + B$ ($G_{d,k}(A) = J_n-B$), where $A$ denotes the adjacency matrix of the graph in question, $n$ its order, $J_n$ the $n\times n$ matrix whose entries are all 1's, $B$ the adjacency matrix of a union of vertex-disjoint cycles, and $G_{d,k}(x)$ a polynomial with integer coefficients such that the matrix $G_{d,k}(A)$ gives the number of paths of length at most $k$ joining each pair of vertices in the graph.
In particular, if $B$ is the adjacency matrix of a cycle of order $n$ we call the corresponding graphs \emph{graphs with cyclic defect or excess}; these graphs are the subject of our attention in this paper.
We prove the non-existence of infinitely many such graphs. As the highlight of the paper we provide the asymptotic upper bound of $O(\frac{64}3d^{3/2})$ for the number of graphs of odd degree $d\ge3$ and cyclic defect or excess. This bound is in fact quite generous, and as a way of illustration, we show the non-existence of some families of graphs of odd degree $d\ge3$ and cyclic defect or excess.
Actually, we conjecture that, apart from the Möbius ladder on 8 vertices, no non-trivial graph of any degree $\ge 3$ and cyclic defect or excess exists.
Two-lit trees for lit-only sigma-game
Published
• View Publication
• BIB
A configuration of the lit-only $σ$-game on a finite graph $Γ$ is an assignment of one of two states, on or off, to all vertices of $Γ.$ Given a configuration, a move of the lit-only $σ$-game on $Γ$ allows the player to choose an on vertex $s$ of $Γ$ and change the states of all neighbors of $s.$ Given any integer $k$, we say that $Γ$ is $k$-lit if, for any configuration, the number of on vertices can be reduced to at most $k$ by a finite sequence of moves. Assume that $Γ$ is a tree with a perfect matching. We show that $Γ$ is 1-lit and any tree obtained from $Γ$ by adding a new vertex on an edge of $Γ$ is 2-lit.
Linear chord diagrams on two intervals
Consider all possible ways of attaching disjoint chords to two ordered and oriented disjoint intervals so as to produce a connected graph. Taking the intervals to lie in the real axis with the induced orientation and the chords to lie in the upper half plane canonically determines a corresponding fatgraph which has some associated genus $g\geq 0$, and we consider the natural generating function ${\bf C}_g^{[2]}(z)=\sum_{n\geq 0} {\bf c}^{[2]}_g(n)z^n$ for the number ${\bf c}^{[2]}_g(n)$ of distinct such chord diagrams of fixed genus $g\geq 0$ with a given number $n\geq 0$ of chords. We prove here the surprising fact that ${\bf C}^{[2]}_g(z)=z^{2g+1} R_g^{[2]}(z)/(1-4z)^{3g+2} $ is a rational function, for $g\geq 0$, where the polynomial $R^{[2]}_g(z)$ with degree at most $g$ has integer coefficients and satisfies $R_g^{[2]}({1\over 4})\neq 0$. Earlier work had already determined that the analogous generating function ${\bf C}_g(z)=z^{2g}R_g(z)/(1-4z)^{3g-{1\over 2}}$ for chords attached to a single interval is algebraic, for $g\geq 1$, where the polynomial $R_g(z)$ with degree at most $g-1$ has integer coefficients and satisfies $R_g(1/4)\neq 0$ in analogy to the generating function ${\bf C}_0(z)$ for the Catalan numbers. The new results here on ${\bf C}_g^{[2]}(z)$ rely on this earlier work, and indeed, we find that $R_g^{[2]}(z)=R_{g+1}(z) -z\sum_{g_1=1}^g R_{g_1}(z) R_{g+1-g_1}(z)$, for $g\geq 1$.
Ordering trees having small reverse Wiener indices
Published in Filomat 26 (2012) 637-648
• View Publication
• BIB
The reverse Wiener index of a connected graph $G$ is a variation of the well-known Wiener index $W(G)$ defined as the sum of distances between all unordered pairs of vertices of $G$. It is defined as $Λ(G)=\frac{1}{2}n(n-1)d-W(G)$, where $n$ is the number of vertices, and $d$ is the diameter of $G$. We now determine the second and the third smallest reverse Wiener indices of $n$-vertex trees and characterize the trees whose reverse Wiener indices attain these values for $n\ge 6$ (it has been known that the star is the unique tree with the smallest reverse Wiener index).
Counting perfect matchings of cubic graphs in the geometric dual
Lovász and Plummer conjectured, in the mid 1970's, that every cubic graph G with no cutedge has an exponential in |V(G)| number of perfect matchings. In this work we show that every cubic planar graph G whose geometric dual graph is a stack triangulation has at least 3 times the golden ratio to |V(G)|/72 distinct perfect matchings. Our work builds on a novel approach relating Lovász and Plummer's conjecture and the number of so called groundstates of the widely studied Ising model from statistical physics.
The fine structure of 321 avoiding involutions
We study the involutions belonging to the class of 321 avoiding permutations. We calculate the algebraic generating functions of the set containing the involutions avoiding 321 and of some of its subsets. Precisely we determine the algebraic generating functions of the involutions that are expansions of 12, of those expansions of 21, of the simple ones and of their expansions. The graphics of the simple involutions are caracterized. Being the simple involutions avoiding 321 counted by Riordan's numbers, a combinatoric interpretation of the results is illustrated through a class of Motzkin paths. Another interpretation is given through Dyck paths.
On the enumeration of d-minimal permutations
Published
• View Publication
• BIB
We suggest an approach for the enumeration of minimal permutations having d descents which uses skew Young tableaux. We succeed in finding a general expression for the number of such permutations in terms of (several) sums of determinants. We then generalize the class of skew Young tableaux under consideration; this allows in particular to discover some presumably new results concerning Eulerian numbers.
On the size of identifying codes in triangle-free graphs
Published in Discrete Applied Mathematics 160, 10-11 (2012) 1532-1546
• View Publication
• BIB
In an undirected graph $G$, a subset $C\subseteq V(G)$ such that $C$ is a dominating set of $G$, and each vertex in $V(G)$ is dominated by a distinct subset of vertices from $C$, is called an identifying code of $G$. The concept of identifying codes was introduced by Karpovsky, Chakrabarty and Levitin in 1998. For a given identifiable graph $G$, let $\M(G)$ be the minimum cardinality of an identifying code in $G$. In this paper, we show that for any connected identifiable triangle-free graph $G$ on $n$ vertices having maximum degree $Δ\geq 3$, $\M(G)\le n-\tfrac{n}{Δ+o(Δ)}$. This bound is asymptotically tight up to constants due to various classes of graphs including $(Δ-1)$-ary trees, which are known to have their minimum identifying code of size $n-\tfrac{n}{Δ-1+o(1)}$. We also provide improved bounds for restricted subfamilies of triangle-free graphs, and conjecture that there exists some constant $c$ such that the bound $\M(G)\le n-\tfrac{n}Δ+c$ holds for any nontrivial connected identifiable graph $G$.
Optimization Problems over Unit-Distance Representations of Graphs
Published in Electronic Journal of Combinatorics 20(1) (2013), #P43
• View Publication
• BIB
We study the relationship between unit-distance representations and Lovasz theta number of graphs, originally established by Lovasz. We derive and prove min-max theorems. This framework allows us to derive a weighted version of the hypersphere number of a graph and a related min-max theorem. Then, we connect to sandwich theorems via graph homomorphisms. We present and study a generalization of the hypersphere number of a graph and the related optimization problems. The generalized problem involves finding the smallest ellipsoid of a given shape which contains a unit-distance representation of the graph. We prove that arbitrary positive semidefinite forms describing the ellipsoids yield NP-hard problems.
Un déterminant reproduisant
We evaluate the determinant D = det((y_j u_i - x_j v_i)/(l_j - k_i)) as a function of the last sextuple (u,v,k;x,y,l), the result being shown to have a form reproducing the one of the entries of D.
-----
Nous calculons le déterminant D = det((y_j u_i - x_j v_i)/(l_j - k_i)) comme fonction du dernier des sextuplets (u,v,k;x,y,l), en exprimant le résultat sous une forme qui reproduit celle des entrées de D.
Directed Graphs, Decompositions, and Spatial Linkages
Published
• View Publication
• BIB
The decomposition of a linkage into minimal components is a central tool of analysis and synthesis of linkages. In this paper we prove that every pinned d-isostatic (minimally rigid) graph (grounded linkage) has a unique decomposition into minimal strongly connected components (in the sense of directed graphs), or equivalently into minimal pinned isostatic graphs, which we call d-Assur graphs. We also study key properties of motions induced by removing an edge in a d-Assur graph - defining a stronger sub-class of strongly d-Assur graphs by the property that all inner vertices go into motion, for each removed edge. The strongly 3-Assur graphs are the central building blocks for kinematic linkages in 3-space and the 3-Assur graphs are components in the analysis of built linkages. The d-Assur graphs share a number of key combinatorial and geometric properties with the 2-Assur graphs, including an associated lower block- triangular decomposition of the pinned rigidity matrix which provides modular information for extending the motion induced by inserting one driver in a bottom Assur linkage to the joints of the entire linkage. We also highlight some problems in combinatorial rigidity in higher dimensions (d > 2) which cause the distinction between d-Assur and strongly d-Assur which did not occur in the plane.
$G-$Decompositions of Matrices and Related Problems I
Published in Linear Algebra and its Applications 436 (2012) 1344--1366
• View Publication
• BIB
In the present paper we introduce a notion of $G-$decompositions of matrices. Main result of the paper is that a symmetric matrix $A_m$ has a $G-$decomposition in the class of stochastic (resp. substochastic) matrices if and only if $A_m$ belongs to the set ${\mathbf{U}}^m$ (resp. ${\mathbf{U}}_m$). To prove the main result, we study extremal points and geometrical structures of the sets ${\mathbf{U}}^m$, ${\mathbf{U}}_m$. Note that such kind of investigations enables to study Birkhoff's problem for quadratic $G-$doubly stochastic operators.
Enumeration of linear chord diagrams
A linear chord diagram canonically determines a fatgraph and hence has an associated genus $g$. We compute the natural generating function ${\bf C}_g(z)=\sum_{n\geq 0} {\bf c}_g(n)z^n$ for the number ${\bf c}_g(n)$ of linear chord diagrams of fixed genus $g\geq 1$ with a given number $n\geq 0$ of chords and find the remarkably simple formula ${\bf C}_g(z)=z^{2g}R_g(z) (1-4z)^{{1\over 2}-3g}$, where $R_g(z)$ is a polynomial of degree at most $g-1$ with integral coefficients satisfying $R_g({1\over 4})\neq 0$ and $R_g(0) = {\bf c}_g(2g)\neq 0.$ In particular, ${\bf C}_g(z)$ is algebraic over $\mathbb C(z)$, which generalizes the corresponding classical fact for the generating function ${\bf C}_0(z)$ of the Catalan numbers. As a corollary, we also calculate a related generating function germaine to the enumeration of knotted RNA secondary structures, which is again found to be algebraic.
Locally identifying coloring of graphs
Published in Electron. J. Combin. 19(2) (2012), #P40
• View Publication
• BIB
We introduce the notion of locally identifying coloring of a graph. A proper vertex-coloring c of a graph G is said to be locally identifying, if for any adjacent vertices u and v with distinct closed neighborhood, the sets of colors that appear in the closed neighborhood of u and v are distinct. Let $χ_{lid}(G)$ be the minimum number of colors used in a locally identifying vertex-coloring of G. In this paper, we give several bounds on $χ_{lid}$ for different families of graphs (planar graphs, some subclasses of perfect graphs, graphs with bounded maximum degree) and prove that deciding whether $χ_{lid}(G)=3$ for a subcubic bipartite graph $G$ with large girth is an NP-complete problem.
On bipartite graphs of defect at most 4
Published in Discrete Applied Mathematics 160 (2012), 140-154
• View Publication
• BIB
We consider the bipartite version of the degree/diameter problem, namely, given natural numbers Δ \geq 2 and D \geq 2, find the maximum number Nb(Δ,D) of vertices in a bipartite graph of maximum degree Δ and diameter D. In this context, the Moore bipartite bound Mb(Δ,D) represents an upper bound for Nb(Δ,D). Bipartite graphs of maximum degree Δ, diameter D and order Mb(Δ,D), called Moore bipartite graphs, have turned out to be very rare. Therefore, it is very interesting to investigate bipartite graphs of maximum degree Δ \geq 2, diameter D \geq 2 and order Mb(Δ,D) - εwith small ε> 0, that is, bipartite (Δ,D,-ε)-graphs. The parameter εis called the defect. This paper considers bipartite graphs of defect at most 4, and presents all the known such graphs. Bipartite graphs of defect 2 have been studied in the past; if Δ \geq 3 and D \geq 3, they may only exist for D = 3. However, when ε> 2 bipartite (Δ,D,-ε)-graphs represent a wide unexplored area. The main results of the paper include several necessary conditions for the existence of bipartite $(Δ,d,-4)$-graphs; the complete catalogue of bipartite (3,D,-ε)-graphs with D \geq 2 and 0 \leq ε\leq 4; the complete catalogue of bipartite (Δ,D,-ε)-graphs with Δ \geq 2, 5 \leq D \leq 187 (D /= 6) and 0 \leq ε\leq 4; and a non-existence proof of all bipartite (Δ,D,-4)-graphs with Δ \geq 3 and odd D \geq 7. Finally, we conjecture that there are no bipartite graphs of defect 4 for Δ \geq 3 and D \geq 5, and comment on some implications of our results for upper bounds of Nb(Δ,D).
On graphs of defect at most 2
Published in Discrete Applied Mathematics 159 (2011), no. 13, 1331-1344
• View Publication
• BIB
In this paper we consider the degree/diameter problem, namely, given natural numbers Δ \geq 2 and D \geq 1, find the maximum number N(Δ,D) of vertices in a graph of maximum degree Δ and diameter D. In this context, the Moore bound M(Δ,D) represents an upper bound for N(Δ,D). Graphs of maximum degree Δ, diameter D and order M(Δ,D), called Moore graphs, turned out to be very rare. Therefore, it is very interesting to investigate graphs of maximum degree Δ \geq 2, diameter D \geq 1 and order M(Δ,D) - ε with small ε > 0, that is, (Δ,D,-ε)-graphs. The parameter ε is called the defect. Graphs of defect 1 exist only for Δ = 2. When ε > 1, (Δ,D,-ε)-graphs represent a wide unexplored area. This paper focuses on graphs of defect 2. Building on the approaches developed in [11] we obtain several new important results on this family of graphs. First, we prove that the girth of a (Δ,D,-2)-graph with Δ \geq 4 and D \geq 4 is 2D. Second, and most important, we prove the non-existence of (Δ,D,-2)-graphs with even Δ \geq 4 and D \geq 4; this outcome, together with a proof on the non-existence of (4, 3,-2)-graphs (also provided in the paper), allows us to complete the catalogue of (4,D,-ε)-graphs with D \geq 2 and 0 \leq ε \leq 2. Such a catalogue is only the second census of (Δ,D,-2)-graphs known at present, the first being the one of (3,D,-ε)-graphs with D \geq 2 and 0 \leq ε \leq 2 [14]. Other results of this paper include necessary conditions for the existence of (Δ,D,-2)-graphs with odd Δ \geq 5 and D \geq 4, and the non-existence of (Δ,D,-2)-graphs with odd Δ \geq 5 and D \geq 5 such that Δ \equiv 0, 2 (mod D).
Exterior Pairs and Up Step Statistics on Dyck Paths
Published
• View Publication
• BIB
Let $\C_n$ be the set of Dyck paths of length $n$. In this paper, by a new automorphism of ordered trees, we prove that the statistic `number of exterior pairs', introduced by A. Denise and R. Simion, on the set $\C_n$ is equidistributed with the statistic `number of up steps at height $h$ with $h\equiv 0$ (mod 3)'. Moreover, for $m\ge 3$, we prove that the two statistics `number of up steps at height $h$ with $h\equiv 0$ (mod $m$)' and `number of up steps at height $h$ with $h\equiv m-1$ (mod $m$)' on the set $\C_n$ are `almost equidistributed'. Both results are proved combinatorially.
Generic Rigidity Matroids with Dilworth Truncations
Published
• View Publication
• BIB
We prove that the linear matroid that defines generic rigidity of $d$-dimensional body-rod-bar frameworks (i.e., structures consisting of disjoint bodies and rods mutually linked by bars) can be obtained from the union of ${d+1 \choose 2}$ graphic matroids by applying variants of Dilworth truncation $n_r$ times, where $n_r$ denotes the number of rods. This leads to an alternative proof of Tay's combinatorial characterizations of generic rigidity of rod-bar frameworks and that of identified body-hinge frameworks.
Matrices with prescribed row and column sums
Published
• View Publication
• BIB
This is a survey of the recent progress and open questions on the structure of the sets of 0-1 and non-negative integer matrices with prescribed row and column sums. We discuss cardinality estimates, the structure of a random matrix from the set, discrete versions of the Brunn-Minkowski inequality and the statistical dependence between row and column sums.