Geometric Poisson brackets on Grassmannians and conformal spheres

In this paper we relate the geometric Poisson brackets on the Grassmannian of 2-planes in R^4 and on the (2,2) Moebius sphere. We show that, when written in terms of local moving frames, the geometric Poisson bracket on the Moebius sphere does not restrict to the space of differential invariants of Schwarzian type. But when the concept of conformal natural frame is transported from the conformal sphere into the Grassmannian, and the Poisson bracket is written in terms of the Grassmannian natural frame, it restricts and results into either a decoupled system or a complexly coupled system of KdV equations, depending on the character of the invariants. We also show that the biHamiltonian Grassmannian geometric brackets are equivalent to the non-commutative KdV biHamiltonian structure. Both integrable systems and Hamiltonian structure can be brought back to the conformal sphere.Comment: 33 page

Keller--Osserman conditions for diffusion-type operators on Riemannian Manifolds

In this paper we obtain generalized Keller-Osserman conditions for wide classes of differential inequalities on weighted Riemannian manifolds of the form $L u\geq b(x) f(u) \ell(|\nabla u|)$ and $L u\geq b(x) f(u) \ell(|\nabla u|) - g(u) h(|\nabla u|)$, where $L$ is a non-linear diffusion-type operator. Prototypical examples of these operators are the $p$-Laplacian and the mean curvature operator. While we concentrate on non-existence results, in many instances the conditions we describe are in fact necessary for non-existence. The geometry of the underlying manifold does not affect the form of the Keller-Osserman conditions, but is reflected, via bounds for the modified Bakry-Emery Ricci curvature, by growth conditions for the functions $b$ and $\ell$. We also describe a weak maximum principle related to inequalities of the above form which extends and improves previous results valid for the \vp-Laplacian

Towards a wave theory of charged beam transport: A collection of thoughts

We formulate in a rigorous way a wave theory of charged beam linear transport. The Wigner distribution function is introduced and provides the link with classical mechanics. Finally, the von Neumann equation is shown to coincide with the Liouville equation for the nonlinear transport

A general theorem on the divergence of vortex beams

The propagation and divergence properties of beams carrying orbital angular momentum (OAM) play a crucial role in many applications. Here we present a general study on the divergence of optical beams with OAM. We show that the mean absolute value of the OAM imposes a lower bound on the value of the beam divergence. We discuss our results for two different definitions of the divergence, the so called rms or encircled-energy. The bound on the rms divergence can be expressed as a generalized uncertainty principle, with applications in long-range communication, microscopy and 2D quantum systems.Comment: RevTex, published versio

Aristotle and pedagogy

Aristotle’s metaphysics, ethics and psychology can help to interpret pedagogy from a “scientific” point of view. Naturally, it is not a question of considering the science of education as a natural science born during modernity; the main difference is that the object of pedagogy is actually a subject, i.e. the human being, notably the free human. That is why an ancient thinker like Aristotle can promote pedagogy through theoretical reflection. In fact Aristotle clearly indicates human goals which even nowadays can guide human education and action

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software

Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of control software. Available algorithms and tools (e.g., QKS) may require weeks or even months of computation to synthesize control software for large-size systems. This motivates search for parallel algorithms for control software synthesis. In this paper, we present a Map-Reduce style parallel algorithm for control software synthesis when the controlled system (plant) is modeled as discrete time linear hybrid system. Furthermore we present an MPI-based implementation PQKS of our algorithm. To the best of our knowledge, this is the first parallel approach for control software synthesis. We experimentally show effectiveness of PQKS on two classical control synthesis problems: the inverted pendulum and the multi-input buck DC/DC converter. Experiments show that PQKS efficiency is above 65%. As an example, PQKS requires about 16 hours to complete the synthesis of control software for the pendulum on a cluster with 60 processors, instead of the 25 days needed by the sequential algorithm in QKS.Comment: To be submitted to TACAS 2013. arXiv admin note: substantial text overlap with arXiv:1207.4474, arXiv:1207.409

Eigenvalue estimates for submanifolds of warped product spaces

We give lower bounds for the fundamental tone of open sets in minimal submanifolds immersed into warped product spaces of type $N^n \times_f Q^q$, where $f \in C^\infty(N)$. We also study the essential spectrum of these minimal submanifolds.Comment: 17 page