Search

We study the relative cone conjecture for families of $K$-trivial varieties with vanishing irregularity. As an application we prove that the relative movable and the relative nef cone conjectures hold for fibrations in projective IHS manifolds of the 4 known deformation types.

We introduce and study the class of primitive Enriques varieties, whose smooth members are Enriques manifolds. We provide several examples and we demonstrate that this class is stable under the operations of the Minimal Model Program (MMP). In particular, given an Enriques manifold $Y$ and an effective $\mathbb{R}$-divisor $B_Y$ on $Y$ such that the pair $(Y,B_Y)$ is log canonical, we prove that any $(K_Y+B_Y)$-MMP terminates with a minimal model $(Y',B_{Y'})$ of $(Y,B_Y)$, where $Y'$ is a $\mathbb{Q}$-factorial primitive Enriques variety with canonical singularities. Finally, we investigate the asymptotic theory of Enriques manifolds., Comment: v2: minor changes

Real-time deepfake, a type of generative AI, is capable of "creating" non-existing contents (e.g., swapping one's face with another) in a video. It has been, very unfortunately, misused to produce deepfake videos (during web conferences, video calls, and identity authentication) for malicious purposes, including financial scams and political misinformation. Deepfake detection, as the countermeasure against deepfake, has attracted considerable attention from the academic community, yet existing works typically rely on learning passive features that may perform poorly beyond seen datasets. In this paper, we propose SFake, a new real-time deepfake detection method that innovatively exploits deepfake models' inability to adapt to physical interference. Specifically, SFake actively sends probes to trigger mechanical vibrations on the smartphone, resulting in the controllable feature on the footage. Consequently, SFake determines whether the face is swapped by deepfake based on the consistency of the facial area with the probe pattern. We implement SFake, evaluate its effectiveness on a self-built dataset, and compare it with six other detection methods. The results show that SFake outperforms other detection methods with higher detection accuracy, faster process speed, and lower memory consumption.

Ising annealer is a promising quantum-inspired computing architecture for combinatorial optimization problems. In this paper, we introduce an Ising annealer based on the Hamiltonian Monte Carlo, which updates the variables of all dimensions in parallel. The main innovation is the fusion of an approximate gradient-based approach into the Ising annealer which introduces significant acceleration and allows a portable and scalable implementation on the commercial FPGA. Comprehensive simulation and hardware experiments show that the proposed Ising annealer has promising performance and scalability on all types of benchmark problems when compared to other Ising annealers including the state-of-the-art hardware. In particular, we have built a prototype annealer which solves Ising problems of both integer and fraction coefficients with up to 200 spins on a single low-cost FPGA board, whose performance is demonstrated to be better than the state-of-the-art quantum hardware D-Wave 2000Q and similar to the expensive coherent Ising machine. The sub-linear scalability of the annealer signifies its potential in solving challenging combinatorial optimization problems and evaluating the advantage of quantum hardware.

A rigid current on a compact complex manifold is a closed positive current whose cohomology class contains only one closed positive current. Rigid currents occur in complex dynamics, algebraic and differential geometry. The goals of the present paper are: (a) to give a systematic treatment of rigid currents, (b) to demonstrate how they appear within the Minimal Model Program, and (c) to give many new examples of rigid currents.

We prove that the asymptotic base loci of an NQC klt generalized pair with big canonical class are uniruled. We also show that the non-nef locus and the diminished base locus of the adjoint divisor of an NQC log canonical generalized pair coincide. As applications, we study the uniruledness of the asymptotic base loci associated with pseudo-effective divisors on generalized log Calabi-Yau type varieties., Comment: v2: minor changes, following the referee's comments; to appear in Michigan Math. J

We show that for pseudoeffective projective pairs the termination of one sequence of flips implies the termination of all flips, assuming a natural conjecture on the behaviour of the Nakayama-Zariski decomposition under the operations of a Minimal Model Program., Comment: v2: several results are stated more precisely; the paper is reorganised

Let $X$ be the blowup of $\mathbb{P}^3$ at eight very general points. We give a complete description of its nef and effective cones. Moreover, we show that there exists a rational polyhedral fundamental domain for the action of a certain Weyl group on the effective movable cone of $X$., Comment: 36 pages. We added Theorem 3.5 and extended Theorem 1.4 by showing that the effective cone is closed

Let $X$ be a smooth complex projective rationally connected threefold with $-K_X$ nef and not semi-ample. In our previous work, we classified all such threefolds when $|{-}K_X|$ has no fixed divisor. In this paper, we continue our classification when $|{-}K_X|$ has a non-zero fixed divisor.

We prove that if $(X,\Delta)$ is a threefold pair with mild singularities such that ${-}(K_X+\Delta)$ is nef, then the numerical class of ${-}(K_X+\Delta)$ is effective., Comment: v4: minor changes; to appear in Doc. Math

Building on the work of Casagrande-Codogni-Fanelli, we develop our study on the birational geometry of the Fano fourfold $Y=M_{S,-K_S}$ which is the moduli space of semi-stable rank-two torsion-free sheaves with $c_1=-K_S$ and $c_2=2$ on a polarised degree-one del Pezzo surface $(S,-K_S)$. Based on the relation between $Y$ and the blow-up of $\mathbb{P}^4$ in $8$ points, we describe completely the base scheme of the anticanonical system $|{-}K_Y|$. We also prove that the Bertini involution $\iota_Y$ of $Y$, induced by the Bertini involution $\iota_S$ of $S$, preserves every member in $|{-}K_Y|$. In particular, we establish the relation between $\iota_Y$ and the anticanonical map of $Y$, and we describe the action of $\iota_Y$ by analogy with the action of $\iota_S$ on $S$., Comment: arXiv admin note: text overlap with arXiv:1707.09152 by other authors

Let $X$ be a smooth projective rationally connected threefold with nef anticanonical divisor. We give a classification for the case when $-K_X$ is not semi-ample.