English
Related papers

Related papers: Reverse Mathematics and Recursive Graph Theory

200 papers

In this paper, we study the flip graph on the perfect matchings of a complete graph of even order. We investigate its combinatorial and spectral properties including connections to the signed reversal graph and we improve a previous upper…

Combinatorics · Mathematics 2021-10-20 Sebastian M. Cioabă , Gordon Royle , Zhao Kuang Tan

An approach of using RGB-tilings for proving the Four Color Theorem discussed in three previous work is expanded in this paper. A novel methodology and revisions for the methodology in the three aforementioned papers are discussed, and a…

Combinatorics · Mathematics 2024-01-24 Shu-Chung Liu

This paper studies infinite graphs produced from a natural unfolding operation applied to finite graphs. Graphs produced via such operations are of finite degree and automatic over the unary alphabet (that is, they can be described by…

Logic · Mathematics 2008-09-22 Bakhadyr Khoussainov , Jiamou Liu , Mia Minnes

We give a recursion formula to generate all equivalence classes of biconnected graphs with coefficients given by the inverses of the orders of their groups of automorphisms. We give a linear map to produce a connected graph with say, u,…

Combinatorics · Mathematics 2013-03-14 Angela Mestre

In this paper, we introduce a graph matching method that can account for constraints of arbitrary order, with arbitrary potential functions. Unlike previous decomposition approaches that rely on the graph structures, we introduce a…

Computer Vision and Pattern Recognition · Computer Science 2018-02-26 D. Khuê Lê-Huu , Nikos Paragios

We prove a substantial extension of an inverse spectral theorem of Ambarzumyan, and show that it can be applied to arbitrary compact Riemannian manifolds, compact quantum graphs and finite combinatorial graphs, subject to the imposition of…

Spectral Theory · Mathematics 2010-10-04 E. B. Davies

We enumerate the connected graphs that contain a linear number of edges with respect to the number of vertices. So far, only the first term of the asymptotics was known. Using analytic combinatorics, i.e. generating function manipulations,…

Combinatorics · Mathematics 2016-04-26 Elie de Panafieu

Using a notation of corner between edges when graph has a fixed rotation, i.e. cyclical order of edges around vertices, we define combinatorial objects - combinatorial maps as pairs of permutations, one for vertices and one for faces.…

Combinatorics · Mathematics 2009-09-02 Dainis Zeps

Directed graphs have long been used to gain understanding of the structure of semigroups, and recently the structure of directed graph semigroups has been investigated resulting in a characterization theorem and an analog of Fruct's…

Combinatorics · Mathematics 2015-06-09 Tien Chih , Demitri Plessas

We investigate the structure of connected graphs, not necessarily locally finite, with infinitely many ends. On the one hand we study end-transitive such graphs and on the other hand we study such graphs with the property that the…

Combinatorics · Mathematics 2010-03-19 Matthias Hamann

The aim of this paper is to study some aspects of matrix theory through Pasting and Reversing. We start giving a summary of previous results concerning to Pasting and Reversing over vectors and matrices, after we rewrite such properties of…

Rings and Algebras · Mathematics 2016-08-18 Primitivo B. Acosta-Humánez , Adriana L. Chuquen

We investigate quantum graphs with infinitely many vertices and edges without the common restriction on the geometry of the underlying metric graph that there is a positive lower bound on the lengths of its edges. Our central result is a…

Mathematical Physics · Physics 2018-10-30 Pavel Exner , Aleksey Kostenko , Mark Malamud , Hagen Neidhardt

I will discuss results of three different types in geometry and topology. (1) General vanishing and rigidity theorems of elliptic genera proved by using modular forms, Kac-Moody algebras and vertex operator algebras. (2) The computations of…

Algebraic Geometry · Mathematics 2007-05-23 Kefeng Liu

There are infinite processes (matrix products, continued fractions, $(r,s)$-matrix continued fractions, recurrence sequences) which, under certain circumstances, do not converge but instead diverge in a very predictable way. We give a…

Number Theory · Mathematics 2019-01-07 Douglas Bowman , James Mc Laughlin

We develop a theory of umkehr maps for twisted generalized homology theories. In this theory, interesting umkehr maps, including generalizations of important classical ones, are induced by cartesian morphisms of a certain category opfibred…

Algebraic Topology · Mathematics 2026-03-30 Anssi Lahtinen

We enumerate the connected graphs that contain a number of edges growing linearly with respect to the number of vertices. So far, only the first term of the asymptotics and a bound on the error were known. Using analytic combinatorics, ie…

Combinatorics · Mathematics 2018-10-12 Elie de Panafieu

The vertex coloring problem to find chromatic numbers is known to be unsolvable in polynomial time. Although various algorithms have been proposed to efficiently compute chromatic numbers, they tend to take an enormous amount of time for…

Combinatorics · Mathematics 2025-07-03 Yayoi Abe , Auna Setoh , Gen Yoneda

Combinatorics, in particular graph theory, has a rich history of being a domain of successful applications of tools from other areas of mathematics, including topological methods. Here, we survey the study of the Hom-complexes, and the ways…

Algebraic Topology · Mathematics 2007-05-23 Dmitry N. Kozlov

Ramsey theory looks for regularities in large objects. Model theory studies algebraic structures as models of theories. The structural Ramsey theory combines these two fields and is concerned with Ramsey-type questions about certain…

Combinatorics · Mathematics 2018-05-22 Matěj Konečný

We report on results about a study of algebraic graph invariants, based on computer exploration, and motivated by graph-isomorphism and reconstruction problems.

Combinatorics · Mathematics 2008-12-17 Pouzet Maurice , Nicolas M. Thiéry