Large-Eddy Simulation closures of passive scalar turbulence: a systematic approach

The issue of the parameterization of small scale (``subgrid'') turbulence is addressed in the context of passive scalar transport. We focus on the Kraichnan advection model which lends itself to the analytical investigation of the closure problem. We derive systematically the dynamical equations which rule the evolution of the coarse-grained scalar field. At the lowest-order approximation in $l/r$, $l$ being the characteristic scale of the filter defining the coarse-grained scalar field and $r$ the inertial range separation, we recover the classical eddy-diffusivity parameterization of small scales. At the next-leading order a dynamical closure is obtained. The latter outperforms the classical model and is therefore a natural candidate for subgrid modelling of scalar transport in generic turbulent flows.Comment: 10 LaTex pages, 1 PS figure. Changes: comments added below previous (3.10); Previous (3.16) has been corrected; Minor changes in the conclusion

Extended quantum portrait of MGD black holes and information entropy

The extended minimal geometric deformation (EMGD) is employed on the fluid membrane paradigm, to describe compact stellar objects as Bose--Einstein condensates (BEC) consisting of gravitons. The black hole quantum portrait, besides deriving a preciser phenomenological bound for the fluid brane tension, is then scrutinized from the point of view of the configurational entropy. It yields a range for the critical density of the EMGD BEC, whose configurational entropy has global minima suggesting the configurational stability of the EMGD BEC.Comment: 9 pages, 7 figures, matches the published versio

Exploiting Resolution-based Representations for MaxSAT Solving

Most recent MaxSAT algorithms rely on a succession of calls to a SAT solver in order to find an optimal solution. In particular, several algorithms take advantage of the ability of SAT solvers to identify unsatisfiable subformulas. Usually, these MaxSAT algorithms perform better when small unsatisfiable subformulas are found early. However, this is not the case in many problem instances, since the whole formula is given to the SAT solver in each call. In this paper, we propose to partition the MaxSAT formula using a resolution-based graph representation. Partitions are then iteratively joined by using a proximity measure extracted from the graph representation of the formula. The algorithm ends when only one partition remains and the optimal solution is found. Experimental results show that this new approach further enhances a state of the art MaxSAT solver to optimally solve a larger set of industrial problem instances

Cosmic Strings in an Open Universe: Quantitative Evolution and Observational Consequences

The cosmic string scenario in an open universe is developed -- including the equations of motion, a model of network evolution, the large angular scale CMB temperature anisotropy, and the power spectrum of density fluctuations produced by cosmic strings with dark matter. First we derive the equations of motion for cosmic string in an open FRW space-time and construct a quantitative model of the evolution of the gross features of a cosmic string network. Second, we apply this model of network evolution to estimate the rms CMB temperature anisotropy induced by cosmic strings, obtaining the normalization for the mass per unit length $\mu$ as a function of $\Omega$. Third, we consider the effects of the network evolution and normalization in an open universe on the large scale structure formation scenarios with either cold or hot dark matter.Comment: 15 pages, Latex, 3 postscript figures, accepted for publication in Phys. Rev.

Finite temperature corrections and embedded strings in noncommutative geometry and the standard model with neutrino mixing

The recent extension of the standard model to include massive neutrinos in the framework of noncommutative geometry and the spectral action principle involves new scalar fields and their interactions with the usual complex scalar doublet. After ensuring that they bring no unphysical consequences, we address the question of how these fields affect the physics predicted in Weinberg-Salam theory, particularly in the context of the Electroweak phase transition. Applying the Dolan-Jackiw procedure, we calculate the finite temperature corrections, and find that the phase transition is first order. The new scalar interactions significantly improve the stability of the Electroweak Z string, through the ``bag'' phenomenon described by Watkins and Vachaspati. (Recently cosmic strings have climbed back into interest due to new evidence). Sourced by static embedded strings, an internal space analogy of Cartan's torsion is drawn, and a possible Higgs-force-like `gravitational' effect of this non-propagating torsion on the fermion masses is described. We also check that the field generating the Majorana mass for the $\nu_R$ is non-zero in the physical vacuum.Comment: 42 page

Vorton Formation

In this paper we present the first analytic model for vorton formation. We start by deriving the microscopic string equations of motion in Witten's superconducting model, and show that in the relevant chiral limit these coincide with the ones obtained from the supersonic elastic models of Carter and Peter. We then numerically study a number of solutions of these equations of motion and thereby suggest criteria for deciding whether a given superconducting loop configuration can form a vorton. Finally, using a recently developed model for the evolution of currents in superconducting strings we conjecture, by comparison with these criteria, that string networks formed at the GUT phase transition should produce no vortons. On the other hand, a network formed at the electroweak scale can produce vortons accounting for up to 6% of the critical density. Some consequences of our results are discussed.Comment: 41 pages; color figures 3-6 not included, but available from authors. To appear in Phys. Rev.