scholarly journals On the kth Eigenvalues of Trees with Perfect Matchings

2007 ◽  
Vol Vol. 9 no. 1 (Graph and Algorithms) ◽  
Author(s):  
An Chang ◽  
Wai Chee Shiu
Keyword(s):  
Perfect Matchings ◽  
Mathematical Formulas ◽  
International Audience

Graphs and Algorithms International audience Résumé comportant des formules mathématiques, disponible sur le ficher pdf / Abstract with mathematical formulas, available on pdf file.

scholarly journals Cluster algebras of unpunctured surfaces and snake graphs

2009 ◽  
Vol DMTCS Proceedings vol. AK,... (Proceedings) ◽  
Author(s):  
Gregg Musiker ◽  
Ralf Schiffler
Keyword(s):  
Perfect Matchings ◽  
Laurent Polynomial ◽  
Cluster Algebras ◽  
Polynomial Expansion ◽  
International Audience ◽  
Polynomial Expansions

International audience We study cluster algebras with principal coefficient systems that are associated to unpunctured surfaces. We give a direct formula for the Laurent polynomial expansion of cluster variables in these cluster algebras in terms of perfect matchings of a certain graph $G_{T,\gamma}$ that is constructed from the surface by recursive glueing of elementary pieces that we call tiles. We also give a second formula for these Laurent polynomial expansions in terms of subgraphs of the graph $G_{T,\gamma}$ . Nous étudions des algèbres amassées avec coefficients principaux associées aux surfaces. Nous présentons une formule directe pour les développements de Laurent des variables amassées dans ces algèbres en terme de couplages parfaits d'un certain graphe $G_{T,\gamma}$ que l'on construit a partir de la surface en recollant des pièces élémentaires que l'on appelle carreaux. Nous donnons aussi une seconde formule pour ces développements en termes de sous-graphes de $G_{T,\gamma}$ .

scholarly journals Packing Plane Perfect Matchings into a Point Set

2015 ◽  
Vol Vol. 17 no.2 (Graph Theory) ◽  
Author(s):  
Ahmad Biniaz ◽  
Prosenjit Bose ◽  
Anil Maheshwari ◽  
Michiel Smid
Keyword(s):  
Lower Bound ◽  
General Position ◽  
Perfect Matchings ◽  
Point Sets ◽  
Exact Answer ◽  
International Audience ◽  
Point Set

International audience Given a set $P$ of $n$ points in the plane, where $n$ is even, we consider the following question: How many plane perfect matchings can be packed into $P$? For points in general position we prove the lower bound of &#x230A;log<sub>2</sub>$n$&#x230B;$-1$. For some special configurations of point sets, we give the exact answer. We also consider some restricted variants of this problem.

scholarly journals A Formal Approach to the Description and Manipulation of Structured Mathematical Objects

2005 ◽  
Vol Volume 3, Special Issue... ◽  
Author(s):  
Bernard Fotsing Talla ◽  
Georges-Edouard Kouamou
Keyword(s):  
Square Root ◽  
Two Dimensional ◽  
Attribute Grammars ◽  
Formal Approach ◽  
Mathematical Symbols ◽  
Nous Montrons ◽  
The Matrix ◽  
Mathematical Formulas ◽  
International Audience ◽  
Structured Objects

International audience We present in this paper a formal approach of description, posting and handling of the mathematical structured objects; based on the formalism of attribute grammars. We are interested particularly in the problem of two-dimensional and bidirectional posting of certain expressions and mathematical formulas. Indeed, in more of the two-dimensional character that presents certain mathematical symbols like the square root or the matrix, we also note the problem of posting rightto-left of an Arab text in a context planned for a posting left-to-right of an Indo-European text, or a bidirectional posting mixing the two modes. After a study of some solutions suggested in the literature, we show how the method of attribute grammars adapts easily to these types of problem. Nous présentons dans ce papier une approche formelle de description, d'affichage et de manipulation des objets structurés mathématiques ; basée sur le formalisme des grammaires attribuées. Nous nous intéressons particulièrement au problème d'affichage bidimensionnel et bidirectionnel de certaines expressions et formules mathématiques. En effet, en plus du caractère bidimensionnel que présentent certains symboles comme la racine carrée ou la matrice, on note le problème d'affichage de droite à gauche d'un texte arabe dans un contexte prévu pour un affichage de gauche à droite d'un texte indo-européen, ou encore un affichage bidirectionnel mélangeant les deux modes. Après une étude de quelques méthodes proposées dans la littérature, nous montrons comment la méthode des grammaires attribuées s'adapte facilement à ces types de problèmes.

scholarly journals Edge-Removal and Non-Crossing Configurations in Geometric Graphs

2010 ◽  
Vol Vol. 12 no. 1 (Graph and Algorithms) ◽  
Author(s):  
Oswin Aichholzer ◽  
Sergio Cabello ◽  
Ruy Fabila-Monroy ◽  
David Flores-Peñaloza ◽  
Thomas Hackl ◽  
...  
Keyword(s):  
Extremal Problem ◽  
General Position ◽  
Geometric Graph ◽  
Perfect Matchings ◽  
Geometric Graphs ◽  
Line Segments ◽  
Straight Line ◽  
Edge Removal ◽  
International Audience ◽  
Point Set

Graphs and Algorithms International audience A geometric graph is a graph G = (V, E) drawn in the plane, such that V is a point set in general position and E is a set of straight-line segments whose endpoints belong to V. We study the following extremal problem for geometric graphs: How many arbitrary edges can be removed from a complete geometric graph with n vertices such that the remaining graph still contains a certain non-crossing subgraph. The non-crossing subgraphs that we consider are perfect matchings, subtrees of a given size, and triangulations. In each case, we obtain tight bounds on the maximum number of removable edges.

scholarly journals SIF Permutations and Chord-Connected Permutations

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Natasha Blitvić
Keyword(s):  
Probability Theory ◽  
Generating Function ◽  
Probability Distributions ◽  
Free Probability ◽  
Perfect Matchings ◽  
Free Probability Theory ◽  
Diagrammatic Representation ◽  
International Audience ◽  
Binary Strings

International audience A <i>stabilized-interval-free </i> (SIF) permutation on [n], introduced by Callan, is a permutation that does not stabilize any proper interval of [n]. Such permutations are known to be the irreducibles in the decomposition of permutations along non-crossing partitions. That is, if $s_n$ denotes the number of SIF permutations on [n], $S(z)=1+\sum_{n\geq1} s_n z^n$, and $F(z)=1+\sum_{n\geq1} n! z^n$, then $F(z)= S(zF(z))$. This article presents, in turn, a decomposition of SIF permutations along non-crossing partitions. Specifically, by working with a convenient diagrammatic representation, given in terms of perfect matchings on alternating binary strings, we arrive at the \emphchord-connected permutations on [n], counted by $\{c_n\}_{n\geq1}$, whose generating function satisfies $S(z)= C(zS(z))$. The expressions at hand have immediate probabilistic interpretations, via the celebrated <i>moment-cumulant formula </i>of Speicher, in the context of the <i>free probability theory </i>of Voiculescu. The probability distributions that appear are the exponential and the complex Gaussian.

scholarly journals A bound on the number of perfect matchings in Klee-graphs

2013 ◽  
Vol Vol. 15 no. 1 (Combinatorics) ◽  
Author(s):  
Marek Cygan ◽  
Marcin Pilipczuk ◽  
Riste Škrekovski
Keyword(s):  
Perfect Matchings ◽  
Famous Conjecture ◽  
International Audience ◽  
Bridgeless Graph

Combinatorics International audience The famous conjecture of Lovász and Plummer, very recently proven by Esperet et al. (2011), asserts that every cubic bridgeless graph has exponentially many perfect matchings. In this paper we improve the bound of Esperet et al. for a specific subclass of cubic bridgeless graphs called the Klee-graphs. We show that every Klee-graph with n ≥8 vertices has at least 3 *2(n+12)/60 perfect matchings.

scholarly journals Annihilating random walks and perfect matchings of planar graphs

2003 ◽  
Vol DMTCS Proceedings vol. AC,... (Proceedings) ◽  
Author(s):  
Massimiliano Mattera
Keyword(s):  
Partition Function ◽  
Random Walks ◽  
Mechanical Model ◽  
Planar Graphs ◽  
Perfect Matchings ◽  
Statistical Mechanical Model ◽  
International Audience ◽  
Statistical Mechanical ◽  
Annihilating Random Walks

International audience We study annihilating random walks on $\mathbb{Z}$ using techniques of P.W. Kasteleyn and $R$. Kenyonon perfect matchings of planar graphs. We obtain the asymptotic of the density of remaining particles and the partition function of the underlying statistical mechanical model.

scholarly journals Ambiguity in the m-bonacci numeration system

2007 ◽  
Vol Vol. 9 no. 2 ◽  
Author(s):  
Petra Kocábová ◽  
Zuzana Masáková ◽  
Edita Pelantová
Keyword(s):  
Numeration System ◽  
Mathematical Formulas ◽  
International Audience

International audience Résumé comportant des formules mathématiques, disponible sur le ficher pdf / Abstract with mathematical formulas, available on pdf file.

scholarly journals Perfect Matchings and Cluster Algebras of Classical Type

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Gregg Musiker
Keyword(s):  
Recent Work ◽  
Cluster Expansion ◽  
Perfect Matchings ◽  
Laurent Polynomial ◽  
Cluster Algebras ◽  
Classical Type ◽  
Combinatorial Interpretation ◽  
Expansion Formula ◽  
Graph Theoretic ◽  
International Audience

International audience In this paper we give a graph theoretic combinatorial interpretation for the cluster variables that arise in most cluster algebras of finite type. In particular, we provide a family of graphs such that a weighted enumeration of their perfect matchings encodes the numerator of the associated Laurent polynomial while decompositions of the graphs correspond to the denominator. This complements recent work by Schiffler and Carroll-Price for a cluster expansion formula for the $A_n$ case while providing a novel interpretation for the $B_n$, $C_n$, and $D_n$ cases. Dans cet article nous donnons une interprétation combinatoire en termes de théorie des graphes pour les variables de clusters qui apparaissent dans la plupart des algèbres à clusters de type fini. En particulier, nous décrivons une famille de graphes tels qu'une énumération pondérée de leurs matchings parfaits encode le numérateur du polynôme de Laurent associé, tandis que les décompositions du graphe correspondent au dénominateur. Ceci complète les récents travaux de Schiffler et Carroll-Price qui donnent une formule pour le développement d'une variable de cluster dans le cas $A_n$, tout en fournissant une nouvelle interprétation dans les cas $B_n$, $C_n$ et $D_n$.

scholarly journals Interactive layout and handling of mathematical formulas in structured documents

2002 ◽  
Vol Volume 1, 2002 ◽  
Author(s):  
Hanane Naciri ◽  
Laurence Rideau
Keyword(s):  
User Interfaces ◽  
Graphical User Interfaces ◽  
Two Dimensional ◽  
Mathematical Proofs ◽  
Nous Montrons ◽  
Mathematical Formulas ◽  
International Audience ◽  
Structured Documents

International audience Tools dedicated to mathematics need to display formulas and to interact with them. In this paper, we present a summary of existing tools, then we describe FIGUE, an incremental two dimensional layout engine, developed at INRIA, to get a specialized toolbox for building customized editors and graphical user interfaces. Finally we give an exemple of interface using FIGUE to develop mathematical proofs on computer. Afficher des formules mathématiques et interagir avec ces formules sont des atouts primordiaux pour les outils informatiques dédiés aux mathématiques. Dans cet article, nous faisons un bilan des outils existants puis nous décrivons FIGUE, moteur d'affichage interactif incrémental et bidimensionnel, développé à l'INRIA, pour obtenir une bibliothèque dédiée au développement d'éditeurs de documents structurés et d'interfaces graphiques. Enfin nous montrons un exemple d'utilisation de FIGUE, dans le cadre du développement de preuves mathématiques sur ordinateur.

Sign in / Sign up

Export Citation Format

Share Document