On the boundary of the attainable set of the dirichlet spectrum

Denoting by ${\varepsilon\subseteq\mathbb{R}^2}$ the set of the pairs ${(\lambda_1(\Omega),\,\lambda_2(\Omega))}$ for all the open sets ${\Omega\subseteq\mathbb{R}^N}$ with unit measure, and by ${\Theta\subseteq\mathbb{R}^N}$ the union of two disjoint balls of half measure, we give an elementary proof of the fact that ${\partial\varepsilon}$ has horizontal tangent at its lowest point ${(\lambda_1(\Theta),\,\lambda_2(\Theta))}$ .     

The Groupoidal Analogue \widetilde{{\Theta}} to Joyal’s Category Θ is a Test Category

We introduce the groupoidal analogue $\widetilde{\Theta}$ to Joyal’s cell category Θ and we prove that $\widetilde{\Theta}$ is a strict test category in the sense of Grothendieck. This implies that presheaves on $\widetilde{\Theta}$ model homotopy types in a canonical way. We also prove that the canonical functor from Θ to $\widetilde{\Theta}$ is aspherical, again in the sense of Grothendieck. This allows us to compare weak equivalences of presheaves on $\widetilde{\Theta}$ to weak equivalences of presheaves on Θ. Our proofs apply to other categories analogous to Θ.     

A covering lemma for {K(\mathbb {R})}

The Dodd–Jensen Covering Lemma states that “if there is no inner model with a measurable cardinal, then for any uncountable set of ordinals X, there is a ${Y\in K}$ such that ${X\subseteq Y}$ and |X| = |Y|”. Assuming ZF+AD alone, we establish the following analog: If there is no inner model with an ${\mathbb {R}}$ –complete measurable cardinal, then the real core model ${K(\mathbb {R})}$ is a “very good approximation” to the universe of sets V; that is, ${K(\mathbb {R})}$ and V have exactly the same sets of reals and for any set of ordinals X with ${|{X}|\ge\Theta}$ , there is a ${Y\in K(\mathbb {R})}$ such that ${X\subseteq Y}$ and |X| = |Y|. Here ${\mathbb {R}}$ is the set of reals and ${\Theta}$ is the supremum of the ordinals which are the surjective image of ${\mathbb {R}}$ .     

Collapsibility and Vanishing of Top Homology in Random Simplicial Complexes

Let $\Delta _{n-1}$ denote the $(n-1)$ -dimensional simplex. Let $Y$ be a random $d$ -dimensional subcomplex of $\Delta _{n-1}$ obtained by starting with the full $(d-1)$ -dimensional skeleton of $\Delta _{n-1}$ and then adding each $d$ -simplex independently with probability $p=\frac{c}{n}$ . We compute an explicit constant $\gamma _d$ , with $\gamma _2 \simeq 2.45$ , $\gamma _3 \simeq 3.5$ , and $\gamma _d=\Theta (\log d)$ as $d \rightarrow \infty $ , so that for $c < \gamma _d$ such a random simplicial complex either collapses to a $(d-1)$ -dimensional subcomplex or it contains $\partial \Delta _{d+1}$ , the boundary of a $(d+1)$ -dimensional simplex. We conjecture this bound to be sharp. In addition, we show that there exists a constant $\gamma _d< c_d <d+1$ such that for any $c>c_d$ and a fixed field $\mathbb{F }$ , asymptotically almost surely $H_d(Y;\mathbb{F }) \ne 0$ .     

Stability results for the N-dimensional Schiffer conjecture via a perturbation method

Given a eigenvalue $\mu _{0m}^2$ of $-\Delta $ in the unit ball $B_1$ , with Neumann boundary conditions, we prove that there exists a class $\mathcal{D}$ of $C^{0,1}$ -domains, depending on $\mu _{0m} $ , such that if $u$ is a no trivial solution to the following problem $ \Delta u+\mu u=0$ in $\Omega , u=0$ on $\partial \Omega $ , and $ \int \nolimits _{\partial \Omega }\partial _{\mathbf{n}}u=0$ , with $\Omega \in \mathcal{D}$ , and $\mu =\mu _{0m}^2+o(1)$ , then $\Omega $ is a ball. Here $\mu $ is a eigenvalue of $-\Delta $ in $\Omega $ , with Neumann boundary conditions.     

On the L p -distortion of finite quotients of amenable groups

We study the L ^p -distortion of finite quotients of amenable groups. In particular, for every ${2\leq p < \infty}$ , we prove that the ? ^p -distortions of the groups ${C_2\wr C_n}$ and ${C_{2^n}\rtimes C_n}$ are in ${\Theta((\log n)^{1/p}),}$ and that the ? ^p -distortion of ${C_n^2 \rtimes_A \mathbf{Z}}$ , where A is the matrix ${{\left({\small\begin{array}{cc}2 & 1 \\ 1 & 1 \end{array}} \right)}}$ is in ${\Theta((\log \log n)^{1/p}).}$      

New approximations for the cone of copositive matrices and its dual

We provide convergent hierarchies for the convex cone $\mathcal{C }$ of copositive matrices and its dual $\mathcal{C }^*$ , the cone of completely positive matrices. In both cases the corresponding hierarchy consists of nested spectrahedra and provide outer (resp. inner) approximations for $\mathcal{C }$ (resp. for its dual $\mathcal{C }^*$ ), thus complementing previous inner (resp. outer) approximations for $\mathcal{C }$ (for $\mathcal{C }^*$ ). In particular, both inner and outer approximations have a very simple interpretation. Finally, extension to $\mathcal{K }$ -copositivity and $\mathcal{K }$ -complete positivity for a closed convex cone $\mathcal{K }$ , is straightforward.     

Model selection for density estimation with \mathbb L _2-loss

We consider here estimation of an unknown probability density $s$ belonging to $\mathbb L _2(\mu )$ where $\mu $ is a probability measure. We have at hand $n$ i.i.d. observations with density $s$ and use the squared $\mathbb L _2$ -norm as our loss function. The purpose of this paper is to provide an abstract but completely general method for estimating $s$ by model selection, allowing to handle arbitrary families of finite-dimensional (possibly non-linear) models and any $s\in \mathbb L _2(\mu )$ . We shall, in particular, consider the cases of unbounded densities and bounded densities with unknown $\mathbb L _\infty $ -norm and investigate how the $\mathbb L _\infty $ -norm of $s$ may influence the risk. We shall also provide applications to adaptive estimation and aggregation of preliminary estimators. One major technical tool of our approach is a proof of the existence of suitable tests between $\mathbb L _2$ -balls with centers belonging to $\mathbb L _\infty $ . Although of a purely theoretical nature, our method leads to results that cannot presently be reached by more concrete ones.     

Hypercentralizing generalized skew derivations on left ideals in prime rings

Let $\mathcal{R }$ be a prime ring of characteristic different from $2, \mathcal{Q }_r$ the right Martindale quotient ring of $\mathcal{R }, \mathcal{C }$ the extended centroid of $\mathcal{R }, \mathcal{I }$ a nonzero left ideal of $\mathcal{R }, F$ a nonzero generalized skew derivation of $\mathcal{R }$ with associated automorphism $\alpha $ , and $n,k \ge 1$ be fixed integers. If $[F(r^n),r^n]_k=0$ for all $r \in \mathcal{I }$ , then there exists $\lambda \in \mathcal{C }$ such that $F(x)=\lambda x$ , for all $x\in \mathcal{I }$ . More precisely one of the following holds: (1) $\alpha $ is an $X$ -inner automorphism of $\mathcal{R }$ and there exist $b,c \in \mathcal{Q }_r$ and $q$ invertible element of $\mathcal{Q }_r$ , such that $F(x)=bx-qxq^{-1}c$ , for all $x\in \mathcal{Q }_r$ . Moreover there exists $\gamma \in \mathcal{C }$ such that $\mathcal{I }(q^{-1}c-\gamma )=(0)$ and $b-\gamma q \in \mathcal{C }$ ; (2) $\alpha $ is an $X$ -outer automorphism of $\mathcal{R }$ and there exist $c \in \mathcal{Q }_r, \lambda \in \mathcal{C }$ , such that $F(x)=\lambda x-\alpha (x)c$ , for all $x\in \mathcal{Q }_r$ , with $\alpha (\mathcal{I })c=0$ .     

Yangians and quantum loop algebras

Let $\mathfrak{g }$ be a complex, semisimple Lie algebra. Drinfeld showed that the quantum loop algebra $U_\hbar (L\mathfrak g )$ of $\mathfrak{g }$ degenerates to the Yangian ${Y_\hbar (\mathfrak g )}$ . We strengthen this result by constructing an explicit algebra homomorphism $\Phi $ from $U_\hbar (L\mathfrak g )$ to the completion of ${Y_\hbar (\mathfrak g )}$ with respect to its grading. We show moreover that $\Phi $ becomes an isomorphism when ${U_\hbar (L\mathfrak g )}$ is completed with respect to its evaluation ideal. We construct a similar homomorphism for $\mathfrak{g }=\mathfrak{gl }_n$ and show that it intertwines the actions of $U_\hbar (L\mathfrak gl _{n})$ and $Y_\hbar (\mathfrak gl _{n})$ on the equivariant $K$ -theory and cohomology of the variety of $n$ -step flags in ${\mathbb{C }}^d$ constructed by Ginzburg–Vasserot.     

Asymptotics for Some Combinatorial Characteristics of the Convex Hull of a Poisson Point Process in the Clifford Torus

Let $\mathcal P _\lambda $ be a homogeneous Poisson point process of rate $\lambda $ in the Clifford torus $T^2\subset \mathbb E ^4$ . Let $(f_0, f_1, f_2, f_3)$ be the $f$ -vector of conv $\,\mathcal P _\lambda $ and let $\bar{v}$ be the mean valence of a vertex of the convex hull. Asymptotic expressions for $\mathsf E \, f_1$ , $\mathsf E \, f_2$ , $\mathsf E \, f_3$ and $\mathsf E \, \bar{v}$ as $\lambda \rightarrow \infty $ are proved in this paper.     

Ranks of backward shift invariant subspaces of the Hardy space over the bidisk

Let $\{\varphi _n(z)\}_{n\ge 0}$ be a sequence of inner functions satisfying that $\zeta _n(z):=\varphi _n(z)/\varphi _{n+1}(z)\in H^\infty (z)$ for every $n\ge 0$ and $\{\varphi _n(z)\}_{n\ge 0}$ has no nonconstant common inner divisors. Associated with it, we have a Rudin type invariant subspace $\mathcal{M }$ of $H^2(\mathbb{D }^2)$ . The ranks of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }_z$ and $\mathcal{F }^*_z$ respectively are determined, where $\mathcal{F }_z$ is the fringe operator on $\mathcal{M }\ominus w\mathcal{M }$ . Let $\mathcal{N }= H^2(\mathbb{D }^2)\ominus \mathcal{M }$ . It is also proved that the rank of $\mathcal{M }\ominus w\mathcal{M }$ for $\mathcal{F }^*_z$ equals to the rank of $\mathcal{N }$ for $T^*_z$ and $T^*_w$ .     

Chromatic Gallai identities operating on Lovász number

If $G$ is a triangle-free graph, then two Gallai identities can be written as $\alpha (G)+\overline{\chi }(L(G))=|V(G)|=\alpha (L(G))+\overline{\chi }(G)$ , where $\alpha $ and $\overline{\chi }$ denote the stability number and the clique-partition number, and $L(G)$ is the line graph of  $G$ . We show that, surprisingly, both equalities can be preserved for any graph $G$ by deleting the edges of the line graph corresponding to simplicial pairs of adjacent arcs, according to any acyclic orientation of  $G$ . As a consequence, one obtains an operator $\Phi $ which associates to any graph parameter $\beta $ such that $\alpha (G) \le \beta (G) \le \overline{\chi }(G)$ for all graph $G$ , a graph parameter $\Phi _\beta $ such that $\alpha (G) \le \Phi _\beta (G) \le \overline{\chi }(G)$ for all graph $G$ . We prove that $\vartheta (G) \le \Phi _\vartheta (G)$ and that $\Phi _{\overline{\chi }_f}(G)\le \overline{\chi }_f(G)$ for all graph  $G$ , where $\vartheta $ is Lovász theta function and $\overline{\chi }_f$ is the fractional clique-partition number. Moreover, $\overline{\chi }_f(G) \le \Phi _\vartheta (G)$ for triangle-free $G$ . Comparing to the previous strengthenings $\Psi _\vartheta $ and $\vartheta ^{+ \triangle }$ of $\vartheta $ , numerical experiments show that $\Phi _\vartheta $ is a significant better lower bound for $\overline{\chi }$ than $\vartheta $ .     

A functional model associated with a generalized Nevanlinna pair

Let $ \mathcal{L} $ be a Hilbert space, and let $ \mathcal{H} $ be a Pontryagin space. For every self-adjoint linear relation $ \tilde{A} $ in $ \mathcal{H} \oplus \mathcal{L} $ , the pair $ \{ I + \lambda \psi (\lambda ),\,\psi (\lambda )\} $ where $ \psi (\lambda ) $ is the compressed resolvent of $ \tilde{A} $ , is a normalized generalized Nevanlinna pair. Conversely, every normalized generalized Nevanlinna pair is shown to be associated with some self-adjoint linear relation $ \tilde{A} $ in the above sense. A functional model for this selfadjoint linear relation $ \tilde{A} $ is constructed.     

The Set of Packing and Covering Densities of Convex Disks

For every convex disk $K$ (a convex compact subset of the plane, with non-void interior), the packing density $\delta (K)$ and covering density ${\vartheta (K)}$ form an ordered pair of real numbers, i.e., a point in $\mathbb{R }^2$ . The set $\varOmega $ consisting of points assigned this way to all convex disks is the subject of this article. A few known inequalities on $\delta (K)$ and ${\vartheta (K)}$ jointly outline a relatively small convex polygon $P$ that contains $\varOmega $ , while the exact shape of $\varOmega $ remains a mystery. Here we describe explicitly a leaf-shaped convex region $\Lambda $ contained in $\varOmega $ and occupying a good portion of $P$ . The sets $\varOmega _T$ and $\varOmega _L$ of translational packing and covering densities and lattice packing and covering densities are defined similarly, restricting the allowed arrangements of $K$ to translated copies or lattice arrangements, respectively. Due to affine invariance of the translative and lattice density functions, the sets $\varOmega _T$ and $\varOmega _L$ are compact. Furthermore, the sets $\varOmega , \,\varOmega _T$ and $\varOmega _L$ contain the subsets $\varOmega ^\star , \,\varOmega _T^\star $ and $\varOmega _L^\star $ respectively, corresponding to the centrally symmetric convex disks $K$ , and our leaf $\Lambda $ is contained in each of $\varOmega ^\star , \,\varOmega _T^\star $ and $\varOmega _L^\star $ .     

A unified approach for minimizing composite norms

We propose a first-order augmented Lagrangian algorithm (FALC) to solve the composite norm minimization problem $$\begin{aligned} \begin{array}{ll} \min \limits _{X\in \mathbb{R }^{m\times n}}&\mu _1\Vert \sigma (\mathcal{F }(X)-G)\Vert _\alpha +\mu _2\Vert \mathcal{C }(X)-d\Vert _\beta ,\\ \text{ subject} \text{ to}&\mathcal{A }(X)-b\in \mathcal{Q }, \end{array} \end{aligned}$$ where $\sigma (X)$ denotes the vector of singular values of $X \in \mathbb{R }^{m\times n}$ , the matrix norm $\Vert \sigma (X)\Vert _{\alpha }$ denotes either the Frobenius, the nuclear, or the $\ell _2$ -operator norm of $X$ , the vector norm $\Vert .\Vert _{\beta }$ denotes either the $\ell _1$ -norm, $\ell _2$ -norm or the $\ell _{\infty }$ -norm; $\mathcal{Q }$ is a closed convex set and $\mathcal{A }(.)$ , $\mathcal{C }(.)$ , $\mathcal{F }(.)$ are linear operators from $\mathbb{R }^{m\times n}$ to vector spaces of appropriate dimensions. Basis pursuit, matrix completion, robust principal component pursuit (PCP), and stable PCP problems are all special cases of the composite norm minimization problem. Thus, FALC is able to solve all these problems in a unified manner. We show that any limit point of FALC iterate sequence is an optimal solution of the composite norm minimization problem. We also show that for all $\epsilon >0$ , the FALC iterates are $\epsilon $ -feasible and $\epsilon $ -optimal after $\mathcal{O }(\log (\epsilon ^{-1}))$ iterations, which require $\mathcal{O }(\epsilon ^{-1})$ constrained shrinkage operations and Euclidean projection onto the set $\mathcal{Q }$ . Surprisingly, on the problem sets we tested, FALC required only $\mathcal{O }(\log (\epsilon ^{-1}))$ constrained shrinkage, instead of the $\mathcal{O }(\epsilon ^{-1})$ worst case bound, to compute an $\epsilon $ -feasible and $\epsilon $ -optimal solution. To best of our knowledge, FALC is the first algorithm with a known complexity bound that solves the stable PCP problem.     

Rank-two stable sheaves with odd determinant on Fano threefolds of genus nine

According to Mukai and Iliev, a smooth prime Fano threefold $X$ of genus $9$ is associated with a surface $\mathbb{P }(\mathcal{V })$ , ruled over a smooth plane quartic $\varGamma $ , and the derived category of $\varGamma $ embeds into that of $X$ by a theorem of Kuznetsov. We use this setup to study the moduli spaces of rank- $2$ stable sheaves on $X$ with odd determinant. For each $c_2 \ge 7$ , we prove that a component of their moduli space $\mathsf{M}_X(2,1,c_2)$ is birational to a Brill–Noether locus of vector bundles with fixed rank and degree on $\varGamma $ , having enough sections when twisted by $\mathcal{V }$ . For $c_2=7$ , we prove that $\mathsf{M}_X(2,1,7)$ is isomorphic to the blow-up of the Picard variety $\text{ Pic}^{2}({\varGamma })$ along the curve parametrizing lines contained in $X$ .     

On the Hall algebra of semigroup representations over \mathbb F _1

Let $\mathrm{A }$ be a finitely generated semigroup with 0. An $\mathrm{A }$ -module over $\mathbb F _1$ (also called an $\mathrm{A }$ -set), is a pointed set $(M,*)$ together with an action of $\mathrm{A }$ . We define and study the Hall algebra $\mathbb H _{\mathrm{A }}$ of the category $\mathcal C _{\mathrm{A }}$ of finite $\mathrm{A }$ -modules. $\mathbb H _{\mathrm{A }}$ is shown to be the universal enveloping algebra of a Lie algebra $\mathfrak n _{\mathrm{A }}$ , called the Hall Lie algebra of $\mathcal C _{\mathrm{A }}$ . In the case of $\langle t \rangle $ —the free monoid on one generator $\langle t \rangle $ , the Hall algebra (or more precisely the Hall algebra of the subcategory of nilpotent $\langle t \rangle $ -modules) is isomorphic to Kreimer’s Hopf algebra of rooted forests. This perspective allows us to define two new commutative operations on rooted forests. We also consider the examples when $\mathrm{A }$ is a quotient of $\langle t \rangle $ by a congruence, and the monoid $G \cup \{ 0\}$ for a finite group $G$ .     

An Index Formula in Connection with Meromorphic Approximation

Let $\Phi $ be a continuous $n\times n$ matrix-valued function on the unit circle $\mathbb T $ such that the $(k-1)$ st singular value of the Hankel operator with symbol $\Phi $ is greater than the $k$ th singular value. In this case, it is well-known that $\Phi $ has a unique superoptimal meromorphic approximant $Q$ in $H^{\infty }_{(k)}$ ; that is, $Q$ has at most $k$ poles in the unit disc $\mathbb D $ (in the sense that the McMillan degree of $Q$ in $\mathbb D $ is at most $k$ ) and $Q$ minimizes the essential suprema of singular values $s_{j}\left((\Phi -Q)(\zeta )\right)\!, j\ge 0$ , with respect to the lexicographic ordering. For each $j\ge 0$ , the essential supremum of $s_{j}\left((\Phi -Q)(\zeta )\right)$ is called the $j$ th superoptimal singular value of degree $k$ of $\Phi $ . We prove that if $\Phi $ has $n$ non-zero superoptimal singular values of degree $k$ , then the Toeplitz operator $T_{\Phi -Q}$ with symbol $\Phi -Q$ is Fredholm and has index $$ \mathrm{ind}T_{\Phi -Q}=\dim \ker T_{\Phi -Q}=2k+\dim \mathcal E , $$ where $\mathcal E =\{ \xi \in \ker H_{Q}: \Vert H_{\Phi }\xi \Vert _{2}=\Vert (\Phi -Q)\xi \Vert _{2}\}$ and $H_{\Phi }$ denotes the Hankel operator with symbol $\Phi $ . This result can in fact be extended from continuous matrix-valued functions to the wider class of $k$ -admissible matrix-valued functions, i.e. essentially bounded $n\times n$ matrix-valued functions $\Phi $ on $\mathbb T $ for which the essential norm of the Hankel operator $H_{\Phi }$ is strictly less than the smallest non-zero superoptimal singular value of degree $k$ of $\Phi $ .