NEXP-completeness and Universal Hardness Results for Justification Logic

We provide a lower complexity bound for the satisfiability problem of a multi-agent justification logic, establishing that the general NEXP upper bound from our previous work is tight. We then use a simple modification of the corresponding reduction to prove that satisfiability for all multi-agent justification logics from there is hard for the Sigma 2 p class of the second level of the polynomial hierarchy - given certain reasonable conditions. Our methods improve on these required conditions for the same lower bound for the single-agent justification logics, proven by Buss and Kuznets in 2009, thus answering one of their open questions.Comment: Shorter version has been accepted for publication by CSR 201

Wave propagation in a strongly disordered 1D phononic lattice supporting rotational waves

We investigate the dynamical properties of a strongly disordered micropolar lattice made up of cubic block units. This phononic lattice model supports both transverse and rotational degrees of freedom hence its disordered variant posses an interesting problem as it can be used to model physically important systems like beam-like microstructures. Different kinds of single site excitations (momentum or displacement) on the two degrees of freedom are found to lead to different energy transport both superdiffusive and subdiffusive. We show that the energy spreading is facilitated both by the low frequency extended waves and a set of high frequency modes located at the edge of the upper branch of the periodic case for any initial condition. However, the second moment of the energy distribution strongly depends on the initial condition and it is slower than the underlying one dimensional harmonic lattice (with one degree of freedom). Finally, a limiting case of the micropolar lattice is studied where Anderson localization is found to persist and no energy spreading takes place

Large-scale solar wind flow around Saturn's nonaxisymmetric magnetosphere

The interaction between the solar wind and a magnetosphere is fundamental to the dynamics of a planetary system. Here, we address fundamental questions on the large-scale magnetosheath flow around Saturn using a 3D magnetohydrodynamic (MHD) simulation. We find Saturn's polar-flattened magnetosphere to channel ~20% more flow over the poles than around the flanks at the terminator. Further, we decompose the MHD forces responsible for accelerating the magnetosheath plasma to find the plasma pressure gradient as the dominant driver. This is by virtue of a high-beta magnetosheath, and in turn, the high-MA bow shock. Together with long-term magnetosheath data by the Cassini spacecraft, we present evidence of how nonaxisymmetry substantially alters the conditions further downstream at the magnetopause, crucial for understanding solar wind-magnetosphere interactions such as reconnection and shear flow-driven instabilities. We anticipate our results to provide a more accurate insight into the global conditions upstream of Saturn and the outer planets.Comment: Accepted for publication in Journal of Geophysical Journal: Space Physic

The dynamical playground of a higher-order cubic Ginzburg-Landau equation: from orbital connections and limit cycles to invariant tori and the onset of chaos

The dynamical behavior of a higher-order cubic Ginzburg-Landau equation is found to include a wide range of scenarios due to the interplay of higher-order physically relevant terms. We find that the competition between the third-order dispersion and stimulated Raman scattering effects, gives rise to rich dynamics: this extends from Poincar\'{e}-Bendixson--type scenarios, in the sense that bounded solutions may converge either to distinct equilibria via orbital connections, or space-time periodic solutions, to the emergence of almost periodic and chaotic behavior. One of our main results is that the third-order dispersion has a dominant role in the development of such complex dynamics, since it can be chiefly responsible (i.e., even in the absence of the other higher-order effects) for the existence of the periodic, quasi-periodic and chaotic spatiotemporal structures. Suitable low-dimensional phase space diagnostics are devised and used to illustrate the different possibilities and identify their respective parametric intervals over multiple parameters of the model.Comment: 11 pages, 9 figures. To appear in Physical Review

Oscillons and oscillating kinks in the Abelian-Higgs model

We study the classical dynamics of the Abelian Higgs model employing an asymptotic multiscale expansion method, which uses the ratio of the Higgs to the gauge field amplitudes as a small parameter. We derive an effective nonlinear Schr\"{o}dinger equation for the gauge field, and a linear equation for the scalar field containing the gauge field as a nonlinear source. This equation is used to predict the existence of oscillons and oscillating kinks for certain regimes of the ratio of the Higgs to the gauge field masses. Results of numerical simulations are found to be in very good agreement with the analytical findings, and show that the oscillons are robust, while kinks are unstable. It is also demonstrated that oscillons emerge spontaneously as a result of the onset of the modulational instability of plane wave solutions of the model. Connections of the obtained solutions with the phenomenology of superconductors is discussed.Comment: arXiv admin note: substantial text overlap with arXiv:1306.386

Statics and dynamics of atomic dark-bright solitons in the presence of delta-like impurities

Adopting a mean-field description for a two-component atomic Bose-Einstein condensate, we study the stat- ics and dynamics of dark-bright solitons in the presence of localized impurities. We use adiabatic perturbation theory to derive an equation of motion for the dark-bright soliton center. We show that, counter-intuitively, an attractive (repulsive) delta-like impurity, acting solely on the bright soliton component, induces an effective localized barrier (well) in the effective potential felt by the soliton; this way, dark-bright solitons are reflected from (transmitted through) attractive (repulsive) impurities. Our analytical results for the small-amplitude oscil- lations of solitons are found to be in good agreement with results obtained via a Bogoliubov-de Gennes analysis and direct numerical simulations.Comment: 11 pages, 11 figures, to appear in Phys. Rev.

Internally driven large-scale changes in the size of Saturn's magnetosphere

Saturn’s magnetic field acts as an obstacle to solar wind flow, deflecting plasma around the planet and forming a cavity known as the magnetosphere. The magnetopause defines the boundary between the planetary and solar dominated regimes, and so is strongly influenced by the variable nature of pressure sources both outside and within. Following from Pilkington et al. (2014), crossings of the magnetopause are identified using 7 years of magnetic field and particle data from the Cassini spacecraft and providing unprecedented spatial coverage of the magnetopause boundary. These observations reveal a dynamical interaction where, in addition to the external influence of the solar wind dynamic pressure, internal drivers, and hot plasma dynamics in particular can take almost complete control of the system’s dayside shape and size, essentially defying the solar wind conditions. The magnetopause can move by up to 10–15 planetary radii at constant solar wind dynamic pressure, corresponding to relatively “plasma-loaded” or “plasma-depleted” states, defined in terms of the internal suprathermal plasma pressure