-
Computing the unit group of a commutative finite $\mathbb{Z}$-algebra
Authors:
Martin Kreuzer,
Florian Walsh
Abstract:
For a commutative finite $\mathbb{Z}$-algebra, i.e., for a commutative ring $R$ whose additive group is finitely generated, it is known that the group of units of $R$ is finitely generated, as well. Our main results are algorithms to compute generators and the structure of this group. This is achieved by reducing the task first to the case of reduced rings, then to torsion-free reduced rings, and…
▽ More
For a commutative finite $\mathbb{Z}$-algebra, i.e., for a commutative ring $R$ whose additive group is finitely generated, it is known that the group of units of $R$ is finitely generated, as well. Our main results are algorithms to compute generators and the structure of this group. This is achieved by reducing the task first to the case of reduced rings, then to torsion-free reduced rings, and finally to an order in a reduced ring. The simplified cases are treated via a calculation of exponent lattices and various algorithms to compute the minimal primes, primitive idempotents, and other basic objects. All algorithms have been implemented and are available as a SageMath package. Whenever possible, the time complexity of the described methods is tracked carefully.
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
Elimination by Substitution
Authors:
Martin Kreuzer,
Lorenzo Robbiano
Abstract:
Let $K$ be a field and $P=K[x_1,\dots,x_n]$. The technique of elimination by substitution is based on discovering a coherently $Z=(z_1,\dots,z_s)$-separating tuple of polynomials $(f_1,\dots,f_s)$ in an ideal $I$, i.e., on finding polynomials such that $f_i = z_i - h_i$ with $h_i \in K[X \setminus Z]$. Here we elaborate on this technique in the case when $P$ is non-negatively graded. The existence…
▽ More
Let $K$ be a field and $P=K[x_1,\dots,x_n]$. The technique of elimination by substitution is based on discovering a coherently $Z=(z_1,\dots,z_s)$-separating tuple of polynomials $(f_1,\dots,f_s)$ in an ideal $I$, i.e., on finding polynomials such that $f_i = z_i - h_i$ with $h_i \in K[X \setminus Z]$. Here we elaborate on this technique in the case when $P$ is non-negatively graded. The existence of a coherently $Z$-separating tuple is reduced to solving several $P_0$-module membership problems. Best separable re-embeddings, i.e., isomorphisms $P/I \longrightarrow K[X \setminus Z] / (I \cap K[X \setminus Z])$ with maximal $\#Z$, are found degree-by-degree. They turn out to yield optimal re-embeddings in the positively graded case. Viewing $P_0 \longrightarrow P/I$ as a fibration over an affine space, we show that its fibers allow optimal $Z$-separating re-embeddings, and we provide a criterion for a fiber to be isomorphic to an affine space. In the last section we introduce a new technique based on the solution of a unimodular matrix problem which enables us to construct automorphisms of $P$ such that additional $Z$-separating re-embeddings are possible. One of the main outcomes is an algorithm which allows us to explicitly compute a homogeneous isomorphism between $P/I$ and a non-negatively graded polynomial ring if $P/I$ is regular.
△ Less
Submitted 10 March, 2024;
originally announced March 2024.
-
Permutation Entropy as a Conceptual Model to Analyse Brain Activity in Sleep
Authors:
Alexander Edthofer,
Iris Feldhammer,
Thomas Fenzl,
Andreas Körner,
Matthias Kreuzer
Abstract:
Sleep stage classification is a widely discussed topic, due to its importance in the diagnosis of sleep disorders, e.g. insomnia. Analysis of the brain activity during sleep is necessary to gain further insight into the processing that occurs in our brains. We want to use permutation entropy as a model for this analysis. Therefore, the signal processing in terms of electroencephalography is descri…
▽ More
Sleep stage classification is a widely discussed topic, due to its importance in the diagnosis of sleep disorders, e.g. insomnia. Analysis of the brain activity during sleep is necessary to gain further insight into the processing that occurs in our brains. We want to use permutation entropy as a model for this analysis. Therefore, the signal processing in terms of electroencephalography is described. This results in a time discrete signal, that can be further processed by applying the method of permutation entropy, which is a modification of the Shannon entropy as a measure of information processing. The method is applied to 18 data sets, nine electroencephalography measurements of patients suffering from insomnia and nine of people without a sleep disorder. A strong correlation between the permutation entropy value and the sleep stages was found during the simulation runs. The results are analysed and presented using boxplot diagrams of the permutation entropy over the sleep stages. Furthermore, it is investigated that there is a steady decrease in the value when the patient is in a deeper sleep. This suggests that the method is a good parameter for sleep stage classification. Finally, we propose an extension of the conceptual model to other pathological conditions and also to the analysis of brain activity during surgery.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
SAT Solving Using XOR-OR-AND Normal Forms
Authors:
Bernhard Andraschko,
Julian Danner,
Martin Kreuzer
Abstract:
This paper introduces the XOR-OR-AND normal form (XNF) for logical formulas. It is a generalization of the well-known Conjunctive Normal Form (CNF) where literals are replaced by XORs of literals. As a first theoretic result, we show that every formula is equisatisfiable to a formula in 2-XNF, i.e., a formula in XNF where each disjunction involves at most two XORs of literals. Subsequently, we pre…
▽ More
This paper introduces the XOR-OR-AND normal form (XNF) for logical formulas. It is a generalization of the well-known Conjunctive Normal Form (CNF) where literals are replaced by XORs of literals. As a first theoretic result, we show that every formula is equisatisfiable to a formula in 2-XNF, i.e., a formula in XNF where each disjunction involves at most two XORs of literals. Subsequently, we present an algorithm which converts Boolean polynomials efficiently from their Algebraic Normal Form (ANF) to formulas in 2-XNF. Experiments with the cipher ASCON-128 show that cryptographic problems, which by design are based strongly on XOR-operations, can be represented using far fewer variables and clauses in 2-XNF than in CNF. In order to take advantage of this compact representation, new SAT solvers based on input formulas in 2-XNF need to be designed. By taking inspiration from graph-based 2-CNF SAT solving, we devise a new DPLL-based SAT solver for formulas in 2-XNF. Among others, we present advanced pre- and in-processing techniques. Finally, we give timings for random 2-XNF instances and instances related to key recovery attacks on round reduced ASCON-128, where our solver outperforms state-of-the-art alternative solving approaches.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
Efficient Algorithms for Finite $\mathbb{Z}$-Algebras
Authors:
Martin Kreuzer,
Florian Walsh
Abstract:
For a finite $\mathbb{Z}$-algebra $R$, i.e., for a $\mathbb{Z}$-algebra which is a finitely generated $\mathbb{Z}$-module, we assume that $R$ is explicitly given by a system of $\mathbb{Z}$-module generators $G$, its relation module ${\rm Syz}(G)$, and the structure constants of the multiplication in $R$. In this setting we develop and analyze efficient algorithms for computing essential informati…
▽ More
For a finite $\mathbb{Z}$-algebra $R$, i.e., for a $\mathbb{Z}$-algebra which is a finitely generated $\mathbb{Z}$-module, we assume that $R$ is explicitly given by a system of $\mathbb{Z}$-module generators $G$, its relation module ${\rm Syz}(G)$, and the structure constants of the multiplication in $R$. In this setting we develop and analyze efficient algorithms for computing essential information about $R$. First we provide polynomial time algorithms for solving linear systems of equations over $R$ and for basic ideal-theoretic operations in $R$. Then we develop ZPP (zero-error probabilitic polynomial time) algorithms to compute the nilradical and the maximal ideals of 0-dimensional affine algebras $K[x_1,\dots,x_n]/I$ with $K=\mathbb{Q}$ or $K=\mathbb{F}_p$. The task of finding the associated primes of a finite $\mathbb{Z}$-algebra $R$ is reduced to these cases and solved in ZPPIF (ZPP plus one integer factorization). With the same complexity, we calculate the connected components of the set of minimal associated primes ${\rm minPrimes}(R)$ and then the primitive idempotents of $R$. Finally, we prove that knowing an explicit representation of $R$ is polynomial time equivalent to knowing a strong Gröbner basis of an ideal $I$ such that $R = \mathbb{Z}[x_1,\dots,x_n]/I$.
△ Less
Submitted 22 April, 2024; v1 submitted 4 August, 2023;
originally announced August 2023.
-
Decomposing Finite $\mathbb{Z}$-Algebras
Authors:
Martin Kreuzer,
Alexei Miasnikov,
Florian Walsh
Abstract:
For a finite $\mathbb{Z}$-algebra $R$, i.e., for a ring which is not necessarily associative or unitary, but whose additive group is finitely generated, we construct a decomposition of $R/{\rm Ann}(R)$ into directly indecomposable factors under weak hypotheses. The method is based on constructing and decomposing a ring of scalars $S$, and then lifting the decomposition of $S$ to the bilinear map g…
▽ More
For a finite $\mathbb{Z}$-algebra $R$, i.e., for a ring which is not necessarily associative or unitary, but whose additive group is finitely generated, we construct a decomposition of $R/{\rm Ann}(R)$ into directly indecomposable factors under weak hypotheses. The method is based on constructing and decomposing a ring of scalars $S$, and then lifting the decomposition of $S$ to the bilinear map given by the multiplication of $R$, and finally to $R/{\rm Ann}(R)$. All steps of the construction are given as explicit algorithms and it is shown that the entire procedure has a probabilistic polynomial time complexity in the bit size of the input, except for the possible need to calculate the prime factorization of one integer. In particular, in the case when ${\rm Ann}(R) = 0$, these algorithms compute a direct decomposition of $R$ into directly indecomposable factors.
△ Less
Submitted 3 August, 2023;
originally announced August 2023.
-
Computing the Binomial Part of a Polynomial Ideal
Authors:
Martin Kreuzer,
Florian Walsh
Abstract:
Given an ideal $I$ in a polynomial ring $K[x_1,\dots,x_n]$ over a field $K$, we present a complete algorithm to compute the binomial part of $I$, i.e., the subideal ${\rm Bin}(I)$ of $I$ generated by all monomials and binomials in $I$. This is achieved step-by-step. First we collect and extend several algorithms for computing exponent lattices in different kinds of fields. Then we generalize them…
▽ More
Given an ideal $I$ in a polynomial ring $K[x_1,\dots,x_n]$ over a field $K$, we present a complete algorithm to compute the binomial part of $I$, i.e., the subideal ${\rm Bin}(I)$ of $I$ generated by all monomials and binomials in $I$. This is achieved step-by-step. First we collect and extend several algorithms for computing exponent lattices in different kinds of fields. Then we generalize them to compute exponent lattices of units in 0-dimensional $K$-algebras, where we have to generalize the computation of the separable part of an algebra to non-perfect fields in characteristic $p$. Next we examine the computation of unit lattices in affine $K$-algebras, as well as their associated characters and lattice ideals. This allows us to calculate ${\rm Bin}(I)$ when $I$ is saturated with respect to the indeterminates by reducing the task to the 0-dimensional case. Finally, we treat the computation of ${\rm Bin}(I)$ for general ideals by computing their cellular decomposition and dealing with finitely many special ideals called $(s,t)$-binomial parts. All algorithms have been implemented in SageMath.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Re-embeddings of Affine Algebras Via Gröbner Fans of Linear Ideals
Authors:
Martin Kreuzer,
Le Ngoc Long,
Lorenzo Robbiano
Abstract:
Given an affine algebra $R=K[x_1,\dots,x_n]/I$ over a field $K$, where $I$ is an ideal in the polynomial ring $P=K[x_1,\dots,x_n]$, we examine the task of effectively calculating re-embeddings of $I$, i.e., of presentations $R=P'/I'$ such that $P'=K[y_1,\dots,y_m]$ has fewer indeterminates. For cases when the number of indeterminates $n$ is large and Gröbner basis computations are infeasible, we h…
▽ More
Given an affine algebra $R=K[x_1,\dots,x_n]/I$ over a field $K$, where $I$ is an ideal in the polynomial ring $P=K[x_1,\dots,x_n]$, we examine the task of effectively calculating re-embeddings of $I$, i.e., of presentations $R=P'/I'$ such that $P'=K[y_1,\dots,y_m]$ has fewer indeterminates. For cases when the number of indeterminates $n$ is large and Gröbner basis computations are infeasible, we have previously introduced the method of $Z$-separating re-embeddings. This method tries to detect polynomials of a special shape in $I$ which allow us to eliminate the indeterminates in the tuple $Z$ by a simple substitution process. Here we improve this approach by showing that suitable candidate tuples $Z$ can be found using the Gröbner fan of the linear part of $I$. Then we describe a method to compute the Gröbner fan of a linear ideal, and we improve this computation in the case of binomial linear ideals using a cotangent equivalence relation. Finally, we apply the improved technique in the case of the defining ideals of border basis schemes.
△ Less
Submitted 18 January, 2024; v1 submitted 14 June, 2023;
originally announced June 2023.
-
Novel features for the detection of bearing faults in railway vehicles
Authors:
Matthias Kreuzer,
Alexander Schmidt,
Walter Kellermann
Abstract:
{In this paper, we address the challenging problem of detecting bearing faults from vibration signals. For this, several time- and frequency-domain features have been proposed already in the past. However, these features are usually evaluated on data originating from relatively simple scenarios and a significant performance loss can be observed if more realistic scenarios are considered. To overco…
▽ More
{In this paper, we address the challenging problem of detecting bearing faults from vibration signals. For this, several time- and frequency-domain features have been proposed already in the past. However, these features are usually evaluated on data originating from relatively simple scenarios and a significant performance loss can be observed if more realistic scenarios are considered. To overcome this, we introduce Mel-Frequency Cepstral Coefficients (MFCCs) and features extracted from the Amplitude Modulation Spectrogram (AMS) as features for the detection of bearing faults. Both AMS and MFCCs were originally introduced in the context of audio signal processing but it is demonstrated that a significantly improved classification performance can be obtained by using these features. Furthermore, to tackle the characteristic data imbalance problem in the context of bearing fault detection, i.e., typically much more data from healthy bearings than from damaged bearings is available, we propose to train a One-class \ac{SVM} with data from healthy bearings only. Bearing faults are then classified by the detection of outliers. Our approach is evaluated with data measured in a highly challenging scenario comprising a state-of-the-art commuter railway engine which is supplied by an industrial power converter and coupled to a load machine.
△ Less
Submitted 14 April, 2023;
originally announced April 2023.
-
Airborne Sound Analysis for the Detection of Bearing Faults in Railway Vehicles with Real-World Data
Authors:
Matthias Kreuzer,
David Schmidt,
Simon Wokusch,
Walter Kellermann
Abstract:
In this paper, we address the challenging problem of detecting bearing faults in railway vehicles by analyzing acoustic signals recorded during regular operation. For this, we introduce Mel Frequency Cepstral Coefficients (MFCCs) as features, which form the input to a simple Multi-Layer Perceptron classifier. The proposed method is evaluated with real-world data that was obtained for state-of-the-…
▽ More
In this paper, we address the challenging problem of detecting bearing faults in railway vehicles by analyzing acoustic signals recorded during regular operation. For this, we introduce Mel Frequency Cepstral Coefficients (MFCCs) as features, which form the input to a simple Multi-Layer Perceptron classifier. The proposed method is evaluated with real-world data that was obtained for state-of-the-art commuter railway vehicles in a measurement campaign. The experiments show that with the chosen MFCC features bearing faults can be reliably detected even for bearing damages that were not included in training.
△ Less
Submitted 24 May, 2023; v1 submitted 14 April, 2023;
originally announced April 2023.
-
1-D Residual Convolutional Neural Network coupled with Data Augmentation and Regularization for the ICPHM 2023 Data Challenge
Authors:
Matthias Kreuzer,
Walter Kellermann
Abstract:
In this article, we present our contribution to the ICPHM 2023 Data Challenge on Industrial Systems' Health Monitoring using Vibration Analysis. For the task of classifying sun gear faults in a gearbox, we propose a residual Convolutional Neural Network that operates on raw three-channel time-domain vibration signals. In conjunction with data augmentation and regularization techniques, the propose…
▽ More
In this article, we present our contribution to the ICPHM 2023 Data Challenge on Industrial Systems' Health Monitoring using Vibration Analysis. For the task of classifying sun gear faults in a gearbox, we propose a residual Convolutional Neural Network that operates on raw three-channel time-domain vibration signals. In conjunction with data augmentation and regularization techniques, the proposed model yields very good results in a multi-class classification scenario with real-world data despite its relatively small size, i.e., with less than 30,000 trainable parameters. Even when presented with data obtained from multiple operating conditions, the network is still capable to accurately predict the condition of the gearbox under inspection.
△ Less
Submitted 24 May, 2023; v1 submitted 14 April, 2023;
originally announced April 2023.
-
Differential theory of zero-dimensional schemes
Authors:
Martin Kreuzer,
Tran N. K. Linh,
Le N. Long
Abstract:
For a 0-dimensional scheme $\mathbb{X}$ in $\mathbb{P}^n$ over a perfect field $K$, we first embed the homogeneous coordinate ring $R$ into its truncated integral closure $\widetilde{R}$. Then we use the corresponding map from the module of Kähler differentials $Ω^1_{R/K}$ to $Ω^1_{\widetilde{R}/K}$ to find a formula for the Hilbert polynomial ${\rm HP}(Ω^1_{R/K})$ and a sharp bound for the regula…
▽ More
For a 0-dimensional scheme $\mathbb{X}$ in $\mathbb{P}^n$ over a perfect field $K$, we first embed the homogeneous coordinate ring $R$ into its truncated integral closure $\widetilde{R}$. Then we use the corresponding map from the module of Kähler differentials $Ω^1_{R/K}$ to $Ω^1_{\widetilde{R}/K}$ to find a formula for the Hilbert polynomial ${\rm HP}(Ω^1_{R/K})$ and a sharp bound for the regularity index ${\rm ri}(Ω^1_{R/K})$. Additionally, we extend this to formulas for the Hilbert polynomials ${\rm HP}(Ω^m_{R/K})$ and bounds for the regularity indices of the higher modules of Kähler differentials. Next we derive a new characterization of a weakly curvilinear scheme $\mathbb{X}$ which can be checked without computing a primary decomposition of its homogeneous vanishing ideal. Moreover, we prove precise formulas for the Hilbert polynomial of $Ω^m_{R/K}$ of a fat point scheme $\mathbb{X}$, extending and settling previous partial results and conjectures. Finally, we characterize uniformity conditions on $\mathbb{X}$ using the Hilbert functions of the Kähler differential modules of $\mathbb{X}$ and its subschemes.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Optimal Re-Embeddings of Border Basis Schemes
Authors:
Martin Kreuzer,
Le Ngoc Long,
Lorenzo Robbiano
Abstract:
Border basis schemes are open subschemes of Hilbert schemes parametrizing 0-dimensional subschemes of $\mathbb{P}^n$ of given length. They yield open coverings and are easy to describe and to compute with. Our topic is to find re-embeddings of border basis schemes into affine spaces of minimal dimension. Given $P = K[X] = K[x_1,\dots,x_n]$, an ideal $I\subseteq \langle X \rangle$, and a tuple $Z$…
▽ More
Border basis schemes are open subschemes of Hilbert schemes parametrizing 0-dimensional subschemes of $\mathbb{P}^n$ of given length. They yield open coverings and are easy to describe and to compute with. Our topic is to find re-embeddings of border basis schemes into affine spaces of minimal dimension. Given $P = K[X] = K[x_1,\dots,x_n]$, an ideal $I\subseteq \langle X \rangle$, and a tuple $Z$ of indeterminates, in previous papers the authors developed techniques for computing $Z$-separating re-embeddings of $I$, i.e., of isomorphisms $Φ: P/I \rightarrow K[X\setminus Z] / (I\cap K[X\setminus Z])$. Here these general techniques are developed further and improved by constructing a new algorithm for checking candidate tuples $Z$ and by using the Gröbner fan of the linear part of $I$ advantageously.
Then we apply this to the ideals defining border basis schemes $\mathbb{B}_{\mathcal{O}}$, where $\mathcal{O}$ is an order ideal of terms, and to their natural generating polynomials. The fact that these ideals are homogeneous w.r.t. the arrow grading allows us to look for suitable tuples $Z$ more systematically. Using the equivalence of indeterminates modulo the square of the maximal ideal, we compute the Gröbner fan of the linear part of the ideal quickly and determine which indeterminates should be in $Z$ when we are looking for optimal re-embeddings. Specific applications include re-embeddings of border basis schemes where $\mathcal{O}\subseteq K[x,y]$ and where $\mathcal{O}$ consists of all terms up to some degree.
△ Less
Submitted 27 November, 2023; v1 submitted 17 July, 2022;
originally announced July 2022.
-
The Axiomatics of Free Group Rings
Authors:
Benjamin Fine,
Anthony Gaglione,
Martin Kreuzer,
Gerhard Rosenberger,
Dennis Spellman
Abstract:
In [FGRS1,FGRS2] the relationship between the universal and elementary theory of a group ring $R[G]$ and the corresponding universal and elementary theory of the associated group $G$ and ring $R$ was examined. Here we assume that $R$ is a commutative ring with identity $1 \ne 0$. Of course, these are relative to an appropriate logical language $L_0,L_1,L_2$ for groups, rings and group rings respec…
▽ More
In [FGRS1,FGRS2] the relationship between the universal and elementary theory of a group ring $R[G]$ and the corresponding universal and elementary theory of the associated group $G$ and ring $R$ was examined. Here we assume that $R$ is a commutative ring with identity $1 \ne 0$. Of course, these are relative to an appropriate logical language $L_0,L_1,L_2$ for groups, rings and group rings respectively. Axiom systems for these were provided in [FGRS1]. In [FGRS1] it was proved that if $R[G]$ is elementarily equivalent to $S[H]$ with respect to $L_{2}$, then simultaneously the group $G$ is elementarily equivalent to the group $H$ with respect to $L_{0}$, and the ring $R$ is elementarily equivalent to the ring $S$ with respect to $L_{1}$. We then let $F$ be a rank $2$ free group and $\mathbb{Z}$ be the ring of integers. Examining the universal theory of the free group ring ${\mathbb Z}[F]$ the hazy conjecture was made that the universal sentences true in ${\mathbb Z}[F]$ are precisely the universal sentences true in $F$ modified appropriately for group ring theory and the converse that the universal sentences true in $F$ are the universal sentences true in ${\mathbb Z}[F]$ modified appropriately for group theory. In this paper we show this conjecture to be true in terms of axiom systems for ${\mathbb Z}[F]$.
△ Less
Submitted 3 December, 2021; v1 submitted 2 December, 2021;
originally announced December 2021.
-
Restricted Gröbner fans and re-embeddings of affine algebras
Authors:
Martin Kreuzer,
Le Ngoc Long,
Lorenzo Robbiano
Abstract:
In this paper we continue the study of good re-embeddings of affine K-algebras started in [KLR]. The idea is to use special linear projections to find isomorphisms between a given affine K-algebra K[X]/I, where X=(x_1,...,x_n), and K-algebras having fewer generators. These projections are induced by particular tuples of indeterminates Z and by term orderings $σ$ which realize Z as leading terms of…
▽ More
In this paper we continue the study of good re-embeddings of affine K-algebras started in [KLR]. The idea is to use special linear projections to find isomorphisms between a given affine K-algebra K[X]/I, where X=(x_1,...,x_n), and K-algebras having fewer generators. These projections are induced by particular tuples of indeterminates Z and by term orderings $σ$ which realize Z as leading terms of a tuple F of polynomials in I. In order to efficiently find such tuples, we provide two major new tools: an algorithm which reduces the check whether a given tuple F is Z-separating to an LP feasibility problem, and an isomorphism between the part of the Gröbner fan of I consisting of marked reduced Gröbner bases which contain a Z-separating tuple and the Gröbner fan of the intersection of I and K[X\Z]. We also indicate a possible generalization to tuples Z which consist of terms. All results are illustrated by explicit examples.
△ Less
Submitted 15 July, 2022; v1 submitted 11 October, 2021;
originally announced October 2021.
-
Cotangent spaces and separating re-embeddings
Authors:
Martin Kreuzer,
Le Ngoc Long,
Lorenzo Robbiano
Abstract:
Given an affine algebra $R=P/I$, where $P=K[x_1,\dots,x_n]$ is a polynomial ring over a field $K$ and $I$ is an ideal in $P$, we study re-embeddings of the affine scheme ${\rm Spec}(R)$, i.e., presentations $R \cong P'/I'$ such that $P'$ is a polynomial ring in fewer indeterminates. To find such re-embeddings, we use polynomials $f_i$ in the ideal $I$ which are coherently separating in the sense t…
▽ More
Given an affine algebra $R=P/I$, where $P=K[x_1,\dots,x_n]$ is a polynomial ring over a field $K$ and $I$ is an ideal in $P$, we study re-embeddings of the affine scheme ${\rm Spec}(R)$, i.e., presentations $R \cong P'/I'$ such that $P'$ is a polynomial ring in fewer indeterminates. To find such re-embeddings, we use polynomials $f_i$ in the ideal $I$ which are coherently separating in the sense that they are of the form $f_i= z_i - g_i$ with an indeterminate $z_i$ which divides neither a term in the support of $g_i$ nor in the support of $f_j$ for $j\ne i$. The possible numbers of such sets of polynomials are shown to be governed by the Gröbner fan of $I$. The dimension of the cotangent space of $R$ at a $K$-linear maximal ideal is a lower bound for the embedding dimension, and if we find coherently separating polynomials corresponding to this bound, we know that we have determined the embedding dimension of $R$ and found an optimal re-embedding.
△ Less
Submitted 21 June, 2021; v1 submitted 16 October, 2020;
originally announced October 2020.
-
Hilbert Polynomials of Kähler Differential Modules for Fat Point Schemes
Authors:
Martin Kreuzer,
Tran N. K. Linh,
Le Ngoc Long
Abstract:
Given a fat point scheme $\mathbb{W}=m_1P_1+\cdots+m_sP_s$ in the projective $n$-space $\mathbb{P}^n$ over a field $K$ of characteristic zero, the modules of Kähler differential $k$-forms of its homogeneous coordinate ring contain useful information about algebraic and geometric properties of $\mathbb{W}$ when $k\in\{1,\dots, n+1\}$. In this paper we determine the value of its Hilbert polynomial e…
▽ More
Given a fat point scheme $\mathbb{W}=m_1P_1+\cdots+m_sP_s$ in the projective $n$-space $\mathbb{P}^n$ over a field $K$ of characteristic zero, the modules of Kähler differential $k$-forms of its homogeneous coordinate ring contain useful information about algebraic and geometric properties of $\mathbb{W}$ when $k\in\{1,\dots, n+1\}$. In this paper we determine the value of its Hilbert polynomial explicitly for the case $k=n+1$, confirming an earlier conjecture. More precisely this value is given by the multiplicity of the fat point scheme $\mathbb{Y} = (m_1-1)P_1 + \cdots + (m_s-1)P_s$. For $n=2$, this allows us to determine the Hilbert polynomials of the modules of Kähler differential $k$-forms for $k=1,2,3$, and to produce a sharp bound for the regularity index for $k=2$.
△ Less
Submitted 11 August, 2020; v1 submitted 24 March, 2020;
originally announced March 2020.
-
A fault attack on the Niederreiter cryptosystem using binary irreducible Goppa codes
Authors:
Julian Danner,
Martin Kreuzer
Abstract:
A fault injection framework for the decryption algorithm of the Niederreiter public-key cryptosystem using binary irreducible Goppa codes and classical decoding techniques is described. In particular, we obtain low-degree polynomial equations in parts of the secret key. For the resulting system of polynomial equations, we present an efficient solving strategy and show how to extend certain solutio…
▽ More
A fault injection framework for the decryption algorithm of the Niederreiter public-key cryptosystem using binary irreducible Goppa codes and classical decoding techniques is described. In particular, we obtain low-degree polynomial equations in parts of the secret key. For the resulting system of polynomial equations, we present an efficient solving strategy and show how to extend certain solutions to alternative secret keys. We also provide estimates for the expected number of required fault injections, apply the framework to state-of-the-art security levels, and propose countermeasures against this type of fault attack.
△ Less
Submitted 19 March, 2020; v1 submitted 4 February, 2020;
originally announced February 2020.
-
A generalized Bellman-Ford Algorithm for Application in Symbolic Optimal Control
Authors:
Alexander Weber,
Marcus Kreuzer,
Alexander Knoll
Abstract:
Symbolic controller synthesis is a fully-automated and correct-by-design synthesis scheme whose limitations are its immense memory and runtime requirements. A current trend to compensate for this downside is to develop techniques for parallel execution of the scheme both in mathematical foundation and in software implementation. In this paper we present a generalized Bellman-Ford algorithm to be u…
▽ More
Symbolic controller synthesis is a fully-automated and correct-by-design synthesis scheme whose limitations are its immense memory and runtime requirements. A current trend to compensate for this downside is to develop techniques for parallel execution of the scheme both in mathematical foundation and in software implementation. In this paper we present a generalized Bellman-Ford algorithm to be used in the so-called symbolic optimal control, which is an extension of the aforementioned synthesis scheme. Compared to the widely used Dijkstra algorithm our algorithm has two advantages. It allows for cost functions taking arbitrary (e.g. negative) values and for parallel execution with the ability for trading processing speed for memory consumption. We motivate the usefulness of negative cost values on a scenario of aerial firefighting with unmanned aerial vehicles. In addition, this four-dimensional numerical example, which is rich in detail, demonstrates the great performance of our algorithm.
△ Less
Submitted 17 January, 2020;
originally announced January 2020.
-
Computing subschemes of the border basis scheme
Authors:
Martin Kreuzer,
Le Ngoc Long,
Lorenzo Robbiano
Abstract:
A good way of parametrizing 0-dimensional schemes in an affine space $\mathbb{A}_K^n$ has been developed in the last 20 years using border basis schemes. Given a multiplicity $μ$, they provide an open covering of the Hilbert scheme ${\rm Hilb}^μ(\mathbb{A}^n_K)$ and can be described by easily computable quadratic equations. A natural question arises on how to determine loci which are contained in…
▽ More
A good way of parametrizing 0-dimensional schemes in an affine space $\mathbb{A}_K^n$ has been developed in the last 20 years using border basis schemes. Given a multiplicity $μ$, they provide an open covering of the Hilbert scheme ${\rm Hilb}^μ(\mathbb{A}^n_K)$ and can be described by easily computable quadratic equations. A natural question arises on how to determine loci which are contained in border basis schemes and whose rational points represent 0-dimensional $K$-algebras sharing a given property. The main focus of this paper is on giving effective answers to this general problem. The properties considered here are the locally Gorenstein, strict Gorenstein, strict complete intersection, Cayley-Bacharach, and strict Cayley-Bacharach properties. The key characteristic of our approach is that we describe these loci by exhibiting explicit algorithms to compute their defining ideals. All results are illustrated by non-trivial, concrete examples.
△ Less
Submitted 26 August, 2020; v1 submitted 21 October, 2019;
originally announced October 2019.
-
An application of Liaison theory to zero-dimensional schemes
Authors:
Martin Kreuzer,
Tran N. K. Linh,
Le Ngoc Long,
Nguyen Chanh Tu
Abstract:
Given a 0-dimensional scheme X in a n-dimensional projective space P^n_K over an arbitrary field K, we use Liaison theory to characterize the Cayley-Bacharach property of X. Our result extends the result for sets of K-rational points given in [7]. In addition, we examine and bound the Hilbert function and regularity index of the Dedekind different of X when X has the Cayley-Bacharach property.
Given a 0-dimensional scheme X in a n-dimensional projective space P^n_K over an arbitrary field K, we use Liaison theory to characterize the Cayley-Bacharach property of X. Our result extends the result for sets of K-rational points given in [7]. In addition, we examine and bound the Hilbert function and regularity index of the Dedekind different of X when X has the Cayley-Bacharach property.
△ Less
Submitted 1 April, 2019;
originally announced April 2019.
-
Algorithms for Checking Zero-Dimensional Complete Intersections
Authors:
Martin Kreuzer,
Le Ngoc Long,
Lorenzo Robbiano
Abstract:
Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether R is a complete intersection at a maximal ideal, whether R is locally a complete intersection, and whether R is a strict complete intersection. These algorithm…
▽ More
Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether R is a complete intersection at a maximal ideal, whether R is locally a complete intersection, and whether R is a strict complete intersection. These algorithms are based on Wiebe's characterisation of 0-dimensional local complete intersections via the 0-th Fitting ideal of the maximal ideal. They allow us to detect which generators of I form a regular sequence resp. a strict regular sequence, and they work over an arbitrary base field K. Using degree filtered border bases, we can detect strict complete intersections in certain families of 0-dimensional ideals.
△ Less
Submitted 6 August, 2019; v1 submitted 22 March, 2019;
originally announced March 2019.
-
On the Cayley-Bacharach Property
Authors:
Martin Kreuzer,
Le Ngoc Long,
Lorenzo Robbiano
Abstract:
The Cayley-Bacharach property, which has been classically stated as a property of a finite set of points in an affine or projective space, is extended to arbitrary 0-dimensional affine algebras over arbitrary base fields. We present characterizations and explicit algorithms for checking the Cayley-Bacharach property directly, via the canonical module, and in combination with the property of being…
▽ More
The Cayley-Bacharach property, which has been classically stated as a property of a finite set of points in an affine or projective space, is extended to arbitrary 0-dimensional affine algebras over arbitrary base fields. We present characterizations and explicit algorithms for checking the Cayley-Bacharach property directly, via the canonical module, and in combination with the property of being a locally Gorenstein ring. Moreover, we characterize strict Gorenstein rings by the Cayley-Bacharach property and the symmetry of their affine Hilbert function, as well as by the strict Cayley-Bacharach property and the last difference of their affine Hilbert function.
△ Less
Submitted 7 October, 2018; v1 submitted 25 April, 2018;
originally announced April 2018.
-
Computing all border bases for ideals of points
Authors:
Amir Hashemi,
Martin Kreuzer,
Samira Pourkhajouei
Abstract:
In this paper we consider the problem of computing all possible order ideals and also sets connected to 1, and the corresponding border bases, for the vanishing ideal of a given finite set of points. In this context two different approaches are discussed: based on the Buchberger-Möller Algorithm, we first propose a new algorithm to compute all possible order ideals and the corresponding border bas…
▽ More
In this paper we consider the problem of computing all possible order ideals and also sets connected to 1, and the corresponding border bases, for the vanishing ideal of a given finite set of points. In this context two different approaches are discussed: based on the Buchberger-Möller Algorithm, we first propose a new algorithm to compute all possible order ideals and the corresponding border bases for an ideal of points. The second approach involves adapting the Farr-Gao Algorithm for finding all sets connected to 1, as well as the corresponding border bases, for an ideal of points. It should be noted that our algorithms are term ordering free. Therefore they can compute successfully all border bases for an ideal of points. Both proposed algorithms have been implemented and their efficiency is discussed via a set of benchmarks.
△ Less
Submitted 7 July, 2017;
originally announced July 2017.
-
On the Dedekind different of a Cayley-Bacharach scheme
Authors:
Martin Kreuzer,
Tran N. K. Linh,
Le Ngoc Long
Abstract:
Given a 0-dimensional scheme $\mathbb{X}$ in a projective space $\mathbb{P}^n_K$ over a field $K$, we characterize the Cayley-Bacharach property of $\mathbb{X}$ in terms of the algebraic structure of the Dedekind different of its homogeneous coordinate ring. Moreover, we characterize Cayley-Bacharach schemes by Dedekind's formula for the conductor and the complementary module, we study schemes wit…
▽ More
Given a 0-dimensional scheme $\mathbb{X}$ in a projective space $\mathbb{P}^n_K$ over a field $K$, we characterize the Cayley-Bacharach property of $\mathbb{X}$ in terms of the algebraic structure of the Dedekind different of its homogeneous coordinate ring. Moreover, we characterize Cayley-Bacharach schemes by Dedekind's formula for the conductor and the complementary module, we study schemes with minimal Dedekind different using the trace of the complementary module, and we prove various results about almost Gorenstein and nearly Gorenstein schemes.
△ Less
Submitted 12 April, 2017;
originally announced April 2017.
-
Kähler differential algebras for 0-dimensional schemes
Authors:
Martin Kreuzer,
Tran N. K. Linh,
Le Ngoc Long
Abstract:
Given a 0-dimensional scheme in a projective space $\mathbb{P}^n$ over a field $K$, we study the Kähler differential algebra $Ω_{R/K}$ of its homogeneous coordinate ring $R$. Using explicit presentations of the modules $Ω^m_{R/K}$ of Kähler differential $m$-forms, we determine many values of their Hilbert functions explicitly and bound their Hilbert polynomials and regularity indices. Detailed res…
▽ More
Given a 0-dimensional scheme in a projective space $\mathbb{P}^n$ over a field $K$, we study the Kähler differential algebra $Ω_{R/K}$ of its homogeneous coordinate ring $R$. Using explicit presentations of the modules $Ω^m_{R/K}$ of Kähler differential $m$-forms, we determine many values of their Hilbert functions explicitly and bound their Hilbert polynomials and regularity indices. Detailed results are obtained for subschemes of $\mathbb{P}^1$, fat point schemes, and subschemes of $\mathbb{P}^2$ supported on a conic.
△ Less
Submitted 7 April, 2017;
originally announced April 2017.
-
Kaehler differentials for fat point schemes in P^1xP^1
Authors:
Elena Guardo,
Martin Kreuzer,
Tran N. K. Linh,
Le Ngoc Long
Abstract:
Let $X$ be a set of $K$-rational points in $P^1 \times P^1$ over a field $K$ of characteristic zero, let $Y$ be a fat point scheme supported at $ X$, and let $R_Y$ be the bihomogeneus coordinate ring of $Y$. In this paper we investigate the module of Kaehler differentials $Ω^1_{R_Y/K}$. We describe this bigraded $R_Y$-module explicitly via a homogeneous short exact sequence and compute its Hilbert…
▽ More
Let $X$ be a set of $K$-rational points in $P^1 \times P^1$ over a field $K$ of characteristic zero, let $Y$ be a fat point scheme supported at $ X$, and let $R_Y$ be the bihomogeneus coordinate ring of $Y$. In this paper we investigate the module of Kaehler differentials $Ω^1_{R_Y/K}$. We describe this bigraded $R_Y$-module explicitly via a homogeneous short exact sequence and compute its Hilbert function in a number of special cases, in particular when the support $X$ is a complete intersection or an almost complete intersection in $P^1 \times P^1$. Moreover, we introduce a Kaehler different for $Y$ and use it to characterize reduced fat point schemes in $P^1 \times P^1$ having the Cayley-Bacharach property.
△ Less
Submitted 6 February, 2018; v1 submitted 29 November, 2016;
originally announced November 2016.
-
Optical and mechanical properties of nanofibrillated cellulose: towards a robust platform for next-generation green technologies
Authors:
Claudia D. Simao,
Juan S. Reparaz,
Markus. R. Wagner,
Bartlomiej Graczykowski,
Martin Kreuzer,
Yasser B. Ruiz-Blanco,
Yamila Garcia,
Jani-Markus Malho,
Alejandro R. Goni,
Jouni Ahopelto,
Clivia M. Sotomayor Torres
Abstract:
Nanofibrillated cellulose, a polymer that can be obtained from one of the most abundant biopolymers in Nature, is being increasingly explored due to its outstanding properties for packaging and device applications. Still, open challenges in engineering its intrinsic properties remain to address. The results obtained show the precise determination of significant properties as elastic properties and…
▽ More
Nanofibrillated cellulose, a polymer that can be obtained from one of the most abundant biopolymers in Nature, is being increasingly explored due to its outstanding properties for packaging and device applications. Still, open challenges in engineering its intrinsic properties remain to address. The results obtained show the precise determination of significant properties as elastic properties and interactions that are compared with similar works and, moreover, demonstrate that nanofibrillated cellulose properties can be reversibly controlled, supporting the extended potential of nanofibrillated cellulose as a robust platform for green-technology applications
△ Less
Submitted 1 April, 2015;
originally announced April 2015.
-
Learning with Cross-Kernels and Ideal PCA
Authors:
Franz J Király,
Martin Kreuzer,
Louis Theran
Abstract:
We describe how cross-kernel matrices, that is, kernel matrices between the data and a custom chosen set of `feature spanning points' can be used for learning. The main potential of cross-kernels lies in the fact that (a) only one side of the matrix scales with the number of data points, and (b) cross-kernels, as opposed to the usual kernel matrices, can be used to certify for the data manifold. O…
▽ More
We describe how cross-kernel matrices, that is, kernel matrices between the data and a custom chosen set of `feature spanning points' can be used for learning. The main potential of cross-kernels lies in the fact that (a) only one side of the matrix scales with the number of data points, and (b) cross-kernels, as opposed to the usual kernel matrices, can be used to certify for the data manifold. Our theoretical framework, which is based on a duality involving the feature space and vanishing ideals, indicates that cross-kernels have the potential to be used for any kind of kernel learning. We present a novel algorithm, Ideal PCA (IPCA), which cross-kernelizes PCA. We demonstrate on real and synthetic data that IPCA allows to (a) obtain PCA-like features faster and (b) to extract novel and empirically validated features certifying for the data manifold.
△ Less
Submitted 10 June, 2014;
originally announced June 2014.
-
Dual-to-kernel learning with ideals
Authors:
Franz J. Király,
Martin Kreuzer,
Louis Theran
Abstract:
In this paper, we propose a theory which unifies kernel learning and symbolic algebraic methods. We show that both worlds are inherently dual to each other, and we use this duality to combine the structure-awareness of algebraic methods with the efficiency and generality of kernels. The main idea lies in relating polynomial rings to feature space, and ideals to manifolds, then exploiting this gene…
▽ More
In this paper, we propose a theory which unifies kernel learning and symbolic algebraic methods. We show that both worlds are inherently dual to each other, and we use this duality to combine the structure-awareness of algebraic methods with the efficiency and generality of kernels. The main idea lies in relating polynomial rings to feature space, and ideals to manifolds, then exploiting this generative-discriminative duality on kernel matrices. We illustrate this by proposing two algorithms, IPCA and AVICA, for simultaneous manifold and feature learning, and test their accuracy on synthetic and real world data.
△ Less
Submitted 1 February, 2014;
originally announced February 2014.
-
3D manipulation with scanning near field optical nanotweezers
Authors:
J. Berthelot,
S. S. Acimovic,
M. L. Juan,
M. P. Kreuzer,
J. Renger,
R. Quidant
Abstract:
Recent advances in Nanotechnologies have prompted the need for tools to accurately and non-invasively manipulate individual nano-objects. Among possible strategies, optical forces have been foreseen to provide researchers with nano-optical tweezers capable to trap a specimen and move it in 3D. In practice though, the combination of weak optical forces involved and photothermal issues have thus far…
▽ More
Recent advances in Nanotechnologies have prompted the need for tools to accurately and non-invasively manipulate individual nano-objects. Among possible strategies, optical forces have been foreseen to provide researchers with nano-optical tweezers capable to trap a specimen and move it in 3D. In practice though, the combination of weak optical forces involved and photothermal issues have thus far prevented their experimental realization. Here, we demonstrate first 3D optical manipulation of single 50 nm dielectric objects with near field nano-tweezers. The nano-optical trap is built by engineering a bowtie plasmonic aperture at the extremity of a tapered metal-coated optical fiber. Both the trap** operation and monitoring are performed through the optical fiber making these nano-tweezers totally autonomous and free of bulky optical elements. The achieved trap** performances allow for the trapped specimen to be moved over tens of micrometers during several minutes with very low in-trap intensities. This novel non-invasive approach is foreseen to open new horizons in nanosciences by offering an unprecedented level of control of nano-sized objects including heat-sensitive bio-specimens.
△ Less
Submitted 9 January, 2014; v1 submitted 7 November, 2013;
originally announced November 2013.
-
Non-Commutative Gebauer-Moeller Criteria
Authors:
Martin Kreuzer,
Xingqiang Xiu
Abstract:
For an efficient implementation of Buchberger's Algorithm, it is essential to avoid the treatment of as many unnecessary critical pairs or obstructions as possible. In the case of the commutative polynomial ring, this is achieved by the Gebauer-Moeller criteria. Here we present an adaptation of the Gebauer-Moeller criteria for non-commutative polynomial rings, i.e. for free associative algebras ov…
▽ More
For an efficient implementation of Buchberger's Algorithm, it is essential to avoid the treatment of as many unnecessary critical pairs or obstructions as possible. In the case of the commutative polynomial ring, this is achieved by the Gebauer-Moeller criteria. Here we present an adaptation of the Gebauer-Moeller criteria for non-commutative polynomial rings, i.e. for free associative algebras over fields. The essential idea is to detect unnecessary obstructions using other obstructions with or without overlap. Experiments show that the new criteria are able to detect almost all unnecessary obstructions during the execution of Buchberger's procedure.
△ Less
Submitted 25 April, 2014; v1 submitted 15 February, 2013;
originally announced February 2013.
-
Excitation Enhancement of a Quantum Dot Coupled to a Plasmonic Antenna
Authors:
E. Bermudez Urena,
M. P. Kreuzer,
S. Itzhakov,
H. Rigneault,
R. Quidant,
D. Oron,
J. Wenger
Abstract:
Plasmonic antennas are key elements to control the luminescence of quantum emitters. However, the antenna's influence is often hidden by quenching losses. Here, the luminescence of a quantum dot coupled to a gold dimer antenna is investigated. Detailed analysis of the multiply excited states quantifies the antenna's influence on the excitation intensity and the luminescence quantum yield separatel…
▽ More
Plasmonic antennas are key elements to control the luminescence of quantum emitters. However, the antenna's influence is often hidden by quenching losses. Here, the luminescence of a quantum dot coupled to a gold dimer antenna is investigated. Detailed analysis of the multiply excited states quantifies the antenna's influence on the excitation intensity and the luminescence quantum yield separately.
△ Less
Submitted 27 November, 2012;
originally announced November 2012.
-
Conifold degenerations of Fano 3-folds as hypersurfaces in toric varieties
Authors:
Victor Batyrev,
Maximilian Kreuzer
Abstract:
There exist exactly 166 4-dimensional reflexive polytopes such that the corresponding 4-dimensional Gorenstein toric Fano varieties have at worst terminal singularities in codimension 3 and their anticanonical divisor is divisible by 2. For every such a polytope, one naturally obtains a family of Fano hypersurfaces X with at worst conifold singularities. A generic 3-dimensional Fano hypersurface X…
▽ More
There exist exactly 166 4-dimensional reflexive polytopes such that the corresponding 4-dimensional Gorenstein toric Fano varieties have at worst terminal singularities in codimension 3 and their anticanonical divisor is divisible by 2. For every such a polytope, one naturally obtains a family of Fano hypersurfaces X with at worst conifold singularities. A generic 3-dimensional Fano hypersurface X can be interpreted as a flat conifold degeneration of some smooth Fano 3-folds Y whose classification up to deformation was obtained by Iskovskikh, Mori and Mukai. In this case, both Fano varieties X and Y have the same Picard number r. Using toric mirror symmetry, we define a r-dimensional generalized hypergeometric power series associated to the dual reflexive polytope. We show that if r =1 then this series is a normalized regular solution of a modular D3-equation that appears in the Golyshev correspondence. We expect that the multidimensional power series can be used to compute the small quantum cohomology ring of all Fano 3-folds Y with the Picard number r >1 if Y admit a conifold degeneration X.
△ Less
Submitted 27 March, 2012;
originally announced March 2012.
-
Heterotic Bundles on Calabi-Yau Manifolds with Small Picard Number
Authors:
Yang-Hui He,
Maximilian Kreuzer,
Seung-Joo Lee,
Andre Lukas
Abstract:
We undertake a systematic scan of vector bundles over spaces from the largest database of known Calabi-Yau three-folds, in the context of heterotic string compactification. Specifically, we construct positive rank five monad bundles over Calabi-Yau hypersurfaces in toric varieties, with the number of Kahler moduli equal to one, two, and three and extract physically interesting models. We select m…
▽ More
We undertake a systematic scan of vector bundles over spaces from the largest database of known Calabi-Yau three-folds, in the context of heterotic string compactification. Specifically, we construct positive rank five monad bundles over Calabi-Yau hypersurfaces in toric varieties, with the number of Kahler moduli equal to one, two, and three and extract physically interesting models. We select models which can lead to three families of matter after dividing by a freely-acting discrete symmetry and including Wilson lines. About 2000 such models on two manifolds are found.
△ Less
Submitted 4 August, 2011;
originally announced August 2011.
-
Toric K3-Fibred Calabi-Yau Manifolds with del Pezzo Divisors for String Compactifications
Authors:
Michele Cicoli,
Maximilian Kreuzer,
Christoph Mayrhofer
Abstract:
We analyse several explicit toric examples of compact K3-fibred Calabi-Yau three-folds which can be used for the study of string dualities and are crucial ingredients for the construction of LARGE Volume type IIB vacua with promising applications to cosmology and particle phenomenology. In order to build a phenomenologically viable model, on top of the two moduli corresponding to the base and the…
▽ More
We analyse several explicit toric examples of compact K3-fibred Calabi-Yau three-folds which can be used for the study of string dualities and are crucial ingredients for the construction of LARGE Volume type IIB vacua with promising applications to cosmology and particle phenomenology. In order to build a phenomenologically viable model, on top of the two moduli corresponding to the base and the K3 fibre, we demand also the existence of two additional rigid divisors: the first supporting the non-perturbative effects needed to achieve moduli stabilisation, and the second allowing the presence of chiral matter on wrapped D-branes. We clarify the topology of these rigid divisors by discussing the interplay between a diagonal structure of the Calabi-Yau volume and D-terms. Del Pezzo divisors appearing in the volume form in a completely diagonal way are natural candidates for supporting non-perturbative effects and for quiver constructions, while `non-diagonal' del Pezzo and rigid but not del Pezzo divisors are particularly interesting for model building in the geometric regime. Searching through the existing list of four dimensional reflexive lattice polytopes, we find 158 examples admitting a Calabi-Yau hypersurface which is a K3 fibration with four Kähler moduli where at least one of them is a `diagonal' del Pezzo. We work out explicitly the topological details of a few examples showing how, in the case of simplicial polytopes, all the del Pezzo divisors are `diagonal', while `non-diagonal' ones appear only in the case of non-simplicial polytopes. A companion paper will use these results in the study of moduli stabilisation for globally consistent explicit Calabi-Yau compactifications with the local presence of chirality.
△ Less
Submitted 27 August, 2012; v1 submitted 2 July, 2011;
originally announced July 2011.
-
Toric Methods in F-theory Model Building
Authors:
Johanna Knapp,
Maximilian Kreuzer
Abstract:
In this review article we discuss recent constructions of global F-theory GUT models and explain how to make use of toric geometry to do calculations within this framework. After introducing the basic properties of global F-theory GUTs we give a self-contained review of toric geometry and introduce all the tools that are necessary to construct and analyze global F-theory models. We will explain ho…
▽ More
In this review article we discuss recent constructions of global F-theory GUT models and explain how to make use of toric geometry to do calculations within this framework. After introducing the basic properties of global F-theory GUTs we give a self-contained review of toric geometry and introduce all the tools that are necessary to construct and analyze global F-theory models. We will explain how to systematically obtain a large class of compact Calabi-Yau fourfolds which can support F-theory GUTs by using the software package PALP.
△ Less
Submitted 3 April, 2011; v1 submitted 17 March, 2011;
originally announced March 2011.
-
Toric Construction of Global F-Theory GUTs
Authors:
Johanna Knapp,
Maximilian Kreuzer,
Christoph Mayrhofer,
Nils-Ole Walliser
Abstract:
We systematically construct a large number of compact Calabi-Yau fourfolds which are suitable for F-theory model building. These elliptically fibered Calabi-Yaus are complete intersections of two hypersurfaces in a six dimensional ambient space. We first construct three-dimensional base manifolds that are hypersurfaces in a toric ambient space. We search for divisors which can support an F-theory…
▽ More
We systematically construct a large number of compact Calabi-Yau fourfolds which are suitable for F-theory model building. These elliptically fibered Calabi-Yaus are complete intersections of two hypersurfaces in a six dimensional ambient space. We first construct three-dimensional base manifolds that are hypersurfaces in a toric ambient space. We search for divisors which can support an F-theory GUT. The fourfolds are obtained as elliptic fibrations over these base manifolds. We find that elementary conditions which are motivated by F-theory GUTs lead to strong constraints on the geometry, which significantly reduce the number of suitable models. The complete database of models is available at http://hep.itp.tuwien.ac.at/f-theory/. We work out several examples in more detail.
△ Less
Submitted 28 February, 2011; v1 submitted 25 January, 2011;
originally announced January 2011.
-
Super Landau-Ginzburg mirrors and algebraic cycles
Authors:
Richard S. Garavuso,
Ludmil Katzarkov,
Maximilian Kreuzer,
Alexander Noll
Abstract:
We investigate the super Landau-Ginzburg mirrors of gauged linear sigma models which, in an appropriate low energy limit, reduce to nonlinear sigma models with Kaehler supermanifold target spaces of nonnegative super-first Chern class.
We investigate the super Landau-Ginzburg mirrors of gauged linear sigma models which, in an appropriate low energy limit, reduce to nonlinear sigma models with Kaehler supermanifold target spaces of nonnegative super-first Chern class.
△ Less
Submitted 2 August, 2011; v1 submitted 7 January, 2011;
originally announced January 2011.
-
Counting charged massless states in the (0,2) heterotic CFT/geometry connection
Authors:
Matteo Beccaria,
Maximilian Kreuzer,
Andrea Puhm
Abstract:
We use simple current techniques and their relation to orbifolds with discrete torsion for studying the (0,2) CFT/geometry duality with non-rational internal N=2 SCFTs. Explicit formulas for the charged spectra of heterotic SO(10) GUT models are computed in terms of their extended Poincaré polynomials and the complementary Poincaré polynomial which can be computed in terms of the elliptic genera.…
▽ More
We use simple current techniques and their relation to orbifolds with discrete torsion for studying the (0,2) CFT/geometry duality with non-rational internal N=2 SCFTs. Explicit formulas for the charged spectra of heterotic SO(10) GUT models are computed in terms of their extended Poincaré polynomials and the complementary Poincaré polynomial which can be computed in terms of the elliptic genera. While non-BPS states contribute to the charged spectrum, their contributions can be determined also for non-rational cases. For model building, with generalizations to SU(5) and SM gauge groups, one can take advantage of the large class of Landau-Ginzburg orbifold examples.
△ Less
Submitted 6 December, 2010; v1 submitted 21 October, 2010;
originally announced October 2010.
-
Global SO(10) F-theory GUTs
Authors:
Ching-Ming Chen,
Johanna Knapp,
Maximilian Kreuzer,
Christoph Mayrhofer
Abstract:
Making use of toric geometry we construct a class of global F-theory GUT models. The base manifolds are blowups of Fano threefolds and the Calabi-Yau fourfold is a complete intersection of two hypersurfaces. We identify possible GUT divisors and construct SO(10) models on them using the spectral cover construction. We use a split spectral cover to generate chiral matter on the 10 curves in order t…
▽ More
Making use of toric geometry we construct a class of global F-theory GUT models. The base manifolds are blowups of Fano threefolds and the Calabi-Yau fourfold is a complete intersection of two hypersurfaces. We identify possible GUT divisors and construct SO(10) models on them using the spectral cover construction. We use a split spectral cover to generate chiral matter on the 10 curves in order to get more degrees of freedom in phenomenology. We use abelian flux to break SO(10) to SU(5)\times U(1) which is interpreted as a flipped SU(5) model. With the GUT Higgses in the SU(5)\times U(1) model it is possible to further break the gauge symmetry to the Standard Model. We present several phenomenologically attractive examples in detail.
△ Less
Submitted 14 December, 2010; v1 submitted 31 May, 2010;
originally announced May 2010.
-
The Geometry of Border Bases
Authors:
Martin Kreuzer,
Lorenzo Robbiano
Abstract:
The main topic of the paper is the construction of various explicit flat families of border bases. To begin with, we cover the punctual Hilbert scheme Hilb^μ(A^n) by border basis schemes and work out the base changes. This enables us to control flat families obtained by linear changes of coordinates. Next we provide an explicit construction of the principal component of the border basis scheme, an…
▽ More
The main topic of the paper is the construction of various explicit flat families of border bases. To begin with, we cover the punctual Hilbert scheme Hilb^μ(A^n) by border basis schemes and work out the base changes. This enables us to control flat families obtained by linear changes of coordinates. Next we provide an explicit construction of the principal component of the border basis scheme, and we use it to find flat families of maximal dimension at each radical point. Finally, we connect radical points to each other and to the monomial point via explicit flat families on the principal component.
△ Less
Submitted 7 April, 2010;
originally announced April 2010.
-
(0,2) Deformations of Linear Sigma Models
Authors:
Maximilian Kreuzer,
Jock McOrist,
Ilarion V. Melnikov,
M. Ronen Plesser
Abstract:
We study (0,2) deformations of a (2,2) supersymmetric gauged linear sigma model for a Calabi-Yau hypersurface in a Fano toric variety. In the non-linear sigma model these correspond to some of the holomorphic deformations of the tangent bundle on the hypersurface. Combinatorial formulas are given for the number of these deformations, and we show that these numbers are exchanged by mirror symmetr…
▽ More
We study (0,2) deformations of a (2,2) supersymmetric gauged linear sigma model for a Calabi-Yau hypersurface in a Fano toric variety. In the non-linear sigma model these correspond to some of the holomorphic deformations of the tangent bundle on the hypersurface. Combinatorial formulas are given for the number of these deformations, and we show that these numbers are exchanged by mirror symmetry in a subclass of the models.
△ Less
Submitted 5 March, 2010; v1 submitted 13 January, 2010;
originally announced January 2010.
-
Subideal Border Bases
Authors:
Martin Kreuzer,
Henk Poulisse
Abstract:
In modeling physical systems it is sometimes useful to construct border bases of 0-dimensional polynomial ideals which are contained in the ideal generated by a given set of polynomials. We define and construct such subideal border bases, provide some basic properties and generalize a suitable variant of the Buchberger-Moeller algorithm as well as the AVI-algorithm to the subideal setting. The s…
▽ More
In modeling physical systems it is sometimes useful to construct border bases of 0-dimensional polynomial ideals which are contained in the ideal generated by a given set of polynomials. We define and construct such subideal border bases, provide some basic properties and generalize a suitable variant of the Buchberger-Moeller algorithm as well as the AVI-algorithm to the subideal setting. The subideal version of the AVI-algorithm is then applied to an actual industrial problem.
△ Less
Submitted 7 May, 2009;
originally announced May 2009.
-
The making of Calabi-Yau spaces: Beyond toric hypersurfaces
Authors:
Maximilian Kreuzer
Abstract:
While Calabi-Yau hypersurfaces in toric ambient spaces provide a huge number of examples, theoretical considerations as well as applications to string phenomenology often suggest a broader perspective. With even the question of finiteness of diffeomorphism types of CY 3-folds unsettled, an important idea is Reid's conjecture that the moduli spaces are connected by certain singular transitions. W…
▽ More
While Calabi-Yau hypersurfaces in toric ambient spaces provide a huge number of examples, theoretical considerations as well as applications to string phenomenology often suggest a broader perspective. With even the question of finiteness of diffeomorphism types of CY 3-folds unsettled, an important idea is Reid's conjecture that the moduli spaces are connected by certain singular transitions. We summarize the results of our recent construction of a large class of new CY spaces with small Picard numbers and of their mirrors via conifold transitions and discuss the benefits of other approaches to interesting locations in the web that have been or should be pursued.
△ Less
Submitted 28 April, 2009;
originally announced April 2009.
-
Heterotic (0,2) Gepner Models and Related Geometries
Authors:
Maximilian Kreuzer
Abstract:
On the sad occasion of contributing to the memorial volume ``Fundamental Interactions'' for my teacher Wolfgang Kummer I decided to recollect and extend some unpublished notes from the mid 90s when I started to build up a string theory group in Vienna under Wolfgang as head of the particle physics group. His extremely supportive attitude was best expressed by his saying that one should let all f…
▽ More
On the sad occasion of contributing to the memorial volume ``Fundamental Interactions'' for my teacher Wolfgang Kummer I decided to recollect and extend some unpublished notes from the mid 90s when I started to build up a string theory group in Vienna under Wolfgang as head of the particle physics group. His extremely supportive attitude was best expressed by his saying that one should let all flowers flourish. I hope that these notes will be useful in particular in view of the current renewed interest in heterotic model building. The content of this contribution is based on the bridge between exact CFT and geometric techniques that is provided by the orbifold interpretation of simple current modular invariants. After reformulating the Gepner construction in this language I describe the generalization to heterotic (0,2) models and its application to the Geometry/CFT equivalence between Gepner-type and Distler-Kachru models that was proposed by Blumenhagen, Schimmrigk and Wisskirchen. We analyze a series of solutions to the anomaly equations, discuss the issue of mirror symmetry, and use the extended Poincaré polynomial to extend the construction to Landau-Ginzburg models beyond the realm of rational CFTs. In the appendix we discuss Gepner points in torus orbifolds, which provide further relations to free bosons and free fermions, as well as - simple currents in N=2 SCFTs and minimal models.
△ Less
Submitted 28 April, 2009;
originally announced April 2009.
-
Fano hypersurfaces and Calabi-Yau supermanifolds
Authors:
Richard S. Garavuso,
Maximilian Kreuzer,
Alexander Noll
Abstract:
In this paper, we study the geometrical interpretations associated with Sethi's proposed general correspondence between N = 2 Landau-Ginzburg orbifolds with integral \hat{c} and N = 2 nonlinear sigma models. We focus on the supervarieties associated with \hat{c} = 3 Gepner models. In the process, we test a conjecture regarding the superdimension of the singular locus of these supervarieties. The…
▽ More
In this paper, we study the geometrical interpretations associated with Sethi's proposed general correspondence between N = 2 Landau-Ginzburg orbifolds with integral \hat{c} and N = 2 nonlinear sigma models. We focus on the supervarieties associated with \hat{c} = 3 Gepner models. In the process, we test a conjecture regarding the superdimension of the singular locus of these supervarieties. The supervarieties are defined by a hypersurface \widetilde{W} = 0 in a weighted superprojective space and have vanishing super-first Chern class. Here, \widetilde{W} is the modified superpotential obtained by adding as necessary to the Gepner superpotential a boson mass term and/or fermion bilinears so that the superdimension of the supervariety is equal to \hat{c}. When Sethi's proposal calls for adding fermion bilinears, setting the bosonic part of \widetilde{W} (denoted by \widetilde{W}_{bos}) equal to zero defines a Fano hypersurface embedded in a weighted projective space. In this case, if the Newton polytope of \widetilde{W}_{bos} admits a nef partition, then the Landau-Ginzburg orbifold can be given a geometrical interpretation as a nonlinear sigma model on a complete intersection Calabi-Yau manifold. The complete intersection Calabi-Yau manifold should be equivalent to the Calabi-Yau supermanifold prescribed by Sethi's proposal.
△ Less
Submitted 3 March, 2009; v1 submitted 29 November, 2008;
originally announced December 2008.
-
Four-modulus "Swiss Cheese" chiral models
Authors:
Andres Collinucci,
Maximilian Kreuzer,
Christoph Mayrhofer,
Nils-Ole Walliser
Abstract:
We study the 'Large Volume Scenario' on explicit, new, compact, four-modulus Calabi-Yau manifolds. We pay special attention to the chirality problem pointed out by Blumenhagen, Moster and Plauschinn. Namely, we thoroughly analyze the possibility of generating neutral, non-perturbative superpotentials from Euclidean D3-branes in the presence of chirally intersecting D7-branes. We find that taking…
▽ More
We study the 'Large Volume Scenario' on explicit, new, compact, four-modulus Calabi-Yau manifolds. We pay special attention to the chirality problem pointed out by Blumenhagen, Moster and Plauschinn. Namely, we thoroughly analyze the possibility of generating neutral, non-perturbative superpotentials from Euclidean D3-branes in the presence of chirally intersecting D7-branes. We find that taking proper account of the Freed-Witten anomaly on non-spin cycles and of the Kaehler cone conditions imposes severe constraints on the models. Nevertheless, we are able to create setups where the constraints are solved, and up to three moduli are stabilized.
△ Less
Submitted 24 June, 2009; v1 submitted 28 November, 2008;
originally announced November 2008.
-
On the combinatorial classification of toric log del Pezzo surfaces
Authors:
Alexander M. Kasprzyk,
Maximilian Kreuzer,
Benjamin Nill
Abstract:
Toric log del Pezzo surfaces correspond to convex lattice polygons containing the origin in their interior and having only primitive vertices. An upper bound on the volume and on the number of boundary lattice points of these polygons is derived in terms of the index l. Techniques for classifying these polygons are also described: a direct classification for index two is given, and a classificat…
▽ More
Toric log del Pezzo surfaces correspond to convex lattice polygons containing the origin in their interior and having only primitive vertices. An upper bound on the volume and on the number of boundary lattice points of these polygons is derived in terms of the index l. Techniques for classifying these polygons are also described: a direct classification for index two is given, and a classification for all l<17 is obtained.
△ Less
Submitted 13 October, 2008;
originally announced October 2008.
-
Near Flat Space limit of strings on AdS_4 x CP^3
Authors:
M. Kreuzer,
R. C. Rashkov,
M. Schimpf
Abstract:
The non-linear nature of string theory on non-trivial backgrounds related to the AdS/CFT correspondence suggests to look for simplifications. Two such simplifications proved to be useful in studying string theory. These are the pp-wave limit which describes point-like strings and the so called "near flat space" limit which connects two different sectors of string theory -- pp-waves and "giant ma…
▽ More
The non-linear nature of string theory on non-trivial backgrounds related to the AdS/CFT correspondence suggests to look for simplifications. Two such simplifications proved to be useful in studying string theory. These are the pp-wave limit which describes point-like strings and the so called "near flat space" limit which connects two different sectors of string theory -- pp-waves and "giant magnons". Recently another example of AdS/CFT duality emerged - $AdS_4/CFT_3$, which suggests duality between $\mathcal N=6$ CS theory and superstring theory on $AdS_4\times \cp$. In this paper we study the "near flat space" limit of strings on the $AdS_4\times \cp$ background and discuss possible applications of the reduced theory.
△ Less
Submitted 3 November, 2008; v1 submitted 11 October, 2008;
originally announced October 2008.