Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Grassmann-Grassmann conormal varieties, integrability, and plane partitions
Published
• View Publication
• BIB
We give a conjectural formula for sheaves supported on (irreducible) conormal varieties inside the cotangent bundle of the Grassmannian, such that their equivariant $K$-class is given by the partition function of an integrable loop model, and furthermore their $K$-theoretic pushforward to a point is a solution of the level $1$ quantum Knizhnik-Zamolodchikov equation. We prove these results in the case that the Lagrangian is smooth (hence is the conormal bundle to a subGrassmannian). To compute the pushforward to a point, or equivalently to the affinization, we simultaneously degenerate the Lagrangian and sheaf (over the affinization); the sheaf degenerates to a direct sum of cyclic modules over the geometric components, which are in bijection with plane partitions, giving a geometric interpretation to the Razumov-Stroganov correspondence satisfied by the loop model.
Cubical Geometry in the Polygonalisation Complex
Published in Math. Proc. Camb. Phil. Soc. 167 (2019) 1-22
• View Publication
• BIB
We introduce the polygonalisation complex of a surface, a cube complex whose vertices correspond to polygonalisations. This is a geometric model for the mapping class group and it is motivated by works of Harer, Mosher and Penner. Using properties of the flip graph, we show that the midcubes in the polygonalisation complex can be extended to a family of embedded and separating hyperplanes, parametrised by the arcs in the surface.
We study the crossing graph of these hyperplanes and prove that it is quasi-isometric to the arc complex. We use the crossing graph to prove that, generically, different surfaces have different polygonalisation complexes. The polygonalisation complex is not CAT(0), but we can characterise the vertices where Gromov's link condition fails. This gives a tool for proving that, generically, the automorphism group of the polygonalisation complex is the (extended) mapping class group of the surface.
Colourings without monochromatic disjoint pairs
Published in European Journal of Combinatorics 70 (2018), 99-124
• View Publication
• BIB
The typical extremal problem asks how large a structure can be without containing a forbidden substructure. The Erdős-Rothschild problem, introduced in 1974 by Erdős and Rothschild in the context of extremal graph theory, is a coloured extension, asking for the maximum number of colourings a structure can have that avoid monochromatic copies of the forbidden substructure.
The celebrated Erdős-Ko-Rado theorem is a fundamental result in extremal set theory, bounding the size of set families without a pair of disjoint sets, and has since been extended to several other discrete settings. The Erdős-Rothschild extensions of these theorems have also been studied in recent years, most notably by Hoppen, Koyakayawa and Lefmann for set families, and Hoppen, Lefmann and Odermann for vector spaces.
In this paper we present a unified approach to the Erdős-Rothschild problem for intersecting structures, which allows us to extend the previous results, often with sharp bounds on the size of the ground set in terms of the other parameters. In many cases we also characterise which families of vector spaces asymptotically maximise the number of Erdős-Rothschild colourings, thus addressing a conjecture of Hoppen, Lefmann and Odermann.
Almost partitioning the hypercube into copies of a graph
Let $H$ be an induced subgraph of the hypercube $Q_k$, for some $k$. We show that for some $c = c(H)$, the vertices of $Q_n$ can be partitioned into induced copies of $H$ and a remainder of at most $O(n^c)$ vertices. We also show that the error term cannot be replaced by anything smaller than $\log n$.
Blobbed topological recursion for the quartic melonic tensor model
Published in J. Phys. A 51 (2018) 325201
• View Publication
• BIB
Random tensor models are generalizations of random matrix models which admit $1/N$ expansions. In this article we show that the topological recursion, a modern approach to matrix models which solves the loop equations at all orders, is also satisfied in some tensor models. While it is obvious in some tensor models which are matrix models in disguise, it is far from clear that it can be applied to others. Here we focus on melonic interactions for which the models are best understood, and further restrict to the quartic case. Then Hubbard-Stratonovich transformation maps the tensor model to a multi-matrix model with multi-trace interactions. We study this matrix model and show that after substracting the leading order, it satisfies the blobbed topological recursion. It is a new extension of the topological recursion, recently introduced by Borot and further studied by Borot and Shadrin. Here it applies straightforwardly, yet with a novelty as our model displays a disconnected spectral curve, which is the union of several spectral curves of the Gaussian Unitary Ensemble. Finally, we propose a way to evaluate expectations of tensorial observables using the correlation functions computed from the blobbed topological recursion.
Online Sum-Paintability: Slow-Coloring of Trees
Published
• View Publication
• BIB
The slow-coloring game is played by Lister and Painter on a graph $G$. On each round, Lister marks a nonempty subset $M$ of the remaining vertices, scoring $|M|$ points. Painter then gives a color to a subset of $M$ that is independent in $G$. The game ends when all vertices are colored. Painter's goal is to minimize the total score; Lister seeks to maximize it. The score that each player can guarantee doing no worse than is the sum-color cost of $G$, written $\mathring{\rm s}(G)$. We develop a linear-time algorithm to compute $\mathring{\rm s}(G)$ when $G$ is a tree, enabling us to characterize the $n$-vertex trees with the largest and smallest values. Our algorithm also computes on trees the interactive sum choice number, a parameter recently introduced by Bonamy and Meeks.
Chromatic quasisymmetric functions of directed graphs
Chromatic quasisymmetric functions of labeled graphs were defined by Shareshian and Wachs as a refinement of Stanley's chromatic symmetric functions. In this extended abstract, we consider an extension of their definition from labeled graphs to directed graphs, suggested by Richard Stanley. We obtain an F-basis expansion of the chromatic quasisymmetric functions of all digraphs and a p-basis expansion for all symmetric chromatic quasisymmetric functions of digraphs, extending work of Shareshian-Wachs and Athanasiadis. We show that the chromatic quasisymmetric functions of proper circular arc digraphs are symmetric functions, which generalizes a result of Shareshian and Wachs on natural unit interval graphs. The directed cycle on n vertices is contained in the class of proper circular arc digraphs, and we give a generating function for the e-basis expansion of the chromatic quasisymmetric function of the directed cycle, refining a result of Stanley for the undirected cycle. We present a generalization of the Shareshian-Wachs refinement of the Stanley-Stembridge e-positivity conjecture.
Counting Independent Sets in Graphs of Hyperplane Arrangements
Published in Discrete Mathematics, Volume 343, Issue 3, March 2020, 111764
• View Publication
• BIB
In this paper, we count the number of independent sets of a type of graph $G(\mathcal{A},q)$ associated to some hyperplane arrangement $\mathcal{A}$, which is a generalization of the construction of graphical arrangements. We show that when the parameters of $\mathcal{A}$ satisfy certain conditions, the number of independent sets of the disjoint union $G(\mathcal{A},q_1)\cup\cdots\cup G(\mathcal{A},q_s)$ depends only on the coefficients of $\mathcal{A}$ and the total number of vertices $\sum_i q_i$ when $q_i$'s are powers of large enough prime numbers. In addition it is independent of the coefficients as long as $\mathcal{A}$ is central and the coefficients are multiplicatively independent.
Triangulating Almost-Complete Graphs
A triangle decomposition of a graph $G$ is a partition of the edges of $G$ into triangles. Two necessary conditions for $G$ to admit such a decomposition are that $|E(G)|$ is a multiple of three and that the degree of any vertex in $G$ is even; we call such graphs tridivisible.
Kirkman's work on Steiner triple systems established that for $G \simeq K_n$, $G$ admits a triangle decomposition precisely when $G$ is tridivisible. In 1970, Nash-Williams conjectured that tridivisiblity is also sufficient for "almost-complete" graphs, which for this talk's purposes we interpret as any graph $G$ on $n$ vertices with $δ(G) \geq (1 -ε)n, E(G) \geq (1 - ξ)\binom{n}{2}$ for some appropriately small constants $ε, ξ$. Nash-Williams conjectured that $ε= ξ=1/4$ would suffice; in 1991, Gustavsson demonstrated in his dissertation that $ε= ξ< 10^{-24}$ suffices for all $n \equiv 3, 9 \mod 18$, and in 2015 Keevash's work on the existence conjecture for combinatorial designs established that some value of $ε$ existed for any $n$.
In this paper, we prove that for any $ε< \frac{1}{432}$, there is a constant $ξ$ such that any $G$ with $δ(G) \geq (1 - ε)n$ and $|E(G)| \geq (1 - ξ)\binom{n}{2}$ admits such a decomposition, and offer an algorithm that explicitly constructs such a triangulation. Moreover, we note that our algorithm runs in polynomial time on such graphs. (This last observation contrasts with Holyer's result that finding triangle decompositions in general is a NP-complete problem.)
Log-convex and Stieltjes moment sequences
Published in published in Advances in Applied Mathematics 2016 (81) 115-127
• View Publication
• BIB
We show that Stieltjes moment sequences are infinitely log-convex, which parallels a famous result that (finite) Pólya frequency sequences are infinitely log-concave. We introduce the concept of $q$-Stieltjes moment sequences of polynomials and show that many well-known polynomials in combinatorics are such sequences. We provide a criterion for linear transformations and convolutions preserving Stieltjes moment sequences. Many well-known combinatorial sequences are shown to be Stieltjes moment sequences in a unified approach and therefore infinitely log-convex, which in particular settles a conjecture of Chen and Xia about the infinite log-convexity of the Schröder numbers. We also list some interesting problems and conjectures about the log-convexity and the Stieltjes moment property of the (generalized) Apéry numbers.
A connection between matchings and removal in abelian groups
In a finite abelian group $G$, define an additive matching to be a collection of triples $(x_i, y_i, z_i)$ such that $x_i + y_j + z_k = 0$ if and only if $i = j = k$. In the case that $G = \mathbb{F}_2^n$, Kleinberg, building on work of Croot-Lev-Pach and Ellenberg-Gijswijt, proved a polynomial upper bound on the size of an additive matching. Fox and Lovász used this to deduce polynomial bounds on Green's arithmetic removal lemma in $\mathbb{F}_2^n$.
If $G$ is taken to be an arbitrary finite abelian group, the questions of bounding the size of an additive matching and giving bounds for Green's arithmetic removal lemma are much less well understood. In this note, we adapt the methods of Fox and Lovász to prove that, provided we can assume a sufficiently strong bound on the size of an additive matching in cyclic groups, a similar bound should hold in the case of removal.
A Rational Catalan Formula for $(m,3)$-Hikita Polynomials
Published
• View Publication
• BIB
Building upon a recent formula for $(3,m)$-Catalan polynomials, we describe a formula for $(3,m)$-Hikita polynomials in terms related to Catalan polynomials. This formula shows a surprising relation among coefficients of Hikita polynomials and implies deeper recursive relations and proves the $q,t$-symmetry of $(3,m)$-Hikita polynomials.
On Coloring Random Subgraphs of a Fixed Graph
Given an arbitrary graph $G$ we study the chromatic number of a random subgraph $G_{1/2}$ obtained from $G$ by removing each edge independently with probability $1/2$. Studying $χ(G_{1/2})$ has been suggested by Bukh~\cite{Bukh}, who asked whether $\mathbb{E}[χ(G_{1/2})] \geq Ω( χ(G)/\log(χ(G)))$ holds for all graphs $G$. In this paper we show that for any graph $G$ with chromatic number $k = χ(G)$ and for all $d \leq k^{1/3}$ it holds that $\Pr[χ(G_{1/2}) \leq d] < \exp \left(- Ω\left(\frac{k(k-d^3)}{d^3}\right)\right)$. In particular, $\Pr[G_{1/2} \text{ is bipartite}] < \exp \left(- Ω\left(k^2 \right)\right)$. The later bound is tight up to a constant in $Ω(\cdot)$, and is attained when $G$ is the complete graph on $k$ vertices.
As a technical lemma, that may be of independent interest, we prove that if in \emph{any} $d^3$ coloring of the vertices of $G$ there are at least $t$ monochromatic edges, then $\Pr[χ(G_{1/2}) \leq d] < e^{- Ω\left(t\right)}$.
We also prove that for any graph $G$ with chromatic number $k = χ(G)$ and independence number $α(G) \leq O(n/k)$ it holds that $\mathbb{E}[χ(G_{1/2})] \geq Ω\left( k/\log(k) \right)$. This gives a positive answer to the question of Bukh for a large family of graphs.
A cancellation-free antipode formula (for uniform matroids) for the restriction-contraction matroid Hopf algebra
In this paper, we give a cancellation-free antipode formula (for uniform matroids) for the restriction-contraction matroid Hopf algebra, using the technique of splitting and merging via a sign-reversing involution. The cancellation-free formula expresses the antipode of uniform matroids as a sum over certain ordered set partitions.
Ear Decomposition and Balanced Neighborly Simplicial Manifolds
Published
• View Publication
• BIB
We find the first non-octahedral balanced 2-neighborly 3-sphere and the balanced 2-neighborly triangulation of the lens space $L(3,1)$. Each construction has 16 vertices. We show that there exists a balanced 3-neighborly non-spherical 5-manifold with 18 vertices. We also show that the rank-selected subcomplexes of a balanced simplicial sphere do not necessarily have an ear decomposition.
Upper bounds on the Q-spectral radius of book-free and/or $K_{s,t}$-free graphs
Published
• View Publication
• BIB
In this paper, we prove two results about the signless Laplacian spectral radius $q(G)$ of a graph $G$ of order $n$ with maximum degree $Δ$. Let $B_{n}=K_{2}+\overline{K_{n}}$ denote a book, i.e., the graph $B_{n}$ consists of $n$ triangles sharing an edge.
(1) Let $1< k\leq l< Δ< n$ and $G$ be a connected \{$B_{k+1},K_{2,l+1}$\}-free graph of order $n$ with maximum degree $Δ$. Then $$\displaystyle q(G)\leq \frac{1}{4}[3Δ+k-2l+1+\sqrt{(3Δ+k-2l+1)^{2}+16l(Δ+n-1)}.$$ with equality holds if and only if $G$ is a strongly regular graph with parameters ($Δ$, $k$, $l$).
(2) Let $s\geq t\geq 3$, and let $G$ be a connected $K_{s,t}$-free graph of order $n$ $(n\geq s+t)$. Then $$q(G)\leq n+(s-t+1)^{1/t}n^{1-1/t}+(t-1)(n-1)^{1-3/t}+t-3.$$
On the signless Laplacian spectral radius of $C_{4}$-free $k$-cyclic graphs
A $k$-cyclic graph is a connected graph of order $n$ and size $n+k-1$. In this paper, we determine the maximal signless Laplacian spectral radius and the corresponding extremal graph among all $C_{4}$-free $k$-cyclic graphs of order $n$. Furthermore, we determine the first three unicyclic, and bicyclic, $C_{4}$-free graphs whose spectral radius of the signless Laplacian is maximal. Similar results are obtained for the (combinatorial) Laplacian.
Fitness, Apprenticeship, and Polynomials
Published
• View Publication
• BIB
This article discusses the design of the Apprenticeship Program at the Fields Institute, held 21 August - 3 September 2016. Six themes from combinatorial algebraic geometry were selected for the two weeks: curves, surfaces, Grassmannians, convexity, abelian combinatorics, parameters and moduli. The activities were structured into fitness, research and scholarship. Combinatorics and concrete computations with polynomials (and theta functions) empowers young scholars in algebraic geometry, and it helps them to connect with the historic roots of their field. We illustrate our perspective for the threefold obtained by blowing up six points in $\mathbb{P}^3$.
Saito duality and the classical theory of arithmetic functions
We study Saito duality and Fourier-Ramanujan transform for power sums and multiplicities of monodromy roots.
Linear Residuals and Gallai-Simplicial Complexes
In this paper, we give a new algebraic criterion for the {\em shellability} of (non-pure) simplicial complex $Δ$ over $[n]$, shellable in the sense of Björner and Wachs \cite{BW}. We show that the spanning simplicial complex of doubly uni-cyclic graph is non-pure shellable. Moreover, we introduce the concept of Gallai-simplicial complex $Δ_Γ(G)$ of a finite simple graph $G$. We applied the obtained criterion to discuss the shellability of Gallai simplicial complexes associated to various classes of graphs..