Extensions of the Noncommutative Integration

In this paper we will continue the analysis undertaken in Bagarello et al. (Rend Circ Mat Palermo (2) 55:21–28, 2006), Bongiorno et al. (Rocky Mt J Math 40(6):1745–1777, 2010), Triolo (Rend Circ Mat Palermo (2) 60(3):409–416, 2011) on the general problem of extending the noncommutative integration in a *-algebra of measurable operators. As in Aiena et al. (Filomat 28(2):263–273, 2014), Bagarello (Stud Math 172(3):289–305, 2006) and Bagarello et al. (Rend Circ Mat Palermo (2) 55:21–28, 2006), the main problem is to represent different types of partial *-algebras into a *-algebra of measurable operators in Segal’s sense, provided that these partial *-algebras posses a sufficient family of positive linear functionals (states) (Fragoulopoulou et al., J Math Anal Appl 388(2):1180–1193, 2012; Trapani and Triolo, Stud Math 184(2):133–148, 2008; Trapani and Triolo, Rend Circolo Mat Palermo 59:295–302, 2010; La Russa and Triolo, J Oper Theory, 69:2, 2013; Triolo, J Pure Appl Math, 43(6):601–617, 2012). In this paper, a new condition is given in an attempt to provide a extension of the non commutative integration.     

Absolute Cesàro Series Spaces and Matrix Operators

In this paper we derive a series space \(\vert C_{\lambda,\mu} \vert _{k}\) using the well known absolute Cesàro summability \(\vert C_{\lambda,\mu} \vert _{k}\) of Das (Proc. Camb. Philol. Soc. 67:321–326, 1970), compute its \(\beta\)-dual, give some algebraic and topological properties, and characterize some matrix operators defined on that space. So we generalize some results of Bosanquet (J. Lond. Math. Soc. 20:39–48, 1945), Flett (Proc. Lond. Math. Soc. 7:113–141, 1957), Mehdi (Proc. Lond. Math. Soc. (3)10:180–199, 1960), Mazhar (Tohoku Math. J. 23:433–451, 1971), Orhan and Sar?göl (Rocky Mt. J. Math. 23(3):1091–1097, 1993) and Sar?göl (Commun. Math. Appl. 7(1):11–22, 2016; Math. Comput. Model. 55:1763–1769, 2012).     

A Double-Parameter Scaling Broyden–Fletcher–Goldfarb–Shanno Method Based on Minimizing the Measure Function of Byrd and Nocedal for Unconstrained Optimization

In this paper, the first two terms on the right-hand side of the Broyden–Fletcher–Goldfarb–Shanno update are scaled with a positive parameter, while the third one is also scaled with another positive parameter. These scaling parameters are determined by minimizing the measure function introduced by Byrd and Nocedal (SIAM J Numer Anal 26:727–739, 1989). The obtained algorithm is close to the algorithm based on clustering the eigenvalues of the Broyden–Fletcher–Goldfarb–Shanno approximation of the Hessian and on shifting its large eigenvalues to the left, but it is not superior to it. Under classical assumptions, the convergence is proved by using the trace and the determinant of the iteration matrix. By using a set of 80 unconstrained optimization test problems, it is proved that the algorithm minimizing the measure function of Byrd and Nocedal is more efficient and more robust than some other scaling Broyden–Fletcher–Goldfarb–Shanno algorithms, including the variants of Biggs (J Inst Math Appl 12:337–338, 1973), Yuan (IMA J Numer Anal 11:325–332, 1991), Oren and Luenberger (Manag Sci 20:845–862, 1974) and of Nocedal and Yuan (Math Program 61:19–37, 1993). However, it is less efficient than the algorithms based on clustering the eigenvalues of the iteration matrix and on shifting its large eigenvalues to the left, as shown by Andrei (J Comput Appl Math 332:26–44, 2018, Numer Algorithms 77:413–432, 2018).     

Improved local convergence analysis of the Gauss–Newton method under a majorant condition

We present a local convergence analysis of Gauss-Newton method for solving nonlinear least square problems. Using more precise majorant conditions than in earlier studies such as Chen (Comput Optim Appl 40:97–118, 2008), Chen and Li (Appl Math Comput 170:686–705, 2005), Chen and Li (Appl Math Comput 324:1381–1394, 2006), Ferreira (J Comput Appl Math 235:1515–1522, 2011), Ferreira and Gonçalves (Comput Optim Appl 48:1–21, 2011), Ferreira and Gonçalves (J Complex 27(1):111–125, 2011), Li et al. (J Complex 26:268–295, 2010), Li et al. (Comput Optim Appl 47:1057–1067, 2004), Proinov (J Complex 25:38–62, 2009), Ewing, Gross, Martin (eds.) (The merging of disciplines: new directions in pure, applied and computational mathematics 185–196, 1986), Traup (Iterative methods for the solution of equations, 1964), Wang (J Numer Anal 20:123–134, 2000), we provide a larger radius of convergence; tighter error estimates on the distances involved and a clearer relationship between the majorant function and the associated least squares problem. Moreover, these advantages are obtained under the same computational cost.     

Local convergence and the dynamics of a two-point four parameter Jarratt-like method under weak conditions

We present a local convergence analysis of a two-point four parameter Jarratt-like method of high convergence order in order to approximate a locally unique solution of a nonlinear equation. In contrast to earlier studies such us (Amat et al. Aequat. Math. 69(3), 212–223 2015; Amat et al. J. Math. Anal. Appl. 366(3), 24–32 2010; Behl, R. 2013; Bruns and Bailey Chem. Eng. Sci. 32, 257–264 1977; Candela and Marquina. Computing 44, 169–184 1990; Candela and Marquina. Computing 45(4), 355–367 1990; Chun. Appl. Math. Comput. 190(2), 1432–1437 2007; Cordero and Torregrosa. Appl. Math. Comput. 190, 686–698 2007; Deghan. Comput. Appl Math. 29(1), 19–30 2010; Deghan. Comput. Math. Math. Phys. 51(4), 513–519 2011; Deghan and Masoud. Eng. Comput. 29(4), 356–365 15; Cordero and Torregrosa. Appl. Math. Comput. 190, 686–698 2012; Deghan and Masoud. Eng. Comput. 29(4), 356–365 2012; Ezquerro and Hernández. Appl. Math. Optim. 41(2), 227–236 2000; Ezquerro and Hernández. BIT Numer. Math. 49, 325–342 2009; Ezquerro and Hernández. J. Math. Anal. Appl. 303, 591–601 2005; Gutiérrez and Hernández. Comput. Math. Appl. 36(7), 1–8 1998; Ganesh and Joshi. IMA J. Numer. Anal. 11, 21–31 1991; González-Crespo et al. Expert Syst. Appl. 40(18), 7381–7390 2013; Hernández. Comput. Math. Appl. 41(3-4), 433–455 2001; Hernández and Salanova. Southwest J. Pure Appl. Math. 1, 29–40 1999; Jarratt. Math. Comput. 20(95), 434–437 1966; Kou and Li. Appl. Math. Comput. 189, 1816–1821 2007; Kou and Wang. Numer. Algor. 60, 369–390 2012; Lorenzo et al. Int. J. Interact. Multimed. Artif. Intell. 1(3), 60–66 2010; Magreñán. Appl. Math. Comput. 233, 29–38 2014; Magreñán. Appl. Math. Comput. 248, 215–224 2014; Parhi and Gupta. J. Comput. Appl. Math. 206(2), 873–887 2007; Rall 1979; Ren et al. Numer. Algor. 52(4), 585–603 2009; Rheinboldt Pol. Acad. Sci. Banach Ctr. Publ. 3, 129–142 1978; Sicilia et al. J. Comput. Appl. Math. 291, 468–477 2016; Traub 1964; Wang et al. Numer. Algor. 57, 441–456 2011) using hypotheses up to the fifth derivative, our sufficient convergence conditions involve only hypotheses on the first Fréchet-derivative of the operator involved. The dynamics of the family for choices of the parameters such that it is optimal is also shown. Numerical examples are also provided in this study     

Fast convergence of an inexact interior point method for horizontal complementarity problems

In Andreani et al. (Numer. Algorithms 57:457–485, 2011), an interior point method for the horizontal nonlinear complementarity problem was introduced. This method was based on inexact Newton directions and safeguarding projected gradient iterations. Global convergence, in the sense that every cluster point is stationary, was proved in Andreani et al. (Numer. Algorithms 57:457–485, 2011). In Andreani et al. (Eur. J. Oper. Res. 249:41–54, 2016), local fast convergence was proved for the underdetermined problem in the case that the Newtonian directions are computed exactly. In the present paper, it will be proved that the method introduced in Andreani et al. (Numer. Algorithms 57:457–485, 2011) enjoys fast (linear, superlinear, or quadratic) convergence in the case of truly inexact Newton computations. Some numerical experiments will illustrate the accuracy of the convergence theory.     

On spectral synthesis in varieties containing the solutions of inhomogeneous linear functional equations

As a continuation of our previous work [2] the aim of the recent paper is to investigate the solutions of special inhomogeneous linear functional equations by using spectral synthesis in translation invariant closed linear subspaces of additive/multiadditive functions containing the restrictions of the solutions to finitely generated fields. The idea is based on the fundamental work of [5]. Using spectral analysis in some related varieties we can prove the existence of special solutions (automorphisms) of the functional equation but spectral synthesis allows us to describe the entire space of solutions on a large class of finitely generated fields. It is spanned by the so-called exponential monomials which can be given in terms of automorphisms of \({\mathbb C}\) and differential operators. We apply the general theory to some inhomogeneous problems motivated by quadrature rules of approximate integration [8], see also [7, 9].     

A parametric simplex algorithm for linear vector optimization problems

In this paper, a parametric simplex algorithm for solving linear vector optimization problems (LVOPs) is presented. This algorithm can be seen as a variant of the multi-objective simplex (the Evans–Steuer) algorithm (Math Program 5(1):54–72, 1973). Different from it, the proposed algorithm works in the parameter space and does not aim to find the set of all efficient solutions. Instead, it finds a solution in the sense of Löhne (Vector optimization with infimum and supremum. Springer, Berlin, 2011), that is, it finds a subset of efficient solutions that allows to generate the whole efficient frontier. In that sense, it can also be seen as a generalization of the parametric self-dual simplex algorithm, which originally is designed for solving single objective linear optimization problems, and is modified to solve two objective bounded LVOPs with the positive orthant as the ordering cone in Ruszczyński and Vanderbei (Econometrica 71(4):1287–1297, 2003). The algorithm proposed here works for any dimension, any solid pointed polyhedral ordering cone C and for bounded as well as unbounded problems. Numerical results are provided to compare the proposed algorithm with an objective space based LVOP algorithm [Benson’s algorithm in Hamel et al. (J Global Optim 59(4):811–836, 2014)], that also provides a solution in the sense of Löhne (2011), and with the Evans–Steuer algorithm (1973). The results show that for non-degenerate problems the proposed algorithm outperforms Benson’s algorithm and is on par with the Evans–Steuer algorithm. For highly degenerate problems Benson’s algorithm (Hamel et al. 2014) outperforms the simplex-type algorithms; however, the parametric simplex algorithm is for these problems computationally much more efficient than the Evans–Steuer algorithm.     

On the solution of systems of equations with constant rank derivatives

The famous for its simplicity and clarity Newton–Kantorovich hypothesis of Newton’s method has been used for a long time as the sufficient convergence condition for solving nonlinear equations. Recently, in the elegant study by Hu et al. (J Comput Appl Math 219:110–122, 2008), a Kantorovich-type convergence analysis for the Gauss–Newton method (GNM) was given improving earlier results by Häubler (Numer Math 48:119–125, 1986), and extending some results by Argyros (Adv Nonlinear Var Inequal 8:93–99, 2005, 2007) to hold for systems of equations with constant rank derivatives. In this study, we use our new idea of recurrent functions to extend the applicability of (GNM) by replacing existing conditions by weaker ones. Finally, we provide numerical examples to solve equations in cases not covered before (Häubler, Numer Math 48:119–125, 1986; Hu et al., J Comput Appl Math 219:110–122, 2008; Kontorovich and Akilov 2004).     

On spectral analysis in varieties containing the solutions of inhomogeneous linear functional equations

The aim of the paper is to investigate the solutions of special inhomogeneous linear functional equations using spectral analysis in a translation invariant closed linear subspace of additive/multiadditive functions containing the restrictions of the solutions to finitely generated fields. The application of spectral analysis in some related varieties is a new and important trend in the theory of functional equations; especially they have successful applications in the case of homogeneous linear functional equations. The foundations of the theory can be found in Kiss and Varga (Aequat Math 88(1):151–162, 2014) and Kiss and Laczkovich (Aequat Math 89(2):301–328, 2015). We are going to adopt the main theoretical tools to solve some inhomogeneous problems due to Kocl?ga-Kulpa and Szostok (Ann Math Sylesianae 22:27–40, 2008), see also Kocl?ga-Kulpa and Szostok (Georgian Math J 16:725–736, 2009; Acta Math Hung 130(4):340–348, 2011). They are motivated by quadrature rules of approximate integration.     

Convergence in Law for the Branching Random Walk Seen from Its Tip

Consider a critical branching random walk on the real line. In a recent paper, Aïdékon (2011) developed a powerful method to obtain the convergence in law of its minimum after a log-factor translation. By an adaptation of this method, we show that the point process formed by the branching random walk seen from the minimum converges in law to a decorated Poisson point process. This result, confirming a conjecture of Brunet and Derrida (J Stat Phys 143:420–446, 2011), can be viewed as a discrete analog of the corresponding results for the branching Brownian motion, previously established by Arguin et al. (2010, 2011) and Aïdékon et al. (2011).     

Spectral Properties of Unbounded Jacobi Matrices with Almost Monotonic Weights

We present a unified framework to identify spectra of Jacobi matrices. We give applications of the long-standing problem of Chihara (Mt J Math 21(1):121–137, 1991, J Comput Appl Math 153(1–2):535–536, 2003) concerning one-quarter class of orthogonal polynomials, to the conjecture posed by Roehner and Valent (SIAM J Appl Math 42(5):1020–1046, 1982) concerning continuous spectra of generators of birth and death processes, and to spectral properties of operators studied by Janas and Moszyńki (Integral Equ Oper Theory 43(4):397–416, 2002) and Pedersen (Proc Am Math Soc 130(8):2369–2376, 2002).     

Ax–Schanuel for linear differential equations

We generalise the exponential Ax–Schanuel theorem to arbitrary linear differential equations with constant coefficients. Using the analysis of the exponential differential equation by Kirby (The theory of exponential differential equations, 2006, Sel Math 15(3):445–486, 2009) and Crampin (Reducts of differentially closed fields to fields with a relation for exponentiation, 2006) we give a complete axiomatisation of the first order theories of linear differential equations and show that the generalised Ax–Schanuel inequalities are adequate for them.     

Performance of convex underestimators in a branch-and-bound framework

The efficient determination of tight lower bounds in a branch-and-bound algorithm is crucial for the global optimization of models spanning numerous applications and fields. The global optimization method \(\alpha \)-branch-and-bound (\(\alpha \)BB, Adjiman et al. in Comput Chem Eng 22(9):1159–1179, 1998b, Comput Chem Eng 22(9):1137–1158, 1998a; Adjiman and Floudas in J Global Optim 9(1):23–40, 1996; Androulakis et al. J Global Optim 7(4):337–363, 1995; Floudas in Deterministic Global Optimization: Theory, Methods and Applications, vol. 37. Springer, Berlin, 2000; Maranas and Floudas in J Chem Phys 97(10):7667–7678, 1992, J Chem Phys 100(2):1247–1261, 1994a, J Global Optim 4(2):135–170, 1994), guarantees a global optimum with \(\epsilon \)-convergence for any \(\mathcal {C}^2\)-continuous function within a finite number of iterations via fathoming nodes of a branch-and-bound tree. We explored the performance of the \(\alpha \)BB method and a number of competing methods designed to provide tight, convex underestimators, including the piecewise (Meyer and Floudas in J Global Optim 32(2):221–258, 2005), generalized (Akrotirianakis and Floudas in J Global Optim 30(4):367–390, 2004a, J Global Optim 29(3):249–264, 2004b), and nondiagonal (Skjäl et al. in J Optim Theory Appl 154(2):462–490, 2012) \(\alpha \)BB methods, the Brauer and Rohn+E (Skjäl et al. in J Global Optim 58(3):411–427, 2014) \(\alpha \)BB methods, and the moment method (Lasserre and Thanh in J Global Optim 56(1):1–25, 2013). Using a test suite of 40 multivariate, box-constrained, nonconvex functions, the methods were compared based on the tightness of generated underestimators and the efficiency of convergence of a branch-and-bound global optimization algorithm.     

Haglund’s conjecture on 3-column Macdonald polynomials

We prove a positive combinatorial formula for the Schur expansion of LLT polynomials indexed by a 3-tuple of skew shapes. This verifies a conjecture of Haglund (Proc Natl Acad Sci USA 101(46):16127–16131, 2004). The proof requires expressing a noncommutative Schur function as a positive sum of monomials in Lam’s (Eur J Combin 29(1):343–359, 2008) algebra of ribbon Schur operators. Combining this result with the expression of Haglund et al. (J Am Math Soc 18(3):735–761, 2005) for transformed Macdonald polynomials in terms of LLT polynomials then yields a positive combinatorial rule for transformed Macdonald polynomials indexed by a shape with 3 columns.     

Functional Convergence of Linear Processes with Heavy-Tailed Innovations

We study convergence in law of partial sums of linear processes with heavy-tailed innovations. In the case of summable coefficients, necessary and sufficient conditions for the finite dimensional convergence to an \(\alpha \)-stable Lévy Motion are given. The conditions lead to new, tractable sufficient conditions in the case \(\alpha \le 1\). In the functional setting, we complement the existing results on \(M_1\)-convergence, obtained for linear processes with nonnegative coefficients by Avram and Taqqu (Ann Probab 20:483–503, 1992) and improved by Louhichi and Rio (Electr J Probab 16(89), 2011), by proving that in the general setting partial sums of linear processes are convergent on the Skorokhod space equipped with the \(S\) topology, introduced by Jakubowski (Electr J Probab 2(4), 1997).     

Variational approach for the Stokes and Navier–Stokes systems with nonsmooth coefficients in Lipschitz domains on compact Riemannian manifolds

The purpose of this paper is to show well-posedness results for Dirichlet problems for the Stokes and Navier–Stokes systems with \(L^{\infty }\)-variable coefficients in \(L^2\)-based Sobolev spaces in Lipschitz domains on compact Riemannian manifolds. First, we refer to the Dirichlet problem for the nonsmooth coefficient Stokes system on Lipschitz domains in compact Riemannian manifolds and show its well-posedness by employing a variational approach that reduces the boundary value problem of Dirichlet type to a variational problem defined in terms of two bilinear continuous forms, one of them satisfying a coercivity condition and another one the inf-sup condition. We show also the equivalence between some transmission problems for the nonsmooth coefficient Stokes system in complementary Lipschitz domains on compact Riemannian manifolds and their mixed variational counterparts, and then their well-posedness in \(L^2\)-based Sobolev spaces by using the remarkable Nec?as–Babus?ka–Brezzi technique (see Babus?ka in Numer Math 20:179–192, 1973; Brezzi in RAIRO Anal Numer R2:129–151, 1974; Nec?as in Rev Roum Math Pures Appl 9:47–69, 1964). As a consequence of these well-posedness results we define the layer potential operators for the nonsmooth coefficient Stokes system on Lipschitz surfaces in compact Riemannian manifolds, and provide their main mapping properties. These properties are used to construct explicitly the solution of the Dirichlet problem for the Stokes system. Further, we combine the well-posedness of the Dirichlet problem for the nonsmooth coefficient Stokes system with a fixed point theorem to show the existence of a weak solution to the Dirichlet problem for the nonsmooth variable coefficient Navier–Stokes system in \(L^2\)-based Sobolev spaces in Lipschitz domains on compact Riemannian manifolds. The well developed potential theory for the smooth coefficient Stokes system on compact Riemannian manifolds (cf. Dindos? and Mitrea in Arch Ration Mech Anal 174:1–47, 2004; Mitrea and Taylor in Math Ann 321:955–987, 2001) is also discussed in the context of the potential theory developed in this paper.     

The long extender algebra

Generalizing Woodin’s extender algebra, cf. e.g. Steel (in: Kanamori (ed) Handbook of set theory, Springer, Berlin, 2010), we isolate the long extender algebra as a general version of Bukowský’s forcing, cf. Bukovský (Fundam Math 83:35–46, 1973), in the presence of a supercompact cardinal.     

Truthmaker Internalism and the Mind-Dependence of Propositions

It is generally thought that truthmaking has to be an internal relation because if it weren’t, then, as David Armstrong argues, “everything may be a truthmaker for any truth” (1997: 198). Depending on whether we take an internal relation to be one that is necessitated by the mere existence of its terms (Armstrong 1997: 87 and 2004: 9) or one that supervenes on the intrinsic properties of its relata (Lewis 1986: 62), the truthbearers involved in the truthmaking relation must either have their contents essentially or intrinsically. In this paper, I examine Armstrong’s account (1973; 1997 and 2004), according to which what is made true at the fundamental level are mental state tokens. The conclusion is reached that such tokens have their contents neither essentially nor intrinsically, and so, are simply the wrong kind of entities to be made true internally.     

Complex Outliers of Hermitian Random Matrices

In this paper, we study the asymptotic behavior of the outliers of the sum a Hermitian random matrix and a finite rank matrix which is not necessarily Hermitian. We observe several possible convergence rates and outliers locating around their limits at the vertices of regular polygons as in Benaych-Georges and Rochet (Probab Theory Relat Fields, 2015), as well as possible correlations between outliers at macroscopic distance as in Knowles and Yin (Ann Probab 42(5):1980–2031, 2014) and Benaych-Georges and Rochet (2015). We also observe that a single spike can generate several outliers in the spectrum of the deformed model, as already noticed in Benaych-Georges and Nadakuditi (Adv Math 227(1):494–521, 2011) and Belinschi et al. (Outliers in the spectrum of large deformed unitarily invariant models 2012, arXiv:1207.5443v1). In the particular case where the perturbation matrix is Hermitian, our results complete the work of Benaych-Georges et al. (Electron J Probab 16(60):1621–1662, 2011), as we consider fluctuations of outliers lying in “holes” of the limit support, which happen to exhibit surprising correlations.