Related papers: On equivalent conjectures for minimal log discrepa…

In this work we describe a minimal log-resolution of an ideal in a smooth complex surface from the minimal log-resolution of its generators.

We give improved lower bounds for binary $3$-query locally correctable codes (3-LCCs) $C \colon \{0,1\}^k \rightarrow \{0,1\}^n$. Specifically, we prove: (1) If $C$ is a linear design 3-LCC, then $n \geq 2^{(1 - o(1))\sqrt{k} }$. A design…

Analog error-correcting codes (Analog ECCs) for approximate vector-matrix multiplication have been extensively studied as means to achieve fault-tolerant in-memory computation. The theoretical foundations for such coding schemes,…

We show that the hereditary discrepancy of homogeneous arithmetic progressions is lower bounded by $n^{1/O(\log \log n)}$. This bound is tight up to the constant in the exponent. Our lower bound goes via proving an exponential lower bound…

We describe the foundation of the log minimal model program for log canonical pairs according to Ambro's idea. We generalize Koll\'ar's vanishing and torsion-free theorems for embedded simple normal crossing pairs. Then we prove the cone…

Under the assumption of the minimal model theory for projective klt pairs of dimension $n$, we establish the minimal model theory for lc pairs $(X/Z,\Delta)$ such that the log canonical divisor is relatively log abundant and its restriction…

In this note, we prove a sharp lower bound for the log canonical threshold of a plurisubharmonic function $\varphi$ with an isolated singularity at $0$ in an open subset of ${\mathbb C}^n$. This threshold is defined as the supremum of…

We give a classification of the dual graphs of the exceptional divisors on the minimal resolutions of log canonical foliation singularities on surfaces. For an application, we show the set of foliated minimal log discrepancies for foliated…

In this paper, we prove a `cut-by-curves criterion' for an overconvergent isocrystal on a smooth variety over a field of characteristic $p>0$ to extend logarithmically to its smooth compactification whose complement is a strict normal…

We use the theory of motivic integration for singular spaces to give a characterization of minimal log discrepencies in terms of the codimension of certain subsets of spaces of arcs. This is done for arbitrary pairs $(X,Y)$, with $X$ normal…

We compute the minimal log discrepancies of determinantal varieties of square matrices, and more generally of pairs $\bigl(D^k,\sum \alpha_i D^{k_i}\bigr)$ consisting of a determinantal variety (of square matrices) and an $\mathbb R$-linear…

Let $\Gamma$ be a finite set, and $X\ni x$ a fixed klt germ. For any lc germ $(X\ni x,B:=\sum_{i} b_iB_i)$ such that $b_i\in \Gamma$, Nakamura's conjecture, which is equivalent to the ACC conjecture for minimal log discrepancies for fixed…

In Constraint Programming (CP), achieving arc-consistency (AC) of a global constraint with costs consists in removing from the domains of the variables all the values that do not belong to any solution whose cost is below a fixed bound. We…

Given $\boldsymbol{\alpha} \in [0,1]^d$, we estimate the smooth discrepancy of the Kronecker sequence $(n \boldsymbol{\alpha} \,\mathrm{mod}\, 1)_{n\geq 1}$. We find that it can be smaller than the classical discrepancy of $\textbf{any}$…

We give an explicit formula for the log-canonical threshold of a reduced germ of plane curve. The formula depends only on the first two maximal contact values of the branches and their intersection multiplicities. We also improve the two…

Bounds on the log partition function are important in a variety of contexts, including approximate inference, model fitting, decision theory, and large deviations analysis. We introduce a new class of upper bounds on the log partition…

Inspired by the boolean discrepancy problem, we study the following optimization problem which we term \textsc{Spherical Discrepancy}: given $m$ unit vectors $v_1, \dots, v_m$, find another unit vector $x$ that minimizes $\max_i \langle x,…

If $(X, \mcF, \D)$ is a projective rank two foliated log canonical triple such that $(X,B)$ is klt for some $0 \leq B \leq \D$, we show that we can run a $(K_\mcF +\Delta)$-MMP and any such MMP terminates with either a minimal model or Mori…

We show Fujita's spectrum conjecture for $\epsilon$-log canonical pairs and Fujita's log spectrum conjecture for log canonical pairs. Then, we generalize the pseudo-effective threshold of a single divisor to multiple divisors and establish…

The homological scaffold leverages persistent homology to construct a topologically sound summary of a weighted network. However, its crucial dependency on the choice of representative cycles hinders the ability to trace back global…