Showing 20 papers (Total: 82661 papers, 47773 authors in database)
A quantization of the harmonic analysis on the infinite-dimensional unitary group
Published in Journal of Functional Analysis, 270, 375-418 (2016)
• View Publication
• BIB
The present work stemmed from the study of the problem of harmonic analysis on the infinite-dimensional unitary group U(\infty). That problem consisted in the decomposition of a certain 4-parameter family of unitary representations, which replace the nonexisting two-sided regular representation (Olshanski, J. Funct. Anal., 2003, arXiv:0109193). The required decomposition is governed by certain probability measures on an infinite-dimensional space Ω, which is a dual object to U(\infty). A way to describe those measures is to convert them into determinantal point processes on the real line, it turned out that their correlation kernels are computable in explicit form --- they admit a closed expression in terms of the Gauss hypergeometric function 2-F-1 (Borodin and Olshanski, Ann. Math., 2005, arXiv:0109194).
In the present work we describe a (nonevident) q-discretization of the whole construction. This leads us to a new family of determinantal point processes. We reveal its connection with an exotic finite system of q-discrete orthogonal polynomials --- the so-called pseudo big q-Jacobi polynomials. The new point processes live on a double q-lattice and we show that their correlation kernels are expressed through the basic hypergeometric function 2-φ-1.
A crucial novel ingredient of our approach is an extended version G of the Gelfand-Tsetlin graph (the conventional graph describes the Gelfand-Tsetlin branching rule for irreducible representations of unitary groups). We find the q-boundary of G, thus extending previously known results (Gorin, Adv. Math., 2012, arXiv:1011.1769).
Diameter and Stationary Distribution of Random $r$-out Digraphs
Published
• View Publication
• BIB
Let $D(n,r)$ be a random $r$-out regular directed multigraph on the set of vertices $\{1,\ldots,n\}$. In this work, we establish that for every $r \ge 2$, there exists $η_r>0$ such that $\text{diam}(D(n,r))=(1+η_r+o(1))\log_r{n}$. Our techniques also allow us to bound some extremal quantities related to the stationary distribution of a simple random walk on $D(n,r)$. In particular, we determine the asymptotic behaviour of $π_{\max}$ and $π_{\min}$, the maximum and the minimum values of the stationary distribution. We show that with high probability $π_{\max} = n^{-1+o(1)}$ and $π_{\min}=n^{-(1+η_r)+o(1)}$. Our proof shows that the vertices with $π(v)$ near to $π_{\min}$ lie at the top of "narrow, slippery towers", such vertices are also responsible for increasing the diameter from $(1+o(1))\log_r n$ to $(1+η_r+o(1))\log_r{n}$.
Evidence for parking conjectures
Published
• View Publication
• BIB
Let $W$ be an irreducible real reflection group. Armstrong, Reiner, and the author presented a model for parking functions attached to W and made three increasingly strong conjectures about these objects. The author generalized these objects and conjectures to the Fuss-Catalan level of generality. Even the weakest of these conjectures would imply a collection of facts in Coxeter-Catalan theory which are at present understood only in a case-by-case fashion. We prove that when $W$ belongs to any the infinite families ABCDI, the strongest of these conjectures is generically true.
A bijective enumeration of $3$-strip tableaux
Baryshnikov and Romik derived the combinatorial identities for the numbers of the $m$-strip tableaux. This generalized the classical André's theorem for the number of up-down permutations. They asked for a bijective proof for the enumeration of $3$-strip tableaux. In this paper we will provide such a bijective proof. First we count the $3$-strip tableaux by decomposition. Secondly we will apply this "decomposition" idea on the up-down permutations and down-up permutations to enumerate the $3$-strip tableaux bijectively.
On putative q-Analogues of the Fano Plane and Related Combinatorial Structures
Published in Dynamical Systems, Number Theory and Applications. A Festschrift in Honor of Armin Leutbecher's 80th Birthday, edited by T. Hagen, F. Rupp and J. Scheurle. World Scientific, Hackensack, NJ, 2016, pages 141-175. ISBN: 978-981-4699-86-0
• View Publication
• BIB
A set $\mathcal{F}_q$ of $3$-dimensional subspaces of $\mathbb{F}_q^7$, the $7$-dimensional vector space over the finite field $\mathbb{F}_q$, is said to form a $q$-analogue of the Fano plane if every $2$-dimensional subspace of $\mathbb{F}_q^7$ is contained in precisely one member of $\mathcal{F}_q$. The existence problem for such $q$-analogues remains unsolved for every single value of $q$. Here we report on an attempt to construct such $q$-analogues using ideas from the theory of subspace codes, which were introduced a few years ago by Koetter and Kschischang in their seminal work on error-correction for network coding. Our attempt eventually fails, but it produces the largest subspace codes known so far with the same parameters as a putative $q$-analogue. In particular we find a ternary subspace code of new record size $6977$, and we are able to construct a binary subspace code of the largest currently known size $329$ in an entirely computer-free manner.
Computing graph gonality is hard
Published
• View Publication
• BIB
There are several notions of gonality for graphs. The divisorial gonality dgon(G) of a graph G is the smallest degree of a divisor of positive rank in the sense of Baker-Norine. The stable gonality sgon(G) of a graph G is the minimum degree of a finite harmonic morphism from a refinement of G to a tree, as defined by Cornelissen, Kato and Kool. We show that computing dgon(G) and sgon(G) are NP-hard by a reduction from the maximum independent set problem and the vertex cover problem, respectively. Both constructions show that computing gonality is moreover APX-hard.
Planar digraphs without large acyclic sets
Published
• View Publication
• BIB
Given a directed graph, an acyclic set is a set of vertices inducing a subgraph with no directed cycle. In this note we show that there exist oriented planar graphs of order $n$ for which the size of the maximum acyclic set is at most $\lceil \frac{n+1}{2} \rceil$, for any $n$. This disproves a conjecture of Harutyunyan and shows that a question of Albertson is best possible.
On bisecants of Rédei type blocking sets and applications
We use polynomial techniques to derive structural results on Rédei type blocking sets from information on their bisecants. We apply our results to point sets of $PG(2,q)$ with few odd-secants. In particular, we improve the lower bound of Balister, Bollobás, Füredi and Thompson on the number of odd-secants of a $(q+2)$-set in $PG(2,q)$ and we answer a related open question of Vandendriessche. We prove structural results for semiovals and derive the non existence of semiovals of size $q+3$ when 3 does not divide $q$ and $q>5$. This extends a result of Blokhuis who classified semiovals of size $q+2$, and a result of Bartoli who classified semiovals of size $q+3$ when $q\leq 17$. In the $q$ even case we can say more applying a result of Szőnyi and Weiner about the stability of sets of even type. We also obtain new proof to a result of Gács and Weiner about $(q+t,t)$-arcs of type $(0,2,t)$ and to one part of a result of Ball, Blokhuis, Brouwer, Storme and Szőnyi about functions over $GF(q)$ determining less than $(q+3)/2$ directions.
Cluster algebras of type D: pseudotriangulations approach
Published in Electron. J. Combin., vol. 22(4), #P4.44, 27 pp., 2015
• View Publication
• BIB
We present a combinatorial model for cluster algebras of type $D_n$ in terms of centrally symmetric pseudotriangulations of a regular $2n$-gon with a small disk in the centre. This model provides convenient and uniform interpretations for clusters, cluster variables and their exchange relations, as well as for quivers and their mutations. We also present a new combinatorial interpretation of cluster variables in terms of perfect matchings of a graph after deleting two of its vertices. This interpretation differs from known interpretations in the literature. Its main feature, in contrast with other interpretations, is that for a fixed initial cluster seed, one or two graphs serve for the computation of all cluster variables. Finally, we discuss applications of our model to polytopal realizations of type $D$ associahedra and connections to subword complexes and $c$-cluster complexes.
Combinatorics of the zeta map on rational Dyck paths
Published
• View Publication
• BIB
An $(a,b)$-Dyck path $P$ is a lattice path from $(0,0)$ to $(b,a)$ that stays above the line $y=\frac{a}{b}x$. The zeta map is a curious rule that maps the set of $(a,b)$-Dyck paths into itself; it is conjecturally bijective, and we provide progress towards proof of bijectivity in this paper, by showing that knowing zeta of $P$ and zeta of $¶$ conjugate is enough to recover $P$.
Our method begets an area-preserving involution $χ$ on the set of $(a,b)$-Dyck paths when $ζ$ is a bijection, as well as a new method for calculating $ζ^{-1}$ on classical Dyck paths. For certain nice $(a,b)$-Dyck paths we give an explicit formula for $ζ^{-1}$ and $χ$ and for additional $(a,b)$-Dyck paths we discuss how to compute $ζ^{-1}$ and $χ$ inductively.
We also explore Armstrong's skew length statistic and present two new combinatorial methods for calculating the zeta map involving lasers and interval intersections. We provide a combinatorial statistic $δ$ that can be used to recursively compute $ζ^{-1}$ and show that $δ$ is computable from $ζ(P)$ in the Fuss-Catalan case.
Wide enough Latin rectangles are perfects
Given two integers $m$ and $n$ with $m\leq n$, a Latin rectangle of size $m\times n$ is a bi-dimensional array with $m$ rows and $n$ columns filled with symbols from an alphabet with $n$ symbols, such that each row contains a permutation of the alphabet and each column contains no repeated symbols.
Two rows $a$ and $b$ of a Latin rectangle $R$ define a permutation $R_{a,b}$ assigning the symbol $y$ to the symbol $x$ if they are in the same column, $x$ is in row $a$ and $y$ is in row $b$. A Latin rectangle $R$ is perfect is the permutation $R_{a,b}$ is cyclic, for each pair of rows $a$ and $b$.
We prove that for each integer $m$ and each large enough odd integer $n$ there is a perfect Latin rectangle $R$ of size $m\times n$. It is a partial (asymptotic) answer to a well-known conjecture which says that the same property holds for each odd integer $m\leq n$.
The PBW filtration and convex polytopes in type $\tt B$
Published in J. Pure Appl. Algebra 223 (2019), no. 1, 245-276
• View Publication
• BIB
We study the PBW filtration on irreducible finite--dimensional representations for the Lie algebra of type $\tt B_n$. We prove in several cases, including all multiples of the adjoint representation and all irreducible finite--dimensional representations for $\tt B_3$, that there exists a normal polytope such that the lattice points of this polytope parametrize a basis of the corresponding associated graded space. As a consequence we obtain several classes of favourable modules and graded combinatorial character formulas.
Quantum Algebras and Cyclic Quiver Varieties
The purpose of this thesis is to present certain viewpoints on the geometric representation theory of Nakajima cyclic quiver varieties, in relation to the Maulik-Okounkov stable basis. Our main technical tool is the shuffle algebra, which arises as the K-theoretic Hall algebra of the double cyclic quiver. We prove the isomorphism between the shuffle algebra and the quantum toroidal algebra U_{q,t}(sl_n^^), and identify the quotients of Verma modules for the shuffle algebra with the K-theory groups of Nakajima cyclic quiver varieties, which were studied by Nakajima and Varagnolo-Vasserot.
The shuffle algebra viewpoint allows us to construct the universal R-matrix of the quantum toroidal algebra U_{q,t}(sl_n^^), and to factor it in terms of pieces that arise from subalgebras isomorphic to quantum affine groups U_{q}(gl_m^), for various m. This factorization generalizes constructions of Khoroshkin-Tolstoy to the toroidal case, and matches the factorization that Maulik-Okounkov produce via the stable basis in the K-theory of Nakajima quiver varieties. We connect the two pictures by computing formulas for the root generators of U_{q,t}(sl_n^^) acting on the stable basis, which provide a wide extension of Murnaghan-Nakayama and Pieri type rules from combinatorics.
One-dimensional Schubert problems with respect to osculating flags
Published in Can. J. Math.-J. Can. Math. 69 (2017) 143-185
• View Publication
• BIB
We consider Schubert problems with respect to flags osculating the rational normal curve. These problems are of special interest when the osculation points are all real -- in this case, for zero-dimensional Schubert problems, the solutions are "as real as possible". Recent work by Speyer has extended the theory to the moduli space $\overline{M_{0,r}}$, allowing the points to collide. These give rise to smooth covers of $\overline{M_{0,r}}(\mathbb{R})$, with structure and monodromy described by Young tableaux and jeu de taquin.
In this paper, we give analogous results on one-dimensional Schubert problems over $\overline{M_{0,r}}$. Their (real) geometry turns out to be described by orbits of Schützenberger promotion and a related operation involving tableau evacuation. Over $M_{0,r}$, our results show that the real points of the solution curves are smooth.
We also find a new identity involving `first-order' K-theoretic Littlewood-Richardson coefficients, for which there does not appear to be a known combinatorial proof.
Bipartite noisy hypercubes have large higher-order Cheeger separation
The expansion of a graph is typically associated with its spectral properties - testing whether a graph is an expander is usually done using Cheeger's inequality. One can also use multiple eigenvalues in a higher-order Cheeger's inequality to test a deeper set of properties on the graph. However Cheeger's inquality, and the higher-order Cheeger's inequality, can be imprecise tools. Recently Lee, Gharan, and Trevisan constructed the Noisy Hypercube to prove the sharpness of the gap between spectral expansion and edge expansion in the higher-order Cheeger's inequality.
We are concerned with the dual problem: using the upper end of the Laplacian spectrum to test a graph's bipartite nature. This has been shown to have several applications, and recently a dual version of Cheeger's inequality and a dual version of the higher-order Cheeger's inequality have been presented. We construct the Bipartite Noisy Hypercube and use it to prove the sharpness of the gap between spectral bipartite expansion and bipartite edge expansion in the dual version of the dual higher-order Cheeger's inequality.
Clique number of the square of a line graph
Published
• View Publication
• BIB
An \emph{edge coloring} of a graph $G$ is strong if each color class is an induced matching of $G$. The \emph{strong chromatic index} of $G$, denoted by $χ_{s}^{\prime }(G)$, is the minimum number of colors for which $G$ has a strong edge coloring. The strong chromatic index of $G$ is equal to the chromatic number of the square of the line graph of $G$. The chromatic number of the square of the line graph of $G$ is greater than or equal to the clique number of the square of the line graph of $G$, denoted by $ω(L)$.
In this note we prove that $ω(L) \le 1.5 Δ_{G}^2$ for every graph $G$. Our result allows to calculate an upper bound for the fractional strong chromatic index of $G$, denoted by $χ_{fs}^\prime(G)$. We prove that $χ_{fs}^{\prime}(G) \le 1.75 Δ_G^2$ for every graph $G$.
Spectral gaps, additive energy, and a fractal uncertainty principle
Published
• View Publication
• BIB
We obtain an essential spectral gap for $n$-dimensional convex co-compact hyperbolic manifolds with the dimension $δ$ of the limit set close to $(n-1)/2$. The size of the gap is expressed using the additive energy of stereographic projections of the limit set. This additive energy can in turn be estimated in terms of the constants in Ahlfors-David regularity of the limit set. Our proofs use new microlocal methods, in particular a notion of a fractal uncertainty principle.
On Panchromatic Patterns
Published
• View Publication
• BIB
Given D and H two digraphs, D is H-coloured iff the arcs of D are coloured with the vertices of H. After defining what do we mean by an H-walk in the coloured D, we characterise those H, which we call panchromatic patterns, for which all D and all H-colourings of D admit a kernel by H-walks. This solves a problem of Arpin and Linek from 2007.
All Simple Venn Diagrams are Hamiltonian
An $n$-Venn diagram is a certain collection of $n$ simple closed curves in the plane. They can be regarded as graphs where the points of intersection are vertices and the curve segments between points of intersection are edges. Every $n$-Venn diagram has the property that a curve touches any given face at most once between the points of intersection incident to that face. We prove that any connected collection of $n$ simple closed curves satisfying that property are 4-connected, if $n \ge 3$, so long as the curves intersect transversally and at most two curves intersect at any point. Hence by a theorem of Tutte, such collections, including simple Venn diagrams, are Hamiltonian.
Intersection theorems for multisets
Published
• View Publication
• BIB
Let $k$, $t$ and $m$ be positive integers. A $k$-multiset of $[m]$ is a collection of $k$ integers from the set $\{1,...,m\}$ in which the integers can appear more than once. We use graph homomorphisms and existing theorems for intersecting and $t$-intersecting $k$-set systems to prove new results for intersecting and $t$-intersecting families of $k$-multisets. These results include a multiset version of the Hilton-Milner theorem and a theorem giving the size and structure of the largest $t$-intersecting family of $k$-multisets of an $m$-set when $m \leq 2k-t$.