Sensitivity analysis of composite piecewise smooth equations

This paper is a contribution to the sensitivity analysis of piecewise smooth equations. A piecewise smooth function is a Lipschitzian homeomorphism near a given point if and only if it is coherently oriented and has an invertible B-derivative at this point. We emphasise the role of functions of the typef=g °h whereg is piecewise smooth andh is smooth and present verifiable conditions which ensure that the functionf=g ° is a Lipschitzian homeomorphism near a given point for every sufficiently close toh with respect to theC ¹-topology. Revised version of part of the paper “Sensitivity analysis and Newton’s method for composite piecewise smooth equations”.     

Atomic decompositions for tensor products and polynomial spaces

We study the existence of atomic decompositions for tensor products of Banach spaces and spaces of homogeneous polynomials. If a Banach space X admits an atomic decomposition of a certain kind, we show that the symmetrized tensor product of the elements of the atomic decomposition provides an atomic decomposition for the symmetric tensor product , for any symmetric tensor norm μ. In addition, the reciprocal statement is investigated and analogous consequences for the full tensor product are obtained. Finally we apply the previous results to establish the existence of monomial atomic decompositions for certain ideals of polynomials on X.     

Combinatorics of n-color cyclic compositions

Integer compositions and related enumeration problems have been of interest to combinatorialists and number theorists for a long time. The cyclic and colored analogues of this concept, although interesting, have not been extensively studied. In this paper we explore the combinatorics of $n$-color cyclic compositions, presenting generating functions, bijections, asymptotic formulas related to the number of such compositions, the number of parts, and the number of restricted parts.     

Null decomposition of trees

Let $T$ be a tree. We show that the null space of the adjacency matrix of $T$ has relevant information about the structure of $T$. We introduce the Null Decomposition of trees, which is a decomposition into two different types of trees: N-trees and S-trees. N-trees are the trees that have a unique maximum (perfect) matching. S-trees are the trees with a unique maximum independent set. We obtain formulas for the independence number and the matching number of a tree using this decomposition. We also show how the number of maximum matchings and the number of maximum independent sets in a tree are related to its null decomposition.     

Data-driven distributionally robust optimization using the Wasserstein metric: performance guarantees and tractable reformulations

We consider stochastic programs where the distribution of the uncertain parameters is only observable through a finite training dataset. Using the Wasserstein metric, we construct a ball in the space of (multivariate and non-discrete) probability distributions centered at the uniform distribution on the training samples, and we seek decisions that perform best in view of the worst-case distribution within this Wasserstein ball. The state-of-the-art methods for solving the resulting distributionally robust optimization problems rely on global optimization techniques, which quickly become computationally excruciating. In this paper we demonstrate that, under mild assumptions, the distributionally robust optimization problems over Wasserstein balls can in fact be reformulated as finite convex programs—in many interesting cases even as tractable linear programs. Leveraging recent measure concentration results, we also show that their solutions enjoy powerful finite-sample performance guarantees. Our theoretical results are exemplified in mean-risk portfolio optimization as well as uncertainty quantification.

     

A Convergent Lagrangian Discretization for a Nonlinear Fourth-Order Equation

A fully discrete Lagrangian scheme for numerical solution of the nonlinear fourth-order DLSS equation in one space dimension is analyzed. The discretization is based on the equation’s gradient flow structure in the \(L^2\)-Wasserstein metric. By construction, the discrete solutions are strictly positive and mass conserving. A further key property is that they dissipate both the Fisher information and the logarithmic entropy. Our main result is a proof of convergence of fully discrete to weak solutions in the limit of vanishing mesh size. Convergence is obtained for arbitrary nonnegative, possibly discontinuous initial data with finite entropy, without any CFL-type condition. The key estimates in the proof are derived from the dissipations of the two Lyapunov functionals. Numerical experiments illustrate the practicability of the scheme.     

Approximation of Solutions of Fractional-Order Delayed Cellular Neural Network on $$\varvec{[0,\infty )}$$

In this paper, we study a class of fractional-order cellular neural network containing delay. We prove the existence and uniqueness of the equilibrium solution followed by boundedness. Based on the theory of fractional calculus, we approximate the solution of the corresponding neural network model over the interval \([0,\infty )\) using discretization method with piecewise constant arguments and variation of constants formula for fractional differential equations. Furthermore, we conclude that the solution of the fractional-delayed system can be approximated for large t by the solution of the equation with piecewise constant arguments, if the corresponding linear system is exponentially stable. At the end, we give two numerical examples to validate our theoretical findings.     

The notion of motion: covariational reasoning and the limit concept

This paper investigates outcomes of building students’ intuitive understanding of a limit as a function's predicted value by examining introductory calculus students’ conceptions of limit both before and after instruction. Students’ responses suggest that while this approach is successful at reducing the common limit equals function value misconception of a limit, new misconceptions emerged in students’ responses. Analysis of students’ reasoning indicates a lack of covariational reasoning that coordinates changes in both x and y may be at the root of the emerging limit reached near x = c misconception. These results suggest that although dynamic interpretations of limit may be intuitive for many students, care must be taken to foster a dynamic conception that is both useful at the introductory calculus level and is in line with the formal notion of limit learned in advanced mathematics. In light of the findings, suggestions for adapting the pedagogical approach used in this study are provided.     

Efficient approximation of the metric CVRP in spaces of fixed doubling dimension

Journal of Global Optimization - The capacitated vehicle routing problem (CVRP) is the well-known combinatorial optimization problem having numerous practically important applications. CVRP is...     

The milnor-moore theorem in tame homotopy theory

LetX be a 1-connected space with Moore loop space ΩX. By a well-known theorem of J. W. Milnor and J. C. Moore [7] the Hurewicz homomorphism induces an isomorphism of Hopf algebrasU(π_*(ΩX) ⊗Q)→H _*(ΩX;Q). HereU(−) denotes the universal enveloping algebra and the Lie bracket on π_*(ΩX) ⊗Q is given by the Samelson product. Assume now thatX is the geometric realization of anr-reduced simplicial set,r≥3. LetL _X be a differential graded free Lie algebra over ℤ describing the tame homotopy type ofX according to the theory of [4]. Then the main result of the present paper is the construction of a sequence of morphisms of differential graded algebras betwenU(L _X ) and the algebraC U _*(ΩX)z of normalized cubical chains on ΩX such that the induced morphisms on homology with coefficientsR _k are isomorphismsH _r-1+l (U(L _x );R _k ) ≅H _r-1+l C U _*(ΩX);R _k ) forl≤k; hereR ₀⊆R ₁⊆… is a tame ring system, i. e.R _k )⊑Q and each primep with 2p−3≤k is invertible inR _k . However, it is no longer true that the Pontrjagin algebraH _≤r−1+k (ΩX; R _k ) of ΩX in degrees ≤r−1+k is determined by π_*(ΩX) or by a cofibrant (-fibrant) modelM of π_*(ΩX) as will be shown by an example. But there is a filtration onH _≤r−1+k (ΩX; R _k ) such that the associated graded algebra is isomorphic toH _≤r−1+k (U(M); R _k ).This will be proved by using a filtered Lie algebra model ofX constructed from a bigraded model of π_*(ΩX). Supported by a CNRS grant and PROCOPE Supported by PROCOPE