In this paper, we propose a new algorithm for solving the general approximate common divisors (GACD) problems, which is based on lattice reduction algorithms on certain special lattices and linear equation solving algorithms over integers. Through both theoretical arguments and experimental data, we show that our new algorithm works in polynomial time but under roughly the following condition: \begin{itemize} \item There is a positive integer t such that \frac{\gamma+\eta}{t} + \frac{t}{H} + \rho < \eta; \item We have more than t GACD samples. \end{itemize} or equivalently \begin{itemize} \item H(\eta-\rho)^2 - 4(\gamma+\eta) > 0; \item We have more than t = \lceil\frac{H(\eta-\rho) - \sqrt{H^2(\eta-\rho)^2 - 4H(\gamma+\eta)}{2}\rceil GACD samples. \end{itemize} Here \gamma, \eta and \rho are parameters describing a GACD problem, H = 1/\log_2 F and F is the Hermite Factor. In our experiments, H is shown to be roughly 40 when using the LLL reduction algorithm and it should be around 80 when using Deep or BKZ algorithms. % We use our algorithm to solve concrete problems that no other algorithm could solve before. We show how our algorithm can be applied to attack the fully homomorphic encryption schemes which are based on the general approximate common divisors problem and its limitations.

The paper develops an existence theory for solutions of the Abreu equation, which include extremal metrics on toric surfaces. The technique employed is a continuity method, combined with “blow-up” arguments. General existence results are obtained, assuming a hypothesis (the “M-condition”) on the solutions, which is shown to be related to the injectivity radius.

No abstract uploaded!

We show that if X is a cocompact G-CW-complex such that each isotropy subgroup Gσ is L(2)-good over an arbitrary commutative ring k, then X satisfies some fixed-point formula which is an L(2)-analogue of Brown’s formula in 1982. Using this result we present a fixed point formula for a cocompact proper G-CW-complex which relates the equivariant L(2)-Euler characteristic of a fixed point CW-complex Xs and the Euler characteristic of X/G. As corollaries, we prove Atiyah’s theorem in 1976, Akita’s formula in 1999 and a result of Chatterji-Mislin in 2009. We also show that if X is a free G-CW-complex such that C∗(X) is chain homotopy equivalent to a chain complex of finitely generated projective Zπ1(X)-modules of finite length and X satisfies some fixed-point formula over Q or C which is an L(2)-analogue of Brown’s formula, then χ(X/G)=χ(2)(X). As an application, we prove that the weak Bass conjecture holds for any finitely presented group G satisfying the following condition: for any finitely dominated CW-complex Y with π1(Y )=G, Y satisfies some fixed-point formula over Q or C which is an L(2)-analogue of Brown’s formula.

We define a notion of formal quantum field theory and associate a formal quantum field theory to K-theoretical intersection theories on Hilbert schemes of points on algebraic surfaces. This enables us to find an effective way to compute K-theoretical intersection theories on Hilbert schemes via a connection to Macdonald polynomials and vertex operators.