Showing 20 papers (Total: 82505 papers, 47699 authors in database)
A Solution to the Combinatorial Puzzle of Mayer's Virial Expansion
Published in Ann. Inst. Henri Poincare Comb. Phys. Interact. 2 (2015), 229-262
• View Publication
• BIB
Mayer's second theorem in the context of a classical gas model allows us to write the coefficients of the virial expansion of pressure in terms of weighted two-connected graphs. Labelle, Leroux and Ducharme studied the graph weights arising from the one-dimensional hardcore gas model and noticed that the sum of these weights over all two-connected graphs with $n$ vertices is $-n(n-2)!$. This paper addresses the question of achieving a purely combinatorial proof of this observation.
Double Cylinder Cycle codes of Arbitrary Girth
A particular class of low-density parity-check codes referred to as cylinder-type BC-LDPC codes is proposed by Gholami and Eesmaeili. In this paper We represent a double cylinder-type parity-check matrix H by a graph called the block-structure graph of H and denoted by BSG(H). Using the properties of BSG(H) we propose some mother matrices with column-weight two such that the rate of corresponding cycle codes are greater tan cycle codes constructed by Gholami with same girth.
On the Categorification of the Möbius Function
In these notes we study several categorical generalizations of the Möbius function and discuss the relations between the various approaches. We emphasize the topological and geometric meaning of these constructions.
Graph classes with and without powers of bounded clique-width
Published in Discrete Applied Mathematics 199 (2016): 3-15
• View Publication
• BIB
We initiate the study of graph classes of power-bounded clique-width, that is, graph classes for which there exist integers $k$ and $\ell$ such that the $k$-th powers of the graphs are of clique-width at most $\ell$. We give sufficient and necessary conditions for this property. As our main results, we characterize graph classes of power-bounded clique-width within classes defined by either one forbidden induced subgraph, or by two connected forbidden induced subgraphs. We also show that for every positive integer $k$, there exists a graph class such that the $k$-th powers of graphs in the class form a class of bounded clique-width, while this is not the case for any smaller power.
Fully commutative elements in finite and affine Coxeter groups
Published
• View Publication
• BIB
An element of a Coxeter group $W$ is fully commutative if any two of its reduced decompositions are related by a series of transpositions of adjacent commuting generators. These elements were extensively studied by Stembridge, in particular in the finite case. They index naturally a basis of the generalized Temperley--Lieb algebra. In this work we deal with any finite or affine Coxeter group $W$, and we give explicit descriptions of fully commutative elements. Using our characterizations we then enumerate these elements according to their Coxeter length, and find in particular that the corrresponding growth sequence is ultimately periodic in each type. When the sequence is infinite, this implies that the associated Temperley--Lieb algebra has linear growth.
A SAT Attack on the Erdos Discrepancy Conjecture
Published
• View Publication
• BIB
In 1930s Paul Erdos conjectured that for any positive integer C in any infinite +1 -1 sequence (x_n) there exists a subsequence x_d, x_{2d}, ... , x_{kd} for some positive integers k and d, such that |x_d + x_{2d} + ... + x_{kd}|> C. The conjecture has been referred to as one of the major open problems in combinatorial number theory and discrepancy theory. For the particular case of C=1 a human proof of the conjecture exists; for C=2 a bespoke computer program had generated sequences of length 1124 having discrepancy 2, but the status of the conjecture remained open even for such a small bound. We show that by encoding the problem into Boolean satisfiability and applying the state of the art SAT solvers, one can obtain a sequence of length 1160 with discrepancy 2 and a proof of the Erdos discrepancy conjecture for C=2, claiming that no sequence of length 1161 and discrepancy 2 exists. We also present our partial results for the case of C=3.
Donald Arthur Preece: A life in statistics, mathematics and music
Biography and publications list for Donald Arthur Preece, who died on 6 January 2014, who made many contributions in statistics (experimental design) and in combinatorics.
On the Dual of the Solvency Cone
Published in Discrete Applied Mathematics 186, 176-185, (2015)
• View Publication
• BIB
A solvency cone is a polyhedral convex cone which is used in Mathematical Finance to model proportional transaction costs. It consists of those portfolios which can be traded into nonnegative positions. In this note, we provide a characterization of its dual cone in terms of extreme directions and discuss some consequences, among them: (i) an algorithm to construct extreme directions of the dual cone when a corresponding "contribution scheme" is given; (ii) estimates for the number of extreme directions; (iii) an explicit representation of the dual cone for special cases. The validation of the algorithm is based on the following easy-to-state but difficult-to-solve result on bipartite graphs: Running over all spanning trees of a bipartite graph, the number of left degree sequences equals the number of right degree sequences.
Number of unique Edge-magic total labelings on Path $P_n$
Edge-magic total labeling was introduced by \cite{GS}. The number of edge-magic solutions for cycles have been explored in \cite{BS}. This sequence is mentioned in On Line Encyclopedia of Integer Sequences (OEIS) \cite{oeis}. In this short note, we enumerate the number of unique edge-magic total labelings on Path $P_n$
Permutation classes and polyomino classes with excluded submatrices
Published
• View Publication
• BIB
This article introduces an analogue of permutation classes in the context of polyominoes. For both permutation classes and polyomino classes, we present an original way of characterizing them by avoidance constraints (namely, with excluded submatrices) and we discuss how canonical such a description by submatrix-avoidance can be. We provide numerous examples of permutation and polyomino classes which may be defined and studied from the submatrix-avoidance point of view, and conclude with various directions for future research on this topic.
Modular statistics for subgraph counts in sparse random graphs
Published
• View Publication
• BIB
Answering a question of Kolaitis and Kopparty, we show that, for given integer $q>1$ and pairwise nonisomorphic connected graphs $G_1...G_k$, if $p=p(n) $ is such that $\Pr(G_{n,p}\supseteq G_i)\to 1$ $\forall i$, then, with $ξ_i$ the number of copies of $G_i$ in $G_{n,p}$, $(ξ_1...ξ_k)$ is asymptotically uniformly distributed on ${\bf Z}_q^k$.
On Zero Forcing Number of Graphs and Their Complements
Published in Discrete Math. Algorithms Appl. Vol. 7(1) (2015) 1550002 (10 pages)
• View Publication
• BIB
The \emph{zero forcing number}, $Z(G)$, of a graph $G$ is the minimum cardinality of a set $S$ of black vertices (whereas vertices in $V(G) \setminus S$ are colored white) such that $V(G)$ is turned black after finitely many applications of "the color-change rule": a white vertex is converted to a black vertex if it is the only white neighbor of a black vertex. Zero forcing number was introduced and used to bound the minimum rank of graphs by the "AIM Minimum Rank -- Special Graphs Work Group". It's known that $Z(G)\geq δ(G)$, where $δ(G)$ is the minimum degree of $G$. We show that $Z(G)\leq n-3$ if a connected graph $G$ of order $n$ has a connected complement graph $\overline{G}$. Further, we characterize a tree or a unicyclic graph $G$ which satisfies either $Z(G)+Z(\overline{G})=δ(G)+δ(\overline{G})$ or $Z(G)+Z(\overline{G})=2(n-3)$.
Non-planar extensions of subdivisions of planar graphs
Published in J. Combin. Theory Ser. B 121 (2016), 326-366
• View Publication
• BIB
Almost $4$-connectivity is a weakening of $4$-connectivity which allows for vertices of degree three. In this paper we prove the following theorem. Let $G$ be an almost $4$-connected triangle-free planar graph, and let $H$ be an almost $4$-connected non-planar graph such that $H$ has a subgraph isomorphic to a subdivision of $G$. Then there exists a graph $G'$ such that $G'$ is isomorphic to a minor of $H$, and either
(i) $G'=G+uv$ for some vertices $u,v\in V(G)$ such that no facial cycle of $G$ contains both $u$ and $v$, or
(ii) $G'=G+u_1v_1+u_2v_2$ for some distinct vertices $u_1,u_2,v_1,v_2\in V(G)$ such that $u_1,u_2,v_1,v_2$ appear on some facial cycle of $G$ in the order listed.
This is a lemma to be used in other papers. In fact, we prove a more general theorem, where we relax the connectivity assumptions, do not assume that $G$ is planar, and consider subdivisions rather than minors. Instead of face boundaries we work with a collection of cycles that cover every edge twice and have pairwise connected intersection. Finally, we prove a version of this result that applies when $G\backslash X$ is planar for some set $X\subseteq V(G)$ of size at most $k$, but $H\backslash Y$ is non-planar for every set $Y\subseteq V(H)$ of size at most $k$.
Five-list-coloring graphs on surfaces I. Two lists of size two in planar graphs
Published in J. Combin. Theory Ser. B 111 (2015), 234-241
• View Publication
• BIB
Let G be a plane graph with outer cycle C, let u,v be vertices of C and let (L(x):x in V(G)) be a family of sets such that |L(u)|=|L(v)|=2, L(x) has at least three elements for every vertex x of C-{u,v} and L(x) has at least five elements for every vertex x of G-V(C). We prove a conjecture of Hutchinson that G has a (proper) coloring f such that f(x) belongs to L(x) for every vertex x of G. We will use this as a lemma in subsequent papers.
Combinatorial study of the Dellac configurations and the q-extended normalized median Genocchi numbers
Published
• View Publication
• BIB
In two recent papers (\textit{Mathematical Research Letters,18(6):1163--1178,2011} and \textit{European J. Combin.,33(8):1913--1918,2012}), Feigin proved that the Poincaré polynomials of the degenerate flag varieties have a combinatorial interpretation through the Dellac configurations, and related them to the $q$-extended normalized median Genocchi numbers $\bar{c}_n(q)$ introduced by Han and Zeng, mainly by geometric considerations. In this paper, we give combinatorial proofs of these results by constructing statistic-preserving bijections between the Dellac configurations and two other combinatorial models of $\bar{c}_n(q)$.
Bounds for the modified eccentric connectivity index
Published in Advanced Modeling and Optimization, 16(1) (2014), pp. 133 - 142
• Search Publication
The modified eccentric connectivity index of a graph is defined as the sum of the products of eccentricity with the total degree of neighboring vertices, over all vertices of the graph. This is a generalization of eccentric connectivity index. In this paper, we derive some upper and lower bounds for the modified eccentric connectivity index in terms of some graph parameters such as number of vertices, number of edges, radius, minimum degree, maximum degree, total eccentricity, the first and second Zagreb indices, Weiner index etc.
Universal mock theta functions and two-variable Hecke-Rogers identities
Published
• View Publication
• BIB
We obtain two-variable Hecke-Rogers identities for three universal mock theta functions. This implies that many of Ramanujan's mock theta functions, including all the third order functions, have a Hecke-Rogers-type double sum representation. We find new generating function identities for the Dyson rank function, the overpartition rank function, the M2-rank function and related spt-crank functions. Results are proved using the theory of basic hypergeometric functions.
Long paths in random Apollonian networks
Published
• View Publication
• BIB
We consider the length $L(n)$ of the longest path in a randomly generated Apollonian Network (ApN) ${\cal A}_n$. We show that w.h.p. $L(n)\leq ne^{-\log^cn}$ for any constant $c<2/3$.
On the Maximum Parsimony distance between phylogenetic trees
Published
• View Publication
• BIB
Within the field of phylogenetics there is great interest in distance measures to quantify the dissimilarity of two trees. Here, based on an idea of Bruen and Bryant, we propose and analyze a new distance measure: the Maximum Parsimony (MP) distance. This is based on the difference of the parsimony scores of a single character on both trees under consideration, and the goal is to find the character which maximizes this difference. In this article we show that this new distance is a metric and provides a lower bound to the well-known Subtree Prune and Regraft (SPR) distance. We also show that to compute the MP distance it is sufficient to consider only characters that are convex on one of the trees, and prove several additional structural properties of the distance. On the complexity side, we prove that calculating the MP distance is in general NP-hard, and identify an interesting island of tractability in which the distance can be calculated in polynomial time.
Framed 4-valent Graph Minor Theory I: Intoduction. A Planarity Criterion and Linkless Embeddability
Published
• View Publication
• BIB
The present paper is the first one in the sequence of papers about a simple class of {\em framed $4$-graphs}; the goal of the present paper is to collect some well-known results on planarity and to reformulate them in the language of {\em minors}.
The goal of the whole sequence is to prove analogues of the Robertson-Seymour-Thomas theorems for framed $4$-graphs: namely, we shall prove that many minor-closed properties are classified by finitely many excluded graphs.
From many points of view, framed $4$-graphs are easier to consider than general graphs; on the other hand, framed $4$-graphs are closely related to many problems in graph theory.