Primoj en aritmetika vico

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

En nombroteorio, primoj en aritmetika vico esta minimume tri primoj kiu estas najbaraj eroj de aritmetika vico, ekzemple la primoj {3, 7, 11} (ne gravas ke ankaŭ 5 estas primo).

Iam (ne en ĉi tiu artikolo) la termino povas ankaŭ esti uzata por primoj kiu aparteni donita aritmetika vico sed estas ne bezone najbaraj ĝiaj eroj. Teoremo de Dirichlet pri aritmetikaj statas ke se a kaj b estas interprimoj, tiam la aritmetika vico an+b enhavas malfinie multajn primojn. Se a=1 ĉi tio respektivas al ekzisto de malfinie multaj primoj entute.

Vico de k primoj en aritmetika vico (kutime k≥3) estas signifata kiel AP-kPAP-k. Ĉiu AP-k povas esti skribita kiel k primoj de formo an+b, por fiksitaj entjeroj a (la komuna diferenco) kaj b, kaj k najbaraj entjeraj valoroj de n, n = 0, ..., (k-1). Tiam b estas la unua primo en la aritmetika vico.

Propraĵoj[redakti | redakti fonton]

Por ĉiu donita entjero k, ekzistas vicoj de primoj en aritmetika vico de longo k, kio komence estis konjekto kaj kio estis pruvita de Ben Green kaj Terence Tao en 2004. Ĉi tio estas ekzista teoremo kaj ne diras kiel trovi la progresiojn. [1][2]

Sekvas tuj ke estas malfinie multaj AP-k por ĉiu k.

Pruvo: Supozu ke estas nur n vicoj AP-k. Sed ekzistas ankaŭ vico AP-(n+1)k, kiu povas esti distranĉita je n+1 malsamaj AP-k. Fakte, sufiĉas ekzisto de AP-(n+k) el kiu povas esti prenitaj n+1 malsamaj kvankam interkovrantaj AP-k.

Ne ekzistas malfinie longa vico de primoj en aritmetika vico. Por ĉiu vico an+b, la ero por n=b estas komponigita ab+b=(a+1)b.

Se AP-k ne komenciĝas per la primo k, tiam la komuna diferenco estas oblo de primofaktorialo de k, k# = 2·3·5·...·j, kie j estas la plej granda primo ne pli granda ol k.

Pruvo: Estu la AP-k kiel an+b por k najbaraj valoroj de n. Se primo p ne dividas a, tiam modula aritmetiko donas ke p dividas ĉiun p-an eron de la aritmetika vico. Se la eroj de AP estas primoj por k najbaraj valoroj, tiam a devas pro tio esti dividebla per ĉiuj primoj p≤k.

Ĉi tiu ankaŭ montras ke AP kun komuna diferenco a ne povas enhavi pli multajn primojn ol valoro de la plej malgranda primo kiu ne dividas a.

Se k estas primo tiam AP-k povas komenciĝi kun k kaj havi komunan diferencon kiu estas nur oblo de (k-1)# anstataŭ k#. Ekzemple estas la AP-3 kun primoj {3, 5, 7} kaj komuna diferenco 2# = 2, aŭ la AP-5 kun primoj {5, 11, 17, 23, 29} kaj komuna diferenco 4# = 6. Estas konjektite ke ĉi tiaj ekzemploj ekzistas por ĉiu primo k. Kiel en 2008, la plej granda primo por kiu ĉi tio estas konfirmita estas k=17, kun AP-17: 17 + 11387819007325752·13#·n, por n= 0, ..., 16, trovita de Phil Carmody en 2001.

Sekvas el larĝe kreditaj konjektoj, konjekto de Dickson kaj iuj variantoj de la prima k-opa konjekto, ke se p>2 estas la plej malgranda primo ne dividanta a, tiam estas malfinie multaj AP-(p-1) kun komuna diferenco a. Ekzemple, 5 estas la plej malgranda primo ne dividanta 6, tiel estas atendite ke estas malfinie multaj AP-4 kun komuna diferenco 6, kiu estas nomata kiel sensa prima kvaropo. Se a=2, p=3, ĝi estas la ĝemela prima konjekto, kun "AP-2" de 2 primoj (b, b+2).

Plej grandaj sciataj primoj en AP[redakti | redakti fonton]

Kiel en majo de 2008, la plej longa sciata AP-k estas AP-25, trovita de Raanan Chermoni kaj Jaroslaw Wroblewski[3]

6171054912832631 + 366384·23#·n, por n=0, ..., 24 (23# = 223092870)

La serĉo estis per distribuita komputado kaj prenis proksimume 57 jarojn sur procesoro Athlon 64[4].

La pli frua rikordo estis AP-24 trovita de Jaroslaw Wroblewski en 2007 [5]:

468395662504823 + 205619·23#·n, por n = 0, ..., 23

Noto ke la plej granda sciata AP-k povas esti la fino de AP-(k+1). Iuj serĉistoj elektas unue komputi grandan aron de primoj de formo c·(p#)+1 kun fiksita p, kaj tiam serĉi por AP inter la valoroj de c kiuj donas primoj. Ĉi tiu estas reflektita en la esprimoj por iu rikordoj. La esprimoj povas facile esti reskribitaj kiel an+b.

Ĉi tio estas la plej grandaj sciataj AP-k kiel en majo de 2008[3].

k Primoj por n=0, ..., (k-1) Ciferoj en la fina primo Jaro Esploristo
3 (1769267·2340000 − 1) + (1061839·2456789 − 1769267·2340000n 137514 2007 Jens Kruse Andersen, Jiong Sun, Daniel Heuer
4 (100997770 + 3624707n)·27751# + 1 11961 2008 Ken Davis
5 ((49077426729 + 681402540n) · 205881·4001#/35·(205881·4001# + 1) + 6) · (205881·4001# − 1) + 7 5132 2007 Ken Davis
6 (32649185 + 3884057n)·3739# + 1 1606 2006 Ken Davis
7 (143850392 + 114858412n)·3011# + 1 1290 2006 Ken Davis
8 (4941928071 + 176836494n)·2411# + 1 1037 2003 Paul Underwood, Markus Frind
9 (805227062 + 54790161n)·941# + 1 401 2006 Mike Oakes
10 (1079682357 + 109393276n)·607# + 1 260 2006 Mike Oakes
11 (631346030 + 151515939n)·449# + 1 195 2006 Jeff Anderson-Lee
12 (1366899295 + 54290654n)·401# + 1 173 2006 Jeff Anderson-Lee
13 (1374042988 + 22886141n)·173# + 1 78 2006 Mike Oakes
14 (1067385825 + 193936257n)·151# + 1 69 2007 Jens Kruse Andersen
15 (358766428 + 17143877n)·101# + 1 48 2005 Jens Kruse Andersen
16 (636435342 + 49408956n)·73# + 1 38 2008 Jeff Anderson-Lee
17 (1259891250 + 70154768n)·53# + 1 29 2007 Jens Kruse Andersen
18 (1051673535 + 32196596n)·53# + 1 29 2007 Jens Kruse Andersen
19 62749659973280668140514103 + 107·61#·n 27 2007 Jaroslaw Wroblewski
20 178284683588844176017 + 53#·n 21 2007 Jaroslaw Wroblewski
21 1925228725347080393 + 47#·n 20 2007 Jaroslaw Wroblewski
22 950203555027421 + 892·37#·n 18 2007 Jaroslaw Wroblewski
23 660593947782971 + 5414270·23#·n 17 2008 Raanan Chermoni, Jaroslaw Wroblewski
24 1606021011322579 + 3490622·23#·n 17 2008 Raanan Chermoni, Jaroslaw Wroblewski
25 6171054912832631 + 366384·23#·n 16 2008 Raanan Chermoni, Jaroslaw Wroblewski

Najbaraj primoj en aritmetika vico[redakti | redakti fonton]

Najbaraj primoj en aritmetika vico estas najbaraj (en aro de ĉiuj primoj) primoj kiu estas samtempe najbaraj eroj de aritmetika vico. Ekzemple, la AP-3 {3, 7, 11} ne estas najbaraj primoj en aritmetika vico ĉar 5 estas ankaŭ primo.

Vico de k najbaraj primoj en aritmetika vico (kutime k≥3) estas signifata kiel CPAP-k

Estas konjekto ke por ĉiu donita entjero k ekzistas CPAP-k. Ĉi tio devus enhavi malfinie multajn CPAP-k por ĉiuj k.

La meza primo en CPAP-3 estas nomata kiel balancita primo. Kiel en 2007, la plej granda pruvita balancita primo havas 7535 ciferojn.

La sola sciata CPAP-10 (kiel en 2007) estis trovita en 1998 de Manfred Toplic en distribuita komputada projekto CP10 kiu estis organizita de Harvey Dubner, Tony Forbes, Nik Lygeros, Michel Mizony kaj Paul Zimmermann.[6] Ĉi tiu CPAP-10 havas la plej malgrandan ebla komunan diferencon 7# = 210.

Se CPAP-11 ekzistas tiam ĝi devas havi komunan diferencon kiu estas oblo de 11# = 2310. La diferenco inter la unua kaj lasta de la 11 primoj devus pro tio esti oblo de 23100. La bezono havi minimume 23090 komponigitajn nombrojn inter la 11 primoj faras travadon de CPAP-11 ege malfacilan. Dubner kaj Zimmermann pritaksis ke ĝi devas esti je minimume 1012 fojoj pli malfacila ol trovado de CPAP-10.[7]

Plej grandaj sciataj primoj en CPAP[redakti | redakti fonton]

Ĉi tio estas la plej grandaj sciataj CPAP-k kiel en decembro de 2007[8]

k Primoj por n=0, ..., (k-1) Ciferoj Jaro Esploristo
3 197418203 · 225000 − 6091 + 6090n 7535 2005 David Broadhurst, François Morain
4 25900 + 469721931951 + 2880n 1777 2007 Ken Davis
5 142661157626 · 2411# + 71427757 + 30n 1038 2002 Jim Fougeron
6 44770344615 · 859# + 1204600427 + 30n 370 2003 Jens Kruse Andersen, Jim Fougeron
7 4785544287883 · 613# + x253 + 210n 266 2007 Jens Kruse Andersen
8 10097274767216 · 250# + x99 + 210n 112 2003 Jens Kruse Andersen
9 73577019188277 · 199#·227·229 + x87 + 210n 101 2005 Hans Rosenthal, Jens Kruse Andersen Andersen
10 507618446770482 · 193# + x77 + 210n 93 1998 Manfred Toplic, CP10 projekto

xd estas d-cifera nombro uzita en unu el la pli supre donitaj nombroj:

x77 = 54538241683887582 668189703590110659057865934764 604873840781923513421103495579
x87 = 279872509634587186332039135 414046330728180994209092523040 703520843811319320930380677867
x99 = 158794709 618074229409987416174386945728 371523590452459863667791687440 944143462160821328735143564091
x253 = 1617599298905 320471304802538356587398499979
836255156671030473751281181199 911312259550734373874520536148
519300924327947507674746679858 816780182478724431966587843672
408773388445788142740274329621 811879827349575247851843514012
399313201211101277175684636727


Vidu ankaŭ[redakti | redakti fonton]

Referencoj[redakti | redakti fonton]

  1. Ben Green kaj Terence Tao, La primoj enhavas arbitre longajn aritmetikajn vicojn. Ekstraktita en 2007-06-17.
  2. Internacia Matematika Unio. IMU premioj de 2006. Ekstraktita en 2007-06-17.
  3. 3,0 3,1 Jens Kruse Andersen, Rikordoj pri primoj en aritmetika progresio. Ekstraktita en 2008-05-17.
  4. http://tech.groups.yahoo.com/group/primenumbers/message/19359
  5. http://tech.groups.yahoo.com/group/primeform/message/8248
  6. Harvey Dubner, Tony Forbes, Nik Lygeros, Michel Mizony kaj Paul Zimmermann, Dek najbaraj primoj en aritmetika vico, Matematiko de Kalkulado 71 (2002), 1323-1328.
  7. Manfred Toplic, La naŭ kaj dek prima projekto. Ekstraktita en 2007-06-17.
  8. Jens Kruse Andersen, La plej grandaj sciataj CPAP. Ekstraktita en 2008-02-01.