matching
3165 papers tagged with this keyword
Shelling-type orderings of regular CW-complexes and acyclic matchings of the Salvetti complex
Published
• View Publication
• BIB
Motivated by the work of Salvetti and Settepanella we introduce certain total orderings of the faces of any shellable regular CW-complex (called `shelling-type orderings') that can be used to explicitly construct maximum acyclic matchings of the poset of cells of the given complex. Building on an application of this method to the classical zonotope shellings we describe a class of maximum acyclic matchings for the Salvetti complex of a linear complexified arrangement. To do this, we introduce and study a new combinatorial stratification of the Salvetti complex. For the obtained acyclic matchings we give an explicit description of the critical cells that depends only on the chosen linear extension of the poset of regions. It is always possible to choose the linear extension so that the critical cells can be explicitly constructed from the chambers of the arrangement via the bijection to no-broken-circuit sets defined by Jewell and Orlik. Our method can be generalized to arbitraty oriented matroids.
Determinant Formulas Relating to Tableaux of Bounded Height
Published
• View Publication
• BIB
Chen et al. recently established bijections for $(d+1)$-noncrossing/ nonnesting matchings, oscillating tableaux of bounded height $d$, and oscillating lattice walks in the $d$-dimensional Weyl chamber. Stanley asked what is the total number of such tableaux of length $n$ and of any shape. We find a determinant formula for the exponential generating function. The same idea applies to prove Gessel's remarkable determinant formula for permutations with bounded length of increasing subsequences. We also give short algebraic derivations for some results of the reflection principle.
Multiple pattern matching: A Markov chain approach
Published
• View Publication
• BIB
RNA motifs typically consist of short, modular patterns that include base pairs formed within and between modules. Estimating the abundance of these patterns is of fundamental importance for assessing the statistical significance of matches in genomewide searches, and for predicting whether a given function has evolved many times in different species or arose from a single common ancestor. In this manuscript, we review in an integrated and self-contained manner some basic concepts of automata theory, generating functions and transfer matrix methods that are relevant to pattern analysis in biological sequences. We formalize, in a general framework, the concept of Markov chain embedding to analyze patterns in random strings produced by a memoryless source. This conceptualization, together with the capability of automata to recognize complicated patterns, allows a systematic analysis of problems related to the occurrence and frequency of patterns in random strings. The applications we present focus on the concept of synchronization of automata, as well as automata used to search for a finite number of keywords (including sets of patterns generated according to base pairing rules) in a general text.
Fixed points of zircon automorphisms
Published
• View Publication
• BIB
A zircon is a poset in which every principal order ideal is finite and equipped with a so-called special matching. We prove that the subposet induced by the fixed points of any automorphism of a zircon is itself a zircon. This provides a natural context in which to view recent results on Bruhat orders on twisted involutions in Coxeter groups.
Cohen-Macaulay graphs arising from digraphs
In this paper we show a correspondence between directed graphs and bipartite undirected graphs with a perfect matching, that allows to study properties of directed graphs through the properties of the corresponding undirected graphs. In particular it is shown that a directed graph is transitive iff a corresponding undirected graph is Cohen-Macaulay.
On Cyclic Edge-Connectivity of Fullerenes
Published
• View Publication
• BIB
A graph is said to be cyclic $k$-edge-connected, if at least $k$ edges must be removed to disconnect it into two components, each containing a cycle. Such a set of $k$ edges is called a cyclic-$k$-edge cutset and it is called a trivial cyclic-$k$-edge cutset if at least one of the resulting two components induces a single $k$-cycle.
It is known that fullerenes, that is, 3-connected cubic planar graphs all of whose faces are pentagons and hexagons, are cyclic 5-edge-connected. In this article it is shown that a fullerene $F$ containing a nontrivial cyclic-5-edge cutset admits two antipodal pentacaps, that is, two antipodal pentagonal faces whose neighboring faces are also pentagonal. Moreover, it is shown that $F$ has a Hamilton cycle, and as a consequence at least $15\cdot 2^{\lfloor \frac{n}{20}\rfloor}$ perfect matchings, where $n$ is the order of $F$.
On Potentially K_5-E_3-graphic Sequences
Let $K_m-H$ be the graph obtained from $K_m$ by removing the edges set $E(H)$ of $H$ where $H$ is a subgraph of $K_m$. In this paper, we characterize the potentially $K_5-P_3$, $K_5-A_3$, $K_5-K_3$ and $K_5-K_{1,3}$-graphic sequences where $A_3$ is $P_2\cup K_2$. Moreover, we also characterize the potentially $K_5-2K_2$-graphic sequences where $pK_2$ is the matching consisted of $p$ edges.
A Deterministic Approximation Algorithm for Computing a Permanent of a 0,1 matrix
We construct a deterministic approximation algorithm for computing a permanent of a $0,1$ $n$ by $n$ matrix to within a multiplicative factor $(1+ε)^n$, for arbitrary $ε>0$. When the graph underlying the matrix is a constant degree expander our algorithm runs in polynomial time (PTAS). In the general case the running time of the algorithm is $\exp(O(n^{2\over 3}\log^3n))$. For the class of graphs which are constant degree expanders the first result is an improvement over the best known approximation factor $e^n$ obtained in \cite{LinialSamorodnitskyWigderson}.
Our results use a recently developed deterministic approximation algorithm for counting partial matchings of a graph Bayati et al., and Jerrum-Vazirani decomposition method.
On the Number of Planar Orientations with Prescribed Degrees
Published
• View Publication
• BIB
We deal with the asymptotic enumeration of combinatorial structures on planar maps. Prominent instances of such problems are the enumeration of spanning trees, bipartite perfect matchings, and ice models. The notion of orientations with out-degrees prescribed by a function $å:V\to \NN$ unifies many different combinatorial structures, including the afore mentioned. We call these orientations $å$-orientations. The main focus of this paper are bounds for the maximum number of $å$-orientations that a planar map with $n$ vertices can have, for different instances of $å$. We give examples of triangulations with $2.37^n$ Schnyder woods, 3-connected planar maps with $3.209^n$ Schnyder woods and inner triangulations with $2.91^n$ bipolar orientations. These lower bounds are accompanied by upper bounds of $3.56^n$, $8^n$ and $3.97^n$ respectively. We also show that for any planar map $M$ and any $α$ the number of $α$-orientations is bounded from above by $3.73^n$ and describe a family of maps which have at least $2.598^n$ $α$-orientations.
A major index for matchings and set partitions
Published
• View Publication
• BIB
We introduce a statistic $\pmaj$ on partitions of $[n]=\{1,2,..., n\}$, and show that it is equidistributed with the number of 2-crossings over partitions of $[n]$ with given sets of minimal block elements and maximal block elements. This generalizes the classical result of equidistribution for the permutation statistics inversion number and major index.
Graphs with restricted valency and matching number
Published
• View Publication
• BIB
Consider the family of all finite graphs with maximum degree $Δ(G)<d$ and matching number $ν(G)<m$. In this paper we give a new proof to obtain the exact upper bound for the number of edges in such graphs and also characterize all the cases when the maximal graph is unique. We also provide a new proof of Gallai's lemma concerning factor critical graphs.
Matchings in arbitrary groups
Published
• View Publication
• BIB
A matching in a group G is a bijection f from a subset A to a subset B in G such that af(a) does not belong to A for all a in A. The group G is said to have the matching property if, for any finite subsets A,B in G of same cardinality with B avoiding 1, there is a matching from A to B.
Using tools from additive number theory, Losonczy proved a few years ago that the only abelian groups satisfying the matching property are the torsion-free ones and those of prime order. He also proved that, in an abelian group, any finite subset A avoiding 1 admits a matching from A to A.
In this paper, we show that both Losonczy's results hold verbatim for arbitrary groups, not only abelian ones. Our main tools are classical theorems of Kemperman and Olson, also pertaining to additive number theory, but specifically developped for possibly nonabelian groups.
Complete Solution for the Rainbow Numbers of Matchings
Published
• View Publication
• BIB
For a given graph $H$ and $n\geq 1$, let $f(n,H)$ denote the maximum number $c$ for which there is a way to color the edges of the complete graph $K_n$ with $c$ colors such that every subgraph $H$ of $K_n$ has at least two edges of the same color. Equivalently, any edge-coloring of $K_n$ with at least $rb(n,H)=f(n,H)+1$ colors contains a rainbow copy of $H$, where a rainbow subgraph of an edge-colored graph is such that no two edges of it have the same color. The number $rb(n,H)$ is called the {\it rainbow number of $H$}. Erdős, Simonovits and Sós showed that $rb(n,K_3)=n$. In 2004, Schiermeyer used some counting technique and determined the rainbow numbers $rb(n,kK_2)$ for $k\geq 2$ and $n\geq 3k+3$. It is easy to see that $n$ must be at least $2k$. So, for $2k \leq n<3k+3$, the rainbow numbers remain not determined. In this paper we will use the Gallai-Edmonds structure theorem for matchings to determine the exact values for rainbow numbers $rb(n,kK_2)$ for all $k\geq 2$ and $n\geq 2k$, giving a complete solution for the rainbow numbers of matchings.
Optimum Branching Problem Revisited
Given a digraph $G = (V_G, A_G)$, a \emph{branching} in $G$ is a set of arcs $B \subseteq A_G$ such that the underlying undirected graph spanned by $B$ is acyclic and each node in $G$ is entered (\emph{covered}) by at most one arc from $B$. Tarjan developed efficient algorithms (based on the cycle contraction technique) for the following problem: given a digraph $G$ with a \emph{weight} function $w \colon A_G \to \R$, find a branching $B$ of the minimum weight $w(B) := \sum_{a \in B} w(a)$ among all branchings with the maximum ardinality $\abs{B}$. We generalize this notion as follows: for a digraph $G$ and a matroid $\calM_V$ on $V_G$, a \emph{matroid branching} in $G$ w.r.t. $\calM_V$ is a branching in $G$ such that the covered set of nodes is independent w.r.t. $\calM_V$. The unweighted (cardinality) problem consists in finding a matroid branching $B$ with $\abs{B}$ maximum. We show that the general cycle contraction approach is applicable to this problem and leads to an efficient algorithm (provided that an oracle is given for testing independence in the matroids arising as the result of the contraction procedure). In the weighted version we are looking for a matroid branching $B$ that minimizes $w(B)$ (for a given weight function $w \colon A_G \to \R$) among all matroid branchings of the maximum cardinality. We show that if $\calM_V$ is a rainbow matroid (that is, nodes of $G$ are marked with colors and it is forbidden to cover more than one node of any color), then there exists an $O(\min(n^2, m \log n))$ method, matching the complexity of Tarjan's algorithm (here $n := \abs{V_G}$, $m := \abs{A_G}$).
A lower bound for nodal count on discrete and metric graphs
Published in Commun. Math. Phys., 278, 803-819 (2008)
• View Publication
• BIB
According to a well-know theorem by Sturm, a vibrating string is divided into exactly N nodal intervals by zeros of its N-th eigenfunction. Courant showed that one half of Sturm's theorem for the strings applies to the theory of membranes: N-th eigenfunction cannot have more than N domains. He also gave an example of a eigenfunction high in the spectrum with a minimal number of nodal domains, thus excluding the existence of a non-trivial lower bound. An analogue of Sturm's result for discretizations of the interval was discussed by Gantmacher and Krein. The discretization of an interval is a graph of a simple form, a chain-graph. But what can be said about more complicated graphs? It has been known since the early 90s that the nodal count for a generic eigenfunction of the Schrodinger operator on quantum trees (where each edge is identified with an interval of the real line and some matching conditions are enforced on the vertices) is exact too: zeros of the N-th eigenfunction divide the tree into exactly N subtrees. We discuss two extensions of this result in two directions. One deals with the same continuous Schrodinger operator but on general graphs (i.e. non-trees) and another deals with discrete Schrodinger operator on combinatorial graphs (both trees and non-trees). The result that we derive applies to both types of graphs: the number of nodal domains of the N-th eigenfunction is bounded below by N-L, where L is the number of links that distinguish the graph from a tree (defined as the dimension of the cycle space or the rank of the fundamental group of the graph). We also show that if it the genericity condition is dropped, the nodal count can fall arbitrarily far below the number of the corresponding eigenfunction.
Matchings and entropies of cylinders
The enumeration of perfect matchings of graphs is equivalent to the dimer problem which has applications in statistical physics. A graph $G$ is said to be $n$-rotation symmetric if the cyclic group of order $n$ is a subgroup of the automorphism group of $G$. Jockusch (Perfect matchings and perfect squares, J. Combin. Theory Ser. A, 67(1994), 100-115) and Kuperberg (An exploration of the permanent-determinant method, Electron. J. Combin., 5(1998), #46) proved independently that if $G$ is a plane bipartite graph of order $N$ with $2n$-rotation symmetry, then the number of perfect matchings of $G$ can be expressed as the product of $n$ determinants of order $N/2n$. In this paper we give this result a new presentation. We use this result to compute the entropy of a bulk plane bipartite lattice with $2n$-notation symmetry. We obtain explicit expressions for the numbers of perfect matchings and entropies for two types of cylinders. Using the results on the entropy of the torus obtained by Kenyon, Okounkov, and Sheffield (Dimers and amoebae, Ann. Math. 163(2006), 1019--1056) and by Salinas and Nagle (Theory of the phase transition in the layered hydrogen-bonded $SnCl^2\cdot 2H_2O$ crystal, Phys. Rev. B, 9(1974), 4920--4931), we show that each of the cylinders considered and its corresponding torus have the same entropy. Finally, we pose some problems.
On existence of [a,b]-factors avoiding given subgraphs
For a graph $G = (V(G), E(G))$, let $i(G)$ be the number of isolated vertices in $G$. The {\it isolated toughness} of $G$ is defined as $I(G) = min\{|S|/i(G-S) : S\subseteq V(G), i(G-S)\geq 2\}$ if $G$ is not complete; $I(G)=|V(G)|-1$ otherwise. In this paper, several sufficient conditions in terms of isolated toughness are obtained for the existence of $[a, b]$-factors avoiding given subgraphs, e.g., a set of vertices, a set of edges and a matching, respectively.
Bipartite Rainbow Numbers of Matchings
Published
• View Publication
• BIB
Given two graphs $G$ and $H$, let $f(G,H)$ denote the maximum number $c$ for which there is a way to color the edges of $G$ with $c$ colors such that every subgraph $H$ of $G$ has at least two edges of the same color. Equivalently, any edge-coloring of $G$ with at least $rb(G,H)=f(G,H)+1$ colors contains a rainbow copy of $H$, where a rainbow subgraph of an edge-colored graph is such that no two edges of it have the same color. The number $rb(G,H)$ is called the {\it rainbow number of $H$ with respect to $G$}, and simply called the {\it bipartite rainbow number of $H$} if $G$ is the complete bipartite graph $K_{m,n}$. Erdős, Simonovits and Sós showed that $rb(K_n,K_3)=n$. In 2004, Schiermeyer determined the rainbow numbers $rb(K_n,K_k)$ for all $n\geq k\geq 4$, and the rainbow numbers $rb(K_n,kK_2)$ for all $k\geq 2$ and $n\geq 3k+3$. In this paper we will determine the rainbow numbers $rb(K_{m,n},kK_2)$ for all $k\geq 1$.
On (n, k)-extendable graphs and induced subgraphs
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V(G)$. Let $n$ and $k$ be non-negative integers such that $n + 2k \leq |V(G)| - 2$ and $|V(G)| - n$ is even. If when deleting any $n$ vertices of $G$ the remaining subgraph contains a matching of $k$ edges and every $k$-matching can be extended to a 1-factor, then $G$ is called an $(n, k)-extendable graph. In this paper we present several results about $(n, k)$-extendable graphs and its subgraphs. In particular, we proved that if $G - V(e)$ is $(n, k)$-extendable graph for each $e \in F$ (where $F$ is a fixed 1-factor in $G$), then $G$ is $(n, k)$-extendable graph.
Generalization of matching extensions in graphs (II)
Published
• View Publication
• BIB
Proposed as a general framework, Liu and Yu(Discrete Math. 231 (2001) 311-320) introduced $(n,k,d)$-graphs to unify the concepts of deficiency of matchings, $n$-factor-criticality and $k$-extendability. Let $G$ be a graph and let $n,k$ and $d$ be non-negative integers such that $n+2k+d\leq |V(G)|-2$ and $|V(G)|-n-d$ is even. If when deleting any $n$ vertices from $G$, the remaining subgraph $H$ of $G$ contains a $k$-matching and each such $k$- matching can be extended to a defect-$d$ matching in $H$, then $G$ is called an $(n,k,d)$-graph. In \cite{Liu}, the recursive relations for distinct parameters $n, k$ and $d$ were presented and the impact of adding or deleting an edge also was discussed for the case $d = 0$. In this paper, we continue the study begun in \cite{Liu} and obtain new recursive results for $(n,k,d)$-graphs in the general case $d \geq0$.