Riemann Hipotez varyantlarının TCS'deki etkileri


10

Yüzyıldan eski Riemann Hipotezi'nin matematikte derin etkileri vardır ve matematik teorisinin büyük bir yapısı şimdi onun üzerinde ve çok sayıda varyant üzerinde koşullu olarak kanıtlanmıştır. Son zamanlarda Riemann hipotezine dayanan TCS'de koşullu bir sonuca başvurdum. Bu yüzden merak ediyorum,

TCS'deki Riemann hipotezinin başlıca etkileri nelerdir?

Burada bir başlangıç ​​olarak, Durand, Mahajan, Malod, de Rugy-Altherre ve Saurab'ın VP için tamamladığı Homomorfizm Polinomları'ndan bir makale var . Makalenin tanıtımından:

Cebirsel karmaşıklık teorisindeki en önemli açık sorulardan biri, VP ve VNP sınıflarının farklı olup olmadığına karar vermektir. Valiant tarafından ilk olarak [13, 12] 'de tanımlanan bu sınıflar Boole karmaşıklık sınıfları P ve NP'nin cebirsel analoglarıdır ve bunları ayırmak, P'yi NP'den ayırmak için gereklidir (en azından düzgün olmayan ve genelleştirilmiş Riemann Hipotezini varsayarak, alanının üzerinde , [3]).C


3
Genel olarak bilinen RH'nin Miller-Rabin öncelik testini derandomize edebileceğimizi ima ettiği iyi bilinir. Ama bununla ilgili daha derin veya daha geniş bir şey olup olmadığını bilmiyorum.
usul

1
nn

1
n[n,n+n0.5+o(1)]

Ayrıca, RH'nin bir uzantısı aritmetik ilerlemelerdeki en düşük asal iyi bir üst sınır verir (bakınız, örneğin, shoup.net/ntb/ntb-v2.pdf içinde Bölüm 5.5.4 ).
Alex Golovnev

Yanıtlar:


15

İlk olarak, Riemann'ın hipotezinin herhangi bir CS uygulamasının farkında değilim. RH genellemelerinin çeşitli uygulamaları vardır .

L

Cζ

mχ(x)=1x=O((logm)2)OLζLζ

x


Lζ

@ François: Ben şahsen bu terminolojiye alışkınım. Ancak örneğin, Bach ve Shallit tarafından oldukça iyi bilinen kitap, kitabı tam tersi şekilde tanımlar (Bach'ın “Açık sınırları ...” belgesinde tesadüfen kendi kullanımıyla çelişir).
Emil Jeřábek

PPA'daki FAKTORLAMA ilginç bir ima değil mi? arxiv.org/abs/1207.5220
domotorp

Olabilir. Bu, sonuçların sondan önceki paragrafta "... gibi çeşitli algoritmaları derandom edebilmesinin sonuçlarıdır ve yanıtta kendi çalışmamın reklamını yapmanın gerekli olduğunu düşünmüyorum.
Emil Jeřábek

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.