title: On LDPC Codes for Gaussian Interference Channels

abstract: In this paper, we focus on the two-user Gaussian interference channel (GIC), and study the Han-Kobayashi (HK) coding/decoding strategy with the objective of designing low-density parity-check (LDPC) codes. A code optimization algorithm is proposed which adopts a random perturbation technique via tracking the average mutual information. The degree distribution optimization and convergence threshold computation are carried out for strong and weak interference channels, employing binary phase-shift keying (BPSK). Under strong interference, it is observed that optimized codes operate close to the capacity boundary. For the case of weak interference, it is shown that via the newly designed codes, a nontrivial rate pair is achievable, which is not attainable by single user codes with time-sharing. Performance of the designed LDPC codes are also studied for finite block lengths through simulations of specific codes picked from the optimized degree distributions.


title: Visible light enhanced field effect at LaAlO3/SrTiO3 interface

abstract: Electrical field and light-illumination have been two most widely used stimuli in tuning the conductivity of semiconductor devices. Via capacitive effect electrical field modifies the carrier density of the devices, while light-illumination generates extra carriers by exciting trapped electrons into conduction band1. Here, we report on an unexpected light illumination enhanced field effect in a quasi-two-dimensional electron gas (q2DEG) confined at the LaAlO3/SrTiO3 (LAO/STO) interface which has been the focus of emergent phenomenon exploration2-14. We found that light illumination greatly accelerates and amplifies the field effect, driving the field-induced resistance growth which originally lasts for thousands of seconds into an abrupt resistance jump more than two orders of magnitude. Also, the field-induced change in carrier density is much larger than that expected from the capacitive effect, and can even be opposite to the conventional photoelectric effect. This work expands the space for novel effect exploration and multifunctional device design at complex oxide interfaces.


title: Complete temporal characterization of a single photon

abstract: Precise information about the temporal mode of optical states is crucial for optimizing their interaction efficiency between themselves and/or with matter in various quantum communication devices. Here we propose and experimentally demonstrate a method of determining both the real and imaginary components of a single photon's temporal density matrix by measuring the autocorrelation function of the photocurrent from a balanced homodyne detector at multiple local oscillator frequencies. We test our method on single photons heralded from biphotons generated via four-wave mixing in an atomic vapor and obtain excellent agreement with theoretical predictions for several settings.


title: On the construction of a finite Siegel space

abstract: In this note we construct a finite analogue of classical Siegel's Space. Our approach is to look at it as a non commutative Poincare's half plane. The finite Siegel Space is described as the space of Lagrangians of a $2n$ dimensional space over a quadratic extension $E$ of a finite base field $F$. The orbits of the action of the symplectic group $Sp(n,F)$ on Lagrangians are described as homogeneous spaces. Also, Siegel's Space is described as the set of anti-involutions of the symplectic group.22


title: Dark matter indirect detection signals and the nature of neutrinos in the supersymmetric $U(1)_{B-L}$ extension of the standard model

abstract: In this paper, we study the prospects for determining the nature of neutrinos in the context of a supersymmetric $B-L$ extension of the standard model by using dark matter indirect detection signals and bounds on $N_{\text{eff}}$ from the cosmic microwave background data. The model contains two new dark matter candidates whose dominant annihilation channels produce more neutrinos than neutralino dark matter in the minimal supersymmetric standard model. The photon and neutrino counts may then be used to discriminate between the two models. If the dark matter comes from the B-L sector, its indirect signals and impact on the cosmic microwave background can shed light on the nature of the neutrinos. When the light neutrinos are of Majorana type, the indirect neutrino signal from the Sun and the galactic center may show a prompt neutrino box-feature, as well as an earlier cut-off in both neutrino and gamma ray energy spectra. When the light neutrinos are of Dirac type, their contribution to the effective number of neutrinos $N_{\text{eff}}$ is at a detectable level.


title: Single Interval R\'enyi Entropy At Low Temperature

abstract: In this paper, we calculate the R\'enyi entropy of one single interval on a circle at finite temperature in 2D CFT. In the low temperature limit, we expand the thermal density matrix level by level in the vacuum Verma module, and calculate the first few leading terms in $e^{-\pi/TL}$ explicitly. On the other hand, we compute the same R\'enyi entropy holographically. After considering the dependence of the R\'enyi entropy on the temperature, we manage to fix the interval-independent constant terms in the classical part of holographic R\'enyi entropy. We furthermore extend the analysis in Xi Dong's paper to higher orders and find exact agreement between the results from field theory and bulk computations in the large central charge limit. Our work provides another piece of evidence to support holographic computation of R\'enyi entropy in AdS$_3$/CFT$_2$ correspondence, even with thermal effect.


title: Generation of atomic NOON states via adiabatic passage

abstract: We propose a scheme for generating atomic NOON states via adiabatic passage. In the scheme, a double $\Lambda$-type three-level atom is trapped in a bimodal cavity and two sets of $\Lambda$-type three-level atoms are translated into and outside of two single mode cavities respectively. The three cavities connected by optical fibres are always in vacuum states. After a series of operations and suitable interaction time, we can obtain arbitrary large-$n$ NOON states of two sets of $\Lambda$-type three-level atoms in distant cavities by performing a single projective measurement on the double $\Lambda$-type three-level atom. Due to adiabatic elimination of atomic excited states and the application of adiabatic passage, our scheme is robust against the spontaneous emissions of atoms, the decays of fibres and cavities photon leakage. So the scheme has a high fidelity and feasibility under the current available techniques.


title: Weight Distributions of a Class of Cyclic Codes with Arbitrary Number of Zeros II

abstract: Cyclic codes are an important class of linear codes, whose weight distribution have been extensively studied. So far, most of previous results obtained were for cyclic codes with no more than three zeros. Recently, \cite{Y-X-D12} constructed a class of cyclic codes with arbitrary number of zeros, and computed the weight distributions for several cases. In this paper, we determine the weight distribution for a new family of such codes. This is achieved by certain new methods, such as the theory of Jacobi sums over finite fields and subtle treatment of some complicated combinatorial identities.


title: Universally optimal designs for two interference models

abstract: A systematic study is carried out regarding universally optimal designs under the interference model, previously investigated by Kunert and Martin [Ann. Statist. 28 (2000) 1728-1742] and Kunert and Mersmann [J. Statist. Plann. Inference 141 (2011) 1623-1632]. Parallel results are also provided for the undirectional interference model, where the left and right neighbor effects are equal. It is further shown that the efficiency of any design under the latter model is at least its efficiency under the former model. Designs universally optimal for both models are also identified. Most importantly, this paper provides Kushner'ss type linear equations system as a necessary and sufficient condition for a design to be universally optimal. This result is novel for models with at least two sets of treatment-related nuisance parameters, which are left and right neighbor effects here. It sheds light on other models in deriving asymmetric optimal or efficient designs.


title: Axiomatic opportunities and obstacles for inferring a species tree from gene trees

abstract: The reconstruction of a central tendency `species tree' from a large number of conflicting gene trees is a central problem in systematic biology. Moreover, it becomes particularly problematic when taxon coverage is patchy, so that not all taxa are present in every gene tree. Here, we list four apparently desirable properties that a method for estimating a species tree from gene trees could have (the strongest property states that building a species tree from input gene trees and then pruning leaves gives a tree that is the same as, or more resolved than, the tree obtained by first removing the taxa from the input trees and then building the species tree). We show that while it is technically possible to simultaneously satisfy these properties when taxon coverage is complete, they cannot all be satisfied in the more general supertree setting. In part two, we discuss a concordance-based consensus method based on Baum's `plurality clusters', and an extension to concordance supertrees.


title: Direct bandgap silicon quantum dots achieved via electronegative capping

abstract: We propose a novel concept of achieving silicon quantum dots with radiative rates enhanced by more than two orders of magnitude up to the values characteristic for direct band gap semiconductors. Our tight-binding simulations show how the surface engineering can dramatically change the density of confined electrons in real- and $k$-space and give rise to the new conduction band levels in $\Gamma$-valley, thus promoting the direct radiative transitions. The effect may be realized by covering the silicon dots with covalently bonded electronegative ligands, such as alkyl or teflon chains and/or by embedding in highly electronegative medium.


title: Faster Reductions for Straight Skeletons to Motorcycle Graphs

abstract: We give an algorithm that reduces the straight skeleton to the motorcycle graph in $O(n\log n)$ time for simple polygons and $O(n(\log n)\log m)$ time for a planar straight line graph (PSLG) with $m$ connected components. This improves on the previous best of $O(n(\log n)\log r)$ for polygons with $r$ reflex vertices (possibly with holes) and $O(n^2\log n)$ for general planar straight line graphs. This allows us to speed up the straight skeleton algorithm for polygons and PSLGs. For a polygon with $h$ holes and $r$ reflex vertices we achieve a speedup from $O(n(\log n)\log r + r^{4/3+\epsilon})$ time to $O(n(\log n)\log h + r^{4/3 + \epsilon})$ time in the non-degenerate case and from $O(n(\log n)\log r + r^{17/11 + \epsilon})$ to $O(n(\log n)\log h + r^{17/11 + \epsilon})$ in degenerate cases. For a PSLG with $m$ connected components and $r$ reflex vertices, we gain a speed up from $O(n^{1 + \epsilon} + n^{8/11 + \epsilon}r^{9/11+\epsilon})$ to $O(n(\log n)\log m + r^{4/3 + \epsilon})$ in the non-degenerate case and from $O(n^{1 + \epsilon} + n^{8/11 + \epsilon}r^{9/11+\epsilon})$ to $O(n(\log n)\log m + r^{17/11 + \epsilon})$ in the degenerate case.


title: Geometric Polynomial Constraints in Higher-Order Graph Matching

abstract: Correspondence is a ubiquitous problem in computer vision and graph matching has been a natural way to formalize correspondence as an optimization problem. Recently, graph matching solvers have included higher-order terms representing affinities beyond the unary and pairwise level. Such higher-order terms have a particular appeal for geometric constraints that include three or more correspondences like the PnP 2D-3D pose problems. In this paper, we address the problem of finding correspondences in the absence of unary or pairwise constraints as it emerges in problems where unary appearance similarity like SIFT matches is not available. Current higher order matching approaches have targeted problems where higher order affinity can simply be formulated as a difference of invariances such as lengths, angles, or cross-ratios. In this paper, we present a method of how to apply geometric constraints modeled as polynomial equation systems. As opposed to RANSAC where such systems have to be solved and then tested for inlier hypotheses, our constraints are derived as a single affinity weight based on $n>2$ hypothesized correspondences without solving the polynomial system. Since the result is directly a correspondence without a transformation model, our approach supports correspondence matching in the presence of multiple geometric transforms like articulated motions.


title: Write-Once-Memory Codes by Source Polarization

abstract: We propose a new Write-Once-Memory (WOM) coding scheme based on source polarization. By applying a source polarization transformation on the to-be-determined codeword, the proposed WOM coding scheme encodes information into the bits in the high-entropy set. We prove in this paper that the proposed WOM codes are capacity-achieving. WOM codes have found many applications in modern data storage systems, such as flash memories.


title: Public Auditing and Data Dynamics for Storage Security in Cloud Computing

abstract: Cloud computing has been envisioned as the next generation architecture of IT Enterprise. Using Cloud Storage,users can remotely store their data and enjoy the on demand high quality applications and services from a shared pool of configurable computing resources, without the burden local copy data storage and maintenance. It moves the application of software data stored to the centralized large data centers, where the management of the data stored services may not be completely trusted. There are many new security challenges and the problems taken into account for ensuring the integrity of data storage in Cloud Computing. In particular, we consider the task of allowing a third party auditor (TPA) to perform verifies the integrity of the dynamic data stored in the cloud.


title: $\phi^2$ Inflation at its Endpoint

abstract: In the simplest inflationary model $V=\frac12 m^2\phi^2$, we provide a prediction accurate up to $1\%$ for the spectral index $n_s$ and the tensor-to-scalar ratio $r$ assuming instantaneous reheating and a standard thermal history: $n_s = 0.9668\pm0.0003$ and $r=0.131\pm 0.001$. This represents the simplest and most informative point in the $(n_s,r)$ plane. The result is independent of the details of reheating (or preheating) provided the conversion to radiation is sufficiently fast. A slower reheating or a modified post-inflationary evolution push towards smaller $n_s$ (and larger $r$), so that our prediction corresponds to the maximum $n_s$ (and minimum $r$) for the quadratic potential. We also derive similar results for a general $V \propto \phi^p$ potential.


title: Maximums on Trees

abstract: We study the minimal/endogenous solution $R$ to the maximum recursion on weighted branching trees given by $$R\stackrel{\mathcal{D}}{=}\left(\bigvee_{i=1}^NC_iR_i \right)\vee Q,$$ where $(Q,N,C_1,C_2,\dots)$ is a random vector with $N\in \mathbb{N}\cup\{\infty\}$, $P(|Q|>0)>0$ and nonnegative weights $\{C_i\}$, and $\{R_i\}_{i\in\mathbb{N}}$ is a sequence of i.i.d. copies of $R$ independent of $(Q,N,C_1,C_2,\dots)$; $\stackrel{\mathcal{D}}{=}$ denotes equality in distribution. Furthermore, when $Q>0$ this recursion can be transformed into its additive equivalent, which corresponds to the maximum of a branching random walk and is also known as a high-order Lindley equation. We show that, under natural conditions, the asymptotic behavior of $R$ is power-law, i.e., $P(|R|>x)\sim Hx^{-\alpha}$, for some $\alpha>0$ and $H>0$. This has direct implications for the tail behavior of other well known branching recursions.


title: Besicovitch, Bisection, and the normality of $0.(1)(4)(9)(16)(25)\dots$

abstract: We revisit Besicovitch's 1935 paper in which he introduced several techniques that have become essential elements of modern combinatorial methods of normality proofs. Despite his paper's influence, the results he inspired are not strong enough to reprove his original result. We provide a new proof of the normality of the constant $0.(1)(4)(9)(16)(25)\dots$ formed by concatenating the squares, updating Besicovitch's methods.


title: Instantaneous Quantum Channel Estimation during Quantum Information Processing

abstract: We present a nonintrusive method for reliably estimating the noise level during quantum computation and quantum communication protected by quantum error-correcting codes. As preprocessing of quantum error correction, our scheme estimates the current noise level through a negligible amount of classical computation using error syndromes and updates the decoder's knowledge on the spot before inferring the locations of errors. This preprocessing requires no additional quantum interaction or modification in the system. The estimate can be of higher quality than the maximum likelihood estimate based on perfect knowledge of channel parameters, thereby eliminating the need of the unrealistic assumption that the decoder accurately knows channel parameters a priori. Simulations demonstrate that not only can the decoder pick up on a change of channel parameters, but even if the channel stays the same, a quantum low-density parity-check code can perform better when the decoder exploits the on-the-spot estimates instead of the true error probabilities of the quantum channel.


title: The inverse Lindley distribution: A stress-strength reliability model

abstract: In this article, we proposed an inverse Lindley distribution and studied its fundamental properties such as quantiles, mode, stochastic ordering and entropy measure. The proposed distribution is observed to be a heavy-tailed distribution and has a upside-down bathtub shape for its failure rate. Further, we proposed its applicability as a stress-strength reliability model for survival data analysis. The estimation of stress-strength parameters and $R=P[X>Y]$, the stress-strength reliability has been approached by both classical and Bayesian paradigms. Under Bayesian set-up, non-informative (Jeffrey) and informative (gamma) priors are considered under a symmetric (squared error) and a asymmetric (entropy) loss functions, and a Lindley-approximation technique is used for Bayesian computation. The proposed estimators are compared in terms of their mean squared errors through a simulation study. Two real data sets representing survival of Head and Neck cancer patients are fitted using the inverse Lindley distribution and used to estimate the stress-strength parameters and reliability.


title: Study of background star polarization and polarization efficiency of three selected Bok globules CB56, CB60 and CB69

abstract: We present the polarization maps of three selected Bok globules CB56, CB60 and CB69 constructed using a V-band data from a CCD imaging polarimeter. The aim of this work is to measure the optical polarization ($p_v$) of background field stars in order to determine the polarization efficiency, $p_v/A_v$. We find that the local magnetic field of the cloud CB56 is almost aligned with the galactic field, but not in CB60 and CB69. A trend of decreasing polarization efficiency with increasing extinction ($A_v$) is observed: it can be well represented by a power law, $p_v/A_v \propto A_v^{-\alpha}$, where $\alpha = -0.56 \pm 0.36$, $-0.59 \pm 0.51$ and $-0.52 \pm 0.49$ for CB56, CB60 and CB69 respectively. This indicates that the linear polarization of the starlight due to aligned dust grains in these clouds is produced more efficiently in low extinction regions, compared with high obscured lines of sight.


title: A few remarks on values of Hurwitz Zeta function at natural and rational arguments

abstract: We exploit some properties of the Hurwitz zeta function $\zeta (n,x)$ in order to study sums of the form $\frac{1}{\pi ^{n}}\sum_{j=-\infty}^{\infty}1/(jk+l)^{n}$ and $\frac{1}{\pi ^{n}}\sum_{j=-\infty}^{\infty}(-1)^{j}/(jk+l)^{n}$ for $% 2\leq n,k\in \mathbb{N},$ and integer $l\leq k/2$. We show that these sums are algebraic numbers. We also show that $1<n\in \mathbb{N}$ and $p\in \mathbb{Q\cap (}0,1\mathbb{)}$ $:$ the numbers $(\zeta (n,p)+(-1)^{n}\zeta (n,1-p))/\pi ^{n}$ are algebraic. On the way we find polynomials $s_{m}$ and $c_{m}$ of order respectively $2m+1$ and $2m+2$ such that their $n-$th coefficients of sine and cosine Fourier transforms are equal to $% (-1)^{n}/n^{2m+1}$ and $(-1)^{n}/n^{2m+2}$ respectively.


title: An Inconsistency in standard Maximum Likelihood Estimation of Bulk Flows

abstract: Maximum Likelihood estimation of the bulk flow from radial peculiar motions of galaxies, generally assumes a constant velocity field inside the survey volume. The assumption is inconsistent with the definition of the bulk flow as the average of the peculiar velocity field over the relevant volume. This follows from a straightforward mathematical relation between the bulk flow of a sphere and the velocity potential on its surface. The inconsistency exists also for ideal data with exact radial velocities and full spatial coverage. Based on the same relation we propose a simple modification to correct for this inconsistency.


title: On the Number of cycles in a Graph

abstract: In this paper, we obtain explicit formulae for the number of 7-cycles and the total number of paths of lengths 6 and 7 those contain a specific vertex $v_{i}$ in a simple graph G, in terms of the adjacency matrix and with the help of combinatorics.


title: A new era in data analysis of the cosmological large-scale structure

abstract: We report on new developments in the field of large-scale structure analysis. In particular, we present the KIGEN-approach, which allows for the first time for self-consistent phase-space reconstructions from galaxy redshift data.


title: Decision problems for 3-manifolds and their fundamental groups

abstract: We survey the status of some decision problems for 3-manifolds and their fundamental groups. This includes the classical decision problems for finitely presented groups (Word Problem, Conjugacy Problem, Isomorphism Problem), and also the Homeomorphism Problem for 3-manifolds and the Membership Problem for 3-manifold groups.


title: Improvements and Experiments of a Compact Statistical Background Model

abstract: Change detection plays an important role in most video-based applications. The first stage is to build appropriate background model, which is now becoming increasingly complex as more sophisticated statistical approaches are introduced to cover challenging situations and provide reliable detection. This paper reports a simple and intuitive statistical model based on deeper learning spatial correlation among pixels: For each observed pixel, we select a group of supporting pixels with high correlation, and then use a single Gaussian to model the intensity deviations between the observed pixel and the supporting ones. In addition, a multi-channel model updating is integrated on-line and a temporal intensity constraint for each pixel is defined. Although this method is mainly designed for coping with sudden illumination changes, experimental results using all the video sequences provided on changedetection.net validate it is comparable with other recent methods under various situations.


title: The Ultraproducts of Quasirandom Groups

abstract: In this paper, we shall prove that an ultraproduct of non-abelian finite simple groups is either finite simple, or has no finite dimensional unitary representation other than the trivial one. Then we shall generalize this result for other kinds of quasirandom groups. A group is called D- quasirandom if all of its nontrivial representations over the complex numbers have dimensions at least D. We shall study the question of whether a non-principal ultraproduct of a given sequence of quasirandom groups remains quasirandom, and whether an ultraproduct of increasingly quasirandom groups becomes minimally almost periodic (i.e. no non-trivial finite-dimensional unitary representation at all). We answer this question in the affirmative when the groups in question are simple, quasisimple, semisimple, or when the groups in question have bounded number of conjugacy classes in their cosocles (the intersection of all maximal normal subgroups), or when the groups are arbitrary products (not necessarily finite) of the groups just listed. We shall also present with an ultraproduct of increasingly quasirandom groups with a non-trivial one-dimensional representation. We also obtain some results in the case of semi-direct products and short exact sequences of quasirandom groups. Finally, two applications of our results are given, one in triangle patterns of quasirandom groups and one in self-Bohrifying groups. Our main tools are some variations of the covering number for groups, different kinds of length functions on groups, and the classification of finite simple groups.


title: The structure of $f(R)$-brane model

abstract: Recently, a family of interesting analytical brane solutions were found in $f(R)$ gravity with $f(R)=R+\alpha R^2$ in Ref. [Phys. Lett. B 729, 127 (2014)]. In these solutions, inner brane structure can be turned on by tuning the value of the parameter $\alpha$. In this paper, we investigate how the parameter $\alpha$ affects the localization and the quasilocalization of the tensorial gravitons around these solutions. It is found that, in a range of $\alpha$, despite the brane has an inner structure, there is no graviton resonance. However, in some other regions of the parameter space, although the brane has no internal structure, the effective potential for the graviton KK modes has a singular structure, and there exists a series of graviton resonant modes. The contribution of the massive graviton KK modes to the Newton's law of gravity is discussed shortly.


title: Structure of the largest idempotent-product free sequences in semigroups

abstract: Let $\mathcal{S}$ be a finite semigroup, and let $E(\mathcal{S})$ be the set of all idempotents of $\mathcal{S}$. Gillam, Hall and Williams proved in 1972 that every $\mathcal{S}$-valued sequence $T$ of length at least $|\mathcal{S}|-|E(\mathcal{S})|+1$ is not (strongly) idempotent-product free, in the sense that it contains a nonempty subsequence the product of whose terms, in their natural order in $T$, is an idempotent, which affirmed a question of Erd\H{o}s. They also showed that the value $|\mathcal{S}|-|E(\mathcal{S})|+1$ is best possible. Here, motivated by Gillam, Hall and Williams' work, we determine the structure of the idempotent-product free sequences of length $|\mathcal{S}\setminus E(\mathcal{S})|$ when the semigroup $\mathcal{S}$ (not necessarily finite) satisfies $|\mathcal{S}\setminus E(\mathcal{S})|$ is finite, and we introduce a couple of structural constants for semigroups that reduce to the classical Davenport constant in the case of finite abelian groups.


title: Electric dipole response of $^6$He: Halo-neutron and core excitations

abstract: Electric dipole ($E1$) response of $^{6}$He is studied with a fully microscopic six-body calculation. The wave functions for the ground and excited states are expressed as a superposition of explicitly correlated Gaussians (CG). Final state interactions of three-body decay channels are explicitly taken into account. The ground state properties and the low-energy $E1$ strength are obtained consistently with observations. Two main peaks as well as several small peaks are found in the $E1$ strength function. The peak at the high-energy region indicates a typical macroscopic picture of the giant dipole resonance, the out-of-phase proton-neutron motion. The transition densities of the lower-lying peaks exhibit in-phase proton-neutron motion in the internal region, out-of-phase motion near the surface region, and spatially extended neutron oscillation, indicating a soft-dipole mode (SDM) and its vibrationally excited mode.


title: Wohlfahrt's Theorem and index formula for elementary matrix groups and $SL(2, \mathcal O)$

abstract: The present article determines the indices of the principal congruence subgroups of the Bianchi groups $B_d$, $SL(2,\mathcal O)$ and elementary matrix group $E$ and extends Wohlfahrt's Theorem to $B_d$, $SL(2,\mathcal O)$ and $E$, where $\mathcal O$ is the ring of integers of some number fields.


title: Classical Gravitational Back-Reaction

abstract: The quantum gravitational back-reaction on inflation is based on the self-gravitation of infrared gravitons which are ripped out of the vacuum during inflation. The only quantum part of this process is the creation of gravitons; after they have emerged from the vacuum their behaviour is essentially classical. To test the thesis that a sufficiently dense ensemble of classical gravitons can hold the universe together in pure gravity with a positive cosmological constant, we compute the initial value and first time derivative of an invariant measure of the expansion rate for arbitrary classical initial value data. Our result is that the self-gravitation from the kinetic energy of an initial ensemble of gravitons can indeed slow expansion enough to hold the universe together.


title: A Sink-driven Approach to Detecting Exposed Component Vulnerabilities in Android Apps

abstract: Android apps could expose their components for cooperating with other apps. This convenience, however, makes apps susceptible to the exposed component vulnerability (ECV), in which a dangerous API (commonly known as sink) inside its component can be triggered by other (malicious) apps. In the prior works, detecting these ECVs use a set of sinks pertaining to the ECVs under detection. In this paper, we argue that a more comprehensive and effective approach should start by a systematic selection and classification of vulnerability-specific sinks (VSinks). The set of VSinks is much larger than those used in the previous works. Based on these VSinks, our sink-driven approach can detect different kinds of ECVs in an app in two steps. First, VSinks and their categories are identified through a typical forward reachability analysis. Second, based on each VSink's category, a corresponding detection method is used to identify the ECV via a customized backward dataflow analysis. We also design a semi-auto guided analysis and validation capability for system-only broadcast checking to remove some false positives. We implement our sink-driven approach in a tool called ECVDetector and evaluate it with the top 1K Android apps. Using ECVDetector we successfully identify a total of 49 vulnerable apps across all four ECV categories we have defined. To our knowledge, most of them are previously undisclosed, such as the very popular Go SMS Pro and Clean Master. Moreover, the performance of ECVDetector is high, requiring only 9.257 seconds on average to process each component.


title: Time reversal in photoacoustic tomography and levitation in a cavity

abstract: A class of photoacoustic acquisition geometries in n-space is considered such that the spherical mean transform admits an exact filtered back projection reconstruction formula. The reconstruction is interpreted as a time reversion mirror that reproduces exactly an arbitrary source distribution in the cavity. A series of examples of non-uniqueness of the inverse potential problem is constructed basing on the same geometrical technique.


title: Spectral and Polarization Properties of Photospheric Emission From Stratified Jets

abstract: We explore the spectral and polarization properties of photospheric emissions from stratified jets in which multiple components, separated by a sharp velocity shear regions, are distributed in lateral direction. Propagation of thermal photons injected at high optical depth region are calculated until they escape from the photosphere. It is found that presence of the lateral structure within the jet leads to non-thermal feature of the spectra and significant polarization signal in the resulting emission. The deviation from thermal spectra as well as the polarization degree tends to be enhanced as the velocity gradient in the shear region increases. In particular, we show that emissions from multi-component jet can reproduce the typical observed spectra of gamma-ray bursts (GRBs) irrespective to the position of the observer when a velocity shear region is closely spaced in various lateral ($\theta$) positions. The degree of polarization associated in the emission is significant (> few%) at wide range of observer angles and can be higher than 30%.


title: Traversing News with Ant Colony Optimisation and Negative Pheromones

abstract: The past decade has seen the rapid development of the online newsroom. News published online are the main outlet of news surpassing traditional printed newspapers. This poses challenges to the production and to the consumption of those news. With those many sources of information available it is important to find ways to cluster and organise the documents if one wants to understand this new system. A novel bio inspired approach to the problem of traversing the news is presented. It finds Hamiltonian cycles over documents published by the newspaper The Guardian. A Second Order Swarm Intelligence algorithm based on Ant Colony Optimisation was developed that uses a negative pheromone to mark unrewarding paths with a "no-entry" signal. This approach follows recent findings of negative pheromone usage in real ants.


title: Exploiting User Mobility for Wireless Content Delivery

abstract: We consider the problem of storing segments of encoded versions of content files in a set of base stations located in a communication cell. These base stations work in conjunction with the main base station of the cell. Users move randomly across the space based on a discrete-time Markov chain model. At each time slot each user accesses a single base station based on it's current position and it can download only a part of the content stored in it, depending on the time slot duration. We assume that file requests must be satisfied within a given time deadline in order to be successful. If the amount of the downloaded (encoded) data by the accessed base stations when the time deadline expires does not suffice to recover the requested file, the main base station of the cell serves the request. Our aim is to find the storage allocation that minimizes the probability of using the main base station for file delivery. This problem is intractable in general. However, we show that the optimal solution of the problem can be efficiently attained in case that the time deadline is small. To tackle the general case, we propose a distributed approximation algorithm based on large deviation inequalities. Systematic experiments on a real world data set demonstrate the effectiveness of our proposed algorithms. Index Terms: Mobility-aware Caching, Markov Chain, MDS Coding, Small-cell Networks


title: \'Etude des dimensions sp\'ecifiques du contexte dans un syst\`eme de filtrage d'informations

abstract: In the context of business information systems, e-commerce and access to knowledge, the relevance of the information provided to use is a key fact to the success of information systems. Therefore the quality of access is determined by access to the right information at the right time, at the right place. In this context, it is important to consider the users needs when access to information and his contextual situation in order to provide relevant information, tailored to their needs and context use. In what follows we describe the prelude to a project that tries to combine all of these needs to improve information systems.


title: Upper central series for the group of unitriangular automorphisms of a free associative algebra

abstract: We study some subgroups of the group of unitriangular automorphisms $U_n$ of a free associative algebra over a field of characteristic zero. We find the center of $U_n$ and describe the hypercenters of $U_2$ and $U_3$. In particular, we prove that the upper central series for $U_2$ has infinite length. As consequence, we prove that the groups $U_n$ are non-linear for all $n \geq 2$.


title: Contractive function systems, their attractors and metrization

abstract: In this paper we study the Hutchinson-Barnsley theory of fractals in the setting of multimetric spaces (which are sets endowed with point separating families of pseudometrics) and in the setting of topological spaces. We find natural connections between these two approaches.


title: Thermal physics of the lead chalcogenides PbS, PbSe, and PbTe from first principles

abstract: The lead chalcogenides represent an important family of functional materials, in particular due to the benchmark high-temperature thermoelectric performance of PbTe. A number of recent investigations, experimental and theoretical, have aimed to gather insight into their unique lattice dynamics and electronic structure. However, the majority of first-principles modelling has been performed at fixed temperatures, and there has been no comprehensive and systematic computational study of the effect of temperature on the material properties. We report a comparative lattice-dynamics study of the temperature dependence of the properties of PbS, PbSe and PbTe, focussing particularly on those relevant to thermoelectric performance, viz. phonon frequencies, lattice thermal conductivity, and electronic band structure. Calculations are performed within the quasi-harmonic approximation, with the inclusion of phonon-phonon interactions from many-body perturbation theory, which are used to compute phonon lifetimes and predict the lattice thermal conductivity. The results are critically compared against experimental data and other calculations, and add new insight to on-going research on the PbX compounds in relation to the off-centring of Pb at high temperatures, which is shown to be related to phonon softening. The agreement with experiment suggests that this method could serve as a straightforward, powerful and generally-applicable means of investigating the temperature dependence of material properties from first principles.


title: Abelian pro-countable groups and non-Borel orbit equivalence relations

abstract: We study topological groups that can be defined as Polish, pro-countable abelian groups, as non-archimedean abelian groups or as quasi-countable abelian groups, i.e., Polish subdirect products of countable, discrete groups, endowed with the product topology. We characterize tame groups in this class, i.e., groups such that all orbit equivalence relations induced by their continuous actions on Polish spaces are Borel, and relatively tame groups $G$, i.e., groups such that every diagonal action $\alpha \times \beta$ of $G$ induces a Borel orbit equivalence relation, provided that the actions $\alpha$, $\beta$ of $G$ are continuous, and induce Borel orbit equivalence relations.


title: Charge transfer statistics of transport through Majorana bound states

abstract: We analyse the full counting statistics of charge transfer through a Majorana bound state coupled to an STM tip and show how they can be used for an unambiguous identification of the bound state at the end of the wire. Additionally, we show how to generate Majorana bound states in a simple setup involving a ferromagnetic wire on a superconducting substrate.


title: Cross-Language Personal Name Mapping

abstract: Name matching between multiple natural languages is an important step in cross-enterprise integration applications and data mining. It is difficult to decide whether or not two syntactic values (names) from two heterogeneous data sources are alternative designation of the same semantic entity (person), this process becomes more difficult with Arabic language due to several factors including spelling and pronunciation variation, dialects and special vowel and consonant distinction and other linguistic characteristics. This paper proposes a new framework for name matching between the Arabic language and other languages. The framework uses a dictionary based on a new proposed version of the Soundex algorithm to encapsulate the recognition of special features of Arabic names. The framework proposes a new proximity matching algorithm to suit the high importance of order sensitivity in Arabic name matching. New performance evaluation metrics are proposed as well. The framework is implemented and verified empirically in several case studies demonstrating substantial improvements compared to other well-known techniques found in literature.


title: Exchange effects in magnetized quantum plasmas

abstract: We apply the many-particle quantum hydrodynamics including the Coulomb exchange interaction to magnetized quantum plasmas. We consider a number of wave phenomenon under influence of the Coulomb exchange interaction. Since the Coulomb exchange interaction affects longitudinal and transverse-longitudinal waves we focus our attention to the Langmuir waves, Trivelpiece-Gould waves, ion-acoustic waves in non-isothermal magnetized plasmas, the dispersion of the longitudinal low-frequency ion-acoustic waves and low-frequencies electromagnetic waves at $T_{e}\gg T_{i}$ . We obtained the numerical simulation of the dispersion properties of different types of waves.


title: Study of the neutron and proton capture reactions 10,11b(n, g), 11b(p, g), 14c(p, g), and 15n(p, g) at thermal and astrophysical energies

abstract: We have studied the neutron-capture reactions 10,11B(n, g) and the role of the 11B(n, g) reaction in seeding r-process nucleosynthesis. The possibility of the description of the available experimental data for cross sections of the neutron capture reaction on 10B at thermal and astrophysical energies, taking into account the resonance at 475 keV, was considered within the framework of the modified potential cluster model (MPCM) with forbidden states and accounting for the resonance behavior of the scattering phase shifts. In the framework of the same model the possibility of describing the available experimental data for the total cross sections of the neutron radiative capture on 11B at thermal and astrophysical energies were considered with taking into account the 21 and 430 keV resonances. Description of the available experimental data on the total cross sections and astrophysical S-factor of the radiative proton capture on 11B to the ground state of 12C was treated at astrophysical energies. The possibility of description of the experimental data for the astrophysical S-factor of the radiative proton capture on 14C to the ground state of 15N at astrophysical energies, and the radiative proton capture on 15N at the energies from 50 to 1500 keV was considered in the framework of the MPCM with the classification of the orbital states according to Young tableaux. It was shown that, on the basis of the M1 and the E1 transitions from different states of the p15N scattering to the ground state of 16O in the p15N channel, it is quite succeed to explain general behavior of the S-factor in the considered energy range in the presence of two resonances.


title: Four Classes of Morphogenetic Collective Systems

abstract: We studied the roles of morphogenetic principles---heterogeneity of components, dynamic differentiation/re-differentiation of components, and local information sharing among components---in the self-organization of morphogenetic collective systems. By incrementally introducing these principles to collectives, we defined four distinct classes of morphogenetic collective systems. Monte Carlo simulations were conducted using an extended version of the Swarm Chemistry model that was equipped with dynamic differentiation/re-differentiation and local information sharing capabilities. Self-organization of swarms was characterized by several kinetic and topological measurements, the latter of which were facilitated by a newly developed network-based method. Results of simulations revealed that, while heterogeneity of components had a strong impact on the structure and behavior of the swarms, dynamic differentiation/re-differentiation of components and local information sharing helped the swarms maintain spatially adjacent, coherent organization.


title: Preconditioning complex symmetric linear systems

abstract: A new polynomial preconditioner for symmetric complex linear systems based on Hermitian and skew-Hermitian splitting (HSS) for complex symmetric linear systems is herein presented. It applies to Conjugate Orthogonal Conjugate Gradient (COCG) or Conjugate Orthogonal Conjugate Residual (COCR) iterative solvers and does not require any estimation of the spectrum of the coefficient matrix. An upper bound of the condition number of the preconditioned linear system is provided. Moreover, to reduce the computational cost, an inexact variant based on incomplete Cholesky decomposition or orthogonal polynomials is proposed. Numerical results show that the present preconditioner and its inexact variant are efficient and robust solvers for this class of linear systems. A stability analysis of the method completes the description of the preconditioner.


title: Differentially positive systems

abstract: The paper introduces and studies differentially positive systems, that is, systems whose linearization along an arbitrary trajectory is positive. A generalization of Perron Frobenius theory is developed in this differential framework to show that the property induces a (conal) order that strongly constrains the asymptotic behavior of solutions. The results illustrate that behaviors constrained by local order properties extend beyond the well-studied class of linear positive systems and monotone systems, which both require a constant cone field and a linear state space.


title: Vacuum polarization of graphene with a supercritical Coulomb impurity: Low-energy universality and discrete scale invariance

abstract: We study massless Dirac fermions in a supercritical Coulomb potential with the emphasis on that its low-energy physics is universal and parametrized by a single quantity per supercritical angular momentum channel. This low-energy parameter with the dimension of length is defined only up to multiplicative factors and thus each supercritical channel exhibits the discrete scale invariance. In particular, we show that the induced vacuum polarization has a power-law tail whose coefficient is a sum of log-periodic functions with respect to the distance from the potential center. This coefficient can also be expressed in terms of the energy and width of so-called atomic collapse resonances. Our universal predictions on the vacuum polarization and its relationship to atomic collapse resonances shed new light on the longstanding fundamental problem of quantum electrodynamics and can in principle be tested by graphene experiments with charged impurities.


title: The Geometry of Fourth Order Differential Operator

abstract: In present paper, the equivalence problem for fourth order differential operators with one variable under general fiber-preserving transformation using the Cartan method of equivalence is applied. Two versions of equivalence problems are considered. First, the direct equivalence problem and second equivalence problem is to determine the sufficient and necessary conditions on two fourth order differential operators such that there exists a fiber-preserving transformation mapping one to the other according to gauge equivalence.


title: Cosmic backgrounds of relic gravitons and their absolute normalization

abstract: Provided the consistency relations are not violated, the recent Bicep2 observations pin down the absolute normalization, the spectral slope and the maximal frequency of the cosmic graviton background produced during inflation. The properly normalized spectra are hereby computed from the lowest frequencies (of the order of the present Hubble rate) up to the highest frequency range in the GHz region. Deviations from the conventional paradigm cannot be excluded and are examined by allowing for different physical possibilities including, in particular, a running of the tensor spectral index, an explicit breaking of the consistency relations and a spike in the high-frequency tail of the spectrum coming either from a post-inflationary phase dominated by a stiff fluid of from the contribution of waterfall fields in a hybrid inflationary context. The direct determinations of the tensor to scalar ratio at low frequencies, if confirmed by the forthcoming observations, will also affect and constrain the high-frequencies uncertainties. The limits on the cosmic graviton backgrounds coming from wide-band interferometers (such as Ligo/Virgo, Lisa and Bbo/Decigo) together with a more accurate scrutiny of the tensor B mode polarization at low frequencies will set direct bounds on the post-inflationary evolution and on other unconventional completions of the standard lore.


title: Spin measurements and control of cold atoms using spin-orbit fields

abstract: We show that by switching on a spin-orbit interaction in a cold-atom system, experiencing a Zeeman-like coupling to an external field, e.g., in a Bose-Einstein condensate, one can simulate a quantum measurement on a precessing spin. Depending on the realization, the measurement can access both the ergodic and the Zeno regimes, while {the time dependence} of the spin's decoherence may vary from a Gaussian to an inverse fractional power law. Back action of the measurement forms time- and coordinate-dependent profiles of the atoms' density, resulting in its translation, spin-dependent fragmentation, and appearance of interference patterns.


title: 2D Toda \tau-functions as combinatorial generating functions

abstract: Two methods of constructing 2D Toda $\tau$-functions that are generating functions for certain geometrical invariants of a combinatorial nature are related. The first involves generation of paths in the Cayley graph of the symmetric group $S_n$ by multiplication of the conjugacy class sums $C_\lambda \in C[S_n]$ in the group algebra by elements of an abelian group of central elements. Extending the characteristic map to the tensor product $C[S_n]\otimes C[S_n]$ leads to double expansions in terms of power sum symmetric functions, in which the coefficients count the number of such paths. Applying the same map to sums over the orthogonal idempotents leads to diagonal double Schur function expansions that are identified as $\tau$-functions of hypergeometric type. The second method is the standard construction of $\tau$-functions as vacuum state matrix elements of products of vertex operators in a fermionic Fock space with elements of the abelian group of convolution symmetries. A homomorphism between these two group actions is derived and shown to be intertwined by the characteristic map composed with fermionization. Applications include Okounkov's generating function for double Hurwitz numbers, which count branched coverings of the Riemann sphere with nonminimal branching at two points, and various analogous combinatorial counting functions.


title: Equa\c{c}\~oes diferenciais pantogr\'aficas: retardo proporcional

abstract: We present initially the motivation, definition and basic properties of differential equations with proportional delay. In the last Section we present open problems.


title: Averaging along foliated L\'evy diffusions

abstract: This article studies the dynamics of the strong solution of a SDE driven by a discontinuous L\'evy process taking values in a smooth foliated manifold with compact leaves. It is assumed that it is \textit{foliated} in the sense that its trajectories stay on the leaf of their initial value for all times a.s.. % Such a system is called a \textit{foliated L\'evy diffusion}. Under a generic ergodicity assumption for each leaf, % and a continuous variation of the ergodic measures among each others, we determine the effective behaviour of the system subject to a small smooth perturbation of order $\e>0$, which acts transversal to the leaves. The main result states that, on average, the transversal component of the perturbed SDE converges uniformly to the solution of a deterministic ODE as $\e$ tends to zero. This transversal ODE is generated by the average of the perturbing vector field with respect to the invariant measures of the unperturbed system and varies with the transversal height of the leaves. We give upper bounds for the rates of convergence % The right-hand side of this ODE is given as the average of the perturbing vector field % with respect to the unique invariant measures of the unperturbed system on the leaves. % We give upper bounds for the rates of convergence. and illustrate these results for the random rotations on the circle. This article %which are proved for pure jump L\'evy processes complements the results by Gargate and Ruffino for SDEs of Stratonovich type to general L\'evy driven SDEs of Marcus type.


title: Fundamental properties of solar-like oscillating stars from frequencies of minimum $\Delta \nu$: I. Model computations for solar composition

abstract: Low amplitude is the defining characteristic of solar-like oscillations. The space projects $Kepler$ and $CoRoT$ give us a great opportunity to successfully detect such oscillations in numerous targets. Achievements of asteroseismology depend on new discoveries of connections between the oscillation frequencies and stellar properties. In the previous studies, the frequency of the maximum amplitude and the large separation between frequencies were used for this purpose. In the present study, we confirm that the large separation between the frequencies has two minima at two different frequency values. These are the signatures of the He {\small II} ionization zone, and as such have very strong diagnostic potential. We relate these minima to fundamental stellar properties such as mass, radius, luminosity, age and mass of convective zone. For mass, the relation is simply based on the ratio of the frequency of minimum $\Delta \nu$ to the frequency of maximum amplitude. These frequency comparisons can be very precisely computed, and thus the mass and radius of a solar-like oscillating star can be determined to high precision. We also develop a new asteroseismic diagram which predicts structural and evolutionary properties of stars with such data. We derive expressions for mass, radius, effective temperature, luminosity and age in terms of purely asteroseismic quantities. For solar-like oscillating stars, we now will have five very important asteroseismic tools (two frequencies of minimum $\Delta \nu$, the frequency of maximum amplitude, and the large and small separations between the oscillation frequencies) to decipher properties of stellar interior astrophysics.


title: Wireless Scheduling with Partial Channel State Information: Large Deviations and Optimality

abstract: We consider a server serving a time-slotted queued system of multiple packet-based flows, with exogenous packet arrivals and time-varying service rates. At each time, the server can observe instantaneous service rates for only a subset of flows (from within a fixed collection of observable subsets) before scheduling a flow in the subset for service. We are interested in queue-length aware scheduling to keep the queues short, and develop scheduling algorithms that use only partial service rate information from subsets of channels to minimize the likelihood of queue overflow in the system. Specifically, we present a new joint subset-sampling and scheduling algorithm called Max-Exp that uses only the current queue lengths to pick a subset of flows, and subsequently schedules a flow using the Exponential rule. When the collection of observable subsets is disjoint, we show that Max-Exp achieves the best exponential decay rate, among all scheduling algorithms using partial information, of the tail of the longest queue in the system. Towards this, we employ novel analytical techniques for studying the performance of scheduling algorithms using partial state, which may be of independent interest. These include new sample-path large deviations results for processes obtained by non-random, predictable sampling of sequences of independent and identically distributed random variables. A consequence of these results is that scheduling with partial state information yields a rate function significantly different from scheduling with full channel information. In the special case when the observable subsets are singleton flows, i.e., when there is effectively no a priori channel-state information, Max-Exp reduces to simply serving the flow with the longest queue; thus, our results show that to always serve the longest queue in the absence of any channel-state information is large-deviations optimal.


title: Hyperfine structure of S-states in muonic deuterium

abstract: On the basis of quasipotential method in quantum electrodynamics we calculate corrections of order $\alpha^5$ and $\alpha^6$ to hyperfine structure of S-wave energy levels of muonic deuterium. Relativistic corrections, effects of vacuum polarization in first, second and third orders of perturbation theory, nuclear structure and recoil corrections are taken into account. The obtained numerical values of hyperfine splitting $\Delta E^{hfs}(1S)=50.2814$ meV (1S state) and $\Delta E^{hfs}(2S)=6.2804$ meV (2S state) represent reliable estimate for a comparison with forthcoming experimental data of CREMA collaboration. The hyperfine structure interval $\Delta_{12}=8\Delta E^{hfs}(2S)-\Delta E^{hfs}(1S)=-0.0379$ meV can be used for precision check of quantum electrodynamics predictions for muonic deterium.


title: Adsorption of ammonia at GaN(0001) surface in the mixed ammonia/hydrogen ambient - a summary of ab initio data

abstract: Adsorption of ammonia at NH3/NH2/H covered GaN(0001) surface was analyzed using results of ab initio calculations. The whole configuration space of partially NH3/NH2/H covered GaN(0001) surface was divided into zones differently pinned Fermi level: at Ga broken bond state for dominantly bare surface (region I), at VBM for NH2 and H covered (region II), and at CBM for NH3 covered surface (region III). The extensive ab intio calculations show validity of electron counting rule (ECR) for all mixed coverage, for bordering these three regions. The adsorption was analyzed using newly identified dependence of the adsorption energy on the charge transfer at the surface. For region I and II ammonia adsorb dissociatively, disintegrating into H adatom and HN2 radical for large fraction of vacant sites while for high coverage the ammonia adsorption is molecular. The dissociative adsorption energy strongly depends on the Fermi level at the surface (pinned) and in the bulk (unpinned) while the molecular adsorption energy is determined by bonding to surface only, in accordance to the recently published theory. The molecular adsorption is determined by the energy of covalent bonding to the surface. Ammonia adsorption in region III (Fermi level pinned at CBM) leads to unstable configuration both molecular and dissociative which is explained by the fact that Ga-broken bond sites are doubly occupied by electrons. The adsorbing ammonia brings 8 electrons to the surface, necessitating transfer of the electrons from Ga-broken bond state to Fermi level, energetically costly process. Adsorption of ammonia at H-covered site leads to creation of NH2 radical at the surface and escape of H2 molecule. The process energy is close to 0.12 eV, thus not large, but the inverse process is not possible due to escape of the hydrogen molecule.


title: H\"older conditions for endomorphisms of hyperbolic groups

abstract: It is proved that an endomorphism $\varphi$ of a hyperbolic group $G$ satisfies a H\"older condition with respect to a visual metric if and only if $\varphi$ is virtually injective and $G\varphi$ is a quasiconvex subgroup of $G$. If $G$ is virtually free or torsion-free co-hopfian, then $\varphi$ is uniformly continuous if and only if it it satisfies a H\"older condition if and only if it is virtually injective. Lipschitz conditions are discussed for free group automorphisms.


title: Matching Collinear and Small-x Factorization Calculations for Inclusive Hadron Production in pA Collisions

abstract: We construct a theoretical framework to match the formulas for forward inclusive hadron productions in pA collisions in the small-x saturation formalism and collinear factorization. The small-x calculation can be viewed as a power series in $Q_s^2/k_\perp^2$, in which the collinear factorization result corresponds to the leading term. At high transverse momentum, the subleading correction terms are insignficant, whereas at low $p_\perp$, the power corrections become important and the small-x resummation is essential to describe the differential cross section. We show that the familiar collinear factorization calculation can smoothly match the results from small-x factorization at next-to-leading order in $\alpha_s$ when we use exact kinematics, as opposed to the approximate kinematics in previous work. With this matching, we can describe the experimental data from RHIC very well at high $p_\perp$.


title: On zeros of Martin-L\"of random Brownian motion

abstract: We investigate the sample path properties of Martin-L\"of random Brownian motion. We show (1) that many classical results which are known to hold almost surely hold for every Martin-L\"of random Brownian path, (2) that the effective dimension of zeroes of a Martin-L\"of random Brownian path must be at least 1/2, and conversely that every real with effective dimension greater than 1/2 must be a zero of some Martin-L\"of random Brownian path, and (3) we will demonstrate a new proof that the solution to the Dirichlet problem in the plane is computable.


title: Backward-Propagating MeV Electrons in Ultra-Intense Laser Interactions: Standing Wave Acceleration and Coupling to the Reflected Laser Pulse

abstract: Laser-accelerated electron beams have been created at a kHz repetition rate from the {\it reflection} of intense ($\sim10^{18}$ W/cm$^2$), $\sim$40 fs laser pulses focused on a continuous water-jet in an experiment at the Air Force Research Laboratory. This paper investigates Particle-in-Cell (PIC) simulations of the laser-target interaction to identify the physical mechanisms of electron acceleration in this experiment. We find that the standing-wave pattern created by the overlap of the incident and reflected laser is particularly important because this standing wave can "inject" electrons into the reflected laser pulse where the electrons are further accelerated. We identify two regimes of standing wave acceleration: a highly relativistic case ($a_0~\geq~1$), and a moderately relativistic case ($a_0~\sim~0.5$) which operates over a larger fraction of the laser period. In previous studies, other groups have investigated the highly relativistic case for its usefulness in launching electrons in the forward direction. We extend this by investigating electron acceleration in the {\it specular (back reflection) direction} and over a wide range of intensities ($10^{17}-10^{19}$ W cm$^{-2}$).


title: $R^n$ gravity is kicking and alive: the cases of Orion and NGC 3198

abstract: We analyzed the Rotation Curves of two crucial objects, the Dwarf galaxy Orion and the low luminosity Spiral NGC 3198, in the framework of $R^n$ gravity. We surprisingly found that the no DM power-law f(R) case fits them well, performing much better than $\Lambda$CDM Dark Matter halo models. The level of this unexpected success can be a boost for $R^n$ gravity.


title: The Reciprocal Pascal Matrix

abstract: The reciprocal Pascal matrix is the Hadamard inverse of the symmetric Pascal matrix. We show that the ordinary matrix inverse of the reciprocal Pascal matrix has integer elements. The proof uses two factorizations of the matrix of super Catalan numbers.


title: Interacting CMEs and their associated flare and SEP activities

abstract: We have analyzed a set of 25 interacting events which are associated with the DH type II bursts. These events are selected from the Coronal Mass Ejections observed during the period 1997-2010 in SOHO/LASCO and DH type IIs in Wind/WAVES. Their pre and primary CMEs from nearby active regions are identified using LASCO and EIT images and their height-time diagrams. Their interacting time and height are obtained, and their associated activities, such as, flares and solar energetic particles (>10pfu) are also investigated. Results from the analysis are: primary CMEs are much faster than the pre-CMEs, their X-ray flares are also stronger (X and M class) compared to the flares (C and M class) of pre-CMEs. Most of the events occurred during the period 2000-2006. From the observed width and speed of pre and primary CMEs, the pre-CMEs are found to be less energetic than the primary CMEs. While the primary CMEs are tracked up to the end of LASCO field of view, most of the pre-CMEs are tracked up to < 26Rs. The SEP intensity is found to be related with the integrated flux of the X-ray flares associated with the primary CMEs for nine events originating from the western region.


title: Herbrand's Fundamental Theorem: The Historical Facts and their Streamlining

abstract: Using Heijenoort's unpublished generalized rules of quantification, we discuss the proof of Herbrand's Fundamental Theorem in the form of Heijenoort's correction of Herbrand's "False Lemma" and present a didactic example. Although we are mainly concerned with the inner structure of Herbrand's Fundamental Theorem and the questions of its quality and its depth, we also discuss the outer questions of its historical context and why Bernays called it "the central theorem of predicate logic" and considered the form of its expression to be "concise and felicitous".


title: Approach to equilibrium in weakly coupled nonabelian plasmas

abstract: We follow the time evolution of nonabelian gauge bosons from far-from-equilibrium initial conditions to thermal equilibrium by numerically solving an effective kinetic equation that becomes accurate in the weak coupling limit. We consider initial conditions that are either highly overoccupied or underoccupied. We find that overoccupied systems thermalize through a turbulent cascade reaching equilibrium in multiples of a thermalization time $t\approx 72./ (1-0.12\log \lambda)/\lambda^2 T$, whereas underoccupied systems undergo a "bottom-up" thermalization in a time $t\approx (34. +21. \ln(Q/T))/ (1-0.037\log \lambda)(Q/T)^{1/2}/\lambda^2 T$, where $Q$ is the characteristic momentum scale of the initial condition. We apply this result to model initial stages of heavy-ion collisions and find rapid thermalization roughly in a time $Qt \lesssim 10$ or $t\lesssim 1$ fm/c.


title: On the 1+3 Formalism in General Relativity

abstract: We present in this paper the formalism for the splitting of a four-dimensional Lorentzian manifold by a set of time-like integral curves. Introducing the geometrical tensors characterizing the local spatial frames induced by the congruence (namely, the spatial metric tensor, the extrinsic curvature tensor and the Riemann curvature tensor), we derive the Gauss, Codazzi and Ricci equations, along with the evolution equation for the spatial metric. In the present framework, the spatial frames do not form any hypersurfaces as we allow the congruence to exhibit vorticity. The splitting procedure is then applied to the Einstein field equation and it results in an equivalent set of constraint and evolution equations. We discuss the resulting systems and compare them with the ones obtained from the 3+1 formalism, where the manifold is foliated by means of a family of three-dimensional space-like surfaces.


title: Transport coefficients of a granular gas of inelastic rough hard spheres

abstract: The Boltzmann equation for inelastic and rough hard spheres is considered as a model of a dilute granular gas. In this model, the collisions are characterized by constant coefficients of normal and tangential restitution and hence the translational and rotational degrees of freedom are coupled. A normal solution to the Boltzmann equation is obtained by means of the Chapman-Enskog method for states near the homogeneous cooling state. The analysis is carried out to first order in the spatial gradients of the number density, the flow velocity, and the granular temperature. The constitutive equations for the momentum and heat fluxes and for the cooling rate are derived and the associated transport coefficients are expressed in terms of the solutions of linear integral equations. For practical purposes, a first Sonine approximation is used to obtain explicit expressions of the transport coefficients as nonlinear functions of both coefficients of restitution and the moment of inertia. Known results for purely smooth inelastic spheres and perfectly elastic and rough spheres are recovered in the appropriate limits.


title: Poisson to GOE transition in the distribution of the ratio of consecutive level spacings

abstract: Probability distribution for the ratio ($r$) of consecutive level spacings of the eigenvalues of a Poisson (generating regular spectra) spectrum and that of a GOE random matrix ensemble are given recently. Going beyond these, for the ensemble generated by the Hamiltonian $H_\lambda = (H_0+\lambda V)/\sqrt{1+\lambda^2}$ interpolating Poisson ($\lambda=0$) and GOE ($\lambda \rightarrow \infty$) we have analyzed the transition curves for $\langle r\rangle$ and $\langle \tilde{r}\rangle$ as $\lambda$ changes from $0$ to $\infty$; $\tilde{r} = min(r,1/r)$. Here, $V$ is a GOE ensemble of real symmetric $d \times d$ matrices and $H_0$ is a diagonal matrix with a Gaussian distribution (with mean equal to zero) for the diagonal matrix elements; spectral variance generated by $H_0$ is assumed to be same as the one generated by $V$. Varying $d$ from 300 to 1000, it is shown that the transition parameter is $\Lambda \sim \lambda^2\,d$, i.e. the $\langle r\rangle$ vs $\lambda$ (similarly for $\langle \tilde{r}\rangle$ vs $\lambda$) curves for different $d$'s merge to a single curve when this is considered as a function of $\Lambda$. Numerically, it is also found that this transition curve generates a mapping to a $3 \times 3$ Poisson to GOE random matrix ensemble. Example for Poisson to GOE transition from a one dimensional interacting spin-1/2 chain is presented.


title: A Parallel Two-Pass MDL Context Tree Algorithm for Universal Source Coding

abstract: We present a novel lossless universal source coding algorithm that uses parallel computational units to increase the throughput. The length-$N$ input sequence is partitioned into $B$ blocks. Processing each block independently of the other blocks can accelerate the computation by a factor of $B$, but degrades the compression quality. Instead, our approach is to first estimate the minimum description length (MDL) source underlying the entire input, and then encode each of the $B$ blocks in parallel based on the MDL source. With this two-pass approach, the compression loss incurred by using more parallel units is insignificant. Our algorithm is work-efficient, i.e., its computational complexity is $O(N/B)$. Its redundancy is approximately $B\log(N/B)$ bits above Rissanen's lower bound on universal coding performance, with respect to any tree source whose maximal depth is at most $\log(N/B)$.


title: Mapping the surgery exact sequence for topological manifolds to analysis

abstract: In this paper we prove the existence of a natural mapping from the surgery exact sequence for topological manifolds to the analytic surgery exact sequence of N. Higson and J. Roe. This generalizes the fundamental result of Higson and Roe, but in the treatment given by Piazza and Schick, from smooth manifolds to topological manifolds. Crucial to our treatment is the Lipschitz signature operator of Teleman. We also give a generalization to the equivariant setting of the product defined by Siegel in his Ph.D. thesis. Geometric applications are given to stability results for rho classes. We also obtain a proof of the APS delocalised index theorem on odd dimensional manifolds, both for the spin Dirac operator and the signature operator, thus extending to odd dimensions the results of Piazza and Schick. Consequently, we are able to discuss the mapping of the surgery sequence in all dimensions.


title: Titan's atmosphere as observed by Cassini/VIMS solar occultations: CH$_4$, CO and evidence for C$_2$H$_6$ absorption

abstract: We present an analysis of the VIMS solar occultations dataset, which allows us to extract vertically resolved information on the characteristics of Titan's atmosphere between 100-700 km with a characteristic vertical resolution of 10 km. After a series of data treatment procedures, 4 occultations out of 10 are retained. This sample covers different seasons and latitudes of Titan. The transmittances show clearly the evolution of the haze and detect the detached layer at 310 km in Sept. 2011 at mid-northern latitudes. Through the inversion of the transmission spectra with a line-by-line radiative transfer code we retrieve the vertical distribution of CH$_4$ and CO mixing ratio. The two methane bands at 1.4 and 1.7 {\mu}m are always in good agreement and yield an average stratospheric abundance of $1.28\pm0.08$%. This is significantly less than the value of 1.48% obtained by the GCMS/Huygens instrument. The analysis of the residual spectra after the inversion shows that there are additional absorptions which affect a great part of the VIMS wavelength range. We attribute many of these additional bands to gaseous ethane, whose near-infrared spectrum is not well modeled yet. Ethane contributes significantly to the strong absorption between 3.2-3.5 {\mu}m that was previously attributed only to C-H stretching bands from aerosols. Ethane bands may affect the surface windows too, especially at 2.7 {\mu}m. Other residual bands are generated by stretching modes of C-H, C-C and C-N bonds. In addition to the C-H stretch from aliphatic hydrocarbons at 3.4 {\mu}m, we detect a strong and narrow absorption at 3.28 {\mu}m which we tentatively attribute to the presence of PAHs in the stratosphere. C-C and C-N stretching bands are possibly present between 4.3-4.5 {\mu}m. Finally, we obtain the CO mixing ratio between 70-170 km. The average result of $46\pm16$ ppm is in good agreement with previous studies.


title: The flow of power law fluids in elastic networks and porous media

abstract: The flow of power law fluids, which include shear thinning and shear thickening as well as Newtonian as a special case, in networks of interconnected elastic tubes is investigated using a residual based pore scale network modeling method with the employment of newly derived formulae. Two relations describing the mechanical interaction between the local pressure and local cross sectional area in distensible tubes of elastic nature are considered in the derivation of these formulae. The model can be used to describe shear dependent flows of mainly viscous nature. The behavior of the proposed model is vindicated by several tests in a number of special and limiting cases where the results can be verified quantitatively or qualitatively. The model, which is the first of its kind, incorporates more than one major non-linearity corresponding to the fluid rheology and conduit mechanical properties, that is non-Newtonian effects and tube distensibility. The formulation, implementation and performance indicate that the model enjoys certain advantages over the existing models such as being exact within the restricting assumptions on which the model is based, easy implementation, low computational costs, reliability and smooth convergence. The proposed model can therefore be used as an alternative to the existing Newtonian distensible models; moreover it stretches the capabilities of the existing modeling approaches to reach non-Newtonian rheologies.


title: Second Life: game, simulator, or serious game?

abstract: This article reports on an exploratory case study conducted to examine the viability of Second Life (SL) as an environment for physical simulations and microworlds. It begins by discussing specific features of the SL environment relevant to its use as a support for microworlds and simulations as well as a few differences found between SL and traditional simulators such as Modellus, along with their implications to simulations, as a support for subsequent analysis. Afterwards, we will use Narayanasamy et al. and Johnston and Whitehead criteria to analyze the SL environment and determine into which of training simulators, games, simulation games, or serious games categories SL fits best. We conclude that SL shows itself as a huge and sophisticated simulator of an entire Earthlike world used by thousands of users to simulate real life in some sense and a viable and flexible platform for microworlds and simulations.


title: Second Life Physics: Virtual, real, or surreal?

abstract: Science teaching detached itself from reality and became restricted to the classrooms and textbooks with their overreliance on standardized and repetitive exercises, while students keep their own alternative conceptions. Papert, displeased with this inefficient learning process, championed physics microworlds, where students could experience a variety of laws of motion, from Aristotle to Newton and Einstein or even new laws invented by the students themselves. While often mistakenly seen as a game, Second Life (SL), the online 3-D virtual world hosted by Linden Lab, imposes essentially no rules on the residents beyond reasonable restrictions on improper behavior and the physical rules that guarantee its similitude to the real world. As a consequence, SL qualifies itself as an environment for personal discovery and exploration as proposed by constructivist theories. The physical laws are implemented through the well-known physics engine Havok, whose design aims to provide game-players a consistent, realistic environment. The Havok User Guide (2008) explicitly encourages developers to use several tricks to cheat the simulator in order to make games funnier or easier to play. As it is shown in this study, SL physics is unexpectedly neither the Newtonian idealized physics nor a real world physics virtualization, intentionally diverging from reality in such a way that it could be called hyper-real. As a matter of fact, if some of its features make objects behave more realistically than real ones, certain quantities like energy have a totally different meaning in SL as compared to physics. Far from considering it as a problem, however, the author argues that its hyper-reality may be a golden teaching opportunity, allowing surreal physics simulations and epistemologically rich classroom discussions around the what is a physical law? issue, in accordance with Papert's never-implemented proposal.


title: Big Data as a Mediator in Science Teaching: A Proposal

abstract: We live in a digital world that, in 2010, crossed the mark of one zettabyte data. This huge amount of data processed on computers extremely fast with optimized techniques allows one to find insights in new and emerging types of data and content and to answer questions that were previously considered beyond reach. This is the idea of Big Data. Google now offers the Google Correlate analysis public tool that, from a search term or a series of temporal or regional data, provides a list of queries on Google whose frequencies follow patterns that best correlate with the data, according to the Pearson determination coefficient R2. Of course, correlation does not imply causation. We believe, however, that there is potential for these big data tools to find unexpected correlations that may serve as clues to interesting phenomena, from the pedagogical and even scientific point of view. As far as we know, this is the first proposal for the use of Big Data in Science Teaching, of constructionist character, taking as mediators the computer and the public and free tools such as Google Correlate. It also has an epistemological bias, not being merely a training in computational infrastructure or predictive analytics, but aiming at providing students a better understanding of physical concepts, such as phenomena, observation, measurement, physical laws, theory, and causality. With it, they would be able to become good Big Data specialists, the so needed 'data scientists' to solve the challenges of Big Data.


title: Quantum Model Averaging

abstract: Standard tomographic analyses ignore model uncertainty. It is assumed that a given model generated the data and the task is to estimate the quantum state, or a subset of parameters within that model. Here we apply a model averaging technique to mitigate the risk of overconfident estimates of model parameters in two examples: (1) selecting the rank of the state in tomography and (2) selecting the model for the fidelity decay curve in randomized benchmarking.


title: Triclinic Ni0.6Co0.4TiO3 Ilmenite Oxide

abstract: Forming a solid-solution of NiTiO3 and CoTiO3, two isostructural (ilmenite) and isosymmetrical (space group R-3) compounds, result in a single-phase compound with a remarkably low crystal symmetry. By neutron and X-ray synchrotron powder diffraction techniques, the space group symmetry of the Ni0.6Co0.4TiO3 sample was found to be triclinic P-1 at room temperature, far above the magnetic transition temperature. Ni and Co ions were found to prefer positions close to the octahedron center, whereas Ti ions took off-center positions. This structural distortion is the first known case in ilmenites and opens up ways to modify functional properties of magnetic oxides. Origin of the symmetry lowering is discussed.


title: Interaction Graphs: Graphings

abstract: In two previous papers, we exposed a combinatorial approach to the program of Geometry of Interaction, a program initiated by Jean-Yves Girard. The strength of our approach lies in the fact that we interpret proofs by simpler structures - graphs - than Girard's constructions, while generalizing the latter since they can be recovered as special cases of our setting. This third paper extends this approach by considering a generalization of graphs named graphings, which is in some way a geometric realization of a graph. This very general framework leads to a number of new models of multiplicative-additive linear logic which generalize Girard's geometry of interaction models and opens several new lines of research. As an example, we exhibit a family of such models which account for second-order quantification without suffering the same limitations as Girard's models.


title: Stochastic Bifurcation of Pathwise Random Almost Periodic and Almost Automorphic Solutions for Random Dynamical Systems

abstract: In this paper, we introduce concepts of pathwise random almost periodic and almost automorphic solutions for dynamical systems generated by non-autonomous stochastic equations. These solutions are pathwise stochastic analogues of deterministic dynamical systems. The existence and bifurcation of random periodic (random almost periodic, random almost automorphic) solutions have been established for a one-dimensional stochastic equation with multiplicative noise.


title: Random Measurable Sets and Covariogram Realisability Problems

abstract: We provide a characterization of the realisable set covariograms, bringing a rigorous yet abstract solution to the $S\_2$ problem in materials science. Our method is based on the covariogram functional for random mesurable sets (RAMS) and on a result about the representation of positive operators in a locally compact space. RAMS are an alternative to the classical random closed sets in stochastic geometry and geostatistics, they provide a weaker framework allowing to manipulate more irregular functionals, such as the perimeter. We therefore use the illustration provided by the $S\_{2}$ problem to advocate the use of RAMS for solving theoretical problems of geometric nature. Along the way, we extend the theory of random measurable sets, and in particular the local approximation of the perimeter by local covariograms.


title: TATI -- A Logo-like interface for microworlds and simulations for physics teaching in Second Life

abstract: Student difficulties in learning Physics have been thoroughly discussed in the scientific literature. Already in 1980, Papert complained that schools teach Newtonian motion by manipulating equations rather than by manipulating the Newtonian objects themselves, what would be possible in a 'physics microworld'. On the other hand, Second Life and its scripting language have a remarkable learning curve that discourages most teachers at using it as an environment for educational computer simulations and microworlds. The objective of this work is to describe TATI, a textual interface which, through TATILogo, an accessible Logo language extension, allows the generation of various physics microworlds in Second Life, containing different types of objects that follow different physical laws, providing a learning path into Newtonian Physics.


title: Application of Sizing Estimation Techniques for Business Critical Software Project Management

abstract: Estimation is one of the most critical areas in software project management life cycle, which is still evolving and less matured as compared to many other industries like construction, manufacturing etc. Originally the word estimation, in the context of software projects use to refer to cost and duration estimates only with software-size almost always assumed to be a fixed input. Continued legacy of bad estimates has compelled researchers, practitioners and business organizations to draw their attention towards another dimension of the problem and seriously validate an additional component, viz. size estimation. Recent studies have shown that size is the principal determinant of cost, and therefore an accurate size estimate is crucial to good cost estimation. Improving the accuracy of size estimates is, therefore, instrumental in improving the accuracy of cost and schedule estimates. Moreover, software size and cost estimates have the highest utility at the time of project inception, when most important decisions (e.g. budget allocation, personnel allocation, etc). are taken. The dilemma, however, is that only high-level requirements for a project are available at this stage. Leveraging this high-level information to produce an accurate estimate of software size is an extremely challenging and high risk task. This study acknowledges the presence and effect of risk in any software estimate and offers pragmatic strategies for risk mitigation.


title: The origins and concentrations of water, carbon, nitrogen and noble gases on Earth

abstract: The isotopic compositions of terrestrial hydrogen and nitrogen are clearly different from those of the nebular gas from which the solar system formed, and also differ from most of cometary values. Terrestrial N and H isotopic compositions are in the range of values characterizing primitive meteorites, which suggests that water, nitrogen, and other volatile elements on Earth originated from a cosmochemical reservoir that also sourced the parent bodies of primitive meteorites. Remnants of the proto-solar nebula (PSN) are still present in the mantle, presumably signing the sequestration of PSN gas at an early stage of planetary growth. The contribution of cometary volatiles appears limited to a few percents at most of the total volatile inventory of the Earth. The isotope signatures of H, N, Ne and Ar can be explained by mixing between two end-members of solar and chondritic compositions, respectively, and do not require isotopic fractionation during hydrodynamic escape of an early atmosphere. The terrestrial inventory of 40Ar (produced by the decay of 40K throughout the Earth's history) suggests that a significant fraction of radiogenic argon may be still trapped in the silicate Earth. By normalizing other volatile element abundances to this isotope, it is proposed that the Earth is not as volatile-poor as previously thought. Our planet may indeed contain up to ~3000 ppm water (preferred range : 1000-3000 ppm), and up to ~500 ppm C, both largely sequestrated in the solid Earth. This volatile content is equivalent to a ~2 (+/-1) % contribution of carbonaceous chondrite (CI-CM) material to a dry proto-Earth, which is higher than the contribution of chondritic material advocated to account for the platinum group element budget of the mantle. Such a (relatively) high contribution of volatile-rich matter is consistent with the accretion of a few wet planetesimals during Earth accretion.


title: Nitrogen Isotopic Composition and Density of the Archean Atmosphere

abstract: Understanding the atmosphere's composition during the Archean eon is a fundamental issue to unravel ancient environmental conditions. We show from the analysis of nitrogen and argon isotopes in fluid inclusions trapped in 3.0-3.5 Ga hydrothermal quartz that the PN2 of the Archean atmosphere was lower than 1.1 bar, possibly as low as 0.5 bar, and had a nitrogen isotopic composition comparable to the present-day one. These results imply that dinitrogen did not play a significant role in the thermal budget of the ancient Earth and that the Archean PCO2 was probably lower than 0.7 bar.


title: The Locus of Brill-Noether General Graphs is Not Dense

abstract: We provide an example of a trivalent, 3-connected graph G such that, for any choice of metric on G, the resulting metric graph is Brill-Noether special.


title: Probing Long-Range Intensity Correlations inside Disordered Photonic Nanostructures

abstract: We report direct observation of the development of long-range spatial intensity correlations and the growth of intensity fluctuations inside the random media. We fabricated quasi-two-dimensional disordered photonic structures and probed the light transport from a third dimension. Good agreements between experiment and theory are obtained. We were able to manipulate the long-range intensity correlations and intensity fluctuations inside the disordered waveguides by simply varying the waveguide geometry.


title: Explosion and nucleosynthesis of low redshift pair instability supernovae

abstract: Both recent observations and stellar evolution models suggest that pair-instability supernovae (PISNe) could occur in the local Universe, at metallicities below Z_Sun/3. Previous PISN models were mostly produced at very low metallicities in the context of the early Universe. We present new PISNe models at a metallicity of Z=0.001, which are relevant for the local Universe. We take the self-consistent stellar evolutionary models of pair-instability progenitors with initial masses of 150 and 250 solar masses at metallicity of Z=0.001 by Langer et al. (2007) and follow the evolution of these models through the supernova explosions, using a hydrodynamics stellar evolution code with an extensive nuclear network including 200 isotopes. Both models explode as PISNe without leaving a compact stellar remnant. Our models produce a nucleosynthetic pattern that is generally similar to that of Population III PISN models, which is mainly characterized by the production of large amounts of alpha-elements and a strong deficiency of the odd-charged elements. However, the odd-even effect in our models is significantly weaker than that found in Population III models. The comparison with the nucleosynthetic yields from core-collapse supernovae at a similar metallicity (Z=0.002) indicates that PISNe could have strongly influenced the chemical evolution below Z=0.002, assuming a standard initial mass function. The odd-even effect is predicted to be most prominent for the intermediate mass elements between silicon and calcium. With future observations of chemical abundances in Population II stars, our result can be used to constrain the number of PISNe that occurred during the past evolution of our Galaxy.


title: Efficient Model Learning for Human-Robot Collaborative Tasks

abstract: We present a framework for learning human user models from joint-action demonstrations that enables the robot to compute a robust policy for a collaborative task with a human. The learning takes place completely automatically, without any human intervention. First, we describe the clustering of demonstrated action sequences into different human types using an unsupervised learning algorithm. These demonstrated sequences are also used by the robot to learn a reward function that is representative for each type, through the employment of an inverse reinforcement learning algorithm. The learned model is then used as part of a Mixed Observability Markov Decision Process formulation, wherein the human type is a partially observable variable. With this framework, we can infer, either offline or online, the human type of a new user that was not included in the training set, and can compute a policy for the robot that will be aligned to the preference of this new user and will be robust to deviations of the human actions from prior demonstrations. Finally we validate the approach using data collected in human subject experiments, and conduct proof-of-concept demonstrations in which a person performs a collaborative task with a small industrial robot.


title: A remark on the asymptotic tightness in $\ell^{\infty}([a,b])$

abstract: In this note, we extend a simple criteria for uniform tightness in $C(0,1)$, the class of real continuous functions defined on $(0,1)$, given in Theorem 8.3 of Billingsley to the asymptotic tightness in $\ell^{+\infty}([a,b])$, the class of real bounded functions defined on $[a,b] $ with $a<b$, in the lines of Theorems 1.5.6 and 1.5.7 in van der vaart and Wellner.


title: Counterexamples to the Kotani-Last Conjecture for Continuum Schr\"odinger Operators via Character-Automorphic Hardy Spaces

abstract: The Kotani-Last conjecture states that every ergodic operator in one space dimension with non-empty absolutely continuous spectrum must have almost periodic coefficients. This statement makes sense in a variety of settings; for example, discrete Schr\"odinger operators, Jacobi matrices, CMV matrices, and continuum Schr\"odinger operators. In the main body of this paper we show how to construct counterexamples to the Kotani-Last conjecture for continuum Schr\"odinger operators by adapting the approach developed by Volberg and Yuditskii to construct counterexamples to the Kotani-Last conjecture for Jacobi matrices. This approach relates the reflectionless operators associated with the prescribed spectrum to a family of character-automorphic Hardy spaces and then relates the shift action on the space of operators to the resulting action on the associated characters. The key to our approach is an explicit correspondence between the space of continuum reflectionless Schr\"odinger operators associated with a given set and the space of reflectionless Jacobi matrices associated with a derived set. Once this correspondence is established we can rely to a large extent on the previous work of Volberg and Yuditskii to produce the resulting action on the space of characters. We analyze this action and identify situations where we can observe absolute continuity without almost periodicity. In the appendix we show how to implement this strategy and obtain analogous results for extended CMV matrices.


title: Monte Carlo computation of multiple weak singular integrals of spherical and Volterra's type

abstract: We offer a simple method Monte Carlo for computation of Volterra's and spherical type multiple integrals with weak (integrable) singularities. An elimination of infinity of variance is achieved by incorporating singularities in the density, and we offer a highly effective way for generation of appeared multidimensional distribution. We extend offered method onto multiple Volterra's and spherical integrals with weak singularities containing parameter.


title: The Vertical Structure and Kinematics of Grand Design Spirals

abstract: We use an N-body simulation to study the 3-D density distribution of spirals, and the resulting stellar vertical velocities. Relative to the disc's rotation, the phase of the spiral's peak density away from the mid-plane trails that at the mid-plane. In addition, at fixed radius the density distribution is azimuthally skewed, having a shallower slope on the trailing side inside corotation and switching to shallower on the leading side beyond corotation. The spirals induce non-zero average vertical velocities, <V_z>, as large as <V_z> ~ 10-20 km/s, consistent with recent observations in the Milky Way. The vertical motions are compressive (towards the mid-plane) as stars enter the spiral, and expanding (away from the mid-plane) as they leave it. Since stars enter the spiral on the leading side outside corotation and on the trailing side within corotation, the relative phase of the expanding and compressive motions switches sides at corotation. Moreover, because stars always enter the spiral on the shallow density gradient side and exit on the steeper side, the expanding motions are larger than the compressing motions.


title: PMS and ZAMS stars associated with the dark cloud LDN 1655

abstract: We give results of a low-resolution optical spectroscopic study of the bright nebulous stars conforming the tight stellar trapezium embedded in IRAS06548-0815, of the exciting star of IRAS06547-0810, and of the stars associated with reflection nebulae (R-or N-stars) NJ065703.0-081421, NJ065714.1-081016, IRAS06548-0815 D and IRAS06548-0815 G, all objects scarcely observed and apparently pertaining to the dark cloud LDN 1655. Our results given here combined with the corresponding 2MASS near infrared photometry enables us to estimate a photometric distance to LDN1655 of 1.9 kpc and to locate the trapezium stars on the (log Lstar/Lsun, logTeff) or HR diagram in an attempt to disclose about their true nature. The spectroscopy of IRAS06548-0815 revealed two classic T Tauri, two Herbig Ae/Be stars, four weak-line T Tauri stars, and two probable lithium-rich stars. Additionally, we found that the R-star IRAS06547-0810 is excited by a single B1(V) star, that IRAS06548-0815 D is excited by a SpT. B2/B3(V) star, NJ065703.0-081421 and NJ065714.1-081016 are excited by a B3/B4(V) emission star and an A6(V) star, respectively. The brightest near infrared source of the trapezium, IRS1, has an infrared luminosity comparable to a highly reddened O8(V) star (Av of 29m). The second brightest near infrared source of the trapezium, IRAS06548-0815 C is, optically, a single classical T Tauri star of spectral type K4/K5, but is a resolved binary in the 2MASSKs band, both components being of about the same brightness.