A new unicity theorem and Erdös’ problem for polarized semi-abelian varieties

In 1988 Erdös asked if the prime divisors of x ⁿ ? 1 for all n = 1, 2, … determine the given integer x; the problem was affirmatively answered by Corrales-Rodrigáñez and Schoof (J Number Theory 64:276–290, 1997) [but a solution could also be deduced from an earlier result of Schinzel (Bull Acad Polon Sci 8:307–309, 2007)] together with its elliptic version. Analogously, Yamanoi (Forum Math 16:749–788, 2004) proved that the support of the pulled-back divisor f ^* D of an ample divisor on an abelian variety A by an algebraically non-degenerate entire holomorphic curve f : C → A essentially determines the pair (A, D). By making use of the main theorem of Noguchi (Forum Math 20:469–503, 2008) we here deal with this problem for semi-abelian varieties; namely, given two polarized semi-abelian varieties (A ₁, D ₁), (A ₂, D ₂) and algebraically non-degenerate entire holomorphic curves f _i : C → A _i , i = 1, 2, we classify the cases when the inclusion \({{\rm{Supp}}\, f_1^*D_1\subset {\rm{Supp}}\, f_2^* D_2}\) holds. We shall remark in §5 that these methods yield an affirmative answer to a question of Lang formulated in 1966. Our answer is more general and more geometric than the original question. Finally, we interpret the main result of Corvaja and Zannier (Invent Math 149:431–451, 2002) to provide an arithmetic counterpart in the toric case.     

On the maximum TSP with <Emphasis Type="Italic">γ</Emphasis>-parameterized triangle inequality

The maximum TSP with γ-parameterized triangle inequality is defined as follows. Given a complete graph G = (V, E, w) in which the edge weights satisfy w(uv) ≤ γ · (w(ux) + w(xv)) for all distinct nodes \({u,x,v \in V}\), find a tour with maximum weight that visits each node exactly once. Recently, Zhang et al. (Theor Comput Sci 411(26–28):2537–2541, 2010) proposed a \({\frac{\gamma+1}{3\gamma}}\)-approximation algorithm for \({\gamma\in\left[\frac{1}{2},1\right)}\). In this paper, we show that the approximation ratio of Kostochka and Serdyukov’s algorithm (Upravlyaemye Sistemy 26:55–59, 1985) is \({\frac{4\gamma+1}{6\gamma}}\), and the expected approximation ratio of Hassin and Rubinstein’s randomized algorithm (Inf Process Lett 81(5):247–251, 2002) is \({\frac{3\gamma+\frac{1}{2}}{4\gamma}-O\left(\frac{1}{\sqrt{n}}\right)}\), for \({\gamma\in\left[\frac{1}{2},+\infty\right)}\). These improve the result in Zhang et al. (Theor Comput Sci 411(26–28):2537–2541, 2010) and generalize the results in Hassin and Rubinstein and Kostochka and Serdyukov (Inf Process Lett 81(5):247–251, 2002; Upravlyaemye Sistemy 26:55–59, 1985).     

On a Classification of 4-d Gradient Ricci Solitons with Harmonic Weyl Curvature

We study a characterization of 4-dimensional (not necessarily complete) gradient Ricci solitons (M, g, f) which have harmonic Weyl curvature, i.e., \(\delta W=0\). Roughly speaking, we prove that the soliton metric g is locally isometric to one of the following four types: an Einstein metric, the product \( \mathbb {R}^2 \times N_{\lambda }\) of the Euclidean metric and a 2-d Riemannian manifold of constant curvature \({\lambda } \ne 0\), a certain singular metric and a locally conformally flat metric. The method here is motivated by Cao–Chen’s works (in Trans Am Math Soc 364:2377–2391, 2012; Duke Math J 162:1003–1204, 2013) and Derdziński’s study on Codazzi tensors (in Math Z 172:273–280, 1980). Combined with the previous results on locally conformally flat solitons, our characterization yields a new classification of 4-d complete steady solitons with \(\delta W=0\). For the shrinking case, it re-proves the rigidity result (Fernández-López and García-Río in Math Z 269:461–466, 2011; Munteanu and Sesum in J. Geom Anal 23:539–561, 2013) in 4-d. It also helps to understand the expanding case; we now understand all 4-d non-conformally flat ones with \(\delta W=0\). We also characterize locally 4-d (not necessarily complete) gradient Ricci solitons with harmonic curvature.     

On manifolds of tensors of fixed TT-rank

Recently, the format of TT tensors (Hackbusch and Kühn in J Fourier Anal Appl 15:706–722, 2009; Oseledets in SIAM J Sci Comput 2009, submitted; Oseledets and Tyrtyshnikov in SIAM J Sci Comput 31:5, 2009; Oseledets and Tyrtyshnikov in Linear Algebra Appl 2009, submitted) has turned out to be a promising new format for the approximation of solutions of high dimensional problems. In this paper, we prove some new results for the TT representation of a tensor \({U \in \mathbb{R}^{n_1\times \cdots\times n_d}}\) and for the manifold of tensors of TT-rank \({\underline{r}}\) . As a first result, we prove that the TT (or compression) ranks r _i of a tensor U are unique and equal to the respective separation ranks of U if the components of the TT decomposition are required to fulfil a certain maximal rank condition. We then show that the set \({\mathbb{T}}\) of TT tensors of fixed rank \({\underline{r}}\) locally forms an embedded manifold in \({\mathbb{R}^{n_1\times\cdots\times n_d}}\) , therefore preserving the essential theoretical properties of the Tucker format, but often showing an improved scaling behaviour. Extending a similar approach for matrices (Conte and Lubich in M2AN 44:759, 2010), we introduce certain gauge conditions to obtain a unique representation of the tangent space \({\mathcal{T}_U\mathbb{T}}\) of \({\mathbb{T}}\) and deduce a local parametrization of the TT manifold. The parametrisation of \({\mathcal{T}_{U}\mathbb{T}}\) is often crucial for an algorithmic treatment of high-dimensional time-dependent PDEs and minimisation problems (Lubich in From quantum to classical molecular dynamics: reduced methods and numerical analysis, 2008). We conclude with remarks on those applications and present some numerical examples.     

The Reich–Zaslavski property and fixed points of non-self multivalued mappings

Let (X, d) be a metric space, Y be a nonempty subset of X, and let \(T:Y \rightarrow P(X)\) be a non-self multivalued mapping. In this paper, by a new technique we study the fixed point theory of multivalued mappings under the assumption of the existence of a bounded sequence \((x_n)_n\) in Y such that \(T^nx_n\subseteq Y,\) for each \(n \in \mathbb {N}\). Our main result generalizes fixed point theorems due to Matkowski (Diss. Math. 127, 1975), W?grzyk (Diss. Math. (Rozprawy Mat.) 201, 1982), Reich and Zaslavski (Fixed Point Theory 8:303–307, 2007), Petru?el et al. (Set-Valued Var. Anal. 23:223–237, 2015) and provides a solution to the problems posed in Petru?el et al. (Set-Valued Var. Anal. 23:223–237, 2015) and Rus and ?erban (Miskolc Math. Notes 17:1021–1031, 2016).     

On bigraded regularities of Rees algebra

For any homogeneous ideal I in \(K[x_1,\ldots ,x_n]\) of analytic spread \(\ell \), we show that for the Rees algebra R(I), \({\text {reg}}_{(0,1)}^{\mathrm{syz}}(R(I))={\text {reg}}_{(0,1)}^{\mathrm{T}}(R(I))\). We compute a formula for the (0, 1)-regularity of R(I), which is a bigraded analog of Theorem 1.1 of Aramova and Herzog (Am. J. Math. 122(4) (2000) 689–719) and Theorem 2.2 of Römer (Ill. J. Math. 45(4) (2001) 1361–1376) to R(I). We show that if the defect sequence, \(e_k:= {\text {reg}}(I^k)-k\rho (I)\), is weakly increasing for \(k \ge {\text {reg}}^{\mathrm{syz}}_{(0,1)}(R(I))\), then \({\text {reg}}(I^j)=j\rho (I)+e\) for \(j \ge {\text {reg}}^{\mathrm{syz}}_{(0,1)}(R(I))+\ell \), where \(\ell ={\text {min}}\{\mu (J)~|~ J\subseteq I \text{ a } \text{ graded } \text{ minimal } \text{ reduction } \text{ of } I\}\). This is an improvement of Corollary 5.9(i) of [16].     

A semigroup related to a convex combination of boundary conditions obtained as a result of averaging other semigroups

Let \({\alpha}\) be a bounded linear operator in a Banach space \({\mathbb{X}}\), and let A be a closed operator in this space. Suppose that for \({\Phi_1, \Phi_2}\) mapping D(A) to another Banach space \({\mathbb{Y}}\), \({A_{|{\rm ker}\, \Phi_1}}\) and \({A_{|{\rm ker}\, \Phi_2}}\) are generators of strongly continuous semigroups in \({\mathbb{X}}\). Assume finally that \({A_{|{\rm ker}\, \Phi_\text{a}}}\), where \({\Phi_\text{a} = \Phi_1 \alpha + \Phi_2 \beta}\) and \({\beta = I_\mathbb{X} - \alpha}\), is a generator also. In the case where \({\mathbb{X}}\) is an L ¹-type space, and \({\alpha}\) is an operator of multiplication by a function \({0 \le \alpha \le 1}\), it is tempting to think of the later semigroup as describing dynamics which, while at state x, is subject to the rules of \({A_{|{\rm ker}\, \Phi_1}}\) with probability \({\alpha (x)}\) and is subject to the rules of \({A_{|{\rm ker}\, \Phi_2}}\) with probability \({\beta (x)= 1 - \alpha (x)}\). We provide an approximation (a singular perturbation) of the semigroup generated by \({A_{|{\rm ker}\, \Phi_\text{a}}}\) by semigroups built from those generated by \({A_{|{\rm ker}\, \Phi_1}}\) and \({A_{|{\rm ker}\, \Phi_2}}\) that supports this intuition. This result is motivated by a model of dynamics of Solea solea (Arino et al. in SIAM J Appl Math 60(2):408–436, 1999–2000; Banasiak and Goswami in Discrete Continuous Dyn Syst Ser A 35(2):617–635, 2015; Banasiak et al. in J Evol Equ 11:121–154, 2011, Mediterr J Math 11(2):533–559, 2014; Banasiak and Lachowicz in Methods of small parameter in mathematical biology, Birkhäuser, 2014; Sanchez et al. in J Math Anal Appl 323:680–699, 2006) and is, in a sense, dual to those of Bobrowski (J Evol Equ 7(3):555–565, 2007), Bobrowski and Bogucki (Stud Math 189:287–300, 2008), where semigroups generated by convex combinations of Feller’s generators were studied.     

Positive definite solution of a nonlinear matrix equation

Using fixed point theory, we present a sufficient condition for the existence of a positive definite solution of the nonlinear matrix equation \({X = Q \pm \sum^{m}_{i=1}{A_{i}}^*F(X)A_{i}}\), where Q is a positive definite matrix, A _i ’s are arbitrary n × n matrices and F is a monotone map from the set of positive definite matrices to itself. We show that the presented condition is weaker than that presented by Ran and Reurings [Proc. Amer. Math. Soc. 132 (2004), 1435–1443]. In order to do so, we establish some fixed point theorems for mappings satisfying (\({\psi, \phi}\))-weak contractivity conditions in partially ordered G-metric spaces, which generalize some existing results related to (\({\psi, \phi}\))-weak contractions in partially ordered metric spaces as well as in G-metric spaces for a given function f. We conclude, by presenting an example, that our fixed point theorem cannot be obtained from any existing fixed point theorem using the process of Jleli and Samet [Fixed Point Theory Appl. 2012 (2012), Article ID 210].     

A generalized extension theorem for linear codes

We prove that an [n, k, d] _q code \({\mathcal{C}}\) with gcd(d, q) = 1 is extendable if \({\sum_{i \not\equiv 0,d}A_i < (q-1)q^{k-2}}\), where A _i denotes the number of codewords of \({\mathcal{C}}\) with weight i. This is a generalization of extension theorems for linear codes by Hill and Lizak (Proceedings of the IEEE International Symposium on Information Theory, Whistler, Canada, 1995) and by Landjev and Rousseva (Probl. Inform. Transm. 42: 319–329, 2006).     

An hp finite element method for 4th order singularly perturbed problems

We present the analysis for the hp finite element approximation of the solution to singularly perturbed fourth order problems, using a balanced norm. In Panaseti et al. (2016) it was shown that the hp version of the Finite Element Method (FEM) on the so-called Spectral Boundary Layer Mesh yields robust exponential convergence when the error is measured in the natural energy norm associated with the problem. In the present article we sharpen the result by showing that the same hp-FEM on the Spectral Boundary Layer Mesh gives robust exponential convergence in a stronger, more balanced norm. As a corollary we also get robust exponential convergence in the maximum norm. The analysis is based on the ideas in Roos and Franz (Calcolo 51, 423–440, 2014) and Roos and Schopf (ZAMM 95, 551–565, 2015) and the recent results in Melenk and Xenophontos (2016). Numerical examples illustrating the theory are also presented.     

O $$\varvec{}$$-orm preservers ad the Aleksadrov coservative $$\varvec{}$$-distace problem

The goal of this paper is to point out that the results obtained in the recent papers (Chen and Song in Nonlinear Anal 72:1895–1901, 2010; Chu in J Math Anal Appl 327:1041–1045, 2007; Chu et al. in Nonlinear Anal 59:1001–1011, 2004a, J. Math Anal Appl 289:666–672, 2004b) can be seriously strengthened in the sense that we can significantly relax the assumptions of the main results so that we still get the same conclusions. In order to do this first, we prove that for \(n \ge 3\) any transformation which preserves the n-norm of any n vectors is automatically plus-minus linear. This will give a re-proof of the well-known Mazur–Ulam-type result that every n-isometry is automatically affine (\(n \ge 2\)) which was proven in several papers, e.g. in Chu et al. (Nonlinear Anal 70:1068–1074, 2009). Second, following the work of Rassias and ?emrl (Proc Am Math Soc 118:919–925, 1993), we provide the solution of a natural Aleksandrov-type problem in n-normed spaces, namely, we show that every surjective transformation which preserves the unit n-distance in both directions (\(n\ge 2\)) is automatically an n-isometry.     

ACCR ring of the forms $$\mathcal {A}[X]$$ and $$\mathcal {A}[[X]]$$A[[X]]

Let \(\mathcal {A}=(A_n)_{n\in \mathbb {N}}\) be an ascending chain of commutative rings with identity and let \(\mathcal {A}[X]\) (respectively, \(\mathcal {A}[[X]]\)) be the ring of polynomials (respectively, power series) with coefficient of degree n in \(A_n\) for each \(n\in \mathbb {N}\) (Hamed and Hizem in Commun Algebra 43:3848–3856, 2015; Haouat in Thèse de doctorat. Faculté des Sciences de Tunis, 1988). An A-module M is said to satisfy ACCR if the ascending chain of residuals of the form \(N:B\subseteq N:B^2\subseteq N:B^3\subseteq \cdots \) terminates for every submodule N of M and for every finitely generated ideal B of A (Lu in Proc Am Math Soc 117:5–10, 1993). We give necessary and sufficient condition for the ring \(\mathcal {A}[X]\) (respectively, \(\mathcal {A}[[X]]\)) to satisfy ACCR.     

A note on Jeśmanowicz’ conjecture

Je?manowicz [9] conjectured that, for positive integers m and n with m > n, gcd(m,n) = 1 and \({m\not\equiv n\pmod{2}}\), the exponential Diophantine equation \({(m^2-n^2)^x+(2mn)^y=(m^2+n^2)^z}\) has only the positive integer solution (x, y, z) = (2, 2, 2). We prove the conjecture for \({2 \| mn}\) and m + n has a prime factor p with \({p\not\equiv1\pmod{16}}\).     

The upper Browder spectrum property

In this note we continue our study on the upper Browder spectrum initiated in Benjamin and Mouton (Quaest. Math. 39(5), 2016). Recall that, for an element a of an ordered Banach algebra A and w.r.t. a Banach algebra homomorphism \(T: A \rightarrow B,\) we have inclusions

$$\begin{aligned} \sigma (Ta) \subseteq \beta _T(a) \subseteq \beta _T^+(a) \subseteq \sigma (a), \end{aligned}$$

where \(\sigma (Ta),\) \(\beta _T(a),\) \( \beta _T^+(a)\) and \( \sigma (a)\) denote the Fredholm, Browder, upper Browder and (usual) spectra of a,  respectively (Benjamin and Mouton in Quaest. Math. 39(5), 2016). This paper concerns the following natural question: given that the spectral radius of a positive element is not in the Fredholm spectrum of the element, when will it be outside the upper Browder spectrum of that element?

     

Min-max and robust polynomial optimization

We consider the robust (or min-max) optimization problem

$J^*:=\max_{\mathbf{y}\in{\Omega}}\min_{\mathbf{x}}\{f(\mathbf{x},\mathbf{y}): (\mathbf{x},\mathbf{y})\in\mathbf{\Delta}\}$

where f is a polynomial and \({\mathbf{\Delta}\subset\mathbb{R}^n\times\mathbb{R}^p}\) as well as \({{\Omega}\subset\mathbb{R}^p}\) are compact basic semi-algebraic sets. We first provide a sequence of polynomial lower approximations \({(J_i)\subset\mathbb{R}[\mathbf{y}]}\) of the optimal value function \({J(\mathbf{y}):=\min_\mathbf{x}\{f(\mathbf{x},\mathbf{y}): (\mathbf{x},\mathbf{y})\in \mathbf{\Delta}\}}\). The polynomial \({J_i\in\mathbb{R}[\mathbf{y}]}\) is obtained from an optimal (or nearly optimal) solution of a semidefinite program, the ith in the “joint + marginal” hierarchy of semidefinite relaxations associated with the parametric optimization problem \({\mathbf{y}\mapsto J(\mathbf{y})}\), recently proposed in Lasserre (SIAM J Optim 20, 1995-2022, 2010). Then for fixed i, we consider the polynomial optimization problem \({J^*_i:=\max\nolimits_{\mathbf{y}}\{J_i(\mathbf{y}):\mathbf{y}\in{\Omega}\}}\) and prove that \({\hat{J}^*_i(:=\displaystyle\max\nolimits_{\ell=1,\ldots,i}J^*_\ell)}\) converges to J* as i → ∞. Finally, for fixed ? ≤ i, each \({J^*_\ell}\) (and hence \({\hat{J}^*_i}\)) can be approximated by solving a hierarchy of semidefinite relaxations as already described in Lasserre (SIAM J Optim 11, 796–817, 2001; Moments, Positive Polynomials and Their Applications. Imperial College Press, London 2009).

     

On equivalence of negaperiodic Golay pairs

Associated pairs as defined by Ito (J Algebra 234:651–663, 2000) are pairs of binary sequence of length 2t satisfying certain autocorrelation properties that may be used to construct Hadamard matrices of order 4t. More recently, Balonin and Dokovi? (Inf Control Syst 5:2–17, 2015) use the term negaperiodic Golay pairs. We define extended negaperiodic Golay pairs and prove a one-to-one correspondence with central relative (4t, 2, 4t, 2t)-difference sets in dicyclic groups of order 8t. We present a new approach for computing negaperiodic Golay pairs up to equivalence, and determine conditions where equivalent pairs correspond to equivalent Hadamard matrices. We complete an enumeration of negaperiodic Golay pairs of length 2t for \(1 \le t \le 10\), and sort them into equivalence classes. Some structural properties of negaperiodic Golay pairs are derived.     

Local properties of Richardson varieties in the Grassmannian via a bounded Robinson-Schensted-Knuth correspondence

The Richardson variety X _α ^γ in the Grassmannian is defined to be the intersection of the Schubert variety X ^γ and opposite Schubert variety X _α . We give an explicit Gröbner basis for the ideal of the tangent cone at any T-fixed point of X _α ^γ , thus generalizing a result of Kodiyalam-Raghavan (J. Algebra 270(1):28–54, 2003) and Kreiman-Lakshmibai (Algebra, Arithmetic and Geometry with Applications, 2004). Our proof is based on a generalization of the Robinson-Schensted-Knuth (RSK) correspondence, which we call the bounded RSK (BRSK). We use the Gröbner basis result to deduce a formula which computes the multiplicity of X _α ^γ at any T-fixed point by counting families of nonintersecting lattice paths, thus generalizing a result first proved by Krattenthaler (Sém. Lothar. Comb. 45:B45c, 2000/2001; J. Algebr. Comb. 22:273–288, 2005).     

Improved Upper Bounds on the Domination Number of Graphs With Minimum Degree at Least Five

An algorithmic upper bound on the domination number \(\gamma \) of graphs in terms of the order n and the minimum degree \(\delta \) is proved. It is demonstrated that the bound improves best previous bounds for any \(5\le \delta \le 50\). In particular, for \(\delta =5\), Xing et al. (Graphs Comb. 22:127–143, 2006) proved that \(\gamma \le 5n/14 < 0.3572 n\). This bound is improved to 0.3440 n. For \(\delta =6\), Clark et al. (Congr. Numer. 132:99–123, 1998) established \(\gamma <0.3377 n\), while Biró et al. (Bull. Inst. Comb. Appl. 64:73–83, 2012) recently improved it to \(\gamma <0.3340 n\). Here the bound is further improved to \(\gamma < 0.3159n\). For \(\delta =7\), the best earlier bound 0.3088n is improved to \(\gamma < 0.2927n\).     

A generalization of sumset and its applications

Let A be a nonempty finite subset of an additive abelian group G and let r and h be positive integers. The generalized h-fold sumset of A, denoted by \(h^{(r)}A\), is the set of all sums of h elements of A, where each element appears in a sum at most r times. The direct problem for \(h^{(r)}A\) is to find a lower bound for \(|h^{(r)}A|\) in terms of |A|. The inverse problem for \(h^{(r)}A\) is to determine the structure of the finite set A for which \(|h^{(r)}A|\) is minimal with respect to some fixed value of |A|. If \(G = \mathbb {Z}\), the direct and inverse problems are well studied. In case of \(G = \mathbb {Z}/p\mathbb {Z}\), p a prime, the direct problem has been studied very recently by Monopoli (J. Number Theory, 157 (2015) 271–279). In this paper, we express the generalized sumset \(h^{(r)}A\) in terms of the regular and restricted sumsets. As an application of this result, we give a new proof of the theorem of Monopoli and as the second application, we present new proofs of direct and inverse theorems for the case \(G = \mathbb {Z}\).