中文
相关论文

相关论文: Some classical model theoretic aspects of bounded …

200 篇论文

Treewidth is a well-known graph invariant with multiple interesting applications in combinatorics. On the practical side, many NP-complete problems are polynomial-time (sometimes even linear-time) solvable on graphs of bounded treewidth. On…

范畴论 · 数学 2021-05-13 Zoltan A. Kocsis , Benjamin Merlin Bumpus

We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix…

计算机科学中的逻辑 · 计算机科学 2023-04-11 Isolde Adler , Noleen Köhler , Pan Peng

In this paper, inspired by the elegant work of Good and Meddaugh \cite{GM} and the graph models for zero-dimensional systems developed by several authors, like Gambaudo and Martens \cite{GM06}, Shimomura \cite{Sh14}. We try to discover a…

动力系统 · 数学 2026-01-21 Zhengyu Yin

Lott-Sturm-Villani theory of curvature on geodesic spaces has been extended to discrete graph spaces by C. L{\'e}onard by replacing W2-Wasserstein geodesics by Schr{\"o}odinger bridges in the definition of entropic curvature [23, 25, 24].…

概率论 · 数学 2022-10-06 Paul-Marie Samson

We give a new proof of the slope classicality theorem in classical and higher Coleman theory for modular curves at arbitrary level using the completed cohomology classes attached to overconvergent modular forms. The latter give an embedding…

数论 · 数学 2021-12-01 Sean Howe

A rough structure theorem is proved for graphs $G$ containing no copy of a bounded degree tree $T$: from any such $G$, one can delete $o(|G||T|)$ edges in order to get a subgraph all of whose connected components have a cover of order…

组合数学 · 数学 2024-09-24 Alexey Pokrovskiy

A classical result of Robertson and Seymour states that the set of graphs containing a fixed planar graph $H$ as a minor has the so-called Erd\H{o}s-P\'osa property; namely, there exists a function $f$ depending only on $H$ such that, for…

组合数学 · 数学 2013-08-23 Samuel Fiorini , Gwenaël Joret , David R. Wood

Product structure theorems are a collection of recent results that have been used to resolve a number of longstanding open problems on planar graphs and related graph classes. One particularly useful version states that every planar graph…

组合数学 · 数学 2024-06-17 Vida Dujmović , Gwenaël Joret , Piotr Micek , Pat Morin , David R. Wood

Big Ramsey degrees of finite structures are usually considered with respect to a Fra\"{i} ss\'e limit. Building mainly on the work of Devlin, Sauer, Laflamme and Van Th\'e, in this paper we consider structures which are not Fra\"{i} ss\'e…

组合数学 · 数学 2018-07-06 Dragan Masulovic

Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field. Criteria are given which characterize existence of a fine or coarse moduli space classifying, up to isomorphism, the representations of $\Lambda$ with fixed…

表示论 · 数学 2014-07-11 Birge Huisgen-Zimmermann

One of the most important algorithmic meta-theorems is a famous result by Courcelle, which states that any graph problem definable in monadic second-order logic with edge-set quantifications (i.e., MSO2 model-checking) is decidable in…

计算机科学中的逻辑 · 计算机科学 2012-06-25 Robert Ganian , Petr Hliněný , Alexander Langer , Jan Obdržálek , Peter Rossmanith , Somnath Sikdar

For a finite dimensional algebra $\Lambda$, we consider a torsion class $G$ in $mod$-$\Lambda$, which is not necessarily finitely generated. We construct a wall-and-chamber structure for $G$ where the chambers are the connected components…

表示论 · 数学 2026-03-31 Kiyoshi Igusa , Ray Maresca

Monadic stability generalizes many tameness notions from structural graph theory such as planarity, bounded degree, bounded tree-width, and nowhere density. The sparsification conjecture predicts that the (possibly dense) monadically stable…

离散数学 · 计算机科学 2026-01-23 Nikolas Mählmann , Sebastian Siebertz

In this paper we establish $L^p(\mathbb{R}^d,\gamma_\infty)$-boundedness properties for square functions involving time and spatial derivatives of Ornstein-Uhlenbeck semigroups. Here $\gamma_\infty$ denotes the invariant measure. In order…

经典分析与常微分方程 · 数学 2022-07-25 Víctor Almeida , Jorge J. Betancor , Juan C. Fariña , Pablo Quijano , Lourdes Rodríguez-Mesa

An infinite structure has the finite length property (over a given field) if, for each of its finite powers, chains of equivariant subspaces in the corresponding free vector space are bounded in length. Prior work showed that the countable…

组合数学 · 数学 2026-05-22 Jingjie Yang , Mikołaj Bojańczyk , Bartek Klin

Let $T$ be a finite tree graph, $T^N$ be the Cartesian power graph of $T$, and $d^N$ be the graph distance metric on $T^N$. Also let \[ \mathbb S_r^N(x) := \{v \in T^N: d^N(x,v) = r\} \] be the sphere of radius $r$ centered at $x$ and $M$…

组合数学 · 数学 2015-09-10 Jordan Greenblatt

We study a generalization of the Erd\H{o}s-Falconer distance problem over finite fields. For a graph $G$, two embeddings $p, p': V(G) \to \mathbb{F}_q^d$ of a graph $G$ are congruent if for all edges $(v_i, v_j)$ of $G$ we have that…

For finite connected graphs $\Gamma$ and $G$, with $\Gamma$ admitting a free involution $\tau$, we characterize the based homotopy classes $\alpha\in[\Gamma,G]$ for which the Borsuk-Ulam property holds in the sense of Gon\c{c}alves, Guaschi…

代数拓扑 · 数学 2022-11-11 Daciberg Lima Gonçalves , Jesús González

Let G be a finite graph or an infinite graph on which Z^d acts with finite fundamental domain. If G is finite, let T be a random spanning tree chosen uniformly from all spanning trees of G; if G is infinite, known methods show that this…

概率论 · 数学 2007-05-23 Robert Burton , Robin Pemantle

A graph class is monotone if it is closed under taking subgraphs. It is known that a monotone class defined by finitely many obstructions has bounded treewidth if and only if one of the obstructions is a so-called tripod, that is, a…