A primal-dual homotopy algorithm for $$\ell _{1}$$-minimization with $$\ell _{\infty }$$ℓ∞-constraints

In this paper we propose a primal-dual homotopy method for \(\ell _1\)-minimization problems with infinity norm constraints in the context of sparse reconstruction. The natural homotopy parameter is the value of the bound for the constraints and we show that there exists a piecewise linear solution path with finitely many break points for the primal problem and a respective piecewise constant path for the dual problem. We show that by solving a small linear program, one can jump to the next primal break point and then, solving another small linear program, a new optimal dual solution is calculated which enables the next such jump in the subsequent iteration. Using a theorem of the alternative, we show that the method never gets stuck and indeed calculates the whole path in a finite number of steps. Numerical experiments demonstrate the effectiveness of our algorithm. In many cases, our method significantly outperforms commercial LP solvers; this is possible since our approach employs a sequence of considerably simpler auxiliary linear programs that can be solved efficiently with specialized active-set strategies.     

Метод многопараметрической интерполяции и теоремы вложения пространств БесоваB_{\vec p}^{\vec \alpha } \left[ {0,2\pi } \right)

In this paper we determine the method of multi-parameter interpolation and the scales of Lebesgue spaces $B_{\vec p} \left[ {0,2\pi } \right)$ and Besov spaces $B_{\vec p}^{\vec \alpha } \left[ {0,2\pi } \right)$ , which are generalizations of the Lorentz spacesL _pq [0, 2π) and Besov spacesB _pq ^α [0, 2π). We also prove imbedding theorems.     

The behavior of \sum\nolimits_{n = 1}^\infty {{{\zeta ^{ \llcorner n\theta \lrcorner } } \mathord{\left/ {\vphantom {{\zeta ^{ \llcorner n\theta \lrcorner } } n}} \right. \kern-\nulldelimiterspace} n}} for particular values of θ

Let ζ be a primitive q′-root of unity. We prove that the series $ \sum\nolimits_{n = 1}^\infty {{{\zeta ^{ \llcorner n\theta \lrcorner } } \mathord{\left/ {\vphantom {{\zeta ^{ \llcorner n\theta \lrcorner } } n}} \right. \kern-0em} n}} $ for θ ∈ Q converges if and only if θ = p/q with (p,q) = 1 and q′ ? p, and that there exists an uncountable set S of Liouville’s numbers such that the series does not converge when θ ∈ S.     

Teichmüller curves in genus three and just likely intersections in $\mathbf{G}_{m}^{n}\times\mathbf{G}_{a}^{n}$

We prove that the moduli space of compact genus three Riemann surfaces contains only finitely many algebraically primitive Teichmüller curves. For the stratum \(\Omega\mathcal{M}_{3}(4)\), consisting of holomorphic one-forms with a single zero, our approach to finiteness uses the Harder-Narasimhan filtration of the Hodge bundle over a Teichmüller curve to obtain new information on the locations of the zeros of eigenforms. By passing to the boundary of moduli space, this gives explicit constraints on the cusps of Teichmüller curves in terms of cross-ratios of six points on \(\mathbf{P}^{1}\).These constraints are akin to those that appear in Zilber and Pink’s conjectures on unlikely intersections in diophantine geometry. However, in our case one is lead naturally to the intersection of a surface with a family of codimension two algebraic subgroups of \(\mathbf{G}_{m}^{n}\times\mathbf{G}_{a}^{n}\) (rather than the more standard \(\mathbf{G}_{m}^{n}\)). The ambient algebraic group lies outside the scope of Zilber’s Conjecture but we are nonetheless able to prove a sufficiently strong height bound.For the generic stratum \(\Omega\mathcal{M}_{3}(1,1,1,1)\), we obtain global torsion order bounds through a computer search for subtori of a codimension-two subvariety of \(\mathbf{G}_{m}^{9}\). These torsion bounds together with new bounds for the moduli of horizontal cylinders in terms of torsion orders yields finiteness in this stratum. The intermediate strata are handled with a mix of these techniques.     

Menger’s theorem in {{\Pi^1_1\tt{-CA}_0}}

We prove Menger’s theorem for countable graphs in ${{\Pi^1_1\tt{-CA}_0}}$ . Our proof in fact proves a stronger statement, which we call extended Menger’s theorem, that is equivalent to ${{\Pi^1_1\tt{-CA}_0}}$ over ${{\tt{RCA}_0}}$ .     

$\mathbb{Z}_+^k$-作用的方向原像熵

In this paper,a new type of entropy,directional preimage entropy including topological and measure theoretic versions for■-actions,is introduced.Some of their properties including relationships and the invariance are obtained.Moreover,several systems including■-actions generated by the expanding maps,■-actions defined on finite graphs and some infinite graphs with zero directional preimage branch entropy are studied.     

Covers ℘ for Abstract Regular Polytopes \mathcal {Q} such that \mathcal{Q}=\mathcal{P}/\mathbf{Z}_{p}^{k}

One key problem in the theory of abstract polytopes is the so-called amalgamation problem. In its most general form, this is the problem of characterising the polytopes with given facets  $\mathcal {K}$ and vertex figures ?. The first step in solving it for particular  $\mathcal{K}$ and ? is to find the universal such polytope, which covers all the others. This article explains a construction that may be attempted on an arbitrary polytope ?, which often yields an infinite family of finite polytopes covering ? and sharing its facets and vertex figures. The existence of such an infinite family proves that the universal polytope is infinite; alternatively, the construction can produce an explicit example of an infinite polytope of the desired type. An algorithm for attempting the construction is explained, along with sufficient conditions for it to work. The construction is applied to a few  $\mathcal{K}$ and ? for which it was previously not known whether or not the universal polytope was infinite, or for which only a finite number of finite polytopes was previously known. It is conjectured that the construction is quite broadly applicable.     

Extremal Self-Dual Codes over \mathbb{F} 2 × \mathbb{F} 2

In this paper, it is shown that extremal (Hermitian) self-dual codes over ₂ × ₂ exist only for lengths 1, 2, 3, 4, 5, 8 and 10. All extremal self-dual codes over ₂ × ₂ are found. In particular, it is shown that there is a unique extremal self-dual code up to equivalence for lengths 8 and 10. Optimal self-dual codes are also investigated. A classification is given for binary [12, 7, 4] codes with dual distance 4, binary [13, 7, 4] codes with dual distance 4 and binary [13, 8, 4] codes with dual distance 4.     

System Representations for the Paley–Wiener Space $$\mathcal {PW}_{\pi }^2$$

In this paper we study the approximation of stable linear time-invariant systems for the Paley–Wiener space \(\mathcal {PW}_{\pi }^2\), i.e., the set of bandlimited functions with finite \(L^2\)-norm, by convolution sums. It is possible to use either, the convolution sum where the time variable is in the argument of the bandlimited impulse response, or the convolution sum where the time variable is in the argument of the function, as an approximation process. In addition to the pointwise and uniform convergence behavior, the convergence behavior in the norm of the considered function space, i.e. the \(L^2\)-norm in our case, is important. While it is well-known that both convolution sums converge uniformly on the whole real axis, the \(L^2\)-norm of the second convolution sum can be divergent for certain functions and systems. We show that the there exist an infinite dimensional closed subspace of functions and an infinite dimensional closed subspace of systems, such that for any pair of function and system from these two sets, we have norm divergence.     

Asymptotic behavior of sums of the type\sum\limits_{\kappa = m}^{n - 1} {\exp } (i\omega \sqrt {n\kappa } ) as n,m → ∞

The asymptotic behavior asn, m → ∞ of the sum $$\sum\limits_{\kappa ,\ell = m}^{n - 1} {\exp \left[ {i\omega \sqrt n \left( {\sqrt \kappa + \sqrt \ell } \right)} \right]} \Phi \left( {1 - \frac{{\left| {\sqrt \kappa - \sqrt \ell } \right|}}{\Delta }} \right)$$ is studied where π(t)=0 for t?0 and φ(t)=t for t > 0.     

Irreducible Modules Over Witt Algebras $\mathcal {W}_{n}$ and Over 𝖘𝖑n+1(ℂ)$\mathfrak {sl}_{n+1}(\mathbb {C})$

In this paper, by using the “twisting technique” we obtain a class of new modules A _b over the Witt algebras \(\mathcal {W}_{n}\) from modules A over the Weyl algebras \(\mathcal {K}_{n}\) (of Laurent polynomials) for any \(b\in \mathbb {C}\). We give necessary and sufficient conditions for A _b to be irreducible, and determine necessary and sufficient conditions for two such irreducible \(\mathcal {W}_{n}\)-modules to be isomorphic. Since \(\mathfrak {sl}_{n+1}(\mathbb {C})\) is a subalgebra of \(\mathcal {W}_{n}\), all the above irreducible \(\mathcal {W}_{n}\)-modules A _b can be considered as \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules. For a class of such \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules, denoted by Ω_1?a (λ ₁, λ ₂, ? ,λ _n ) where \(a\in \mathbb {C}, \lambda _{1},\lambda _{2},\cdots ,\lambda _{n} \in \mathbb {C}^{*}\), we determine necessary and sufficient conditions for these \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules to be irreducible. If the \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-module Ω_1?a (λ ₁, λ ₂,? ,λ _n ) is reducible, we prove that it has a unique nontrivial submodule W _1?a (λ ₁, λ ₂,...λ _n ) and the quotient module is the finite dimensional \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-module with highest weight mΛ _n for some non-negative integer \(m\in \mathbb {Z}_{+}\). We also determine necessary and sufficient conditions for two \(\mathfrak {sl}_{n+1}(\mathbb {C})\)-modules of the form Ω_1?a (λ ₁, λ ₂,? ,λ _n ) or of the form W _1?a (λ ₁, λ ₂,...λ _n ) to be isomorphic.     

The Iwasawa invariant $$\mu$$ μ vanishes for $$\mathbb{Z}_{2}$$ Z 2 -extensions of certain real biquadratic fields

Acta Mathematica Hungarica - For a real biquadratic field, we denote by $$\lambda$$ , $$\mu$$ and $$\nu$$ the Iwasawa invariants of cyclotomic $$\mathbb{Z}_{2}$$ -extension of $$k$$ . We give...     

Some new estimates of the Fourier transform in \mathbb{L}_2 (ℝ)

Given a function $\mathbb{L}_2 $ (?), its Fourier transform $g(x) = \hat f(x) = F[f](x) = \frac{1} {{\sqrt {2\pi } }}\int\limits_{ - \infty }^{ + \infty } {f(x)e^{ - ixt} dt} ,f(t) = F^{ - 1} [g](t) = \frac{1} {{\sqrt {2\pi } }}\int\limits_{ - \infty }^{ + \infty } {g(x)e^{ - ixt} dx} $ and the inverse Fourier transform are considered in the space f ε $\mathbb{L}_2 $ (?). New estimates are presented for the integral $\int\limits_{|t| \geqslant N} {|g(t)|^2 dt} = \int\limits_{|t| \geqslant N} {|\hat f(t)|^2 dt} ,N \geqslant 1,$ in the vase of f ε $\mathbb{L}_2 $ (?) characterized by the generalized modulus of continuity of the kth order constructed with the help of the Steklov function. Some other estimates associated with this integral are proved.     

PA���е�H\'{a}jek-R\'{e}nyi�Ͳ���ʽ��ǿ��������

In this paper, a new H\'{a}jek-R\'{e}nyi-type inequality for mean zero associated random variables is obtained, which generalizes and improves the result of Theorem 2.2 of \ncite{9}. In addition, a Brunk-Prokhorov-type strong law of large numbers is also given.     

Orbit inequivalent actions for groups containing a copy of $\mathbb{F}_{2}$

We prove that if a countable group Γ contains a copy of \mathbbF₂\mathbb{F}_{2}, then it admits uncountably many non orbit equivalent actions.     

关于S\''{a}rk\"{o}zy和S\''{o}s问题的一个注记

令$k,\ell \geq 2$是正整数.令$A$是无限非负整数的集合.对$n\in \mathbb{N}$, 令$r_{1,k,\ldots,k^{\ell-1}}(A, n)$表示方程$n=a_0+ka_1+\cdots +k^{\ell-1}a_{\ell-1}$, $a_0, \ldots, a_{\ell-1}\in A$解的个数. 在本文中, 我们证明了对所有$n\geq 0$, $r_{1,k,\ldots,k^{\ell-1}}(A, n)=1$当且仅当$A$是$k^\ell$进制展开中数位小于$k$的所有非负整数的集合. 这个结果部分回答了S\''{a}rk\"{o}zy and S\''{o}s关于多维线性型表示的一个问题.     

二部图形式的Erd\H{O}s-S\'{o}s猜想

二部图形式的Erd\H{O}s-S\''{o}s猜想     

Über die Summe\mathop \Sigma \limits_{p \leqq N} e(\alpha p)

Ohne Zusammenfassung     

Bounding \lambda _{2} for Kähler–Einstein metrics with large symmetry groups

We calculate an upper bound for the second non-zero eigenvalue of the scalar Laplacian, \(\lambda _{2}\) , for toric-Kähler–Einstein metrics in terms of the polytope data. We also give a similar upper bound for Koiso–Sakane type Kähler–Einstein metrics. We provide some detailed examples in complex dimensions 1, 2 and 3.