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

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.     

Anti-Ramsey Numbers of Graphs with Small Connected Components

The anti-Ramsey number, AR(n, G), for a graph G and an integer \(n\ge |V(G)|\), is defined to be the minimal integer r such that in any edge-colouring of \(K_n\) by at least r colours there is a multicoloured copy of G, namely, a copy of G that each of its edges has a distinct colour. In this paper we determine, for large enough \(n,\, AR(n,L\cup tP_2)\) and \(AR(n,L\cup kP_3)\) for any large enough t and k, and a graph L satisfying some conditions. Consequently, we determine AR(n, G), for large enough n, where G is \(P_3\cup tP_2\) for any \(t\ge 3,\, P_4\cup tP_2\) and \(C_3\cup tP_2\) for any \(t\ge 2,\, kP_3\) for any \(k\ge 3,\, tP_2\cup kP_3\) for any \(t\ge 1,\, k\ge 2\), and \(P_{t+1}\cup kP_3\) for any \(t\ge 3,\, k\ge 1\). Furthermore, we obtain upper and lower bounds for AR(n, G), for large enough n, where G is \(P_{k+1}\cup tP_2\) and \(C_k\cup tP_2\) for any \(k\ge 4,\, t\ge 1\).     

Beatty sequences and prime numbers with restrictions on strongly <Emphasis Type="Italic">q</Emphasis>-additive functions

We estimate exponential sums over a non-homogenous Beatty sequence with restriction on strongly q-additive functions. We then apply our result in a few special cases to obtain an asymptotic formula for the number of primes \(p=\lfloor \alpha n +\beta \rfloor \) and \(f(p)\equiv a (\mathrm{mod\,}b)\), with \(n\ge N \), where \(\alpha \), \(\beta \) are real numbers and f is a strongly q-additive function (for example, the sum of digits function in base q is a strongly q-additive function). We also prove that for any fixed integer \(k\ge 3 \), all sufficiently large \(N\equiv k (\mathrm{mod\,}2) \) could be represented as a sum of k prime numbers from a Beatty sequence with restriction on strongly q-additive functions.     

Rainbow Spanning Subgraphs of Small Diameter in Edge-Colored Complete Graphs

Let s(n, t) be the maximum number of colors in an edge-coloring of the complete graph \(K_n\) that has no rainbow spanning subgraph with diameter at most t. We prove \(s(n,t)={\left( {\begin{array}{c}n-2\\ 2\end{array}}\right) }+1\) for \(n,t\ge 3\), while \(s(n,2)={\left( {\begin{array}{c}n-2\\ 2\end{array}}\right) }+\left\lfloor {\frac{n-1}{2}}\right\rfloor \) for \(n\ne 4\) (and \(s(4,2)=2\)).     

Partial permutation decoding for binary linear and $$Z_4$$-linear Hadamard codes

In this paper, s-\({\text {PD}}\)-sets of minimum size \(s+1\) for partial permutation decoding for the binary linear Hadamard code \(H_m\) of length \(2^m\), for all \(m\ge 4\) and \(2 \le s \le \lfloor {\frac{2^m}{1+m}}\rfloor -1\), are constructed. Moreover, recursive constructions to obtain s-\({\text {PD}}\)-sets of size \(l\ge s+1\) for \(H_{m+1}\) of length \(2^{m+1}\), from an s-\({\text {PD}}\)-set of the same size for \(H_m\), are also described. These results are generalized to find s-\({\text {PD}}\)-sets for the \({\mathbb {Z}}_4\)-linear Hadamard codes \(H_{\gamma , \delta }\) of length \(2^m\), \(m=\gamma +2\delta -1\), which are binary Hadamard codes (not necessarily linear) obtained as the Gray map image of quaternary linear codes of type \(2^\gamma 4^\delta \). Specifically, s-PD-sets of minimum size \(s+1\) for \(H_{\gamma , \delta }\), for all \(\delta \ge 3\) and \(2\le s \le \lfloor {\frac{2^{2\delta -2}}{\delta }}\rfloor -1\), are constructed and recursive constructions are described.     

Brownian Paths Homogeneously Distributed in Space: Percolation Phase Transition and Uniqueness of the Unbounded Cluster

We consider a continuum percolation model on \(\mathbb {R}^d\), \(d\ge 1\). For \(t,\lambda \in (0,\infty )\) and \(d\in \{1,2,3\}\), the occupied set is given by the union of independent Brownian paths running up to time t whose initial points form a Poisson point process with intensity \(\lambda >0\). When \(d\ge 4\), the Brownian paths are replaced by Wiener sausages with radius \(r>0\). We establish that, for \(d=1\) and all choices of t, no percolation occurs, whereas for \(d\ge 2\), there is a non-trivial percolation transition in t, provided \(\lambda \) and r are chosen properly. The last statement means that \(\lambda \) has to be chosen to be strictly smaller than the critical percolation parameter for the occupied set at time zero (which is infinite when \(d\in \{2,3\}\), but finite and dependent on r when \(d\ge 4\)). We further show that for all \(d\ge 2\), the unbounded cluster in the supercritical phase is unique. Along the way a finite box criterion for non-percolation in the Boolean model is extended to radius distributions with an exponential tail. This may be of independent interest. The present paper settles the basic properties of the model and should be viewed as a springboard for finer results.     

Skew <Emphasis Type="Italic">n</Emphasis>-derivation on prime and semi prime rings

Let \(n \ge 2\) be a fixed integer, R be a noncommutative n!-torsion free ring and I be any non zero ideal of R. In this paper we have proved the following results; (i) If R is a prime ring and there exists a symmetric skew n-derivation \(D: R^n \rightarrow R\) associated with the automorphism \(\sigma \) on R,  such that the trace function \(\delta : R \rightarrow R \) of D satisfies \([\delta (x), \sigma (x)] =0\), for all \(x\in I,\) then \(D=0;\,\)(ii) If R is a semi prime ring and the trace function \(\delta ,\) commuting on I,  satisfies \([\delta (x), \sigma (x)]\in Z\), for all \(x \in I,\) then \([\delta (x), \sigma (x)] = 0 \), for all \(x \in I.\) Moreover, we have proved some annihilating conditions for algebraic identity involving multiplicative(generalized) derivation.     

Multi-player Last Nim with Passes

We introduce a class of impartial combinatorial games, Multi-player Last Nim with Passes, denoted by MLNim\(^{(s)}(N,n)\): there are N piles of counters which are linearly ordered. In turn, each of n players either removes any positive integer of counters from the last pile, or makes a choice ‘pass’. Once a ‘pass’ option is used, the total number s of passes decreases by 1. When all s passes are used, no player may ever ‘pass’ again. A pass option can be used at any time, up to the penultimate move, but cannot be used at the end of the game. The player who cannot make a move wins the game. The aim is to determine the game values of the positions of MLNim\(^{(s)}(N,n)\) for all integers \(N\ge 1\) and \(n\ge 3\) and \(s\ge 1\). For \(n>N+1\) or \(n=N+1\ge 3\), the game values are completely determined for any \(s\ge 1\). For \(3\le n\le N\), the game values are determined for infinitely many triplets (N, n, s). We also present a possible explanation why determining the game values becomes more complicated if \(n\le N\).     

Forcing Posets with Large Dimension to Contain Large Standard Examples

The dimension of a poset P, denoted \(\dim (P)\), is the least positive integer d for which P is the intersection of d linear extensions of P. The maximum dimension of a poset P with \(|P|\le 2n+1\) is n, provided \(n\ge 2\), and this inequality is tight when P contains the standard example \(S_n\). However, there are posets with large dimension that do not contain the standard example \(S_2\). Moreover, for each fixed \(d\ge 2\), if P is a poset with \(|P|\le 2n+1\) and P does not contain the standard example \(S_d\), then \(\dim (P)=o(n)\). Also, for large n, there is a poset P with \(|P|=2n\) and \(\dim (P)\ge (1-o(1))n\) such that the largest d so that P contains the standard example \(S_d\) is o(n). In this paper, we will show that for every integer \(c\ge 1\), there is an integer \(f(c)=O(c^2)\) so that for large enough n, if P is a poset with \(|P|\le 2n+1\) and \(\dim (P)\ge n-c\), then P contains a standard example \(S_d\) with \(d\ge n-f(c)\). From below, we show that \(f(c)={\varOmega }(c^{4/3})\). On the other hand, we also prove an analogous result for fractional dimension, and in this setting f(c) is linear in c. Here the result is best possible up to the value of the multiplicative constant.     

Finite 2-Geodesic Transitive Abelian Cayley Graphs

In this paper, we first give a classification of the family of 2-geodesic transitive abelian Cayley graphs. Let \(\Gamma \) be such a graph which is not 2-arc transitive. It is shown that one of the following holds: (1) \(\Gamma \cong \mathrm{K}_{m[b]}\) for some \(m\ge 3\) and \(b\ge 2\); (2) \(\Gamma \) is a normal Cayley graph of an elementary abelian group; (3) \(\Gamma \) is a cover of Cayley graph \(\Gamma _K\) of an abelian group T / K, where either \(\Gamma _K\) is complete arc transitive or \(\Gamma _K\) is 2-geodesic transitive of girth 3, and A / K acts primitively on \(V(\Gamma _K)\) of type Affine or Product Action. Second, we completely determine the family of 2-geodesic transitive circulants.     

The Terwilliger algebra of the incidence graph of the Hamming graph

Let \(\varGamma \) be a distance-semiregular graph on Y, and let \(D^Y\) be the diameter of \(\varGamma \) on Y. Let \(\varDelta \) be the halved graph of \(\varGamma \) on Y. Fix \(x \in Y\). Let T and \(T'\) be the Terwilliger algebras of \(\varGamma \) and \(\varDelta \) with respect to x, respectively. Assume, for an integer i with \(1 \le 2i \le D^Y\) and for \(y,z \in \varGamma _{2i}(x)\) with \(\partial _{\varGamma }(y,z)=2\), the numbers \(|\varGamma _{2i-1}(x) \cap \varGamma (y) \cap \varGamma (z)|\) and \(|\varGamma _{2i+1}(x) \cap \varGamma (y) \cap \varGamma (z)|\) depend only on i and do not depend on the choice of y, z. The first goal in this paper is to show the relations between T-modules of \(\varGamma \) and \(T'\)-modules of \(\varDelta \). Assume \(\varGamma \) is the incidence graph of the Hamming graph H(D, n) on the vertex set Y and the set \({\mathcal {C}}\) of all maximal cliques. Then, \(\varGamma \) satisfies above assumption and \(\varDelta \) is isomorphic to H(D, n). The second goal is to determine the irreducible T-modules of \(\varGamma \). For each irreducible T-module W, we give a basis for W the action of the adjacency matrix on this basis and we calculate the multiplicity of W.     

Existence of positive solution for nonlocal singular fourth order Kirchhoff equation with Hardy potential

This paper is concerned with the existence of positive solution to a class of singular fourth order elliptic equation of Kirchhoff type

$$\begin{aligned} \triangle ^2 u-\lambda M(\Vert \nabla u\Vert ^2)\triangle u-\frac{\mu }{\vert x\vert ^4}u=\frac{h(x)}{u^\gamma }+k(x)u^\alpha , \end{aligned}$$

under Navier boundary conditions, \(u=\triangle u=0\). Here \(\varOmega \subset {\mathbf {R}}^N\), \(N\ge 1\) is a bounded \(C^4\)-domain, \(0\in \varOmega \), h(x) and k(x) are positive continuous functions, \(\gamma \in (0,1)\), \(\alpha \in (0,1)\) and \(M:{\mathbf {R}}^+\rightarrow {\mathbf {R}}^+\) is a continuous function. By using Galerkin method and sharp angle lemma, we will show that this problem has a positive solution for \(\lambda > \frac{\mu }{\mu ^*m_0}\) and \(0<\mu <\mu ^*\). Here \(\mu ^*=\Big (\frac{N(N-4)}{4}\Big )^2\) is the best constant in the Hardy inequality. Besides, if \(\mu =0\), \(\lambda >0\) and h, k are Lipschitz functions, we show that this problem has a positive smooth solution. If \(h,k\in C^{2,\,\theta _0}(\overline{\varOmega })\) for some \(\theta _0\in (0,1)\), then this problem has a positive classical solution.

     

Bergman interpolation on finite Riemann surfaces. Part II: Poincaré-Hyperbolic Case

Let M be a 3-manifold with torus boundary components \(T_{1}\) and \(T_2\). Let \(\phi :T_{1} \rightarrow T_{2}\) be a homeomorphism, \(M_\phi \) the manifold obtained from M by gluing \(T_{1}\) to \(T_{2}\) via the map \(\phi \), and T the image of \(T_{1}\) in \(M_\phi \). We show that if \(\phi \) is “sufficiently complicated” then any incompressible or strongly irreducible surface in \(M_\phi \) can be isotoped to be disjoint from T. It follows that every Heegaard splitting of a 3-manifold admitting a “sufficiently complicated” JSJ decomposition is an amalgamation of Heegaard splittings of the components of the JSJ decomposition.     

Counterexamples to the B-spline Conjecture for Gabor Frames

The frame set conjecture for B-splines \(B_n\), \(n \ge 2\), states that the frame set is the maximal set that avoids the known obstructions. We show that any hyperbola of the form \(ab=r\), where r is a rational number smaller than one and a and b denote the sampling and modulation rates, respectively, has infinitely many pieces, located around \(b=2,3,\dots \), not belonging to the frame set of the nth order B-spline. This, in turn, disproves the frame set conjecture for B-splines. On the other hand, we uncover a new region belonging to the frame set for B-splines \(B_n\), \(n \ge 2\).     

A note on roots and powers of partial isometries

Let T be a bounded operator and let \(k \ge 2\) be an integer. We study in this paper the following question: T is a partial isometry implies that \(T^k\) is a partial isometry and conversely.     

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.     

Standard Jordan partitions with three parameters

We extend previous work on standard two-parameter Jordan partitions by Barry (Commun Algebra 43:4231–4246, 2015) to three parameters. Let \(J_r\) denote an \(r \times r\) matrix with minimal polynomial \((t-1)^r\) over a field F of characteristic p. For positive integers \(n_1\), \(n_2\), and \(n_3\) satisfying \(n_1 \le n_2 \le n_3\), the Jordan canonical form of the \(n_1 n_2 n_3 \times n_1 n_2 n_3\) matrix \(J_{n_1} \otimes J_{n_2} \otimes J_{n_3}\) has the form \(J_{\lambda _1} \oplus J_{\lambda _2} \oplus \cdots \oplus J_{\lambda _m}\) where \(\lambda _1 \ge \lambda _2 \ge \cdots \ge \lambda _m>0\) and \(\sum _{i=1}^m \lambda _i=n_1 n_2 n_3\). The partition \(\lambda (n_1,n_2,n_3:p)=(\lambda _1, \lambda _2,\ldots , \lambda _m)\) of \(n_1 n_2 n_3\), which depends on \(n_1\), \(n_2\), \(n_3\), and p, will be called a Jordan partition. We will define what we mean by a standard Jordan partition and give necessary and sufficient conditions for its existence.     

$${\varvec{}}$$-Jorda homomorphisms ad pseudo $${\varvec{}}$$-Jorda homomorphisms o Baach algebras

Let \(n\in \mathbb {N}\), A and B be Banach algebras and let B be a right A-module. We say that a linear mapping \(\varphi :A\longrightarrow B\) is a pseudo n-Jordan homomorphism if there exists an element \(w\in A\) such that \(\varphi (a^nw)=\varphi (a)^n\cdot w\), for every \(a\in A\) and \(n\ge \) 2. In this paper, among other things, we show that under some conditions if a linear mapping \(\varphi \) is a (pseudo) n-Jordan homomorphism, then it is a (pseudo) \((n + 1)\)-Jordan homomorphism. Additionally, we investigate automatic continuity of surjective pseudo n-Jordan homomorphisms under some conditions.     

Packing Chromatic Number of Base-3 Sierpiński Graphs

The packing chromatic number \(\chi _{\rho }(G)\) of a graph G is the smallest integer k such that there exists a k-vertex coloring of G in which any two vertices receiving color i are at distance at least \(i+1\). Let \(S^n\) be the base-3 Sierpiński graph of dimension n. It is proved that \(\chi _{\rho }(S^1) = 3\), \(\chi _{\rho }(S^2) = 5\), \(\chi _{\rho }(S^3) = \chi _{\rho }(S^4) = 7\), and that \(8\le \chi _\rho (S^n) \le 9\) holds for any \(n\ge 5\).