SearcharxivSearch

arXiv subjects

Hyunsuk Kim

Publications and source records attributed to Hyunsuk Kim.

10 recordsLinked to original sources

Hodge theory and K-stability of some very symmetric hypersurfaces

We study some interesting hypersurfaces that naturally arise when studying the period map on the moduli space of hypersurfaces, in the context of Sung Gi Park's recent work on studying the GIT moduli space of hypersurfaces via the minimal exponent. We compute the Hodge structure on the singular cohomology and the intersection cohomology of these hypersurfaces, and also show the $K$-polystability of certain mildly singular degenerate hypersurfaces among them. In particular, the following hypersurface is $K$-polystable for $l \geq 2$: $$ \{ x_{11}\cdots x_{1d} + \ldots + x_{ld} \cdots x_{ld} = 0\} \subset \PP^{ld-1}.$$

math.AG

Trace for the Du Bois complex

We construct some version of the trace morphism between the Du Bois complexes, with applications towards the behavior of the local cohomological dimension and some Hodge theoretic aspects of singularities under finite morphisms.

math.AG

Local cohomology and singular cohomology of toric varieties via mixed Hodge modules

Given an affine toric variety $X$ embedded in a smooth variety, we prove a general result about the mixed Hodge module structure on the local cohomology sheaves of $X$. As a consequence, we prove that the singular cohomology of a proper toric variety is mixed of Hodge-Tate type. Additionally, using these Hodge module techniques, we derive a purely combinatorial result on rational polyhedral cones that has consequences regarding the depth of reflexive differentials on a toric variety. We then study in detail two important subclasses of toric varieties: those corresponding to cones over simplicial polytopes and those corresponding to cones over simple polytopes. Here, we give a comprehensive description of the local cohomology in terms of the combinatorics of the associated cones, and calculate the Betti numbers (or more precisely, the Hodge-Du Bois diamond) of a projective toric variety associated to a simple polytope.

math.AG

Lefschetz morphisms on singular cohomology and local cohomological dimension of toric varieties

Given a proper toric variety and a line bundle on it, we describe the morphism on singular cohomology given by the cup product with the Chern class of that line bundle in terms of the data of the associated fan. Using that, we relate the local cohomological dimension of an affine toric variety with the Lefschetz morphism on the singular cohomology of a projective toric variety of one dimension lower. As a corollary, we show that the local cohomological defect is not a combinatorial invariant. We also produce numerous examples of toric varieties in every dimension with any possible local cohomological defect, by showing that the local cohomological defect remains unchanged under taking a pyramid.

math.AG

Canonical bundle formula and a conjecture on certain algebraic fiber spaces by Schnell

We observe what the canonical bundle formula gives towards a conjecture of Schnell on algebraic fiber spaces, a question concerning the equivalence between the non-vanishing conjecture and the Campana--Peternell conjecture. As a result, we give a partial result on Schnell's conjecture under two independent assumptions. One weakens Schnell's assumption of the pseudo-effectivity of the canonical bundle of the base by adding some effective divisor supported on the ramification locus. The other is analogous to results on algebraic fiber spaces where the existence of good minimal models of a general fiber is assumed, but we use a priori a weaker assumption. More precisely, we prove Schnell's conjecture when the canonical class of the general fiber is represented by a rigid current.

math.AG

How many classifiers do we need?

As performance gains through scaling data and/or model size experience diminishing returns, it is becoming increasingly popular to turn to ensembling, where the predictions of multiple models are combined to improve accuracy. In this paper, we provide a detailed analysis of how the disagreement and the polarization (a notion we introduce and define in this paper) among classifiers relate to the performance gain achieved by aggregating individual classifiers, for majority vote strategies in classification tasks. We address these questions in the following ways. (1) An upper bound for polarization is derived, and we propose what we call a neural polarization law: most interpolating neural network models are 4/3-polarized. Our empirical results not only support this conjecture but also show that polarization is nearly constant for a dataset, regardless of hyperparameters or architectures of classifiers. (2) The error of the majority vote classifier is considered under restricted entropy conditions, and we present a tight upper bound that indicates that the disagreement is linearly correlated with the target, and that the slope is linear in the polarization. (3) We prove results for the asymptotic behavior of the disagreement in terms of the number of classifiers, which we show can help in predicting the performance for a larger number of classifiers from that of a smaller number. Our theories and claims are supported by empirical results on several image classification tasks with various types of neural networks.

stat.ML

A Remark on Fujino's work on the canonical bundle formula via period maps

Fujino gave a proof in [Fuj03] for the semi-ampleness of the moduli part in the canonical bundle formula in the case when the general fibers are K3 surfaces or Abelian varieties. We show a similar statement when the general fibers are primitive symplectic varieties with mild singularities. This answers a question of Fujino raised in the same article. Moreover, using the structure theory of varieties with trivial first Chern class, we reduce the question of semi-ampleness in the case of families of K-trivial varieties to a question when the general fibers satisfy a slightly weaker Calabi-Yau condition.

math.AG

The intersection cohomology Hodge module of toric varieties

We study the Hodge filtration of the intersection cohomology Hodge module for toric varieties. More precisely, we study the cohomology sheaves of the graded de Rham complex of the intersection cohomology Hodge module and give a precise formula relating it with the stalks of the intersection cohomology as a constructible complex. The main idea is to use the Ishida complex in order to compute the higher direct images of the sheaf of reflexive differentials.

math.AG

When are ensembles really effective?

Ensembling has a long history in statistical data analysis, with many impactful applications. However, in many modern machine learning settings, the benefits of ensembling are less ubiquitous and less obvious. We study, both theoretically and empirically, the fundamental question of when ensembling yields significant performance improvements in classification tasks. Theoretically, we prove new results relating the \emph{ensemble improvement rate} (a measure of how much ensembling decreases the error rate versus a single model, on a relative scale) to the \emph{disagreement-error ratio}. We show that ensembling improves performance significantly whenever the disagreement rate is large relative to the average error rate; and that, conversely, one classifier is often enough whenever the disagreement rate is low relative to the average error rate. On the way to proving these results, we derive, under a mild condition called \emph{competence}, improved upper and lower bounds on the average test error rate of the majority vote classifier. To complement this theory, we study ensembling empirically in a variety of settings, verifying the predictions made by our theory, and identifying practical scenarios where ensembling does and does not result in large performance improvements. Perhaps most notably, we demonstrate a distinct difference in behavior between interpolating models (popular in current practice) and non-interpolating models (such as tree-based methods, where ensembling is popular), demonstrating that ensembling helps considerably more in the latter case than in the former.

stat.ML