title: Priorities Without Priorities: Representing Preemption in Psi-Calculi

abstract: Psi-calculi is a parametric framework for extensions of the pi-calculus with data terms and arbitrary logics. In this framework there is no direct way to represent action priorities, where an action can execute only if all other enabled actions have lower priority. We here demonstrate that the psi-calculi parameters can be chosen such that the effect of action priorities can be encoded. To accomplish this we define an extension of psi-calculi with action priorities, and show that for every calculus in the extended framework there is a corresponding ordinary psi-calculus, without priorities, and a translation between them that satisfies strong operational correspondence. This is a significantly stronger result than for most encodings between process calculi in the literature. We also formally prove in Nominal Isabelle that the standard congruence and structural laws about strong bisimulation hold in psi-calculi extended with priorities.


title: Matching in the Pi-Calculus

abstract: We study whether, in the pi-calculus, the match prefix-a conditional operator testing two names for (syntactic) equality-is expressible via the other operators. Previously, Carbone and Maffeis proved that matching is not expressible this way under rather strong requirements (preservation and reflection of observables). Later on, Gorla developed a by now widely-tested set of criteria for encodings that allows much more freedom (e.g. instead of direct translations of observables it allows comparison of calculi with respect to reachability of successful states). In this paper, we offer a considerably stronger separation result on the non-expressibility of matching using only Gorla's relaxed requirements.


title: On the Expressiveness of Intensional Communication

abstract: The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared dataspaces vs channel-based), and pattern-matching (binding to a name vs testing name equality). Here pattern-matching is generalised to account for terms with internal structure such as in recent calculi like Spi calculi, Concurrent Pattern Calculus and Psi calculi. This paper explores intensionality upon terms, in particular communication primitives that can match upon both names and structures. By means of possibility/impossibility of encodings, this paper shows that intensionality alone can encode synchronism, arity, communication-medium, and pattern-matching, yet no combination of these without intensionality can encode any intensional language.


title: States in Process Calculi

abstract: Formal reasoning about distributed algorithms (like Consensus) typically requires to analyze global states in a traditional state-based style. This is in contrast to the traditional action-based reasoning of process calculi. Nevertheless, we use domain-specific variants of the latter, as they are convenient modeling languages in which the local code of processes can be programmed explicitly, with the local state information usually managed via parameter lists of process constants. However, domain-specific process calculi are often equipped with (unlabeled) reduction semantics, building upon a rich and convenient notion of structural congruence. Unfortunately, the price for this convenience is that the analysis is cumbersome: the set of reachable states is modulo structural congruence, and the processes' state information is very hard to identify. We extract from congruence classes of reachable states individual state-informative representatives that we supply with a proper formal semantics. As a result, we can now freely switch between the process calculus terms and their representatives, and we can use the stateful representatives to perform assertional reasoning on process calculus models.


title: Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators

abstract: Bisimulation metric is a robust behavioural semantics for probabilistic processes. Given any SOS specification of probabilistic processes, we provide a method to compute for each operator of the language its respective metric compositionality property. The compositionality property of an operator is defined as its modulus of continuity which gives the relative increase of the distance between processes when they are combined by that operator. The compositionality property of an operator is computed by recursively counting how many times the combined processes are copied along their evolution. The compositionality properties allow to derive an upper bound on the distance between processes by purely inspecting the operators used to specify those processes.


title: Distributive Laws and Decidable Properties of SOS Specifications

abstract: Some formats of well-behaved operational specifications, correspond to natural transformations of certain types (for example, GSOS and coGSOS laws). These transformations have a common generalization: distributive laws of monads over comonads. We prove that this elegant theoretical generalization has limited practical benefits: it does not translate to any concrete rule format that would be complete for specifications that contain both GSOS and coGSOS rules. This is shown for the case of labeled transition systems and deterministic stream systems.


title: Session Types as Generic Process Types

abstract: Behavioural type systems ensure more than the usual safety guarantees of static analysis. They are based on the idea of "types-as-processes", providing dedicated type algebras for particular properties, ranging from protocol compatibility to race-freedom, lock-freedom, or even responsiveness. Two successful, although rather different, approaches, are session types and process types. The former allows to specify and verify (distributed) communication protocols using specific type (proof) systems; the latter allows to infer from a system specification a process abstraction on which it is simpler to verify properties, using a generic type (proof) system. What is the relationship between these approaches? Can the generic one subsume the specific one? At what price? And can the former be used as a compiler for the latter? The work presented herein is a step towards answers to such questions. Concretely, we define a stepwise encoding of a pi-calculus with sessions and session types (the system of Gay and Hole) into a pi-calculus with process types (the Generic Type System of Igarashi and Kobayashi). We encode session type environments, polarities (which distinguish session channels end-points), and labelled sums. We show forward and reverse operational correspondences for the encodings, as well as typing correspondences. To faithfully encode session subtyping in process types subtyping, one needs to add to the target language record constructors and new subtyping rules. In conclusion, the programming convenience of session types as protocol abstractions can be combined with the simplicity and power of the pi-calculus, taking advantage in particular of the framework provided by the Generic Type System.


title: Verification of Linear Optical Quantum Computing using Quantum Process Calculus

abstract: We explain the use of quantum process calculus to describe and analyse linear optical quantum computing (LOQC). The main idea is to define two processes, one modelling a linear optical system and the other expressing a specification, and prove that they are behaviourally equivalent. We extend the theory of behavioural equivalence in the process calculus Communicating Quantum Processes (CQP) to include multiple particles (namely photons) as information carriers, described by Fock states or number states. We summarise the theory in this paper, including the crucial result that equivalence is a congruence, meaning that it is preserved by embedding in any context. In previous work, we have used quantum process calculus to model LOQC but without verifying models against specifications. In this paper, for the first time, we are able to carry out verification. We illustrate this approach by describing and verifying two models of an LOQC CNOT gate.


title: Ordering without forbidden patterns

abstract: Let F be a set of ordered patterns, i.e., graphs whose vertices are linearly ordered. An F-free ordering of the vertices of a graph H is a linear ordering of V(H) such that none of patterns in F occurs as an induced ordered subgraph. We denote by ORD(F) the decision problem asking whether an input graph admits an F-free ordering; we also use ORD(F) to denote the class of graphs that do admit an F-free ordering. It was observed by Damaschke (and others) that many natural graph classes can be described as ORD(F) for sets F of small patterns (with three or four vertices). Damaschke also noted that for many sets F consisting of patterns with three vertices, ORD(F) is polynomial-time solvable by known algorithms or their simple modifications. We complete the picture by proving that all these problems can be solved in polynomial time. In fact, we provide a single master algorithm, i.e., we solve in polynomial time the problem $ORD_3$ in which the input is a set F of patterns with at most three vertices and a graph H, and the problem is to decide whether or not H admits an F-free ordering of the vertices. Our algorithm certifies non-membership by a forbidden substructure, and thus provides a single forbidden structure characterization for all the graph classes described by some ORD(F) with F consisting of patterns with at most three vertices. Many of the problems ORD(F) with F consisting of larger patterns have been shown to be NP-complete by Duffus, Ginn, and Rodl, and we add two simple examples. We also discuss a bipartite version of the problem, BORD(F), in which the input is a bipartite graph H with a fixed bipartition of the vertices, and we are given a set F of bipartite patterns. We also describe some examples of digraph ordering problems and algorithms. We conjecture that for every set F of forbidden patterns, ORD(F) is either polynomial or NP-complete.


title: On the density function on moduli spaces of toric 4-manifolds

abstract: The optimal density function assigns to each symplectic toric manifold $M$ a number $0 < d \leq 1$ obtained by considering the ratio between the maximum volume of $M$ which can be filled by symplectically embedded disjoint balls and the total symplectic volume of $M$. In the toric version of this problem, $M$ is toric and the balls need to be embedded respecting the toric action on $M$. The goal of this note is first to give a brief survey of the notion of toric symplectic manifold and the recent constructions of moduli space structure on them, and recall how to define a natural density function on this moduli space. Then we review previous works which explain how the study of the density function can be reduced to a problem in convex geometry, and use this correspondence to to give a simple description of the regions of continuity of the maximal density function when the dimension is $4$.


title: Reversibility of additive CA as function of cylinder size

abstract: Additive CA on a cylinder of size $n$ can be represented by 01-string $V$ of length $n$ which is its rule. We study a problem: a class $S$ of rules given, for any $V\in S$ describe all sizes $n', n'>n,$ of cylinders such that extension of $V$ by zeros to length $n'$ represents reversible additive CA on a cylinder of size $n'$. Since all extensions of $V$ have the same collection of positions of units, it is convenient to say about classes of collections of positions instead of classes of rules. A criterion of reversibility is proven. The problem is completely solved for infinite class of "block collections", i.e. $\{(0,1,\dots,h)|h\in\mathbb Z^+\}$. Results obtained for "exponential collections" $\{(1,2,4,\dots,2^h)|h\in\mathbb Z^+\}$ essentially reduce the complexity of the problem for this class. Ways to transfer the results on other classes of rules/collections are described. A conjecture is formulated for class $\{(0,1,2^m)|m\in\mathbb Z^+\}$.


title: The process matrix framework for a single-party system

abstract: The process matrix framework [O. Oreshkov, F. Costa, and C. Brukner, Nature Communications {\bf3}, 1092 (2012)] can describe general physical theory where locally operations are described by completely-positive maps but globally no fixed causal structure is assumed. In this framework, two parties who perform measurements on each single-qubit system can violate a "causal inequality", which is not violated if the global fixed causal structure exists. Since the standard quantum physics assumes a fixed global causal structure, the process matrix framework can describe more general physical theory than the standard quantum physics. In this paper, we show that for a single-party system the process matrix framework is reduced to the standard quantum physics, and therefore no exotic effect beyond the standard quantum physics can be observed. This result is analogous to the well known fact in the Bell inequality violation: a single-party system can be described by a local hidden variable theory, whereas more than two parties can violate the Bell inequality.


title: The Definability Strength of Combinatorial Principles

abstract: We introduce the definability strength of combinatorial principles. In terms of definability strength, a combinatorial principle is strong if solving a corresponding combinatorial problem could help in simplifying the definition of a definable set. We prove that some consequences of Ramsey's Theorem for colorings of pairs could help in simplifying the definitions of some $\Delta^0_2$ sets, while some others could not. We also investigate some consequences of Ramsey's Theorem for colorings of longer tuples. These results of definability strength have some interesting consequences in reverse mathematics, including strengthening of known theorems in a more uniform way and also new theorems.


title: DIRBE Comet Trails

abstract: Re-examination of the COBE DIRBE data reveals the thermal emission of several comet dust trails. The dust trails of 1P/Halley, 169P/NEAT, and 3200 Phaethon have not been previously reported. The known trails of 2P/Encke, and 73P/Schwassmann-Wachmann 3 are also seen. The dust trails have 12 and 25 micron surface brightnesses of <0.1 and <0.15 MJy/sr, respectively, which is <1% of the zodiacal light intensity. The trails are very difficult to see in any single daily image of the sky, but are evident as rapidly moving linear features in movies of the DIRBE data. Some trails are clearest when crossing through the orbital plane of the parent comet, but others are best seen at high ecliptic latitudes as the Earth passes over or under the dust trail. All these comets have known associations with meteor showers. This re-examination also reveals one additional comet and 13 additional asteroids that had not previously been recognized in the DIRBE data.


title: Interactive Channel Capacity Revisited

abstract: We provide the first capacity approaching coding schemes that robustly simulate any interactive protocol over an adversarial channel that corrupts any $\epsilon$ fraction of the transmitted symbols. Our coding schemes achieve a communication rate of $1 - O(\sqrt{\epsilon \log \log 1/\epsilon})$ over any adversarial channel. This can be improved to $1 - O(\sqrt{\epsilon})$ for random, oblivious, and computationally bounded channels, or if parties have shared randomness unknown to the channel. Surprisingly, these rates exceed the $1 - \Omega(\sqrt{H(\epsilon)}) = 1 - \Omega(\sqrt{\epsilon \log 1/\epsilon})$ interactive channel capacity bound which [Kol and Raz; STOC'13] recently proved for random errors. We conjecture $1 - \Theta(\sqrt{\epsilon \log \log 1/\epsilon})$ and $1 - \Theta(\sqrt{\epsilon})$ to be the optimal rates for their respective settings and therefore to capture the interactive channel capacity for random and adversarial errors. In addition to being very communication efficient, our randomized coding schemes have multiple other advantages. They are computationally efficient, extremely natural, and significantly simpler than prior (non-capacity approaching) schemes. In particular, our protocols do not employ any coding but allow the original protocol to be performed as-is, interspersed only by short exchanges of hash values. When hash values do not match, the parties backtrack. Our approach is, as we feel, by far the simplest and most natural explanation for why and how robust interactive communication in a noisy environment is possible.


title: Performance Analysis and Location Optimization for Massive MIMO Systems with Circularly Distributed Antennas

abstract: In this paper, we analyze the achievable rate of the uplink of a single-cell multi-user distributed massive multiple-input-multiple-output (MIMO) system. The multiple users are equipped with single antenna and the base station (BS) is equipped with a large number of distributed antennas. We derive an analytical expression for the asymptotic ergodic achievable rate of the system under zero-forcing (ZF) detector. In particular, we consider circular antenna array, where the distributed BS antennas are located evenly on a circle, and derive an analytical expression and closed-form tight bounds for the achievable rate of an arbitrarily located user. Subsequently, closed-form bounds on the average achievable rate per user are obtained under the assumption that the users are uniformly located in the cell. Based on the bounds, we can understand the behavior of the system rate with respect to different parameters and find the optimal location of the circular BS antenna array that maximizes the average rate. Numerical results are provided to assess our analytical results and examine the impact of the number and the location of the BS antennas, the transmit power, and the path-loss exponent on system performance. It is shown that circularly distributed massive MIMO system largely outperforms centralized massive MIMO system.


title: A Multiple Hypothesis Testing Approach to Low-Complexity Subspace Unmixing

abstract: Subspace-based signal processing traditionally focuses on problems involving a few subspaces. Recently, a number of problems in different application areas have emerged that involve a significantly larger number of subspaces relative to the ambient dimension. It becomes imperative in such settings to first identify a smaller set of active subspaces that contribute to the observation before further processing can be carried out. This problem of identification of a small set of active subspaces among a huge collection of subspaces from a single (noisy) observation in the ambient space is termed subspace unmixing. This paper formally poses the subspace unmixing problem under the parsimonious subspace-sum (PS3) model, discusses connections of the PS3 model to problems in wireless communications, hyperspectral imaging, high-dimensional statistics and compressed sensing, and proposes a low-complexity algorithm, termed marginal subspace detection (MSD), for subspace unmixing. The MSD algorithm turns the subspace unmixing problem for the PS3 model into a multiple hypothesis testing (MHT) problem and its analysis in the paper helps control the family-wise error rate of this MHT problem at any level $\alpha \in [0,1]$ under two random signal generation models. Some other highlights of the analysis of the MSD algorithm include: (i) it is applicable to an arbitrary collection of subspaces on the Grassmann manifold; (ii) it relies on properties of the collection of subspaces that are computable in polynomial time; and ($iii$) it allows for linear scaling of the number of active subspaces as a function of the ambient dimension. Finally, numerical results are presented in the paper to better understand the performance of the MSD algorithm.


title: Structures of Interplanetary Magnetic Flux Ropes and Comparison with Their Solar Sources

abstract: Magnetic reconnection is essential to release the flux rope during its ejection. The question remains: how does the magnetic reconnection change the flux rope structure? Following the original study of \citet{Qiu2007}, we compare properties of ICME/MC flux ropes measured at 1 AU and properties of associated solar progenitors including flares, filaments, and CMEs. In particular, the magnetic field-line twist distribution within interplanetary magnetic flux ropes is systematically derived and examined. Our analysis shows that for most of these events, the amount of twisted flux per AU in MCs is comparable with the total reconnection flux on the Sun, and the sign of the MC helicity is consistent with the sign of helicity of the solar source region judged from the geometry of post-flare loops. Remarkably, we find that about one half of the 18 magnetic flux ropes, most of them being associated with erupting filaments, have a nearly uniform and relatively low twist distribution from the axis to the edge, and the majority of the other flux ropes exhibit very high twist near the axis, of up to $\gtrsim 5$ turns per AU, which decreases toward the edge. The flux ropes are therefore not linear force free. We also conduct detailed case studies showing the contrast of two events with distinct twist distribution in MCs as well as different flare and dimming characteristics in solar source regions, and discuss how reconnection geometry reflected in flare morphology may be related to the structure of the flux rope formed on the Sun.


title: Exotic in Leptonic Machines

abstract: Selected topics of exotics in leptonic machines are presented, including recent discovery of abnormal structures around the ppbar threshold and new information of the XYZ (charmonium-like) states.


title: Measurement of the Michel Parameter xi" in Polarized Muon Decay and Implications on Exotic Couplings of the Leptonic Weak Interaction

abstract: The Michel parameter xi" has been determined from a measurement of the longitudinal polarization of positrons emitted in the decay of polarized and depolarized muons. The result, xi" = 0.981 +- 0.045stat +- 0.003syst, is consistent with the Standard Model prediction of unity, and provides an order of magnitude improvement in the relative precision of this parameter. This value sets new constraints on exotic couplings beyond the dominant V-A description of the leptonic weak interaction.


title: Resonant Charge Relaxation as a Likely Source of the Enhanced Thermopower in FeSi

abstract: The enhanced thermopower of the correlated semiconductor FeSi is found to be robust against the sign of the relevant charge carriers. At $T$\,$\approx$\,70 K, the position of both the high-temperature shoulder of the thermopower peak and the nonmagnetic-enhanced paramagnetic crossover, the Nernst coefficient $\nu$ assumes a large maximum and the Hall mobility $\mu _H$ diminishes to below 1 cm$^2$/Vs. These cause the dimension-less ratio $\nu$/$\mu_H$ $-$ a measure of the energy dispersion of the charge scattering time $\tau(\epsilon)$ $-$ to exceed that of classical metals and semiconductors by two orders of magnitude. Concomitantly, the resistivity exhibits a hump and the magnetoresistance changes its sign. Our observations hint at a resonant scattering of the charge carriers at the magnetic crossover, imposing strong constraints on the microscopic interpretation of the robust thermopower enhancement in FeSi.


title: Morse homology of manifolds with boundary revisited

abstract: This re-certifying paper describes the details of the Morse homology of manifolds with boundary, introduced by the author before, in terms of handlebody decompositions.


title: Exact non-Markovian master equations for multiple qubit systems: quantum trajectory approach

abstract: A wide class of exact master equations for a multiple qubit system can be explicitly constructed by using the corresponding exact non-Markovian quantum state diffusion equations. These exact master equations arise naturally from the quantum decoherence dynamics of qubit system as a quantum memory coupled to a collective colored noisy source. The exact master equations are also important in optimal quantum control, quantum dissipation and quantum thermodynamics. In this paper, we show that the exact non-Markovian master equation for a dissipative N-qubit system can be derived explicitly from the statistical average of the corresponding non-Markovian quantum trajectories. We illustrated our general formulation by an explicit construction of a three-qubit system coupled to a non-Markovian bosonic environment. This multiple qubit master equation offers an accurate time evolution of quantum systems in various domains, and paves a way to investigate the memory effect of an open system in a non-Markovian regime without any approximation.


title: Galaxy And Mass Assembly (GAMA): Galaxy close-pairs, mergers, and the future fate of stellar mass

abstract: We use a highly complete subset of the GAMA-II redshift sample to fully describe the stellar mass dependence of close-pairs and mergers between 10^8 Msun and 10^12 Msun. Using the analytic form of this fit we investigate the total stellar mass accreting onto more massive galaxies across all mass ratios. Depending on how conservatively we select our robust merging systems, the fraction of mass merging onto more massive companions is 2.0%-5.6%. Using the GAMA-II data we see no significant evidence for a change in the close-pair fraction between redshift $z = 0.05-0.2$. However, we find a systematically higher fraction of galaxies in similar mass close-pairs compared to published results over a similar redshift baseline. Using a compendium of data and the function $\gamma_M =A(1+z)m$ to predict the major close-pair fraction, we find fitting parameters of $A = 0.021 \pm 0.001$ and $m = 1.53 \pm 0.08$, which represents a higher low-redshift normalisation and shallower power-law slope than recent literature values. We find that the relative importance of in-situ star-formation versus galaxy merging is inversely correlated, with star-formation dominating the addition of stellar material below Mstar and merger accretion events dominating beyond Mstar. We find mergers have a measurable impact on the whole extent of the GSMF, manifest as a deepening of the dip in the GSMF over the next Gyr and an increase in Mstar by as much as 0.01-0.05 dex.


title: The Unruh effect interpreted as a quantum noise channel

abstract: We make use of the tools of quantum information theory to shed light on the Unruh effect. A modal qubit appears as if subjected to quantum noise that degrades quantum information, as observed in the accelerated reference frame. The Unruh effect experienced by a mode of a free Dirac field, as seen by a relativistically accelerated observer, is treated as a noise channel, which we term the Unruh channel. We characterize this channel by providing its operator-sum representation, and study various facets of quantum correlations, such as, Bell inequality violations, entanglement, teleportation and measurement-induced decoherence under the effect. We compare and contrast this channel from conventional noise due to environmental decoherence. We show that the Unruh effect produces an amplitude-damping-like channel, associated with zero temperature, even though the Unruh effect is associated with a non-zero temperature. Asymptotically, the Bloch sphere subjected to the channel does not converge to a point, as would be expected by fluctuation-dissipation arguments, but contracts by a finite factor. We construct for the Unruh effect the inverse channel, a non-completely-positive map, that formally reverses the effect, and offer some physical interpretation.


title: Singularities for solutions to time dependent Schr\"odingier equations with sub-quadratic potential

abstract: In this article, we determine the wave front sets of solutions to time dependent Schr\"odinger equations with a sub-quadratic potential by using the representation of the Schr\"dingier evolution operator via wave packet transform (short time Fourier transform).


title: Logarithmic-Time Updates and Queries in Probabilistic Networks

abstract: In this paper we propose a dynamic data structure that supports efficient algorithms for updating and querying singly connected Bayesian networks (causal trees and polytrees). In the conventional algorithms, new evidence in absorbed in time O(1) and queries are processed in time O(N), where N is the size of the network. We propose a practical algorithm which, after a preprocessing phase, allows us to answer queries in time O(log N) at the expense of O(logn N) time per evidence absorption. The usefulness of sub-linear processing time manifests itself in applications requiring (near) real-time response over large probabilistic databases.


title: Query DAGs: A Practical Paradigm for Implementing Belief Network Inference

abstract: We describe a new paradigm for implementing inference in belief networks, which relies on compiling a belief network into an arithmetic expression called a Query DAG (Q-DAG). Each non-leaf node of a Q-DAG represents a numeric operation, a number, or a symbol for evidence. Each leaf node of a Q-DAG represents the answer to a network query, that is, the probability of some event of interest. It appears that Q-DAGs can be generated using any of the algorithms for exact inference in belief networks --- we show how they can be generated using clustering and conditioning algorithms. The time and space complexity of a Q-DAG generation algorithm is no worse than the time complexity of the inference algorithm on which it is based; that of a Q-DAG on-line evaluation algorithm is linear in the size of the Q-DAG, and such inference amounts to a standard evaluation of the arithmetic expression it represents. The main value of Q-DAGs is in reducing the software and hardware resources required to utilize belief networks in on-line, real-world applications. The proposed framework also facilitates the development of on-line inference on different software and hardware platforms, given the simplicity of the Q-DAG evaluation algorithm. This paper describes this new paradigm for probabilistic inference, explaining how it works, its uses, and outlines some of the research directions that it leads to.


title: Generalized Qualitative Probability: Savage Revisited

abstract: Preferences among acts are analyzed in the style of L. Savage, but as partially ordered. The rationality postulates considered are weaker than Savage's on three counts. The Sure Thing Principle is derived in this setting. The postulates are shown to lead to a characterization of generalized qualitative probability that includes and blends both traditional qualitative probability and the ranked structures used in logical approaches.


title: Axiomatizing Causal Reasoning

abstract: Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of causal models: (1) the class of recursive theories (those without feedback), (2) the class of theories where the solutions to the equations are unique, (3) arbitrary theories (where the equations may not have solutions and, if they do, they are not necessarily unique). It is shown that to reason about causality in the most general third class, we must extend the language used by Galles and Pearl. In addition, the complexity of the decision procedures is examined for all the languages and classes of models considered.


title: Random Algorithms for the Loop Cutset Problem

abstract: We show how to find a minimum loop cutset in a Bayesian network with high probability. Finding such a loop cutset is the first step in Pearl's method of conditioning for inference. Our random algorithm for finding a loop cutset, called "Repeated WGuessI", outputs a minimum loop cutset, after O(c 6^k k n) steps, with probability at least 1-(1 over{6^k})^{c 6^k}), where c>1 is a constant specified by the user, k is the size of a minimum weight loop cutset, and n is the number of vertices. We also show empirically that a variant of this algorithm, called WRA, often finds a loop cutset that is closer to the minimum loop cutset than the ones found by the best deterministic algorithms known.


title: Learning to Cooperate via Policy Search

abstract: Cooperative games are those in which both agents share the same payoff structure. Value-based reinforcement-learning algorithms, such as variants of Q-learning, have been applied to learning cooperative games, but they only apply when the game state is completely observable to both agents. Policy search methods are a reasonable alternative to value-based methods for partially observable environments. In this paper, we provide a gradient-based distributed policy-search method for cooperative games and compare the notion of local optimum to that of Nash equilibrium. We demonstrate the effectiveness of this method experimentally in a small, partially observable simulated soccer domain.


title: A Logic for Reasoning about Upper Probabilities

abstract: We present a propositional logic to reason about the uncertainty of events, where the uncertainty is modeled by a set of probability measures assigning an interval of probability to each event. We give a sound and complete axiomatization for the logic, and show that the satisfiability problem is NP-complete, no harder than satisfiability for propositional logic.


title: Complexity of Mechanism Design

abstract: The aggregation of conflicting preferences is a central problem in multiagent systems. The key difficulty is that the agents may report their preferences insincerely. Mechanism design is the art of designing the rules of the game so that the agents are motivated to report their preferences truthfully and a (socially) desirable outcome is chosen. We propose an approach where a mechanism is automatically created for the preference aggregation setting at hand. This has several advantages, but the downside is that the mechanism design optimization problem needs to be solved anew each time. Focusing on settings where side payments are not possible, we show that the mechanism design problem is NP-complete for deterministic mechanisms. This holds both for dominant-strategy implementation and for Bayes-Nash implementation. We then show that if we allow randomized mechanisms, the mechanism design problem becomes tractable. In other words, the coordinator can tackle the computational complexity introduced by its uncertainty about the agents preferences BY making the agents face additional uncertainty.This comes at no loss, AND IN SOME cases at a gain, IN the(social) objective.


title: Robust Feature Selection by Mutual Information Distributions

abstract: Mutual information is widely used in artificial intelligence, in a descriptive way, to measure the stochastic dependence of discrete random variables. In order to address questions such as the reliability of the empirical value, one must consider sample-to-population inferential approaches. This paper deals with the distribution of mutual information, as obtained in a Bayesian framework by a second-order Dirichlet prior distribution. The exact analytical expression for the mean and an analytical approximation of the variance are reported. Asymptotic approximations of the distribution are proposed. The results are applied to the problem of selecting features for incremental learning and classification of the naive Bayes classifier. A fast, newly defined method is shown to outperform the traditional approach based on empirical mutual information on a number of real data sets. Finally, a theoretical development is reported that allows one to efficiently extend the above methods to incomplete samples in an easy and effective way.


title: Updating with incomplete observations

abstract: Currently, there is renewed interest in the problem, raised by Shafer in 1985, of updating probabilities when observations are incomplete (or set-valued). This is a fundamental problem, and of particular interest for Bayesian networks. Recently, Grunwald and Halpern have shown that commonly used updating strategies fail here, except under very special assumptions. We propose a new rule for updating probabilities with incomplete observations. Our approach is deliberately conservative: we make no or weak assumptions about the so-called incompleteness mechanism that produces incomplete observations. We model our ignorance about this mechanism by a vacuous lower prevision, a tool from the theory of imprecise probabilities, and we derive a new updating rule using coherence arguments. In general, our rule produces lower posterior probabilities, as well as partially determinate decisions. This is a logical consequence of the ignorance about the incompleteness mechanism. We show how the new rule can properly address the apparent paradox in the 'Monty Hall' puzzle. In addition, we apply it to the classification of new evidence in Bayesian networks constructed using expert knowledge. We provide an exact algorithm for this task with linear-time complexity, also for multiply connected nets.


title: Renewal Strings for Cleaning Astronomical Databases

abstract: Large astronomical databases obtained from sky surveys such as the SuperCOSMOS Sky Surveys (SSS) invariably suffer from a small number of spurious records coming from artefactual effects of the telescope, satellites and junk objects in orbit around earth and physical defects on the photographic plate or CCD. Though relatively small in number these spurious records present a significant problem in many situations where they can become a large proportion of the records potentially of interest to a given astronomer. In this paper we focus on the four most common causes of unwanted records in the SSS: satellite or aeroplane tracks, scratches fibres and other linear phenomena introduced to the plate, circular halos around bright stars due to internal reflections within the telescope and diffraction spikes near to bright stars. Accurate and robust techniques are needed for locating and flagging such spurious objects. We have developed renewal strings, a probabilistic technique combining the Hough transform, renewal processes and hidden Markov models which have proven highly effective in this context. The methods are applied to the SSS data to develop a dataset of spurious object detections, along with confidence measures, which can allow this unwanted data to be removed from consideration. These methods are general and can be adapted to any future astronomical survey data.


title: OS effect in SLM schemes with correlation

abstract: BER is analyzed SLM schemes with correlation metric.


title: On the dimensions of commutative subalgebras and subgroups

abstract: We consider the functions that bound the dimensions of finite-dimensional associative or Lie algebras in terms of the dimensions of their commutative subalgebras. It is proved that these functions have quadratic growth. As a result, we also get similar estimates for the dimension of a Lie group with bounded dimensions of its abelian Lie subgroups.


title: Truthful Prioritization Schemes for Spectrum Sharing

abstract: We design a protocol for dynamic prioritization of data on shared routers such as untethered 3G/4G devices. The mechanism prioritizes bandwidth in favor of users with the highest value, and is incentive compatible, so that users can simply report their true values for network access. A revenue pooling mechanism also aligns incentives for sellers, so that they will choose to use prioritization methods that retain the incentive properties on the buy-side. In this way, the design allows for an open architecture. In addition to revenue pooling, the technical contribution is to identify a class of stochastic demand models and a prioritization scheme that provides allocation monotonicity. Simulation results confirm efficiency gains from dynamic prioritization relative to prior methods, as well as the effectiveness of revenue pooling.


title: A porism concerning cyclic quadrilaterals

abstract: We present a geometric theorem on a porism about cyclic quadrilaterals, namely the existence of an infinite number of cyclic quadrilaterals through four fixed collinear points once one exists. Also, a technique of proving such properties with the use of pseudounitary traceless matrices is presented. A similar property holds for general quadrics as well as the circle.


title: The digital traces of bubbles: feedback cycles between socio-economic signals in the Bitcoin economy

abstract: What is the role of social interactions in the creation of price bubbles? Answering this question requires obtaining collective behavioural traces generated by the activity of a large number of actors. Digital currencies offer a unique possibility to measure socio-economic signals from such digital traces. Here, we focus on Bitcoin, the most popular cryptocurrency. Bitcoin has experienced periods of rapid increase in exchange rates (price) followed by sharp decline; we hypothesise that these fluctuations are largely driven by the interplay between different social phenomena. We thus quantify four socio-economic signals about Bitcoin from large data sets: price on on-line exchanges, volume of word-of-mouth communication in on-line social media, volume of information search, and user base growth. By using vector autoregression, we identify two positive feedback loops that lead to price bubbles in the absence of exogenous stimuli: one driven by word of mouth, and the other by new Bitcoin adopters. We also observe that spikes in information search, presumably linked to external events, precede drastic price declines. Understanding the interplay between the socio-economic signals we measured can lead to applications beyond cryptocurrencies to other phenomena which leave digital footprints, such as on-line social network usage.


title: Evidence of one-step replica symmetry breaking in a three-dimensional Potts glass model

abstract: We study a 7-state Potts glass model in three dimensions with first, second, and third neighbor interactions with a bimodal distribution of couplings by Monte Carlo simulations. Our results show the existence of a spin-glass transition at a finite temperature T_c, a discontinuous jump of an order parameter at T_c without latent heat, and a non-trivial structure of the order-parameter distribution below T_c. They are compatible with a one-step replica symmetry breaking.


title: Automatic Classification of Kepler Planetary Transit Candidates

abstract: In the first three years of operation the Kepler mission found 3,697 planet candidates from a set of 18,406 transit-like features detected on over 200,000 distinct stars. Vetting candidate signals manually by inspecting light curves and other diagnostic information is a labor intensive effort. Additionally, this classification methodology does not yield any information about the quality of planet candidates; all candidates are as credible as any other candidate. The torrent of exoplanet discoveries will continue after Kepler as there will be a number of exoplanet surveys that have an even broader search area. This paper presents the application of machine-learning techniques to the classification of exoplanet transit-like signals present in the \Kepler light curve data. Transit-like detections are transformed into a uniform set of real-numbered attributes, the most important of which are described in this paper. Each of the known transit-like detections is assigned a class of planet candidate; astrophysical false positive; or systematic, instrumental noise. We use a random forest algorithm to learn the mapping from attributes to classes on this training set. The random forest algorithm has been used previously to classify variable stars; this is the first time it has been used for exoplanet classification. We are able to achieve an overall error rate of 5.85% and an error rate for classifying exoplanets candidates of 2.81%.


title: New sharp inequalities of Ostrowski and generalized trapezoid type for the Riemann-Stieltjes integrals and applications

abstract: In this paper, new sharp weighted generalizations of Ostrowski and generalized trapezoid type inequalities for the Riemann--Stieltjes integrals are proved. Several related inequalities are deduced and investigated. New Simpson's type inequalities for $\mathcal{RS}$--integral are pointed out. Finally, as application; an error estimation of a general quadrature rule for $\mathcal{RS}$--integral via Ostrowski--generalized trapezoid quadrature formula is given.


title: The gradient flow of the Dirac spectrum

abstract: We construct chiral perturbation theory for the gradient flow of the microscopic Dirac eigenvalues and compute the density of and correlations between the microscopic eigenvalues at zero and non-zero flow time. The results show that the repulsion of the microscopic Dirac eigenvalues from the dynamical quark mass decreases with increasing gradient flow time. Furthermore, the flow of the spectral resolvent is compared to the flow of the chiral condensate obtained from a fermionic gradient flow.


title: Polaritonic Feshbach Resonance

abstract: A Feshbach resonance occurs when the energy of two interacting free particles comes to resonance with a molecular bound state. When approaching this resonance, dramatic changes in the interaction strength between the particles occur. Feshbach resonances have been an essential tool to control the atom interactions, which can even be switched from repulsive to attractive [1-4]. Thanks to Feshbach resonances many effects in ultracold atomic gases could be explored [5, 6]. Here we demonstrate a Feshbach resonance based on polariton spinor interactions that characterize the fundamental interaction process in polariton quantum systems. We show the clear enhancement of attractive interactions and the prompt change to repulsive interaction by tuning the energy of two polaritons with anti-parallel spins across the biexciton bound state energy. A mean field two-channel model quantitatively reproduces the experimental results. This observation paves the way for a new tool to tune the polariton interactions and to move forward into quantum correlated polariton physics.


title: Magnetothermopower of $\delta$-doped LaTiO$_3$/SrTiO$_3$ interfaces in the Kondo regime

abstract: Measurements of magneto-thermopower (S(H, T)) of interfacial delta doped LaTiO$_3$/SrTiO$_3$ (LTO/STO) heterostructure by an iso-structural antiferromagnetic perovskite LaCrO$_3$ are reported. The thermoelectric power of the pure LTO/STO interface at 300 K is $\approx$ 118 $\mu$V/K, but increases dramatically on $\delta$-doping. The observed linear temperature dependence of S(T) over the temperature range 100 K to 300 K is in agreement with the theory of diffusion thermopower of a two-dimensional electron gas. The S(T) displays a distinct enhancement in the temperature range (T $<$ 100 K) where the sheet resistance shows a Kondo-type minimum. We attributed this maximum in S(T) to Kondo scattering of conduction electron by localized impurity spins at the interface. The suppression of S by a magnetic field, and the isotropic nature of the suppression in out-of-plane and in-plane field geometries further strengthen the Kondo model based interpretation of S(H, T).


title: Reduced dielectric screening and enhanced energy transfer in single and few-layer MoS2

abstract: We report highly efficient non-radiative energy transfer from cadmium selenide (CdSe) quantum dots to monolayer and few-layer molybdenum disulfide (MoS2). The quenching of the donor quantum dot photoluminescence increases as the MoS2 flake thickness decreases, with the highest efficiency (>95%) observed for monolayer MoS2. This counterintuitive result arises from reduced dielectric screening in thin layer semiconductors having unusually large permittivity and a strong in-plane transition dipole moment, as found in MoS2. Excitonic energy transfer between a 0D emitter and a 2D absorber is fundamentally interesting and enables a wide range of applications including broadband optical down-conversion, optical detection, photovoltaic sensitization, and color shifting in light-emitting devices.


title: Control of single-photon transport in a one-dimensional waveguide by another single photon

abstract: We study the controllable single-photon transport in a one-dimensional (1D) waveguide with nonlinear dispersion relation coupled to a three-level emitter in cascade configuration. An extra cavity field was introduced to drive one of the level transitions of the emitter. In the resonance case, when the extra cavity does not contain photons, the input single photon will be reflected, and when the cavity contains one photon, the full transmission of the input single photon can be obtained. In the off-resonance case, the single-photon transport can also be controlled by the parameters of the cavity. Therefore, we have shown that the single-photon transport can be controlled by an extra cavity field.


title: 2D2C, 2D3C, 2C2Dcw1C3D, 3D3C, rotating turbulence, thin-layer flows, quasi-static magnetohydrodynamics (QSMHD), and beyond

abstract: More serious works on 2D2C, 2D3C, 2C2Dcw1C3D, 3D3C, rotating turbulence, thin-layer flows, quasi-static magnetohydrodynamics (QSMHD), and all that are wanted, but we report timely here some studies on locally and globally 2C2Dcw1C3D flows, with the hope to promote smarter and deeper works.


title: Harmonic maps into Grassmannian manifolds

abstract: A harmonic map from a Riemannian manifold into a Grassmannian manifold is characterized by a vector bundle, a space of sections of this bundle and a Laplace operator. We apply our main theorem, itself a generalization of a Theorem of Takahashi, to generalize the theory of do Carmo and Wallach and to describe the moduli space of harmonic maps satisfying the gauge and the Einstein-Hermitian conditions from a compact Rieannian manifold into a Grassmannian. As an application, several rigidity results are exihibited. In particular we generalize a rigidity theorem due to Calabi in the case of holomorphic isometric immersions of compact Kaehler manifolds into complex projective spaces. Finally, we also construct moduli spaces of holomorphic isometric embeddings of the complex projective line into complex quadrics of low degree.


title: Bootstrapping an NMHV amplitude through three loops

abstract: We extend the hexagon function bootstrap to the next-to-maximally-helicity-violating (NMHV) configuration for six-point scattering in planar ${\cal N}=4$ super-Yang-Mills theory at three loops. Constraints from the $\bar{Q}$ differential equation, from the operator product expansion (OPE) for Wilson loops with operator insertions, and from multi-Regge factorization, lead to a unique answer for the three-loop ratio function. The three-loop result also predicts additional terms in the OPE expansion, as well as the behavior of NMHV amplitudes in the multi-Regge limit at one higher logarithmic accuracy (NNLL) than was used as input. Both predictions are in agreement with recent results from the flux-tube approach. We also study the multi-particle factorization of multi-loop amplitudes for the first time. We find that the function controlling this factorization is purely logarithmic through three loops. We show that a function $U$, which is closely related to the parity-even part of the ratio function $V$, is remarkably simple; only five of the nine possible final entries in its symbol are non-vanishing. We study the analytic and numerical behavior of both the parity-even and parity-odd parts of the ratio function on simple lines traversing the space of cross ratios $(u,v,w)$, as well as on a few two-dimensional planes. Finally, we present an empirical formula for $V$ in terms of elements of the coproduct of the six-gluon MHV remainder function $R_6$ at one higher loop, which works through three loops for $V$ (four loops for $R_6$).


title: Shifted inverse determinant sums and new bounds for the DMT of space-time lattice codes

abstract: This paper considers shifted inverse determinant sums arising from the union bound of the pairwise error probability for space-time codes in multiple-antenna fading channels. Previous work by Vehkalahti et al. focused on the approximation of these sums for low multiplexing gains, providing a complete classification of the inverse determinant sums as a function of constellation size for the most well-known algebraic space-time codes. This work aims at building a general framework for the study of the shifted sums for all multiplexing gains. New bounds obtained using dyadic summing techniques suggest that the behavior of the shifted sums does characterize many properties of a lattice code such as the diversity-multiplexing gain trade-off, both under maximum-likelihood decoding and infinite lattice naive decoding. Moreover, these bounds allow to characterize the signal-to-noise ratio thresholds corresponding to different diversity gains.


title: Resonant Scanning with Large Field of View Reduces Photobleaching and Enhances Fluorescence Yield in STED Microscopy

abstract: Photobleaching is a major limitation of superresolution Stimulated Depletion Emission (STED) microscopy. Fast scanning has long been considered an effective means to reduce photobleaching in fluorescence microscopy, but a careful quantitative study of this issue is missing. In this paper, we show that the photobleaching rate in STED microscopy is slowed down and fluorescence yield is enhanced by scanning with high linear speed, enabled by the large field of view in our custom-built resonant-scanning STED microscope. The effect of scanning speed on photobleaching and fluorescence yield is more remarkable at higher levels of depletion laser irradiance, and virtually disappears in conventional confocal microscopy. With a depletion irradiance of >0.2 GW$\cdot$cm$^{-2}$ (time average), we were able to extend the fluorescence survival time of the Atto 647N dye by ~80% with an 8-fold wider field of view. We confirm that STED Photobleaching is primarily caused by the depletion light acting upon the excited fluorophores. Experimental data agree with a theoretical model. Our results encourage further increasing linear scanning speed for photobleaching reduction in STED microscopy.


title: Surgery obstructions and Heegaard Floer homology

abstract: Using Taubes' periodic ends theorem, Auckly gave examples of toroidal and hyperbolic irreducible integer homology spheres which are not surgery on a knot in the three-sphere. We give an obstruction to a homology sphere being surgery on a knot coming from Heegaard Floer homology. This is used to construct infinitely many small Seifert fibered examples.


title: Single 20meV boson mode in KFe2As2 detected by point-contact spectroscopy

abstract: We report an experimental and theoretical investigation of the electron-boson interaction in KFe2As2 by point-contact (PC) spectroscopy, model, and ab-initio LDA-based calculations for the standard electron-phonon Eliashberg function. The PC spectrum viz. the second derivative of the I - V characteristic of representative PC exhibits a pronounced maximum at about 20meV and surprisingly a featureless behavior at lower and higher energies. We discuss phonon and non-phonon (excitonic) mechanisms for the origin of this peak. Analysis of the underlying source of this peak may be important for the understanding of serious puzzles of superconductivity in this type of compounds.


title: Eyes in the sky: Interactions between AGB winds and the interstellar magnetic field

abstract: We aim to examine the role of the interstellar magnetic field in shaping the extended morphologies of slow dusty winds of Asymptotic Giant-branch (AGB) stars in an effort to pin-point the origin of so-called eye shaped CSE of three carbon-rich AGB stars. In addition, we seek to understand if this pre-planetary nebula (PN) shaping can be responsible for asymmetries observed in PNe. Hydrodynamical simulations are used to study the effect of typical interstellar magnetic fields on the free-expanding spherical stellar winds as they sweep up the local interstellar medium (ISM). The simulations show that typical Galactic interstellar magnetic fields of 5 to 10 muG, are sufficient to alter the spherical expanding shells of AGB stars to appear as the characteristic eye shape revealed by far-infrared observations. The typical sizes of the simulated eyes are in accordance with the observed physical sizes. However, the eye shapes are of transient nature. Depending on the stellar and interstellar conditions they develop after 20,000 to 200,000yrs and last for about 50,000 to 500,000 yrs, assuming that the star is at rest relative to the local interstellar medium. Once formed the eye shape will develop lateral outflows parallel to the magnetic field. The "explosion" of a PN in the center of the eye-shaped dust shell gives rise to an asymmetrical nebula with prominent inward pointing Rayleigh-Taylor instabilities. Interstellar magnetic fields can clearly affect the shaping of wind-ISM interaction shells. The occurrence of the eyes is most strongly influenced by stellar space motion and ISM density. Observability of this transient phase is favoured for lines-of-sight perpendicular to the interstellar magnetic field direction. The simulations indicate that shaping of the pre-PN envelope can strongly affect the shape and size of PNe.

categories: astro-ph.SR astro-ph.GA physics.comp-ph physics.flu-dyn


title: Dynamics of double layers, ion acceleration and heat flux suppression during solar flares

abstract: Observations of flare-heated electrons in the corona typically suggest confinement of electrons. The confinement mechanism, however, remains unclear. The transport of coronal hot electrons into ambient plasma was recently investigated by particle-in-cell (PIC) simulations. Electron transport was significantly suppressed by the formation of a highly localized, nonlinear electrostatic electric potential in the form of a double layer (DL). In this work large-scale PIC simulations are performed to explore the dynamics of DLs in larger systems where, instead of a single DL, multiple DLs are generated. The primary DL accelerates return current electrons, resulting in high velocity electron beams that interact with ambient ions. This forms a Buneman unstable system that spawns more DLs. Trapping of heated return current electrons between multiple DLs strongly suppresses electron transport. DLs also accelerate ambient ions and produce strong ion flows over an extended region. This clarifies the mechanism by which hot electrons in the corona couple to and accelerate ions to form the solar wind. These new dynamics in larger systems reveal a more likely picture of DL development and their impact on the ambient plasma in the solar corona. They are applicable to the preparation for in-situ coronal space missions like the Solar Probe Plus.


title: Strange correlations in spin-1 Heisenberg antiferromagnets

abstract: We study the behavior of the recently proposed "strange correlator" [Phys. Rev. Lett. {\bf 112}, 247202 (2014)] in spin-1 Heisenberg antiferromagnetic chains with uniaxial single-ion anisotropy. Using projective quantum Monte Carlo, we are able to directly access the strange correlator in a variety of phases, as well as to examine its critical behavior at the quantum phase transition between trivial and non-trivial symmetry protected topological phases. After finding the expected long-range behavior in these two symmetry conserving phases, we go on to verify the topological nature of two-leg and three-leg spin-1 Heisenberg antiferromagnetic ladders. This demonstrates the power of the strange correlator in distinguishing between trivial and non-trivial symmetry protected topological phases.


title: Critical behavior and universality properties of uniaxial ferromagnetic thin films in the presence of random magnetic fields

abstract: Critical phenomena in uniaxial ferromagnetic thin films in the presence of random magnetic fields have been studied within the framework of effective field theory. When the type of the random field distribution is bimodal, the system exhibits tricritical behavior. Furthermore, the critical value of surface to bulk ratio of exchange interactions at which the transition temperature becomes independent of film thickness is insensitive to the presence of disorder whether the distribution is bimodal or trimodal. Regarding the universality properties, neither $p$, nor $h$ variations in the system can affect the value of the shift exponent $\lambda$. In this regard, it can be concluded that pure ferromagnetic thin films are in the same universality class with those under the influence of random discrete magnetic fields.


title: Thermodynamics of AdS Black Holes in Einstein-Scalar Gravity

abstract: We study the thermodynamics of $n$-dimensional static asymptotically AdS black holes in Einstein gravity coupled to a scalar field with a potential admitting a stationary point with an AdS vacuum. Such black holes with non-trivial scalar hair can exist provided that the mass-squared of the scalar field is negative, and above the Breitenlohner-Freedman bound. We use the Wald procedure to derive the first law of thermodynamics for these black holes, showing how the scalar hair (or "charge") contributes non-trivially in the expression. We show in general that a black hole mass can be deduced by isolating an integrable contribution to the (non-integrable) variation of the Hamiltonian arising in the Wald construction, and that this is consistent with the mass calculated using the renormalised holographic stress tensor and also, in those cases where it is defined, with the mass calculated using the conformal method of Ashtekar, Magnon and Das. Similar arguments can also be given for the smooth solitonic solutions in these theories. Neither the black hole nor the soliton solutions can be constructed explicitly, and we carry out a numerical analysis to demonstrate their existence and to provide approximate checks on some of our thermodynamic results.


title: The physical conditions in IRDC clumps from Herschel HIFI observations of H2O

abstract: Context. The earliest phases of high-mass star formation are poorly understood. Aims. Our goal is to determine the physical conditions and kinematic structure of massive star-forming cloud clumps. Methods. We analyze H$_2$O 557 GHz line profiles observed with HIFI toward four positions in two infrared-dark cloud clumps . By comparison with ground-based C$^{17}$O, N$_2$H$^+$, CH$_3$OH and NH$_3$ line observations, we constrain the volume density and kinetic temperature of the gas and estimate the column density and abundance of H$_2$O and N$_2$H$^+$. Results. The observed water lines are complex with emission and absorption components. The absorption is red shifted and consistent with a cold envelope, while the emission is interpreted as resulting from protostellar outflows. The gas density in the clumps is $\sim$ 10$^7$ cm$^{-3}$. The o-H2O outflow column density is 0.3 to 3.0 10$^{14}$ cm$^{-2}$, the o-H2O absorption column density is between 1.5 10$^{14}$ and 2.6 10$^{15}$ cm$^-2$ with cold o-H2O abundances between 1.5 10$^{-9}$ and 3.1 10$^{-8}$. Conclusions. All clumps have high gas densities ($\sim$ 10$^7$ cm$^{-3}$) and display infalling gas. Three of the four clumps have outflows. The clumps form an evolutionary sequence as probed by H$_2$O N$_2$H$^+$, NH$_3$ and CH$_3$OH. We find that G28-MM is the most evolved, followed by G11-MM then G28-NH3. The least evolved clump is G11-NH3 which shows no sign-posts of star-formation. G11-NH3 is a high-mass pre-stellar core.


title: The blob crashes into the mirror: modelling the exceptional gamma-ray flaring activity of 3C 454.3 in November 2010

abstract: We focus on the exceptional flaring activity of 3C 454.3 in November 2010 and we discuss a theoretical framework addressing all data in their overall evolution. For two weeks the source has shown a plateau of enhanced GeV emission preceding a sudden major flare lasting about 3 days before decaying. The gamma-ray flare onset is abrupt (about 6 hours), and is characterized by a prominent "Compton dominance" with the GeV flux exceeding the pre-flare values by a factor of 4-5, whereas the optical and X-ray fluxes increased only by a factor 2. We explore two alternatives. Case 1, with high-energy emission originating within the BLR; and Case 2, with most of it produced outside. We show that Case 1 has considerable problems in explaining the whole set of multifrequency data. Case 2, instead, leads to a consistent and interesting interpretation based on the enhanced inverse Compton radiation that is produced as the jet crashes onto a mirror cloud positioned at few parsec from the BH. This model explains the gamma-ray vs. optical/X-ray behavior of 3C 454.3, including the otherwise puzzling phenomena such as the prominent "orphan" optical flare, and the enhanced line emission with no appreciable gamma-ray counterpart that preceded the GeV flare. It also accounts for the delayed onset of the latter on top of the long plateau. Our modelling of the exceptional 3C 454.3 gamma-ray flare shows that, while emission inside the canonical BLR is problematic, major and rapid variations can be produced at parsec scales with moderate bulk Lorentz factors $\Gamma\approx 15$.


title: Emergence of bound states in ballistic magnetotransport of graphene antidots

abstract: An experimental method for detection of bound states around an antidot formed from a hole in a graphene sheet is proposed by measuring the ballistic two terminal conductances. In particularly, we consider the effect of bound states formed by magnetic field on the two terminal conductance and show that one can observe Breit-Wigner like resonances in the conductance as a function of the Fermi level close to the energies of the bound states. In addition, we develop a new numerical method in which the computational effort is proportional to the linear dimensions, instead of the area of the scattering region beeing typical for the existing numerical recursive Green's function method.


title: Expectation values of flavor-neutrino numbers with respect to neutrino-source hadron states --Neutrino oscillations and decay probabilities--

abstract: On the basis of quantum field theory, we consider a unified description of various processes accompanied by neutrinos, namely weak decays and oscillation processes. The structures of the expectation values of flavor-neutrino numbers with respect to neutrino-source hadron state are investigated. Due to the smallness of neutrino masses, we naturally obtain the old (i.e. pre-mixing) formulas of decay probabilities. Together, it is shown that the oscillation formulas, similar to the usual ones, are applied irrespectively of the details of neutrino-producing processes. The derived oscillation formulas are the same in form as the usually used ones except for the oscillation length.


title: Group colocation behavior in technological social networks

abstract: We analyze two large datasets from technological networks with location and social data: user location records from an online location-based social networking service, and anonymized telecommunications data from a European cellphone operator, in order to investigate the differences between individual and group behavior with respect to physical location. We discover agreements between the two datasets: firstly, that individuals are more likely to meet with one friend at a place they have not visited before, but tend to meet at familiar locations when with a larger group. We also find that groups of individuals are more likely to meet at places that their other friends have visited, and that the type of a place strongly affects the propensity for groups to meet there. These differences between group and solo mobility has potential technological applications, for example, in venue recommendation in location-based social networks.


title: SALT long-slit spectroscopy of CTS C30.10: two-component Mg II line

abstract: Quasars can be used as a complementary tool to SN Ia to probe the distribution of dark energy in the Universe by measuring the time delay of the emission line with respect to the continuum. The understanding of the Mg II emission line structure is important for cosmological application and for the black hole mass measurements of intermediate redshift quasars. The knowledge of the shape of Mg II line and its variability allows to determine which part of the line should be used to measure the time delay and the black hole mass. We thus aim at determination of the structure and the variability of the Mg II line as well as of the underlying Fe II pseudo-continuum. We performed five spectroscopic observations of a quasar CTS C30.10 (z = 0.9000) with the SALT telescope between December 2012 and March 2014, and we studied the variations of the spectral shape in the 2700 - 2900 A rest frame. We showed that the Mg II line in this source consists of two kinematic components, which makes the source representative of type B quasars. Both components were well modeled with a Lorentzian shape. Both components vary in a similar way. The Fe II contribution seems to be related only to the first (blue) Mg II component}. Broad band spectral fitting rather favor the use of the whole line profile. The contribution of the Narrow Line Region to Mg II is very low, below 2%. The Mg II variability is lower than the variability of the continuum, which is consistent with the simple reprocessing scenario. The variability level of CTS C30.10 and the measurement accuracy of the line and continuum is high enough to expect that further monitoring will allow to measure the time delay between the Mg II line and continuum.


title: On identities in the products of group varieties

abstract: Let ${\cal B}_n$ be the variety of groups satisfying the law $x^n=1$. It is proved that for every sufficiently large prime $p$, say $p>10^{10}$, the product ${\cal B}_p{\cal B}_p$ cannot be defined by a finite set of identities. This solves the problem formulated by C.K. Gupta and A.N. Krasilnikov in 2003. We also find the axiomatic and the basis ranks of the variety ${\cal B}_p{\cal B}_p$. For this goal, we improve the estimate for the basis rank of the product of group varieties obtained by G. Baumslag, B.H. Neumann, H. Neumann and P.M. Neumann long ago.


title: On $\theta$-congruent numbers, rational squares in arithmetic progressions, concordant forms and elliptic curves

abstract: The correspondence between right triangles with rational sides, triplets of rational squares in arithmetic succession and integral solutions of certain quadratic forms is well known. We show how this correspondence can be extended to the generalized notions of rational $\theta$-triangles, rational squares occurring in arithmetic progressions and concordant forms. In our approach we establish one-to-one mappings to rational points on certain elliptic curves and examine in detail the role of solutions of the $\theta$-congruent number problem and the concordant form problem associated with nontrivial torsion points on the corresponding elliptic curves. This approach allows us to combine and extend some disjoint results obtained by a number of authors, to clarify some statements in the literature and to answer some hitherto open questions.


title: The 0.1<z<1.65 evolution of the bright end of the [OII] luminosity function

abstract: We present the [OII] luminosity function measured in the redshift range 0.1<z<1.65 with unprecedented depth and accuracy. Our measurements are based on medium resolution flux-calibrated spectra of emission line galaxies with the FORS2 instrument at VLT and with the SDSS-III/BOSS spectrograph. The FORS2 spectra and the corresponding catalog containing redshifts and line fluxes are released along with this paper. In this work we use a novel method to combine the aforementioned surveys with GAMA, zCOSMOS and VVDS, which have different target selection, producing a consistent weighting scheme to derive the [OII] luminosity function. The measured luminosity function is in good agreement with previous independent estimates. The comparison with two state-of-the-art semi-analytical models is good, which is encouraging for the production of mock catalogs of [OII] flux limited surveys. We observe the bright end evolution over 8.5 Gyr: we measure the decrease of log L* from 42.4 erg/s at redshift 1.44 to 41.2 at redshift 0.165 and we find that the faint end slope flattens when redshift decreases. This measurement confirms the feasibility of the target selection of future baryonic acoustic oscillation surveys aiming at observing [OII] flux limited samples.


title: Modified theory of gravity and the history of cosmic evolution

abstract: A continuous transition from early Friedmann-like radiation era through to late time cosmic acceleration passing through a long Friedmann-like matter dominated era followed by a second phase of radiation era has been realized in modified theory of gravity containing a combination of curvature squared term, a linear term, a three-half term and an ideal fluid. Thus the history of cosmic evolution is explained by modified theory of gravity singlehandedly. The second phase of radiation-like era might provide an explanation to the hydrogen and helium reionization at low redshift.


title: Dual role of an ac driving force and the underlying two distinct order-disorder transitions in the vortex phase diagram of Ca3Ir4Sn13

abstract: We present distinct demarcation of the Bragg glass (BG) to multi-domain vortex glass (VG) transition line and the eventual amorphization of the VG phase in a weakly pinned single crystal of the superconducting compound Ca3Ir4Sn13 on the basis of comprehension of the different yields about the second magnetization peak (SMP) anomaly in the dc magnetization and the corresponding anomalous feature in the ac susceptibility measurements. The shaking by a small ac magnetic field, inevitably present in the ac susceptibility measurements, is seen to result in contrasting responses in two different portions of the field-temperature (H, T) phase space of the multi-domain VG. In one of the portions, embracing the BG to VG transition across the onset of the SMP anomaly, the ac drive is surprisingly seen to assist the transformation of the well ordered BG phase to a lesser ordered VG phase. The BG phase exists as a superheated state over a small portion of the VG space and this attests to the first order nature of the BG to VG transition.


title: Propagation of electromagnetic waves in Bose-Einstein condensate of atoms with dipole moments

abstract: We study the propagation of electromagnetic waves in the Bose-Einstein condensate of atoms with both intrinsic dipole moments and those induced by the electric field. The modified Gross--Pitaevskii equation is used, which takes into account relaxation and interaction with the electromagnetic field. Two cases are considered: 1) when the dispersion curves of the electromagnetic wave and of the condensate excitations do not intercross and 2) when the condensate excitations' spectrum has a gap and the two dispersion curves do intercross. In the second case the two branches hybridize. It is shown that propagation of sound waves can be accompanied by oscillation of the electromagnetic field. The impact is studied of the dipole-dipole interaction on the character of electromagnetic and acoustic waves' propagation in the Bose-Einstein condensate.


title: Quantizing the geodesic flow via adapted complex structures

abstract: The geometric quantization of the geodesic flow on a compact Riemannian manifold via the BKS "dragging projection" yields the Laplacian plus a scalar curvature term. To avoid convergence issues, the standard construction involves somewhat unnatural hypotheses that do not hold in typical examples. In this paper, we use adapted complex structures to make sense of a Wick-rotated version of the dragging projection which avoids the convergence issues.


title: Radial velocity confirmation of Kepler-91 b. Additional evidence of its planetary nature using the Calar Alto/CAFE instrument

abstract: The object transiting the star Kepler-91 was recently assessed as being of planetary nature. The confirmation was achieved by analysing the light-curve modulations observed in the Kepler data. However, quasi-simultaneous studies claimed a self-luminous nature for this object, thus rejecting it as a planet. In this work, we apply an {independent} approach to confirm the planetary mass of Kepler-91b by using multi-epoch high-resolution spectroscopy obtained with the Calar Alto Fiber-fed Echelle spectrograph (CAFE). We obtain the physical and orbital parameters with the radial velocity technique. In particular, we derive a value of $1.09 \pm 0.20\,M_{\mathrm{Jup}}$ for the mass of Kepler-91b, in excellent agreement with our previous estimate that was based on the orbital brightness modulation.


title: Self-organization in complex systems as decision making

abstract: The idea is advanced that self-organization in complex systems can be treated as decision making (as it is performed by humans) and, vice versa, decision making is nothing but a kind of self-organization in the decision maker nervous systems. A mathematical formulation is suggested based on the definition of probabilities of system states, whose particular cases characterize the probabilities of structures, patterns, scenarios, or prospects. In this general framework, it is shown that the mathematical structures of self-organization and of decision making are identical. This makes it clear how self-organization can be seen as an endogenous decision making process and, reciprocally, decision making occurs via an endogenous self-organization. The approach is illustrated by phase transitions in large statistical systems, crossovers in small statistical systems, evolutions and revolutions in social and biological systems, structural self-organization in dynamical systems, and by the probabilistic formulation of classical and behavioral decision theories. In all these cases, self-organization is described as the process of evaluating the probabilities of macroscopic states or prospects in the search for a state with the largest probability. The general way of deriving the probability measure for classical systems is the principle of minimal information, that is, the conditional entropy maximization under given constraints. Behavioral biases of decision makers can be characterized in the same way as analogous to quantum fluctuations in natural systems.


title: A Correction Term for the Covariance of Renewal-Reward Processes with Multivariate Rewards

abstract: We consider a renewal-reward process with multivariate rewards. Such a process is constructed from an i.i.d.\ sequence of time periods, to each of which there is associated a multivariate reward vector. The rewards in each time period may depend on each other and on the period length, but not on the other time periods. Rewards are accumulated to form a vector valued process that exhibits jumps in all coordinates simultaneously, only at renewal epochs. We derive an asymptotically exact expression for the covariance function (over time) of the rewards, which is used to refine a central limit theorem for the vector of rewards. As illustrated by a numerical example, this refinement can yield improved accuracy, especially for moderate time-horizons.


title: Electronic Phase Diagram of SrFe$_2$(As$_{1-x}$P$_x$)$_2$: Effect of Structural Dimensionality

abstract: We have investigated the electronic properties of SrFe$_2$(As$_{1-x}$P$_x$)$_2$ ($0\leqq x\leqq1$) single crystals with postannealing treatment and established a phase diagram of this system. The postannealing treatment reduced the residual resistivity in an antiferromagnetic-orthorhombic phase and enhanced the superconducting transition temperature to $T_{c, optimal}$=33\,K in the superconducting phase. The obtained phase diagram and electronic properties are similar to those of BaFe$_2$(As$_{1-x}$P$_x$)$_2$ despite the large difference in lattice constants. This indicates that, for superconductivity, the dimensionality of the Fermi surface determined by the crystal structural anisotropy is less important than the pnictogen height from the Fe plane.


title: An Intuitive Curve-Fit Approach to Probability-Preserving Prediction of Extremes

abstract: A method is described for predicting extremes values beyond the span of historical data. The method - based on extending a curve fitted to a location- and scale-invariant variation of the double-logarithmic QQ-plot - is simple and intuitive, yet it preserves probability to a good approximation. The procedure is developed on the Generalised Pareto Distribution (GPD), but is applicable to the upper order statistics of a wide class of distributions.


title: Moment estimates for exponential sums over k-free numbers

abstract: We investigate the size of L^p-integrals for exponential sums over k-free numbers and prove essentially tight bounds.


title: Followers or Phantoms? An Anatomy of Purchased Twitter Followers

abstract: Online Social Media (OSM) is extensively used by contemporary Internet users to communicate, socialize and disseminate information. This has led to the creation of a distinct online social identity which in turn has created the need of online social reputation management techniques. A significant percentage of OSM users utilize various methods to drive and manage their reputation on OSM. This has given rise to underground markets which buy/sell fraudulent accounts, `likes', `comments' (Facebook, Instagram) and `followers' (Twitter) to artificially boost their social reputation. In this study, we present an anatomy of purchased followers on Twitter and their behaviour. We illustrate in detail the profile characteristics, content sharing and behavioural patterns of purchased follower accounts. Previous studies have analyzed the purchased follower markets and customers. Ours is the first study which analyzes the anatomy of purchased followers accounts. Some of the key insights of our study show that purchased followers have a very high unfollow entropy rate and low social engagement with their friends. In addition, we noticed that purchased follower accounts have significant difference in their interaction and content sharing patterns in comparison to random Twitter users. We also found that underground markets do not follow their service policies and guarantees they provide to customer. Our study highlights the key identifiers for suspicious follow behaviour. We then built a supervised learning mechanism to predict suspicious follower behaviour with 88.2% accuracy. We believe that understanding the anatomy and characteristics of purchased followers can help detect suspicious follower behaviour and fraudulent accounts to a larger extent.


title: Some refinements for translation invariant quadratic forms in dense sets

abstract: We improve the result of our previous paper on translation invariant quadratic forms in two special cases. We reduce the density bound $|\mathcal{A}|/N = O((\log\log N)^{-c})$ to $|\mathcal{A}|/N = O((\log N)^{-c})$ for most quadratic forms and handle almost diagonal equations in $s \geq 6$ variables instead of $s \geq 8$.


title: Asymptotic Structure of Constrained Exponential Random Graph Models

abstract: In this paper, we study exponential random graph models subject to certain constraints. We obtain some general results about the asymptotic structure of the model. We show that there exists non-trivial regions in the phase plane where the asymptotic structure is uniform and there also exists non-trivial regions in the phase plane where the asymptotic structure is non-uniform. We will get more refined results for the star model and in particular the two-star model for which a sharp transition from uniform to non-uniform structure, a stationary point and phase transitions will be obtained.


title: On rational equivalence in tropical geometry

abstract: This article discusses the concept of rational equivalence in tropical geometry (and replaces the older and imperfect version arXiv:0811.2860). We give the basic definitions in the context of tropical varieties without boundary points and prove some basic properties. We then compute the "bounded" Chow groups of $\mathbb{R}^n$ by showing that they are isomorphic to the group of fan cycles. The main step in the proof is of independent interest: We show that every tropical cycle in $\mathbb{R}^n$ is a sum of (translated) fan cycles. This also proves that the intersection ring of tropical cycles is generated in codimension 1 (by hypersurfaces).


title: Comments on HKT supersymmetric sigma models and their Hamiltonian reduction

abstract: Using complex notation, we present new simple expressions for two pairs of complex supercharges in HKT supersymmetric sigma models. The second pair of supercharges depends on the holomorphic antisymmetric "hypercomplex structure" tensor which plays the same role for the HKT models as the complex structure tensor for the Kaehler models. When the Hamiltonian and supercharges commute with the momenta conjugate to the imaginary parts of the complex coordinates, one can perform a Hamiltonian reduction. The models thus obtained represent a special class of quasicomplex sigma models introduced recently by Ivanov and Smilga.


title: A New Method of Classification of Pure Tripartite Quantum States

abstract: The classification of the multipartite entanglement is an important problem in quantum information theory. We propose a class of two qubit mixed states $\sigma_{AB}= p|\chi_{1}\rangle\langle\chi_{1}|\otimes\rho_{1}+(1-p)|\chi_{2}\rangle\langle\chi_{2}|\otimes\rho_{2}$, where $|\chi_{1}\rangle=\alpha|0\rangle+\beta|1\rangle$, $|\chi_{2}\rangle=\beta|0\rangle+(-1)^{n}\alpha|1\rangle$. We have shown that the state $\sigma_{AB}$ represent a classical state when $n$ is odd while it represent a non-classical state when $n$ is even. The purification of the state $\sigma_{AB}$ is studied and found that the purification is possible if the spectral decomposition of the density matrices $\rho_{1}$ and $\rho_{2}$ represent pure states. We have established a relationship between three tangle, which measures the amount of entanglement in three qubit system and the quantity $\langle\chi_{1}|\chi_{2}\rangle$, which identifies whether the two qubit mixed state is classical or non-classical. The three qubit purified state is then classified as a separable or biseparable or W-type or GHZ-type state using the quantum correlation, measured by geometric discord, of its reduced two qubit density matrix.


title: Quantum Byzantine Agreement via Hardy correlations and entanglement swapping

abstract: We present a device-independent quantum scheme for the {\em Byzantine Generals} problem. The protocol is for three parties. Party $C$ is to send two identical one bit messages to parties $A$ and $B$. The receivers $A$ and $B$ may exchange two one bit messages informing the other party on the message received from $C$. A bit flipping error in one of the transmissions, does not allow the receiving parties to establish what was the message of $C$. Our quantum scheme has the feature that if the messages of the Byzantine protocol are readable (that is give an unambiguous bit value for any of the receivers), then any error by $C$ (cheating by one of the commanding general) is impossible. $A$ and $B$ do not have to exchange protocol messages to be sure of this.


title: Phase dynamics and IV-characteristics of two parallel stacks of coupled Josephson junctions

abstract: Two parallel stacks of coupled Josephson junctions are investigated to clarify the physics of transitions between the rotating and oscillating states and their effect on the IV-characteristics of the system. The detailed study of phase dynamics and bias dependence of the superconducting and diffusion currents allows one to explain all features of simulated IV-characteristics and demonstrate the correspondence in their behavior. The coupling between JJ in the stacks leads to the branching of IV-characteristics and a decrease in the hysteretic region. The crucial role of the diffusion current in the formation of the IV-characteristic of the parallel stacks of coupled Josephson junctions is demonstrated. We discuss the effect of symmetry in a number of junctions in the stacks and show a decrease of the branching in the symmetrical stacks. The observed effects might be useful for development of superconducting electronic devices based on intrinsic Josephson junctions.


title: Measuring and Optimizing Cultural Markets

abstract: Social influence has been shown to create significant unpredictability in cultural markets, providing one potential explanation why experts routinely fail at predicting commercial success of cultural products. To counteract the difficulty of making accurate predictions, "measure and react" strategies have been advocated but finding a concrete strategy that scales for very large markets has remained elusive so far. Here we propose a "measure and optimize" strategy based on an optimization policy that uses product quality, appeal, and social influence to maximize expected profits in the market at each decision point. Our computational experiments show that our policy leverages social influence to produce significant performance benefits for the market, while our theoretical analysis proves that our policy outperforms in expectation any policy not displaying social information. Our results contrast with earlier work which focused on showing the unpredictability and inequalities created by social influence. Not only do we show for the first time that dynamically showing consumers positive social information under our policy increases the expected performance of the seller in cultural markets. We also show that, in reasonable settings, our policy does not introduce significant unpredictability and identifies "blockbusters". Overall, these results shed new light on the nature of social influence and how it can be leveraged for the benefits of the market.


title: Weak Antilocalization Effect and Noncentrosymmetric Superconductivity in a Topologically Nontrivial Semimetal LuPdBi

abstract: A large number of half-Heusler compounds have been recently proposed as three-dimensional (3D) topological insulators (TIs) with tunable physical properties.However, no transport measurements associated with the topological surface states have been observed in these half-Heusler candidates due to the dominating contribution from bulk electrical conductance. Here we show that, by reducing the mobility of bulk carriers, a two-dimensional (2D) weak antilocalization (WAL) effect, one of the hallmarks of topological surface states, was experimentally revealed from the tilted magnetic field dependence of magnetoconductance in a topologically nontrivial semimetal LuPdBi. Besides the observation of a 2D WAL effect, a superconducting transition was revealed at Tc~1.7 K in the same bulk LuPdBi. Quantitative analysis within the framework of a generalized BCS theory leads to the conclusion that the noncentrosymmetric superconductivity of LuPdBi is fully gapped with a possibly unconventional pairing character. The co-existence of superconductivity and the transport signature of topological surface states in the same bulk alloy suggests that LuPdBi represents a very promising candidate as a topological superconductor.


title: Regular and irregular dynamics of Dirac-Weyl wavepackets in a mesoscopic quantum dot at the edge of topological insulator

abstract: The dynamics of Dirac-Weyl spin-polarized wavepackets driven by periodic electric field is considered for the electrons in a mesoscopic quantum dot formed at the edge of two-dimensional HgTe/CdTe topological insulator with Dirac-Weyl massless energy spectra, where the motion of carriers is less sensitive to disorder and impurity potentials. It was observed that the interplay of strongly coupled spin and charge degrees of freedom creates the regimes of irregular dynamics both in coordinate and spin channels. The border between the regular and irregular regimes determined by the strength and frequency of the driving field is found analytically within the quasiclassical approach by means of the Ince-Strutt diagram for Mathieu equation, and is supported by full quantum mechanical simulations of the driven dynamics. The investigation of quasienergy spectrum by Floquet approach reveals the presence of non-Poissonian level statistics which indicates the possibility of chaotic quantum dynamics and corresponds to the areas of parameters for irregular regimes within the quasiclassical approach. We found that the influence of weak disorder leads to partial suppression of the dynamical chaos. Our findings are of interest both for progress in a fundamental field of quantum chaotic dynamics and for further experimental and technological applications of spin-dependent phenomena in nanostructures based on topological insulators.


title: Many-body correlations of quasiparticle random-phase approximation in nuclear matrix element of neutrinoless double-beta decay

abstract: We show that the correlations of the quasiparticle random-phase approximation (QRPA) significantly reduce the nuclear matrix element (NME) of neutrinoless double-beta decay by a new mechanism in the calculation for $^{150}$Nd $\rightarrow$ $^{150}$Sm. This effect is due mainly to the normalization factors of the QRPA ground states included in the overlap of intermediate states, to which the QRPA states based on the initial and final ground states are applied. These normalization factors arise according to the definition of the QRPA ground state as the vacuum of quasibosons. Our NME is close to those of other groups in spite of this new reduction effect because we do not use the proton-neutron pairing interaction usually used for reproducing the experimental NME of the two-neutrino double-beta ($2\nu\beta\beta$) decay. Our method can repeoduce the experimental $2\nu\beta\beta$ NME for $^{150}$Nd $\rightarrow$ $^{150}$Sm with the quenching axial-vector current coupling without approacing the breaking point of the QRPA. The consistency of QRPA approaches taking different virtual paths under the closure approximation is also discussed, and an extension of the QRPA ground state is proposed.


title: Ideal codes over separable ring extensions

abstract: This paper investigates the application of the theoretical algebraic notion of a separable ring extension, in the realm of cyclic convolutional codes or, more generally, ideal codes. We work under very mild conditions, that cover all previously known as well as new non trivial examples. It is proved that ideal codes are direct summands as left ideals of the underlying non-commutative algebra, in analogy with cyclic block codes. This implies, in particular, that they are generated by an idempotent element. Hence, by using a suitable separability element, we design an efficient algorithm for computing one of such idempotents.


title: Magneto-transport properties of oriented Mn2CoAl films sputtered on thermally oxidized Si substrates

abstract: Spin gapless semiconductors are interesting novel class of materials by embracing both magnetism and semiconducting. Its potential application in future spintronics requires realization in thin film form. In this letter, we report a successful growth of spin gapless Mn2CoAl films on thermally oxidized Si substrates by magnetron sputtering deposition. The films deposited at 673K are well oriented to (001) direction and display a uniform-crystalline surface. Magnetotransport measurements on the oriented films reveal a semiconducting-like resistivity, small anomalous Hall conductivity and linear magnetoresistance (MR) representative of the transport signatures of spin gapless semiconductors. The magnetic properties of the films have also been investigated and compared to that of bulk Mn2CoAl, with small discrepancy induced by the composition deviation.


title: On the bulk velocity of Brownian ratchets

abstract: In this paper we study the unidirectional transport effect for Brownian ratchets modeled by Fokker-Planck-type equations. In particular, we consider the adiabatic and semiadiabatic limits for tilting ratchets, generic ratchets with small diffusion, and the multi-state chemical ratchets. Having established a linear relation between the bulk transport velocity and the bi-periodic solution, and using relative entropy estimates and new functional inequalities, we obtain explicit asymptotic formulas for the transport velocity and qualitative results concerning the direction of transport. In particular, we prove the conjecture by Blanchet, Dolbeault and Kowalczyk that the bulk velocity of the stochastic Stokes' drift is non-zero for every non-constant potential.


title: Real-Time Human-Computer Interaction Based on Face and Hand Gesture Recognition

abstract: At the present time, hand gestures recognition system could be used as a more expected and useable approach for human computer interaction. Automatic hand gesture recognition system provides us a new tactic for interactive with the virtual environment. In this paper, a face and hand gesture recognition system which is able to control computer media player is offered. Hand gesture and human face are the key element to interact with the smart system. We used the face recognition scheme for viewer verification and the hand gesture recognition in mechanism of computer media player, for instance, volume down/up, next music and etc. In the proposed technique, first, the hand gesture and face location is extracted from the main image by combination of skin and cascade detector and then is sent to recognition stage. In recognition stage, first, the threshold condition is inspected then the extracted face and gesture will be recognized. In the result stage, the proposed technique is applied on the video dataset and the high precision ratio acquired. Additional the recommended hand gesture recognition method is applied on static American Sign Language (ASL) database and the correctness rate achieved nearby 99.40%. also the planned method could be used in gesture based computer games and virtual reality.


title: Three-Slit Ghost Interference and Nonlocal Duality

abstract: A three-slit ghost interference experiment with entangled photons is theoretically analyzed using wave-packet dynamics. A non-local duality relation is derived which connects the path distinguishability of one photon to the interference visibility of the other.