Space Efficiency of Propositional Knowledge Representation Formalisms

We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece of knowledge A, is the size of the shortest formula of F that represents A. In this paper we assume that knowledge is either a set of propositional interpretations (models) or a set of propositional formulae (theorems). We provide a formal way of talking about the relative ability of PKR formalisms to compactly represent a set of models or a set of theorems. We introduce two new compactness measures, the corresponding classes, and show that the relative space efficiency of a PKR formalism in representing models/theorems is directly related to such classes. In particular, we consider formalisms for nonmonotonic reasoning, such as circumscription and default logic, as well as belief revision operators and the stable model semantics for logic programs with negation. One interesting result is that formalisms with the same time complexity do not necessarily belong to the same space efficiency class

On Modal {\mu}-Calculus over Finite Graphs with Bounded Strongly Connected Components

For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2, but not to Comp(Sigma1,Pi1) (compositions of formulas of level Sigma1 and Pi1). This contrasts with the class of all graphs, where Delta2=Comp(Sigma1,Pi1)

Oscillation effects on supernova neutrino rates and spectra and detection of the shock breakout in a liquid Argon TPC

A liquid Argon TPC (ICARUS-like) has the ability to detect clean neutrino bursts from type-II supernova collapses. In this paper, we consider for the first time the four possible detectable channels, namely, the elastic scattering on electrons from all neutrino species, $\nu_e$ charged current absorption on $Ar$ with production of excited $K$, $\bar\nu_e$ charged current absorption on $Ar$ with production of excited $Cl$ and neutral current interactions on $Ar$ from all neutrino flavors. We compute the total rates and energy spectra of supernova neutrino events including the effects of the three--flavor neutrino oscillation with matter effects in the propagation in the supernova. Results show a dramatic dependence on the oscillation parameters and in the energy spectrum, especially for charged-current events. The shock breakout phase has also been investigated using recent simulations of the core collapse supernova. We stress the importance of the neutral current signal to decouple supernova from neutrino oscillation physics.Comment: 40 pages, 19 figures, version v2 accepted for publication in JCAP. accepted in JCA

Symmetries in Fluctuations Far from Equilibrium

Fluctuations arise universally in Nature as a reflection of the discrete microscopic world at the macroscopic level. Despite their apparent noisy origin, fluctuations encode fundamental aspects of the physics of the system at hand, crucial to understand irreversibility and nonequilibrium behavior. In order to sustain a given fluctuation, a system traverses a precise optimal path in phase space. Here we show that by demanding invariance of optimal paths under symmetry transformations, new and general fluctuation relations valid arbitrarily far from equilibrium are unveiled. This opens an unexplored route toward a deeper understanding of nonequilibrium physics by bringing symmetry principles to the realm of fluctuations. We illustrate this concept studying symmetries of the current distribution out of equilibrium. In particular we derive an isometric fluctuation relation which links in a strikingly simple manner the probabilities of any pair of isometric current fluctuations. This relation, which results from the time-reversibility of the dynamics, includes as a particular instance the Gallavotti-Cohen fluctuation theorem in this context but adds a completely new perspective on the high level of symmetry imposed by time-reversibility on the statistics of nonequilibrium fluctuations. The new symmetry implies remarkable hierarchies of equations for the current cumulants and the nonlinear response coefficients, going far beyond Onsager's reciprocity relations and Green-Kubo formulae. We confirm the validity of the new symmetry relation in extensive numerical simulations, and suggest that the idea of symmetry in fluctuations as invariance of optimal paths has far-reaching consequences in diverse fields.Comment: 8 pages, 4 figure