natural ↗ reference
4894 papers tagged with this keyword
Cut-and-join description of generalized Brezin-Gross-Witten model
Published
• View Publication
• BIB
We investigate the Brezin-Gross-Witten model, a tau-function of the KdV hierarchy, and its natural one-parameter deformation, the generalized Brezin-Gross-Witten tau-function. In particular, we derive the Virasoro constraints, which completely specify the partition function. We solve them in terms of the cut-and-join operator. The Virasoro constraints lead to the loop equations, which we solve in terms of the correlation functions. Explicit expressions for the coefficients of the tau-function and the free energy are derived, and a compact formula for the genus zero contribution is conjectured. A family of polynomial solutions of the KdV hierarchy, given by the Schur functions, is obtained for the half-integer values of the parameter. The quantum spectral curve and its classical limit are discussed.
Identities between dimer partition functions on different surfaces
Published in J. Stat. Mech. Theory Exp. (2016), 103101
• View Publication
• BIB
Given a weighted graph $G$ embedded in a non-orientable surface $Σ$, one can consider the corresponding weighted graph $\widetilde{G}$ embedded in the so-called orientation cover $\widetildeΣ$ of $Σ$. We prove identities relating twisted partition functions of the dimer model on these two graphs. When $Σ$ is the Möbius strip or the Klein bottle, then $\widetildeΣ$ is the cylinder or the torus, respectively, and under some natural assumptions, these identities imply relations between the genuine dimer partition functions $Z(G)$ and $Z(\widetilde{G})$. For example, we show that if $G$ is a locally but not globally bipartite graph embedded in the Möbius strip, then $Z(\widetilde{G})$ is equal to the square of $Z(G)$. This extends results for the square lattice previously obtained by various authors.
Scaling limit of the uniform infinite half-plane quadrangulation in the Gromov-Hausdorff-Prokhorov-uniform topology
Published
• View Publication
• BIB
We prove that the uniform infinite half-plane quadrangulation (UIHPQ), with either general or simple boundary, equipped with its graph distance, its natural area measure, and the curve which traces its boundary, converges in the scaling limit to the Brownian half-plane. The topology of convergence is given by the so-called Gromov-Hausdorff-Prokhorov-uniform (GHPU) metric on curve-decorated metric measure spaces, which is a generalization of the Gromov-Hausdorff metric whereby two such spaces $(X_1, d_1 , μ_1,η_1)$ and $(X_2, d_2 , μ_2,η_2)$ are close if they can be isometrically embedded into a common metric space in such a way that the spaces $X_1$ and $X_2$ are close in the Hausdorff distance, the measures $μ_1$ and $μ_2$ are close in the Prokhorov distance, and the curves $η_1$ and $η_2$ are close in the uniform distance.
Convergence of the self-avoiding walk on random quadrangulations to SLE$_{8/3}$ on $\sqrt{8/3}$-Liouville quantum gravity
Published
• View Publication
• BIB
We prove that a uniform infinite quadrangulation of the half-plane decorated by a self-avoiding walk (SAW) converges in the scaling limit to the metric gluing of two independent Brownian half-planes identified along their positive boundary rays. Combined with other work of the authors, this implies the convergence of the SAW on a random quadrangulation to SLE$_{8/3}$ on a certain $\sqrt{8/3}$-Liouville quantum gravity surface. The topology of convergence is the local Gromov-Hausdorff-Prokhorov-uniform topology, the natural generalization of the local Gromov-Hausdorff topology to curve-decorated metric measure spaces. We also prove analogous scaling limit results for uniform infinite quadrangulations of the whole plane decorated by either a one-sided or two-sided SAW. Our proof uses only the peeling procedure for random quadrangulations and some basic properties of the Brownian half-plane, so can be read without any knowledge of SLE or LQG.
A Functorial Link between Quivers and Hypergraphs
This paper discusses some issues arising from the category $\mathfrak{H}$ of hypergraphs, the category $\mathfrak{M}$ of (undirected) multigraphs, and the topos $\mathfrak{Q}$ of quivers. First, the natural inclusion of $\mathfrak{M}$ into $\mathfrak{H}$ admits a right adjoint functor by deleting all nontraditional edges. Dually, the operations of taking the underlying multigraph of a quiver and taking the associated digraph of a multigraph form an adjoint pair between $\mathfrak{M}$ and $\mathfrak{Q}$.
On the other hand, neither $\mathfrak{H}$ nor $\mathfrak{M}$ is cartesian closed, meaning that neither is a topos like $\mathfrak{Q}$. Moreover, despite $\mathfrak{M}$ being a subcategory of $\mathfrak{H}$, $\mathfrak{H}$ does not have enough projective objects while $\mathfrak{M}$ admits a projective cover for every object.
Monochromatic Solutions to Systems of Exponential Equations
Published
• View Publication
• BIB
Let $n\in \mathbb{N}$, $R$ be a binary relation on $[n]$, and $C_1(i,j),\ldots,C_n(i,j) \in \mathbb{Z}$, for $i,j \in [n]$. We define the exponential system of equations $\mathcal{E}(R,(C_k(i,j)_{i,j,k})$ to be the system \[ X_i^{Y_1^{C_1(i,j)} \cdots Y_n^{C_n(i,j)} } = X_j , \text{ for } (i,j) \in R ,\] in variables $X_1,\ldots,X_n,Y_1,\ldots,Y_n$. The aim of this paper is to classify precisely which of these systems admit a monochromatic solution ($X_i,Y_i \not=1)$ in an arbitrary finite colouring of the natural numbers. This result could be viewed as an analogue of Rado's theorem for exponential patterns.
On Hyperoctahedral Enumeration System, Application to Signed Permutations
Published
• View Publication
• BIB
In this paper, we start by giving the definitions and basic facts about hyperoctahedral number system. There is a natural correspondence between the integers expressed in the latter and the elements of the hyperoctahedral group when we use the inversion statistic on this group to code the signed permutations. We use this correspondence to define a way with which the signed permutations group can be ordered. With this classification scheme, we can find the r-th signed permutation from a given number r and vice versa without consulting the list in lexicographical order of the elements of the signed permutations group.
Exponential Patterns in Arithmetic Ramsey Theory
Published
• View Publication
• BIB
We show that for every finite colouring of the natural numbers there exists $a,b >1$ such that the triple $\{a,b,a^b\}$ is monochromatic. We go on to show the partition regularity of a much richer class of patterns involving exponentiation. For example, as a corollary to our main theorem, we show that for every $n \in \mathbb{N}$ and for every finite colouring of the natural numbers, we may find a monochromatic set including the integers $x_1,\ldots,x_n >1$; all products of distinct $x_i$; and all "exponential compositions" of distinct $x_i$ which respect the order $x_1,\ldots,x_n$. In particular, for every finite colouring of the natural numbers one can find a monochromatic quadruple of the form $\{ a,b,ab,a^b \}$, where $a,b>1$.
An extremal graph problem with a transcendental solution
Published in Combinator. Probab. Comp. 28 (2019) 303-324
• View Publication
• BIB
We prove that the number of multigraphs with vertex set $\{1, \ldots, n\}$ such that every four vertices span at most nine edges is $a^{n^2 + o(n^2)}$ where $a$ is transcendental (assuming Schanuel's conjecture from number theory). This is an easy consequence of the solution to a related problem about maximizing the product of the edge multiplicities in certain multigraphs, and appears to be the first explicit (somewhat natural) question in extremal graph theory whose solution is transcendental. These results may shed light on a question of Razborov who asked whether there are conjectures or theorems in extremal combinatorics which cannot be proved by a certain class of finite methods that include Cauchy-Schwarz arguments.
Our proof involves a novel application of Zykov symmetrization applied to multigraphs, a rather technical progressive induction, and a straightforward use of hypergraph containers.
An algorithmic regularity lemma for $L_p$ regular sparse matrices
Published
• View Publication
• BIB
We prove an algorithmic regularity lemma for $L_p$ regular matrices $(1 < p \leq \infty),$ a class of sparse $\{0,1\}$ matrices which obey a natural pseudorandomness condition. This extends a result of Coja-Oghlan, Cooper and Frieze who treated the case of $L_{\infty}$ regular matrices. We also present applications of this result for tensors and MAX-CSP instances.
Signs of the Leading Coefficients of the Resultant
Published in Geometric and Functional Analysis 27 (2017) 33-66
• View Publication
• BIB
We construct a certain $\F_2$-valued analogue of the mixed volume of lattice polytopes. This 2-mixed volume cannot be defined as a polarization of any kind of an additive measure, or characterized by any kind of its monotonicity properties, because neither of the two makes sense over $\F_2$. In this sense, the convex-geometric nature of the 2-mixed volume remains unclear. On the other hand, the 2-mixed volume seems to be no less natural and useful than the classical mixed volume -- in particular, it also plays an important role in algebraic geometry. As an illustration of this role, we obtain a closed-form expression in terms of the 2-mixed volume to compute the signs of the leading coefficients of the resultant, which were by now explicitly computed only for some special cases.
A Space of Phylogenetic Networks
Published
• View Publication
• BIB
A classic problem in computational biology is constructing a phylogenetic tree given a set of distances between n species. In most cases, a tree structure is too constraining. We consider a circular split network, a generalization of a tree in which multiple parallel edges signify divergence. A geometric space of such networks is introduced, forming a natural extension of the work by Billera, Holmes, and Vogtmann on tree space. We explore properties of this space, and show a natural embedding of the compactification of the real moduli space of curves within it.
On two problems in Ramsey-Turán theory
Published
• View Publication
• BIB
Alon, Balogh, Keevash and Sudakov proved that the $(k-1)$-partite Turán graph maximizes the number of distinct $r$-edge-colorings with no monochromatic $K_k$ for all fixed $k$ and $r=2,3$, among all $n$-vertex graphs. In this paper, we determine this function asymptotically for $r=2$ among $n$-vertex graphs with sub-linear independence number. Somewhat surprisingly, unlike Alon-Balogh-Keevash-Sudakov's result, the extremal construction from Ramsey-Turán theory, as a natural candidate, does not maximize the number of distinct edge-colorings with no monochromatic cliques among all graphs with sub-linear independence number, even in the 2-colored case.
In the second problem, we determine the maximum number of triangles asymptotically in an $n$-vertex $K_k$-free graph $G$ with $α(G)=o(n)$. The extremal graphs have similar structure to the extremal graphs for the classical Ramsey-Turán problem, i.e.~when the number of edges is maximized.
Characterization and recognition of proper tagged probe interval graphs
Published
• View Publication
• BIB
Interval graphs were used in the study of genomics by the famous molecular biologist Benzer. Later on probe interval graphs were introduced by Zhang as a generalization of interval graphs for the study of cosmid contig mapping of DNA.
A tagged probe interval graph (briefly, TPIG) is motivated by similar applications to genomics, where the set of vertices is partitioned into two sets, namely, probes and nonprobes and there is an interval on the real line corresponding to each vertex. The graph has an edge between two probe vertices if their corresponding intervals intersect, has an edge between a probe vertex and a nonprobe vertex if the interval corresponding to a nonprobe vertex contains at least one end point of the interval corresponding to a probe vertex and the set of non-probe vertices is an independent set. This class of graphs have been defined nearly two decades ago, but till today there is no known recognition algorithm for it.
In this paper, we consider a natural subclass of TPIG, namely, the class of proper tagged probe interval graphs (in short PTPIG). We present characterization and a linear time recognition algorithm for PTPIG. To obtain this characterization theorem we introduce a new concept called canonical sequence for proper interval graphs, which, we belief, has an independent interest in the study of proper interval graphs. Also to obtain the recognition algorithm for PTPIG, we introduce and solve a variation of consecutive $1$'s problem, namely, oriented consecutive $1$'s problem and some variations of PQ-tree algorithm. We also discuss the interrelations between the classes of PTPIG and TPIG with probe interval graphs and probe proper interval graphs.
Transitive Avoidance Games
Published
• View Publication
• BIB
Positional games are a well-studied class of combinatorial game. In their usual form, two players take turns to play moves in a set (`the board'), and certain subsets are designated as `winning': the first person to occupy such a set wins the game. For these games, it is well known that (with correct play) the game cannot be a second-player win.
In the avoidance (or misère) form, the first person to occupy such a set \emph{loses} the game. Here it would be natural to expect that the game cannot be a first-player win, at least if the game is transitive, meaning that all points of the board look the same. Our main result is that, contrary to this expectation, there are transitive games that are first-player wins, for all board sizes which are not prime or a power of 2.
Further, we show that such games can have additional properties such as stronger transitivity conditions, fast winning times, and `small' winning sets.
Single-Player and Two-Player Buttons & Scissors Games
Published
• View Publication
• BIB
We study the computational complexity of the Buttons \& Scissors game and obtain sharp thresholds with respect to several parameters. Specifically we show that the game is NP-complete for $C = 2$ colors but polytime solvable for $C = 1$. Similarly the game is NP-complete if every color is used by at most $F = 4$ buttons but polytime solvable for $F \leq 3$. We also consider restrictions on the board size, cut directions, and cut sizes. Finally, we introduce several natural two-player versions of the game and show that they are PSPACE-complete.
Orbit Dirichlet series and multiset permutations
Published
• View Publication
• BIB
We study Dirichlet series enumerating orbits of Cartesian products of maps whose orbit distributions are modelled on the distributions of finite index subgroups of free abelian groups of finite rank. We interpret Euler factors of such orbit Dirichlet series in terms of generating polynomials for statistics on multiset permutations, viz. descent and major index, generalizing Carlitz's $q$-Eulerian polynomials.
We give two main applications of this combinatorial interpretation. Firstly, we establish local functional equations for the Euler factors of the orbit Dirichlet series under consideration. Secondly, we determine these (global) Dirichlet series' abscissae of convergence and establish some meromorphic continuation beyond these abscissae. As a corollary, we describe the asymptotics of the relevant orbit growth sequences. For Cartesian products of more than two maps we establish a natural boundary for meromorphic continuation. For products of two maps, we prove the existence of such a natural boundary subject to a combinatorial conjecture.
On the Automorphism Group of a Graph
An automorphism of a graph $G$ with $n$ vertices is a bijective map $φ$ from $V(G)$ to itself such that $φ(v_i)φ(v_j)\in E(G)$ $\Leftrightarrow$ $v_i v_j\in E(G)$ for any two vertices $v_i$ and $v_j$ of $G$. Denote by $\mathfrak{G}$ the group consisting of all automorphisms of $G$. As well-known, the structure of the action of $\mathfrak{G}$ on $V(G)$ is represented definitely by its block systems. On the other hand for each permutation $σ$ on $[n]$, there is a natural action on any vector $\pmb{v}=(v_1,v_2,\ldots,v_n)^t\in \mathbb{R}^n$ such that $σ\pmb{v}=(v_{σ^{-1}1},v_{σ^{-1}2},\ldots,v_{σ^{-1} n})^t$. Accordingly, we actually have a permutation representation of $\mathfrak{G}$ in $\mathbb{R}^n$. In this paper, we establish the some connections between block systems of $\mathfrak{G}$ and its irreducible representations, and by virtue of that we finally devise an algorithm outputting a generating set and all block systems of $\mathfrak{G}$ within time $n^{C \log n}$ for some constant $C$.
A two-sided analogue of the Coxeter complex
Published
• View Publication
• BIB
For any Coxeter system $(W,S)$ of rank $n$, we introduce an abstract boolean complex (simplicial poset) of dimension $2n-1$ that contains the Coxeter complex as a relative subcomplex. Faces are indexed by triples $(I,w,J)$, where $I$ and $J$ are subsets of the set $S$ of simple generators, and $w$ is a minimal length representative for the parabolic double coset $W_I w W_J$. There is exactly one maximal face for each element of the group $W$. The complex is shellable and thin, which implies the complex is a sphere for the finite Coxeter groups. In this case, a natural refinement of the $h$-polynomial is given by the "two-sided" $W$-Eulerian polynomial, i.e., the generating function for the joint distribution of left and right descents in $W$.
Anagram-free colorings of graphs
A sequence $S$ is called anagram-free if it contains no consecutive symbols $r_1 r_2\dots r_k r_{k+1} \dots r_{2k}$ such that $r_{k+1} \dots r_{2k}$ is a permutation of the block $r_1 r_2\dots r_k$. Answering a question of Erdős and Brown, Keränen constructed an infinite anagram-free sequence on four symbols.
Motivated by the work of Alon, Grytczuk, Hałuszczak and Riordan, we consider a natural generalisation of anagram-free sequences for graph colorings. A coloring of the vertices of a given graph $G$ is called anagram-free if the sequence of colors on any path in $G$ is anagram-free. We call the minimal number of colors needed for such a coloring the anagram-chromatic number of $G$.
In this paper we study the anagram-chromatic number of several classes of graphs like trees, minor-free graphs and bounded-degree graphs. Surprisingly, we show that there are bounded-degree graphs (such as random regular graphs) in which anagrams cannot be avoided unless we basically give each vertex a separate color.