Showing 20 papers (Total: 82661 papers, 47773 authors in database)
A Lyapunov function for Glauber dynamics on lattice triangulations
Published
• View Publication
• BIB
We study random triangulations of the integer points $[0,n]^2 \cap\mathbb{Z}^2$, where each triangulation $σ$ has probability measure $λ^{|σ|}$ with $|σ|$ denoting the sum of the length of the edges in $σ$. Such triangulations are called \emph{lattice triangulations}. We construct a height function on lattice triangulations and prove that, in the whole subcritical regime $λ<1$, the function behaves as a \emph{Lyapunov function} with respect to Glauber dynamics; that is, the function is a supermartingale. We show the applicability of the above result by establishing several features of lattice triangulations, such as tightness of local measures, exponential tail of edge lengths, crossings of small triangles, and decay of correlations in thin rectangles. These are the first results on lattice triangulations that are valid in the whole subcritical regime $λ<1$. In a very recent work with Caputo, Martinelli and Sinclair, we apply this Lyapunov function to establish tight bounds on the mixing time of Glauber dynamics in thin rectangles that hold for all $λ<1$. The Lyapunov function result here holds in great generality; it holds for triangulations of general lattice polygons (instead of the $[0,n]^2$ square) and also in the presence of arbitrary constraint edges.
A Comparison of Approaches for Solving Hard Graph-Theoretic Problems
Published
• View Publication
• BIB
In order to formulate mathematical conjectures likely to be true, a number of base cases must be determined. However, many combinatorial problems are NP-hard and the computational complexity makes this research approach difficult using a standard brute force approach on a typical computer. One sample problem explored is that of finding a minimum identifying code. To work around the computational issues, a variety of methods are explored and consist of a parallel computing approach using Matlab, a quantum annealing approach using the D-Wave computer, and lastly using satisfiability modulo theory (SMT) and corresponding SMT solvers. Each of these methods requires the problem to be formulated in a unique manner. In this paper, we address the challenges of computing solutions to this NP-hard problem with respect to each of these methods.
On Vaughan Pratt's crossword problem
Published in J. Lond. Math. Soc. (2) 93 (2016) 825-845
• View Publication
• BIB
Vaughan Pratt has introduced objects consisting of pairs $(A,W)$ where $A$ is a set and $W$ a set of subsets of $A,$ such that (i) $W$ contains $\emptyset$ and $A,$ (ii) if $C$ is a subset of $A\times A$ such that for every $a\in A,$ both $\{b\mid (a,b)\in C\}$ and $\{b\mid (b,a)\in C\}$ are members of $W$ (a "crossword" with all "rows" and "columns" in $W),$ then $\{b\mid (b,b)\in C\}$ (the "diagonal word") also belongs to $W,$ and (iii) for all distinct $a,b\in A,$ the set $W$ has an element which contains $a$ but not $b.$ He has asked whether for every $A,$ the only such $W$ is the set of all subsets of $A.$
We answer that question in the negative. We also obtain several positive results, in particular, a positive answer to the above question if $W$ is closed under complementation. We obtain partial results on whether there can exist counterexamples to Pratt's question with $W$ countable.
Generalized Polarization Modules
Published in Ann. Comb. (2017)
• View Publication
• BIB
This work enrols the research line of M. Haiman on the Operator Theorem (the old operator conjecture). This theorem states that the smallest $\mathfrak{S}_n$-module closed under taking partial derivatives and closed under the action of polarization operators that contains the Vandermonde determinant is the space of diagonal harmonics polynomials. We start generalizing the context of this theorem to the context of polynomials in $\ell$ sets of $n$ variables $x_{ij}$ with $1\leq i\leq \ell$ et $1\leq j\leq n$. Given a $\mathfrak{S}_n$-stable family of homogeneous polynomials in the variables $x_{ij}$ the smallest vector space closed under taking partial derivatives and closed under the action of polarization operators that contains $F$ is the polarization module generated by the family $F$. These polarization modules are all representation of the direct product $\mathfrak{S}_n\times{GL}_{\ell}(\mathbb{C})$. In order to study the decomposition into irreducible submodules, we compute the graded Frobenius characteristic of these modules. For several cases of $\mathfrak{S}_n$-stable families of homogeneous polynomials in $n$ variables, for every $n\geq 1$, we show general formulas for this graded characteristic in a global manner, independent of the value of $\ell$.
Intersection cohomology of the symmetric reciprocal plane
Published
• View Publication
• BIB
We compute the Kazhdan-Lusztig polynomial of the uniform matroid of rank n-1 on n elements by proving that the i-th coefficient of is equal to the number of ways to choose i non-intersecting chords in an (n-i+1)-gon. We also show that the corresponding intersection cohomology group is isomorphic to the irreducible representation of the symmetric group associated to the partition [n-2i,2,...,2].
From Anderson to Zeta
Published
• View Publication
• BIB
For an irreducible crystallographic root system $Φ$ and a positive integer $p$ relatively prime to the Coxeter number $h$ of $Φ$, we give a natural bijection $\mathcal{A}$ from the set $\widetilde{W}^p$ of affine Weyl group elements with no inversions of height $p$ to the finite torus $\check{Q}/p\check{Q}$. Here $\check{Q}$ is the coroot lattice of $Φ$. This bijection is defined uniformly for all irreducible crystallographic root systems $Φ$ and is equivalent to the Anderson map $\mathcal{A}_{GMV}$ defined by Gorsky, Mazin and Vazirani when $Φ$ is of type $A_{n-1}$. Specialising to $p=mh+1$, we use $\mathcal{A}$ to define a uniform $W$-set isomorphism $ζ$ from the finite torus $\check{Q}/(mh+1)\check{Q}$ to the set of $m$-nonnesting parking functions $\mathsf{Park}_Φ^{(m)}$ of $Φ$. The map $ζ$ is equivalent to the zeta map $ζ_{HL}$ of Haglund and Loehr when $m=1$ and $Φ$ is of type $A_{n-1}$.
Cyclic hamiltonian cycle systems of the complete multipartite graph: even number of parts
Published
• View Publication
• BIB
A hamiltonian cycle system (HCS, for short) of a graph $Γ$ is a partition of the edges of $Γ$ into hamiltonian cycles. A HCS is cyclic when it is invariant under a cyclic permutation of all the vertices of $Γ$; the existence problem for a cyclic HCS has been completely solved by Buratti and Del Fra in 2004 when $Γ$ is the complete graph $K_v$, $v$ odd, and by Jordon and Morris in 2008 when $Γ$ is the complete graph minus a $1$-factor $K_v-I$, $v$ even. In this work we present a complete solution to the existence problem of a cyclic HCS for $Γ= K_{m\times n}$, the complete multipartite graph, when the number of parts $m$ is even. We also give necessary and sufficient conditions for the existence of a cyclic and symmetric HCS of $Γ$; the notion of a symmetric HCS of a graph $Γ$ has been introduced in 2004 by Akiyama, Kobayashi, and Nakamura for $Γ=K_v$, $v$ odd, in 2011 by Brualdi and Schroeder when $Γ= K_v-I$, $v$ even, and, very recently, by Schroeder when $Γ$ is the complete multipartite graph.
Topological minors of cover graphs and dimension
Published
• View Publication
• BIB
We show that posets of bounded height whose cover graphs exclude a fixed graph as a topological minor have bounded dimension. This result was already proven by Walczak. However, our argument is entirely combinatorial and does not rely on structural decomposition theorems. Given a poset with large dimension but bounded height, we directly find a large clique subdivision in its cover graph. Therefore, our proof is accessible to readers not familiar with topological graph theory, and it allows us to provide explicit upper bounds on the dimension. With the introduced tools we show a second result that is supporting a conjectured generalization of the previous result. We prove that $(k+k)$-free posets whose cover graphs exclude a fixed graph as a topological minor contain only standard examples of size bounded in terms of $k$.
An overview of the computational aspects of nonunique factorization invariants
We give an overview of the existing algorithms to compute nonunique factorization invariants in finitely generated monoids.
Chiodo formulas for the r-th roots and topological recursion
Published in Lett. Math. Phys. 107 (2017), no. 5, 901-919
• View Publication
• BIB
We analyze Chiodo's formulas for the Chern classes related to the r-th roots of the suitably twisted integer powers of the canonical class on the moduli space of curves. The intersection numbers of these classes with psi-classes are reproduced via the Chekhov-Eynard-Orantin topological recursion. As an application, we prove that the Johnson-Pandharipande-Tseng formula for the orbifold Hurwitz numbers is equivalent to the topological recursion for the orbifold Hurwitz numbers. In particular, this gives a new proof of the topological recursion for the orbifold Hurwitz numbers.
Polynomiality of orbifold Hurwitz numbers, spectral curve, and a new proof of the Johnson-Pandharipande-Tseng formula
Published in J. Lond. Math. Soc. (2) 92 (2015), no. 3, 547-565
• View Publication
• BIB
In this paper we present an example of a derivation of an ELSV-type formula using the methods of topological recursion. Namely, for orbifold Hurwitz numbers we give a new proof of the spectral curve topological recursion, in the sense of Chekhov, Eynard, and Orantin, where the main new step compared to the existing proofs is a direct combinatorial proof of their quasi-polynomiality. Spectral curve topological recursion leads to a formula for the orbifold Hurwitz numbers in terms of the intersection theory of the moduli space of curves, which, in this case, appears to coincide with a special case of the Johnson-Pandharipande-Tseng formula.
The Combinatorics of Occam's Razor
Occam's Razor tells us to pick the simplest model that fits our observations. In order to make sense of his process mathematically, we interpret it in the context of posets of functions. Our approach leads to some unusual new combinatorial problems concerning functions between finite sets. The same ideas are used to define a nicely behaved and apparently unknown analogue of the rank of a group. We also make a construction that associates with each group an infinite sequence of numbers called its fusion sequence. The first term in this sequence is determined by the rank of the group and we provide examples of subsequent terms that suggest a subtle relationship between these numbers and the structure of the group.
Matroids are Immune to Braess Paradox
Published
• View Publication
• BIB
The famous Braess paradox describes the following phenomenon: It might happen that the improvement of resources, like building a new street within a congested network, may in fact lead to larger costs for the players in an equilibrium. In this paper we consider general nonatomic congestion games and give a characterization of the maximal combinatorial property of strategy spaces for which Braess paradox does not occur. In a nutshell, bases of matroids are exactly this maximal structure. We prove our characterization by two novel sensitivity results for convex separable optimization problems over polymatroid base polyhedra which may be of independent interest.
Stratification and enumeration of Boolean functions by canalizing depth
Published
• View Publication
• BIB
Boolean network models have gained popularity in computational systems biology over the last dozen years. Many of these networks use canalizing Boolean functions, which has led to increased interest in the study of these functions. The canalizing depth of a function describes how many canalizing variables can be recursively picked off, until a non-canalizing function remains. In this paper, we show how every Boolean function has a unique algebraic form involving extended monomial layers and a well-defined core polynomial. This generalizes recent work on the algebraic structure of nested canalizing functions, and it yields a stratification of all Boolean functions by their canalizing depth. As a result, we obtain closed formulas for the number of n-variable Boolean functions with depth k, which simultaneously generalizes enumeration formulas for canalizing, and nested canalizing functions.
Split-by-edges trees
A split-by-edges tree of a graph G on n vertices is a binary tree T where the root = V(G), every leaf is an independent set in G, and for every other node N in T with children L and R there is a pair of vertices {u, v} in N such that L = N - v, R = N - u, and uv is an edge in G. It follows from the definition that every maximal independent set in G is a leaf in T, and the maximum independent sets of G are the leaves closest to the root of T.
The $\boldsymbol{SO(2r)_2}$ string functions as $\boldsymbol{q}$-diagrams
Published
• View Publication
• BIB
We discuss our conjecture for simply laced Lie algebras level two string functions of mark one fundamental weights and prove it for the $SO(2r)$ algebra. To prove our conjecture we introduce $q$-diagrams and examine the diagrammatic interpretations of known identities by Euler, Cauchy, Heine, Jacobi and Ramanujan. Interestingly, the diagrammatic approach implies these identities are related in the sense that they represent the first few terms in an infinite series of diagrammatic identities. Furthermore, these diagrammatic identities entail all the identities needed to prove our conjecture as well as generalise it to all $SO(2r)$ level two string functions. As such, our main objective is proving these series of diagrammatic identities thus extending the works mentioned and establishing our conjecture for the $SO(2r)$ level two string functions.
Computing girth and cogirth in perturbed graphic matroids
Published
• View Publication
• BIB
We give polynomial-time randomized algorithms for computing the girth and the cogirth of binary matroids that are low-rank perturbations of graphic matroids.
Braess's paradox for the spectral gap in random graphs and delocalization of eigenvectors
Published
• View Publication
• BIB
We study how the spectral gap of the normalized Laplacian of a random graph changes when an edge is added to or removed from the graph. There are known examples of graphs where, perhaps counterintuitively, adding an edge can decrease the spectral gap, a phenomenon that is analogous to Braess's paradox in traffic networks. We show that this is often the case in random graphs in a strong sense. More precisely, we show that for typical instances of Erdős-Rényi random graphs $G(n,p)$ with constant edge density $p \in (0,1)$, the addition of a random edge will decrease the spectral gap with positive probability, strictly bounded away from zero. To do this, we prove a new delocalization result for eigenvectors of the Laplacian of $G(n,p)$, which might be of independent interest.
Matrix positivity preservers in fixed dimension. I
Published in Advances in Mathematics 298 (2016), 325-368
• View Publication
• BIB
A classical theorem proved in 1942 by I.J. Schoenberg describes all real-valued functions that preserve positivity when applied entrywise to positive semidefinite matrices of arbitrary size; such functions are necessarily analytic with non-negative Taylor coefficients. Despite the great deal of interest generated by this theorem, a characterization of functions preserving positivity for matrices of fixed dimension is not known.
In this paper, we provide a complete description of polynomials of degree $N$ that preserve positivity when applied entrywise to matrices of dimension $N$. This is the key step for us then to obtain negative lower bounds on the coefficients of analytic functions so that these functions preserve positivity in a prescribed dimension. The proof of the main technical inequality is representation theoretic, and employs the theory of Schur polynomials. Interpreted in the context of linear pencils of matrices, our main results provide a closed-form expression for the lowest critical value, revealing at the same time an unexpected spectral discontinuity phenomenon.
Tight linear matrix inequalities for Hadamard powers of matrices and a sharp asymptotic bound for the matrix-cube problem involving Hadamard powers are obtained as applications. Positivity preservers are also naturally interpreted as solutions of a variational inequality involving generalized Rayleigh quotients. This optimization approach leads to a novel description of the simultaneous kernels of Hadamard powers, and a family of stratifications of the cone of positive semidefinite matrices.
On the Sprague-Grundy Function of Tetris Extensions of Proper {\sc Nim}
Published
• View Publication
• BIB
Given a hypergraph $\cH \subseteq 2^I \setminus \{\emptyset\}$ on the ground set $I = \{1, \ldots, n\}$, we assign to each $i \in I$ a nonnegative integer $x_i$, that is a pile of $x_i$ tokens, and consider the following generalization of the classical game of {\sc Nim}: Two players alternate turns. In a move a player chooses an arbitrary edge $H \in \cH$ and reduces all piles $i \in H$. The player who is out of moves loses. We call the obtained game hypergraph {\sc Nim}. Such a game is called proper {\sc Nim}, when $\cH=2^I \setminus\{I,\emptyset\}$ is the family of all proper subsets of $I$. Jenkyns and Mayberry \cite{JM80} described the Sprague-Grundy (or SG in short) function of these games. In this paper we introduce Tetris extensions of hypergraph {\sc Nim}, and obtain a closed formula for the SG functions of the extensions of proper {\sc Nim}, when $n\geq 3$. Surprisingly, the case of $n=2$ is much more complicated. For this case we only suggest several partial results and conjectures.