The topological complexity TC(X) is a numerical homotopy invariant of a topological space X which is motivated by robotics and is similar in spirit to the classical Lusternik–Schnirelmann category of X. Given a mechanical system with configuration space X, the invariant TC(X) measures the complexity of all possible motion planning algorithms designed for the system. In this paper, we compute th...

Starting from the classical Newton inverse square law of gravitation we arrive at a modified Newtonian gravity in the spirit of the work of Milgrom-Bekenstein pioneering work. This is achieved by injecting the needed quantum mechanical dissection of special relativity into Newton’s law via the modified energy mass relationship which transforms Einstein’s famous formula 2 E mc = from a smooth fo...

We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an operational semantics in the spirit of logic programming. It is based on the mechanical verification of properties of transformations between deductions, which relies on type reconstruction and schema-checking. The latter is justi...

Let A and B be nonempty subsets of a finite group G in which the order of the smallest nonzero subgroup is not smaller than d = |A| + |B| − 1. Then at least d different elements of G has a representation in the form ab, where a ∈ A and b ∈ B. This extends a classical theorem of Cauchy and Davenport to noncommutative groups. We also generalize Vosper’s inverse theorem in the same spirit, giving ...

For an integer linear program, Gomory’s corner relaxation is obtained by ignoring the nonnegativity of the basic variables in a tableau formulation. In this paper, we do not relax these nonnegativity constraints. We generalize a classical result of Gomory and Johnson characterizing minimal cut-generating functions in terms of subadditivity, symmetry, and periodicity. Our result is based on a ne...

Abstract Breath and breathlessness are flashpoints in medieval literary texts. Medieval medical theories, rooted classical thought, emphasise the bodily spirits particular, ways that motions of ‘vital spirit’—closely connected with breath—cause powerful physical responses write emotions on body sighs, swoons, even death. Physiological theory was complemented by theological notions pneuma , Spir...

We prove a formula for the multidegrees of a rational map defined by generalized monomials on a projective variety, in terms of integrals over an associated Newton region. This formula leads to an expression of the multidegrees as volumes of related polytopes, in the spirit of the classical Bernstein-Kouchnirenko theorem, but extending the scope of these formulas to more general monomial maps. ...

We study the classical generalized gln Landau-Lifshitz (L-L) model with special boundary conditions that preserve integrability. We explicitly derive the first non-trivial local integral of motion, which corresponds to the boundary Hamiltonian for the sl2 L-L model. Novel expressions of the modified Lax pairs associated to the integrals of motion are also extracted. The relevant equations of mo...

Abstruct-We address the problem of formally analyzing the properties of real-time systems. We propose a method based on modeling the system as a timed Petri net and on specifying its properties in TRIO, an extension of temporal logic suitable for dealing explicitly with time and for measuring it. Timed Petri nets are axiomatized in terms of TRIO, so that their properties can be derived as theor...

This paper deals with the optimization of kurtosis for complex-valued signals in the independent component analysis (ICA) framework, where source signals are linearly and instantaneously mixed. Inspired by the recently proposed reference-based contrast schemes, a similar contrast function is put forward, based on which a new fast fixed-point (FastICA) algorithm is proposed. The new optimization...