Combinatorics

AG-2026.03-1189

math.CO

Enumeration of general planar hypermaps with an alternating boundary

Valentin Baillard, Ariane Carrance, Bertrand Eynard

In this paper, we extend the enumerative study of planar hypermaps with an alternating boundary introduced in an earlier work of Bouttier and the second author. In that article, an explicit rational parametrization was obtained for the associated generating function in the case of m-constellations, using a variant of the kernel method. We develop here a new strategy to obtain an algebraic equation in the general case, which includes maps decorated by the Ising model, through a classical many-to-one correspondence. One of the main steps of our strategy is the simultaneous elimination of two catalytic variables. We then apply this strategy to the case of Ising quadrangulations, where we obtain an explicit rational parametrization. As a consequence, we show that some notable properties of the constellations case are no longer satisfied in general.

AG-2026.03-856

math.CO

The ABCT Variety $V(3,n)$ is a Positive Geometry

Dawei Shen, Emanuele Ventura

The ABCT variety $V(3,n)$ is the image closure of the rational Veronese map from the Grassmannian $\operatorname{Gr}(2,n)$ to the Grassmannian $\operatorname{Gr}(3,n)$. It was studied by Arkani-Hamed--Bourjaily--Cachazo--Trnka in the context of tree-level scattering amplitudes arising in planar $\mathcal N=4$ supersymmetric Yang-Mills theory and Witten's twistor string theory. From this perspective, $V(3,n)$ is conjectured to be a positive geometry by Lam. In this paper, we study the combinatorial and algebraic geometry aspects of $V(3,n)$ and its subvarieties induced by iteratively taking analytic boundaries of the totally nonnegative part. We interpret these subvarieties as point configurations on $\mathbb{P}^2$ by the Gelfand-MacPherson correspondence. We construct a top-degree meromorphic form on $V(3,n)$ and show that it is a positive geometry, proving Lam's conjecture.

AG-2026.03-745

math.CO

Combinatorics of the Cosmohedron

Federico Ardila-Mantilla, Nima Arkani-Hamed, Carolina Figueiredo, Francisco Vazão

The cosmohedron was recently proposed as a polytope underlying the cosmological wavefunction for $\text{Tr}(Φ^3)$ theory. Its faces were conjectured to be in bijection with Matryoshkas, which are obtained from a subdivision of a polygon by sequentially wrapping groups of polygons into larger polygons. In this paper we prove the correctness of this construction, and elucidate its combinatorial structure. Cosmohedra generalize to a wider class of $\mathcal{X}$ in $Y$ polytopes, where we chisel a polytope from the family $\mathcal{X}$ at each vertex of a polytope $Y$. We sketch a new application of these chiseled polytopes to the physics of ultraviolet divergences in loop-integrated Feynman amplitudes.

AG-2026.02-883

math.CO

The Universe Fan

Hadleigh Frost, Felix Lotter

The wavefunction of the universe, as studied in perturbative quantum field theory, is a rational function whose singularities and factorization properties encode a rich underlying combinatorial structure. We define and study a broad generalization of such wavefunctions that can be associated to any lattice. We obtain these wavefunctions as the Laplace transform of a polyhedral fan, the universe fan, whose cones are defined by positivity conditions reflecting a notion of causality in the lattice, and we describe its face lattice. In the matroid case, the universe fan projects to the nested set fan, and the wavefunctions we define recover the matroid amplitudes introduced by Lam as residues. Moreover, in the case relevant for physics, the positivity conditions give a novel way to study the wavefunction, and we show how it is related to the cosmological polytopes of Arkani-Hamed, Benincasa, Postnikov. Finally, we study refinements of the universe fan induced by piecewise linear (tropical) functions. The resulting subdivisions project to refinements of the nested set fan and correspond dually to blow-ups of matroid polytopes, generalizing the cosmohedron polytope.

AG-2025.11-1029

math.CO

Varieties of Lines in 3-Space

Benjamin Hollering, Elia Mazzucchelli, Matteo Parisi, Bernd Sturmfels

We consider configurations of lines in 3-space with incidences prescribed by a graph. This defines a subvariety in a product of Grassmannians. Leveraging a connection with rigidity theory in the plane, for any graph, we determine the dimension of the incidence variety and characterize when it is irreducible or a complete intersection. We study its multidegree and the family of Schubert problems it encodes. Our spanning-tree coordinates enable efficient symbolic computations. We also provide numerical irreducible decompositions for incidence varieties with up to eight lines. These constructions with lines play a key role in the Landau analysis of scattering amplitudes in particle physics.

AG-2025.11-405

math.CO

The Generalized Interval Polynomial of a Poset

Ian George, Karen Yeats

For any finite poset we define a generating polynomial counting upsets, downsets, and their intersection. We investigate the behaviour of this polynomial with respect to poset operations, show that it distinguishes series-parallel posets, and comment on connections to the causal set approach to quantum gravity.

AG-2025.11-840

math.CO

Theory and algorithms for clusters of cycles in graphs for material networks

Perrin E. Ruth, Maria K. Cameron

Analysis of complex networks, particularly material networks such as the carbon skeleton of hydrocarbons generated in hydrocarbon pyrolysis in carbon-rich systems, is essential for effectively describing, modeling, and predicting their features. An important and the most challenging part of this analysis is the extraction and effective description of cycles, when many of them coalesce into complex clusters. A deterministic minimum cycle basis (MCB) is generally non-unique and biased to the vertex enumeration. The union of all MCBs, called the set of relevant cycles, is unique, but may grow exponentially with the graph size. To resolve these issues, we propose a method to sample an MCB uniformly at random. The output MCB is statistically well-defined, and its size is proportional to the number of edges. We review and advance the theory of graph cycles from previous works of Vismara, Gleiss et al., and Kolodzik et al. In particular, we utilize the polyhedron-interchangeability (pi) and short loop-interchangeability (sli) classes to partition the relevant cycles. We introduce a postprocessing step forcing pairwise intersections of relevant cycles to consist of a single path. This permits the definition of a dual graph whose nodes are cycles and edges connect pairs of intersecting cycles. The pi classes identify building blocks for crystalline structures. The sli classes group together sets of large redundant cycles. We present the application to an amorphous hydrocarbon network, where we (i) theorize how the number of relevant cycles may explode with system size and (ii) observe small polyhedral structures related to diamond.

AG-2025.11-773

math.CO

Graphical Scattering Equations

Barbara Betti, Viktoriia Borovik, Bella Finkel, Bernd Sturmfels, Bailee Zacovic

The CHY scattering equations on the moduli space $M_{0,n}$ play a prominent role at the interface of particle physics and algebraic statistics. We study the scattering correspondence when the Mandelstam invariants are restricted to a fixed graph on $n$ vertices.

AG-2025.09-1115

math.CO

The combinatorial geometry of particle physics

Thomas Lam

Recent breakthroughs in the study of scattering amplitudes have uncovered profound and unexpected connections with combinatorial geometry. These connections range from classical structures -- such as polytopes, matroids, and Grassmannians -- to more modern developments including positroid varieties and the amplituhedron. Together they point toward the unifying framework of positive geometry, in which geometric domains canonically determine analytic functions governing scattering processes. This survey traces the emergence of positive geometry from the physics of amplitudes, building towards recent progress on amplitudes for matroids.

AG-2025.09-1104

math.CO

A tree bijection for rigid quadrangulations

Bart Zonneveld

We study the counting problem of rigid quadrangulations, recently introduced by Budd and proven to be in bijection with colorful quadrangulations. The generating function for the latter has been derived in an algebraic manner by Bousquet-Mélou and Elvey Price, which therefore also counts rigid quadrangulations. In this paper we will provide a direct, bijective proof, for this generating function. We will relate the rigid quadrangulations to some naturally appearing trees, decorated with certain natural data. By some slight bijective manipulation of the data, we get a decorated tree, for which the generating function can be found. This result opens the door to better understand the geometry of random rigid quadrangulations (and maybe even of random colorful quadrangulations), by studying the corresponding decorated trees. These properties are relevant the formulation of UV complete JT-gravity, following the work of Ferrari.

AG-2025.09-1103

math.CO

Discrete flat disks: rigid quadrangulations

Timothy Budd

Inspired by a question of Ferrari in the physics context of JT gravity, we introduce and enumerate a combinatorial family of quadrangulations of the disk, called rigid quadrangulations. These form a subclass of the flat quadrangulations in the sense that every inner vertex has degree 4, and therefore it can be viewed as a discrete model of flat metrics on the disk. Our main result is a bijection between rigid quadrangulations and certain colorful integer-labeled quadrangulations of the sphere, together with a dictionary relating a variety of natural statistics on both sides. Adaptions of the bijection to various boundary conditions allow us to import recent enumerative results for colorful quadrangulation obtained by Bousquet-Mélou and Elvey Price. We discuss some consequences of the enumeration of rigid quadrangulations for a flat version of JT gravity at finite cutoff, and comment on potential scaling limits.

AG-2025.09-1020

math.CO

CayleyPy Growth: Efficient growth computations and hundreds of new conjectures on Cayley graphs (Brief version)

A. Chervov, D. Fedoriaka, E. Konstantinova, A. Naumov, I. Kiselev, A. Sheveleva, I. Koltsov, S. Lytkin, A. Smolensky, A. Soibelman, F. Levkovich-Maslyuk, R. Grimov, D. Volovich, A. Isakov, A. Kostin, M. Litvinov, N. Vilkin-Krom, A. Bidzhiev, A. Krasnyi, M. Evseev, E. Geraseva, L. Grunwald, S. Galkin, E. Koldunov, S. Diner, A. Chevychelov, E. Kudasheva, A. Sychev, A. Kravchenko, Z. Kogan, A. Natyrova, L. Shishina, L. Cheldieva, V. Zamkovoy, D. Kovalenko, O. Papulov, S. Kudashev, D. Shiltsov, R. Turtayev, O. Nikitina, D. Mamayeva, S. Nikolenko, M. Obozov, A. Titarenko, A. Dolgorukova, A. Aparnev, O. Debeaupuis, S. Alami C., H. Isambert

This is the third paper of the CayleyPy project applying artificial intelligence to problems in group theory. We announce the first public release of CayleyPy, an open source Python library for computations with Cayley and Schreier graphs. Compared with systems such as GAP and Sage, CayleyPy handles much larger graphs and performs several orders of magnitude faster. Using CayleyPy we obtained about 200 new conjectures on Cayley and Schreier graphs, focused on diameters and growth. For many Cayley graphs of symmetric groups Sn we observe quasi polynomial diameter formulas: a small set of quadratic or linear polynomials indexed by n mod s. We conjecture that this is a general phenomenon, giving efficient diameter computation despite the problem being NP hard. We propose a refinement of the Babai type conjecture on diameters of Sn: n^2/2 + 4n upper bounds in the undirected case, compared to previous O(n^2) bounds. We also provide explicit generator families, related to involutions in a square with whiskers pattern, conjectured to maximize the diameter; search confirms this for all n up to 15. We further conjecture an answer to a question posed by V M Glushkov in 1968 on directed Cayley graphs generated by a cyclic shift and a transposition. For nilpotent groups we conjecture an improvement of J S Ellenberg's results on upper unitriangular matrices over Z/pZ, showing linear dependence of diameter on p. Some conjectures are LLM friendly, naturally stated as sorting problems verifiable by algorithms or Python code. To benchmark path finding we created more than 10 Kaggle datasets. CayleyPy works with arbitrary permutation or matrix groups and includes over 100 predefined generators. Our growth computation code outperforms GAP and Sage up to 1000 times in speed and size.

AG-2025.08-680

math.CO

Plabic Tangles and Cluster Promotion Maps

Chaim Even-Zohar, Matteo Parisi, Melissa Sherman-Bennett, Ran Tessler, Lauren Williams

Inspired by the BCFW recurrence for tilings of the amplituhedron, we introduce the general framework of `plabic tangles' that utilizes plabic graphs to define rational maps between products of Grassmannians called `promotions'. The central conjecture of the paper is that promotion maps are quasi-cluster homomorphisms, which we prove for several classes of promotions. In order to define promotion maps, we utilize $m$-vector-relation configurations ($m$-VRCs) on plabic graphs. We relate $m$-VRCs to the degree (a.k.a `intersection number') of the amplituhedron map on positroid varieties and characterize all plabic trees with intersection number one and their VRCs. Finally, we show that promotion maps admit an operad structure and, supported by the class of `$4$-mass box' promotions, we point at new positivity properties for non-rational maps beyond cluster algebras. Promotion maps have important connections to the geometry and cluster structure of the amplituhedron and singularities of scattering amplitudes in planar $\mathcal{N}=4$ super Yang-Mills theory.

AG-2025.07-992

math.CO

Exterior Cyclic Polytopes and Convexity of Amplituhedra

Elia Mazzucchelli, Elizabeth Pratt

The amplituhedron is a semialgebraic set in the Grassmannian. We study convexity and duality of amplituhedra. We introduce a notion of convexity, called \textit{extendable convexity}, for real semialgebraic sets in any embedded projective variety. We show that the $k=m=2$ amplituhedron is extendably convex in the Grassmannian of lines in projective three-space. In the process we introduce a new polytope called the \emph{exterior cyclic polytope}, generalizing the cyclic polytope. It is equal to the convex hull of the amplituhedron in the Plücker embedding. We undertake a combinatorial analysis of the exterior cyclic polytope, its facets, and its dual. Finally, we introduce the \textit{(extendable) dual amplituhedron}, which is closely related to the dual of the exterior cyclic polytope. We show that the dual amplituhedron for $k=m=2$ is again an amplituhedron, where the external matrix data is changed by the twist map.

AG-2025.06-845

math.CO

Proof of a conjecture by Starr and log-concavity for random commuting permutations

Abdelmalek Abdesselam

We prove a conjecture by Shannon Starr regarding the asymptotics for the number of tuples of commuting permutations with given number of joint orbits. These numbers generalize unsigned Stirling numbers of the first kind which count how many single permutations have a given number of cycles. In the case of pairs of permutations, these numbers are related to D'Arcais polynomials and the Nekrasov-Okounkov formula. As a consequence of the above asymptotics, we confirm a log-concavity conjecture in the regime of typical values for the number of joint orbits. As a result of possible indepentent interest in applied mathematics and mathematical physics, we also provide detailed asymptotics, using Mellin transform techniques, for certain multiple series or multivariate Ramanujan sums which are related to ordinary generating functions of Dirichlet convolutions of power laws. Besides these multiple sums asymptotics, our proofs use bivariate saddle point analysis related to the Meinardus theorem in the delicate case of multiple poles for the associated Dirichlet series.

AG-2025.04-1244

math.CO

Lattice points in polytope boundaries and formal geometric quantization of singular Calabi Yau hypersurfaces in toric varieties

Jonathan Weitsman

We show that the number of lattice points in the boundary of a positive integer dilate of a Delzant integral polytope is a polynomial in the dilation parameter, analogous to the Ehrhart polynomial giving the number of lattice points in a lattice polytope. We give an explicit formula for this polynomial, analogous to the formula of Khovanskii-Pukhlikov for the Ehrhart polynomial. These counting polynomials satisfy a lacunarity principle, the vanishing of alternate coefficients, quite unlike the Ehrhart polynomial. We show that formal geometric quantization of singular Calabi Yau hypersurfaces in smooth toric varieties gives this polynomial, in analogy with the relation of the Khovanskii-Pukhlikov formula to the geometric quantization of toric varieties. The Atiyah-Singer theorem for the index of the Dirac operator gives a moral argument for the lacunarity of the counting polynomial. We conjecture that similar formulas should hold for arbitrary simple integral polytope boundaries.

AG-2025.04-1042

math.CO

Canonical forms of polytopes from adjoints

Christian Gaetz

Projectivizations of pointed polyhedral cones $C$ are positive geometries in the sense of Arkani-Hamed, Bai, and Lam. Their canonical forms look like $$ Ω_C(x)=\frac{A(x)}{B(x)} dx, $$ with $A,B$ polynomials. The denominator $B(x)$ is just the product of the linear equations defining the facets of $C$. We will see that the numerator $A(x)$ is given by the adjoint polynomial of the dual cone $C^{\vee}$. The adjoint was originally defined by Warren, who used it to construct barycentric coordinates in general polytopes. Confirming the intuition that the job of the numerator is to cancel unwanted poles outside the polytope, we will see that the adjoint is the unique polynomial of minimal degree whose hypersurface contains the residual arrangement of non-face intersections of supporting hyperplanes of $C$.

AG-2025.04-942

math.CO

BCFW tilings and cluster adjacency for the amplituhedron

Chaim Even-Zohar, Tsviqa Lakrec, Matteo Parisi, Melissa Sherman-Bennett, Ran Tessler, Lauren Williams

In 2005, Britto, Cachazo, Feng and Witten gave a recurrence (now known as the BCFW recurrence) for computing scattering amplitudes in N=4 super Yang Mills theory. Arkani-Hamed and Trnka subsequently introduced the amplituhedron to give a geometric interpretation of the BCFW recurrence. Arkani-Hamed and Trnka conjectured that each way of iterating the BCFW recurrence gives a "triangulation" or "tiling" of the m=4 amplituhedron. In this article we prove the BCFW tiling conjecture of Arkani-Hamed and Trnka. We also prove the cluster adjacency conjecture for BCFW tiles of the amplituhedron, which says that facets of tiles are cut out by collections of compatible cluster variables for the Grassmannian Gr(4,n). Moreover we show that each BCFW tile is the subset of the Grassmannian where certain cluster variables have particular signs.

AG-2025.03-1036

math.CO

Kinematic Stratifications

Veronica Calvo Cortes, Hadleigh Frost, Bernd Sturmfels

We study stratifications of regions in the space of symmetric matrices. Their points are Mandelstam matrices for momentum vectors in particle physics. Kinematic strata in these regions are indexed by signs and rank two matroids. Matroid strata of Lorentzian quadratic forms arise when all signs are non-negative. We characterize the posets of strata, for massless and massive particles, with and without momentum conservation.

AG-2025.01-1008

math.CO

When alcoved polytopes add

Nick Early, Lukas Kühne, Leonid Monin

Alcoved polytopes are characterized by the property that all facet normal directions are parallel to the roots $e_i-e_j$. Unlike other prominent families of polytopes, like generalized permutahedra, alcoved polytopes are not closed under Minkowski sums. We nonetheless show that the Minkowski sum of a collection of alcoved polytopes is alcoved if and only if each pairwise sum is alcoved. This implies that the type fan of alcoved polytopes is determined by its two-dimensional cones. Moreover, we provide a complete characterization of when the Minkowski sum of alcoved simplices is again alcoved via a graphical criterion on pairs of ordered set partitions. Our characterization reduces to checking conditions on restricted partitions of length at most six. In particular, we show how the Minkowski sum decompositions of the two most well-known families of alcoved polytopes, the associahedron and the cyclohedron, fit in our framework. Additionally, inspired by the physical construction of one-loop scattering amplitudes, we present a new infinite family of alcoved polytopes, called $\widehat{D}_n$ polytopes. We conclude by drawing a connection to matroidal blade arrangements and the Dressian.

AG-2024.12-409

math.CO

Combinatorial interpretation of the coefficients of the causal set d'Alembertian

Karen Yeats

The causal set theory d'Alembertian has rational coefficients for which alternating expressions are known. Here, a combinatorial interpretation of these numbers is given.

AG-2024.12-785

math.CO

Matroids and amplitudes

Thomas Lam

In the 1990s, Kita--Yoshida and Cho--Matsumoto introduced intersection forms on the twisted (co)homologies of hyperplane arrangement complements. We give a closed combinatorial formula for these intersection pairings. We show that these intersection pairings are obtained from (continuous and discrete) Laplace transforms of subfans of the Bergman fan of the associated matroid. We compute inverses of these intersection pairings, allowing us to identify (variants of) these intersection forms with the contravariant form of Schechtman--Varchenko, and the bilinear form of Varchenko. Building on parallel joint work with C. Eur, we define a notion of scattering amplitudes for matroids. We show that matroid amplitudes satisfy locality and unitarity, and recover biadjoint scalar amplitudes in the case of the complete graphic matroid. We apply our formulae for twisted intersection forms to deduce old and new formulae for scattering amplitudes.

AG-2024.11-748

math.CO

The Chirotropical Grassmannian

Dario Antolini, Nick Early

Recent developments in particle physics have revealed deep connections between scattering amplitudes and tropical geometry. From the heart of this relationship emerged the chirotropical Grassmannian $\text{Trop}^χ\text{G}(k,n)$ and the chirotropical Dressian $\text{Dr}^χ(k,n)$, polyhedral fans built from uniform realizable chirotopes that encode the combinatorial structure of Generalized Feynman Diagrams. We prove that $\text{Trop}^χ\text{G}(3,n) = \text{Dr}^χ(3,n)$ for $n = 6,7,8$, and develop algorithms to compute these objects from their rays modulo lineality. Using these algorithms, we compute all chirotropical Grassmannians $\text{Trop}^χ\text{G}(3,n)$ for $n = 6,7,8$ across all isomorphism classes of chirotopes. We prove that each chirotopal configuration space $X^χ(3,6)$ is diffeomorphic to a polytope and propose an associated canonical logarithmic differential form. Finally, we show that the equality between chirotropical Grassmannian and Dressian fails for $(k,n) = (4,8)$.

AG-2024.11-680

math.CO

Machine Learning Mutation-Acyclicity of Quivers

Kymani T. K. Armstrong-Williams, Edward Hirst, Blake Jackson, Kyu-Hwan Lee

Machine learning (ML) has emerged as a powerful tool in mathematical research in recent years. This paper applies ML techniques to the study of quivers -- a type of directed multigraph with significant relevance in algebra, combinatorics, computer science, and mathematical physics. Specifically, we focus on the challenging problem of determining the mutation-acyclicity of a quiver on 4 vertices, a property that is pivotal since mutation-acyclicity is often a necessary condition for theorems involving path algebras and cluster algebras. Although this classification is known for quivers with at most 3 vertices, little is known about quivers on more than 3 vertices. We give a computer-assisted proof of a theorem to prove that mutation-acyclicity is decidable for quivers on 4 vertices with edge weight at most 2. By leveraging neural networks (NNs) and support vector machines (SVMs), we then accurately classify more general 4-vertex quivers as mutation-acyclic or non-mutation-acyclic. Our results demonstrate that ML models can efficiently detect mutation-acyclicity, providing a promising computational approach to this combinatorial problem, from which the trained SVM equation provides a starting point to guide future theoretical development.

AG-2024.08-613

math.CO

Functional Equations and Pole Structure of the Bartholdi Zeta Function

So Matsuura, Kazutoshi Ohta

In this paper, we investigate the Bartholdi zeta function on a connected simple digraph with $n_V$ vertices and $n_E$ edges. We derive a functional equation for the Bartholdi zeta function $ζ_G(q,u)$ on a regular graph $G$ with respect to the bump parameter $u$. We also find an equivalence between the Bartholdi zeta function with a specific value of $u$ and the Ihara zeta function at $u=0$. We determine bounds of the critical strip of $ζ_G(q,u)$ for a general graph. If $G$ is a $(t+1)$-regular graph, the bounds are saturated and $q=(1-u)^{-1}$ and $q=(t+u)^{-1}$ are the poles at the boundaries of the critical strip for $u\ne 1, -t$. When $G$ is the regular graph and the spectrum of the adjacency matrix satisfies a certain condition, $ζ_G(q,u)$ satisfies the so-called Riemann hypothesis. For $u \ne 1$, $q=\pm(1-u)^{-1}$ are poles of $ζ_G(q,u)$ unless $G$ is tree. Although the order of the pole at $q=(1-u)^{-1}$ is $n_E-n_V+1$ if $u\ne u_* \equiv 1-\frac{n_E}{n_V}$, it is enhanced at $u=u_*$. In particular, if the Moore-Penrose inverse of the incidence matrix $L^+$ and the degree vector $\vec{d}$ satisfy the condition $|L^+ \vec{d}|^2\ne n_E$, the order of the pole at $q=(1-u)^{-1}$ increases only by one at $u=u_*$. The order of the pole at $q=-(1-u)^{-1}$ coincides with that at $q=(1-u)^{-1}$ if $G$ is bipartite and is $n_E-n_V$ otherwise.

AG-2024.06-383

math.CO

Local symmetries in partially ordered sets

Christoph Minz

Partially ordered sets (posets) play a universal role as an abstract structure in many areas of mathematics. For finite posets, an explicit enumeration of distinct partial orders on a set of unlabelled elements is known only up to a cardinality of 16 (listed as sequence A000112 in the OEIS), but closed expressions are unknown. By considering the automorphisms of (finite) posets, I introduce a formulation of local symmetries. These symmetries give rise to a division operation on the set of posets and lead to the construction of symmetry classes that are easier to characterise and enumerate. Furthermore, we consider polynomial expressions that count certain subsets of posets with a large number of layers (a large height). As an application in physics, local symmetries or rather their absence helps to distinguish causal sets (locally finite posets) that serve as discrete spacetime models from generic causal sets.

AG-2024.06-1816

math.CO

Testing Quantum and Simulated Annealers on the Drone Delivery Packing Problem

Sara Tarquini, Daniele Dragoni, Matteo Vandelli, Francesco Tudisco

Using drones to perform human-related tasks can play a key role in various fields, such as defense, disaster response, agriculture, healthcare, and many others. The drone delivery packing problem (DDPP) arises in the context of logistics in response to an increasing demand in the delivery process along with the necessity of lowering human intervention. The DDPP is usually formulated as a combinatorial optimization problem, aiming to minimize drone usage with specific battery constraints while ensuring timely consistent deliveries with fixed locations and energy budget. In this work, we propose two alternative formulations of the DDPP as a quadratic unconstrained binary optimization (QUBO) problem, in order to test the performance of classical and quantum annealing (QA) approaches. We perform extensive experiments showing the advantages as well as the limitations of quantum annealers for this optimization problem, as compared to simulated annealing (SA) and classical state-of-the-art commercial tools for global optimization.

AG-2024.05-1745

math.CO

All $S_p$ notions of quantum expansion are equivalent

Francisco Escudero Gutiérrez, Garazi Muguruza

In a recent work Li, Qiao, Wigderson, Wigderson and Zhang introduced notions of quantum expansion based on $S_p$ norms and posed as an open question if they were all equivalent. We give an affirmative answer to this question.

AG-2024.04-964

math.CO

Billiard Partitions, Fibonacci Sequences, SIP Classes, and Quivers

Vladimir Dragović, Marko Stošić

Starting from billiard partitions which arose recently in the description of periodic trajectories of ellipsoidal billiards in $d$-dimensional Euclidean space, we introduce a new type of separable integer partition classes, called type B. We study the numbers of basis partitions with $d$ parts and relate them to the Fibonacci sequence and its natural generalizations. Remarkably, the generating series of basis partitions can be related to the quiver generating series of symmetric quivers corresponding to the framed unknot via knots-quivers correspondence, and to the count of Schröder paths.

AG-2024.04-642

math.CO

The Magic Number Conjecture for the $m=2$ amplituhedron and Parke-Taylor identities

Matteo Parisi, Melissa Sherman-Bennett, Ran Tessler, Lauren Williams

The amplituhedron $A_{n,k,m}$ is a geometric object introduced in the context of scattering amplitudes in $N=4$ super Yang Mills. It generalizes the positive Grassmannian (when $n=k+m$), cyclic polytopes (when $k=1$), and the bounded complex of the cyclic hyperplane arrangement (when $m=1$). Of substantial interest are the tilings of the amplituhedron, which are analogous to triangulations of a polytope. Karp, Williams and Zhang (2020) observed that the known tilings of $A_{n,k,2}$ have cardinality ${n-2 \choose k}$ and the known tilings of $A_{n,k,4}$ have cardinality the Narayana number $\frac{1}{n-3}{n-3 \choose k+1}{n-3 \choose k}$; generalizing these observations, they conjectured that for even $m$ the tilings of $A_{n, k,m}$ have cardinality the MacMahon number, the number of plane partitions which fit inside a $k \times (n-k-m) \times \frac{m}{2}$ box. We refer to this prediction as the `Magic Number Conjecture'. In this paper we prove the Magic Number Conjecture for the $m=2$ amplituhedron: that is, we show that each tiling of $A_{n,k,2}$ has cardinality ${n-2 \choose k}$. We prove this by showing that all positroid tilings of the hypersimplex $Δ_{k+1,n}$ have cardinality ${n-2 \choose k}$, then applying T-duality. In addition, we give combinatorial necessary conditions for tiles to form a tiling of $A_{n,k,2}$; we give volume formulas for Parke-Taylor polytopes and certain positroid polytopes in terms of circular extensions of cyclic partial orders; and we prove new variants of the classical Parke-Taylor identities.

AG-2024.04-1473

math.CO

Selected Open Problems in Continuous-Time Quantum Walks

Gabriel Coutinho, Krystal Guo

Quantum walks on graphs are fundamental to quantum computing and have led to many interesting open problems in algebraic graph theory. This review article highlights three key classes of open problems in this domain; perfect state transfer, instantaneous uniform mixing, and average mixing matrices. In highlighting these open problems, our aim is to stimulate further research and exploration in this rapidly evolving field.

AG-2024.03-776

math.CO

PySymmPol: Symmetric Polynomials in Python

Thiago Araujo

PySymmPol is a Python package designed for efficient manipulation of symmetric polynomials. It provides functionalities for working with various types of symmetric polynomials, including elementary, homogeneous, monomial symmetric, (skew-) Schur, and Hall-Littlewood polynomials. In addition to polynomial operations, PySymmPol offers tools to explore key properties of integer partitions and Young diagrams, such as transposition, Frobenius coordinates, characters of symmetric groups and others.

AG-2024.03-648

math.CO

On the face stratification of the $m=2$ amplituhedron

Thomas Lam

We define and study the face stratification of the m=2 amplituhedron. We show that the face poset is an upper order ideal in the face poset of the totally nonnegative Grassmannian. Our construction is consistent with earlier work of Lukowski, and we confirm various predictions of Lukowski.

AG-2024.02-2094

math.CO

Circulant graphs with valency up to 4 that admit perfect state transfer in Grover walks

Sho Kubota, Kiyoto Yoshino

We completely characterize circulant graphs with valency up to $4$ that admit perfect state transfer. Those of valency $3$ do not admit it. On the other hand, circulant graphs with valency $4$ admit perfect state transfer only in two infinite families: one discovered by Zhan and another new family, while no others do. The main tools for deriving these results are symmetry of graphs and eigenvalues. We describe necessary conditions for perfect state transfer to occur based on symmetry of graphs, which mathematically refers to automorphisms of graphs. As for eigenvalues, if perfect state transfer occurs, then certain eigenvalues of the corresponding isotropic random walks must be the halves of algebraic integers. Taking this into account, we utilize known results on the rings of integers of cyclotomic fields.

AG-2024.02-781

math.CO

A cluster of results on amplituhedron tiles

Chaim Even-Zohar, Tsviqa Lakrec, Matteo Parisi, Ran Tessler, Melissa Sherman-Bennett, Lauren Williams

The amplituhedron is a mathematical object which was introduced to provide a geometric origin of scattering amplitudes in $\mathcal{N}=4$ super Yang Mills theory. It generalizes \emph{cyclic polytopes} and the \emph{positive Grassmannian}, and has a very rich combinatorics with connections to cluster algebras. In this article we provide a series of results about tiles and tilings of the $m=4$ amplituhedron. Firstly, we provide a full characterization of facets of BCFW tiles in terms of cluster variables for $\mbox{Gr}_{4,n}$. Secondly, we exhibit a tiling of the $m=4$ amplituhedron which involves a tile which does not come from the BCFW recurrence -- the \emph{spurion} tile, which also satisfies all cluster properties. Finally, strengthening the connection with cluster algebras, we show that each standard BCFW tile is the positive part of a cluster variety, which allows us to compute the canonical form of each such tile explicitly in terms of cluster variables for $\mbox{Gr}_{4,n}$. This paper is a companion to our previous paper ``Cluster algebras and tilings for the $m=4$ amplituhedron''.

AG-2024.01-2037

math.CO

Quantum independence and chromatic numbers

Chris Godsil, Mariia Sobchuk

We construct a new graph on 120 vertices whose quantum and classical independence numbers are different. At the same time, we construct an infinite family of graphs whose quantum chromatic numbers are smaller than the classical chromatic numbers. Furthermore, we discover the relation to Kochen-Specker sets that characterizes quantum cocliques that are strictly bigger than classical ones. Finally, we prove that for graphs with independence number is two, quantum and classical independence numbers coincide.

AG-2024.01-1554

math.CO

Stabiliser codes over fields of even order

Simeon Ball, Edgar Moreno, Robin Simoens

We prove that the natural isomorphism between GF(2^h) and GF(2)^h induces a bijection between stabiliser codes on n quqits with local dimension q=2^h and binary stabiliser codes on hn qubits. This allows us to describe these codes geometrically: a stabiliser code over a field of even order corresponds to a so-called quantum set of symplectic polar spaces. Moreover, equivalent stabiliser codes have a similar geometry, which can be used to prove the uniqueness of a [[4,0,3]]_4 stabiliser code and the nonexistence of both a [[7,1,4]]_4 and an [[8,0,5]]_4 stabiliser code.

AG-2015.06-079

math.CO

Totally nonnegative Grassmannian and Grassmann polytopes

Thomas Lam

These are lecture notes intended to supplement my second lecture at the Current Developments in Mathematics conference in 2014. In the first half of article, we give an introduction to the totally nonnegative Grassmannian together with a survey of some more recent work. In the second half of the article, we give a definition of a Grassmann polytope motivated by work of physicists on the amplituhedron. We propose to use Schubert calculus and canonical bases to replace linear algebra and convexity in the theory of polytopes.

AG-2015.05-076

math.CO

Computing the partition function for graph homomorphisms

Alexander Barvinok, Pablo Soberón

We introduce the partition function of edge-colored graph homomorphisms, of which the usual partition function of graph homomorphisms is a specialization, and present an efficient algorithm to approximate it in a certain domain. Corollaries include efficient algorithms for computing weighted sums approximating the number of k-colorings and the number of independent sets in a graph, as well as an efficient procedure to distinguish pairs of edge-colored graphs with many color-preserving homomorphisms G --> H from pairs of graphs that need to be substantially modified to acquire a color-preserving homomorphism G --> H.

AG-2015.04-1393

math.CO

Onset of the Asymptotic Regime for Finite Orders

Joe Henson, David P. Rideout, Rafael D. Sorkin, Sumati Surya

We describe a Markov-Chain-Monte-Carlo algorithm which can be used to generate naturally labeled n-element posets at random with a probability distribution of one's choice. Implementing this algorithm for the uniform distribution, we explore the approach to the asymptotic regime in which almost every poset takes on the three-layer structure described by Kleitman and Rothschild (KR). By tracking the n-dependence of several order-invariants, among them the height of the poset, we observe an oscillatory behavior which is very unlike a monotonic approach to the KR regime. Only around n=40 or so does this "finite size dance" appear to give way to a gradual crossover to asymptopia which lasts until n=85, the largest n we have simulated.

AG-2015.03-1872

math.CO

Four factorization formulas for plane partitions

Mihai Ciucu

All ten symmetry classes of plane partitions that fit in a given box are known to be enumerated by simple product formulas, but there is still no unified proof for all of them. Progress towards this goal can be made by establishing identities connecting the various symmetry classes. We present in this paper four such identities, involving all ten symmetry classes. We discuss their proofs and generalizations. The main result of this paper is to give a generalization of one of them, in the style of the identity presented in "A factorization theorem for rhombus tilings," M. Ciucu and C. Krattenthaler, arXiv:1403.3323.

AG-2015.03-1808

math.CO

Counting self-avoiding walks

Geoffrey R. Grimmett, Zhongyang Li

The connective constant $μ(G)$ of a graph $G$ is the asymptotic growth rate of the number of self-avoiding walks on $G$ from a given starting vertex. We survey three aspects of the dependence of the connective constant on the underlying graph $G$. Firstly, when $G$ is cubic, we study the effect on $μ(G)$ of the Fisher transformation (that is, the replacement of vertices by triangles). Secondly, we discuss upper and lower bounds for $μ(G)$ when $G$ is regular. Thirdly, we present strict inequalities for the connective constants $μ(G)$ of vertex-transitive graphs $G$, as $G$ varies. As a consequence of the last, the connective constant of a Cayley graph of a finitely generated group decreases strictly when a new relator is added, and increases strictly when a non-trivial group element is declared to be a generator. Special prominence is given to open problems.

AG-2015.03-973

math.CO

Three interactions of holes in two dimensional dimer systems

Tomack Gilmore

Consider the unit triangular lattice in the plane with origin $O$, drawn so that one of the sets of lattice lines is vertical. Let $l$ and $l'$ denote respectively the vertical and horizontal lines that intersect $O$. Suppose the plane contains a pair of triangular holes of side length two, distributed symmetrically with respect to $l$ and $l'$, and oriented so that both holes point toward $O$. Unit rhombus tilings of three different regions of the plane are considered, namely: tilings of the entire plane; tilings of the half plane that lies to the left of $l$ (where $l$ is considered a free boundary, so unit rhombi are allowed to protrude half-way across it); and tilings of the half plane that lies just below the fixed boundary $l'$. Asymptotic expressions for the interactions of the triangular holes in these three different regions are obtained, providing further evidence for Ciucu's ongoing program that seeks to draw parallels between gaps in dimer systems on the hexagonal lattice and electrostatic phenomena.

AG-2015.03-846

math.CO

Exponential Lower Bounds for Polytopes in Combinatorial Optimization

Samuel Fiorini, Serge Massar, Sebastian Pokutta, Hans Raj Tiwary, Ronald de Wolf

We solve a 20-year old problem posed by Yannakakis and prove that there exists no polynomial-size linear program (LP) whose associated polytope projects to the traveling salesman polytope, even if the LP is not required to be symmetric. Moreover, we prove that this holds also for the cut polytope and the stable set polytope. These results were discovered through a new connection that we make between one-way quantum communication protocols and semidefinite programming reformulations of LPs.

AG-2015.02-2372

math.CO

Asymptotic expansion of the multi-orientable random tensor model

Eric Fusy, Adrian Tanasa

Three-dimensional random tensor models are a natural generalization of the celebrated matrix models. The associated tensor graphs, or 3D maps, can be classified with respect to a particular integer or half-integer, the degree of the respective graph. In this paper we analyze the general term of the asymptotic expansion in N, the size of the tensor, of a particular random tensor model, the multi-orientable tensor model. We perform their enumeration and we establish which are the dominant configurations of a given degree.

AG-2015.02-1268

math.CO

On rigidity, orientability and cores of random graphs with sliders

Julien Barré, Marc Lelarge, Dieter Mitsche

Suppose that you add rigid bars between points in the plane, and suppose that a constant fraction $q$ of the points moves freely in the whole plane; the remaining fraction is constrained to move on fixed lines called sliders. When does a giant rigid cluster emerge? Under a genericity condition, the answer only depends on the graph formed by the points (vertices) and the bars (edges). We find for the random graph $G \in \mathcal{G}(n,c/n)$ the threshold value of $c$ for the appearance of a linear-sized rigid component as a function of $q$, generalizing results of Kasiviswanathan et al. We show that this appearance of a giant component undergoes a continuous transition for $q \leq 1/2$ and a discontinuous transition for $q > 1/2$. In our proofs, we introduce a generalized notion of orientability interpolating between 1- and 2-orientability, of cores interpolating between 2-core and 3-core, and of extended cores interpolating between 2+1-core and 3+2-core; we find the precise expressions for the respective thresholds and the sizes of the different cores above the threshold. In particular, this proves a conjecture of Kasiviswanathan et al. about the size of the 3+2-core. We also derive some structural properties of rigidity with sliders (matroid and decomposition into components) which can be of independent interest.

AG-2015.02-580

math.CO

Partition into heapable sequences, heap tableaux and a multiset extension of Hammersley's process

Gabriel Istrate, Cosmin Bonchis

We investigate partitioning of integer sequences into heapable subsequences (previously defined and established by Mitzenmacher et al). We show that an extension of patience sorting computes the decomposition into a minimal number of heapable subsequences (MHS). We connect this parameter to an interactive particle system, a multiset extension of Hammersley's process, and investigate its expected value on a random permutation. In contrast with the (well studied) case of the longest increasing subsequence, we bring experimental evidence that the correct asymptotic scaling is $\frac{1+\sqrt{5}}{2}\cdot \ln(n)$. Finally we give a heap-based extension of Young tableaux, prove a hook inequality and an extension of the Robinson-Schensted correspondence.

AG-2015.02-337

math.CO

Exact Analysis of k-Connectivity in Secure Sensor Networks with Unreliable Links

Jun Zhao, Osman Yağan, Virgil Gligor

The Eschenauer--Gligor (EG) random key predistribution scheme has been widely recognized as a typical approach to secure communications in wireless sensor networks (WSNs). However, there is a lack of precise probability analysis on the reliable connectivity of WSNs under the EG scheme. To address this, we rigorously derive the asymptotically exact probability of $k$-connectivity in WSNs employing the EG scheme with unreliable links represented by independent on/off channels, where $k$-connectivity ensures that the network remains connected despite the failure of any $(k-1)$ sensors or links. Our analytical results are confirmed via numerical experiments, and they provide precise guidelines for the design of secure WSNs that exhibit a desired level of reliability against node and link failures.

AG-2015.01-1542

math.CO

Matrix integrals and generating functions for permutations and one-face rooted hypermaps

Jacob P. Dyer

Closed-form generating functions for counting one-face rooted hypermaps with a known number of darts by number of vertices and edges is found, using matrix integral expressions relating to the reduced density operator of a bipartite quantum system. A recursion relation for these generating functions is also found. The method for computing similar generating functions for two-face rooted hypermaps by number of vertices and edges is outlined.

AG-2015.01-789

math.CO

Discrete Dirac Operators, Critical Embeddings and Ihara-Selberg Functions

Martin Loebl, Petr Somberg

The aim of the paper is to formulate a discrete analogue of the claim made by Alvarez-Gaume et al., realizing the partition function of the free fermion on a closed Riemann surface of genus g as a linear combination of 2^{2g} Pfaffians of Dirac operators. Let G=(V,E) be a finite graph embedded in a closed Riemann surface X of genus g, x_e the collection of independent variables associated with each edge e of G (collected in one vector variable x) and S the set of all 2^{2g} Spin-structures on X. We introduce 2^{2g} rotations rot_s and (2|E| times 2|E|) matrices D(s)(x), s in S, of the transitions between the oriented edges of G determined by rotations rot_s. We show that the generating function for the even subsets of edges of G, i.e., the Ising partition function, is a linear combination of the square roots of 2^{2g} Ihara-Selberg functions I(D(s)(x)) also called Feynman functions. By a result of Foata--Zeilberger holds I(D(s)(x))= det(I-D'(s)(x)), where D'(s)(x) is obtained from D(s)(x) by replacing some entries by 0. Thus each Feynman function is computable in polynomial time. We suggest that in the case of critical embedding of a bipartite graph G, the Feynman functions provide suitable discrete analogues for the Pfaffians of discrete Dirac operators.

AG-2015.01-129

math.CO

A positive Grassmannian analogue of the permutohedron

Lauren K. Williams

The classical permutohedron Perm is the convex hull of the points (w(1),...,w(n)) in R^n where w ranges over all permutations in the symmetric group. This polytope has many beautiful properties -- for example it provides a way to visualize the weak Bruhat order: if we orient the permutohedron so that the longest permutation w_0 is at the "top" and the identity e is at the "bottom," then the one-skeleton of Perm is the Hasse diagram of the weak Bruhat order. Equivalently, the paths from e to w_0 along the edges of Perm are in bijection with the reduced decompositions of w_0. Moreover, the two-dimensional faces of the permutohedron correspond to braid and commuting moves, which by the Tits Lemma, connect any two reduced expressions of w_0. In this note we introduce some polytopes Br(k,n) (which we call bridge polytopes) which provide a positive Grassmannian analogue of the permutohedron. In this setting, BCFW bridge decompositions of reduced plabic graphs play the role of reduced decompositions. We define Br(k,n) and explain how paths along its edges encode BCFW bridge decompositions of the longest element pi(k,n) in the circular Bruhat order. We also show that two-dimensional faces of Br(k,n) correspond to certain local moves for plabic graphs, which by a result of Postnikov [Pos06], connect any two reduced plabic graphs associated to pi(k,n). All of these results can be generalized to the positive parts of Schubert cells. A useful tool in our proofs is the fact that our polytopes are isomorphic to certain Bruhat interval polytopes. Conversely, our results on bridge polytopes allow us to deduce some corollaries about the structure of Bruhat interval polytopes.

AG-2014.12-1410

math.CO

Tree hook length formulae, Feynman rules and B-series

Bradley R. Jones, Karen Yeats

We consider weighted generating functions of trees where the weights are products of functions of the sizes of the subtrees. This work begins with the observation that three different communities, largely independently, found substantially the same result concerning these series. We unify these results with a common generalization. Next we use the insights of one community on the problems of another in two different ways. Namely, we use the differential equation perspective to find a number of new interesting hook length formulae for trees, and we use the body of examples developed by the combinatorial community to give quantum field theory toy examples with nice properties.

AG-2014.12-171

math.CO

Complex zero-free regions at large |q| for multivariate Tutte polynomials (alias Potts-model partition functions) with general complex edge weights

Bill Jackson, Aldo Procacci, Alan D. Sokal

We find zero-free regions in the complex plane at large |q| for the multivariate Tutte polynomial (also known in statistical mechanics as the Potts-model partition function) Z_G(q,w) of a graph G with general complex edge weights w = {w_e}. This generalizes a result of Sokal (cond-mat/9904146) that applies only within the complex antiferromagnetic regime |1+w_e| \le 1. Our proof uses the polymer-gas representation of the multivariate Tutte polynomial together with the Penrose identity.

AG-2014.11-1921

math.CO

Upper bounds on the growth rates of hard squares and related models via corner transfer matrices

Yao-ban Chan, Andrew Rechnitzer

We study the growth rate of the hard squares lattice gas, equivalent to the number of independent sets on the square lattice, and two related models - non-attacking kings and read-write isolated memory. We use an assortment of techniques from combinatorics, statistical mechanics and linear algebra to prove upper bounds on these growth rates. We start from Calkin and Wilf's transfer matrix eigenvalue bound, then bound that with the Collatz-Wielandt formula from linear algebra. To obtain an approximate eigenvector, we use an ansatz from Baxter's corner transfer matrix formalism, optimised with Nishino and Okunishi's corner transfer matrix renormalisation group method. This results in an upper bound algorithm which no longer requires exponential memory and so is much faster to calculate than a direct evaluation of the Calkin-Wilf bound. Furthermore, it is extremely parallelisable and so allows us to make dramatic improvements to the previous best known upper bounds. In all cases we reduce the gap between upper and lower bounds by 4-6 orders of magnitude.

AG-2014.11-1794

math.CO

Conic Formulations of Graph Homomorphisms

David E. Roberson

Given graphs $X$ and $Y$, we define two conic feasibility programs which we show have a solution over the completely positive cone if and only if there exists a homomorphism from $X$ to $Y$. By varying the cone, we obtain similar characterizations of quantum/entanglement-assisted homomorphisms and three previously studied relaxations of these relations. Motivated by this, we investigate the properties of these "conic homomorphisms" for general (suitable) cones. We also consider two generalized versions of the Lovász theta function, and how they interact with these conic homomorphisms. We prove analogs of several results on classical graph homomorphisms as well as some monotonicity theorems. We also show that one of the generalized theta functions is multiplicative on lexicographic and disjunctive graph products.

AG-2014.11-1153

math.CO

On $k$-connectivity and minimum vertex degree in random $s$-intersection graphs

Jun Zhao, Osman Yağan, Virgil Gligor

Random $s$-intersection graphs have recently received much interest in a wide range of application areas. Broadly speaking, a random $s$-intersection graph is constructed by first assigning each vertex a set of items in some random manner, and then putting an undirected edge between all pairs of vertices that share at least $s$ items (the graph is called a random intersection graph when $s=1$). A special case of particular interest is a uniform random $s$-intersection graph, where each vertex independently selects the same number of items uniformly at random from a common item pool. Another important case is a binomial random $s$-intersection graph, where each item from a pool is independently assigned to each vertex with the same probability. Both models have found numerous applications thus far including cryptanalysis, and the modeling of recommender systems, secure sensor networks, online social networks, trust networks and small-world networks (uniform random $s$-intersection graphs), as well as clustering analysis, classification, and the design of integrated circuits (binomial random $s$-intersection graphs). In this paper, for binomial/uniform random $s$-intersection graphs, we present results related to $k$-connectivity and minimum vertex degree. Specifically, we derive the asymptotically exact probabilities and zero-one laws for the following three properties: (i) $k$-vertex-connectivity, (ii) $k$-edge-connectivity and (iii) the property of minimum vertex degree being at least $k$.

AG-2014.11-571

math.CO

The Distribution of Ramsey Numbers

Lane Clark, Frank Gaitan

We prove that the number of integers in the interval [0,x] that are non-trivial Ramsey numbers r(k,n) (3 <= k <= n) has order of magnitude (x ln x)**(1/2).

AG-2014.10-2010

math.CO

Tutte polynomial of a fractal scale-free lattice

Hanlin Chen, Yuanhua Liao, Hanyuan Deng

The Tutte polynomial of a graph, or equivalently the $q$-state Potts model partition function, is a two-variable polynomial graph invariant of considerable importance in both combinatorics and statistical physics. The computation of this invariant for a graph is NP-hard in general. In this paper, based on their self-similar structures, we recursively describe the Tutte polynomials of an infinite family of scale-free lattices. Furthermore, we give some exact analytical expressions of the Tutte polynomial for several special points at $(X,Y)$-plane.

AG-2014.10-1948

math.CO

Unified spectral bounds on the chromatic number

Clive Elphick, Pawel Wocjan

One of the best known results in spectral graph theory is the following lower bound on the chromatic number due to Alan Hoffman, where mu_1 and mu_n are respectively the maximum and minimum eigenvalues of the adjacency matrix: chi >= 1 + mu_1 / (- mu_n). We recently generalised this bound to include all eigenvalues of the adjacency matrix. In this paper, we further generalize these results to include all eigenvalues of the adjacency, Laplacian and signless Laplacian matrices. The various known bounds are also unified by considering the normalized adjacency matrix, and examples are cited for which the new bounds outperform known bounds.

AG-2014.10-816

math.CO

Computing the partition function for cliques in a graph

Alexander Barvinok

We present a deterministic algorithm which, given a graph G with n vertices and an integer 1<m < n, computes in n^{O(ln m)} time the sum of weights w(S) over all m-subsets S of the set of vertices of G, where w(S)=exp{gamma t m +O(1/m)} provided exactly t{m choose 2} pairs of vertices of S span an edge of G for some 0 < t < 1. Here gamma >0 is an absolute constant: we can choose gamma=0.06, and if n > 4m and m > 10, we can choose gamma=0.18. This allows us to tell apart the graphs that do not have m-subsets of high density from the graphs that have sufficiently many m-subsets of high density, even when the probability to hit such a subset at random is exponentially small in m.

AG-2014.10-631

math.CO

On $q$-analogs of some integrals over GUE

Praveen S. Venkataramana

Statistics over the Gaussian unitary ensemble and the Wishart ensemble of random matrices often have nice closed-form expressions. These are related to multivariate extensions of the Hermite, Laguerre, and Jacobi polynomials, which often occur in the study of these ensembles. In the paper, we develop a formal $q$-analog of the Gaussian unitary ensemble, using $q$-Hermite polynomials and coefficient extraction instead of integration. This way we derive $q$-analogs for many well-known eigenvalue statistics. One of these is related to the Harer-Zagier formula, which uses a matrix integral to count the number of unicellular maps on $n$ vertices by genus.

AG-2014.08-2434

math.CO

A note on recognizing an old friend in a new place: list coloring and the zero-temperature Potts model

Joanna A. Ellis-Monaghan, Iain Moffatt

Here we observe that list coloring in graph theory coincides with the zero-temperature antiferromagnetic Potts model with an external field. We give a list coloring polynomial that equals the partition function in this case. This is analogous to the well-known connection between the chromatic polynomial and the zero-temperature, zero-field, antiferromagnetic Potts model. The subsequent cross fertilization yields immediate results for the Potts model and suggests new research directions in list coloring.

AG-2014.07-1760

math.CO

On number of nonzero cells in some two-dimensional reversible second-order cellular automata

Alexander Yu. Vlasov

Recursive equations for the number of cells with nonzero values at $n$-th step for some two-dimensional reversible second-order cellular automata are proved in this work. Initial configuration is a single cell with the value one and all others zero.

AG-2014.06-1211

math.CO

Computing the permanent of (some) complex matrices

Alexander Barvinok

We present a deterministic algorithm, which, for any given 0< epsilon < 1 and an nxn real or complex matrix A=(a_{ij}) such that | a_{ij}-1| < 0.19 for all i, j computes the permanent of A within relative error epsilon in n^{O(ln n -ln epsilon)} time. The method can be extended to computing hafnians and multidimensional permanents.

AG-2014.06-475

math.CO

The Non-Orientable Map Asymptotics Constant $p_g$

S. R. Carrell

Using the pfaffian structure of the generating series for locally orientable maps, we show that the generating series satsifies a nonlinear differential equation called the BKP equation. Using this we are able to derive a cubic differential equation which is satisfied by the generating series for locally orientable triangulations. As a result, we prove a conjecture of Garoufalidis and Mariño concerning the constant $p_g$ which appears in asymptotic formulas for a variety of rooted maps on non-orientable surfaces. This allows one to determine the asymptotic expansion for $p_g$ up to an unknown Stokes constant.

AG-2014.06-204

math.CO

Bessenrodt-Stanley polynomials and the octahedron recurrence

Philippe Di Francesco

We show that a family of multivariate polynomials recently introduced by Bessenrodt and Stanley can be expressed as solution of the octahedron recurrence with suitable initial data. This leads to generalizations and explicit expressions as path or dimer partition functions.

AG-2014.05-1411

math.CO

Factorial Schur functions and the Yang-Baxter equation

Daniel Bump, Peter J. McNamara, Maki Nakasuji

Factorial Schur functions are generalizations of Schur functions that have, in addition to the usual variables, a second family of &#34;shift&#34; parameters. We show that a factorial Schur function times a deformation of the Weyl denominator may be expressed as the partition function of a particular statistical-mechanical system (six vertex model). The proof is based on the Yang-Baxter equation. There is a deformation parameter $t$ which may be specialized in different ways. If $t=-1$, then we recover the expression of the factorial Schur function as a ratio of alternating polynomials. If $t=0$, we recover the description as a sum over tableaux. If $t=\infty$ we recover a description of Lascoux that was previously considered by McNamara. We also are able to prove using the Yang-Baxter equation the asymptotic symmetry of the factorial Schur functions in the shift parameters. Finally, we give a proof using our methods of the dual Cauchy identity for factorial Schur functions. Thus using our methods we are able to give thematic proofs of many of the properties of factorial Schur functions.

AG-2014.05-1470

math.CO

On the growth rate of 1324-avoiding permutations

Andrew R Conway, Anthony J Guttmann

We give an improved algorithm for counting the number of $1324$-avoiding permutations, resulting in 5 further terms of the generating function. We analyse the known coefficients and find compelling evidence that unlike other classical length-4 pattern-avoiding permutations, the generating function in this case does not have an algebraic singularity. Rather, the number of 1324-avoiding permutations of length $n$ behaves as $$B\cdot μ^n \cdot μ_1^{n^σ} \cdot n^g.$$ We estimate $μ=11.60 \pm 0.01,$ $σ=1/2,$ $μ_1 = 0.0398 \pm 0.0010,$ $g = -1.1 \pm 0.2$ and $B =9.5 \pm 1.0.$

AG-2014.05-1219

math.CO

Accurate lower bounds on two-dimensional constraint capacities from corner transfer matrices

Yao-ban Chan, Andrew Rechnitzer

We analyse the capacity of several two-dimensional constraint families - the exclusion, colouring, parity and charge model families. Using Baxter&#39;s corner transfer matrix formalism combined with the corner transfer matrix renormalisation group method of Nishino and Okunishi, we calculate very tight lower bounds and estimates on the growth rate of these models. Our results strongly improve previous known lower bounds, and lead to the surprising conjecture that the capacity of the even and charge(3) constraints are identical.

AG-2014.04-1265

math.CO

Strict inequalities for connective constants of transitive graphs

Geoffrey R. Grimmett, Zhongyang Li

The connective constant of a graph is the exponential growth rate of the number of self-avoiding walks starting at a given vertex. Strict inequalities are proved for connective constants of vertex-transitive graphs. Firstly, the connective constant decreases strictly when the graph is replaced by a non-trivial quotient graph. Secondly, the connective constant increases strictly when a quasi-transitive family of new edges is added. These results have the following implications for Cayley graphs. The connective constant of a Cayley graph decreases strictly when a new relator is added to the group, and increases strictly when a non-trivial group element is declared to be a generator.

AG-2014.04-810

math.CO

TASEP and Planar Binary Trees: A Combinatorial Approach

Xiangyu Cao

We give a simple explanation why the stationary state of the 1D TASEP model with open boundaries is related to the Catalan numbers. Our construction is based on planar binary trees and provides a combinatorial solution of the stationary state. We discuss the relation to Catalan tableaux approaches in an appendix.

AG-2014.04-603

math.CO

Euler tours and unicycles in the rotor-router model

V. S. Poghosyan, V. B. Priezzhev

A recurrent state of the rotor-routing process on a finite sink-free graph can be represented by a unicycle that is a connected spanning subgraph containing a unique directed cycle. We distinguish between short cycles of length 2 called &#34;dimers&#34; and longer ones called &#34;contours&#34;. Then the rotor-router walk performing an Euler tour on the graph generates a sequence of dimers and contours which exhibits both random and regular properties. Imposing initial conditions randomly chosen from the uniform distribution we calculate expected numbers of dimers and contours and correlation between them at two successive moments of time in the sequence. On the other hand, we prove that the excess of the number of contours over dimers is an invariant depending on planarity of the subgraph but not on initial conditions. In addition, we analyze the mean-square displacement of the rotor-router walker in the recurrent state.

AG-2014.03-1229

math.CO

Symmetric solutions to dispersionless 2D Toda hierarchy, Hurwitz numbers and conformal dynamics

S. M. Natanzon, A. V. Zabrodin

We explicitly construct the series expansion for a certain class of solutions to the 2D Toda hierarchy in the zero dispersion limit, which we call symmetric solutions. We express the Taylor coefficients through some universal combinatorial constants and find recurrence relations for them. These results are used to obtain new formulas for the genus 0 double Hurwitz numbers. They can also serve as a starting point for a constructive approach to the Riemann mapping problem and the inverse potential problem in 2D.

AG-2014.03-1253

math.CO

Enumeration of Grothendieck&#39;s dessins and KP hierarchy

Peter Zograf

Branched covers of the complex projective line ramified over $0,1$ and $\infty$ (Grothendieck&#39;s {\em dessins d&#39;enfant}) of fixed genus and degree are effectively enumerated. More precisely, branched covers of a given ramification profile over $\infty$ and given numbers of preimages of $0$ and $1$ are considered. The generating function for the numbers of such covers is shown to satisfy a PDE that determines it uniquely modulo a simple initial condition. Moreover, this generating function satisfies an infinite system of PDE&#39;s called the KP (Kadomtsev-Petviashvili) hierarchy. A specification of this generating function for certain values of parameters generates the numbers of {\em dessins} of given genus and degree, thus providing a fast algorithm for computing these numbers.

AG-2014.03-1125

math.CO

Bivariate Generating Functions for a Class of Linear Recurrences: General Structure

J. Fernando Barbero G., Jesús Salas, Eduardo J. S. Villaseñor

We consider Problem 6.94 posed in the book Concrete Mathematics by Graham, Knuth, and Patashnik, and solve it by using bivariate exponential generating functions. The family of recurrence relations considered in the problem contains many cases of combinatorial interest for particular choices of the six parameters that define it. We give a complete classification of the partial differential equations satisfied by the exponential generating functions, and solve them in all cases. We also show that the recurrence relations defining the combinatorial numbers appearing in this problem display an interesting degeneracy that we study in detail. Finally, we obtain for all cases the corresponding univariate row generating polynomials.

AG-2014.03-473

math.CO

Uniform Mixing and Association Schemes

Chris Godsil, Natalie Mullin, Aidan Roy

We consider continuous-time quantum walks on distance-regular graphs of small diameter. Using results about the existence of complex Hadamard matrices in association schemes, we determine which of these graphs have quantum walks that admit uniform mixing. First we apply a result due to Chan to show that the only strongly regular graphs that admit instantaneous uniform mixing are the Paley graph of order nine and certain graphs corresponding to regular symmetric Hadamard matrices with constant diagonal. Next we prove that if uniform mixing occurs on a bipartite graph X with n vertices, then n is divisible by four. We also prove that if X is bipartite and regular, then n is the sum of two integer squares. Our work on bipartite graphs implies that uniform mixing does not occur on C_{2m} for m >= 3. Using a result of Haagerup, we show that uniform mixing does not occur on C_p for any prime p such that p >= 5. In contrast to this result, we see that epsilon-uniform mixing occurs on C_p for all primes p.

AG-2014.02-1321

math.CO

Five interpretations of Faà di Bruno&#39;s formula

Alessandra Frabetti, Dominique Manchon

In these lectures we present five interpretations of the Fa&#39; di Bruno formula which computes the n-th derivative of the composition of two functions of one variable: in terms of groups, Lie algebras and Hopf algebras, in combinatorics and within operads.

AG-2014.02-1043

math.CO

The higher spin generalization of the 6-vertex model with domain wall boundary conditions and Macdonald polynomials

Tiago Fonseca, Ferenc Balogh

The determinantal form of the partition function of the 6-vertex model with domain wall boundary conditions was given by Izergin. It is known that for a special value of the crossing parameter the partition function reduces to a Schur polynomial. Caradoc, Foda and Kitanine computed the partition function of the higher spin generalization of the 6-vertex model. In the present work it is shown that for a special value of the crossing parameter, referred to as the combinatorial point, the partition function reduces to a Macdonald polynomial.

AG-2014.02-243

math.CO

Monotone Hurwitz numbers and the HCIZ integral

Ian P. Goulden, Mathieu Guay-Paquet, Jonathan Novak

In this article, we prove that the complex convergence of the HCIZ free energy is equivalent to the non-vanishing of the HCIZ integral in a neighbourhood of $z=0$. Our approach is based on a combinatorial model for the Maclaurin coefficients of the HCIZ integral together with classical complex-analytic techniques.

AG-2014.01-1441

math.CO

KP solitons and total positivity for the Grassmannian

Yuji Kodama, Lauren Williams

Soliton solutions of the KP equation have been studied since 1970, when Kadomtsev and Petviashvili proposed a two-dimensional dispersive wave equation now known as the KP equation. It is well-known that one can use the Wronskian method to construct a soliton solution to the KP equation from each point of the real Grassmannian Gr_kn. More recently several authors have studied the regular solutions that one obtains in this way: these come from points of the totally non-negative part of the Grassmannian (Gr_kn)_{>= 0}. In this paper we exhibit a surprising connection between the theory of total positivity for the Grassmannian, and the structure of regular soliton solutions to the KP equation. By exploiting this connection, we obtain new insights into the structure of KP solitons, as well as new interpretations of the combinatorial objects indexing cells of (Gr_kn)_{>= 0}. In particular, we completely classify the spatial patterns of the soliton solutions coming from (Gr_2n)_{>0}, as well as those coming from (Gr_kn)_{>= 0} when the absolute value of the time parameter is sufficiently large. We also demonstrate an intriguing connection between soliton graphs for (Gr_kn)_{>0} and the cluster algebras of Fomin and Zelevinsky, and we use this connection to solve the inverse problem for generic KP solitons coming from (Gr_kn)_{>0}. Finally we construct all the soliton graphs for (Gr_2n)_{>0} using the triangulations of n-gon.

AG-2014.01-924

math.CO

Principal minors Pfaffian half-tree theorem

Béatrice de Tilière

A half-tree is an edge configuration whose superimposition with a perfect matching is a tree. In this paper, we prove a half-tree theorem for the Pfaffian principal minors of a skew-symmetric matrix whose column sum is zero; introducing an explicit algorithm, we fully characterize half-trees involved. This question naturally arose in the context of statistical mechanics where we aimed at relating perfect matchings and trees on the same graph. As a consequence of the Pfaffian half-tree theorem, we obtain a refined version of the matrix-tree theorem in the case of skew-symmetric matrices, as well as a line-bundle version of this result.

AG-2014.01-2807

math.CO

Complete monotonicity for inverse powers of some combinatorially defined polynomials

Alexander D. Scott, Alan D. Sokal

We prove the complete monotonicity on $(0,\infty)^n$ for suitable inverse powers of the spanning-tree polynomials of graphs and, more generally, of the basis generating polynomials of certain classes of matroids. This generalizes a result of Szego and answers, among other things, a long-standing question of Lewy and Askey concerning the positivity of Taylor coefficients for certain rational functions. Our proofs are based on two_ab initio_ methods for proving that $P^{-β}$ is completely monotone on a convex cone $C$: the determinantal method and the quadratic-form method. These methods are closely connected with harmonic analysis on Euclidean Jordan algebras (or equivalently on symmetric cones). We furthermore have a variety of constructions that, given such polynomials, can create other ones with the same property: among these are algebraic analogues of the matroid operations of deletion, contraction, direct sum, parallel connection, series connection and 2-sum. The complete monotonicity of $P^{-β}$ for some $β> 0$ can be viewed as a strong quantitative version of the half-plane property (Hurwitz stability) for $P$, and is also related to the Rayleigh property for matroids.

AG-2013.12-2655

math.CO

A new approach to constant term identities and Selberg-type integrals

Gyula Károlyi, Zoltán Lóránt Nagy, Fedor Petrov, Vladislav Volkov

Selberg-type integrals that can be turned into constant term identities for Laurent polynomials arise naturally in conjunction with random matrix models in statistical mechanics. Built on a recent idea of Karasev and Petrov we develop a general interpolation based method that is powerful enough to establish many such identities in a simple manner. The main consequence is the proof of a conjecture of Forrester related to the Calogero--Sutherland model. In fact we prove a more general theorem, which includes Aomoto&#39;s constant term identity at the same time. We also demonstrate the relevance of the method in additive combinatorics.

AG-2013.11-395

math.CO

The HIM glocal metric and kernel for network comparison and classification

Giuseppe Jurman, Roberto Visintainer, Michele Filosi, Samantha Riccadonna, Cesare Furlanello

Due to the ever rising importance of the network paradigm across several areas of science, comparing and classifying graphs represent essential steps in the networks analysis of complex systems. Both tasks have been recently tackled via quite different strategies, even tailored ad-hoc for the investigated problem. Here we deal with both operations by introducing the Hamming-Ipsen-Mikhailov (HIM) distance, a novel metric to quantitatively measure the difference between two graphs sharing the same vertices. The new measure combines the local Hamming distance and the global spectral Ipsen-Mikhailov distance so to overcome the drawbacks affecting the two components separately. Building then the HIM kernel function derived from the HIM distance it is possible to move from network comparison to network classification via the Support Vector Machine (SVM) algorithm. Applications of HIM distance and HIM kernel in computational biology and social networks science demonstrate the effectiveness of the proposed functions as a general purpose solution.

AG-2013.11-166

math.CO

Counting Conjugacy Classes of Elements of Finite Order in Lie Groups

Tamar Friedmann, Richard P. Stanley

Using combinatorial techniques, we answer two questions about simple classical Lie groups. Define $N(G,m)$ to be the number of conjugacy classes of elements of finite order $m$ in a Lie group $G$, and $N(G,m,s)$ to be the number of such classes whose elements have $s$ distinct eigenvalues or conjugate pairs of eigenvalues. What is $N(G,m)$ for $G$ a unitary, orthogonal, or symplectic group? What is $N(G,m,s)$ for these groups? For some cases, the first question was answered a few decades ago via group-theoretic techniques. It appears that the second question has not been asked before; here it is inspired by questions related to enumeration of vacua in string theory. Our combinatorial methods allow us to answer both questions.

AG-2013.10-1947

math.CO

Multiply-refined enumeration of alternating sign matrices

Roger E. Behrend

Four natural boundary statistics and two natural bulk statistics are considered for alternating sign matrices (ASMs). Specifically, these statistics are the positions of the 1&#39;s in the first and last rows and columns of an ASM, and the numbers of generalized inversions and -1&#39;s in an ASM. Previously-known and related results for the exact enumeration of ASMs with prescribed values of some of these statistics are discussed in detail. A quadratic relation which recursively determines the generating function associated with all six statistics is then obtained. This relation also leads to various new identities satisfied by generating functions associated with fewer than six of the statistics. The derivation of the relation involves combining the Desnanot-Jacobi determinant identity with the Izergin-Korepin formula for the partition function of the six-vertex model with domain-wall boundary conditions.

AG-2013.10-1263

math.CO

Renormalization group-like proof of the universality of the Tutte polynomial for matroids

G. H. E. Duchamp, N. Hoang-Nghia, T. Krajewski, A. Tanasa

In this paper we give a new proof of the universality of the Tutte polynomial for matroids. This proof uses appropriate characters of Hopf algebra of matroids, algebra introduced by Schmitt (1994). We show that these Hopf algebra characters are solutions of some differential equations which are of the same type as the differential equations used to describe the renormalization group flow in quantum field theory. This approach allows us to also prove, in a different way, a matroid Tutte polynomial convolution formula published by Kook, Reiner and Stanton (1999). This FPSAC contribution is an extended abstract.

AG-2013.10-1002

math.CO

A selection-quotient process for packed word Hopf algebra

G. H. E. Duchamp, N. Hoang-Nghia, A. Tanasa

In this paper, we define a Hopf algebra structure on the vector space spanned by packed words using a selection-quotient coproduct. We show that this algebra is free on its irreducible packed words. Finally, we give some brief explanations on the Maple codes we have used.

AG-2013.09-2677

math.CO

A combinatorial non-commutative Hopf algebra of graphs

G. H. E. Duchamp, L. Foissy, N. Hoang-Nghia, D. Manchon, A. Tanasa

A non-commutative, planar, Hopf algebra of rooted trees was proposed in L. Foissy, Bull. Sci. Math. 126 (2002) 193-239. In this paper we propose such a non-commutative Hopf algebra for graphs. In order to define a non-commutative product we use a quantum field theoretical (QFT) idea, namely the one of introducing discrete scales on each edge of the graph (which, within the QFT framework, corresponds to energy scales of the associated propagators).

AG-2013.09-784

math.CO

A word Hopf algebra based on the selection/quotient principle

G. H. E. Duchamp, N. Hoang-Nghia, A. Tanasa

In this paper, we define a Hopf algebra structure on the vector space spanned by packed words using a selection/quotient coproduct. We show that this algebra is free on its irreducible packed words. We also construct the Hilbert series of this Hopf algebra and we investigate its primitive elements.

AG-2013.09-2238

math.CO

A family of Alltop functions that are EA-inequivalent to the cubic function

Joanne L. Hall, Asha Rao, Stephen M. Gagola

Sequences with optimal correlation properties are much sought after for applications in communication systems. In 1980, Alltop (IEEE Trans. Inf. Theory 26(3):350-354, 1980) described a set of sequences based on a cubic function and showed that these functions were optimal with respect to known bounds on auto and crosscorrelation. Subsequently these sequences were used to construct mutually unbiased bases, a structure of importance in quantum information theory. The key feature of this cubic function is that its difference function is a planar function. Functions with planar difference functions have been called \emph{Alltop functions}. This paper provides a new family of Alltop functions and establishes the use of Alltop functions for construction of sequence sets and MUBs.

AG-2013.08-1396

math.CO

Jack polynomials with prescribed symmetry and some of their clustering properties

Patrick Desrosiers, Jessica Gatica

We study Jack polynomials in $N$ variables, with parameter $α$, and having a prescribed symmetry with respect to two disjoint subsets of variables. For instance, these polynomials can exhibit a symmetry of type AS, which means that they are anti-symmetric in the first $m$ variables and symmetric in the remaining $N-m$ variables. One of our main goals is to extend recent works on symmetric Jack polynomials [arXiv:0711.3062, arXiv:1007.2692, arXiv:1303.4126] and prove that the Jack polynomials with prescribed symmetry also admit clusters of size $k$ and order $r$, that is, the polynomials vanish to order $r$ when $k+1$ variables coincide. We first prove some general properties for generic $α$, such as their uniqueness as triangular eigenfunctions of operators of Sutherland type, and the existence of their analogues in infinity many variables. We then turn our attention to the case with $α=-(k+1)/(r-1)$. We show that for each triplet $(k,r,N)$, there exist admissibility conditions on the indexing sets, called superpartitions, that guaranty both the regularity and the uniqueness of the polynomials. These conditions are also used to establish similar properties for non-symmetric Jack polynomials. As a result, we prove that the Jack polynomials with arbitrary prescribed symmetry, indexed by $(k,r,N)$-admissible superpartitions, admit clusters of size $k=1$ and order $r\geq 2$. In the last part of the article, we find necessary and sufficient conditions for the invariance under translation of the Jack polynomials with prescribed symmetry AS. This allows to find special families of superpartitions that imply the existence of clusters of size $k>1$ and order $r\geq 2$.

AG-2013.08-942

math.CO

The S-metric, the Beichl-Cloteaux approximation, and preferential attachment

Jason Cory Brunson

The S-metric has grown popular in network studies, as a measure of ``scale-freeness&#39;&#39; restricted to the collection G(D) of connected graphs with a common degree sequence D=(d_1,\ldots,d_n). The calculation of S depends on the maximum possible degree assortativity r among graphs in G(D). The original method involves a heuristic construction of a maximally assortative graph g*. The approximation by Beichl and Cloteaux involves constructing a possibly disconnected graph g&#39; with r(g&#39;) >= r(g*) and requires O(n^2) tests for the graphicality of a degree sequence. The present paper uses the Tripathi-Vijay test to streamline this approximation, and thereby to investigate two collections of graphs: Barabasi-Albert trees and coauthorship graphs of mathematical sciences researchers. Long-term trends in the coauthorship graphs are discussed, and contextualized by insights derived from the BA trees. It is known that greater degree-based preferential attachment produces greater variance in degree sequences, and these trees exhibited assortativities restricted to a narrow band. In contrast, variance in degree rose over time in the coauthorship graphs in spite of weakening degree-based preferential attachment. These observations and their implications are discussed and avenues of future work are suggested.

AG-2013.07-1027

math.CO

Poweroids revisited - an old symbolic approach

J. S. Dowker

Jeffery&#39;s 1861 computations using finite difference calculus are resurrected and extended from forward differences to general delta operators and used to neatly prove theorems in the Rota--Mullins theory of polynomials of binomial type (Steffensen&#39;s poweroids) allowing, for example, compact treatments of umbral composition, the binomial property and the connection constants. It is shown that it forms a legitimate alternative to the usual umbral device and also anticipates a number of results obtained more recently.

AG-2013.06-926

math.CO

alpha-Kuramoto partitions: graph partitions from the frustrated Kuramoto model generalise equitable partitions

Stephen Kirkland, Simone Severini

The Kuramoto model describes the collective dynamics of a system of coupled oscillators. An alpha-Kuramoto partition is a graph partition induced by the Kuramoto model, when the oscillators include a phase frustration parameter. We prove that every equitable partition is an alpha-Kuramoto partition, but that the converse does necessarily not hold. We give an exact characterisation of alpha-Kuramoto bipartitions.

AG-2013.06-523

math.CO

A symmetry property for q-weighted Robinson-Schensted algorithms and other branching insertion algorithms

Yuchen Pei

In O&#39;Connell-Pei(2013) a q-weighted version of the Robinson-Schensted algorithm was introduced. In this paper we show that this algorithm has a symmetry property analogous to the well known symmetry property of the normal Robinson-Schensted algorithm. The proof uses a generalisation of the growth diagram approach introduced by Fomin(1979,1986,1994,1995). This approach, which uses &#34;growth graphs&#34;, can also be applied to a wider class of insertion algorithms which have a branching structure, including some of the other q-weighted versions of the Robinson-Schensted algorithm which have recently been introduced by Borodin-Petrov(2013).

AG-2013.06-2522

math.CO

Combinatorial Hopf algebraic description of the multiscale renormalization in quantum field theory

Thomas Krajewski, Vincent Rivasseau, Adrian Tanasa

We define in this paper several Hopf algebras describing the combinatorics of the so-called multi-scale renormalization in quantum field theory. After a brief recall of the main mathematical features of multi-scale renormalization, we define assigned graphs, that are graphs with appropriate decorations for the multi-scale framework. We then define Hopf algebras on these assigned graphs and on the Gallavotti-Nicolò trees, particular class of trees encoding the supplementary informations of the assigned graphs. Several morphisms between these combinatorial Hopf algebras and the Connes-Kreimer algebra are given. Finally, scale dependent couplings are analyzed via this combinatorial algebraic setting.

AG-2013.06-368

math.CO

Reachability and recurrence in a modular generalization of annihilating random walks (and lights-out games) on hypergraphs

Gabriel Istrate

We study a dynamical system motivated by our earlier work on the statistical physics of social balance on graphs that can be viewed as a generalization of annihilating walks along two directions: first, the interaction topology is a hypergraph; second, the ``number of particles`` at a vertex of the hypergraph is an element of a finite field ${\bf Z}_{p}$ of integers modulo $p$, $p\geq 3$. Equivalently, particles move on a hypergraph, with a moving particle at a vertex being replaced by one indistinguishable copy at each neighbor in a given hyperedge; particles at a vertex collectively annihilate when their number reaches $p$. The system we study can also be regarded as a natural generalization of certain lights-out games to finite fields and hypergraph topologies. Our result shows that under a liberal sufficient condition on the nature of the interaction hypergraph there exists a polynomial time algorithm (based on linear algebra over ${\bf Z}_{p}$) for deciding reachability and recurrence of this dynamical system. Interestingly, we provide a counterexample that shows that this connection does not extend to all graphs.

AG-2013.06-217

math.CO

Complex Lines with Restricted Angles

Aidan Roy

This thesis is a study of large sets of unit vectors in $\cx^n$ such that the absolute value of their standard inner products takes on only a small number of values. We begin with bounds: what is the maximal size of a set of lines with only a given set of angles? We rederive a series of upper bounds originally due to Delsarte, Goethals and Seidel, but in a novel way using only zonal polynomials and linear algebra. In the process we get some new results about complex $t$-designs and also some new characterizations of tightness. Next we consider constructions. We describe some generic constructions using linear codes and Cayley graphs, and then move to two specific instances of the problem: mutually unbiased bases and equiangular lines. Both cases are motivated by problems in quantum computing, although they have applications in digital communications as well. Mutually unbiased bases are collections of orthonormal bases with a constant angle between vectors from different bases. We construct some maximal sets in prime-power dimensions, originally due to Calderbank, Cameron, Kantor and Seidel, but again in a novel way using relative difference sets or distance-regular antipodal covers. We also detail their numerous relations to other combinatorial objects, including symplectic spreads, orthogonal decompositions of Lie algebras, and spin models. Peripherally, we discuss mutually unbiased bases in small dimensions that are not prime powers and in real vector spaces. Equiangular lines are collections of vectors with only one angle between them. We use difference sets from finite geometry to construct equiangular lines: these sets do not have maximal size, but they are maximal with respect to having all entries of the same absolute value. We also include some negative results about constructions of maximal sets in large dimensions.

AG-2013.05-2685

math.CO

The Deodhar decomposition of the Grassmannian and the regularity of KP solitons

Yuji Kodama, Lauren Williams

Given a point A in the real Grassmannian, it is well-known that one can construct a soliton solution u_A(x,y,t) to the KP equation. The contour plot of such a solution provides a tropical approximation to the solution when the variables x, y, and t are considered on a large scale and the time t is fixed. In this paper we use several decompositions of the Grassmannian in order to gain an understanding of the contour plots of the corresponding soliton solutions. First we use the positroid stratification of the real Grassmannian in order to characterize the unbounded line-solitons in the contour plots at y>>0 and y<<0. Next we introduce a refinement of the positroid stratification -- the Deodhar decomposition of the Grassmannian -- which is defined to be the projection of Deodhar&#39;s decomposition of the complete flag variety. We index the components of the Deodhar decomposition of the Grassmannian by certain tableaux which we call Go-diagrams, and then use these Go-diagrams to characterize the contour plots of solitons solutions when t<<0. Finally we use these results to show that a soliton solution u_A(x,y,t) is regular for all times t if and only if A comes from the totally non-negative part of the Grassmannian.