We show that the inner distance inside a bounded planar domain is at most the one-dimensional Hausdorff measure of the boundary of the domain. We prove this sharp result by establishing an improved Painlevé length estimate for connected sets and by using the metric removability of totally disconnected sets, proven by Kalmykov, Kovalev, and Rajala. We also give a totally disconnected example showing that for general sets the Painlevé length bound ϰ(E)≤πH^1(E)is sharp.

In this paper, we present and prove the first closed formula bounding the degree of regularity of an HFE system over an arbitrary finite field. Though these bounds are not necessarily optimal, they can be used to deduce 1. if D, the degree of the corresponding HFE polynomial, and q, the size of the corresponding finite field, are fixed, inverting HFE system is polynomial for all fields; 2. if D is of the scale O(n^α) where n is the number of variables in an HFE system, and q is fixed, inverting HFE systems is quasi-polynomial for all fields. We generalize and prove rigorously similar results by Granboulan, Joux and Stern in the case when q = 2 that were communicated at Crypto 2006.

No abstract uploaded!

A convex speech enhancement (CSE) method is presented based on convex optimization and pause detection of the speech sources. Channel spatial difference is identified for enhancing each speech source individually while suppressing other interfering sources. Sparse unmixing filters indicating channel spatial differences are sought by <i>l</i> ₁ norm regularization and the split Bregman method. A subdivided split Bregman method is developed for efficiently solving the problem in severely reverberant environments. The speech pause detection is based on a binary mask source separation method. The CSE method is evaluated objectively and subjectively, and found to outperform a list of existing blind speech separation approaches on both synthetic and room recorded speech mixtures in terms of the overall computational speed and separation quality.

In this paper, we study gravitational instantons (i.e., complete hyperkähler 4‑manifolds with faster than quadratic curvature decay). We prove three main theorems: (1) Any gravitational instanton must have one of the following known ends: ALE, ALF, ALG, and ALH. (2) In the ALG and ALH non-splitting cases, it must be biholomorphic to a compact complex elliptic surface minus a divisor. Thus, we confirm a long-standing question of Yau in the ALG and ALH cases. (3) In the ALF‑D_k case, it must have an O(4)‑multiplet.