natural ↗ reference
4897 papers tagged with this keyword
Random numerical semigroups and a simplicial complex of irreducible semigroups
Published
• View Publication
• BIB
We examine properties of random numerical semigroups under a probabilistic model inspired by the Erdos-Renyi model for random graphs. We provide a threshold function for cofiniteness, and bound the expected embedding dimension, genus, and Frobenius number of random semigroups. Our results follow, surprisingly, from the construction of a very natural shellable simplicial complex whose facets are in bijection with irreducible numerical semigroups of a fixed Frobenius number and whose $h$-vector determines the probability that a particular element lies in the semigroup.
Ramsey expansions of $Λ$-ultrametric spaces
Published
• View Publication
• BIB
For a finite lattice $Λ$, $Λ$-ultrametric spaces are a convenient language for describing structures equipped with a family of equivalence relations. When $Λ$ is finite and distributive, there exists a generic $Λ$-ultrametric space, and we here identify a family of Ramsey expansions for that space. This then allows a description the universal minimal flow of its automorphism group, and also implies the Ramsey property for all known homogeneous finite-dimensional permutation structures, i.e. structures in a language of finitely many linear orders. A point of technical interest is that our proof involves classes with non-unary algebraic closure operations. As a byproduct of some of the concepts developed, we also arrive at a natural description of the known homogeneous finite-dimensional permutation structures, completing our previously begun "census".
Formulations of the PFR Conjecture over $\mathbb{Z}$
The polynomial Freĭman--Ruzsa conjecture is a fundamental open question in additive combinatorics. However, over the integers (or more generally $\mathbb{R}^d$ or $\mathbb{Z}^d$) the optimal formulation has not been fully pinned down.
The conjecture states that a set of small doubling is controlled by a very structured set, with polynomial dependence of parameters. The ambiguity concerns the class of structured sets needed. A natural formulation in terms of generalized arithmetic progressions was recently disproved by Lovett and Regev. A more permissive alternative is in terms of \emph{convex progressions}; this avoids the obstruction, but uses is a significantly larger class of objects, yielding a weaker statement.
Here we give another formulation of PFR in terms of Euclidean ellipsiods (and some variations). We show it is in fact equivalent to the convex progression version; i.e. that the full range of convex progressions is not needed. The key ingredient is a strong result from asymptotic convex geometry.
Matroids over partial hyperstructures
Published
• View Publication
• BIB
We present an algebraic framework which simultaneously generalizes the notion of linear subspaces, matroids, valuated matroids, oriented matroids, and regular matroids. To do this, we first introduce algebraic objects called tracts which generalize both hyperfields in the sense of Krasner and partial fields in the sense of Semple and Whittle. We then define matroids over tracts; in fact, there are (at least) two natural notions of matroid in this general context, which we call weak and strong matroids. We give "cryptomorphic" axiom systems for such matroids in terms of circuits, Grassmann-Plücker functions, and dual pairs, and establish some basic duality results. We then explore sufficient criteria for the notions of weak and strong matroids to coincide. For example, if $F$ is a particularly nice kind of tract called a doubly distributive partial hyperfield, we show that the notions of weak and strong $F$-matroids coincide. We also give examples of tracts $F$ and weak $F$-matroids which are not strong. Our theory of matroids over tracts is closely related to, but more general than, "matroids over fuzzy rings" in the sense of Dress and Dress-Wenzel.
Predicting Positive and Negative Links with Noisy Queries: Theory & Practice
Published
• View Publication
• BIB
Social networks involve both positive and negative relationships, which can be captured in signed graphs. The {\em edge sign prediction problem} aims to predict whether an interaction between a pair of nodes will be positive or negative. We provide theoretical results for this problem that motivate natural improvements to recent heuristics.
The edge sign prediction problem is related to correlation clustering; a positive relationship means being in the same cluster. We consider the following model for two clusters: we are allowed to query any pair of nodes whether they belong to the same cluster or not, but the answer to the query is corrupted with some probability $0<q<\frac{1}{2}$. Let $δ=1-2q$ be the bias. We provide an algorithm that recovers all signs correctly with high probability in the presence of noise with $O(\frac{n\log n}{δ^2}+\frac{\log^2 n}{δ^6})$ queries. This is the best known result for this problem for all but tiny $δ$, improving on the recent work of Mazumdar and Saha \cite{mazumdar2017clustering}. We also provide an algorithm that performs $O(\frac{n\log n}{δ^4})$ queries, and uses breadth first search as its main algorithmic primitive. While both the running time and the number of queries for this algorithm are sub-optimal, our result relies on novel theoretical techniques, and naturally suggests the use of edge-disjoint paths as a feature for predicting signs in online social networks. Correspondingly, we experiment with using edge disjoint $s-t$ paths of short length as a feature for predicting the sign of edge $(s,t)$ in real-world signed networks. Empirical findings suggest that the use of such paths improves the classification accuracy, especially for pairs of nodes with no common neighbors.
Analytic Combinatorics in Several Variables: Effective Asymptotics and Lattice Path Enumeration
The field of analytic combinatorics, which studies the asymptotic behaviour of sequences through analytic properties of their generating functions, has led to the development of deep and powerful tools with applications across mathematics and the natural sciences. In addition to the now classical univariate theory, recent work in the study of analytic combinatorics in several variables (ACSV) has shown how to derive asymptotics for the coefficients of certain D-finite functions represented by diagonals of multivariate rational functions. We give a pedagogical introduction to the methods of ACSV from a computer algebra viewpoint, developing rigorous algorithms and giving the first complexity results in this area under conditions which are broadly satisfied. Furthermore, we give several new applications of ACSV to the enumeration of lattice walks restricted to certain regions. In addition to proving several open conjectures on the asymptotics of such walks, a detailed study of lattice walk models with weighted steps is undertaken.
A counterexample to a conjecture on facial unique-maximal colorings
Published
• View Publication
• BIB
A facial unique-maximum coloring of a plane graph is a proper vertex coloring by natural numbers where on each face $α$ the maximal color appears exactly once on the vertices of $α$. Fabrici and Göring proved that six colors are enough for any plane graph and conjectured that four colors suffice. This conjecture is a strengthening of the Four Color theorem. Wendland later decreased the upper bound from six to five. In this note, we disprove the conjecture by giving an infinite family of counterexamples. Thus we conclude that facial unique-maximum chromatic number of the sphere is five.
Enumerating Hassett's wall and chamber decomposition of the moduli space of weighted stable curves
Published
• View Publication
• BIB
Hassett constructed a class of modular compactifications of the moduli space of pointed curves by adding weights to the marked points. This leads to a natural wall and chamber decomposition of the domain of admissible weights where the moduli space and universal family remain constant inside a chamber, and may change upon crossing a wall. The goal of this paper is to count the number of chambers in this decomposition. We relate these chambers to a class of boolean functions known as linear threshold functions (LTFs), and discover a subclass of LTFs which are in bijection with the chambers. Using this relation, we prove an asymptotic formula for the number of chambers, and compute the exact number of chambers for moduli spaces of weighted stable curves with at most 9 points. In addition, we provide an algorithm for the enumeration of the chambers and prove results in computational complexity.
Oriented Hypergraphic Matrix-tree Type Theorems and Bidirected Minors via Boolean Order Ideals
Published
• View Publication
• BIB
Restrictions of incidence-preserving path maps produce an oriented hypergraphic All Minors Matrix-tree Theorems for Laplacian and adjacency matrices. The images of these maps produce a locally signed graphic, incidence generalization, of cycle covers and basic figures that correspond to incidence-k-forests. When restricted to bidirected graphs the natural partial ordering of maps results in disjoint signed boolean lattices whose minor calculations correspond to principal order ideals. As an application, (1) the determinant formula of a signed graphic Laplacian is reclaimed and shown to be determined by the maximal positive-circle-free elements, and (2) spanning trees are equivalent to single-element order ideals.
Hyperfinite graphings and combinatorial optimization
Published in Acta Math. Hung. 161 (2020), 516--539
• Search Publication
We exhibit an analogy between the problem of pushing forward measurable sets under measure preserving maps and linear relaxations in combinatorialoptimization. We show how invariance of hyperfiniteness of graphings under local isomorphism can be reformulated as an infinite version of a natural combinatorial optimization problem, and how one can prove it by extending well-known proof techniques (linear relaxation, greedy algorithm, linear programming duality) from the finite case to the infinite.
Additive energy and the metric Poissonian property
Published in Mathematika 64 (2018) 679-700
• View Publication
• BIB
Let $A$ be a set of natural numbers. Recent work has suggested a strong link between the additive energy of $A$ (the number of solutions to $a_1 + a_2 = a_3 + a_4$ with $a_i \in A$) and the metric Poissonian property, which is a fine-scale equidistribution property for dilates of $A$ modulo $1$. There appears to be reasonable evidence to speculate a sharp Khintchine-type threshold, that is, to speculate that the metric Poissonian property should be completely determined by whether or not a certain sum of additive energies is convergent or divergent. In this article, we primarily address the convergence theory, in other words the extent to which having a low additive energy forces a set to be metric Poissonian.
Cosmological Polytopes and the Wavefunction of the Universe
We present a connection between the physics of cosmological time evolution and the mathematics of positive geometries, roughly analogous to similar connections seen in the context of scattering amplitudes. We consider the wavefunction of the universe in a class of toy models of conformally coupled scalars (with non-conformal interactions) in FRW cosmologies. The contribution of each Feynman diagram to the wavefunction of the universe is associated with a certain universal rational integrand, which we identify as the canonical form of a "cosmological polytope", which have an independent, intrinsic definition, making no reference to physics. The singularity structure of the wavefunction for this model of scalars is common to all theories, and is geometrized by the cosmological polytope. Natural triangulations of the polytope reproduce the path-integral and "old-fashioned perturbation theory" representations of the wavefunction, and we also find new representations of the wavefunction with no extant physical interpretation. We show in suitable examples how symmetries of the cosmological polytope descend to symmetries of the wavefunction, (such as conformal invariance). In cases such as $φ^3$ theory in $dS_4$, the final wavefunction obtained from integration of the rational functions gives rise to polylogarithms associated with every graph. We give an explicit expression for the symbol of these polylogs, which record the geometry of sequential projections of the cosmological polytope.
Diversity of uniform intersecting families
Published
• View Publication
• BIB
A family $\mathcal F\subset 2^{[n]}$ is called intersecting if any two of its sets intersect. Given an intersecting family, its diversity is the number of sets not passing through the most popular element of the ground set. Peter Frankl made the following conjecture: for $n> 3k>0$ any intersecting family $\mathcal F\subset {[n]\choose k}$ has diversity at most ${n-3\choose k-2}$. This is tight for the following "two out of three" family: $\{F\in {[n]\choose k}: |F\cap [3]|\ge 2\}$. In this note, we prove this conjecture for $n\ge ck$, where $c$ is a constant independent of $n$ and $k$. In the last section, we discuss the case $2k<n<3k$ and show that one natural generalization of Frankl's conjecture does not hold.
Feynman amplitudes on moduli spaces of graphs
Published in Annales de l'Institut Henri Poincare D, Volume 7, Issue 2, 2020
• View Publication
• BIB
This article introduces moduli spaces of coloured graphs on which Feynman amplitudes can be viewed as 'discrete' volume densities. The basic idea behind this construction is that these moduli spaces decompose into disjoint unions of open cells on which parametric Feynman integrals are defined in a natural way. Renormalisation of an amplitude translates then into the task of assigning to every cell a finite volume such that boundary relations between neighboring cells are respected. It is shown that this can be organized systematically using a type of Borel-Serre compactification of these moduli spaces. The key point is that in each compactified cell the newly added boundary components have a combinatorial description that resembles the forest structure of subdivergences of the corresponding Feynman diagram.
Speeding up non-Markovian First Passage Percolation with a few extra edges
Published
• View Publication
• BIB
One model of real-life spreading processes is First Passage Percolation (also called SI model) on random graphs. Social interactions often follow bursty patterns, which are usually modelled with i.i.d.~heavy-tailed passage times on edges. On the other hand, random graphs are often locally tree-like, and spreading on trees with leaves might be very slow, because of bottleneck edges with huge passage times. Here we consider the SI model with passage times following a power law distribution $\mathbb{P}(ξ>t)\sim t^{-α}$, with infinite mean. For any finite connected graph $G$ with a root $s$, we find the largest number of vertices $κ(G,s)$ that are infected in finite expected time, and prove that for every $k \leq κ(G,s)$, the expected time to infect $k$ vertices is at most $O(k^{1/α})$. Then, we show that adding a single edge from $s$ to a random vertex in a random tree $\mathcal{T}$ typically increases $κ(\mathcal{T},s)$ from a bounded variable to a fraction of the size of $\mathcal{T}$, thus severely accelerating the process. We examine this acceleration effect on some natural models of random graphs: critical Galton-Watson trees conditioned to be large, uniform spanning trees of the complete graph, and on the largest cluster of near-critical Erdős-Rényi graphs. In particular, at the upper end of the critical window, the process is already much faster than exactly at criticality.
Amalgamation and Symmetry: From Local to Global Consistency in The Finite
We present a generic construction of finite realisations of amalgamation patterns. An amalgamation pattern is specified by a finite collection of finite template structures together with a collection of partial isomorphisms between them. A realisation is a globally consistent solution to the locally consistent specification of this amalgamation problem: this is a single structure equipped with an atlas of distinguished substructures associated with the template structures, their overlaps realising precisely the identifications induced by the given partial isomorphisms. Our construction is based on natural reduced products with suitable groupoids. The resulting realisations are generic in the sense that they can be made to preserve all symmetries of the specification. They can also be made to be universal w.r.t.\ to local homomorphisms up to any specified size. As key applications of the main construction we discuss finite hypergraph coverings of specified levels of acyclicity and a new route to the lifting of local symmetries to global automorphisms in finite structures.
On Existentially Complete Triangle-free Graphs
Published
• View Publication
• BIB
For a positive integer $k$, we say that a graph is $k$-existentially complete if for every $0 \leq a \leq k$, and every tuple of distinct vertices $x_1,\ldots,x_a$, $y_1,\ldots,y_{k-a}$, there exists a vertex $z$ that is joined to all of the vertices $x_1,\ldots,x_a$ and none of the vertices $y_1,\ldots,y_{k-a}$. While it is easy to show that the binomial random graph $G_{n,1/2}$ satisfies this property with high probability for $k \sim c\log n$, little is known about the "triangle-free" version of this problem; does there exist a finite triangle-free graph $G$ with a similar "extension property". This question was first raised by Cherlin in 1993 and remains open even in the case $k=4$.
We show that there are no $k$-existentially complete triangle-free graphs with $k >\frac{8\log n}{\log\log n}$, thus giving the first non-trivial, non-existence result on this "old chestnut" of Cherlin. We believe that this result breaks through a natural barrier in our understanding of the problem.
Short Presburger arithmetic is hard
Published
• View Publication
• BIB
We study the computational complexity of short sentences in Presburger arithmetic (Short-PA). Here by "short" we mean sentences with a bounded number of variables, quantifiers, inequalities and Boolean operations; the input consists only of the integer coefficients involved in the linear inequalities. We prove that satisfiability of Short-PA sentences with $m+2$ alternating quantifiers is $Σ_{P}^m$-complete or $Π_{P}^m$-complete, when the first quantifier is $\exists$ or $\forall$, respectively. Counting versions and restricted systems are also analyzed. Further application are given to hardness of two natural problems in Integer Optimizations.
ZFC independence and subset sum
We study recursively defined functions associated with directed graphs on the k dimensional nonnegative integral lattice. The existence of certain combinatorial structures associated with these function classes are shown to be independent of the ZFC axioms of mathematics. These structures, in a natural way, give rise to sets of instances to the subset sum problem. We use this connection to make some observations about ZFC independence and the subset sum problem.
On weak peak quasisymmetric functions
Published in J. Combin. Theory A 158 (2018), 449--491
• View Publication
• BIB
In this paper, we construct the weak version of peak quasisymmetric functions inside the Hopf algebra of weak composition quasisymmetric functions (WCQSym) defined by Guo, Thibon and Yu. Weak peak quasisymmetric functions (WPQSym) are studied in several aspects. First we find a natural basis of WPQSym lifting Stembridge's peak functions. Then we confirm that WPQSym is a Hopf subalgebra of WCQSym by giving explicit multiplication, comultiplication and antipode formulas. By extending Stembridge's descent-to-peak maps, we also show that WPQSym is a Hopf quotient algebra of WCQSym. On the other hand, we prove that WPQSym embeds as a Rota-Baxter subalgebra of WCQSym, thus of the free commutative Rota-Baxter algebra of weight 1 on one generator. Moreover, WPQSym can also be a Rota-Baxter quotient algebra of WCQSym.