Showing 20 papers (Total: 83190 papers, 48060 authors in database)
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.
A note on geometric 3-hypergraphs
Published
• View Publication
• BIB
In this note, we prove several Turán-type results on geometric hypergraphs. The two main theorems are 1) Every $n$-vertex geometric 3-hypergraph in 2-space with no three strongly crossing edges has at most $O(n^2)$ edges, 2) Every $n$-vertex geometric 3-hypergraph in 3-space with no two disjoint edges has at most $O(n^2)$ edges. These results support two conjectures that were raised by Dey and Pach, and by Akiyama and Alon.
On variables with few occurrences in conjunctive normal forms
Published in SAT 2011, LNCS 6695, page 33-46
• View Publication
• BIB
We consider the question of the existence of variables with few occurrences in boolean conjunctive normal forms (clause-sets). Let mvd(F) for a clause-set F denote the minimal variable-degree, the minimum of the number of occurrences of variables. Our main result is an upper bound mvd(F) <= nM(surp(F)) <= surp(F) + 1 + log_2(surp(F)) for lean clause-sets F in dependency on the surplus surp(F).
- Lean clause-sets, defined as having no non-trivial autarkies, generalise minimally unsatisfiable clause-sets.
- For the surplus we have surp(F) <= delta(F) = c(F) - n(F), using the deficiency delta(F) of clause-sets, the difference between the number of clauses and the number of variables.
- nM(k) is the k-th "non-Mersenne" number, skipping in the sequence of natural numbers all numbers of the form 2^n - 1.
We conjecture that this bound is nearly precise for minimally unsatisfiable clause-sets.
As an application of the upper bound we obtain that (arbitrary!) clause-sets F with mvd(F) > nM(surp(F)) must have a non-trivial autarky (so clauses can be removed satisfiability-equivalently by an assignment satisfying some clauses and not touching the other clauses). It is open whether such an autarky can be found in polynomial time.
As a future application we discuss the classification of minimally unsatisfiable clause-sets depending on the deficiency.
(2,1)-separating systems beyond the probabilistic bound
Published
• View Publication
• BIB
Building on previous results of Xing, we give new lower bounds on the rate of intersecting codes over large alphabets. The proof is constructive, and uses algebraic geometry, although nothing beyond the basic theory of linear systems on curves. Then, using these new bounds within a concatenation argument, we construct binary (2,1)-separating systems of asymptotic rate exceeding the one given by the probabilistic method, which was the best lower bound available up to now. This answers (negatively) the question of whether this probabilistic bound was exact, which has remained open for more than 30 years. (By the way, we also give a formulation of the separation property in terms of metric convexity, which may be an inspirational source for new research problems.)
MacMahon's sum-of-divisors functions, Chebyshev polynomials, and Quasi-modular forms
Published
• View Publication
• BIB
We investigate a relationship between MacMahon's generalized sum-of-divisors functions and Chebyshev polynomials of the first kind. This determines a recurrence relation to compute these functions, as well as proving a conjecture of MacMahon about their general form by relating them to quasi-modular forms. These functions arise as solutions to a curve-counting problem on Abelian surfaces.
Highly nonrepetitive sequences: winning strategies from the local lemma
Published
• View Publication
• BIB
We prove game-theoretic versions of several classical results on nonrepetitive sequences, showing the existence of winning strategies using an extension of the Lovász Local Lemma which can dramatically reduce the number of edges needed in a dependency graph when there is an ordering underlying the significant dependencies of events. This appears to represent the first successful application of a Local Lemma to games.
Blocking Wythoff Nim
Published
• View Publication
• BIB
The 2-player impartial game of Wythoff Nim is played on two piles of tokens. A move consists in removing any number of tokens from precisely one of the piles or the same number of tokens from both piles. The winner is the player who removes the last token. We study this game with a blocking maneuver, that is, for each move, before the next player moves the previous player may declare at most a predetermined number, $k - 1 \ge 0$, of the options as forbidden. When the next player has moved, any blocking maneuver is forgotten and does not have any further impact on the game. We resolve the winning strategy of this game for $k = 2$ and $k = 3$ and, supported by computer simulations, state conjectures of the asymptotic `behavior' of the $P$-positions for the respective games when $4 \le k \le 20$.
Generator Sets for the Alternating Group
Although the alternating group is an index 2 subgroup of the symmetric group, there is no generating set that gives a Coxeter structure on it. Various generating sets were suggested and studied by Bourbaki, Mitsuhashi, Regev-Roichman, Vershik-Vserminov and others. In a recent work of Brenti- Reiner-Roichman it is explained that palindromes in Mitsuhashi's generating set play a role similar to that of re ections in a Coxeter system. We study in detail the length function with respect to the set of palindromes. Results include an explicit combinatorial description, a generating function, and an interesting connection to Broder's restricted Stirling numbers.
Quadratic spaces and holomorphic framed vertex operator algebras of central charge 24
Published
• View Publication
• BIB
In 1993, Schellekens obtained a list of possible 71 Lie algebras of holomorphic vertex operator algebras with central charge 24. However, not all cases are known to exist. The aim of this article is to construct new holomorphic vertex operator algebras using the theory of framed vertex operator algebras and to determine the Lie algebra structures of their weight one subspaces. In particular, we study holomorphic framed vertex operator algebras associated to subcodes of the triply even codes $\RM(1,4)^3$ and $\RM(1,4)\oplus \EuD(d_{16}^+)$ of length 48. These vertex operator algebras correspond to the holomorphic simple current extensions of the lattice type vertex operator algebras $(V_{\sqrt{2}E_8}^+)^{\otimes 3}$ and $V_{\sqrt{2}E_8}^+\otimes V_{\sqrt{2}D_{16}^+}^+$. We determine such extensions using a quadratic space structure on the set of all irreducible modules $R(W)$ of $W$ when $W= (V_{\sqrt{2}E_8}^+)^{\otimes 3}$ or $V_{\sqrt{2}E_8}^+\otimes V_{\sqrt{2}D_{16}^+}^+$. As our main results, we construct seven new holomorphic vertex operator algebras of central charge 24 in Schellekens' list and obtain a complete list of all Lie algebra structures associated to the weight one subspaces of holomorphic framed vertex operator algebras of central charge 24.
Cycles in Sparse Graphs II
The {\em independence ratio} of a graph $G$ is defined by \[ ι(G) := \sup_{X \subset V(G)} \frac{|X|}{α(X)},\] where $α(X)$ is the independence number of the subgraph of $G$ induced by $X$. The independence ratio is a relaxation of the chromatic number $χ(G)$ in the sense that $χ(G) \geq ι(G)$ for every graph $G$, while for many natural classes of graphs these quantities are almost equal. In this paper, we address two old conjectures of Erdős on cycles in graphs with large chromatic number and a conjecture of Erdős and Hajnal on graphs with infinite chromatic number.
Diamond-free Families
Published
• View Publication
• BIB
Given a finite poset P, we consider the largest size La(n,P) of a family of subsets of $[n]:=\{1,...,n\}$ that contains no subposet P. This problem has been studied intensively in recent years, and it is conjectured that $π(P):= \lim_{n\rightarrow\infty} La(n,P)/{n choose n/2}$ exists for general posets P, and, moreover, it is an integer. For $k\ge2$ let $\D_k$ denote the $k$-diamond poset $\{A< B_1,...,B_k < C\}$. We study the average number of times a random full chain meets a $P$-free family, called the Lubell function, and use it for $P=\D_k$ to determine $π(\D_k)$ for infinitely many values $k$. A stubborn open problem is to show that $π(\D_2)=2$; here we make progress by proving $π(\D_2)\le 2 3/11$ (if it exists).
Finite motions from periodic frameworks with added symmetry
Published
• View Publication
• BIB
Recent work from authors across disciplines has made substantial contributions to counting rules (Maxwell type theorems) which predict when an infinite periodic structure would be rigid or flexible while preserving the periodic pattern, as an engineering type framework, or equivalently, as an idealized molecular framework. Other work has shown that for finite frameworks, introducing symmetry modifies the previous general counts, and under some circumstances this symmetrized Maxwell type count can predict added finite flexibility in the structure.
In this paper we combine these approaches to present new Maxwell type counts for the columns and rows of a modified orbit matrix for structures that have both a periodic structure and additional symmetry within the periodic cells. In a number of cases, this count for the combined group of symmetry operations demonstrates there is added finite flexibility in what would have been rigid when realized without the symmetry. Given that many crystal structures have these added symmetries, and that their flexibility may be key to their physical and chemical properties, we present a summary of the results as a way to generate further developments of both a practical and theoretic interest.
Combinatorial Characterization of Formal Languages
This paper is an extended abstract of the dissertation presented by the author for the doctoral degree in physics and mathematics (in Russia). The main characteristic studied in the dissertation is combinatorial complexity, which is a "counting" function associated with a language and returning the number of words of given length in this language. For several classes of languages, a variety of problems about combinatorial complexity and its connections to other parameters of languages are studied. A brief introduction to the topic and the formulations of results are presented. No proofs are given; instead, the papers containing the proofs are cited.
Hypergraph Polytopes
We investigate a family of polytopes introduced by E.M.\ Feichtner, A.\ Postnikov and B.\ Sturmfels, which were named nestohedra. The vertices of these polytopes may intuitively be understood as constructions of hypergraphs. Limit cases in this family of polytopes are, on the one end, simplices, and, on the other end, permutohedra. In between, as notable members one finds associahedra and cyclohedra. The polytopes in this family are investigated here both as abstract polytopes and as realized in Euclidean spaces of all finite dimensions. The later realizations are inspired by J.D.\ Stasheff's and S.\ Shnider's realizations of associahedra. In these realizations, passing from simplices to permutohedra, via associahedra, cyclohedra and other interesting polytopes, involves truncating vertices, edges and other faces. The results presented here reformulate, systematize and extend previously obtained results, and in particular those concerning polytopes based on constructions of graphs, which were introduced by M.\ Carr and S.L.\ Devadoss.