Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Cyclotomic quiver Hecke algebras of type A
Published
• View Publication
• BIB
This chapter is based on a series of lectures that I gave at the National University of Singapore in April 2013. The notes survey the representation theory of the cyclotomic Hecke algebras of type A with an emphasis on understanding the KLR grading and the connections between the "classical" ungraded representation theory and the rapidly emerging graded theory. They are fairly self-contained and they try to give a leisurely introduction to these algebras, with many examples and calculations that don't appear elsewhere. We make extensive use of the interactions between the ungraded and graded representation theory and try to explain what the grading gives us that we didn't have before. Combinatorics and cellular algebra techniques are used throughout, with a few results from geometry and 2-representation theory being quoted from the literature. Highlights include a complete description of the semisimple KLR algebras of type A using just the KLR relations, extensive discussion about graded Specht modules, a proof of the Ariki-Brundan-Kleshchev graded categorification theorem based on the graded branching rules, a cellular algebra approach to adjustment matrices and a (possibly optimistic) conjecture for the graded dimensions of the simple modules.
On r-equitable chromatic threshold of Kronecker products of complete graphs
Published
• View Publication
• BIB
A graph $G$ is $r$-equitably $k$-colorable if its vertex set can be partitioned into $k$ independent sets, any two of which differ in size by at most $r$. The $r$-equitable chromatic threshold of a graph $G$, denoted by $χ_{r=}^*(G)$, is the minimum $k$ such that $G$ is $r$-equitably $k'$-colorable for all $k'\ge k$. Let $G\times H$ denote the Kronecker product of graphs $G$ and $H$. In this paper, we completely determine the exact value of $χ_{r=}^*(K_m\times K_n)$ for general $m,n$ and $r$. As a consequence, we show that for $r\ge 2$, if $n\ge \frac{1}{r-1}(m+r)(m+2r-1)$ then $K_m\times K_n$ and its spanning supergraph $K_{m(n)}$ have the same $r$-equitable colorability, and in particular $χ_{r=}^*(K_m\times K_n)=χ_{r=}^*(K_{m(n)})$, where $K_{m(n)}$ is the complete $m$-partite graph with $n$ vertices in each part.
Self-Similar Graphs
For any graph $G$ on $n$ vertices and for any {\em symmetric} subgraph $J$ of $K_{n,n}$, we construct an infinite sequence of graphs based on the pair $(G,J)$. The First graph in the sequence is $G$, then at each stage replacing every vertex of the previous graph by a copy of $G$ and every edge of the previous graph by a copy of $J$ the new graph is constructed. We call these graphs {\em self-similar} graphs. We are interested in delineating those pairs $(G,J)$ for which the chromatic numbers of the graphs in the sequence are bounded. Here we have some partial results. When $G$ is a complete graph and $J$ is a special matching we show that every graph in the resulting sequence is an {\em expander} graph.
On sets of integers which contain no three terms in geometric progression
Published
• View Publication
• BIB
The problem of looking for subsets of the natural numbers which contain no 3-term arithmetic progressions has a rich history. Roth's theorem famously shows that any such subset cannot have positive upper density. In contrast, Rankin in 1960 suggested looking at subsets without three-term geometric progressions, and constructed such a subset with density about 0.719. More recently, several authors have found upper bounds for the upper density of such sets. We significantly improve upon these bounds, and demonstrate a method of constructing sets with a greater upper density than Rankin's set. This construction is optimal in the sense that our method gives a way of effectively computing the greatest possible upper density of a geometric-progression-free set. We also show that geometric progressions in Z/nZ behave more like Roth's theorem in that one cannot take any fixed positive proportion of the integers modulo a sufficiently large value of n while avoiding geometric progressions.
Heat kernel and Green function estimates on affine buildings
Published
• View Publication
• BIB
We obtain the optimal global upper and lower bounds for the transition density $p_n(x,y)$ of a finite range isotropic random walk on affine buildings. We present also sharp estimates for the corresponding Green function.
On inductively free Restrictions of Reflection Arrangements
Published
• View Publication
• BIB
Let W be a finite complex reflection group acting on the complex vector space V and let A(W) = (A(W), V) be the associated reflection arrangement. In an earlier paper by the last two authros, we classified all inductively free reflection arrangements A(W). The aim of this note is to extend this work by determining all inductively free restrictions of reflection arrangements.
Four-connected triangulations of planar point sets
Published
• View Publication
• BIB
In this paper, we consider the problem of determining in polynomial time whether a given planar point set $P$ of $n$ points admits 4-connected triangulation. We propose a necessary and sufficient condition for recognizing $P$, and present an $O(n^3)$ algorithm of constructing a 4-connected triangulation of $P$. Thus, our algorithm solves a longstanding open problem in computational geometry and geometric graph theory. We also provide a simple method for constructing a noncomplex triangulation of $P$ which requires $O(n^2)$ steps. This method provides a new insight to the structure of 4-connected triangulation of point sets.
On strong homotopy for quasi-schemoids
Published
• View Publication
• BIB
A quasi-schemoid is a small category with a particular partition of the set of morphisms. We define a homotopy relation on the category of quasi-schemoids and study its fundamental properties. As a homotopy invariant, the homotopy set of self-homotopy equivalences on a quasi-schemoid is introduced. The main theorem enables us to deduce that the homotopy invariant for the quasi-schemoid induced by a finite group is isomorphic to the automorphism group of the given group.
Combinatoire algébrique liée aux ordres sur les permutations
This thesis comes within the scope of algebraic combinatorics and studies problems related to three orders on permutations: the two said weak orders (right and left) and the strong order or Bruhat order. The first part deals with bases of multivariate polynomials. Most specifically, we study a product of Grothendieck polynomials and prove that it can interpreted as a sum over the Bruhat order. We also present our implementation of Grothendieck polynomials and other bases in Sage. In a second part, we study the Tamari order binary trees. We obtain a new enumeration formula on the Tamari lattice and a new combinatorial prove of Chapoton's functional equation of the generating functions of Tamari intervals. We extend our results to the m-Tamari case and thus retrieve a formula given by Bousquet-Mélou, Préville-Ratelle and Fusy.
The Gale-Berlekamp game for complex Hadamard matrices
Associated to a complex Hadamard matrix $H\in M_N(\mathbb C)$ is the complex probability measure $μ\in\mathcal P(\mathbb C)$ describing the distribution of $\varphi(a,b)=<a,Hb>$, where $a,b\in\mathbb T^N$ are random. This measure is called "glow" of the matrix, due to the analogy with the Gale-Berlekamp switching game, where $H,a,b$ are real. We prove here that: (1) $μ$ becomes complex Gaussian in the $N\to\infty$ limit, (2) the universality holds as well at order 2, (3) the order 3 term seems to be quite interesting, particularly for the master Hadamard matrices, (4) in the Fourier matrix case, some of the higher order terms control counting problems for circulant Hadamard matrices.
Selective and Ramsey ultrafilters on $G$-spaces
Published in Notre Dame J. Formal Logic 58, no. 3 (2017), 453-459
• View Publication
• BIB
Let $G$ be a group, $X$ be an infinite transitive $G$-space. A free ultrafilter $\UU$ on $X$ is called $G$-selective if, for any $G$-invariant partition $\PP$ of $X$, either one cell of $\PP$ is a member of $\UU$, or there is a member of $\UU$ which meets each cell of $\PP$ in at most one point. We show (Theorem 1) that in ZFC with no additional set-theoretical assumptions there exists a $G$-selective ultrafilter on $X$, describe all $G$-spaces $X$ (Theorem 2) such that each free ultrafilter on $X$ is $G$-selective, and prove (Theorem 3) that a free ultrafilter $\UU$ on $ω$ is selective if and only if $\UU$ is $G$-selective with respect to the action of any countable group $G$ of permutations of $ω$.
A free ultrafilter $\UU$ on $X$ is called $G$-Ramsey if, for any $G$-invariant coloring $χ:[G]^2 \to \{0,1\}$, there is $U\in \UU$ such that $[U]^2$ is $χ$-monochrome. By Theorem 4, each $G$-Ramsey ultrafilter on $X$ is $G$-selective. Theorems 5 and 6 give us a plenty of $\mathbb{Z}$-selective ultrafilters on $\mathbb{Z}$ (as a regular $\mathbb{Z}$-space) but not $\mathbb{Z}$-Ramsey. We conjecture that each $\mathbb{Z}$-Ramsey ultrafilter is selective.
Asymptotic structures of cardinals
Published
• View Publication
• BIB
A ballean is a set $X$ endowed with some family $\F$ of its subsets, called the balls, in such a way that $(X,\F)$ can be considered as an asymptotic counterpart of a uniform topological space. Given a cardinal $κ$, we define $\F$ using a natural order structure on $κ$. We characterize balleans up to coarse equivalence, give the criterions of metrizability and cellularity, calculate the basic cardinal invariant of these balleans. We conclude the paper with discussion of some special ultrafilters on cardinal balleans.
The rigidity of infinite graphs
Published
• View Publication
• BIB
A rigidity theory is developed for the Euclidean and non-Euclidean placements of countably infinite simple graphs in R^d with respect to the classical l^p norms, for d>1 and 1<p<\infty. Generalisations are obtained for the Laman and Henneberg combinatorial characterisations of generic infinitesimal rigidity for finite graphs in the Euclidean plane. Also Tay's multi-graph characterisation of the rigidity of generic finite body-bar frameworks in d-dimensional Euclidean space is generalised to the non-Euclidean l^p norms and to countably infinite graphs. For all dimensions and norms it is shown that a generically rigid countable simple graph is the direct limit of an inclusion tower of finite graphs for which the inclusions satisfy a relative rigidity property. For d>2 a countable graph which is rigid for generic placements in R^d may fail the stronger property of sequential rigidity, while for d=2 the equivalence with sequential rigidity is obtained from the generalised Laman characterisations. Applications are given to the flexibility of non-Euclidean convex polyhedra and to the infinitesimal and continuous rigidity of compact infinitely-faceted simplicial polytopes.
Graphs with the Fewest Matchings
Published
• View Publication
• BIB
In recent years there has been increased interest in extremal problems for "counting" parameters of graphs. For example, the Kahn-Zhao theorem gives an upper bound on the number of independent sets in a $d$-regular graph. In the same spirit, the Upper Matching Conjecture claims an upper bound on the number of $k$-matchings in a $d$-regular graph. Here we consider both matchings and matchings of fixed sizes in graphs with a given number vertices and edges. We prove that the graph with the fewest matchings is either the lex or the colex graph. Similarly, for fixed $k$, the graph with the fewest $k$-matchings is either the lex or the colex graph. To prove these results we first prove that the lex bipartite graph has the fewest matchings of all sizes among bipartite graphs with fixed part sizes and a given number of edges.
TSP Tours in Cubic Graphs: Beyond 4/3
Published
• View Publication
• BIB
After a sequence of improvements Boyd, Sitters, van der Ster, and Stougie proved that any 2-connected graph whose n vertices have degree 3, i.e., a cubic 2-connected graph, has a Hamiltonian tour of length at most (4/3)n, establishing in particular that the integrality gap of the subtour LP is at most 4/3 for cubic 2-connected graphs and matching the conjectured value of the famous 4/3 conjecture. In this paper we improve upon this result by designing an algorithm that finds a tour of length (4/3 - 1/61236)n, implying that cubic 2-connected graphs are among the few interesting classes of graphs for which the integrality gap of the subtour LP is strictly less than 4/3. With the previous result, and by considering an even smaller epsilon, we show that the integrality gap of the TSP relaxation is at most 4/3 - epsilon, even if the graph is not 2-connected (i.e. for cubic connected graphs), implying that the approximability threshold of the TSP in cubic graphs is strictly below 4/3. Finally, using similar techniques we show, as an additional result, that every Barnette graph admits a tour of length at most (4/3 - 1/18)n.
A categorification of non-crossing partitions
Published
• View Publication
• BIB
We present a categorification of the non-crossing partitions given by crystallographic Coxeter groups. This involves a category of certain bilinear lattices, which are essentially determined by a symmetrisable generalised Cartan matrix together with a particular choice of a Coxeter element. Examples arise from Grothendieck groups of hereditary artin algebras.
Containing Viral Spread on Sparse Random Graphs: Bounds, Algorithms, and Experiments
Viral spread on large graphs has many real-life applications such as malware propagation in computer networks and rumor (or misinformation) spread in Twitter-like online social networks. Although viral spread on large graphs has been intensively analyzed on classical models such as Susceptible-Infectious-Recovered, there still exits a deficit of effective methods in practice to contain epidemic spread once it passes a critical threshold. Against this backdrop, we explore methods of containing viral spread in large networks with the focus on sparse random networks. The viral containment strategy is to partition a large network into small components and then to ensure the sanity of all messages delivered across different components. With such a defense mechanism in place, an epidemic spread starting from any node is limited to only those nodes belonging to the same component as the initial infection node. We establish both lower and upper bounds on the costs of inspecting inter-component messages. We further propose heuristic-based approaches to partition large input graphs into small components. Finally, we study the performance of our proposed algorithms under different network topologies and different edge weight models.
A positive basis for surface skein algebras
Published in Proc. Natl. Acad. Sci. USA 111 (2014), no. 27, 9725-9732
• View Publication
• BIB
We show that the twisted SL(2) skein algebra of a surface has a natural basis (the bracelets basis) that is positive, in the sense that the structure constants for multiplication are positive integers.
Shapes of polyhedra, mixed volumes, and hyperbolic geometry
Published in Mathematika 63 (2017) 124-183
• View Publication
• BIB
We are generalizing to higher dimensions the Bavard-Ghys construction of the hyperbolic metric on the space of polygons with fixed directions of edges.
The space of convex d-dimensional polyhedra with fixed directions of facet normals has a decomposition into type cones that correspond to different combinatorial types of polyhedra. This decomposition is a subfan of the secondary fan of a vector configuration and can be analyzed with the help of Gale diagrams.
We construct a family of quadratic forms on each of the type cones using the theory of mixed volumes. The Alexandrov-Fenchel inequalities ensure that these forms have exactly one positive eigenvalue. This introduces a piecewise hyperbolic structure on the space of similarity classes of polyhedra with fixed directions of facet normals. We show that some of the dihedral angles on the boundary of the resulting cone-manifold are equal to π/2.
Local Maxima of Quadratic Boolean Functions
Published in Combinator. Probab. Comp. 25 (2016) 633-640
• View Publication
• BIB
How many strict local maxima can a real quadratic function on $\{0,1\}^n$ have? Holzman conjectured a maximum of $n \choose \lfloor n/2 \rfloor$. The aim of this paper is to prove this conjecture. Our approach is via a generalization of Sperner's theorem that may be of independent interest.