Yet another proof of Brooks' theorem

Landon Rabern

DOI: https://doi.org/10.48550/arXiv.1409.6812

2014-09-24

Abstract:Arguably the simplest variation of this style of proof as we avoid reducing to the cubic case entirely.

Combinatorics

What problem does this paper attempt to address?

Brooks' Theorem and Beyond

Daniel W. Cranston,Landon Rabern

DOI: https://doi.org/10.48550/arXiv.1403.0479

2014-03-04

Abstract:We collect some of our favorite proofs of Brooks' Theorem, highlighting advantages and extensions of each. The proofs illustrate some of the major techniques in graph coloring, such as greedy coloring, Kempe chains, hitting sets, and the Kernel Lemma. We also discuss standard strengthenings of vertex coloring, such as list coloring, online list coloring, and Alon--Tarsi orientations, since analogues of Brooks' Theorem hold in each context. We conclude with two conjectures along the lines of Brooks' Theorem that are much stronger, the Borodin--Kostochka Conjecture and Reed's Conjecture.

Combinatorics
A unified proof of Brooks' theorem and Catlin's theorem

Vaidy Sivaraman

DOI: https://doi.org/10.48550/arXiv.1402.6298

2014-09-29

Abstract:We give a new proof of Brooks' theorem that immediately implies a strengthening of Brooks' theorem, known as Catlin's theorem.

Combinatorics
Dirac's theorem on chordal graphs implies Brooks' theorem

Carl Feghali

2023-09-21

Abstract:We give yet another proof of the list-color version of Brooks' theorem that is due, independently, to Vizing and to Erdős, Rubin and Taylor, via a famous theorem of Dirac on chordal graphs.

Combinatorics
On the BCSS Proof of the Fundamental Theorem of Algebra

J. Maurice Rojas

2024-06-20

Abstract:Section 10.4 of the 1998 Springer-Verlag book {\em Complexity and Real Computation}, by Blum, Cucker, Shub, and Smale, contains a particularly elegant proof of the Fundamental Theorem of Algebra: The central idea of the proof naturally leads to a homotopy continuation algorithm for finding the roots of univariate polynomials, and extends naturally to a proof of Bézout's Theorem (on the number of roots of systems of $n$ equations in $n$ unknowns). We present a more detailed version of the BCSS Proof which is hopefully useful for students and researchers not familiar with algebraic geometry. So while there are no new results in this paper, the exposition is arguably more elementary. Any errors here are solely the responsibility of the current author.

Algebraic Geometry
A simple proof of the Abel-Ruffini theorem

A. Skopenkov

DOI: https://doi.org/10.48550/arXiv.1102.2100

2011-02-10

History and Overview

Abstract:This paper is purely expositional. The statement of the Abel-Ruffini theorem on unsolvability of equations using radicals is simple and well-known. We sketch an elementary proof of this theorem. We do not use the terms 'field extension', 'Galois group' and even 'group'. However, our presentation is a good way to learn (or recall) starting idea of the Galois theory. Our exposition follows `Mathematical Omnibus' of S. Tabachnikov and D.B. Fuchs (in English, http://www.math.psu.edu/tabachni/Books/taba.pdf). The main difference is that we show how the proof could have been invented. The paper is accessible for students familiar with complex numbers, and could be an interesting easy reading for mature mathematicians. The material is presented as a sequence of problems, which is peculiar not only to Zen monasteries but also to advanced mathematical education; most problems are presented with hints or solutions.
Brooks' theorem with forbidden colors

Carl Johan Casselgren

2023-03-13

Abstract:We consider extensions of Brooks' classic theorem on vertex coloring where some colors cannot be used on certain vertices. In particular we prove that if $G$ is a connected graph with maximum degree $\Delta(G) \geq 4$ that is not a complete graph and $P \subseteq V(G)$ is a set of vertices where either (i) at most $\Delta(G)-2$ colors are forbidden for every vertex in $P$, and any two vertices of $P$ are at distance at least $4$, or (ii) at most $\Delta(G)-3$ colors are forbidden for every vertex in $P$, and any two vertices of $P$ are at distance at least $3$, then there is a proper $\Delta(G)$-coloring of $G$ respecting these constraints. In fact, we shall prove that these results hold in the more general setting of list colorings. These results are sharp.

Combinatorics
New Proofs of Königs Theorem

Salman Ghazal

DOI: https://doi.org/10.48550/arXiv.1505.01745

2015-05-07

Combinatorics

Abstract:We introduce four new elementary short proofs of the famous K\"onig's theorem which characterizes bipartite graphs by absence of odd cycles.
A Minimalist Proof of the Law of Quadratic Reciprocity

Bogdan Veklych

DOI: https://doi.org/10.1080/00029890.2019.1655331

2021-06-09

Abstract:The shortest known proof of the law of quadratic reciprocity (without supplements) is presented.

History and Overview,Number Theory
On Kawamata's theorem

Osamu Fujino

DOI: https://doi.org/10.48550/arXiv.0910.1156

2009-10-07

Abstract:We give an alternate proof of the main theorem of Kawamata's paper: Pluricanonical systems on minimal algebraic varieties. Our proof also works for varieties in class $\mathcal C$. We note that our proof is completely different from Kawamata's.

Algebraic Geometry
The Cantor–Bernstein theorem: how many proofs?

Wilfried Sieg

DOI: https://doi.org/10.1098/rsta.2018.0031

2019-01-21

Abstract:Dedekind's proof of the Cantor–Bernstein theorem is based on his chain theory, not on Cantor's well-ordering principle. A careful analysis of the proof extracts an argument structure that can be seen in the many other proofs that have been given since. I contend there is essentially one proof that comes in two variants due to Dedekind and Zermelo , respectively. This paper is a case study in analysing proofs of a single theorem within a given methodological framework, here Zermelo–Fraenkel set theory (ZF). It uses tools from proof theory, but focuses on heuristic ideas that shape proofs and on logical strategies that help to construct them. It is rooted in a perspective on Beweistheorie that predates its close connection and almost exclusive attention to the goals of Hilbert's finitist consistency programme. This earlier perspective can be brought to life (only) with the support of powerful computational tools. This article is part of the theme issue ‘The notion of ‘simple proof’ - Hilbert's 24th problem’.
A Proof of Brouwer's Conjecture

Vladimir Blinovsky,Llohann D. Sperança

2023-07-28

Abstract:Building up from recent results by other authors, we present proof for Brouwer's Conjecture.

Combinatorics
Gacs-Kucera Theorem

Leonid A. Levin

DOI: https://doi.org/10.1016/j.tcs.2022.06.040

2022-07-07

Abstract:Gacs-Kucera Theorem, tightened by Barmpalias and Lewis-Pye, w.t.t.-reduces each infinite sequence to a Kolmogorov--Martin-Lof random one and is broadly used in various Math and CS areas. Its early proofs are somewhat cumbersome, but using some general concepts yields significant simplification illustrated here.

Computer Science
A combinatorial proof of Cramer's Rule

Doron Zeilberger

2024-08-23

Abstract:In 1750, Gabriel Cramer famously stated, without proof, his eponymous rule for solving a system of linear equations with as many equations as unknowns. We give a purely combinatorial, and purely self-contained, proof of this old chestnut, still useful after all these years.

Combinatorics
Analogs of Brooks' Theorem for coloring parameters of infinite graphs and Konig's Lemma

Amitayu Banerjee,Zalán Molnár,Alexa Gopaulsingh

2024-08-31

Abstract:In the past, analogies to Brooks' theorem have been found for various parameters of graph coloring for infinite locally finite connected graphs in ZFC. We prove these theorems are not provable in ZF (i.e. the Zermelo-Fraenkel set theory without the Axiom of Choice (AC)). Moreover, such theorems follow from Konig's Lemma (every infinite locally finite connected graph has a ray-a weak form of AC) in ZF. In ZF, we formulate new conditions for the existence of the distinguishing chromatic number, the distinguishing chromatic index, the total chromatic number, the total distinguishing chromatic number, the odd chromatic number, and the neighbor-distinguishing index in infinite locally finite connected graphs, which are equivalent to Konig's Lemma. In this direction, we strengthen a recent result of Stawiski from 2023.

Combinatorics,Logic
A shorter proof of the Four Colour Theorem

Carl Feghali

2024-11-30

Abstract:We give a pen and paper and (comparatively) much simpler proof to verify of the Four Colour Theorem.

Combinatorics
Even shorter proofs without new variables

Adrián Rebola-Pardo

2023-07-22

Abstract:Proof formats for SAT solvers have diversified over the last decade, enabling new features such as extended resolution-like capabilities, very general extension-free rules, inclusion of proof hints, and pseudo-boolean reasoning. Interference-based methods have been proven effective, and some theoretical work has been undertaken to better explain their limits and semantics. In this work, we combine the subsumption redundancy notion from (Buss, Thapen 2019) and the overwrite logic framework from (Rebola-Pardo, Suda 2018). Natural generalizations then become apparent, enabling even shorter proofs of the pigeonhole principle (compared to those from (Heule, Kiesl, Biere 2017)) and smaller unsatisfiable core generation.

Logic in Computer Science
A short proof of d'Alemberts theorem

Tord Sjödin

DOI: https://doi.org/10.48550/arXiv.1304.4261

2013-04-10

History and Overview

Abstract:A classical theorem of d'Alembert states that if a polynomial P(x) with real coefficients has a non-real root x=a+ib, then it also has a root x=a-ib. We give a short and elementary inductive proof that avoids any properties of the complex conjugation operator.
Easy Proofs of Some Borwein Algorithms for $π$

Jesus Guillera

DOI: https://doi.org/10.48550/arXiv.0803.0991

2008-03-07

Abstract:In 1987 Jonathan and Peter Borwein, inspired by the works of Ramanujan, derived many efficient algorithms for computing $\pi$. We will see that by using only a formula of Gauss's and elementary algebra we are able to prove the correctness of two of them.

Number Theory,Classical Analysis and ODEs
Friendship theorem: A combinatorial proof

Vineeth Chintala

DOI: https://doi.org/10.48550/arXiv.2402.05504

2024-02-10

Abstract:We present an elementary combinatorial proof of the celebrated Friendship theorem. The proof involves looking at independent sets and constructing a bound on their size which forces a contradiction.

Combinatorics
An Elementary proof for Bertrand's Postulate

Pranav Narayan Sharma

2024-07-11

Abstract:In this paper we give an elementary proof for Bertrand's postulate also known as Bertrand-Chebyshev theorem.

General Mathematics

Yet another proof of Brooks' theorem

Brooks' Theorem and Beyond

A unified proof of Brooks' theorem and Catlin's theorem

Dirac's theorem on chordal graphs implies Brooks' theorem

On the BCSS Proof of the Fundamental Theorem of Algebra

A simple proof of the Abel-Ruffini theorem

Brooks' theorem with forbidden colors

New Proofs of Königs Theorem

A Minimalist Proof of the Law of Quadratic Reciprocity

On Kawamata's theorem

The Cantor–Bernstein theorem: how many proofs?

A Proof of Brouwer's Conjecture

Gacs-Kucera Theorem

A combinatorial proof of Cramer's Rule

Analogs of Brooks' Theorem for coloring parameters of infinite graphs and Konig's Lemma

A shorter proof of the Four Colour Theorem

Even shorter proofs without new variables

A short proof of d'Alemberts theorem

Easy Proofs of Some Borwein Algorithms for $π$

Friendship theorem: A combinatorial proof

An Elementary proof for Bertrand's Postulate