title: On the Non-Monotonic Description Logic $\mathcal{ALC}$+T$_{\mathsf{min}}$

abstract: In the last 20 years many proposals have been made to incorporate non-monotonic reasoning into description logics, ranging from approaches based on default logic and circumscription to those based on preferential semantics. In particular, the non-monotonic description logic $\mathcal{ALC}$+T$_{\mathsf{min}}$ uses a combination of the preferential semantics with minimization of a certain kind of concepts, which represent atypical instances of a class of elements. One of its drawbacks is that it suffers from the problem known as the \emph{property blocking inheritance}, which can be seen as a weakness from an inferential point of view. In this paper we propose an extension of $\mathcal{ALC}$+T$_{\mathsf{min}}$, namely $\mathcal{ALC}$+T$^+_{\mathsf{min}}$, with the purpose to solve the mentioned problem. In addition, we show the close connection that exists between $\mathcal{ALC}$+T$^+_{\mathsf{min}}$ and concept-circumscribed knowledge bases. Finally, we study the complexity of deciding the classical reasoning tasks in $\mathcal{ALC}$+T$^+_{\mathsf{min}}$.


title: Une approche CSP pour l'aide \`a la localisation d'erreurs

abstract: We introduce in this paper a new CP-based approach to support errors location in a program for which a counter-example is available, i.e. an instantiation of the input variables that violates the post-condition. To provide helpful information for error location, we generate a constraint system for the paths of the CFG (Control Flow Graph) for which at most k conditional statements may be erroneous. Then, we calculate Minimal Correction Sets (MCS) of bounded size for each of these paths. The removal of one of these sets of constraints yields a maximal satisfiable subset, in other words, a maximal subset of constraints satisfying the post condition. We extend the algorithm proposed by Liffiton and Sakallah \cite{LiS08} to handle programs with numerical statements more efficiently. We present preliminary experimental results that are quite encouraging.


title: Chiral transition with magnetic fields

abstract: We study the nature of the chiral transition for an effective theory with spontaneous breaking of symmetry, where charged bosons and fermions are subject to the effects of a constant external magnetic field. The problem is studied in terms of the relative intensity of the magnetic field with respect to the mass and the temperature. When the former is the smallest of the scales, we present a suitable method to obtain magnetic and thermal corrections up to ring order at high temperature. By these means, we solve the problem of the instability in the boson sector for these theories, where the squared masses, taken as functions of the order parameter, can vanish and even become negative. The solution is found by considering the screening properties of the plasma, encoded in the resummation of the ring diagrams at high temperature. We also study the case where the magnetic field is the intermediate of the three scales and explore the nature of the chiral transition as we vary the field strength, the coupling constants and the number of fermions. We show that the critical temperature for the restoration of chiral symmetry monotonically increases from small to intermediate values of the magnetic fields and that this temperature is always above the critical temperature for the case when the magnetic field is absent.


title: Nonlinear and Linear Timescales near Kinetic Scales in Solar Wind Turbulence

abstract: The application of linear kinetic treatments to plasma waves, damping, and instability requires favorable inequalities between the associated linear timescales and timescales for nonlinear (e.g., turbulence) evolution. In the solar wind these two types of timescales may be directly compared using standard Kolmogorov-style analysis and observational data. The estimated local nonlinear magnetohydrodynamic cascade times, evaluated as relevant kinetic scales are approached, remain slower than the cyclotron period, but comparable to, or faster than, the typical timescales of instabilities, anisotropic waves, and wave damping. The variation with length scale of the turbulence timescales is supported by observations and simulations. On this basis the use of linear theory - which assumes constant parameters to calculate the associated kinetic rates - may be questioned. It is suggested that the product of proton gyrofrequency and nonlinear time at the ion gyroscales provides a simple measure of turbulence influence on proton kinetic behavior.


title: EAGr: Supporting Continuous Ego-centric Aggregate Queries over Large Dynamic Graphs

abstract: In this work, we present EAGr, a system for supporting large numbers of continuous neighborhood-based ("ego-centric") aggregate queries over large, highly dynamic, and rapidly evolving graphs. Examples of such queries include computation of personalized, tailored trends in social networks, anomaly/event detection in financial transaction networks, local search and alerts in spatio-temporal networks, to name a few. Key challenges in supporting such continuous queries include high update rates typically seen in these situations, large numbers of queries that need to be executed simultaneously, and stringent low latency requirements. We propose a flexible, general, and extensible in-memory framework for executing different types of ego-centric aggregate queries over large dynamic graphs with low latencies. Our framework is built around the notion of an aggregation overlay graph, a pre-compiled data structure that encodes the computations to be performed when an update/query is received. The overlay graph enables sharing of partial aggregates across multiple ego-centric queries (corresponding to the nodes in the graph), and also allows partial pre-computation of the aggregates to minimize the query latencies. We present several highly scalable techniques for constructing an overlay graph given an aggregation function, and also design incremental algorithms for handling structural changes to the underlying graph. We also present an optimal, polynomial-time algorithm for making the pre-computation decisions given an overlay graph, and evaluate an approach to incrementally adapt those decisions as the workload changes. Although our approach is naturally parallelizable, we focus on a single-machine deployment and show that our techniques can easily handle graphs of size up to 320 million nodes and edges, and achieve update/query throughputs of over 500K/s using a single, powerful machine.


title: Two Measures on Cantor Sets

abstract: We give an example of Cantor type set for which its equilibrium measure and the corresponding Hausdorff measure are mutually absolutely continuous. Also we show that these two measures are regular in Stahl-Totik sense.


title: Exchangeability and the Law of Maturity

abstract: The law of maturity is the belief that less-observed events are becoming mature and, therefore, more likely to occur in the future. Previous studies have shown that the assumption of infinite exchangeability contradicts the law of maturity. In particular, it has been shown that infinite exchangeability contradicts probabilistic descriptions of the law of maturity such as the gambler's belief and the belief in maturity. We show that the weaker assumption of finite exchangeability is compatible with both the gambler's belief and belief in maturity. We provide sufficient conditions under which these beliefs hold under finite exchangeability. These conditions are illustrated with commonly used parametric models.


title: Similar Part Rearrangement With Pebble Graphs

abstract: This work proposes a method for effectively computing manipulation paths to rearrange similar objects in a cluttered space. The solution can be used to place similar products in a factory floor in a desirable arrangement or for retrieving a particular object from a shelf blocked by similarly sized objects. These are challenging problems as they involve combinatorially large, continuous configuration spaces due to the presence of multiple moving bodies and kinematically complex manipulators. This work leverages ideas from algorithmic theory, multi-robot motion planning and manipulation planning to propose appropriate graphical representations for this challenge. These representations allow to quickly reason whether manipulation paths allow the transition between entire sets of objects arrangements without having to explicitly enumerate the path for each pair of arrangements. The proposed method also allows to take advantage of precomputation given a manipulation roadmap for transferring a single object in the same cluttered space. The resulting approach is evaluated in simulation for a realistic model of a Baxter robot and executed in open-loop on the real system, showing that the approach solves complex instances and is promising in terms of scalability and success ratio.


title: A basis theorem for the affine oriented Brauer category and its cyclotomic quotients

abstract: The affine oriented Brauer category is a monoidal category obtained from the oriented Brauer category (= the free symmetric monoidal category generated by a single object and its dual) by adjoining a polynomial generator subject to appropriate relations. In this article, we prove a basis theorem for the morphism spaces in this category, as well as for all of its cyclotomic quotients.


title: Multi-fusion categories of Harish-Chandra bimodules

abstract: We survey some results on tensor products of irreducible Harish-Chandra bimodules. It turns out that such tensor products are semisimple in suitable Serre quotient categories. We explain how to identify the resulting semisimple tensor categories and describe some applications to representation theory.


title: Dynamical detection of three triple stellar systems in open clusters

abstract: We present a kinematic analysis of three triple stellar systems belonging to two open clusters: CPD-60{\deg}961 and HD66137 in NGC2516, and HD315031 in NGC6530. All three systems are hierarchical triples with a close binary bound to a third body in a wider orbit, whose presence is detected through velocity variations of the close binary barycentre. Orbital parameters are derived from radial velocity curves. Absolute parameters for all stars are estimated assuming cluster membership. Some dynamical and evolutionary aspects of these systems are discussed, particularly the possible influence of Kozai cycles. The two systems of NGC2516 have similar orbital configurations with inner periods of 11.23 d and 8.70 d and outer periods of 9.79 yr and 9.24 yr. We report also radial velocity measurements of the components of the visual binary CPD-60{\deg}944 in NGC2516. Including results from previous works, this cluster would harbor 5 hierarchical triples. The young system HD315031 has an inner binary with a period of 1.37 d and a very eccentric (e=0.85) outer orbit with a period of 483 d. Possible dynamical evolutionary scenarios are discussed. Long-term radial velocity monitoring is highlighted as strategy for the detection of subsystems with intermediate separations, which are hard to cover with normal spectroscopic studies or visual techniques.


title: Comparison of Emission Properties of two Homologous Flares in AR 11283

abstract: Large, complex, active regions may produce multiple flares within a certain period of one or two days. These flares could occur in the same location with similar morphologies, commonly referred to as homologous flares. In 2011 September, active region NOAA 11283 produced a pair of homologous flares on the 6th and 7th, respectively. Both of them were white-light (WL) flares, as captured by the Helioseismic and Magnetic Imager (HMI) onboard the Solar Dynamics Observatory in visible continuum at 617.3 nm which is believed to originate from the deep solar atmosphere.We investigate the WL emission of these X-class flares with HMIs seeing-free imaging spectroscopy. The durations of impulsive peaks in the continuum are about 4 minutes. We compare the WL with hard X-ray (HXR) observations for the September 6 flare and find a good correlation between the continuum and HXR both spatially and temporally. In absence of RHESSI data during the second flare on September 7, the derivative of the GOES soft X-ray is used and also found to be well correlated temporally with the continuum. We measure the contrast enhancements, characteristic sizes, and HXR fluxes of the twin flares, which are similar for both flares, indicating analogous triggering and heating processes. However, the September 7 flare was associated with conspicuous sunquake signals whereas no seismic wave was detected during the flare on September 6. Therefore, this comparison suggests that the particle bombardment may not play a dominant role in producing the sunquake events studied in this paper.


title: Multiscale nonlocal flow in a fractured porous medium

abstract: We study the flow generated by an incompressible viscoelastic fluid in a fractured porous medium. The model consists of a fluid flow governed by Stokes-Volterra equations evolving in a periodic double-porosity medium. Using the multiscale convergence method associated to some recent tools about the convergence of convolution sequences, we show that the equivalent macroscopic model is of the same type as the microscopic one, but in a fixed domain.


title: Ultracold, radiative charge transfer in hybrid Yb ion - Rb atom traps

abstract: Ultracold hybrid ion-atom traps offer the possibility of microscopic manipulation of quantum coherences in the gas using the ion as a probe. However, inelastic processes, particularly charge transfer can be a significant process of ion loss and has been measured experimentally for the Yb$^{+}$ ion immersed in a Rb vapour. We use first-principles quantum chemistry codes to obtain the potential energy curves and dipole moments for the lowest-lying energy states of this complex. Calculations for the radiative decay processes cross sections and rate coefficients are presented for the total decay processes. Comparing the semi-classical Langevin approximation with the quantum approach, we find it provides a very good estimate of the background at higher energies. The results demonstrate that radiative decay mechanisms are important over the energy and temperature region considered. In fact, the Langevin process of ion-atom collisions dominates cold ion-atom collisions. For spin dependent processes \cite{kohl13} the anisotropic magnetic dipole-dipole interaction and the second-order spin-orbit coupling can play important roles, inducing couplingbetween the spin and the orbital motion. They measured the spin-relaxing collision rate to be approximately 5 orders of magnitude higher than the charge-exchange collision rate \cite{kohl13}. Regarding the measured radiative charge transfer collision rate, we find that our calculation is in very good agreement with experiment and with previous calculations. Nonetheless, we find no broad resonances features that might underly a strong isotope effect. In conclusion, we find, in agreement with previous theory that the isotope anomaly observed in experiment remains an open question.


title: Multitask Learning for Sequence Labeling Tasks

abstract: In this paper, we present a learning method for sequence labeling tasks in which each example sequence has multiple label sequences. Our method learns multiple models, one model for each label sequence. Each model computes the joint probability of all label sequences given the example sequence. Although each model considers all label sequences, its primary focus is only one label sequence, and therefore, each model becomes a task-specific model, for the task belonging to that primary label. Such multiple models are learned {\it simultaneously} by facilitating the learning transfer among models through {\it explicit parameter sharing}. We experiment the proposed method on two applications and show that our method significantly outperforms the state-of-the-art method.


title: Voltage multi-stability in distribution grids with power flow reversal

abstract: High levels of penetration of distributed generation and aggressive reactive power compensation with modern power electronics may result in the reversal of active and reactive power flows in future distribution grids. The voltage stability of these operating conditions may be very different from the more traditional power consumption regime. We study the stability characteristics of distribution networks with reversed power flow. After introducing a universal algebraic approach to characterize all the solutions of the power flow equations, we show that new solutions appear in the reversed power flow regime even in the simplest three bus systems. We show that the some of these solutions are stable and the system may exhibit a phenomenon of multistability, where multiple stable equilibria co-exist at the given set of parameters, and the system may converge to an undesirable equilibrium after a disturbance. These predictions are validated with dynamic simulations of two different systems. Under certain conditions the new states are viable and may be characterized by relatively high voltages. Possible approaches towards reactive power/voltage regulation as well as permissible distributed generation capacity in future power systems are proposed and discussed in the end of the paper.


title: Waveguide couplers for ferroelectric optical resonators

abstract: We report a study of using the same material to fabricate a whispering gallery mode resonator and a coupler. Coupling to high Q whispering gallery modes of the lithium niobate resonator is demonstrated by means of the titanium-doped waveguide. The waveguide coupling approach opens possibilities for simpler and wider practical usage of whispering gallery mode resonators and their integration into optical devices.


title: ILATO Project: Fusion of Optical Surface Models and Volumetric CT Data

abstract: Project ILATO focuses on Improving Limited Angle computed Tomography by Optical data integration in order to enhance image quality and shorten acquisition times in X-ray based industrial quality inspection. Limited angle computed tomography is indicated whenever specimen dimensions exceed cone beam limits or the object is impenetrable from certain angles. Thus, acquiring only a subset of a full circle CT scan poses problems for reconstruction algorithms due to incomplete data which introduces blurred edges and other artifacts. To support volumetric data reconstruction algorithm a surface mesh of the object obtained via structured light optical scan acts as a mask defining boundaries of the reconstructed image. The registration of optically acquired surfaces with data acquired from computed tomography is our current challenge. This article presents our setup, the methods applied and discusses the problems arising from registration of data sets created with considerably different imaging techniques.


title: Absence of hyperfine effects in $^{13}$C-graphene spin valve devices

abstract: The carbon isotope $^{13}$C, in contrast to $^{12}$C, possesses a nuclear magnetic moment and can induce electron spin dephasing in graphene. This effect is usually neglected due to the low abundance of $^{13}$C in natural carbon allotropes ($\sim$1 %). Chemical vapor deposition (CVD) allows for artificial synthesis of graphene solely from a $^{13}$C precursor, potentially amplifying the influence of the nuclear magnetic moments. In this work we study the effect of hyperfine interactions in pure $^{13}$C-graphene on its spin transport properties. Using Hanle precession measurements we determine the spin relaxation time and observe a weak increase of $\tau_{s}$ with doping and a weak change of $\tau_{s}$ with temperature, as in natural graphene. For comparison we study spin transport in pure $^{12}$C-graphene, also synthesized by CVD, and observe similar spin relaxation properties. As the signatures of hyperfine effects can be better resolved in oblique spin-valve and Hanle configurations, we use finite-element modeling to emulate oblique signals in the presence of a hyperfine magnetic field for typical graphene properties. Unlike in the case of GaAs, hyperfine interactions with $^{13}$C nuclei influence electron spin transport only very weakly, even for a fully polarized nuclear system. Also, in the measurements of the oblique spin-valve and Hanle effects no hyperfine features could be resolved. This work experimentally confirms the weak character of hyperfine interactions and the negligible role of $^{13}$C atoms in the spin dephasing processes in graphene.


title: Equating the achievable exponent region to the achievable entropy region by partitioning the source

abstract: In this paper we investigate the image size characterization problem. We show that any arbitrary source set may be decomposed into sets whose image size characterization is the same as its entropy characterization. We also show that the number of these sets required is small enough that one may consider that from a coding perspective the achievable entropy region and achievable exponent region are equal. This has an impact on many source networks and network problems whose solution heretofore could not have the image size characterization applied to them.


title: A Newtonian and Weierstrassian Approach to Local Resolution of Singularities in Characteristic Zero

abstract: This paper formulates an elementary algorithm for resolution of singularities in a neighborhood of a singular point over a field of characteristic zero. The algorithm is composed of finite sequences of Newton polyhedra and monomial transformations and based on Weierstrass preparation theorem. This approach entails such new methods as canonical reduction and synthesis of monomial transformations as well as latency and revival of primary variables. The orders of primary variables serve as the decreasing singularity invariants for the algorithm albeit with some temporary increases. A finite partition of unity in a neighborhood of the singular point is constructed in an inductive way depending on the topological constraint imposed by Euler characteristic of the normal vector set of Newton polyhedron.


title: Modeling radiation in particle clouds: On the importance of inter-particle radiation for pulverized solid fuel combustion

abstract: The importance of inter-particle radiation for clusters of gray and diffuse particles is investigated. The radiative cooling of each individual particle is found to vary strongly with its position in the cluster, and a mean radiative particle cooling term is proposed for single particle simulations of particle clusters or for high detail simulation, like Direct Numerical Simulations of small sub-volumes of large clusters of particles. Radiative cooling is shown to be important both for furnaces for coal gasification and coal combustion. Broadening the particle size distribution is found to have just a minor effect on the radiative particle cooling. This is particularly the case for large and dense particle clusters where there is essentially no effect of size distribution broadening at all. For smaller and more dilute particle clusters, the effect of distribution broadening is clear but still not dominant.


title: Is Bohm's interpretation of quantum mechanics consistent?

abstract: The supposed equivalence of the conventional interpretation of quantum mechanics with Bohm's interpretation is generally demonstrated only in the coordinate representation. It is shown, however, that in the momentum representation this equivalence is not valid.


title: A New Scheme for High-Intensity Laser-Driven Electron Acceleration in a Plasma

abstract: We propose a new approach to high-intensity laser-driven electron acceleration in a plasma. Here, we demonstrate that a plasma wave generated by a stimulated forward-scattering of an incident laser pulse can be in a longest acceleration phase with an incident laser wave. This is why the plasma wave has the maximum amplification coefficient which is determined by the breakdown (overturn) electric field in which the acceleration of injected relativistic beam electrons occurs. We estimate qualitatively the acceleration parameters of relativistic electrons in the field of a plasma wave generated at the stimulated forward scattering of a high-intensity laser pulse in a plasma.


title: LHC Constraints on a Higgs Partner from an Extended Color Sector

abstract: We discuss the properties and LHC phenomenology of a potentially discoverable heavy scalar boson ($s$) that arises in the context of the renormalizable coloron model; the model also contains a light scalar, $h$, identifiable with the 125 GeV state discovered by the LHC. These two scalar mass eigenstates are admixtures of a weak doublet gauge eigenstate and a weak singlet gauge eigenstate. A previous study set exclusion limits on the heavy $s$ scalar, using the stability of the scalar potential, unitarity, electroweak precision tests, LHC searches for the 125 GeV Higgs; it also briefly discussed the $\sqrt{s} = 7,8$ TeV LHC searches for a heavy Higgs. In this work, we show how the projected LHC sensitivity at $\sqrt{s} = 14$ TeV to the presence of a heavy Higgs and to the detailed properties of the 125 GeV Higgs will further constrain the properties of the new heavy $s$ scalar. Since the renormalizable coloron model may contain spectator fermions to remove anomalies, we examine several representative scenarios with different numbers of spectator fermions. Our results are summarized in plots that overlay the current exclusion limits on the $s$ boson with the projected sensitivity of the $\sqrt{s} = 14$ TeV LHC to the new state. We find that the upcoming LHC searches should be sensitive to an $s$ scalar of mass less than 1 TeV for essentially all of the model parameter space in which the $h$ state differs from the Higgs boson of the SM. More precisely, unless the mixing between the weak doublet and weak singlet gauge-eigenstate scalars is zero, the 14 TeV LHC will be sensitive to the presence of the non-standard heavy $s$ state that is characteristic of the renormalizable coloron model.


title: Appearance of multiple stable load flow solutions under power flow reversal conditions

abstract: In complex power systems, nonlinear load flow equations have multiple solutions. Under typical load conditions only one solution is stable and corresponds to a normal operating point, whereas the second solution is not stable and is never realized in practice. However, in future distribution grids with high penetration of distributed generators more stable solutions may appear because of active or reactive power reversal. The systems can operate at different states, and additional control measures may be required to ensure that it remains at the appropriate point. This paper focuses on the analysis of several cases where multiple solution phenomena is observed. A non-iterative approach for solving load flow equations based on the Gr\"{o}bner basis is introduced to overcome the convergence and computational efficiency associated with standard iterative approaches. All the solutions of load flow problems with their existence boundaries are analyzed for a simple 3-bus model. Furthermore, the stability of the solutions is analyzed using a derived aggregated load dynamics model, and suggestions for preventive control are proposed and discussed. The failure of na\"{i}ve voltage stability criteria is demonstrated and new voltage stability criteria is proposed. Some of the new solutions of load flow equations are proved to be stable and/or acceptable to the EN 50610 voltage fluctuation standard.


title: Whitney Forms for Spherical Triangles I: The Euler, Cagnoli, and Tuynman Area Formulas, Barycentric Coordinates, and Construction with the Exterior Calculus

abstract: We establish the equivalence of the Tuynman midpoint area formula for a spherical triangle to the classical area formulas of Euler and of Cagnoli. The derivation also yields a variant of the Cagnoli formula in terms of the medial triangle. We introduce the three barycentric coordinates of a point within the spherical triangle as area ratios which sum to unity. The barycentric coordinates are the Whitney 0-forms, scalar functions over the domain of the triangle associated with each vertex. We then construct, by exterior differentiation of the barycentric coordinates, succinct expressions for the Whitney 1-forms associated with each geodesic side, or great circle arc. The Euler formula, in conjunction with that of Tuynman, facilitates the differentiation of a triangular area with respect to the position of a vertex. As both the Euler and Tuynman formulas may be expressed naturally in terms of the position vectors of the vertices on an embedded sphere, the Whitney constructions may be done in terms of vector-valued forms and without recourse to a particular projection or coordinate chart. Finally, we exhibit the Whitney 2-form of the triangle, which must be the product of a scalar function and the area 2-form of the sphere. We find an expression for this scalar function in terms of determinants of $3 \times 3$ matrices built from the vertex position vectors. It is a rational function in the Cartesian coordinates of a point. By construction it must be invariant under cyclic permutations of the three vertices, though it is not manifestly so. Also by construction the Whitney 2-form must integrate to one over the triangle. Thus the rational function is exactly integrable over its triangle when restricted to the sphere.


title: The Analytical Solution to the Temporal Broadening of a Gaussian-Shaped Radio Pulse by Multipath Scattering from a Thin Screen in the Interstellar Medium

abstract: The radio pulse from a pulsar can be temporally broadened by multipath scattering in the interstellar medium and by instrumental effects within the radio telescope. The observed pulse shape is a convolution of the intrinsic one with the impulse responses of the scattering medium and instrumentation. Until recently, common methods used to model the observed shape make assumptions regarding the intrinsic pulse shape and impulse responses, compute the convolution numerically, and solve for the pulse width and scattering timescale iteratively. An analytical solution is shown to exist for the specific case of the temporal broadening of a Gaussian-shaped pulse by a thin scattering screen. The solution is applied to multi-frequency observations of PSR B1834-10 to characterize the frequency dependence of its intrinsic pulse width and scattering timescale.


title: Probing anomalous heavy neutral Higgs bosons at the LHC II: LHC signatures

abstract: In this manuscript, we study the LHC signatures of a non-standard heavy neutral Higgs boson H at the 14 TeV LHC model-independently by taking the anomalous HVV coupling constants in the possible range obtained in our previous paper, Ref.[1]. We suggest WW scattering and VH associated production as two sensitive processes for detecting H, and the latter is more sensitive than the former. The study is at the hadron level with signals and backgrounds carefully calculated. Certain kinematic cuts are proposed to suppress the backgrounds effectively. We take several values of the heavy Higgs masses in the few hundred GeV range as examples. We show that, in VH associated production, the invariant mass distribution M(J_1,J_2) of the final state jets can show a clear peak at M(J_1,J_2)=M_H with reasonable integrated luminosity. Finally, we propose several detectable observables from which the values of the anomalous coupling constants f_W and f_WW can be measured experimentally.


title: Wide field-of-view Cherenkov telescope for the detection of cosmic rays in coincidence with the Yakutsk extensive air shower array

abstract: The Yakutsk array group is developing a wide field-of-view Cherenkov telescope to be operated in coincidence with the surface detectors of the extensive air shower array. Currently, the engineering prototype of the reflecting telescope with the front-end electronics is designed, assembled, and tested to demonstrate the feasibility of the conceived instrument. The status and specifications of the prototype telescope are presented, as well as the modernization program of the already existing Cherenkov light detectors subset of the array measuring ultra-high energy cosmic rays.


title: The Quaternion Group as a Symmetry Group

abstract: We briefly review the distinction between abstract groups and symmetry groups of objects, and discuss the question of which groups have appeared as the symmetry groups of physical objects. To our knowledge, the quaternion group (a beautiful group with eight elements) has not appeared in this fashion. We describe the quaternion group, both formally and intuitively, and give our strategy for representing the quaternion group as the symmetry group of a physical sculpture.


title: ALMA Observations of Nearby Luminous Infrared Galaxies with Various AGN Energetic Contributions Using Dense Gas Tracers

abstract: We present the results of our ALMA Cycle 0 observations, using HCN/HCO+/HNC J=4-3 lines, of six nearby luminous infrared galaxies with various energetic contributions from active galactic nuclei (AGNs) estimated from previous infrared spectroscopy. These lines are very effective for probing the physical properties of high-density molecular gas around the hidden energy sources in the nuclear regions of these galaxies. We find that HCN to HCO+ J=4-3 flux ratios tend to be higher in AGN-important galaxies than in starburst-dominated regions, as was seen at the J=1-0 transition, while there is no clear difference in the HCN-to-HNC J=4-3 flux ratios among observed sources. A galaxy with a starburst-type infrared spectral shape and very large molecular line widths shows a high HCN-to-HCO+ J=4-3 flux ratio, which could be due to turbulence-induced heating. We propose that enhanced HCN J=4-3 emission relative to HCO+ J=4-3 could be used to detect more energetic activity than normal starbursts, including deeply buried AGNs, in dusty galaxy populations.


title: Doublon Dynamics of the Hubbard Model on Triangular Lattice

abstract: We study the dynamics of doublon in the half-filled Hubbard model on the triangular lattice by using the cellular dynamical mean field theory. Investigating the nearest-neighbor dynamical correlations, we demonstrate that a nearest-neighbor doublon-holon pair shows a strong attraction, in particular in the insulating phase. We also calculate the on-site dynamical correlation of doublon and find that the life time of doublon is longer in the metallic phase than in the insulating phase. In the long-time region, the metallic phase has persistent fluctuations in various nearest-neighbor configurations, while the fluctuations are vanishingly small in the insulating phase. Obtained results indicate clear differences of dynamics of doublon between in the metallic and in the insulating phases.


title: Complementary Constraints on Light Dark Matter from Heavy Quarkonium Decays

abstract: We investigate constraints on the properties of light dark matter which can be obtained from analysis of invisible quarkonium decays at high intensity electron-positron colliders in the framework of a low energy effective field theory. A matrix element analysis of all contact operators pertinent for these meson decays allows for a model-independent calculation of associated dark matter-nucleon scattering and dark matter annihilation cross sections. Assuming dark matter couples universally to all quark flavors, we then obtain bounds on nucleon scattering which complement direct dark matter detection searches. In contrast to similar analyses of monojet searches at high energy colliders, B and charm factories are more suitable probes of light dark matter interactions with less massive mediators. Relevant bounds on dark matter annihilation arising from gamma ray searches of dwarf spheroidal galaxies are also presented.


title: On an inequality concerning the polar derivative of a polynomial with restricted zeros

abstract: Let $D_\alpha P(z)=nP(z)+(\alpha-z)P^{\prime}(z)$ denote the polar derivative of a polynomial $P(z)$ of degree $n$ with respect to a point $\alpha\in\mathbb{C}.$ In this paper, we present a correct proof, independent of Laguerre's theorem, of an inequality concerning the polar derivative of a polynomial with restricted zeros recently formulated by K. K. Dewan, Naresh Singh, Abdullah Mir, [Extensions of some polynomial inequalities to the polar derivative, \emph{J. Math. Anal. Appl.,} \textbf{352} (2009) 807-815].


title: General proof of (maximum) entropy principle in Lovelock gravity

abstract: We consider a static self-gravitating perfect fluid system in Lovelock gravity theory. For a spacial region on the hypersurface orthogonal to static Killing vector, by the Tolman's law of temperature, the assumption of a fixed total particle number inside the spacial region, and all of the variations (of relevant fields) in which the induced metric and its first derivatives are fixed on the boundary of the spacial region, then with the help of the gravitational equations of the theory, we can prove a theorem says that the total entropy of the fluid in this region takes an extremum value. A converse theorem can also be obtained following the reverse process of our proof. We also propose the definition of isolation quasi-locally for the system and explain the physical meaning of the boundary conditions in the proof of the theorems.


title: The Dafny Integrated Development Environment

abstract: In recent years, program verifiers and interactive theorem provers have become more powerful and more suitable for verifying large programs or proofs. This has demonstrated the need for improving the user experience of these tools to increase productivity and to make them more accessible to non-experts. This paper presents an integrated development environment for Dafny-a programming language, verifier, and proof assistant-that addresses issues present in most state-of-the-art verifiers: low responsiveness and lack of support for understanding non-obvious verification failures. The paper demonstrates several new features that move the state-of-the-art closer towards a verification environment that can provide verification feedback as the user types and can present more helpful information about the program or failed verifications in a demand-driven and unobtrusive way.


title: Who watches the watchers: Validating the ProB Validation Tool

abstract: Over the years, ProB has moved from a tool that complemented proving, to a development environment that is now sometimes used instead of proving for applications, such as exhaustive model checking or data validation. This has led to much more stringent requirements on the integrity of ProB. In this paper we present a summary of our validation efforts for ProB, in particular within the context of the norm EN 50128 and safety critical applications in the railway domain.


title: Teaching Formal Methods and Discrete Mathematics

abstract: Despite significant advancements in the conception of (formal) integrated development environments, applying formal methods in software industry is still perceived as a difficult task. To make the task easier, providing tools that help during the development cycle is essential but we think that education of computer scientists and software engineers is also an important challenge to take up. Indeed, we believe that formal methods courses do not appear sufficiently early in compter science curricula and thus are not widely used and perceived as a valid professional skill. In this paper, we claim that teaching formal methods could be done at the undergraduate level by mixing formal methods and discrete mathematics courses and we illustrate such an approach with a small develop- ment within FoCaLiZe. We also believe that this could considerably benefit the learning of discrete mathematics.


title: SPEEDY: An Eclipse-based IDE for invariant inference

abstract: SPEEDY is an Eclipse-based IDE for exploring techniques that assist users in generating correct specifications, particularly including invariant inference algorithms and tools. It integrates with several back-end tools that propose invariants and will incorporate published algorithms for inferring object and loop invariants. Though the architecture is language-neutral, current SPEEDY targets C programs. Building and using SPEEDY has confirmed earlier experience demonstrating the importance of showing and editing specifications in the IDEs that developers customarily use, automating as much of the production and checking of specifications as possible, and showing counterexample information directly in the source code editing environment. As in previous work, automation of specification checking is provided by back-end SMT solvers. However, reducing the effort demanded of software developers using formal methods also requires a GUI design that guides users in writing, reviewing, and correcting specifications and automates specification inference.


title: Experience in using a typed functional language for the development of a security application

abstract: In this paper we present our experience in developing a security application using a typed functional language. We describe how the formal grounding of its semantic and compiler have allowed for a trustworthy development and have facilitated the fulfillment of the security specification.


title: FoCaLiZe: Inside an F-IDE

abstract: For years, Integrated Development Environments have demonstrated their usefulness in order to ease the development of software. High-level security or safety systems require proofs of compliance to standards, based on analyses such as code review and, increasingly nowadays, formal proofs of conformance to specifications. This implies mixing computational and logical aspects all along the development, which naturally raises the need for a notion of Formal IDE. This paper examines the FoCaLiZe environment and explores the implementation issues raised by the decision to provide a single language to express specification properties, source code and machine-checked proofs while allowing incremental development and code reusability. Such features create strong dependencies between functions, properties and proofs, and impose an particular compilation scheme, which is described here. The compilation results are runnable OCaml code and a checkable Coq term. All these points are illustrated through a running example.


title: OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse

abstract: OpenJML is a tool for checking code and specifications of Java programs. We describe our experience building the tool on the foundation of JML, OpenJDK and Eclipse, as well as on many advances in specification-based software verification. The implementation demonstrates the value of integrating specification tools directly in the software development IDE and in automating as many tasks as possible. The tool, though still in progress, has now been used for several college-level courses on software specification and verification and for small-scale studies on existing Java programs.


title: Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB

abstract: We present the implementation of pyB, a predicate - and expression - checker for the B language. The tool is to be used for a secondary tool chain for data validation and data generation, with ProB being used in the primary tool chain. Indeed, pyB is an independent cleanroom-implementation which is used to double-check solutions generated by ProB, an animator and model-checker for B specifications. One of the major goals is to use ProB together with pyB to generate reliable outputs for high-integrity safety critical applications. Although pyB is still work in progress, the ProB/pyB toolchain has already been successfully tested on various industrial B machines and data validation tasks.


title: The assertive profile of the Bulgarian students in computer science and computer engineering

abstract: Different points of view on the nature and content of the assertiveness are followed in this paper. The main purpose is to study the assertive profile of Bulgarian students in computer science and computer engineering by analyzing the components of assertiveness. Research was performed using testing methods. It was found that the level of expressivity of this personal quality among subjects were above-average level.


title: A priori estimates and Blow-up behavior for solutions of $-Q_{N}u=Ve^{u}$ in bounded domain in $\mathbb{R}^{N}$

abstract: Let $Q_{N}$ be $N$-anisotropic Laplacian operator, which contains the ordinary Laplacian operator, $N$-Laplacian operator and anisotropic Laplacian operator. In this paper, we firstly obtain the properties for $Q_{N}$, which contain the weak maximal principle, the comparison principle and the mean value property. Then a priori estimates and blow-up analysis for solutions of $-Q_{N}u=Ve^{u}$ in bounded domain in $\mathbb{R}^{N}$, $N\geq 2$ are established. Finally, the behavior of sole blow-up point is further considered.


title: Implementation of Sensor Network using Efficient CAN Interface

abstract: Sensors monitored by centralized system, that may be used for controlling and monitoring industrial parameters (Temp, Pressure, Speed, Torque) by using CAN interface. In this paper we presents a comprehensive overview of controller area networks, their architecture, protocol, and standards. Also, this paper gives an overview of CAN applications, in both the industrial and nonindustrial fields. Due to CAN reliability, efficiency and robustness, we also propose the extension of CAN applications to sensor network. In this paper, a framework of sensor network for monitoring industrial parameters is explained where sensors are physically distributed and CAN is used to exchange system information. CAN (Controller Area Network) is a high integrity serial bus protocol that is designed to operate at high speeds ranging from 20kbit/s to 1Mbit/s which provide an efficient, reliable and very economical link


title: Reducing Clocks in Timed Automata while Preserving Bisimulation

abstract: Model checking timed automata becomes increasingly complex with the increase in the number of clocks. Hence it is desirable that one constructs an automaton with the minimum number of clocks possible. The problem of checking whether there exists a timed automaton with a smaller number of clocks such that the timed language accepted by the original automaton is preserved is known to be undecidable. In this paper, we give a construction, which for any given timed automaton produces a timed bisimilar automaton with the least number of clocks. Further, we show that such an automaton with the minimum possible number of clocks can be constructed in time that is doubly exponential in the number of clocks of the original automaton.


title: The Oblivious Transfer Capacity of the Wiretapped Binary Erasure Channel

abstract: We consider oblivious transfer between Alice and Bob in the presence of an eavesdropper Eve when there is a broadcast channel from Alice to Bob and Eve. In addition to the secrecy constraints of Alice and Bob, Eve should not learn the private data of Alice and Bob. When the broadcast channel consists of two independent binary erasure channels, we derive the oblivious transfer capacity for both 2-privacy (where the eavesdropper may collude with either party) and 1-privacy (where there are no collusions).


title: QCD Critical Point: The Race is On

abstract: A critical point in the phase diagram of Quantum Chromodynamics (QCD), if established either theoretically or experimentally, would be as profound a discovery as the good-old gas-liquid critical point. Unlike the latter, however, first-principles based approaches are being employed to locate it theoretically. Due to the short lived nature of the concerned phases, novel experimental techniques are needed to search for it. The Relativistic Heavy Ion Collider (RHIC) in USA has an experimental program to do so. This short review is an attempt to provide a glimpse of the race between the theorists and the experimentalists as well as that of the synergy between them.


title: Experimental demonstration of spinor slow light

abstract: Slow light based on the effect of electromagnetically induced transparency is of great interest due to its applications in low-light-level nonlinear optics and quantum information manipulation. The previous experiments all dealt with the single-component slow light. Here we report the experimental demonstration of two-component or spinor slow light using a double tripod atom-light coupling scheme. The scheme involves three atomic ground states coupled to two excited states by six light fields. The oscillation due to the interaction between the two components was observed. Based on the stored light, our data showed that the double tripod scheme behaves like the two outcomes of an interferometer enabling precision measurements of frequency detuning. We experimentally demonstrated a possible application of the double tripod scheme as quantum memory/rotator for the two-color qubit. Our study also suggests that the spinor slow light is a better method than a widely-used scheme in the nonlinear frequency conversion.

categories: quant-ph cond-mat.other physics.atom-ph physics.optics


title: Faithfulness and learning hypergraphs from discrete distributions

abstract: The concepts of faithfulness and strong-faithfulness are important for statistical learning of graphical models. Graphs are not sufficient for describing the association structure of a discrete distribution. Hypergraphs representing hierarchical log-linear models are considered instead, and the concept of parametric (strong-) faithfulness with respect to a hypergraph is introduced. Strong-faithfulness ensures the existence of uniformly consistent parameter estimators and enables building uniformly consistent procedures for a hypergraph search. The strength of association in a discrete distribution can be quantified with various measures, leading to different concepts of strong-faithfulness. Lower and upper bounds for the proportions of distributions that do not satisfy strong-faithfulness are computed for different parameterizations and measures of association.


title: New Spectroscopy with Charm and Beauty Multiquark States

abstract: Exotic charmonium and bottonomium resonances recently discovered are discussed and interpreted as diquark-antidiquark states containing a pair of charm quarks and a pair of light, up and down, quarks. Successes, shortcomings and predictions of the model are illustrated.


title: On the classification of fractal squares

abstract: In \cite{LaLuRa13}, the authors completely classified the topological structure of so called {\it fractal square} $F$ defined by $F=(F+{\mathcal D})/n$, where ${\mathcal{D}}\subsetneq\{0,1,\dots,n-1\}^2, n\ge 2$. In this paper, we further provide simple criteria for the $F$ to be totally disconnected, then we discuss the Lipschitz classification of $F$ in the case $n=3$, which is an attempt to consider non-totally disconnected sets.


title: Fulcrum Network Codes: A Code for Fluid Allocation of Complexity

abstract: This paper proposes Fulcrum network codes, a network coding framework that achieves three seemingly conflicting objectives: (i) to reduce the coding coefficient overhead to almost n bits per packet in a generation of n packets; (ii) to operate the network using only GF(2) operations at intermediate nodes if necessary, dramatically reducing complexity in the network; (iii) to deliver an end-to-end performance that is close to that of a high-field network coding system for high-end receivers while simultaneously catering to low-end receivers that decode in GF(2). As a consequence of (ii) and (iii), Fulcrum codes have a unique trait missing so far in the network coding literature: they provide the network with the flexibility to spread computational complexity over different devices depending on their current load, network conditions, or even energy targets in a decentralized way. At the core of our framework lies the idea of precoding at the sources using an expansion field GF(2h) to increase the number of dimensions seen by the network using a linear mapping. Fulcrum codes can use any high-field linear code for precoding, e.g., Reed-Solomon, with the structure of the precode determining some of the key features of the resulting code. For example, a systematic structure provides the ability to manage heterogeneous receivers while using the same data stream. Our analysis shows that the number of additional dimensions created during precoding controls the trade-off between delay, overhead, and complexity. Our implementation and measurements show that Fulcrum achieves similar decoding probability as high field Random Linear Network Coding (RLNC) approaches but with encoders/decoders that are an order of magnitude faster.


title: Almost periodic solutions for stochastic differential equations with exponential dichotomy driven by Levy noise

abstract: In this paper, we study almost periodic solutions for semilinear stochastic differential equations driven by L\'{e}vy noise with exponential dichotomy property. Under suitable conditions on the coefficients, we obtain the existence and uniqueness of bounded solutions. Furthermore, this unique bounded solution is almost periodic in distribution under slightly stronger conditions. We also give two examples to illustrate our results.


title: Tuning a magnetic Feshbach resonance with spatially modulated laser light

abstract: We theoretically investigate the control of a magnetic Feshbach resonance using a bound-to-bound molecular transition driven by spatially modulated laser light. Due to the spatially periodic coupling between the ground and excited molecular states, there exists a band structure of bound states, which can uniquely be characterized by some extra bumps in radio-frequency spectroscopy. With the increasing of coupling strength, the series of bound states will cross zero energy and directly result in a number of scattering resonances, whose position and width can be conveniently tuned by the coupling strength of the laser light and the applied magnetic field (i.e., the detuning of the ground molecular state). In the presence of the modulated laser light, universal two-body bound states near zero-energy threshold still exist. However, compared with the case without modulation, the regime for such universal states is usually small. An unified formula which embodies the influence of the modulated coupling on the resonance width is given. The spatially modulated coupling also implies a local spatially varying interaction between atoms. Our work proposes a practical way of optically controlling interatomic interactions with high spatial resolution and negligible atomic loss.


title: Landau damping effects on dust-acoustic solitary waves in a dusty negative-ion plasma

abstract: The nonlinear theory of dust-acoustic waves (DAWs) with Landau damping is studied in an unmagnetized dusty negative-ion plasma in the extreme conditions when the free electrons are absent. The cold massive charged dusts are described by fluid equations, whereas the two-species of ions (positive and negative) are described by the kinetic Vlasov equations. A Korteweg de-Vries (KdV) equation with Landau damping, governing the dynamics of weakly nonlinear and weakly dispersive DAWs, is derived following Ott and Sudan [Phys. Fluids {\bf 12}, 2388 (1969)]. It is shown that for some typical laboratory and space plasmas, the Landau damping (and the nonlinear) effects are more pronounced than the finite Debye length (dispersive) effects for which the KdV soliton theory is not applicable to DAWs in dusty pair-ion plasmas. The properties of the linear phase velocity, solitary wave amplitudes (in presence and absence of the Landau damping) as well as the Landau damping rate are studied with the effects of the positive ion to dust density ratio $(\mu_{pd})$ as well as the ratios of positive to negative ion temperatures $(\sigma)$ and masses $(m)$.


title: Exponential Splines and Pseudo-Splines: Generation versus reproduction of exponential polynomials

abstract: Subdivision schemes are iterative methods for the design of smooth curves and surfaces. Any linear subdivision scheme can be identified by a sequence of Laurent polynomials, also called subdivision symbols, which describe the linear rules determining successive refinements of coarse initial meshes. One important property of subdivision schemes is their capability of exactly reproducing in the limit specific types of functions from which the data is sampled. Indeed, this property is linked to the approximation order of the scheme and to its regularity. When the capability of reproducing polynomials is required, it is possible to define a family of subdivision schemes that allows to meet various demands for balancing approximation order, regularity and support size. The members of this family are known in the literature with the name of pseudo-splines. In case reproduction of exponential polynomials instead of polynomials is requested, the resulting family turns out to be the non-stationary counterpart of the one of pseudo-splines, that we here call the family of exponential pseudo-splines. The goal of this work is to derive the explicit expressions of the subdivision symbols of exponential pseudo-splines and to study their symmetry properties as well as their convergence and regularity.


title: The Chiral Index of the Fermionic Signature Operator

abstract: We define an index of the fermionic signature operator on even-dimensional globally hyperbolic spin manifolds of finite lifetime. The invariance of the index under homotopies is studied. The definition is generalized to causal fermion systems with a chiral grading. We give examples of space-times and Dirac operators thereon for which our index is non-trivial.


title: Nagoya Termination Tool

abstract: This paper describes the implementation and techniques of the Nagoya Termination Tool, a termination prover for term rewrite systems. The main features of the tool are: the first implementation of the weighted path order which subsumes most of the existing reduction pairs, and the efficiency due to the strong cooperation with external SMT solvers. We present some new ideas that contribute to the efficiency and power of the tool.


title: Non-equilibrium Statistical Approach to Friction Models

abstract: A geometric approach to the friction phenomena is presented. It is based on the holographic view which has recently been popular in the theoretical physics community. We see the system in one-dimension-higher space. The heat-producing phenomena are most widely treated by using the non-equilibrium statistical physics. We take 2 models of the earthquake. The dissipative systems are here formulated from the geometric standpoint. The statistical fluctuation is taken into account by using the (generalized) Feynman's path-integral.


title: A region segmentation based algorithm for building crystal position lookup table in scintillation detector

abstract: In scintillation detector, scintillation crystals are typically made into 2-dimension modular array. The location of incident gamma-ray need be calibrated due to spatial response nonlinearity. Generally, position histograms, the characteristic flood response of scintillation detectors, are used for position calibration. In this paper, a position calibration method based on crystal position lookup table which maps the inaccurate location calculated by Anger logic to the exact hitting crystal position has been proposed, Firstly, position histogram is segmented into disconnected regions. Then crystal marking points are labeled by finding the centroids of regions. Finally, crystal boundaries are determined and crystal position lookup table is generated. The scheme is evaluated by the whole-body PET scanner and breast dedicated SPECT detector developed by Institute of High Energy Physics, Chinese Academy of Sciences. The results demonstrate that the algorithm is accurate, efficient, robust and general purpose.


title: The 3+1 decomposition of Conformal Yano-Killing tensors and "momentary" charges for spin-2 field

abstract: The "fully charged" spin-2 field solution is presented. This is an analog of the Coulomb solution in electrodynamics and represents the "non-waving" part of the spin-2 field theory. Basic facts and definitions of the spin--2 field and conformal Yano-Killing tensors are introduced. Application of those two objects provides a precise definition of quasi-local gravitational charge. Next, the 3+1 decomposition leads to the construction of the momentary gravitational charges on initial surface which is applicable for Schwarzschild-like spacetimes.


title: Fluctuations of isolated and confined surface steps of monoatomic height

abstract: The temporal evolution of equilibrium fluctuations for surface steps of monoatomic height is analyzed studying one-dimensional solid-on-solid models. Using Monte Carlo simulations, fluctuations due to periphery-diffusion (PD) as well as due to evaporation-condensation (EC) are considered, both for isolated steps and steps confined by the presence of straight steps. For isolated steps, the dependence of the characteristic power-laws, their exponents and prefactors, on temperature, slope, and curvature is elucidated, with the main emphasis on PD, taking into account finite-size effects. The entropic repulsion due to a second straight step may lead, among others, to an interesting transient power-law like growth of the fluctuations, for PD. Findings are compared to results of previous Monte Carlo simulations and predictions based, mostly, on scaling arguments and Langevin theory.


title: Notes on modular representations of $p$-adic groups, and the Langlands correspondence

abstract: These are expanded notes of some lectures given by the author for a workshop held at the Indian Statistical Institute, Bangalore in June, 2010, giving an exposition on the modular representations of finite groups of Lie type and $p$-adic groups, and the modular Langlands correspondence. These notes give an overview of the subject with several examples.


title: Complexity of Atoms, Combinatorially

abstract: Atoms of a (regular) language $L$ were introduced by Brzozowski and Tamm in 2011 as intersections of complemented and uncomplemented quotients of $L$. They derived tight upper bounds on the complexity of atoms in 2013. In 2014, Brzozowski and Davies characterized the regular languages meeting these bounds. To achieve these results, they used the so-called "atomaton" of a language, introduced by Brzozowski and Tamm in 2011. In this note we give an alternative proof of their characterization, via a purely combinatorial approach.


title: Substitution principle for CLT of linear spectral statistics of high-dimensional sample covariance matrices with applications to hypothesis testing

abstract: Sample covariance matrices are widely used in multivariate statistical analysis. The central limit theorems (CLT's) for linear spectral statistics of high-dimensional non-centered sample covariance matrices have received considerable attention in random matrix theory and have been applied to many high-dimensional statistical problems. However, known population mean vectors are assumed for non-centered sample covariance matrices, some of which even assume Gaussian-like moment conditions. In fact, there are still another two most frequently used sample covariance matrices: the MLE (by subtracting the sample mean vector from each sample vector) and the unbiased sample covariance matrix (by changing the denominator $n$ as $N=n-1$ in the MLE) without depending on unknown population mean vectors. In this paper, we not only establish new CLT's for non-centered sample covariance matrices without Gaussian-like moment conditions but also characterize the non-negligible differences among the CLT's for the three classes of high-dimensional sample covariance matrices by establishing a {\em substitution principle}: substitute the {\em adjusted} sample size $N=n-1$ for the actual sample size $n$ in the major centering term of the new CLT's so as to obtain the CLT of the unbiased sample covariance matrices. Moreover, it is found that the difference between the CLT's for the MLE and unbiased sample covariance matrix is non-negligible in the major centering term although the two sample covariance matrices only have differences $n$ and $n-1$ on the dominator. The new results are applied to two testing problems for high-dimensional data.


title: On definably proper maps

abstract: In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in the category of definable spaces. We give several other characterizations of definably proper including one involving the existence of limits of definable types. We also prove the basic properties of definably proper maps and the invariance of definably proper in elementary extensions and o-minimal expansions.


title: Greedy Block Coordinate Descent (GBCD) Method for High Dimensional Quadratic Programs

abstract: High dimensional unconstrained quadratic programs (UQPs) involving massive datasets are now common in application areas such as web, social networks, etc. Unless computational resources that match up to these datasets are available, solving such problems using classical UQP methods is very difficult. This paper discusses alternatives. We first define high dimensional compliant (HDC) methods for UQPs---methods that can solve high dimensional UQPs by adapting to available computational resources. We then show that the class of block Kaczmarz and block coordinate descent (BCD) are the only existing methods that can be made HDC. As a possible answer to the question of the `best' amongst BCD methods for UQP, we propose a novel greedy BCD (GBCD) method with serial, parallel and distributed variants. Convergence rates and numerical tests confirm that the GBCD is indeed an effective method to solve high dimensional UQPs. In fact, it sometimes beats even the conjugate gradient.


title: Self-interaction model of classical point particle in one-dimension

abstract: We consider a hamiltonian system on the real line, consisting of real scalar field $\phi(x,t)$ and point particle with trajectory $y(t)$. The dynamics of this system is defined by the system of two equations: wave equation for the field, <<radiated>> by the point particle, and Newton's equation for the particle in its own field. We find the solution where the particle is strongly damped, but the kinetic and interaction energies of the field increase linearly in time, in despite of the full energy conservation.


title: Braided and Knotted Stocks in the Stock Market: Anticipating the flash crashes

abstract: A simple and elegant arrangement of stock components of a portfolio (market index-DJIA) in a recent paper [1], has led to the construction of crossing of stocks diagram. The crossing stocks method revealed hidden remarkable algebraic and geometrical aspects of stock market. The present paper continues to uncover new mathematical structures residing from crossings of stocks diagram by introducing topological properties stock market is endowed with. The crossings of stocks are categorized as overcrossings and undercrossings and interpreted as generators of braid that stocks form in the process of prices quotations in the market. Topological structure of the stock market is even richer if the closure of stocks braid is considered, such that it forms a knot. To distinguish the kind of knot that stock market forms, Alexander-Conway polynomial and the Jones polynomials are calculated for some knotted stocks. These invariants of knots are important for the future practical applications topological stock market might have. Such application may account of the relation between Jones polynomial and phase transition statistical models to provide a clear way to anticipate the transition of financial markets to the phase that leads to crisis. The resemblance between braided stocks and logic gates of topological quantum computers could quantum encode the stock market behavior.


title: Equivalence of Non-Equilibrium Ensembles and Representation of Friction in Turbulent Flows: The Lorenz 96 Model

abstract: We construct different equivalent non-equilibrium statistical ensembles in a simple yet instructive $N$-degrees of freedom model of atmospheric turbulence, introduced by Lorenz in 1996. The vector field can be decomposed into an energy-conserving, time-reversible part, plus a non-time reversible part, including forcing and dissipation. We construct a modified version of the model where viscosity varies with time, in such a way that energy is conserved, and the resulting dynamics is fully time-reversible. For each value of the forcing, the statistical properties of the irreversible and reversible model are in excellent agreement, if in the latter the energy is kept constant at a value equal to the time-average realized with the irreversible model. In particular, the average contraction rate of the phase space of the time-reversible model agrees with that of the irreversible model, where instead it is constant by construction. We also show that the phase space contraction rate obeys the fluctuation relation, and we relate its finite time corrections to the characteristic time scales of the system. A local version of the fluctuation relation is explored and successfully checked. The equivalence between the two non-equilibrium ensembles extends to dynamical properties such as the Lyapunov exponents, which are shown to obey to a good degree of approximation a pairing rule. These results have relevance in motivating the importance of the chaotic hypothesis. in explaining that we have the freedom to model non-equilibrium systems using different but equivalent approaches, and, in particular, that using a model of a fluid where viscosity is kept constant is just one option, and not necessarily the only option, for describing accurately its statistical and dynamical properties.

categories: cond-mat.stat-mech nlin.CD physics.comp-ph physics.flu-dyn


title: Lichnerowicz-Type Theorems for Self-gravitating Systems with Nonlinear Electromagnetic Fields

abstract: We consider a self-gravitating system containing a globally timelike Killing vector and a nonlinear Born-Infeld electromagnetic field and scalar fields. We prove that under certain boundary conditions (asymptotically flat/AdS) there can't be any nontrivial field configurations in the spacetime. To explore nontrivial solutions one should break any of the conditions we imposed. The case with another type of nonlinear electromagnetic field is also analyzed, and similar conclusions have been obtained under certain conditions.


title: Estimation of positive definite M-matrices and structure learning for attractive Gaussian Markov Random fields

abstract: Consider a random vector with finite second moments. If its precision matrix is an M-matrix, then all partial correlations are non-negative. If that random vector is additionally Gaussian, the corresponding Markov random field (GMRF) is called attractive. We study estimation of M-matrices taking the role of inverse second moment or precision matrices using sign-constrained log-determinant divergence minimization. We also treat the high-dimensional case with the number of variables exceeding the sample size. The additional sign-constraints turn out to greatly simplify the estimation problem: we provide evidence that explicit regularization is no longer required. To solve the resulting convex optimization problem, we propose an algorithm based on block coordinate descent, in which each sub-problem can be recast as non-negative least squares problem. Illustrations on both simulated and real world data are provided.


title: Fe clusters (Fe$_n$, n=1-6) chemisorbed on vacancy defects in graphene: Stability, spin-dipole moment and magnetic anisotropy

abstract: In this work, we have studied the chemical and magnetic interactions of Fe$_n$ ; n=1-6 clusters with vacancy defects (monovacancy to correlated vacancies with six missing C atoms) in a graphene sheet by ab-initio density functional calculations combined with Hubbard U corrections for correlated Fe- d electrons. It is found that the vacancy formation energies are lowered in the presence of Fe, indicating an easier destruction of the graphene sheet. Due to strong chemical interactions between Fe clusters and vacancies, a complex distribution of magnetic moments appear on the distorted Fe clusters which results in reduced averaged magnetic moments compared to the free clusters. In addition to that, we have calculated spin-dipole moments and magnetic anisotropy energies. The calculated spin-dipole moments arising from anisotropic spin density distributions, vary between positive and negative values, yielding increased or decreased effective moments. Depending on the cluster geometry, the easy axis of magnetization of the Fe clusters shows in-plane or out-of-plane behavior.


title: Improved f_{D*_(s)}, f_{B*_(s)} and f_{B_c} from QCD Laplace sum rules

abstract: Anticipating future precise measurements of the D- and B-like (semi-)leptonic and hadronic decays for alternative determinations of the CKM mixing angles, we pursue our program on the D- and B-like mesons by improving the estimates of f_{D*_(s)} and f_{B*_(s)} (analogue to f_\pi) by using the well-established (inverse) Laplace sum rules (LSR) and / or their suitable ratios less affected by the systematics, which are known to N2LO pQCD and where the complete d = 6 non-perturbative condensate contributions are included. The convergence of the PT series is analyzed by an estimate of the N3LO terms based on geometric growth of the coefficients. In addition to the standard LSR variable {\tau} and the QCD continuum threshold t_c stability criteria, we extract our optimal results by also requiring stability on the variation of the arbitrary QCD subtraction point {\mu}. We complete the analysis by a direct estimate of f_{B_c}. Our results summarized in Tables III and IV are compared with some other recent estimates.


title: Confined polymers in the extended de Gennes regime

abstract: We show that the problem of describing the conformations of a semiflexible polymer confined to a channel can be mapped onto an exactly solvable model in the so-called extended de Gennes regime. This regime (where the polymer is neither weakly nor strongly confined) has recently been studied intensively experimentally and by means of computer simulations. The exact solution predicts precisely how the conformational fluctuations depend upon the channel width and upon the microscopic parameters characterising the physical properties of the polymer.


title: Gravity-related spontaneous collapse in bulk matter

abstract: In the DP-model, gravity-related spontaneous wave function collapses suppress undesirable Schr\"odinger Cat states. We derive the equations of the model for the hydrodynamic-elastic (acoustic) modes in a bulk. Two particular features are discussed: the universal dominance of spontaneous collapses at large wavelengths, and the reduction of spontaneous heating by a slight refinement of the DP-model.


title: Space-Time Storage Codes for Wireless Distributed Storage Systems

abstract: Distributed storage systems (DSSs) have gained a lot of interest recently, thanks to their robustness and scalability compared to single-device storage. Majority of the related research has exclusively concerned the network layer. At the same time, the number of users of, e.g., peer-to-peer (p2p) and device-to-device (d2d) networks as well as proximity based services is growing rapidly, and the mobility of users is considered more and more important. This motivates, in contrast to the existing literature, the study of the physical layer functionality of wireless distributed storage systems. In this paper, we take the first step towards protecting the storage repair transmissions from physical layer errors when the transmission takes place over a fading channel. To this end, we introduce the notion of a space-time storage code, drawing together the aspects of network layer and physical layer functionality and resulting in cross-layer robustness. It is also pointed out that existing space-time codes are too complex to be utilized in storage networks when the number of helpers involved is larger than the number of receive antennas at the newcomer or data collector, hence creating a call for less complex transmission protocols.


title: On the Brauer groups of symmetries of abelian Dijkgraaf-Witten theories

abstract: Symmetries of three-dimensional topological field theories are naturally defined in terms of invertible topological surface defects. Symmetry groups are thus Brauer-Picard groups. We present a gauge theoretic realization of all symmetries of abelian Dijkgraaf-Witten theories. The symmetry group for a Dijkgraaf-Witten theory with gauge group a finite abelian group $A$, and with vanishing 3-cocycle, is generated by group automorphisms of $A$, by automorphisms of the trivial Chern-Simons 2-gerbe on the stack of $A$-bundles, and by partial e-m dualities. We show that transmission functors naturally extracted from extended topological field theories with surface defects give a physical realization of the bijection between invertible bimodule categories of a fusion category and braided auto-equivalences of its Drinfeld center. The latter provides the labels for bulk Wilson lines; it follows that a symmetry is completely characterized by its action on bulk Wilson lines.


title: The interpolation method for random graphs with prescribed degrees

abstract: We consider large random graphs with prescribed degrees, such as those generated by the configuration model. In the regime where the empirical degree distribution approaches a limit $\mu$ with finite mean, we establish the systematic convergence of a broad class of graph parameters that includes in particular the independence number, the maximum cut size and the log-partition function of the antiferromagnetic Ising and Potts models. The corresponding limits are shown to be Lipschitz and concave functions of $\mu$. Our work extends the applicability of the celebrated interpolation method, introduced in the context of spin glasses, and recently related to the fascinating problem of right-convergence of sparse graphs.


title: Minimal quasi-stationary distribution approximation for a birth and death process

abstract: In a first part, we prove a Lyapunov-type criterion for the $\xi\_1$-positive recurrence of absorbed birth and death processes and provide new results on the domain of attraction of the minimal quasi-stationary distribution. In a second part, we study the ergodicity and the convergence of a Fleming-Viot type particle system whose particles evolve independently as a birth and death process and jump on each others when they hit $0$. Our main result is that the sequence of empirical stationary distributions of the particle system converges to the minimal quasi-stationary distribution of the birth and death process.


title: On the large values of the Riemann zeta-function on short segments of the critical line

abstract: In this paper, we obtain a series of new conditional lower bounds for the modulus and the argument of the Riemann zeta function on very short segments of the critical line, based on the Riemann hypothesis. In particular, the conditional solution of one problem of A.A.Karatsuba is given. Some typos of the previous versions are corrected (in particular, the important remark of Prof. Yan Fyodorov is taken into account). The reference to the grant of Russian Scientific Fund is also added.


title: Darmon points on elliptic curves over number fields of arbitrary signature

abstract: We present new constructions of complex and p-adic Darmon points on elliptic curves over base fields of arbitrary signature. We conjecture that these points are global and present numerical evidence to support our conjecture.


title: Disentangle the nature of resonances in coupled-channel models

abstract: We present several possible hadronic states found in coupled-channel models within the on-shell approximation. The interaction potential is constructed as a sum of the tree-level Feynman diagrams calculated with the effective Lagrangians. Based on the recent empirical data, we illustrate the possible existence of several baryonic and mesonic states with definite quantum numbers in the model. We give their properties for the purpose of further study and discuss the potential of finding them in future experiments.


title: Stability of the Calder\'on problem in admissible geometries

abstract: In this paper we prove log log type stability estimates for inverse boundary value problems on admissible Riemannian manifolds of dimension $n \geq 3$. The stability estimates correspond to a couple of uniqueness results by Dos Santos Ferrera, Kenig, Salo and Uhlmann. These inverse problems arise naturally when studying the anisotropic Calder\'on problem.


title: Goals and strategies in the global control design of the OAJ Robotic Observatory

abstract: There are many ways to solve the challenging problem of making a high performance robotic observatory from scratch. The Observatorio Astrof\'isico de Javalambre (OAJ) is a new astronomical facility located at the Sierra de Javalambre (Teruel, Spain) whose primary role will be to conduct all-sky astronomical surveys. The OAJ control system has been designed under a global point of view including not only astronomical subsystems but also infrastructure and other facilities. Three main factors have been considered in the design of a global control system for the robotic OAJ: quality, reliability and efficiency. We propose CIA (Control Integrated Architecture) design and OEE (Overall Equipment Effectiveness) as a key performance indicator in order to improve operation processes, minimizing resources and obtain high cost reduction maintaining quality requirements. The OAJ subsystems considered for the control integrated architecture are the following: two wide-field telescopes and their instrumentation, active optics subsystems, facilities for sky quality monitoring (seeing, extinction, sky background, sky brightness, clouds distribution, meteorological station), domes and several infrastructure facilities such as water supply, glycol water, water treatment plant, air conditioning, compressed air, LN2 plant, illumination, surveillance, access control, fire suppression, electrical generators, electrical distribution, electrical consumption, communication network, Uninterruptible Power Supply and two main control rooms, one at the OAJ and other remotely located in Teruel at 40km from the observatory, connected through a microwave radio-link. Here we present the OAJ strategy in control design to achieve maximum quality efficiency for the observatory processes and operations, giving practical examples of our approach.


title: Diversity of GRB energetics vs. SN homogeneity: supernova 2013cq associated with the gamma-ray burst 130427A

abstract: Long-duration gamma-ray bursts (GRBs) have been found to be associated with broad-lined type-Ic supernovae (SNe), but only a handful of cases have been studied in detail. Prompted by the discovery of the exceptionally bright, nearby GRB130427A (redshift z=0.3399), we aim at characterising the properties of its associated SN2013cq. This is the first opportunity to test directly the progenitors of high-luminosity GRBs. We monitored the field of the Swift long duration GRB130427A using the 3.6-m TNG and the 8.2-m VLT during the time interval between 3.6 and 51.6 days after the burst. Photometric and spectroscopic observations revealed the presence of the type Ic SN2013cq. Spectroscopic analysis suggests that SN2013cq resembles two previous GRB-SNe, SN1998bw and SN2010bh associated with GRB980425 and XRF100316D, respectively. The bolometric light curve of SN2013cq, which is significantly affected by the host galaxy contribution, is systematically more luminous than that of SN2010bh ($\sim$ 2 mag at peak), but is consistent with SN1998bw. The comparison with the light curve model of another GRB-connected SN2003dh, indicates that SN2013cq is consistent with the model when brightened by 20%. This suggests a synthesised radioactive $^{56}$Ni mass of $\sim 0.4 M_\odot$. GRB130427A/SN2013cq is the first case of low-z GRB-SN connection where the GRB energetics are extreme ($E_{\rm \gamma, iso} \sim 10^{54}$ erg). We show that the maximum luminosities attained by SNe associated with GRBs span a very narrow range, but those associated with XRFs are significantly less luminous. On the other hand the isotropic energies of the accompanying GRBs span 6 orders of magnitude (10$^{48}$ erg $< E_{\rm \gamma, iso} <$ 10$^{54}$ erg), although this range is reduced when corrected for jet collimation. The GRB total radiated energy is in fact a small fraction of the SN energy budget.


title: Solution of the Cauchy Problem for Oscillatory Equation with Delay

abstract: Ordinary differential equations of the second order with one constant delay are considered in this paper. An analytical representation of the solution is obtained using the method of steps.


title: On the symmetries of a Rikitake type system

abstract: A symplectic realization and some symmetries of a Rikitake type system are presented.


title: Cu substitution effects on the local magnetic properties of Ba(Fe_[1-x]Cu_[x])2As2: a site-selective 75-As and 63-Cu NMR study

abstract: We take advantage of the site-selective nature of the $^{75}$As and $^{63}$Cu NMR techniques to probe the Cu substitution effects on the local magnetic properties of the FeAs planes in Ba(Fe$_{1-x}$Cu$_x$)$_2$As$_2$. We show that the suppression of antiferromagnetic Fe spin fluctuations induced by Cu substitution is weaker than a naive expectation based on a simple rigid band picture, in which each Cu atom would donate 3 electrons to the FeAs planes. Comparison between $^{63}$Cu and $^{75}$As NMR data indicates that spin fluctuations are suppressed at the Cu and their neighboring Fe sites in the tetragonal phase, suggesting the strongly local nature of the Cu substitution effects. We attribute the absence of a large superconducting dome in the phase diagram of Ba(Fe$_{1-x}$Cu$_x$)$_2$As$_2$ to the emergence of a nearly magnetically ordered FeAs planes under the presence of orthorhombic distortion.


title: On the type of the temperature phase transition in O(N) models within a perturbative analysis

abstract: We investigate the type of the temperature phase transition in the $N$ component $\la \phi^4$ ($O(N)$) model of scalar fields. Actual calculations are carried out in the beyond-super-daisy approximation (BSDA). The cases $N = 1$ and larger $N$ are considered separately. Using the solutions of gap equations we show that the character of the phase transition depends on the account for graphs BSDA. The role of different kinds of diagrams (especially the "sunset" one) is clarified. It is shown in a perturbation theory in the effective expansion parameter $N^{- 1/3}$ that the kind of the phase transition depends on the value of coupling $\la$. It turns from a weak first-order to the second-order one for increasing $\la$. This is in agreement with the observation found recently for the $O(1)$ model in Monte Carlo simulations on a lattice. Comparison with results of other authors is given.


title: Bosonic Topological Insulators and Paramagnets: a view from cobordisms

abstract: We classify Bosonic Topological Insulators and Paramagnets in D<=4 spatial dimensions using the cobordism approach. For D<4 we confirm that the only such phase which does not fit into the group cohomology classification is the 3D Bosonic Topological Insulator protected by time-reversal symmetry whose surface admits an all-fermion topologically ordered state. For D=4 there is a unique "beyond group cohomology" phase. It is protected by gravitational anomalies of the boundary theory and is stable without any additional symmetry.


title: Detecting chiral gravity with the pure pseudospectrum reconstruction of the cosmic microwave background polarized anisotropies

abstract: We consider the possible detection of parity violation at the linear level in gravity using polarized anisotropies of the cosmic microwave background. Since such a parity violation would lead to non-zero TB and EB correlations, this makes those odd-parity angular power spectra a potential probe of parity violation in the gravitational sector. These spectra are modeled incorporating the impact of lensing and we explore their possible detection in the context of small-scale (balloon-borne or ground-based) experiments and a future satellite mission dedicated to B-mode detection. We assess the statistical uncertainties on their reconstruction using mode-counting and a (more realistic) pure pseudospectrum estimator approach. Those uncertainties are then translated into constraints on the level of parity asymmetry. We found that detecting chiral gravity is impossible for ongoing small-scale experiments. However, for a satellite-like mission, a parity asymmetry of at least 50% could be detected at 68% of confidence level, and a parity asymmetry of 100% is measurable with at least a confidence level of 95%. We also assess the impact of a possible miscalibration of the orientation of the polarized detectors, leading to spurious TB and EB cross-correlations. We show that in the context of pseudospectrum estimation of the angular power spectra, self-calibration of this angle could significantly reduce the statistical significance of the measured level of parity asymmetry (by e.g. a factor ~2.4 for a miscalibration angle of 1 degree). For chiral gravity and assuming a satellite mission dedicated to primordial B-mode, a non detection of the TB and EB correlation would translate into an upper bound on parity violation of 39% at 95% confidence level for a tensor-to-scalar ratio of 0.2, excluding values of the (imaginary) Barbero-Immirzi parameter comprised between 0.2 and 4.9 at 95% CL.


title: $0\nu2\beta$ decay and neutrino magnetic moment

abstract: We propose a new channel of the neutrinoless double beta decay, based on the fact that in the presence of an external nonuniform magnetic field, the transition between neutrino and antineutrino can take place through the induced neutrino magnetic moment. We calculate the analog of the effective neutrino mass for this channel and show that, for certain values of the external magnetic field, a resonant enhancement can be obtained.


title: A Wireless System Using Random Residue Sequences

abstract: This paper describes the architecture of wireless communication system using random residue sequences. The basic scheme is that of spread spectrum but instead of using PN sequences for coding, we use random residue sequences. Such a system can provide cryptographic security whose strength would depend on the number of code sequences being used.


title: Phase field modelling of grain boundary premelting using obstacle potentials

abstract: We investigate the multi-order parameter phase field model of Steinbach and Pezzolla [I. Steinbach, F. Pezzolla, A generalized field method for multiphase transformations using interface fields, Physica D 134 (1999) 385-393] concerning its ability to describe grain boundary premelting. For a single order parameter situation solid-melt interfaces are always attractive, which allows to have (unstable) equilibrium solid-melt-solid coexistence above the bulk melting point. The temperature dependent melt layer thickness and the disjoining potential, which describe the interface interaction, are affected by the choice of the thermal coupling function and the measure to define the amount of the liquid phase. Due to the strictly finite interface thickness also the interaction range is finite. For a multi-order parameter model we find either purely attractive or purely repulsive finite-ranged interactions. The premelting transition is then directly linked to the ratio of the grain boundary and solid-melt interfacial energy.


title: How to extract data from proprietary software database systems using TCP/IP?

abstract: This document is an white paper about how to connect reverse engineering and programing skills to extract data from a proprietary implementation of a database system to build EML-Tools for data format conversion into raw data. This article shows how to access data of a source software system without any interface for data conversion. We discuss how raw data can be transfered into structural format by using XML or any other custom designed software solution. For demonstration purposes only, we will use a CRM system called Harmony(r) by Harmony(r) Software AG, the programing language Python and methods of computer security, which are used to get quick access to the raw data. All trademarks are property of their owners, as Harmony(r) is of Harmony Software AG.


title: On a multi-dimensional transport equation with nonlocal velocity

abstract: We study a multi-dimensional nonlocal active scalar equation of the form $u_t+v\cdot \nabla u=0$ in $\mathbb R^+\times \mathbb R^d$, where $v=\Lambda^{-2+\alpha}\nabla u$ with $\Lambda=(-\Delta)^{1/2}$. We show that when $\alpha\in (0,2]$ certain radial solutions develop gradient blowup in finite time. In the case when $\alpha=0$, the equations are globally well-posed with arbitrary initial data in suitable Sobolev spaces.


title: Chelyabinsk meteorite explains unusual spectral properties of Baptistina Asteroid Family

abstract: We investigated the spectral and compositional properties of Chelyabinsk meteorite to identify its possible parent body in the main asteroid belt. Our analysis shows that the meteorite contains two spectrally distinct but compositionally indistinguishable components of LL5 chondrite and shock blackened/impact melt material. Our X-ray diffraction analysis confirms that the two lithologies of the Chelyabinsk meteorite are extremely similar in modal mineralogy. The meteorite is compositionally similar to LL chondrite and its most probable parent asteroid in the main belt is a member of the Flora family. Intimate mixture of LL5 chondrite and shock blackened/impact melt material from Chelyabinsk provides a spectral match with (8) Flora, the largest asteroid in the Flora family. The Baptistina family and Flora family overlap each other in dynamical space. Mineralogical analysis of (298) Baptistina and 9 small family members shows that their surface compositions are similar to LL chondrites, although their absorption bands are subdued and albedos lower when compared to typical S-type asteroids. A range of intimate mixtures of LL5 chondrite and shock blackened/impact melt material from Chelyabinsk provides spectral matches for all these BAF members. We suggest that the presence of a significant shock/impact melt component in the surface regolith of BAF members could be the cause of lower albedo and subdued absorption bands. The parent asteroid of BAF was either a member of the Flora family or had the same basic composition as the Floras (LL Chondrite). The shock pressures produced during the impact event generated enough impact melt or shock blackening to alter the spectral properties of BAF, but keep the BAF composition largely unchanged.


title: Cooperative Cognitive Relaying Under Primary and Secondary Quality of Service Satisfaction

abstract: This paper proposes a new cooperative protocol which involves cooperation between primary and secondary users. We consider a cognitive setting with one primary user and multiple secondary users. The time resource is partitioned into discrete time slots. Each time slot, a secondary user is scheduled for transmission according to time division multiple access, and the remainder of the secondary users, which we refer to as secondary relays, attempt to decode the primary packet. Afterwards, the secondary relays employ cooperative beamforming to forward the primary packet and to provide protection to the secondary destination of the secondary source scheduled for transmission from interference. We characterize the diversity-multiplexing tradeoff of the primary source under the proposed protocol. We consider certain quality of service for each user specified by its required throughput. The optimization problem is stated under such condition. It is shown that the optimization problem is linear and can be readily solved. We show that the sum of the secondary required throughputs must be less than or equal to the probability of correct packets reception.


title: Host-to-host variation of ecological interactions in polymicrobial infections

abstract: Host-to-host variability with respect to interactions between microorganisms and multicellular hosts are commonly observed in infection and in homeostasis. However, the majority of mechanistic models used in analyzing host-microorganism relationships, as well as most of the ecological theories proposed to explain co-evolution of host and microbes, are based on averages across a host population. By assuming that observed variations are random and independent, these models overlook the role of inter-host differences. Here we analyze mechanisms underlying host-to-host variations, using the well-characterized experimental infection model of polymicrobial otitis media (OM) in chinchillas, in combination with population dynamic models and a Maximum Entropy (MaxEnt) based inference scheme. We find that the nature of the interactions among bacterial species critically regulates host-to-host variations of these interactions. Surprisingly, seemingly unrelated phenomena, such as the efficiency of individual bacterial species in utilizing nutrients for growth and the microbe-specific host immune response, can become interdependent in a host population. The latter finding suggests a potential mechanism that could lead to selection of specific strains of bacterial species during the coevolution of the host immune response and the bacterial species.