Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Phase transition in the spanning-hyperforest model on complete hypergraphs
Published in Nucl.Phys.B822:493-516,2009
• View Publication
• BIB
By using our novel Grassmann formulation we study the phase transition of the spanning-hyperforest model of the k-uniform complete hypergraph for any k>= 2. The case k=2 reduces to the spanning-forest model on the complete graph. Different k are studied at once by using a microcanonical ensemble in which the number of hyperforests is fixed. The low-temperature phase is characterized by the appearance of a giant hyperforest. The phase transition occurs when the number of hyperforests is a fraction (k-1)/k of the total number of vertices. The behaviour at criticality is also studied by means of the coalescence of two saddle points. As the Grassmann formulation exhibits a global supersymmetry we show that the phase transition is second order and is associated to supersymmetry breaking and we explore the pure thermodynamical phase at low temperature by introducing an explicit breaking field.
The twisted Grassmann graph is the block graph of a design
Published in Innov. Incidence Geom. 12 (2011), 1-6
• View Publication
• BIB
In this note, we show that the twisted Grassmann graph constructed by van Dam and Koolen is the block graph of the design constructed by Jungnickel and Tonchev. We also show that the full automorphism group of the design is isomorphic to the full automorphism group of the twisted Grassmann graph.
Average site perimeter of directed animals on the two-dimensional lattices
Published in Discrete Mathematics 312, 5 (2012) Pages 1038-1058
• View Publication
• BIB
We introduce new combinatorial (bijective) methods that enable us to compute the average value of three parameters of directed animals of a given area, including the site perimeter. Our results cover directed animals of any one-line source on the square lattice and its bounded variants, and we give counterparts for most of them in the triangular lattices. We thus prove conjectures by Conway and Le Borgne. The techniques used are based on Viennot's correspondence between directed animals and heaps of pieces (or elements of a partially commutative monoid).
Moving faces to other places: Facet derangements
Published
• View Publication
• BIB
Derangements are a popular topic in combinatorics classes. We study a generalization to face derangements of the n-dimensional hypercube. These derangements can be classified as odd or even, depending on whether the underlying isometry is direct or indirect, providing a link to abstract algebra. We emphasize the interplay between the geometry, algebra and combinatorics of these sequences, with lots of pretty pictures.
Graphical condensation, overlapping Pfaffians and superpositions of matchings
Published
• View Publication
• BIB
The purpose of this note is to exhibit clearly how the "graphical condensation" identities of Kuo, Yan, Yeh and Zhang follow from classical Pfaffian identities by the Kasteleyn-Percus method for the enumeration of matchings. Knuth termed the relevant identities "overlapping Pfaffian" identities and the key concept of proof "superpositions of matchings". In our uniform presentation of the material, we also give an apparently unpublished general "overlapping Pfaffian" identity of Krattenthaler.
A previous version of this paper contained an erroneous application of the Kasteleyn-Percus method, which is now corrected.
A Hall-type theorem for triplet set systems based on medians in trees
Published
• View Publication
• BIB
Given a collection $\C$ of subsets of a finite set $X$, let $\bigcup \C = \cup_{S \in \C}S$. Philip Hall's celebrated theorem \cite{hall} concerning `systems of distinct representatives' tells us that for any collection $\C$ of subsets of $X$ there exists an injective (i.e. one-to-one) function $f: \C \to X$ with $f(S) \in S$ for all $S \in \C$ if and and only if $\C$ satisfies the property that for all non-empty subsets $\C'$ of $\C$ we have $|\bigcup \C'| \geq |\C'|$. Here we show that if the condition
$|\bigcup \C'| \geq |\C'|$ is replaced by the stronger condition $|\bigcup \C'| \geq |\C'|+2$, then we obtain a characterization of this condition for a collection of 3-element subsets of $X$ in terms of the existence of an injective function from $\C$ to the vertices of a tree whose vertex set includes $X$ and that satisfies a certain median condition. We then describe an extension of this result to collections of arbitrary-cardinality subsets of $X$.
Asymptotics of partial sums of central binomial coefficients and Catalan numbers
We prove exact asymptotic expansions for the partial sums of the sequences of central binomial coefficients and Catalan numbers, $\sum_{k=0}^n \binom{2k}{k}$ and $\sum_{k=0}^n C_n$. We also obtain closed forms for the polynomials $\sum_{k=0}^{q-1}\binom{2k}{k}x^k$ and $\sum_{k=0}^{q-1}C_kx^k$ over the field of $p$ elements, where $q$ is a power of the prime $p$.
A Note on Encodings of Phylogenetic Networks of Bounded Level
Published
• View Publication
• BIB
Driven by the need for better models that allow one to shed light into the question how life's diversity has evolved, phylogenetic networks have now joined phylogenetic trees in the center of phylogenetics research. Like phylogenetic trees, such networks canonically induce collections of phylogenetic trees, clusters, and triplets, respectively. Thus it is not surprising that many network approaches aim to reconstruct a phylogenetic network from such collections. Related to the well-studied perfect phylogeny problem, the following question is of fundamental importance in this context: When does one of the above collections encode (i.e. uniquely describe) the network that induces it? In this note, we present a complete answer to this question for the special case of a level-1 (phylogenetic) network by characterizing those level-1 networks for which an encoding in terms of one (or equivalently all) of the above collections exists. Given that this type of network forms the first layer of the rich hierarchy of level-k networks, k a non-negative integer, it is natural to wonder whether our arguments could be extended to members of that hierarchy for higher values for k. By giving examples, we show that this is not the case.
The rainbow $k$-connectivity of two classes of graphs
A path in an edge-colored graph $G$, where adjacent edges may be colored the same, is called a rainbow path if no two edges of $G$ are colored the same. For a $κ$-connected graph $G$ and an integer $k$ with $1\leq k\leq κ$, the rainbow $k$-connectivity $rc_k(G)$ of $G$ is defined as the minimum integer $j$ for which there exists a $j$-edge-coloring of $G$ such that every two distinct vertices of $G$ are connected by $k$ internally disjoint rainbow paths. Let $G$ be a complete $(\ell+1)$-partite graph with $\ell$ parts of size $r$ and one part of size $p$ where $0\leq p <r$ (in the case $p=0$, $G$ is a complete $\ell$-partite graph with each part of size $r$). This paper is to investigate the rainbow $k$-connectivity of $G$. We show that for every pair of integers $k\geq 2$ and $r\geq 1$, there is an integer $f(k,r)$ such that if $\ell\geq f(k,r)$, then $rc_k(G)=2$. As a consequence, we improve the upper bound of $f(k)$ from $(k+1)^2$ to $ck^{3/2}+C$, where $0<c<1$, $C=o(k^{3/2})$, and $f(k)$ is the integer such that if $n \geq f(k)$ then $rc_k(K_n)=2$.
Discrepancy and Signed Domination in Graphs and Hypergraphs
Published
• View Publication
• BIB
For a graph G, a signed domination function of G is a two-colouring of the vertices of G with colours +1 and -1 such that the closed neighbourhood of every vertex contains more +1's than -1's. This concept is closely related to combinatorial discrepancy theory as shown by Fueredi and Mubayi [J. Combin. Theory, Ser. B 76 (1999) 223-239]. The signed domination number of G is the minimum of the sum of colours for all vertices, taken over all signed domination functions of G. In this paper, we present new upper and lower bounds for the signed domination number. These new bounds improve a number of known results.
Shapes of RNA pseudoknot structures
Published
• View Publication
• BIB
In this paper we study abstract shapes of $k$-noncrossing, $σ$-canonical RNA pseudoknot structures. We consider ${\sf lv}_k^{\sf 1}$- and ${\sf lv}_k^{\sf 5}$-shapes, which represent a generalization of the abstract $π'$- and $π$-shapes of RNA secondary structures introduced by \citet{Giegerich:04ashape}. Using a novel approach we compute the generating functions of ${\sf lv}_k^{\sf 1}$- and ${\sf lv}_k^{\sf 5}$-shapes as well as the generating functions of all ${\sf lv}_k^{\sf 1}$- and ${\sf lv}_k^{\sf 5}$-shapes induced by all $k$-noncrossing, $σ$-canonical RNA structures for fixed $n$. By means of singularity analysis of the generating functions, we derive explicit asymptotic expressions.
Directed Simplices In Higher Order Tournaments
Published
• View Publication
• BIB
It is well known that a tournament (complete oriented graph) on $n$ vertices has at most ${1/4}\binom{n}{3}$ directed triangles, and that the constant 1/4 is best possible. Motivated by some geometric considerations, our aim in this paper is to consider some `higher order' versions of this statement. For example, if we give each 3-set from an $n$-set a cyclic ordering, then what is the greatest number of `directed 4-sets' we can have? We give an asymptotically best possible answer to this question, and give bounds in the general case when we orient each $d$-set from an $n$-set.
Positivity theorems for solid-angle polynomials
Published in Beitr. Algebra Geom. 51, no. 2 (2010), 493-507
• Search Publication
For a lattice polytope P, define A_P(t) as the sum of the solid angles of all the integer points in the dilate tP. Ehrhart and Macdonald proved that A_P(t) is a polynomial in the positive integer variable t. We study the numerator polynomial of the solid-angle series sum_{t >= 0} A_P(t) z^t. In particular, we examine nonnegativity of its coefficients, monotonicity and unimodality questions, and study extremal behavior of the sum of solid angles at vertices of simplices. Some of our results extend to more general valuations.
Uniqueness of electrical currents in a network of finite total resistance
Published
• View Publication
• BIB
We show that if the sum of the resistances of an electrical network $N$ is finite, then there is a unique electrical current in $N$ provided we do not allow, in a sense, any flow to escape to infinity.
Essential hyperbolic Coxeter polytopes
Published in Israel J. Math. 199 (2014), 113-161
• View Publication
• BIB
We introduce a notion of essential hyperbolic Coxeter polytope as a polytope which fits some minimality conditions. The problem of classification of hyperbolic reflection groups can be easily reduced to classification of essential Coxeter polytopes. We determine a potentially large combinatorial class of polytopes containing, in particular, all the compact hyperbolic Coxeter polytopes of dimension at least 6 which are known to be essential, and prove that this class contains finitely many polytopes only. We also construct an effective algorithm of classifying polytopes from this class, realize it in four-dimensional case, and formulate a conjecture on finiteness of the number of essential polytopes.
Partition models for the crystal of the basic $U_q(\hat{\mathfrak{sl}}_n)$-module
Published in J. Algebraic Combin. 32 (2010) 339-370
• View Publication
• BIB
For each $n\geqslant3$, we construct an uncountable family of models of the crystal of the basic $U_q(\hat{\mathfrak{sl}}_n)$-module. These models are all based on partitions, and include the usual $n$-regular and $n$-restricted models, as well as Berg's ladder crystal, as special cases.
The maximum number of cliques in a graph embedded in a surface
Published in European J. Combinatorics 32.8:1244-1252, 2011
• View Publication
• BIB
This paper studies the following question: Given a surface $Σ$ and an integer $n$, what is the maximum number of cliques in an $n$-vertex graph embeddable in $Σ$? We characterise the extremal graphs for this question, and prove that the answer is between $8(n-ω)+2^ω$ and $8n+{3/2} 2^ω+o(2^ω)$, where $ω$ is the maximum integer such that the complete graph $K_ω$ embeds in $Σ$. For the surfaces $\mathbb{S}_0$, $\mathbb{S}_1$, $\mathbb{S}_2$, $\mathbb{N}_1$, $\mathbb{N}_2$, $\mathbb{N}_3$ and $\mathbb{N}_4$ we establish an exact answer.
On the shape of a tridiagonal pair
Published
• View Publication
• BIB
Let $K$ denote a field and let $V$ denote a vector space over $K$ with finite positive dimension. We consider a pair of linear transformations $A:V \to V$ and $A^*:V \to V$ that satisfy the following conditions: (i) each of $A,A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i\rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_{i} + V_{i+1}$ for $0 \leq i \leq d$, where $V_{-1}=0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i\rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_{i} + V^*_{i+1}$ for
$0 \leq i \leq δ$, where $V^*_{-1}=0$ and $V^*_{δ+1}=0$; (iv) there is no subspace $W$ of $V$ such that $AW \subseteq W$, $A^* W \subseteq W$, $W \neq 0$, $W \neq V$. We call such a pair a {\it tridiagonal pair} on $V$. It is known that $d=δ$ and for $0 \leq i \leq d$ the dimensions of $V_i$, $V^*_i$, $V_{d-i}$, $V^*_{d-i}$ coincide; we denote this common dimension by $ρ_i$. In this paper we prove that $ρ_i \leq ρ_0 \binom{d}{i}$ for $0 \leq i \leq d$. It is already known that $ρ_0=1$ if $\K$ is algebraically closed.
Perfect matchings of line graphs with small maximum degree
Let $G$ be a connected graph with vertex set $V(G)=\{v_1,v_2,...,v_ν\}$, which may have multiple edges but have no loops, and $2\leq d_G(v_i)\leq 3$ for $i=1,2,...,ν$, where $d_G(v)$ denotes the degree of vertex $v$ of $G$. We show that if $G$ has an even number of edges, then the number of perfect matchings of the line graph of $G$ equals $2^{n/2+1}$, where $n$ is the number of 3-degree vertices of $G$. As a corollary, we prove that the number of perfect matchings of a connected cubic line graph with $n$ vertices equals $2^{n/6+1}$ if $n>4$, which implies the conjecture by Lovász and Plummer holds for the connected cubic line graphs. As applications, we enumerate perfect matchings of the Kagomé lattices, $3.12.12$ lattices, and Sierpinski gasket with dimension two in the context of statistical physics.
Generalizing Dodgson's method: a "double-crossing" approach to computing determinants
Published in College Mathematics Journal, vol. 42 no. 1 (Jan 2011), pp. 43--54
• View Publication
• BIB
Dodgson's method of computing determinants was recently revisited in a paper that appeared in the College Math Journal. The method is attractive, but fails if an interior entry of an intermediate matrix has the value zero. This paper reviews the structure of Dodgson's method and introduces a generalization, called a "double-crossing" method, that provides a workaround to the failure for many interesting cases.