Eleonora Litta, Traianos Manos, Lisa Fagin Davis
Hasil untuk "cs.DM"
Menampilkan 20 dari ~151687 hasil · dari DOAJ, CrossRef
Diana Carolina Henao
El presente artículo indaga las maneras en que la comunicación transmedia aunada a la participación ciudadana se constituye en una estrategia para generar y fortalecer procesos de movilización social. Plantea un recorrido teórico y conceptual sobre el concepto de narrativas transmedia en marco de la movilización social y toma como ejemplo para el análisis, por su representatividad y reconocimiento en las dinámicas sociales y culturales, al colectivo de Hip- Hop Casa Kolacho, cuyas acciones se llevan a cabo en la Comuna 13 de Medellín, territorio referente en la producción del Hip-hop en la ciudad. Se investiga además la perspectiva de éstos jóvenes involucrados en la producción cultural y creativa, relacionada con el Hip-Hop en la ciudad de Medellín. Para lograrlo, se llevó a cabo un análisis de redes sociales en el que se presentan contenidos relacionados con las producciones asociadas al Centro Cultural Casa Kolacho, la aplicación de entrevistas y seguimiento de las actividades de algunos graffiteros y miembros del Colectivo Casa Kolacho.
Inna Mikhaylova
Epigroups are semigroups equipped with an additional unary operation called pseudoinversion. Each finite semigroup can be considered as an epigroup. We prove the following theorem announced by Zhil'tsov in 2000: the equational theory of the class of all epigroups coincides with the equational theory of the class of all finite epigroups and is decidable. We show that the theory is not finitely based but provide a transparent infinite basis for it.
Avleen Kaur Malhi, Shalini Batra
Distributed Computing and Networking
Peng Li, Yaokun Wu
A spanning connectedness property is one which involves the robust existence of a spanning subgraph which is of some special form, say a Hamiltonian cycle in which a sequence of vertices appear in an arbitrarily given ordering, or a Hamiltonian path in the subgraph obtained by deleting any three vertices, or three internally-vertex-disjoint paths with any given endpoints such that the three paths meet every vertex of the graph and cover the edges of an almost arbitrarily given linear forest of a certain fixed size. Let π = π1 · · · πn be an ordering of the vertices of an n-vertex graph G. For any positive integer k ≤ n − 1, we call π a k-thick Hamiltonian vertex ordering of G provided it holds for all i ∈ {1,. .. , n − 1} that πiπi+1 ∈ E(G) and the number of neighbors of πi among {πi+1,. .. , πn} is at least min{n − i, k}; For any nonnegative integer k, we say that π is a −k-thick Hamiltonian vertex ordering of G provided |{i : πiπi+1 / ∈ E(G), 1 ≤ i ≤ n − 1}| ≤ k + 1. Our main discovery is that the existence of a thick Hamiltonian vertex ordering will guarantee that the graph has various kinds of spanning connectedness properties and that for interval graphs, quite a few seemingly unrelated spanning connectedness properties are equivalent to the existence of a thick Hamiltonian vertex ordering. Due to the connection between Hamiltonian thickness and spanning connectedness properties, we can present several linear time algorithms for associated problems. This paper suggests that much work in graph theory may have a spanning version which deserves further study, and that the Hamiltonian thickness may be a useful concept in understanding many spanning connectedness properties.
Andrew Timothy Wilson
We generalize previous definitions of Tesler matrices to allow negative matrix entries and non-positive hook sums. Our main result is an algebraic interpretation of a certain weighted sum over these matrices. Our interpretation uses <i>virtual Hilbert series</i>, a new class of symmetric function specializations which are defined by their values on (modified) Macdonald polynomials. As a result of this interpretation, we obtain a Tesler matrix expression for the Hall inner product $\langle \Delta_f e_n, p_{1^{n}}\rangle$, where $\Delta_f$ is a symmetric function operator from the theory of diagonal harmonics. We use our Tesler matrix expression, along with various facts about Tesler matrices, to provide simple formulas for $\langle \Delta_{e_1} e_n, p_{1^{n}}\rangle$ and $\langle \Delta_{e_k} e_n, p_{1^{n}}\rangle \mid_{t=0}$ involving $q; t$-binomial coefficients and ordered set partitions, respectively.
Hung-Chih Lee
Graph Theory
Aladin Virmaux
This paper considers the representation theory of towers of algebras of $\mathcal{J} -trivial$ monoids. Using a very general lemma on induction, we derive a combinatorial description of the algebra and coalgebra structure on the Grothendieck rings $G_0$ and $K_0$. We then apply our theory to some examples. We first retrieve the classical Krob-Thibon's categorification of the pair of Hopf algebras QSym$/NCSF$ as representation theory of the tower of 0-Hecke algebras. Considering the towers of semilattices given by the permutohedron, associahedron, and Boolean lattices, we categorify the algebra and the coalgebra structure of the Hopf algebras $FQSym , PBT$ , and $NCSF$ respectively. Lastly we completely describe the representation theory of the tower of the monoids of Non Decreasing Parking Functions.
Vincent Vong
In this article, we study some quotient sets on permutations built from peaks, valleys, double rises and double descents. One part is dedicated to the enumeration of the cosets using the bijection of Francon-Viennot which is a bijection between permutations and the so-called Laguerre histories. Then we study the algebraic properties of these quotient sets. After having shown that some of them give rise to quotient algebras of $\mathbf{FQSym}$, we prove that they are also free.
Matthias Beck, Yvonne Kemper
Given a graph $G$, the number of nowhere-zero $\mathbb{Z}_q$-flows $\phi _G(q)$ is known to be a polynomial in $q$. We extend the definition of nowhere-zero $\mathbb{Z} _q$-flows to simplicial complexes $\Delta$ of dimension greater than one, and prove the polynomiality of the corresponding function $\phi_{\Delta}(q)$ for certain $q$ and certain subclasses of simplicial complexes.
Jean-Christophe Aval, Adrien Boussicault, Philippe Nadeau
In this work we introduce and study tree-like tableaux, which are certain fillings of Ferrers diagrams in simple bijection with permutation tableaux and alternative tableaux. We exhibit an elementary insertion procedure on our tableaux which gives a clear proof that tableaux of size n are counted by n!, and which moreover respects most of the well-known statistics studied originally on alternative and permutation tableaux. Our insertion procedure allows to define in particular two simple new bijections between tree-like tableaux and permutations: the first one is conceived specifically to respect the generalized pattern 2-31, while the second one respects the underlying tree of a tree-like tableau.
Gunnar Brinkmann, Jan Goedgebeur, Brendan D. Mckay
Discrete Algorithms
Li Peng, Bo Tan
Combinatorics
Maciej Dolega, Valentin Féray, Piotr Sniady
Free cumulants are nice and useful functionals of the shape of a Young diagram, in particular they give the asymptotics of normalized characters of symmetric groups $\mathfrak{S}(n)$ in the limit $n \to \infty$. We give an explicit combinatorial formula for normalized characters of the symmetric groups in terms of free cumulants. We also express characters in terms of Frobenius coordinates. Our formulas involve counting certain factorizations of a given permutation. The main tool are Stanley polynomials which give values of characters on multirectangular Young diagrams.
Jean-Christophe Aval, Philippe Duchon
The aim of this work is to enumerate alternating sign matrices (ASM) that are quasi-invariant under a quarter-turn. The enumeration formula (conjectured by Duchon) involves, as a product of three terms, the number of unrestrited ASm's and the number of half-turn symmetric ASM's.
J. Irving, A. Rattan
We give a compact expression for the number of factorizations of any permutation into a minimal number of transpositions of the form $(1 i)$. Our result generalizes earlier work of Pak ($\textit{Reduced decompositions of permutations in terms of star transpositions, generalized catalan numbers and k-ary trees}$, Discrete Math. $\textbf{204}$:329―335, 1999) in which substantial restrictions were placed on the permutation being factored.
Drew Armstrong
Let $(W,S)$ be an arbitrary Coxeter system. For each sequence $\omega =(\omega_1,\omega_2,\ldots) \in S^{\ast}$ in the generators we define a partial order― called the $\omega \mathsf{-sorting order}$ ―on the set of group elements $W_{\omega} \subseteq W$ that occur as finite subwords of $\omega$ . We show that the $\omega$-sorting order is a supersolvable join-distributive lattice and that it is strictly between the weak and strong Bruhat orders on the group. Moreover, the $\omega$-sorting order is a "maximal lattice'' in the sense that the addition of any collection of edges from the Bruhat order results in a nonlattice. Along the way we define a class of structures called $\mathsf{supersolvable}$ $\mathsf{antimatroids}$ and we show that these are equivalent to the class of supersolvable join-distributive lattices.
Olga Azenhas
Pak and Vallejo have defined fundamental symmetry map as any Young tableau bijection for the commutativity of the Littlewood-Richardson coefficients $c_{\mu,\nu}^{\lambda}=c_{\nu, \mu}^{\lambda}$. They have considered four fundamental symmetry maps and conjectured that they are all equivalent (2004). The three first ones are based on standard operations in Young tableau theory and, in this case, the conjecture was proved by Danilov and Koshevoy (2005). The fourth fundamental symmetry, given by the author in (1999;2000) and reformulated by Pak and Vallejo, is defined by nonstandard operations in Young tableau theory and will be shown to be equivalent to the first one defined by the involution property of the Benkart-Sottile-Stroomer tableau switching. The proof of this equivalence provides, in the case the first tableau is Yamanouchi, a variation of the tableau switching algorithm which shows $\textit{switching}$ as an operation that takes two tableaux sharing a common border and moves them trough each other by decomposing the first tableau into a sequence of tableaux whose sequence of partition shapes defines a Gelfand-Tsetlin pattern. This property leads to a $\textit{jeu de taquin-chain sliding}$ on Littlewood-Richardson tableaux.
Jean Berstel, Luc Boasson, Olivier Carton
This paper is concerned with the analysis of the worst case behavior of Hopcroft's algorithm for minimizing deterministic finite state automata. We extend a result of Castiglione, Restivo and Sciortino. They show that Hopcroft's algorithm has a worst case behavior for the automata recognizing Fibonacci words. We prove that the same holds for all standard Sturmian words having an ultimately periodic directive sequence (the directive sequence for Fibonacci words is $(1,1,\ldots)$).
Markus Kuba, Alois Panholzer
In this work we analyze a class of diminishing 2×2 Pólya-Eggenberger urn models with ball replacement matrix M given by $M= \binom{ -a \,0}{c -d}, a,d∈\mathbb{N}$ and $c∈\mathbb{N} _0$. We obtain limit laws for this class of 2×2 urns by giving estimates for the moments of the considered random variables. As a special instance we obtain limit laws for the pills problem, proposed by Knuth and McCarthy, which corresponds to the special case $a=c=d=1$. Furthermore, we also obtain limit laws for the well known sampling without replacement urn, $a=d=1$ and $c=0$, and corresponding generalizations, $a,d∈\mathbb{N}$ and $c=0$.
Halaman 14 dari 7585