Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Shapes of topological RNA structures
Published
• View Publication
• BIB
A topological RNA structure is derived from a diagram and its shape is obtained by collapsing the stacks of the structure into single arcs and by removing any arcs of length one. Shapes contain key topological, information and for fixed topological genus there exist only finitely many such shapes. We shall express topological RNA structures as unicellular maps, i.e. graphs together with a cyclic ordering of their half-edges. In this paper we prove a bijection of shapes of topological RNA structures. We furthermore derive a linear time algorithm generating shapes of fixed topological genus. We derive explicit expressions for the coefficients of the generating polynomial of these shapes and the generating function of RNA structures of genus $g$. Furthermore we outline how shapes can be used in order to extract essential information of RNA structure databases.
When are translations of P-positions of Wythoff's game P-positions?
We study the problem whether there exist variants of {\sc Wythoff}'s game whose $¶$-positions, except for a finite number, are obtained from those of {\sc Wythoff}'s game by adding a constant $k$ to each $¶$-position. We solve this question by introducing a class $\{\W_k\}_{k \geq 0}$ of variants of {\sc Wythoff}'s game in which, for any fixed $k \geq 0$, the $¶$-positions of $\W_k$ form the set $\{(i,i) | 0 \leq i < k\}\cup \{(\lfloor φn \rfloor + k, \lfloor φ^2 n \rfloor + k) | n\ge 0\}$, where $φ$ is the golden ratio. We then analyze a class $\{\T_k\}_{k \geq 0}$ of variants of {\sc Wythoff}'s game whose members share the same $¶$-positions set $\{(0,0)\}\cup \{(\lfloor φn \rfloor + 1, \lfloor φ^2 n \rfloor + 1) | n \geq 0 \}$. We establish several results for the Sprague-Grundy function of these two families. On the way we exhibit a family of games with different rule sets that share the same set of $¶$-positions.
Bijections between affine hyperplane arrangements and valued graphs
Published
• View Publication
• BIB
We show new bijective proofs of previously known formulas for the number of regions of some deformations of the braid arrangement, by means of a bijection between the no-broken-circuit sets of the corresponding integral gain graphs and some kinds of labelled binary trees. This leads to new bijective proofs for the Shi, Catalan, and similar hyperplane arrangements.
Partial list colouring of certain graphs
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices and let $\mathcal{L}_k$ be an arbitrary function that assigns each vertex in $G$ a list of $k$ colours. Then $G$ is $\mathcal{L}_k$-list colourable if there exists a proper colouring of the vertices of $G$ such that every vertex is coloured with a colour from its own list. We say $G$ is $k$-choosable if for every such function $\mathcal{L}_k$, $G$ is $\mathcal{L}_k$-list colourable. The minimum $k$ such that $G$ is $k$-choosable is called the list chromatic number of $G$ and is denoted by $χ_L(G)$. Let $χ_L(G) = s$ and let $t$ be a positive integer less than $s$. The partial list colouring conjecture due to Albertson et al. \cite{albertson2000partial} states that for every $\mathcal{L}_t$ that maps the vertices of $G$ to $t$-sized lists, there always exists an induced subgraph of $G$ of size at least $\frac{tn}{s}$ that is $\mathcal{L}_t$-list colourable. In this paper we show that the partial list colouring conjecture holds true for certain classes of graphs like claw-free graphs, graphs with large chromatic number, chordless graphs, and series-parallel graphs.
In the second part of the paper, we put forth a question which is a variant of the partial list colouring conjecture: does $G$ always contain an induced subgraph of size at least $\frac{tn}{s}$ that is $t$-choosable? We show that the answer to this question is not always `yes' by explicitly constructing an infinite family of $3$-choosable graphs where a largest induced $2$-choosable subgraph of each graph in the family is of size at most $\frac{5n}{8}$.
Counting Additive Decompositions of Quadratic Residues in Finite Fields
Published
• View Publication
• BIB
We say that a set $S$ is additively decomposed into two sets $A$ and $B$ if $S = \{a+b : a\in A, \ b \in B\}$. A. Sárközy has recently conjectured that the set $Q$ of quadratic residues modulo a prime $p$ does not have nontrivial decompositions. Although various partial results towards this conjecture have been obtained, it is still open. Here we obtain a nontrivial upper bound on the number of such decompositions.
Hypertree posets and hooked partitions
We adapt here the computation of characters on incidence Hopf algebras introduced by W. Schmitt in the 1990s to a family mixing bounded and unbounded posets. We then apply our results to the family of hypertree posets and partition posets. As a consequence, we obtain some enumerative formulas and a new proof for the computation of the Moebius numbers of the hypertree posets. Moreover, we compute the coproduct of the incidence Hopf algebra and recover a known formula for the number of hypertrees with fixed valency set and edge sizes set.
New results on eigenvalues and degree deviation
Let $G$ be a graph. In a famous paper Collatz and Sinogowitz had proposed to measure its deviation from regularity by the difference of the (adjacency) spectral radius and the average degree: $ε(G)=ρ(G)-\frac{2m}{n}$.
We obtain here a new upper bound on $ε(G)$ which seems to consistently outperform the best known upper bound to date, due to Nikiforov. The method of proof may also be of independent interest, as we use notions from numerical analysis to re-cast the estimation of $ε(G)$ as a special case of the estimation of the difference between Rayleigh quotients of proximal vectors.
A SageTeX Hypermatrix Algebra Package
We describe here a rudimentary sage implementation of the Bhattacharya-Mesner hypermatrix algebra package.
Methods from Differential Geometry in Polytope Theory
The purpose of this thesis is to study classical combinatorial objects, such as polytopes, polytopal complexes, and subspace arrangements, using tools that have been developed in combinatorial topology, especially those tools developed in connection with (discrete) differential geometry, geometric group theory and low-dimensional topology.
On moment sequences and mixed Poisson distributions
Published
• View Publication
• BIB
In this article we survey properties of mixed Poisson distributions and probabilistic aspects of the Stirling transform: given a non-negative random variable $X$ with moment sequence $(μ_s)_{s\in\mathbb{N}}$ we determine a discrete random variable $Y$, whose moment sequence is given by the Stirling transform of the sequence $(μ_s)_{s\in\mathbb{N}}$, and identify the distribution as a mixed Poisson distribution. We discuss properties of this family of distributions and present a simple limit theorem based on expansions of factorial moments instead of power moments. Moreover, we present several examples of mixed Poisson distributions in the analysis of random discrete structures, unifying and extending earlier results. We also add several entirely new results: we analyse triangular urn models, where the initial configuration or the dimension of the urn is not fixed, but may depend on the discrete time $n$. We discuss the branching structure of plane recursive trees and its relation to table sizes in the Chinese restaurant process. Furthermore, we discuss root isolation procedures in Cayley-trees, a parameter in parking functions, zero contacts in lattice paths consisting of bridges, and a parameter related to cyclic points and trees in graphs of random mappings, all leading to mixed Poisson-Rayleigh distributions. Finally, we indicate how mixed Poisson distributions naturally arise in the critical composition scheme of Analytic Combinatorics.
Embedding multidimensional grids into optimal hypercubes
Published
• View Publication
• BIB
Let $G$ and $H$ be graphs, with $|V(H)|\geq |V(G)| $, and $f:V(G)\rightarrow V(H)$ a one to one map of their vertices. Let $dilation(f) = max\{ dist_{H}(f(x),f(y)): xy\in E(G) \}$, where $dist_{H}(v,w)$ is the distance between vertices $v$ and $w$ of $H$. Now let $B(G,H)$ = $min_{f}\{ dilation(f) \}$, over all such maps $f$.
The parameter $B(G,H)$ is a generalization of the classic and well studied "bandwidth" of $G$, defined as $B(G,P(n))$, where $P(n)$ is the path on $n$ points and $n = |V(G)|$. Let $[a_{1}\times a_{2}\times \cdots \times a_{k} ]$ be the $k$-dimensional grid graph with integer values $1$ through $a_{i}$ in the $i$'th coordinate. In this paper, we study $B(G,H)$ in the case when $G = [a_{1}\times a_{2}\times \cdots \times a_{k} ]$ and $H$ is the hypercube $Q_{n}$ of dimension $n = \lceil log_{2}(|V(G)|) \rceil$, the hypercube of smallest dimension having at least as many points as $G$. Our main result is that $$B( [a_{1}\times a_{2}\times \cdots \times a_{k} ],Q_{n}) \le 3k,$$ provided $a_{i} \geq 2^{22}$ for each $1\le i\le k$. For such $G$, the bound $3k$ improves on the previous best upper bound $4k+O(1)$. Our methods include an application of Knuth's result on two-way rounding and of the existence of spanning regular cyclic caterpillars in the hypercube.
Two-orbit convex polytopes and tilings
Published
• View Publication
• BIB
We classify the convex polytopes whose symmetry groups have two orbits on the flags. These exist only in two or three dimensions, and the only ones whose combinatorial automorphism group is also two-orbit are the cuboctahedron, the icosidodecahedron, and their duals. The combinatorially regular two-orbit convex polytopes are certain 2n-gons for each n > 1. We also classify the face-to-face tilings of Euclidean space by convex polytopes whose symmetry groups have two flag orbits. There are finitely many families, tiling one, two, or three dimensions. The only such tilings which are also combinatorially two-orbit are the trihexagonal plane tiling, the rhombille plane tiling, the tetrahedral-octahedral honeycomb, and the rhombic dodecahedral honeycomb.
Equiangular lines in Euclidean spaces
Published in J. Combin. Theory Ser. A 138 (2016), pp. 208--235
• View Publication
• BIB
We obtain several new results contributing to the theory of real equiangular line systems. Among other things, we present a new general lower bound on the maximum number of equiangular lines in d dimensional Euclidean space; we describe the two-graphs on 12 vertices; and we investigate Seidel matrices with exactly three distinct eigenvalues. As a result, we improve on two long-standing upper bounds regarding the maximum number of equiangular lines in dimensions d=14, and d=16. Additionally, we prove the nonexistence of certain regular graphs with four eigenvalues, and correct some tables from the literature.
Epimorphisms between linear orders
Published in Order 32 (2015), 387-400
• View Publication
• BIB
We study the relation on linear orders induced by order preserving surjections. In particular we show that its restriction to countable orders is a bqo.
Set-valued sorting index and joint equidistributions
Recently Petersen defined a new Mahonian index sor over the symmetric group $\mathfrak{S}_n$ and proved that $(\text{inv}, \text{rlmin})$ and $(\text{sor}, \text{cyc})$ have the same joint distribution. Foata and Han proved that the pairs of set-valued statistics $(\text{Cyc}, \text{Rmil}), (\text{Cyc}, \text{Lmap}), (\text{Rmil}, \text{Lmap})$ have the same joint distribution over $\mathfrak{S}_n$.
In this paper we introduce the set-valued statistics $\text{Inv}, \text{Lmil}, \text{Sor}$ and $\text{Lmicycl}_1$ and generalize simultaneously results of Petersen and Foata-Han and find many equidistributed triples of set-valued statistics and quadruples of statistics.
The sorting index and set-valued joint equidistributions of $\mathcal{B}_n$ and $\mathcal{D}_n$
The sorting indices $\text{sor}_B$ and $\text{sor}_D$ on the Coxeter groups of type $B$ and $D$ respectively are defined by Petersen and it is proved that $(\text{inv}_B, \text{rlmin})$ and $(\text{sor}_B, \ell'_B)$ have the same joint distribution for type $B$ while $\text{inv}_D$ and $\text{sor}_D$ have the same distribution for type $D$. These results, including a set-valued extension of type $B$ involving two equildistributed pairs of three statistics, are proved combinatorially by Chen et al. via two mappings $\varphi:=\text{(B-code)}^{-1}\circ \text{(A-code)}$ and $ψ:=\text{(D-code)}^{-1}\circ \text{(C-code)}$.
In this paper we further extend these results. In type $B$ we prove a set-valued joint equildistribution between a pair of seven statistics, and find a five-variable generating function. In type $D$ we define new set-valued statistics, among them $\text{Cyc}^+_D$ and $\text{Cyc}^-_D$, and firstly find a set-valued joint equidistribution between a pair of five statistics and find a four-variable generating function.
Multi-way expanders and imprimitive group actions on graphs
Published
• View Publication
• BIB
For n at least 2, the concept of n-way expanders was defined by various researchers. Bigger n gives a weaker notion in general, and 2-way expanders coincide with expanders in usual sense. Koji Fujiwara asked whether these concepts are equivalent to that of ordinary expanders for all n for a sequence of Cayley graphs. In this paper, we answer his question in the affirmative. Furthermore, we obtain universal inequalities on multi-way isoperimetric constants on any finite connected vertex-transitive graph, and show that gaps between these constants imply the imprimitivity of the group action on the graph.
Free choosability of the cycle
Published
• View Publication
• BIB
A graph $G$ is free $(a,b)$-choosable if for any vertex $v$ with $b$ colors assigned and for any list of colors of size $a$ associated with each vertex $u\ne v$, the coloring can be completed by choosing for $u$ a subset of $b$ colors such that adjacent vertices are colored with disjoint color sets. In this note, a necessary and sufficient condition for a cycle to be free $(a,b)$-choosable is given. As a corollary, some choosability results are derived for graphs in which cycles are connected by a tree structure.
Intersecting generalised permutations
For any positive integers $k,r,n$ with $r \leq \min\{k,n\}$, let $\mathcal{P}_{k,r,n}$ be the family of all sets $\{(x_1,y_1), \dots, (x_r,y_r)\}$ such that $x_1, \dots, x_r$ are distinct elements of $[k] = \{1, \dots, k\}$ and $y_1, \dots, y_r$ are distinct elements of $[n]$. The families $\mathcal{P}_{n,n,n}$ and $\mathcal{P}_{n,r,n}$ describe permutations of $[n]$ and $r$-partial permutations of $[n]$, respectively. If $k \leq n$, then $\mathcal{P}_{k,k,n}$ describes permutations of $k$-element subsets of $[n]$. A family $\mathcal{A}$ of sets is said to be intersecting if every two members of $\mathcal{A}$ intersect. In this note we use Katona's elegant cycle method to show that a number of important Erdős-Ko-Rado-type results by various authors generalise as follows: the size of any intersecting subfamily $\mathcal{A}$ of $\mathcal{P}_{k,r,n}$ is at most ${k-1 \choose r-1}\frac{(n-1)!}{(n-r)!}$, and the bound is attained if and only if $\mathcal{A} = \{A \in \mathcal{P}_{k,r,n} \colon (a,b) \in A\}$ for some $a \in [k]$ and $b \in [n]$.
On avoidance of patterns of the form σ-τ by words over a finite alphabet
Published
• View Publication
• BIB
Vincular or dashed patterns resemble classical patterns except that some of the letters within an occurrence are required to be adjacent. We prove several infinite families of Wilf-equivalences for k-ary words involving vincular patterns containing a single dash, which explain the majority of the equivalences witnessed for such patterns of length four. When combined with previous results, numerical evidence, and some arguments in specific cases, we obtain the complete Wilf-classification for all vincular patterns of length four containing a single dash. In some cases, our proof shows further that the equivalence holds for multiset permutations since it is seen to respect the number of occurrences of each letter within a word. Some related enumerative results are provided for patterns σ of length four, among them generating function formulas for the number of members of [k]^n avoiding any σ of the form 11a-b.