Routh–Hurwitz theorem: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Fij
mNo edit summary
en>Yobot
m WP:CHECKWIKI error fixes using AWB (10093)
 
Line 1: Line 1:
In mathematics, a '''Costas array''' can be regarded [[geometry|geometrically]] as a set of ''n'' points lying on the [[Square (geometry)|square]]s of a ''n''×''n'' [[checkerboard]], such that each row or column contains only one point, and that all of the ''n''(''n'' − 1)/2 [[displacement (vector)|displacement]] [[vector (geometric)|vector]]s between each pair of dots are distinct. This results in an ideal 'thumbtack' auto-[[ambiguity function]], making the arrays useful in applications such as [[sonar]] and [[radar]]. Costas arrays can be regarded as two-dimensional cousins of the one-dimensional [[Golomb ruler]] construction, and, as well as being of mathematical interest, have similar applications in [[experimental design]] and [[phased array]] radar engineering.
They call me Emilia. Years ago we moved to North Dakota and I adore each day living here. For many years he's been operating as a meter reader and it's something he truly appreciate. It's not a typical factor but what she likes performing is foundation leaping and now she is trying to earn money with it.<br><br>Look into my web page - at home std test ([http://www.ninfeta.tv/user/BDuran visit the website])
 
Costas arrays are named after [[John P. Costas (engineer)|John P. Costas]], who first wrote about them in a 1965 technical report. Independently, [[Edgar Gilbert]] also wrote about them in the same year, publishing what is now known as the logarithmic Welch method of constructing Costas arrays.<ref>[http://nanoexplanations.wordpress.com/2011/10/09/an-independent-discovery-of-costas-arrays/ An independent discovery of Costas arrays], Aaron Sterling, October 9, 2011.</ref>
 
==Numerical representation==
A Costas array may be represented numerically as an ''n''&times;''n'' array of numbers, where each entry is either 1, for a point, or 0, for the absence of a point. When interpreted as [[binary matrix|binary matrices]], these arrays of numbers have the property that, since each row and column has the constraint that it only has one point on it, they are therefore also [[permutation matrix|permutation matrices]]. Thus, the Costas arrays for any given ''n'' are a subset of the permutation matrices of order ''n''.
 
Arrays are usually described as a series of indices specifying the column for any row.  Since it is given that any column has only one point, it is possible to represent an array one-dimensionally.  For instance, the following is a valid Costas array of order ''N''&nbsp;=&nbsp;4:
 
{| class="wikitable"
|-
|0
|0
|0
|1
|-
|0
|0
|1
|0
|-
|1
|0
|0
|0
|-
|0
|1
|0
|0
|-
|}
 
There are dots at coordinates: (1,2), (2,1), (3,3), (4,4)
 
Since the ''x''-coordinate increases linearly, we can write this in shorthand as the set of all ''y''-coordinates.  The position in the set would then be the ''x''-coordinate.  Observe: {2,1,3,4} would describe the aforementioned array.  This makes it easy to communicate the arrays for a given order of ''N''.
 
==Known arrays==
All Costas arrays of size up to and including 29&times;29 are known. Costas arrays are known for infinitely many sizes because there exist two methods of generating them, both of which work near primes (of which there are infinitely many) and powers of primes. These are known as the Welch and Lempel-Golomb generation methods, and come from a branch of mathematics known as [[finite field]] theory.
 
The following table describes all possible Costas arrays of size up to six 6&times;6:
 
''N'' = 1<br />
{1}
 
''N'' = 2<br />
{1,2}
{2,1}
 
''N'' = 3<br />
{1,3,2}
{2,1,3}
{2,3,1}
{3,1,2}
 
''N'' = 4<br />
{1,2,4,3}
{1,3,4,2}
{1,4,2,3}
{2,1,3,4}
{2,3,1,4}
{2,4,3,1}
{3,1,2,4}
{3,2,4,1}
{3,4,2,1}
{4,1,3,2}
{4,2,1,3}
{4,3,1,2}
 
''N'' = 5<br />
{1,3,4,2,5}
{1,4,2,3,5}
{1,4,3,5,2}
{1,4,5,3,2}
{1,5,3,2,4}
{1,5,4,2,3}
{2,1,4,5,3}
{2,1,5,3,4}
{2,3,1,5,4}
{2,3,5,1,4}
{2,3,5,4,1}
{2,4,1,5,3}
{2,4,3,1,5}
{2,5,1,3,4}
{2,5,3,4,1}
{2,5,4,1,3}
{3,1,2,5,4}
{3,1,4,5,2}
{3,1,5,2,4}
{3,2,4,5,1}
{3,4,2,1,5}
{3,5,1,4,2}
{3,5,2,1,4}
{3,5,4,1,2}
{4,1,2,5,3}
{4,1,3,2,5}
{4,1,5,3,2}
{4,2,3,5,1}
{4,2,5,1,3}
{4,3,1,2,5}
{4,3,1,5,2}
{4,3,5,1,2}
{4,5,1,3,2}
{4,5,2,1,3}
{5,1,2,4,3}
{5,1,3,4,2}
{5,2,1,3,4}
{5,2,3,1,4}
{5,2,4,3,1}
{5,3,2,4,1}
 
''N'' = 6 <br />
{1,2,5,4,6,3}
{1,2,6,4,3,5}
{1,3,2,5,6,4}
{1,3,2,6,4,5}
{1,3,6,4,5,2}
{1,4,3,5,6,2}
{1,4,5,3,2,6}
{1,4,6,5,2,3}
{1,5,3,4,6,2}
{1,5,3,6,2,4}
{1,5,4,2,3,6}
{1,5,4,6,2,3}
{1,5,6,2,4,3}
{1,5,6,3,2,4}
{1,6,2,4,5,3}
{1,6,3,2,4,5}
{1,6,3,4,2,5}
{1,6,3,5,4,2}
{1,6,4,3,5,2}
{2,3,1,5,4,6}
{2,3,5,4,1,6}
{2,3,6,1,5,4}
{2,4,1,6,5,3}
{2,4,3,1,5,6}
{2,4,3,6,1,5}
{2,4,5,1,6,3}
{2,4,5,3,6,1}
{2,5,1,6,3,4}
{2,5,1,6,4,3}
{2,5,3,4,1,6}
{2,5,3,4,6,1}
{2,5,4,6,3,1}
{2,6,1,4,3,5}
{2,6,4,3,5,1}
{2,6,4,5,1,3}
{2,6,5,3,4,1}
{3,1,2,5,4,6}
{3,1,5,4,6,2}
{3,1,5,6,2,4}
{3,1,6,2,5,4}
{3,1,6,5,2,4}
{3,2,5,1,6,4}
{3,2,5,6,4,1}
{3,2,6,1,4,5}
{3,2,6,4,5,1}
{3,4,1,6,2,5}
{3,4,2,6,5,1}
{3,4,6,1,5,2}
{3,5,1,2,6,4}
{3,5,1,4,2,6}
{3,5,2,1,6,4}
{3,5,4,1,2,6}
{3,5,4,2,6,1}
{3,5,6,1,4,2}
{3,5,6,2,1,4}
{3,6,1,5,4,2}
{3,6,4,5,2,1}
{3,6,5,1,2,4}
{4,1,2,6,5,3}
{4,1,3,2,5,6}
{4,1,6,2,3,5}
{4,2,1,5,6,3}
{4,2,1,6,3,5}
{4,2,3,5,1,6}
{4,2,3,6,5,1}
{4,2,5,6,1,3}
{4,2,6,3,5,1}
{4,2,6,5,1,3}
{4,3,1,6,2,5}
{4,3,5,1,2,6}
{4,3,6,1,5,2}
{4,5,1,3,2,6}
{4,5,1,6,3,2}
{4,5,2,1,3,6}
{4,5,2,6,1,3}
{4,6,1,2,5,3}
{4,6,1,5,2,3}
{4,6,2,1,5,3}
{4,6,2,3,1,5}
{4,6,5,2,3,1}
{5,1,2,4,3,6}
{5,1,3,2,6,4}
{5,1,3,4,2,6}
{5,1,6,3,4,2}
{5,2,3,1,4,6}
{5,2,4,3,1,6}
{5,2,4,3,6,1}
{5,2,6,1,3,4}
{5,2,6,1,4,3}
{5,3,2,4,1,6}
{5,3,2,6,1,4}
{5,3,4,1,6,2}
{5,3,4,6,2,1}
{5,3,6,1,2,4}
{5,4,1,6,2,3}
{5,4,2,3,6,1}
{5,4,6,2,3,1}
{6,1,3,4,2,5}
{6,1,4,2,3,5}
{6,1,4,3,5,2}
{6,1,4,5,3,2}
{6,1,5,3,2,4}
{6,2,1,4,5,3}
{6,2,1,5,3,4}
{6,2,3,1,5,4}
{6,2,3,5,4,1}
{6,2,4,1,5,3}
{6,2,4,3,1,5}
{6,3,1,2,5,4}
{6,3,2,4,5,1}
{6,3,4,2,1,5}
{6,4,1,3,2,5}
{6,4,5,1,3,2}
{6,4,5,2,1,3}
{6,5,1,3,4,2}
{6,5,2,3,1,4}
 
A full database of the arrays for all sizes which have been exhaustively checked is available [http://osl-vps-4.ucd.ie/downloader]
It is not known whether Costas arrays exist for all sizes. Currently, the smallest sizes for which no arrays are known are 32&times;32 and 33&times;33.
 
==Constructions==
===Welch===
A '''Welch–Costas array''', or just Welch array, is a Costas array generated using the following method, first discovered by [[Edgar Gilbert]] in 1965 and rediscovered in 1982 by [[Lloyd R. Welch]].
The Welch–Costas array is constructed by taking a [[Primitive root modulo n|primitive root]] ''g'' of a [[prime number]] ''p'' and defining the array ''A'' by <math>A_{i,j} = 1</math> if <math>i \equiv g^j \bmod p</math>, otherwise 0.  The result is a Costas array of size ''p''&nbsp;&minus;&nbsp;1.
 
Example:
 
3 is a primitive element modulo 5.
 
:3<sup>1</sup> = 3
:3<sup>2</sup> = 9 = 4 (mod 5)
:3<sup>3</sup> = 27 = 2 (mod 5)
:3<sup>4</sup> = 81 = 1 (mod 5)
 
Therefore [3 4 2 1] is a Costas permutation. More specifically, this is an exponential Welch array. The transposition of the array is a logarithmic Welch array.
 
The number of Welch–Costas arrays which exist for a given size depends on the [[Euler's totient function|totient function]].
 
===Lempel–Golomb===
The Lempel–Golomb construction takes α and β to be [[primitive element (finite field)|primitive element]]s of the [[finite field]] GF(''q'') and similarly defines <math>A_{i,j} = 1</math> if <math>\alpha^i + \beta^j = 1</math>, otherwise 0.  The result is a Costas array of size ''q''&nbsp;&minus;&nbsp;2.  If ''α''&nbsp;+&nbsp;''β''&nbsp;=&nbsp;1 then the first row and column may be deleted to form another Costas array of size ''q''&nbsp;&minus;&nbsp;3: it is not known whether there is such a pair of primitive elements for every prime power ''q''.
 
== See also ==
* [[Eight queens puzzle]]
* [[Permutation]]
* [[Dihedral group]]
* [[Combinatorial design]]
 
==Notes==
{{reflist}}
 
==References==
*{{citation
| last1 = Barker | first1 = L.
| last2 = Drakakis | first2 = K.
| last3 = Rickard | first3 = S.
| doi = 10.1109/JPROC.2008.2011947
| issue = 3
| journal = Proceedings of the IEEE
| pages = 586–593
| title = On the complexity of the verification of the Costas property
| url = http://eeme.ucd.ie/~kdrakaka/work/publications/020.On_The_Complexity_Of_The_Verification_Of_The_Costas_Property.pdf
| volume = 97
| year = 2009}}.
*{{citation
| last1 = Beard | first1 = J.
| last2 = Russo | first2 = J.
| last3 = Erickson | first3 = K.
| last4 = Monteleone | first4 = M.
| last5 = Wright | first5 = M.
| contribution = Combinatoric collaboration on Costas arrays and radar applications
| doi = 10.1109/NRC.2004.1316432
| pages = 260–265
| title = IEEE Radar Conference, Philadelphia, Pennsylvania
| url = http://www.costasarrays.org/costasrefs/beard04combinatoric.pdf
| year = 2004}}.
*{{citation
| last = Costas | first = J. P. | author-link = John P. Costas (engineer)
| publisher = G.E. Corporation
| series = Class 1 Report R65EMH33
| title = Medium constraints on sonar design and performance
| year = 1965}}
*{{citation
| last = Costas | first = J. P. | author-link = John P. Costas (engineer)
| doi = 10.1109/PROC.1984.12967
| issue = 8
| journal = Proceedings of the IEEE
| pages = 996–1009
| title = A study of a class of detection waveforms having nearly ideal range-Doppler ambiguity properties
| url = http://costasarrays.org/costasrefs/costas84study.pdf
| volume = 72
| year = 1984}}.
*{{citation
| last = Gilbert | first = E. N. | authorlink = Edgar Gilbert
| doi = 10.1137/1007035
| journal = SIAM Review
| mr = 0179095
| pages = 189–198
| title = Latin squares which contain no repeated digrams
| volume = 7
| year = 1965}}.
*{{citation
| last1 = Golomb | first1 = S. W. | author1-link = Solomon W. Golomb
| last2 = Taylor | first2 = H.
| doi = 10.1109/PROC.1984.12994
| issue = 9
| journal = Proceedings of the IEEE
| pages = 1143–1163
| title = Construction and properties of Costas arrays
| url = http://www.costasarrays.org/costasrefs/golomb84constructions.pdf
| volume = 72
| year = 1984}}.
*{{citation
| last = Guy | first = Richard K. | author-link = Richard K. Guy
| contribution = Sections C18 and F9
| edition = 3rd
| isbn = 0-387-20860-7
| publisher = [[Springer Verlag]]
| title = [[Unsolved Problems in Number Theory]]
| year = 2004}}.
*{{citation
| last = Moreno | first = Oscar
| editor1-last = Pott | editor1-first = Alexander
| editor2-last = Kumar | editor2-first = P. Vijay
| editor3-last = Helleseth | editor3-first = Tor
| editor4-last = Jungnickel | editor4-first = Dieter
| contribution = Survey of results on signal patterns for locating one or multiple targets
| isbn = 0-7923-5958-5
| page = 353
| publisher = Kluwer
| series = NATO Advanced Science Institutes Series
| title = Difference Sets, Sequences and Their Correlation Properties
| volume = 542
| year = 1999}}.
 
== External links ==
* [[MacTech]] 1999 Programmer's challenge: [http://www.mactech.com/progchallenge/9912Challenge.html Costas arrays]
* [[On-Line Encyclopedia of Integer Sequences]]:
**A008404: [[OEIS:A008404|Number of Costas arrays of order ''n'', counting rotations and flips as distinct.]]
**A001441: [[OEIS:A001441|Number of inequivalent Costas arrays of order ''n'' under dihedral group.]]
 
[[Category:Permutations]]

Latest revision as of 13:36, 5 May 2014

They call me Emilia. Years ago we moved to North Dakota and I adore each day living here. For many years he's been operating as a meter reader and it's something he truly appreciate. It's not a typical factor but what she likes performing is foundation leaping and now she is trying to earn money with it.

Look into my web page - at home std test (visit the website)