New complexity analysis of a full-Newton step feasible interior-point algorithm for $$P_*(\kappa )$$-LCP

In this paper, we consider a full-Newton step feasible interior-point algorithm for \(P_*(\kappa )\)-linear complementarity problem. The perturbed complementarity equation \(xs=\mu e\) is transformed by using a strictly increasing function, i.e., replacing \(xs=\mu e\) by \(\psi (xs)=\psi (\mu e)\) with \(\psi (t)=\sqrt{t}\), and the proposed interior-point algorithm is based on that algebraic equivalent transformation. Furthermore, we establish the currently best known iteration bound for \(P_*(\kappa )\)-linear complementarity problem, namely, \(O((1+4\kappa )\sqrt{n}\log \frac{n}{\varepsilon })\), which almost coincides with the bound derived for linear optimization, except that the iteration bound in the \(P_{*}(\kappa )\)-linear complementarity problem case is multiplied with the factor \((1+4\kappa )\).     

Coalescece ad Meetig Times o $$$$-Block Markov Chais

We consider finite-state, discrete-time, mixing Markov chains \((V,P)\), where \(V\) is the state space and \(P\) is the transition matrix. To each such chain \((V,P)\), we associate a sequence of chains \((V_n,P_n)\) by coding trajectories of \((V,P)\) according to their overlapping \(n\)-blocks. The chain \((V_n,P_n)\), called the \(n\)-block Markov chain associated with \((V,P)\), may be considered an alternate version of \((V,P)\) having memory of length \(n\). Along such a sequence of chains, we characterize the asymptotic behavior of coalescence times and meeting times as \(n\) tends to infinity. In particular, we define an algebraic quantity \(L(V,P)\) depending only on \((V,P)\), and we show that if the coalescence time on \((V_n,P_n)\) is denoted by \(C_n\), then the quantity \(\frac{1}{n} \log C_n\) converges in probability to \(L(V,P)\) with exponential rate. Furthermore, we fully characterize the relationship between \(L(V,P)\) and the entropy of \((V,P)\).     

On the elliptic curve endomorphism generator

For an elliptic curve \({E}\) over a finite field we define the point sequence \((P_n)\) recursively by \(P_n=\vartheta (P_{n-1})=\vartheta ^n(P_0)\) with an endomorphism \(\vartheta \in {{\mathrm{End}}}({E})\) and with some initial point \(P_0\) on \({E}\). We study the distribution and the linear complexity of sequences obtained from \((P_n)\).     

Polynomially linked additive functions—II

We continue the study of additive functions \(f_k:R\rightarrow F \;(1\le k\le n)\) linked by an equation of the form \(\sum _{k=1}^n p_k(x)f_k(q_k(x))=0\), where the \(p_k\) and \(q_k\) are polynomials, R is an integral domain of characteristic 0, and F is the fraction field of R. A method is presented for solving all such equations. We also consider the special case \(\sum _{k=1}^n x^{m_k}f_k(x^{j_k})=0\) in which the \(p_k\) and \(q_k\) are monomials. In this case we show that if there is no duplication, i.e. if \((m_k,j_k)\ne (m_p,j_p)\) for \(k\ne p\), then each \(f_k\) is the sum of a linear function and a derivation of order at most \(n-1\). Furthermore, if this functional equation is not homogeneous then the maximal orders of the derivations are reduced in a specified way.     

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

Groups with a ternary equivalence relation

We consider in a group \((G,\cdot )\) the ternary relation

$$\begin{aligned} \kappa := \{(\alpha , \beta , \gamma ) \in G^3 \ | \ \alpha \cdot \beta ^{-1} \cdot \gamma = \gamma \cdot \beta ^{-1} \cdot \alpha \} \end{aligned}$$

and show that \(\kappa \) is a ternary equivalence relation if and only if the set \( \mathfrak Z \) of centralizers of the group G forms a fibration of G (cf. Theorems 2, 3). Therefore G can be provided with an incidence structure

$$\begin{aligned} \mathfrak G:= \{\gamma \cdot Z \ | \ \gamma \in G , Z \in \mathfrak Z(G) \}. \end{aligned}$$

We study the automorphism group of \((G,\kappa )\), i.e. all permutations \(\varphi \) of the set G such that \( (\alpha , \beta , \gamma ) \in \kappa \) implies \((\varphi (\alpha ),\varphi (\beta ),\varphi (\gamma ))\in \kappa \). We show \(\mathrm{Aut}(G,\kappa )=\mathrm{Aut}(G,\mathfrak G)\), \(\mathrm{Aut} (G,\cdot ) \subseteq \mathrm{Aut}(G,\kappa )\) and if \( \varphi \in \mathrm{Aut}(G,\kappa )\) with \(\varphi (1)=1\) and \(\varphi (\xi ^{-1})= (\varphi (\xi ))^{-1}\) for all \(\xi \in G\) then \(\varphi \) is an automorphism of \((G,\cdot )\). This allows us to prove a representation theorem of \(\mathrm{Aut}(G,\kappa )\) (cf. Theorem 6) and that for \(\alpha \in G \) the maps

$$\begin{aligned} \tilde{\alpha }\ : \ G \rightarrow G;~ \xi \mapsto \alpha \cdot \xi ^{-1} \cdot \alpha \end{aligned}$$

of the corresponding reflection structure \((G, \widetilde{G})\) (with \( \tilde{G} := \{\tilde{\gamma }\ | \ \gamma \in G \}\)) are point reflections. If \((G ,\cdot )\) is uniquely 2-divisible and if for \(\alpha \in G\), \(\alpha ^{1\over 2}\) denotes the unique solution of \(\xi ^2=\alpha \) then with \(\alpha \odot \beta := \alpha ^{1\over 2} \cdot \beta \cdot \alpha ^{1\over 2}\), the pair \((G,\odot )\) is a K-loop (cf. Theorem 5).

     

$$u\tau $$-convergence in locally solid vector lattices

Let \((x_\alpha )\) be a net in a locally solid vector lattice \((X,\tau )\); we say that \((x_\alpha )\) is unbounded \(\tau \)-convergent to a vector \(x\in X\) if \(|x_\alpha -x |\wedge w \xrightarrow {\tau } 0\) for all \(w\in X_+\). In this paper, we study general properties of unbounded \(\tau \)-convergence (shortly \(u\tau \)-convergence). \(u\tau \)-convergence generalizes unbounded norm convergence and unbounded absolute weak convergence in normed lattices that have been investigated recently. We introduce \(u\tau \)-topology and briefly study metrizability and completeness of this topology.     

Linear sets in the projective line over the endomorphism ring of a finite field

Let \({{\mathrm{{PG}}}}(1,E)\) be the projective line over the endomorphism ring \( E={{\mathrm{End}}}_q({\mathbb F}_{q^t})\) of the \({\mathbb F}_q\)-vector space \({\mathbb F}_{q^t}\). As is well known, there is a bijection \(\varPsi :{{\mathrm{{PG}}}}(1,E)\rightarrow {\mathcal G}_{2t,t,q}\) with the Grassmannian of the \((t-1)\)-subspaces in \({{\mathrm{{PG}}}}(2t-1,q)\). In this paper along with any \({\mathbb F}_q\)-linear set L of rank t in \({{\mathrm{{PG}}}}(1,q^t)\), determined by a \((t-1)\)-dimensional subspace \(T^\varPsi \) of \({{\mathrm{{PG}}}}(2t-1,q)\), a subset \(L_T\) of \({{\mathrm{{PG}}}}(1,E)\) is investigated. Some properties of linear sets are expressed in terms of the projective line over the ring E. In particular, the attention is focused on the relationship between \(L_T\) and the set \(L'_T\), corresponding via \(\varPsi \) to a collection of pairwise skew \((t-1)\)-dimensional subspaces, with \(T\in L'_T\), each of which determine L. This leads among other things to a characterization of the linear sets of pseudoregulus type. It is proved that a scattered linear set L related to \(T\in {{\mathrm{{PG}}}}(1,E)\) is of pseudoregulus type if and only if there exists a projectivity \(\varphi \) of \({{\mathrm{{PG}}}}(1,E)\) such that \(L_T^\varphi =L'_T\).     

Construction of sign-changing solutions for a harmonic equation with subcritical exponent

In this paper, we study the harmonic equation involving subcritical exponent \((P_{\varepsilon })\): \( \Delta u = 0 \), in \(\mathbb {B}^n\) and \(\displaystyle \frac{\partial u}{\partial \nu } + \displaystyle \frac{n-2}{2}u = \displaystyle \frac{n-2}{2} K u^{\frac{n}{n-2}-\varepsilon }\) on \( \mathbb {S}^{n-1}\) where \(\mathbb {B}^n \) is the unit ball in \(\mathbb {R}^n\), \(n\ge 5\) with Euclidean metric \(g_0\), \(\partial \mathbb {B}^n = \mathbb {S}^{n-1}\) is its boundary, K is a function on \(\mathbb {S}^{n-1}\) and \(\varepsilon \) is a small positive parameter. We construct solutions of the subcritical equation \((P_{\varepsilon })\) which blow up at two different critical points of K. Furthermore, we construct solutions of \((P_{\varepsilon })\) which have two bubbles and blow up at the same critical point of K.     

On a Weighted Singular Integral Operator with Shifts and Slowly Oscillating Data

Let \(\alpha ,\beta \) be orientation-preserving diffeomorphism (shifts) of \(\mathbb {R}_+=(0,\infty )\) onto itself with the only fixed points \(0\) and \(\infty \) and \(U_\alpha ,U_\beta \) be the isometric shift operators on \(L^p(\mathbb {R}_+)\) given by \(U_\alpha f=(\alpha ')^{1/p}(f\circ \alpha )\), \(U_\beta f=(\beta ')^{1/p}(f\circ \beta )\), and \(P_2^\pm =(I\pm S_2)/2\) where

$$\begin{aligned} (S_2 f)(t):=\frac{1}{\pi i}\int \limits _0^\infty \left( \frac{t}{\tau }\right) ^{1/2-1/p}\frac{f(\tau )}{\tau -t}\,d\tau , \quad t\in \mathbb {R}_+, \end{aligned}$$

is the weighted Cauchy singular integral operator. We prove that if \(\alpha ',\beta '\) and \(c,d\) are continuous on \(\mathbb {R}_+\) and slowly oscillating at \(0\) and \(\infty \), and

$$\begin{aligned} \limsup _{t\rightarrow s}|c(t)|<1, \quad \limsup _{t\rightarrow s}|d(t)|<1, \quad s\in \{0,\infty \}, \end{aligned}$$

then the operator \((I-cU_\alpha )P_2^++(I-dU_\beta )P_2^-\) is Fredholm on \(L^p(\mathbb {R}_+)\) and its index is equal to zero. Moreover, its regularizers are described.

     

Calabi-Yau manifolds with isolated conical singularities

Let \(X\) be a complex projective variety with only canonical singularities and with trivial canonical bundle. Let \(L\) be an ample line bundle on \(X\). Assume that the pair \((X,L)\) is the flat limit of a family of smooth polarized Calabi-Yau manifolds. Assume that for each singular point \(x \in X\) there exist a Kähler-Einstein Fano manifold \(Z\) and a positive integer \(q\) dividing \(K_{Z}\) such that \(-\frac{1}{q}K_{Z}\) is very ample and such that the germ \((X,x)\) is locally analytically isomorphic to a neighborhood of the vertex of the blow-down of the zero section of \(\frac{1}{q}K_{Z}\). We prove that up to biholomorphism, the unique weak Ricci-flat Kähler metric representing \(2\pi c_{1}(L)\) on \(X\) is asymptotic at a polynomial rate near \(x\) to the natural Ricci-flat Kähler cone metric on \(\frac{1}{q}K_{Z}\) constructed using the Calabi ansatz. In particular, our result applies if \((X, \mathcal{O}(1))\) is a nodal quintic threefold in \(\mathbf {P}^{4}\). This provides the first known examples of compact Ricci-flat manifolds with non-orbifold isolated conical singularities.     

Improved upper bounds for partial spreads

A partial \((k-1)\)-spread in \({\text {PG}}(n-1,q)\) is a collection of \((k-1)\)-dimensional subspaces with trivial intersection. So far, the maximum size of a partial \((k-1)\)-spread in \({\text {PG}}(n-1,q)\) was known for the cases \(n\equiv 0\pmod k\), \(n\equiv 1\pmod k\), and \(n\equiv 2\pmod k\) with the additional requirements \(q=2\) and \(k=3\). We completely resolve the case \(n\equiv 2\pmod k\) for the binary case \(q=2\).     

An $$O(\sqrt{n}L)$$ iteration Mehrotra-type predictor-corrector algorithm for monotone linear complementarity problem

In this paper we propose a new class of Mehrotra-type predictor-corrector algorithm for the monotone linear complementarity problems (LCPs). At each iteration, the method computes a corrector direction in addition to the Ai–Zhang direction (SIAM J Optim 16:400–417, 2005), in an attempt to improve performance. Starting with a feasible point \((x^0, s^0)\) in the wide neighborhood \(\mathcal {N}(\tau ,\beta )\), the algorithm enjoys the low iteration bound of \(O(\sqrt{n}L)\), where \(n\) is the dimension of the problem and \(L=\log \frac{(x^0)^T s^0}{\varepsilon }\) with \(\varepsilon \) the required precision. We also prove that the new algorithm can be specified into an easy implementable variant for solving the monotone LCPs, in such a way that the iteration bound is still \(O(\sqrt{n}L)\). Some preliminary numerical results are provided as well.     

A generalization of total graphs

Let R be a commutative ring with nonzero identity, \(L_{n}(R)\) be the set of all lower triangular \(n\times n\) matrices, and U be a triangular subset of \(R^{n}\), i.e., the product of any lower triangular matrix with the transpose of any element of U belongs to U. The graph \(GT^{n}_{U}(R^n)\) is a simple graph whose vertices consists of all elements of \(R^{n}\), and two distinct vertices \((x_{1},\dots ,x_{n})\) and \((y_{1},\dots ,y_{n})\) are adjacent if and only if \((x_{1}+y_{1}, \ldots ,x_{n}+y_{n})\in U\). The graph \(GT^{n}_{U}(R^n)\) is a generalization for total graphs. In this paper, we investigate the basic properties of \(GT^{n}_{U}(R^n)\). Moreover, we study the planarity of the graphs \(GT^{n}_{U}(U)\), \(GT^{n}_{U}(R^{n}{\setminus } U)\) and \(GT^{n}_{U}(R^n)\).     

The Fischer–Marsden conjecture and contact geometry

In this paper, we consider the Fischer–Marsden conjecture within the frame-work of K-contact manifolds and \((\kappa ,\mu )\)-contact manifolds. First, we prove that a complete K-contact metric satisfying \(\mathcal {L}^{*}_g(\lambda )=0\) is Einstein and is isometric to a unit sphere \(S^{2n+1}\). Next, we prove that if a non-Sasakian \((\kappa ,\mu )\)-contact metric satisfies \(\mathcal {L}^{*}_g(\lambda )=0\), then \( M^{3} \) is flat, and for \(n > 1\), \(M^{2n+1}\) is locally isometric to the product of a Euclidean space \(E^{n+1}\) and a sphere \(S^n(4)\) of constant curvature \(+\,4\).     

Eigenvalue Counting Function for Robin Laplacians on Conical Domains

We study the discrete spectrum of the Robin Laplacian \(Q^{\Omega }_\alpha \) in \(L^2(\Omega )\), \(u\mapsto -\Delta u, \quad D_n u=\alpha u \text { on }\partial \Omega \), where \(D_n\) is the outer unit normal derivative and \(\Omega \subset {\mathbb {R}}^{3}\) is a conical domain with a regular cross-section \(\Theta \subset {\mathbb {S}}^2\), n is the outer unit normal, and \(\alpha >0\) is a fixed constant. It is known from previous papers that the bottom of the essential spectrum of \(Q^{\Omega }_\alpha \) is \(-\alpha ^2\) and that the finiteness of the discrete spectrum depends on the geometry of the cross-section. We show that the accumulation of the discrete spectrum of \(Q^\Omega _\alpha \) is determined by the discrete spectrum of an effective Hamiltonian defined on the boundary and far from the origin. By studying this model operator, we prove that the number of eigenvalues of \(Q^{\Omega }_\alpha \) in \((-\infty ,-\alpha ^2-\lambda )\), with \(\lambda >0\), behaves for \(\lambda \rightarrow 0\) as

$$\begin{aligned} \dfrac{\alpha ^2}{8\pi \lambda } \int _{\partial \Theta } \kappa _+(s)^2\mathrm {d}s +o\left( \frac{1}{\lambda }\right) , \end{aligned}$$

where \(\kappa _+\) is the positive part of the geodesic curvature of the cross-section boundary.

     

On the exponential diophantine equation $$\left( am^{2}+1\right) ^{x}+\left( bm^{2}-1\right) ^{y}=(cm)^{z}$$ with $$ c\mid m $$c∣m

Let \(a,\ b,\ c,\ m\) be positive integers such that \(a+b=c^2, 2\mid a, 2\not \mid c\) and \(m>1\). In this paper we prove that if \(c\mid m \) and \(m>36c^3 \log c\), then the equation \((am^2+1)^x+(bm^2-1)^y=(cm)^z\) has only the positive integer solution \((x,\ y,\ z)\)=\((1,\ 1,\ 2)\).     

Korovkin-Type Approximation Theory in Riesz Spaces

In this paper, we prove the following Riesz spaces’ version of the Korovkin theorem. Let E and F be two Archimedean Riesz spaces with F uniformly complete, let W be a nonempty subset of \(E^{+}\), and let \((T_{n})\) be a given sequence of (r-u)-continuous elements of \(\mathcal {L(}E,F)\), such that \(\left| T_{n}-T_{m}\right| x=\left| (T_{n}-T_{m})x\right| \mathcal {\ }\)for all \(x\in E^{+},\) \(m,n\ge n_{0}\) (for a given \(n_{0}\in \mathbb {N} )\). If the sequence \((T_{n}x)_{n}\) \((r-u)\)-converges for every \(x\in W\), then \((T_{n})\) \((r-u)\)-converges also pointwise on the ideal \(E_{W}\), generated by W, to a linear operator \(S_{0}:E_{W}\rightarrow F\). We also prove a similar Korovkin-type theorem for nets of operators. Some applications for f-algebras and orthomorphisms are presented.     

The crank moments weighted by the parity of cranks

In this note, we introduce the 2kth crank moment \(\mu _{2k}(-1,n)\) weighted by the parity of cranks and show that \((-1)^n \mu _{2k}(-1,n)>0\) for \(n\ge k \ge 0\). When \(k=0\), the inequality \((-1)^n \mu _{2k}(-1,n)>0\) reduces to Andrews and Lewis’s inequality \((-1)^n(M_e(n)-M_o(n))>0\) for \(n\ge 0\), where \(M_e(n)\) (resp. \(M_o(n)\)) denotes the number of partitions of n with even (resp. odd) crank. Several generating functions of \(\mu _{2k}(-1,n)\) are also studied in order to show the positivity of \((-1)^n\mu _{2k}(-1,n)\).