Showing 20 papers (Total: 84460 papers, 48641 authors in database)
An efficient high dimensional quantum Schur transform
Published in Quantum 3, 122 (2019)
• View Publication
• BIB
The Schur transform is a unitary operator that block diagonalizes the action of the symmetric and unitary groups on an $n$ fold tensor product $V^{\otimes n}$ of a vector space $V$ of dimension $d$. Bacon, Chuang and Harrow \cite{BCH07} gave a quantum algorithm for this transform that is polynomial in $n$, $d$ and $\logε^{-1}$, where $ε$ is the precision. In a footnote in Harrow's thesis \cite{H05}, a brief description of how to make the algorithm of \cite{BCH07} polynomial in $\log d$ is given using the unitary group representation theory (however, this has not been explained in detail anywhere. In this article, we present a quantum algorithm for the Schur transform that is polynomial in $n$, $\log d$ and $\logε^{-1}$ using a different approach. Specifically, we build this transform using the representation theory of the symmetric group and in this sense our technique can be considered a "dual" algorithm to \cite{BCH07}. A novel feature of our algorithm is that we construct the quantum Fourier transform over the so called \emph{permutation modules}, which could have other applications.
On normalizing discrete Morse functions
We present a way to normalize a combinatorial Morse function into an integer-valued canonical representative of the set of discrete Morse functions inducing a given gradient field.
Elements of Finite Order in the Group of Formal Power Series Under Composition
We consider formal power series $f(z) = ωz + a_2z^2 + \ldots \ (ω\neq 0)$, with coefficients in a field of characteristic $0$. These form a group under the operation of composition (= substitution). We prove (Theorem 1) that every element $f(z)$ of finite order is conjugate to its linear term $\ell_ω(z) = ωz$, and we characterize those elements which conjugate $f(z)$ to $ωz$. Then we investigate the construction of elements of order $n$ and prove (Theorem 2) that, given a primitive $n$'th root of unity $ω$ and an arbitrary sequence $\{a_k\}_{k\neq nj+1}$ there is a unique sequence $\{a_{nj + 1}\}_{j=1}^\infty$ such that the series $f(z) = ωz + a_2z^2 + a_3z^3 + \ldots$ has order $n$. Sections 1 - 5 give an exposition of this classical subject, written for the 2005 - 2006 Morgan State University Combinatorics Seminar. We do not claim priority for these results in this classical field, though perhaps the proof of Theorem 2 is new. We have now (2018) added Section 6 which gives references to valuable articles in the literature and historical comments which, however incomplete, we hope will give proper credit to those who have preceded this note and be helpful and of interest to the reader.
Lewis Carroll and the Red Hot Potato: a graph theoretic approach to a linear algebraic identity
Published
• View Publication
• BIB
The Lewis Carroll Identity expresses the determinant of a matrix in terms of subdeterminants obtained by deleting one row and column or a pair of rows and columns. Using the matrix tree theorem, we can convert this into an equivalent identity involving sums over pairs of forests. Unlike the Lewis Carroll Identity, the Forest Identity involves no minus signs. In 2011, Vlasev and Yeats suggested that such a Forest Identity could be proven using edge transfers similar to Zeilberger's 1997 matrix proof. However, until now, such an algorithm has not yet been developed. In this paper, we provide this edge transfer algorithm and a bijective proof for both the Lewis Carroll Identity and Forest Identity. This bijection is implemented by the Red Hot Potato algorithm, so called because the way edges get tossed back and forth between the two forests is reminiscent of the children's game of hot potato.
A simplified presentation of Specht modules
Published in Journal of Pure and Applied Algebra, Volume 226, Issue 7, July 2022
• View Publication
• BIB
Fulton and Kraskiewicz gave a presentation of Specht modules as a quotient of the space of column tabloids by dual Garnir relations. We simplify this presentation by showing that it can be generated by a single relation for each pair of columns of a tableau with ordered columns, thereby significantly reducing the number of generators given in the original construction. Our presentation applies to all Specht modules, and is of a similar nature to a recent result by Friedmann-Hanlon-Stanley-Wachs that applies to staircase partitions. We show that our presentation implies the Friedmann-Hanlon-Stanley-Wachs presentation.
Lattice Walk Enumeration
Trying to enumerate all of the walks in a 2D lattice is a fun combinatorial problem and there are numerous applications, from polymers to sports. Computers provide a wonderful tool for analyzing these walks; we provide a Maple package for automatically describing generating functions of walks restricted to any step set in a 2D lattice. We always obtain a closed system of relations for generating functions of walks that are bounded, semi-bounded, or unbounded. For bounded walks, this leads to explicit rational solutions! For semi-bounded or unbounded walks, we may get lucky and obtain algebraic solutions; if not, we still have a short self-referential description of the generating function.
Single-conflict colouring
Given a multigraph, suppose that each vertex is given a local assignment of $k$ colours to its incident edges. We are interested in whether there is a choice of one local colour per vertex such that no edge has both of its local colours chosen. The least $k$ for which this is always possible given any set of local assignments we call the {\em single-conflict chromatic number} of the graph. This parameter is closely related to separation choosability and adaptable choosability. We show that single-conflict chromatic number of simple graphs embeddable on a surface of Euler genus $g$ is $O(g^{1/4}\log g)$ as $g\to\infty$. This is sharp up to the logarithmic factor.
Best Match Graphs
Published
• View Publication
• BIB
THIS IS A CORRECTED VERSION INCLUDING AN APPENDED CORRIGENDUM.
Best match graphs arise naturally as the first processing intermediate in algorithms for orthology detection. Let $T$ be a phylogenetic (gene) tree $T$ and $σ$ an assignment of leaves of $T$ to species. The best match graph $(G,σ)$ is a digraph that contains an arc from $x$ to $y$ if the genes $x$ and $y$ reside in different species and $y$ is one of possibly many (evolutionary) closest relatives of $x$ compared to all other genes contained in the species $σ(y)$. Here, we characterize best match graphs and show that it can be decided in cubic time and quadratic space whether $(G,σ)$ derived from a tree in this manner. If the answer is affirmative, there is a unique least resolved tree that explains $(G,σ)$, which can also be constructed in cubic time.
Some bounds on the uniquely restricted matching number
A matching in a graph is uniquely restricted if no other matching covers exactly the same set of vertices. We establish tight lower bounds on the maximum size of a uniquely restricted matching in terms of order, size, and maximum degree.
On the restriction problem for discrete paraboloid in lower dimension
Published in Adv. Math, Vol. 339, 1 December 2018, Pages 657-671
• View Publication
• BIB
We apply geometric incidence estimates in positive characteristic to prove the optimal $L^2 \to L^3$ Fourier extension estimate for the paraboloid in the four-dimensional vector space over a prime residue field. In three dimensions, when $-1$ is not a square, we prove an $L^2 \to L^{\frac{32}{9} }$ extension estimate, improving the previously known exponent $\frac{68}{19}.$
Adjoint Representations of the Symmetric Group
We study the restriction to the symmetric group, $\mc{S}_n$ of the adjoint representation of $\mt{GL}_n(\C)$. We determine the irreducible constituents of the space of symmetric as well as the space of skew-symmetric $n\times n$ matrices as $\mc{S}_n$-modules.
Simplicial $G$-complexes and representation stability of polyhedral products
Published in Algebr. Geom. Topol. 20 (2020) 215-238
• View Publication
• BIB
Representation stability in the sense of Church-Farb is concerned with stable properties of representations of sequences of algebraic structures, in particular of groups. We study this notion on objects arising in toric topology. With a simplicial $G$-complex $K$ and a topological pair $(X, A)$, a $G$-polyhedral product $(X, A)^K$ is associated. We show that the homotopy decomposition [2] of $Σ(X, A)^K$ is then $G$-equivariant after suspension. In the case of $Σ_m$-polyhedral products, we give criteria on simplicial $Σ_m$-complexes which imply representation stability of $Σ_m$-representations $\{H_i((X, A)^{K_m})\}$.
On the distribution of rank and crank statistics for integer partitions
Published in Res. Number Theory 5 (2019), no. 2, Art. 18, 8 pp
• View Publication
• BIB
Let $k$ be a positive integer and $m$ be an integer. Garvan's $k$-rank $N_k(m,n)$ is the number of partitions of $n$ into at least $(k-1)$ successive Durfee squares with $k$-rank equal to $m$. In this paper give some asymptotics for $N_k(m,n)$ with $|m|\ge \sqrt{n}$ as $n\rightarrow \infty$. As a corollary, we give a more complete answer for the Dyson's crank distribution conjecture. We also establish some asymptotic formulas for finite differences of $N_k(m,n)$ with respect to $m$ with $m\gg \sqrt{n}\log n$.
A bijection for Euler's partition theorem in the spirit of Bressoud
For each positive integer $n$, we construct a bijection between the odd partitions and the distinct partitions of $n$ which extends Bressoud's bijection between the odd-and-distinct partitions of $n$ and the splitting partitions of $n$.
We compare our bijection with the classical bijections of Glaisher and Sylvester, and also with a recent bijection due to Chen, Gao, Ji and Li.
The sieving phenomenon for finite groups
The cyclic sieving phenomenon is a well-studied occurrence in combinatorics appearing when a cyclic group acts on a finite set. In this paper, we demonstrate a natural extension of this theory to finite abelian groups. We also present a similar result for dihedral groups and suggest approaches for natural generalizations to nonabelian groups.
Dual graded graphs and Bratteli diagrams of towers of groups
Published in Electronic Journal of Combinatorics 26(1) (2019), #P1.25
• View Publication
• BIB
An $r$-dual tower of groups is a nested sequence of finite groups, like the symmetric groups, whose Bratteli diagram forms an $r$-dual graded graph. Miller and Reiner introduced a special case of these towers in order to study the Smith forms of the up and down maps in a differential poset. Agarwal and the author have also used these towers to compute critical groups of representations of groups appearing in the tower. In this paper I prove that when $r$ is one or prime, wreath products of a fixed group with the symmetric groups are the only $r$-dual tower of groups, and conjecture that this is the case for general values of $r$. This implies that these wreath products are the only groups for which one can define an analog of the Robinson-Schensted bijection in terms of a growth rule in a dual graded graph.
New families of graphs determined by their generalized spectrum
We construct infinite families of graphs that are determined by their generalized spectrum. This construction is based on new formulae for the determinant of the walk matrix of a graph. The graphs constructed here all satisfy a lower divisibility for the determinant of their walk matrix.
Number of 1-factorizations of regular high-degree graphs
A $1$-factor in an $n$-vertex graph $G$ is a collection of $\frac{n}{2}$ vertex-disjoint edges and a $1$-factorization of $G$ is a partition of its edges into edge-disjoint $1$-factors. Clearly, a $1$-factorization of $G$ cannot exist unless $n$ is even and $G$ is regular (that is, all vertices are of the same degree). The problem of finding $1$-factorizations in graphs goes back to a paper of Kirkman in 1847 and has been extensively studied since then. Deciding whether a graph has a $1$-factorization is usually a very difficult question. For example, it took more than 60 years and an impressive tour de force of Csaba, Kühn, Lo, Osthus and Treglown to prove an old conjecture of Dirac from the 1950s, which says that every $d$-regular graph on $n$ vertices contains a $1$-factorization, provided that $n$ is even and $d\geq 2\lceil \frac{n}{4}\rceil-1$. In this paper we address the natural question of estimating $F(n,d)$, the number of $1$-factorizations in $d$-regular graphs on an even number of vertices, provided that $d\geq \frac{n}{2}+\varepsilon n$. Improving upon a recent result of Ferber and Jain, which itself improved upon a result of Cameron from the 1970s, we show that $F(n,d)\geq \left((1+o(1))\frac{d}{e^2}\right)^{nd/2}$, which is asymptotically best possible.
1-factorizations of pseudorandom graphs
A $1$-factorization of a graph $G$ is a collection of edge-disjoint perfect matchings whose union is $E(G)$. A trivial necessary condition for $G$ to admit a $1$-factorization is that $|V(G)|$ is even and $G$ is regular; the converse is easily seen to be false. In this paper, we consider the problem of finding $1$-factorizations of regular, pseudorandom graphs. Specifically, we prove that an $(n,d,λ)$-graph $G$ (that is, a $d$-regular graph on $n$ vertices whose second largest eigenvalue in absolute value is at most $λ$) admits a $1$-factorization provided that $n$ is even, $C_0\leq d\leq n-1$ (where $C_0$ is a universal constant), and $λ\leq d^{1-o(1)}$. In particular, since (as is well known) a typical random $d$-regular graph $G_{n,d}$ is such a graph, we obtain the existence of a $1$-factorization in a typical $G_{n,d}$ for all $C_0\leq d\leq n-1$, thereby extending to all possible values of $d$ results obtained by Janson, and independently by Molloy, Robalewska, Robinson, and Wormald for fixed $d$. Moreover, we also obtain a lower bound for the number of distinct $1$-factorizations of such graphs $G$ which is off by a factor of $2$ in the base of the exponent from the known upper bound. This lower bound is better by a factor of $2^{nd/2}$ than the previously best known lower bounds, even in the simplest case where $G$ is the complete graph. Our proofs are probabilistic and can be easily turned into polynomial time (randomized) algorithms.
Two kinds of generalized connectivity of dual cubes
Let $S\subseteq V(G)$ and $κ_{G}(S)$ denote the maximum number $k$ of edge-disjoint trees $T_{1}, T_{2}, \cdots, T_{k}$ in $G$ such that $V(T_{i})\bigcap V(T_{j})=S$ for any $i, j \in \{1, 2, \cdots, k\}$ and $i\neq j$. For an integer $r$ with $2\leq r\leq n$, the {\em generalized $r$-connectivity} of a graph $G$ is defined as $κ_{r}(G)= min\{κ_{G}(S)|S\subseteq V(G)$ and $|S|=r\}$. The $r$-component connectivity $cκ_{r}(G)$ of a non-complete graph $G$ is the minimum number of vertices whose deletion results in a graph with at least $r$ components. These two parameters are both generalizations of traditional connectivity. Except hypercubes and complete bipartite graphs, almost all known $κ_{r}(G)$ are about $r=3$. In this paper, we focus on $κ_{4}(D_{n})$ of dual cube $D_{n}$. We first show that $κ_{4}(D_{n})=n-1$ for $n\geq 4$. As a corollary, we obtain $κ_{3}(D_{n})=n-1$ for $n\geq 4$. Furthermore, we show that $cκ_{r+1}(D_{n})=rn-\frac{r(r+1)}{2}+1$ for $n\geq 2$ and $1\leq r \leq n-1$.