Atacul unui sistem IA asupra mulțimilor fără progresii: registrul a ceea ce s-a blocat

TL;DR. Un asistent IA a lucrat la două probleme despre mulțimi fără progresii: un argument pentru problema sumei reciprocelor și o margine cvasipolinomială pentru fiecare lungime fixă a progresiei.

Concluzii cheie

Două sarcini, dintre care doar una a fost vreodată revendicată. Materialul se împarte în două sarcini și merită să păstrăm separat statutul lor.
Descreșterea densității nu este același lucru cu sumabilitatea. Primul obstacol apare la nivelul arhitecturii argumentului, înainte de orice analiză Fourier.
Păstrarea structurii și de ce trei termeni nu se generalizează. Un remediu propus este păstrarea structurii pe parcurs.
Alinierea frecvențelor o singură dată în loc de mai multe ori. Alinierea secvențială a funcțiilor de frecvență este locul în care problema acumulării lovește cel mai puternic.

Cel mai util lucru pe care ți-l poate spune o demonstrație neterminată este exact unde se rupe, iar aceasta se rupe în aproximativ douăsprezece locuri specifice.

Rezumat executiv

Lucrarea are două sarcini. Prima dezvoltă un argument pentru problema sumei reciprocelor. A doua caută o margine cvasipolinomială pentru fiecare lungime fixă a progresiei, iar acest obiectiv nu este atins.

Punctul de plecare este rezultatul lui Bloom și Sisask privind suma reciprocelor pentru trei termeni. Descreșterea calitativă a densității nu oferă singură sumabilitatea de care are nevoie argumentul.

Au fost încercate numeroase abordări: mulțimi ambiante structurate, alinierea simultană a frecvențelor, leme de numărare rară, netezirea Croot-Sisask, ridicarea și iterația, colțurile și entropia la scara p = log M. Fiecare a întâmpinat o obstrucție explicită.

Calculul final a fost lăsat neterminat, fără o lemă de restricție sau un principiu de numărare rară.

Pentru fondatori și lideri tehnici, lecția ține de metodă: un registru al eșecurilor numite precis este un livrabil mai fiabil decât o schiță încrezătoare.

Două sarcini, dintre care doar una a fost vreodată revendicată #

Materialul se împarte în două sarcini și merită să păstrăm separat statutul lor. Prima dezvoltă un argument pentru problema sumei reciprocelor. A doua caută o margine cvasipolinomială pentru fiecare lungime fixă a progresiei. Verbele contează. Prima sarcină este descrisă ca dezvoltând un argument. A doua doar caută o margine. Nimic din document nu spune că al doilea obiectiv a fost atins, așa că îl voi trata ca pe o țintă pe tot parcursul textului.

Asistentul nu pornește de la zero. Folosește ca referință rezultatul lui Bloom și Sisask privind suma reciprocelor pentru trei termeni. Tot ce urmează după aceea este o încercare de a depăși acest nivel de bază, fie către progresii mai lungi, fie către un enunț cantitativ mai puternic. Notația este fixată devreme. Pentru fiecare k, r_k(N) este dimensiunea maximă a unei submulțimi a lui {1, ..., N} fără nicio progresie netrivială de k termeni. O mulțime A de densitate α = |A|/N este obiectul studiat, iar funcția normalizată este f = 1_A/α.

Această normalizare conduce cea mai mare parte a ceea ce urmează. Definim μ = 1_A/α, astfel încât E[μ] = 1, și fixăm M = α^-1. Raritatea logaritmică este atunci p = log(1/α), ceea ce este același lucru cu log M. Cu cât mulțimea este mai rară, cu atât M și p devin mai mari. Fiecare obstrucție de mai jos este, într-o formă sau alta, o afirmație despre ceea ce se întâmplă pe măsură ce această raritate crește.

Descreșterea densității nu este același lucru cu sumabilitatea #

Primul obstacol apare la nivelul arhitecturii argumentului, înainte de orice analiză Fourier. Documentul spune limpede că descreșterea calitativă a densității nu oferă singură această sumabilitate. A ști că densitățile se micșorează pe măsură ce treci prin scări nu este suficient. Problema sumei reciprocelor necesită ca această contracție să fie cuantificată suficient de bine pentru a putea fi însumată.

O scăpare tentantă este o recurență. Notele spun că o recurență suficient de puternică pentru densitățile extremale fără progresii ar putea produce sumabilitate pe scări exponențiale. Această propoziție este formulată prudent și așa trebuie să rămână. Ea descrie ce ar putea face o ipotetică recurență puternică. Nu raportează existența uneia.

Un al doilea cost este separat de primul. Asistentul identifică acumularea multor corelații slabe drept un cost suplimentar. Fiecare corelație individuală poate fi inofensivă în timp ce suma lor nu este. Această temă revine constant: un pas care este ieftin o singură dată devine costisitor atunci când trebuie repetat.

Păstrarea structurii și de ce trei termeni nu se generalizează #

Un remediu propus este păstrarea structurii pe parcurs. Asistentul propune menținerea mulțimilor ambiante structurate de-a lungul incrementărilor succesive. Ideea, formulată cu prudență în sursă, este că nu ar trebui să arunci mulțimea structurată pe care ai găsit-o într-o etapă atunci când treci la următoarea.

Cazul cu trei termeni are o trăsătură care lipsește progresiilor mai lungi. Mecanismul de pozitivitate util pentru progresiile de trei termeni nu se extinde direct la numărări înrădăcinate mai lungi. Acesta este primul dintre mai multe locuri în care obstrucția este specifică pentru k mai mare decât trei. O notă ulterioară subliniază același lucru în termeni generali: progresiile mai lungi introduc noi obstrucții de ordin superior.

Documentul include o schiță bazată pe produsul tensorial privind întrebarea dacă normele de uniformitate fixe pot controla funcțiile normalizate rare. Asistentul nu finalizează schița. Prefer să raportez acest lucru decât să las să se înțeleagă că problema este tranșată într-un sens sau în celălalt.

Alinierea frecvențelor o singură dată în loc de mai multe ori #

Alinierea secvențială a funcțiilor de frecvență este locul în care problema acumulării lovește cel mai puternic. Dacă fiecare aliniere costă puțin, un lanț lung de alinieri costă mult. Asistentul propune alinierea simultană a mai multor funcții de frecvență, în loc să acumuleze pierderi prin alinierea secvențială. Nota marginală o spune direct: „Fără pierderi iterative dacă se aliniază toate frecvențele deodată”. La fel ca propunerea pe care o rezumă, această propoziție este condiționată, deoarece descrie ce ar aduce alinierea simultană dacă ar funcționa.

Nota precizează apoi ceea ce lipsește în continuare. S_h ar trebui să poată fi recuperat din frecvențe cu corelații mari, de cel puțin exp(-poly). Aceasta rămâne o cerință, nu un rezultat. Corelațiile organizate sunt cele ale produselor pereche f(x)f(x + h), cu f = 1_A/α și α = |A|/N.

Chiar și admițând acest lucru, asistentul tot trebuie să păstreze corelația relativă și să finalizeze argumentul de numărare. Așadar, ideea alinierii simultane are o proprietate atractivă, absența pierderilor iterative, și o listă de lucruri pe care nu le-a verificat nimeni. O abordare înrudită are o limitare similară. Trunchierea vârfurilor coerente rare funcționează pentru clustere de frecvență independente, dar extinderea acestui argument la clustere dependente rămâne nerezolvată.

Porțiuni goale rare și costul umplerii adaptive #

Când argumentul trece de la evidența contabilă pe partea Fourier la numărarea efectivă a progresiilor, apare o problemă structurală. Asistentul identifică o obstrucție: marginile superioare de densitate pe porțiunile structurate permit porțiuni goale rare. O margine superioară asupra proporției din A care se află într-o porțiune nu spune nimic despre prezența efectivă a vreunui element din A acolo. O porțiune rară și goală poate sta în interiorul unei familii de porțiuni care satisfac toate marginea.

Un răspuns este umplerea adaptivă, iar aceasta vine cu propria notă de plată. Umplerea adaptivă introduce condiții suplimentare de fezabilitate pe care asistentul nu le-a demonstrat. Un majorant este o modalitate naturală de a exclude porțiunile rele și rare. Textul citat al asistentului spune că un majorant pe toți atomii rari este probabil nerealist. Remarca este prudentă, dar indică îndepărtarea de soluția cea mai directă.

Acesta este tiparul care explică restul înregistrării. Un argument ieftin are nevoie undeva de o margine inferioară, instrumentele disponibile oferă margini superioare, iar decalajul dintre ele este ocupat de obiecte rare, împrăștiate și goale.

Împrumutarea aparatului de numărare rară și constatarea că partea împrumutată nu este suficientă #

Asistentul a căutat în literatura existentă despre numărarea rară o cale de traversare. Două surse au modelat această încercare.

Privind densificarea Conlon-Fox-Zhao, asistentul a constatat că aceasta se baza pe estimări bilaterale ale formelor liniare. Acest lucru contează deoarece cadrul de față are o structură de margine superioară, și nu una bilaterală. O metodă construită pe un control din două părți nu este disponibilă atunci când se cunoaște o singură parte.

Lema de numărare a grafurilor rare a lui Filmus, Hatami, Hosseini și Kelman a furnizat modelul pentru momentele de grilă asimetrice și dezechilibrarea pozitiv-semidefinită. Astfel, a servit drept șablon, nu ca o teoremă direct aplicabilă. Chiar și așa, aceeași dificultate a revenit. Marginile superioare singure au întâlnit în mod repetat goluri rare. O complicație suplimentară face ca momentele de grilă să fie greu de citit: momentele de grilă centrate mari ar putea reflecta masă lipsă în loc de o concentrare ascendentă. Un moment mare arată ca o dovadă de concentrare, dar poate fi produs în egală măsură de masa care nu este acolo. Această ambiguitate este problema golurilor rare privită dinspre partea momentelor.

Apoi asistentul a luat în considerare mici pierderi de putere în M. Nu a obținut nicio teoremă de numărare adecvată. Acesta este un rezultat negativ clar, care îngustează câmpul de căutare: chiar și permițând ca argumentul să piardă o putere mică a lui M, nu a fost găsită nicio teoremă de numărare potrivită.

Netezirea a fost prea costisitoare pentru a fi aplicată #

Netezirea Croot-Sisask este o rută standard pentru regularizarea unei mulțimi înainte de numărare. Asistentul a analizat-o și a constatat că acuratețea necesară este prea costisitoare în aplicația propusă. Metoda nu era greșită. Prețul ei depășea ceea ce își putea permite argumentul.

Aceeași economie guvernează și celelalte rute. Pentru argumentele pe fibre, marginile pe fibre nu s-au multiplicat automat, iar sferele de normă constantă au blocat descreșterea puternică sperată peste alfabete fixe de cifre. O structură de produs sugerează că marginile pe porțiuni ar trebui să se combine într-o margine pe întreg, dar aici nu au făcut-o. Încercările de ridicare și iterație au pierdut în continuare prea mult din punct de vedere cantitativ.

Apoi a fost analizată abordarea dualității aproximative a lui Ben-Sasson și Ron-Zewi. Asistentul a constatat că iterația avută în vedere pierde prea mult cantitativ. Acesta este același verdict ca în încercarea de ridicare, atins dintr-o direcție diferită, ceea ce sugerează că dificultatea rezidă în iterația însăși și nu într-o construcție anume. Voi păstra aceasta ca pe o observație asupra tiparului, nu ca pe un diagnostic demonstrat.

O linie de optimism și aritmetica ce a subminat-o #

Documentul conține un moment de aparent progres. Textul citat al asistentului afirmă că fluctuațiile de grad ale produselor sunt gestionate cu precizie polinomială, cu semnul exclamării inclus. Este o afirmație formulată cu rezervă, citată exact așa cum a scris-o asistentul.

Asistentul a observat apoi problema cu această afirmație. Dezvoltările cu semn puteau avea o masă absolută de ordinul 2^p, ceea ce copleșește acuratețea polinomială. Să ne amintim că p = log M. Precizia polinomială în M este o țintă modestă, în timp ce o dezvoltare cu semn având masa de ordinul 2^p este exponențial mai mare. Precizia este reală, dar anularea pe care se bazează nu poate absorbi atât de multă masă.

Consider că aceasta este cea mai instructivă intrare din registru, deoarece arată autoverificarea în acțiune. O afirmație făcută cu semnul exclamării a fost redeschisă, iar aritmetica de care depindea s-a dovedit insuficientă. Așa arată o înregistrare de lucru onestă. Entuziasmul și corecția stau amândouă în același document.

Colțurile și cutiile nu se asamblează în progresii mai lungi #

O strategie diferită a fost folosirea unui rezultat cunoscut mai puternic drept treaptă intermediară. Marginea cvasipolinomială pentru colțuri este instrumentul relevant, dar colțurile rezultate nu au asamblat automat progresii mai lungi. Un colț este un tipar bidimensional, iar o progresie lungă este unul unidimensional, și trecerea dintre ele nu este automată.

Numărarea cutiilor cu patru termeni prezintă o dificultate înrudită. Pozitivitatea numărării cutiilor cu patru termeni nu a controlat diagonala sa excepțională. O numărare pozitivă poate fi totuși dominată de configurații degenerate, iar diagonala este locul în care acestea trăiesc.

Notele oferă totuși o posibilă cale de înaintare, formulată cu multă prudență. Normele de cutie complete oferă un mecanism posibil pentru a stabili dacă numărările superioare singure pot forța numărări inferioare de progresii. Această întrebare, dacă informația unilaterală poate forța o margine inferioară, este cea în jurul căreia întregul proiect continuă să graviteze. Există însă o limită privind cât de departe se poate extinde acest lucru. Contribuțiile cubice negative blochează o extindere directă la sistemele de progresii.

Trecerea la entropie la scara p = log M #

Cum rutele de numărare directă erau blocate, investigația s-a orientat către entropia la scara p = log M, inspirându-se din utilizarea momentelor de ordin înalt de către Kelley și Meka. Alegerea scării nu este arbitrară: p = log M este exact raritatea logaritmică definită la început.

Textul citat al asistentului propune utilizarea entropiei în locul lui L2 prin nenegativitate și disociativitatea frecvențelor (Chang). Aceasta este o propunere, nu un rezultat. Raționamentul este că μ = 1_A/α este nenegativă, iar disociativitatea lui Chang oferă structură pe partea de frecvență, astfel încât entropia ar putea face munca pe care o mărime L2 nu o poate face.

Pentru ca acest lucru să funcționeze, asistentul avea nevoie de un ingredient analitic specific. Asistentul a căutat o estimare de restricție Fourier ||g_hat||_q = O(1) pentru g mărginită și q > 2 fixat, sub margini superioare locale adecvate. Aceasta era o țintă. Nu a fost demonstrată.

Obstacolul a apărut la pasul următor. Extragerea structurii din momentele de ordin înalt a pierdut prea multă masă. Momentele de ordin înalt sunt locul din care argumentele în stilul Kelley-Meka își extrag forța, iar aici au fost și locul în care argumentul a pierdut ceea ce avea nevoie să păstreze.

Calculul care s-a apropiat cel mai mult #

Calculul final merită o privire separată, deoarece conține atât un succes, cât și un eșec. Atinge o margine completă la capătul intervalului sub ipotezele sale de convoluție. Acesta este un rezultat real, enunțat ca atare, și poartă precizarea „sub ipotezele sale de convoluție”. Marginea este valabilă atunci când aceste ipoteze sunt îndeplinite.

Dar nu reușește să treacă pragul exponentului trei cerut de argumentul de numărare propus. Extrasul asistentului notează o margine l3 slabă provenită din convoluție și plafonare, și faptul că este necesar un exponent strict mai bun (sub 3) pentru interpolare. În termeni simpli, calculul aterizează exact pe partea greșită a unei linii de demarcație. O margine la exponentul trei nu este suficientă, iar interpolarea are nevoie de ceva strict mai bun.

Este tentant să citești o ratare la limită ca aceasta drept „aproape gata”. Eu aș rezista acestei tentații. Documentul nu spune cât de departe este calculul de acel prag, iar un decalaj de un singur exponent poate constitui totuși întreaga problemă. Ceea ce spune documentul este că asistentul a lăsat calculul neterminat, fără a deduce nici lema de restricție, nici principiul de numărare rară. Aceste două piese lipsă reprezintă datoria deschisă a proiectului.

Cât valorează registrul #

Ar fi ușor să respingem toate acestea ca pe o încercare eșuată. Cred că o astfel de abordare interpretează greșit dovezile, dintr-un motiv care se aplică mult dincolo de teoria numerelor.

Documentul este specific. Numește obstrucția la fiecare intersecție: porțiuni goale rare, masă lipsă în momentele de grilă, estimări bilaterale în Conlon-Fox-Zhao, masă cu semn exponențială în p, diagonala excepțională a numărării cutiilor cu patru termeni, contribuții cubice negative. Distinge o limitare demonstrată de un mecanism sperat. Marchează recurența pentru sumabilitate drept ceva ce ar putea funcționa, iar a doua sarcină drept ceva căutat. Spune clar ce nu a terminat asistentul.

Pentru un fondator sau un lider tehnic care evaluează cercetarea asistată de IA, acesta este lucrul pe care trebuie să îl caute. Un sistem care returnează un argument încrezător, cu aspect complet, este greu de auditat. Un sistem care returnează o listă de eșecuri numite precis, cu singurul cvasi-succes marcat clar ca situându-se sub un prag, poate fi auditat rând cu rând. Cineva poate prelua problema exponentului trei, sau problema clusterelor dependente, știind exact care este poziția de pornire.

Există, de asemenea, un tipar care merită formulat direct. Multe dintre eșecuri sunt eșecuri de acumulare: corelații slabe care se adună, alinieri secvențiale care se compun, iterații care pierd prea mult, margini pe fibre care nu reușesc să se multiplice. Unul dintre remediile propuse vizează direct acest lucru, aliniind frecvențele simultan astfel încât să nu se înregistreze nicio pierdere iterativă. Este formulat prudent, iar condiția sa prealabilă, recuperarea lui S_h din frecvențe cu corelații mari, este nedemonstrată. Cu toate acestea, este propunerea din document care răspunde cel mai direct celei mai frecvente plângeri.

Întrebarea deschisă pe care o ridică documentul este, prin urmare, îngustă și verificabilă. Poate fi obținută o margine strict mai bună decât exponentul trei sub ipotezele de convoluție care oferă deja marginea la capătul intervalului? Dacă da, interpolarea are cu ce să lucreze. Dacă nu, ruta restricției Fourier și principiul de numărare rară, niciunul dintre ele nefiind încă dedus, sunt locurile în care trebuie privit mai departe.

Întrebări frecvente #

Care au fost cele două probleme matematice pe care le-a investigat asistentul IA?

Asistentul a lucrat la două sarcini înrudite privind mulțimile fără progresii: dezvoltarea unui argument pentru problema sumei reciprocelor și căutarea unei margini cvasipolinomiale pentru fiecare lungime fixă k a progresiei. Deși a folosit rezultatul cu trei termeni al lui Bloom și Sisask privind suma reciprocelor drept referință, marginea cvasipolinomială pentru lungimi arbitrare ale progresiei nu a fost atinsă.

De ce nu au reușit marginile superioare de densitate să producă lema de numărare necesară?

Marginile superioare de densitate pe porțiunile structurate permit porțiuni goale rare, ceea ce înseamnă că o margine superioară asupra proporției dintr-o mulțime A care se află în interiorul unei porțiuni nu garantează că vreun element din A se află efectiv acolo. De-a lungul mai multor încercări, marginile superioare singure au întâlnit în mod repetat goluri rare, iar momentele de grilă centrate mari puteau reflecta masă lipsă în loc de o concentrare ascendentă.

Unde s-a blocat calculul final?

Calculul final a atins o margine completă la capătul intervalului sub ipotezele de convoluție declarate, dar a produs doar o margine l3 slabă care nu a reușit să treacă pragul exponentului strict mai mic decât trei necesar pentru interpolare. Asistentul a lăsat calculul neterminat fără a deduce nici lema de restricție Fourier, nici principiul de numărare rară.

References #

Thomas F. Bloom and Olof Sisask, (2020). Breaking the logarithmic barrier in Roth's theorem on arithmetic progressions ⧉. arXiv.
Zander Kelley and Raghu Meka, (2023). Strong Bounds for 3-Progressions ⧉. arXiv.
David Conlon, Jacob Fox, and Yufei Zhao, (2014). A relative Szemerédi theorem ⧉. Geometric and Functional Analysis.
Ernie Croot and Olof Sisask, (2010). A probabilistic technique for finding almost-periods of convolutions ⧉. Geometric and Functional Analysis.

Ultima revizuire 2026-11-01.

Republică acest articol

Atacul unui sistem IA asupra mulțimilor fără progresii: registrul a ceea ce s-a blocat — Sebastien Rousseau

Un asistent IA a lucrat la două probleme despre mulțimi fără progresii: un argument pentru problema sumei reciprocelor și o margine cvasipolinomială pentru fiecare lungime fixă a progresiei.

Acest articol este licențiat sub Creative Commons Attribution 4.0 International. Republicarea necesită atribuirea la URL-ul canonic.

Atacul unui sistem IA asupra mulțimilor fără progresii: registrul a ceea ce s-a blocat — Sebastien Rousseau

Un asistent IA a lucrat la două probleme despre mulțimi fără progresii: un argument pentru problema sumei reciprocelor și o margine cvasipolinomială pentru fiecare lungime fixă a progresiei.

Originally published at https://sebastienrousseau.com/ro/2026-10-24-atacul-unui-sistem-ia-asupra-multimilor/ by Sebastien Rousseau.
Licensed under CC-BY-4.0.

SEBASTIEN ROUSSEAU FOUNDER · ENGINEER