Arc-Transitive Pentavalent Graphs of Square-Free Order

Hua et al. (Discrete Math 311, 2259–2267, 2011) and Yang et al. (Discrete Math. 339, 522–532, 2016) classify arc-transitive pentavalent graphs of order 2pq and of order 2pqr (with p, q, r distinct odd primes), respectively. In this paper, we extend their results by giving a classification of arc-transitive pentavalent graphs of any square-free order.     

Congruences of two-variable <Emphasis Type="Italic">p</Emphasis>-adic <Emphasis Type="Italic">L</Emphasis>-functions of congruent modular forms of different weights

Vatsal (Duke Math J 98(2):397–419, 1999) proved that there are congruences between the p-adic L-functions (constructed by Mazur and Swinnerton-Dyer in Invent Math 25:1–61, 1974) of congruent modular forms of the same weight under some conditions. On the other hand, Kim (J Number Theory 144: 188–218, 2014), the second author, constructed two-variable p-adic L-functions of modular forms attached to imaginary quadratic fields generalizing Hida’s work (Invent Math 79:159–195, 1985), and the novelty of his construction was that it works whether p is an ordinary prime or not. In this paper, we prove congruences between the two-variable p-adic L-functions (of the second author) of congruent modular forms of different but congruent weights under some conditions when p is a nonordinary prime for the modular forms. This result generalizes the work of Emerton et al. (Invent Math 163(3): 523–580, 2006), who proved similar congruences between the p-adic L-functions of congruent modular forms of congruent weights when p is an ordinary prime.     

Generalized growth and best approximation of entire functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-norm in several complex variables

The paper deals with the characterization of generalized order and generalized type of entire functions in several complex variables in terms of the coefficients of the development with respect to the sequence of extremal polynomials and the best L ^p -approximation and interpolation errors, 0 < p ≤ ∞, on a compact set K with respect to the set

$K_r = \left\{z \in \mathbb{C}^n, {\rm exp} (V_K (z)) \leq r\right\}$

where V _K is the Siciak extremal function of a L-regular compact set K or V _K is the pluricomplex Green function with a pole at infinity. It has been noticed that in the study of growth of entire functions, the set K _r has not been used so extensively in comparison to disk. Our results apply satisfactorily for slow growth in \({\mathbb{C}^n}\) , replacing the circle \({\{z \in \mathbb{C}; |z| = r\}}\) by the set K _r and improve and extend various results of Harfaoui (Int J Maths Math Sci 2010:1–15, 2010), Seremeta (Am Math Soc Transl 88(2):291–301, 1970), Shah (J Approx Theory 19:315–324, 1977) and Vakarchuk and Zhir (Ukr Math J 54(9):1393–1401, 2002).

     

A note on uncountable groups with modular subgroup lattice

In this paper, we obtain a rigidity theorem by modifying Cheng–Yau’s technique to linear Weingarten submanifolds in the unit sphere S^n+p(1) with parallel normalized mean curvature vector. As a corollary, we have Theorem 1.3 in Guo and Li (Tohoku Math J 65:331–339, 2013) and Theorem 2 in Li (Math Ann 305:665–672, 1996).     

Uniform Sublevel Radon-like Inequalities

This paper is concerned with establishing uniform weighted L ^p –L ^q estimates for a class of operators generalizing both Radon-like operators and sublevel set operators. Such estimates are shown to hold under general circumstances whenever a sublevel-type inequality is satisfied by certain associated measures (the inequality is of the sort studied by Oberlin (Math. Proc. Camb. Philos. Soc. 129(3):517–526, 2000), relating measures of parallelepipeds to powers of their Euclidean volumes). These ideas lead to previously unknown, weighted affine-invariant estimates for Radon-like operators as well as new L ^p -improving estimates for degenerate Radon-like operators with folding canonical relations which satisfy an additional curvature condition of Greenleaf and Seeger (J. Reine Angew. Math. 455:35–56, 1994) for FIOs (building on the ideas of Sogge (Invent. Math. 104(2):349–376, 1991) and Mockenhaupt et al. (J. Am. Math. Soc. 6(1):65–130, 1993)); these new estimates fall outside the range of estimates which are known to hold in the generality of the FIO context.     

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

Fourier transforms and bent functions on faithful actions of finite abelian groups

Let G be a finite abelian group acting faithfully on a finite set X. The G-bentness and G-perfect nonlinearity of functions on X are studied by Poinsot and co-authors (Discret Appl Math 157:1848–1857, 2009; GESTS Int Trans Comput Sci Eng 12:1–14, 2005) via Fourier transforms of functions on G. In this paper we introduce the so-called \(G\)-dual set \(\widehat{X}\) of X, which plays the role similar to the dual group \(\widehat{G}\) of G, and develop a Fourier analysis on X, a generalization of the Fourier analysis on the group G. Then we characterize the bentness and perfect nonlinearity of functions on X by their own Fourier transforms on \(\widehat{X}\). Furthermore, we prove that the bentness of a function on X can be determined by its distance from the set of G-linear functions. As direct consequences, many known results in Logachev et al. (Discret Math Appl 7:547–564, 1997), Carlet and Ding (J Complex 20:205–244, 2004), Poinsot (2009), Poinsot et al. (2005) and some new results about bent functions on G are obtained. In order to explain the theory developed in this paper clearly, examples are also presented.     

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

Toeplitz Operators with Uniformly Continuous Symbols

Let T _f be a Toeplitz operator on the Segal–Bargmann space or the standard weighted Bergman space over a bounded symmetric domain \({\Omega \subset {\bf C}^n}\) with possibly unbounded symbol f. Combining recent results in Bauer et al. (J. Funct. Anal. 259:57–78, 2010), Bauer et al. (J. reine angew. Math. doi: 10.1515/crelle-2015-0016), Issa (Integr. Equ. Oper. Theory 70:569–582, 2011) we show that in the case of uniformly continuous symbols f with respect to the Euclidean metric on C ⁿ and the Bergman metric on \({\Omega}\), respectively, the operator T _f is bounded if and only if f is bounded. Moreover, T _f is compact if and only if f vanishes at the boundary of \({\Omega.}\) This observation substantially extends a result in Coburn (Indiana Univ. Math. J. 23:433–439, 1973).     

A normal generating set for the Torelli group of a compact non-orientable surface

For a compact surface S, let \({\mathcal {I}}(S)\) denote the Torelli group of S. For a compact orientable surface \(\Sigma \), \({\mathcal {I}}(\Sigma )\) is generated by two types of mapping classes, called bounding simple closed curve maps (BSCC maps) and bounding pair maps (BP maps) (see Powell in Proc Am Math Soc 68:347–350, 1978; Putman in Geom Topol 11:829–865, 2007). For a non-orientable closed surface N, \({\mathcal {I}}(N)\) is generated by BSCC maps and BP maps (see Hirose and Kobayashi in Fund Math 238:29–51, 2017). In this paper, we give an explicit normal generating set for \({\mathcal {I}}(N_g^b)\), where \(N_g^b\) is a genus-g compact non-orientable surface with b boundary components for \(g\ge 4\) and \(b\ge 1\).     

A brief note on the coarea formula

In this note we consider a special case of the famous Coarea Formula whose initial proof (for functions from any Riemannian manifold of dimension 2 into \({\mathbb {R}}\)) is due to Kronrod (Uspechi Matem Nauk 5(1):24–134, 1950) and whose general proof (for Lipschitz maps between two Riemannian manifolds of dimensions n and p) is due to Federer (Am Math Soc 93:418–491, 1959). See also Maly et al. (Trans Am Math Soc 355(2):477–492, 2002), Fleming and Rishel (Arch Math 11(1):218–222, 1960) and references therein for further generalizations to Sobolev mappings and BV functions respectively. We propose two counterexamples which prove that the coarea formula that we can find in many references (for example Bérard (Spectral geometry: direct and inverse problems, Springer, 1987), Berger et al. (Le Spectre d’une Variété Riemannienne, Springer, 1971) and Gallot (Astérisque 163(164):31–91, 1988), is not valid when applied to \(C^\infty \) functions. The gap appears only for the non generic set of non Morse functions.     

Properties of traveling waves for integrodifference equations with nonmonotone growth functions

In this paper, we will establish some new properties of traveling waves for integrodifference equations with the nonmonotone growth functions. More precisely, for c ≥ c _*, we show that either \({\lim\limits_{\xi\rightarrow+\infty} \phi(\xi)=u*}\) or \({0 < \liminf\limits_{\xi \rightarrow + \infty} \phi(\xi) < u* < \limsup \limits_{\xi\rightarrow+\infty}\phi(\xi)\leq b,}\) that is, the wave converges to the positive equilibrium or oscillates about it at +∞. Sufficient conditions can assure that both results will arise. We can also obtain that any traveling wave with wave speed c > c* possesses exponential decay at ?∞. These results can be well applied to three types of growth functions arising from population biology. By choosing suitable parameter numbers, we can obtain the existence of oscillating waves. Our analytic results are consistent with some numerical simulations in Kot (J Math Biol 30:413–436, 1992), Li et al. (J Math Biol 58:323–338, 2009) and complement some known ones.     

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.     

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.     

Mixed-integer quadratic programming is in NP

Mixed-integer quadratic programming is the problem of optimizing a quadratic function over points in a polyhedral set where some of the components are restricted to be integral. In this paper, we prove that the decision version of mixed-integer quadratic programming is in NP, thereby showing that it is NP-complete. This is established by showing that if the decision version of mixed-integer quadratic programming is feasible, then there exists a solution of polynomial size. This result generalizes and unifies classical results that quadratic programming is in NP (Vavasis in Inf Process Lett 36(2):73–77 [17]) and integer linear programming is in NP (Borosh and Treybig in Proc Am Math Soc 55:299–304 [1], von zur Gathen and Sieveking in Proc Am Math Soc 72:155–158 [18], Kannan and Monma in Lecture Notes in Economics and Mathematical Systems, vol. 157, pp. 161–172. Springer [9], Papadimitriou in J Assoc Comput Mach 28:765–768 [15]).     

Stark points and the Hida–Rankin <Emphasis Type="Italic">p</Emphasis>-adic <Emphasis Type="Italic">L</Emphasis>-function

This article is devoted to the elliptic Stark conjecture formulated by Darmon (Forum Math Pi 3:e8, 2015), which proposes a formula for the transcendental part of a p-adic avatar of the leading term at \(s=1\) of the Hasse–Weil–Artin L-series \(L(E,\varrho _1\otimes \varrho _2,s)\) of an elliptic curve \(E/\mathbb {Q}\) twisted by the tensor product \(\varrho _1\otimes \varrho _2\) of two odd 2-dimensional Artin representations, when the order of vanishing is two. The main ingredient of this formula is a \(2\times 2\) p-adic regulator involving the p-adic formal group logarithm of suitable Stark points on E. This conjecture was proved by Darmon (Forum Math Pi 3:e8, 2015) in the setting where \(\varrho _1\) and \(\varrho _2\) are induced from characters of the same imaginary quadratic field K. In this note, we prove a refinement of this result that was discovered experimentally by Darmon (Forum Math Pi 3:e8, 2015, [Remark 3.4]) in a few examples. Namely, we are able to determine the algebraic constant up to which the main theorem of Darmon (Forum Math Pi 3:e8, 2015) holds in a particular setting where the Hida–Rankin p-adic L-function associated to a pair of Hida families can be exploited to provide an alternative proof of the same result. This constant encodes local and global invariants of both E and K.     

On asymptotically equivalent difference sequences with respect to a modulus function

This paper presents new definitions which are a natural combination of the definition for asymptotically equivalence and Δ ^m -lacunary strongly summable with respect to a modulus f. Using this definitions we have proved the (f, Δ ^m )-asymptotically equivalence and Δ ^m -lacunary statistical asymptotically equivalence analogues of theorems of Tripathy and Et (Stud Univ Babe?-Bolyai Math (1):119–130, 2005) and Çolak’s theorems (Filomat 17:9–14, 2003).     

Taut contact circles and bi-contact metric structures on three-manifolds

Geiges and Gonzalo (Invent. Math. 121:147–209 1995, J. Differ. Geom. 46:236–286 1997, Acta. Math. Vietnam 38:145–164 2013) introduced and studied the notion of taut contact circle on a three-manifold. In this paper, we introduce a Riemannian approach to the study of taut contact circles on three-manifolds. We characterize the existence of a taut contact metric circle and of a bi-contact metric structure. Then, we give a complete classification of simply connected three-manifolds which admit a bi-H-contact metric structure. In particular, a simply connected three-manifold admits a homogeneous bi-contact metric structure if and only if it is diffeomorphic to one of the following Lie groups: SU(2), \({\widetilde{SL}}(2,{\mathbb {R}})\), \({\widetilde{E}}(2)\), E(1, 1). Moreover, we obtain a classification of three-manifolds which admit a Cartan structure \((\eta _1,\eta _2)\) with the so-called Webster function \({\mathcal {W}}\) constant along the flow of \(\xi _1\) (equivalently \(\xi _2\)). Finally, we study the metric cone, i.e., the symplectization, of a bi-contact metric three-manifold. In particular, the notion of bi-contact metric structure is related to the notions of conformal symplectic couple (in the sense of Geiges (Duke Math. J. 85:701–711 1996)) and symplectic pair (in the sense of Bande and Kotschick (Trans. Am. Math. Soc. 358(4):1643–1655 2005)).