title: The Operator Product Expansion of the Lowest Higher Spin Current at Finite N

abstract: For the N=2 Kazama-Suzuki(KS) model on CP^3, the lowest higher spin current with spins (2, 5/2, 5/2,3) is obtained from the generalized GKO coset construction. By computing the operator product expansion of this current and itself, the next higher spin current with spins (3, 7/2, 7/2, 4) is also derived. This is a realization of the N=2 W_{N+1} algebra with N=3 in the supersymmetric WZW model. By incorporating the self-coupling constant of lowest higher spin current which is known for the general (N,k), we present the complete nonlinear operator product expansion of the lowest higher spin current with spins (2, 5/2, 5/2, 3) in the N=2 KS model on CP^N space. This should coincide with the asymptotic symmetry of the higher spin AdS_3 supergravity at the quantum level. The large (N,k) 't Hooft limit and the corresponding classical nonlinear algebra are also discussed.


title: Odd-Parity Pairing and Topological Superconductivity in a Strongly Spin-Orbit Coupled Semiconductor

abstract: The existence of topological superconductors preserving time-reversal symmetry was recently predicted, and they are expected to provide a solid-state realization of itinerant massless Majorana fermions and a route to topological quantum computation. Their first concrete example, CuxBi2Se3, was discovered last year, but the search for new materials has so far been hindered by the lack of guiding principle. Here, we report point-contact spectroscopy experiments showing that the low-carrier-density superconductor Sn_{1-x}In_{x}Te is accompanied with surface Andreev bound states which, with the help of theoretical analysis, give evidence for odd-parity pairing and topological superconductivity. The present and previous finding of topological superconductivity in Sn_{1-x}In_{x}Te and CuxBi2Se3 demonstrates that odd-parity pairing favored by strong spin-orbit coupling is a common underlying mechanism for materializing topological superconductivity.


title: Simulation of the Elastic Properties of Reinforced Kevlar-Graphene Composites

abstract: The compressive strength of unidirectional fiber composites in the form of Kevlar yarn with a thin outer layer of graphene was investigated and modeled. Such fiber structure may be fabricated by using a strong chemical bond between Kevlar yarn and graphene sheets. Chemical functionalization of graphene and Kevlar may achieved by modification of appropriate surface-bound functional (e.g., carboxylic acid) groups on their surfaces. In this report we studied elastic response to unidirectional in-plane applied load with load peaks along the diameter. The 2D linear elasticity model predicts that significant strengthening occurs when graphene outer layer radius is about 4 % of kevlar yarn radius. The polymer chains of Kevlar are linked into locally planar structure by hydrogen bonds across the chains, with transversal strength considerably weaker than longitudinal one. This suggests that introducing outer enveloping layer of graphene, linked to polymer chains by strong chemical bonds may significantly strengthen Kevlar fiber with respect to transversal deformations.

categories: cond-mat.mes-hall math-ph math.MP physics.chem-ph physics.comp-ph


title: Quintom phase-space: beyond the exponential potential

abstract: We investigate the phase-space structure of the quintom dark energy paradigm in the framework of spatially flat and homogeneous universe. Considering arbitrary decoupled potentials, we find certain general conditions under which the phantom dominated solution is late time attractor, generalizing previous results found for the case of exponential potential. Center Manifold Theory is employed to obtain sufficient conditions for the instability of de Sitter solution either with phantom or quintessence potential dominance.


title: Consistent Approximations for the Optimal Control of Constrained Switched Systems

abstract: Though switched dynamical systems have shown great utility in modeling a variety of physical phenomena, the construction of an optimal control of such systems has proven difficult since it demands some type of optimal mode scheduling. In this paper, we devise an algorithm for the computation of an optimal control of constrained nonlinear switched dynamical systems. The control parameter for such systems include a continuous-valued input and discrete-valued input, where the latter corresponds to the mode of the switched system that is active at a particular instance in time. Our approach, which we prove converges to local minimizers of the constrained optimal control problem, first relaxes the discrete-valued input, then performs traditional optimal control, and then projects the constructed relaxed discrete-valued input back to a pure discrete-valued input by employing an extension to the classical Chattering Lemma that we prove. We extend this algorithm by formulating a computationally implementable algorithm which works by discretizing the time interval over which the switched dynamical system is defined. Importantly, we prove that this implementable algorithm constructs a sequence of points by recursive application that converge to the local minimizers of the original constrained optimal control problem. Four simulation experiments are included to validate the theoretical developments.


title: Capacity Results for Two Classes of Three-Way Channels

abstract: This paper considers the three-way channel, consisting of three nodes, where each node broadcasts a message to the two other nodes. The capacity of the finite-field three-way channel is derived, and is shown to be achievable using a non-cooperative scheme without feedback. The same scheme is also shown to achieve the equal-rate capacity (when all nodes transmit at the same rate) of the sender-symmetrical (each node receives the same SNR from the other two nodes) phase-fading AWGN channel. In the light that the non-cooperative scheme is not optimal in general, a cooperative feedback scheme that utilizes relaying and network coding is proposed and is shown to achieve the equal-rate capacity of the reciprocal (each pair of nodes has the same forward and backward SNR) phase-fading AWGN three-way channel.


title: Valley-based FETs in graphene

abstract: An analogue of the Datta-Das spin FET is investigated, which is all-graphene and based on the valley degree of freedom of electrons / holes. The "valley FET" envisioned consists of a quantum wire of gapped graphene (channel) sandwiched between two armchair graphene nanoribbons (source and drain), with the following correspondence to the spin FET: valley (K and K') \leftrightarrow spin (up and down), armchair graphene nanoribbons \leftrightarrow ferromagnetic electrodes, graphene quantum wire \leftrightarrow semiconductor quantum wire, valley-orbit interaction \leftrightarrow Rashba spin-orbit interaction. The device works as follows. The source (drain) injects (detects) carriers in a specific valley polarization. A gate electric field is applied to the channel and modulates the valley polarization of carriers due to the valley-orbit interaction, thus controlling the amount of current collected at the drain. The valley FET is characterized by: i) smooth interfaces between electrodes and the channel, ii) strong valley-orbit interaction for electrical control of drain current, and iii) vanishing interband valley-flip scattering. By its analogy to the spin FET, the valley FET provides a potential framework to develop low-power FETs for graphene-based nanoelectronics.


title: An Improved Data Assimilation Scheme for High Dimensional Nonlinear Systems

abstract: Nonlinear/non-Gaussian filtering has broad applications in many areas of life sciences where either the dynamic is nonlinear and/or the probability density function of uncertain state is non-Gaussian. In such problems, the accuracy of the estimated quantities depends highly upon how accurately their posterior pdf can be approximated. In low dimensional state spaces, methods based on Sequential Importance Sampling (SIS) can suitably approximate the posterior pdf. For higher dimensional problems, however, these techniques are usually inappropriate since the required number of particles to achieve satisfactory estimates grows exponentially with the dimension of state space. On the other hand, ensemble Kalman filter (EnKF) and its variants are more suitable for large-scale problems due to transformation of particles in the Bayesian update step. It has been shown that the latter class of methods may lead to suboptimal solutions for strongly nonlinear problems due to the Gaussian assumption in the update step. In this paper, we introduce a new technique based on the Gaussian sum expansion which captures the non-Gaussian features more accurately while the required computational effort remains within reason for high dimensional problems. We demonstrate the performance of the method for non-Gaussian processes through several examples including the strongly nonlinear Lorenz models. Results show a remarkable improvement in the mean square error compared to EnKF, and a desirable convergence behavior as the number of particles increases.


title: Efficient Non-Resonant Absorption in Thin Cylindrical Targets: Experimental Evidence for Longitudinal Geometry

abstract: Experiments provide a qualitative confirmation of significant absorption of a wide electromagnetic beam propagating along a thin conducting cylinder (the diameter of the cylinder can be orders of magnitude less than the beam waist width). This new physical effect can be used for numerous applications, such as pumping of active media of short-wavelength lasers and creation of low-density channels in the lower atmosphere.


title: Precision measurement of charge number with optomechanically induced transparency

abstract: We propose a potentially practical scheme to precisely measure the charge numbers of small charged objects by optomechanical systems using optomechanically induced transparency (OMIT). In contrast to the conventional measurements based on the noise backaction on the optomechanical systems, our scheme makes use of the small deformation of the mechanical resonator sensitive to the charge number of the nearby charged object, which could achieve the detection of a single charge. The relationship between the charge number and the window width of the OMIT is investigated and the feasibility of the scheme is justified by numerical simulation using currently available experimental values.


title: Cosmic Shear E/B-mode Estimation with Binned Correlation Function Data

abstract: In this work I study the problem of E/B-mode separation with binned cosmic shear two-point correlation function data. Motivated by previous work on E/B-mode separation with shear two-point correlation functions and the practical considerations of data analysis, I consider E/B-mode estimators which are linear combinations of the binned shear correlation function data points. I demonstrate that these estimators mix E- and B-modes generally. I then show how to define estimators which minimize this E/B-mode mixing and give practical recipes for their construction and use. Using these optimal estimators, I demonstrate that the vector space composed of the binned shear correlation function data points can be decomposed into approximately ambiguous, E- and B-mode subspaces. With simple Fisher information estimates, I show that a non-trivial amount of information on typical cosmological parameters is contained in the ambiguous mode subspace computed in this formalism. Next, I give two examples which apply these practical estimators and recipes to generic problems in cosmic shear data analysis: data compression and spatially locating B-mode contamination. In particular, by using wavelet-like estimators with the shear correlation functions directly, one can pinpoint B-mode contamination to specific angular scales and extract information on its shape. Finally, I discuss how these estimators can be used as part of blinded or closed-box cosmic shear data analyses in order to assess and find B-mode contamination at high-precision while avoiding observer biases.


title: A Multi-Wavelength Study of the Jet, Lobes and Core of the Quasar PKS 2101-490

abstract: We present a detailed study of the X-ray, optical and radio emission from the jet, lobes and core of the quasar PKS 2101-490 as revealed by new Chandra, HST and ATCA images. We extract the radio to X-ray spectral energy distributions from seven regions of the 13 arcsecond jet, and model the jet X-ray emission in terms of Doppler beamed inverse Compton scattering of the cosmic microwave background (IC/CMB) for a jet in a state of equipartition between particle and magnetic field energy densities. This model implies that the jet remains highly relativistic hundreds of kpc from the nucleus, with a bulk Lorentz factor Gamma ~ 6 and magnetic field of order 30 microGauss. We detect an apparent radiative cooling break in the synchrotron spectrum of one of the jet knots, and are able to interpret this in terms of a standard one-zone continuous injection model, based on jet parameters derived from the IC/CMB model. However, we note apparent substructure in the bright optical knot in one of the HST bands. We confront the IC/CMB model with independent estimates of the jet power, and find that the IC/CMB model jet power is consistent with the independent estimates, provided that the minimum electron Lorentz factor gamma_min > 50, and the knots are significantly longer than the jet width, as implied by de-projection of the observed knot lengths.


title: Confidentiality without Encryption For Cloud Computational Privacy

abstract: Advances in technology has given rise to new computing models where any individual/organization (Cloud Service Consumers here by denoted as CSC's) can outsource their computational intensive tasks on their data to a remote Cloud Service Provider (CSP) for many advantages like lower costs, scalability etc. But such advantages come for a bigger cost "Security and Privacy of data" for this very reason many CSC's are skeptical to move towards cloud computing models. While the advances in cryptography research are promising, there are no practical solutions yet for performing any operations on encrypted data [1]. For this very reason there is strong need for finding alternative viable solutions for us to benefit from Cloud Computing. A technique to provide confidentiality without encryption was proposed in the past namely "Chaffing and Winnowing: Confidentiality without Encryption" by Ronald L. Rivest [2]. While this technique has been proposed for packet based communication system, its not adaptable in all cloud service models like Software-as-Service, Platform-as-Service or Infrastructure-as-Service [3]. In this paper we propose an adaptation of this technique in a cloud computational setup where CSC's outsource computational intensive tasks like web log parsing, DNA Sequencing etc to a MapReduce like CSP service.


title: Rational Design of High-Tc Superconductivity in the Z = 5.67 Family with Ne = 2.33

abstract: The concepts of "Rational Design of Superconductivity" from Periodic Table properties were proposed in an earlier paper (ArXiv: 1204.0233). We had shown latter too that high-Tc superconductivity exists in the Z=7.333 family with Ne=2.667, of which MgB2 is a member. Here we propose and show that compounds with Z = 5.667 and Ne=2.333 will meet the conditions for high-Tc superconductivity similar to the Z = 7.333 family. The predicted Tcs for the ternary and quaternary systems of the Z =5.667 family would fall in the range 40K - 100K. We give material specific examples of some such possible rational designs of high-Tc superconductivity.


title: Streaming Codes for Channels with Burst and Isolated Erasures

abstract: We study low-delay error correction codes for streaming recovery over a class of packet-erasure channels that introduce both burst-erasures and isolated erasures. We propose a simple, yet effective class of codes whose parameters can be tuned to obtain a tradeoff between the capability to correct burst and isolated erasures. Our construction generalizes previously proposed low-delay codes which are effective only against burst erasures. We establish an information theoretic upper bound on the capability of any code to simultaneously correct burst and isolated erasures and show that our proposed constructions meet the upper bound in some special cases. We discuss the operational significance of column-distance and column-span metrics and establish that the rate 1/2 codes discovered by Martinian and Sundberg [IT Trans.\, 2004] through a computer search indeed attain the optimal column-distance and column-span tradeoff. Numerical simulations over a Gilbert-Elliott channel model and a Fritchman model show significant performance gains over previously proposed low-delay codes and random linear codes for certain range of channel parameters.


title: A Scalable Algorithm for Maximizing Range Sum in Spatial Databases

abstract: This paper investigates the MaxRS problem in spatial databases. Given a set O of weighted points and a rectangular region r of a given size, the goal of the MaxRS problem is to find a location of r such that the sum of the weights of all the points covered by r is maximized. This problem is useful in many location-based applications such as finding the best place for a new franchise store with a limited delivery range and finding the most attractive place for a tourist with a limited reachable range. However, the problem has been studied mainly in theory, particularly, in computational geometry. The existing algorithms from the computational geometry community are in-memory algorithms which do not guarantee the scalability. In this paper, we propose a scalable external-memory algorithm (ExactMaxRS) for the MaxRS problem, which is optimal in terms of the I/O complexity. Furthermore, we propose an approximation algorithm (ApproxMaxCRS) for the MaxCRS problem that is a circle version of the MaxRS problem. We prove the correctness and optimality of the ExactMaxRS algorithm along with the approximation bound of the ApproxMaxCRS algorithm. From extensive experimental results, we show that the ExactMaxRS algorithm is two orders of magnitude faster than methods adapted from existing algorithms, and the approximation bound in practice is much better than the theoretical bound of the ApproxMaxCRS algorithm.


title: Spatial Queries with Two kNN Predicates

abstract: The widespread use of location-aware devices has led to countless location-based services in which a user query can be arbitrarily complex, i.e., one that embeds multiple spatial selection and join predicates. Amongst these predicates, the k-Nearest-Neighbor (kNN) predicate stands as one of the most important and widely used predicates. Unlike related research, this paper goes beyond the optimization of queries with single kNN predicates, and shows how queries with two kNN predicates can be optimized. In particular, the paper addresses the optimization of queries with: (i) two kNN-select predicates, (ii) two kNN-join predicates, and (iii) one kNN-join predicate and one kNN-select predicate. For each type of queries, conceptually correct query evaluation plans (QEPs) and new algorithms that optimize the query execution time are presented. Experimental results demonstrate that the proposed algorithms outperform the conceptually correct QEPs by orders of magnitude.


title: Optimal Algorithms for Crawling a Hidden Database in the Web

abstract: A hidden database refers to a dataset that an organization makes accessible on the web by allowing users to issue queries through a search interface. In other words, data acquisition from such a source is not by following static hyper-links. Instead, data are obtained by querying the interface, and reading the result page dynamically generated. This, with other facts such as the interface may answer a query only partially, has prevented hidden databases from being crawled effectively by existing search engines. This paper remedies the problem by giving algorithms to extract all the tuples from a hidden database. Our algorithms are provably efficient, namely, they accomplish the task by performing only a small number of queries, even in the worst case. We also establish theoretical results indicating that these algorithms are asymptotically optimal -- i.e., it is impossible to improve their efficiency by more than a constant factor. The derivation of our upper and lower bound results reveals significant insight into the characteristics of the underlying problem. Extensive experiments confirm the proposed techniques work very well on all the real datasets examined.


title: Diversifying Top-K Results

abstract: Top-k query processing finds a list of k results that have largest scores w.r.t the user given query, with the assumption that all the k results are independent to each other. In practice, some of the top-k results returned can be very similar to each other. As a result some of the top-k results returned are redundant. In the literature, diversified top-k search has been studied to return k results that take both score and diversity into consideration. Most existing solutions on diversified top-k search assume that scores of all the search results are given, and some works solve the diversity problem on a specific problem and can hardly be extended to general cases. In this paper, we study the diversified top-k search problem. We define a general diversified top-k search problem that only considers the similarity of the search results themselves. We propose a framework, such that most existing solutions for top-k query processing can be extended easily to handle diversified top-k search, by simply applying three new functions, a sufficient stop condition sufficient(), a necessary stop condition necessary(), and an algorithm for diversified top-k search on the current set of generated results, div-search-current(). We propose three new algorithms, namely, div-astar, div-dp, and div-cut to solve the div-search-current() problem. div-astar is an A* based algorithm, div-dp is an algorithm that decomposes the results into components which are searched using div-astar independently and combined using dynamic programming. div-cut further decomposes the current set of generated results using cut points and combines the results using sophisticated operations. We conducted extensive performance studies using two real datasets, enwiki and reuters. Our div-cut algorithm finds the optimal solution for diversified top-k search problem in seconds even for k as large as 2,000.


title: Keyword-aware Optimal Route Search

abstract: Identifying a preferable route is an important problem that finds applications in map services. When a user plans a trip within a city, the user may want to find "a most popular route such that it passes by shopping mall, restaurant, and pub, and the travel time to and from his hotel is within 4 hours." However, none of the algorithms in the existing work on route planning can be used to answer such queries. Motivated by this, we define the problem of keyword-aware optimal route query, denoted by KOR, which is to find an optimal route such that it covers a set of user-specified keywords, a specified budget constraint is satisfied, and an objective score of the route is optimal. The problem of answering KOR queries is NP-hard. We devise an approximation algorithm OSScaling with provable approximation bounds. Based on this algorithm, another more efficient approximation algorithm BucketBound is proposed. We also design a greedy approximation algorithm. Results of empirical studies show that all the proposed algorithms are capable of answering KOR queries efficiently, while the BucketBound and Greedy algorithms run faster. The empirical studies also offer insight into the accuracy of the proposed algorithms.


title: Answering Queries using Views over Probabilistic XML: Complexity and Tractability

abstract: We study the complexity of query answering using views in a probabilistic XML setting, identifying large classes of XPath queries -- with child and descendant navigation and predicates -- for which there are efficient (PTime) algorithms. We consider this problem under the two possible semantics for XML query results: with persistent node identifiers and in their absence. Accordingly, we consider rewritings that can exploit a single view, by means of compensation, and rewritings that can use multiple views, by means of intersection. Since in a probabilistic setting queries return answers with probabilities, the problem of rewriting goes beyond the classic one of retrieving XML answers from views. For both semantics of XML queries, we show that, even when XML answers can be retrieved from views, their probabilities may not be computable. For rewritings that use only compensation, we describe a PTime decision procedure, based on easily verifiable criteria that distinguish between the feasible cases -- when probabilistic XML results are computable -- and the unfeasible ones. For rewritings that can use multiple views, with compensation and intersection, we identify the most permissive conditions that make probabilistic rewriting feasible, and we describe an algorithm that is sound in general, and becomes complete under fairly permissive restrictions, running in PTime modulo worst-case exponential time equivalence tests. This is the best we can hope for since intersection makes query equivalence intractable already over deterministic data. Our algorithm runs in PTime whenever deterministic rewritings can be found in PTime.


title: Probabilistic Databases with MarkoViews

abstract: Most of the work on query evaluation in probabilistic databases has focused on the simple tuple-independent data model, where tuples are independent random events. Several efficient query evaluation techniques exists in this setting, such as safe plans, algorithms based on OBDDs, tree-decomposition and a variety of approximation algorithms. However, complex data analytics tasks often require complex correlations, and query evaluation then is significantly more expensive, or more restrictive. In this paper, we propose MVDB as a framework both for representing complex correlations and for efficient query evaluation. An MVDB specifies correlations by views, called MarkoViews, on the probabilistic relations and declaring the weights of the view's outputs. An MVDB is a (very large) Markov Logic Network. We make two sets of contributions. First, we show that query evaluation on an MVDB is equivalent to evaluating a Union of Conjunctive Query(UCQ) over a tuple-independent database. The translation is exact (thus allowing the techniques developed for tuple independent databases to be carried over to MVDB), yet it is novel and quite non-obvious (some resulting probabilities may be negative!). This translation in itself though may not lead to much gain since the translated query gets complicated as we try to capture more correlations. Our second contribution is to propose a new query evaluation strategy that exploits offline compilation to speed up online query evaluation. Here we utilize and extend our prior work on compilation of UCQ. We validate experimentally our techniques on a large probabilistic database with MarkoViews inferred from the DBLP data.


title: The Complexity of Social Coordination

abstract: Coordination is a challenging everyday task; just think of the last time you organized a party or a meeting involving several people. As a growing part of our social and professional life goes online, an opportunity for an improved coordination process arises. Recently, Gupta et al. proposed entangled queries as a declarative abstraction for data-driven coordination, where the difficulty of the coordination task is shifted from the user to the database. Unfortunately, evaluating entangled queries is very hard, and thus previous work considered only a restricted class of queries that satisfy safety (the coordination partners are fixed) and uniqueness (all queries need to be satisfied). In this paper we significantly extend the class of feasible entangled queries beyond uniqueness and safety. First, we show that we can simply drop uniqueness and still efficiently evaluate a set of safe entangled queries. Second, we show that as long as all users coordinate on the same set of attributes, we can give an efficient algorithm for coordination even if the set of queries does not satisfy safety. In an experimental evaluation we show that our algorithms are feasible for a wide spectrum of coordination scenarios.


title: Efficient Multi-way Theta-Join Processing Using MapReduce

abstract: Multi-way Theta-join queries are powerful in describing complex relations and therefore widely employed in real practices. However, existing solutions from traditional distributed and parallel databases for multi-way Theta-join queries cannot be easily extended to fit a shared-nothing distributed computing paradigm, which is proven to be able to support OLAP applications over immense data volumes. In this work, we study the problem of efficient processing of multi-way Theta-join queries using MapReduce from a cost-effective perspective. Although there have been some works using the (key,value) pair-based programming model to support join operations, efficient processing of multi-way Theta-join queries has never been fully explored. The substantial challenge lies in, given a number of processing units (that can run Map or Reduce tasks), mapping a multi-way Theta-join query to a number of MapReduce jobs and having them executed in a well scheduled sequence, such that the total processing time span is minimized. Our solution mainly includes two parts: 1) cost metrics for both single MapReduce job and a number of MapReduce jobs executed in a certain order; 2) the efficient execution of a chain-typed Theta-join with only one MapReduce job. Comparing with the query evaluation strategy proposed in [23] and the widely adopted Pig Latin and Hive SQL solutions, our method achieves significant improvement of the join processing efficiency.


title: Stubby: A Transformation-based Optimizer for MapReduce Workflows

abstract: There is a growing trend of performing analysis on large datasets using workflows composed of MapReduce jobs connected through producer-consumer relationships based on data. This trend has spurred the development of a number of interfaces--ranging from program-based to query-based interfaces--for generating MapReduce workflows. Studies have shown that the gap in performance can be quite large between optimized and unoptimized workflows. However, automatic cost-based optimization of MapReduce workflows remains a challenge due to the multitude of interfaces, large size of the execution plan space, and the frequent unavailability of all types of information needed for optimization. We introduce a comprehensive plan space for MapReduce workflows generated by popular workflow generators. We then propose Stubby, a cost-based optimizer that searches selectively through the subspace of the full plan space that can be enumerated correctly and costed based on the information available in any given setting. Stubby enumerates the plan space based on plan-to-plan transformations and an efficient search algorithm. Stubby is designed to be extensible to new interfaces and new types of optimizations, which is a desirable feature given how rapidly MapReduce systems are evolving. Stubby's efficiency and effectiveness have been evaluated using representative workflows from many domains.


title: Labeling Workflow Views with Fine-Grained Dependencies

abstract: This paper considers the problem of efficiently answering reachability queries over views of provenance graphs, derived from executions of workflows that may include recursion. Such views include composite modules and model fine-grained dependencies between module inputs and outputs. A novel view-adaptive dynamic labeling scheme is developed for efficient query evaluation, in which view specifications are labeled statically (i.e. as they are created) and data items are labeled dynamically as they are produced during a workflow execution. Although the combination of fine-grained dependencies and recursive workflows entail, in general, long (linear-size) data labels, we show that for a large natural class of workflows and views, labels are compact (logarithmic-size) and reachability queries can be evaluated in constant time. Experimental results demonstrate the benefit of this approach over the state-of-the-art technique when applied for labeling multiple views.


title: Fundamentals of Order Dependencies

abstract: Dependencies have played a significant role in database design for many years. They have also been shown to be useful in query optimization. In this paper, we discuss dependencies between lexicographically ordered sets of tuples. We introduce formally the concept of order dependency and present a set of axioms (inference rules) for them. We show how query rewrites based on these axioms can be used for query optimization. We present several interesting theorems that can be derived using the inference rules. We prove that functional dependencies are subsumed by order dependencies and that our set of axioms for order dependencies is sound and complete.


title: Game matching number of graphs

abstract: We study a competitive optimization version of $\alpha'(G)$, the maximum size of a matching in a graph $G$. Players alternate adding edges of $G$ to a matching until it becomes a maximal matching. One player (Max) wants that matching to be large; the other (Min) wants it to be small. The resulting sizes under optimal play when Max or Min starts are denoted $\Max(G)$ and $\Min(G)$, respectively. We show that always $|\Max(G)-\Min(G)|\le 1$. We obtain a sufficient condition for $\Max(G)=\alpha'(G)$ that is preserved under cartesian product. In general, $\Max(G)\ge \frac23\alpha'(G)$, with equality for many split graphs, while $\Max(G)\ge\frac34\alpha'(G)$ when $G$ is a forest. Whenever $G$ is a 3-regular $n$-vertex connected graph, $\Max(G) \ge n/3$, and there are such examples with $\Max(G)\le 7n/18$. For an $n$-vertex path or cycle, the answer is roughly $n/7$.


title: Optimization of Analytic Window Functions

abstract: Analytic functions represent the state-of-the-art way of performing complex data analysis within a single SQL statement. In particular, an important class of analytic functions that has been frequently used in commercial systems to support OLAP and decision support applications is the class of window functions. A window function returns for each input tuple a value derived from applying a function over a window of neighboring tuples. However, existing window function evaluation approaches are based on a naive sorting scheme. In this paper, we study the problem of optimizing the evaluation of window functions. We propose several efficient techniques, and identify optimization opportunities that allow us to optimize the evaluation of a set of window functions. We have integrated our scheme into PostgreSQL. Our comprehensive experimental study on the TPC-DS datasets as well as synthetic datasets and queries demonstrate significant speedup over existing approaches.


title: Opening the Black Boxes in Data Flow Optimization

abstract: Many systems for big data analytics employ a data flow abstraction to define parallel data processing tasks. In this setting, custom operations expressed as user-defined functions are very common. We address the problem of performing data flow optimization at this level of abstraction, where the semantics of operators are not known. Traditionally, query optimization is applied to queries with known algebraic semantics. In this work, we find that a handful of properties, rather than a full algebraic specification, suffice to establish reordering conditions for data processing operators. We show that these properties can be accurately estimated for black box operators by statically analyzing the general-purpose code of their user-defined functions. We design and implement an optimizer for parallel data flows that does not assume knowledge of semantics or algebraic properties of operators. Our evaluation confirms that the optimizer can apply common rewritings such as selection reordering, bushy join-order enumeration, and limited forms of aggregation push-down, hence yielding similar rewriting power as modern relational DBMS optimizers. Moreover, it can optimize the operator order of non-relational data flows, a unique feature among today's systems.


title: Spinning Fast Iterative Data Flows

abstract: Parallel dataflow systems are a central part of most analytic pipelines for big data. The iterative nature of many analysis and machine learning algorithms, however, is still a challenge for current systems. While certain types of bulk iterative algorithms are supported by novel dataflow frameworks, these systems cannot exploit computational dependencies present in many algorithms, such as graph algorithms. As a result, these algorithms are inefficiently executed and have led to specialized systems based on other paradigms, such as message passing or shared memory. We propose a method to integrate incremental iterations, a form of workset iterations, with parallel dataflows. After showing how to integrate bulk iterations into a dataflow system and its optimizer, we present an extension to the programming model for incremental iterations. The extension alleviates for the lack of mutable state in dataflows and allows for exploiting the sparse computational dependencies inherent in many iterative algorithms. The evaluation of a prototypical implementation shows that those aspects lead to up to two orders of magnitude speedup in algorithm runtime, when exploited. In our experiments, the improved dataflow system is highly competitive with specialized systems while maintaining a transparent and unified dataflow abstraction.


title: REX: Recursive, Delta-Based Data-Centric Computation

abstract: In today's Web and social network environments, query workloads include ad hoc and OLAP queries, as well as iterative algorithms that analyze data relationships (e.g., link analysis, clustering, learning). Modern DBMSs support ad hoc and OLAP queries, but most are not robust enough to scale to large clusters. Conversely, "cloud" platforms like MapReduce execute chains of batch tasks across clusters in a fault tolerant way, but have too much overhead to support ad hoc queries. Moreover, both classes of platform incur significant overhead in executing iterative data analysis algorithms. Most such iterative algorithms repeatedly refine portions of their answers, until some convergence criterion is reached. However, general cloud platforms typically must reprocess all data in each step. DBMSs that support recursive SQL are more efficient in that they propagate only the changes in each step -- but they still accumulate each iteration's state, even if it is no longer useful. User-defined functions are also typically harder to write for DBMSs than for cloud platforms. We seek to unify the strengths of both styles of platforms, with a focus on supporting iterative computations in which changes, in the form of deltas, are propagated from iteration to iteration, and state is efficiently updated in an extensible way. We present a programming model oriented around deltas, describe how we execute and optimize such programs in our REX runtime system, and validate that our platform also handles failures gracefully. We experimentally validate our techniques, and show speedups over the competing methods ranging from 2.5 to nearly 100 times.


title: K-Reach: Who is in Your Small World

abstract: We study the problem of answering k-hop reachability queries in a directed graph, i.e., whether there exists a directed path of length k, from a source query vertex to a target query vertex in the input graph. The problem of k-hop reachability is a general problem of the classic reachability (where k=infinity). Existing indexes for processing classic reachability queries, as well as for processing shortest path queries, are not applicable or not efficient for processing k-hop reachability queries. We propose an index for processing k-hop reachability queries, which is simple in design and efficient to construct. Our experimental results on a wide range of real datasets show that our index is more efficient than the state-of-the-art indexes even for processing classic reachability queries, for which these indexes are primarily designed. We also show that our index is efficient in answering k-hop reachability queries.


title: Performance Guarantees for Distributed Reachability Queries

abstract: In the real world a graph is often fragmented and distributed across different sites. This highlights the need for evaluating queries on distributed graphs. This paper proposes distributed evaluation algorithms for three classes of queries: reachability for determining whether one node can reach another, bounded reachability for deciding whether there exists a path of a bounded length between a pair of nodes, and regular reachability for checking whether there exists a path connecting two nodes such that the node labels on the path form a string in a given regular expression. We develop these algorithms based on partial evaluation, to explore parallel computation. When evaluating a query Q on a distributed graph G, we show that these algorithms possess the following performance guarantees, no matter how G is fragmented and distributed: (1) each site is visited only once; (2) the total network traffic is determined by the size of Q and the fragmentation of G, independent of the size of G; and (3) the response time is decided by the largest fragment of G rather than the entire G. In addition, we show that these algorithms can be readily implemented in the MapReduce framework. Using synthetic and real-life data, we experimentally verify that these algorithms are scalable on large graphs, regardless of how the graphs are distributed.


title: Efficient Indexing and Querying over Syntactically Annotated Trees

abstract: Natural language text corpora are often available as sets of syntactically parsed trees. A wide range of expressive tree queries are possible over such parsed trees that open a new avenue in searching over natural language text. They not only allow for querying roles and relationships within sentences, but also improve search effectiveness compared to flat keyword queries. One major drawback of current systems supporting querying over parsed text is the performance of evaluating queries over large data. In this paper we propose a novel indexing scheme over unique subtrees as index keys. We also propose a novel root-split coding scheme that stores subtree structural information only partially, thus reducing index size and improving querying performance. Our extensive set of experiments show that root-split coding reduces the index size of any interval coding which stores individual node numbers by a factor of 50% to 80%, depending on the sizes of subtrees indexed. Moreover, We show that our index using root-split coding, outperforms previous approaches by at least an order of magnitude in terms of the response time of queries.


title: PrivBasis: Frequent Itemset Mining with Differential Privacy

abstract: The discovery of frequent itemsets can serve valuable economic and research purposes. Releasing discovered frequent itemsets, however, presents privacy challenges. In this paper, we study the problem of how to perform frequent itemset mining on transaction databases while satisfying differential privacy. We propose an approach, called PrivBasis, which leverages a novel notion called basis sets. A theta-basis set has the property that any itemset with frequency higher than theta is a subset of some basis. We introduce algorithms for privately constructing a basis set and then using it to find the most frequent itemsets. Experiments show that our approach greatly outperforms the current state of the art.


title: Low-Rank Mechanism: Optimizing Batch Queries under Differential Privacy

abstract: Differential privacy is a promising privacy-preserving paradigm for statistical query processing over sensitive data. It works by injecting random noise into each query result, such that it is provably hard for the adversary to infer the presence or absence of any individual record from the published noisy results. The main objective in differentially private query processing is to maximize the accuracy of the query results, while satisfying the privacy guarantees. Previous work, notably the matrix mechanism, has suggested that processing a batch of correlated queries as a whole can potentially achieve considerable accuracy gains, compared to answering them individually. However, as we point out in this paper, the matrix mechanism is mainly of theoretical interest; in particular, several inherent problems in its design limit its accuracy in practice, which almost never exceeds that of naive methods. In fact, we are not aware of any existing solution that can effectively optimize a query batch under differential privacy. Motivated by this, we propose the Low-Rank Mechanism (LRM), the first practical differentially private technique for answering batch queries with high accuracy, based on a low rank approximation of the workload matrix. We prove that the accuracy provided by LRM is close to the theoretical lower bound for any mechanism to answer a batch of queries under differential privacy. Extensive experiments using real data demonstrate that LRM consistently outperforms state-of-the-art query processing solutions under differential privacy, by large margins.


title: The Simmel effect and babies names

abstract: Simulations of the Simmel effect are performed for agents in a scale-free social network. The social hierarchy of an agent is determined by the degree of her node. Particular features, once selected by a highly connected agent, became common in lower class but soon fall out of fashion and extinct. Numerical results reflect the dynamics of frequency of American babies names in 1880-2011.


title: Automatic continuity of derivations on C*-algebras and JB*-triples

abstract: We introduce the notion of a Jordan triple module and determine the precise conditions under which every derivation from a JB*-triple E into a Banach (Jordan) triple E-module is continuous. In particular, every derivation from a real or complex JB*-triple into its dual space is automatically continuous. Among the consequences, we prove that every triple derivation from a C*-algebra A to a Banach triple A-module is continuous. In particular, every Jordan derivation from A to a Banach A-bimodule is a derivation, a result which complements a classical theorem due to B.E. Johnson and solves a problem which has remained open for over ten years.


title: Coil Dimensions as a Function of Concentration

abstract: The preceding theory of excluded volume effects is applied to the Daud and coworkers' observations. Based on various researchers' experimental data, it is suggested that the Daud and coworkers' value in the bulk state may be revised from 82 \AA to 93\AA. Then agreement between the theory and the revised data is excellent, giving a support to the preceding result that the excluded volume effects should vanish at medium concentration.


title: High-efficiency multipartite entanglement purification of electron-spin states with charge detection

abstract: We present a high-efficiency multipartite entanglement purification protocol (MEPP) for electron-spin systems in a Greenberger-Horne-Zeilinger state based on their spins and their charges. Our MEPP contains two parts. The first part is our normal MEPP with which the parties can obtain a high-fidelity N-electron ensemble directly, similar to the MEPP with controlled-not gates. The second one is our recycling MEPP with entanglement link from N'-electron subsystems (2 < N' < N). It is interesting to show that the N'-electron subsystems can be obtained efficiently by measuring the electrons with potential bit-flip errors from the instances which are useless and are just discarded in all existing conventional MEPPs. Combining these two parts, our MEPP has the advantage of the efficiency higher than other MEPPs largely for electron-spin systems.


title: An experimental testbed for NEAT to demonstrate micro-pixel accuracy

abstract: NEAT is an astrometric mission proposed to ESA with the objectives of detecting Earth-like exoplanets in the habitable zone of nearby solar-type stars. In NEAT, one fundamental aspect is the capability to measure stellar centroids at the precision of 5e-6 pixel. Current state-of-the-art methods for centroid estimation have reached a precision of about 4e-5 pixel at Nyquist sampling. Simulations showed that a precision of 2 micro-pixels can be reached, if intra and inter pixel quantum efficiency variations are calibrated and corrected for by a metrology system. The European part of the NEAT consortium is designing and building a testbed in vacuum in order to achieve 5e-6 pixel precision for the centroid estimation. The goal is to provide a proof of concept for the precision requirement of the NEAT spacecraft. In this paper we give the basic relations and trade-offs that come into play for the design of a centroid testbed and its metrology system. We detail the different conditions necessary to reach the targeted precision, present the characteristics of our current design and describe the present status of the demonstration.


title: The SO(6) Scalar Product and Three-Point Functions from Integrability

abstract: In 1012.2475 Escobedo, Gromov, Sever and Vieira suggested a formula for an SU(2) three-point correlation function at weak coupling based on integrability techniques. We generalize it to the SO(6) sector, thus including all possible single-trace scalar operators in $\mathcal{N}=4$ super Yang-Mills, and prove by direct comparison to a perturbative SO(6) calculations that our generalization is valid.


title: Optimum inhomogeneity of local lattice distortions in La2CuO4+y

abstract: Electronic functionalities in materials from silicon to transition metal oxides are to a large extent controlled by defects and their relative arrangement. Outstanding examples are the oxides of copper, where defect order is correlated with their high superconducting transition temperatures. The oxygen defect order can be highly inhomogeneous, even in "optimal" superconducting samples, which raises the question of the nature of the sample regions where the order does not exist but which nonetheless form the "glue" binding the ordered regions together. Here we use scanning X-ray microdiffraction (with beam 300 nm in diameter) to show that for La2CuO4+y, the "glue" regions contain incommensurate modulated local lattice distortions, whose spatial extent is most pronounced for the best superconducting samples. For an underdoped single crystal with mobile oxygen interstitials in the spacer La2O2+y layers intercalated between the CuO2 layers, the incommensurate modulated local lattice distortions form droplets anticorrelated with the ordered oxygen interstitials, and whose spatial extent is most pronounced for the best superconducting samples. In this simplest of high temperature superconductors, there are therefore not one, but two networks of ordered defects which can be tuned to achieve optimal superconductivity. For a given stoichiometry, the highest transition temperature is obtained when both the ordered oxygen and lattice defects form fractal patterns, as opposed to appearing in isolated spots. We speculate that the relationship between material complexity and superconducting transition temperature Tc is actually underpinned by a fundamental relation between Tc and the distribution of ordered defect networks supported by the materials.


title: Geometric measure of quantum discord for a two-parameter class of states in a qubit-qutrit system under various dissipative channels

abstract: Quantum discord, as a measure of all quantum correlations, has been proposed as the key resource in certain quantum communication tasks and quantum computational models without containing much entanglement. Daki\'{c}, Vedral, and Brukner [Phys. Rev. Lett. 105, 190502 (2010)] introduced a geometric measure of quantum discord (GMQD) and derived an explicit formula for any two-qubit state. Luo and Fu [Phys. Rev. A 82, 034302 (2010)] introduced another form of GMQD and derived an explicit formula for arbitrary state in a bipartite quantum system. However, the explicit analytical expression for any bipartite system was not given. In this work, we give out the explicit analytical expressions of the GMQD for a two-parameter class of states in a qubit-qutrit system and study its dynamics for the states under various dissipative channels in the first time. Our results show that all these dynamic evolutions do not lead to a sudden vanishing of GMQD. Quantum correlations vanish at an asymptotic time for local or multi-local dephasing, phase-flip, and depolarizing noise channels. However, it does not disappear even though t ---> $\infty$ for local trit-flip and local trit-phase-flip channels. Our results maybe provide some important information for the application of GMQD in hybrid qubit-qutrit systems in quantum information.


title: Black holes with non-minimal derivative coupling

abstract: We study the gravitational field equations in the presence of a coupling between the derivative of a massless scalar field and the Einstein tensor. This configuration is motivated by Galileon gravity as it preserves shift invariance in the scalar sector. We analytically obtain solutions with static and spherically symmetric geometry, which also include black holes with a single regular horizon. We examine the thermodynamical properties of these solutions, and we reveal the non-perturbative nature of the Galileon coupling constant. We also find a phase transition, similar to the one described by Hawking and Page, which occurs at a critical temperature determined by both the black hole mass and by the strength of the coupling.


title: Hierarchy of measurement-induced Fisher information for composite states

abstract: Quantum Fisher information, as an intrinsic quantity for quantum states, is a central concept in quantum detection and estimation. When quantum measurements are performed on quantum states, classical probability distributions arise, which in turn lead to classical Fisher information. In this article, we exploit the classical Fisher information induced by quantum measurements, and reveal a rich hierarchical structure of such measurement-induced Fisher information. We establish a general framework for the distribution and transfer of the Fisher information. In particular, we illustrate three extremal distribution types of the Fisher information: the locally owned type, the locally inaccessible type, and the fully shared type. Furthermore, we indicate the significant role played by the distribution and flow of the Fisher information in some physical problems, e.g., the non-Markovianity of open quantum processes, the environment-assisted metrology, the cloning and broadcasting, etc.


title: Single-photon-assisted entanglement concentration of a multi-photon system in a partially entangled W state with weak cross-Kerr nonlinearity

abstract: We propose a nonlocal entanglement concentration protocol (ECP) for $N$-photon systems in a partially entangled W state, resorting to some ancillary single photons and the parity-check measurement based on cross-Kerr nonlinearity. One party in quantum communication first performs a parity-check measurement on her photon in an $N$-photon system and an ancillary photon, and then she picks up the even-parity instance for obtaining the standard W state. When she obtains an odd-parity instance, the system is in a less-entanglement state and it is the resource in the next round of entanglement concentration. By iterating the entanglement concentration process several times, the present ECP has the total success probability approaching to the limit in theory. The present ECP has the advantage of a high success probability. Moreover, the present ECP requires only the $N$-photon system itself and some ancillary single photons, not two copies of the systems, which decreases the difficulty of its implementation largely in experiment. It maybe have good applications in quantum communication in future.


title: Critical behaviors of gravity under quantum perturbations

abstract: Phase transition and critical phenomenon is a very interesting topic in thermodynamics and statistical mechanics. Gravity is believed to has deep and inherent relation to thermodynamics. Near the critical point, the perturbation becomes significant. Thus for ordinary matter (govern by interactions besides gravity) the critical behavior will become very different if we ignore the perturbations around the critical point, such as mean field theory. We find that the critical exponents for RN-AdS spacetime keeps the same values even we consider the full quantum perturbations. This indicates a key difference between gravity and ordinary thermodynamic system.


title: Search Me If You Can: Privacy-preserving Location Query Service

abstract: Location-Based Service (LBS) becomes increasingly popular with the dramatic growth of smartphones and social network services (SNS), and its context-rich functionalities attract considerable users. Many LBS providers use users' location information to offer them convenience and useful functions. However, the LBS could greatly breach personal privacy because location itself contains much information. Hence, preserving location privacy while achieving utility from it is still an challenging question now. This paper tackles this non-trivial challenge by designing a suite of novel fine-grained Privacy-preserving Location Query Protocol (PLQP). Our protocol allows different levels of location query on encrypted location information for different users, and it is efficient enough to be applied in mobile platforms.


title: Analysis of access in the Take-Grant model

abstract: The article discribe methods of verifing the conditions of access in computer systems based on Take-Grant protection model.


title: Size Distribution and Its Scaling Behavior of InAlAs/AlGaAs Quantum Dots Grown on GaAs by Molecular Beam Epitaxy

abstract: We studied the size distribution and its scaling behavior of self-assembled InAlAs/AlGaAs quantum dots (QDs) grown on GaAs with the Stranski-Krastanov (SK) mode by molecular beam epitaxy (MBE), at both 480{\deg}C and 510{\deg}C, as a function of InAlAs coverage. A scaling function of the volume was found for the first time in ternary alloy QDs. The function was similar to that of InAs/GaAs QDs, which agreed with the scaling function for the two-dimensional submonolayer homoepitaxy simulation with a critical island size of i = 1. However, a character of i = 0 was also found as a tail in the large volume.


title: Filtrations at the threshold of standardness

abstract: A. Vershik discovered that filtrations indexed by the non-positive integers may have a paradoxical asymptotic behaviour near the time $-\infty$, called non-standardness. For example, two dyadic filtrations with trivial tail $\sigma$-field are not necessarily isomorphic. Yet, any essentially separable filtration indexed by the non-positive integers becomes standard when sufficiently many integers are skipped. In this paper, we focus on the non standard filtrations which become standard if (and only if) infinitely many integers are skipped. We call them filtrations at the threshold of standardness, since they are as close to standardardness as they can be although they are non-standard. Two class of filtrations are studied, first the filtrations of the split-words processes, second some filtrations inspired by an unpublished example of B. Tsirelson. They provide examples which disproves some naive intuitions. For example, it is possible to have a standard filtration extracted from a non-standard one with no intermediate (for extraction) filtration at the threshold of standardness. It is also possible to have a filtration which provides a standard filtration on the even times but a non-standard filtration on the odd times.


title: Characterising Ocone local martingales with reflections

abstract: Let $M = (M_t)_{t \ge 0}$ be any continuous real-valued stochastic process such that $M_0=0$. Chaumont and Vostrikova proved that if there exists a sequence $(a_n)_{n \ge 1}$ of positive real numbers converging to 0 such that $M$ satisfies the reflection principle at levels 0, $a_n$ and $2a_n$, for each $n \ge 1$, then $M$ is an Ocone local martingale. They also asked whether the reflection principle at levels 0 and $a_n$ only (for each $n \ge 1$) is sufficient to ensure that $M$ is an Ocone local martingale. We give a positive answer to this question, using a slightly different approach, which provides the following intermediate result. Let $a$ and $b$ be two positive real numbers such that $a/(a+b)$ is not dyadic. If $M$ satisfies the reflection principle at the level 0 and at the first passage-time in $\{-a,b\}$, then $M$ is close to a local martingale in the following sense: $|\eef[M_{S \circ M}]| \le a+b$ for every stopping time $S$ in the canonical filtration of $\wwf = \{w \in \CC(\rrf_+,\rrf) : w(0)=0\}$ such that the stopped process $M_{\cdot \wedge (S \circ M)}$ is uniformly bounded.


title: Noncommutative polynomial maps

abstract: Polynomial maps attached to polynomials of an Ore extension are naturally defi ned. In this setting we show the importance of pseudo-linear transformations and give some applications. In particular, factorizations of polynomials in an Ore extension over a fi nite fi eld F_q[t;S ], where S is the Frobenius automorphism, are translated into factorizations in the usual polynomial ring F_q[x].


title: Recombining Plasma and Hard X-ray Filament in the Mixed-Morphology Supernova Remnant W44

abstract: We report new features of the typical mixed-morphology (MM) supernova remnant (SNR) W44. In the X-ray spectra obtained with Suzaku, radiative recombination continua (RRCs) of highly ionized atoms are detected for the first time. The spectra are well reproduced by a thermal plasma in a recombining phase. The best-fit parameters suggest that the electron temperature of the shock-heated matters cooled down rapidly from $\sim1$,keV to $\sim 0.5$,keV, possibly due to adiabatic expansion (rarefaction) occurred $\sim20,000$ years ago. We also discover hard X-ray emission which shows an arc-like structure spatially-correlated with a radio continuum filament. The surface brightness distribution shows a clear anti-correlation with $^{12}$CO (J=2-1) emission from a molecular cloud observed with NANTEN2. While the hard X-ray is most likely due to a synchrotron enhancement in the vicinity of the cloud, no current model can quantitatively predict the observed flux.


title: Derivation of a merging condition for two interacting streamers in air

abstract: The simulation of the interaction of two simultaneously propagating air streamers of the same polarity is presented. A parametric study has been carried out using an accurate numerical method which ensures a time-space error control of the solution. For initial separation of both streamers smaller or comparable to the longest characteristic absorption length of photoionization in air, we have found that the streamers tend to merge at the moment when the ratio between their characteristic width and their mutual distance reaches a value of about 0.35 for positive streamers, and 0.4 for negative ones. Moreover it is demonstrated that these ratios are practically independent of the applied electric field, the initial seed configuration, and the pressure.


title: Non-thermal Higgsino Dark Matter: Cosmological Motivations and Implications for a 125 GeV Higgs

abstract: If the lightest supersymmetric particle (LSP) is Higgsino-like, the thermal relic density is lower than the observed dark matter content for a LSP mass in the sub-TeV region. We outline constraints arising from the Fermi Gamma-Ray Telescope data and LSP production from gravitino decay that must be satisfied by a successful non-thermal Higgsino scenario. We show that in a generic class of models where anomaly and modulus mediated contributions to supersymmetry breaking are of comparable size, Higgsino arises as the only viable sub-TeV dark matter candidate if gravitinos are heavy enough to decay before the onset of big bang nucleosynthesis (BBN). The correct relic density can be obtained via modulus decay in these models. As an explicit example, we consider a modulus sector in effective field theory ($D=4, N=1$ supergravitiy arising from type IIB KKLT compactification). Within this class of mirage mediation models, heaviness of the gravitino forces a sub-TeV Higgsino LSP and gives a Higgs mass around 125 GeV. In this example, the constraints from direct detection experiments are also satisfied.


title: Gapped broken symmetry states in ABC trilayer graphene

abstract: We use a self-consistent Hartree-Fock approximation with realistic Coulomb interactions for $\pi$-band electrons to explore the possibility of broken symmetry states in weakly disordered ABC stacked trilayer graphene. The competition between gapped and gapless broken symmetry states, and normal states is studied by comparing total energies. We find that gapped states are favored and that, unlike the bilayer case, gapless nematic broken symmetry states are not metastable. Among the gapped states the layer antiferromagnetic state is favored over anomalous and spin Hall states.


title: A property of the Brown-York mass in Schwarzschild manifolds

abstract: We will extend partially our previous results about the limit of the Brown-York mass of a family of convex revolution surfaces in the Schwarzschild manifold such that these surfaces may have unbounded ratios of their radii.


title: Electromagnetic induced transparency and slow light in interacting quantum degenerate atomic gases

abstract: We systematically develop the full quantum theory for the electromagnetic induced transparency (EIT) and slow light properties in ultracold Bose and Fermi gases. It shows a very different property from the classical theory which assumes frozen atomic motion. For example, the speed of light inside the atomic gases can be changed dramatically near the Bose-Einstein condensation temperature, while the presence of the Fermi sea can destroy the EIT effect even at zero temperature. From experimental point of view, such quantum EIT property is mostly manifested in the counter-propagating excitation schemes in either the low-lying Rydberg transition with a narrow line width or in the D2 transitions with a very weak coupling field. We further investigate the interaction effects on the EIT for a weakly interacting Bose-Einstein condensate, showing an inhomogeneous broadening of the EIT profile and nontrivial change of the light speed due to the quantum many-body effects beyond mean field energy shifts.


title: Relativistic Derivations of de Broglie and Planck-Einstein Equations

abstract: We show how Special Relativity sets tight constraints on the form of possible relations that may exist between the four-momentum of a particle and the wave four-vector. More specifically, we demonstrate that there is just one way, according to Special Relativity, to relate the finite energy and momentum of a corpuscle with the characteristics of a plane wave, frequency, wave vector and amplitude: that is by laws of direct proportionality like de Broglie equation and Planck-Einstein equation.


title: Some consequences of von Neumann algebra uniqueness

abstract: In this note, we derive some consequences of the von Neumann algebra uniqueness theorems developed in a previous paper (see arXiv:1207.6741v1). In particular, 1) we solvein a paper of Futamura, Kataoka, and Kishimoto, by proving that if A is a separable simple nuclear C*-algebra and for \pi_1 and \pi_2 are type III representations of A on a separable Hilbert space, then for \pi_1 and \pi_2 being algebraically equivalent, it is necessary and sufficient that there is an automorphism \alpha of A such that \pi_1 composed with \alpha, and \pi_2 are quasi-equivalent. 2) we give a new (short) proof of the equivalence of injectivity and extreme amenability (of the corresponding unitary group) for countably decomposable properly infinite von Neumann algebras. 3) using ideas of Pestov, we show that the Connes embedding problem is equivalent to many topological groups having the Kirchberg property.


abstract: Random graphs, where the connections between nodes are considered random variables, have wide applicability in the social sciences. Exponential-family Random Graph Models (ERGM) have shown themselves to be a useful class of models for representing com- plex social phenomena. We generalize ERGM by also modeling nodal attributes as random variates, thus creating a random model of the full network, which we call Exponential-family Random Network Models (ERNM). We demonstrate how this framework allows a new formu- lation for logistic regression in network data. We develop likelihood-based inference for the model and an MCMC algorithm to implement it. This new model formulation is used to analyze a peer social network from the National Lon- gitudinal Study of Adolescent Health. We model the relationship between substance use and friendship relations, and show how the results differ from the standard use of logistic regression on network data.


title: A Time Dependent Multi-Determinant approach to nuclear dynamics

abstract: We study a multi-determinant approach to the time evolution of the nuclear wave functions (TDMD). We employ the Dirac variational principle and use as anzatz for the nuclear wave-function a linear combination of Slater determinants and derive the equations of motion. We demonstrate explicitly that the norm of the wave function and the energy are conserved during the time evolution. This approach is a direct generalization of the time dependent Hartree-Fock method. We apply this approach to a case study of ${}^6Li$ using the N3LO interaction renormalized to 4 major harmonic oscillator shells. We solve the TDMD equations of motion using Krylov subspace methods of Lanczos type. We discuss as an application the isoscalar monopole strength function.


title: Phase diagram of dilute nuclear matter: Unconventional pairing and the BCS-BEC crossover

abstract: We report on a comprehensive study of the phase structure of cold, dilute nuclear matter featuring a SD condensate at non-zero isospin asymmetry, within wide ranges of temperatures and densities. We find a rich phase diagram comprising three superfluid phases, namely a Larkin-Ovchinnikov-Fulde-Ferrell phase, the ordinary BCS phase, and a heterogeneous, phase-separated BCS phase, with associated crossovers from the latter two phases to a homogeneous or phase-separated Bose-Einstein condensate of deuterons. The phase diagram contains two tricritical points (one a Lifshitz point), which may degenerate into a single tetracritical point for some degree of isospin asymmetry.


title: A method of encoding generalized link diagrams

abstract: We describe a method of encoding various types of link diagrams, including those with classical, flat, rigid, welded, and virtual crossings. We show that this method may be used to encode link diagrams, up to equivalence, in a notation whose length is a cubic function of the number of 'riser marks'. For classical knots, the minimal number of such marks is twice the bridge index, and a classical knot diagram in minimal bridge form with bridge index $b$ may be encoded in space $\mathcal{O}(b^2)$. A set of moves on the notation is defined. As a demonstration of the utility of the notation we give another proof that the Kishino virtual knot is non-classical.


title: On L-factors attached to generic representations of unramified U(2,1)

abstract: Let G be the unramified unitary group in three variables defined over a p-adic field of odd residual characteristic. In this paper, we establish a theory of newforms for the Rankin-Selberg integral for G introduced by Gelbart and Piatetski-Shapiro. We describe L and epsilon-factors defined through zeta integrals in terms of newforms. We show that zeta integrals of newforms for generic representations attain L-factors. As a corollary, we get an explicit formula for epsilon-factors of generic representations.


title: Atmospheric circulation of hot Jupiters: insensitivity to initial conditions

abstract: The ongoing characterization of hot Jupiters has motivated a variety of circulation models of their atmospheres. Such models must be integrated starting from an assumed initial state, which is typically taken to be a wind-free, rest state. Here, we investigate the sensitivity of hot-Jupiter atmospheric circulation models to initial conditions. We consider two classes of models--shallow-water models, which have proven successful at illuminating the dynamical mechanisms at play on these planets, and full three-dimensional models similar to those being explored in the literature. Models are initialized with zonal jets, and we explore a variety of different initial jet profiles. We demonstrate that, in both classes of models, the final, equilibrated state is independent of initial condition--as long as frictional drag near the bottom of the domain and/or interaction with a specified planetary interior are included so that the atmosphere can adjust angular momentum over time relative to the interior. When such mechanisms are included, otherwise identical models initialized with vastly different initial conditions all converge to the same statistical steady state. In some cases, the models exhibit modest time variability; this variability results in random fluctuations about the statistical steady state, but we emphasize that, even in these cases, the statistical steady state itself does not depend on initial conditions. Although the outcome of hot-Jupiter circulation models depend on details of the radiative forcing and frictional drag, aspects of which remain uncertain, we conclude that the specification of initial conditions is not a source of uncertainty, at least over the parameter range explored in most current models.


title: Fully integrated InGaAs/InP single-photon detector module with gigahertz sine wave gating

abstract: InGaAs/InP single-photon avalanche diodes (SPADs) working in the regime of GHz clock rates are crucial components for the high-speed quantum key distribution (QKD). We have developed for the first time a compact, stable and user-friendly tabletop InGaAs/InP single-photon detector system operating at a 1.25 GHz gate rate that fully integrates functions for controlling and optimizing SPAD performance. We characterize the key parameters of the detector system and test the long-term stability of the system for continuous operation of 75 hours. The detector system can substantially enhance QKD performance and our present work paves the way for practical high-speed QKD applications.


title: A finiteness theorem for Galois representations of function fields over finite fields (after Deligne)

abstract: Revised: just some typos, reorganized a bit the article. It will be published in the VIASM Annual meeting, Hanoi. We give a detailed account of Deligne's letter to Drinfeld dated June 18, 2011, in which he shows that there are finitely many irreducible lisse $\bar \Q_\ell$-sheaves with bounded ramification, up to isomorphism and up to twist, on a smooth variety defined over a finite field. The proof relies on Lafforgue's Langlands correspondence over curves. In addition, Deligne shows the existence of affine moduli of finite type over $\mathbb{Q}$. A corollary of Deligne's finiteness theorem is the existence of a number field which contains all traces of the Frobenii at closed points, which was the main result of his recent article and which answers positively his own conjecture from Weil II.


title: Oracle inequalities for computationally adaptive model selection

abstract: We analyze general model selection procedures using penalized empirical loss minimization under computational constraints. While classical model selection approaches do not consider computational aspects of performing model selection, we argue that any practical model selection procedure must not only trade off estimation and approximation error, but also the computational effort required to compute empirical minimizers for different function classes. We provide a framework for analyzing such problems, and we give algorithms for model selection under a computational budget. These algorithms satisfy oracle inequalities that show that the risk of the selected model is not much worse than if we had devoted all of our omputational budget to the optimal function class.


title: Origin of rebounds with a restitution coefficient larger than unity in nanocluster collisions

abstract: We numerically investigate the mechanism of super rebounds for head-on collisions between nanoclusters in which the restitution coefficient is larger than unity. It is confirmed that the temperature and the entropy of the nanocluters decrease after the super rebounds by our molecular dynamics simulations. It is also found that the initial metastable structure plays a key role for the emergence of the super rebounds.


title: Distribution of approximants and geodesic flows

abstract: We give a new proof of Moeckel's result that for any finite index subgroup of the modular group, almost every real number has its regular continued fraction approximants equidistributed into the cusps of the subgroup according to the weighted cusp widths. Our proof uses a skew product over a cross-section for the geodesic flow on the modular surface. Our techniques show that the same result holds true for approximants found by Nakada's \alpha-continued fractions, and also that the analogous result holds for approximants that are algebraic numbers given by any of Rosen's \lambda-continued fractions, related to the infinite family of Hecke triangle Fuchsian groups.


title: The $p$-cyclic McKay correspondence via motivic integration

abstract: We study the McKay correspondence for representations of the cyclic group of order $p$ in characteristic $p$. The main tool is the motivic integration generalized to quotient stacks associated to representations. Our version of the change of variables formula leads to an explicit computation of the stringy invariant of the quotient variety. A consequence is that a crepant resolution of the quotient variety (if any) has topological Euler characteristic $p$ like in the tame case. Also, we link a crepant resolution with a count of Artin-Schreier extensions of the power series field with respect to weights determined by ramification jumps and the representation.


title: On pairwise distances and median score of three genomes under DCJ

abstract: In comparative genomics, the rearrangement distance between two genomes (equal the minimal number of genome rearrangements required to transform them into a single genome) is often used for measuring their evolutionary remoteness. Generalization of this measure to three genomes is known as the median score (while a resulting genome is called median genome). In contrast to the rearrangement distance between two genomes which can be computed in linear time, computing the median score for three genomes is NP-hard. This inspires a quest for simpler and faster approximations for the median score, the most natural of which appears to be the halved sum of pairwise distances which in fact represents a lower bound for the median score. In this work, we study relationship and interplay of pairwise distances between three genomes and their median score under the model of Double-Cut-and-Join (DCJ) rearrangements. Most remarkably we show that while a rearrangement may change the sum of pairwise distances by at most 2 (and thus change the lower bound by at most 1), even the most "powerful" rearrangements in this respect that increase the lower bound by 1 (by moving one genome farther away from each of the other two genomes), which we call strong, do not necessarily affect the median score. This observation implies that the two measures are not as well-correlated as one's intuition may suggest. We further prove that the median score attains the lower bound exactly on the triples of genomes that can be obtained from a single genome with strong rearrangements. While the sum of pairwise distances with the factor 2/3 represents an upper bound for the median score, its tightness remains unclear. Nonetheless, we show that the difference of the median score and its lower bound is not bounded by a constant.


title: Many Body Physics with Coupled Transmission Line Resonators

abstract: We present the Josephson junction intersected superconducting transmission line resonator. In contrast to the Josephson parametric amplifier, Josephson bifurcation amplifier and Josephson parametric converter we consider the regime of few microwave photons. We review the derivation of eigenmode frequencies and zero point fluctuations of the nonlinear transmission line resonator and the derivation of the eigenmode Kerr nonlinearities. Remarkably these nonlinearities can reach values comparable to Transmon qubits rendering the device ideal for accessing the strongly correlated regime. This is particularly interesting for investigation of quantum many-body dynamics of interacting particles under the influence of drive and dissipation. We provide current profiles for the device modes and investigate the coupling between resonators in a network of nonlinear transmission line resonators.


title: Herschel far-infrared photometric monitoring of protostars in the Orion Nebula Cluster

abstract: We have obtained time series observations of the Orion Nebula Cluster at 70 microns and 160 microns from the Herschel/PACS Photometer. This represents the first wide-field far-infrared photometric monitoring of a young star forming region. The acquired 35'x35' maps show complex extended structures, with unprecedented details, that trace the interaction between the molecular gas and the young hot stars. We detect 43 protostars, most of which are situated along the integral-shaped filament extending from the Orion nebula, through OMC2 and to OMC3. We present high-reliability light curves for some of these objects using the first six epochs of our observing program spread over 6 weeks. We find amplitude variations in excess of 20% for a fraction of the detected protostars over periods as short as a few weeks. This is inconsistent with the dynamical time-scales of cool far-IR emitting material that orbits at hundreds of AU from the protostar, and it suggests that the mechanism(s) responsible for the observed variability originates from the inner region of the protostars, likely driven by variable mass accretion.


title: A criterion for being a Teichm\"uller curve

abstract: Teichm\"uller curves play an important role in the study of dynamics in polygonal billiards. In this article, we provide a criterion similar to the original M\"oller's criterion, to detect whether a complex curve, embedded in the moduli space of Riemann surfaces and endowed with a line subbundle of the Hodge bundle, is a Teichm\"uller curve, and give a dynamical proof of this criterion.


title: Noncommutative Harmonic Oscillator at Finite Temperature: A Path Integral Approach

abstract: We use the path integral approach to a two-dimensional noncommutative harmonic oscillator to derive the partition function of the system at finite temperature. It is shown that the result based on the Lagrangian formulation of the problem, coincides with the Hamiltonian derivation of the partition function.


title: Solar Magnetized "Tornadoes": Relation to Filaments

abstract: Solar magnetized "tornadoes", a phenomenon discovered in the solar atmosphere, appear as tornado-like structures in the corona but root in the photosphere. Like other solar phenomena, solar tornadoes are a feature of magnetized plasma and therefore differ distinctly from terrestrial tornadoes. Here we report the first analysis of solar "tornadoes" {Two papers which focused on different aspect of solar tornadoes were published in the Astrophysical Journal Letters (Li et al. 2012) and Nature (Wedemeyer-B\"ohm et al. 2012), respectively, during the revision of this Letter.}. A detailed case study of two events indicates that they are rotating vertical magnetic structures probably driven by underlying vortex flows in the photosphere. They usually exist as a group and relate to filaments/prominences, another important solar phenomenon whose formation and eruption are still mysteries. Solar tornadoes may play a distinct role in the supply of mass and twists to filaments. These findings could lead to a new explanation to filament formation and eruption.


title: The light-curve modulation of XY And and UZ Vir - Two Blazhko RR Lyrae stars with additional frequencies

abstract: A thorough analysis of multicolour CCD observations of two modulated RRab-type variables, XY And and UZ Vir is presented. These Blazhko stars show relatively simple light-curve modulation with the usual multiplet structures in their Fourier spectra. One additional, independent frequency with linear-combination terms of the pulsation frequency is also detected in the residual spectrum of each of the two stars. The amplitude and phase relations of the triplet components are studied in detail. Most of the epoch-independent phase differences show a slight, systematic colour dependence, however, these trends have the opposite sign in the two stars. The mean values of the global physical parameters and their changes with Blazhko phase are determined utilizing the Inverse Photometric Method (IPM). The modulation properties and the IPM results are compared for the two variables. The pulsation period of XY And is the shortest when its pulsation amplitude is the highest, while UZ Vir has the longest pulsation period at this phase of the modulation. Despite this opposite behaviour, the phase relations of their mean-physical-parameter variations are similar. These results are not in accord with the predictions of the Blazhko model of Stothers (2006, ApJ, 652, 643).


title: Flow polytopes of signed graphs and the Kostant partition function

abstract: We establish the relationship between volumes of flow polytopes associated to signed graphs and the Kostant partition function. A special case of this relationship, namely, when the graphs are signless, has been studied in detail by Baldoni and Vergne using techniques of residues. In contrast with their approach, we provide entirely combinatorial proofs inspired by the work of Postnikov and Stanley on flow polytopes. As a fascinating special family of flow polytopes, we study the Chan-Robbins-Yuen polytopes. Motivated by the beautiful volume formula $\prod_{k=1}^{n-2} Cat(k)$ for the type $A_n$ version, where $Cat(k)$ is the $k$th Catalan number, we introduce type $C_{n+1}$ and $D_{n+1}$ Chan-Robbins-Yuen polytopes along with intriguing conjectures pertaining to their properties.


title: Spin density wave and superconductivity in CaFe_{1-x}Co_{x}AsF studied by nuclear magnetic resonance

abstract: We performed nuclear magnetic resonance (NMR) measurements to investigate the evolution of spin-density-wave (SDW) and superconducting (SC) states upon electron doping in CaFe_{1-x}Co_{x}AsF, which exhibits an intermediate phase diagram between those of LaFeAsO_{1-x}F_x and Ba(Fe_{1-x}Co_x)_2As_2. We found that homogeneous coexistence of the incommensurate SDW and SC states occurs only in a narrow doping region around the crossover regime, which supports S_{+-}-wave symmetry. However, only the structural phase transition survives upon further doping, which agrees with predictions from orbital fluctuation theory. The transitional features upon electron doping imply that both spin and orbital fluctuations are involved in the superconducting mechanism.


title: Graph Isomorphism for Graph Classes Characterized by two Forbidden Induced Subgraphs

abstract: We study the complexity of the Graph Isomorphism problem on graph classes that are characterized by a finite number of forbidden induced subgraphs, focusing mostly on the case of two forbidden subgraphs. We show hardness results and develop techniques for the structural analysis of such graph classes, which applied to the case of two forbidden subgraphs give the following results: A dichotomy into isomorphism complete and polynomial-time solvable graph classes for all but finitely many cases, whenever neither of the forbidden graphs is a clique, a pan, or a complement of these graphs. Further reducing the remaining open cases we show that (with respect to graph isomorphism) forbidding a pan is equivalent to forbidding a clique of size three.


title: Geometric phases in quantum control disturbed by classical stochastic processes

abstract: We describe the geometric (Berry) phases arising when some quantum systems are driven by control classical parameters but also by outer classical stochastic processes (as for example classical noises). The total geometric phase is then divided into an usual geometric phase associated with the control parameters and a second geometric phase associated with the stochastic processes. The geometric structure in which these geometric phases take place is a composite bundle (and not an usual principal bundle), which is explicitely built in this paper. We explain why the composite bundle structure is the more natural framework to study this problem. Finally we treat a very simple example of a two level atom driven by a phase modulated laser field with a phase instability described by a gaussian white noise. In particular we compute the average geometric phase issued from the noise.


title: Truthful Auction Mechanism for Heterogeneous Spectrum Allocation in Wireless Networks

abstract: Secondary spectrum auction is widely applied in wireless networks for mitigating the spectrum scarcity. In a realistic spectrum trading market, the requests from secondary users often specify the usage of a fixed spectrum frequency band in a certain geographical region and require a duration time in a fixed available time interval. Considering the selfish behaviors of secondary users, it is imperative to design a truthful auction which matches the available spectrums and requests of secondary users optimally. Unfortunately, existing designs either do not consider spectrum heterogeneity or ignore the differences of required time among secondary users. In this paper, we address this problem by investigating how to use auction mechanisms to allocate and price spectrum resources so that the social efficiency can be maximized. We begin by classifying the spectrums and requests from secondary users into different local markets which ensures there is no interference between local markets, and then we can focus on the auction in a single local market. We first design an optimal auction based on the Vickrey-Clarke-Groves (VCG) mechanism to maximize the social efficiency while enforcing truthfulness. To reduce the computational complexity, we further propose a truthful sub-optimal auction with polynomial time complexity, which yields an approximation factor 6+4\surd2. Our extensive simulation results using real spectrum availability data show that the social efficiency ratio of the sub-optimal auction is always above 70% compared with the optimal auction.


title: Generalized Gumbel distribution of current fluctuations in purple membrane monolayers

abstract: We investigate the nature of a class of probability density functions, say G(a), with a the shape parameter, which generalizes the Gumbel distribution. These functions appear in a model of charge transport, when applied to a metal-insulator-metal structure, where the insulator is constituted by a monolayer of bacteriorhodopsin. Current shows a sharp increase above about 3 V, interpreted as the cross-over between direct and injection sequential-tunneling regimes. In particular, we show that, changing the bias value, the probability density function changes its look from bimodal to unimodal. Actually, the bimodal distributions can be resolved in at least a couple of $G(a)$ functions with different values of the shape parameter.


title: Nanoplasmonics beyond Ohm's law

abstract: In tiny metallic nanostructures, quantum confinement and nonlocal response change the collective plasmonic behavior with important consequences for e.g. field-enhancement and extinction cross sections. We report on our most recent developments of a real-space formulation of an equation-of-motion that goes beyond the common local-response approximation and use of Ohm's law as the central constitutive equation. The electron gas is treated within a semi-classical hydrodynamic model with the emergence of a new intrinsic length scale. We briefly review the new governing wave equations and give examples of applying the nonlocal framework to calculation of extinction cross sections and field enhancement in isolated particles, dimers, and corrugated surfaces.


title: Repelling periodic points and landing of rays for post-singularly bounded exponential maps

abstract: We show that repelling periodic points are landing points of periodic rays for exponential maps whose singular value has bounded orbit. For polynomials with connected Julia sets, this is a celebrated theorem by Douady, for which we present a new proof. In both cases we also show that points in hyperbolic sets are accessible by at least one and at most finitely many rays. For exponentials this allows us to conclude that the singular value itself is accessible.


title: Applications of Theory of Differential Subordination for Functions with Fixed Initial Coefficient to Univalent Functions

abstract: By using the theory of first-order differential subordination for functions with fixed initial coefficient, several well-known results for subclasses of univalent functions are improved by restricting the functions to have fixed second coefficient. The influence of the second coefficient of univalent functions is evident in the results obtained.


title: Second random-phase approximation with the Gogny force. First applications

abstract: We present the first applications of the second random-phase-approximation model with the finite-range Gogny interaction. We discuss the advantages of using such an interaction in this type of calculations where 2 particle-2 hole configurations are included. The results found in the present work confirm the well known general features of the second random-phase approximation spectra: we find a large shift, several MeV, of the response centroids to lower energies with respect to the corresponding random-phase-approximation values. As known, these results indicate that the effects of the 1 particle-1 hole/2 particle-2 hole and 2 particle-2 hole/2 particle-2 hole couplings are important. It has been found that the changes of the strength distributions with respect to the standard random-phase-approximation results are particularly large in the present case. This important effect is due to some large neutron-proton matrix elements of the interaction and indicates that these matrix elements (which do not contribute in the mean-field calculations employed in the conventional fit procedures of the force parameters) should be carefully constrained to perform calculations


title: Second-order differential subordinations for analytic functions with fixed initial coefficient

abstract: Functions with fixed initial coefficient have been widely studied. A new methodology is proposed in this paper by making appropriate modifications and improvements to the theory of second-order differential subordination. Several interesting examples are given. The results obtained are applied to the classes of convex and starlike functions with fixed second coefficient.


title: Densit\'e des orbites des trajectoires browniennes sous l'action de la transformation de L\'evy

abstract: Let T be a measurable transformation of a probability space $(E,\mathcal {E},\pi)$, preserving the measure {\pi}. Let X be a random variable with law \pi. Call K(\cdot, \cdot) a regular version of the conditional law of X given T(X). Fix $B\in \mathcal {E}$. We first prove that if B is reachable from \pi-almost every point for a Markov chain of kernel K, then the T-orbit of \pi-almost every point X visits B. We then apply this result to the L\'evy transform, which transforms the Brownian motion W into the Brownian motion |W| - L, where L is the local time at 0 of W. This allows us to get a new proof of Malric's theorem which states that the orbit under the L\'evy transform of almost every path is dense in the Wiener space for the topology of uniform convergence on compact sets.


title: On the formation of CIII 4647-50-51 and CIII 5696 in O star atmospheres

abstract: We investigate the formation of CIII 4647-51-50 and CIII 5696 in the atmosphere of O stars to see if they can be reliably used for abundance determinations. We use atmosphere models computed with the code CMFGEN. The key physical ingredients explaining the formation of the CIII lines are extracted from comparisons of models with different stellar parameters and through examining rates controlling the level populations. The strength of CIII 5696 critically depends on UV CIII lines at 386, 574 and 884 A. These lines control the CIII 5696 upper and lower level population. CIII 884 plays a key role in late O stars where it drains the lower level of CIII 5696. CIII 386 and CIII 574 are more important at early spectral types. The overlap of these UV lines with FeIV 386.262, FeIV 574.232 and SV 884.531 influences the radiative transfer at 386, 574 and 884 A, and consequently affects the strength of CIII 5696. CIII 4650 is mainly controlled by the CIII 538 line which acts as a drain on its lower level. FeIV 538.057 interacts with CIII 538 and has an impact on the CIII 4650 profile. Low temperature dielectronic recombinations have a negligible effect on the line profiles. Given our current understanding of the stellar and wind properties of O stars, and in view of the present results, the determination of accurate carbon abundances from CIII 4647-51-50 and CIII 5696 is an extremely challenging task. Uncertainties lower than a factor of two on C/H determinations based only on these two sets of lines should be regarder as highly doubtful. Our results provide a possible explanation of the variability of CIII 4650 in Of?p stars.