Search for exotic contributions to atmospheric neutrino oscillations

The energy spectrum of neutrino-induced upward-going muons in MACRO was analysed in terms of relativity principles violating effects, keeping standard mass-induced atmospheric neutrino oscillations as the dominant effect. The data disfavor these possibilities even at a sub-dominant level; stringent 90% C.L. limits are placed on the Lorentz invariance violation parameter $|\Delta v| < 6 \times 10^{-24}$ at $\sin 2{\theta}_v$ = 0 and $|\Delta v| < 2.5 \div 5 \times 10^{-26}$ at $\sin 2{\theta}_v$ = $\pm$1. The limits can be re-interpreted as bounds on the Equivalence Principle violation parameters.Comment: Presented at the 29th I.C.R.C., Pune, India (2005

Geodesics in the space of measure-preserving maps and plans

We study Brenier's variational models for incompressible Euler equations. These models give rise to a relaxation of the Arnold distance in the space of measure-preserving maps and, more generally, measure-preserving plans. We analyze the properties of the relaxed distance, we show a close link between the Lagrangian and the Eulerian model, and we derive necessary and sufficient optimality conditions for minimizers. These conditions take into account a modified Lagrangian induced by the pressure field. Moreover, adapting some ideas of Shnirelman, we show that, even for non-deterministic final conditions, generalized flows can be approximated in energy by flows associated to measure-preserving maps

On the dynamics of WKB wave functions whose phase are weak KAM solutions of H-J equation

In the framework of toroidal Pseudodifferential operators on the flat torus $\Bbb T^n := (\Bbb R / 2\pi \Bbb Z)^n$ we begin by proving the closure under composition for the class of Weyl operators $\mathrm{Op}^w_\hbar(b)$ with simbols $b \in S^m (\mathbb{T}^n \times \mathbb{R}^n)$. Subsequently, we consider $\mathrm{Op}^w_\hbar(H)$ when $H=\frac{1}{2} |\eta|^2 + V(x)$ where $V \in C^\infty (\Bbb T^n;\Bbb R)$ and we exhibit the toroidal version of the equation for the Wigner transform of the solution of the Schr\"odinger equation. Moreover, we prove the convergence (in a weak sense) of the Wigner transform of the solution of the Schr\"odinger equation to the solution of the Liouville equation on $\Bbb T^n \times \Bbb R^n$ written in the measure sense. These results are applied to the study of some WKB type wave functions in the Sobolev space $H^{1} (\mathbb{T}^n; \Bbb C)$ with phase functions in the class of Lipschitz continuous weak KAM solutions (of positive and negative type) of the Hamilton-Jacobi equation $\frac{1}{2} |P+ \nabla_x v_\pm (P,x)|^2 + V(x) = \bar{H}(P)$ for $P \in \ell \Bbb Z^n$ with $\ell >0$, and to the study of the backward and forward time propagation of the related Wigner measures supported on the graph of $P+ \nabla_x v_\pm$

Deterministic Monotone Algorithms for Scheduling on Related Machines

We consider the problem of designing monotone deterministic algorithms for scheduling tasks on related machines in order to minimize the makespan. Several recent papers showed that monotonicity is a fundamental property to design truthful mechanisms for this scheduling problem. We give both theoretical and experimental results. First of all we consider the case of two machines when speeds of the machines are restricted to be powers of a given constant c>0. We prove that algorithm Largest Processing Time (LPT) is monotone for any c≥2 while it is not monotone for c≤1.78; algorithm List Scheduling (LS), instead, is monotone only for c>2. In the case of m>2 machines we restrict our attention to the class of “greedy-like” monotone algorithms defined in [Vincenzo Auletta, Roberto De Prisco, Paolo Penna, Giuseppe Persiano, Deterministic truthful approximation mechanisms for scheduling related machines, in: Proceedings of 21st Annual Symposium on Theoretical Aspects of Computer Science. STACS ’04, in: Lecture Notes in Computer Science, vol. 2996, Springer, 2004, pp. 608–619]. It has been shown that greedy-like monotone algorithms can be used to design a family of 2+ε-approximate truthful mechanisms. In particular, in [Vincenzo Auletta, Roberto De Prisco, Paolo Penna, Giuseppe Persiano, Deterministic truthful approximation mechanisms for scheduling related machines, in: Proceedings of 21st Annual Symposium on Theoretical Aspects of Computer Science. STACS ’04, in: Lecture Notes in Computer Science, vol. 2996, Springer, 2004, pp. 608–619], the greedy-like algorithm Uniform is proposed and it is proved that it is monotone when machine speeds are powers of a given integer constant c>0. In this paper we propose a new algorithm, called Uniform_RR, that is still monotone when speeds are powers of a given integer constant c>0 and we prove that its approximation factor is not worse than that of Uniform. We also experimentally compare the performance of Uniform, Uniform_RR, LPT, and several other monotone and greedy-like heuristics

SBV Regularity for Genuinely Nonlinear, Strictly Hyperbolic Systems of Conservation Laws in one space dimension

We prove that if $t \mapsto u(t) \in \mathrm {BV}(\R)$ is the entropy solution to a $N \times N$ strictly hyperbolic system of conservation laws with genuinely nonlinear characteristic fields $$u_t + f(u)_x = 0,$$ then up to a countable set of times $\{t_n\}_{n \in \mathbb N}$ the function $u(t)$ is in $\mathrm {SBV}$, i.e. its distributional derivative $u_x$ is a measure with no Cantorian part. The proof is based on the decomposition of $u_x(t)$ into waves belonging to the characteristic families $$u(t) = \sum_{i=1}^N v_i(t) \tilde r_i(t), \quad v_i(t) \in \mathcal M(\R), \ \tilde r_i(t) \in \mathrm R^N,$$ and the balance of the continuous/jump part of the measures $v_i$ in regions bounded by characteristics. To this aim, a new interaction measure \mu_{i,\jump} is introduced, controlling the creation of atoms in the measure $v_i(t)$. The main argument of the proof is that for all $t$ where the Cantorian part of $v_i$ is not 0, either the Glimm functional has a downward jump, or there is a cancellation of waves or the measure $\mu_{i,\mathrm{jump}}$ is positive

Generalized Wasserstein distance and its application to transport equations with source

In this article, we generalize the Wasserstein distance to measures with different masses. We study the properties of such distance. In particular, we show that it metrizes weak convergence for tight sequences. We use this generalized Wasserstein distance to study a transport equation with source, in which both the vector field and the source depend on the measure itself. We prove existence and uniqueness of the solution to the Cauchy problem when the vector field and the source are Lipschitzian with respect to the generalized Wasserstein distance