arXiv Science⌕ Search

arXiv subjects

Daniel Windisch

Publications and source records attributed to Daniel Windisch.

18 recordsLinked to original sources
arXiv2026

Asymptotics for Model Selection in Probabilistic Principal Component Analysis

The probabilistic formulation of principal component analysis promises statistically grounded solutions to the problem of selecting the number of principal components. However, developing tractable model selection methods is complicated by the fact that the probabilistic principal component analysis (PPCA) model exhibits non-standard large sample asymptotics at model singularities, where the Fisher information matrix does not have full rank. In this work, tools from singular learning theory are used to provide a complete description of the marginal likelihood asymptotics for PPCA. The singular Bayesian information criterion (sBIC) along with our asymptotic results provides an effective procedure for selecting the number of principal components. In particular, the sBIC corrects for the overpenalization of the standard dimension-based BIC, which leads to too few principal components being selected, while also selecting the smallest true model with probability converging to one. Our framework extends beyond PPCA, where we also provide expressions for the sBIC that can be used to select between PPCA and factor analysis models. In both simulations and on real data the effectiveness of the proposed sBIC methodology is demonstrated.

math.ST↗
arXiv2026

Estimation of calculation errors and resolution of singularities

There are two possible answers to "$(a+b)^2 = a^2 + b^2$". Either "this is completely wrong" or "I assume, you are in characteristic $2$". If we go for the first answer, we could ask ourselves: "How wrong is it actually?" In this expository article, we introduce and use resolution of singularities and the real log canonical threshold (RLCT) as a measure for such errors. The RLCT is an invariant with connections to the minimal model program and, as recently discovered and investigated, to Bayesian statistics and machine learning. Inspired by typical mistakes from high school mathematics, we compute this invariant for several classes of examples, among them the error arising from the "freshman's dream" above and from a flawed computation of means in elementary statistics. In some examples, we highlight how a computer algebra software can be used in order to solve this problem.

math.AG↗
arXiv2025

Singular Learning Theory for Factor Analysis

Watanabe's singular learning theory provides a framework for asymptotic analysis of Bayesian model selection for statistical models with singularities, where traditional statistical regularity assumptions fail. Learning coefficients, also known as real log canonical thresholds, play a central role in singular learning, as they govern the asymptotic behavior of Bayesian marginal likelihood integrals in settings where the Laplace approximations used for regular statistical models are not applicable. Learning coefficients are algebraic invariants that quantify the geometric complexity of a model and reveal how the singular structure impacts the model's generalization properties. In this paper, we apply algebraic methods to study the learning coefficients of factor analysis models, which are widely used latent variable models for continuously distributed data. Our main result provides exact formulas for learning coefficients of factor analysis models. Moreover, we study the singularity types of specific factor analysis models in detail.

math.ST↗
arXiv2024

Classification of real hyperplane singularities by real log canonical thresholds

The log canonical threshold (lct) is a fundamental invariant in birational geometry, essential for understanding the complexity of singularities in algebraic varieties. Its real counterpart, the real log canonical threshold (rlct), also known as the learning coefficient, has become increasingly relevant in statistics and machine learning, where it plays a critical role in model selection and error estimation for singular statistical models. In this paper, we investigate the rlct and its multiplicity for real (not necessarily reduced) hyperplane arrangements. We derive explicit combinatorial formulas for these invariants, generalizing earlier results that were limited to specific examples. Moreover, we provide a general algebraic theory for real log canonical thresholds, and present a SageMath implementation for efficiently computing the rlct and its multiplicity in the case or real hyperplane arrangements. Applications to examples are given, illustrating how the formulas can also be used to analyze the asymptotic behavior of high-dimensional volume integrals.

math.AG↗
arXiv2024

Primes and absolutely or non-absolutely irreducible elements in atomic domains

We give examples of atomic integral domains satisfying each of the eight logically possible combinations of existence or non-existence of the following kinds of elements: 1) primes, 2) absolutely irreducible elements that are not prime, and 3) irreducible elements that are not absolutely irreducible. A non-zero non-unit is called absolutely irreducible (or, a strong atom) if every one of its powers factors uniquely into irreducibles.

math.AC↗
arXiv2024

Dependency equilibria: Boundary cases and their real algebraic geometry

This paper is a significant step forward in understanding dependency equilibria within the framework of real algebraic geometry encompassing both pure and mixed equilibria. In alignment with Spohn's original definition of dependency equilibria, we propose two alternative definitions, allowing for an algebro-geometric comprehensive study of all dependency equilibria. We give a sufficient condition for the existence of a pure dependency equilibrium and show that every Nash equilibrium lies on the Spohn variety, the algebraic model for dependency equilibria. For generic games, the set of real points of the Spohn variety is Zariski dense. Furthermore, every Nash equilibrium in this case is a dependency equilibrium. Finally, we present a detailed analysis of the geometric structure of dependency equilibria for $(2\times2)$-games

math.AG↗
arXiv2023

On the arithmetic of ultraproducts of commutative cancellative monoids

We develop first steps in the study of factorizations of elements in ultraproducts of commutative cancellative monoids into irreducible elements. A complete characterization of the (multi-)sets of lengths in such objects is given. As applications, we show that several important properties from factorization theory cannot be expressed as first-order statements in the language of monoids, and we construct integral domains that realize every multiset of integers larger $1$ as a multiset of lengths. Finally, we give a new proof (based on our ultraproduct techniques) of a theorem by Geroldinger, Schmid and Zhong from additive combinatorics and we propose a general method for applying ultraproducts in the setting of non-unique factorizations.

math.AC↗
arXiv2023

Irreducibility properties of Carlitz' binomial coefficients for algebraic function fields

We study the class of univariate polynomials $\beta_k(X)$, introduced by Carlitz, with coefficients in the algebraic function field $\mathbb F_q(t)$ over the finite field $\mathbb F_q$ with $q$ elements. It is implicit in the work of Carlitz that these polynomials form a $\mathbb F_q[t]$-module basis of the ring $\text{Int}(\mathbb F_q[t]) = \{f \in \mathbb F_q(t)[X] \mid f(\mathbb F_q[t]) \subseteq \mathbb F_q[t]\}$ of integer-valued polynomials on the polynomial ring $\mathbb F_q[t]$. This stands in close analogy to the famous fact that a $\mathbb Z$-module basis of the ring $\text{Int}(\mathbb Z)$ is given by the binomial polynomials $\binom{X}{k}$. We prove, for $k = q^s$, where $s$ is a non-negative integer, that $\beta_k$ is irreducible in $\text{Int}(\mathbb F_q[t])$ and that it is even absolutely irreducible, that is, all of its powers $\beta_k^m$ with $m>0$ factor uniquely as products of irreducible elements of this ring. As we show, this result is optimal in the sense that $\beta_k$ is not even irreducible if $k$ is not a power of $q$.

math.NT↗
arXiv2023

Lengths of factorizations of integer-valued polynomials on Krull domains with prime elements

Let $D$ be a Krull domain admitting a prime element with finite residue field and let $K$ be its quotient field. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $D$, that is, an element of $\text{Int}(D) = \{ f \in K[X] \mid f(D) \subseteq D \}$, which has precisely $k$ essentially different factorizations into irreducible elements of $\text{Int}(D)$ whose lengths are exactly $n_1,\ldots,n_k$. Using this, we characterize lengths of factorizations when $D$ is a unique factorization domain and therefore also in case $D$ is a discrete valuation domain. This solves an open problem proposed by Cahen, Fontana, Frisch and Glaz.

math.AC↗
arXiv2023

On local divisor class groups of complete intersections

Samuel conjectured in 1961 that a (Noetherian) local complete intersection ring that is a UFD in codimension at most three is itself a UFD. It is said that Grothendieck invented local cohomology to prove this fact. Following the philosophy that a UFD is nothing else than a Krull domain (that is, a normal domain, in the Noetherian case) with trivial divisor class group, we take a closer look at the Samuel--Grothendieck Theorem and prove the following generalization: Let $A$ be a local Cohen--Macaulay ring. (i) $A$ is a normal domain if and only if $A$ is a normal domain in codimension at most $1$. (ii) Suppose that $A$ is a normal domain and a complete intersection. Then the divisor class group of $A$ is a subgroup of the projective limit of the divisor class groups of the localizations $A_p$, where $p$ runs through all prime ideals of height at most $3$ in $A$. We use this fact to describe for an integral Noetherian locally complete intersection scheme $X$ the gap between the groups of Weil and Cartier divisors, generalizing in this case the classical result that these two concepts coincide if $X$ is locally a UFD.

math.AC↗
arXiv2022

Integer-valued polynomials on discrete valuation rings of global fields with prescribed lengths of factorizations

Let $V$ be a valuation ring of a global field $K$. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $V$, that is, an element of $\text{Int}(V) = \{ f \in K[X] \mid f(V) \subseteq V \}$, which has precisely $k$ essentially different factorizations into irreducible elements of $\text{Int}(V)$ whose lengths are exactly $n_1,\ldots,n_k$. In fact, we show more, namely that the same result holds true for every discrete valuation domain $V$ with finite residue field such that the quotient field of $V$ admits a valuation ring independent of $V$ whose maximal ideal is principal or whose residue field is finite. If the quotient field of $V$ is a purely transcendental extension of an arbitrary field, this property is satisfied. This solves an open problem proposed by Cahen, Fontana, Frisch and Glaz in these cases.

math.NT↗
arXiv2022

Semigroup rings as weakly Krull domains

Let $D$ be an integral domain and $\Gamma$ be a torsion-free commutative cancellative (additive) semigroup with identity element and quotient group $G$. In this paper, we show that if char$(D)=0$ (resp., char$(D)=p>0$), then $D[\Gamma]$ is a weakly Krull domain if and only if $D$ is a weakly Krull UMT-domain, $\Gamma$ is a weakly Krull UMT-monoid, and $G$ is of type $(0,0,0, \dots )$ (resp., type $(0,0,0, \dots )$ except $p$). Moreover, we give arithmetical applications of this result.

math.AC↗
arXiv2021

Equivalent characterizations of non-Archimedean uniform spaces

In this paper, we deal with uniform spaces whose diagonal uniformity admits a basis consisting of equivalence relations. Such non-Archimedean uniform spaces are particularly interesting for applications in commutative ring theory, because uniformities stemming from valuations or directed systems of ideals are of this type. In general, apart from diagonal uniformities, there are two further approaches to the concept of uniform spaces: covering uniformities and systems of pseudo-metrics. For each of these ways of defining a uniformity, we isolate a non-Archimedean special case and show that these special cases themselves are equivalent to the notion of non-Archimedean diagonal uniformities. Moreover, we formulate a seperation axiom for topological spaces that tells exactly when the topology is induced by a non-Archimedean uniformity. In analogy to the classical metrizability theorems, we characterize when a non-Archimedean uniformity comes from a single pseudo-metric.

math.GN↗
arXiv2021

On the distribution of prime divisors in Krull monoid algebras

In the present work, we prove that every class of the divisor class group of a Krull monoid algebra contains infinitely many prime divisors. Several attempts to this result have been made in the literature so far, unfortunately with open gaps. We present a complete proof of this fact.

math.AC↗
arXiv2020

A characterization of weakly Krull monoid algebras

Let $D$ be a domain and let $S$ be a torsion-free monoid whose quotient group satisfies the ascending chain condition on cyclic subgroups. We give a characterization of when the monoid algebra $D[S]$ is weakly Krull. As corollaries, we obtain the results on when $D[S]$ is Krull resp. generalized Krull, due to Chouinard resp. El Baghdadi and Kim. Furthermore, we deduce Chang's theorem on weakly factorial monoid algebras and we characterize the weakly Krull domains among the affine monoid algebras.

math.AC↗
arXiv2020

Prime ideals in infinite products of commutative rings

We describe the prime ideals and, in particular, the maximal ideals in products $R = \prod D_\lambda$ of families $(D_\lambda)_{\lambda \in \Lambda}$ of commutative rings. We show that every maximal ideal is induced by an ultrafilter on the Boolean algebra $\prod \mathcal{P}(\max(D_\lambda))$, where $\max(D_\lambda)$ is the spectrum of maximal ideals of $D_\lambda$, and $\mathcal{P}$ denotes the power set. If every $D_\lambda$ is in a certain class of rings including finite character domains and one-dimensional domains, we completely characterize the maximal ideals of $R$. If every $D_\lambda$ is a Pr\"ufer domain, we completely characterize all prime ideals of $R$.

math.AC↗
arXiv2020

Absolute irreducibility of the binomial polynomials

In this paper we investigate the factorization behaviour of the binomial polynomials $\binom{x}{n} = \frac{x(x-1)\cdots (x-n+1)}{n!}$ and their powers in the ring of integer-valued polynomials $\operatorname{Int}(\mathbb{Z})$. While it is well-known that the binomial polynomials are irreducible elements in $\operatorname{Int}(\mathbb{Z})$, the factorization behaviour of their powers has not yet been fully understood. We fill this gap and show that the binomial polynomials are absolutely irreducible in $\operatorname{Int}(\mathbb{Z})$, that is, $\binom{x}{n}^m$ factors uniquely into irreducible elements in $\operatorname{Int}(\mathbb{Z})$ for all $m\in \mathbb{N}$. By reformulating the problem in terms of linear algebra and number theory, we show that the question can be reduced to determining the rank of, what we call, the valuation matrix of $n$. A main ingredient in computing this rank is the following number-theoretical result for which we also provide a proof: If $n>10$ and $n$, $n-1$, \ldots, $n-(k-1)$ are composite integers, then there exists a prime number $p > 2k$ that divides one of these integers.

math.AC↗