No abstract uploaded!

No abstract uploaded!

Homological Projective duality (HP-duality) theory, introduced by Kuznetsov \cite{Kuz07HPD}, is one of the most powerful frameworks in the homological study of algebraic geometry. The main result (HP-duality theorem) of the theory gives complete descriptions of bounded derived categories of coherent sheaves of (dual) linear sections of HP-dual varieties. We show the theorem also holds for more general intersections beyond linear sections. More explicitly, for a given HP-dual pair $(X,Y)$, then analogue of HP-duality theorem holds for their intersections with another HP-dual pair $(S,T)$, provided that they intersect properly. We also prove a relative version of our main result. Taking $(S,T)$ to be dual linear subspaces (resp. subbundles), our method provides a more direct proof of the original (relative) HP-duality theorem.

We study the averaged behavior of interfaces moving with oscillatory normal velocity that is periodic in time and stationary ergodic in space. This problem can be interpreted as a homogenization problem of a Hamilton-Jacobi equation with a positively homogeneous and time dependent Hamiltonian. In an earlier work, we studied the setting when the environment is periodic in space and random in time, and established homogenization results through the averaging of reachable sets. In the present setting, we show that the minimal travel time between two spatial points, which now depends also on a starting time, has a deterministic averaging limit that is independent of the starting time. This averaged travel time function is then shown to determine the effective behavior of the moving interfaces.

Error reconciliation is an important technique for learning with error (LWE) and ring-LWE (RLWE)-based constructions. In this paper, we present a comparison analysis on two error reconciliation-based RLWE key exchange protocols: Ding et al. in 2012 (DING12) and Bos et al. in 2015 (BCNS15). We take them as examples to explain the core idea of error reconciliation, building key exchange over RLWE problem, implementation and real-world performance, and compare them comprehensively. We also analyse a LWE key exchange 'Frodo' that uses an improved error reconciliation mechanism in BCNS15. To the best of our knowledge, our work is the first to present at least 128-bit classic (80-bit quantum) and 256-bit classic (> 200-bit quantum) secure parameter choices for DING12 with efficient portable C/C++ implementations. Benchmark shows that our efficient implementation is 11× faster than BCNS15 and one key exchange execution only costs 0.07 ms on a four-year-old middle range CPU. Error reconciliation is 1.57× faster than BCNS15.