Bruck–Ryser–Chowla theorem

Bruck–Ryser–Chowla theorem (Redirected from Bruck–Chowla–Ryser theorem) Jump to navigation Jump to search The Bruck–Ryser–Chowla theorem is a result on the combinatorics of block designs that implies nonexistence of certain kinds of design. It states that if a (v, b, r, K, λ)-design exists with v = b (a symmetric block design), poi: if v is even, then k − λ is a square; if v is odd, then the following Diophantine equation has a nontrivial solution: x2 - (k − λ)y2 − (-1)(v−1)/2 λ z2 = 0.

The theorem was proved in the case of projective planes by Bruck & Ryser (1949). It was extended to symmetric designs by Chowla & Ryser (1950).

Contenuti 1 Projective planes 2 Connection with incidence matrices 3 Riferimenti 4 External links Projective planes In the special case of a symmetric design with λ = 1, questo è, a projective plane, the theorem (which in this case is referred to as the Bruck–Ryser theorem) can be stated as follows: If a finite projective plane of order q exists and q is congruent to 1 o 2 (mod 4), then q must be the sum of two squares. Note that for a projective plane, the design parameters are v = b = q2 + q + 1, r = k = q + 1, λ = 1. così, v is always odd in this case.

Il teorema, Per esempio, rules out the existence of projective planes of orders 6 e 14 but allows the existence of planes of orders 10 e 12. Since a projective plane of order 10 has been shown not to exist using a combination of coding theory and large-scale computer search,[1] the condition of the theorem is evidently not sufficient for the existence of a design. Tuttavia, no stronger general non-existence criterion is known.

Connection with incidence matrices The existence of a symmetric (v, b, r, K, λ)-design is equivalent to the existence of a v × v incidence matrix R with elements 0 e 1 satisfying R RT = (k − λ)io + λJ where I is the v × v identity matrix and J is the v × v all-1 matrix. In essence, the Bruck–Ryser–Chowla theorem is a statement of the necessary conditions for the existence of a rational v × v matrix R satisfying this equation. Infatti, the conditions stated in the Bruck–Ryser–Chowla theorem are not merely necessary, but also sufficient for the existence of such a rational matrix R. They can be derived from the Hasse–Minkowski theorem on the rational equivalence of quadratic forms.

References ^ Browne, Malcolm W. (20 Dicembre 1988), "Is a Math Proof a Proof If No One Can Check It?", The New York Times Bruck, R.H.; Brivido, H.J. (1949), "The nonexistence of certain finite projective planes", Giornale canadese di matematica, 1: 88–93, doi:10.4153/cjm-1949-009-2 Chowla, S.; Brivido, H.J. (1950), "Combinatorial problems", Giornale canadese di matematica, 2: 93–99, doi:10.4153/cjm-1950-009-8 Lam, C. w. H. (1991), "The Search for a Finite Projective Plane of Order 10", Mensile matematico americano, 98 (4): 305–318, doi:10.2307/2323798, JSTOR 2323798 van Lint, J.H., and R.M. Wilson (1992), A Course in Combinatorics. Cambridge, Eng.: Cambridge University Press. Weissstein esterno sinistro, Eric W., "Bruck–Ryser–Chowla Theorem", MathWorld hide vte Incidence structures Representation Incidence matrixIncidence graph Fields Combinatorics Block designSteiner systemGeometry IncidenceProjective planeGraph theory HypergraphStatistics Blocking Configurations Complete quadrangleFano planeMöbius–Kantor configurationPappus configurationHesse configurationDesargues configurationReye configurationSchläfli double sixCremona–Richmond configurationKummer configurationGrünbaum–Rigby configurationKlein configurationDual Theorems Sylvester–Gallai theoremDe Bruijn–Erdős theoremSzemerédi–Trotter theoremBeck's theoremBruck–Ryser–Chowla theorem Applications Design of experimentsKirkman's schoolgirl problem Categories: Theorems in combinatoricsTheorems in projective geometryTheorems in statisticsDesign of experiments

Se vuoi conoscere altri articoli simili a Bruck–Ryser–Chowla theorem puoi visitare la categoria Theorems in combinatorics.

lascia un commento

L'indirizzo email non verrà pubblicato.

Vai su

Utilizziamo cookie propri e di terze parti per migliorare l'esperienza dell'utente Maggiori informazioni