taboege.de
https://taboege.de
Blog taboege.deWed, 3 Aug 2022 13:55:28 +0000https://cyber.harvard.edu/rss/rss.htmlTobias BoegeOn prose in math papers
/blog/2022/05/On-prose-in-math-papers
<p>This is an apology for writing prose in mathematics papers (and a clarification of what I mean by “prose”).</p>
Tobiaswriting-mathematics/blog/2022/05/On-prose-in-math-papersSat, 28 May 2022 00:00:00 +0000First-order objects in algebraic geometry
/blog/2022/05/First-order-objects-in-algebraic-geometry
<p>Some properties of varieties over the complex numbers do not change when the variety (via its defining equations which must have integral coefficients) is instead considered over sufficiently large finite fields of sufficiently large characteristic. This phenomenon can be explained via symbolic algorithms in computer algebra, particularly Gröbner bases.</p>
Tobiasalgebraic-geometry, first-order-theory, lefschetz-principle, finite-field/blog/2022/05/First-order-objects-in-algebraic-geometrySat, 21 May 2022 00:00:00 +0000Document preparation at home vs. the arXiv
/blog/2022/05/Document-preparation-at-home-vs--the-arXiv
<p>I describe the two more subtle problems I used to run into when submitting papers to the arXiv and their solutions.</p>
Tobiasarxiv, latex, publishing/blog/2022/05/Document-preparation-at-home-vs--the-arXivTue, 17 May 2022 00:00:00 +0000App::Muletracks - Downloader for Nugs.net
/blog/2022/05/App--Muletracks--Downloader-for-Nugs-net
<p>I present a Nugs.net downloader I wrote and which is now usable.</p>
Tobiasperl, mojo, music, muletracks/blog/2022/05/App--Muletracks--Downloader-for-Nugs-netSun, 15 May 2022 00:00:00 +0000Locally finite cover on a primary basic semialgebraic set
/blog/2022/02/Locally-finite-cover-on-a-primary-basic-semialgebraic-set
<p>Any open cover of a primary basic semialgebraic set can be refined to a locally finite one. Here is an explicit proof of this fact when the cover consists of neighborhoods indexed by points from the set itself and which, after an initial adjustment of the sizes of the open sets, constructs a locally finite subcover, i.e., just removes redundant open sets. This detail matters when the points indexing the original cover have special significance elsewhere.</p>
Tobiassemialgebraic-geometry, topology, axiom-of-choice, open-cover/blog/2022/02/Locally-finite-cover-on-a-primary-basic-semialgebraic-setFri, 11 Feb 2022 00:00:00 +0000On stable equivalence of semialgebraic sets
/blog/2022/02/On-stable-equivalence-of-semialgebraic-sets
<p>I give a counterexample to a claim in the book “Realization spaces of polytopes”. This counterexample shows that a fundamental definition in this book is (slightly, technically) wrong. I explain what causes the failure and how it might be fixed in a forthcoming note.</p>
Tobiassemialgebraic-geometry, topology, stable-equivalence, universality/blog/2022/02/On-stable-equivalence-of-semialgebraic-setsWed, 9 Feb 2022 00:00:00 +0000On experimental mathematics
/blog/2021/07/On-experimental-mathematics
<p>Experimental mathematics uses computers to inspire research in terms of finding examples and counterexamples, suggesting conjectures or informing proof strategies. I present a strange phenomenon in this practice at two examples: it happens that mathematical software confirms conjectured properties of very large objects very quickly. Much, much more quickly than one might expect a general problem of that type to be solved. In these cases, the software apparently knows a “proof” of the conjecture and the human can either look it up in the source code or at least be more confident in the conjecture.</p>
Tobiasmathematical-software, experimental-math, heuristics, open-source/blog/2021/07/On-experimental-mathematicsSat, 17 Jul 2021 00:00:00 +0000A rational realization of Šimeček's № 85
/blog/2020/03/A-rational-realization-of-Simecek-s--85
<p>In his article “Gaussian Representation of Independence Models over Four Random Variables” Petr Šimeček gives realizations of all conditional independence models arising from (not necessarily regular) Gaussian distributions in dimension 4. Only one of these models, M85, is given with irrational correlations. Here I give a rational representation of this model. The question whether all Gaussian CI models are realizable by rational correlation matrices is still open and M85 was the only concrete undecided example I am aware of.</p>
Tobiasci, rationality, gaussian/blog/2020/03/A-rational-realization-of-Simecek-s--85Fri, 20 Mar 2020 00:00:00 +0000tappp.hpp v0.2.0 released
/blog/2020/02/tappp-hpp-v0-2-0-released
<p>tappp.hpp is a header-only TAP producer for C++17.</p>
Tobiasc++, tappp, testing/blog/2020/02/tappp-hpp-v0-2-0-releasedThu, 27 Feb 2020 00:00:00 +0000The computation of symmetry orbits of LUBF-gaussoids in dimension 8
/blog/2019/09/The-computation-of-symmetry-orbits-of-LUBF-gaussoids-in-dimension-8
<p>The symmetry reduction of <code>LUBF</code>-gaussoids in dimension 8 was a tough nut. I learned that precomputing invariants of the symmetry classes first allows more intelligent distribution of tasks in a parallel symmetry reduction algorithm. In this case, I achieved a 160-fold speedup.</p>
Tobiasperl, gaussoids, postgresql, mojo, sagemath/blog/2019/09/The-computation-of-symmetry-orbits-of-LUBF-gaussoids-in-dimension-8Wed, 4 Sep 2019 00:00:00 +0000bah! Another static site generator
/blog/2019/01/bah--Another-static-site-generator
<p>Yet another static site generator – for a blog and homepage.</p>
Tobiasperl, vim, web/blog/2019/01/bah--Another-static-site-generatorWed, 30 Jan 2019 00:00:00 +0000