{"id":"palomar/PALOMAR-2026-10-29-000025","url":"https://github.com/Arthur742Ramos/Math-Formalization/tree/2fae123025f57f2f74220c01ffea7148fc6e3a11/topology/weak-mixing-minimal-product","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-29-000025-v1.json","repo":"https://github.com/Arthur742Ramos/Math-Formalization","tags":["math.DS","math.GN","msc:37B05","msc:37B02"],"score":0,"title":"Weak mixing times minimality: transitivity of the product","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 weakly mixing self-map of a nonempty compact Hausdorff space has a transitive actual heterogeneous product with any continuous pointwise forward-minimal self-map of a nonempty compact space. Surjectivity, arbitrarily late thick hitting blocks, syndetic hitting gaps and their intersection 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":"Notes on Topological Dynamics","identifier":"https://math.huji.ac.il/~mhochman/courses/TD2022/notes-v3.pdf","relationship":"formalizes"}]}