scholarly journals New Bounds for Hypercube Slicing Numbers

2001 ◽  
Vol DMTCS Proceedings vol. AA,... (Proceedings) ◽  
Author(s):  
M. Reza Emamy-Khansary ◽  
Martin Ziegler
Keyword(s):  
Euclidean Geometry ◽  
Combinatorial Properties ◽  
Linear Separability ◽  
International Audience ◽  
Combinatorial Methods

International audience What is the maximum number of edges of the d-dimensional hypercube, denoted by S(d,k), that can be sliced by k hyperplanes? This question on combinatorial properties of Euclidean geometry arising from linear separability considerations in the theory of Perceptrons has become an issue on its own. We use computational and combinatorial methods to obtain new bounds for S(d,k), d ≤ 8. These strengthen earlier results on hypercube cut numbers.

scholarly journals Boolean complexes and boolean numbers

2010 ◽  
Vol DMTCS Proceedings vol. AN,... (Proceedings) ◽  
Author(s):  
Bridget Eileen Tenner
Keyword(s):  
Coxeter Group ◽  
Bruhat Order ◽  
Graph Invariant ◽  
Coxeter System ◽  
Combinatorial Properties ◽  
Nous Montrons ◽  
International Audience ◽  
Order Ideals ◽  
Simplicial Poset ◽  
The Ideal

International audience The Bruhat order gives a poset structure to any Coxeter group. The ideal of elements in this poset having boolean principal order ideals forms a simplicial poset. This simplicial poset defines the boolean complex for the group. In a Coxeter system of rank n, we show that the boolean complex is homotopy equivalent to a wedge of (n-1)-dimensional spheres. The number of these spheres is the boolean number, which can be computed inductively from the unlabeled Coxeter system, thus defining a graph invariant. For certain families of graphs, the boolean numbers have intriguing combinatorial properties. This work involves joint efforts with Claesson, Kitaev, and Ragnarsson. \par L'ordre de Bruhat munit tout groupe de Coxeter d'une structure de poset. L'idéal composé des éléments de ce poset engendrant des idéaux principaux ordonnés booléens, forme un poset simplicial. Ce poset simplicial définit le complexe booléen pour le groupe. Dans un système de Coxeter de rang n, nous montrons que le complexe booléen est homotopiquement équivalent à un bouquet de sphères de dimension (n-1). Le nombre de ces sphères est le nombre booléen, qui peut être calculé inductivement à partir du système de Coxeter non-étiquetté; définissant ainsi un invariant de graphe. Pour certaines familles de graphes, les nombres booléens satisfont des propriétés combinatoires intriguantes. Ce travail est une collaboration entre Claesson, Kitaev, et Ragnarsson.

scholarly journals A categorification of the chromatic symmetric polynomial

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Radmila Sazdanović ◽  
Martha Yip
Keyword(s):  
Symmetric Function ◽  
Symmetric Polynomial ◽  
Chromatic Polynomial ◽  
Khovanov Homology ◽  
Symmetric Polynomials ◽  
Nous Obtenons ◽  
Combinatorial Properties ◽  
International Audience ◽  
Chromatic Symmetric Function ◽  
Frobenius Series

International audience The Stanley chromatic polynomial of a graph $G$ is a symmetric function generalization of the chromatic polynomial, and has interesting combinatorial properties. We apply the ideas of Khovanov homology to construct a homology $H$<sub>*</sub>($G$) of graded $S_n$-modules, whose graded Frobenius series $Frob_G(q,t)$ reduces to the chromatic symmetric function at $q=t=1$. We also obtain analogues of several familiar properties of the chromatic symmetric polynomials in terms of homology. Le polynôme chromatique symétrique d’un graphe $G$ est une généralisation par une fonction symétrique du polynôme chromatique, et possède des propriétés combinatoires intéressantes. Nous appliquons les techniques de l’homologie de Khovanov pour construire une homologie $H$<sub>*</sub>($G$) de modules gradués $S_n$, dont la série bigraduée de Frobeniusse $Frob_G(q,t)$ réduit au polynôme chromatique symétrique à $q=t=1$. Nous obtenons également des analogies pour plusieurs propriétés connues des polynômes chromatiques en termes d’homologie.

scholarly journals Asymptotics of lattice walks via analytic combinatorics in several variables

2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Stephen Melczer ◽  
Mark C. Wilson
Keyword(s):  
Generating Functions ◽  
Kernel Method ◽  
Rational Functions ◽  
Two Dimensional ◽  
Combinatorial Properties ◽  
Analytic Combinatorics ◽  
Several Variables ◽  
Algebra Approach ◽  
Finite Set ◽  
International Audience

International audience We consider the enumeration of walks on the two-dimensional non-negative integer lattice with steps defined by a finite set S ⊆ {±1, 0}2 . Up to isomorphism there are 79 unique two-dimensional models to consider, and previous work in this area has used the kernel method, along with a rigorous computer algebra approach, to show that 23 of the 79 models admit D-finite generating functions. In 2009, Bostan and Kauers used Pade ́-Hermite approximants to guess differential equations which these 23 generating functions satisfy, in the process guessing asymptotics of their coefficient sequences. In this article we provide, for the first time, a complete rigorous verification of these guesses. Our technique is to use the kernel method to express 19 of the 23 generating functions as diagonals of tri-variate rational functions and apply the methods of analytic combinatorics in several variables (the remaining 4 models have algebraic generating functions and can thus be handled by univariate techniques). This approach also shows the link between combinatorial properties of the models and features of its asymptotics such as asymptotic and polynomial growth factors. In addition, we give expressions for the number of walks returning to the x-axis, the y-axis, and the origin, proving recently conjectured asymptotics of Bostan, Chyzak, van Hoeij, Kauers, and Pech.

scholarly journals Combinatorial properties of permutation tableaux

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Alexander Burstein ◽  
Niklas Eriksen
Keyword(s):  
Pattern Avoidance ◽  
Combinatorial Properties ◽  
International Audience

International audience We give another construction of a permutation tableau from its corresponding permutation and construct a permutation-preserving bijection between $1$-hinge and $0$-hinge tableaux. We also consider certain alignment and crossing statistics on permutation tableaux that have previously been shown to be equidistributed by mapping them to patterns in related permutations. We give two direct maps on tableaux that prove the equidistribution of those statistics by exchanging some statistics and preserving the rest. Finally, we enumerate some sets of permutations that are restricted both by pattern avoidance and by certain parameters of their associated permutation tableaux. Nous donnons une nouvelle construction d'un tableau de permutation à partir de la permutation correspondante. Nous construisons ensuite une permutation qui préserve la bijection entre un tableau charnière $1$ et tableau charnière $0$. Nous considérons également certaines statistiques sur les alignements et croisements dans les tableaux de permutations. L'équidistribution de ces données statistiques est connue, et donnée par le biais d'une application très compliquée associant les alignements et croisements des tableaux a des motifs des permutations correspondantes. Nous construisons deux involutions définies sur les tableaux qui démontrent l'équidistribution des statistiques en échangeant certaines données tout en préservant d'autres. Enfin, nous dénombrons quelques ensembles de permutations définis non seulement par l'absence de certains motifs mais aussi par certains paramètres issus des tableaux de permutations.

scholarly journals Lifted generalized permutahedra and composition polynomials

2012 ◽  
Vol DMTCS Proceedings vol. AR,... (Proceedings) ◽  
Author(s):  
Federico Ardila ◽  
Jeffrey Doker
Keyword(s):  
Exponential Function ◽  
Homotopy Theory ◽  
Polynomial Interpolation ◽  
Combinatorial Properties ◽  
Nous Montrons ◽  
International Audience ◽  
Positive Integers

International audience We introduce a "lifting'' construction for generalized permutohedra, which turns an $n$-dimensional generalized permutahedron into an $(n+1)$-dimensional one. We prove that this construction gives rise to Stasheff's multiplihedron from homotopy theory, and to the more general "nestomultiplihedra,'' answering two questions of Devadoss and Forcey. We construct a subdivision of any lifted generalized permutahedron whose pieces are indexed by compositions. The volume of each piece is given by a polynomial whose combinatorial properties we investigate. We show how this "composition polynomial'' arises naturally in the polynomial interpolation of an exponential function. We prove that its coefficients are positive integers, and conjecture that they are unimodal. Nous introduisons une construction de "lifting'' (redressement) pour permutaèdres généralisés, qui transforme un permutaèdre généralisé de dimension $n$ en un de dimension $n+1$. Nous démontrons que cette construction conduit au multiplièdre de Stasheff à partir de la théorie d'homotopie, et aux "nestomultiplièdres", ce qui répond à deux questions de Devadoss et Forcey. Nous construisons une subdivision de n'importe quel permutaèdre généralisé dont les pièces sont indexées par compositions. La volume de chaque pièce est donnée par un polynôme dont nous recherchons les propriétés combinatoires. Nous montrons comment ce "polynôme de composition'' surgit naturellement dans l'interpolation d'une fonction exponentielle. Nous démontrons que ses coefficients sont strictement positifs, et nous conjecturons qu'ils sont unimodaux.

scholarly journals A Combinatorial Model for $q$-Generalized Stirling and Bell Numbers

2008 ◽  
Vol DMTCS Proceedings vol. AJ,... (Proceedings) ◽  
Author(s):  
Miguel Méndez ◽  
Adolfo Rodríguez
Keyword(s):  
Stirling Numbers ◽  
Direct Application ◽  
Bell Numbers ◽  
Bijective Correspondence ◽  
Rook Placements ◽  
Combinatorial Model ◽  
International Audience ◽  
Generalized Stirling Numbers ◽  
Dual Graded Graphs ◽  
Combinatorial Methods

International audience We describe a combinatorial model for the $q$-analogs of the generalized Stirling numbers in terms of bugs and colonies. Using both algebraic and combinatorial methods, we derive explicit formulas, recursions and generating functions for these $q$-analogs. We give a weight preserving bijective correspondence between our combinatorial model and rook placements on Ferrer boards. We outline a direct application of our theory to the theory of dual graded graphs developed by Fomin. Lastly we define a natural $p,q$-analog of these generalized Stirling numbers.

scholarly journals Combinatorial proofs of freeness of some P-algebras

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Vincent Vong
Keyword(s):  
Hilbert Series ◽  
Nous Permet ◽  
International Audience ◽  
Dendriform Algebras ◽  
Combinatorial Methods

International audience We present new combinatorial methods for solving algebraic problems such as computing the Hilbert series of a free $P$-algebra over one generator, or proving the freeness of a $P$-algebra. In particular, we apply these methods to the cases of dendriform algebras, quadrialgebras and tridendriform algebras, which leads us to prove a conjecture of Aguiar and Loday about the freeness of the quadrialgebra generated by the permutation 12. Nous présentons de nouvelles méthodes combinatoires permettant de résoudre des problèmes algébriques concernant les $P$-algèbres, comme déterminer la série de Hilbert de la $P$-algèbre libre sur un générateur, ou de prouver qu’une $P$-algèbre est libre. Nous les appliquons aux cas des algèbres dendriformes, des quadrialgèbres, et des algèbres tridendriformes. Cette approche nous permet en particulier de résoudre une conjecture de Aguiar et Loday à propos de la liberté de la quadrialgèbre engendrée par la permutation 12.

scholarly journals EL-labelings and canonical spanning trees for subword complexes

2013 ◽  
Vol DMTCS Proceedings vol. AS,... (Proceedings) ◽  
Author(s):  
Vincent Pilaud ◽  
Christian Stump
Keyword(s):  
Coxeter Group ◽  
Efficient Algorithm ◽  
Spanning Trees ◽  
The Other ◽  
Combinatorial Properties ◽  
Finite Coxeter Group ◽  
International Audience ◽  
Flip Graph ◽  
The One ◽  
Subword Complex

International audience We describe edge labelings of the increasing flip graph of a subword complex on a finite Coxeter group, and study applications thereof. On the one hand, we show that they provide canonical spanning trees of the facet-ridge graph of the subword complex, describe inductively these trees, and present their close relations to greedy facets. Searching these trees yields an efficient algorithm to generate all facets of the subword complex, which extends the greedy flip algorithm for pointed pseudotriangulations. On the other hand, when the increasing flip graph is a Hasse diagram, we show that the edge labeling is indeed an EL-labeling and derive further combinatorial properties of paths in the increasing flip graph. These results apply in particular to Cambrian lattices, in which case a similar EL-labeling was recently studied by M. Kallipoliti and H. Mühle.

scholarly journals Probabilistic initial value problem for cellular automaton rule 172

2010 ◽  
Vol DMTCS Proceedings vol. AL,... (Proceedings) ◽  
Author(s):  
Henryk Fuks
Keyword(s):  
Initial Value Problem ◽  
Level Sets ◽  
Topological Structure ◽  
Fibonacci Numbers ◽  
Initial Condition ◽  
Lucas Numbers ◽  
Initial Value ◽  
Time Step ◽  
International Audience ◽  
Combinatorial Methods

International audience We present a method of solving of the probabilistic initial value problem for cellular automata (CA) using CA rule 172 as an example. For a disordered initial condition on an infinite lattice, we derive exact expressions for the density of ones at arbitrary time step. In order to do this, we analyze topological structure of preimage trees of finite strings of length 3. Level sets of these trees can be enumerated directly using classical combinatorial methods, yielding expressions for the number of $n$-step preimages of all strings of length 3, and, subsequently, probabilities of occurrence of these strings in a configuration obtained from the initial one after $n$ iterations of rule 172. The density of ones can be expressed in terms of Fibonacci numbers, while expressions for probabilities of other strings involve Lucas numbers. Applicability of this method to other CA rules is briefly discussed.

scholarly journals Addition and multiplication of beta-expansions in generalized Tribonacci base

2007 ◽  
Vol Vol. 9 no. 2 ◽  
Author(s):  
Petr Ambrož ◽  
Zuzana Masáková ◽  
Edita Pelantová
Keyword(s):  
Real Root ◽  
Fractional Part ◽  
Arithmetic Operations ◽  
Numeration System ◽  
The Real ◽  
Infinite Words ◽  
Combinatorial Properties ◽  
Greedy Expansion ◽  
International Audience ◽  
Numeration Systems

International audience We study properties of β-numeration systems, where β > 1 is the real root of the polynomial x3 - mx2 - x - 1, m ∈ ℕ, m ≥ 1. We consider arithmetic operations on the set of β-integers, i.e., on the set of numbers whose greedy expansion in base β has no fractional part. We show that the number of fractional digits arising under addition of β-integers is at most 5 for m ≥ 3 and 6 for m = 2, whereas under multiplication it is at most 6 for all m ≥ 2. We thus generalize the results known for Tribonacci numeration system, i.e., for m = 1. We summarize the combinatorial properties of infinite words naturally defined by β-integers. We point out the differences between the structure of β-integers in cases m = 1 and m ≥ 2.

Sign in / Sign up

Export Citation Format

Share Document