title: Mutual information for symmetric rank-one matrix estimation: A proof of the replica formula

abstract: Factorizing low-rank matrices has many applications in machine learning and statistics. For probabilistic models in the Bayes optimal setting, a general expression for the mutual information has been proposed using heuristic statistical physics computations, and proven in few specific cases. Here, we show how to rigorously prove the conjectured formula for the symmetric rank-one case. This allows to express the minimal mean-square-error and to characterize the detectability phase transitions in a large set of estimation problems ranging from community detection to sparse PCA. We also show that for a large set of parameters, an iterative algorithm called approximate message-passing is Bayes optimal. There exists, however, a gap between what currently known polynomial algorithms can do and what is expected information theoretically. Additionally, the proof technique has an interest of its own and exploits three essential ingredients: the interpolation method introduced in statistical physics by Guerra, the analysis of the approximate message-passing algorithm and the theory of spatial coupling and threshold saturation in coding. Our approach is generic and applicable to other open problems in statistical estimation where heuristic statistical physics predictions are available.

categories: cs.IT cond-mat.dis-nn cs.LG math-ph math.IT math.MP


title: Algebraic Geometric codes from Kummer Extensions

abstract: For Kummer extensions defined by $y^m = f (x)$, where $f (x)$ is a separable polynomial over the finite field $\mathbb{F}_q$, we compute the number of Weierstrass gaps at two totally ramified places. For many totally ramified places we give a criterion to find pure gaps at these points and present families of pure gaps. We then apply our results to construct many points algebraic geometric codes with good parameters.


title: Higgs bosons production and decay at future $e^+e^-$ linear colliders as a probe of the B-L model

abstract: We study the phenomenology of the light and heavy Higgs boson production and decay in the context of a $U(1)_{B-L}$ extension of the Standard Model with an additional $Z'$ boson at future $e^+e^-$ linear colliders with center-of-mass energies of $\sqrt{s}=500-3000\hspace{0.8mm}GeV$ and integrated luminosities of ${\cal L}=500-2000\hspace{0.8mm}fb^{-1}$. The study includes the processes $e^{+}e^{-}\rightarrow (Z, Z') \to Zh$ and $e^{+}e^{-}\rightarrow (Z, Z') \to ZH$, considering both the resonant and non-resonant effects. We find that the total number of expected $Zh$ and $ZH$ events can reach 909,124 and 97,487, respectively, which is a very optimistic scenario and thus it would be possible to perform precision measurements for both Higgs bosons $h$ and $H$, as well as for the $Z'$ boson in future high-energy and high-luminosity $e^+e^-$ colliders experiments. Our study complements other studies on the B-L model and on the Higgs-strahlung processes $e^{+}e^{-}\rightarrow (Z, Z') \to Zh$ and $e^{+}e^{-}\rightarrow (Z, Z') \to ZH$.


title: Sample Complexity of Automated Mechanism Design

abstract: The design of revenue-maximizing combinatorial auctions, i.e. multi-item auctions over bundles of goods, is one of the most fundamental problems in computational economics, unsolved even for two bidders and two items for sale. In the traditional economic models, it is assumed that the bidders' valuations are drawn from an underlying distribution and that the auction designer has perfect knowledge of this distribution. Despite this strong and oftentimes unrealistic assumption, it is remarkable that the revenue-maximizing combinatorial auction remains unknown. In recent years, automated mechanism design has emerged as one of the most practical and promising approaches to designing high-revenue combinatorial auctions. The most scalable automated mechanism design algorithms take as input samples from the bidders' valuation distribution and then search for a high-revenue auction in a rich auction class. In this work, we provide the first sample complexity analysis for the standard hierarchy of deterministic combinatorial auction classes used in automated mechanism design. In particular, we provide tight sample complexity bounds on the number of samples needed to guarantee that the empirical revenue of the designed mechanism on the samples is close to its expected revenue on the underlying, unknown distribution over bidder valuations, for each of the auction classes in the hierarchy. In addition to helping set automated mechanism design on firm foundations, our results also push the boundaries of learning theory. In particular, the hypothesis functions used in our contexts are defined through multi-stage combinatorial optimization procedures, rather than simple decision boundaries, as are common in machine learning.


title: Inference for Instrumental Variables: A Randomization Inference Approach

abstract: The method of instrumental variables (IV) provides a framework to study causal effects in both randomized experiments with noncompliance and in observational studies where natural circumstances produce as-if random nudges to accept treatment. Traditionally, inference for IV relied on asymptotic approximations of the distribution of the Wald estimator or two-stage least squares, often with structural modeling assumptions and/or moment conditions. In this paper, we utilize the randomization inference approach to IV inference. First, we outline the exact method, which uses the randomized assignment of treatment in experiments as a basis for inference, but lacks a closed-form solution and may be computationally infeasible in many applications. We then provide an alternative to the exact method, the almost exact method, which is computationally feasible but retains the advantages of the exact method. We also review asymptotic methods of inference, including those associated with two-stage least squares, and analytically compare them to randomization inference methods. We also perform additional comparisons using a set of simulations. We conclude with three different applications from the social sciences.


title: Building a large-area GEM-based readout chamber for the upgrade of the ALICE TPC

abstract: A large Time Projection Chamber (TPC) is the main device for tracking and charged-particle identification in the ALICE experiment at the CERN LHC. After the second long shutdown in 2019-2020, the LHC will deliver Pb beams colliding at an interaction rate up to 50 kHz, which is about a factor of 100 above the present read-out rate of the TPC. To fully exploit the LHC potential the TPC will be upgraded based on the Gas Electron Multiplier (GEM) technology. A prototype of an ALICE TPC Outer Read-Out Chamber (OROC) was equipped with twelve large-size GEM foils as amplification stage to demonstrate the feasibility of replacing the current Multi Wire Proportional Chambers with the new technology. With a total area of $\sim$0.76 m$^2$ it is the largest GEM-based detector built to date. The GEM OROC was installed within a test field cage and commissioned with radioactive sources.


title: Pair ${(bc)}$ diquarks production in high energy proton--proton collisions

abstract: The cross section of pair double heavy diquark production process $pp\to(bc)+(\bar b \bar c)+X$ is calculated in the leading order of gluonic fusion channel with all four possible color and spin combinations $[^1S_0]_{\bar3}$, $[^1S_0]_{6}$, $[^3S_1]_{\bar3}$, and $[^3S_1]_{6}$ for each of the two final diquarks taken into account. Several sources of relativistic corrections to the cross section are handled in the framework of relativistic quark model. Perturbative $\mathcal O(v^2)$ corrections originating from the production amplitude expansions in heavy quark relative velocity~$v$ depend on the color and spin states of the final particles, but can be generally considered as unimportant ones giving maximally 12\% improvement in numerically significant cases. Modifications of the quark--quark and antiquark--antiquark bound state wave functions caused by the appropriate generalization of the Breit interaction potential have rather severe impact on the cross section suppressing it almost three times. Under assumption of antitriplets and sextuplets' nonperturbative parameters having the same order of magnitude, it is shown that the color-sextet mechanism strongly dominates pair diquark production in both nonrelativistic and relativistic approximations.


title: Signal background interference effects in heavy scalar production and decay to a top-anti-top pair

abstract: We analyse the production of a top quark pair through a heavy scalar at the LHC. We first review the main features of the signal as well as the interference with the top-anti-top background at leading order in QCD. We then study higher order QCD effects. While the background and the signal can be obtained at NNLO and NLO in QCD respectively, that is not the case for their interference, which is currently known only at LO. In order to improve the accuracy of the prediction for the interference term, we consider the effects of extra QCD radiation, i.e. the $2 \to 3$ (loop-induced) processes and obtain an estimate of the NLO corrections. As a result, we find that the contribution of the interference is important both at the total cross-section level and, most importantly, for the line-shape of the heavy scalar. In particular for resonances with widths larger than a couple of percent of the resonance mass, the interference term distorts the invariant mass distribution and generically leads to a non-trivial peak-dip structure. We study this process in a simplified model involving an additional scalar or pseudoscalar resonance as well as in the Two-Higgs-Doublet-Model for a set of representative benchmarks. We present the constraints on simplified models featuring an extra scalar as set by the LHC searches for top-anti-top resonances, and the implications of the 750 GeV diphoton excess recently reported by CMS and ATLAS for the top pair production assuming a scalar or a pseudoscalar resonance.


title: Photometric Measurements of H2O Ice Crystallinity on Trans-Neptunian Objects

abstract: We present a measurement of H2O ice crystallinity on the surface of trans-neptunian objects (TNOs) with near-infrared narrow-band imaging. The newly developed photometric technique allows us to efficiently determine the strength of an 1.65-um absorption feature in crystalline H2O ice. Our data for three large objects, Haumea, Quaoar, and Orcus, which are known to contain crystalline H2O ice on the surfaces, show a reasonable result with high fractions of the crystalline phase. It can also be pointed out that if the H2O-ice grain size is larger than ~20 um, the crystallinities of these objects are obviously below 1.0, which suggest the presence of the amorphous phase. Especially, Orcus exhibits a high abundance of amorphous H2O ice compared to Haumea and Quaoar, possibly indicating a correlation between bulk density of the bodies and surface crystallization degree. We also found the presence of crystalline H2O ice on Typhon and 2008 AP129, both of which are smaller than the minimum size limit for inducing cryovolcanism as well as a transition from amorphous to crystalline through the thermal evolution due to the decay of long-lived isotopes.


title: The Yang-Mills heat equation with finite action

abstract: The existence and uniqueness of solutions to the Yang-Mills heat equation is proven over three dimensional Euclidean space and over a bounded open convex set therein. The initial data is taken to lie in the Sobolev space of order one half, which is the critical Sobolev index for this equation over a three dimensional manifold. The existence is proven by solving first an augmented, strictly parabolic equation and then gauge transforming the solution to a solution of the Yang-Mills heat equation itself. The gauge functions needed to carry out this procedure lie in the critical gauge group of Sobolev regularity three halves, which is a complete topological group in a natural metric but is not a Hilbert Lie group. The nature of this group must be understood in order to carry out the reconstruction procedure. Solutions to the Yang-Mills heat equation are shown to be strong solutions modulo these gauge functions. Energy inequalities and Neumann domination inequalities are used to establish needed initial behavior properties of solutions to the augmented equation.


title: No Contact Terms for the Magnetic Field in Lorentz- and CPT-Violating Electrodynamics

abstract: In a Lorentz- and CPT-violating modification of electrodynamics, the fields of a moving charge are known to have unusual singularities. This raises the question of whether the singular behavior may include $\delta$-function contact terms, similar to those that appear in the fields of idealized dipoles. However, by calculating the magnetic field of an infinite straight wire in this theory, we demonstrate that there are no such contact terms in the magnetic field of a moving point charge


title: Universal temporal features of rankings in competitive sports and games

abstract: Many complex phenomena, from the selection of traits in biological systems to hierarchy formation in social and economic entities, show signs of competition and heterogeneous performance in the temporal evolution of their components, which may eventually lead to stratified structures such as the wealth distribution worldwide. However, it is still unclear whether the road to hierarchical complexity is determined by the particularities of each phenomena, or if there are universal mechanisms of stratification common to many systems. Human sports and games, with their (varied but simplified) rules of competition and measures of performance, serve as an ideal test bed to look for universal features of hierarchy formation. With this goal in mind, we analyse here the behaviour of players and team rankings over time for several sports and games. Even though, for a given time, the distribution of performance ranks varies across activities, we find statistical regularities in the dynamics of ranks. Specifically the rank diversity, a measure of the number of elements occupying a given rank over a length of time, has the same functional form in sports and games as in languages, another system where competition is determined by the use or disuse of grammatical structures. Our results support the notion that hierarchical phenomena may be driven by the same underlying mechanisms of rank formation, regardless of the nature of their components. Moreover, such regularities can in principle be used to predict lifetimes of rank occupancy, thus increasing our ability to forecast stratification in the presence of competition.


title: Doppler tomography of the Double Periodic Variable HD 170582 at low and high stage

abstract: HD170582 is an interacting binary of the Double Periodic Variable (DPV) type, showing ellipsoidal variability with a period of 16.87 days along with a long photometric cycle of 587 days. It was recently studied by Mennickent et al. (2015), who found a slightly evolved B-type star surrounded by a luminous accretion disc fed by a Roche-lobe overflowing A-type giant. Here we extend their analysis presenting new spectroscopic data and studying the Balmer emission lines. We find orbitally modulated double-peak Halpha and Hbeta emissions whose strength also vary in the long-term. In addition, Doppler maps of the emission lines reveal sites of enhanced line emission in the 1st and 4th velocity quadrants, the first one consistent with the position of one of the bright zones detected by the light curve analysis. We find a difference between Doppler maps at high and low stage of the long cycle; evidence that the emission is optically thicker at high state in the stream-disc impact region, possibly reflecting a larger mass transfer rate. We compare the system parameters with a grid of synthetic binary evolutionary tracks and find the best fitting model. The system is found to be semi-detached, in a conservative Case-B mass transfer stage, with age 7.68E7 yr and mass transfer rate 1.6E-6 Msun/yr. For 5 well-studied DPVs, the disc luminosity scales with the primary mass and is much larger than the theoretical accretion luminosity.


title: Rationalizing Neural Predictions

abstract: Prediction without justification has limited applicability. As a remedy, we learn to extract pieces of input text as justifications -- rationales -- that are tailored to be short and coherent, yet sufficient for making the same prediction. Our approach combines two modular components, generator and encoder, which are trained to operate well together. The generator specifies a distribution over text fragments as candidate rationales and these are passed through the encoder for prediction. Rationales are never given during training. Instead, the model is regularized by desiderata for rationales. We evaluate the approach on multi-aspect sentiment analysis against manually annotated test cases. Our approach outperforms attention-based baseline by a significant margin. We also successfully illustrate the method on the question retrieval task.


title: Convergence Analysis of Asynchronous Consensus in Discrete-time Multi-agent Systems with Fixed Topology

abstract: In this paper, we study a convergence condition for asynchronous consensus problems in multi-agent systems. The convergence in this context implies the asynchronous consensus value converges to the synchronous one and is unique. Although it is reported in the literature that the consensus value under asynchronous communications may not coincide with the synchronous consensus value, it has not received much attention. In some applications, the discrepancy between them may result in serious consequences. For such applications it is critical to determine under what conditions the asynchronous consensus value is the same as the synchronous consensus value. We illustrate these issues with a few examples and then provide a condition, which guarantees that the asynchronous consensus value converges to the synchronous one. The validity of the proposed result is verified with simulations.


title: Single machine scheduling with job-dependent machine deterioration

abstract: We consider the single machine scheduling problem with job-dependent machine deterioration. In the problem, we are given a single machine with an initial non-negative maintenance level, and a set of jobs each with a non-preemptive processing time and a machine deterioration. Such a machine deterioration quantifies the decrement in the machine maintenance level after processing the job. To avoid machine breakdown, one should guarantee a non-negative maintenance level at any time point; and whenever necessary, a maintenance activity must be allocated for restoring the machine maintenance level. The goal of the problem is to schedule the jobs and the maintenance activities such that the total completion time of jobs is minimized. There are two variants of maintenance activities: in the partial maintenance case each activity can be allocated to increase the machine maintenance level to any level not exceeding the maximum; in the full maintenance case every activity must be allocated to increase the machine maintenance level to the maximum. In a recent work, the problem in the full maintenance case has been proven NP-hard; several special cases of the problem in the partial maintenance case were shown solvable in polynomial time, but the complexity of the general problem is left open. In this paper we first prove that the problem in the partial maintenance case is NP-hard, thus settling the open problem; we then design a $2$-approximation algorithm.


title: A new class of non-identifiable skew symmetric tensors

abstract: We prove that the generic element of the fifth secant variety $\sigma_5(Gr(\mathbb{P}^2,\mathbb{P}^9)) \subset \mathbb{P}(\bigwedge^3 \mathbb{C}^{10})$ of the Grassmannian of planes of $\mathbb{P}^9$ has exactly two decompositions as a sum of five projective classes of decomposable skew-symmetric tensors. {We show that this, {together with $Gr(\mathbb{P}^3, \mathbb{P}^8)$, is the only non-identifiable case} among the non-defective secant varieties $\sigma_s(Gr(\mathbb{P}^k, \mathbb{P}^n))$ for any $n<14$. In the same range for $n$, we classify all the weakly defective and all tangentially weakly defective secant varieties of any Grassmannians.} We also show that the dual variety $(\sigma_3(Gr(\mathbb{P}^2,\mathbb{P}^7)))^{\vee}$ of the variety of 3-secant planes of the Grassmannian of $\mathbb{P}^2\subset \mathbb{P}^7$ is $\sigma_2(Gr(\mathbb{P}^2,\mathbb{P}^7))$ the variety of bi-secant lines of the same Grassmannian. The proof of this last fact has a very interesting physical interpretation in terms of measurement of the entanglement of a system of 3 identical fermions, the state of each of them belonging to a 8-th dimensional "Hilbert" space.


title: Uncertainties and biases of source masses derived from fits of integrated fluxes or image intensities

abstract: Fitting spectral distributions of total fluxes or image intensities are two standard methods for estimating the masses of starless cores and protostellar envelopes. These mass estimates, which are the main source and basis of our knowledge of the origin and evolution of self-gravitating cores and protostars, are uncertain. In this model-based study, a grid of radiative transfer models of starless cores and protostellar envelopes was computed and their total fluxes and image intensities were fitted to derive the model masses. To investigate intrinsic effects related to the physical objects, all observational complications were explicitly ignored. Known true values of the numerical models allow us to assess the qualities of the methods and fitting models, as well as the effects of nonuniform temperatures, far-infrared opacity slope, selected subsets of wavelengths, background subtraction, and angular resolutions. The method of fitting image intensities gives more accurate masses for more resolved objects than the method of fitting total fluxes. With the latter, a fitting model that assumes optically thin emission gives much better results than the one allowing substantial optical depths. Temperature excesses within the objects above the mass-averaged values skew their spectral shapes towards shorter wavelengths, leading to masses underestimated typically by factors 2-5. With a fixed opacity slope deviating from the true value by a factor of 1.2, derived masses are inaccurate within a factor of 2. The most accurate masses of the models are estimated by fitting just two or three longest-wavelength fluxes. Conventional algorithm of background subtraction is a likely source of large systematic errors. The absolute values of masses of the unresolved or poorly resolved objects in star-forming regions are uncertain to within at least a factor of 2-3.


title: The Crossover Process: Learnability and Data Protection from Inference Attacks

abstract: It is usual to consider data protection and learnability as conflicting objectives. This is not always the case: we show how to jointly control inference --- seen as the attack --- and learnability by a noise-free process that mixes training examples, the Crossover Process (cp). One key point is that the cp~is typically able to alter joint distributions without touching on marginals, nor altering the sufficient statistic for the class. In other words, it saves (and sometimes improves) generalization for supervised learning, but can alter the relationship between covariates --- and therefore fool measures of nonlinear independence and causal inference into misleading ad-hoc conclusions. For example, a cp~can increase / decrease odds ratios, bring fairness or break fairness, tamper with disparate impact, strengthen, weaken or reverse causal directions, change observed statistical measures of dependence. For each of these, we quantify changes brought by a cp, as well as its statistical impact on generalization abilities via a new complexity measure that we call the Rademacher cp~complexity. Experiments on a dozen readily available domains validate the theory.


title: Slitless spectroscopy with the James Webb Space Telescope Near-Infrared Camera (JWST NIRCam)

abstract: The James Webb Space Telescope near-infrared camera (JWST NIRCam) has two 2.'2 $\times$ 2.'2 fields of view that are capable of either imaging or spectroscopic observations. Either of two $R \sim 1500$ grisms with orthogonal dispersion directions can be used for slitless spectroscopy over $\lambda = 2.4 - 5.0$ $\mu$m in each module, and shorter wavelength observations of the same fields can be obtained simultaneously. We present the latest predicted grism sensitivities, saturation limits, resolving power, and wavelength coverage values based on component measurements, instrument tests, and end-to-end modeling. Short wavelength (0.6 -- 2.3 $\mu$m) imaging observations of the 2.4 -- 5.0 $\mu$m spectroscopic field can be performed in one of several different filter bands, either in-focus or defocused via weak lenses internal to NIRCam. Alternatively, the possibility of 1.0 -- 2.0 $\mu$m spectroscopy (simultaneously with 2.4 -- 5.0 $\mu$m) using dispersed Hartmann sensors (DHSs) is being explored. The grisms, weak lenses, and DHS elements were included in NIRCam primarily for wavefront sensing purposes, but all have significant science applications. Operational considerations including subarray sizes, and data volume limits are also discussed. Finally, we describe spectral simulation tools and illustrate potential scientific uses of the grisms by presenting simulated observations of deep extragalactic fields, galactic dark clouds, and transiting exoplanets.


title: The properties of heavy elements in giant planet envelopes

abstract: The core accretion model for giant planet formation suggests a two layer picture for the initial structure of Jovian planets, with heavy elements in a dense core and a thick H-He envelope. Late planetesimal accretion and core erosion could potentially enrich the H-He envelope in heavy elements, which is supported by the three-fold solar metallicity that was measured in Jupiter's atmosphere by the Galileo entry probe. In order to reproduce the observed gravitational moments of Jupiter and Saturn, models for their interiors include heavy elements, $Z$, in various proportions. However, their effect on the equation of state of the hydrogen-helium mixtures has not been investigated beyond the ideal mixing approximation. In this article, we report results from \textit{ab initio} simulations of fully interacting H-He-$Z$ mixtures in order to characterize their equation of state and to analyze possible consequences for the interior structure and evolution of giant planets. Considering C, N, O, Si, Fe, MgO and SiO$_2$, we show that the behavior of heavy elements in H-He mixtures may still be represented by an ideal mixture if the effective volumes and internal energies are chosen appropriately. In the case of oxygen, we also compute the effect on the entropy. We find the resulting changes in the temperature-pressure profile to be small. A homogeneous distribution of 2\% oxygen by mass changes the temperature in Jupiter's interior by only 80 K.


title: Intracellular regulatory control of gene expression process

abstract: This paper presents an intracellular feedback control strategy, to regulate the gene expression process dynamics. For this purpose, two types of genetic circuits are designed in order to compare concentrations of the input transcription factor (the desired input) and the protein produced by the expression of target gene (process output). Genetic Relay Switch and Shifted Subtractor are proposed and employed to design Discrete Comparator. Also, another type of genetic comparator is presented named Bistable Comparator. These synthetic comparators are used to produce the required amount of the protein that activates the expression of the target gene. Numerical simulation results, demonstrate the effectiveness of the designed controllers.


title: Zero-Resource Translation with Multi-Lingual Neural Machine Translation

abstract: In this paper, we propose a novel finetuning algorithm for the recently introduced multi-way, mulitlingual neural machine translate that enables zero-resource machine translation. When used together with novel many-to-one translation strategies, we empirically show that this finetuning algorithm allows the multi-way, multilingual model to translate a zero-resource language pair (1) as well as a single-pair neural translation model trained with up to 1M direct parallel sentences of the same language pair and (2) better than pivot-based translation strategy, while keeping only one additional copy of attention-related parameters.


title: Using Virtual Humans to Understand Real Ones

abstract: Human interactions are characterized by explicit as well as implicit channels of communication. While the explicit channel transmits overt messages, the implicit ones transmit hidden messages about the communicator (e.g., his/her intentions and attitudes). There is a growing consensus that providing a computer with the ability to manipulate implicit affective cues should allow for a more meaningful and natural way of studying particular non-verbal signals of human-human communications by human-computer interactions. In this pilot study, we created a non-dynamic human-computer interaction while manipulating three specific non-verbal channels of communication: gaze pattern, facial expression, and gesture. Participants rated the virtual agent on affective dimensional scales (pleasure, arousal, and dominance) while their physiological signal (electrodermal activity, EDA) was captured during the interaction. Assessment of the behavioral data revealed a significant and complex three-way interaction between gaze, gesture, and facial configuration on the dimension of pleasure, as well as a main effect of gesture on the dimension of dominance. These results suggest a complex relationship between different non-verbal cues and the social context in which they are interpreted. Qualifying considerations as well as possible next steps are further discussed in light of these exploratory findings.


title: Modal-set estimation with an application to clustering

abstract: We present a first procedure that can estimate -- with statistical consistency guarantees -- any local-maxima of a density, under benign distributional conditions. The procedure estimates all such local maxima, or $\textit{modal-sets}$, of any bounded shape or dimension, including usual point-modes. In practice, modal-sets can arise as dense low-dimensional structures in noisy data, and more generally serve to better model the rich variety of locally-high-density structures in data. The procedure is then shown to be competitive on clustering applications, and moreover is quite stable to a wide range of settings of its tuning parameter.


title: Thickness characterization of atomically-thin WSe$_2$ on epitaxial graphene by low-energy electron reflectivity oscillations

abstract: In this work, low-energy electron microscopy is employed to probe structural as well as electronic information in few-layer WSe$_2$ on epitaxial graphene on SiC. The emergence of unoccupied states in the WSe$_2$--graphene heterostructures are studied using spectroscopic low-energy electron reflectivity. Reflectivity minima corresponding to specific WSe$_2$ states that are localized between the monolayers of each vertical heterostructure are shown to reveal the number of layers for each point on the surface. A theory for the origin of these states is developed and utilized to explain the experimentally observed featured in the WSe$_2$ electron reflectivity.


title: Remarkable Stability of Charge Density Wave Order in La$_{1.875}$Ba$_{0.125}$CuO$_4$

abstract: The occurrence of charge-density-wave (CDW) order in underdoped cuprates is now well established, although the precise nature of the CDW and its relationship with superconductivity is not. Theoretical proposals include contrasting ideas such as that pairing may be driven by CDW fluctuations or that static CDWs may intertwine with a spatially-modulated superconducting wave function. We test the dynamics of CDW order in La$_{1.825}$Ba$_{0.125}$CuO$_4$ by using x-ray photon correlation spectroscopy (XPCS) at the CDW wave vector, detected resonantly at the Cu $L_3$-edge. We find that the CDW domains are strikingly static, with no evidence of significant fluctuations up to 2\,\nicefrac{3}{4} hours. We discuss the implications of these results for some of the competing theories.


title: Demi-Normal Surface Singularities

abstract: We prove semi-rationalification and semi-log-canonicalization for Gorenstein demi-normal surfaces. That is, given a Gorenstein demi-normal surface X with semi-rational (respectively, semi-log canonical) singularities in an open set U with complement a finite set of points, there is a proper birational morphism f : Y --> X such that f is an isomorphism over U and Y has only semi-rational (respectively, semi-log canonical) singularities. We proceed by passing to the normalization and then gluing along the conductor in an appropriate rationalification or log-canonicalization of the normalization of X.


title: Counting Counterfeit Coins: A New Coin Weighing Problem

abstract: In 2007, a new variety of the well-known problem of identifying a counterfeit coin using a balance scale was introduced in the sixth International Kolmogorov Math Tournament. This paper offers a comprehensive overview of this new problem by presenting it in the context of the traditional coin weighing puzzle and then explaining what makes the new problem mathematically unique. Two weighing strategies described previously are used to derive lower bounds for the optimal number of admissible situations for given parameters. Additionally, a new weighing procedure is described that can be adapted to provide a solution for a broad spectrum of initial parameters by representing the number of counterfeit coins as a linear combination of positive integers. In closing, we offer a new form of the traditional counterfeit coin problem and provide a lower bound for the number of weighings necessary to solve it.


title: A Primer on 3GPP Narrowband Internet of Things (NB-IoT)

abstract: Narrowband Internet of Things (NB-IoT) is a new cellular technology introduced in 3GPP Release 13 for providing wide-area coverage for the Internet of Things (IoT). This article provides an overview of the air interface of NB-IoT. We describe how NB-IoT addresses key IoT requirements such as deployment flexibility, low device complexity, long battery life time, support of massive number of devices in a cell, and significant coverage extension beyond existing cellular technologies. We also share the various design rationales during the standardization of NB-IoT in Release 13 and point out several open areas for future evolution of NB-IoT.


title: A Threshold-free Prospective Prediction Accuracy Measure for Censored Time to Event Data

abstract: Prediction performance of a risk scoring system needs to be carefully assessed before its adoption in clinical practice. Clinical preventive care often uses risk scores to screen asymptomatic population. The primary clinical interest is to predict the risk of having an event by a pre-specified future time $t_0$. Prospective accuracy measures such as positive predictive values have been recommended for evaluating the predictive performance. However, for commonly used continuous or ordinal risk score systems, these measures require a subjective cutoff threshold value that dichotomizes the risk scores. The need for a cut-off value created barriers for practitioners and researchers. In this paper, we propose a threshold-free summary index of positive predictive values that accommodates time-dependent event status. We develop a nonparametric estimator and provide an inference procedure for comparing this summary measure between competing risk scores for censored time to event data. We conduct a simulation study to examine the finite-sample performance of the proposed estimation and inference procedures. Lastly, we illustrate the use of this measure on a real data example, comparing two risk score systems for predicting heart failure in childhood cancer survivors.


title: Viscosity, heat conductivity and Prandtl number effects in Rayleigh-Taylor Instability

abstract: Two-dimensional Rayleigh-Taylor(RT) instability problem is simulated with a multiple-relaxation-time discrete Boltzmann model with gravity term. The viscosity, heat conductivity and Prandtl number effects are probed from the macroscopic and the non-equilibrium views. In macro sense, both viscosity and heat conduction show significant inhibitory effect in the reacceleration stage, and the inhibition effect is mainly achieved by inhibiting the development of Kelvin-Helmholtz instability. Before this, the Prandtl number effect is not sensitive. Based on the view of non-equilibrium, the viscosity, heat conductivity, and Prandtl number effects on non-equilibrium manifestations, and the correlation degrees between the non-uniformity and the non-equilibrium strength in the complex flow are systematic investigated.


title: Effect of interstitial impurities on the field dependent microwave surface resistance of niobium

abstract: Previous work has demonstrated that the radio frequency surface resistance of niobium resonators is dramatically reduced when nitrogen impurities are dissolved as interstitial in the material. The origin of this effect is attributed to the lowering of the Mattis and Bardeen surface resistance contribution with increasing accelerating field. Meanwhile, an enhancement of the sensitivity to trapped magnetic field is typically observed for such cavities. In this paper we conduct the first systematic study on these different components contributing to the total surface resistance as a function of different levels of dissolved nitrogen, in comparison with standard surface treatments for niobium resonators. Adding these results together we are able to show for the first time which is the optimum surface treatment that maximizes the Q-factor of superconducting niobium resonators as a function of expected trapped magnetic field in the cavity walls. These results also provide new insights on the physics behind the change in the field dependence of the Mattis and Bardeen surface resistance, and of the trapped magnetic vortex induced losses in superconducting niobium resonators.


title: The Auslander-Gruson-Jensen Recollement

abstract: For any ring $R$, the Auslander-Gruson-Jensen functor is the exact contravariant functor $$\textsf{D}_A:\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})\longrightarrow(\textsf{mod}(R^{op}),\textsf{Ab})$$ sending representable functors $(X,\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )$ to tensor functors $X\otimes\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} $. We show that this functor admits a fully faithful left adjoint $\textsf{D}_L$ and a fully faithful right adjoint $\textsf{D}_R$. The left adjoint $$\textsf{D}_L\:(\textsf{mod}(R^{op}),\textsf{Ab})\longrightarrow \textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$$ induces an equivalence of categories $$\frac{\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})}{\{F\ |\ \textsf{D}_A F=0\}}\cong(\textsf{mod}(R^{op}),\textsf{Ab})^{op}$$ where $\{F \ |\ \textsf{D}_A F=0\}$ is the Serre subcategory of $\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$ consisting of all functors $F$ arising from pure exact sequences. As a result, the functor $\textsf{D}_A$ is seen to be a Serre localization functor. The right adjoint $$\textsf{D}_R:(\textsf{mod}(R^{op}),\textsf{Ab})\longrightarrow \textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$$ together with $\textsf{D}_A$ restricts to the well known Auslander-Gruson-Jensen duality.


title: Secure Estimation for Unmanned Aerial Vehicles against Adversarial Cyber Attacks

abstract: In the coming years, usage of Unmanned Aerial Vehicles (UAVs) is expected to grow tremendously. Maintaining security of UAVs under cyber attacks is an important yet challenging task, as these attacks are often erratic and difficult to predict. Secure estimation problems study how to estimate the states of a dynamical system from a set of noisy and maliciously corrupted sensor measurements. The fewer assumptions that an estimator makes about the attacker, the larger the set of attacks it can protect the system against. In this paper, we focus on sensor attacks on UAVs and attempt to design a secure estimator for linear time-invariant systems based on as few assumptions about the attackers as possible. We propose a computationally efficient estimator that protects the system against arbitrary and unbounded attacks, where the set of attacked sensors can also change over time. In addition, we propose to combine our secure estimator with a Kalman Filter for improved practical performance and demonstrate its effectiveness through simulations of two scenarios where an UAV is under adversarial cyber attack.


title: Non-affine Hopf algebra domains of Gelfand-Kirillov dimension two

abstract: We classify all non-affine Hopf algebras $H$ over an algebraically closed field $k$ of characteristic zero that are integral domains of Gelfand-Kirillov dimension two and satisfy the condition $\text{Ext}^1_H(k, k) \neq 0$. The affine ones were classified by the authors in 2010.


title: Asymptotic behaviour and estimates of slowly varying convolution semigroups

abstract: We prove the asymptotic formulas for the transition densities of isotropic unimodal convolution semigroups of probability measures on $\mathbb{R} ^d$ under the assumption that its L\'{e}vy--Khintchine exponent varies slowly. We also derive some new estimates of the transition densities and Green functions.


title: Optical Absorption Spectra and Excitons of Dye-Substrate Interfaces: Catechol on TiO$_2$(110)

abstract: Optimizing the photovoltaic efficiency of dye-sensitized solar cells (DSSC) based on staggered gap heterojunctions requires a detailed understanding of sub-band gap transitions in the visible from the dye directly to the substrate's conduction band (CB) (type-II DSSCs). Here, we calculate the optical absorption spectra and spatial distribution of bright excitons in the visible region for a prototypical DSSC, catechol on rutile TiO$_2$(110), as a function of coverage and deprotonation of the OH anchoring groups. This is accomplished by solving the Bethe-Salpeter equation (BSE) based on hybrid range-separated exchange and correlation functional (HSE06) density functional theory (DFT) calculations. Such a treatment is necessary to accurately describe the interfacial level alignment and the weakly bound charge transfer transitions that are the dominant absorption mechanism in type-II DSSCs. Our HSE06 BSE spectra agree semi-quantitatively with spectra measured for catechol on anatase TiO$_2$ nanoparticles. Our results suggest deprotonation of catechol's OH anchoring groups, while being nearly isoenergetic at high coverages, shifts the onset of the absorption spectra to lower energies, with a concomitant increase in photovoltaic efficiency. Further, the most relevant bright excitons in the visible region are rather intense charge transfer transitions with the electron and hole spatially separated in both the [110] and [001] directions. Such detailed information on the absorption spectra and excitons is only accessible via periodic models of the combined dye-substrate interface.


title: From order to chaos in Earth satellite orbits

abstract: We consider Earth satellite orbits in the range of semi-major axes where the perturbing effects of Earth's oblateness and lunisolar gravity are of comparable order. This range covers the medium-Earth orbits (MEO) of the Global Navigation Satellite Systems and the geosynchronous orbits (GEO) of the communication satellites. We recall a secular and quadrupolar model, based on the Milankovitch vector formulation of perturbation theory, which governs the long-term orbital evolution subject to the predominant gravitational interactions. We study the global dynamics of this two-and-a-half degrees-of-freedom Hamiltonian system by means of the fast Lyapunov indicator (FLI), used in a statistical sense. Specifically, we characterize the degree of chaoticity of the action space using angle-averaged normalized FLI maps, thereby overcoming the angle dependencies of the conventional stability maps. Emphasis is placed upon the phase-space structures near secular resonances, which are of first importance to the space debris community. We confirm and quantify the transition from order to chaos in MEO, stemming from the critical inclinations, and find that highly inclined GEO orbits are particularly unstable. Despite their reputed normality, Earth satellite orbits can possess an extraordinarily rich spectrum of dynamical behaviors, and, from a mathematical perspective, have all the complications that make them very interesting candidates for testing the modern tools of chaos theory.


title: Full-Wave Feasibility Study of Anti-Radar Diagnostic of Magnetic Field Based on O-X Mode Conversion and Oblique Reflectometry Imaging

abstract: An innovative millimeter wave diagnostic is proposed to measure the local magnetic field and edge current as a function of the minor radius in the tokamak pedestal region. The idea is to identify the direction of minimum reflectivity at the O-mode cutoff layer. Correspondingly, the transmissivity due to O-X mode conversion is maximum. That direction, and the angular map of reflectivity around it, contain information on the magnetic field vector B at the cutoff layer. Probing the plasma with different wave frequencies provides the radial profile of B. Full-wave finite-element simulations are presented here in 2D slab geometry. Modeling confirms the existence of a minimum in reflectivity that depends on the magnetic field at the cutoff, as expected from mode conversion physics, giving confidence in the feasibility of the diagnostic. The proposed reflectometric approach is expected to yield superior signal-to-noise ratio and to access wider ranges of density and magnetic field, compared with related radiometric techniques that require the plasma to emit Electron Bernstein Waves. Due to computational limitations, frequencies of 10-20 GHz were considered in this initial study. Frequencies above the edge electron-cyclotron frequency (f>28 GHz here) would be preferable for the experiment, because the upper hybrid resonance and right cutoff would lie in the plasma, and would help separate the O-mode of interest from spurious X-waves.


title: KoulMde: An R Package for Koul's Minimum Distance Estimation

abstract: This article provides a full description of the R package KoulMde which is designed for Koul's minimum distance estimation method. When we encounter estimation problems in the linear regression and autogressive models, this package provides more efficient estimators than other R packages.


title: Statistical analysis of $m/n$ = 2/1 locked and quasi-stationary modes with rotating precursors at DIII-D

abstract: A database has been developed to study the evolution, the nonlinear effects on equilibria, and the disruptivity of locked and quasi-stationary modes with poloidal and toroidal mode numbers $m=2$ and $n=1$ at DIII-D. The analysis of 22,500 discharges shows that more than 18% of disruptions are due to locked or quasi-stationary modes with rotating precursors (not including born locked modes). A parameter formulated by the plasma internal inductance $l_i$ divided by the safety factor at 95% of the poloidal flux, $q_{95}$, is found to exhibit predictive capability over whether a locked mode will cause a disruption or not, and does so up to hundreds of milliseconds before the disruption. Within 20 ms of the disruption, the shortest distance between the island separatrix and the unperturbed last closed flux surface, referred to as $d_{edge}$, performs comparably to $l_i/q_{95}$ in its ability to discriminate disruptive locked modes. Out of all parameters considered, $d_{edge}$ also correlates best with the duration of the locked mode. Within 50 ms of a locked mode disruption, average behavior includes exponential growth of the $n=1$ perturbed field, which might be due to the 2/1 locked mode. Even assuming the aforementioned 2/1 growth, disruptivity following a locked mode shows little dependence on island width up to 20 ms before the disruption. Separately, greater deceleration of the rotating precursor is observed when the wall torque is large. At locking, modes are often observed to align with a residual error field. Timescales associated with the mode evolution are also studied and dictate the response times necessary for disruption avoidance and mitigation.


title: Second-Scale Nuclear Spin Coherence Time of Trapped Ultracold $^{23}$Na$^{40}$K Molecules

abstract: Coherence, the stability of the relative phase between quantum states, lies at the heart of quantum mechanics. Applications such as precision measurement, interferometry, and quantum computation are enabled by physical systems that have quantum states with robust coherence. With the creation of molecular ensembles at sub-$\mu$K temperatures, diatomic molecules have become a novel system under full quantum control. Here, we report on the observation of stable coherence between a pair of nuclear spin states of ultracold fermionic NaK molecules in the singlet rovibrational ground state. Employing microwave fields, we perform Ramsey spectroscopy and observe coherence times on the scale of one second. This work opens the door for the exploration of single molecules as a versatile quantum memory. Switchable long-range interactions between dipolar molecules can further enable two-qubit gates, allowing quantum storage and processing in the same physical system. Within the observed coherence time, $10^4$ one- and two-qubit gate operations will be feasible.

categories: cond-mat.quant-gas physics.atom-ph physics.chem-ph quant-ph


title: Energy calculations of charged point defects on surfaces

abstract: We present a virtual ionic crystal (VIC) method to calculate energies of charged point defects on surfaces. No artificial charge but an actual zero-dimensional (0D) species is introduced to charge a defect. Effect of dielectric substrate on lattice energy is depressed through suitable configuration of the unit cell. The lattice energy approximates to Madelung energy with defect and 0D species considered as point charges in vacuum. Energy required to charge the defect is derived from charge quantity on the defect in VIC, energy of unit cell, and energy required to charge the 0D species.


title: Early Decay of Peccei-Quinn Fermion and the IceCube Neutrino Events

abstract: IceCube observed high-energy neutrino flux in the energy region from TeV to PeV. The decay of a massive long-lived particle in the early universe can be the origin of the IceCube neutrino events, which we call an "early decay scenario." In this paper, we construct a particle physics model that contains such a massive long-lived particle based on the Peccei-Quinn model. We calculate the present neutrino flux, taking account of realistic initial energy distributions of particles produced by the decay of the massive long-lived particle. We show that the early decay scenario naturally fits into the Peccei-Quinn model, and that the neutrino flux observed by IceCube can be explained in such a framework. We also see that, based on that model, a consistent cosmological history that explains the abundance of the massive long-lived particle is realized.


title: Superconformal minimal models and admissible Jack polynomials

abstract: We give new proofs of the rationality of the N=1 superconformal minimal model vertex operator superalgebras and of the classification of their modules in both the Neveu-Schwarz and Ramond sectors. For this, we combine the standard free field realisation with the theory of Jack symmetric functions. A key role is played by Jack symmetric polynomials with a certain negative parameter that are labelled by admissible partitions. These polynomials are shown to describe free fermion correlators, suitably dressed by a symmetrising factor. The classification proofs concentrate on explicitly identifying Zhu's algebra and its twisted analogue. Interestingly, these identifications do not use an explicit expression for the non-trivial vacuum singular vector. While the latter is known to be expressible in terms of an Uglov symmetric polynomial or a linear combination of Jack superpolynomials, it turns out that standard Jack polynomials (and functions) suffice to prove the classification.


title: On interaction-free measurement

abstract: This manuscript is inspired by the paper [2]. In the paper, they investigate a method to detect existence of an object with arbitrarily small interaction. Below, we sketch their protocol to motivate the present manuscript. The object of their protocol is to detect whether the given blackbox interact with input states or not, with negligible distortion of the blackbox, and high detection probability. In this paper, we do two things. First, we prove the above mentioned protocol is optimal in a certain setting. The main tool here is adversary method, a classical method in query complexity. Second, we present a protocol to detect unitary operations with negligible error and no distortion of the input at all.


title: Inverting face embeddings with convolutional neural networks

abstract: Deep neural networks have dramatically advanced the state of the art for many areas of machine learning. Recently they have been shown to have a remarkable ability to generate highly complex visual artifacts such as images and text rather than simply recognize them. In this work we use neural networks to effectively invert low-dimensional face embeddings while producing realistically looking consistent images. Our contribution is twofold, first we show that a gradient ascent style approaches can be used to reproduce consistent images, with a help of a guiding image. Second, we demonstrate that we can train a separate neural network to effectively solve the minimization problem in one pass, and generate images in real-time. We then evaluate the loss imposed by using a neural network instead of the gradient descent by comparing the final values of the minimized loss function.


title: Micro-interventions in urban transport from pattern discovery on the flow of passengers and on the bus network

abstract: In this paper, we describe a case study in a big metropolis, in which from data collected by digital sensors, we tried to understand mobility patterns of persons using buses and how this can generate knowledge to suggest interventions that are applied incrementally into the transportation network in use. We have first estimated an Origin-Destination matrix of buses users from datasets about the ticket validation and GPS positioning of buses. Then we represent the supply of buses with their routes through bus stops as a complex network, which allowed us to understand the bottlenecks of the current scenario and, in particular, applying community discovery techniques, to identify clusters that the service supply infrastructure has. Finally, from the superimposing of the flow of people represented in the OriginDestination matrix in the supply network, we exemplify how micro-interventions can be prospected by means of an example of the introduction of express routes.


title: Path-Following Algorithms for Beamforming and Signal Splitting in RF Energy Harvesting Networks

abstract: We consider the joint design of transmit beamforming and receive signal-splitting ratios in the downlink of a wireless network with simultaneous radio-frequency (RF) information and energy transfer. Under constraints on the signal-to-interference-plus-noise ratio (SINR) at each user and the total transmit power at the base station, the design objective is to maximize either the sum harvested energy or the minimum harvested energy. We develop a computationally efficient path-following method to solve these challenging nonconvex optimization problems. We mathematically show that the proposed algorithms iteratively progress and converge to locally optimal solutions. Simulation results further show that these locally optimal solutions are the same as the globally optimal solutions for the considered practical network settings.


title: Chiral phase transitions in the linear sigma model in the Tsallis nonextensive statistics

abstract: We studied chiral phase transitions in the Tsallis nonextensive statistics which has two parameters, the temperature $T$ and entropic parameter $q$. The linear sigma model was used in this study. The critical temperature, condensate, masses, and energy density were calculated under the massless free particle approximation. The critical temperature decreases as $q$ increases. The condensate at $q>1$ is smaller than that at $q=1$. The sigma mass at $q>1$ is heavier than the mass at $q=1$ at high temperature, while the sigma mass at $q>1$ is lighter than the mass at $q=1$ at low temperature. The pion mass at $q>1$ is heavier than the mass at $q=1$. The energy density increases remarkably as $q$ increases. The $q$ dependence in the case of the $q$-expectation value is weaker than that in the case of the conventional expectation value with a Tsallis distribution. The parameter $q$ should be smaller than $4/3$ from energetic point of view. The validity of the Tsallis statistics can be determined by the difference in $q$ of the restriction for $5/4 < q < 4/3$ when the interaction is weak, because the parameter $q$ is smaller than $5/4$ in the case of the conventional expectation value with a Tsallis distribution.


title: Small flow-time representation of fermion bilinear operators

abstract: Fermion bilinear operators of mass dimension~$3$, such as the axial-vector and vector currents, the pseudo-scalar and scalar densities, whose normalizations are fixed by Ward--Takahashi (WT) relations, are related to small flow-time behavior of composite operators of fermion fields evolved by L\"uscher's flow equation. The representations can be useful in lattice numerical simulations, as recently demonstrated by the WHOT QCD collaboration for the chiral condensation of the $N_f=2+1$ quantum chromodynamics (QCD) at finite temperature.


title: Cut-elimination for SBL

abstract: In this paper we give a terminating cut-elimination procedure for a logic calculus SBL. SBL corresponds to the second order arithmetic Pi^{1}_{2}-Separation and Bar Induction.


title: Social- and Mobility-Aware Device-to-Device Content Delivery

abstract: Mobile online social network services have seen a rapid increase, in which the huge amount of user-generated social media contents propagating between users via social connections has significantly challenged the traditional content delivery paradigm: First, replicating all of the contents generated by users to edge servers that well "fit" the receivers becomes difficult due to the limited bandwidth and storage capacities. Motivated by device-to-device (D2D) communication that allows users with smart devices to transfer content directly, we propose replicating bandwidth-intensive social contents in a device-to-device manner. Based on large-scale measurement studies on social content propagation and user mobility patterns in edge-network regions, we observe that (1) Device-to-device replication can significantly help users download social contents from nearby neighboring peers; (2) Both social propagation and mobility patterns affect how contents should be replicated; (3) The replication strategies depend on regional characteristics ({\em e.g.}, how users move across regions). Using these measurement insights, we propose a joint \emph{propagation- and mobility-aware} content replication strategy for edge-network regions, in which social contents are assigned to users in edge-network regions according to a joint consideration of social graph, content propagation and user mobility. We formulate the replication scheduling as an optimization problem and design distributed algorithm only using historical, local and partial information to solve it. Trace-driven experiments further verify the superiority of our proposal: compared with conventional pure movement-based and popularity-based approach, our design can significantly ($2-4$ times) improve the amount of social contents successfully delivered by device-to-device replication.


title: Oscillatory Motion of a Camphor Grain in a One-Dimensional Finite Region

abstract: The motion of a self-propelled particle is affected by its surroundings, such as boundaries or external fields. In this paper, we investigated the bifurcation of the motion of a camphor grain, as a simple actual self-propelled system, confined in a one-dimensional finite region. A camphor grain exhibits oscillatory motion or remains at rest around the center position in a one-dimensional finite water channel, depending on the length of the water channel and the resistance coefficient. A mathematical model including the boundary effect is analytically reduced to an ordinary differential equation. Linear stability analysis reveals that the Hopf bifurcation occurs, reflecting the symmetry of the system.


title: Existence of charge-density waves in two-dimensional ionic Hubbard model

abstract: We rigorously investigated the charge-charge correlation function of the ionic Hubbard model in two dimensions by reflection positivity. We prove the existence of charge-density waves for large staggered potential $\Delta$ (i.e., $\frac{\Delta}{2}+2V>U$) at low temperatures, where $U$ and $V$ are the on-site and nearest-neighbor Coulomb repulsions, respectively. The results are consistent with previous numerical simulation results. We argue that the absence of charge-density waves for $\Delta=0$ and $U$ are large enough (i.e., $U>\frac{\Delta}{2}$+2V).


title: Cloud Radio Access meets Heterogeneous Small Cell Networks: A Cognitive Hierarchy Perspective

abstract: In this paper, the problem of distributed power allocation is considered for the downlink of a cloud radio access network (CRAN) that is coexisting with a heterogeneous network. In this multi-tier system, the heterogeneous network base stations (BSs) as well as the CRAN remote radio heads seek to choose their optimal power to maximize their users' rates. The problem is formulated as a noncooperative game in which the players are the CRAN's cloud and the BSs. Given the difference of capabilities between the CRAN and the various BSs, the game is cast within the framework of cognitive hierarchy theory. In this framework, players are organized in a hierarchy in such a way that a player can choose its strategy while considering players of only similar or lower hierarchies. Using such a hierarchical design, one can reduce the interference caused by the CRAN and high-powered base stations on low-powered BSs. For this game, the properties of the Nash equilibrium and the cognitive hierarchy equilibrium are analyzed. Simulation results show that the proposed cognitive hierarchy model yields significant performance gains, in terms of the total rate, reaching up to twice the rate achieved by a classical noncooperative game's Nash equilibrium.


title: Deep Recurrent Models with Fast-Forward Connections for Neural Machine Translation

abstract: Neural machine translation (NMT) aims at solving machine translation (MT) problems using neural networks and has exhibited promising results in recent years. However, most of the existing NMT models are shallow and there is still a performance gap between a single NMT model and the best conventional MT system. In this work, we introduce a new type of linear connections, named fast-forward connections, based on deep Long Short-Term Memory (LSTM) networks, and an interleaved bi-directional architecture for stacking the LSTM layers. Fast-forward connections play an essential role in propagating the gradients and building a deep topology of depth 16. On the WMT'14 English-to-French task, we achieve BLEU=37.7 with a single attention model, which outperforms the corresponding single shallow model by 6.2 BLEU points. This is the first time that a single NMT model achieves state-of-the-art performance and outperforms the best conventional model by 0.7 BLEU points. We can still achieve BLEU=36.3 even without using an attention mechanism. After special handling of unknown words and model ensembling, we obtain the best score reported to date on this task with BLEU=40.4. Our models are also validated on the more difficult WMT'14 English-to-German task.


title: The Chasm at Depth Four, and Tensor Rank : Old results, new insights

abstract: Agrawal and Vinay [AV08] showed how any polynomial size arithmetic circuit can be thought of as a depth four arithmetic circuit of subexponential size. The resulting circuit size in this simulation was more carefully analyzed by Korian [Koiran] and subsequently by Tavenas [Tav13]. We provide a simple proof of this chain of results. We then abstract the main ingredient to apply it to formulas and constant depth circuits, and show more structured depth reductions for them. In an apriori surprising result, Raz [Raz10] showed that for any $n$ and $d$, such that $ \omega(1) \leq d \leq O\left(\frac{\log n}{\log\log n}\right)$, constructing explicit tensors $T:[n]^d \rightarrow F$ of high enough rank would imply superpolynomial lower bounds for arithmetic formulas over the field $F$. Using the additional structure we obtain from our proof of the depth reduction for arithmetic formulas, we give a new and arguably simpler proof of this connection. We also extend this result for homogeneous formulas to show that, in fact, the connection holds for any $d$ such that $\omega(1) \leq d \leq n^{o(1)}$.


title: Drastic changes of electronic structure and crystal chemistry upon oxidation of SnII2TiO4E2 into SnIV2TiO6: an ab initio study

abstract: From DFT based calculations establishing energy-volume equations of state and electron localization mapping, the electronic structure and crystal chemistry changes from Sn2TiO4 to Sn2TiO6 by oxidation are rationalized; the key effect being the destabilization of divalent tin SnII towards tetravalent state SnIV leading to rutile Sn2TiO6 as experimentally observed. The subsequent electronic structure change is highlighted in the relative change of the electronic band gap which increases from ~1eV up to 2.2 eV and the 1.5 times increase of the bulk modulus assigned to the change from covalently SnII based compound to the more ionic SnIV one. Such trends are also confronted with the relevant properties of black SnIIO characterized by very small band gap.


title: Improved Approximation of Storage-Rate Tradeoff for Caching with Multiple Demands

abstract: Caching at the network edge has emerged as a viable solution for alleviating the severe capacity crunch in modern content centric wireless networks by leveraging network load-balancing in the form of localized content storage and delivery. In this work, we consider a cache-aided network where the cache storage phase is assisted by a central server and users can demand multiple files at each transmission interval. To service these demands, we consider two delivery models - $(1)$ centralized content delivery where user demands at each transmission interval are serviced by the central server via multicast transmissions; and $(2)$ device-to-device (D2D) assisted distributed delivery where users multicast to each other in order to service file demands. For such cache-aided networks, we present new results on the fundamental cache storage vs. transmission rate tradeoff. Specifically, we develop a new technique for characterizing information theoretic lower bounds on the storage-rate tradeoff and show that the new lower bounds are strictly tighter than cut-set bounds from literature. Furthermore, using the new lower bounds, we establish the optimal storage-rate tradeoff to within a constant multiplicative gap. We show that, for multiple demands per user, achievable schemes based on repetition of schemes for single demands are order-optimal under both delivery models.


title: Order-2 Asymptotic Optimality of the Fully Distributed Sequential Hypothesis Test

abstract: This work analyzes the asymptotic performances of fully distributed sequential hypothesis testing procedures as the type-I and type-II error rates approach zero, in the context of a sensor network without a fusion center. In particular, the sensor network is defined by an undirected graph, where each sensor can observe samples over time, access the information from the adjacent sensors, and perform the sequential test based on its own decision statistic. Different from most literature, the sampling process and the information exchange process in our framework take place simultaneously (or, at least in comparable time-scales), thus cannot be decoupled from one another. Two message-passing schemes are considered, based on which the distributed sequential probability ratio test (DSPRT) is carried out respectively. The first scheme features the dissemination of the raw samples. Although the sample propagation based DSPRT is shown to yield the asymptotically optimal performance at each sensor, it incurs excessive inter-sensor communication overhead due to the exchange of raw samples with index information. The second scheme adopts the consensus algorithm, where the local decision statistic is exchanged between sensors instead of the raw samples, thus significantly lowering the communication requirement compared to the first scheme. In particular, the decision statistic for DSPRT at each sensor is updated by the weighted average of the decision statistics in the neighbourhood at every message-passing step. We show that, under certain regularity conditions, the consensus algorithm based DSPRT also yields the order-2 asymptotically optimal performance at all sensors.


title: Measuring a transmon qubit in circuit QED: dressed squeezed states

abstract: Using circuit QED, we consider the measurement of a superconducting transmon qubit via a coupled microwave resonator. For ideally dispersive coupling, ringing up the resonator produces coherent states with frequencies matched to transmon energy states. Realistic coupling is not ideally dispersive, however, so transmon-resonator energy levels hybridize into joint eigenstate ladders of the Jaynes-Cummings type. Previous work has shown that ringing up the resonator approximately respects this ladder structure to produce a coherent state in the eigenbasis (a dressed coherent state). We numerically investigate the validity of this coherent state approximation to find two primary deviations. First, resonator ring-up leaks small stray populations into eigenstate ladders corresponding to different transmon states. Second, within an eigenstate ladder the transmon nonlinearity shears the coherent state as it evolves. We then show that the next natural approximation for this sheared state in the eigenbasis is a dressed squeezed state, and derive simple evolution equations for such states using a hybrid phase-Fock-space description.


title: Robust And Optimal Opportunistic Scheduling For Downlink 2-Flow Network Coding With Varying Channel Quality and Rate Adaptation (New Simulation Figures)

abstract: This paper considers the downlink traffic from a base station to two different clients. When assuming infinite backlog, it is known that inter-session network coding (INC) can significantly increase the throughput. However, the corresponding scheduling solution (when assuming dynamic arrivals instead and requiring bounded delay) is still nascent. For the 2-flow downlink scenario, we propose the first opportunistic INC + scheduling solution that is provably optimal for time-varying channels, i.e., the corresponding stability region matches the optimal Shannon capacity. Specifically, we first introduce a new binary INC operation, which is distinctly different from the traditional wisdom of XORing two overheard packets. We then develop a queue-length-based scheduling scheme and prove that it, with the help of the new INC operation, achieves the optimal stability region with time-varying channel quality. The proposed algorithm is later generalized to include the capability of rate adaptation. Simulation results show that it again achieves the optimal throughput with rate adaptation. A byproduct of our results is a scheduling scheme for stochastic processing networks (SPNs) with random departure, which relaxes the of deterministic departure in the existing results.


title: Considerations about Chopper Configuration at a time-of-flight SANS Instrument at a Spallation Source

abstract: In any neutron scattering experiment the measurement of the position of the scattered neutrons and their respective velocities is necessary. In order to do so, a position sensitive detector as well as a way to determine the velocities is needed. Measuring the velocities can either be done by using only a single wavelength and therefore velocity or by creating pulses, where the start and end time of each pulse is known and registering the time of arrival at the detector, which is the case we want to consider here. This pulse shaping process in neutron scattering instruments is usually done by using a configuration of several choppers. This set of choppers is then used to define both the beginning and the end of the pulse. Additionally there is of course also a selection in phase space determining the final resolution that can be achieved by the instrument. Taking into account the special requirements of a specific instrument, here a small-angle neutron scattering instrument, creates an additional set of restrictions that have to be taken into account. In this manuscript a chopper configuration for two possible settings, namely a maximum flux and a high-resolution mode will be presented.


title: Limits of Generalized Quaternion Groups

abstract: In the space of marked group, we determine the structure of groups which are limit points of the set of all generalized quaternion groups.


title: Spin-orbit coupling effects on the stability of two competing structures in Pb/Si(111) and Pb/Ge(111)

abstract: Using first-principles density-functional theory (DFT) calculations, we investigate the 4/3-monolayer structure of Pb on the Si(111) or Ge(111) surface within the two competing structural models termed the H$_3$ and T$_4$ structures. We find that the spin-orbit coupling (SOC) influences the relative stability of the two structures in both the Pb/Si(111) and Pb/Ge(111) systems: i.e., our DFT calculation without including the SOC predicts that the T$_4$ structure is energetically favored over the H$_3$ structure by ${\Delta}E$ = 25 meV for Pb/Si(111) and 22 meV for Pb/Ge(111), but the inclusion of SOC reverses their relative stability as ${\Delta}E$ = $-$12 and $-$7 meV, respectively. Our analysis shows that the SOC-induced switching of the ground state is attributed to a more asymmetric surface charge distribution in the H$_3$ structure, which gives rise to a relatively larger Rashba spin splitting of surface states as well as a relatively larger pseudo-gap opening compared to the T$_4$ structure. By the nudged elastic band calculation, we obtain a sizable energy barrier from the H$_3$ to the T$_4$ structure as ${\sim}$0.59 and ${\sim}$0.27 eV for Pb/Si(111) and Pb/Ge(111), respectively. It is thus likely that the two energetically competing structures can coexist at low temperatures.


title: A Systematic Approach to Blocking Convolutional Neural Networks

abstract: Convolutional Neural Networks (CNNs) are the state of the art solution for many computer vision problems, and many researchers have explored optimized implementations. Most implementations heuristically block the computation to deal with the large data sizes and high data reuse of CNNs. This paper explores how to block CNN computations for memory locality by creating an analytical model for CNN-like loop nests. Using this model we automatically derive optimized blockings for common networks that improve the energy efficiency of custom hardware implementations by up to an order of magnitude. Compared to traditional CNN CPU implementations based on highly-tuned, hand-optimized BLAS libraries,our x86 programs implementing the optimal blocking reduce the number of memory accesses by up to 90%.


title: The class of the affine line is a zero divisor in the Grothendieck ring: via $G_2$-Grassmannians

abstract: Motivated by [Bor] and [Mar], we show the equality $\left([X] - [Y]\right) \cdot [\mathbb{A}^1] = 0$ in the Grothendieck ring of varieties, where $(X, Y)$ is a pair of Calabi-Yau 3-folds cut out from the pair of Grassmannians of type $G_2$.


title: Convergence of a Vector Penalty Projection Scheme for the Navier-Stokes Equations with moving body

abstract: In this paper, we analyse a Vector Penalty Projection Scheme (see [1]) to treat the displacement of a moving body in incompressible viscous flows in the case where the interaction of the fluid on the body can be neglected. The presence of the obstacle inside the computational domain is treated with a penalization method introducing a parameter $\eta$. We show the stability of the scheme and that the pressure and velocity converge towards a limit when the penalty parameter $\epsilon$, which induces a small divergence and the time step $\delta$t tend to zero with a proportionality constraint $\epsilon$ = $\lambda$$\delta$t. Finally, when $\eta$ goes to 0, we show that the problem admits a weak limit which is a weak solution of the Navier-Stokes equations with no-sleep condition on the solid boundary. R{\'e}sum{\'e} Dans ce travail nous analysons un sch{\'e}ma de projection vectorielle (voir [1]) pour traiter le d{\'e}placement d'un corps solide dans un fluide visqueux incompressible dans le cas o` u l'interaction du fluide sur le solide est n{\'e}gligeable. La pr{\'e}sence de l'obstacle dans le domaine solide est mod{\'e}lis{\'e}e par une m{\'e}thode de p{\'e}nalisation. Nous montrons la stabilit{\'e} du sch{\'e}ma et la convergence des variables vitesse-pression vers une limite quand le param etre $\epsilon$ qui assure une faible divergence et le pas de temps $\delta$t tendent vers 0 avec une contrainte de proportionalit{\'e} $\epsilon$ = $\lambda$$\delta$t. Finalement nous montrons que leprob{\`i} eme converge au sens faible vers une solution des equations de Navier-Stokes avec une condition aux limites de non glissement sur lafront{\`i} ere immerg{\'e}e quand le param etre de p{\'e}nalisation $\eta$ tend vers 0.


title: Active Discriminative Text Representation Learning

abstract: We propose a new active learning (AL) method for text classification with convolutional neural networks (CNNs). In AL, one selects the instances to be manually labeled with the aim of maximizing model performance with minimal effort. Neural models capitalize on word embeddings as representations (features), tuning these to the task at hand. We argue that AL strategies for multi-layered neural models should focus on selecting instances that most affect the embedding space (i.e., induce discriminative word representations). This is in contrast to traditional AL approaches (e.g., entropy-based uncertainty sampling), which specify higher level objectives. We propose a simple approach for sentence classification that selects instances containing words whose embeddings are likely to be updated with the greatest magnitude, thereby rapidly learning discriminative, task-specific embeddings. We extend this approach to document classification by jointly considering: (1) the expected changes to the constituent word representations; and (2) the model's current overall uncertainty regarding the instance. The relative emphasis placed on these criteria is governed by a stochastic process that favors selecting instances likely to improve representations at the outset of learning, and then shifts toward general uncertainty sampling as AL progresses. Empirical results show that our method outperforms baseline AL approaches on both sentence and document classification tasks. We also show that, as expected, the method quickly learns discriminative word embeddings. To the best of our knowledge, this is the first work on AL addressing neural models for text classification.


title: Gluon fragmentation functions in the Nambu-Jona-Lasinio model

abstract: We derive gluon fragmentation functions in the Nambu-Jona-Lasinio (NJL) model by treating a gluon as a pair of color lines formed by fictitious quark and anti-quark ($q\bar q$). Gluon elementary fragmentation functions are obtained from the quark and anti-quark elementary fragmentation functions for emitting specific mesons in the NJL model under the requirement that the $q\bar q$ pair maintains in the flavor-singlet state after meson emissions. An integral equation, which iterates the gluon elementary fragmentation functions to all orders, is then solved to yield the gluon fragmentation functions at a model scale. It is observed that these solutions are stable with respect to variation of relevant model parameters, especially after QCD evolution to a higher scale is implemented. We show that the inclusion of the gluon fragmentation functions into the theoretical predictions from only the quark fragmentation functions greatly improves the agreement with the SLD data for the pion and kaon productions in $e^+e^-$ annihilation. Our proposal provides a plausible construct for the gluon fragmentation functions, which are supposed to be null in the NJL model.


title: Quality factor enhancement of Nano electromechanical systems by capacitive driving beyond the resonance

abstract: Nano electromechanical systems are considered as ultra sensitive devices for mass and force detection. Capacitive actuation is widely used in these devices but is known to degrade the quality factor of the resonator due to DC electrostatic damping. We report the enhancement of the quality factor of SiC vibrating nanowires detected nano optomechanically and electrically by applying an AC capacitive driving at a frequency above both the resonance frequency and the electrical cutoff frequency. Self-oscillations are demonstrated for optimal conditions. We developed an analytical model of the phenomenon and showed that it can lead to an improvement of the force sensitivity. * anthony.ayari@univ-lyon1.fr 1


title: Stability of periodic waves of 1D cubic nonlinear Schr{\"o}dinger equations

abstract: We study the stability of the cnoidal, dnoidal and snoidal elliptic functions as spatially-periodic standing wave solutions of the 1D cubic nonlinear Schr{\"o}dinger equations. First, we give global variational characterizations of each of these periodic waves, which in particular provide alternate proofs of their orbital stability with respect to same-period perturbations, restricted to certain subspaces. Second, we prove the spectral stability of the cnoidal waves against same-period perturbations (in a certain parameter range), and provide an alternate proof of this (known) fact for the snoidal waves, which does not rely on complete integrability. Third, we give a rigorous version of a formal asymptotic calculation of Rowlands to establish the instability of a class of real-valued periodic waves in 1D, which includes the cnoidal waves of the 1D cubic focusing nonlinear Schr{\"o}dinger equation, against perturbations with period a large multiple of their fundamental period. Finally, we develop a numerical method to compute the minimizers of the energy with fixed mass and momentum constraints. Numerical experiments support and complete our analytical results.


title: Spreadsheet Probabilistic Programming

abstract: Spreadsheet workbook contents are simple programs. Because of this, probabilistic programming techniques can be used to perform Bayesian inversion of spreadsheet computations. What is more, existing execution engines in spreadsheet applications such as Microsoft Excel can be made to do this using only built-in functionality. We demonstrate this by developing a native Excel implementation of both a particle Markov Chain Monte Carlo variant and black-box variational inference for spreadsheet probabilistic programming. The resulting engine performs probabilistically coherent inference over spreadsheet computations, notably including spreadsheets that include user-defined black-box functions. Spreadsheet engines that choose to integrate the functionality we describe in this paper will give their users the ability to both easily develop probabilistic models and maintain them over time by including actuals via a simple user-interface mechanism. For spreadsheet end-users this would mean having access to efficient and probabilistically coherent probabilistic modeling and inference for use in all kinds of decision making under uncertainty.


title: Word Representation Models for Morphologically Rich Languages in Neural Machine Translation

abstract: Dealing with the complex word forms in morphologically rich languages is an open problem in language processing, and is particularly important in translation. In contrast to most modern neural systems of translation, which discard the identity for rare words, in this paper we propose several architectures for learning word representations from character and morpheme level word decompositions. We incorporate these representations in a novel machine translation model which jointly learns word alignments and translations via a hard attention mechanism. Evaluating on translating from several morphologically rich languages into English, we show consistent improvements over strong baseline methods, of between 1 and 1.5 BLEU points.


title: Conditional Generative Moment-Matching Networks

abstract: Maximum mean discrepancy (MMD) has been successfully applied to learn deep generative models for characterizing a joint distribution of variables via kernel mean embedding. In this paper, we present conditional generative moment- matching networks (CGMMN), which learn a conditional distribution given some input variables based on a conditional maximum mean discrepancy (CMMD) criterion. The learning is performed by stochastic gradient descent with the gradient calculated by back-propagation. We evaluate CGMMN on a wide range of tasks, including predictive modeling, contextual generation, and Bayesian dark knowledge, which distills knowledge from a Bayesian model by learning a relatively small CGMMN student network. Our results demonstrate competitive performance in all the tasks.


title: Density dependence of the nuclear energy-density functional

abstract: The explicit density (rho) dependence in the coupling coefficients of the non-relativistic nuclear energy-density functional (EDF) encodes effects of three-nucleon forces and dynamical correlations. The necessity for a coupling coefficient in the form of a small fractional power of rho is empirical and the power often chosen arbitrarily. Consequently, precision-oriented parameterisations risk overfitting and loss of predictive power. Observing that the Fermi momentum kF~rho^1/3 is a key variable in Fermi systems, we examine if a power hierarchy in kF can be inferred from the properties of homogeneous matter in a domain of densities which is relevant for nuclear structure and neutron stars. For later applications we want to determine an EDF that is of good quality but not overtrained. We fit polynomial and other functions of rho^1/3 to existing microscopic calculations of the energy of symmetric and pure neutron matter and analyze the fits. We select a form and parameter set which we found robust and examine the parameters' naturalness and the resulting extrapolations. A statistical analysis confirms that low-order terms like rho^1/3 and rho^2/3 are the most relevant ones. It also hints at a different power hierarchy for symmetric vs. pure neutron matter, supporting the need for more than one rho^a terms in non-relativistic EDFs. The EDF we propose accommodates adopted properties of nuclear matter near saturation. Importantly, its extrapolation to dilute or asymmetric matter reproduces a range of existing microscopic results, to which it has not been fitted. It also predicts neutron-star properties consistent with observations. The coefficients display naturalness. Once determined for homogeneous matter, EDFs of the present form can be mapped onto Skyrme-type ones for use in nuclei. The statistical analysis can be extended to higher orders and for different ab initio calculations.


title: On the Design of MAC Protocol and Transmission Scheduling for Internet of Things

abstract: With the ubiquitous sensing enabled by wireless sensor network technologies, Internet of Things (IoT) is developed to many areas of modern day living. The inexpensive IoT devices and platforms capable of wireless communications enable the ability to measure, infer and understand environmental indicators, from delicate ecologies and natural resources to urban environments. In this paper, we firstly investigate a scalable multimode-based MAC protocol, IoT-MAC, which consists of a channel contention period and a data transmission period, to reduce contention of channel access due to coexist of many IoT devices. Secondly, we study a data transmission scheduling algorithm to maximise data collection under the constraints of radio link quality and remaining energy of the IoT node, while ensuring a fair access to the radio channel. To study the performance of data reception rate, packet loss rate and latency, we evaluate the IoT-MAC and scheduling algorithm with varying data rate and different network scale.


title: Individual Cr atom in a semiconductor quantum dot: optical addressability and spin-strain coupling

abstract: We demonstrate the optical addressability of the spin of an individual Chromium atom (Cr) embedded in a semiconductor quantum dot. The emission of Cr-doped quantum dots and their evolution in magnetic field reveal a large magnetic anisotropy of the Cr spin induced by local strain. This results in the zero field splitting of the 0, +-1 and +-2 Cr spin states and in a thermalization on the magnetic ground states 0 and +-1. The observed strong spin to strain coupling of Cr is of particular interest for the development of hybrid spin-mechanical devices where coherent mechanical driving of an individual spin in an oscillator is needed. The magneto-optical properties of Cr-doped quantum dots are modelled by a spin Hamiltonian including the sensitivity of the Cr spin to the strain and the influence of the quantum dot symmetry on the carrier-Cr spin coupling.


title: Observation of collective coupling between an engineered ensemble of macroscopic artificial atoms and a superconducting resonator

abstract: The hybridization of distinct quantum systems is now seen as an effective way to engineer the properties of an entire system leading to applications in quantum metamaterials, quantum simulation, and quantum metrology. One well known example is superconducting circuits coupled to ensembles of microscopic natural atoms. In such cases, the properties of the individual atom are intrinsic, and so are unchangeable. However, current technology allows us to fabricate large ensembles of macroscopic artificial atoms such as superconducting flux qubits, where we can really tailor and control the properties of individual qubits. Here, we demonstrate coherent coupling between a microwave resonator and several thousand superconducting flux qubits, where we observe a large dispersive frequency shift in the spectrum of 250 MHz induced by collective behavior. These results represent the largest number of coupled superconducting qubits realized so far. Our approach shows that it is now possible to engineer the properties of the ensemble, opening up the way for the controlled exploration of the quantum many-body system.


title: Learning Term Weights for Ad-hoc Retrieval

abstract: Most Information Retrieval models compute the relevance score of a document for a given query by summing term weights specific to a document or a query. Heuristic approaches, like TF-IDF, or probabilistic models, like BM25, are used to specify how a term weight is computed. In this paper, we propose to leverage learning-to-rank principles to learn how to compute a term weight for a given document based on the term occurrence pattern.


title: Mixed curvature measures of translative integral geometry

abstract: The curvature measures of a set $X$ with singularities are measures concentrated on the normal bundle of $X$, which describe the local geometry of the set $X$. For given finitely many convex bodies or, more generally, sets with positive reach, the translative integral formula for curvature measures relates the integral mean of the curvature measures of the intersections of the given sets, one fixed and the others translated, to the mixed curvature measures of the given sets. In the case of two sets of positive reach, a representation of these mixed measures in terms of generalized curvatures, defined on the normal bundles of the sets, is known. For more than two sets, a description of mixed curvature measures in terms of rectifiable currents has been derived previously. Here we provide a representation of mixed curvatures measures of sets with positive reach based on generalized curvatures. The special case of convex polyhedra is treated in detail.


title: A revised model of fluid transport optimization in Physarum polycephalum

abstract: Optimization of fluid transport in the slime mold Physarum polycephalum has been the subject of several modeling efforts in recent literature. Existing models assume that the tube adaptation mechanism in P. polycephalum's tubular network is controlled by the sheer amount of fluid flow through the tubes. We put forward the hypothesis that the controlling variable may instead be the flow's pressure gradient along the tube. We carry out the stability analysis of such a revised mathematical model for a parallel-edge network, proving that the revised model supports the global flow-optimizing behavior of the slime mold for a substantially wider class of response functions compared to previous models. Simulations also suggest that the same conclusion may be valid for arbitrary network topologies.


title: Black hole kicks as new gravitational wave observables

abstract: Generic black hole binaries radiate gravitational waves anisotropically, imparting a recoil, or kick, velocity to the merger remnant. If a component of the kick along the line of sight is present, gravitational waves emitted during the final orbits and merger will be gradually Doppler shifted as the kick builds up. We develop a simple prescription to capture this effect in existing waveform models, showing that future gravitational wave experiments will be able to perform direct measurements, not only of the black hole kick velocity, but also of its accumulation profile. In particular, the eLISA space mission will measure supermassive black hole kick velocities as low as ~500 km/s, which are expected to be a common outcome of black hole binary coalescence following galaxy mergers. Black hole kicks thus constitute a promising new observable in the growing field of gravitational wave astronomy.

categories: gr-qc astro-ph.CO astro-ph.GA astro-ph.HE


title: Design Study of a Superconducting Gantry for Carbon Beam Therapy

abstract: This paper describes the design study of a gantry for a carbon beam. The designed gantry is compact such that its size is comparable to the size of the proton gantry. This is possible by introducing superconducting double helical coils for dipole magnets. The gantry optics is designed in such a way that it provides rotation-invariant optics and variable beam size as well as point-to-parallel scanning of a beam. For large-aperture magnet, three-dimensional magnetic field distribution is obtained by invoking a computer code, and a number of particles are tracked by integrating equations of motion numerically together with three-dimensional interpolation. The beam-shape distortion due to the fringe field is reduced to an acceptable level by optimizing the coil windings with the help of genetic algorithm. Higher-order transfer coefficients are calculated and shown to be reduced greatly with appropriate optimization of the coil windings.


title: Asymptotic of the distribution and harmonic moments for a supercritical branching process in a random environment

abstract: Let $(Z_n)$ be a supercritical branching process in an independent and identically distributed random environment $\xi$. We show the exact decay rate of the probability $\mathbb{P}(Z_n=j | Z_0 = k)$ as $n \to \infty$, for each $j \geq k,$ assuming that $\mathbb{P} (Z_1 = 0) =0$. We also determine the critical value for the existence of harmonic moments of the random variable $W=\lim_{n\to\infty}\frac{Z_n}{\mathbb E (Z_n|\xi)}$ under a simple moment condition.


title: Response of a mechanical oscillator in an optomechanical cavity driven by a finite bandwidth squeezed vacuum excitation

abstract: In this paper, we theoretically investigate the displacement and momentum fluctuations spectra of the movable mirror in a standard optomechanical system driven by a finite bandwidth squeezed vacuum light accompanying a coherent laser field. Two cases in which the squeezed vacuum is generated by degenerated and non-degenerate parametric oscillators (DPO and NDPO) are considered. We find that for the case of finite bandwidth squeezed vacuum injection, the two spectra exhibit unique features, which strongly differ from those of broadband squeezing excitation. In particular, the spectra exhibit a three-peaked and a four-peaked structure, respectively, for the squeezing injection from DPO and NDPO. Besides, some anomalous characteristics of the spectra such as squeezing-induced pimple, hole burning, and dispersive profile are found to be highly sensitive to the squeezing parameters and the temperature of the mirror. We also evaluate the mean-square fluctuations in position and momentum quadratures of the movable mirror and analyze the influence of the squeezing parameters of the input field on the mechanical squeezing. It will be shown that the parameters of driven squeezed vacuum affects the squeezing. We find the optimal mechanical squeezing is achievable via finite bandwidth squeezed vacuum injection which is affected by the intensity of squeezed vacuum. We also show that the phase of incident squeezed vacuum determines whether position or momentum squeezing occurs. Our proposed scheme not only provides a feasible experimental method to detect and characterize squeezed light by optomechanical systems, but also suggests a way for controllable transfer of squeezing from an optical field to a mechanical oscillator.