A Schwarz Lemma at the Boundary of Hilbert Balls

In this paper, the authors prove a general Schwarz lemma at the boundary for the holomorphic mapping f between unit balls B and B′in separable complex Hilbert spaces H and H′, respectively. It is found that if the mapping f ∈ C~(1+α)at z_0∈ ?B with f(z_0) = w_0∈ ?B′, then the Fr′echet derivative operator Df(z_0) maps the tangent space Tz_0(?B~n) to Tw_0(?B′), the holomorphic tangent space T_(z_0)~(1,0)(?B~n) to T_(w_0)~(1,0)(?B′),respectively.     

Sets with even partition functions and 2-adic integers

For P ? \(\mathbb{F}_2 \)[z] with _P(0) = 1 and deg(_P) ≥ 1, let \(\mathcal{A}\) = \(\mathcal{A}\)(P) (cf. [4], [5], [13]) be the unique subset of ? such that Σ _n≥0 p(\(\mathcal{A}\), n)z ⁿ ≡ P(z) (mod 2), where p(\(\mathcal{A}\), n) is the number of partitions of n with parts in \(\mathcal{A}\). Let p be an odd prime and P ? \(\mathbb{F}_2 \)[z] be some irreducible polynomial of order p, i.e., p is the smallest positive integer such that P(z) divides 1 + z ^p in \(\mathbb{F}_2 \)[z]. In this paper, we prove that if m is an odd positive integer, the elements of \(\mathcal{A}\) = \(\mathcal{A}\)(P) of the form 2 ^k m are determined by the 2-adic expansion of some root of a polynomial with integer coefficients. This extends a result of F. Ben Saïd and J.-L. Nicolas [6] to all primes p.     

Largest initial segments pointwise fixed by automorphisms of models of set theory

Given a model \(\mathcal {M}\) of set theory, and a nontrivial automorphism j of \(\mathcal {M}\), let \(\mathcal {I}_{\mathrm {fix}}(j)\) be the submodel of \(\mathcal {M}\) whose universe consists of elements m of \(\mathcal {M}\) such that \(j(x)=x\) for every x in the transitive closure of m (where the transitive closure of m is computed within \(\mathcal {M}\)). Here we study the class \(\mathcal {C}\) of structures of the form \(\mathcal {I}_{\mathrm {fix}}(j)\), where the ambient model \(\mathcal {M}\) satisfies a frugal yet robust fragment of \(\mathrm {ZFC}\) known as \(\mathrm {MOST}\), and \(j(m)=m\) whenever m is a finite ordinal in the sense of \(\mathcal {M}.\) Our main achievement is the calculation of the theory of \(\mathcal {C}\) as precisely \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\). The following theorems encapsulate our principal results: Theorem A. Every structure in \(\mathcal {C}\) satisfies \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm { Collection}\). Theorem B. Each of the following three conditions is sufficient for a countable structure \(\mathcal {N}\) to be in \(\mathcal {C}\):(a) \(\mathcal {N}\) is a transitive model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(b) \(\mathcal {N}\) is a recursively saturated model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(c) \(\mathcal {N}\) is a model of \(\mathrm {ZFC}\). Theorem C. Suppose \(\mathcal {M}\) is a countable recursively saturated model of \(\mathrm {ZFC}\) and I is a proper initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is closed under exponentiation and contains \(\omega ^\mathcal {M}\) . There is a group embedding \(j\longmapsto \check{j}\) from \(\mathrm {Aut}(\mathbb {Q})\) into \(\mathrm {Aut}(\mathcal {M})\) such that I is the longest initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is pointwise fixed by \(\check{j}\) for every nontrivial \(j\in \mathrm {Aut}(\mathbb {Q}).\) In Theorem C, \(\mathrm {Aut}(X)\) is the group of automorphisms of the structure X, and \(\mathbb {Q}\) is the ordered set of rationals.     

Sequences of zeroes of holomorphic functions in weight spaces in the unit disk

Let \(\mathbb{D}\) be the unit disk in the complex plane ? and let H be a certain weight class of functions holomorphic in \(\mathbb{D}\). We establish conditions under which a given sequence of points A = »_k ? \(\mathbb{D}\) is the sequence of zeroes of a holomorphic function from H.     

<Emphasis Type="Italic">k</Emphasis>-Monogenic Functions Over 6-Dimensional Euclidean Space

Recently, physicists are interested in 6-dimensional physics including the massless field operators on Lorentzian space \(\mathbb R^{5,1}\). The elliptic version \(\mathcal {D}_{k}\) of these operators coincides with the higher spin massless field operators on \(\mathbb R^{6}\) introduced by Sou?ek earlier. The embedding of \(\mathbb R^{6}\) into the space of complex antisymmetric matrices allows us to use two-component notation, generating the Penrose two-spinor notation for dimension 4, which makes the spinor calculus on \(\mathbb R^6\) more concrete and explicit. A function annihilated by \(\mathcal {D}_{k}\) is called k-monogenic. Applying the Penrose integral formula, which can be checked by direct differentiation, we give infinite number of such k-monogenic polynomials for fixed k. So the function theory of k-monogenic functions is abundant and interesting.     

Frame completions with prescribed norms: local minimizers and applications

Let \(\mathcal {F}_{0}=\{f_{i}\}_{i\in \mathbb {I}_{n_{0}}}\) be a finite sequence of vectors in \(\mathbb {C}^{d}\) and let \(\mathbf {a}=(a_{i})_{i\in \mathbb {I}_{k}}\) be a finite sequence of positive numbers, where \(\mathbb {I}_{n}=\{1,\ldots , n\}\) for \(n\in \mathbb {N}\). We consider the completions of \(\mathcal {F}_{0}\) of the form \(\mathcal {F}=(\mathcal {F}_{0},\mathcal {G})\) obtained by appending a sequence \(\mathcal {G}=\{g_{i}\}_{i\in \mathbb {I}_{k}}\) of vectors in \(\mathbb {C}^{d}\) such that ∥g _i ∥² = a _i for \(i\in \mathbb {I}_{k}\), and endow the set of completions with the metric \(d(\mathcal {F},\tilde {\mathcal {F}}) =\max \{ \,\|g_{i}-\tilde {g}_{i}\|: \ i\in \mathbb {I}_{k}\}\) where \(\tilde {\mathcal {F}}=(\mathcal {F}_{0},\,\tilde {\mathcal {G}})\). In this context we show that local minimizers on the set of completions of a convex potential P _φ , induced by a strictly convex function φ, are also global minimizers. In case that φ(x) = x ² then P _φ is the so-called frame potential introduced by Benedetto and Fickus, and our work generalizes several well known results for this potential. We show that there is an intimate connection between frame completion problems with prescribed norms and frame operator distance (FOD) problems. We use this connection and our results to settle in the affirmative a generalized version of Strawn’s conjecture on the FOD.     

On ℤ<Subscript>2</Subscript>-graded identities of the super tensor product of <Emphasis Type="Italic">UT</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">F</Emphasis>) by the Grassmann algebra

Let F be a field of characteristic zero and E be the unitary Grassmann algebra generated over an infinite-dimensional F-vector space L. Denote by \(\mathcal{E} = \mathcal{E}^{(0)} \oplus \mathcal{E}^{(1)}\) an arbitrary ?₂-grading of E such that the subspace L is homogeneous. Given a superalgebra A = A ⁽⁰⁾ ⊕ A ⁽¹⁾, define the superalgebra \(A\hat \otimes \mathcal{E}\) by \(A\hat \otimes \mathcal{E} = (A^{(0)} \otimes \mathcal{E}^{(0)} ) \oplus (A^{(1)} \otimes \mathcal{E}^{(1)} )\). Note that when E is the canonical grading of E then \(A\hat \otimes \mathcal{E}\) is the Grassmann envelope of A. In this work we find bases of ?₂-graded identities and we describe the ?₂-graded codimension and cocharacter sequences for the superalgebras \(UT_2 (F)\hat \otimes \mathcal{E}\), when the algebra UT ₂(F) of 2 ×2 upper triangular matrices over F is endowed with its canonical grading.     

A generalization of sumset and its applications

Let A be a nonempty finite subset of an additive abelian group G and let r and h be positive integers. The generalized h-fold sumset of A, denoted by \(h^{(r)}A\), is the set of all sums of h elements of A, where each element appears in a sum at most r times. The direct problem for \(h^{(r)}A\) is to find a lower bound for \(|h^{(r)}A|\) in terms of |A|. The inverse problem for \(h^{(r)}A\) is to determine the structure of the finite set A for which \(|h^{(r)}A|\) is minimal with respect to some fixed value of |A|. If \(G = \mathbb {Z}\), the direct and inverse problems are well studied. In case of \(G = \mathbb {Z}/p\mathbb {Z}\), p a prime, the direct problem has been studied very recently by Monopoli (J. Number Theory, 157 (2015) 271–279). In this paper, we express the generalized sumset \(h^{(r)}A\) in terms of the regular and restricted sumsets. As an application of this result, we give a new proof of the theorem of Monopoli and as the second application, we present new proofs of direct and inverse theorems for the case \(G = \mathbb {Z}\).     

Stability properties and gap theorem for complete f-minimal hypersurfaces

In this paper, we study complete oriented f -minimal hypersurfaces properly immersed in a cylinder shrinking soliton \((\mathbb{S}^n \times \mathbb{R},\bar g,f)\).We prove that such hypersurface with L _f -index one must be either \(\mathbb{S}^n \times \{ 0\}\) or \(\mathbb{S}^{n - 1} \times \mathbb{R}\), where \({S}^{n - 1}\) denotes the sphere in \(\mathbb{S}^n\) of the same radius. Also we prove a pinching theorem for them.     

The Minimal Size of Infinite Maximal Antichains in Direct Products of Partial Orders

For a partial order \(\mathbb {P}\) having infinite antichains by \(\mathfrak {a}(\mathbb {P})\) we denote the minimal cardinality of an infinite maximal antichain in \(\mathbb {P}\) and investigate how does this cardinal invariant of posets behave in finite products. In particular we show that \(\min \{ \mathfrak {a}(\mathbb {P}),\mathfrak {p} (\text {sq} \mathbb {P}) \} \leq \mathfrak {a} (\mathbb {P}^{n} ) \leq \mathfrak {a} (\mathbb {P})\), for all \(n\in \mathbb {N}\), where \(\mathfrak {p} (\text {sq} \mathbb {P})\) is the minimal size of a centered family without a lower bound in the separative quotient of the poset \(\mathbb {P}\), or \(\mathfrak {p} (\text {sq} \mathbb {P})=\infty \), if there is no such family. So we have \(\mathfrak {a} (\mathbb {P} \times \mathbb {P})=\mathfrak {a} (\mathbb {P})\) whenever \(\mathfrak {p} (\text {sq} \mathbb {P})\geq \mathfrak {a} (\mathbb {P})\) and we show that, in addition, this equality holds for all posets obtained from infinite Boolean algebras of size ≤ø ₁ by removing zero, all reversed trees, all atomic posets and, in particular, for all posets of the form \(\langle \mathcal {C} ,\subset \rangle \), where \(\mathcal {C}\) is a family of nonempty closed sets in a compact T ₁-space containing all singletons. As a by-product we obtain the following combinatorial statement: If X is an infinite set and {A _i ×B _i :i∈I} an infinite partition of the square X ², then at least one of the families {A _i :i∈I} and {B _i :i∈I} contains an infinite partition of X.     

Lie Algebras of Slow Growth and Klein-Gordon PDE

We discuss the notion of characteristic Lie algebra of a hyperbolic PDE. The integrability of a hyperbolic PDE is closely related to the properties of the corresponding characteristic Lie algebra χ. We establish two explicit isomorphisms:

1. 1)
   the first one is between the characteristic Lie algebra \(\chi (\sinh {u})\) of the sinh-Gordon equation \(u_{xy}=\sinh {u}\) and the non-negative part \({\mathcal {L}}({\mathfrak {sl}}(2,{\mathbb {C}}))^{\ge 0}\) of the loop algebra of \({\mathfrak {sl}}(2,{\mathbb {C}})\) that corresponds to the Kac-Moody algebra \(A_{1}^{(1)}\)

   $$\chi(\sinh{u})\cong {\mathcal{L}}({\mathfrak{s}\mathfrak{l}}(2,{\mathbb{C}}))^{\ge 0}={\mathfrak{s}\mathfrak{l}}(2, {\mathbb{C}}) \otimes {\mathbb{C}}[t]. $$
    
2. 2)
   the second isomorphism is for the Tzitzeica equation u_xy = e^u + e^??2u

   $$\chi(e^{u}{+}e^{-2u}) \cong {\mathcal{L}}({\mathfrak{s}\mathfrak{l}}(3,{\mathbb{C}}), \mu)^{\ge0}=\bigoplus_{j = 0}^{+\infty}{\mathfrak{g}}_{j (\text{mod} \; 2)} \otimes t^{j}, $$

   where \({\mathcal {L}}({\mathfrak {sl}}(3,{\mathbb {C}}), \mu )=\bigoplus _{j \in {\mathbb {Z}}}{\mathfrak {g}}_{j (\text {mod} \; 2)} \otimes t^{j}\) is the twisted loop algebra of the simple Lie algebra \({\mathfrak {sl}}(3,{\mathbb {C}})\) that corresponds to the Kac-Moody algebra \(A_{2}^{(2)}\).
    

Hence the Lie algebras \(\chi (\sinh {u})\) and χ(e^u + e^??2u) are slowly linearly growing Lie algebras with average growth rates \(\frac {3}{2}\) and \(\frac {4}{3}\) respectively.     

Eichler’s commutation relation and some other invariant subspaces of Hecke operators

Let k be an odd positive integer, L a lattice on a regular positive definite k-dimensional quadratic space over \(\mathbb {Q}\), \(N_L\) the level of L, and \(\mathscr {M}(L)\)  be the linear space of \(\theta \)-series attached to the distinct classes in the genus of L. We prove that, for an odd prime \(p|N_L\), if \(L_p=L_{p,1}\,\bot \, L_{p,2}\), where \(L_{p,1}\) is unimodular, \(L_{p,2}\) is (p)-modular, and \(\mathbb {Q}_pL_{p,2}\) is anisotropic, then \(\mathscr {M}(L;p):=\) \(\mathscr {M}(L)\) \(+T_{p^2}.\) \(\mathscr {M}(L)\)  is stable under the Hecke operator \(T_{p^2}\). If \(L_2\) is isometric to \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle 2\varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}1\\ 1&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) with \(\varepsilon \in \mathbb {Z}_2^{\times }\) and \(\kappa :=\frac{k-1}{2}\), then \(\mathscr {M}(L;2):=T_{2^2}.\mathscr {M}(L)+T_{2^2}^2.\,\mathscr {M}(L)\) is stable under the Hecke operator \(T_{2^2}\). Furthermore, we determine some invariant subspaces of the cusp forms for the Hecke operators.     

$$L^{p}$$-Norms a nd Mahler’s Measure of Poly nomials o n the n-Dime nsio nal Torus

We prove Nikol’skii type inequalities that, for polynomials on the n-dimensional torus \(\mathbb {T}^n\), relate the \(L^p\)-norm with the \(L^q\)-norm (with respect to the normalized Lebesgue measure and \(0 <p <q < \infty \)). Among other things, we show that \(C=\sqrt{q/p}\) is the best constant such that \(\Vert P\Vert _{L^q}\le C^{\text {deg}(P)} \Vert P\Vert _{L^p}\) for all homogeneous polynomials P on \(\mathbb {T}^n\). We also prove an exact inequality between the \(L^p\)-norm of a polynomial P on \(\mathbb {T}^n\) and its Mahler measure M(P), which is the geometric mean of |P| with respect to the normalized Lebesgue measure on \(\mathbb {T}^n\). Using extrapolation, we transfer this estimate into a Khintchine–Kahane type inequality, which, for polynomials on \(\mathbb {T}^n\), relates a certain exponential Orlicz norm and Mahler’s measure. Applications are given, including some interpolation estimates.     

On the additivity of block designs

We show that symmetric block designs \({\mathcal {D}}=({\mathcal {P}},{\mathcal {B}})\) can be embedded in a suitable commutative group \({\mathfrak {G}}_{\mathcal {D}}\) in such a way that the sum of the elements in each block is zero, whereas the only Steiner triple systems with this property are the point-line designs of \({\mathrm {PG}}(d,2)\) and \({\mathrm {AG}}(d,3)\). In both cases, the blocks can be characterized as the only k-subsets of \(\mathcal {P}\) whose elements sum to zero. It follows that the group of automorphisms of any such design \(\mathcal {D}\) is the group of automorphisms of \({\mathfrak {G}}_\mathcal {D}\) that leave \(\mathcal {P}\) invariant. In some special cases, the group \({\mathfrak {G}}_\mathcal {D}\) can be determined uniquely by the parameters of \(\mathcal {D}\). For instance, if \(\mathcal {D}\) is a 2-\((v,k,\lambda )\) symmetric design of prime order p not dividing k, then \({\mathfrak {G}}_\mathcal {D}\) is (essentially) isomorphic to \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\), and the embedding of the design in the group can be described explicitly. Moreover, in this case, the blocks of \(\mathcal {B}\) can be characterized also as the v intersections of \(\mathcal {P}\) with v suitable hyperplanes of \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\).     

Recurrent Dirichlet Forms and Markov Property of Associated Gaussian Fields

For the extended Dirichlet space \(\mathcal {F}_{e}\) of a general irreducible recurrent regular Dirichlet form \((\mathcal {E},\mathcal {F})\) on L ²(E;m), we consider the family \(\mathbb {G}(\mathcal {E})=\{X_{u};u\in \mathcal {F}_{e}\}\) of centered Gaussian random variables defined on a probability space \(({\Omega }, \mathcal {B}, \mathbb {P})\) indexed by the elements of \(\mathcal {F}_{e}\) and possessing the Dirichlet form \(\mathcal {E}\) as its covariance. We formulate the Markov property of the Gaussian field \(\mathbb {G}(\mathcal {E})\) by associating with each set A ? E the sub-σ-field σ(A) of \(\mathcal {B}\) generated by X _u for every \(u\in \mathcal {F}_{e}\) whose spectrum s(u) is contained in A. Under a mild absolute continuity condition on the transition function of the Hunt process associated with \((\mathcal {E}, \mathcal {F})\), we prove the equivalence of the Markov property of \(\mathbb {G}(\mathcal {E})\) and the local property of \((\mathcal {E},\mathcal {F})\). One of the key ingredients in the proof is in that we construct potentials of finite signed measures of zero total mass and show that, for any Borel set B with m(B) >?0, any function \(u\in \mathcal {F}_{e}\) with s(u) ? B can be approximated by a sequence of potentials of measures supported by B.     

Fractional parts of dense additive subgroups of real numbers

Given a dense additive subgroup G of \(\mathbb {R}\) containing \(\mathbb {Z}\), we consider its intersection \(\mathbb {G}\) with the interval [0, 1[ with the induced order and the group structure given by addition modulo 1. We axiomatize the theory of \(\mathbb {G}\) and show it is model-complete, using a Feferman-Vaught type argument. We show that any sufficiently saturated model decomposes into a product of a standard part and two ordered semigroups of infinitely small and infinitely large elements.     

A deterministic sparse FFT algorithm for vectors with small support

In this paper we consider the special case where a signal x\({\in }\,\mathbb {C}^{N}\) is known to vanish outside a support interval of length m < N. If the support length m of x or a good bound of it is a-priori known we derive a sublinear deterministic algorithm to compute x from its discrete Fourier transform \(\widehat {\mathbf x}\,{\in }\,\mathbb {C}^{N}\). In case of exact Fourier measurements we require only \({\mathcal O}\)(m\(\log \)m) arithmetical operations. For noisy measurements, we propose a stable \({\mathcal O}\)(m\(\log \)N) algorithm.     

Exit Time of a Hyperbolic α-Stable Process from a Halfspace or a Ball

For a hyperbolic α-stable process in the hyperbolic space \(\mathbb {H}^{d}, d\ge 2\), we prove that the mean exit time from a halfspace \(H(a)=\{x_{d}>a\}\subset \mathbb {H}^{d} \) is equal to \(\mathbb {E}^{x} \tau _{H(a)} = c(\alpha , d) \delta ^{\alpha /2}_{H(a)} (x),\) where δ_D(x) is the (hyperbolic) distance of x to D^c. Based on this exact result we provide a sharp estimate of the mean exit time from a hyperbolic ball B(x₀,R) of radius R and center x₀: \(\mathbb {E}^{x}\tau _{B(x_{0},R)}\approx (\delta _{B(x_{0},R)}(x) \tanh R)^{\alpha /2}, x\in \mathbb {H}^{d}\). By usual isomorphism argument the same estimate holds in any other model of real hyperbolic space.     

Parity check matrices and product representations of squares

Let \(N_{\mathbb{F}} \)(n,k,r) denote the maximum number of columns in an n-row matrix with entries in a finite field \(\mathbb{F}\) in which each column has at most r nonzero entries and every k columns are linearly independent over \(\mathbb{F}\). We obtain near-optimal upper bounds for \(N_{\mathbb{F}} \)(n,k,r) in the case k > r. Namely, we show that \(N_\mathbb{F} (n,k,r) \ll n^{\frac{r}{2} + \frac{{cr}}{k}} \) where \(c \approx \frac{4}{3}\) for large k. Our method is based on a novel reduction of the problem to the extremal problem for cycles in graphs, and yields a fast algorithm for finding short linear dependencies. We present additional applications of this method to a problem on hypergraphs and a problem in combinatorial number theory.     

Sign-changing solutions to a partially periodic nonlinear Schrödinger equation in domains with unbounded boundary

We consider the problem

$$\begin{aligned} -\Delta u+\left( V_{\infty }+V(x)\right) u=|u|^{p-2}u,\quad u\in H_{0} ^{1}(\Omega ), \end{aligned}$$

where \(\Omega \) is either \(\mathbb {R}^{N}\) or a smooth domain in \(\mathbb {R} ^{N}\) with unbounded boundary, \(N\ge 3,\) \(V_{\infty }>0,\) \(V\in \mathcal {C} ^{0}(\mathbb {R}^{N}),\) \(\inf _{\mathbb {R}^{N}}V>-V_{\infty }\) and \(2<p<\frac{2N}{N-2}\). We assume V is periodic in the first m variables, and decays exponentially to zero in the remaining ones. We also assume that \(\Omega \) is periodic in the first m variables and has bounded complement in the other ones. Then, assuming that \(\Omega \) and V are invariant under some suitable group of symmetries on the last \(N-m\) coordinates of \(\mathbb {R}^{N}\), we establish existence and multiplicity of sign-changing solutions to this problem. We show that, under suitable assumptions, there is a combined effect of the number of periodic variables and the symmetries of the domain on the number of sign-changing solutions to this problem. This number is at least \(m+1\)