title: A Decidable Fragment of Strategy Logic

abstract: Strategy Logic (SL, for short) has been recently introduced by Mogavero, Murano, and Vardi as a useful formalism for reasoning explicitly about strategies, as first-order objects, in multi-agent concurrent games. This logic turns to be very powerful, subsuming all major previously studied modal logics for strategic reasoning, including ATL, ATL*, and the like. Unfortunately, due to its expressiveness, SL has a non-elementarily decidable model-checking problem and a highly undecidable satisfiability problem, specifically, $\Sigma_{1}^{1}$-Hard. In order to obtain a decidable sublogic, we introduce and study here One-Goal Strategy Logic (SL[1G], for short). This logic is a syntactic fragment of SL, strictly subsuming ATL*, which encompasses formulas in prenex normal form having a single temporal goal at a time, for every strategy quantification of agents. SL[1G] is known to have an elementarily decidable model-checking problem. Here we prove that, unlike SL, it has the bounded tree-model property and its satisfiability problem is decidable in 2ExpTime, thus not harder than the one for ATL*.


title: Dark solitons and vortices in PT-symmetric nonlinear media: from spontaneous symmetry breaking to nonlinear PT phase transitions

abstract: We consider nonlinear analogues of Parity-Time (PT) symmetric linear systems exhibiting defocusing nonlinearities. We study the ground state and excited states (dark solitons and vortices) of the system and report the following remarkable features. For relatively weak values of the parameter $\varepsilon$ controlling the strength of the PT-symmetric potential, excited states undergo (analytically tractable) spontaneous symmetry breaking; as $\varepsilon$ is further increased, the ground state and first excited state, as well as branches of higher multi-soliton (multi-vortex) states, collide in pairs and disappear in blue-sky bifurcations, in a way which is strongly reminiscent of the linear PT-phase transition ---thus termed the nonlinear PT-phase transition. Past this critical point, initialization of, e.g., the former ground state leads to spontaneously emerging solitons and vortices.


title: How to compute the Frobenius-Schur indicator of a unipotent character of a finite Coxeter system

abstract: For each finite, irreducible Coxeter system $(W,S)$, Lusztig has associated a set of "unipotent characters" $\Uch(W)$. There is also a notion of a "Fourier transform" on the space of functions $\Uch(W) \to \RR$, due to Lusztig for Weyl groups and to Brou\'e, Lusztig, and Malle in the remaining cases. This paper concerns a certain $W$-representation $\varrho_{W}$ in the vector space generated by the involutions of $W$. Our main result is to show that the irreducible multiplicities of $\varrho_W$ are given by the Fourier transform of a unique function $\epsilon : \Uch(W) \to \{-1,0,1\}$, which for various reasons serves naturally as a heuristic definition of the Frobenius-Schur indicator on $\Uch(W)$. The formula we obtain for $\epsilon$ extends prior work of Casselman, Kottwitz, Lusztig, and Vogan addressing the case in which $W$ is a Weyl group. We include in addition a succinct description of the irreducible decomposition of $\varrho_W$ derived by Kottwitz when $(W,S)$ is classical, and prove that $\varrho_{W}$ defines a Gelfand model if and only if $(W,S)$ has type $A_n$, $H_3$, or $I_2(m)$ with $m$ odd. We show finally that a conjecture of Kottwitz connecting the decomposition of $\varrho_W$ to the left cells of $W$ holds in all non-crystallographic types, and observe that a weaker form of Kottwitz's conjecture holds in general. In giving these results, we carefully survey the construction and notable properties of the set $\Uch(W)$ and its attached Fourier transform.


title: Excited-state spectroscopy of triply-bottom baryons from lattice QCD

abstract: The spectrum of baryons containing three b quarks is calculated in nonperturbative QCD, using the lattice regularization. The energies of ten excited bbb states with J^P = 1/2^+, 3/2^+, 5/2^+, 7/2^+, 1/2^-, and 3/2^- are determined with high precision. A domain-wall action is used for the up-, down- and strange quarks, and the bottom quarks are implemented with NRQCD. The computations are done at lattice spacings of a \approx 0.11 fm and a \approx 0.08 fm, and the results demonstrate the improvement of rotational symmetry as a is reduced. A large lattice volume of (2.7 fm)^3 is used, and extrapolations of the bbb spectrum to realistic values of the light sea-quark masses are performed. All spin-dependent energy splittings are resolved with total uncertainties of order 1 MeV, and the dependence of these splittings on the couplings in the NRQCD action is analyzed.


title: A Search for Dark Higgs Bosons

abstract: Recent astrophysical and terrestrial experiments have motivated the proposal of a dark sector with GeV-scale gauge boson force carriers and new Higgs bosons. We present a search for a dark Higgs boson using 516 fb-1 of data collected with the BABAR detector. We do not observe a significant signal and we set 90% confidence level upper limits on the product of the Standard Model-dark sector mixing angle and the dark sector coupling constant.


title: Quantifying Jupiter's influence on the Earth's impact flux: Implications for planetary habitability

abstract: It has long been thought that the presence of a giant planet is a pre-requisite for the development of life on potentially habitable planets. Without Jupiter, it was argued, the Earth would have been subject to a punishing impact regime, which would have significantly retarded or outright prevented the development of life on our planet. Although this idea is widely embraced, little research has previously been carried out to support it. Here, we present the results of several suites of dynamical integrations used to model the influence of Jupiter's mass and orbit on the impact rate that would be experienced by the Earth. We find that, far from being a simple shield, Jupiter's role in determining the terrestrial impact flux is significantly more complicated than previously thought. Far from being a simple friend, such giant planets are perhaps more likely to imperil the development of life on otherwise habitable planets.


title: Widely tunable, non-degenerate three-wave mixing microwave device operating near the quantum limit

abstract: We present the first experimental realization of a widely frequency tunable, non-degenerate three-wave mixing device for quantum signals at GHz frequency. It is based on a new superconducting building-block consisting of a ring of four Josephson junctions shunted by a cross of four linear inductances. The phase configuration of the ring remains unique over a wide range of magnetic fluxes threading the loop. It is thus possible to vary the inductance of the ring with flux while retaining a strong, dissipation-free, and noiseless non-linearity. The device has been operated in amplifier mode and its noise performance has been evaluated by using the noise spectrum emitted by a voltage biased tunnel junction at finite frequency as a test signal. The unprecedented accuracy with which the crossover between zero-point-fluctuations and shot noise has been measured provides an upper-bound for the noise and dissipation intrinsic to the device.


title: Complex Scalar Singlet Dark Matter: Vacuum Stability and Phenomenology

abstract: We analyze one-loop vacuum stability, perturbativity, and phenomenological constraints on a complex singlet extension of the Standard Model (SM) scalar sector containing a scalar dark matter candidate. We study vacuum stability considerations using a gauge-invariant approach and compare with the conventional gauge-dependent procedure. We show that, if new physics exists at the TeV scale, the vacuum stability analysis and experimental constraints from the dark matter sector, electroweak precision data, and LEP allow both a Higgs-like scalar in the mass range allowed by the latest results from CMS and ATLAS and a lighter singlet-like scalar with weak couplings to SM particles. If instead no new physics appears until higher energy scales, there may be significant tension between the vacuum stability analysis and phenomenological constraints (in particular electroweak precision data) to the extent that the complex singlet extension with light Higgs and singlet masses would be ruled out. We comment on the possible implications of a scalar with ~125 GeV mass and future ATLAS invisible decay searches.


title: The Limiting Polytope of the Generic Initial System of a Complete Intersection

abstract: Consider a complete intersection I of type (d_1,..., d_r) in a polynomial ring over a field of characteristic 0. We study the graded system of ideals {gin(I^n)}_n obtained by taking the reverse lexicographic generic initial ideals of the powers of I and describe its asymptotic behavior. This behavior is nicely captured by the limiting polytope which is shown to depend only on the type of the complete intersection.


title: Frequency comb from a microresonator with engineered spectrum

abstract: We demonstrate that by varying the ratio between the linewidth and dispersion of a whispering gallery mode resonator we are able to control the number N of free spectral ranges separating the first generated comb sidebands from the pump. We observed combs with N=19 and N=1. For the comb with N=1 we have achieved a span of over 200 nm using a 0.4 mm MgF2 resonator with a pump of 50 mW, which is a factor of 10 lower than previously reported.


title: Infinite cycles in the random stirring model on trees

abstract: We prove that, in the random stirring model of parameter T on an infinite rooted tree each of whose vertices has at least two offspring, infinite cycles exist almost surely, provided that T is sufficiently high. In the appendices, the bound on degree above which the result holds is improved slightly.


title: Probing TeV scale physics via ultra cold neutron decays and calculating non-standard baryon matrix elements

abstract: We motivate undertaking precision analyses of neutron decays to look for signatures of new scalar and tensor interactions that can arise in extensions of the Standard Model at the TeV scale. The key ingrediant needed to connect experimental data with theoretical analysis are high-precision calculations of matrix elements of isovector bilinear operators between the decaying neutron and final state proton. We describe the status of our Lattice QCD program of using valence clover fermions on dynamical N_f=2+1+1 HISQ configurations generated by the MILC Collaboration. On the theoretical side we use the effective field theory method and provide both model independent and dependent analyses to obtain bounds on possible scalar and tensor interactions, both from low energy experiments and LHC data.


title: Modified Schr\"odinger equation, its analysis and experimental verification

abstract: According to classical non-relativistic Schr\"odinger equation, any local perturbation of wave function instantaneously affects all infinite region, because this equation is of parabolic type, and its solutions demonstrate infinite speed of perturbations propagation. From physical point of view, this feature of Schr\"odinger equation solutions is questionable. According to relativistic quantum mechanics, the perturbations propagate with speed of light. However when appropriate mathematical procedures are applied to Dirac relativistic quantum equation with finite speed of the wave function perturbations propagation, only classical Schr\"odinger equation predicting infinite speed of the wave function perturbations propagation is obtained. Thus, in non-relativistic quantum mechanics the problem persists. In my work modified non-relativistic Schr\"odinger equation is formulated. It is also of parabolic type, but its solutions predict finite speed of the wave function perturbations propagation. Properties of modified Schr\"odinger equation solutions are studied. I show that results of classical Davisson-Germer experiments with electron waves diffraction support developed theoretical concept of modified Schr\"odinger equation, and predict that speed of the wave function perturbations propagation has order of magnitude of speed of light.


title: Sharp phase transition in the random stirring model on trees

abstract: We establish that the phase transition for infinite cycles in the random stirring model on an infinite regular tree of high degree is sharp. That is, we prove that there exists d_0 such that, for any d \geq d_0, the set of parameter values at which the random stirring model on the rooted regular tree with offspring degree d almost surely contains an infinite cycle consists of a semi-infinite interval. The critical point at the left-hand end of this interval is at least 1/d + 1/(2d^2) and at most 1/d + 2/(d^2). This version is a major revision, with a much shorter proof. Principal among the changes are a reworking of the argument in Section 4 of the old version, which was proposed by a referee, and the use of a simpler means of handling a boundary case, which eliminates the previous Section 6.


title: The Debris Disk Candidates: Eleven 24$\mu$m excess stars in Spitzer SWIRE Fields

abstract: We present the optical to mid-infrared SEDs of 11 debris disk candidates from $Spitzer$ SWIRE fields. All these candidates are selected from SWIRE 24$\mu$m sources matched with both the SDSS star catalog and the 2MASS point source catalog. They show an excess in the mid-infrared at 24$\mu$m ($K_S$-[24]$_{Vega}$ $\ge$ 0.44) indicating the presence of a circumstellar dust disk. The observed optical spectra show that they are all late type main-sequence stars covering the spectral types of FGKM. Their fractional luminosities are well above 5$\times10^{-5}$, even up to the high fractional luminosity of 1$\times10^{-3}$. The high galactic latitudes of SWIRE fields indicate that most of these candidates could belong to the oldest stars in the thick disk. Our results indicate that the high fractional luminosity debris disks could exist in the old solar-like star systems, though they are now still quite rare. Their discoveries at high-galactic latitudes will also provide us an excellent opportunity to the further studies of properties and evolution of the debris disk in the ISM poor environments.


title: Generalized Widder Theorem via fractional moments

abstract: We provide a necessary and sufficient condition for the representability of a function as the classical multidimensional Laplace transform, when the support of the representing measure is contained in some generalized semi-algebraic set. This is done by employing a method of Putinar and Vasilescu [Putinar, M. and Vasilescu, F.-H., Solving moment problems by dimensional extension, Ann. of Math. (2) 149 (1999), no. 3, 1087-1107] for the corresponding multidimensional moment problem.


title: Mutual-Information Optimized Quantization for LDPC Decoding of Accurately Modeled Flash Data

abstract: High-capacity NAND flash memories use multi-level cells (MLCs) to store multiple bits per cell and achieve high storage densities. Higher densities cause increased raw bit error rates (BERs), which demand powerful error correcting codes. Low-density parity-check (LDPC) codes are a well-known class of capacity-approaching codes in AWGN channels. However, LDPC codes traditionally use soft information while the flash read channel provides only hard information. Low resolution soft information may be obtained by performing multiple reads per cell with distinct word-line voltages. We select the values of these word-line voltages to maximize the mutual information between the input and output of the equivalent multiple-read channel under any specified noise model. Our results show that maximum mutual-information (MMI) quantization provides better soft information for LDPC decoding given the quantization level than the constant-pdf-ratio quantization approach. We also show that adjusting the LDPC code degree distribution for the quantized setting provides a significant performance improvement.


title: A New Model of Chemical Bonding in Ionic Melts

abstract: We developed a new physical model to predict macroscopic properties of inorganic molten systems using a realistic description of inter-atomic interactions. Unlike the conventional approach, which tends to overestimate viscosity by several times, our systems consist of a set of ions with an admixture of neutral atoms. The neutral atom subsystem is a consequence of the covalent/ionic state reduction, occurring in the liquid phase. Comparison of the calculated macroscopic properties (shear viscosity and self-diffusion constants) with the experiment demonstrates good performance of our model. The presented approach is inspired by a significant degree of covalent interaction between the alkali and chlorine atoms, predicted by the coupled cluster theory.


title: Asymptotically Optimal Algorithms for Pickup and Delivery Problems with Application to Large-Scale Transportation Systems

abstract: The Stacker Crane Problem is NP-Hard and the best known approximation algorithm only provides a 9/5 approximation ratio. The objective of this paper is threefold. First, by embedding the problem within a stochastic framework, we present a novel algorithm for the SCP that: (i) is asymptotically optimal, i.e., it produces, almost surely, a solution approaching the optimal one as the number of pickups/deliveries goes to infinity; and (ii) has computational complexity $O(n^{2+\eps})$, where $n$ is the number of pickup/delivery pairs and $\eps$ is an arbitrarily small positive constant. Second, we asymptotically characterize the length of the optimal SCP tour. Finally, we study a dynamic version of the SCP, whereby pickup and delivery requests arrive according to a Poisson process, and which serves as a model for large-scale demand-responsive transport (DRT) systems. For such a dynamic counterpart of the SCP, we derive a necessary and sufficient condition for the existence of stable vehicle routing policies, which depends only on the workspace geometry, the stochastic distributions of pickup and delivery points, the arrival rate of requests, and the number of vehicles. Our results leverage a novel connection between the Euclidean Bipartite Matching Problem and the theory of random permutations, and, for the dynamic setting, exhibit novel features that are absent in traditional spatially-distributed queueing systems.


title: Water Boiling inside Carbon Nanotubes: Towards Efficient Drug Release

abstract: We show using molecular dynamics simulation that spatial confinement of water inside carbon nanotubes (CNT) substantially increases its boiling temperature and that a small temperature growth above the boiling point dramatically raises the inside pressure. Capillary theory successfully predicts the boiling point elevation down to 2 nm, below which large deviations between the theory and atomistic simulation take place. Water behaves qualitatively different inside narrow CNTs, exhibiting transition into an unusual phase, where pressure is gas-like and grows linearly with temperature, while the diffusion constant is temperature-independent. Precise control over boiling by CNT diameter, together with the rapid growth of inside pressure above the boiling point, suggests a novel drug delivery protocol. Polar drug molecules are packaged inside CNTs; the latter are delivered into living tissues and heated by laser. Solvent boiling destroys CNT capping agents and releases the drug.


title: Universal conductance fluctuations in indium tin oxide nanowires

abstract: Magnetic field dependent universal conductance fluctuations (UCF's) are observed in weakly disordered indium tin oxide nanowires from 0.26 K up to $\sim 25$ K. The fluctuation magnitudes increase with decreasing temperature, reaching a fraction of $e^2/h$ at $T \lesssim 1$ K. The shape of the UCF patterns is found to be very sensitive to thermal cycling of the sample to room temperatures, which induces irreversible impurity reconfigurations. On the other hand, the UCF magnitudes are insensitive to thermal cycling. Our measured temperature dependence of the root-mean-square UCF magnitudes are compared with the existing theory [C. W. J. Beenakker and H. van Houten, Phys. Rev. B \textbf{37}, 6544 (1988)]. A notable discrepancy is found, which seems to imply that the experimental UCF's are not cut off by the thermal diffusion length $L_T$, as would be expected by the theoretical prediction when $L_T < L_\varphi$, where $L_\varphi$ is the electron dephasing length. The approximate electron dephasing length is inferred from the UCF magnitudes and compared with that extracted from the weak-localization magnetoresistance studies. A reasonable semiquantitative agreement is observed.


title: A dual modelling of evolving political opinion networks

abstract: We present the result of a dual modeling of opinion network. The model complements the agent-based opinion models by attaching to the social agent (voters) network a political opinion (party) network having its own intrinsic mechanisms of evolution. These two sub-networks form a global network which can be either isolated from or dependent on the external influence. Basically, the evolution of the agent network includes link adding and deleting, the opinion changes influenced by social validation, the political climate, the attractivity of the parties and the interaction between them. The opinion network is initially composed of numerous nodes representing opinions or parties which are located on a one dimensional axis according to their political positions. The mechanism of evolution includes union, splitting, change of position and of attractivity, taken into account the pairwise node interaction decaying with node distance in power law. The global evolution ends in a stable distribution of the social agents over a quasi-stable and fluctuating stationary number of remaining parties. Empirical study on the lifetime distribution of numerous parties and vote results is carried out to verify numerical results.


title: Integer Subsets with High Volume and Low Perimeter

abstract: We consider a certain variation of the 'isoperimetric problem' adopted for subsets of nonnegative integers. More specifically, we explore the sequence P(n) as described in OEIS A186053. We provide the first exact formulas for P(n) including multiple recursive relations involving auxiliary functions as well as concise and satisfying representations and even quasi-explicit formulas. We also discuss some of the intricate fractal-like symmetry of the sequence as well as the development of algorithms for computing P(n). We conclude with open questions for further research. Note this is a more developed, but more concise version of a previous arXiv paper arXiv:1107.2954 by the name "Sets with High Volume and Low Perimeter".


title: Secure Multiplex Coding with Dependent and Non-Uniform Multiple Messages

abstract: The secure multiplex coding (SMC) is a technique to remove rate loss in the coding for wire-tap channels and broadcast channels with confidential messages caused by the inclusion of random bits into transmitted signals. SMC replaces the random bits by other meaningful secret messages, and a collection of secret messages serves as the random bits to hide the rest of messages. In the previous researches, multiple secret messages were assumed to have independent and uniform distributions, which is difficult to be ensured in practice. We remove this restrictive assumption by a generalization of the channel resolvability technique. We also give practical construction techniques for SMC by using an arbitrary given error-correcting code as an ingredient, and channel-universal coding of SMC. By using the same principle as the channel-universal SMC, we give coding for the broadcast channel with confidential messages universal to both channel and source distributions.


title: Continuous homotopy invariance of bivariant local cyclic homology for \sigma-C^*-algebras

abstract: We establish the continuous homotopy invariance of bivariant local cyclic homology on the category of all \sigma-C^*-algebras. The argument relies vitally on an isomorphism between the smooth and continuous cylinder constructions using a technical criterion due to Meyer. As a consequence we compute the local cyclic homology of the infinite sphere.


title: Contextual Bandit Learning with Predictable Rewards

abstract: Contextual bandit learning is a reinforcement learning problem where the learner repeatedly receives a set of features (context), takes an action and receives a reward based on the action and context. We consider this problem under a realizability assumption: there exists a function in a (known) function class, always capable of predicting the expected reward, given the action and context. Under this assumption, we show three things. We present a new algorithm---Regressor Elimination--- with a regret similar to the agnostic setting (i.e. in the absence of realizability assumption). We prove a new lower bound showing no algorithm can achieve superior performance in the worst case even with the realizability assumption. However, we do show that for any set of policies (mapping contexts to actions), there is a distribution over rewards (given context) such that our new algorithm has constant regret unlike the previous approaches.


title: Representations of analytic functions as infinite products and their application to numerical computations

abstract: Let $D$ be an open disk of radius $\le 1$ in $\mathbb C$, and let $(\epsilon_n)$ be a sequence of $\pm 1$. We prove that for every analytic function $f: D \to \mathbb C$ without zeros in $D$, there exists a unique sequence $(\alpha_n)$ of complex numbers such that $f(z) = f(0)\prod_{n=1}^{\infty} (1+\epsilon_nz^n)^{\alpha_n}$ for every $z \in D$. From this representation we obtain a numerical method for calculating products of the form $\prod_{p \text{prime}} f(1/p)$ provided $f(0)=1$ and $f'(0) = 0$; our method generalizes a well known method of Pieter Moree. We illustrate this method on a constant of Ramanujan $\pi^{-1/2}\prod_{p \text{prime}} \sqrt{p^2-p}\ln(p/(p-1))$. From the properties of the exponents $\alpha_n$, we obtain a proof of the following congruences, which have been the subject of several recent publications motivated by some questions of Arnold: for every $n \times n$ integral matrix $A$, every prime number $p$, and every positive integer $k$ we have $\text{tr} A^{p^k} \equiv \text{tr} A^{p^{k-1}} (\text{mod}\,{p^k})$.


title: Reducing complexity of tail-biting trellises

abstract: It is shown that a trellis realization can be locally reduced if it is not state-trim, branch-trim, proper, observable, and controllable. These conditions are not sufficient for local irreducibility. Making use of notions that amount to "almost unobservability/uncontrollability", a necessary and sufficient criterion of local irreducibility for tail-biting trellises is presented.


title: Enhancing the Error Correction of Finite Alphabet Iterative Decoders via Adaptive Decimation

abstract: Finite alphabet iterative decoders (FAIDs) for LDPC codes were recently shown to be capable of surpassing the Belief Propagation (BP) decoder in the error floor region on the Binary Symmetric channel (BSC). More recently, the technique of decimation which involves fixing the values of certain bits during decoding, was proposed for FAIDs in order to make them more amenable to analysis while maintaining their good performance. In this paper, we show how decimation can be used adaptively to further enhance the guaranteed error correction capability of FAIDs that are already good on a given code. The new adaptive decimation scheme proposed has marginally added complexity but can significantly improve the slope of the error floor performance of a particular FAID. We describe the adaptive decimation scheme particularly for 7-level FAIDs which propagate only 3-bit messages and provide numerical results for column-weight three codes. Analysis suggests that the failures of the new decoders are linked to stopping sets of the code.


title: Nonequilibrium critical dynamics with domain wall and surface

abstract: With Monte Carlo simulations, we investigate the relaxation dynamics with a domain wall for magnetic systems at the critical temperature. The dynamic scaling behavior is carefully analyzed, and a dynamic roughening process is observed. For comparison, similar analysis is applied to the relaxation dynamics with a free or disordered surface.


title: One Thousand and One Clusters: Measuring the Bulk Flow with the Planck ESZ and X-Ray Selected Galaxy Cluster Catalogs

abstract: We present our measurement of the "bulk flow" using the kinetic Sunyaev-Zel'dovich (kSZ) effect in the WMAP 7-year data. As the tracer of peculiar velocities, we use Planck Early Sunyaev-Zel'dovich Detected Cluster Catalog and a compilation of X-ray detected galaxy cluster catalogs based on ROSAT All-Sky Survey. We build a full-sky kSZ template and fit it to the WMAP data in W-band. Using a Wiener filter we maximize the signal to noise ratio of the kSZ cluster signal in the data. We find no significant detection of the bulk flow, and our results are consistent with the LCDM prediction.


title: An Energy Efficient Semi-static Power Control and Link Adaptation Scheme in UMTS HSDPA

abstract: High speed downlink packet access (HSDPA) has been successfully applied in commercial systems and improves user experience significantly. However, it incurs substantial energy consumption. In this paper, we address this issue by proposing a novel energy efficient semi-static power control and link adaptation scheme in HSDPA. Through estimating the EE under different modulation and coding schemes (MCSs) and corresponding transmit power, the proposed scheme can determine the most energy efficient MCS level and transmit power at the Node B. And then the Node B configure the optimal MCS level and transmit power. In order to decrease the signaling overhead caused by the configuration, a dual trigger mechanism is employed. After that, we extend the proposed scheme to the multiple input multiple output (MIMO) scenarios. Simulation results confirm the significant EE improvement of our proposed scheme. Finally, we give a discussion on the potential EE gain and challenge of the energy efficient mode switching between single input multiple output (SIMO) and MIMO configuration in HSDPA.


title: Quantum catastrophes and ergodicity in the dynamics of bosonic Josephson junctions

abstract: We study rainbow (fold) and cusp catastrophes that form in Fock space following a quench in a Bose Josephson junction. In the Gross-Pitaevskii mean-field theory the rainbows are singular caustics, but in the second-quantized theory a Poisson resummation of the wave function shows that they are described by well behaved Airy functions. The structural stability of these Fock space caustics against variations in the initial conditions and Hamiltonian evolution is guaranteed by catastrophe theory. We also show that the long-time dynamics are ergodic. Our results are relevant to the question posed by Berry [M.V. Berry, Nonlinearity 21, T19 (2008)]: are there circumstances when it is necessary to second-quantize wave theory in order to avoid singularities?


title: A limit process for partial match queries in random quadtrees and $2$-d trees

abstract: We consider the problem of recovering items matching a partially specified pattern in multidimensional trees (quadtrees and $k$-d trees). We assume the traditional model where the data consist of independent and uniform points in the unit square. For this model, in a structure on $n$ points, it is known that the number of nodes $C_n(\xi )$ to visit in order to report the items matching a random query $\xi$, independent and uniformly distributed on $[0,1]$, satisfies $\mathbf {E}[{C_n(\xi )}]\sim\kappa n^{\beta}$, where $\kappa$ and $\beta$ are explicit constants. We develop an approach based on the analysis of the cost $C_n(s)$ of any fixed query $s\in[0,1]$, and give precise estimates for the variance and limit distribution of the cost $C_n(x)$. Our results permit us to describe a limit process for the costs $C_n(x)$ as $x$ varies in $[0,1]$; one of the consequences is that $\mathbf {E}[{\max_{x\in[0,1]}C_n(x)}]\sim \gamma n^{\beta}$; this settles a question of Devroye [Pers. Comm., 2000].


title: Relaxation-to-creep transition of domain-wall motion in two- dimensional random-field Ising model with ac driving field

abstract: With Monte Carlo simulations, we investigate the relaxation dynamics with a domain wall for magnetic systems at the critical temperature. The dynamic scaling behavior is carefully analyzed, and a dynamic roughening process is observed. For comparison, similar analysis is applied to the relaxation dynamics with a free or disordered surface


title: Moir\'e patterns on STM images of graphite from surface and subsurface rotated layer

abstract: We have observed with STM moir\'e patterns corresponding to the rotation of one graphene layer on HOPG surface. The moir\'e patterns were characterized by rotation angle and extension in the plane. Additionally, by identifying border domains and defects we can discriminate between moir\'e patterns due to rotation on the surface or subsurface layer. For a better understanding of moir\'e patterns formation we have studied by first principles an array of three graphene layers where the top or the middle layer appears rotated around the stacking axis. We compare the experimental and theoretical results and we show the strong influence of rotations both in surface and subsurface layers for moir\'e patterns formation in corresponding STM images.


title: Dust growth in the interstellar medium: How do accretion and coagulation interplay?

abstract: Dust grains grow in interstellar clouds by accretion and coagulation. In this paper, we focus on these two grain growth processes and numerically investigate how they interplay to increase the grain radii. We show that accretion efficiently depletes grains with radii $a\la 0.001 \micron$ on a time-scale of $\la 10$ Myr in solar-metallicity molecular clouds. Coagulation also occurs on a similar time-scale, but accretion is more efficient in producing a large bump in the grain size distribution. Coagulation further pushes the grains to larger sizes after a major part of the gas phase metals are used up. Similar grain sizes are achieved by coagulation regardless of whether accretion takes place or not; in this sense, accretion and coagulation modify the grain size distribution independently. The increase of the total dust mass in a cloud is also investigated. We show that coagulation slightly 'suppresses' dust mass growth by accretion but that this effect is slight enough to be neglected in considering the grain mass budget in galaxies. Finally we examine how accretion and coagulation affect the extinction curve: The ultraviolet slope and the carbon bump are \textit{enhanced} by accretion, while they are flattened by coagulation.


title: Early structure formation from cosmic string loops

abstract: We examine the effects of cosmic strings on structure formation and on the ionization history of the universe. While Gaussian perturbations from inflation are known to provide the dominant contribution to the large scale structure of the universe, density perturbations due to strings are highly non-Gaussian and can produce nonlinear structures at very early times. This could lead to early star formation and reionization of the universe. We improve on earlier studies of these effects by accounting for high loop velocities and for the filamentary shape of the resulting halos. We find that for string energy scales G\mu > 10^{-7} the effect of strings on the CMB temperature and polarization power spectra can be significant and is likely to be detectable by the Planck satellite. We mention shortcomings of the standard cosmological model of galaxy formation which may be remedied with the addition of cosmic strings, and comment on other possible observational implications of early structure formation by strings.


title: A fast and well-conditioned spectral method

abstract: A spectral method is developed for the direct solution of linear ordinary differential equations with variable coefficients. The method leads to matrices which are almost banded, and a numerical solver is presented that takes O(m^2n) operations, where m is the number of Chebyshev points needed to resolve the coefficients of the differential operator and n is the number of Chebyshev coefficients needed to resolve the solution to the differential equation. We prove stability of the method by relating it to a diagonally preconditioned system which has a bounded condition number, in a suitable norm. For Dirichlet boundary conditions, this implies stability in the standard 2-norm. An adaptive QR factorization is developed to efficiently solve the resulting linear system and automatically choose the optimal number of Chebyshev coefficients needed to represent the solution. The resulting algorithm can efficiently and reliably solve for solutions that require as many as a million unknowns.


title: Selecting Two-Bit Bit Flipping Algorithms for Collective Error Correction

abstract: A class of two-bit bit flipping algorithms for decoding low-density parity-check codes over the binary symmetric channel was proposed in [1]. Initial results showed that decoders which employ a group of these algorithms operating in parallel can offer low error floor decoding for high-speed applications. As the number of two-bit bit flipping algorithms is large, designing such a decoder is not a trivial task. In this paper, we describe a procedure to select collections of algorithms that work well together. This procedure relies on a recursive process which enumerates error configurations that are uncorrectable by a given algorithm. The error configurations uncorrectable by a given algorithm form its trapping set profile. Based on their trapping set profiles, algorithms are selected so that in parallel, they can correct a fixed number of errors with high probability.


title: Dynamic effect of overhangs and islands at the depinning transition in two-dimensional magnets

abstract: With the Monte Carlo methods, we systematically investigate the short-time dynamics of domain-wall motion in the two-dimensional random-field Ising model with a driving field ?DRFIM?. We accurately determine the depinning transition field and critical exponents. Through two different definitions of the domain interface, we examine the dynamics of overhangs and islands. At the depinning transition, the dynamic effect of overhangs and islands reaches maximum. We argue that this should be an important mechanism leading the DRFIM model to a different universality class from the Edwards-Wilkinson equation with quenched disorder


title: Verifiable Computation with Massively Parallel Interactive Proofs

abstract: As the cloud computing paradigm has gained prominence, the need for verifiable computation has grown increasingly urgent. The concept of verifiable computation enables a weak client to outsource difficult computations to a powerful, but untrusted, server. Protocols for verifiable computation aim to provide the client with a guarantee that the server performed the requested computations correctly, without requiring the client to perform the computations herself. By design, these protocols impose a minimal computational burden on the client. However, existing protocols require the server to perform a large amount of extra bookkeeping in order to enable a client to easily verify the results. Verifiable computation has thus remained a theoretical curiosity, and protocols for it have not been implemented in real cloud computing systems. Our goal is to leverage GPUs to reduce the server-side slowdown for verifiable computation. To this end, we identify abundant data parallelism in a state-of-the-art general-purpose protocol for verifiable computation, originally due to Goldwasser, Kalai, and Rothblum, and recently extended by Cormode, Mitzenmacher, and Thaler. We implement this protocol on the GPU, obtaining 40-120x server-side speedups relative to a state-of-the-art sequential implementation. For benchmark problems, our implementation reduces the slowdown of the server to factors of 100-500x relative to the original computations requested by the client. Furthermore, we reduce the already small runtime of the client by 100x. Similarly, we obtain 20-50x server-side and client-side speedups for related protocols targeted at specific streaming problems. We believe our results demonstrate the immediate practicality of using GPUs for verifiable computation, and more generally that protocols for verifiable computation have become sufficiently mature to deploy in real cloud computing systems.


title: Continuous lower bounds for moments of zeta and L-functions

abstract: We obtain lower bounds of the correct order of magnitude for the 2k-th moment of the Riemann zeta function for all k > 1. Previously such lower bounds were known only for rational values of k, with the bounds depending on the height of the rational number k. Our new bounds are continuous in k, and thus extend also to the case when k is irrational. The method is a refinement of an approach of Rudnick and Soundararajan, and applies also to moments of L-functions in families.


title: Maximal $m$-distance sets containing the representation of the Johnson graph $J(n, m)$

abstract: We classify the maximal $m$-distance sets in $\mathbb{R}^{n-1}$ which contain the representation of the Johnson graph $J(n, m)$ for $m = 2, 3$. Furthermore, we determine the necessary and sufficient condition for $n$ and $m$ such that the representation of the Johnson graph $J(n, m)$ is not maximal as an $m$-distance set. Also, we classify the maximal two-distance sets in $\mathbb{R}^{n-1}$ which contain the representation of $J(n - 1, 2)$.


title: Heegaard Floer homology, L-spaces and smoothing order on links I

abstract: In this paper, we focus on L-spaces for which the boundary maps of the Heegaard Floer chain complexes vanish. We collect such manifolds systematically by using the smoothing order on links.


title: Error Probability Bounds for M-ary Relay Trees

abstract: We study the detection error probabilities associated with an M-ary relay tree, where the leaves of the tree correspond to identical and independent sensors. Only these leaves are sensors. The root of the tree represents a fusion center that makes the overall detection decision. Each of the other nodes in the tree is a relay node that combines M summarized messages from its immediate child nodes to form a single output message using the majority dominance rule. We derive tight upper and lower bounds for the Type I and II error probabilities at the fusion center as explicit functions of the number of sensors in the case of binary message alphabets. These bounds characterize how fast the error probabilities converge to 0 with respect to the number of sensors.


title: Effect of internal chemical pressure on transport properties and TCR for sensors applications

abstract: In this work, the structural and transport properties of (Nd0.7-xLax)Sr0.3MnO3 manganites with x = 0, 0.1 and 0.2 prepared by solid state reaction route are studied. These compounds are found to be crystallized in orthorhombic structural form. The influence of La substitution in place of Nd at A-site shifts the metal to semiconductor/insulator transition temperature (TMI) peak towards room temperature with x = 0, 0.1 and 0.2. A composition prepared with the value of x = 0.2 in (Nd0.7-xLax)0.7Sr0.3MnO3 manganites (i.e. (Nd0.5La0.2)0.7Sr0.3MnO3), TMI was observed at 289 K which is close to room temperature. The maximum percentage of TCR values of compounds are increasing with average radius <r_A> but %TCR are slightly equal in x = 0.1 and 0.2 as compared to the parent compound. The maximum %TCR value is almost independent with A-site average radius <r_A> in x = 0.1 and 0.2. The electrical resistivity data are explored by different theoretical models and it has been concluded that at low temperature (ferromagnetic metallic region) conduction mechanism presumably due to the combined effect of electron-electron, electron-phonon and electron-magnon scattering, while in paramagnetic semiconducting regime, the variation of resistivity with temperature are explained by (1) Mott variable range hopping mechanism, (2) Adiabatic small polaron hopping and (3) Thermally activated hopping. The polaron hopping and thermal activation energies are decreasing with increase of an average A-site ionic radius (<rA>). An appropriate enlightenment for the observed behavior is discussed in detail.


title: The GRB 071112C: A Case Study of Different Mechanisms in X-ray and Optical Temporal Evolution

abstract: We present the study on GRB 071112C X-ray and optical light curves. In these two wavelength ranges, we have found different temporal properties. The R-band light curve showed an initial rise followed by a single power-law decay, while the X-ray light curve was described by a single power-law decay plus a flare-like feature. Our analysis shows that the observed temporal evolution cannot be described by the external shock model in which the X-ray and optical emission are produced by the same emission mechanism. No significant color changes in multi-band light curves and a reasonable value of the initial Lorentz factor ({\Gamma}0 = 275 \pm 20) in a uniform ISM support the afterglow onset scenario as the correct interpretation for the early R-band rise. The result suggests the optical flux is dominated by afterglow. Our further investigations show that the X-ray flux could be created by an additional feature related to energy injection and X-ray afterglow. Different theoretical interpretations indicate the additional feature in X-ray can be explained by either late internal dissipation or local inverse-Compton scattering in the external shock.


title: Quantum Hall Effects in Silicene

abstract: We investigate quantum Hall effects in silicene by applying electric field $E_z$ parallel to magnetic field. Silicene is a monolayer of silicon atoms forming a two-dimensional honeycomb lattice, and shares almost every remarkable property with graphene. A new feature is its buckled structure, due to which the band structure can be controlled externally by changing $E_z$. The low energy physics of silicene is described by massive Dirac fermions, where the mass is a function of $E_z$ and becomes zero at the critical field $E_{\text{cr}}$. We show that there are no zero energy states due to the Dirac mass term except at the critical electric field $E_{\text{cr}}$. Furthermore it is shown that the 4-fold degenerate zero-energy states are completely resolved even without considering Coulomb interactions. These features are highly contrasted with those in graphene, demonstrating that silicene has a richer structure. The prominent feature is that, by applying the electric field, we can control the valley degeneracy. As a function of $E_z$, Hall plateaux appear at the filling factors $\nu =0,\pm 1,\pm 2,\pm 3,...$ except for the points where level crossings occur.


title: Protein Folding: The Gibbs Free Energy

abstract: The fundamental law for protein folding is the Thermodynamic Principle: the amino acid sequence of a protein determines its native structure and the native structure has the minimum Gibbs free energy. If all chemical problems can be answered by quantum mechanics, there should be a quantum mechanics derivation of Gibbs free energy formula G(X) for every possible conformation X of the protein. We apply quantum statistics to derive such a formula. For simplicity, only monomeric self folding globular proteins are covered. We point out some immediate applications of the formula. We show that the formula explains the observed phenomena very well. It gives a unified explanation to both folding and denaturation; it explains why hydrophobic effect is the driving force of protein folding and clarifies the role played by hydrogen bonding; it explains the successes and deficients of various surface area models. The formula also gives a clear kinetic force of the folding: Fi(X) = - \nablaxi G(X). This also gives a natural way to perform the ab initio prediction of protein structure, minimizing G(X) by Newton's fastest desciending method.


title: Codes Can Reduce Queueing Delay in Data Centers

abstract: In this paper, we quantify how much codes can reduce the data retrieval latency in storage systems. By combining a simple linear code with a novel request scheduling algorithm, which we call Blocking-one Scheduling (BoS), we show analytically that it is possible to reduce data retrieval delay by up to 17% over currently popular replication-based strategies. Although in this work we focus on a simplified setting where the storage system stores a single content, the methodology developed can be applied to more general settings with multiple contents. The results also offer insightful guidance to the design of storage systems in data centers and content distribution networks.


title: Telecommunication band InAs quantum dots and dashes embedded in different barrier materials

abstract: We investigate the long wavelength (1.2 to 1.55 micro-m) photoluminescence of high-density InAs quantum dots and dashes, which were grown on InP substrates. We analyze the temperature dependence of the recombination and carrier distribution on the alloy composition of the barrier materials, InGaAlAs, and on the existence of a wetting layer. Carrier escape and transfer are discussed based on temperature dependent photoluminescence measurements and theoretical considerations about the heterostructures' confinement energies and band structure. We propose two different contributions to the thermal quenching, which can explain the observations for both the quantum dot and dash samples. Among these one is a unique phenomenon for high density quantum dot/dash ensembles which is related to significant inter-dot/dash coupling. With the goal ahead to use these dots and dashes for quantum optical applications on the single-dot/dash level in the telecommunication C band as well as at elevated temperatures we present first steps towards the realization of such devices.


title: Generic model for magnetic explosions applied to solar flares

abstract: An accepted model for magnetospheric substorms is proposed as the basis for a generic model for magnetic explosions, and is applied to solar flares. The model involves widely separated energy-release and particle-acceleration regions, with energy transported Alfv\'enically between them. On a global scale, these regions are coupled by a large-scale current that is set up during the explosion by redirection of pre-existing current associated with the stored magnetic energy. The explosion-related current is driven by an electromotive force (EMF) due to the changing magnetic flux enclosed by this current. The current path and the EMF are identified for an idealized quadrupolar model for a flare.


title: Anomalous growth of thermoelectric power in gapped graphene

abstract: There exist experiments indicating that at certain conditions, such as an appropriate substrate, a gap of the order of 10 meV can be opened at the Dirac points of a quasiparticle spectrum of graphene. We demonstrate that the opening of such a gap can result in the appearance of a fingerprint bump of the Seebeck signal when the chemical potential approaches the gap edge. The magnitude of the bump can be up to one order higher than the already large value of the thermopower occurring in graphene. Such a giant effect, accompanied by the nonmonotonous dependence on the chemical potential, is related to the emergence of a new channel of quasiparticle scattering from impurities with the relaxation time strongly dependent on the energy. We analyze the behavior of conductivity and thermopower in such a system, accounting for quasiparticle scattering from impurities with the model potential in a self-consistent scheme. Reproducing the existing results for the case of gapless graphene, we demonstrate a failure of the simple Mott formula in the case under consideration.


title: Magnetic explosions: role of the inductive electric field

abstract: Inclusion of the inductive electric field, ${\bf E}_{\rm ind}$ due to the temporally changing ${\bf B}$, in magnetic explosions is discussed, with emphasis on solar flares. Several roles played by ${\bf E}_{\rm ind}$ are identified: on a global scale, ${\bf E}_{\rm ind}$ produces the EMF that drives the explosion; the associated ${\bf E}_{\rm ind}\times{\bf B}$ drift is identified with the inflow of magnetic field lines into a reconnection region; the polarization current, associated with $\partial{\bf E}_{\rm ind}/\partial t$, implies a ${\bf J}\times{\bf B}$ force that accelerates this inflow; and the component of ${\bf E}_{\rm ind}$ parallel to ${\bf B}$ accelerates the energetic electrons that cause hard X-ray emission and type III radio bursts. Some simple models that describe these effects are presented. A resolution of the long-standing "number problem" in solar flares is suggested.


title: Systematic study of X-ray Cavities in the brightest galaxy of the Draco Constellation NGC 6338

abstract: We present results based on the systematic analysis of currently available Chandra archive data on the brightest galaxy in the Draco constellation NGC 6338, in order to investigate the properties of the X-ray cavities. In the central ~6 kpc, at least a two and possibly three, X-ray cavities are evident. All these cavities are roughly of ellipsoidal shapes and show a decrement in the surface brightness of several tens of percent. In addition to these cavities, a set of X-ray bright filaments are also noticed which are spatially coincident with the H{\alpha} filaments over an extent of 15 kpc. The H{\alpha} emission line filaments are perpendicular to the X- ray cavities. Spectroscopic analysis of the hot gas in the filaments and cavities reveal that the X-ray filaments are cooler than the gas contained in the cavities. The emission line ratios and the extended, asymmetric nature of the H{\alpha} emission line filaments seen in this system require a harder ionizing source than that produced by star formation and/or young, massive stars. Radio emission maps derived from the analysis of 1.4 GHz VLA FIRST survey data failed to show any association of these X-ray cavities with radio jets, however, the cavities are filled by radio emission. The total power of the cavities is 17\times 1042 erg s-1 and the ratio of the radio luminosity to cavity power is ~ 10-4, implying that most of the jet power is mechanical.


title: The Space of Geometric Limits of One-generator Closed Subgroups of PSL2(R)

abstract: We give a complete description of the closure of the space of one-generator closed subgroups of PSL2(R) for the Chabauty topology, by computing explicitly the matrices associated with elements of Aut(D) = PSL2(R), and finding quantities parametrizing the limit cases. Along the way, we investigate under what conditions sequences of maps transform convergent sequences of closed subsets of the domain into convergent sequences of closed subsets of the range. In particular, this allows us to compute certain geometric limits of PSL2(R) only by looking at the Hausdorff limit of some closed subsets of C.


title: Investigation to implicate data on clouds

abstract: Cloud computing can and does mean different things to different people. The common characteristics most shares are on-demand secure access to metered services from nearly anywhere and dislocation of data from inside to outside the organization. Vision of cloud computing as a new IT procurement model. The system lifecycle, risks that are identified must be carefully balanced against the security and privacy controls available and the expected benefits from their utilization. Too many controls can be inefficient and ineffective, if the benefits outweigh the costs and associated risks. In this micro research, we characterize the problems related to security challenges.


title: Visualizing Communication on Social Media: Making Big Data Accessible

abstract: The broad adoption of the web as a communication medium has made it possible to study social behavior at a new scale. With social media networks such as Twitter, we can collect large data sets of online discourse. Social science researchers and journalists, however, may not have tools available to make sense of large amounts of data or of the structure of large social networks. In this paper, we describe our recent extensions to Truthy, a system for collecting and analyzing political discourse on Twitter. We introduce several new analytical perspectives on online discourse with the goal of facilitating collaboration between individuals in the computational and social sciences. The design decisions described in this article are motivated by real-world use cases developed in collaboration with colleagues at the Indiana University School of Journalism.


title: Do we need Feynman diagrams for higher orders perturbation theory?

abstract: We compute the two and three loop corrections to the beta function for Yang-Mills theories in the background gauge field method and using the background gauge field as the only source. The calculations are based on the separation of the one loop effective potential into zero and positive modes and are entirely analytical. No two or three loop Feynman diagrams are considered in the process.


title: Search for 1st-Generation Leptoquarks Using the ATLAS Detector

abstract: A search for the pair-production of scalar leptoquarks in 1/fb of 7 TeV ATLAS data recorded at the LHC is presented. Leptoquarks are hypothetical color-triplet bosons which carry both quark and lepton flavor, and thus decay to a quark and a lepton, unlike any of the Standard Model particles. Leptoquarks arise from many beyond the Standard Model theories. The channels examined in this analysis require at least one leptoquark decay to an electron, which includes the final states eejj and evjj. No excess of events is observed, thus limits on allowed leptoquark masses are determined. We exclude at 95% confidence level the production of first-generation scalar leptoquarks with mass m < 660 (607) GeV when assuming a branching fraction of leptoquark decay to an electron of 1.0 (0.5).


title: On a functional contraction method

abstract: Methods for proving functional limit laws are developed for sequences of stochastic processes which allow a recursive distributional decomposition either in time or space. Our approach is an extension of the so-called contraction method to the space $\mathcal{C}[0,1]$ of continuous functions endowed with uniform topology and the space $\mathcal {D}[0,1]$ of c\`{a}dl\`{a}g functions with the Skorokhod topology. The contraction method originated from the probabilistic analysis of algorithms and random trees where characteristics satisfy natural distributional recurrences. It is based on stochastic fixed-point equations, where probability metrics can be used to obtain contraction properties and allow the application of Banach's fixed-point theorem. We develop the use of the Zolotarev metrics on the spaces $\mathcal{C}[0,1]$ and $\mathcal{D}[0,1]$ in this context. Applications are given, in particular, a short proof of Donsker's functional limit theorem is derived and recurrences arising in the probabilistic analysis of algorithms are discussed.


title: The Mass-Richness Relation of MaxBCG Clusters from Quasar Lensing Magnification using Variability

abstract: Accurate measurement of galaxy cluster masses is an essential component not only in studies of cluster physics, but also for probes of cosmology. However, different mass measurement techniques frequently yield discrepant results. The SDSS MaxBCG catalog's mass-richness relation has previously been constrained using weak lensing shear, Sunyaev-Zeldovich (SZ), and X-ray measurements. The mass normalization of the clusters as measured by weak lensing shear is >~25% higher than that measured using SZ and X-ray methods, a difference much larger than the stated measurement errors in the analyses. We constrain the mass-richness relation of the MaxBCG galaxy cluster catalog by measuring the gravitational lensing magnification of type I quasars in the background of the clusters. The magnification is determined using the quasars' variability and the correlation between quasars' variability amplitude and intrinsic luminosity. The mass-richness relation determined through magnification is in agreement with that measured using shear, confirming that the lensing strength of the clusters implies a high mass normalization, and that the discrepancy with other methods is not due to a shear-related systematic measurement error. We study the dependence of the measured mass normalization on the cluster halo orientation. As expected, line-of-sight clusters yield a higher normalization; however, this minority of haloes does not significantly bias the average mass-richness relation of the catalog.


title: Symbolic Models and Control of Discrete-Time Piecewise Affine Systems: An Approximate Simulation Approach

abstract: Symbolic models have been recently used as a sound mathematical formalism for the formal verification and control design of purely continuous and hybrid systems. In this paper we propose a sequence of symbolic models that approximates a discrete-time Piecewise Affine (PWA) system in the sense of approximate simulation and converges to the PWA system in the so-called simulation metric. Symbolic control design is then addressed with specifications expressed in terms of non-deterministic finite automata. A sequence of symbolic control strategies is derived which converges, in the sense of simulation metric, to the maximal controller solving the given specification on the PWA system.


title: Remark on energy density of Brody curves

abstract: We introduce several definitions of energy density of Brody curves and show that they give the same value in an appropriate situation.


title: Predatory trading and risk minimisation: how to (b)eat the competition

abstract: We present a model of predatory traders interacting with each other in the presence of a central reserve (which dissipates their wealth through say, taxation), as well as inflation. This model is examined on a network for the purposes of correlating complexity of interactions with systemic risk. We suggest the use of selective networking to enhance the survival rates of arbitrarily chosen traders. Our conclusions show that networking with 'doomed' traders is the most risk-free scenario, and that if a trader is to network with peers, it is far better to do so with those who have less intrinsic wealth than himself to ensure individual, and perhaps systemic stability.


title: Evidence of a bisymmetric spiral in the Milky Way

abstract: Context: Because of our viewing point within the Galactic disc, it is extremely difficult to observe the spiral structure of the Milky Way. Aims: To clarify the structure of the Galaxy by re-examination of gas distributions and data from 2MASS; to determine stream memberships among local stars and to show the relationship between streaming motions and spiral structure. Methods: We extend the spiral pattern found from neutral gas towards the Galactic centre using data from 2MASS. We select a population of 23 075 local disc stars for which complete kinematic data is available. We plot eccentricity against the true anomaly for stellar orbits and identify streams as dense regions of the plot. We reconstruct the spiral pattern by replacing each star at a random position of the inward part of its orbit. Results: We find evidence in 2MASS of a bar of length 4.2 \pm 0.1 kpc at angle 30 \pm 10\degree. We extend spiral structure by more than a full turn toward the Galactic centre, and confirm that the Milky Way is a two-armed grand-design bisymmetric spiral with pitch angle 5.56 \pm 0.06\degree. Memberships of kinematic groups are assigned to 98% of local disc stars and it is seen that the large majority of local stars have orbits aligned with this spiral structure.


title: On the entropy of decoherence matrix for quantum walks

abstract: The decoherence matrix studied by Gudder and Sorkin (2011) can be considered as a map from the set of all the pairs of $n$-length paths to complex numbers, which is induced by the discrete-time quantum walk. The decoherence matrix is one of the decoherence functionals which present their historical quantum measure theory. In this paper, we compute the von Neumann entropy of the decoherence matrix. To do so, we use the result that the eigensystem of the decoherence matrix can be expressed by a corresponding correlated random walk.


title: Statistical significance in high-dimensional linear models

abstract: We propose a method for constructing p-values for general hypotheses in a high-dimensional linear model. The hypotheses can be local for testing a single regression parameter or they may be more global involving several up to all parameters. Furthermore, when considering many hypotheses, we show how to adjust for multiple testing taking dependence among the p-values into account. Our technique is based on Ridge estimation with an additional correction term due to a substantial projection bias in high dimensions. We prove strong error control for our p-values and provide sufficient conditions for detection: for the former, we do not make any assumption on the size of the true underlying regression coefficients while regarding the latter, our procedure might not be optimal in terms of power. We demonstrate the method in simulated examples and a real data application.


title: Distributions and quotients on degree 1 NQ-manifolds and Lie algebroids

abstract: It is well-known that a Lie algebroid A is equivalently described by a degree 1 Q-manifold M. We study distributions on M, giving a characterization in terms of A. We show that involutive Q-invariant distributions on M correspond bijectively to IM-foliations on A (the infinitesimal version of Mackenzie's ideal systems). We perform reduction by such distributions, and investigate how they arise from non-strict actions of strict Lie 2-algebras on M.


title: Numerical simulations of line-profile variation beyond a single-surface approximation for oscillations in roAp stars

abstract: Prior to the last decade, most observations of roAp stars have concerned the light variations. Recently some new, striking results of spectroscopic observations with high time resolution, high spectral dispersion, and a high signal-to-noise ratio became available. Since the oscillations found in roAp stars are high overtones, the vertical wavelengths of the oscillations are so short that the amplitude and phase of the variation of each spectroscopic line are highly dependent on the level of the line profile. Hence, analyses of the variation of the spectroscopic lines of roAp stars potentially provide us with new information about the vertical structure of the atmosphere of these stars. In order to extract such information, a numerical simulation of the line-profile variation beyond a single-surface approximation is necessary. We carried out a numerical simulation of line-profile variation by taking account of the finite thickness of the line forming layer. We demonstrated how effective this treatment is, by comparing the simulation with the observed line profiles.


title: Quantum Continuum Mechanics Made Simple

abstract: In this paper we further explore and develop the quantum continuum mechanics (CM) of [Tao \emph{et al}, PRL{\bf 103},086401] with the aim of making it simpler to use in practice. Our simplifications relate to the non-interacting part of the CM equations, and primarily refer to practical implementations in which the groundstate stress tensor is approximated by its Kohn-Sham version. We use the simplified approach to directly prove the exactness of CM for one-electron systems via an orthonormal formulation. This proof sheds light on certain physical considerations contained in the CM theory and their implication on CM-based approximations. The one-electron proof then motivates an approximation to the CM (exact under certain conditions) expanded on the wavefunctions of the Kohn-Sham (KS) equations. Particular attention is paid to the relationships between transitions from occupied to unoccupied KS orbitals and their approximations under the CM. We also demonstrate the simplified CM semi-analytically on an example system.


title: On linear operators extending [pseudo]metrics

abstract: For every closed subset $X$ of a stratifiable [resp. metrizable] space $Y$ we construct a positive linear extension operator $T:R^{X\times X}\to R^{Y\times Y}$ preserving constant functions, bounded functions, continuous functions, pseudometrics, metrics, [resp. dominating metrics, and admissible metrics]. This operator is continuous with respect to each of the three topologies: point-wise convergence, uniform, and compact-open. An equivariant analog of the above statement is proved as well.


title: Global well-posedness of 2D compressible Navier-Stokes equations with large data and vacuum

abstract: In this paper, we study the global well-posedness of the 2D compressible Navier-Stokes equations with large initial data and vacuum. It is proved that if the shear viscosity $\mu$ is a positive constant and the bulk viscosity $\l$ is the power function of the density, that is, $\l(\r)=\r^\b$ with $\b>3$, then the 2D compressible Navier-Stokes equations with the periodic boundary conditions on the torus $\mathbb{T}^2$ admit a unique global classical solution $(\r,u)$ which may contain vacuums in an open set of $\mathbb{T}^2$. Note that the initial data can be arbitrarily large to contain vacuum states.


title: J/$\psi$ suppression at forward rapidity in Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 2.76 TeV

abstract: The ALICE experiment has measured the inclusive J/$\psi$ production in Pb-Pb collisions at $\sqrt{s_{\mathrm{NN}} } = 2.76$ TeV down to zero transverse momentum in the rapidity range $2.5 < y < 4$. A suppression of the inclusive J/$\psi$ yield in Pb-Pb is observed with respect to the one measured in pp collisions scaled by the number of binary nucleon-nucleon collisions. The nuclear modification factor, integrated over the 0-80% most central collisions, is $0.545 \pm 0.032 \rm{(stat.)} \pm 0.083 \rm{(syst.)}$ and does not exhibit a significant dependence on the collision centrality. These features appear significantly different from measurements at lower collision energies. Models including J/$\psi$ production from charm quarks in a deconfined partonic phase can describe our data.


title: Three-minute wave enhancement in the solar photosphere

abstract: It is a well-known result that the power of five-minute oscillations is progressively reduced by magnetic fields in the solar photosphere. Many authors have pointed out that this fact could be due to a complex interaction of many processes: opacity effects, MHD mode conversion and intrinsic reduced acoustic emissivity in strong magnetic fields. While five-minute oscillations are the dominant component in the photosphere, it has been shown that chromospheric heights are in turn dominated by three-minute oscillations. Two main theories have been proposed to explain their presence based upon resonance filtering in the atmospheric cavity and non linear interactions. In this work we show, through the analysis of IBIS observations of a solar pore in the photospheric Fe I 617.3 nm line, that three-minute waves are already present at the height of formation of this line and that their amplitude depends on the magnetic field strength and is strictly confined in the umbral region.


title: AstroFit: An Interface Program for Exploring Complementarity in Dark Matter Research

abstract: AstroFit is an interface adding astrophysical components to programs for fitting physics beyond the Standard Model (BSM) to experimental data from collider searches. The project aims at combining a wide range of experimental results from indirect, direct and collider serarches for Dark Matter (DM) and confronting it with theoretical expectations in various DM models. Here, we introduce AstroFit and discuss first results.


title: X-rays from Colliding Stellar Winds: the case of close WR+O binary systems

abstract: We have analysed the X-ray emission from a sample of close WR+O binaries using data from the public Chandra and XMM-Newton archives. Global spectral fits show that two-temperature plasma is needed to match the X-ray emission from these objects as the hot component (kT > 2 keV) is an important ingredient of the spectral models. In close WR+O binaries, X-rays likely originate in colliding stellar wind (CSW) shocks driven by the massive winds of the binary components. CSW shocks in these objects are expected to be radiative due to the high density of the plasma in the interaction region. Opposite to this, our analysis shows that the CSW shocks in the sample of close WR+O binaries are adiabatic. This is possible only if the mass-loss rates of the stellar components in the binary are at least one order of magnitude smaller than the values currently accepted. The most likely explanation for the X-ray properties of close WR+O binaries could be that their winds are two-component flows. The more massive component (dense clumps) play role for the optical/UV emission from these objects, while the smooth rarefied component is a key factor for their X-ray emission.


title: Successive Secret Key Agreement over Generalized Multiple Access and Broadcast Channels

abstract: A secret key agreement framework between three users is considered in which each of the users 1 and 2 intends to share a secret key with user 3 and users 1 and 2 are eavesdroppers with respect to each other. There is a generalized discrete memoryless multiple access channel (GDMMAC) from users 1 and 2 to user 3 where the three users receive outputs from the channel. Furthermore, there is a broadcast channel (BC) from user 3 to users 1 and 2. Secret key sharing is intended where GDMMAC and BC can be successively used. In this framework, an inner bound of the secret key capacity region is derived. Moreover, for a special case where the channel inputs and outputs of the GDMAC and the BC form Markov chains in some order, the secret key capacity region is derived. Also the results are discussed through a binary example.


title: Neutron stars from young nearby associations the origin of RXJ1605.3+3249

abstract: Many neutron stars (NSs) and runaway stars apparently come from the same regions on the sky. This suggests that they share the same birth places, namely associations and clusters of young massive stars. To identify NS birth places, we attempt to and NS-runaway pairs that could be former companions that were disrupted in a supernova (SN). The remains of recent (<few Myr) nearby (< 150 pc) SNe should still be identifiable by observing the emission of rare radioisotopes such as 26Al and 60Fe that can also be used as additional indicators to confirm a possible SN event. We investigated the origin of the isolated NS RXJ1605.3+3249 and found that it was probably born ~100 pc far from Earth 0.45 Myr ago in the extended Corona-Australis or Octans associations, or in Sco OB4 ~1 kpc 3.5 Myr ago. A SN in Octans is supported by the identification of one to two possible former companions the runaway stars HIP 68228 and HIP 89394, as well as the appearance of a feature in the gamma ray emission from 26Al decay at the predicted SN place. Both, the progenitor masses estimated by comparison with theoretical 26Al yields as well as derived from the life time of the progenitor star, are found to be ~11MSun.


title: Stable self-similar blowup in energy supercritical Yang-Mills theory

abstract: We consider the Cauchy problem for an energy supercritical nonlinear wave equation that arises in $(1+5)$--dimensional Yang--Mills theory. A certain self--similar solution $W_0$ of this model is conjectured to act as an attractor for generic large data evolutions. Assuming mode stability of $W_0$, we prove a weak version of this conjecture, namely that the self--similar solution $W_0$ is (nonlinearly) stable. Phrased differently, we prove that mode stability of $W_0$ implies its nonlinear stability. The fact that this statement is not vacuous follows from careful numerical work by Bizo\'n and Chmaj that verifies the mode stability of $W_0$ beyond reasonable doubt.


title: Precision Pointing of IBEX-Lo Observations

abstract: Post-launch boresight of the IBEX-Lo instrument onboard the Interstellar Boundary Explorer (IBEX) is determined based on IBEX-Lo Star Sensor observations. Accurate information on the boresight of the neutral gas camera is essential for precise determination of interstellar gas flow parameters. Utilizing spin-phase information from the spacecraft attitude control system (ACS), positions of stars observed by the Star Sensor during two years of IBEX measurements were analyzed and compared with positions obtained from a star catalog. No statistically significant differences were observed beyond those expected from the pre-launch uncertainty in the Star Sensor mounting. Based on the star observations and their positions in the spacecraft reference system, pointing of the IBEX satellite spin axis was determined and compared with the pointing obtained from the ACS. Again, no statistically significant deviations were observed. We conclude that no systematic correction for boresight geometry is needed in the analysis of IBEX-Lo observations to determine neutral interstellar gas flow properties. A stack-up of uncertainties in attitude knowledge shows that the instantaneous IBEX-Lo pointing is determined to within $\sim 0.1\degr$ in both spin angle and elevation using either the Star Sensor or the ACS. Further, the Star Sensor can be used to independently determine the spacecraft spin axis. Thus, Star Sensor data can be used reliably to correct the spin phase when the Star Tracker (used by the ACS) is disabled by bright objects in its field-of-view. The Star Sensor can also determine the spin axis during most orbits and thus provides redundancy for the Star Tracker.


title: Beyond the Standard Model

abstract: In these lectures we briefly cover some of the main lines of research in particle physics beyond the Standard Model.


title: BCC vs. HCP - The Effect of Crystal Symmetry on the High Temperature Mobility of Solid $^4$He

abstract: We report results of torsional oscillator (TO) experiments on solid $^4$He at temperatures above 1K. We have previously found that single crystals, once disordered, show some mobility (decoupled mass) even at these rather high temperatures. The decoupled mass fraction with single crystals is typically 20- 30%. In the present work we performed similar measurements on polycrystalline solid samples. The decoupled mass with polycrystals is much smaller, $\sim$ 1%, similar to what is observed by other groups. In particular, we compared the properties of samples grown with the TO's rotation axis at different orientations with respect to gravity. We found that the decoupled mass fraction of bcc samples is independent of the angle between the rotation axis and gravity. In contrast, hcp samples showed a significant difference in the fraction of decoupled mass as the angle between the rotation axis and gravity was varied between zero and 85 degrees. Dislocation dynamics in the solid offers one possible explanation of this anisotropy.


title: On primes of the form $n_1^u + n_2^v + k$, on average

abstract: We use the Hardy-Littlewood circle method to study primes of the form $n_1^u + n_2^v + k$, on average.


title: The hyperfine structure of the ground states in the helium muonic atoms

abstract: The hyperfine structures of the ground states in the ${}^{3}$He$^{2+} \mu^{-} e^{-}$ and ${}^{4}$He$^{2+} \mu^{-} e^{-}$ helium-muonic atoms are investigated with the use of highly accurate variational wave functions. The differences between corresponding levels of hyperfine structure (i.e. hyperfine splittings) are determined to very high numerical accuracy. In particular, we have found that the hyperfine structure splitting in the ground state of the ${}^{4}$He$^{2+} \mu^{-} e^{-}$ atom is $\Delta \nu \approx 4464.55454(3)$ $MHz$, while analogous splitting for the ${}^{3}$He$^{2+}\mu^{-}e^{-}$ atom is $\Delta \nu \approx 4166.43547(3)$.


title: Modification of the Elite Ant System in Order to Avoid Local Optimum Points in the Traveling Salesman Problem

abstract: This article presents a new algorithm which is a modified version of the elite ant system (EAS) algorithm. The new version utilizes an effective criterion for escaping from the local optimum points. In contrast to the classical EAC algorithms, the proposed algorithm uses only a global updating, which will increase pheromone on the edges of the best (i.e. the shortest) route and will at the same time decrease the amount of pheromone on the edges of the worst (i.e. the longest) route. In order to assess the efficiency of the new algorithm, some standard traveling salesman problems (TSPs) were studied and their results were compared with classical EAC and other well-known meta-heuristic algorithms. The results indicate that the proposed algorithm has been able to improve the efficiency of the algorithms in all instances and it is competitive with other algorithms.


title: Supernovae and Gaia

abstract: Despite decades of dedicated efforts there are still basic questions to answer with regard to Supernova progenitor systems and explosion mechanisms. In particular, in the last years a number of exceptionally bright objects and extremely faint events have demonstrated an unexpected large Supernova variety. The large number of Supernovae candidates at different redshifts provided by the next generation surveys, from ground and space, will allow to reach a better insight of the Supernova events in all their flavours. In particular it will be the possible to assess the systematics of type Ia Supernovae as distance indicator at any redshift. The Gaia astrometric mission is expected to discover a huge number of transient events, including Supernovae, which will be immediately disseminated to the astronomical community by a transients alert system for a suitable follow up.


title: Oscillating universe in the DGP braneworld

abstract: With a method in which the Friedmann equation is written in a form such that evolution of the scale factor can be treated as that of a particle in a "potential", we classify all possible cosmic evolutions in the DGP braneworld scenario with the dark radiation term retained. By assuming that the energy component is pressureless matter, radiation or vacuum energy, respectively, we find that in the matter or vacuum energy dominated case, the scale factor has a minimum value $a_0$. In the matter dominated case, the big bang singularity can be avoided in some special circumstances, and there may exist an oscillating universe or a bouncing one. If the cosmic scale factor is in the oscillating region initially, the universe may undergo an oscillation. After a number of oscillations, it may evolve to the bounce point through quantum tunneling and then expand. However, if the universe contracts initially from an infinite scale, it can turn around and then expand forever. In the vacuum energy dominated case, there exists a stable Einstein static state to avoid the big bang singularity. However, in certain circumstances in the matter or vacuum energy dominated case, a new kind of singularity may occur at $a_0$ as a result of the discontinuity of the scale factor. In the radiation dominated case, the universe may originate from the big bang singularity, but a bouncing universe which avoids this singularity is also possible.


title: Classical and Bayesian Linear Data Estimators for Unique Word OFDM

abstract: Unique word - orthogonal frequency division multiplexing (UW-OFDM) is a novel OFDM signaling concept, where the guard interval is built of a deterministic sequence - the so-called unique word - instead of the conventional random cyclic prefix. In contrast to previous attempts with deterministic sequences in the guard interval the addressed UW-OFDM signaling approach introduces correlations between the subcarrier symbols, which can be exploited by the receiver in order to improve the bit error ratio performance. In this paper we develop several linear data estimators specifically designed for UW-OFDM, some based on classical and some based on Bayesian estimation theory. Furthermore, we derive complexity optimized versions of these estimators, and we study their individual complex multiplication count in detail. Finally, we evaluate the estimators' performance for the additive white Gaussian noise channel as well as for selected indoor multipath channel scenarios.


title: Needlet-Whittle Estimates on the Unit Sphere

abstract: We study the asymptotic behaviour of needlets-based approximate maximum likelihood estimators for the spectral parameters of Gaussian and isotropic spherical random fields. We prove consistency and asymptotic Gaussianity, in the high-frequency limit, thus generalizing earlier results by Durastanti et al. (2011) based upon standard Fourier analysis on the sphere. The asymptotic results are then illustrated by an extensive Monte Carlo study.


title: Studies On Falling Ball Viscometry

abstract: A new method of accurate calculation of the coefficient of viscosity of a test liquid from experimentally measured terminal velocity of a ball falling in the test liquid contained in a narrow tube is described. The calculation requires the value of a multiplicative correction factor to the apparent coefficient of viscosity calculated by substitution of terminal velocity of the falling ball in Stokes formula. This correction factor, the so-called viscosity ratio, a measure of deviation from Stokes limit, arises from non-vanishing values of the Reynolds number and the ball/tube radius ratio. The method, valid over a very wide range of Reynolds number, is based on the recognition of a relationship between two measures of wall effect, the more widely investigated velocity ratio, defined as the ratio of terminal velocity in a confined medium to that in a boundless medium and viscosity ratio. The calculation uses two recently published correlation formulae based on extensive experimental results on terminal velocity of a falling ball. The first formula relates velocity ratio to Reynolds number and ball-tube radius ratio. The second formula gives an expression of the ratio of the drag force actually sensed by the ball falling in an infinite medium to that in the Stokes limit as a function of Reynolds number alone. It is shown that appropriate use of this correction factor extends the utility of the technique of falling ball viscometry beyond the very low Reynolds number 'creepy flow' regime, to which its application is presently restricted. Issues related to accuracy are examined by use of our own measurements of the terminal velocity of a falling ball in a narrow tube and that of published literature reports, on liquids of known viscosity coefficient.


title: On wild Lie algebras

abstract: We give a criterion of tameness and wildness for a finite-dimensional Lie algebra over an algebraically closed field.


title: Comment on the possibility of Inverse Crystallization within van Hemmen's Classical Spin-Glass model

abstract: In this comment, I show that van Hemmen's classical spin-glass model can also account for processes such as inverse crystallization, where a ferromagnetic phase appears at higher temperatures than a glass state. The so far ignored fact is the temperature dependence of the Ruderman-Kittel-Kasuya-Yosida interaction. This generalization may be relevant to other models.


title: Effects of magnetic fields on the propagation of nuclear flames in magnetic white dwarfs

abstract: We investigate effects of the magnetic field on the propagation of laminar flames of nuclear reactions taking place in white dwarfs (WDs) with the mass close to the Chandrasekhar limit. We calculate the velocities of laminar flames parallel and perpendicular to uniform magnetic fields as eigenvalues of steady solutions for magnetic hydrodynamical equations. As a result, we find that even when the magnetic pressure does not dominate the entire pressure it is possible for the magnetic field to suppress the flame propagation through the thermal conduction. Above the critical magnetic field, the flame velocity decreases with increasing magnetic field strength as $v \sim B^{-1}$. In media with densities of $10^{7}, 10^{8}, \,\mathrm{and}\,10^{9} \unit{g\,cm^{-3}}$, the critical magnetic fields are orders of $\sim 10^{10}, 10^{11}, \,\mathrm{and}\,10^{12} \unit{G}$, respectively.


title: Quantization in relativistic classical mechanics: the Stueckelberg equation, neutrino oscillation and large-scale structure of the Universe

abstract: Based on the Chetaev theorem on stable dynamical trajectories in the presence of dissipative forces, we obtain the generalized condition for stability of relativistic classical Hamiltonian systems (with an invariant evolution parameter) in the form of the Stueckelberg equation. As is known, this equation is the basis of a competing paradigm known as parametrized relativistic quantum mechanics (pRQM). It is shown that the energy of dissipative forces, which generate the Chetaev generalized condition of stability, coincides exactly with Bohmian relativistic quantum potential. We show that the squared amplitude of a wave function in the Stueckelberg equation is equivalent to the probability density function for the number of particle trajectories, relative to which the velocity and the position of the particle are not hidden parameters. The conditions for reasonableness of trajectory interpretation of pRQM are discussed. On basis of analysis of a general formalism for vacuum-flavor mixing of neutrino within the context of the standard and pRQM models we show that the corresponding expressions for the probability of transition from one neutrino flavor to another differ appreciably, but they are experimentally testable: the estimations of absolute value for neutrino mass based on modern experimental data for solar and atmospheric neutrinos show that the pRQM results have a preference. It is noted that the selection criterion of mass solutions relies on proximity between the average size of condensed neutrino clouds, which is described by the Muraki formula (29th ICRC, 2005) and depends on the neutrino mass, and the average size of typical observed void structure (dark matter + hydrogen gas), which plays the role of characteristic dimension of large-scale structure of the Universe.

categories: quant-ph astro-ph.CO gr-qc math-ph math.MP


title: Dark matter in the classically conformal B-L model

abstract: When the classically conformal invariance is imposed on the minimal gauged B-L extended Standard Model (SM), the B-L gauge symmetry is broken by the Coleman-Weinberg mechanism naturally at the TeV scale. Introducing a new Z_2 parity in the model, we investigate phenomenology of a right-handed neutrino dark matter whose stability is ensured by the parity. We find that the relic abundance of the dark matter particle can be consistent with the observations through annihilation processes enhanced by resonances of either the SM Higgs boson, the B-L Higgs boson or the B-L gauge boson (Z' boson). Therefore, the dark matter mass is close to half of one of these boson masses. Due to the classically conformal invariance and the B-L gauge symmetry breaking via the Coleman-Weinberg mechanism, Higgs boson masses, Z' boson mass and the dark matter mass are all related, and we identify the mass region to be consistent with experimental results. We also calculate the spin-independent cross section of the dark matter particle off with nucleon and discuss implications for future direct dark matter search experiments.


title: Prediction of Giant Spin Motive Force due to Rashba Spin-Orbit Coupling

abstract: Magnetization dynamics in a ferromagnet can induce a spin-dependent electric field through spin motive force. Spin current generated by the spin-dependent electric field can in turn modify the magnetization dynamics through spin-transfer torque. While this feedback effect is usually weak and thus ignored, we predict that in Rashba spin-orbit coupling systems with large Rashba parameter $\alpha_{\rm R}$, the coupling generates the spin-dependent electric field [$\pm(\alpha_{\rm R}m_e/e\hbar) (\vhat{z}\times \partial \vec{m}/\partial t)]$, which can be large enough to modify the magnetization dynamics significantly. This effect should be relevant for device applications based on ultrathin magnetic layers with strong Rashba spin-orbit coupling.


title: Singularities in cosmologies with interacting fluids

abstract: We study the dynamics near finite-time singularities of flat isotropic universes filled with two interacting but otherwise arbitrary perfect fluids. The overall dynamical picture reveals a variety of asymptotic solutions valid locally around the spacetime singularity. We find the attractor of all solutions with standard decay, and for `phantom' matter asymptotically at early times. We give a number of special asymptotic solutions describing universes collapsing to zero size and others ending at a big rip singularity. We also find a very complicated singularity corresponding with a logarithmic branch point that resembles of cyclic universe, and give an asymptotic local series representation of the general solution in the neighborhood of infinity.


title: Combined search for the Standard Model Higgs boson using up to 4.9 fb-1 of pp collision data at sqrt(s) = 7 TeV with the ATLAS detector at the LHC

abstract: A combined search for the Standard Model Higgs boson with the ATLAS experiment at the LHC using datasets corresponding to integrated luminosities from 1.04 fb-1 to 4.9 fb-1 of pp collisions collected at sqrt(s) = 7 TeV is presented. The Higgs boson mass ranges 112.9-115.5 GeV, 131-238 GeV and 251-466 GeV are excluded at the 95% confidence level (CL), while the range 124-519 GeV is expected to be excluded in the absence of a signal. An excess of events is observed around mH ~ 126 GeV with a local significance of 3.5 standard deviations (sigma). The local significance of H -> gamma gamma, H -> ZZ(*) -> lll'l' and H -> WW(*) -> lvl'v, the three most sensitive channels in this mass range, are 2.8 sigma, 2.1 sigma and 1.4 sigma, respectively. The global probability for the background to produce such a fluctuation anywhere in the explored Higgs boson mass range 110-600 GeV is estimated to be ~1.4% or, equivalently 2.2 sigma.


title: Optimization in SMT with LA(Q) Cost Functions

abstract: In the contexts of automated reasoning and formal verification, important decision problems are effectively encoded into Satisfiability Modulo Theories (SMT). In the last decade efficient SMT solvers have been developed for several theories of practical interest (e.g., linear arithmetic, arrays, bit-vectors). Surprisingly, very few work has been done to extend SMT to deal with optimization problems; in particular, we are not aware of any work on SMT solvers able to produce solutions which minimize cost functions over arithmetical variables. This is unfortunate, since some problems of interest require this functionality. In this paper we start filling this gap. We present and discuss two general procedures for leveraging SMT to handle the minimization of LA(Q) cost functions, combining SMT with standard minimization techniques. We have implemented the proposed approach within the MathSAT SMT solver. Due to the lack of competitors in AR and SMT domains, we experimentally evaluated our implementation against state-of-the-art tools for the domain of linear generalized disjunctive programming (LGDP), which is closest in spirit to our domain, on sets of problems which have been previously proposed as benchmarks for the latter tools. The results show that our tool is very competitive with, and often outperforms, these tools on these problems, clearly demonstrating the potential of the approach.


title: Generalized continuum models for analysis of one-dimensional shear deformations in a structural interface with micro-rotations

abstract: Generalized continuum models for describing one-dimensional shear deformations of a Cosserat lattice are considered and their application to describing of structural effects essential for interfaces are discussed. The two-field long-wavelength micropolar model and its gradient and four-field generalizations are obtained and compared to the single-field conventional and gradient micropolar models. The single-field models can be applied to the analysis of long-wavelength deformations, but it does not describe short-wavelength waves and boundary effects. It is demonstrated that the two-field models describe both long-wavelength and short-wavelength harmonic waves and localized deformations and may be used in order to find stop band edges and to study the filtering properties of the interface. The two-field models make it possible to describe not only exponential but also short-wavelength boundary effects and evaluate degree of its spatial localization. The four-field model improves the two-field model in the description of the waves with wavenumbers in the middle part of the first Brillouin zone and may be useful to specify stop band edges in the case when minima/maxima of the dispersion curves belong to this region. The reported results are especially important for modeling of structural interfaces in the case when the length of localization is comparable with the interface thickness.


title: Observer design for systems with an energy-preserving non-linearity

abstract: Observer design is considered for a class of non-linear systems whose non-linear part is energy preserving. A strategy to construct convergent observers for this class of non-linear system is presented. The approach has the advantage that it is possible, via convex programming, to prove whether the constructed observer converges, in contrast to several existing approaches to observer design for non-linear systems. Finally, the developed methods are applied to the Lorenz attractor and to a low order model for shear fluid flow.