Extensions of representations of integral quadratic forms

Let N and M be quadratic ?-lattices, and K be a sublattice of N. A representation σ:K→M is said to be extensible to N if there exists a representation ρ:N→M such that ρ | _K =σ. We prove in this paper a local–global principle for extensibility of representation, which is a generalization of the main theorems on representations by positive definite ?-lattices by Hsia, Kitaoka and Kneser (J. Reine Angew. Math. 301:132–141, 1978) and Jöchner and Kitaoka (J. Number Theory 48:88–101, 1994). Applications to almost n-universal lattices and systems of quadratic equations with linear conditions are discussed.     

Spectral transfer morphisms for unipotent affine Hecke algebras

We classify the spectral transfer morphisms (cf. Opdam in Adv Math 286:912–957, 2016) between affine Hecke algebras associated to the unipotent types of the various inner forms of an unramified absolutely simple algebraic group G defined over a non-archimedean local field k. This turns out to characterize Lusztig’s classification (Lusztig in Int Math Res Not 11:517–589, 1995; in Represent Theory 6:243–289, 2002) of unipotent characters of G in terms of the Plancherel measure, up to diagram automorphisms. As an application of these results, the spectral correspondences associated with such morphisms (Opdam 2016), and some results of Ciubotaru, Kato and Kato [CKK] (also see Ciubotaru and Opdam in A uniform classification of the discrete series representations of affine Hecke algebras. arXiv:1510.07274) we prove a conjecture of Hiraga, Ichino and Ikeda [HII] on formal degrees and adjoint gamma factors in the special case of unipotent discrete series characters of inner forms of unramified simple groups of adjoint type defined over k.     

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.     

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

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

Derivatives for smooth representations of <Emphasis Type="Italic">GL</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, ℝ) and <Emphasis Type="Italic">GL</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, ℂ)

The notion of derivatives for smooth representations of GL(n, ? _p ) was defined in [BZ77]. In the archimedean case, an analog of the highest derivative was defined for irreducible unitary representations in [Sah89] and called the “adduced” representation. In this paper we define derivatives of all orders for smooth admissible Fréchet representations of moderate growth. The real case is more problematic than the p-adic case; for example, arbitrary derivatives need not be admissible. However, the highest derivative continues being admissible, and for irreducible unitarizable representations coincides with the space of smooth vectors of the adduced representation.In the companion paper [AGS] we prove exactness of the highest derivative functor, and compute highest derivatives of all monomial representations.We apply those results to finish the computation of adduced representations for all irreducible unitary representations and to prove uniqueness of degenerate Whittaker models for unitary representations, thus completing the results of [Sah89, Sah90, SaSt90, GS13a].     

Every 3-connected $$\{K_{1,3},N_{1,2,3}\}$$-free graph is Hamilton-connected

A graph G is \(\{X,Y\}\)-free if it contains neither X nor Y as an induced subgraph. Pairs of connected graphs X, Y such that every 3-connected \(\{X,Y\}\)-free graph is Hamilton-connected have been investigated recently in (2002, 2000, 2012). In this paper, it is shown that every 3-connected \(\{K_{1,3},N_{1,2,3}\}\)-free graph is Hamilton-connected, where \(N_{1,2,3}\) is the graph obtained by identifying end vertices of three disjoint paths of lengths 1, 2, 3 to the vertices of a triangle.     

Integral and series representations of special functions related to the group <Emphasis Type="Italic">SO</Emphasis>(2, 2)

In this sequel to our earlier works [3, 14, 15], we aim to present certain integral and series representations for special functions by using some different group theoretical methods as follows: Restrictions of the representation matrix elements to some block-diagonal matrices; Poisson transform intertwining two realizations of the SO(2, 2)-representation; Invariant properties of the bilinear integral functionals which are used to obtain the matrix elements of bases transforms operators.     

Dependence structure and test of independence for some well-known bivariate distributions

In this paper, we study the dependence structure of some bivariate distribution functions based on dependence measures of Kochar and Gupta (Biometrika 74(3):664–666, 1987) and Shetty and Pandit (Stat Methods Appl 12:5–17, 2003) and then compare these measures with Spearman’s rho and Kendall’s tau. Moreover, the empirical power of the class of distribution-free tests introduced by Kochar and Gupta (1987) and Shetty and Pandit (2003) is computed based on exact and asymptotic distribution of U-statistics. Our results are obtained from simulation work in some continuous bivariate distributions for the sample of sizes \(n=6,8,15,20\) and 50. Also, we apply some examples to illustrate the results. Finally, we compare the common estimators of dependence parameter based on empirical MSE.     

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

Approximation by a complex <Emphasis Type="Italic">q</Emphasis>-durrmeyer type operator

Very recently, for 0 < q < 1 Govil and Gupta [10] introduced a certain q-Durrmeyer type operators of real variable \({x \in [0,1]}\) and established some approximation properties. In the present paper, for these q-Durrmeyer operators, 0 < q < 1, but of complex variable z attached to analytic functions in compact disks, we study the exact order of simultaneous approximation and a Voronovskaja kind result with quantitative estimate. In this way, we put in evidence the overconvergence phenomenon for these q-Durrmeyer polynomials, namely the extensions of approximation properties (with quantitative estimates) from the real interval [0, 1] to compact disks in the complex plane. For q = 1 the results were recently proved in Gal-Gupta [8].     

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.     

The Spectral Theorem for Unitary Operators Based on the S-Spectrum

The quaternionic spectral theorem has already been considered in the literature, see e.g. [22], [32], [33], however, except for the finite dimensional case in which the notion of spectrum is associated to an eigenvalue problem, see [21], it is not specified which notion of spectrum underlies the theorem.     

A Nonlinear Age-Structured Model of Population Dynamics with Inherited Properties

In this paper, we present some results regarding existence and uniqueness of solution on L ^p -spaces, 1 < p < + ∞, to a nonlinear initial boundary value problem originally proposed by Lebowitz and Rubinow (J Math Biol 1:17–36, 1974) to model an age-structured cell population with inherited properties. Our results complete those obtained by Garcia-Falset (Math Meth Appl Sci 34:1658–1666, 2011).     

A Characterisation of Some $$\mathbf {}$$-Like Logics

In Béziau (Log Log Philos 15:99–111, 2006) a logic \(\mathbf {Z}\) was defined with the help of the modal logic \(\mathbf {S5}\). In it, the negation operator is understood as meaning ‘it is not necessary that’. The strong soundness–completeness result for \(\mathbf {Z}\) with respect to a version of Kripke semantics was also given there. Following the formulation of \(\mathbf {Z}\) we can talk about \(\mathbf {Z}\)-like logics or Beziau-style logics if we consider other modal logics instead of \(\mathbf {S5}\)—such a possibility has been mentioned in [1]. The correspondence result between modal logics and respective Beziau-style logics has been generalised for the case of normal logics naturally leading to soundness–completeness results [see Marcos (Log Anal 48(189–192):279–300, 2005) and Mruczek-Nasieniewska and Nasieniewski (Bull Sect Log 34(4):229–248, 2005)]. In Mruczek-Nasieniewska and Nasieniewski (Bull Sect Log 37(3–4):185–196, 2008), (Bull Sect Log 38(3–4):189–203, 2009) some partial results for non-normal cases are given. In the present paper we try to give similar but more general correspondence results for the non-normal-worlds case. To achieve this aim we have to enrich original Beziau’s language with an additional negation operator understood as ‘it is necessary that not’.     

Derivation of three-derivative Runge-Kutta methods

We introduce an algorithm for a numerical integration of ordinary differential equations in the form of y′ = f(y). We extend the two-derivative Runge-Kutta methods (Chan and Tsai, Numer. Algor. 53, 171–194, 2010) to three-derivative Runge-Kutta methods by including the third derivative \(y^{\prime \prime \prime }=\hat {g}(y)=f^{\prime \prime }(y)(f(y), f(y))+f^{\prime }(y)f^{\prime }(y)f(y)\). We present an approach based on the algebraic theory of Butcher (Math. Comp. 26, 79–106, 1972) and the \(\mathcal {B}-\) series theory of Hairer and Wanner (Computing 13, 1–15 (1974)) combined with the methodology of Chan and Chan (Computing 77(3), 237–252, 2006). In this study, special explicit three-derivative Runge-Kutta methods that possess one evaluation of first derivative, one evaluation of second derivative, and many evaluations of third derivative per step are introduced. Methods with stages up to six and of order up to ten are presented. The numerical calculations have been performed on some standard problems and comparisons made with the accessible methods in the literature.     

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.     

Symmetry axioms and perceived ambiguity

Since at least de Finetti (Annales de l’Institut Henri Poincare 7:1–68, 1937), preference symmetry assumptions have played an important role in models of decision making under uncertainty. In the current paper, we explore (1) the relationship between the symmetry assumption of Klibanoff et al. (KMS) (Econometrica 82:1945–1978, 2014) and alternative symmetry assumptions in the literature, and (2) assuming symmetry, the relationship between the set of relevant measures, shown by KMS (2014) to reflect only perceived ambiguity, and the set of measures (which we will refer to as the Bewley set) developed by Ghirardato et al. (J Econ Theory 118:133–173, 2004), Nehring (Ambiguity in the context of probabilistic beliefs, working paper, 2001, Bernoulli without Bayes: a theory of utility-sophisticated preference, working paper, 2007) and Ghirardato and Siniscalchi (A more robust definition of multiple priors, working paper, 2007, Econometrica 80:2827–2847, 2012). This Bewley set is the main alternative offered in the literature as possibly representing perceived ambiguity. Regarding symmetry assumptions, we show that, under relatively mild conditions, a variety of preference symmetry conditions from the literature [including that in KMS (2014)] are equivalent. In KMS (2014), we showed that, under symmetry, the Bewley set and the set of relevant measures are not always the same. Here, we establish a preference condition, No Half Measures, that is necessary and sufficient for the two to be the same under symmetry. This condition is rather stringent. Only when it is satisfied may the Bewley set be interpreted as reflecting only perceived ambiguity and not also taste aspects such as ambiguity aversion.     

Snarks,Hypohamiltonian Graphs and Non-Supereulerian Graphs

A graph G is hypohamiltonian if it is not Hamiltonian but for each \(v\in V(G)\), the graph \(G-v\) is Hamiltonian. A graph is supereulerian if it has a spanning Eulerian subgraph. A graph G is called collapsible if for every even subset \(R\subseteq V(G)\), there is a spanning connected subgraph H of G such that R is the set of vertices of odd degree in H. A graph is reduced if it has no nontrivial collapsible subgraphs. In this note, we first prove that all hypohamiltonian cubic graphs are reduced non-supereulerian graphs. Then we introduce an operation to construct graphs from hypohamiltonian cubic graphs such that the resulting graphs are 3-edge-connected non-supereulerian reduced graphs and cannot be contracted to a snark. This disproves two conjectures, one of which was first posed by Catlin et al. in [Congr. Num. 76:173–181, 1990] and in [J. Combin. Theory, Ser B 66:123–139, 1996], and was posed again by Li et al. in [Acta Math. Sin. English Ser 30(2):291–304, 2014] and by Yang in [Supereulerian graphs, hamiltonicity of graphs and several extremal problems in graphs, Ph. D. Dissertation, Université Paris-Sub, September 27, 2013], respectively, the other one was posed by Yang 2013.