An <Emphasis Type="Italic">A</Emphasis>-invariant subspace for bipartite distance-regular graphs with exactly two irreducible <Emphasis Type="Italic">T</Emphasis>-modules with endpoint 2, both thin

Let \(\Gamma \) denote a bipartite distance-regular graph with vertex set X, diameter \(D \ge 4\), and valency \(k \ge 3\). Let \({{\mathbb {C}}}^X\) denote the vector space over \({{\mathbb {C}}}\) consisting of column vectors with entries in \({{\mathbb {C}}}\) and rows indexed by X. For \(z \in X\), let \({{\widehat{z}}}\) denote the vector in \({{\mathbb {C}}}^X\) with a 1 in the z-coordinate, and 0 in all other coordinates. Fix a vertex x of \(\Gamma \) and let \(T = T(x)\) denote the corresponding Terwilliger algebra. Assume that up to isomorphism there exist exactly two irreducible T-modules with endpoint 2, and they both are thin. Fix \(y \in X\) such that \(\partial (x,y)=2\), where \(\partial \) denotes path-length distance. For \(0 \le i,j \le D\) define \(w_{ij}=\sum {{\widehat{z}}}\), where the sum is over all \(z \in X\) such that \(\partial (x,z)=i\) and \(\partial (y,z)=j\). We define \(W=\mathrm{span}\{w_{ij} \mid 0 \le i,j \le D\}\). In this paper we consider the space \(MW=\mathrm{span}\{mw \mid m \in M, w \in W\}\), where M is the Bose–Mesner algebra of \(\Gamma \). We observe that MW is the minimal A-invariant subspace of \({{\mathbb {C}}}^X\) which contains W, where A is the adjacency matrix of \(\Gamma \). We show that \(4D-6 \le \mathrm{dim}(MW) \le 4D-2\). We display a basis for MW for each of these five cases, and we give the action of A on these bases.     

Newly appointed editors

Let k be a field and \(k(x_0,\ldots ,x_{p-1})\) be the rational function field of p variables over k where p is a prime number. Suppose that \(G=\langle \sigma \rangle \simeq C_p\) acts on \(k(x_0,\ldots ,x_{p-1})\) by k-automorphisms defined as \(\sigma :x_0\mapsto x_1\mapsto \cdots \mapsto x_{p-1}\mapsto x_0\). Denote by P the set of all prime numbers and define \(P_0=\{p\in P:\mathbb {Q}(\zeta _{p-1})\) is of class number one\(\}\) where \(\zeta _n\) a primitive n-th root of unity in \(\mathbb {C}\) for a positive integer n; \(P_0\) is a finite set by Masley and Montgomery (J Reine Angew Math 286/287:248–256, 1976). Theorem. Let k be an algebraic number field and \(P_k=\{p\in P: p\) is ramified in \(k\}\). Then \(k(x_0,\ldots ,x_{p-1})^G\) is not stably rational over k for all \(p\in P\backslash (P_0\cup P_k)\).     

Revisiting Fryszkowski’s problem

Professor Andrzej Fryszkowski formulated, at the 2nd Symposium on Nonlinear Analysis in Toruń, September 13–17, 1999, the following problem: given \(\alpha \in (0,1)\), an arbitrary non-empty set \(\Omega \) and a set-valued mapping \(F:\Omega \rightarrow 2^{\Omega }\), find necessary and (or) sufficient conditions for the existence of a (complete) metric d on \(\Omega \) having the property that F is a Nadler set-valued \(\alpha \)-contraction with respect to d. Com?neci (Stud. Univ. Babe?-Bolyai Math. 62:537–542, 2017) provided necessary and sufficient conditions for the existence of a complete and bounded metric d on \(\Omega \) having the property that F is a Nadler set-valued \(\alpha \)-contraction with respect to d, in case that \(\alpha \in (0,\frac{1}{2})\) and there exists \(z\in \Omega \) such that \(F(z)=\{z\}\) . We improve Com?neci’s result by allowing \(\alpha \) to belong to the interval (0, 1). In addition, we provide necessary and sufficient conditions for the existence of a complete and bounded metric d on \(\Omega \) such that F is a Nadler set-valued \(\alpha \)-similarity with respect to d, in case that \(\alpha \in (0,1)\), there exists \(z\in \Omega \) such that \(F(z)=\{z\}\) and F is non-overlapping.     

On the eigenvalues and spectral radius of starlike trees

Let \(k\ge 1\) and \(n_1,\ldots ,n_k\ge 1\) be some integers. Let \(S(n_1,\ldots ,n_k)\) be a tree T such that T has a vertex v of degree k and \(T{\setminus } v\) is the disjoint union of the paths \(P_{n_1},\ldots ,P_{n_k}\), that is \(T{\setminus } v\cong P_{n_1}\cup \cdots \cup P_{n_k}\) so that every neighbor of v in T has degree one or two. The tree \(S(n_1,\ldots ,n_k)\) is called starlike tree, a tree with exactly one vertex of degree greater than two, if \(k\ge 3\). In this paper we obtain the eigenvalues of starlike trees. We find some bounds for the largest eigenvalue (for the spectral radius) of starlike trees. In particular we prove that if \(k\ge 4\) and \(n_1,\ldots ,n_k\ge 2\), then \(\frac{k-1}{\sqrt{k-2}}<\lambda _1(S(n_1,\ldots ,n_k))<\frac{k}{\sqrt{k-1}}\), where \(\lambda _1(T)\) is the largest eigenvalue of T. Finally we characterize all starlike trees that all of whose eigenvalues are in the interval \((-2,2)\).     

The Dirichlet problem for Einstein metrics on cohomogeneity one manifolds

Let \(G{/}H\) be a compact homogeneous space, and let \(\hat{g}_0\) and \(\hat{g}_1\) be G-invariant Riemannian metrics on \(G/H\). We consider the problem of finding a G-invariant Einstein metric g on the manifold \(G/H\times [0,1]\) subject to the constraint that g restricted to \(G{/}H\times \{0\}\) and \(G/H\times \{1\}\) coincides with \(\hat{g}_0\) and \(\hat{g}_1\), respectively. By assuming that the isotropy representation of \(G/H\) consists of pairwise inequivalent irreducible summands, we show that we can always find such an Einstein metric.     

The convolution algebra

For L a complete lattice L and \(\mathfrak {X}=(X,(R_i)_I)\) a relational structure, we introduce the convolution algebra \(L^{\mathfrak {X}}\). This algebra consists of the lattice \(L^X\) equipped with an additional \(n_i\)-ary operation \(f_i\) for each \(n_i+1\)-ary relation \(R_i\) of \(\mathfrak {X}\). For \(\alpha _1,\ldots ,\alpha _{n_i}\in L^X\) and \(x\in X\) we set \(f_i(\alpha _1,\ldots ,\alpha _{n_i})(x)=\bigvee \{\alpha _1(x_1)\wedge \cdots \wedge \alpha _{n_i}(x_{n_i}):(x_1,\ldots ,x_{n_i},x)\in R_i\}\). For the 2-element lattice 2, \(2^\mathfrak {X}\) is the reduct of the familiar complex algebra \(\mathfrak {X}^+\) obtained by removing Boolean complementation from the signature. It is shown that this construction is bifunctorial and behaves well with respect to one-one and onto maps and with respect to products. When L is the reduct of a complete Heyting algebra, the operations of \(L^\mathfrak {X}\) are completely additive in each coordinate and \(L^\mathfrak {X}\) is in the variety generated by \(2^\mathfrak {X}\). Extensions to the construction are made to allow for completely multiplicative operations defined through meets instead of joins, as well as modifications to allow for convolutions of relational structures with partial orderings. Several examples are given.     

Continued fractions and irrational rotations

Let \(\alpha \in (0, 1)\) be an irrational number with continued fraction expansion \(\alpha =[0; a_1, a_2, \ldots ]\) and let \(p_n/q_n= [0; a_1, \ldots , a_n]\) be the nth convergent to \(\alpha \). We prove a formula for \(p_nq_k-q_np_k\) \((k<n)\) in terms of a Fibonacci type sequence \(Q_n\) defined in terms of the \(a_n\) and use it to provide an exact formula for \(\{n\alpha \}\) for all n.     

Large Deviations for Sums of Random Vectors Attracted to Operator Semi-Stable Laws

Let \(\{X_i, i\ge 1\}\) be i.i.d. \(\mathbb {R}^d\)-valued random vectors attracted to operator semi-stable laws and write \(S_n=\sum _{i=1}^{n}X_i\). This paper investigates precise large deviations for both the partial sums \(S_n\) and the random sums \(S_{N(t)}\), where N(t) is a counting process independent of the sequence \(\{X_i, i\ge 1\}\). In particular, we show for all unit vectors \(\theta \) the asymptotics

$$\begin{aligned} {\mathbb P}(|\langle S_n,\theta \rangle |>x)\sim n{\mathbb P}(|\langle X,\theta \rangle |>x) \end{aligned}$$

which holds uniformly for x-region \([\gamma _n, \infty )\), where \(\langle \cdot , \cdot \rangle \) is the standard inner product on \(\mathbb {R}^d\) and \(\{\gamma _n\}\) is some monotone sequence of positive numbers. As applications, the precise large deviations for random sums of real-valued random variables with regularly varying tails and \(\mathbb {R}^d\)-valued random vectors with weakly negatively associated occurrences are proposed. The obtained results improve some related classical ones.

     

Sandwich semigroups in locally small categories I: foundations

Fix (not necessarily distinct) objects i and j of a locally small category S, and write \(S_{ij}\) for the set of all morphisms \(i\rightarrow j\). Fix a morphism \(a\in S_{ji}\), and define an operation \(\star _a\) on \(S_{ij}\) by \(x\star _ay=xay\) for all \(x,y\in S_{ij}\). Then \((S_{ij},\star _a)\) is a semigroup, known as a sandwich semigroup, and denoted by \(S_{ij}^a\). This article develops a general theory of sandwich semigroups in locally small categories. We begin with structural issues such as regularity, Green’s relations and stability, focusing on the relationships between these properties on \(S_{ij}^a\) and the whole category S. We then identify a natural condition on a, called sandwich regularity, under which the set \({\text {Reg}}(S_{ij}^a)\) of all regular elements of \(S_{ij}^a\) is a subsemigroup of \(S_{ij}^a\). Under this condition, we carefully analyse the structure of the semigroup \({\text {Reg}}(S_{ij}^a)\), relating it via pullback products to certain regular subsemigroups of \(S_{ii}\) and \(S_{jj}\), and to a certain regular sandwich monoid defined on a subset of \(S_{ji}\); among other things, this allows us to also describe the idempotent-generated subsemigroup \(\mathbb E(S_{ij}^a)\) of \(S_{ij}^a\). We also study combinatorial invariants such as the rank (minimal size of a generating set) of the semigroups \(S_{ij}^a\), \({\text {Reg}}(S_{ij}^a)\) and \(\mathbb E(S_{ij}^a)\); we give lower bounds for these ranks, and in the case of \({\text {Reg}}(S_{ij}^a)\) and \(\mathbb E(S_{ij}^a)\) show that the bounds are sharp under a certain condition we call MI-domination. Applications to concrete categories of transformations and partial transformations are given in Part II.     

Mapping prefer-opposite to prefer-one de Bruijn sequences

We present a mapping of the binary prefer-opposite de Bruijn sequence of order n onto the binary prefer-one de Bruijn sequence of order \(n-1\). The mapping is based on the differentiation operator \(D(\langle {b_1,\ldots ,b_l}\rangle ) = \langle b_2-b_1, b_3-b_2,\ldots , b_{l}-b_{l-1} \rangle \) where bit subtraction is modulo two. We show that if we take the prefer-opposite sequence \(\langle {b_1,b_2,\ldots ,b_{2^n}}\rangle \), apply D to get the sequence \(\langle {\hat{b}_1, \ldots , \hat{b}_{2^n-1}}\rangle \) and drop all the bits \(\hat{b}_i\) such that \(\langle {\hat{b}_i,\ldots ,\hat{b}_{i+n-1}}\rangle \) is a substring of \(\langle {\hat{b}_1,\ldots ,\hat{b}_{i+n-2}}\rangle \), we get the prefer-one de Bruijn sequence of order \(n-1\).     

Uniqueness of self-shrinkers to the degree-one curvature flow with a tangent cone at infinity

Given a smooth, symmetric and homogeneous of degree one function \(f\left( \lambda _{1},\ldots ,\lambda _{n}\right) \) satisfying \(\partial _{i}f>0\quad \forall \,i=1,\ldots , n\), and a properly embedded smooth cone \({\mathcal {C}}\) in \({\mathbb {R}}^{n+1}\), we show that under suitable conditions on f, there is at most one f self-shrinker (i.e. a hypersurface \(\Sigma \) in \({\mathbb {R}}^{n+1}\) satisfying \(f\left( \kappa _{1},\ldots ,\kappa _{n}\right) +\frac{1}{2}X\cdot N=0\), where \(\kappa _{1},\ldots ,\kappa _{n}\) are principal curvatures of \(\Sigma \)) that is asymptotic to the given cone \({\mathcal {C}}\) at infinity.     

Space–Time Fractional Equations and the Related Stable Processes at Random Time

In this paper, we consider the general space–time fractional equation of the form \(\sum _{j=1}^m \lambda _j \frac{\partial ^{\nu _j}}{\partial t^{\nu _j}} w(x_1, \ldots , x_n ; t) = -c^2 \left( -\varDelta \right) ^\beta w(x_1, \ldots , x_n ; t)\), for \(\nu _j \in \left( 0,1 \right] \) and \(\beta \in \left( 0,1 \right] \) with initial condition \(w(x_1, \ldots , x_n ; 0)= \prod _{j=1}^n \delta (x_j)\). We show that the solution of the Cauchy problem above coincides with the probability density of the n-dimensional vector process \(\varvec{S}_n^{2\beta } \left( c^2 \mathcal {L}^{\nu _1, \ldots , \nu _m} (t) \right) \), \(t>0\), where \(\varvec{S}_n^{2\beta }\) is an isotropic stable process independent from \(\mathcal {L}^{\nu _1, \ldots , \nu _m}(t)\), which is the inverse of \(\mathcal {H}^{\nu _1, \ldots , \nu _m} (t) = \sum _{j=1}^m \lambda _j^{1/\nu _j} H^{\nu _j} (t)\), \(t>0\), with \(H^{\nu _j}(t)\) independent, positively skewed stable random variables of order \(\nu _j\). The problem considered includes the fractional telegraph equation as a special case as well as the governing equation of stable processes. The composition \(\varvec{S}_n^{2\beta } \left( c^2 \mathcal {L}^{\nu _1, \ldots , \nu _m} (t) \right) \), \(t>0\), supplies a probabilistic representation for the solutions of the fractional equations above and coincides for \(\beta = 1\) with the n-dimensional Brownian motion at the random time \(\mathcal {L}^{\nu _1, \ldots , \nu _m} (t)\), \(t>0\). The iterated process \(\mathfrak {L}^{\nu _1, \ldots , \nu _m}_r (t)\), \(t>0\), inverse to \(\mathfrak {H}^{\nu _1, \ldots , \nu _m}_r (t) =\sum _{j=1}^m \lambda _j^{1/\nu _j} \, _1H^{\nu _j} \left( \, _2H^{\nu _j} \left( \, _3H^{\nu _j} \left( \ldots \, _{r}H^{\nu _j} (t) \ldots \right) \right) \right) \), \(t>0\), permits us to construct the process \(\varvec{S}_n^{2\beta } \left( c^2 \mathfrak {L}^{\nu _1, \ldots , \nu _m}_r (t) \right) \), \(t>0\), the density of which solves a space-fractional equation of the form of the generalized fractional telegraph equation. For \(r \rightarrow \infty \) and \(\beta = 1\), we obtain a probability density, independent from t, which represents the multidimensional generalization of the Gauss–Laplace law and solves the equation \(\sum _{j=1}^m \lambda _j w(x_1, \ldots , x_n) = c^2 \sum _{j=1}^n \frac{\partial ^2}{\partial x_j^2} w(x_1, \ldots , x_n)\). Our analysis represents a general framework of the interplay between fractional differential equations and composition of processes of which the iterated Brownian motion is a very particular case.     

Connected size Ramsey number for matchings vs. small stars or cycles

The notation \(F\rightarrow (G,H)\) means that if the edges of F are colored red and blue, then the red subgraph contains a copy of G or the blue subgraph contains a copy of H. The connected size Ramsey number \(\hat{r}_c(G,H)\) of graphs G and H is the minimum size of a connected graph F satisfying \(F\rightarrow (G,H)\). For \(m \ge 2,\) the graph consisting of m independent edges is called a matching and is denoted by \(mK_2\). In 1981, Erdös and Faudree determined the size Ramsey numbers for the pair \((mK_2, K_{1,t})\). They showed that the disconnected graph \(mK_{1,t} \rightarrow (mK_2,K_{1,t})\) for \( t,m \ge 1\). In this paper, we will determine the connected size Ramsey number \(\hat{r}_c(nK_2, K_{1,3})\) for \(n\ge 2\) and \(\hat{r}_c(3K_2, C_4)\). We also derive an upper bound of the connected size Ramsey number \(\hat{r}_c(nK_2, C_4),\) for \(n\ge 4\).     

ANCOVA: a heteroscedastic global test when there is curvature and two covariates

For two independent groups, let \(M_j(\mathbf {X})\) be some conditional measure of location for the jth group associated with some random variable Y given \(\mathbf {X}=(X_1, X_2)\). Let \(\Omega =\{\mathbf {X}_1, \ldots , \mathbf {X}_K\}\) be a set of K points to be determined. An extant technique can be used to test \(H_0\): \(M_1(\mathbf {X})=M_2(\mathbf {X})\) for each \(\mathbf {X} \in \Omega \) without making any parametric assumption about \(M_j(\mathbf {X})\). But there are two general reasons to suspect that the method can have relatively low power. The paper reports simulation results on an alternative approach that is designed to test the global hypothesis \(H_0\): \(M_1(\mathbf {X})=M_2(\mathbf {X})\) for all \(\mathbf {X} \in \Omega \). The main result is that the new method offers a distinct power advantage. Using data from the Well Elderly 2 study, it is illustrated that the alternative method can make a practical difference in terms of detecting a difference between two groups.     

Distance Magic Labeling in Complete 4-partite Graphs

Let G be a complete k-partite simple undirected graph with parts of sizes \(p_1\le p_2\cdots \le p_k\). Let \(P_j=\sum _{i=1}^jp_i\) for \(j=1,\ldots ,k\). It is conjectured that G has distance magic labeling if and only if \(\sum _{i=1}^{P_j} (n-i+1)\ge j{{n+1}\atopwithdelims (){2}}/k\) for all \(j=1,\ldots ,k\). The conjecture is proved for \(k=4\), extending earlier results for \(k=2,3\).     

An Engel condition with skew derivations for one-sided ideals

We apply the theory of generalized polynomial identities with automorphisms and skew derivations to prove the following theorem: Let A be a prime ring with the extended centroid C and with two-sided Martindale quotient ring Q, R a nonzero right ideal of A and \(\delta \) a nonzero \(\sigma \)-derivation of A, where \(\sigma \) is an epimorphism of A. For \(x,y\in A\), we set \([x,y] = xy - yx\). If \([[\ldots [[\delta (x^{n_0}),x^{n_1}],x^{n_{2}}],\ldots ],x^{n_k}]=0\) for all \(x\in R\), where \(n_{0},n_{1},\ldots ,n_{k}\) are fixed positive integers, then one of the following conditions holds: (1) A is commutative; (2) \(C\cong GF(2)\), the Galois field of two elements; (3) there exist \(b\in Q\) and \(\lambda \in C\) such that \(\delta (x)=\sigma (x)b-bx\) for all \(x\in A\), \((b-\lambda )R=0\) and \(\sigma (R)=0\). The analogous result for left ideals is also obtained. Our theorems are natural generalizations of the well-known results for derivations obtained by Lanski (Proc Am Math Soc 125:339–345, 1997) and Lee (Can Math Bull 38:445–449, 1995).     

Coloring Complete and Complete Bipartite Graphs from Random Lists

Assign to each vertex v of the complete graph \(K_n\) on n vertices a list L(v) of colors by choosing each list independently and uniformly at random from all f(n)-subsets of a color set \([n] = \{1,\dots , n\}\), where f(n) is some integer-valued function of n. Such a list assignment L is called a random (f(n), [n])-list assignment. In this paper, we determine the asymptotic probability (as \(n \rightarrow \infty \)) of the existence of a proper coloring \(\varphi \) of \(K_n\), such that \(\varphi (v) \in L(v)\) for every vertex v of \(K_n\). We show that this property exhibits a sharp threshold at \(f(n) = \log n\). Additionally, we consider the corresponding problem for the line graph of a complete bipartite graph \(K_{m,n}\) with parts of size m and n, respectively. We show that if \(m = o(\sqrt{n})\), \(f(n) \ge 2 \log n\), and L is a random (f(n), [n])-list assignment for the line graph of \(K_{m,n}\), then with probability tending to 1, as \(n \rightarrow \infty \), there is a proper coloring of the line graph of \(K_{m,n}\) with colors from the lists.     

Largest independent sets of certain regular subgraphs of the derangement graph

The derangement graph is the Cayley graph on the symmetric group \(\mathcal {S}_{n}\) whose generating set \(D_{n}\) is the set of permutations on \([n]=\{1, \ldots , n\}\) without any 1-cycle. For any fixed positive integer \(k \le n\), the Cayley graph generated by the subset of \(D_{n}\) consisting of permutations without any i-cycles for all \(1 \le i \le k\) is a regular subgraph of the derangement graph. In this paper, we determine the smallest eigenvalue of these subgraphs and show that the set of all the largest independent sets in these subgraphs is equal to the set of all the largest independent sets in the derangement graph, provided n is sufficiently large in terms of k.     

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.     

Monochromatic Solutions for Multi-Term Unknowns

Given integers \(k\ge 2\), \(n \ge 2\), \(m \ge 2\) and \( a_1,a_2,\ldots ,a_m \in {\mathbb {Z}}{\backslash }{\{0\}}\), and let \(f(z)= \sum _{j=0}^{n}c_jz^j\) be a polynomial of integer coefficients with \(c_n>0\) and \((\sum _{i=1}^ma_i)|f(z)\) for some integer z. For a k-coloring of \([N]=\{1,2,\ldots ,N\}\), we say that there is a monochromatic solution of the equation \(a_1x_1+a_2x_2+\cdots +a_mx_m=f(z)\) if there exist pairwise distinct \(x_1,x_2,\ldots ,x_m\in [N]\) all of the same color such that the equation holds for some \(z\in \mathbb {Z}\). Problems of this type are often referred to as Ramsey-type problems. In this paper, it is shown that if \(a_i>0\) for \(1\le i\le m\), then there exists an integer \(N_0=N(k,m,n)\) such that for \(N\ge N_0\), each k-coloring of [N] contains a monochromatic solution \(x_1,x_2,\ldots ,x_m\) of the equation \(a_1x_1+a_2x_2+ \cdots +a_mx_m= f(z)\). Moreover, if n is odd and there are \(a_i\) and \(a_j\) such that \(a_ia_j<0\) for some \(1 \le i\ne j\le m\), then the assertion holds similarly.