English
Related papers

Related papers: Towards a Complete Local-Global Principle

200 papers

While graphs and abstract data structures can be large and complex, practical instances are often regular or highly structured. If the instance has sufficient structure, we might hope to compress the object into a more succinct…

Computational Complexity · Computer Science 2024-12-02 Shreya Gupta , Boyang Huang , Russell Impagliazzo , Stanley Woo , Christopher Ye

Hajnal and Szemeredi proved that every graph G with |G|=ks and minimum degree at least k(s-1) contains k vertex disjoint s-cliques; moreover this degree bound is optimal. We extend their theorem to directed graphs by showing that every…

Combinatorics · Mathematics 2013-07-19 Andrzej Czygrinow , Louis DeBiasio , H. A. Kierstead , Theodore Molla

The strong geodetic problem on a graph $G$ is to determine a smallest set of vertices such that by fixing one shortest path between each pair of its vertices, all vertices of $G$ are covered. To do this as efficiently as possible, strong…

Combinatorics · Mathematics 2018-04-02 Valentin Gledel , Vesna Iršič , Sandi Klavžar

The second-largest eigenvalue and second-smallest Laplacian eigenvalue of a graph are measures of its connectivity. These eigenvalues can be used to analyze the robustness, resilience, and synchronizability of networks, and are related to…

Combinatorics · Mathematics 2018-07-20 Aida Abiad , Boris Brimkov , Xavier Martinez-Rivera , O Suil , Jingmei Zhang

Delsarte showed that for any projective linear code over a finite field of characteristic p with two nonzero Hamming weights w1 < w2 there exist positive integers u and s such that w1 = (p^s)u and w2 = (p^s)(u+1). Moreover, he showed that…

Combinatorics · Mathematics 2015-10-16 Eimear Byrne , Michael Kiermaier , Alison Sneyd

We give an alternative proof for the existing result that recurrent graph neural networks working with reals have the same expressive power in restriction to monadic second-order logic MSO as the graded modal substitution calculus. The…

Logic in Computer Science · Computer Science 2025-05-16 Veeti Ahvonen , Damian Heiman , Antti Kuusisto

Let $G$ be a simple graph on the vertex set $\{v_1,\dots,v_n\}$ with edge set $E$. Let $K$ be a field. The graphical arrangement $\mathcal{A}_G$ in $K^n$ is the arrangement $x_i-x_j=0, v_iv_j \in E$. An arrangement $\mathcal{A}$ is…

Combinatorics · Mathematics 2015-02-02 Lili Mu , Richard P. Stanley

Bollob\'{a}s and Scott [5] conjectured that every graph $G$ has a balanced bipartite spanning subgraph $H$ such that for each $v\in V(G)$, $d_H(v)\ge (d_G(v)-1)/2$. In this paper, we show that every graphic sequence has a realization for…

Combinatorics · Mathematics 2017-01-26 Yuliang Ji , Jie Ma , Juan Yan , Xingxing Yu

We continue the development, by reduction to a first order system for the conormal gradient, of $L^2$ \textit{a priori} estimates and solvability for boundary value problems of Dirichlet, regularity, Neumann type for divergence form second…

Classical Analysis and ODEs · Mathematics 2015-05-20 Pascal Auscher , Andreas Rosén

In the classic online graph balancing problem, edges arrive sequentially and must be oriented immediately upon arrival, to minimize the maximum in-degree. For adversarial arrivals, the natural greedy algorithm is $O(\log n)$-competitive,…

Data Structures and Algorithms · Computer Science 2026-04-07 Nikhil Bansal , Milind Prabhu , Sahil Singla , Siddharth M. Sundaram

Complex networks are everywhere. They appear for example in the form of biological networks, social networks, or computer networks and have been studied extensively. Efficient algorithms to solve problems on complex networks play a central…

Discrete Mathematics · Computer Science 2020-06-26 Jan Dreier , Philipp Kuinke , Peter Rossmanith

We study the problem of embedding bipartite graphs in Ahlfors-David regular sets of large dimension using results from extremal graph theory. Our main theorem states that any graph satisfying a power-improving bound on the extremal number…

Classical Analysis and ODEs · Mathematics 2026-04-03 Alex McDonald

Given a bipartite graph $H$ and a natural number $s$, let $\mathrm{ex}^*(n,H,s)$ denote the maximum number of edges in an $n$-vertex graph that contains neither $K_{s,s}$ nor an induced copy of $H$. Hunter, Milojevi\'c, Sudakov, and Tomon…

Combinatorics · Mathematics 2026-05-06 Tao Jiang , Sean Longbrake

We present a simple proof for the universality of invariant and equivariant tensorized graph neural networks. Our approach considers a restricted intermediate hypothetical model named Graph Homomorphism Model to reach the universality…

Machine Learning · Computer Science 2019-10-10 Takanori Maehara , Hoang NT

Let S be a finite generating set of a torsion-free, nilpotent group G. We show that every automorphism of the Cayley graph Cay(G;S) is affine. (That is, every automorphism of the graph is obtained by composing a group automorphism with…

Combinatorics · Mathematics 2016-03-14 Dave Witte Morris , Joy Morris , Gabriel Verret

The Kohayakawa-Nagle-R\"odl-Schacht conjecture roughly states that every sufficiently large locally $d$-dense graph $G$ on $n$ vertices must contain at least $(1-o(1))d^{|E(H)|}n^{|V(H)|}$ copies of a fixed graph $H$. Despite its important…

Combinatorics · Mathematics 2019-08-12 Joonkyung Lee

Karonski, Luczak, and Thomason (2004) conjectured that, for any connected graph G on at least three vertices, there exists an edge weighting from {1,2,3} such that adjacent vertices receive different sums of incident edge weights.…

Combinatorics · Mathematics 2012-11-22 Ben Seamone , Brett Stevens

Given a graph G=(V, E), a vertex is said to ve-dominate an edge if it is either incident with the edge or adjacent to one of its endpoints. A set of vertices is a ve-dominating set if it ve-dominates every edge of the graph. We introduce…

Combinatorics · Mathematics 2025-12-16 Yasemin Büyükçolak

We prove an extension of Yuan's Lemma to more than two matrices, as long as the set of matrices has rank at most 2. This is used to generalize the main result of [A. Baccari and A. Trad. On the classical necessary second-order optimality…

Optimization and Control · Mathematics 2017-07-20 Gabriel Haeser

In this paper we study the following problem. Let $A$ be a fixed graph, and let $\hom(G,A)$ denote the number of homomorphisms from a graph $G$ to $A$. Furthermore, let $v(G)$ denote the number of vertices of $G$, and let $\mathcal{G}_d$…

Combinatorics · Mathematics 2017-05-08 Péter Csikvári