arXiv++ Combinatorics

Recently, the study of circuits and cycles within the homology classes of graphs has attracted considerable research interest. However, the detection and counting of shorter circuits in homology classes, especially the shortest ones, remain underexplored. This paper aims to fill this gap by solving the problem of detecting and counting the shortest cycles in homology classes, leveraging the concept of direction-consistent circuits and extending classical results on Eulerian circuits such as Hierholzer's algorithm and the BEST theorem. As an application, we propose the one-carrier transportation routing problem and relate it to a circuit detection problem in graph homology.

We make connections of a counting problem of Eulerian cycles for undirected graphs to homological spectral graph theory, and formulate explicitly a trace formula that identifies the number of Eulerian circuits on an Eulerian graph with the trace sum of certain twisted vertex and edge adjacency matrices of the graph. Moreover, we show that reduction of computation can be achieved by taking into account symmetries related to twisted adjacency matrices induced by spectral antisymmetry and graph automorphisms.

We address a prime counting problem across the homology classes of a graph, presenting a graph-theoretical Dirichlet-type analogue of the prime number theorem. The main machinery we have developed and employed is a spectral antisymmetry theorem, revealing that the spectra of the twisted graph adjacency matrices have an antisymmetric distribution over the character group of the graph with a special character called the canonical character being an extremum. Additionally, we derive some trace formulas based on the twisted adjacency matrices as part of our analysis.

We present a new model of neural networks called Min-Max-Plus Neural Networks (MMP-NNs) based on operations in tropical arithmetic. In general, an MMP-NN is composed of three types of alternately stacked layers, namely linear layers, min-plus layers and max-plus layers. Specifically, the latter two types of layers constitute the nonlinear part of the network which is trainable and more sophisticated compared to the nonlinear part of conventional neural networks. In addition, we show that with higher capability of nonlinearity expression, MMP-NNs are universal approximators of continuous functions, even when the number of multiplication operations is tremendously reduced (possibly to none in certain extreme cases). Furthermore, we formulate the backpropagation algorithm in the training process of MMP-NNs and introduce an algorithm of normalization to improve the rate of convergence in training.

We investigate a canonical extension of a conventional combinatorial notion of reduced divisors to a notion of tropical projections, which can be defined as the unique minimizers of the so-called $B$-pseudonorms with respect to compact tropical convex sets. In this paper, we build the foundation of a theory of idempotent analysis using tropical projections and obtain a series of subsequent results, e.g. tropical retracts, construction of compact tropical convex sets and a set-theoretical characterization of tropical weak independence. In particular, we prove a tropical version of Mazur's Theorem on closed tropical convex hulls and discover a fixed point theorem for tropical projections. As the main application of our machinery of tropical convexity analysis, we investigate the divisor theory on metric graphs based on tropical projections. We extend the notion of linear systems and redefine the notion of reduced divisors to all linear systems instead of only to complete linear systems. Moreover, we explore the correspondence between reduced divisor maps to dominant tropical trees and harmonic morphisms to metric trees. Furthermore, we propose a notion called the geometric rank for linear systems on metric graphs which resolves the discrepancy between the interpretations of gonality of metric graphs using the conventional Baker-Norine rank function and using harmonic morphisms to metric trees.

We investigate the smoothing problem of limit linear series of rank one on an enrichment of the notions of nodal curves and metrized complexes called saturated metrized complexes. We give a finitely verifiable full criterion for smoothability of a limit linear series of rank one on saturared metrized complexes, characterize the space of all such smoothings, and extend the criterion to metrized complexes. As applications, we prove that all limit linear series of rank one are smoothable on saturated metrized complexes corresponding to curves of compact-type, and prove an analogue for saturated metrized complexes of a theorem of Harris and Mumford on the characterization of nodal curves contained in a given gonality stratum. In addition, we give a full combinatorial criterion for smoothable limit linear series of rank one on saturated metrized complexes corresponding to nodal curves whose dual graphs are made of separate loops.

Using a potential theory on metric graphs "Gamma", we introduce the notion of tropical convexity to the space "RDiv^d(Gamma)" of effective R-divisors of degree d on "Gamma" and show that a natural metric can be defined on "RDiv^d(Gamma)". In addition, we extend the notion of reduced divisors which is conventionally defined in a complete linear system |D| with respect to a single point in "Gamma". In our general setting, a reduced divisor is defined uniquely as an R-divisor in a compact tropical convex subset "T" of "RDiv^d(Gamma)" with respect to a certain R-divisor "E" of the same degree d. In this sense, we consider reduced divisors as canonical projections onto "T". We also investigate some basic properties of tropical convex sets using techniques developed from general reduced divisors.

A metric graph is a geometric realization of a finite graph by identifying each edge with a real interval. A divisor on a metric graph $Γ$ is an element of the free abelian group on $Γ$. The rank of a divisor on a metric graph is a concept appearing in the Riemann-Roch theorem for metric graphs (or tropical curves) due to Gathmann and Kerber, and Mikhalkin and Zharkov. We define a \emph{rank-determining set} of a metric graph $Γ$ to be a subset $A$ of $Γ$ such that the rank of a divisor $D$ on $Γ$ is always equal to the rank of $D$ restricted on $A$. We show constructively in this paper that there exist finite rank-determining sets. In addition, we investigate the properties of rank-determining sets in general and formulate a criterion for rank-determining sets. Our analysis is a based on an algorithm to derive the $v_0$-reduced divisor from any effective divisor in the same linear system.