sequence
6845 papers tagged with this keyword
Traffic Distributions and Independence II: Universal Constructions for Traffic Spaces
We investigate questions related to the notion of traffics introduced by the author C. Male as a noncommutative probability space with numerous additional operations and equipped with the notion of traffic independence. We prove that any sequence of unitarily invariant random matrices that converges in noncommutative distribution converges in distribution of traffics whenever it fulfills some factorization property. We provide an explicit description of the limit which allows to recover and extend some applications (on the freeness from the transposed ensembles by Mingo and Popa and the freeness of infinite transitive graphs by Accardi, Lenczewski and Salapata). We also improve the theory of traffic spaces by considering a positivity axiom related to the notion of state in noncommutative probability. We construct the free product of spaces of traffics and prove that it preserves the positivity condition. This analysis leads to our main result stating that every noncommutative probability space endowed with a tracial state can be enlarged and equipped with a structure of space of traffics.
Combinatorial Formulas for Certain Sequences of Multiple Numbers
Published
• View Publication
• BIB
Multiple analogues of certain families of combinatorial numbers are recently constructed by the author in terms of well poised Macdonald functions, and some of their fundamental properties are developed. In this paper, we present combinatorial formulas for the well poised Macdonald functions, the multiple binomial coefficients, the multiple bracket function, and the multiple Catalan and Lah numbers.
The cohomology rings of regular nilpotent Hessenberg varieties in Lie type A
Published
• View Publication
• BIB
Let $n$ be a fixed positive integer and $h: \{1,2,\ldots,n\} \rightarrow \{1,2,\ldots,n\}$ a Hessenberg function. The main results of this paper are twofold. First, we give a systematic method, depending in a simple manner on the Hessenberg function $h$, for producing an explicit presentation by generators and relations of the cohomology ring $H^\ast(Hess(\mathsf{N},h))$ with $\mathbb{Q}$ coefficients of the corresponding regular nilpotent Hessenberg variety $Hess(\mathsf{N},h)$. Our result generalizes known results in special cases such as the Peterson variety and also allows us to answer a question posed by Mbirika and Tymoczko. Moreover, our list of generators in fact forms a regular sequence, allowing us to use techniques from commutative algebra in our arguments. Our second main result gives an isomorphism between the cohomology ring $H^*(Hess(\mathsf{N},h))$ of the regular nilpotent Hessenberg variety and the $S_n$-invariant subring $H^*(Hess(\mathsf{S},h))^{S_n}$ of the cohomology ring of the regular semisimple Hessenberg variety (with respect to the $S_n$-action on $H^*(Hess(\mathsf{S},h))$ defined by Tymoczko). Our second main result implies that $\mathrm{dim}_{\mathbb{Q}} H^k(Hess(\mathsf{N},h)) = \mathrm{dim}_{\mathbb{Q}} H^k(Hess(\mathsf{S},h))^{S_n}$ for all $k$ and hence partially proves the Shareshian-Wachs conjecture in combinatorics, which is in turn related to the well-known Stanley-Stembridge conjecture. A proof of the full Shareshian-Wachs conjecture was recently given by Brosnan and Chow, but in our special case, our methods yield a stronger result (i.e. an isomorphism of rings) by more elementary considerations. This paper provides detailed proofs of results we recorded previously in a research announcement.
The maximum product of weights of cross-intersecting families
Published
• View Publication
• BIB
Two families $\mathcal{A}$ and $\mathcal{B}$ of sets are said to be cross-$t$-intersecting if each set in $\mathcal{A}$ intersects each set in $\mathcal{B}$ in at least $t$ elements. An active problem in extremal set theory is to determine the maximum product of sizes of cross-$t$-intersecting subfamilies of a given family. We prove a cross-$t$-intersection theorem for weighted subsets of a set by means of a new subfamily alteration method, and use the result to provide solutions for three natural families. For $r\in[n]=\{1,2,\dots,n\}$, let ${[n]\choose r}$ be the family of $r$-element subsets of $[n]$, and let ${[n]\choose\leq r}$ be the family of subsets of $[n]$ that have at most $r$ elements. Let $\mathcal{F}_{n,r,t}$ be the family of sets in ${[n]\choose\leq r}$ that contain $[t]$. We show that if $g:{[m]\choose\leq r}\rightarrow\mathbb{R}^+$ and $h:{[n]\choose\leq s}\rightarrow\mathbb{R}^+$ are functions that obey certain conditions, $\mathcal{A}\subseteq{[m]\choose\leq r}$, $\mathcal{B}\subseteq{[n]\choose\leq s}$, and $\mathcal{A}$ and $\mathcal{B}$ are cross-$t$-intersecting, then \[\sum_{A\in\mathcal{A}}g(A)\sum_{B\in\mathcal{B}}h(B)\leq\sum_{C\in\mathcal{F}_{m,r,t}}g(C)\sum_{D\in\mathcal{F}_{n,s,t}}h(D),\] and equality holds if $\mathcal{A}=\mathcal{F}_{m,r,t}$ and $\mathcal{B}=\mathcal{F}_{n,s,t}$. We prove this in a more general setting and characterise the cases of equality. We use the result to show that the maximum product of sizes of two cross-$t$-intersecting families $\mathcal{A}\subseteq{[m]\choose r}$ and $\mathcal{B}\subseteq{[n]\choose s}$ is ${m-t\choose r-t}{n-t\choose s-t}$ for $\min\{m,n\}\geq n_0(r,s,t)$, where $n_0(r,s,t)$ is close to best possible. We obtain analogous results for families of integer sequences and for families of multisets. The results yield generalisations for $k\geq2$ cross-$t$-intersecting families, and Erdos-Ko-Rado-type results.
Packing spanning graphs from separable families
Published
• View Publication
• BIB
Let $\mathcal G$ be a separable family of graphs. Then for all positive constants $ε$ and $Δ$ and for every sufficiently large integer $n$, every sequence $G_1,\dotsc,G_t\in\mathcal G$ of graphs of order $n$ and maximum degree at most $Δ$ such that $e(G_1)+\dotsb+e(G_t) \leq (1-ε)\binom{n}{2}$ packs into $K_n$. This improves results of Böttcher, Hladký, Piguet, and Taraz when $\mathcal G$ is the class of trees and of Messuti, Rödl, and Schacht in the case of a general separable family. The result also implies approximate versions of the Oberwolfach problem and of the Tree Packing Conjecture of Gyárfás (1976) for the case that all trees have maximum degree at most $Δ$. The proof uses the local resilience of random graphs and a special multi-stage packing procedure.
On degree sequences of undirected, directed, and bidirected graphs
Published
• View Publication
• BIB
Bidirected graphs generalize directed and undirected graphs in that edges are oriented locally at every node. The natural notion of the degree of a node that takes into account (local) orientations is that of net-degree. In this paper, we extend the following four topics from (un)directed graphs to bidirected graphs:
- Erdős-Gallai-type results: characterization of net-degree sequences,
- Havel-Hakimi-type results: complete sets of degree-preserving operations,
- Extremal degree sequences: characterization of uniquely realizable sequences, and
- Enumerative aspects: counting formulas for net-degree sequences.
To underline the similarities and differences to their (un)directed counterparts, we briefly survey the undirected setting and we give a thorough account for digraphs with an emphasis on the discrete geometry of degree sequences. In particular, we determine the tight and uniquely realizable degree sequences for directed graphs.
On a class of transformations of sequences of complex numbers
In this paper we consider a transformation $L_a$ of sequences of complex numbers. We find the inverse transformation of $L_a$ as well as the inverse of a related transformation $\tilde{L}_a$. We explore a connection to the binomial transform and significantly generalize a previously known result. We also obtain new relations among many classical hypergeometric orthogonal polynomials as well as new formulas for sums involving terminating hypergeometric series.
Counterexamples to conjectures on graph distance measures based on topological indexes
In this paper we disprove three conjectures from [M. Dehmer, F. Emmert-Streib, Y. Shi, Interrelations of graph distance measures based on topological indices, PLoS ONE 9 (2014) e94985] on graph distance measures based on topological indices by providing explicit classes of trees that do not satisfy proposed inequalities. The constructions are based on the families of trees that have the same Wiener index, graph energy or Randic index - but different degree sequences.
On tensor products of CSS Codes
Published
• View Publication
• BIB
CSS codes are in one-to-one correspondance with length 3 chain complexes. The latter are naturally endowed with a tensor product $\otimes$ which induces a similar operation on the former. We investigate this operation, and in particular its behavior with regard to minimum distances. Given a CSS code $\mathcal{C}$, we give a criterion which provides a lower bound on the minimum distance of $\mathcal{C} \otimes \mathcal{D}$ for every CSS code $\mathcal D$. We apply this result to study the behaviour of iterated tensor powers of codes. Such sequences of codes are logarithmically LDPC and we prove in particular that their minimum distances tend generically to infinity. Different known results are reinterpretated in terms of tensor products. Three new families of CSS codes are defined, and their iterated tensor powers produce LDPC sequences of codes with length $n$, row weight in $O(\log n)$ and minimum distances larger than $n^{\fracα{2}}$ for any $α<1$. One family produces sequences with dimensions larger than $n^β$ for any $β<1$.
Paths vs. stars in the local profile of trees
Published
• View Publication
• BIB
The aim of this paper is to provide an affirmative answer to a recent question by Bubeck and Linial on the local profile of trees. For a tree $T$, let $p^{(k)}_1(T)$ be the proportion of paths among all $k$-vertex subtrees (induced connected subgraphs) of $T$, and let $p^{(k)}_2(T)$ be the proportion of stars. Our main theorem states: if $p^{(k)}_1(T_n) \to 0$ for a sequence of trees $T_1,T_2,\ldots$ whose size tends to infinity, then $p^{(k)}_2(T_n) \to 1$. Both are also shown to be equivalent to the statement that the number of $k$-vertex subtrees grows superlinearly and the statement that the $(k-1)$th degree moment grows superlinearly.
Graphs of Large Girth and Surfaces of Large Systole
Published
• View Publication
• BIB
The systole of a hyperbolic surface is bounded by a logarithmic function of its genus. This bound is sharp, in that there exist sequences of surfaces with genera tending to infinity that attain logarithmically large systoles. These are constructed by taking congruence covers of arithmetic surfaces.
In this article we provide a new construction for a sequence of surfaces with systoles that grow logarithmically in their genera. We do this by combining a construction for graphs of large girth and a count of the number of $\mathrm{SL}_2(\mathbb{Z})$ matrices with positive entries and bounded trace.
The C-finite Ansatz Meets the Holonomic Ansatz
We show how the continuous Almkvist-Zeilberger algorithm can be used to efficiently discover and prove differential equations satisfied by generating functions of sequences defined as integrals of powers of C-finite polynomial sequences (like the Chebyshev polynomials) from which one can automatically derive linear recurrences with polynomial coefficients for the sequences themselves. We fully implement this with a Maple package, CfiniteIntergal.txt .
A path Turan problem for infinite graphs
Published
• View Publication
• BIB
Let $G$ be an infinite graph whose vertex set is the set of positive integers, and let $G_n$ be the subgraph of $G$ induced by the vertices $\{1,2, \dots , n \}$. An increasing path of length $k$ in $G$, denoted $I_k$, is a sequence of $k+1$ vertices $1 \leq i_1 < i_2 < \dots < i_{k+1}$ such that $i_1, i_2, \ldots, i_{k+1}$ is a path in $G$. For $k \geq 2$, let $p(k)$ be the supremum of $\liminf_{ n \rightarrow \infty} \frac{ e(G_n) }{n^2}$ over all $I_k$-free graphs $G$. In 1962, Czipszer, Erdős, and Hajnal proved that $p(k) = \frac{1}{4} (1 - \frac{1}{k})$ for $k \in \{2,3 \}$. Erdős conjectured that this holds for all $ k \geq 4$. This was disproved for certain values of $k$ by Dudek and Rödl who showed that $p(16) > \frac{1}{4} (1 - \frac{1}{16})$ and $p(k) > \frac{1}{4} + \frac{1}{200}$ for all $k \geq 162$. Given that the conjecture of Erdős is true for $k \in \{2,3 \}$ but false for large $k$, it is natural to ask for the smallest value of $k$ for which $p(k) > \frac{1}{4} ( 1 - \frac{1}{k} )$. In particular, the question of whether or not $p(4) = \frac{1}{4} ( 1 - \frac{1}{4} )$ was mentioned by Dudek and Rödl as an open problem. We solve this problem by proving that $p(4) \geq \frac{1}{4} (1 - \frac{1}{4} ) + \frac{1}{584064}$ and $p(k) > \frac{1}{4} (1 - \frac{1}{k})$ for $4 \leq k \leq 15$. We also show that $p(4) \leq \frac{1}{4}$ which improves upon the previously best known upper bound on $p(4)$. Therefore, $p(4)$ must lie somewhere between $\frac{3}{16} + \frac{1}{584064}$ and $\frac{1}{4}$
On Cyclic Kautz Digraphs
A prominent problem in Graph Theory is to find extremal graphs or digraphs with restrictions in their diameter, degree and number of vertices. Here we obtain a new family of digraphs with minimal diameter, that is, given the number of vertices and out-degree there is no other digraph with a smaller diameter. This new family is called modified cyclic digraphs $MCK(d,\ell)$ and it is derived from the Kautz digraphs $K(d,\ell)$. %It is not common to find non-regular digraphs with minimal diameter given their number of vertices and out-degree.
It is well-known that the Kautz digraphs $K(d,\ell)$ have the smallest diameter among all digraphs with their number of vertices and degree. We define the cyclic Kautz digraphs $CK(d,\ell)$, whose vertices are labeled by all possible sequences $a_1\ldots a_\ell$ of length $\ell$, such that each character $a_i$ is chosen from an alphabet containing $d+1$ distinct symbols, where the consecutive characters in the sequence are different (as in Kautz digraphs), and now also requiring that $a_1\neq a_\ell$. The cyclic Kautz digraphs $CK(d,\ell)$ have arcs between vertices $a_1 a_2\ldots a_\ell$ and $a_2 \ldots a_\ell a_{\ell+1}$, with $a_1\neq a_\ell$ and $a_2\neq a_{\ell+1}$. Unlike in Kautz digraphs $K(d,\ell)$, any label of a vertex of $CK(d,\ell)$ can be cyclically shifted to form again a label of a vertex of $CK(d,\ell)$.
We give the main parameters of $CK(d,\ell)$: number of vertices, number of arcs, and diameter. Moreover, we construct the modified cyclic Kautz digraphs $MCK(d,\ell)$ to obtain the same diameter as in the Kautz digraphs, and we show that $MCK(d,\ell)$ are $d$-out-regular. Finally, we compute the number of vertices of the iterated line digraphs of $CK(d,\ell)$.
Well-quasi-ordering and finite distinguishing number
Published
• View Publication
• BIB
Balogh, Bollobas and Weinreich showed that a parameter that has since been termed the distinguishing number can be used to identify a jump in the possible speeds of hereditary classes of graphs at the sequence of Bell numbers.
We prove that every hereditary class that lies above the Bell numbers and has finite distinguishing number contains a boundary class for well-quasi-ordering. This means that any such hereditary class which in addition is defined by finitely many minimal forbidden induced subgraphs must contain an infinite antichain. As all hereditary classes below the Bell numbers are well-quasi-ordered, our results complete the answer to the question of well-quasi-ordering for hereditary classes with finite distinguishing number.
We also show that the decision procedure of Atminas, Collins, Foniok and Lozin to decide the Bell number (and which now also decides well-quasi-ordering for classes of finite distinguishing number) has run time bounded by an explicit (quadruple exponential) function of the order of the largest minimal forbidden induced subgraph of the class.
3-connected graphs and their degree sequences
Necessary and sufficient conditions for a sequence of positive integers to be the degree sequence of a 3-connected simple graph are detailed. Conditions are also given under which such a sequence is necessarily 3-connected i.e. the sequence can only be realised as a 3-connected graph. Finally, a matrix is introduced whose non-empty entries partition the set of 3-connected graphs.
k-connected degree sequences
Necessary and sufficient conditions for a sequence of positive integers to be the degree sequence of a k-connected simple graph are detailed. Conditions are also given under which such a sequence is necessarily k-connected.
A Central Limit Theorem for the Optimal Alignments Score in Multiple Random Words
Let $\mathbf{X}^{(1)}_{n},\ldots,\mathbf{X}^{(m)}_{n}$, where $\mathbf{X}^{(i)}_{n}=(X^{(i)}_{1},\ldots,X^{(i)}_{n})$, $i=1,\ldots,m$, be $m$ independent sequences of independent and identically distributed random variables taking their values in a finite alphabet $\mathcal{A}$. Let the score function $S$, defined on $\mathcal{A}^{m}$, be non-negative, bounded, permutation-invariant, and satisfy a bounded differences condition. Under a variance lower-bound assumption, a central limit theorem is proved for the optimal alignments score of the $m$ random words.
Simplicial moves on balanced complexes
Published
• View Publication
• BIB
We introduce a notion of cross-flips: local moves that transform a balanced (i.e., properly $(d+1)$-colored) triangulation of a combinatorial $d$-manifold into another balanced triangulation. These moves form a natural analog of bistellar flips (also known as Pachner moves). Specifically, we establish the following theorem: any two balanced triangulations of a closed combinatorial $d$-manifold can be connected by a sequence of cross-flips. Along the way we prove that for every $m \geq d+2$ and any closed combinatorial $d$-manifold $M$, two $m$-colored triangulations of $M$ can be connected by a sequence of bistellar flips that preserve the vertex colorings.
A Probabilistic Characterization of the Dominance Order on Partitions
Published
• View Publication
• BIB
A probabilistic characterization of the dominance partial order on the set of partitions is presented. This extends work in "Symmetric polynomials and symmetric mean inequalities". Electron. J. Combin., 20(3): Paper 34, 2013.
Let $n$ be a positive integer and let $ν$ be a partition of $n$. Let $F$ be the Ferrers diagram of $ν$. Let $m$ be a positive integer and let $p \in (0,1)$. Fill each cell of $F$ with balls, the number of which is independently drawn from the random variable $X = Bin(m,p)$. Given non-negative integers $j$ and $t$, let $P(ν,j,t)$ be the probability that the total number of balls in $F$ is $j$ and that no row of $F$ contains more that $t$ balls. We show that if $ν$ and $μ$ are partitions of $n$, then $ν$ dominates $μ$, i.e. $\sum_{i=1}^k ν(i) \geq \sum_{i=1}^k μ(i)$ for all positive integers $k$, if and only if $P(ν,j,t) \leq P(μ,j,t)$ for all non-negative integers $j$ and $t$. It is also shown that this same result holds when $X$ is replaced by any one member of a large class of random variables.
Let $p = \{p_n\}_{n=0}^\infty$ be a sequence of real numbers. Let ${\cal T}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal T}_p)_{i,j} = p_{j-i}$ for all $i, j \in \mathbb{N}$ where we take $p_n = 0$ for $n < 0$. Let $(p^i)_j$ be the coefficient of $x^j$ in $(p(x))^i$ where $p(x) = \sum_{n=0}^\infty p_n x^n$ and $p^0(x) =1$. Let ${\cal S}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal S}_p)_{i,j} = (p^i)_j$ for all $i, j \in \mathbb{N}$. We show that if ${\cal T}_p$ is totally non-negative of order $k$ then so is ${\cal S}_p$. The case $k=2$ of this result is a key step in the proof of the result on domination. We also show that the case $k=2$ would follow from a combinatorial conjecture that might be of independent interest.