Orlicz spaces with a o–O type structure

We study non reflexive Orlicz spaces \(L^\varPsi \) and their Morse subspace \(M^\varPsi \), i.e. the closure of \(L^\infty \) in \(M^\varPsi \) to determine when \((M^\varPsi ,L^\varPsi )\) can be described as having an o–O type structure with respect to an equivalent norm on \(L^\varPsi \). Examples of classes of Young functions for which the answer is affirmative are provided, but also examples are given to show that this is not possible for all non-reflexive Orlicz spaces. An equivalent expression of the distance in \(L^\varPsi \) to \(M^\varPsi \), induced by the new norm, is also provided.

     

Topological Properties of the Set of Functions Generated by Neural Networks of Fixed Size

We analyze the topological properties of the set of functions that can be implemented by neural networks of a fixed size. Surprisingly, this set has many undesirable properties. It is highly non-convex, except possibly for a few exotic activation functions. Moreover, the set is not closed with respect to \(L^p\)-norms, \(0< p < \infty \), for all practically used activation functions, and also not closed with respect to the \(L^\infty \)-norm for all practically used activation functions except for the ReLU and the parametric ReLU. Finally, the function that maps a family of weights to the function computed by the associated network is not inverse stable for every practically used activation function. In other words, if \(f_1, f_2\) are two functions realized by neural networks and if \(f_1, f_2\) are close in the sense that \(\Vert f_1 - f_2\Vert _{L^\infty } \le \varepsilon \) for \(\varepsilon > 0\), it is, regardless of the size of \(\varepsilon \), usually not possible to find weights \(w_1, w_2\) close together such that each \(f_i\) is realized by a neural network with weights \(w_i\). Overall, our findings identify potential causes for issues in the training procedure of deep learning such as no guaranteed convergence, explosion of parameters, and slow convergence.

     

On the Coincidence of the Classes of Finite Groups $ E_{\pi_{x}} $ and $ D_{\pi_{x}} $

Let \( \pi_{x} \) be the set of primes greater than \( x \). We prove that for all \( x\in{??} \) the classes of finite groups \( D_{\pi_{x}} \) and \( E_{\pi_{x}} \) coincide; i.e., a finite group \( G \) possesses a \( \pi_{x} \)-Hall subgroup if and only if \( G \) satisfies the complete analog of the Sylow Theorems for a \( \pi_{x} \)-subgroup.

     

Undersampled Windowed Exponentials and Their Applications

We characterize the completeness and frame/basis property of a union of under-sampled windowed exponentials of the form

$$ {\mathcal{F}}(g): =\bigl\{ e^{2\pi i n x}: n\ge 0\bigr\} \cup \bigl\{ g(x)e^{2\pi i nx}: n< 0\bigr\} $$

for \(L^{2}[-1/2,1/2]\) by the spectra of the Toeplitz operators with the symbol \(g\). Using this characterization, we classify all real-valued functions \(g\) such that \({\mathcal{F}}(g)\) is complete or forms a frame/basis. Conversely, we use the classical non-harmonic Fourier series theory to determine all \(\xi \) such that the Toeplitz operators with the symbol \(e^{2\pi i \xi x}\) is injective or invertible. These results demonstrate an elegant interaction between frame theory of windowed exponentials and Toeplitz operators. Finally, we use our results to answer some open questions in dynamical sampling, and derivative samplings on Paley-Wiener spaces of bandlimited functions.

     

Some properties and applications of non-trivial divisor functions

The jth divisor function \(d_j\), which counts the ordered factorisations of a positive integer into j positive integer factors, is a very well-known multiplicative arithmetic function. However, the non-multiplicative jth non-trivial divisor function\(c_j\), which counts the ordered factorisations of a positive integer into j factors each of which is greater than or equal to 2, is rather less well studied. Additionally, we consider the associated divisor function\(c_j^{(r)}\), for \(r\ge 0\), whose definition is motivated by the sum-over divisors recurrence for \(d_j\). We give an overview of properties of \(d_j\), \(c_j\) and \(c_j^{(r)}\), specifically regarding their Dirichlet series and generating functions as well as representations in terms of binomial coefficient sums and hypergeometric series. Noting general inequalities between the three types of divisor function, we then observe how their ratios can be expressed as binomial coefficient sums and hypergeometric series, and find explicit Dirichlet series and Euler products for some of these. As an illustrative application of the non-trivial and associated divisor functions, we show how they can be used to count principal reversible square matrices of the type considered by Ollerenshaw and Brée and so sum-and-distance systems of integers.

     

The Defect of a Cauchy Type Problem for Linear Equations with Several Riemann–Liouville Derivatives

We consider the existence and uniqueness of solutions to initial value problems for general linear nonhomogeneous equations with several Riemann–Liouville fractional derivatives in Banach spaces. Considering the equation solved for the highest fractional derivative \( D^{\alpha}_{t} \), we introduce the concept of the defect \( m^{*} \) of a Cauchy type problem which determines the number of the zero initial conditions \( D^{\alpha-m+k}_{t}z(0)=0 \), \( k=0,1,\dots,m^{*}-1 \), necessary for the existence of the finite limits \( D^{\alpha-m+k}_{t}z(t) \) as \( t\to 0+ \) for all \( k=0,1,\dots,m-1 \). We show that the defect \( m^{*} \) is uniquely determined by the set of orders of the Riemann–Liouville fractional derivatives in the equation. Also we prove the unique solvability of the incomplete Cauchy problem \( D^{\alpha-m+k}_{t}z(0)=z_{k} \), \( k=m^{*},m^{*}+1,\dots,m-1 \), for the equation with bounded operator coefficients solved for the highest Riemann–Liouville derivative. The obtained result allowed us to investigate initial problems for a linear nonhomogeneous equation with a degenerate operator at the highest fractional derivative, provided that the operator at the second highest order derivative is 0-bounded with respect to this operator, while the cases are distinguished that the fractional part of the order of the second derivative coincides or does not coincide with the fractional part of the order of the highest derivative. The results for equations in Banach spaces are used for the study of initial boundary value problems for a class of equations with several Riemann–Liouville time derivatives and polynomials in a selfadjoint elliptic differential operator of spatial variables.

     

On the Hawkes Graphs of Finite Groups

We study the properties and applications of the directed graph, introduced by Hawkes in 1968, of a finite group \( G \). The vertex set of \( \Gamma_{H}(G) \) coincides with \( \pi(G) \) and \( (p,q) \) is an edge if and only if \( q\in\pi(G/O_{p^{\prime},p}(G)) \). In the language of properties of this graph we obtain commutation conditions for all \( p \)-elements with all \( r \)-elements of \( G \), where \( p \) and \( r \) are distinct primes. We estimate the nilpotence length of a solvable finite group in terms of subgraphs of its Hawkes graph. Given an integer \( n>1 \), we find conditions for reconstructing the Hawkes graph of a finite group \( G \) from the Hawkes graphs of its \( n \) pairwise nonconjugate maximal subgroups. Using these results, we obtain some new tests for the membership of a solvable finite group in the well-known saturated formations.

     

On the $${ L}^{ p}$$Lp norm of the torsion function

Bounds are obtained for the \(L^p\) norm of the torsion function \(v_{\varOmega }\), i.e. the solution of \(-\varDelta v=1,\, v\in H_0^1(\varOmega ),\) in terms of the Lebesgue measure of \(\varOmega \) and the principal eigenvalue \(\lambda _1(\varOmega )\) of the Dirichlet Laplacian acting in \(L^2(\varOmega )\). We show that these bounds are sharp for \(1\le p\le 2\).

     

On Categoricity Spectra for Locally Finite Graphs

Under study is the algorithmic complexity of isomorphisms between computable copies of locally finite graphs \( G \) (undirected graphs whose every vertex has finite degree). We obtain the following results: If \( G \) has only finitely many components then \( G \) is \( {\mathbf{d}} \)-computably categorical for every Turing degree \( {\mathbf{d}} \) from the class \( PA({\mathbf{0}}^{\prime}) \). If \( G \) has infinitely many components then \( G \) is \( {\mathbf{0}}^{\prime\prime} \)-computably categorical. We exhibit a series of examples showing that the obtained bounds are sharp.

     

Weighted $$L^2$$ L 2 -norms of Gegenbauer polynomials

We study integrals of the form

$$\begin{aligned} \int _{-1}^1(C_n^{(\lambda )}(x))^2(1-x)^\alpha (1+x)^\beta {{\,\mathrm{\mathrm {d}}\,}}x, \end{aligned}$$

where \(C_n^{(\lambda )}\) denotes the Gegenbauer-polynomial of index \(\lambda >0\) and \(\alpha ,\beta >-1\). We give exact formulas for the integrals and their generating functions, and obtain asymptotic formulas as \(n\rightarrow \infty \).

     

Functional Matrix Multipliers for Parseval Gabor Multi-frame Generators

We consider the problem of characterizing the bounded linear operator multipliers on \(L^{2}(\mathbb{R})\) that map Gabor frame generators to Gabor frame generators. We prove that a functional matrix \(M(t)=[f_{ij}(t)]_{m \times m}\) (where \(f_{ij}\in L^{\infty}(\mathbb{R})\)) is a multiplier for Parseval Gabor multi-frame generators with parameters \(a, b >0\) if and only if \(M(t)\) is unitary and \(M^{*}(t)M(t+\frac{1}{b})= \lambda(t)I\) for some unimodular \(a\)-periodic function \(\lambda(t)\). As a special case (\(m =1\)) this recovers the characterization of functional multipliers for Parseval Gabor frames with single function generators.

     

A Shape Optimization Problem on Planar Sets with Prescribed Topology

We consider shape optimization problems involving functionals depending on perimeter, torsional rigidity and Lebesgue measure. The scaling free cost functionals are of the form \(P(\Omega )T^q(\Omega )|\Omega |^{-2q-1/2}\), and the class of admissible domains consists of two-dimensional open sets \(\Omega \) satisfying the topological constraints of having a prescribed number k of bounded connected components of the complementary set. A relaxed procedure is needed to have a well-posed problem, and we show that when \(q<1/2\) an optimal relaxed domain exists. When \(q>1/2\), the problem is ill-posed, and for \(q=1/2\), the explicit value of the infimum is provided in the cases \(k=0\) and \(k=1\).

     

Multilinear Marcinkiewicz-Zygmund Inequalities

We extend to the multilinear setting classical inequalities of Marcinkiewicz and Zygmund on \(\ell ^r\)-valued extensions of linear operators. We show that for certain \(1 \le p, q_1, \dots , q_m, r \le \infty \), there is a constant \(C\ge 0\) such that for every bounded multilinear operator \(T:L^{q_1}(\mu _1) \times \cdots \times L^{q_m}(\mu _m) \rightarrow L^p(\nu )\) and functions \(\{f_{k_1}^1\}_{k_1=1}^{n_1} \subset L^{q_1}(\mu _1), \dots , \{f_{k_m}^m\}_{k_m=1}^{n_m} \subset L^{q_m}(\mu _m)\), the following inequality holds

$$\begin{aligned} \left\| \left( \sum _{k_1, \dots , k_m} |T(f_{k_1}^1, \dots , f_{k_m}^m)|^r\right) ^{1/r} \right\| _{L^p(\nu )} \le C \Vert T\Vert \prod _{i=1}^m \left\| \left( \sum _{k_i=1}^{n_i} |f_{k_i}^i|^r\right) ^{1/r} \right\| _{L^{q_i}(\mu _i)}. \end{aligned}$$ (1)

In some cases we also calculate the best constant \(C\ge 0\) satisfying the previous inequality. We apply these results to obtain weighted vector-valued inequalities for multilinear Calderón-Zygmund operators.

     

Uniform local well-posedness and inviscid limit for the Benjamin-Ono-Burgers equation

In this paper, we study the Cauchy problem for the Benjamin-Ono-Burgers equation \({\partial _t}u - \epsilon \partial _x^2u + {\cal H}\partial _x^2u + u{u_x} = 0\), where \({\cal H}\) denotes the Hilbert transform operator. We obtain that it is uniformly locally well-posed for small data in the refined Sobolev space \({\tilde H^\sigma }(\mathbb{R})\,\,(\sigma \geqslant 0)\), which is a subspace of L²(ℝ). It is worth noting that the low-frequency part of \({\tilde H^\sigma }(\mathbb{R})\) is scaling critical, and thus the small data is necessary. The high-frequency part of \({\tilde H^\sigma }(\mathbb{R})\) is equal to the Sobolev space H^σ (ℝ) (σ ⩾ 0) and reduces to L²(ℝ). Furthermore, we also obtain its inviscid limit behavior in \({\tilde H^\sigma }(\mathbb{R})\) (σ ⩾ 0).

     

Regularity of Weak Solutions to the 3D Magneto-Micropolar Equations in Besov Spaces

This paper deals with the regularity of weak solutions to the 3D magneto-micropolar fluid equations in Besov spaces. It is shown that for \(0\le\alpha\le1\) if \(u\in L^{\frac{2}{1+\alpha}}(0,T; \dot{B}_{\infty,\infty}^{\alpha})\), then the weak solution \((u,\omega ,b)\) is regular on \((0,T]\).

     

On the 2-rainbow independent domination numbers of some graphs

By suitably adjusting the tropical algebra technique we compute the rainbow independent domination numbers of several infinite families of graphs including Cartesian products \(C_n \Box P_m\) and \(C_n \Box C_m\) for all n and \(m\le 5\), and generalized Petersen graphs P(n, 2) for \(n \ge 3\).

     

Density lower bound estimate for local minimizer of free interface problem with volume constraint

We prove a density lower bound for some functionals involving bulk and interfacial energies. The bulk energies are convex functions with p-power growth not subjected to any further structure conditions. The interface \(\partial E\) is the boundary of a set \(E\subset \Omega \) such that \(|E|=d\) is prescribed. Then we get \(\mathcal {H}^{n-1}((\partial E{\setminus }\partial E^*)\cup \Omega )=0\).

     

Analysis of a Free Boundary Problem Modeling the Growth of Spherically Symmetric Tumors with Angiogenesis

This paper is concerned with a free boundary problem modeling the growth of a spherically symmetric tumor with angiogenesis. The unknown nutrient concentration \(\sigma =\sigma (r,t)\) occupies the unknown tumor region \(r< R(t)\) and satisfies a nonlinear reaction diffusion equation, and the unknown tumor radius \(R=R(t)\) satisfies a nonlinear integro-differential equation. Unlike existing literatures on this topic where Dirichlet boundary condition for \(\sigma \) is imposed, in this paper the model uses the Robin boundary condition for \(\sigma \). We prove existence and uniqueness of a global in-time classical solution (\(\sigma (r,t),R(t)\)) for arbitrary \(c>0\) and establish asymptotic stability of the unique stationary solution (\(\sigma _{s}(r),R_{s}\)) for sufficiently small \(c\), where \(c\) is a positive constant reflecting the ratio between nutrient diffusion scale and the tumor cell-doubling scale.

     

On the Fourier coefficients of certain Hilbert modular forms

We prove that given any \(\epsilon >0\), a non-zero adelic Hilbert cusp form \({\mathbf {f}}\) of weight \(k=(k_1,k_2,\ldots ,k_n)\in ({\mathbb {Z}}_+)^n\) and square-free level \(\mathfrak {n}\) with Fourier coefficients \(C_{{\mathbf {f}}}(\mathfrak {m})\), there exists a square-free integral ideal \(\mathfrak {m}\) with \(N(\mathfrak {m})\ll k_0^{3n+\epsilon }N(\mathfrak {n})^{\frac{6n^2+1}{2}+\epsilon }\) such that \(C_{{\mathbf {f}}}(\mathfrak {m})\ne 0\). The implied constant depends on \(\epsilon , F\).

     

Defining Relations for the Carpet Subgroups of Chevalley Groups over Fields

The carpet subgroups admitting a Bruhat decomposition and different from Chevalley groups are exhausted by the groups lying between the Chevalley groups of type \( B_{l} \), \( C_{l} \), \( F_{4} \), or \( G_{2} \) over various imperfect fields of exceptional characteristic 2 or 3, the larger of which is an algebraic extension of the smaller field. Moreover, as regards the types \( B_{l} \) and \( C_{l} \), these subgroups are parametrized by the pairs of additive subgroups one of which may fail to be a field and, for the type \( B_{2} \), even both additive subgroups may fail to be fields. In this paper for the carpet subgroups admitting a Bruhat decomposition we present the relations similar to those well known for Chevalley groups over fields.