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 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.

     

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.

     

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.

     

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.

     

Finite Groups with Generalized Subnormal Schmidt Subgroups

Given a prime \( p \) and a partition \( \sigma=\{\{p\},\{p\}^{\prime}\} \) of the set of all primes, we describe the structure of the nonnilpotent finite groups whose every Schmidt subgroup is \( \sigma \)-subnormal.

     

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\).

     

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.

     

Frames and Finite-Rank Integral Representations of Positive Operator-Valued Measures

Discrete and continuous frames can be considered as positive operator-valued measures (POVMs) that have integral representations using rank-one operators. However, not every POVM has an integral representation. One goal of this paper is to examine the POVMs that have finite-rank integral representations. More precisely, we present a necessary and sufficient condition under which a positive operator-valued measure \(F: \varOmega \to B(H)\) has an integral representation of the form

$$ F(E) =\sum_{k=1}^{m} \int _{E} G_{k}(\omega )\otimes G_{k}(\omega )\, d \mu (\omega ) $$

for some weakly measurable maps \(G_{k}\ (1\leq k\leq m) \) from a measurable space \(\varOmega \) to a Hilbert space ℋ and some positive measure \(\mu \) on \(\varOmega \). Similar characterizations are also obtained for projection-valued measures. As special consequences of our characterization we settle negatively a problem of Ehler and Okoudjou about probability frame representations of probability POVMs, and prove that an integral representable probability POVM can be dilated to a integral representable projection-valued measure if and only if the corresponding measure is purely atomic.

     

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.

     

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\).

     

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 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\).

     

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\).

     

The Dual Kaczmarz Algorithm

The Kaczmarz algorithm is an iterative method for solving a system of linear equations. It can be extended so as to reconstruct a vector \(x\) in a (separable) Hilbert space from the inner-products \(\{\langle x, \phi _{n} \rangle \}\). The Kaczmarz algorithm defines a sequence of approximations from the sequence \(\{\langle x, \phi _{n} \rangle \}\); these approximations only converge to \(x\) when \(\{\phi _{n}\}\) is effective. We dualize the Kaczmarz algorithm so that \(x\) can be obtained from \(\{\langle x, \phi _{n} \rangle \}\) by using a second sequence \(\{\psi _{n}\}\) in the reconstruction. This allows for the recovery of \(x\) even when the sequence \(\{\phi _{n}\}\) is not effective; in particular, our dualization yields a reconstruction when the sequence \(\{\phi _{n}\}\) is almost effective. We also obtain some partial results characterizing when the sequence of approximations from \(\{\langle x, \phi _{n} \rangle \}\) using \(\{\psi _{n}\}\) converges to \(x\), in which case \(\{(\phi _{n}, \psi _{n})\}\) is called an effective pair.

     

Zero sequences,factorization and sampling measures for weighted Bergman spaces

The zero sets of the Bergman space \(A^p_\omega \) induced by either a radial weight \(\omega \) admitting a certain doubling property or a non-radial Bekollé-Bonami type weight are characterized in the spirit of Luecking’s results from 1996. Accurate results obtained en route to this characterization are used to generalize Horowitz’s factorization result from 1977 for functions in \(A^p_\omega \). The utility of the obtained factorization is illustrated by applications to integration and composition operators as well as to small Hankel operator induced by a conjugate analytic symbol. Dominating sets and sampling measures for the weighted Bergman space \(A^p_\omega \) induced by a doubling weight are also studied. Several open problems related to the scheme of the paper are posed.