arXiv++ Combinatorics

Morphisms between schemes arising from multigraded rings are essential for understanding geometric relationships in algebraic geometry, yet a systematic theory for such maps has been lacking. In this paper, we develop a comprehensive framework for rational maps between multigraded Proj schemes by introducing several notions of maps between their underlying multigraded rings. A key challenge is that to induce actual morphisms (rather than just rational maps), the ring homomorphism $\varphi\colon R \to S$ must hit every relevant element in $S$. To address this, we introduce the use of relevant subsets $B \subseteq S_+$ (where $S_+$ is the ideal generated by all relevant elements), $B \unlhd S$, which allow us to control this condition more flexibly. As an application, we show that multigraded noetherian polynomial rings naturally encode combinatorial data, giving rise to systems of fans and thus to toric prevarieties. By leveraging our notion of rational maps with those relevant subsets, we prove that the category of triples $(D, S, B)$ - where $D$ is a finitely generated abelian group, $S$ is a $D$-graded noetherian polynomial ring, and $B \unlhd S$ is a subset of $S_+$ - together with rational maps of conical rings, is anti-equivalent to the category of simplicial toric prevarieties.

We introduce the Insertion Chain Complex, a higher-dimensional extension of insertion graphs, as a new framework for analyzing finite sets of words. We study its topological and combinatorial properties, in particular its homology groups, as measures of the complexity for word sets. After establishing its theoretical foundations, we investigate the computational and combinatorial aspects of these complexes. Among other results, we classify minimal 1-dimensional cycles and prove that every finitely generated abelian group can be realized as the homology of the insertion complex for some set of words. We also identify conditions that guarantee vanishing homology. These results provide new invariants for characterizing finite sets of words through word-based topological structures and their properties.

We show that any action of a finite group on a finitely presentable group arises as the action of the group of self-homotopy equivalences of a space on its fundamental group. In doing so, we prove that any finite connected (abstract) simplicial complex $\mathbf{K}$ can be rigidified -- meaning it can be perturbed in a way that reduces the full automorphism group to any subgroup -- while preserving the homotopy type of the geometric realization $| \mathbf{K} |$. We also obtain that every action of a finite group on a finitely generated abelian group is the action of the group of self-homotopy equivalences of a space on one of its higher homotopy groups.

We consider non-homogeneous random walks on the two-dimensional positive quadrant $\mathbb{N}^2$ and the one-dimensional slab $\{0,1,\dots,k\}\times\mathbb{N}$. In the 1960's the following question was asked for $\mathbb{N}^2$: is it true if such a random walk $X$ is recurrent and $Y$ is another random walk that at every point is more likely to go down and more likely to go left than $Y$, then $Y$ is also recurrent? We provide an example showing that the answer is negative. We also show, via a coupling argument, that if either the random walk $X$ or $Y$ is sufficiently homogeneous then the answer is in fact positive. In addition, we show using the Rayleigh monotonicity principle that the analogous question for random walks on trees is positive. These results show that the subset of parameter space that yields recurrent random walks possesses some geometric properties, in this case the structure of an order ideal. Motivated by this perspective, we consider the more symmetric setting of homogeneous random walks on finitely generated abelian groups, and ask when this subset possesses other geometric properties, namely various topological properties and convexity. We answer some of these questions: in particular, we show that this subset is closed, and under a symmetric support condition, show it is path-connected and additionally show it is convex if and only if its effective dimension is at most 2. We also show its complement is in some sense typically path-connected but not convex. We finally propose some related open problems.

The Picard group of an undirected graph is a finitely generated abelian group, and the Jacobian is the torsion subgroup of the Picard group. These groups can be computed by using the Smith normal form of the Laplacian matrix of the graph or by using chip-firing games associated with the graph. One may consider its generalization to directed graphs based on the Laplacian matrix. We compute Picard groups and Jacobians for several classes of directed trees, cycles, wheel, and multipartite graphs.

Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A \subset X$ translated by a finite set $F \subset G$ of shifts, thus the translates $f \cdot A$, $f \in F$ partition $X$ up to null sets. Adapting arguments from previous literature, we establish a "dilation lemma" that asserts, roughly speaking, that $F \odot A = X$ implies $F^r \odot A = X$ for a large family of integer dilations $r$, and use this to establish a structure theorem for such tilings analogous to that established recently by the second and fourth authors. As applications of this theorem, we completely classify those random tilings of finitely generated abelian groups that are "factors of iid", and show that measurable tilings of a torus $\mathbb{T}^d$ can always be continuously (in fact linearly) deformed into a tiling with rational shifts, with particularly strong results in the low-dimensional cases $d=1,2$ (in particular resolving a conjecture of Conley, the first author, and Pikhurko in the $d=1$ case).

The existence of $1$-factorizations of an infinite complete equipartite graph $K_m[n]$ (with $m$ parts of size $n$) admitting a vertex-regular automorphism group $G$ is known only when $n=1$ and $m$ is countable (that is, for countable complete graphs) and, in addition, $G$ is a finitely generated abelian group $G$ of order $m$. In this paper, we show that a vertex-regular $1$-factorization of $K_m[n]$ under the group $G$ exists if and only if $G$ has a subgroup $H$ of order $n$ whose index in $G$ is $m$. Furthermore, we provide a sufficient condition for an infinite Cayley graph to have a regular $1$-factorization. Finally, we construct 1-factorizations that contain a given subfactorization, both having a vertex-regular automorphism group.

Our motivating goal is factorization in Krull Domains $H$ with finitely generated class group $G$. The elasticity $ρ(H)$ is the maximal number of atoms in any re-factorization of a product of $k$ atoms. The elasticities are the same as those of a combinatorial monoid of zero-sum sequences $B(G_0)$, where $G_0\subseteq G$ are the classes with height one primes. We characterize when finite elasticity holds for any Krull Domain with finitely generated class group. Our results are valid for the more general class of Transfer Krull Monoids (over a subset $G_0$ of a finitely generated abelian group $G$). We show there is a minimal $s\leq (d+1)m$, where $d$ is the torsion free rank and $m$ is the torsion exponent, such that $ρ_s(H)<\infty$ implies $ρ_k(H)<\infty$ for all $k\geq 1$. This ensures $ρ(H)<\infty$ if and only if $ρ_{(d+1)m}(H)<\infty$. Our characterization is in terms of a simple combinatorial obstruction to infinite elasticity: there existing a subset $G_0^\diamond\subseteq G_0$ and bound $N$ such that there are no nontrivial zero-sum sequences with terms from $G_0^\diamond$, and every minimal zero-sum sequence has at most $N$ terms from $G_0\setminus G_0^\diamond$. We give an explicit description of $G_0^\diamond$ in terms of the Convex Geometry of $G_0$ modulo the torsion subgroup $G_T\leq G$, and show finite elasticity is equivalent to there being no positive linear combination of the elements of this explicitly defined subset equal to $0$ modulo $G_T$. We use our results to show finite elasticity implies the set of distances $Δ(H)$, the catenary degree $\mathsf c(H)$ (for Krull Monoids) and a weakened tame degree (for Krull Monoids) are all also finite, and that the Structure Theorem for Unions holds. Our results for factorization in Transfer Krull Monoids are accomplished by developing an extensive theory in Convex Geometry generalizing positive bases.

The notion of minimal complements was introduced by Nathanson in 2011. Since then, the existence or the inexistence of minimal complements of sets have been extensively studied. Recently, the study of inverse problems, i.e., which sets can or cannot occur as minimal complements has gained traction. For example, the works of Kwon, Alon--Kravitz--Larson, Burcroff--Luntzlara and also that of the authors, shed light on some of the questions in this direction. These works have focussed mainly on the group of integers, or on abelian groups. In this work, our motivation is two-fold: (i) to show some new results on the inverse problem, (ii) to concentrate on the inverse problem in not necessarily abelian groups. As a by-product, we obtain new results on non-minimal complements in the group of integers and more generally, in any finitely generated abelian group of positive rank and in any free abelian group of positive rank. Moreover, we show the existence of uncountably many subsets in such groups which are "robust" non-minimal complements.

Magnitude homology is a bigraded homology theory for finite graphs defined by Hepworth and Willerton, categorifying the power series invariant known as magnitude which was introduced by Leinster. We analyze the structure and implications of torsion in magnitude homology. We show that any finitely generated abelian group may appear as a subgroup of the magnitude homology of a graph, and, in particular, that torsion of a given prime order can appear in the magnitude homology of a graph and that there are infinitely many such graphs. Finally, we provide complete computations of magnitude homology of outerplanar graphs and focus on the ranks of the groups along the main diagonal of magnitude homology.

We prove a measurable version of the Hall marriage theorem for actions of finitely generated abelian groups. In particular, it implies that for free measure-preserving actions of such groups, if two equidistributed measurable sets are equidecomposable, then they are equidecomposable using measurable pieces. The latter generalizes a recent result of Grabowski, Máthé and Pikhurko on the measurable circle squaring and confirms a special case of a conjecture of Gardner.

We consider a generalization of the fundamental theorem of finitely generated abelian groups for some non-abelian groups, which is called OGS. First, we consider the dihedral group, which is a non-abelian extension of an abelian group by an involution. Then, we focus on a special case, where the abelian group is cyclic, which is the two-generated Coxeter group I{2}(m). We mention interesting connections between the reduced Coxeter presentation and a particular OGS canonical presentation, which we call the standard OGS canonical presentation. These connections motivate us to offer a generalization of the standard OGS to the A-type Coxeter group, which can be considered as the dual family to the I-type Coxeter groups. The n-1 generated A-type Coxeter groups can be considered as the symmetric group S{n} for an arbitrary n. We mention the standard and the dual-standard OGS of S{n}, where, The standard OGS canonical form of S{n} has a special interest in combinatorics, since in 2001, R. M. Adin, and Y. Roichman has proved that sum of the exponents in the canonical form is coincide with the major-index of the permutation, which is equi-disributed with the Coxeter length. In this paper we extend the results of Adin and Roichman very significantly, where we show interesting properties of the exchange laws, we define standard OGS elementary factorization, which connects between the standard OGS and the descent set of a permutation. Then, by using the standard OGS elementary factorization, we find a new explicit formula for the Coxeter length of an element of S{n}, and we give a new algorithm for the standard OGS canonical form and the descent set of the inverse element of an arbitrary element of S{n}.

Given two non-empty subsets $W,W'\subseteq G$ in an arbitrary abelian group $G$, $W'$ is said to be an additive complement to $W$ if $W + W'=G$ and it is minimal if no proper subset of $W'$ is a complement to $W$. The notion was introduced by Nathanson and previous work by him, Chen--Yang, Kiss--Sàndor--Yang etc. focussed on $G =\mathbb{Z}$. In the higher rank case, recent work by the authors treated a class of subsets, namely the eventually periodic sets. However, for infinite subsets, not of the above type, the question of existence or inexistence of minimal complements is open. In this article, we study subsets which are not eventually periodic. We introduce the notion of "spiked subsets" and give necessary and sufficient conditions for the existence of minimal complements for them. This provides a partial answer to a problem of Nathanson.

Let $W,W'\subseteq G$ be nonempty subsets in an arbitrary group $G$. The set $W'$ is said to be a complement to $W$ if $WW'=G$ and it is minimal if no proper subset of $W'$ is a complement to $W$. We show that, if $W$ is finite then every complement of $W$ has a minimal complement, answering a problem of Nathanson. This also shows the existence of minimal $r$-nets for every $r\geqslant 0$ in finitely generated groups. Further, we give necessary and sufficient conditions for the existence of minimal complements of a certain class of infinite subsets in finitely generated abelian groups, partially answering another problem of Nathanson. Finally, we provide infinitely many examples of infinite subsets of abelian groups of arbitrary finite rank admitting minimal complements.

Attempting to recognize a tree inside a phylogenetic network is a fundamental undertaking in evolutionary analysis. In the last few years, therefore, tree-based phylogenetic networks, which are defined by a spanning tree called a subdivision tree, have attracted attention of theoretical biologists. However, the application of such networks is still not easy, due to many problems whose time complexities are not clearly understood. In this paper, we provide a general framework for solving those various old or new problems from a coherent perspective, rather than analyzing the complexity of each individual problem or developing an algorithm one by one. More precisely, we establish a structure theorem that gives a way to canonically decompose any rooted binary phylogenetic network N into maximal zig-zag trails that are uniquely determined, and use it to characterize the set of subdivision trees of N in the form of a direct product, in a way reminiscent of the structure theorem for finitely generated Abelian groups. From the main results, we derive a series of linear time and linear time delay algorithms for the following problems: given a rooted binary phylogenetic network N, 1) determine whether or not N has a subdivision tree and find one if there exists any; 2) measure the deviation of N from being tree-based; 3) compute the number of subdivision trees of N; 4) list all subdivision trees of N; and 5) find a subdivision tree to maximize or minimize a prescribed objective function. All algorithms proposed here are optimal in terms of time complexity. Our results do not only imply and unify various known results, but also answer many open questions and moreover enable novel applications, such as the estimation of a maximum likelihood tree underlying a tree-based network. The results and algorithms in this paper still hold true for a special class of rooted non-binary phylogenetic networks.

Given a central integral arrangement, the reduction of the arrangement modulo positive integers $q$ gives rise to a subgroup arrangement in $(\mathbb{Z}/q\mathbb{Z})^\ell$. Kamiya-Takemura-Terao (2008) introduced the notion of characteristic quasi-polynomials, which uses to evaluate the cardinality of the complement of the subgroup arrangement. Chen-Wang (2012) found a similar but more general setting that replacing the integral arrangement by its restriction to a subspace of $\mathbb{R}^\ell$, and evaluating the cardinality of the $q$-reduction complement will also lead to a quasi-polynomial in $q$. On an independent study, Brändén-Moci (2014) defined the so-called chromatic quasi-polynomial, and initiated the study of $q$-colorings on a finite list of elements in a finitely generated abelian group. The main purpose of this paper is to verify that the Chen-Wang's quasi-polynomial and the Brändén-Moci's chromatic quasi-polynomial are equivalent in the sense that the quasi-polynomials enumerate the cardinalities of isomorphic sets.

One can define the notion of primitive length spectrum for a simple regular periodic graph via counting the orbits of closed reduced primitive cycles under an action of a discrete group of automorphisms. We prove that this primitive length spectrum satisfies an analogue of the `Multiplicity one' property. We show that if all but finitely many primitive cycles in two simple regular periodic graphs have equal lengths, then all the primitive cycles have equal lengths. This is a graph-theoretic analogue of a similar theorem in the context of geodesics on hyperbolic spaces. We also prove, in the context of actions of finitely generated abelian groups on a graph, that if the adjacency operators for two actions of such a group on a graph are similar, then corresponding periodic graphs are length isospectral.

We introduce and study the notion of the $G$-Tutte polynomial for a list $\mathcal{A}$ of elements in a finitely generated abelian group $Γ$ and an abelian group $G$, which is defined by counting the number of homomorphisms from associated finite abelian groups to $G$. The $G$-Tutte polynomial is a common generalization of the (arithmetic) Tutte polynomial for realizable (arithmetic) matroids, the characteristic quasi-polynomial for integral arrangements, Brändén-Moci's arithmetic version of the partition function of an abelian group-valued Potts model, and the modified Tutte-Krushkal-Renhardy polynomial for a finite CW-complex. As in the classical case, $G$-Tutte polynomials carry topological and enumerative information (e.g., the Euler characteristic, point counting and the Poincaré polynomial) of abelian Lie group arrangements. We also discuss differences between the arithmetic Tutte and the $G$-Tutte polynomials related to the axioms for arithmetic matroids and the (non-)positivity of coefficients.

The inner Tutte group of a matroid is a finitely generated abelian group introduced as an algebraic counterpart of Tutte's homotopy theory of matroids. The aim of this work is to provide a new presentation for this group with a set of generators that is smaller than those previously known.

Two players alternate moves in the following impartial combinatorial game: Given a finitely generated abelian group $A$, a move consists of picking some nonzero element $a \in A$. The game then continues with the quotient group $A/ \langle a \rangle$. We prove that under the normal play rule, the second player has a winning strategy if and only if $A$ is a square, i.e. $A$ is isomorphic to $B \times B$ for some abelian group $B$. Under the misère play rule, only minor modifications concerning elementary abelian groups are necessary to describe the winning situations. We also compute the nimbers, i.e. Sprague-Grundy values, of $2$-generated abelian groups. An analogous game can be played with arbitrary algebraic structures. We study some examples of non-abelian groups and commutative rings such as $R[X]$, where $R$ is a principal ideal domain.