https://arxiv.org/api/bHkTzBIDbxocLVM768kRevEtYao 2026-03-24T11:12:09Z 76977 150 15 http://arxiv.org/abs/2512.06229v2 2026-03-19T21:35:33Z

Let $m$ be a positive integer and let $G$ be a graph. The zero-sum Ramsey number $R(G,\mathbb{Z}_m)$ is the least integer $N$ (if it exists) such that for every edge-coloring $χ\, : \, E(K_N) \, \rightarrow \, \mathbb{Z}_m$ one can find a copy of $G$ in $K_N$ such that $\sum_{e \, \in \, E(G)}{χ(e)} \, = \, 0$. In this paper, we show that, for every prime $p$, $$R(F,\mathbb{Z}_p)\leq n+9p-12$$ for every forest $F$ in $n\geq 3p^2-12p+11$ vertices with $p\mid e(F)$ without isolated vertices.

2025-12-06T00:34:50Z Lucas Colucci Marco D'Emidio http://arxiv.org/abs/2603.19485v1 2026-03-19T21:29:47Z

In a recent work, a central limit theorem for pattern counts in random planar maps was proven by reducing the problem to a face count problem. We provide a shorter proof by circumventing this reduction through the computation of bivariate coefficient asymptotics from a functional equation with one catalytic variable and extend the result to pattern counts with arbitrary boundary and new map classes.

2026-03-19T21:29:47Z Eva-Maria Hainzl http://arxiv.org/abs/2603.19484v1 2026-03-19T21:25:45Z

Discrete differential equations appear most prominently in planar map and lattice path enumeration. In this work we consider discrete differential equations with an additional parameter $x$, where the order of the equation is $1$ for $x=0$ but $k> 1$ for $x\ne 0$. We call such equations singularly perturbed. The main contribution of this work is to show that there is actually a smooth transition under certain natural assumptions. As an application of this result we consider pattern counts in triangular planar maps and derive a central limit theorem for patterns which cannot self-intersect.

2026-03-19T21:25:45Z Michael Drmota Eva-Maria Hainzl http://arxiv.org/abs/2603.19479v1 2026-03-19T21:21:08Z

We develop tools for characterizing vertices of fiber products of polytopes and apply them to simplicial distribution polytopes, a class of probability polytopes arising in quantum foundations and quantum information. In the theory of simplicial distributions, a pair of simplicial sets encoding measurement and outcome spaces determines a convex polytope of compatible probability assignments. Our first results give geometric criteria for detecting vertices of fiber products in terms of support data. These results are obtained in the more general framework of inverse limits of diagrams of polytopes in standard form, and they translate to corresponding criteria for simplicial distributions on arbitrary colimits of measurement spaces. We then focus on one-dimensional measurement spaces, where simplicial distributions recover and generalize local marginal polytopes in graphical models. In this setting, our sharpest results concern dipole graphs, for which we obtain a complete characterization of vertices and refine it to a graph-theoretic criterion. These characterizations are reminiscent of the classical support-graph criteria for transportation polytopes, but they arise in a richer class of polytopes in which vertex structure depends not only on support acyclicity but also on additional geometric compatibility data. Using the collapsing method from simplicial topology, we transfer the dipole characterization to rose graphs and obtain analogous results there. Finally, we apply collapsing to complete bipartite graphs, which encode physically relevant bipartite Bell scenarios, and more generally to arbitrary connected graphs, yielding lower bounds on the number of vertices.

2026-03-19T21:21:08Z 49 pages, 9 figures Aziz Kharoof Cihan Okay http://arxiv.org/abs/2601.15870v2 2026-03-19T21:09:26Z

We introduce a comprehensive data structure, tangle structure trees, which simultaneously displays all the $\mathcal{F}$-tangles of an abstract separation system for very general obstruction sets $\mathcal{F}$. It simultaneously also displays certificates $σ\in\mathcal{F}$ for any non-existence of such tangles, or for the non-extendability of low-order tangles to higher-order ones. Our theorem can be applied to produce the structures of the classical tree-of-tangles and tangle-tree duality theorems, both for graph tangles and for their known generalizations to more general separation systems. It extends those theorems to obstruction sets $\mathcal{F}$ that need not define profiles (as they must in all known trees of tangles) or consist of stars of separations (as they must in traditional tangle-tree duality). Our existence proof for these structure trees is constructive. The construction has been implemented in open-source software available for tangle detection and further analysis.

2026-01-22T11:18:54Z Accompanying software available from https://www.tangles-book.com/software/ Hanno von Bergen Reinhard Diestel http://arxiv.org/abs/2509.16388v2 2026-03-19T20:37:38Z

We study what we call the Hom-Ext quiver and characterize it as a type of `superquiver'. In type $\tilde{\mathbb{A}}$, the Hom-Ext quiver of an exceptional set is the tiling algebra of the corresponding geometric model. And, in that case, Hom-Ext quivers classify exceptional sets up to Dehn twist of the corresponding geometric model. We show that these Dehn twists are realized by twist functors and give autoequivalences of the derived category. We provide a generating set for the group of autoequivalences of the derived category in type $\tilde{\mathbb{A}}$, and show that the Hom-Ext quiver classifies exceptional sets up to the action of the subgroup of the automorphism group of the derived category generated by twist functors associated to exceptional cycles. We introduce superquivers, which are a generalization of Hom-Ext quivers. Exceptional sets over finite acyclic quivers are realized as representations of superquivers. Throughout, we list several questions and conjectures that make for, what we believe, exciting new research.

2025-09-19T20:01:37Z 35 pages, 2 figures, and several diagrams. Added an example, made some corrections to Lemma 4.6, added lemmas 4.7 and 4.8, and enhanced readability of proofs Kiyoshi Igusa Ray Maresca http://arxiv.org/abs/2603.19437v1 2026-03-19T20:04:24Z

We develop objective linear algebra in a new setting with a cardinality functor that can take negative values. The signs arise as little homotopies, as ratios between orientations. To illustrate the workings of the theory we give an objective treatment of exterior powers and determinants.

2026-03-19T20:04:24Z 39pp Joachim Kock Jesper Michael Møller http://arxiv.org/abs/2504.05194v2 2026-03-19T19:16:16Z

We introduce an algebraic structure which encodes a collection of countable graphs through a set of states, generators and relations. These structures, which we call blueprints, can capture standard algebraic objects such as groups, monoids or small categories, as well as geometric tiling spaces with finite local complexity. We provide a general framework for symbolic dynamics on blueprints under a partial monoid action, and for transferring invariants of their symbolic dynamics through quasi-isometries. In particular, we show that the undecidability of the domino problem, the existence of strongly aperiodic subshifts of finite type, and the existence of subshifts of finite type without computable points are all quasi-isometry invariants for finitely presented blueprints. As an application of this model, we show that two variants of the domino problem for geometric tilings of $\mathbb{R}^d$ are undecidable for $d \geq 2$ on any underlying tiling space with finite local complexity.

2025-04-07T15:43:02Z 38 pages, 8 figures. Comments welcome! Sebastián Barbieri Nicolás Bitar http://arxiv.org/abs/2603.19391v1 2026-03-19T18:27:04Z

We give an account of mutation of theta functions in cluster scattering diagrams, starting with a notion of mutation that is related to, but different from, the notion of mutation defined by Gross, Hacking, Keel, and Kontsevich. This different approach to mutation leads to several applications. Three of the applications simplify the process of computing structure constants for multiplication of theta functions, and these are used in another paper on cluster scattering diagrams of affine type. Notable in these three applications is the appearance of mutation symmetries and dominance regions. The other two applications have to do with pointed reduced bases, a variation on the pointed bases of Fan Qin. We give a characterization of pointed reduced bases analogous to Qin's characterization of pointed bases. All of these applications take place in a version of Gross, Hacking, Keel, and Kontsevich's canonical algebra that can be constructed for an arbitrary exchange matrix.

2026-03-19T18:27:04Z 42 pages, 2 figures Nathan Reading Salvatore Stella http://arxiv.org/abs/2603.00288v2 2026-03-19T18:03:50Z

Incidence theorems concern configurations of points, lines, and, more generally, higher-dimensional subspaces in projective space. Broadly speaking, such theorems fall into two classes: those that hold over an arbitrary division ring, such as Desargues' theorem, and those that hold only over fields, such as Pappus' theorem. In this paper, we explain the topological origin of this distinction. To this end, we extend to the noncommutative setting the surface-graph approach to incidence theorems developed by Richter-Gebert, Fomin, and Pylyavskyy. We then show that theorems associated with graphs embedded on the sphere, such as Desargues' theorem, hold over any division ring, whereas theorems corresponding to graphs embedded on surfaces of positive genus, such as Pappus' theorem, typically hold if and only if the ground ring is a field. We also extend these results to the setting of arbitrary rings, not necessarily admitting division.

2026-02-27T20:14:06Z 28 pages, 10 figures Anton Izosimov http://arxiv.org/abs/2603.19205v1 2026-03-19T17:54:27Z

Hobby has recently shown that almost all finite hyperfields of even order fail to be the quotient of a field. Using a probabilistic argument, we extend this result to all orders: a finite hyperfield is almost always non-quotient. This confirms a conjecture of Baker--Jin. We show that in almost every finite hyperfield the sum of any four or more nonzero elements contains 0. We also give a precise asymptotic for the number of finite hyperfields on a given finite abelian group.

2026-03-19T17:54:27Z 21 pages, 1 figure Tuong Le Chayim Lowen http://arxiv.org/abs/2603.19194v1 2026-03-19T17:49:46Z

Motivated by the combinatorics of parking functions and their several generalizations, we study the Ehrhart theory of Pitman--Stanley polytopes. We prove a strong positivity phenomenon called \emph{magic positivity} for the Ehrhart polynomials of these polytopes, which in turn implies that their $h^*$-polynomials are real-rooted (and thus log-concave and unimodal). Our result is achieved by interpreting the coefficients of these Ehrhart polynomials in the \emph{magic basis} in terms of the number of \emph{lucky cars} in a modified parking protocol. Furthermore, we address the magic positivity problem for $\mathbf{y}$-generalized permutohedra and also discuss a \emph{magic} combinatorial interpretation for them, under the assumption that the input parameters are sufficiently large.

2026-03-19T17:49:46Z 32 pages, 2 Tables, 4 Figures. Comments welcome! Nicolas Avila Luis Ferroni Alejandro H. Morales http://arxiv.org/abs/2603.19184v1 2026-03-19T17:42:05Z

We study the Euler characteristic of a hypersurface in $(\mathbb{C}^*)^2 \times (\mathbb{C}^*)^n$ defined by a polynomial whose monomial support corresponds to lattice points in $Δ_1 \times Δ_1 \times Δ_n$ as the coefficients of the defining polynomial vary. Each member of this hypersurface family corresponds to a three-way independence model from algebraic statistics, and the (signed) Euler characteristic is equal to the maximum likelihood degree (ML degree) of the model. We show in the case of $Δ_1 \times Δ_1 \times Δ_1$ this Euler characteristic depends only on the vanishing patterns of the factors of the principal $A$-determinant, but this fails for $Δ_1 \times Δ_1 \times Δ_n$ with $n \geq 2$. We prove that, for all $n\geq 1$, all positive integers up to the maximum possible ML degree can be realized as the Euler characteristic. Furthermore, we completely determine the Euler stratification for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1$ and provide partial information for $\mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^2$.

2026-03-19T17:42:05Z 31 pages, 6 figures Serkan Hoşten Vadym Kurylenko Elke Neuhaus Nikolas Rieke http://arxiv.org/abs/2603.19171v1 2026-03-19T17:27:20Z

We prove sharp $δ$-discretised versions of some variants of the Furstenberg set problem under weaker or different non-concentration assumptions compared to previous works.

2026-03-19T17:27:20Z 22 pages Tuomas Orponen Pablo Shmerkin http://arxiv.org/abs/1709.09051v2 2026-03-19T17:22:40Z

This paper is concerned with the problem of exact MAP inference in general higher-order graphical models by means of a traditional linear programming relaxation approach. In fact, the proof that we have developed in this paper is a rather simple algebraic proof being made straightforward, above all, by the introduction of two novel algebraic tools. Indeed, on the one hand, we introduce the notion of delta-distribution which merely stands for the difference of two arbitrary probability distributions, and which mainly serves to alleviate the sign constraint inherent to a traditional probability distribution. On the other hand, we develop an approximation framework of general discrete functions by means of an orthogonal projection expressing in terms of linear combinations of function margins with respect to a given collection of point subsets, though, we rather exploit the latter approach for the purpose of modeling locally consistent sets of discrete functions from a global perspective. After that, as a first step, we develop from scratch the expectation optimization framework which is nothing else than a reformulation, on stochastic grounds, of the convex-hull approach, as a second step, we develop the traditional LP relaxation of such an expectation optimization approach, and we show that it enables to solve the MAP inference problem in graphical models under rather general assumptions. Last but not least, we describe an algorithm which allows to compute an exact MAP solution from a perhaps fractional optimal (probability) solution of the proposed LP relaxation.

2017-09-25T15:13:38Z The main claim in the paper needs be reworked profoundly and this needs a profound change in the theory Ikhlef Bechar