Relative order defines a topology for recurrent networks

This paper uses techniques from control theory in the analysis of trained recurrent neural networks. Differential geometry is used as a framework, which allows the concept of relative order to be applied to neural networks. Any system possessing finite relative order has a left-inverse. Any recurrent network with finite relative order also has an inverse, which is shown to be a recurrent network.

Necessary and sufficient conditions for realizability of point processes

We give necessary and sufficient conditions for a pair of (generali- zed) functions 1(r1) and 2(r1, r2), ri 2X, to be the density and pair correlations of some point process in a topological space X, for ex- ample, Rd, Zd or a subset of these. This is an infinite-dimensional version of the classical “truncated moment” problem. Standard tech- niques apply in the case in which there can be only a bounded num- ber of points in any compact subset of X. Without this restriction we obtain, for compact X, strengthened conditions which are necessary and sufficient for the existence of a process satisfying a further re- quirement—the existence of a finite third order moment. We general- ize the latter conditions in two distinct ways when X is not compact.

The Mathematics of Control Theory

This text contains papers presented at the Institute of Mathematics and its Applications Conference on Control Theory, held at the University of Strathclyde in Glasgow. The contributions cover a wide range of topics of current interest to theoreticians and practitioners including algebraic systems theory, nonlinear control systems, adaptive control, robustness issues, infinite dimensional systems, applications studies and connections to mathematical aspects of information theory and data-fusion.

On the operator space structure of Hilbert spaces

Operator spaces of Hilbertian JC∗ -triples E are considered in the light of the universal ternary ring of operators (TRO) introduced in recent work. For these operator spaces, it is shown that their triple envelope (in the sense of Hamana) is the TRO they generate, that a complete isometry between any two of them is always the restriction of a TRO isomorphism and that distinct operator space structures on a fixed E are never completely isometric. In the infinite-dimensional cases, operator space structure is shown to be characterized by severe and definite restrictions upon finite-dimensional subspaces. Injective envelopes are explicitly computed.

Inverse problems in neural field theory

We study inverse problems in neural field theory, i.e., the construction of synaptic weight kernels yielding a prescribed neural field dynamics. We address the issues of existence, uniqueness, and stability of solutions to the inverse problem for the Amari neural field equation as a special case, and prove that these problems are generally ill-posed. In order to construct solutions to the inverse problem, we first recast the Amari equation into a linear perceptron equation in an infinite-dimensional Banach or Hilbert space. In a second step, we construct sets of biorthogonal function systems allowing the approximation of synaptic weight kernels by a generalized Hebbian learning rule. Numerically, this construction is implemented by the Moore–Penrose pseudoinverse method. We demonstrate the instability of these solutions and use the Tikhonov regularization method for stabilization and to prevent numerical overfitting. We illustrate the stable construction of kernels by means of three instructive examples.

The Hilbert space of the Chern-Simons theory on a cylinder: a loop quantum gravity approach

As a laboratory for loop quantum gravity, we consider the canonical quantization of the three-dimensional Chern-Simons theory on a noncompact space with the topology of a cylinder. Working within the loop quantization formalism, we define at the quantum level the constraints appearing in the canonical approach and completely solve them, thus constructing a gauge and diffeomorphism invariant physical Hilbert space for the theory. This space turns out to be infinite dimensional, but separable.

Genericity of Nondegeneracy for Light Rays in Stationary Spacetimes

Given a Lorentzian manifold (M, g), an event p and an observer U in M, then p and U are light conjugate if there exists a lightlike geodesic gamma : [0, 1] -> M joining p and U whose endpoints are conjugate along gamma. Using functional analytical techniques, we prove that if one fixes p and U in a differentiable manifold M, then the set of stationary Lorentzian metrics in M for which p and U are not light conjugate is generic in a strong sense. The result is obtained by reduction to a Finsler geodesic problem via a second order Fermat principle for light rays, and using a transversality argument in an infinite dimensional Banach manifold setup.

Genericity of Nondegenerate Critical Points and Morse Geodesic Functionals

We consider a family of variational problems on a Hilbert manifold parameterized by an open subset of a Banach manifold, and we discuss the genericity of the nondegeneracy condition for the critical points. Using classical techniques, we prove an abstract genericity result that employs the infinite dimensional Sard-Smale theorem, along the lines of an analogous result of B. White [29]. Applications are given by proving the genericity of metrics without degenerate geodesics between fixed endpoints in general (non compact) semi-Riemannian manifolds, in orthogonally split semi-Riemannian manifolds and in globally hyperbolic Lorentzian manifolds. We discuss the genericity property also in stationary Lorentzian manifolds.

Rigidity theorems for complete spacelike hypersurfaces with constant scalar curvature in De Sitter space

In this paper we give a partially affirmative answer to the following question posed by Haizhong Li: is a complete spacelike hypersurface in De Sitter space S(1)(n+1)(c), n >= 3, with constant normalized scalar curvature R satisfying n-2/nc <= R <= c totally umbilical? (C) 2008 Elsevier B.V. All rights reserved.

Some examples of nil Lie algebras

Generalizing Petrogradsky`s construction, we give examples of infinite-dimensional nil Lie algebras of finite Gelfand-Kirillov dimension over any field of positive characteristic.

A novel bio-kinematic encoder for human exercise representation and decomposition - Part 1 : Indexing and modelling

Current bio-kinematic encoders use velocity, acceleration and angular information to encode human exercises. However, in exercise physiology there is a need to distinguish between the shape of the trajectory and its execution dynamics. In this paper we propose such a two-component model and explore how best to compute these components of an action. In particular, we show how a new spatial indexing scheme, derived directly from the underlying differential geometry of curves, provides robust estimates of the shape and dynamics compared to standard temporal indexing schemes.

Reduced order functional observers with application to partial state estimation of linear systems with input delay

Reduced order multi-functional observer design for multi-input multi-utput (MIMO) linear time-invariant (LTI) systems with constant delayed inputs is studied. This research is useful in the input estimation of LTI systems with actuator delay, as well as system monitoring and fault detection of these systems. Two approaches for designing an asymptotically stable functional observer for the system are proposed: delay-dependent and delay-free. The delay-dependent observer is infinite-dimensional, while the delay-free structure is finite-dimensional. Moreover, since the delay-free observer does not require any information on the time delay, it is more practical in real applications. However, the delay-dependent observer contains less restrictive assumptions and covers more variety of systems. The proposed observer design schemes are novel, simple to implement, and have improved numerical features compared to some of the other available approaches to design (unknown-input) functional observers. In addition, the proposed observers usually possess lower order than ordinary Luenberger observers, and the design schemes do not need the observability or detectability requirements of the system. The necessary and sufficient conditions of the existence of an asymptoticobserver in each scenario are explored. The extensions of the proposed observers to systems with multiple delayed-inputs are also discussed. Several numerical examples and simulation results are employed to support our theories.

Non-emptiness of the alpha-core

We prove non-emptiness of the alpha-core for balanced games with non-ordered preferences, extending and generalizing in several aspects the results of Scarf (1971), Border (1984), Florenzano (1989), Yannelis (1991) and Kajii (1992). In particular we answer an open question in Kajii (1992) regarding the applicability of the non-emptiness results to models with infinite dimensional strategy spaces. We provide two models with Knightian and voting preferences for which the results of Scarf (1971) and Kajii (1992) cannot be applied while our non-emptiness result applies.

Spinning Hopf solitons on S-3 x R

We consider a field theory with target space being the two dimensional sphere S-2 and defined on the space-time S-3 x R. The Lagrangean is the square of the pull-back of the area form on S-2. It is invariant under the conformal group SO(4, 2) and the infinite dimensional group of area preserving diffeomorphisms of S-2. We construct an infinite number of exact soliton solutions with non-trivial Hopf topological charges. The solutions spin with a frequency which is bounded above by a quantity proportional to the inverse of the radius of S-3. The construction of the solutions is made possible by an ansatz which explores the conformal symmetry and a U(1) subgroup of the area preserving diffeomorphism group.

Theory of optical dispersive shock waves in photorefractive media

The theory of optical dispersive shocks generated in the propagation of light beams through photorefractive media is developed. A full one-dimensional analytical theory based on the Whitham modulation approach is given for the simplest case of a sharp steplike initial discontinuity in a beam with one-dimensional striplike geometry. This approach is confirmed by numerical simulations, which are extended also to beams with cylindrical symmetry. The theory explains recent experiments where such dispersive shock waves have been observed.