SearcharxivSearch

arXiv subjects

Alexander Kasprzyk

Publications and source records attributed to Alexander Kasprzyk.

At least 19 recordsLinked to original sources

Is there a smooth lattice polytope which does not have the integer decomposition property?

We introduce Tadao Oda's famous question on lattice polytopes which was originally posed at Oberwolfach in 1997 and, although simple to state, has remained unanswered. The question is motivated by a discussion of the two-dimensional case - including a proof of Pick's Theorem, which elegantly relates the area of a lattice polygon to the number of lattice points it contains in its interior and on its boundary.

math.CO

Machine learning discovers new champion codes

Linear error-correcting codes form the mathematical backbone of modern digital communication and storage systems, but identifying champion linear codes (linear codes achieving or exceeding the best known minimum Hamming distance) remains challenging. By training a transformer to predict the minimum Hamming distance of a class of linear codes and pairing it with a genetic algorithm over the search space, we develop a novel method for discovering champion codes. This model effectively reduces the search space of linear codes needed to achieve champion codes. Our results present the use of this method in the study and construction of error-correcting codes, applicable to codes such as generalised toric, Reed-Muller, Bose-Chaudhuri-Hocquenghem, algebrogeometric, and potentially quantum codes.

cs.IT

Classification and Ehrhart Theory of Denominator 2 Polygons

We present an algorithm for growing the denominator $r$ polygons containing a fixed number of lattice points and enumerate such polygons containing few lattice points for small $r$. We describe the Ehrhart quasi-polynomial of a rational polygon in terms of boundary and interior point counts. Using this, we bound the coefficients of Ehrhart quasi-polynomials of denominator 2 polygons. In particular, we completely classify such polynomials in the case of zero interior points.

math.CO

Computation and data in the classification of Fano varieties

Fano varieties are 'atomic pieces' of algebraic varieties, the shapes that can be defined by polynomial equations. We describe the role of computation and database methods in the construction and classification of Fano varieties, with an emphasis on three-dimensional Fano varieties with mild singularities called Q-Fano threefolds. The classification of Q-Fano threefolds has been open for several decades, but there has been significant recent progress. These advances combine computational algebraic geometry and large-scale data analysis with new ideas that originated in theoretical physics.

math.AG

On K-moduli of quartic threefolds

The family of smooth Fano 3-folds with Picard rank 1 and anticanonical volume 4 consists of quartic 3-folds and of double covers of the 3-dimensional quadric branched along an octic surface. They can all be parametrised as complete intersections of a quadric and a quartic in the weighted projective space $\mathbb{P}(1,1,1,1,1,2)$, denoted by $X_{2,4} \subset \mathbb{P}(1^5,2)$; all such smooth complete intersections are K-stable. With the aim of investigating the compactification of the moduli space of quartic 3-folds given by K-stability, we exhibit three phenomena: (i) there exist K-polystable complete intersection $X_{2,2,4} \subset \mathbb{P}(1^5,2^2)$ Fano 3-folds which deform to quartic 3-folds and are neither quartic 3-folds nor double covers of quadric 3-folds - in other words, the closure of the locus parametrising complete intersections $X_{2,4}\subset \mathbb{P}(1^5,2)$ in the K-moduli contains elements that are not of this type; (ii) any quasi-smooth $X_{2,2,4} \subset \mathbb{P}(1^5,2^2)$ is K-polystable; (iii) the closure in the K-moduli space of the locus parametrising complete intersections $X_{2,2,4} \subset \mathbb{P}(1^5,2^2)$ which are not complete intersections $X_{2,4} \subset \mathbb{P}(1^5,2)$ contains only points which correspond to complete intersections $X_{2,2,4} \subset \mathbb{P}(1^5,2^2)$.

math.AG

Machine Learning the Dimension of a Polytope

We use machine learning to predict the dimension of a lattice polytope directly from its Ehrhart series. This is highly effective, achieving almost 100% accuracy. We also use machine learning to recover the volume of a lattice polytope from its Ehrhart series, and to recover the dimension, volume, and quasi-period of a rational polytope from its Ehrhart series. In each case we achieve very high accuracy, and we propose mathematical explanations for why this should be so.

math.CO

Kawamata boundedness for Fano threefolds and the Graded Ring Database

We explain an effective Kawamata boundedness result for Mori-Fano 3-folds. In particular, we describe a list of 39,550 possible Hilbert series of semistable Mori-Fano 3-folds, with examples to explain its meaning, its relationship to known classifications and the wealth of more general Fano 3-folds it contains, as well as its application to the on-going classification of Fano 3-folds.

math.AG

Laurent polynomials in Mirror Symmetry: why and how?

We survey the approach to mirror symmetry via Laurent polynomials, outlining some of the main conjectures, problems, and questions related to the subject. We discuss: how to construct Landau--Ginzburg models for Fano varieties; how to apply them to classification problems; and how to compute invariants of Fano varieties via Landau--Ginzburg models.

math.AG

Polytopes and Machine Learning

We introduce machine learning methodology to the study of lattice polytopes. With supervised learning techniques, we predict standard properties such as volume, dual volume, reflexivity, etc, with accuracies up to 100%. We focus on 2d polygons and 3d polytopes with Pl\"ucker coordinates as input, which out-perform the usual vertex representation.

math.CO

Sharp bounds on fake weighted projective spaces with canonical singularities

We give a sharp upper bound on the multiplicity of a fake weighted projective space with at worst canonical singularities. This is equivalent to giving a sharp upper bound on the index of the sublattice generated by the vertices of a lattice simplex containing only the origin as an interior lattice point. We also completely characterise when equality occurs and discuss related questions and conjectures.

math.AG

Hilbert Series, Machine Learning, and Applications to Physics

We describe how simple machine learning methods successfully predict geometric properties from Hilbert series (HS). Regressors predict embedding weights in projective space to ${\sim}1$ mean absolute error, whilst classifiers predict dimension and Gorenstein index to $>90\%$ accuracy with ${\sim}0.5\%$ standard error. Binary random forest classifiers managed to distinguish whether the underlying HS describes a complete intersection with high accuracies exceeding $95\%$. Neural networks (NNs) exhibited success identifying HS from a Gorenstein ring to the same order of accuracy, whilst generation of 'fake' HS proved trivial for NNs to distinguish from those associated to the three-dimensional Fano varieties considered.

hep-th

On the Fine Interior of Three-dimensional Canonical Fano Polytopes

The Fine interior $\Delta^{\text{FI}}$ of a $d$-dimensional lattice polytope $\Delta$ is a rational subpolytope of $\Delta$ which is important for constructing minimal birational models of non-degenerate hypersurfaces defined by Laurent polynomials with Newton polytope $\Delta$. This paper presents some computational results on the Fine interior of all $674,\!688$ three-dimensional canonical Fano polytopes.

math.AG

Projecting Fanos in the mirror

In the paper "Birational geometry via moduli spaces" by I. Cheltsov, L. Katzarkov, and V. Przyjalkowski a new structure connecting toric degenerations of smooth Fano threefolds by projections was introduced; using Mirror Symmetry these connections were transferred to the side of Landau--Ginzburg models. In the paper mentioned above a nice way to connect of Picard rank one Fano threefolds was found. We apply this approach to all smooth Fano threefolds, connecting their degenerations by toric basic links. In particular, we find a lot of Gorenstein toric degenerations of smooth Fano threefolds we need. We implement mutations in the picture as well. It turns out that appropriate chosen toric degenerations of the Fanos are given by toric basic links from a few roots. We interpret the relations we found in terms of Mirror Symmetry.

math.AG

Laurent Inversion

We describe a practical and effective method for reconstructing the deformation class of a Fano manifold X from a Laurent polynomial f that corresponds to X under Mirror Symmetry. We explore connections to nef partitions, the smoothing of singular toric varieties, and the construction of embeddings of one (possibly-singular) toric variety in another. In particular, we construct degenerations from Fano manifolds to singular toric varieties; in the toric complete intersection case, these degenerations were constructed previously by Doran--Harder. We use our method to find models of orbifold del Pezzo surfaces as complete intersections and degeneracy loci, and to construct a new four-dimensional Fano manifold.

math.AG

Fano 3-folds in $\mathbb {P^2} \times \mathbb {P^2}$ format, Tom and Jerry

We study Q-factorial terminal Fano 3-folds whose equations are modelled on those of the Segre embedding of P^2 x P^2. These lie in codimension 4 in their total anticanonical embedding and have Picard rank 2. They fit into the current state of classification in three different ways. Some families arise as unprojections of degenerations of complete intersections, where the generic unprojection is a known prime Fano 3-fold in codimension 3; these are new, and an analysis of their Gorenstein projections reveals yet other new families. Others represent the "second Tom" unprojection families already known in codimension 4, and we show that every such family contains one of our models. Yet others have no easy Gorenstein projection analysis at all, so prove the existence of Fano components on their Hilbert scheme.

math.AG

Laurent Inversion

There are well-understood methods, going back to Givental and Hori--Vafa, that to a Fano toric complete intersection X associate a Laurent polynomial f that corresponds to X under mirror symmetry. We describe a technique for inverting this process, constructing the toric complete intersection X directly from its Laurent polynomial mirror f. We use this technique to construct a new four-dimensional Fano manifold.

math.AG

Ehrhart polynomial roots of reflexive polytopes

Recent work has focused on the roots z of the Ehrhart polynomial of a lattice polytope P. The case when Re(z) = -1/2 is of particular interest: these polytopes satisfy Golyshev's "canonical line hypothesis". We characterise such polytopes when dim(P) <= 7. We also consider the "half-strip condition", where all roots z satisfy -dim(P)/2 <= Re(z) <= dim(P)/2-1, and show that this holds for any reflexive polytope with dim(P) <= 5. We give an example of a 10-dimensional reflexive polytope which violates the half-strip condition, thus improving on an example by Ohsugi--Shibata in dimension 34.

math.CO