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

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

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

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

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

Some results on generalized strong external difference families

A generalized strong external difference family (briefly \((v, m; k_1,\dots ,k_m; \lambda _1,\dots ,\lambda _m)\)-GSEDF) was introduced by Paterson and Stinson in 2016. In this paper, we give some nonexistence results for GSEDFs. In particular, we prove that a \((v, 3;k_1,k_2,k_3; \lambda _1,\lambda _2,\lambda _3)\)-GSEDF does not exist when \(k_1+k_2+k_3< v\). We also give a first recursive construction for GSEDFs and prove that if there is a \((v,2;2\lambda ,\frac{v-1}{2};\lambda ,\lambda )\)-GSEDF, then there is a \((vt,2;4\lambda ,\frac{vt-1}{2};2\lambda ,2\lambda )\)-GSEDF with \(v>1\), \(t>1\) and \(v\equiv t\equiv 1\pmod 2\). Then we use it to obtain some new GSEDFs for \(m=2\). In particular, for any prime power q with \(q\equiv 1\pmod 4\), we show that there exists a \((qt, 2;(q-1)2^{n-1},\frac{qt-1}{2};(q-1)2^{n-2},(q-1)2^{n-2})\)-GSEDF, where \(t=p_1p_2\dots p_n\), \(p_i>1\), \(1\le i\le n\), \(p_1, p_2,\dots ,p_n\) are odd integers.     

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

Polynomial convergence of two higher order interior-point methods for $$P_*(\kappa )$$-LCP in a wide neighborhood of the central path

In this paper, we propose two interior-point methods for solving \(P_*(\kappa )\)-linear complementarity problems (\(P_*(\kappa )\)-LCPs): a high order large update path following method and a high order corrector–predictor method. Both algorithms generate sequences of iterates in the wide neighborhood \((\mathcal {N}_{2,\tau }^-(\alpha ))\) of the central path introduced by Ai and Zhang. The methods do not depend on the handicap \(\kappa \) of the problem so that they work for any \(P_*(\kappa )\)-LCP . They have \(O((1 +\kappa )\sqrt{n}L)\) iteration complexity, the best-known iteration complexity obtained so far by any interior-point method for solving \(P_*(\kappa )\)-LCP. The high order corrector–predictor algorithm is superlinearly convergent with Q-order \((m_p+1)\) for problems that admit a strict complementarity solution and \((m_p+1)/2\) for general problems, where \(m_p\) is the order of the predictor step.     

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

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.     

Stochastic Ordering of Infinite Geometric Galton–Watson Trees

We consider Galton–Watson trees with Geom\((p)\) offspring distribution. We let \(T_{\infty }(p)\) denote such a tree conditioned on being infinite. We prove that for any \(1/2\le p_1 <p_2 \le 1\), there exists a coupling between \(T_{\infty }(p_1)\) and \(T_{\infty }(p_2)\) such that \({\mathbb {P}}(T_{\infty }(p_1) \subseteq T_{\infty }(p_2))=1\).     

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

On Locally Gabriel Geometric Graphs

Let \(P\) be a set of \(n\) points in the plane. A geometric graph \(G\) on \(P\) is said to be locally Gabriel if for every edge \((u,v)\) in \(G\), the Euclidean disk with the segment joining \(u\) and \(v\) as diameter does not contain any points of \(P\) that are neighbors of \(u\) or \(v\) in \(G\). A locally Gabriel graph(LGG) is a generalization of Gabriel graph and is motivated by applications in wireless networks. Unlike a Gabriel graph, there is no unique LGG on a given point set since no edge in a LGG is necessarily included or excluded. Thus the edge set of the graph can be customized to optimize certain network parameters depending on the application. The unit distance graph(UDG), introduced by Erdos, is also a LGG. In this paper, we show the following combinatorial bounds on edge complexity and independent sets of LGG: (i) For any \(n\), there exists LGG with \(\Omega (n^{5/4})\) edges. This improves upon the previous best bound of \(\Omega (n^{1+\frac{1}{\log \log n}})\). (ii) For various subclasses of convex point sets, we show tight linear bounds on the maximum edge complexity of LGG. (iii) For any LGG on any \(n\) point set, there exists an independent set of size \(\Omega (\sqrt{n}\log n)\).     

A Ramanujan-type congruence modulo 5 for 4-colored generalized Frobenius partitions

In his 1984 AMS Memoir, Andrews introduced the \(k\)-colored generalized Frobenius partition function \(c\phi _k(n)\) which denotes the number of generalized Frobenius partitions of \(n\) with \(k\) colors. Recently, Baruah and Sarmah, Lin, and Sellers established several Ramanujan-type congruences for \(c\phi _4(n)\). In this paper, employing some theta identities due to Ramanujan, the \((p, k)\)-parametrization of theta functions given by Alaca, Alaca, and Williams, and some results of Baruah and Sarmah, we prove that \(c\phi _4(20n+11)\equiv 0\ (\mathrm{mod}\ 5)\).     

Endotrivial modules for the general linear group in a nondefining characteristic

Suppose that \(G\) is a finite group such that \(\mathrm{SL }(n,q)\subseteq G \subseteq \mathrm{GL }(n,q)\), and that \(Z\) is a central subgroup of \(G\). Let \(T(G/Z)\) be the abelian group of equivalence classes of endotrivial \(k(G/Z)\)-modules, where \(k\) is an algebraically closed field of characteristic \(p\) not dividing \(q\). We show that the torsion free rank of \(T(G/Z)\) is at most one, and we determine \(T(G/Z)\) in the case that the Sylow \(p\)-subgroup of \(G\) is abelian and nontrivial. The proofs for the torsion subgroup of \(T(G/Z)\) use the theory of Young modules for \(\mathrm{GL }(n,q)\) and a new method due to Balmer for computing the kernel of restrictions in the group of endotrivial modules.     

On Summation of Nonharmonic Fourier Series

Let a sequence \(\Lambda \subset {\mathbb {C}}\) be such that the corresponding system of exponential functions \({\mathcal {E}}(\Lambda ):=\left\{ {\text {e}}^{i\lambda t}\right\} _{\lambda \in \Lambda }\) is complete and minimal in \(L^2(-\pi ,\pi )\), and thus each function \(f\in L^2(-\pi ,\pi )\) corresponds to a nonharmonic Fourier series in \({\mathcal {E}}(\Lambda )\). We prove that if the generating function \(G\) of \(\Lambda \) satisfies the Muckenhoupt \((A_2)\) condition on \({\mathbb {R}}\), then this series admits a linear summation method. Recent results show that the \((A_2)\) condition cannot be omitted.     

Families of Strictly Pseudoconvex Domains and Peak Functions

We prove that given a family \((G_t)\) of strictly pseudoconvex domains varying in \(\mathcal {C}^2\) topology on domains, there exists a continuously varying family of peak functions \(h_{t,\zeta }\) for all \(G_t\) at every \(\zeta \in \partial G_t\).     

Conformal CR Positive Mass Theorem

In this paper, we prove the following version of conformal CR positive mass theorem: Suppose that \((N, J,\theta )\) and \((N, J,\hat{\theta }=e^{2f}\theta )\) are three-dimensional asymptotically flat pseudohermitian manifolds such that their Tanaka-Webster curvatures satisfy \(e^{2f}\hat{R}-R\ge 0.\) Then the p-mass of \((N, J, \theta )\) and \((N, J, \hat{\theta })\) satisfy \( m(J, \hat{\theta })-m(J, \theta )\ge 0, \) and equality holds if and only if \(\hat{\theta }=\theta \). We also prove that the p-mass is independent of the choice of the sequence of coordinates spheres.     

Towards a Comprehensive Stability Theory for Feynman’s Operational Calculus: The Time-Dependent Setting

We obtain lower bounds on blow-up of solutions for the 3D magneto-micropolar equations. More precisely, we establish some estimates for the solution \((\mathbf{u},\mathbf{w},\mathbf{b}) (t)\) in its maximal interval \([0,T^{*})\) provided that \(T^{*}<\infty\), which show for \(\delta\in(0,1)\) that \(\|(\mathbf{u},\mathbf{w},\mathbf{b})(t)\|_{\dot{H}^{s}}\) is at least of the order \((T^{*}-t)^{-(\delta s)/(1+2\delta)}\) for \(s\geq1/2+\delta\). In particular, by choosing a suitable \(\delta\), one concludes that \(\|(\mathbf{u},\mathbf{w},\mathbf{b})(t)\|_{\dot{H}^{s}}\) is at least of the order \((T^{*}-t)^{-s/4}\), and \((T^{*}-t)^{1/4-s/2}\) for \(s\geq1\), and \(1/2< s<3/2\), respectively. We also show that \((T^{*}-t)^{-s/3}\) is a lower rate for \(\|(\mathbf{u},\mathbf{w},\mathbf{b})(t)\|_{\dot{H}^{s}}\) if \(s>3/2\).     

Families of conditionally approximately convex functions

Let \((G,+)\) be an Abelian topological group, which is also a \(T_{0}\)-space and a Baire space simultaneously, D be an open connected subset of G and \(\alpha : D-D \rightarrow {\mathbb R}\) be a function continuous at zero and such that \(\alpha (0)=0\). We show that if \((f_n)\) is a sequence of continuous functions \(f_n : D \rightarrow {\mathbb R}\) such that \(f_n(z) \le \frac{1}{2} f_n(x)+\frac{1}{2}f(y)+\alpha (x-y)\) for \(n\in {\mathbb N}\) and \(x,y,z\in D\) such that \(2z=x+y\) and if \((f_n)\) is pointwise convergent [bounded] then it is convergent uniformly on compact subsets of D [in the case when G is additionally a separable space, it contains a subsequence which is convergent on compact subsets of D].