Showing 20 papers (Total: 83076 papers, 47999 authors in database)
The Lexicographic First Occurrence of a I-II-III pattern
Published in Lecture Notes of the London Mathematical Society 376, 213-219, 2010
• View Publication
• BIB
Consider a random permutation $π\in{\cal S}_n$. In this paper, perhaps best classified as a contribution to discrete probability distribution theory, we study the {\it first} occurrence $X=X_n$ of a I-II-III-pattern, where "first" is interpreted in the lexicographic order induced by the 3-subsets of $[n]=\{1,2,...,n\}$. Of course if the permutation is I-II-III-avoiding then the first I-II-III-pattern never occurs, and thus $\e(X)=\infty$ for each $n$; to avoid this case, we also study the first occurrence of a I-II-III-pattern given a bijection $f:{\bf Z}^+\to{\bf Z}^+$.
Acyclic Edge Coloring of Graphs with Maximum Degree 4
Published
• View Publication
• BIB
An $acyclic$ edge coloring of a graph is a proper edge coloring such that there are no bichromatic cycle s. The \emph{acyclic chromatic index} of a graph is the minimum number k such that there is an acyclic e dge coloring using k colors and is denoted by $a'(G)$. It was conjectured by Alon, Sudakov and Zaks that for any simple and finite graph $G$, $a'(G)\le Δ+2$, where $Δ=Δ(G)$ denotes the maximum degree of $G$. We prove the conjecture for connected graphs with $Δ(G) \le 4$, with the additional restriction that $m \le 2n-1$, where $n$ is the number of vertices and $m$ is the number of edges in $G $. Note that for any graph $G$, $m \le 2n$, when $Δ(G) \le 4$. It follows that for any graph $G$ if $Δ(G) \le 4$, then $a'(G) \le 7$.
Extremal fullerene graphs with the maximum Clar number
Published in Discrete Appl. Math. 157 (2009) 3152-3173
• View Publication
• BIB
A fullerene graph is a cubic 3-connected plane graph with (exactly 12) pentagonal faces and hexagonal faces. Let $F_n$ be a fullerene graph with $n$ vertices. A set $\mathcal H$ of mutually disjoint hexagons of $F_n$ is a sextet pattern if $F_n$ has a perfect matching which alternates on and off each hexagon in $\mathcal H$. The maximum cardinality of sextet patterns of $F_n$ is the Clar number of $F_n$. It was shown that the Clar number is no more than $\lfloor\frac {n-12} 6\rfloor$. Many fullerenes with experimental evidence attain the upper bound, for instance, $\text{C}_{60}$ and $\text{C}_{70}$. In this paper, we characterize extremal fullerene graphs whose Clar numbers equal $\frac{n-12} 6$. By the characterization, we show that there are precisely 18 fullerene graphs with 60 vertices, including $\text{C}_{60}$, achieving the maximum Clar number 8 and we construct all these extremal fullerene graphs.
Comments on "Reverse auction: the lowest positive integer game"
Published in Fluct. Noise Lett. 8 (2008) C1-C4
• View Publication
• BIB
In Zeng et al. [Fluct. Noise Lett. 7 (2007) L439--L447] the analysis of the lowest unique positive integer game is simplified by some reasonable assumptions that make the problem tractable for arbitrary numbers of players. However, here we show that the solution obtained for rational players is not a Nash equilibrium and that a rational utility maximizer with full computational capability would arrive at a solution with a superior expected payoff. An exact solution is presented for the three- and four-player cases and an approximate solution for an arbitrary number of players.
Razborov flag algebras as algebras of measurable functions
These are some brief notes on the translation from Razborov's recently-developed notion of flag algebra into the lexicon of functions and measures on certain abstract Cantor spaces (totally disconnected compact metric spaces).
Note on a Conjecture of Wegner
Published
• View Publication
• BIB
The optimal packings of n unit discs in the plane are known for those natural numbers n, which satisfy certain number theoretic conditions. Their geometric realizations are the extremal Groemer packings (or Wegner packings). But an extremal Groemer packing of n unit discs does not exist for all natural numbers n and in this case, the number n is called exceptional. We are interested in number theoretic characterizations of the exceptional numbers. A counterexample is given to a conjecture of Wegner concerning such a characterization. We further give a characterization of the exceptional numbers, whose shape is closely related to that of Wegner's conjecture.
Generating function identities for $ζ(2n+2), ζ(2n+3)$ via the WZ method
Published in Electron. J. Combin. 15 (2008), no. 1, Research Paper 35, 9pp
• View Publication
• BIB
Using the WZ method we present simpler proofs of Koecher's, Leshchiner's and Bailey-Borwein-Bradley's identities for generating functions of the sequences $\{ζ(2n+2)\}_{n\ge 0}, \{ζ(2n+3)\}_{n\ge 0}.$ By the same method we give several new representations for these generating functions yielding faster convergent series for values of the Riemann zeta function.
A Most General Edge Elimination Polynomial - Thickening of Edges
Published
• View Publication
• BIB
We consider a graph polynomial ξ(G;x,y,z) introduced by Averbouch, Godlin, and Makowsky (2007). This graph polynomial simultaneously generalizes the Tutte polynomial as well as a bivariate chromatic polynomial defined by Dohmen, Poenitz and Tittmann (2003). We derive an identity which relates the graph polynomial of a thicked graph (i.e. a graph with each edge replaced by k copies of it) to the graph polynomial of the original graph. As a consequence, we observe that at every point (x,y,z), except for points lying within some set of dimension 2, evaluating ξis #P-hard.
Random subgraphs of the 2D Hamming graph: the supercritical phase
Published
• View Publication
• BIB
We study random subgraphs of the 2-dimensional Hamming graph H(2,n), which is the Cartesian product of two complete graphs on $n$ vertices. Let $p$ be the edge probability, and write $p=\frac{1+\vep}{2(n-1)}$ for some $\vep\in \R$. In Borgs et al., Random subgraphs of finite graphs: I. The scaling window under the triangle condition, Rand. Struct. Alg. (2005), and in Borgs et al., Random subgraphs of finite graphs: II. The lace expansion and the triangle condition, Ann. Probab. (2005), the size of the largest connected component was estimated precisely for a large class of graphs including H(2,n) for $\vep\leq ΛV^{-1/3}$, where $Λ> 0$ is a constant and $V=n^2$ denotes the number of vertices in H(2,n). Until now, no matching lower bound on the size in the supercritical regime has been obtained.
In this paper we prove that, when $\vep\gg (\log{V})^{1/3} V^{-1/3}$, then the largest connected component has size close to $2\vep V$ with high probability. We thus obtain a law of large numbers for the largest connected component size, and show that the corresponding values of $p$ are supercritical. Barring the factor $(\log{\chs{V}})^{1/3}$, this identifies the size of the largest connected component all the way down to the critical $p$ window.
The second largest component in the supercritical 2D Hamming graph
Published
• View Publication
• BIB
The 2-dimensional Hamming graph H(2,n) consists of the $n^2$ vertices $(i,j)$, $1\leq i,j\leq n$, two vertices being adjacent when they share a common coordinate. We examine random subgraphs of H(2,n) in percolation with edge probability $p$, so that the average degree $2(n-1)p=1+ε$. Previous work by van der Hofstad and Luczak had shown that in the barely supercritical region $n^{-2/3}\ln^{1/3}n\ll ε\ll 1$ the largest component has size $\sim 2εn$. Here we show that the second largest component has size close to $ε^{-2}$, so that the dominant component has emerged. This result also suggests that a {\it discrete duality principle} might hold, whereby, after removing the largest connected component in the supercritical regime, the remaining random subgraphs behave as in the subcritical regime.
A geometric preferential attachment model with fitness
We study a random graph $G_n$, which combines aspects of geometric random graphs and preferential attachment. The resulting random graphs have power-law degree sequences with finite mean and possibly infinite variance. In particular, the power-law exponent can be any value larger than 2.
The vertices of $G_n$ are $n$ sequentially generated vertices chosen at random in the unit sphere in $\mathbb R^3$. A newly added vertex has $m$ edges attached to it and the endpoints of these edges are connected to old vertices or to the added vertex itself. The vertices are chosen with probability proportional to their current degree plus some initial attractiveness and multiplied by a function, depending on the geometry.
A note on the relationship between the Graphical Traveling Salesman Polyhedron, the Symmetric Traveling Salesman Polytope, and the Metric Cone
Published
• View Publication
• BIB
In this short communication, we observe that the Graphical Traveling Salesman Polyhedron is the intersection of the positive orthant with the Minkowski sum of the Symmetric Traveling Salesman Polytope and the polar of the metric cone. This follows almost trivially from known facts. There are two reasons why we find this observation worth communicating none-the-less: It is very surprising; it helps to understand the relationship between these two important families of polyhedra.
Episturmian words: a survey
Published in RAIRO - Theoretical Informatics and Applications 43 (2009) 402-433
• View Publication
• BIB
In this paper, we survey the rich theory of infinite episturmian words which generalize to any finite alphabet, in a rather resembling way, the well-known family of Sturmian words on two letters. After recalling definitions and basic properties, we consider episturmian morphisms that allow for a deeper study of these words. Some properties of factors are described, including factor complexity, palindromes, fractional powers, frequencies, and return words. We also consider lexicographical properties of episturmian words, as well as their connection to the balance property, and related notions such as finite episturmian words, Arnoux-Rauzy sequences, and "episkew words" that generalize the skew words of Morse and Hedlund.
Palindromic Richness
Published in European Journal of Combinatorics 30 (2009) 510-531
• View Publication
• BIB
In this paper, we study combinatorial and structural properties of a new class of finite and infinite words that are 'rich' in palindromes in the utmost sense. A characteristic property of so-called "rich words" is that all complete returns to any palindromic factor are themselves palindromes. These words encompass the well-known episturmian words, originally introduced by the second author together with X. Droubay and G. Pirillo in 2001. Other examples of rich words have appeared in many different contexts. Here we present the first unified approach to the study of this intriguing family of words.
Amongst our main results, we give an explicit description of the periodic rich infinite words and show that the recurrent balanced rich infinite words coincide with the balanced episturmian words. We also consider two wider classes of infinite words, namely "weakly rich words" and almost rich words (both strictly contain all rich words, but neither one is contained in the other). In particular, we classify all recurrent balanced weakly rich words. As a consequence, we show that any such word on at least three letters is necessarily episturmian; hence weakly rich words obey Fraenkel's conjecture. Likewise, we prove that a certain class of almost rich words obeys Fraenkel's conjecture by showing that the recurrent balanced ones are episturmian or contain at least two distinct letters with the same frequency.
Lastly, we study the action of morphisms on (almost) rich words with particular interest in morphisms that preserve (almost) richness. Such morphisms belong to the class of "P-morphisms" that was introduced by A. Hof, O. Knill, and B. Simon in 1995.
On exchangeable random variables and the statistics of large graphs and hypergraphs
Published in Probability Surveys 2008, Vol. 5, 80-145
• View Publication
• BIB
De Finetti's classical result of [18] identifying the law of an exchangeable family of random variables as a mixture of i.i.d. laws was extended to structure theorems for more complex notions of exchangeability by Aldous [1,2,3], Hoover [41,42], Kallenberg [44] and Kingman [47]. On the other hand, such exchangeable laws were first related to questions from combinatorics in an independent analysis by Fremlin and Talagrand [29], and again more recently in Tao [62], where they appear as a natural proxy for the `leading order statistics' of colourings of large graphs or hypergraphs. Moreover, this relation appears implicitly in the study of various more bespoke formalisms for handling `limit objects' of sequences of dense graphs or hypergraphs in a number of recent works, including Lovász and Szegedy [52], Borgs, Chayes, Lovász, Sós, Szegedy and Vesztergombi [17], Elek and Szegedy [24] and Razborov [54,55]. However, the connection between these works and the earlier probabilistic structural results seems to have gone largely unappreciated. In this survey we recall the basic results of the theory of exchangeable laws, and then explain the probabilistic versions of various interesting questions from graph and hypergraph theory that their connection motivates (particularly extremal questions on the testability of properties for graphs and hypergraphs). We also locate the notions of exchangeability of interest to us in the context of other classes of probability measures subject to various symmetries, in particular contrasting the methods employed to analyze exchangeable laws with related structural results in ergodic theory, particular the Furstenberg-Zimmer structure theorem for probability-preserving $\mathbb {Z}$-systems, which underpins Furstenberg's ergodic-theoretic proof of Szemerédi's Theorem. The forthcoming paper [10]--hereditarytest will make a much more elaborate appeal to the link between exchangeable laws and dense (directed) hypergraphs to establish various results in property testing.
The Eulerian distribution on self evacuated involutions
Published
• View Publication
• BIB
We present an extensive study of the Eulerian distribution on the set of self evacuated involutions, namely, involutions corresponding to standard Young tableaux that are fixed under the Sch$\ddot{\textrm{u}}$tzenberger map. We find some combinatorial properties for the generating polynomial of such distribution, together with an explicit formula for its coefficients. Afterwards, we carry out an analogous study for the subset of self evacuated involutions without fixed points.
Two graph isomorphism polytopes
Published in Discrete Mathematics, 309:2934--2936, 2009
• View Publication
• BIB
The convex hull $ψ_{n,n}$ of certain $(n!)^2$ tensors was considered recently in connection with graph isomorphism. We consider the convex hull $ψ_n$ of the $n!$ diagonals among these tensors. We show: 1. The polytope $ψ_n$ is a face of $ψ_{n,n}$. 2. Deciding if a graph $G$ has a subgraph isomorphic to $H$ reduces to optimization over $ψ_n$. 3. Optimization over $ψ_n$ reduces to optimization over $ψ_{n,n}$. In particular, this implies that the subgraph isomorphism problem reduces to optimization over $ψ_{n,n}$.
Fullerene graphs have exponentially many perfect matchings
Published in Journal of Mathematical Chemistry 46(2):443--447, 2009
• View Publication
• BIB
A fullerene graph is a planar cubic 3-connected graph with only pentagonal and hexagonal faces. We show that fullerene graphs have exponentially many perfect matchings.
Algebraic and combinatorial properties of ideals and algebras of uniform clutters of TDI systems
Published in J. Comb. Optim. 21 (2011), no. 3, 269-292
• View Publication
• BIB
Let C be a uniform clutter, i.e., all the edges of C have the same size, and let A be the incidence matrix of C. We denote the column vectors of A by v1,...,vq. The vertex covering number of C, denoted by g, is the smallest number of vertices in any minimal vertex cover of C. Under certain conditions we prove that C is vertex critical. If C satisfies the max-flow min-cut property, we prove that A diagonalizes over the integers to an identity matrix and that v1,...,vq is a Hilbert basis. It is shown that if C has a perfect matching such that C has the packing property and g=2, then A diagonalizes over the integers to an identity matrix. If A is a balanced matrix we prove that any regular triangulation of the cone generated by v1,...,vq is unimodular. Some examples are presented to show that our results only hold for uniform clutters. These results are closely related to certain algebraic properties, such as the normality or torsion freeness, of blowup algebras of edge ideals and to finitely generated abelian groups. They are also related to the theory of Gröbner bases of toric ideals and to Ehrhart rings.
On k-resonant fullerene graphs
Published in SIAM J. DISCRETE MATH. Vol. 23 (2009) pp. 1023
• View Publication
• BIB
A fullerene graph $F$ is a 3-connected plane cubic graph with exactly 12 pentagons and the remaining hexagons. Let $M$ be a perfect matching of $F$. A cycle $C$ of $F$ is $M$-alternating if the edges of $C$ appear alternately in and off $M$. A set $\mathcal H$ of disjoint hexagons of $F$ is called a resonant pattern (or sextet pattern) if $F$ has a perfect matching $M$ such that all hexagons in $\mathcal H$ are $M$-alternating. A fullerene graph $F$ is $k$-resonant if any $i$ ($0\leq i \leq k$) disjoint hexagons of $F$ form a resonant pattern. In this paper, we prove that every hexagon of a fullerene graph is resonant and all leapfrog fullerene graphs are 2-resonant. Further, we show that a 3-resonant fullerene graph has at most 60 vertices and construct all nine 3-resonant fullerene graphs, which are also $k$-resonant for every integer $k>3$. Finally, sextet polynomials of the 3-resonant fullerene graphs are computed.