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.     

Index and topology of minimal hypersurfaces in $$\mathbb {R}^n$$

In this paper, we consider immersed two-sided minimal hypersurfaces in \(\mathbb {R}^n\) with finite total curvature. We prove that the sum of the Morse index and the nullity of the Jacobi operator is bounded from below by a linear function of the number of ends and the first Betti number of the hypersurface. When \(n=4\), we are able to drop the nullity term by a careful study for the rigidity case. Our result is the first effective Morse index bound by purely topological invariants, and is a generalization of Li and Wang (Math Res Lett 9(1):95–104, 2002). Using our index estimates and ideas from the recent work of Chodosh–Ketover–Maximo (Minimal surfaces with bounded index, 2015. arXiv:1509.06724), we prove compactness and finiteness results of minimal hypersurfaces in \(\mathbb {R}^4\) with finite index.     

Groups with near exponential residual finiteness growth

A function ? → ? is near exponential if it is bounded above and below by functions of the form \({2^{{n^c}}}\) for some c > 0. In this article we develop tools to recognize the near exponential residual finiteness growth in groups acting on rooted trees. In particular, we show the near exponential residual finiteness growth for certain branch groups, including the first Grigorchuk group, the family of Gupta–Sidki groups and their variations, and Fabrykowski–Gupta groups. We also show that the family of Gupta–Sidki p-groups, for p ≥ 5, have super-exponential residual finiteness growth.     

A theorem of Ambrose for Bakry–Emery Ricci tensor

In this short note, we prove a theorem of Ambrose (or Myers) for the Bakry–Emery Ricci tensor with the potential function at most linear growth. We also prove a complete manifold $(M, g, f)$ with the Bakry–Emery Ricci tensor bounded from below by a uniform positive constant and the potential function at most quadratic growth is compact.     

Stability of linear impulsive Itô differential equations with bounded delays

We use the method of “model” equations to study the exponential p-stability (2 ≤ p < ∞) of the trivial solution with respect to the initial function for a linear impulsive system of Itô differential equations with bounded delays. The specific form of the equation and the method used permit one to analyze the stability of solutions starting from an arbitrary point of the half-line [0,∞) and obtain constructive sufficient conditions in terms of the parameters of the equations to be studied.     

An exponential inequality for the distribution function of the kernel density estimator, with applications to adaptive estimation

It is shown that the uniform distance between the distribution function $F_n^K(h)$ of the usual kernel density estimator (based on an i.i.d. sample from an absolutely continuous law on ${\mathbb{R}}$ ) with bandwidth h and the empirical distribution function F _n satisfies an exponential inequality. This inequality is used to obtain sharp almost sure rates of convergence of $\|F_n^K(h_n)-F_n\|_\infty$ under mild conditions on the range of bandwidths h _n , including the usual MISE-optimal choices. Another application is a Dvoretzky–Kiefer–Wolfowitz-type inequality for $\|F_n^{K}(h)-F\|_\infty$ , where F is the true distribution function. The exponential bound is also applied to show that an adaptive estimator can be constructed that efficiently estimates the true distribution function F in sup-norm loss, and, at the same time, estimates the density of F—if it exists (but without assuming it does)—at the best possible rate of convergence over Hölder-balls, again in sup-norm loss.     

An entropy-like proximal algorithm and the exponential multiplier method for convex symmetric cone programming

We introduce an entropy-like proximal algorithm for the problem of minimizing a closed proper convex function subject to symmetric cone constraints. The algorithm is based on a distance-like function that is an extension of the Kullback-Leiber relative entropy to the setting of symmetric cones. Like the proximal algorithms for convex programming with nonnegative orthant cone constraints, we show that, under some mild assumptions, the sequence generated by the proposed algorithm is bounded and every accumulation point is a solution of the considered problem. In addition, we also present a dual application of the proposed algorithm to the symmetric cone linear program, leading to a multiplier method which is shown to possess similar properties as the exponential multiplier method (Tseng and Bertsekas in Math. Program. 60:1–19, 1993) holds.     

Bounded directional distance function models

Bounded additive models in data envelopment analysis (DEA) under the assumption of constant returns to scale (CRS) were recently introduced in the literature (Cooper et al. in J Product Anal 35(2):85–94, 2011; Pastor et al. in J Product Anal 40:285–292, 2013; Pastor et al. in Omega 56:16–24, 2015). In this paper, we propose to extend the so far generated knowledge about bounded additive models to the family of directional distance function (DDF) models in DEA, giving rise to a completely new subfamily of bounded or partially-bounded CRS-DDF models. We finally check the new approach on a real agricultural panel data set estimating efficiency and productivity change over time, resorting to the Luenberger indicator in a context where at least one variable is naturally bounded.     

On the Mahler measure in several variables

If the total degree of a polynomial in n 2 variables of dimensionn is bounded by a double exponential function in n, then weshow that its Mahler measure is bounded from below by an absoluteconstant greater than 1.     

Recursions associated to trapezoid,symmetric and rotation symmetric functions over Galois fields

Rotation symmetric Boolean functions are invariant under circular translation of indices. These functions have very rich cryptographic properties and have been used in different cryptosystems. Recently, Thomas Cusick proved that exponential sums of rotation symmetric Boolean functions satisfy homogeneous linear recurrences with integer coefficients. In this work, a generalization of this result is proved over any Galois field. That is, exponential sums over Galois fields of some rotation symmetric polynomials satisfy linear recurrences with integer coefficients. In the particular case of ${\mathbb{F}}_2$, an elementary method is used to obtain explicit recurrences for exponential sums of some of these functions. The concept of trapezoid Boolean function is also introduced and it is showed that the linear recurrences that exponential sums of trapezoid Boolean functions satisfy are the same as the ones satisfied by exponential sums of the corresponding rotations symmetric Boolean functions. Finally, it is proved that exponential sums of trapezoid and symmetric polynomials also satisfy linear recurrences with integer coefficients over any Galois field ${\mathbb{F}}_q$. Moreover, the Discrete Fourier Transform matrix and some Complex Hadamard matrices appear as examples in some of our explicit formulas of these recurrences.     

Certain Subsets on Which Every Bounded Convex Function Is Continuous

To guarantee every real-valued convex function bounded above on a set is continuous, how ＂thick＂ should the set be？ For a symmetric set A in a Banach space E,the answer of this paper is： Every real-valued convex function bounded above on A is continuous on E if and only if the following two conditions hold： i） spanA has finite co-dimentions and ii） coA has nonempty relative interior. This paper also shows that a subset A C E satisfying every real-valued convex function bounded above on A is continuous on E if （and only if） every real-valued linear functional bounded above on A is continuous on E, which is also equivalent to that every real-valued convex function bounded on A is continuous on E.     

A Nilpotent Ideal in the Lie Rings with Automorphism of Prime Order

We improve the conclusion in Khukhro's theorem stating that a Lie ring (algebra) L admitting an automorphism of prime order p with finitely many m fixed points (with finite-dimensional fixed-point subalgebra of dimension m) has a subring (subalgebra) H of nilpotency class bounded by a function of p such that the index of the additive subgroup |L: H| (the codimension of H) is bounded by a function of m and p. We prove that there exists an ideal, rather than merely a subring (subalgebra), of nilpotency class bounded in terms of p and of index (codimension) bounded in terms of m and p. The proof is based on the method of generalized, or graded, centralizers which was originally suggested in [E. I. Khukhro, Math. USSR Sbornik 71 (1992) 51–63]. An important precursor is a joint theorem of the author and E. I. Khukhro on almost solubility of Lie rings (algebras) with almost regular automorphisms of finite order.     

Fractal Perturbation of Shaped Functions: Convergence Independent of Scaling

In this paper, we introduce a new class of fractal approximants as a fixed points of the Read–Bajraktarevi? operator defined on a suitable function space. In the development of our fractal approximants, we used the suitable bounded linear operators defined on the space \({\mathcal {C}}(I)\) of continuous functions and \(\alpha \)-fractal functions. The convergence of the proposed fractal approximants towards the continuous function f does not need any condition on the scaling vector. Owing to this reason, the proposed fractal approximants approximate the function f without losing their fractality. We establish constrained approximation by a new class of fractal polynomials. In particular, our constrained fractal polynomials preserve positivity and fractality of the original function simultaneously whenever the original function is positive and irregular. Calculus of the proposed fractal approximants is studied using suitable bounded linear operators defined on the space \({\mathcal {C}}^r(I)\) of all real-valued functions on the compact interval I that are r-times differentiable with continuous r-th derivative. We identify the IFS parameters so that our \(\alpha \)-fractal functions preserve fundamental shape properties such as monotonicity and convexity in addition to the smoothness of f in the given compact interval.     

Discrete ABP Estimate and Convergence Rates for Linear Elliptic Equations in Non-divergence Form

We design a two-scale finite element method (FEM) for linear elliptic PDEs in non-divergence form \(A(x) : D^2 u(x) = f(x)\) in a bounded but not necessarily convex domain \(\Omega \) and study it in the max norm. The fine scale is given by the meshsize h, whereas the coarse scale \(\epsilon \) is dictated by an integro-differential approximation of the PDE. We show that the FEM satisfies the discrete maximum principle for any uniformly positive definite matrix A provided that the mesh is face weakly acute. We establish a discrete Alexandroff–Bakelman–Pucci (ABP) estimate which is suitable for finite element analysis. Its proof relies on a discrete Alexandroff estimate which expresses the min of a convex piecewise linear function in terms of the measure of its sub-differential, and thus of jumps of its gradient. The discrete ABP estimate leads, under suitable regularity assumptions on A and u, to pointwise error estimates of the form

$$\begin{aligned} \Vert \,u - u^{\epsilon }_h\,\Vert _{L^{\infty }(\Omega )} \le \, C(A,u) \, h^{2\alpha /(2 + \alpha )} \big | \ln h \big | \qquad 0< \alpha \le 2, \end{aligned}$$

provided \(\epsilon \approx h^{2/(2+\alpha )}\). Such a convergence rate is at best of order \( h \big | \ln h \big |\), which turns out to be quasi-optimal.

     

B-Bounded semigroups and applications

Summary We study a new one-parameter family of linear bounded operators Y(t), tO which is uniquely defined by a linear operator A, not necessarily bounded, and by a linear bounded operator B. The definition of Y(t), t 0 given in Section 2 was suggested by a particle transport problem with multiplying boundary conditions.     

Exponential or polynomial decay of solutions to a viscoelastic equation with nonlinear localized damping

We consider the nonlinear viscoelastic equation $$u_{tt}-\Delta u+\int_{0}^{t}g(t-\tau)\Delta u(\tau)\,d\tau +a(x)|u_{t}|^{m}u_{t}+b|u|^{\gamma }u=0$$ in a bounded domain and establish exponential or polynomial decay result which depend on the rate of the decay of the relaxation function g. This result improves an earlier one given by Berrimi and Messaoudi (Electron. J. Differ. Equ. (88):1–10, 2004).     

Exact augmented Lagrangian duality for mixed integer linear programming

We investigate the augmented Lagrangian dual (ALD) for mixed integer linear programming (MIP) problems. ALD modifies the classical Lagrangian dual by appending a nonlinear penalty function on the violation of the dualized constraints in order to reduce the duality gap. We first provide a primal characterization for ALD for MIPs and prove that ALD is able to asymptotically achieve zero duality gap when the weight on the penalty function is allowed to go to infinity. This provides an alternative characterization and proof of a recent result in Boland and Eberhard (Math Program 150(2):491–509, 2015, Proposition 3). We further show that, under some mild conditions, ALD using any norm as the augmenting function is able to close the duality gap of an MIP with a finite penalty coefficient. This generalizes the result in Boland and Eberhard (2015, Corollary 1) from pure integer programming problems with bounded feasible region to general MIPs. We also present an example where ALD with a quadratic augmenting function is not able to close the duality gap for any finite penalty coefficient.     

Quadratic–exponential growth BSDEs with jumps and their Malliavin’s differentiability

We investigate a class of quadratic–exponential growth BSDEs with jumps. The quadratic structure introduced by Barrieu & El Karoui (2013) yields the universal bounds on the possible solutions. With local Lipschitz continuity and the so-called $A_{\Gamma }$-condition for the comparison principle to hold, we prove the existence of a unique solution under the general quadratic–exponential structure. We have also shown that the strong convergence occurs under more general (not necessarily monotone) sequence of drivers, which is then applied to give the sufficient conditions for the Malliavin’s differentiability.