Halanay inequality involving Caputo-Hadamard fractional derivative and application

A Halanay inequality with distributed delay of non-convolution type is considered. We establish a decay of solutions as a Mittag-Leffler function composed with a logarithmic function. A general sufficient condition is found and a large class of admissible retardation kernels is provided. This needs the preparation of several lemmas on properties of the Hadamard derivative and some basic fractional differential problems with this kind of derivative. The obtained result is then applied to a Hopfield neural network system to discuss its stability.

Convergence of the Chern–Moser–Beloshapka normal forms

In this article, we give a normal form for real-analytic, Levi-nondegenerate submanifolds of{\mathbb{C}^{N}}of codimension{d\geq 1}under the action of formal biholomorphisms. We find a very general sufficient condition on the formal normal form that ensures that the normalizing transformation to this normal form is holomorphic. In the case{d=1}our methods in particular allow us to obtain a new and direct proof of the convergence of the Chern–Moser normal form.

Metric sub-regularity in optimal control of affine problems with free end state

The paper investigates the property of Strong Metric sub-Regularity (SMsR) of the mapping representing the first order optimality system for a Lagrange-type optimal control problem which is affine with respect to the control. The terminal time is fixed, the terminal state is free, and the control values are restricted in a convex compact set U. The SMsR property is associated with a reference solution of the optimality system and ensures that small additive perturbations in the system result in solutions which are at distance to the reference one, at most proportional to the size of the perturbations. A general sufficient condition for SMsR is obtained for appropriate space settings and then specialized in the case of a polyhedral set U and purely bang-bang reference control. Sufficient second-order optimality conditions are obtained as a by-product of the analysis. Finally, the obtained results are utilized for error analysis of the Euler discretization scheme applied to affine problems.

An Adiabatic Quantum Algorithm for Determining Gracefulness of a Graph

Graph labelling is one of the noticed contexts in combinatorics and graph theory. Graceful labelling for a graph G with e edges, is to label the vertices of G with 0, 1, ℒ, e such that, if we specify to each edge the difference value between its two ends, then any of 1, 2, ℒ, e appears exactly once as an edge label. For a given graph, there are still few efficient classical algorithms that determine either it is graceful or not, even for trees – as a well-known class of graphs. In this paper, we introduce an adiabatic quantum algorithm, which for a graceful graph G finds a graceful labelling. Also, this algorithm can determine if G is not graceful. Numerical simulations of the algorithm reveal that its time complexity has a polynomial behaviour with the problem size up to the range of 15 qubits. A general sufficient condition for a combinatorial optimization problem to have a satisfying adiabatic solution is also derived.

Ergodic properties of matrix equilibrium states

Given a finite irreducible set of real$d\times d$matrices$A_{1},\ldots ,A_{M}$and a real parameter$s>0$, there exists a unique shift-invariant equilibrium state on$\{1,\ldots ,M\}^{\mathbb{N}}$associated to$(A_{1},\ldots ,A_{M},s)$. In this paper we characterize the ergodic properties of such equilibrium states in terms of the algebraic properties of the semigroup generated by the associated matrices. We completely characterize when the equilibrium state has zero entropy, when it gives distinct Lyapunov exponents to the natural cocycle generated by$A_{1},\ldots ,A_{M}$, and when it is a Bernoulli measure. We also give a general sufficient condition for the equilibrium state to be mixing, and give an example where the equilibrium state is ergodic but not totally ergodic. Connections with a class of measures investigated by Kusuoka are explored in an appendix.

SOME NEW RESULTS ON THE LARGEST ORDER STATISTICS FROM MULTIPLE-OUTLIER GAMMA MODELS

In this paper, we carry out stochastic comparisons of the largest order statistics arising from multiple-outlier gamma models with different both shape and scale parameters in the sense of various stochastic orderings including the likelihood ratio order, star order and dispersive order. It is proved, among others, that the weak majorization order between the scale parameter vectors along with the majorization order between the shape parameter vectors imply the likelihood ratio order between the largest order statistics. A quite general sufficient condition for the star order is presented. The new results established here strengthen and generalize some of the results known in the literature. Numerical examples and applications are also provided to explicate the theoretical results.

Achieving Synchronization in Arrays of Coupled Differential Systems with Time-Varying Couplings

We study complete synchronization of the complex dynamical networks described by linearly coupled ordinary differential equation systems (LCODEs). Here, the coupling is timevarying in both network structure and reaction dynamics. Inspired by our previous paper (Lu et al. (2007-2008)), the extended Hajnal diameter is introduced and used to measure the synchronization in a general differential system. Then we find that the Hajnal diameter of the linear system induced by the time-varying coupling matrix and the largest Lyapunov exponent of the synchronized system play the key roles in synchronization analysis of LCODEs with identity inner coupling matrix. As an application, we obtain a general sufficient condition guaranteeing directed time-varying graph to reach consensus. Example with numerical simulation is provided to show the effectiveness of the theoretical results.

A universality result for endomorphism monoids of some ultrahomogeneous structures

We devise a fairly general sufficient condition ensuring that the endomorphism monoid of a countably infinite ultrahomogeneous structure (i.e. a Fraïssé limit) embeds all countable semigroups. This approach not only provides us with a framework unifying the previous scattered results in this vein, but actually yields new applications for endomorphism monoids of the (rational) Urysohn space and the countable universal ultrahomogeneous semilattice.

A New Existence and Uniqueness Theorem for Continuous Games

This paper derives a general sufficient condition for existence and uniqueness in continuous games using a variant of the contraction mapping theorem applied to mappings from a subset of the real line on to itself. We first prove this contraction mapping variant, and then show how the existence of a unique equilibrium in the general game can be shown by proving the existence of a unique equilibrium in an iterative sequence of games involving such mappings. Finally, we show how a general condition for this to occur is that a matrix derived from the Jacobian matrix of best-response functions has positive leading principal minors, and how this condition generalises some existing uniqueness theorems for particular games. In particular, we show how the same conditions used in those theorems to show uniqueness, also guarantee existence in games with unbounded strategy spaces.

Embedding relations and boundedness of the multifunctional operators in tube domains over symmetric cones

We obtain a new general sufficient condition for the continuity of the Bergman projection in tube domains over symmetric cones using multifunctional embeddings. We also obtain some sharp embedding relations between the generalized Hilbert-Hardy spaces and the mixed-norm Bergman spaces in this setting.