{"id":"palomar/PALOMAR-2026-10-29-000033","url":"https://github.com/Arthur742Ramos/Math-Formalization/tree/b1bfaf3132bfe83accdb4e18519cb4064a858f76/topology/weak-mixing-thick-multisensitivity","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-29-000033-v1.json","repo":"https://github.com/Arthur742Ramos/Math-Formalization","tags":["math.DS","math.GN","msc:37B05","msc:37B02"],"score":0,"title":"Weak mixing and thick common multi-sensitivity","trust":"high","domain":"math.DS","source":"palomar","authors":["Arthur Freitas Ramos","David Barros Hulak","Ruy Jose Guerra Barretto de Queiroz"],"reviews":0,"subject":"math.DS","summary":"A continuous surjective weakly mixing map on a nontrivial metric space admits one positive separation constant such that every finite family of nonempty open sets has arbitrarily long, arbitrarily late blocks of common positive separation times. Witness pairs may depend on the set and time. Finite-family common hitting thickness and separated open targets are proved.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-29","reactions":{},"formalized":true,"formalizes":[{"title":"Multi-sensitivity, Lyapunov numbers and almost automorphic maps","identifier":"https://archive.mpim-bonn.mpg.de/2658/1/preprint_2014_52.pdf","relationship":"adapts"}]}