Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Tridiagonalized GUE matrices are a matrix model for labeled mobiles
It is well-known that the number of planar maps with prescribed vertex degree distribution and suitable labeling can be represented as the leading coefficient of the $\frac{1}{N}$-expansion of a joint cumulant of traces of powers of an $N$-by-$N$ GUE matrix. Here we undertake the calculation of this leading coefficient in a different way. Firstly, we tridiagonalize the GUE matrix in the manner of Trotter and Dumitriu-Edelman and then alter it by conjugation to make the subdiagonal identically equal to $1$. Secondly, we apply the cluster expansion technique (specifically, the Brydges-Kennedy-Abdesselam-Rivasseau formula) from rigorous statistical mechanics. Thirdly, by sorting through the terms of the expansion thus generated we arrive at an alternate interpretation for the leading coefficient related to factorizations of the long cycle $(12\cdots n)\in S_n$. Finally, we reconcile the group-theoretical objects emerging from our calculation with the labeled mobiles of Bouttier-Di Francesco-Guitter.
Lifting properties of maximal lattice-free polyhedra
Published
• View Publication
• BIB
We study the uniqueness of minimal liftings of cut-generating functions obtained from maximal lattice-free polyhedra. We prove a basic invariance property of unique minimal liftings for general maximal lattice-free polyhedra. This generalizes a previous result by Basu, Cornuéjols and Köppe~\cite{bcm} for {\em simplicial} maximal lattice-free polytopes, thus completely settling this fundamental question about lifting for maximal lattice-free polyhedra. We further give a very general iterative construction to get maximal lattice-free polyhedra with the unique-lifting property in arbitrary dimensions. This single construction not only obtains all previously known polyhedra with the unique-lifting property, but goes further and vastly expands the known list of such polyhedra. Finally, we extend characterizations from~\cite{bcm} about lifting with respect to maximal lattice-free simplices to more general polytopes. These nontrivial generalizations rely on a number of results from discrete geometry, including the Venkov-Alexandrov-McMullen theorem on translative tilings and characterizations of zonotopes in terms of central symmetry of their faces.
Moduli spaces of rational weighted stable curves and tropical geometry
Published in Forum of Mathematics, Sigma (2016) Vol. 9, e9, 35 pages
• View Publication
• BIB
We study moduli spaces of rational weighted stable tropical curves, and their connections with the classical Hassett spaces. Given a vector w of weights, the moduli space of tropical w-stable curves can be given the structure of a balanced fan if and only if w has only heavy and light entries. In this case, we can express the moduli space as the Bergman fan of a graphic matroid. Furthermore, we realize the tropical moduli space as a geometric tropicalization, and as a Berkovich skeleton, of the classical moduli space. This builds on previous work of Tevelev, Gibney--Maclagan, and Abramovich--Caporaso--Payne. Finally, we construct the moduli spaces of heavy/light weighted tropical curves as fiber products of unweighted spaces, and explore parallels with the algebraic world.
Automata in SageMath---Combinatorics meet Theoretical Computer Science
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Analysis of Algorithms (May 10, 2016) dmtcs:1352
• View Publication
• BIB
The new finite state machine package in the mathematics software system SageMath is presented and illustrated by many examples. Several combinatorial problems, in particular digit problems, are introduced, modeled by automata and transducers and solved using SageMath. In particular, we compute the asymptotic Hamming weight of a non-adjacent-form-like digit expansion, which was not known before.
The double scaling limit of random tensor models
Published in Journal of High Energy Physics 09 (2014) 051
• View Publication
• BIB
Tensor models generalize matrix models and generate colored triangulations of pseudo-manifolds in dimensions $D\geq 3$. The free energies of some models have been recently shown to admit a double scaling limit, i.e. large tensor size $N$ while tuning to criticality, which turns out to be summable in dimension less than six. This double scaling limit is here extended to arbitrary models. This is done by means of the Schwinger--Dyson equations, which generalize the loop equations of random matrix models, coupled to a double scale analysis of the cumulants.
Hook coefficients of chromatic functions
Published
• View Publication
• BIB
The chromatic symmetric function of a graph is a generalization of the chromatic polynomial. The key motivation for studying the structure of a chromatic symmetric function is to answer positivity conjectures by Stanley in 1995 and Gasharov in 1996. As a symmetric function one can write the chromatic symmetric function in the basis of Schur functions. In this paper we address the positivity of the Schur coefficients when the parameter of the Schur function is a hook shape. Furthermore, when a graph is the incomparability graph of a poset with specific properties we construct a correspondence between acyclic orientations of the graph and P-tableaux with a hook shape.
Recognizable Series on Hypergraphs
Published
• View Publication
• BIB
We introduce the notion of Hypergraph Weighted Model (HWM) that generically associates a tensor network to a hypergraph and then computes a value by tensor contractions directed by its hyperedges. A series r defined on a hypergraph family is said to be recognizable if there exists a HWM that computes it. This model generalizes the notion of rational series on strings and trees. We prove some properties of the model and study at which conditions finite support series are recognizable.
A characterization of Gorenstein toric Fano $n$-folds with index $n$ and Fujita's conjecture
We give a characterization of Gorenstein toric Fano varieties of dimension $n$ with index $n$ among toric varieties. As an application, we give a strong version of Fujita's freeness conjecture and also give a simple proof of Fujita's very ampleness conjecture on Gorenstein toric varieties.
Proof of a supercongruence conjectured by Z.-H. Sun
Published
• View Publication
• BIB
The Franel numbers are defined by $
f_n=\sum_{k=0}^n {n\choose k}^3. $
Motivated by the recent work of Z.-W. Sun on Franel numbers, we prove that \begin{align*} \sum_{k=0}^{n-1}(3k+1)(-16)^{n-k-1} {2k\choose k} f_k &\equiv 0\pmod{n{2n\choose n}}, \\ \sum_{k=0}^{p-1}\frac{3k+1}{(-16)^k} {2k\choose k} f_k &\equiv p (-1)^{\frac{p-1}{2}} \pmod{p^3}. \end{align*} where $n>1$ and $p$ is an odd prime. The second congruence modulo $p^2$ confirms a recent conjecture of Z.-H. Sun. We also show that, if $p$ is a prime of the form $4k+3$, then $$ \sum_{k=0}^{p-1}\frac{{2k\choose k} f_k}{(-16)^k} \equiv 0 \pmod p, $$ which confirms a special case of another conjecture of Z.-H. Sun.
The Maximum Likelihood Threshold of a Graph
Published
• View Publication
• BIB
The maximum likelihood threshold of a graph is the smallest number of data points that guarantees that maximum likelihood estimates exist almost surely in the Gaussian graphical model associated to the graph. We show that this graph parameter is connected to the theory of combinatorial rigidity. In particular, if the edge set of a graph $G$ is an independent set in the $n-1$-dimensional generic rigidity matroid, then the maximum likelihood threshold of $G$ is less than or equal to $n$. This connection allows us to prove many results about the maximum likelihood threshold.
The Cremona-Richmond Configuration revisited and generalized
We propose a generalization of the classical point-line Cremona-Richmond configuration to a configuration of points and more dimensional subspaces of a projective space, and present them as geometric realizations of some interesting abstract incidence structures.
Orbit Portraits of Unicritical Anti-polynomials
Published in Conform. Geom. Dyn. 19 (2015), 35-50
• View Publication
• BIB
Orbit portraits were introduced by Milnor as a combinatorial tool to describe the patterns of all periodic dynamical rays landing on a periodic cycle of a quadratic polynomial. This encodes information about the dynamics and the parameter spaces of these maps. We carry out a similar analysis for unicritical anti-polynomials and give an explicit description of the orbit portraits that can occur for such maps in terms of their characteristic angles, which turns out to be rather restricted when compared with the holomorphic case. Finally, we prove a realization theorem for these combinatorial objects. The results obtained in this paper serve as a combinatorial foundation for a detailed understanding of the combinatorics and topology of the parameter spaces of unicritical anti-polynomials and their connectedness loci, known as the multicorns.
Lower bounds for numbers of real solutions in problems of Schubert calculus
Published
• View Publication
• BIB
We give lower bounds for the numbers of real solutions in problems appearing in Schubert calculus in the Grassmannian Gr(n,d) related to osculating flags. It is known that such solutions are related to Bethe vectors in the Gaudin model associated to gl(n). The Gaudin Hamiltonians are selfadjoint with respect to a nondegenerate indefinite Hermitian form. Our bound comes from the computation of the signature of that form.
Automorphism group of the complete transposition graph
Published in Journal of Algebraic Combinatorics, vol. 42, no. 3, pp. 793-801, November 2015
• View Publication
• BIB
The complete transposition graph is defined to be the graph whose vertices are the elements of the symmetric group $S_n$, and two vertices $α$ and $β$ are adjacent in this graph iff there is some transposition $(i,j)$ such that $α=(i,j) β$. Thus, the complete transposition graph is the Cayley graph $\Cay(S_n,S)$ of the symmetric group generated by the set $S$ of all transpositions. An open problem in the literature is to determine which Cayley graphs are normal. It was shown recently that the Cayley graph generated by 4 cyclically adjacent transpositions is not normal. In the present paper, it is proved that the complete transposition graph is not a normal Cayley graph, for all $n \ge 3$. Furthermore, the automorphism group of the complete transposition graph is shown to equal \[ \Aut(\Cay(S_n,S)) = (R(S_n) \rtimes \Inn(S_n)) \rtimes \mathbb{Z}_2, \] where $R(S_n)$ is the right regular representation of $S_n$, $\Inn(S_n)$ is the group of inner automorphisms of $S_n$, and $\mathbb{Z}_2 = \langle h \rangle$, where $h$ is the map $α\mapsto α^{-1}$.
Explicit expressions for a family of Bell polynomials and derivatives of some functions
Published in Applied Mathematics and Computation 258 (2015), 597--607
• View Publication
• BIB
In the paper, the authors first inductively establish explicit formulas for derivatives of the arc sine function, then derive from these explicit formulas explicit expressions for a family of Bell polynomials related to the square function, and finally apply these explicit expressions to find explicit formulas for derivatives of some elementary functions.
Treelike families of multiweights
Published
• View Publication
• BIB
Let ${\cal T}=(T,w)$ be a weighted finite tree with leaves $1,..., n$. For any $I :=\{i_1,..., i_k \} \subset \{1,...,n\}$, let $D_I ({\cal T})$ be the weight of the minimal subtree of $T$ connecting $i_1,..., i_k$; the $D_{I} ({\cal T})$ are called $k$-weights of ${\cal T}$. Given a family of real numbers parametrized by the $k$-subsets of $\{1,..., n\}$, $\{D_I\}_{I \in {\{1,...,n\} \choose k}}$, we say that a weighted tree ${\cal T}=(T,w)$ with leaves $1,..., n$ realizes the family if $D_I({\cal T})=D_I$ for any $ I $. We give a characterization of the families of real numbers that are realized by some weighted tree.
Semi-cyclic holey group divisible designs with block size three and applications to sampling designs and optical orthogonal codes
Published
• View Publication
• BIB
We consider the existence problem for a semi-cyclic holey group divisible design of type (n,m^t) with block size 3, which is denoted by a 3-SCHGDD of type (n,m^t). When t is odd and n\neq 8 or t is doubly even and t\neq 8, the existence problem is completely solved; when t is singly even, many infinite families are obtained. Applications of our results to two-dimensional balanced sampling plans and optimal two-dimensional optical orthogonal codes are also discussed.
On (4,2)-Choosable Graphs
Published in Journal of Graph Theory 85 (2), 2017, pp. 412-428
• View Publication
• BIB
A graph $G$ is called $(a,b)$-choosable if for any list assignment $L$ which assigns to each vertex $v$ a set $L(v)$ of $a$ permissible colours, there is a $b$-tuple $L$-colouring of $G$. An $(a,1)$-choosable graph is also called $a$-choosable. In the pioneering paper on list colouring of graphs by Erdős, Rubin and Taylor, $2$-choosable graphs are characterized. Confirming a special case of a conjecture of Erdős--Rubin--Taylor, Tuza and Voigt proved that $2$-choosable graphs are $(2m,m)$-choosable for any positive integer $m$. On the other hand, Voigt proved that if $m$ is an odd integer, then these are the only $(2m,m)$-choosable graphs; however, when $m$ is even, there are $(2m,m)$-choosable graphs that are not $2$-choosable. A graph is called $3$-choosable-critical if it is not $2$-choosable, but all its proper subgraphs are $2$-choosable. Voigt conjectured that for every positive integer $m$, all bipartite $3$-choosable-critical graphs are $(4m,2m)$-choosable. In this paper, we determine which $3$-choosable-critical graphs are $(4,2)$-choosable, refuting Voigt's conjecture in the process. Nevertheless, a weaker version of the conjecture is true: we prove that there is an even integer $k$ such that for any positive integer $m$, every bipartite $3$-choosable-critical graph is $(2km,km)$-choosable. Moving beyond $3$-choosable-critical graphs, we present an infinite family of non-$3$-choosable-critical graphs which have been shown by computer analysis to be $(4,2)$-choosable. This shows that the family of all $(4,2)$-choosable graphs has rich structure.
The interpolation method for random graphs with prescribed degrees
Published in Combinator. Probab. Comp. 25 (2016) 436-447
• View Publication
• BIB
We consider large random graphs with prescribed degrees, such as those generated by the configuration model. In the regime where the empirical degree distribution approaches a limit $μ$ with finite mean, we establish the systematic convergence of a broad class of graph parameters that includes in particular the independence number, the maximum cut size and the log-partition function of the antiferromagnetic Ising and Potts models. The corresponding limits are shown to be Lipschitz and concave functions of $μ$. Our work extends the applicability of the celebrated interpolation method, introduced in the context of spin glasses, and recently related to the fascinating problem of right-convergence of sparse graphs.
Correlations in the Multispecies TASEP and a Conjecture by Lam
Published in Transactions of the AMS 369 (2017), 1097-1125
• View Publication
• BIB
We study correlations in the multispecies TASEP on a ring. Results on correlation of two adjacent points prove two conjectures by Thomas Lam on
(a) the limiting direction of a reduced random walk in $\tilde A_{n-1}$ and
(b) the asymptotic shape of a random integer partition with no hooks of length $n$, a so called $n$-core.
We further investigate two-point correlations far apart and three-point nearest neighbour correlations and prove explicit formulas in almost all cases. These results can be seen as a finite strengthening of correlations in the TASEP speed process by Amir, Angel and Valkó. We also give conjectures for certain higher order nearest neighbour correlations. We find an unexplained independence property (provably for two points, conjecturally for more points) between points that are closer in position than in value that deserves more study.