arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Global Structural Properties of Random Graphs
Published • View Publication • BIB
We study two global structural properties of a graph $Γ$, denoted AS and CFS, which arise in a natural way from geometric group theory. We study these properties in the Erdös--Rényi random graph model G(n,p), proving a sharp threshold for a random graph to have the AS property asymptotically almost surely, and giving fairly tight bounds for the corresponding threshold for CFS. As an application of our results, we show that for any constant p and any $Γ\in G(n,p)$, the right-angled Coxeter group $W_Γ$ asymptotically almost surely has quadratic divergence and thickness of order 1, generalizing and strengthening a result of Behrstock--Hagen--Sisto.
2015-05-08
Some results on Dyck paths and Motzkin paths
We introduce an equivalence relation on the set of Dyck paths and some operations on them. We determine a formula for the cardinality of those equivalence classes and use this information to obtain a combinatorial formula for the number of Dyck and Motzkin paths of a fixed length.
2015-05-08 v2
On the poset of vector partitions
We consider the poset of vector partitions of $[n]$ into $s$ components, denoted $Π_{n,s}$, which was first defined by Stanley in 1978. In 1986, Sagan showed that this poset is CL-shellable, and hence has the homotopy type of a wedge of spheres of dimension $(n-2)$. We extend on this result to show that $Π_{n,s}$ is edge-lexicographic shellable. We then use this edge-labeling to find a recursive expression for the number of spheres, and show that when $s=1$ the number of spheres is equal to the number of complete non-ambiguous trees, first defined in 2014 by Aval, Boussicault, Bouvel and Silimbani.
Vertex-transitive graphs and their arc-types
Published • View Publication • BIB
Let $X$ be a finite vertex-transitive graph of valency $d$, and let $A$ be the full automorphism group of $X$. Then the arc-type of $X$ is defined in terms of the sizes of the orbits of the action of the stabiliser $A_v$ of a given vertex $v$ on the set of arcs incident with $v$. Specifically, the arc-type is the partition of $d$ as the sum $$n_1 + n_2 + \dots + n_t + (m_1 + m_1) + (m_2 + m_2) + \dots + (m_s + m_s),$$ where $n_1, n_2, \dots, n_t$ are the sizes of the self-paired orbits, and $m_1,m_1, m_2,m_2, \dots, m_s,m_s$ are the sizes of the non-self-paired orbits, in descending order. In this paper, we find the arc-types of several families of graphs. Also we show that the arc-type of a Cartesian product of two `relatively prime' graphs is the natural sum of their arc-types. Then using these observations, we show that with the exception of $1+1$ and $(1+1)$, every partition as defined above is realisable, in the sense that there exists at least one graph with the given partition as its arc-type.
2015-05-08 v2
Small roots, low elements, and the weak order in Coxeter groups
Published • View Publication • BIB
In this article we provide a new finite class of elements in any Coxeter system (W,S) called low elements. They are defined from Brink and Howlett's small roots, which are strongly linked to the automatic structure of (W,S). Our first main result is to show that they form a Garside shadow in (W,S), i.e., they contain S and are closed under join (for the right weak order) and by taking suffixes. These low elements are the key to prove that all finitely generated Artin-Tits groups have a finite Garside family. This result was announced in a note with P. Dehornoy (P. Dehornoy, M. Dyer, and C. Hohlweg. Garside families in Artin-Tits monoids and low elements in Coxeter groups. Comptes Rendus Mathematique, 353:403-408., 2015.) in which the present article was referred to under the following working title: Monotonicity of dominance-depth on root systems and applications. The proof is based on a fundamental property enjoyed by small roots and which is our second main result; the set of small root is bipodal. For a natural number n, we define similarly n-low elements from n-small roots and conjecture that the set of n-small roots is bipodal, implying the set of n-low elements is a Garside shadow; we prove this conjecture for affine Coxeter groups and Coxeter groups whose graph is labelled by 3 and infinity. To prove the latter, we extend the root poset on positive roots to a weak order on the root system and define a Bruhat order on the root system, and study the paths in those orders in order to establish a criterion to prove bipodality involving only finite dihedral reflection subgroups.
2015-05-08
Congruences for spin characters of the double covers of the symmetric and alternating groups
Published in Advances in Applied Mathematics 80 (2016), 114-130 • View Publication • BIB
Let $p$ be an odd prime. The bar partitions with sign and $p$-bar-core partitions with sign respectively label the spin characters and $p$-defect zero spin characters of the double cover of the symmetric group, and by restriction, those of the alternating group. The generating functions for these objects have been determined by J. Olsson. We study these functions from an arithmetic perspective, using classical analytic tools and elementary generating function manipulation to obtain many Ramanujan-like congruences.
2015-05-08
Construction of Subspace Codes through Linkage
Published • View Publication • BIB
A construction is presented that allows to produce subspace codes of long length using subspace codes of shorter length in combination with a rank metric code. The subspace distance of the resulting code, called linkage code, is as good as the minimum subspace distance of the constituent codes. As a special application, the construction of the best known partial spreads is reproduced. Finally, for a special case of linkage, a decoding algorithm is presented which amounts to decoding with respect to the smaller constituent codes and which can be parallelized.
2015-05-07 v2
An algebraic approach to temporal network analysis based on temporal quantities
Published in Social Network Analysis and Mining, 6(2016)1, 1-22 • View Publication • BIB
In a temporal network, the presence and activity of nodes and links can change through time. To describe temporal networks we introduce the notion of temporal quantities. We define the addition and multiplication of temporal quantities in a way that can be used for the definition of addition and multiplication of temporal networks. The corresponding algebraic structures are semirings. The usual approach to (data) analysis of temporal networks is to transform it into a sequence of time slices -- static networks corresponding to selected time intervals and analyze each of them using standard methods to produce a sequence of results. The approach proposed in this paper enables us to compute these results directly. We developed fast algorithms for the proposed operations. They are available as an open source Python library TQ (Temporal Quantities) and a program Ianus. The proposed approach enables us to treat as temporal quantities also other network characteristics such as degrees, connectivity components, centrality measures, Pathfinder skeleton, etc. To illustrate the developed tools we present some results from the analysis of Franzosi's violence network and Corman's Reuters terror news network.
Colouring graphs with constraints on connectivity
Published in Journal of Graph Theory 85 (2017), 814-838 • View Publication • BIB
A graph $G$ has maximal local edge-connectivity $k$ if the maximum number of edge-disjoint paths between every pair of distinct vertices $x$ and $y$ is at most $k$. We prove Brooks-type theorems for $k$-connected graphs with maximal local edge-connectivity $k$, and for any graph with maximal local edge-connectivity 3. We also consider several related graph classes defined by constraints on connectivity. In particular, we show that there is a polynomial-time algorithm that, given a 3-connected graph $G$ with maximal local connectivity 3, outputs an optimal colouring for $G$. On the other hand, we prove, for $k \ge 3$, that $k$-colourability is NP-complete when restricted to minimally $k$-connected graphs, and 3-colourability is NP-complete when restricted to $(k-1)$-connected graphs with maximal local connectivity $k$. Finally, we consider a parameterization of $k$-colourability based on the number of vertices of degree at least $k+1$, and prove that, even when $k$ is part of the input, the corresponding parameterized problem is FPT.
2015-05-07 v2
Difference equations for graded characters from quantum cluster algebra
Published • View Publication • BIB
We introduce a new set of $q$-difference operators acting as raising operators on a family of symmetric polynomials which are characters of graded tensor products of current algebra ${\mathfrak g}[u]$ KR-modules \cite{FL} for ${\mathfrak g}=A_r$. These operators are generalizations of the Kirillov-Noumi \cite{kinoum} Macdonald raising operators, in the dual $q$-Whittaker limit $t\to\infty$. They form a representation of the quantum $Q$-system of type $A$ \cite{qKR}. This system is a subalgebra of a quantum cluster algebra, and is also a discrete integrable system whose conserved quantities, analogous to the Casimirs of $U_q({\mathfrak sl}_{r+1})$, act as difference operators on the above family of symmetric polynomials. The characters in the special case of products of fundamental modules are class I $q$-Whittaker functions, or characters of level-1 Demazure modules or Weyl modules. The action of the conserved quantities on these characters gives the difference quantum Toda equations \cite{Etingof}. We obtain a generalization of the latter for arbitrary tensor products of KR-modules.
Divisibility patterns of natural numbers on a complex network
Published in Scientific Reports 5:14280 (2015) • View Publication • BIB
Investigation of divisibility properties of natural numbers is one of the most important themes in the theory of numbers. Various tools have been developed over the centuries to discover and study the various patterns in the sequence of natural numbers in the context of divisibility. In the present paper, we study the divisibility of natural numbers using the framework of a growing complex network. In particular, using tools from the field of statistical inference, we show that the network is scale-free but has a non-stationary degree distribution. Along with this, we report a new kind of similarity pattern for the local clustering, which we call "stretching similarity", in this network. We also show that the various characteristics like average degree, global clustering coefficient and assortativity coefficient of the network vary smoothly with the size of the network. Using analytical arguments we estimate the asymptotic behavior of global clustering and average degree which is validated using numerical analysis.
2015-05-07
Minimal mutation-infinite quivers
Published • View Publication • BIB
Quivers constructed from hyperbolic Coxeter simplices give examples of minimal mutation-infinite quivers, however they are not the only such quivers. We classify minimal mutation-infinite quivers through a number of moves and link the representatives of the classes with the hyperbolic Coxeter simplices, plus exceptional classes which are not related to simplices.
2015-05-07
Containment game played on random graphs: another zig-zag theorem
We consider a variant of the game of Cops and Robbers, called Containment, in which cops move from edge to adjacent edge, the robber moves from vertex to adjacent vertex (but cannot move along an edge occupied by a cop). The cops win by "containing" the robber, that is, by occupying all edges incident with a vertex occupied by the robber. The minimum number of cops, $ξ(G)$, required to contain a robber played on a graph $G$ is called the containability number, a natural counterpart of the well-known cop number $c(G)$. This variant of the game was recently introduced by Komarov and Mackey, who proved that for every graph $G$, $c(G) \le ξ(G) \le γ(G) Δ(G)$, where $γ(G)$ and $Δ(G)$ are the domination number and the maximum degree of $G$, respectively. They conjecture that an upper bound can be improved and, in fact, $ξ(G) \le c(G) Δ(G)$. (Observe that, trivially, $c(G) \le γ(G)$.) This seems to be the main question for this game at the moment. By investigating expansion properties, we provide asymptotically almost sure bounds on the containability number of binomial random graphs $G(n,p)$ for a wide range of $p=p(n)$, showing that it forms an intriguing zigzag shape. This result also proves that the conjecture holds for some range of $p$ (or holds up to a constant or an $O(\log n)$ multiplicative factors for some other ranges).
2015-05-07 v2
Some properties of Fibonacci numbers, Fibonacci octonions and generalized Fibonacci-Lucas octonions
Published • View Publication • BIB
In this paper we determine some properties of Fibonacci octonions. Also, we introduce the generalized Fibonacci-Lucas octonions and we investigate some properties of these elements.
2015-05-07 v3
Rainbow matchings in bipartite multigraphs
Suppose that $k$ is a non-negative integer and a bipartite multigraph $G$ is the union of $$N=\left\lfloor \frac{k+2}{k+1}n\right\rfloor -(k+1)$$ matchings $M_1,\dots,M_N$, each of size $n$. We show that $G$ has a rainbow matching of size $n-k$, i.e. a matching of size $n-k$ with all edges coming from different $M_i$'s. Several choices of parameters relate to known results and conjectures.
2015-05-07 v4
New Proofs of Königs Theorem
Published in Indonesian Journal of Combinatorics 1 (2): 78-81 (2017) • View Publication • BIB
We introduce four new elementary short proofs of the famous König's theorem which characterizes bipartite graphs by absence of odd cycles.
2015-05-07 v2
Symmetric Chromatic Polynomial of Trees
In a 1995 paper Richard Stanley defined $X_G$, the symmetric chromatic polynomial of a Graph $G=(V,E)$. He then conjectured that $X_G$ distinguishes trees; a conjecture which still remains open. $X_G$ can be represented as a certain collection of integer partitions of $|V|$ induced by each $S\subseteq E$, which is very approachable with the aid of a computer. Our research involved writing a computer program for efficient verification of this conjecture for trees up to 23 vertices. In this process, we also gather trees with matching collections of integer partitions of a fixed number of parts. For each $k=2, 3, 4, 5$, we provide the smallest pair of trees whose partitions of $k$ parts agree. In 2013, Orellana and Scott give a proof of a weaker version of Stanely's conjecture for trees with one centroid. We prove a similar result for arbitrary trees, and provide examples to show that this result, combined with that of Orellana and Scott, is optimal.
2015-05-07 v2
Nonnegative rank depends on the field
Published • View Publication • BIB
We present an example of a subfield $\mathcal{F}\subset\mathbb{R}$ and a matrix $A$ whose conventional and nonnegative ranks equal five, but the nonnegative rank with respect to $\mathcal{F}$ equals six. In other words, $A$ can be represented as a sum of five rank-one matrices with nonnegative real entries but not as a sum of five rank-one matrices with nonnegative entries in $\mathcal{F}$.
A new property of the Lovász number and duality relations between graph parameters
Published in Discrete Applied Mathematics, vol. 216, part 3, pp. 489-501 (2017) • View Publication • BIB
We show that for any graph $G$, by considering "activation" through the strong product with another graph $H$, the relation $α(G) \leq \vartheta(G)$ between the independence number and the Lovász number of $G$ can be made arbitrarily tight: Precisely, the inequality \[ α(G \times H) \leq \vartheta(G \times H) = \vartheta(G)\,\vartheta(H) \] becomes asymptotically an equality for a suitable sequence of ancillary graphs $H$. This motivates us to look for other products of graph parameters of $G$ and $H$ on the right hand side of the above relation. For instance, a result of Rosenfeld and Hales states that \[ α(G \times H) \leq α^*(G)\,α(H), \] with the fractional packing number $α^*(G)$, and for every $G$ there exists $H$ that makes the above an equality; conversely, for every graph $H$ there is a $G$ that attains equality. These findings constitute some sort of duality of graph parameters, mediated through the independence number, under which $α$ and $α^*$ are dual to each other, and the Lovász number $\vartheta$ is self-dual. We also show duality of Schrijver's and Szegedy's variants $\vartheta^-$ and $\vartheta^+$ of the Lovász number, and explore analogous notions for the chromatic number under strong and disjunctive graph products.
2015-05-06 v2
A Nekrasov-Okounkov Type formula for $\widetilde{C}$
In 2008, Han rediscovered an expansion of powers of Dedekind $η$ function attributed to Nekrasov and Okounkov (which was actually first proved the same year by Westbury) by using a famous identity of Macdonald in the framework of type $\widetilde{A}$ affine root systems. In this paper, we obtain new combinatorial expansions of powers of $η$, in terms of partition hook lengths, by using the Macdonald identity in type $\widetilde{C}$ and a new bijection between vectors with integral coordinates and a subset of $t$-cores for integer partitions. As applications, we derive a symplectic hook formula and an unexpected relation between the Macdonald identities in types $\widetilde{C}$, $\widetilde{B}$, and $\widetilde{BC}$. We also generalize these expansions through the Littlewood decomposition and deduce in particular many new weighted generating functions for subsets of integer partitions and refinements of hook formulas.