What is DBN UPPER BOUND?
DBN Upper Bound is a Polymath project related to the theory of the Riemann zeta function, based at this Polymath wiki. For the background, theory and discussion on results, please head to the proposal and subsequent threads on Prof. Tao's blog. The computational part of the research is being hosted at this github project.
This Boinc project now plans to scale up the computations, and achieve tighter conditional bounds, using Internet-connected computers. You can contribute to the research by running a free program on your computer.
For a visual understanding with cool graphics and a summary of the results achieved, please check this visual guide created by Rudolph, who has also written the Arb scripts used for the scaled up computations
Types of Computations
There are multiple types of computations that are relevant to the project
1. Storedsums - One-time computation of a Taylor coefficients matrix at a certain height X. This can then be used repeatedly to evaluate approximations to Ht(z) near X using Taylor polynomials. For more details check this Arb or Pari/GP code
The currently available jobs are computing this matrix for X near 2x10^20, which should likely lead to Λ <= 0.11 in subsequent steps (conditional on RH being true upto this X).
2. Establishing a Barrier near height X - Here we actually evaluate Ht(z) approximations along a rectangle contour mesh [(X,X+1),(y0,1)] for small increments in t from [0,t0]. If the winding number turns out to be 0 for each such t, a barrier region is established. The storedsums matrix is used as a helper and significantly speeds up this step.
Till now this step has been quick enough to perform on a standalone machine, but in the future even this could be processed through the grid computing setup. For more details, check this Arb or Pari/GP code
3. Lemmabounds for an N range - Sometimes the analytically derived lower bound for Ht(z) is not positive at Na=sqrt(X/(4π)) and lemmabounds have to be calculated for each N between Na and Nb where the analytical bound becomes positive. We are currently working around this step by carefully choosing X, but for instance the unconditional bound of Λ <= 0.22 required this. For more details, check this Arb or Pari/GP code
What is DBN UPPER BOUND?
Jump to
- Guest Access Forum
- General
- ↳ Fun and Games
- ↳ General
- ↳ Newshound RSS feeds
- ↳ Welcome
- ↳ Sneak Peak - Yearly Team Individual Stats Competition
- Competitions and Kudos
- ↳ Badges? We don't need no stinkin' badges!
- ↳ Kudos
- ↳ Milestones
- ↳ Milestones Archives
- ↳ Throw down the Gauntlet
- ↳ Pending Competitions
- ↳ archive
- ↳ TSBT Competitions
- Home Port of Anguillan Pirates
- ↳ Anguillan Pirates
- ↳ Pirates on Tour
- Hardware
- ↳ ASIC & FPGA Enchanced Devices
- ↳ Benchmarking and Hardware
- ↳ Graphics Processing Unit (GPU)
- ↳ Single-board Computers
- Operating Systems & Software
- ↳ Android
- ↳ BOINC Software Applications
- ↳ Linux
- ↳ Mac OS
- ↳ Microsoft Windows
- ↳ BOINC Technical Conventions and Papers
- ↳ FreeBSD
- BOINC Projects
- ↳ Biology / Medical
- ↳ GPUgrid
- ↳ RNA World
- ↳ Rosetta
- ↳ SiDock
- ↳ TN-Grid
- ↳ CERN
- ↳ LHC
- ↳ ATLAS
- ↳ Beauty
- ↳ CSM
- ↳ vLHC
- ↳ Chemistry
- ↳ QuChemPedIA
- ↳ Earth Sciences
- ↳ Climate Prediction
- ↳ Quake Catcher
- ↳ Mathematics / Computing
- ↳ Amicable Numbers
- ↳ Collatz Conjecture
- ↳ Gerasim
- ↳ GPUGRID
- ↳ iTHENA
- ↳ Loda
- ↳ NFS
- ↳ NumberFields
- ↳ ODLK
- ↳ ODLK1
- ↳ PGFNS
- ↳ PrimeGrid
- ↳ RakeSearch
- ↳ SRBase
- ↳ T.Brada
- ↳ ramanujan
- ↳ Van Der Waerden Numbers
- ↳ Wanless
- ↳ YAFU
- ↳ Physics
- ↳ nanoHub
- ↳ RADIOACTIVE
- ↳ Social Sciences
- ↳ MindModeling
- ↳ Space Sciences
- ↳ Asteroids
- ↳ Cosmology
- ↳ Einstein
- ↳ Gaia@home
- ↳ MilkyWay
- ↳ Universe
- ↳ Umbrella projects
- ↳ BOINC@TACC
- ↳ Citizen Science Grid
- ↳ Wildlife@Home
- ↳ DNA@Home
- ↳ SubsetSum@Home
- ↳ Moo! Wrapper
- ↳ yoyo
- ↳ World Community Grid
- ↳ General Posts
- ↳ Africa Rainfall Project
- ↳ Fight AIDS
- ↳ Help Cure Muscular Dystrophy
- ↳ Help Stop TB
- ↳ Mapping Cancer Markers
- ↳ Microbiome Immunity Project
- ↳ OpenPandemics - COVID-19
- ↳ Open Zika
- ↳ Outsmarting Ebola
- ↳ Smash Childhood Cancer
- ↳ Retired Projects
- ↳ Brainstorm
- ↳ Miscellaneous
- ↳ WUProp
- ↳ Permanent Testing
- ↳ Albert
- ↳ BURP
- ↳ RALPH
- ↳ Retired Projects
- ↳ ABC@home
- ↳ ABC Lattices
- ↳ Acoustics
- ↳ AlmereGrid Boinc Grid
- ↳ AlmereGrid TestGrid
- ↳ AndersonAttack@home
- ↳ Beal@Home
- ↳ Bitcoin Utopia
- ↳ CAS
- ↳ Chess960@Home
- ↳ Constellation
- ↳ CONVECTOR
- ↳ Correlizer
- ↳ Climate@Home
- ↳ Climateprediction.net Beta
- ↳ DBN UPPER BOUND
- ↳ DENIS
- ↳ DistrRTgen
- ↳ DHEP
- ↳ DistributedDataMining
- ↳ DrugDiscovery@Home
- ↳ DrugDiscovery
- ↳ Docking@Home
- ↳ Duchamp
- ↳ EDGeS@Home
- ↳ Enigma
- ↳ eOn
- ↳ FiND@Home
- ↳ iGEM@Home
- ↳ Goofyxgrid
- ↳ Gridcoin Finance
- ↳ ibercivis
- ↳ Ideologias@Home
- ↳ Kryptos@Home
- ↳ Lattices @Home
- ↳ Leiden Classical
- ↳ Malaria Control
- ↳ Najmanovich Research Group
- ↳ Nanosurface@home
- ↳ Neurona@Home
- ↳ OProject@Home
- ↳ OPTIMA@HOME
- ↳ Physics
- ↳ Pirates@Home
- ↳ Plagiarism@Home
- ↳ POEM@HOME
- ↳ Primaboinca
- ↳ QMC@Home
- ↳ Rioja Science
- ↳ Renderfarm.fi
- ↳ SAT@home
- ↳ SETI
- ↳ SETI Beta
- ↳ SimOne@home
- ↳ SIMAP Production
- ↳ SLinCA
- ↳ Spatiotemporal Quality of Service (QoS)
- ↳ Stop@home
- ↳ Superlink@Technion
- ↳ SZTAKI
- ↳ The Lattice Project
- ↳ theSkyNet POGS
- ↳ VGTU
- ↳ Virtual Prairie
- ↳ Volpex
- ↳ XANSONS for COD
- ↳ Non-BOINC Projects
- Links and Help Section
- ↳ Links
- ↳ Help
- ↳ Website Problems