English
Related papers

Related papers: Deitmar schemes, graphs and zeta functions

200 papers

Stark and Terras introduced the edge zeta function of a finite graph in 1996. The edge zeta function is the reciprocal of a polynomial in twice as many variables as edges in the graph and can be computed in polynomial time. We look at graph…

Combinatorics · Mathematics 2007-08-15 Christopher K. Storm

A standard assumption in the study of logarithmic structures is "fineness", but this assumption is not preserved by intersections, fiber products, and more general limits. We explain how a coherent logarithmic scheme $X$ has a natural…

Algebraic Geometry · Mathematics 2024-12-17 Thibault Poiret , Dhruv Ranganathan

A logic is presented for reasoning on iterated sequences of formulae over some given base language. The considered sequences, or "schemata", are defined inductively, on some algebraic structure (for instance the natural numbers, the lists,…

Logic in Computer Science · Computer Science 2012-04-16 Mnacho Echenim , Nicolas Peltier

We consider the alternating zeta function and the alternating $L$-function of a graph $G$, and express them by using the Ihara zeta function of $G$. Next, we define a generalized alternating zeta function of a graph, and express the…

Combinatorics · Mathematics 2023-02-21 Takashi Komatsu , Norio Konno , Iwao Sato

In this paper, we consider an extended Kazakov-Migdal model defined on an arbitrary graph. The partition function of the model, which is expressed as the summation of all Wilson loops on the graph, turns out to be represented by the…

High Energy Physics - Theory · Physics 2022-11-02 So Matsuura , Kazutoshi Ohta

The enumeration of points on (or off) the union of some linear or affine subspaces over a finite field is dealt with in combinatorics via the characteristic polynomial and in algebraic geometry via the zeta function. We discuss the basic…

Algebraic Geometry · Mathematics 2008-02-03 Anders Björner , Torsten Ekedahl

An independent set in a graph is a set of pairwise non-adjacent vertices. Let $\alpha(G)$ denote the cardinality of a maximum independent set in the graph $G = (V, E)$. Gutman and Harary defined the independence polynomial of $G$ \[ I(G;x)…

Combinatorics · Mathematics 2022-01-04 Ohr Kadrawi , Vadim E. Levit , Ron Yosef , Matan Mizrachi

The author introduced models of linear logic known as ''Interaction Graphs'' which generalise Girard's various geometry of interaction constructions. In this work, we establish how these models essentially rely on a deep connection between…

Logic in Computer Science · Computer Science 2024-09-04 Thomas Seiller

We propose a suitable substitute for the classical Grothendieck ring of an algebraically closed field, in which any quasi-projective scheme is represented, while maintaining its non-reduced structure. This yields a more subtle invariant,…

Algebraic Geometry · Mathematics 2009-10-06 Hans Schoutens

Any function can be constructed using a hierarchy of simpler functions through compositions. Such a hierarchy can be characterized by a binary rooted tree. Each node of this tree is associated with a function which takes as inputs two…

Machine Learning · Computer Science 2019-10-23 Roozbeh Farhoodi , Khashayar Filom , Ilenna Simone Jones , Konrad Paul Kording

We determine the special values at positive integers of the spectral zeta function associated with the combinatorial Laplacian on the regular tree. These values admit explicit formulas in terms of certain polynomials, which we show to be…

Combinatorics · Mathematics 2026-03-13 Dylan Müller

In this article we construct zeta functions of quantum graphs using a contour integral technique based on the argument principle. We start by considering the special case of the star graph with Neumann matching conditions at the center of…

Mathematical Physics · Physics 2015-05-14 J. M. Harrison , K. Kirsten

Let $F$ be a function on pairs of vertices. An {\em $F$- labeling scheme} is composed of a {\em marker} algorithm for labeling the vertices of a graph with short labels, coupled with a {\em decoder} algorithm allowing one to compute…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-08-31 Amos Korman

We study classes of countable graphs where every member does not contain a given finite graph as an induced subgraph -- denoted by $\mathsf{Free}(\mathcal{G})$ for a given finite graph $\mathcal{G}$. Our main results establish a structural…

Suppose $Y$ is a regular covering of a graph $X$ with covering transformation group $\pi = \mathbb{Z}$. This paper gives an explicit formula for the $L^2$ zeta function of $Y$ and computes examples. When $\pi = \mathbb{Z}$, the $L^2$ zeta…

Number Theory · Mathematics 2007-05-23 Bryan Clair

We introduce a ``non-orientable'' variation of Serre's definition of a graph, which we call an abstract isogeny graph. These objects capture the combinatorics of the graphs $G(p,\ell,H)$, the $\ell$-isogeny graphs of supersingular elliptic…

Number Theory · Mathematics 2025-09-19 Jun Bo Lau , Travis Morrison , Eli Orvis , Gabrielle Scullard , Lukas Zobernig

In recent work, the authors developed a simple method of constructing topological spaces from certain well-behaved partially ordered sets -- those coming from sequences of relations between finite sets. This method associates a given poset…

General Topology · Mathematics 2025-09-11 Adam Bartoš , Tristan Bice , Alessandro Vignati

Over the past two decades several different approaches to defining a geometry over ${\mathbb F}_1$ have been proposed. In this paper, relying on To\"en and Vaqui\'e's formalism, we investigate a new category…

Algebraic Geometry · Mathematics 2021-04-06 Claudio Bartocci , Andrea Gentili , Jean-Jacques Szczeciniarz

We define a zeta function woth respect to the twisted Grover matrix of a mixed digraph, and present an exponential expression and a determinant expression of this zeta function. As an application, we give a trace formula with respect to the…

Combinatorics · Mathematics 2021-05-07 Takashi Komatsu , Sho Kubota , Norio Konno , Iwao Sato

We present a generalization of first-order unification to a term algebra where variable indexing is part of the object language. We exploit variable indexing by associating some sequences of variables ($X_0,\ X_1,\ X_2,\dots$) with a…

Logic in Computer Science · Computer Science 2024-03-12 David M. Cerna