sequence
7073 papers tagged with this keyword
Bijective proofs of shuffle compatibility results
Published
• View Publication
• BIB
Define a permutation to be any sequence of distinct positive integers. Given two permutations p and s on disjoint underlying sets, we denote by p sh s the set of shuffles of p and s (the set of all permutations obtained by interleaving the two permutations). A permutation statistic is a function St whose domain is the set of permutations such that St(p) only depends on the relative order of the elements of p. A permutation statistic is shuffle compatible if the distribution of St on p sh s depends only on St(p) and St(s) and their lengths rather than on the individual permutations themselves. This notion is implicit in the work of Stanley in his theory of P-partitions. The definition was explicitly given by Gessel and Zhuang who proved that various permutation statistics were shuffle compatible using mainly algebraic means. This work was continued by Grinberg. The purpose of the present article is to use bijective techniques to give demonstrations of shuffle compatibility. In particular, we show how a large number of permutation statistics can be shown to be shuffle compatible using a few simple bijections. Our approach also leads to a method for constructing such bijective proofs rather than having to treat each one in an ad hoc manner. Finally, we are able to prove a conjecture of Gessel and Zhuang about the shuffle compatibility of a certain statistic.
Counting numerical semigroups by genus and even gaps via Kunz-coordinate vectors
Published
• View Publication
• BIB
We contruct a one-to-one correspondence between a subset of numerical semigroups with genus $g$ and $γ$ even gaps and the integer points of a rational polytope. In particular, we give an overview to apply this correspondence to try to decide if the sequence $(n_g)$ is increasing, where $n_g$ denotes the number of numerical semigroups with genus $g$.
On the Degree Sequences of Multigraphs with Edge Additions and Deletions
The degree sequence of a graph is a numerical method to characterize the properties of graphs. Generalized forms of degree sequences exist for complete graphs and complete graphs. Nikolopolus et al. characterized the number of spanning trees from edge deletions and edge additions. Instead of investigating the number of spanning trees of graphs that arise from edge additions and deletions, we sought to characterize degree sequences of such graphs. We conjecture a characterization for the degree sequence of the addition and edge deletion for many families of graphs including threshold graphs and complete multigraphs.
Keywords: multigraphs, split graphs, degree sequence, threshold graph, Havel-Hakimi, Ruch-Gutman, Edge Deletion
Total positivity is a quantum phenomenon: the grassmannian case
Published
• View Publication
• BIB
The main aim of this paper is to establish a deep link between the totally nonnegative grassmannian and the quantum grassmannian. More precisely, under the assumption that the deformation parameter $q$ is transcendental, we show that "quantum positroids" are completely prime ideals in the quantum grassmannian $A$. As a consequence, we obtain that torus-invariant prime ideals in the quantum grassmannian are generated by polynormal sequences of quantum Plücker coordinates and give a combinatorial description of these generating sets. We also give a topological description of the poset of torus-invariant prime ideals in $A$, and prove a version of the orbit method for torus-invariant objects. Finally, we construct separating Ore sets for all torus-invariant primes in $A$. The latter is the first step in the Brown-Goodearl strategy to establish the orbit method for (quantum) grassmannians.
Constant coefficient Laurent biorthogonal polynomials, Riordan arrays and moment sequences
We study properties of constant coefficient Laurent biorthogonal polynomials using Riordan arrays. We give details of related orthogonal polynomials, and we explore relationships between the moments of these orthogonal polynomials, the moments of the defining Laurent biorthogonal polynomials, and the expansions of $T$-fractions. Closed form expressions are given for the polynomials and their moments.
On Horadam-Lucas sequence
Horadam introduced a new generalized sequence of numbers, describing its key features and the special sub-sequences that are obtained depending on the choices of initial parameters. This sequence and its sub-sequences are known as the Horadam, generalized Fibonacci, and generalized Lucas numbers, respectively. In the present study, we propose another new sequence, which satisfies a second-order recurrence relation, in addition to Horadam's definition. Further, we prove the Binet's formula, some famous identities, and summation formulas for this new sequence. In particular, we demonstrate the interrelationships between our new sequence and the Horadam sequence.
Brouwer's conjecture holds asymptotically almost surely
Published
• View Publication
• BIB
We show that for a sequence of random graphs Brouwer's conjecture holds true with probability tending to one as the number of vertices tends to infinity. Surprisingly, it was found that a similar statement holds true for weighted graphs with possible negative weights as well. For graphs with a fixed number of vertices, the result implies that there are constants $C>0$ and $n_{0}$ such that if $n\geq n_{0}$ then among all $2^{n \choose 2}$ graphs with $n$ vertices, at least $\left(1-\exp\left(-Cn\right)\right)2^{n \choose 2}$ graphs satisfy Brouwer's conjecture.
To Infinity and Beyond: Continuing De Bruijn Sequences by Extending the Alphabet
This article presents proof that the reverse of the Prefer Max De Bruijn sequence can be expanded into an infinite De Bruijn sequence by increasing the size of the alphabet. Furthermore, we show that every De Bruijn sequence possessing this characteristic exhibits behavior similar to that of the reverse of the Prefer Max De Bruijn sequence.
Independence in Arithmetic: The Method of $(\mathcal L, n)$-Models
I develop in depth the machinery of $(\mathcal L, n)$-models originally introduced by Shelah and, independently in a slightly different form by Kripke. This machinery allows fairly routine constructions of true but unprovable sentences in $\mathsf{PA}$. I give two applications: 1. Shelah's alternative proof of the Paris-Harrington theorem, and 2. The independence over $\mathsf{PA}$ of a new $Π^0_1$ Ramsey theoretic statement about colorings of finite sequences of structures.
Sandwiching random regular graphs between binomial random graphs
Published
• View Publication
• BIB
Kim and Vu made the following conjecture (\textit{Advances in Mathematics}, 2004): if $d\gg \log n$, then the random $d$-regular graph $\mathcal G(n,d)$ can asymptotically almost surely be "sandwiched" between $\mathcal G(n,p_1)$ and $\mathcal G(n,p_2)$ where $p_1$ and $p_2$ are both $(1+o(1))d/n$. They proved this conjecture for $\log n\ll d\le n^{1/3-o(1)}$, with a defect in the sandwiching: $\mathcal G(n,d)$ contains $\mathcal G(n,p_1)$ perfectly, but is not completely contained in $\mathcal G(n,p_2)$. Recently, the embedding $\mathcal G(n,p_1) \subseteq \mathcal G(n,d)$ was improved by Dudek, Frieze, Ruciński and Šileikis to $d=o(n)$. In this paper, we prove Kim--Vu's sandwich conjecture, with perfect containment on both sides, for all $d\gg n/\sqrt{\log n}$. For $d=O(n/\sqrt{\log n})$, we prove a weaker version of the sandwich conjecture with $p_2$ approximately equal to $(d/n)\log n$, without any defect. In addition to sandwiching regular graphs, our results cover graphs whose degrees are asymptotically equal. The proofs rely on estimates for the probability that a random factor of a pseudorandom graph contains a given edge, which is of independent interest.
As applications, we obtain new results on the properties of random graphs with given near-regular degree sequences, including Hamiltonicity and universality in subgraph containment. We also determine several graph parameters in these random graphs, such as the chromatic number, small subgraph counts, the diameter, and the independence number. We are also able to characterise many phase transitions in edge percolation on these random graphs, such as the threshold for the appearance of a giant component.
Vandermondes in superspace
Superspace of rank $n$ is a $\mathbb{Q}$-algebra with $n$ commuting generators $x_1, \dots, x_n$ and $n$ anticommuting generators $θ_1, \dots, θ_n$. We present an extension of the Vandermonde determinant to superspace which depends on a sequence $\mathbf{a} = (a_1, \dots, a_r)$ of nonnegative integers of length $r \leq n$. We use superspace Vandermondes to construct graded representations of the symmetric group. This construction recovers hook-shaped Tanisaki quotients, the coinvariant ring for the Delta Conjecture constructed by Haglund, Rhoades, and Shimozono, and a superspace quotient related to positroids and Chern plethysm constructed by Billey, Rhoades, and Tewari. We define a notion of partial differentiation with respect to anticommuting variables to construct doubly graded modules from superspace Vandermondes. These doubly graded modules carry a natural ring structure which satisfies a 2-dimensional version of Poincaré duality. The application of polarization operators gives rise to other bigraded modules which give a conjectural module for the symmetric function $Δ'_{e_{k-1}} e_n$ appearing in the Delta Conjecture of Haglund, Remmel, and Wilson.
Sets in $\mathbb{R}^d$ with slow-decaying density that avoid an unbounded collection of distances
For any $d\in \mathbb{N}$ and any function $f:(0,\infty)\to [0,1]$ with $f(R)\to 0$ as $R\to \infty$, we construct a set $A \subseteq \mathbb{R}^d$ and a sequence $R_n \to \infty$ such that $\|x-y\| \neq R_n$ for all $x,y\in A$ and $μ(A\cap B_{R_n})\geq f(R_n)μ(B_{R_n})$ for all $n\in \mathbb{N}$, where $B_R$ is the ball of radius $R$ centered at the origin and $μ$ is Lebesgue measure. This construction exhibits a form of sharpness for a result established independently by Furstenberg-Katznelson-Weiss, Bourgain, and Falconer-Marstrand, and it generalizes to any metric induced by a norm on $\mathbb{R}^d$.
Cospectral Bipartite Graphs with the Same Degree Sequences but with Different Number of Large Cycles
Finding the multiplicity of cycles in bipartite graphs is a fundamental problem of interest in many fields including the analysis and design of low-density parity-check (LDPC) codes. Recently, Blake and Lin computed the number of shortest cycles ($g$-cycles, where $g$ is the girth of the graph) in a bi-regular bipartite graph, in terms of the degree sequences and the spectrum (eigenvalues of the adjacency matrix) of the graph [{\em IEEE Trans. Inform. Theory 64(10):6526--6535, 2018}]. This result was subsequently extended in [{\em IEEE Trans. Inform. Theory, accepted for publication, Dec. 2018}] to cycles of length $g+2, \ldots, 2g-2$, in bi-regular bipartite graphs, as well as $4$-cycles and $6$-cycles in irregular and half-regular bipartite graphs, with $g \geq 4$ and $g \geq 6$, respectively. In this paper, we complement these positive results with negative results demonstrating that the information of the degree sequences and the spectrum of a bipartite graph is, in general, insufficient to count (a) the $i$-cycles, $i \geq 2g$, in bi-regular graphs, (b) the $i$-cycles for any $i > g$, regardless of the value of $g$, and $g$-cycles for $g \geq 6$, in irregular graphs, and (c) the $i$-cycles for any $i > g$, regardless of the value of $g$, and $g$-cycles for $g \geq 8$, in half-regular graphs. To obtain these results, we construct counter-examples using the Godsil-McKay switching.
Tetrahedron trinomial coefficient transform
Published in Integers, 19 (2019) A41
• Search Publication
We introduce the tetrahedron trinomial coefficient transform which takes a Pascal-like arithmetical triangle to a sequence. We define a Pascal-like infinite tetrahedron H, and prove that the application of the tetrahedron trinomial transform to one face T of H provides the opposite edge E to T in H. It follows from the construction that the other directions in H parallel to E can be obtained similarly. In case of Pascal's triangle the sequence generated by the trinomial transform coincides the binomial transform of the central binomial coefficients.
Ihara zeta function, coefficients of Maclaurin series, and Ramanujan graphs
Let $X$ denote a connected $(q+1)$-regular undirected graph of finite order $n$. The graph $X$ is called Ramanujan whenever $$ |λ|\leq 2q^{\frac{1}{2}} $$ for all nontrivial eigenvalues $λ$ of $X$. We consider the variant $Ξ(u)$ of the Ihara zeta function $Z(u)$ of $X$ defined by \begin{gather*} Ξ(u)^{-1} =
\left\{
\begin{array}{ll}
(1-u)(1-qu)(1-q^{\frac{1}{2}} u)^{2n-2}(1-u^2)^{\frac{n(q-1)}{2}}
Z(u)
\qquad
&\hbox{if $X$ is nonbipartite},
(1-q^2u^2)
(1-q^{\frac{1}{2}} u)^{2n-4}
(1-u^2)^{\frac{n(q-1)}{2}+1}
Z(u)
\qquad
&\hbox{if $X$ is bipartite}.
\end{array}
\right. \end{gather*} The function $Ξ(u)$ satisfies the functional equation $Ξ(q^{-1} u^{-1})=Ξ(u)$. Let $\{h_k\}_{k=1}^\infty$ denote the number sequence given by $$ \frac{d}{du}\ln Ξ(q^{-\frac{1}{2}}u) =\sum_{k=0}^\infty h_{k+1} u^k. $$ In this paper we establish the equivalence of the following statements: (i) $X$ is Ramanujan; (ii) $h_k\geq 0$ for all $k\geq 1$; (iii) $h_{k}\geq 0$ for infinitely many even $k\geq 2$. Furthermore we derive the Hasse--Weil bound for the Ramanujan graphs.
The cut metric for probability distributions
Guided by the theory of graph limits, we investigate a variant of the cut metric for limit objects of sequences of discrete probability distributions. Apart from establishing basic results, we introduce a natural operation called {\em pinning} on the space of limit objects and show how this operation yields a canonical cut metric approximation to a given probability distribution akin to the weak regularity lemma for graphons. We also establish the cut metric continuity of basic operations such as taking product measures.
The pebbling threshold spectrum and paths
Given a distribution of pebbles on the vertices of a graph, say that we can pebble a vertex if a pebble is left on it after some sequence of moves, each of which takes two pebbles from some vertex and places one on an adjacent vertex. A distribution is solvable if all vertices are pebblable; the pebbling threshold of a sequence of graphs is, roughly speaking, the total number of pebbles for which random distributions with that number of pebbles on a graph in the sequence change from being almost never solvable to being almost always solvable. We show that any sequence of connected graphs with strictly increasing orders always has some pebbling threshold which is $Ω(\sqrt{n})$ and $O(2^{\sqrt{2 \log_2 n}} n/\sqrt{\log_2 n})$, and that it is possible to construct such a sequence of connected graphs which has any desired pebbling threshold between these bounds. (Here, $n$ is the order of a graph in the sequence.) It follows that the sequence of paths, which, improving earlier estimates, we show has pebbling threshold $Θ(2^{\sqrt{\log_2 n}} n/\sqrt{\log_2 n})$, does not have the greatest possible pebbling threshold.
On the Clique-Width of Unigraphs
Clique-width is a well-studied graph parameter. For graphs of bounded clique-width, many problems that are NP-hard in general can be polynomial-time solvable. The fact motivates several studies to investigate whether the clique-width of graphs in a certain class is bounded or not. We focus on unigraphs, that is, graphs that are uniquely determined by their degree sequences up to isomorphism. We show that every unigraph has clique-width at most 4. It follows that many problems that are NP-hard in general are polynomial-time solvable for unigraphs.
A reciprocity on finite abelian groups involving zero-sum sequences
In this paper, we present a reciprocity on finite abelian groups involving zero-sum sequences. Let $G$ and $H$ be finite abelian groups with $(|G|,|H|)=1$. For any positive integer $m$, let $\mathsf M(G,m)$ denote the set of all zero-sum sequences over $G$ of length $m$. We have the following reciprocity $$|\mathsf M(G,|H|)|=|\mathsf M(H,|G|)|.$$ Moreover, we provide a combinatorial interpretation of the above reciprocity using ideas from rational Catalan combinatorics. We also present and explain some other symmetric relationships on finite abelian groups with methods from invariant theory. Among others, we partially answer a question proposed by Panyushev in a generalized version.
On multiplicative automatic sequences
We show that any automatic multiplicative sequence either coincides with a Dirichlet character or is identically zero when restricted to integers not divisible by small primes. This answers a question of Bell, Bruin and Coons. A similar result was obtained independently by Klurman and Kurlberg.