Bent functions embedded into the recursive framework of {\mathbb{Z}} -bent functions

Suppose that n is even. Let ${\mathbb{F}_2}$ denote the two-element field and ${\mathbb{Z}}$ the set of integers. Bent functions can be defined as ± 1-valued functions on ${\mathbb{F}_2^n}$ with ± 1-valued Fourier transform. More generally we call a mapping f on ${\mathbb{F}_2^n}$ a ${\mathbb{Z}}$ -bent function if both f and its Fourier transform ${\widehat{f}}$ are integer-valued. ${\mathbb{Z}}$ -bent functions f are separated into different levels, depending on the size of the maximal absolute value attained by f and ${\widehat{f}}$ . It is shown how ${\mathbb{Z}}$ -bent functions of lower level can be built up recursively by gluing together ${\mathbb{Z}}$ -bent functions of higher level. This recursion comes down at level zero, containing the usual bent functions. In the present paper we start to study bent functions in the framework of ${\mathbb{Z}}$ -bent functions and give some guidelines for further research.     

Conservative fragments of {{S}^{1}_{2}} and {{R}^{1}_{2}}

Conservative subtheories of ${{R}^{1}_{2}}$ and ${{S}^{1}_{2}}$ are presented. For ${{S}^{1}_{2}}$ , a slight tightening of Je?ábek??s result (Math Logic Q 52(6):613?C624, 2006) that ${T^{0}_{2} \preceq_{\forall \Sigma^{b}_{1}}S^{1}_{2}}$ is presented: It is shown that ${T^{0}_{2}}$ can be axiomatised as BASIC together with induction on sharply bounded formulas of one alternation. Within this ${\forall\Sigma^{b}_{1}}$ -theory, we define a ${\forall\Sigma^{b}_{0}}$ -theory, ${T^{-1}_{2}}$ , for the ${\forall\Sigma^{b}_{0}}$ -consequences of ${S^{1}_{2}}$ . We show ${T^{-1}_{2}}$ is weak by showing it cannot ${\Sigma^{b}_{0}}$ -define division by 3. We then consider what would be the analogous ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ based on Pollett (Ann Pure Appl Logic 100:189?C245, 1999. It is shown that this theory, ${{T}^{0,\left\{2^{(||\dot{id}||)}\right\}}_{2}}$ , also cannot ${\Sigma^{b}_{0}}$ -define division by 3. On the other hand, we show that ${{S}^{0}_{2}+open_{\{||id||\}}}$ -COMP is a ${\forall\hat\Sigma^{b}_{1}}$ -conservative subtheory of ${R^{1}_{2}}$ . Finally, we give a refinement of Johannsen and Pollett (Logic Colloquium?? 98, 262?C279, 2000) and show that ${\hat{C}^{0}_{2}}$ is ${\forall\hat\Sigma^{b}_{1}}$ -conservative over a theory based on open _cl-comprehension.     

Hausdorff measures of subgroups of \mathbb{R }/\mathbb{Z } and \mathbb{R }

For a sequence $\underline{u}=(u_n)_{n\in \mathbb{N }}$ of integers, let $t_{\underline{u}}(\mathbb{T })$ be the group of all topologically $\underline{u}$ -torsion elements of the circle group $\mathbb{T }:=\mathbb{R }/\mathbb{Z }$ . We show that for any $s\in ]0,1[$ and $m\in \{0,+\infty \}$ there exists $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has Hausdorff dimension $s$ and $s$ -dimensional Hausdorff measure equal to $m$ (no other values for $m$ are possible). More generally, for dimension functions $f,g$ with $f(t)\prec g(t), f(t)\prec \!\!\!\prec t$ and $g(t)\prec \!\!\!\prec t$ we find $\underline{u}$ such that $t_{\underline{u}}(\mathbb{T })$ has at the same time infinite $f$ -measure and null $g$ -measure.     

The \mathfrak {sl}_{3}-web algebra

In this paper we use Kuperberg’s $\mathfrak {sl}_3$ -webs and Khovanov’s $\mathfrak {sl}_3$ -foams to define a new algebra $K^S$ , which we call the $\mathfrak {sl}_3$ -web algebra. It is the $\mathfrak {sl}_3$ analogue of Khovanov’s arc algebra. We prove that $K^S$ is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of $q$ -skew Howe duality, which allows us to prove that $K^S$ is Morita equivalent to a certain cyclotomic KLR-algebra of level 3. This allows us to determine the split Grothendieck group $K^{\oplus }_0(\mathcal {W}^S)_{\mathbb {Q}(q)}$ , to show that its center is isomorphic to the cohomology ring of a certain Spaltenstein variety, and to prove that $K^S$ is a graded cellular algebra.     

Nikodym Maximal Functions Associated with Variable Planes in {\mathbb{R}^{3}}

Given a vector field ${\mathfrak{a}}$ on ${\mathbb{R}^3}$ , we consider a mapping ${x\mapsto \Pi_{\mathfrak{a}}(x)}$ that assigns to each ${x\in\mathbb{R}^3}$ , a plane ${\Pi_{\mathfrak{a}}(x)}$ containing x, whose normal vector is ${\mathfrak{a}(x)}$ . Associated with this mapping, we define a maximal operator ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^1_{loc}(\mathbb{R}^3)}$ for each ${N\gg 1}$ by $$\mathcal{M}^{\mathfrak{a}}_Nf(x)=\sup_{x\in\tau} \frac{1}{|\tau|} \int_{\tau}|f(y)|\,dy$$ where the supremum is taken over all 1/N ×? 1/N?× 1 tubes τ whose axis is embedded in the plane ${\Pi_\mathfrak{a}(x)}$ . We study the behavior of ${\mathcal{M}^{\mathfrak{a}}_N}$ according to various vector fields ${\mathfrak{a}}$ . In particular, we classify the operator norms of ${\mathcal{M}^{\mathfrak{a}}_N}$ on ${L^2(\mathbb{R}^3)}$ when ${\mathfrak{a}(x)}$ is the linear function of the form (a ₁₁ x ₁?+?a ₂₁ x ₂, a ₁₂ x ₁?+?a ₂₂ x ₂, 1). The operator norm of ${\mathcal{M}^\mathfrak{a}_N}$ on ${L^2(\mathbb{R}^3)}$ is related with the number given by $$D=(a_{12}+a_{21})^2-4a_{11}a_{22}.$$      

Complete bounded null curves immersed in {\mathbb {C}^3} and {\rm {SL}(2,\mathbb {C})}

We construct a simply connected complete bounded mean curvature one surface in the hyperbolic 3-space ${\mathcal {H}^3}$ . Such a surface in ${\mathcal {H}^3}$ can be lifted as a complete bounded null curve in ${\rm {SL}(2,\mathbb {C})}$ . Using a transformation between null curves in ${\mathbb {C}^3}$ and null curves in ${\rm {SL}(2,\mathbb {C})}$ , we are able to produce the first examples of complete bounded null curves in ${\mathbb {C}^3}$ . As an application, we can show the existence of a complete bounded minimal surface in ${\mathbb {R}^3}$ whose conjugate minimal surface is also bounded. Moreover, we can show the existence of a complete bounded immersed complex submanifold in ${\mathbb {C}^2}$ .     

Uniqueness of \mathbb{C}^{ * } - and \mathbb{C}_{{\text{ + }}} -actions on Gizatullin Surfaces

A Gizatullin surface is a normal affine surface V over $ \mathbb{C} $ , which can be completed by a zigzag; that is, by a linear chain of smooth rational curves. In this paper we deal with the question of uniqueness of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations on such a surface V up to automorphisms. The latter fibrations are in one to one correspondence with $ \mathbb{C}_{{\text{ + }}} $ -actions on V considered up to a “speed change”. Non-Gizatullin surfaces are known to admit at most one $ \mathbb{A}^{1} $ -fibration V → S up to an isomorphism of the base S. Moreover, an effective $ \mathbb{C}^{ * } $ -action on them, if it does exist, is unique up to conjugation and inversion t $ \mapsto $ t ^?1 of $ \mathbb{C}^{ * } $ . Obviously, uniqueness of $ \mathbb{C}^{ * } $ -actions fails for affine toric surfaces. There is a further interesting family of nontoric Gizatullin surfaces, called the Danilov-Gizatullin surfaces, where there are in general several conjugacy classes of $ \mathbb{C}^{ * } $ -actions and $ \mathbb{A}^{{\text{1}}} $ -fibrations, see, e.g., [FKZ1]. In the present paper we obtain a criterion as to when $ \mathbb{A}^{{\text{1}}} $ -fibrations of Gizatullin surfaces are conjugate up to an automorphism of V and the base $ S \cong \mathbb{A}^{{\text{1}}} $ . We exhibit as well large subclasses of Gizatullin $ \mathbb{C}^{ * } $ -surfaces for which a $ \mathbb{C}^{ * } $ -action is essentially unique and for which there are at most two conjugacy classes of $ \mathbb{A}^{{\text{1}}} $ -fibrations over $ \mathbb{A}^{{\text{1}}} $ .     

Estimates of three classical summations on the spaces F_p~(α,q)(R~n)(0 < p ≤ 1)

We obtain the boundedness on ˙Fα,qp(Rn) for the Poisson summation and Gauss summation. Their maximal operators are proved to be bounded from˙Fα,qp(Rn) to L∞(Rn).For the maximal operator of the Bochner-Riesz summation, we prove that it is bounded from˙Fα,qp(Rn) to Lpnn-pα,∞(Rn).     

Towards a classification of modular compactifications of \mathcal {M}_{g,n}

The moduli space of smooth curves admits a beautiful compactification $\mathcal{M}_{g,n} \subset \overline{\mathcal{M}}_{g,n}$ by the moduli space of stable curves. In this paper, we undertake a systematic classification of alternate modular compactifications of $\mathcal{M}_{g,n}$ . Let $\mathcal{U}_{g,n}$ be the (non-separated) moduli stack of all n-pointed reduced, connected, complete, one-dimensional schemes of arithmetic genus g. When g=0, $\mathcal{U}_{0,n}$ is irreducible and we classify all open proper substacks of $\mathcal{U}_{0,n}$ . When g≥1, $\mathcal{U}_{g,n}$ may not be irreducible, but there is a unique irreducible component $\mathcal{V}_{g,n} \subset\mathcal{U}_{g,n}$ containing $\mathcal{M}_{g,n}$ . We classify open proper substacks of $\mathcal {V}_{g,n}$ satisfying a certain stability condition.     

Geometric complexity of embeddings in {\mathbb{R}^{d}}

Given a simplicial complex K, we consider several notions of geometric complexity of embeddings of K in a Euclidean space \({\mathbb{R}^d}\) : thickness, distortion, and refinement complexity (the minimal number of simplices needed for a PL embedding). We show that any n-complex with N simplices which topologically embeds in \({\mathbb{R}^{2n}, n > 2}\) , can be PL embedded in \({\mathbb{R}^{2n}}\) with refinement complexity \({O(e^{N^{4+{\epsilon}}})}\) . Families of simplicial n-complexes K are constructed such that any embedding of K into \({\mathbb{R}^{2n}}\) has an exponential lower bound on thickness and refinement complexity as a function of the number of simplices of K. This contrasts embeddings in the stable range, \({K\subset \mathbb{R}^{2n+k}, k > 0}\) , where all known bounds on geometric complexity functions are polynomial. In addition, we give a geometric argument for a bound on distortion of expander graphs in Euclidean spaces. Several related open problems are discussed, including questions about the growth rate of complexity functions of embeddings, and about the crossing number and the ropelength of classical links.     

Constant Angle Property and Canonical Principal Directions for Surfaces in {\mathbb{M}^{2}(c) \times {\mathbb{R}_{1}}}

In this paper, we study surfaces in Lorentzian product spaces ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ . We classify constant angle spacelike and timelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ . Moreover, complete classifications of spacelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ and timelike surfaces in ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ with a canonical principal direction are obtained. Finally, a new characterization of the catenoid of the 3rd kind is established, as the only minimal timelike surface with a canonical principal direction in Minkowski 3–space.     

Quasilinear elliptic equations in \mathbb{R }^{N} via variational methods and Orlicz-Sobolev embeddings

In this paper we prove the existence of a nontrivial non-negative radial solution for the quasilinear elliptic problem $$\begin{aligned} \left\{ \begin{array}{l@{\quad }l} -\nabla \cdot \left[\phi ^{\prime }(|\nabla u|^2)\nabla u \right] +|u|^{\alpha -2}u =|u|^{s-2} u,&x\in \mathbb{R }^{N},\\ u(x) \rightarrow 0, \quad \text{ as} |x|\rightarrow \infty , \end{array} \right. \end{aligned}$$ where $N\ge 2, \phi (t)$ behaves like $t^{q/2}$ for small $t$ and $t^{p/2}$ for large $t, 1< p<q<N, 1<\alpha \le p^* q^{\prime }/p^{\prime }$ and $\max \{q,\alpha \}< s<p^*,$ being $p^*=\frac{pN}{N-p}$ and $p^{\prime }$ and $q^{\prime }$ the conjugate exponents, respectively, of $p$ and $q$ . Our aim is to approach the problem variationally by using the tools of critical points theory in an Orlicz-Sobolev space. A multiplicity result is also given.     

{\boldsymbol(}\boldsymbol{\mathcal{Z}}_{\bf 1}, \boldsymbol{\mathcal{Z}}_{\bf 2}{\boldsymbol)}-Complete Partially Ordered Sets and Their Representations by \boldsymbol{\mathcal{Q}}-Spaces

The present paper proposes a general theory for $\left( \mathcal{Z}_{1}, \mathcal{Z}_{2}\right) $ -complete partially ordered sets (alias $\mathcal{Z} _{1}$ -join complete and $\mathcal{Z}_{2}$ -meet complete partially ordered sets) and their Stone-like representations. It is shown that for suitably chosen subset selections $\mathcal{Z}_{i}$ (i?=?1,...,4) and $\mathcal{Q} =\left( \mathcal{Z}_{1},\mathcal{Z}_{2},\mathcal{Z}_{3},\mathcal{Z} _{4}\right) $ , the category $\mathcal{Q}$ P of $\left( \mathcal{Z}_{1},\mathcal{Z}_{2}\right) $ -complete partially ordered sets and $\left( \mathcal{Z}_{3},\mathcal{Z}_{4}\right) $ -continuous (alias $\mathcal{ Z}_{3}$ -join preserving and $\mathcal{Z}_{4}$ -meet preserving) functions forms a useful categorical framework for various order-theoretical constructs, and has a close connection with the category $\mathcal{Q}$ S of $\mathcal{Q}$ -spaces which are generalizations of topological spaces involving subset selections. In particular, this connection turns into a dual equivalence between the full subcategory $ \mathcal{Q}$ P _s of $\mathcal{Q}$ P of all $\mathcal{Q}$ -spatial objects and the full subcategory $\mathcal{Q}$ S _s of $\mathcal{Q}$ S of all $\mathcal{Q}$ -sober objects. Here $\mathcal{Q}$ -spatiality and $\mathcal{Q}$ -sobriety extend usual notions of spatiality of locales and sobriety of topological spaces to the present approach, and their relations to $\mathcal{Z}$ -compact generation and $\mathcal{Z}$ -sobriety have also been pointed out in this paper.     

Sharp L^{p,\infty }\rightarrow L^q Estimates for the Dyadic-Like Maximal Operators

For each \(1\le q we study the sharp versions of the \(L^{p,\infty }\rightarrow L^q\) estimates for the dyadic maximal operator on \(\mathbb {R}^n\) . Actually, this is done in the more general setting of maximal operators associated with a tree-like structure. The proof rests on a novel combination of the Bellman function technique and optimization arguments.     

Linear Transformations and Reduction Formulas for the Gelfand Hypergeometric Functions Associated with the Grassmannians $$G_{2,4} $$ and $$G_{3,6} $$

We show that the Gelfand hypergeometric functions associated with the Grassmannians $G_{2,4} $ and $G_{3,6} $ with some special relations imposed on the parameters can be represented in terms of hypergeometric series of a simpler form. In particular, a function associated with the Grassmannian $G_{2,4} $ (the case of three variables) can be represented (depending on the form of the additional conditions on the parameters of the series) in terms of the Horn series $H_2 ,G_2 $ , of the Appell functions $F_1 ,F_2 ,F_3 $ and of the Gauss functions $F_1^2 $ , while the functions associated with the Grassmannian $G_{3,6} $ (the case of four variables) can be represented in terms of the series $G_2 ,F_1 ,F_2 ,F_3 $ and $F_1^2 $ . The relation between certain formulas and the Gelfand--Graev--Retakh reduction formula is discussed. Combined linear transformations and universal elementary reduction rules underlying the method were implemented by a computer program developed by the authors on the basis of the computer algebra system Maple V-4.     

Blocks with Defect Group \boldsymbol{Q_{2^n}\times C_{2^m}} and \boldsymbol{SD_{2^n}\times C_{2^m}}

We determine the numerical invariants of blocks with defect group $Q_{2^n}\times C_{2^m}$ and $SD_{2^n}\times C_{2^m}$ , where $Q_{2^n}$ denotes a quaternion group of order 2 ⁿ , $C_{2^m}$ denotes a cyclic group of order 2 ^m , and $SD_{2^n}$ denotes a semidihedral group of order 2 ⁿ . This generalizes Olsson’s results for m?=?0. As a consequence, we prove Brauer’s k(B)-Conjecture, Olsson’s Conjecture, Brauer’s Height-Zero Conjecture, the Alperin–McKay Conjecture, Alperin’s Weight Conjecture and Robinson’s Ordinary Weight Conjecture for these blocks. Moreover, we show that the gluing problem has a unique solution in this case. This paper follows (and uses) (Sambale, J Pure Appl Algebra 216:119–125, 2012; Proc Amer Math Soc, 2012).     

Supports of (\mathfrak{g},\mathfrak{k})-modules of finite type

Let $\mathfrak{g}$ be a semisimple Lie algebra and $\mathfrak{k}$ be a reductive subalgebra in $\mathfrak{g}$ . We say that a $\mathfrak{g}$ -module M is a $(\mathfrak{g},\mathfrak{k})$ -module if M, considered as a $\mathfrak{k}$ -module, is a direct sum of finite-dimensional $\mathfrak{k}$ -modules. We say that a $(\mathfrak{g},\mathfrak{k})$ -module M is of finite type if all $\mathfrak{k}$ -isotopic components of M are finite-dimensional. In this paper we prove that any simple $(\mathfrak{g},\mathfrak{k})$ -module of finite type is holonomic. A simple $\mathfrak{g}$ -module M is associated with the invariants V(M), V(LocM), and L(M) reflecting the ??directions of growth of M.?? We also prove that for a given pair $(\mathfrak{g},\mathfrak{k})$ the set of possible invariants is finite.     

The {\bar{\partial}} -Neumann problem on product domains in {\mathbb{C}^{n}}

Let ${\Omega=\Omega_{1}\times\cdots\times\Omega_{n}\subset\mathbb{C}^{n}}$ , where ${\Omega_{j}\subset\mathbb{C}}$ is a bounded domain with smooth boundary. We study the solution operator to the ${\overline\partial}$ -Neumann problem for (0,1)-forms on Ω. In particular, we construct singular functions which describe the singular behavior of the solution. As a corollary our results carry over to the ${\overline\partial}$ -Neumann problem for (0,q)-forms. Despite the singularities, we show that the canonical solution to the ${\overline\partial}$ -equation, obtained from the Neumann operator, does not exhibit singularities when given smooth data.     

Spectrum of Functions and Distributions for the Jacobi-Dunkl Transform on {\mathbb{R}}

We establish real Paley-Wiener theorems for the Jacobi-Dunkl transform on ${\mathbb{R}}$ . More precisely, we characterize the functions in the generalized Schwartz space ${\mathcal{S}^{r}_{\alpha , \beta}(\mathbb{R})}$ and in ${L^{p}_{{A}_{\alpha , \beta}} \mathbb{R})}$ whose Jacobi-Dunkl transform has bounded, unbounded, convex and nonconvex support. Finally, we study the spectral problem on the generalized tempered distributions ${\mathcal{S}^{'r}_{\alpha , \beta}(\mathbb{R})}$ .     

Postulation of Disjoint Unions of Lines and Double Lines in {\mathbb{P}^3}

A double line ${C \subset \mathbb{P}^3}$ is a connected divisor of type (2, 0) on a smooth quadric surface. Fix ${(a, c) \in \mathbb{N}^2\ \backslash\ \{(0, 0)\}}$ . Let ${X \subset \mathbb{P}^3}$ be a general disjoint union of a lines and c double lines. Then X has maximal rank, i.e. for each ${t \in \mathbb{Z}}$ either ${h^1(\mathcal{I}_X(t)) = 0}$ or ${h^0(\mathcal{I}_X(t)) = 0}$ .