Inscribed and circumscribed polygons that characterize inner product spaces

Let X be a real normed space with unit sphere S. We prove that X is an inner product space if and only if there exists a real number \(\rho =\sqrt{(1+\cos \frac{2k\pi }{2m+1})/2}, (k=1,2,\ldots ,m; m=1,2,\ldots )\), such that every chord of S that supports \(\rho S\) touches \(\rho S\) at its middle point. If this condition holds, then every point \(u\in S\) is a vertex of a regular polygon that is inscribed in S and circumscribed about \(\rho S\).     

Ratio sets of random sets

We study the typical behaviour of the size of the ratio set A / A for a random subset \(A\subset \{1,\dots , n\}\). For example, we prove that \(|A/A|\sim \frac{2\text {Li}_2(3/4)}{\pi ^2}n^2 \) for almost all subsets \(A\subset \{1,\dots ,n\}\). We also prove that the proportion of visible lattice points in the lattice \(A_1\times \cdots \times A_d\), where \(A_i\) is taken at random in [1, n] with \(\mathbb P(m\in A_i)=\alpha _i\) for any \(m\in [1,n]\), is asymptotic to a constant \(\mu (\alpha _1,\dots ,\alpha _d)\) that involves the polylogarithm of order d.     

Diagonals of injective tensor products of Banach lattices with bases

Let E be a Banach lattice with a 1-unconditional basis \(\{e_i: i \in \mathbb {N}\}\). Denote by \(\Delta (\check{\otimes }_{n,\epsilon }E)\) (resp. \(\Delta (\check{\otimes }_{n,s,\epsilon }E)\)) the main diagonal space of the n-fold full (resp. symmetric) injective Banach space tensor product, and denote by \(\Delta (\check{\otimes }_{n,|\epsilon |}E)\) (resp. \(\Delta (\check{\otimes }_{n,s,|\epsilon |}E)\)) the main diagonal space of the n-fold full (resp. symmetric) injective Banach lattice tensor product. We show that these four main diagonal spaces are pairwise isometrically isomorphic. We also show that the tensor diagonal \(\{e_i\otimes \cdots \otimes e_i: i \in \mathbb {N}\}\) is a 1-unconditional basic sequence in both \(\check{\otimes }_{n,\epsilon }E\) and \(\check{\otimes }_{n,s,\epsilon }E\).     

Pairs of Semisimple Lie Algebras and their Maximal Reductive Subalgebras

Let \(\mathfrak g\) be a semisimple Lie algebra over a field \(\mathbb K\), \(\text{char}\left( \mathbb{K} \right)=0\), and \(\mathfrak g_1\) a subalgebra reductive in \(\mathfrak g\). Suppose that the restriction of the Killing form B of \(\mathfrak g\) to \(\mathfrak g_1 \times \mathfrak g_1\) is nondegenerate. Consider the following statements: ( 1) For any Cartan subalgebra \(\mathfrak h_1\) of \(\mathfrak g_1\) there is a unique Cartan subalgebra \(\mathfrak h\) of \(\mathfrak g\) containing \(\mathfrak h_1\); ( 2) \(\mathfrak g_1\) is self-normalizing in \(\mathfrak g\); ( 3) The B-orthogonal \(\mathfrak p\) of \(\mathfrak g_1\) in \(\mathfrak g\) is simple as a \(\mathfrak g_1\)-module for the adjoint representation. We give some answers to this natural question: For which pairs \((\mathfrak g,\mathfrak g_1)\) do ( 1), ( 2) or ( 3) hold? We also study how \(\mathfrak p\) in general decomposes as a \(\mathfrak g_1\)-module, and when \(\mathfrak g_1\) is a maximal subalgebra of \(\mathfrak g\). In particular suppose \((\mathfrak g,\sigma )\) is a pair with \(\mathfrak g\) as above and σ its automorphism of order m. Assume that \(\mathbb K\) contains a primitive m-th root of unity. Define \(\mathfrak g_1:=\mathfrak g^{\sigma}\), the fixed point algebra for σ. We prove the following generalization of a well known result for symmetric Lie algebras, i.e., for m=2: (a) \((\mathfrak g,\mathfrak g_1)\) satisfies ( 1); (b) For m prime, \((\mathfrak g,\mathfrak g_1)\) satisfies ( 2).     

Lengths of words in transformation semigroups generated by digraphs

Given a simple digraph D on n vertices (with \(n\ge 2\)), there is a natural construction of a semigroup of transformations \(\langle D\rangle \). For any edge (a, b) of D, let \(a\rightarrow b\) be the idempotent of rank \(n-1\) mapping a to b and fixing all vertices other than a; then, define \(\langle D\rangle \) to be the semigroup generated by \(a \rightarrow b\) for all \((a,b) \in E(D)\). For \(\alpha \in \langle D\rangle \), let \(\ell (D,\alpha )\) be the minimal length of a word in E(D) expressing \(\alpha \). It is well known that the semigroup \(\mathrm {Sing}_n\) of all transformations of rank at most \(n-1\) is generated by its idempotents of rank \(n-1\). When \(D=K_n\) is the complete undirected graph, Howie and Iwahori, independently, obtained a formula to calculate \(\ell (K_n,\alpha )\), for any \(\alpha \in \langle K_n\rangle = \mathrm {Sing}_n\); however, no analogous non-trivial results are known when \(D \ne K_n\). In this paper, we characterise all simple digraphs D such that either \(\ell (D,\alpha )\) is equal to Howie–Iwahori’s formula for all \(\alpha \in \langle D\rangle \), or \(\ell (D,\alpha ) = n - \mathrm {fix}(\alpha )\) for all \(\alpha \in \langle D\rangle \), or \(\ell (D,\alpha ) = n - \mathrm {rk}(\alpha )\) for all \(\alpha \in \langle D\rangle \). We also obtain bounds for \(\ell (D,\alpha )\) when D is an acyclic digraph or a strong tournament (the latter case corresponds to a smallest generating set of idempotents of rank \(n-1\) of \(\mathrm {Sing}_n\)). We finish the paper with a list of conjectures and open problems.     

The distortion dimension of $$\mathbb $$-rank 1 lattices

Let \(X=G/K\) be a symmetric space of noncompact type and rank \(k\ge 2\). We prove that horospheres in X are Lipschitz \((k-2)\)-connected if their centers are not contained in a proper join factor of the spherical building of X at infinity. As a consequence, the distortion dimension of an irreducible \(\mathbb {Q}\)-rank-1 lattice \(\Gamma \) in a linear, semisimple Lie group G of \(\mathbb R\)-rank k is \(k-1\). That is, given \(m< k-1\), a Lipschitz m-sphere S in (a polyhedral complex quasi-isometric to) \(\Gamma \), and a \((m+1)\)-ball B in X (or G) filling S, there is a \((m+1)\)-ball \(B'\) in \(\Gamma \) filling S such that \({{\mathrm{vol}}}B'\sim {{\mathrm{vol}}}B\). In particular, such arithmetic lattices satisfy Euclidean isoperimetric inequalities up to dimension \(k-1\).     

Few associative triples,isotopisms and groups

Let Q be a quasigroup. For \(\alpha ,\beta \in S_Q\) let \(Q_{\alpha ,\beta }\) be the principal isotope \(x*y = \alpha (x)\beta (y)\). Put \(\mathbf a(Q)= |\{(x,y,z)\in Q^3;\) \(x(yz)) = (xy)z\}|\) and assume that \(|Q|=n\). Then \(\sum _{\alpha ,\beta }\mathbf a(Q_{\alpha ,\beta })/(n!)^2 = n^2(1+(n-1)^{-1})\), and for every \(\alpha \in S_Q\) there is \(\sum _\beta \mathbf a(Q_{\alpha ,\beta })/n! = n(n-1)^{-1}\sum _x(f_x^2-2f_x+n)\ge n^2\), where \(f_x=|\{y\in Q;\) \( y = \alpha (y)x\}|\). If G is a group and \(\alpha \) is an orthomorphism, then \(\mathbf a(G_{\alpha ,\beta })=n^2\) for every \(\beta \in S_Q\). A detailed case study of \(\mathbf a(G_{\alpha ,\beta })\) is made for the situation when \(G = \mathbb Z_{2d}\), and both \(\alpha \) and \(\beta \) are “natural” near-orthomorphisms. Asymptotically, \(\mathbf a(G_{\alpha ,\beta })>3n\) if G is an abelian group of order n. Computational results: \(\mathbf a(7) = 17\) and \(\mathbf a(8) \le 21\), where \(\mathbf a(n) = \min \{\mathbf a(Q);\) \( |Q|=n\}\). There are also determined minimum values for \(\mathbf a(G_{\alpha ,\beta })\), G a group of order \(\le 8\).     

Disintegration of positive isometric group representations on $$\varvec{\mathrm {L}^{p}}$$-spaces

Let G be a Polish locally compact group acting on a Polish space \({{X}}\) with a G-invariant probability measure \(\mu \). We factorize the integral with respect to \(\mu \) in terms of the integrals with respect to the ergodic measures on X, and show that \(\mathrm {L}^{p}({{X}},\mu )\) (\(1\le p<\infty \)) is G-equivariantly isometrically lattice isomorphic to an \({\mathrm {L}^p}\)-direct integral of the spaces \(\mathrm {L}^{p}({{X}},\lambda )\), where \(\lambda \) ranges over the ergodic measures on X. This yields a disintegration of the canonical representation of G as isometric lattice automorphisms of \(\mathrm {L}^{p}({{X}},\mu )\) as an \({\mathrm {L}^p}\)-direct integral of order indecomposable representations. If \(({{X}}^\prime ,\mu ^\prime )\) is a probability space, and, for some \(1\le q<\infty \), G acts in a strongly continuous manner on \(\mathrm {L}^{q}({{X}}^\prime ,\mu ^\prime )\) as isometric lattice automorphisms that leave the constants fixed, then G acts on \(\mathrm {L}^{p}({{X}}^{\prime },\mu ^{\prime })\) in a similar fashion for all \(1\le p<\infty \). Moreover, there exists an alternative model in which these representations originate from a continuous action of G on a compact Hausdorff space. If \(({{X}}^\prime ,\mu ^\prime )\) is separable, the representation of G on \(\mathrm {L}^p(X^\prime ,\mu ^\prime )\) can then be disintegrated into order indecomposable representations. The notions of \({\mathrm {L}^p}\)-direct integrals of Banach spaces and representations that are developed extend those in the literature.     

On the Skitovich–Darmois theorem for some locally compact Abelian groups

Let X be a locally compact Abelian group, \(\alpha _{j}, \beta _j\) be topological automorphisms of X. Let \(\xi _1, \xi _2\) be independent random variables with values in X and distributions \(\mu _j\) with non-vanishing characteristic functions. It is known that if X contains no subgroup topologically isomorphic to the circle group \(\mathbb {T}\), then the independence of the linear forms \(L_1=\alpha _1\xi _1+\alpha _2\xi _2\) and \(L_2=\beta _1\xi _1+\beta _2\xi _2\) implies that \(\mu _j\) are Gaussian distributions. We prove that if X contains no subgroup topologically isomorphic to \(\mathbb {T}^2\), then the independence of \(L_1\) and \(L_2\) implies that \(\mu _j\) are either Gaussian distributions or convolutions of Gaussian distributions and signed measures supported in a subgroup of X generated by an element of order 2. The proof is based on solving the Skitovich–Darmois functional equation on some locally compact Abelian groups.     

Bochner representable operators on Banach function spaces

Let \((E,\Vert \cdot \Vert _E)\) be a Banach function space, \(E'\) the Köthe dual of E and \((X,\Vert \cdot \Vert _X)\) be a Banach space. It is shown that every Bochner representable operator \(T:E\rightarrow X\) maps relatively \(\sigma (E,E')\)-compact sets in E onto relatively norm compact sets in X. If, in particular, the associated norm \(\Vert \cdot \Vert _{E'}\) on \(E'\) is order continuous, then every Bochner representable operator \(T:E\rightarrow X\) is \((\gamma _E,\Vert \cdot \Vert _X)\)-compact, where \(\gamma _E\) stands for the natural mixed topology on E. Applications to Bochner representable operators on Orlicz spaces are given.     

Homomorphisms from $$C(X,\mathbb {Z})$$ into a ring of continuous functions

Let X be a zero-dimensional space and Y be a Tychonoff space. We show that every non-zero ring homomorphism \(\Phi :C(X,\mathbb {Z})\rightarrow C(Y)\) can be induced by a continuous function \(\pi :Y\rightarrow \upsilon _0X.\) Using this, it turns out that the kernel of such homomorphisms is equal to the intersection of some family of minimal prime ideals in \({{\mathrm{MinMax}}}\left( C(X,\mathbb {Z})\right) .\) As a consequence, we are able to obtain the fact that the factor ring \(\frac{C(X,\mathbb {Z})}{C_F(X,\mathbb {Z})}\) is a subring of some ring of continuous functions if and only if each infinite subset of isolated points of X has a limit point in \(\upsilon _0X.\) This implies that for an arbitrary infinite set X,  the factor ring \(\frac{\prod _{_{x\in X}}\mathbb {Z}_{_{x}}}{\oplus _{_{x\in X}}\mathbb {Z}_{_{x}}}\) is not embedded in any ring of continuous functions. The classical ring of quotients of the factor ring \(\frac{C(X,\mathbb {Z})}{C_F(X,\mathbb {Z})}\) is fully characterized. Finally, it is shown that the factor ring \(\frac{C(X,\mathbb {Z})}{C_F(X,\mathbb {Z})}\) is an I-ring if and only if each infinite subset of isolated points on X has a limit point in \(\upsilon _0X\) and \(\upsilon _0X{\setminus }\mathbb {I}(X)\) is an extremally disconnected \(C_{\mathbb {Z}}\)-subspace of \(\upsilon _0X,\) where \(\mathbb {I}(X)\) is the set of all isolated points of X.     

Traces of the Nevanlinna Class on Discrete Sequences

We show that a discrete sequence \(\Lambda \) of the unit disk is the union of n interpolating sequences for the Nevanlinna class \(\mathcal {N}\) if and only if the trace of \(\mathcal {N}\) on \(\Lambda \) coincides with the space of functions on \(\Lambda \) for which the divided differences of order \(n-1\) are uniformly controlled by a positive harmonic function.     

On a Characterization of Idempotent Distributions on Discrete Fields and on the Field of <Emphasis Type="Italic">p</Emphasis>-Adic Numbers

We prove the following theorem. Let X be a discrete field, and \(\xi \) and \(\eta \) be independent identically distributed random variables with values in X and distribution \(\mu \). The random variables \(S=\xi +\eta \) and \(D=(\xi -\eta )^2\) are independent if and only if \(\mu \) is an idempotent distribution. A similar result is also proved in the case when \(\xi \) and \(\eta \) are independent identically distributed random variables with values in the field of p-adic numbers \({\mathbf {Q}}_p\), where \(p>2\), assuming that the distribution \(\mu \) has a continuous density.     

Fast approximation of matroid packing and covering

We study packing problems with matroid structures, which includes the strength of a graph of Cunningham and scheduling problems. If \(\mathcal {M}\) is a matroid over a set of elements S with independent set \(\mathcal {I}\), and \(m=|S|\), we suppose that we are given an oracle function that takes an independent set \(A\in \mathcal {I}\) and an element \(e\in S\) and determines if \(A\cup \{e\}\) is independent in time I(m). Also, given that the elements of A are represented in an ordered way \(A=\{A_1,\dots ,A_k\}\), we denote the time to check if \(A\cup \{e\}\notin \mathcal {I}\) and if so, to find the minimum \(i\in \{0,\dots ,k\}\) such that \(\{A_1,\dots ,A_i\}\cup \{e\}\notin \mathcal {I}\) by \(I^*(m)\). Then, we describe a new FPTAS that computes for any \(\varepsilon >0\) and for any matroid \(\mathcal {M}\) of rank r over a set S of m elements, in memory space O(m), the packing \(\varLambda ({\mathcal {M}})\) within \(1+\varepsilon \) in time \(O(mI^*(m)\log (m)\log (m/r)/\varepsilon ^2)\), and the covering \(\varUpsilon ({\mathcal {M}})\) in time \(O(r\varUpsilon ({\mathcal {M}})I(m)\log (m)\log (m/r)/\varepsilon ^2)\). This method outperforms in time complexity by a factor of \(\varOmega (m/r)\) the FPTAS of Plotkin, Shmoys, and Tardos, and a factor of \(\varOmega (m)\) the FPTAS of Garg and Konemann. On top of the value of the packing and the covering, our algorithm exhibits a combinatorial object that proves the approximation. The applications of this result include graph partitioning, minimum cuts, VLSI computing, job scheduling and others.     

Simultaneous power factorization in modules over Banach algebras

Let A be a Banach algebra with a bounded left approximate identity \(\{e_\lambda \}_{\lambda \in \Lambda }\), let \(\pi \) be a continuous representation of A on a Banach space X, and let S be a non-empty subset of X such that \(\lim _{\lambda }\pi (e_\lambda )s=s\) uniformly on S. If S is bounded, or if \(\{e_\lambda \}_{\lambda \in \Lambda }\) is commutative, then we show that there exist \(a\in A\) and maps \(x_n: S\rightarrow X\) for \(n\ge 1\) such that \(s=\pi (a^n)x_n(s)\) for all \(n\ge 1\) and \(s\in S\). The properties of \(a\in A\) and the maps \(x_n\), as produced by the constructive proof, are studied in some detail. The results generalize previous simultaneous factorization theorems as well as Allan and Sinclair’s power factorization theorem. In an ordered context, we also consider the existence of a positive factorization for a subset of the positive cone of an ordered Banach space that is a positive module over an ordered Banach algebra with a positive bounded left approximate identity. Such factorizations are not always possible. In certain cases, including those for positive modules over ordered Banach algebras of bounded functions, such positive factorizations exist, but the general picture is still unclear. Furthermore, simultaneous pointwise power factorizations for sets of bounded maps with values in a Banach module (such as sets of bounded convergent nets) are obtained. A worked example for the left regular representation of \(\mathrm {C}_0({\mathbb R})\) and unbounded S is included.     

Generating Hyperbolic Singularities in Semitoric Systems Via Hopf Bifurcations

Let \((M,\Omega )\) be a connected symplectic 4-manifold and let \(F=(J,H) :M\rightarrow \mathbb {R}^2\) be a completely integrable system on M with only non-degenerate singularities. Assume that F does not have singularities with hyperbolic blocks and that \(p_1,\ldots ,p_n\) are the focus–focus singularities of F. For each subset \(S=\{i_1,\ldots ,i_j\}\), we will show how to modify F locally around any \(p_i, i \in S\), in order to create a new integrable system \(\widetilde{F}=(J, \widetilde{H}) :M \rightarrow \mathbb {R}^2\) such that its classical spectrum \(\widetilde{F}(M)\) contains j smooth curves of singular values corresponding to non-degenerate transversally hyperbolic singularities of \(\widetilde{F}\). Moreover the focus–focus singularities of \(\widetilde{F}\) are precisely \(p_i\), \(i \in \{1,\ldots ,n\} \setminus S\). The proof is based on Eliasson’s linearization theorem for non-degenerate singularities, and properties of the Hamiltonian Hopf bifurcation.     

<Emphasis Type="Italic">b</Emphasis>-Generalized Skew Derivations on Lie Ideals

Let R be a non-commutative prime ring, Z(R) its center, Q its right Martindale quotient ring, C its extended centroid, \(F\ne 0\) an b-generalized skew derivation of R, L a non-central Lie ideal of R, \(0\ne a\in R\) and \(n\ge 1\) a fixed integer. In this paper, we prove the following two results:

1. 1.
   If R has characteristic different from 2 and 3 and \(a[F(x),x]^n=0\), for all \(x\in L\), then either there exists an element \(\lambda \in C\), such that \(F(x)=\lambda x\), for all \(x\in R\) or R satisfies \(s_4(x_1,\ldots ,x_4)\), the standard identity of degree 4, and there exist \(\lambda \in C\) and \(b\in Q\), such that \(F(x)=bx+xb+\lambda x\), for all \(x\in R\).
    
2. 2.
   If \(\mathrm{{char}}(R)=0\) or \(\mathrm{{char}}(R) > n\) and \(a[F(x),x]^n\in Z(R)\), for all \(x\in R\), then either there exists an element \(\lambda \in C\), such that \(F(x)=\lambda x\), for all \(x\in R\) or R satisfies \(s_4(x_1,\ldots ,x_4)\).
    

     

Triviality of Iwasawa module associated to some abelian fields of prime conductors

Let p be an odd prime number and \(\ell \) an odd prime number dividing \(p-1\). We denote by \(F=F_{p,\ell }\) the real abelian field of conductor p and degree \(\ell \), and by \(h_F\) the class number of F. For a prime number \(r \ne p,\,\ell \), let \(F_{\infty }\) be the cyclotomic \(\mathbb {Z}_r\)-extension over F, and \(M_{\infty }/F_{\infty }\) the maximal pro-r abelian extension unramified outside r. We prove that \(M_{\infty }\) coincides with \(F_{\infty }\) and consequently \(h_F\) is not divisible by r when r is a primitive root modulo \(\ell \) and r is smaller than an explicit constant depending on p.     

On the construction of quantum constacyclic codes

In cognitive radio networks, the process for any two unlicensed (secondary) users (SU) to establish links through a common channel is called a rendezvous. It is hard to employ a common control channel to solve the rendezvous problem, because of the bottleneck of the single control channel. Asynchronous channels hopping (ACH) systems have been proposed and investigated to guarantee rendezvous without requirement of global synchronization and common control channels. An ACH system with N channels can be mathematically interpreted as a set of sequences of the same period T on the alphabet \(\{0,1,\ldots , N-1\}\) satisfying certain rotation closure properties. For each \(l\in \{0,1,\ldots , T-1 \}\), each \(j\in \{0,1,\ldots , N-1 \}\) and any two distinct sequences \(\mathbf u\), \(\mathbf v\) in an ACH system H, if there always exists i such that the i-th entries of \(\mathbf u\) and \(L^{l}(\mathbf v)\) are both identical to j where \(L^{l}(\mathbf v)\) denotes the cyclic shift of \(\mathbf v\) by l, then H is called a complete ACH system, which guarantees rendezvous between any two SUs who share at least one common channel. In this paper, we prove some properties of such systems. Moreover, we investigate the complete ACH systems, in each of which all SUs repeat the same (global) sequence associated with the system. One challenging research problem is to construct such ACH systems of period \(T=\beta N^2 + o(N^2)\) such that \(\beta \) is as small as possible. By applying mathematical tools such as group rings and (relative, relaxed) difference sets from combinatorial design theory, we obtain two constructions of them in which \(\beta =1,2\) respectively. Finally, we also present a simple and powerful approach to combining known ACH systems to produce new ones.