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

What problem does this paper attempt to address?

Perturbations of spherical stellar systems during fly-by encounters

E. Vesperini,Martin D. Weinberg

DOI: https://doi.org/10.1086/308788

1999-08-10

Abstract:We study the internal response of a galaxy to an unbound encounter and present a survey of orbital parameters covering typical encounters in different galactic environments. Overall, we conclude that relatively weak encounters by low-mass interloping galaxies can cause observable distortions in the primaries. The resulting asymmetries may persist long after the interloper is evident. We focus our attention on the production of structure in dark halos and in cluster ellipticals. Any distortion produced in a dark halo can distort the embedded stellar disk, possibly leading to the formation of lopsided and warped disks. Features excited in an elliptical are directly observable and we predict that asymmetries in the morphologies of these systems can be produced by relatively small perturbers. We use these detailed results to predict the distribution of the $A$ parameter defined by Abraham et al. and the shift between the center of mass of the primary system and the position of the peak of density for a range of environments. We find that high-density, low-velocity dispersion environments are more likely to host galaxies with significant asymmetries. Our distribution for the $A$ parameter is in good agreement with the range spanned by the observed values for local galaxy clusters and for distant galaxies in the MDS and in the <a class="link-external link-http" href="http://HDF.Finally" rel="external noopener nofollow">this http URL</a>, we propose a generalized asymmetry parameter $A(r)$ which provides detailed information on the radial structure of the asymmetry produced by the mechanism explored in our work. (abridged)

Astrophysics
An essay on proof, conviction, and explanation: multiple representation systems in combinatorics

Elise Lockwood,John S. Caughman,Keith Weber

DOI: https://doi.org/10.1007/s10649-020-09933-8

2020-02-01

Educational Studies in Mathematics

Abstract:There is a longstanding conversation in the mathematics education literature about proofs that explain versus proofs that only convince. In this essay, we offer a characterization of explanatory proofs with three goals in mind. We first propose a theory of explanatory proofs for mathematics education in terms of representation systems. Then, we illustrate these ideas in terms of combinatorial proofs, focusing on binomial identities. Finally, we leverage our theory to explain audience-dependent and audience-invariant aspects of explanatory proof. Throughout, we use the context of combinatorics to emphasize points and to offer examples of proofs that can be explanatory or only convincing, depending on how one understands the claim being made.

education & educational research
Computational Complexity in Algebraic Combinatorics

Greta Panova

2023-06-30

Abstract:Algebraic Combinatorics originated in Algebra and Representation Theory, studying their discrete objects and integral quantities via combinatorial methods which have since developed independent and self-contained lives and brought us some beautiful formulas and combinatorial interpretations. The flagship hook-length formula counts the number of Standard Young Tableaux, which also gives the dimension of the irreducible Specht modules of the Symmetric group. The elegant Littlewood-Richardson rule gives the multiplicities of irreducible GL-modules in the tensor products of GL-modules. Such formulas and rules have inspired large areas of study and development beyond Algebra and Combinatorics, becoming applicable to Integrable Probability and Statistical Mechanics, and Computational Complexity Theory. We will see what lies beyond the reach of such nice product formulas and combinatorial interpretations and enter the realm of Computational Complexity Theory, that could formally explain the beauty we see and the difficulties we encounter in finding further formulas and ``combinatorial interpretations''. A 85-year-old such problem asks for a positive combinatorial formula for the Kronecker coefficients of the Symmetric group, another one pertains to the plethysm coefficients of the General Linear group. In the opposite direction, the study of Kronecker and plethysm coefficients leads to the disproof of the wishful approach of Geometric Complexity Theory (GCT) towards the resolution of the algebraic P vs NP Millennium problem, the VP vs VNP problem. In order to make GCT work and establish computational complexity lower bounds, we need to understand representation theoretic multiplicities in further detail, possibly asymptotically.

Combinatorics,Computational Complexity,Representation Theory
From Sylvester's Determinant Identity to Cramer's Rule

Hou-biao Li,Ting-Zhu Huang,Tong-xiang Gu,Xing-Ping Liu

2014-01-01

Abstract:The object of this paper is to introduce a new and fascinating method of solving large linear equations, based on Cramer's rule or Gaussian elimination but employing Sylvester's determinant identity in its computation process. In addition, a scheme suitable for parallel computing is presented for this kind of generalized Chiò's determinant condensation processes, which makes this new method have a property of natural parallelism. Finally, some numerical experiments also confirm our theoretical analysis.
A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares

George Andrews,Shalsoh B. Ekhad,Doron Zeilberger

DOI: https://doi.org/10.48550/arXiv.math/9206203

1992-06-04

Abstract:A short and elementary proof, and a finite-form generalization, are given of Jacobi's formula for the number of ways of writing an integer as a sum of four squares (that implies Lagrange's famous 1777 theorem.)

Combinatorics
The sum of two cubes problem -- an approach that's classroom friendly

Paul Monsky

2023-09-01

Abstract:In this note I give simple proofs of classical results of Euler, Legendre and Sylvester showing that for certain integers M there are no (or only a few) solutions of $x^3 + y^3 = M$, with $x$ and $y$ in $\mathbb{Q}$. The proofs all use a single argument -- infinite 3-descent in the ring $\mathcal{O} = \mathbb{Z}[\omega]$ of Eisenstein integers. (Everything needed about $\mathcal{O}$ is developed from scratch.) The reader only needs the briefest acquaintance with complex numbers, fields and congruence modulo an element of a commutative ring. In particular I never say anything about ideals or elliptic curves (though I do mention cubic reciprocity in passing), and a clever high-school student might well enjoy the note. A few new results with $M$ in $\mathcal{O}$ and $x$ and $y$ in $\mathbb{Q}[\omega]$ are also derived.

History and Overview,Number Theory
On unsolvable equations of prime degree

Juliusz Brzeziński,Jan Stevens

2024-06-20

Abstract:Kronecker observed that either all roots or only one root of a solvable irreducible equation of odd prime degree with integer coefficients are real. This gives a possibility to construct specific examples of equations not solvable by radicals. A relatively elementary proof without using the full power of Galois theory is due to Weber. We give a rather short proof of Kronecker's theorem with a slightly different argument from Weber's. Several modern presentations of Weber's proof contain inaccuracies, which can be traced back to an error in the original proof. We discuss this error and how it can be corrected.

Number Theory,History and Overview
A combinatorial proof of an identity involving Eulerian numbers

Jerónimo Valencia Porras

2024-10-02

Abstract:We give a combinatorial proof of an identity that involves Eulerian numbers and was obtained algebraically by Brenti and Welker (2009). To do so, we study alcoved triangulations of dilated hypersimplices. As a byproduct, we describe the dual graph of the triangulation in the case of the standard simplex, conjecture its structure for general hypersimplices, and prove combinatorially that the Eulerian numbers coincide with the normalized volumes of the hypersimplices.

Combinatorics
A proof of the Quadratic Reciprocity Law

Math Dicker

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

2012-10-26

History and Overview

Abstract:A proof of the Quadratic Reciprocity Law is presented using a Lemma of Gauss, the theory of finite fields and the Frobenius automorfism.
A Note on the Subcubes of the $n$-Cube

Hans Ulrich Simon

2024-06-04

Abstract:In the year 1990, Béla Bollobás, Imre Leader and Andrew Radcliffe considered the following combinatorial problem: given three parameters k, n and q, find a set of k vertices in the binary n-cube which contains a maximal number of q-dimensional subcubes. It was shown that an optimal solution is given by the k vertices which coincide with the binary representations of the number 0 , 1 , ... , k-1. Two proofs were presented. The proof given by Bollobas and Leader is particularly elegant and short. Here we show that also the other proof, the one given by Bollobas and Radcliffe, becomes quite simple and short when it is combined with a lemma from Graham whose publication dates back to 1970. As a second application of Graham's lemma, we solve a recursive equation (related to the optimization problem that we discussed before) that might be considered interesting in its own right.

Combinatorics
Combinatorial commutative algebra rules

Ada Stelzer,Alexander Yong

2023-06-01

Abstract:An algorithm is presented that generates sets of size equal to the degree of a given variety defined by a homogeneous ideal. This algorithm suggests a versatile framework to study various problems in combinatorial algebraic geometry and related fields.

Combinatorics,Commutative Algebra,Algebraic Geometry
A Proof of "Goldbach's Conjecture"

Roger Ellman

DOI: https://doi.org/10.48550/arXiv.math/0005185

2001-01-27

Abstract:"Goldbach's Conjecture" proven by analysis of how all combinations of the odd primes, summed in pairs, generates all of the even numbers.

General Mathematics
A combinatorial proof of the Removal Lemma for Groups

Daniel Král',Oriol Serra,Lluís Vena

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

2008-04-30

Abstract:Green [Geometric and Functional Analysis 15 (2005), 340--376] established a version of the Szemerédi Regularity Lemma for abelian groups and derived the Removal Lemma for abelian groups as its corollary. We provide another proof of his Removal Lemma that allows us to extend its statement to all finite groups. We also discuss possible extensions of the Removal Lemma to systems of equations.

Combinatorics
Yet another Proof of an old Hat

Roland Bacher

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

2021-10-29

History and Overview

Abstract:Every odd prime number p can be written in exactly (p + 1)/2 ways as a sum ab + cd with min(a, b) > max(c, d) of two ordered products. This gives a new proof Fermat's Theorem expressing primes of the form 1 + 4N as sums of two squares 1 .
A Probability Method to Prove Combinatorial Identities

Tong Zhu

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

2009-10-30

Combinatorics

Abstract:A probability method is provided to prove three classes of combinatorial identities. The method is extremely simple, only one step after the proper probability setup.
A proof of Catalan's Convolution formula

Alon Regev

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

2011-09-03

Abstract:We give a new proof of the $k$-fold convolution of the Catalan numbers. This is done by enumerating a certain class of polygonal dissections called $k$-in-$n$ dissections. Furthermore, we give a formula for the average number of cycles in a triangulation.

Combinatorics
A Combinatorial Proof of a generalization of a Theorem of Frobenius

Supravat Sarkar

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

2022-03-28

Abstract:In this article, we shall generalize a theorem due to Frobenius in group theory, which asserts that if $p$ is a prime and $p^{r}$ divides the order of a finite group, then the number of subgroups of order $p^{r}$ is $\equiv$ 1(mod $p$). Interestingly, our proof is purely combinatorial and does not use much group theory.

Group Theory
Equational proofs of Jacobson's Theorem

Martin Brandenburg

2023-10-09

Abstract:A classical theorem by Jacobson says that a ring in which every element $x$ satisfies the equation $x^n=x$ for some $n>1$ is commutative. According to Birkhoff's Completeness Theorem, if $n$ is fixed, there must be an equational proof of this theorem. But equational proofs have only appeared for some values of $n$ so far. This paper is about finding such a proof in general. We are able to make a reduction to the case that $n$ is a prime power $p^k$ and the ring has characteristic $p$. We then prove the special cases $k=1$ and $k=2$. The general case is reduced to a series of constructive Wedderburn Theorems, which we can prove in many special cases. Several examples of equational proofs are discussed in detail.

Rings and Algebras
An algebraic combinatorial approach to Sylvester's denumerant

Guoce Xin,Chen Zhang

2023-12-04

Abstract:For a positive integer sequence $\boldsymbol{a}=(a_1, \dots, a_{N+1})$, Sylvester's denumerant $E(\boldsymbol{a}; t)$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N+1} a_i x_i = t$ for a nonnegative integer $t$. It has been extensively studied and a well-known result asserts that $E(\boldsymbol{a}; t)$ is a quasi-polynomial in $t$ of degree $N$. A milestone is Baldoni et al.'s polynomial algorithm in 2015 for computing the top $k$ coefficients when $k$ is fixed. Their development uses heavily lattice point counting theory in computational geometry. In this paper, we explain their work in the context of algebraic combinatorics and simplify their computation. Our work is based on constant term method, Barvinok's unimodular cone decomposition, and recent results on fast computation of generalized Todd polynomials. We develop the algorithm \texttt{CT-Knapsack}, together with an implementation in \texttt{Maple}. Our algorithm avoids plenty of repeated computations and is hence faster.

Combinatorics,Number Theory
Explainable Ramanujan-type Congruences on Square-Classes of Arithmetic Progressions

Martin Raum

2024-04-03

Abstract:While examples of Ramanujan-type congruences are amply available via their relation to Hecke operators, it remains unclear which of them should be considered of combinatorial origin and which of them are mere artifacts of the connection with modular forms. Ranks and generalized ranks have been proposed as a tool to discern this question. We formalize this idea as "explainable Ramanujan-type congruences" with reference to Jacobi forms with singularities at torsion points, and then associated with them subspaces in a specific complex representation of the modular group. The resulting representation theoretic perspective allows us to prove that explainable Ramanujan-type congruences occur on square-classes $M \mathbb{Z} + u^2 \beta$ of arithmetic progressions.

Number Theory

A combinatorial proof of Cramer's Rule

Perturbations of spherical stellar systems during fly-by encounters

An essay on proof, conviction, and explanation: multiple representation systems in combinatorics

Computational Complexity in Algebraic Combinatorics

From Sylvester's Determinant Identity to Cramer's Rule

A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares

The sum of two cubes problem -- an approach that's classroom friendly

On unsolvable equations of prime degree

A combinatorial proof of an identity involving Eulerian numbers

A proof of the Quadratic Reciprocity Law

A Note on the Subcubes of the $n$-Cube

Combinatorial commutative algebra rules

A Proof of "Goldbach's Conjecture"

A combinatorial proof of the Removal Lemma for Groups

Yet another Proof of an old Hat

A Probability Method to Prove Combinatorial Identities

A proof of Catalan's Convolution formula

A Combinatorial Proof of a generalization of a Theorem of Frobenius

Equational proofs of Jacobson's Theorem

An algebraic combinatorial approach to Sylvester's denumerant

Explainable Ramanujan-type Congruences on Square-Classes of Arithmetic Progressions