Thomas Lindner, der die "FAZ" seit 2014 als Vorsitzender der Geschäftsführung geleitet hat, ist nicht länger im Amt. Die Nachfolge tritt 2027 Johannes Boege an, bislang stellvertretender CEO der "NZZ".

Algebraic Matroids are Undecidable Tobias Boege and Geva Yashfe have posted a remarkable paper, _Recognition of algebraic matroids is undecidable_. It brings together matroid theory, algebraic geometry, model theory, and undecidability. An algebraic matroid abstracts algebraic independence in a field extension . If the elements of are represented by elements of , the rank of a subset is the transcendence degree over of the field generated by its representatives. In characteristic zero, Ingleton proved in 1971 that every algebraic matroid is linear over an appropriate extension field. In positive characteristic, however, algebraic matroids include examples that are not linear over _any_ field. In 1975, Ingleton and Main showed that non-algebraic matroids exist: their example was the Vámos matroid , which violates an extension property of algebraic matroids. The class of algebraic matroids is closed under matroid union and truncation; Lindström later constructed infinitely many excluded minors. **Boege and Yashfe prove that:** 1. There is no algorithm that takes as input a finite matroid and decides whether it is algebraic in any given positive characteristic . 2. There is no algorithm that decides whether a finite matroid is algebraic over _some_ field, with no restriction on the characteristic. The contrast with characteristic zero is striking: recognizing algebraic matroids in characteristic zero is decidable, because there algebraic and linear matroids coincide. Recognizing whether a matroid has a particular sort of realization is a central question in matroid theory. One precursor is Mnëv’s universality theorem: realization spaces of oriented matroids can model arbitrary primary semialgebraic sets, and the associated realizability problem is complete for the existential theory of the reals. Another is work of Lukas Kühne and Geva Yashfe showing that _multilinear representability_ is undecidable: there is no algorithm to determine whether a matroid can be represented by a -arrangement of vector subspaces for _some_ positive integer . Here is a very rough glimpse of the new proof. Classical von Staudt constructions turn incidences of points and lines in a projective plane into equations for their coordinates. The group configuration theorem of Hrushovski and Zilber, together with work of Evans and Hrushovski, allows Boege and Yashfe to recover suitable projective planes from patterns of algebraic dependence. A central difficulty is to identify the Frobenius map using only information recorded by a matroid. They do this by connecting the additive and multiplicative algebraic groups through the affine group. In the resulting structure, the operations commuting with Frobenius give a copy of the rational function field , with distinguished. The authors then translate solvability of equations over this field into algebraic realizability of finite matroids. The necessary undecidability theorem for equations over is due to Pheidas for odd and Videla for . What is the Vámos matroid? The **Vámos matroid** has rank four on eight elements. Here is a concrete description. Divide its elements into four pairs . Every set of at most three elements is independent. Among the 70 four-element sets, exactly five are dependent: The conspicuous exception is , which is **independent**. Every other four-element set is independent as well, and therefore a basis. The five dependent four-element sets are called _circuit-hyperplanes_. Why does this example matter here? Ingleton and Main showed that this pattern cannot arise from algebraic dependence among elements of a field extension: under the stated rank conditions, dependence of the five listed unions would force to be dependent too. Thus is **not algebraic over any field**. What does the word **conspicuous** mean? **Conspicuous** means **easy to notice** or **standing out clearly**. So “a conspicuous exception” is an exception that draws attention. Here are some beautiful figures from the paper. By Gil Kalai

Por: Boris Berenzon Gorn Boris Berenzon Gorn

A rational probability distribution on four binary random variables X, Y, Z, U is constructed which satisfies the conditional independence relations [X⊥⁢⊥⁢Y], [X⊥⁢⊥⁢Z|U], [Y⊥⁢⊥⁢U|Z] and⁡ [Z⊥⁢⊥⁢U|XY] but whose entropy vector violates the Ingleton inequality. This settles a recent question of Studený (IEEE Trans. Inf. Theory vol. 67, no. 11) and shows that there are, up to symmetry, precisely ten inclusion-minimal sets of conditional independence assumptions on four discrete random variables which make the Ingleton inequality hold. The last case in the classification of which of these inequalities are essentially conditional is also settled.

Jetzt lesen auf Medieninsider

Johannes Boege von der NZZ wird zum 1. Januar 2027 neuer Geschäftsführungsvorsitzender der FAZ. Thomas Lindner tritt ab, Helene Bubrowski wird Herausgeberin, Marika Lulay neue Aufsichtsratschefin.

Patrouille avec les gendarmes de la brigade de Boëge. ❄️ 📸 Gnd E. Taupin #gendarmerie #montagne #gendarme #patrouille #brigade