title: A Syllable-Structured, Contextually-Based Conditionally Generation of Chinese Lyrics

abstract: This paper presents a novel, syllable-structured Chinese lyrics generation model given a piece of original melody. Most previously reported lyrics generation models fail to include the relationship between lyrics and melody. In this work, we propose to interpret lyrics-melody alignments as syllable structural information and use a multi-channel sequence-to-sequence model with considering both phrasal structures and semantics. Two different RNN encoders are applied, one of which is for encoding syllable structures while the other for semantic encoding with contextual sentences or input keywords. Moreover, a large Chinese lyrics corpus for model training is leveraged. With automatic and human evaluations, results demonstrate the effectiveness of our proposed lyrics generation model. To the best of our knowledge, there is few previous reports on lyrics generation considering both music and linguistic perspectives.


title: Reinforcement Learning with Convex Constraints

abstract: In standard reinforcement learning (RL), a learning agent seeks to optimize the overall reward. However, many key aspects of a desired behavior are more naturally expressed as constraints. For instance, the designer may want to limit the use of unsafe actions, increase the diversity of trajectories to enable exploration, or approximate expert trajectories when rewards are sparse. In this paper, we propose an algorithmic scheme that can handle a wide class of constraints in RL tasks: specifically, any constraints that require expected values of some vector measurements (such as the use of an action) to lie in a convex set. This captures previously studied constraints (such as safety and proximity to an expert), but also enables new classes of constraints (such as diversity). Our approach comes with rigorous theoretical guarantees and only relies on the ability to approximately solve standard RL tasks. As a result, it can be easily adapted to work with any model-free or model-based RL. In our experiments, we show that it matches previous algorithms that enforce safety via constraints, but can also enforce new properties that these algorithms do not incorporate, such as diversity.


title: Automatic Conditional Generation of Personalized Social Media Short Texts

abstract: Automatic text generation has received much attention owing to rapid development of deep neural networks. In general, text generation systems based on statistical language model will not consider anthropomorphic characteristics, which results in machine-like generated texts. To fill the gap, we propose a conditional language generation model with Big Five Personality (BFP) feature vectors as input context, which writes human-like short texts. The short text generator consists of a layer of long short memory network (LSTM), where a BFP feature vector is concatenated as one part of input for each cell. To enable supervised training generation model, a text classification model based convolution neural network (CNN) has been used to prepare BFP-tagged Chinese micro-blog corpora. Validated by a BFP linguistic computational model, our generated Chinese short texts exhibit discriminative personality styles, which are also syntactically correct and semantically smooth with appropriate emoticons. With combination of natural language generation with psychological linguistics, our proposed BFP-dependent text generation model can be widely used for individualization in machine translation, image caption, dialogue generation and so on.


title: Exploiting Unsupervised Pre-training and Automated Feature Engineering for Low-resource Hate Speech Detection in Polish

abstract: This paper presents our contribution to PolEval 2019 Task 6: Hate speech and bullying detection. We describe three parallel approaches that we followed: fine-tuning a pre-trained ULMFiT model to our classification task, fine-tuning a pre-trained BERT model to our classification task, and using the TPOT library to find the optimal pipeline. We present results achieved by these three tools and review their advantages and disadvantages in terms of user experience. Our team placed second in subtask 2 with a shallow model found by TPOT: a~logistic regression classifier with non-trivial feature engineering.


title: Scaling of shot noise processes

abstract: In this contribution, we investigate the scaling of the distribution of the shot noise process, its power spectral density and its time above threshold.


title: Spatio temporal linear stability of viscoelastic free shear flows: dilute regime

abstract: We report the temporal and spatio-temporal stability analyses of anti-symmetric, free shear, viscoelastic flows obeying the Oldroyd-B constitutive equation in the limit of low to moderate Reynolds number and Weissenberg number. The resulting fourth order Orr-Sommerfeld equation is reduced to a set of six auxiliary equations which are numerically integrated starting from the rescaled far-field conditions, i.~e., via the Compound Matrix Method. Numerical results indicate that with increasing Weissenberg number: (a) the peak of the maximal growth rate (i. e., the maximum value of the imaginary component of the growth rate) is reduced, (b) the entire range of unstable spectrum is shifted towards longer waves (i.~e., the entire region of temporal instability is gradually concentrated near zero wavenumber), (c) the vorticity structure contours are dilated and (d) the residual Reynolds stresses are diminished. All these observations suggest that viscoelasticity reduces the temporal instability but does not completely suppress it. The Briggs idea of analytic continuation is deployed to classify regions of temporal stability, absolute and convective instabilties as well as evanescent (false) modes, in a finite range of Reynolds number, Weissenberg number and the viscosity coefficient. The main result is that, unlike Newtonian fluids, the free shear flow of dilute polymeric liquids are either (absolutely/convectively) unstable for all Reynolds number or the transition to instability occurs at very low Reynolds number, a finding attributed to the fact that viscoelasticity aggravates free surface flow instabilities. Although this transitional pathway connecting the temporally stable state to the elastoinertially unstable state have been identified by some in-vitro experiments, but until now, has not been quantified theoretically via linear stability analysis.


title: Bloch-bands Picture for Light Pulse Atom Diffraction and Interferometry

abstract: We apply a Bloch-bands approach to the analysis of pulsed optical standing wave diffractive elements in optics and interferometry with ultracold atoms. We verify our method by comparison to a series of experiments with Bose-Einstein condensates. The approach provides accurate Rabi frequencies for diffraction pulses and is particularly useful for the analysis and control of diffraction phases, an important systematic effect in precision atom interferometry. Utilizing this picture, we also demonstrate a method to determine atomic band structure in an optical lattice through a measurement of phase shifts in an atomic contrast interferometer.


title: Re-Weighted $\ell_1$ Algorithms within the Lagrange Duality Framework: Bringing Interpretability to Weights

abstract: We consider an important problem in signal processing, which consists in finding the sparsest solution of a linear system $\Phi x=b$. This problem has applications in several areas, but is NP-hard in general. Usually an alternative convex problem is considered, based on minimizing the (weighted) $\ell_{1}$ norm. For this alternative to be useful, weights should be chosen as to obtain a solution of the original NP-hard problem. A well known algorithm for this is the Re-Weighted $\ell_{1}$, proposed by Cand\`es, Wakin and Boyd. In this article we introduce a new methodology for updating the weights of a Re-Weighted $\ell_{1}$ algorithm, based on identifying these weights as Lagrange multipliers. This is then translated into an algorithm with performance comparable to the usual methodology, but allowing an interpretation of the weights as Lagrange multipliers. The methodology may also be used for a noisy linear system, obtaining in this case a Re-Weighted LASSO algorithm, with a promising performance according to the experimental results.


title: The Saeed-Liu-Tian-Gao-Li authenticated key agreement protocol is insecure

abstract: A recently proposed authenticated key agreement protocol is shown to be insecure. In particular, one of the two parties is not authenticated, allowing an active man in the middle opponent to replay old messages. The protocol is essentially an authenticated Diffie-Hellman key agreement scheme, and the lack of authentication allows an attacker to replay old messages and have them accepted. Moreover, if the ephemeral key used to compute a protocol message is ever compromised, then the key established using the replayed message will also be compromised. Fixing the problem is simple - there are many provably secure and standardised protocols which are just as efficient as the flawed scheme.


title: Reserve Pricing in Repeated Second-Price Auctions with Strategic Bidders

abstract: We study revenue optimization learning algorithms for repeated second-price auctions with reserve where a seller interacts with multiple strategic bidders each of which holds a fixed private valuation for a good and seeks to maximize his expected future cumulative discounted surplus. We propose a novel algorithm that has strategic regret upper bound of $O(\log\log T)$ for worst-case valuations. This pricing is based on our novel transformation that upgrades an algorithm designed for the setup with a single buyer to the multi-buyer case. We provide theoretical guarantees on the ability of a transformed algorithm to learn the valuation of a strategic buyer, which has uncertainty about the future due to the presence of rivals.


title: Bivariate FCLT for the Sample Quantile and Measures of Dispersion for Augmented GARCH($p$,$q$) processes

abstract: In this paper, we build upon the asymptotic theory for GARCH processes, considering the general class of augmented GARCH($p$, $q$) processes. Our contribution is to complement the well-known univariate asymptotics by providing a joint (bivariate) functional central limit theorem of the sample quantile and the r-th absolute centred sample moment. This extends existing results in the case of identically and independently distributed random variables. We show that the conditions for the convergence of the estimators in the univariate case suffice even for the joint bivariate asymptotics. We illustrate the general results with various specific examples from the class of augmented GARCH($p$, $q$) processes and show explicitly under which conditions on the moments and parameters of the process the joint asymptotics hold.


title: SeGMA: Semi-Supervised Gaussian Mixture Auto-Encoder

abstract: We propose a semi-supervised generative model, SeGMA, which learns a joint probability distribution of data and their classes and which is implemented in a typical Wasserstein auto-encoder framework. We choose a mixture of Gaussians as a target distribution in latent space, which provides a natural splitting of data into clusters. To connect Gaussian components with correct classes, we use a small amount of labeled data and a Gaussian classifier induced by the target distribution. SeGMA is optimized efficiently due to the use of Cramer-Wold distance as a maximum mean discrepancy penalty, which yields a closed-form expression for a mixture of spherical Gaussian components and thus obviates the need of sampling. While SeGMA preserves all properties of its semi-supervised predecessors and achieves at least as good generative performance on standard benchmark data sets, it presents additional features: (a) interpolation between any pair of points in the latent space produces realistically-looking samples; (b) combining the interpolation property with disentangled class and style variables, SeGMA is able to perform a continuous style transfer from one class to another; (c) it is possible to change the intensity of class characteristics in a data point by moving the latent representation of the data point away from specific Gaussian components.


title: The Shape of RemiXXXes to Come: Audio Texture Synthesis with Time-frequency Scattering

abstract: This article explains how to apply time--frequency scattering, a convolutional operator extracting modulations in the time--frequency domain at different rates and scales, to the re-synthesis and manipulation of audio textures. After implementing phase retrieval in the scattering network by gradient backpropagation, we introduce scale--rate DAFx, a class of audio transformations expressed in the domain of time--frequency scattering coefficients. One example of scale--rate DAFx is chirp rate inversion, which causes each sonic event to be locally reversed in time while leaving the arrow of time globally unchanged. Over the past two years, our work has led to the creation of four electroacoustic pieces: ``FAVN''; ``Modulator (Scattering Transform)''; ``Experimental Palimpsest''; ``Inspection''; and a remix of Lorenzo Senni's ``XAllegroX'', released by Warp Records on a vinyl entitled ``The Shape of RemiXXXes to Come''. The source code to reproduce experiments and figures is made freely available at: https://github.com/lostanlen/scattering.m. A companion website containing demos is at: https://lostanlen.com/pubs/dafx2019


title: Learning to Sample: Counting with Complex Queries

abstract: We study the problem of efficiently estimating counts for queries involving complex filters, such as user-defined functions, or predicates involving self-joins and correlated subqueries. For such queries, traditional sampling techniques may not be applicable due to the complexity of the filter preventing sampling over joins, and sampling after the join may not be feasible due to the cost of computing the full join. The other natural approach of training and using an inexpensive classifier to estimate the count instead of the expensive predicate suffers from the difficulties in training a good classifier and giving meaningful confidence intervals. In this paper we propose a new method of learning to sample where we combine the best of both worlds by using sampling in two phases. First, we use samples to learn a probabilistic classifier, and then use the classifier to design a stratified sampling method to obtain the final estimates. We theoretically analyze algorithms for obtaining an optimal stratification, and compare our approach with a suite of natural alternatives like quantification learning, weighted and stratified sampling, and other techniques from the literature. We also provide extensive experiments in diverse use cases using multiple real and synthetic datasets to evaluate the quality, efficiency, and robustness of our approach.


title: Building a Benchmark Dataset and Classifiers for Sentence-Level Findings in AP Chest X-rays

abstract: Chest X-rays are the most common diagnostic exams in emergency rooms and hospitals. There has been a surge of work on automatic interpretation of chest X-rays using deep learning approaches after the availability of large open source chest X-ray dataset from NIH. However, the labels are not sufficiently rich and descriptive for training classification tools. Further, it does not adequately address the findings seen in Chest X-rays taken in anterior-posterior (AP) view which also depict the placement of devices such as central vascular lines and tubes. In this paper, we present a new chest X-ray benchmark database of 73 rich sentence-level descriptors of findings seen in AP chest X-rays. We describe our method of obtaining these findings through a semi-automated ground truth generation process from crowdsourcing of clinician annotations. We also present results of building classifiers for these findings that show that such higher granularity labels can also be learned through the framework of deep learning classifiers.


title: Semileptonic and leptonic B decay results from early Belle II data

abstract: The Belle II experiment at the SuperKEKB energy-asymmetric $e^+e^-$ collider is a substantial upgrade of the B factory facility at the Japanese KEK laboratory. The design luminosity of the machine is $8\times10^{35}\, \mathrm{cm}^{-2}\mathrm{s}^{-1}$ and the Belle II experiment aims to record $50\, \mathrm{ab}^{-1}$ of data, a factor of 50 more than its predecessor. From February to July 2018, SuperKEKB has completed a commissioning run, achieved a peak luminosity of $5.5 \times 10^{33}\, \mathrm{cm}^{-2}\mathrm{s}^{-1}$, and Belle II recorded a data sample of about $0.5\, \mathrm{fb}^{-1}$. In this presentation we show first results from studying missing energy signatures, such as leptonic and semileptonic B meson decays based on this early Belle II data. We report first studies on re-measuring important standard candle processes, such as the abundant inclusive $B\rightarrow X l \nu$ and $B\to D^*\ell\nu$ decays, and evaluate the performance of machine learning-based tagging algorithms. Furthermore, we also present an overview of the semileptonic B decays that will be measured in the upcoming years at Belle II and discuss prospects for important B-anomalies like R$(D)$ and R$(D^*)$, as well as other tests of lepton flavor universality.


title: G-PATE: Scalable Differentially Private Data Generator via Private Aggregation of Teacher Discriminators

abstract: Recent advances in machine learning have largely benefited from the massive accessible training data. However, large-scale data sharing has raised great privacy concerns. In this work, we propose a novel privacy-preserving data Generative model based on the PATE framework (G-PATE), aiming to train a scalable differentially private data generator that preserves high generated data utility. Our approach leverages generative adversarial nets to generate data, combined with private aggregation among different discriminators to ensure strong privacy guarantees. Compared to existing approaches, G-PATE significantly improves the use of privacy budgets. In particular, we train a student data generator with an ensemble of teacher discriminators and propose a novel private gradient aggregation mechanism to ensure differential privacy on all information that flows from teacher discriminators to the student generator. In addition, with random projection and gradient discretization, the proposed gradient aggregation mechanism is able to effectively deal with high-dimensional gradient vectors. Theoretically, we prove that G-PATE ensures differential privacy for the data generator. Empirically, we demonstrate the superiority of G-PATE over prior work through extensive experiments. We show that G-PATE is the first work being able to generate high-dimensional image data with high data utility under limited privacy budgets ($\epsilon \le 1$). Our code is available at https://github.com/AI-secure/G-PATE.


title: Self-Oscillating Capacitive Wireless Power Transfer with Robust Operation

abstract: We show that a capacitive wireless power transfer device can be designed as a self-oscillating circuit using operational amplifiers. As the load and the capacitive wireless channels are part of the feedback circuit of the oscillator, the wireless power transfer can self-adjust to the optimal condition under the change of the load resistance and the transfer distance. We have theoretically analyzed and experimentally demonstrated the proposed design. The results show that the operation is robust against changes of various parameters, including the load resistance.


title: Leveraging Reinforcement Learning Techniques for Effective Policy Adoption and Validation

abstract: Rewards and punishments in different forms are pervasive and present in a wide variety of decision-making scenarios. By observing the outcome of a sufficient number of repeated trials, one would gradually learn the value and usefulness of a particular policy or strategy. However, in a given environment, the outcomes resulting from different trials are subject to chance influence and variations. In learning about the usefulness of a given policy, significant costs are involved in systematically undertaking the sequential trials; therefore, in most learning episodes, one would wish to keep the cost within bounds by adopting learning stopping rules. In this paper, we examine the deployment of different stopping strategies in given learning environments which vary from highly stringent for mission critical operations to highly tolerant for non-mission critical operations, and emphasis is placed on the former with particular application to aviation safety. In policy evaluation, two sequential phases of learning are identified, and we describe the outcomes variations using a probabilistic model, with closedform expressions obtained for the key measures of performance. Decision rules that map the trial observations to policy choices are also formulated. In addition, simulation experiments are performed, which corroborate the validity of the theoretical results.


title: A combinatorial study of affine Schubert varieties in affine Grassmannian

abstract: Let $\overline{\mathtt{X}}_\lambda$ be the closure of the $\mathtt{I}$-orbit $\mathtt{X}_\lambda$ in the affine Grassmanian $\mathtt{Gr}$ of a simple algebraic group $G$ of adjoint type, where $\mathtt{I}$ is the Iwahori group and $\lambda$ is a coweight of $G$. We find a simple algorithm which describes the set $\Psi(\lambda)$ of all $\mathtt{I}$-orbits in $\overline{\mathtt{X}}_\lambda$ in terms of coweights. We introduce $R$-operators (associated to positive roots) on the coweight lattice of $G$, which exactly describe the closure relation of $\mathtt{I}$-orbits. These operators satisfy Braid relations generically on the coweight lattice. We also establish a duality between the set $\Psi(\lambda)$ and the weight system of the level one affine Demazure module $\hat{\mathscr{D}}_\lambda$ of $^L\tilde{\mathfrak{g}}$ indexed by $\lambda$, where $^L\tilde{\mathfrak{g}}$ is the affine Kac-Moody algebra dual to the affine Kac-Moody Lie algebra $\tilde{\mathfrak{g}}$ associated to the Lie algebra $\mathfrak{g}$ of $G$.


title: Gaussian Process-Based Refinement of Dispersion Corrections

abstract: We employ Gaussian process (GP) regression to adjust for systematic errors in D3-type dispersion corrections introducing the associated, statistically improved model D3-GP. We generated a data set containing interaction energies for 1,248 molecular dimers, which resemble the dispersion-dominated systems contained in the S66 data set. Our systems do not only represent equilibrium structures, but also dimers with various relative orientations and conformations at both shorter and longer distances. To train our D3-GP model, we engineered two different vectorial representations of (supra-)molecular systems, both derived from the matrix of atom-pairwise D3(BJ) interaction terms: (a) a distance-resolved interaction energy histogram and (b) eigenvalues of the interaction matrix ordered according to their decreasing absolute value. We harness the prediction variance obtained from GP regression to select optimal training sets in an automated fashion. The larger the variance, the more information the corresponding data point may add to the training set. For a given set of molecular systems, variance-based sampling can approximately determine the smallest subset being subjected to reference calculations such that all dispersion corrections for the remaining systems fall below a predefined accuracy threshold. Our refined learning algorithm selects multiple (instead of single) systems which can be subjected to reference calculations simultaneously. We refer to the underlying selection strategy as batch-wise variance-based sampling (BVS). BVS-guided active learning is an essential component of our D3-GP workflow, which is implemented in a black-box fashion. This approach leads overall to a self-improving model (D3-GP) that predicts system-focused and GP-refined D3-type dispersion corrections for any given system of reference data.

categories: physics.chem-ph cond-mat.mtrl-sci physics.comp-ph physics.data-an


title: On quantum $K$-groups of partial flag manifolds

abstract: We show that the equivariant small quantum $K$-group of a partial flag manifold is a quotient of that of the full flag manifold as a based ring. This yields a variant of the $K$-theoretic analogue of the parabolic version of Peterson's theorem [Lam-Shimozono, Acta Math. {\bf 204} (2010)] that exhibits different shape from the case of quantum cohomology. This note can be seen as an addendum to [K, arXiv:1805.01718 and arXiv:1810.07106].


title: Underpinnings of User-Channel Allocation in Non-Orthogonal Multiple Access for 5G

abstract: Non-orthogonal multiple access (NOMA) is a part of 5th generation (5G) communication systems. This article presents the underpinnings and underlying structures of the problem of NOMA user-channel allocation. Unlike the heuristics for NOMA user-channel allocation, the presented results are guaranteed to converge to a solution. In addition, the solutions are stable. Generally, the results apply to any NOMA system. Unlike the orthogonal frequency division multiple access (OFDMA) resource allocation problem, the core matching is not the solution to NOMA resource allocation. The conditions under which the fix-point NOMA resource allocation is guaranteed to be stable from the viewpoint of both the base station and the NOMA users are described. In addition, relationships of NOMA user-channel resource allocation to game models and subgame perfect Nash equilibria are elucidated.


title: Subsystem complexity in warped AdS

abstract: We compute the ultraviolet divergences of holographic subregion complexity for the left and right factors of the thermofield double state in warped AdS$_3$ black holes, both for the action and the volume conjectures. Besides the linear divergences, which are also present in the BTZ black hole, additional logarithmic divergences appear. For the action conjecture, these log divergences are not affected by the arbitrarity in the length scale associated with the counterterm needed to ensure reparameterization invariance. We find that the subregion action complexity obeys the superadditivity property for the thermofield double in warped AdS$_3$, independently from the action counterterm coefficient. We study the temperature dependence of subregion complexity at constant angular momentum and we find that it is correlated with the sign of the specific heat.


title: The Fate of Dense Scalar Stars

abstract: Long-lived pseudo-solitonic objects, known as oscillons/oscillatons, which we collectively call real scalar stars, are ubiquitous in early Universe cosmology of scalar field theories. Typical examples are axions stars and moduli stars. Using numerical simulations in full general relativity to include the effects of gravity, we study the fate of real scalar stars and find that depending on the scalar potential they are either meta-stable or collapse to black holes. In particular we find that for KKLT potentials the configurations are meta-stable despite the asymmetry of the potential, consistently with the results from lattice simulations that do not include gravitational effects. For $\alpha$-attractor potentials collapse to black holes is possible in a region of the parameter space where scalar stars would instead seem to be meta-stable or even disperse without including gravity. Each case gives rise to different cosmological implications which may affect the stochastic spectrum of gravitational waves.


title: Logarithmic asymptotics for probability of component-wise ruin in a two-dimensional Brownian model

abstract: We consider a two-dimensional ruin problem where the surplus process of business lines is modelled by a two-dimensional correlated Brownian motion with drift. We study the ruin function $P(u)$ for the component-wise ruin (that is both business lines are ruined in an infinite-time horizon), where $u$ is the same initial capital for each line. We measure the goodness of the business by analysing the adjustment coefficient, that is the limit of $-\ln P(u)/u$ as $u$ tends to infinity, which depends essentially on the correlation $\rho$ of the two surplus processes. In order to work out the adjustment coefficient we solve a two-layer optimization problem.


title: Holographic QCD predictions for rare B decays

abstract: Light-front wavefunctions obtained from holographic light-front QCD are used to obtain the distributions amplitudes for $K^*$ vector meson. Consequently, alternate predictions for rare B transitions to $K^*$ form factors are presented. In this talk, I compare our results for some rare B decay channels to those obtained from QCD sum rules and available experimental data.


title: Minimal coarse-grained models for molecular self-organisation in biology

abstract: The molecular machinery of life is largely created via self-organisation of individual molecules into functional assemblies. Minimal coarse-grained models, where a whole macromolecule is represented by a small number of particles, can be of great value in identifying the main driving forces behind self-organisation in cell biology. Such models can incorporate data from both molecular and continuum scales, and their results can be directly compared to experiments. Here we review the state of the art of models for studying the formation and biological function of macromolecular assemblies in cells. We outline the key ingredients of each model and their main findings. We illustrate the contribution of this class of simulations to identifying the physical mechanisms behind life and diseases, and discuss their future developments.


title: Uncertainty in the Predictive Capability of Detectors that Process Waveforms from Explosions

abstract: Explosions near ground generate multiple geophysical waveforms in the radiation-dominated range of their signature fields. Multi-phenomological explosion monitoring (MultiPEM) at these ranges requires the predictive capability to forecast trigger rates of digital detectors that process such waveform data, and thereby accurately anticipate the probability that hypothetical explosions can be identified in operations. To confront this challenge, we derive and compare the predicted and observed performance of three digital detectors that process radio, acoustic and seismic waveform data that record a small, aboveground explosion. We measure this comparison with the peak range in magnitude (magnitude discrepancy) over which different performance curves report the same probability of detection, within an interval of moderate detection probability, and thereby quantify solutions to three topical monitoring questions. In particular, our solutions (1) demonstrate how empirically parameterized detectors that operate in a variable noisy environments provide fair-to-very good forecasting capability to detect small explosions, (2) show that the observed performance of a particular waveform detector can better forecast performance curves constructed from different observations, when compared to theoretical performance curves, and (3) provide an upper bound on detection uncertainty, in terms of a physical source attribute (magnitude)


title: Neutrino flavor oscillations and spin rotation in matter and electromagnetic field

abstract: We obtain a relativistically covariant wave equation for neutrinos in dense matter and electromagnetic field, which describes both flavor oscillations and neutrino spin rotation. Using this equation we construct a quasi-classical theory of these phenomena. We obtain the probabilities of arbitrary spin-flavor transitions assuming the external conditions to be constant. We demonstrate that the resonance behavior of the transition probabilities is possible only when the neutrino flavor states cannot be described as superpositions of the mass eigenstates. We discover that a resonance, which is similar to the Mikheev-Smirnov-Wolfenstein resonance, takes place for neutrinos in magnetic field due to the transition magnetic moments. This resonance gives an opportunity to determine, whether neutrinos are Dirac or Majorana particles.


title: Discovery of the first Ca-bearing molecule in space: CaNC

abstract: We report on the detection of calcium isocyanide, CaNC, in the carbon-rich evolved star IRC+10216. We derived a column density for this species of (2.0$\pm$0.5)$\times$10$^{11}$ cm$^{-2}$. Based on the observed line profiles and the modelling of its emission through the envelope, the molecule has to be produced in the intermediate and outer layers of the circumstellar envelope where other metal-isocyanides have previously been found in this source. The abundance ratio of CaNC relative to MgNC and FeCN is $\simeq$1/60 and $\simeq$1, respectively. We searched for the species CaF, CaCl, CaC, CaCCH, and CaCH$_3$ for which accurate frequency predictions are available. Only upper limits have been obtained for these molecules.


title: Suboptimal Provision of Privacy and Statistical Accuracy When They are Public Goods

abstract: With vast databases at their disposal, private tech companies can compete with public statistical agencies to provide population statistics. However, private companies face different incentives to provide high-quality statistics and to protect the privacy of the people whose data are used. When both privacy protection and statistical accuracy are public goods, private providers tend to produce at least one suboptimally, but it is not clear which. We model a firm that publishes statistics under a guarantee of differential privacy. We prove that provision by the private firm results in inefficiently low data quality in this framework.


title: Boosting the rule-out accuracy of deep disease detection using class weight modifiers

abstract: In many screening applications, the primary goal of a radiologist or assisting artificial intelligence is to rule out certain findings. The classifiers built for such applications are often trained on large datasets that derive labels from clinical notes written for patients. While the quality of the positive findings described in these notes is often reliable, lack of the mention of a finding does not always rule out the presence of it. This happens because radiologists comment on the patient in the context of the exam, for example focusing on trauma as opposed to chronic disease at emergency rooms. However, this disease finding ambiguity can affect the performance of algorithms. Hence it is critical to model the ambiguity during training. We propose a scheme to apply reasonable class weight modifiers to our loss function for the no mention cases during training. We experiment with two different deep neural network architectures and show that the proposed method results in a large improvement in the performance of the classifiers, specially on negated findings. The baseline performance of a custom-made dilated block network proposed in this paper shows an improvement in comparison with baseline DenseNet-201, while both architectures benefit from the new proposed loss function weighting scheme. Over 200,000 chest X-ray images and three highly common diseases, along with their negated counterparts, are included in this study.


title: An Incentive Security Model to Provide Fairness for Peer-to-Peer Networks

abstract: Peer-to-Peer networks are designed to rely on resources of their own users. Therefore, resource management plays an important role in P2P protocols. Therefore, resource management plays an important role in P2P protocols. Early P2P networks did not use proper mechanisms to manage fairness. However, after seeing difficulties and rise of freeloaders in networks like Gnutella, the importance of providing fairness for users have become apparent. In this paper, we propose an incentive based security model which leads to a network infrastructure that lightens the work of Seeders and makes Leechers to contribute more. This method is able to prevent betrayals in Leecher-to-Leecher transactions and more importantly, helps Seeders to be treated more fairly. This is what other incentive methods such as Bittorrent are incapable of doing. Additionally, by getting help from cryptography and combining it with our method, it is also possible to achieve secure channels, immune to spying, next to a fair network. The simulation results clearly show that how our proposed approach can overcome free-riding issue. In addition, our findings revealed that our approach is able to provide an appropriate level of fairness for the users and can decrease the download time.


title: Unsupervised Ensemble Classification with Sequential and Networked Data

abstract: Ensemble learning, the machine learning paradigm where multiple algorithms are combined, has exhibited promising perfomance in a variety of tasks. The present work focuses on unsupervised ensemble classification. The term unsupervised refers to the ensemble combiner who has no knowledge of the ground-truth labels that each classifier has been trained on. While most prior works on unsupervised ensemble classification are designed for independent and identically distributed (i.i.d.) data, the present work introduces an unsupervised scheme for learning from ensembles of classifiers in the presence of data dependencies. Two types of data dependencies are considered: sequential data and networked data whose dependencies are captured by a graph. Moment matching and Expectation Maximization algorithms are developed for the aforementioned cases, and their performance is evaluated on synthetic and real datasets.


title: Diversifying Seeds and Audience in Social Influence Maximization

abstract: Influence maximization (IM) has been extensively studied for better viral marketing. However, previous works put less emphasis on how balancedly the audience are affected across different communities and how diversely the seed nodes are selected. In this paper, we incorporate audience diversity and seed diversity into the IM task. From the model perspective, in order to characterize both influence spread and diversity in our objective function, we adopt three commonly used utilities in economics (i.e., Perfect Substitutes, Perfect Complements and Cobb-Douglas). We validate our choices of these three functions by showing their nice properties. From the algorithmic perspective, we present various approximation strategies to maximize the utilities. In audience diversification, we propose a solution-dependent approximation algorithm to circumvent the hardness results. In seed diversification, we prove a ($1/e-\epsilon$) approximation ratio based on non-monotonic submodular maximization. Experimental results show that our framework outperforms other natural heuristics both in utility maximization and result diversification.


title: Detection of Myocardial Infarction Based on Novel Deep Transfer Learning Methods for Urban Healthcare in Smart Cities

abstract: . In this paper, an effective computer-aided diagnosis (CAD) system is presented to detect MI signals using the convolution neural network (CNN) for urban healthcare in smart cities. Two types of transfer learning techniques are employed to retrain the pre-trained VGG-Net (Fine-tuning and VGG-Net as fixed feature extractor) and obtained two new networks VGG-MI1 and VGG-MI2. In the VGG-MI1 model, the last layer of the VGG-Net model is replaced with a specific layer according to our requirements and various functions are optimized to reduce overfitting. In the VGG-MI2 model, one layer of the VGG-Net model is selected as a feature descriptor of the ECG images to describe it with informative features. Considering the limited availability of dataset, ECG data is augmented which has increased the classification performance. Physikalisch-technische bundesanstalt (PTB) Diagnostic ECG database is used for experimentation, which has been widely employed in MI detection studies. In case of using VGG-MI1, we achieved an accuracy, sensitivity, and specificity of 99.02%, 98.76%, and 99.17%, respectively and we achieved an accuracy of 99.22%, a sensitivity of 99.15%, and a specificity of 99.49% with VGG-MI2 model. Experimental results validate the efficiency of the proposed system in terms of accuracy sensitivity, and specificity.


title: Multitaper Analysis of Evolutionary Spectra from Multivariate Spiking Observations

abstract: Extracting the spectral representations of the neural processes that underlie spiking activity is key to understanding how the brain rhythms mediate cognitive functions. While spectral estimation of continuous time-series is well studied, inferring the spectral representation of latent non-stationary processes based on spiking observations is a challenging problem. In this paper, we address this issue by developing a multitaper spectral estimation methodology that can be directly applied to multivariate spiking observations in order to extract the evolutionary spectral density of the latent non-stationary processes that drive spiking activity, based on point process theory. We establish theoretical bounds on the bias-variance trade-off of the proposed estimator. Finally, we compare the performance of our proposed technique with existing methods using simulation studies and application to real data, which reveal significant gains in terms of the bias-variance trade-off.


title: Scalable Bayesian dynamic covariance modeling with variational Wishart and inverse Wishart processes

abstract: We implement gradient-based variational inference routines for Wishart and inverse Wishart processes, which we apply as Bayesian models for the dynamic, heteroskedastic covariance matrix of a multivariate time series. The Wishart and inverse Wishart processes are constructed from i.i.d. Gaussian processes, existing variational inference algorithms for which form the basis of our approach. These methods are easy to implement as a black-box and scale favorably with the length of the time series, however, they fail in the case of the Wishart process, an issue we resolve with a simple modification into an additive white noise parameterization of the model. This modification is also key to implementing a factored variant of the construction, allowing inference to additionally scale to high-dimensional covariance matrices. Through experimentation, we demonstrate that some (but not all) model variants outperform multivariate GARCH when forecasting the covariances of returns on financial instruments.


title: Memory Effect in Anti-de Sitter Spacetime

abstract: The geodesic deviation of a pair of test particles is an natural observable for the gravitational memory effect. Nevertheless in curved spacetime, this observable is plagued with various issues that need to be clarified before one can extract the essential part that is related to the gravitational radiation. In this paper we consider the Anti deSitter space as an example and analyze this observable carefully. We show that by employing the Fermi Normal Coordinates around the geodesic of one of the particles, one can elegantly separate out the curvature contribution of the background spacetime to the geodesic deviation from the contribution of the gravitational wave. The gravitational wave memory obtained this way depends linearly and locally on the retarded metric perturbation caused by the gravitational wave, and, remarkably, it takes on exactly the same formula (1) as in the flat case. To determine the memory, in addition to the standard tail contribution to the gravitational radiation, one need to take into account of the contribution from the reflected gravitational wave off the AdS boundary. For general curved spacetime, our analysis suggests that the use of a certain coordinate system adapted to the local geodesic (e.g. the Fermi normal coordinates system in the AdS case) would allow one to dissect the geodesic deviation of test particles and extract the relevant contribution to define the memory due to gravitational radiation.


title: Random Finite Noncommutative Geometries and Topological Recursion

abstract: In this paper we investigate a model for quantum gravity on finite noncommutative spaces using the theory of blobbed topological recursion. The model is based on a particular class of random finite real spectral triples ${(\mathcal{A}, \mathcal{H}, D , \gamma , J) \,}$, called random matrix geometries of type ${(1,0) \,}$, with a fixed fermion space ${(\mathcal{A}, \mathcal{H}, \gamma , J) \,}$, and a distribution of the form ${e^{- \mathcal{S} (D)} {\mathop{}\!\mathrm{d}} D}$ over the moduli space of Dirac operators. The action functional ${\mathcal{S} (D)}$ is considered to be a sum of terms of the form ${\prod_{i=1}^s \mathrm{Tr} \left( {D^{n_i}} \right)}$ for arbitrary ${s \geqslant 1 \,}$. The Schwinger-Dyson equations satisfied by the connected correlators ${W_n}$ of the corresponding multi-trace formal 1-Hermitian matrix model are derived by a differential geometric approach. It is shown that the coefficients ${W_{g,n}}$ of the large $N$ expansion of ${W_n}$'s enumerate discrete surfaces, called stuffed maps, whose building blocks are of particular topologies. The spectral curve ${\left( {\Sigma , \omega_{0,1} , \omega_{0,2}} \right)}$ of the model is investigated in detail. In particular, we derive an explicit expression for the fundamental symmetric bidifferential ${\omega_{0,2}}$ in terms of the formal parameters of the model.


title: Measurement of away-side broadening with self-subtraction of flow in Au+Au collisions at $\sqrt{s_{_\mathrm{NN}}}=200$ GeV

abstract: High transverse momentum ($p_T$) particle production is suppressed due to parton (jet) energy loss in the hot dense medium created in relativistic heavy-ion collisions. Redistribution of energy at low-to-modest $p_T$ has been elusive to measure because of large anisotropic backgrounds. We report a data-driven method for background evaluation and subtraction, exploiting the away-side pseudorapidity gaps, to measure the jetlike correlation shape in Au+Au collisions at $\sqrt{s_{_\mathrm{NN}}}=200$ GeV with the STAR experiment. The correlation shapes, for trigger particle $p_T>3$ GeV/$c$ and various associated particle $p_T$ ranges within $0.5<p_T<10$ GeV/$c$, are consistent with Gaussians and their widths are found to increase with centrality. The results indicate jet broadening in the medium created in central heavy-ion collisions.


title: Charged black holes with Yang-Mills hair and their thermodynamics

abstract: We present a new class of the black hole solutions of Einstein-Maxwell-Yang-Mills theory. These solutions have both U(1) charge and Yang-Mills hair. We also investigate the thermodynamic properties.


title: Quantitative evaluation of regulatory policies for reducing deforestation using the bent-cable regression model

abstract: Reducing and redressing the effects of deforestation is a complex public policy challenge, and evaluating the efficacy of such policy efforts is crucial for policy learning and adaptation. Deforestation in high-income nations can contribute substantially to global forest loss, despite the presence of strong institutions and high policy capacity. In Queensland, Australia, over 5 million hectares of native forest has been lost since 1988. Successive regulatory policies have aimed to reduce deforestation in Queensland, though debate exists over their effect given the influence of other drivers of forest loss. Using a hierarchical Bayesian statistical framework, we combine satellite imagery of forest loss with macroeconomic, land tenure, biophysical and climatic variables to collectively model deforestation for 50 local government areas (LGAs) across Queensland. We apply the spatially explicit bent-cable regression model to detect trend change that may signal a regulatory policy effect. We find that annual % growth in GDP was the only clear driver of LGA-specific deforestation after adjusting for other covariate effects. Our model shows strong evidence of spatial contagion in deforestation across Queensland, and this effect is influenced by the dominant land tenure type within each LGA. We find our model exhibits a "bend" mostly between 2000 and 2007, consistent with expectations, but the signal is not particularly strong due extreme variation in deforestation trends between and within LGAs. Our results demonstrate that the bent-cable model is a promising technique for detecting system changes in response to policy interventions, but future work should be conducted at a national scale to provide more data points, and incorporate more LGA-specific data to improve model goodness-of-fit.


title: Si-incorporated amorphous indium oxide thin-film transistors

abstract: Amorphous oxide semiconductors, especially indium oxide-based (InOx) thin-films, have been major candidates for high mobility with easy-to-use device processability. As one of the dopants in InOx semiconductors, we proposed Si to design a thin-film transistor (TFT) channel. Because the suppression of unstable oxygen vacancies in InOx is crucial to maintaining the semiconducting behavior, Si was selected as a strong oxygen binder that is reasonably available for large production. In this review, we focus on the overall properties observed in Si-incorporated amorphous InOx TFTs in terms of bond-dissociation energy, Gibbs free energy, Si-concentration dependence of TFT properties, carrier transport mechanism, and bias stress instability. In comparing low and high doping densities, we found that the activation energy and density of states decreased at a high Si concentration in InOx TFTs, implying that the trap density was reduced. As a result, stable operation under bias stresses could be realized. Furthermore, the inverse Meyer-Neldel rule was observed in the highly Si-doped InOx TFT, indicating reasonable ohmic contact. Based on our fundamental knowledge of the Si-doped InOx film, we developed a high-mobility bilayer TFT with a homogeneous stacked channel that was different from a TFT with an etch stop layer structure. The TFT showed remarkably stable operation. With simple element components based on InOx, it is possible to systematically discuss vacancy engineering in terms of conduction properties.


title: Trivalent dihedrants and bi-dihedrants

abstract: A Cayley (resp. bi-Cayley) graph on a dihedral group is called a {\em dihedrant} (resp. {\em bi-dihedrant}). In 2000, a classification of trivalent arc-transitive dihedrants was given by Maru\v si\v c and Pisanski, and several years later, trivalent non-arc-transitive dihedrants of order $4p$ or $8p$ $(p$ a prime) were classified by Feng et al. As a generalization of these results, our first result presents a classification of trivalent non-arc-transitive dihedrants. Using this, a complete classification of trivalent vertex-transitive non-Cayley bi-dihedrants is given, thus completing the study of trivalent bi-dihedrants initiated in our previous paper [Discrete Math. 340 (2017) 1757--1772]. As a by-product, we generalize a theorem in [The Electronic Journal of Combinatorics 19 (2012) $\#$P53].


title: Dehn functions of mapping tori of right-angled Artin groups

abstract: The algebraic mapping torus $M_{\Phi}$ of a group $G$ with an automorphism $\Phi$ is the HNN-extension of $G$ in which conjugation by the stable letter performs $\Phi$. We classify the Dehn functions of $M_{\Phi}$ in terms of $\Phi$ for a number of right-angled Artin groups $G$, including all $3$-generator right-angled Artin groups and $F_k \times F_l$ for all $k,l \geq 2$.


title: Convergence of thermodynamic quantities and work fluctuation theorems in presence of random protocols

abstract: Recently many results namely the Fluctuation theorems (FT), have been discovered for systems arbitrarily away from equilibrium. Many of these relations have been experimentally tested. The system under consideration is usually driven out of equilibrium by an external time-dependent parameter which follows a particular {\it protocol}. One needs to perform several iterations of the same experiment in order to find statistically relevant results. Since the systems are microscopic, fluctuations dominate. Studying the convergence of relevant thermodynamics quantities with number of realizations is also important as it gives a rough estimate of number of iterations one needs to perform. In each iteration the protocol follows a predetermined {\it identical/fixed} form. However, the protocol itself may be prone to fluctuations. In this work we are interested in looking at a simple non-equilibrium system namely a Brownian particle trapped in a harmonic potential. The center of the trap is then dragged according to a protocol. We however lift the condition of fixed protocol. In our case the protocol in each realization is different. We consider one of the parameters of the protocol as a random variable, chosen from some known distribution. We study the systems analytically as well as numerically. We specifically study the convergence of the average work and free energy difference with number of realizations. Interestingly, in several cases, randomness in the protocol does not seem to affect the convergence when compared to fixed protocol results. We study symmetry functions. A Brownian particle in a double well potential is also studied numerically. We believe that our results can be experimentally verified.


title: Strong Bisimulation for Control Operators

abstract: The purpose of this paper is to identify programs with control operators whose reduction semantics are in exact correspondence. This is achieved by introducing a relation $\simeq$, defined over a revised presentation of Parigot's $\lambda\mu$-calculus we dub $\Lambda M$. Our result builds on two fundamental ingredients: (1) factorization of $\lambda\mu$-reduction into multiplicative and exponential steps by means of explicit term operators of $\Lambda M$, and (2) translation of $\Lambda M$-terms into Laurent's polarized proof-nets (PPN) such that cut-elimination in PPN simulates our calculus. Our proposed relation $\simeq$ is shown to characterize structural equivalence in PPN. Most notably, $\simeq$ is shown to be a strong bisimulation with respect to reduction in $\Lambda M$, i.e. two $\simeq$-equivalent terms have the exact same reduction semantics, a result which fails for Regnier's $\sigma$-equivalence in $\lambda$-calculus as well as for Laurent's $\sigma$-equivalence in $\lambda\mu$.


title: Wind Gust Detection using Physical Sensors in Quadcopters

abstract: We propose the use of basic inertial measurement units (IMU) which contain sensors such as accelerometers and gyroscopes already on-board drones to detect the speed and direction of wind gusts. The ability to quickly sense wind gusts has many applications, the most notable of which is in flight assistance of the drone, where it may adjust motor power parameter to compensate for such external factors or steer the drone toward a safer direction. To illustrate the feasibility of the approach, we conducted studies to assess how reliably wind speed and wind direction can be detected while a quad-copter drone is hovering and then in-motion, using off-the-shelf classifiers. Empirical results with real-life data, collected on a micro aerial vehicle (MAV) in a physical room with a consumer-grade fan, show that (1.1) wind speed can be detected with high accuracy after training, not only on the same drone, but also across different drones of the same class, while (1.2) wind direction can be detected with high accuracy after training on the same drone, but with limited generalizability to other drones. (1.3) We demonstrate how real-time detection of wind speed, using offline trained models, is feasible and can be done with high accuracy. (2.1) Finally, we find the reason behind the lower accuracy for wind direction detection during the analysis of drones in-motion.


title: Collective Mobile Sequential Recommendation: A Recommender System for Multiple Taxicabs

abstract: Mobile sequential recommendation was originally designed to find a promising route for a single taxicab. Directly applying it for multiple taxicabs may cause an excessive overlap of recommended routes. The multi-taxicab recommendation problem is challenging and has been less studied. In this paper, we first formalize a collective mobile sequential recommendation problem based on a classic mathematical model, which characterizes time-varying influence among competing taxicabs. Next, we propose a new evaluation metric for a collection of taxicab routes aimed to minimize the sum of potential travel time. We then develop an efficient algorithm to calculate the metric and design a greedy recommendation method to approximate the solution. Finally, numerical experiments show the superiority of our methods. In trace-driven simulation, the set of routes recommended by our method significantly outperforms those obtained by conventional methods.


title: Jumping Spectra and Vanishing Couplings in Heterotic Line Bundle Standard Models

abstract: We study two aspects of the physics of heterotic Line Bundle Standard Models on smooth Calabi-Yau threefolds. First, we investigate to what degree modern moduli stabilization scenarios can affect the standard model spectrum in such compactifications. Specifically, we look at the case where some of the complex structure moduli are fixed by a choice of hidden sector bundle. In this context, we study the frequency with which the system tends to be forced to a point in moduli space where the cohomology groups determining the spectrum in the standard model sector jump in dimension. Second, we investigate to what degree couplings, that are permitted by all of the obvious symmetries of the theory, actually vanish due to certain topological constraints associated to their higher dimensional origins. We find that both effects are prevalent within the data set of heterotic Line Bundle Standard Models studied.


title: Manifestation of a topological gapless phase in a two-dimensional chiral symmetric system through Loschmidt echo

abstract: Unlike the edge state of a topological insulator where its energy level lives in the bulk energy gap, the edge state of a topological semimetal hides in the bulk spectrum and is difficult to be identified by the energy. We investigate the sensitivity of bulk and edge states of the gapless phase for a topological semimetal to the disordered perturbation via a concrete two-dimensional chiral symmetric lattice model. The topological gapless phase is characterized by two opposite vortices in the momentum space and nonzero winding numbers, which correspond to the edge flatband when the open boundary condition is applied. For this system, numerical results reveal that a distinguishing feature is that the robustness of the edge states against weak disorder and the flatband edge modes remain locked at zero energy in the presence of weak chiral-symmetry-preserving disorder. We employ the Loschmidt echo (LE) for both bulk and edge states to study the dynamic effect of disordered perturbation. We show that, for an initial bulk state, the LE decays exponentially, whereas it converges to a constant for an initial edge state in the presence of weak disorder. Furthermore, the convergent LE can be utilized to identify the positions of vortices as well as the phase diagram. We discuss the realization of such dynamic investigations in a topological photonic system.


title: Effective Approximation for a Nonlocal Stochastic Schr\"{o}dinger Equation with Oscillating Potential

abstract: We study the effective approximation for a nonlocal stochastic Schrodinger equation with a rapidly oscillating, periodically time-dependent potential. We use the natural diffusive scaling of heterogeneous system and study the limit behaviour as the scaling parameter tends to 0. This is motivated by data assimilations with non-Gaussian uncertainties. The nonlocal operator in this stochastic partial differential equation is the generator of a non-Gaussian Levy-type process (i.e., a class of anomalous diffusion processes), with non-integrable jump kernel. With help of a two-scale convergence technique, we establish effective approximation for this nonlocal stochastic partial differential equation. More precisely, we show that a nonlocal stochastic Schrodinger equation has a nonlocal effective equation. We show that it approximates the orginal stochastic Schr\"{o}dinger equation weakly in a Sobolev-type space and strongly in $L^2$ space. In particular, this effective approximattion holds when the nonlocal operator is the fractional Laplacian.


title: Fusion rules from entanglement

abstract: We derive some of the axioms of the algebraic theory of anyon [A. Kitaev, Ann. Phys., 321, 2 (2006)] from a conjectured form of entanglement area law for two-dimensional gapped systems. We derive the fusion rules of topological charges and show that the multiplicities of the fusion rules satisfy these axioms. Moreover, even though we make no assumption about the exact value of the constant sub-leading term of the entanglement entropy of a disk-like region, this term is shown to be equal to $\ln \mathcal{D}$, where $\mathcal{D}$ is the total quantum dimension of the underlying anyon theory. These derivations are rigorous and follow from the entanglement area law alone. More precisely, our framework starts from two local entropic constraints, which are implied by the area law. From these constraints, we prove what we refer to as the "isomorphism theorem." The existence of superselection sectors and fusion multiplicities follows from this theorem, even without assuming anything about the parent Hamiltonian. These objects and the axioms of the anyon theory are shown to emerge from the structure and the internal self-consistency relations of the information convex sets.


title: On sequential maxima of exponential sample means, with an application to ruin probability

abstract: We obtain the distribution of the maximal average in a sequence of independent identically distributed exponential random variables. Surprisingly enough, it turns out that the inverse distribution admits a simple closed form. An application to ruin probability in a risk-theoretic model is also given.


title: Toy Model for Vortex Ring-Assisted Particle Drag in Superfluid Counterflow

abstract: The interpretation of data obtained from particle image/tracking velocimetry in the study of superfluid flows has been so far a challenging task. Tracking particles (as solid hydrogen or deuterium) are attracted to the cores of quantized vortices, so that their dynamics can be strongly affected by the surrounding vortex tangle. Previous phenomenological arguments indicate that tracking particles and micro-sized vortex rings could form bound states (denoted here as VRP states). While a comprehensive description of the vortex ring-particle bonding mechanism has to deal with somewhat involved flow configurations, we introduce a simplified two-dimensional model of VRP states, which captures essential qualitative features of their three-dimensional counterparts. Besides an account of known experimental and numerical observations, the model proves to be of great heuristic interest. In particular, it sheds light on the important role played by viscous dissipation (due to the normal component of the fluid), the Magnus force, and topologically-excited vortex rings in the stability and dynamics of VRP states.


title: Evaluating Computational Language Models with Scaling Properties of Natural Language

abstract: In this article, we evaluate computational models of natural language with respect to the universal statistical behaviors of natural language. Statistical mechanical analyses have revealed that natural language text is characterized by scaling properties, which quantify the global structure in the vocabulary population and the long memory of a text. We study whether five scaling properties (given by Zipf's law, Heaps' law, Ebeling's method, Taylor's law, and long-range correlation analysis) can serve for evaluation of computational models. Specifically, we test $n$-gram language models, a probabilistic context-free grammar (PCFG), language models based on Simon/Pitman-Yor processes, neural language models, and generative adversarial networks (GANs) for text generation. Our analysis reveals that language models based on recurrent neural networks (RNNs) with a gating mechanism (i.e., long short-term memory, LSTM; a gated recurrent unit, GRU; and quasi-recurrent neural networks, QRNNs) are the only computational models that can reproduce the long memory behavior of natural language. Furthermore, through comparison with recently proposed model-based evaluation methods, we find that the exponent of Taylor's law is a good indicator of model quality.


title: A Retrospective Recount of Computer Architecture Research with a Data-Driven Study of Over Four Decades of ISCA Publications

abstract: This study began with a research project, called DISCvR, conducted at the IBM-ILLINOIS Center for Cognitive Computing Systems Reseach. The goal of DISCvR was to build a practical NLP based AI pipeline for document understanding which will help us better understand the computation patterns and requirements of modern computing systems. While building such a prototype, an early use case came to us thanks to the 2017 IEEE/ACM International Symposium on Microarchitecture (MICRO-50) Program Co-chairs, Drs. Hillery Hunter and Jaime Moreno. They asked us if we can perform some data-driven analysis of the past 50 years of MICRO papers and show some interesting historical perspectives on MICRO's 50 years of publication. We learned two important lessons from that experience: (1) building an AI solution to truly understand unstructured data is hard in spite of the many claimed successes in natural language understanding; and (2) providing a data-driven perspective on computer architecture research is a very interesting and fun project. Recently we decided to conduct a more thorough study based on all past papers of International Symposium on Computer Architecture (ISCA) from 1973 to 2018, which resulted this article. We recognize that we have just scratched the surface of natural language understanding of unstructured data, and there are many more aspects that we can improve. But even with our current study, we felt there were enough interesting findings that may be worthwhile to share with the community. Hence we decided to write this article to summarize our findings so far based only on ISCA publications. Our hope is to generate further interests from the community in this topic, and we welcome collaboration from the community to deepen our understanding both of the computer architecture research and of the challenges of NLP-based AI solutions.


title: The Kernel Spatial Scan Statistic

abstract: Kulldorff's (1997) seminal paper on spatial scan statistics (SSS) has led to many methods considering different regions of interest, different statistical models, and different approximations while also having numerous applications in epidemiology, environmental monitoring, and homeland security. SSS provides a way to rigorously test for the existence of an anomaly and provide statistical guarantees as to how "anomalous" that anomaly is. However, these methods rely on defining specific regions where the spatial information a point contributes is limited to binary 0 or 1, of either inside or outside the region, while in reality anomalies will tend to follow smooth distributions with decaying density further from an epicenter. In this work, we propose a method that addresses this shortcoming through a continuous scan statistic that generalizes SSS by allowing the point contribution to be defined by a kernel. We provide extensive experimental and theoretical results that shows our methods can be computed efficiently while providing high statistical power for detecting anomalous regions.


title: A Halo Merger Tree Generation and Evaluation Framework

abstract: Semi-analytic models are best suited to compare galaxy formation and evolution theories with observations. These models rely heavily on halo merger trees, and their realistic features (i.e., no drastic changes on halo mass or jumps on physical locations). Our aim is to provide a new framework for halo merger tree generation that takes advantage of the results of large volume simulations, with a modest computational cost. We treat halo merger tree construction as a matrix generation problem, and propose a Generative Adversarial Network that learns to generate realistic halo merger trees. We evaluate our proposal on merger trees from the EAGLE simulation suite, and show the quality of the generated trees.


title: Baidu-UTS Submission to the EPIC-Kitchens Action Recognition Challenge 2019

abstract: In this report, we present the Baidu-UTS submission to the EPIC-Kitchens Action Recognition Challenge in CVPR 2019. This is the winning solution to this challenge. In this task, the goal is to predict verbs, nouns, and actions from the vocabulary for each video segment. The EPIC-Kitchens dataset contains various small objects, intense motion blur, and occlusions. It is challenging to locate and recognize the object that an actor interacts with. To address these problems, we utilize object detection features to guide the training of 3D Convolutional Neural Networks (CNN), which can significantly improve the accuracy of noun prediction. Specifically, we introduce a Gated Feature Aggregator module to learn from the clip feature and the object feature. This module can strengthen the interaction between the two kinds of activations and avoid gradient exploding. Experimental results demonstrate our approach outperforms other methods on both seen and unseen test set.


title: A Bandit Approach to Posterior Dialog Orchestration Under a Budget

abstract: Building multi-domain AI agents is a challenging task and an open problem in the area of AI. Within the domain of dialog, the ability to orchestrate multiple independently trained dialog agents, or skills, to create a unified system is of particular significance. In this work, we study the task of online posterior dialog orchestration, where we define posterior orchestration as the task of selecting a subset of skills which most appropriately answer a user input using features extracted from both the user input and the individual skills. To account for the various costs associated with extracting skill features, we consider online posterior orchestration under a skill execution budget. We formalize this setting as Context Attentive Bandit with Observations (CABO), a variant of context attentive bandits, and evaluate it on simulated non-conversational and proprietary conversational datasets.


title: Local spin polarization in high energy heavy ion collisions

abstract: We revisit the azimuthal angle dependence of the local spin polarization of hyperons in heavy-ion collisions at 200 GeV in the framework of the (3+1)D viscous hydrodynamic model CLVisc. Two different initial conditions are considered in our simulation: the optical Glauber initial condition without initial orbital angular momentum and the AMPT initial condition with an initial orbital angular momentum. We find that the azimuthal angle dependence of the hyperon polarization strongly depends on the choice of the so-called "spin chemical potential" $\Omega_{\mu\nu}$. With $\Omega_{\mu\nu}$ chosen to be proportional to the temperature vorticity, our simulation shows qualitatively coincidental results with the recent measurements at RHIC for both the longitudinal and transverse polarization. We argue that such a coincidence may be related to the fact that the temperature vorticity is approximately conserved in the hot quark-gluon matter.


title: Measurement of hadronic cross-sections with the BaBar detector

abstract: A program of measuring the light hadrons production in exclusive $e^+e^-$ to hadrons processes is in place at BaBar with the aim to improve the calculation of the hadronic contribution to the muon $g-2$. We present the most recent results obtained by using the full data set of about $514 \mathrm{fb}^{-1}$ collected by the BaBar experiment at the PEP-II $e^+e^-$ collider at a center-of-mass energy of about $10.6$ GeV. In particular, we report the results on the channels $e^+e^-\rightarrow \pi^+ \pi^- 3\pi^0$, $e^+e^-\rightarrow \pi^+\pi^- 2\pi^0\eta$, and its resonant sub-states. These final states are studied in a wide mass range,from threshold production up to about $4 GeV/c^2$. In addition to the cross-sections, twelve $J/\psi$ and $\psi(2S)$ branching fractions were measured with ten of them be a first-time measurement.


title: Quasi-two-body decays $B_{(s)} \to P D_0^*(2400) \to P D \pi$ in the perturbative QCD approach

abstract: We study the quasi-two-body decays $B\to P D^{\ast}_0(2400) \to P D\pi $ with $P=(\pi, K, \eta, \eta^{\prime})$ in the perturbative QCD factorization approach. The predicted branching fractions for the considered decays are in the range of $10^{-9}$-$10^{-4}$. The strong Cabibbo-Kobayashi-Maskawa (CKM) suppression factor $R_{CKM}\approx \lambda^4 (\bar{\rho}^2 + \bar{\eta}^2) \approx 3\times 10^{-4}$ results in the great difference of the branching ratios for the decays with $D_0^*$ and $\bar{D}_0^*$ as the intermediate states. The ratio $R_{\bar{D}_0^{*0}}$ between the decays $B^0 \to \bar{D}_0^{*0} K^0\to D^-\pi^+K^0$ and $B^0 \to \bar{D}_0^{*0}\pi^0 \to D^-\pi^+\pi^0$ is about $0.091^{+0.003}_{-0.005}$, consistent with the flavour-$SU$(3) symmetry result. The ratio for the branching fractions is found to be $1.10^{+0.05}_{-0.02}$ between $\mathcal{B}(B_s^0\to D_0^{*+}K^-\to D^0\pi^+K^-)$ and $\mathcal{B}(B^0\to D_0^{*+} \pi^-\to D^0\pi^+ \pi^-)$ and to be $1.03^{+0.06}_{-0.07}$ between $\mathcal{B}(B_s^0\to\bar{D}_0^{*0} \bar{K}^0\to D^-\pi^+ \bar{K}^0)$ and $2\mathcal{B}(B^0\to \bar{D}_0^{*0}\pi^0\to D^-\pi^+\pi^0)$. The predictions in this work can be tested by the future experiments.


title: Copula Density Estimation by Finite Mixture of Parametric Copula Densities

abstract: A Copula density estimation method that is based on a finite mixture of heterogeneous parametric copula densities is proposed here. More specifically, the mixture components are Clayton, Frank, Gumbel, T, and normal copula densities, which are capable of capturing lower tail,strong central, upper tail, heavy tail, and symmetrical elliptical dependence, respectively. The model parameters are estimated by an interior-point algorithm for the constrained maximum likelihood problem. The interior-point algorithm is compared with the commonly used EM algorithm. Simulation and real data application show that the proposed approach is effective to model complex dependencies for data in dimensions beyond two or three.


title: Range characterizations and Singular Value Decomposition of the geodesic X-ray transform on disks of constant curvature

abstract: For a one-parameter family of simple metrics of constant curvature ($4\kappa$ for $\kappa\in (-1,1)$) on the unit disk $M$, we first make explicit the Pestov-Uhlmann range characterization of the geodesic X-ray transform, by constructing a basis of functions making up its range and co-kernel. Such a range characterization also translates into moment conditions {\it \`a la} Helgason-Ludwig or Gel'fand-Graev. We then derive an explicit Singular Value Decomposition for the geodesic X-ray transform. Computations dictate a specific choice of weighted $L^2-L^2$ setting which is equivalent to the $L^2(M, dVol_\kappa)\to L^2(\partial_+ SM, d\Sigma^2)$ one for any $\kappa\in (-1,1)$.


title: ZOFI: Zero-Overhead Fault Injection Tool for Fast Transient Fault Coverage Analysis

abstract: The experimental evaluation of fault-tolerance studies relies on tools that inject errors while programs are running, and then monitor the execution and the output for faulty execution. In particular, the established methodology in software-based transient-fault reliability studies, involves running each workload hundreds or thousands of times, injecting a random bit-flip in the process. The majority of such studies rely on custom-built fault-injection tools that are based on either a modified processor simulator, or a code instrumentation framework. Such tools are non-trivial to develop, and are usually orders of magnitude slower than native execution. In this paper we present ZOFI, a novel timing-based fault-injection tool that is aimed at being used in fault-coverage studies for transient faults. ZOFI is a zero-overhead tool, meaning that the analyzed workload runs at native speed. This is orders-of-magnitude faster compared to common approaches that are designed around simulators or code instrumentation tools. ZOFI is free software and is available at https://github.com/vporpo/zofi.


title: Model Bridging: Connection between Simulation Model and Neural Network

abstract: The interpretability of machine learning, particularly for deep neural networks, is crucial for decision making in real-world applications. One approach is replacing the un-interpretable machine learning model with a surrogate model, which has a simple structure for interpretation. Another approach is understanding the target system by using a simulation modeled by human knowledge with interpretable simulation parameters. Recently, simulator calibration has been developed based on kernel mean embedding to estimate the simulation parameters as posterior distributions. Our idea is to use a simulation model as an interpretable surrogate model. However, the computational cost of simulator calibration is high owing to the complexity of the simulation model. Thus, we propose a ''model-bridging'' framework to bridge machine learning models with simulation models by a series of kernel mean embeddings to address these difficulties. The proposed framework enables us to obtain predictions and interpretable simulation parameters simultaneously without the computationally expensive calculations of the simulations. In this study, we apply the proposed framework to essential simulations in the manufacturing industry, such as production simulation and fluid dynamics simulation.


title: Prefix palindromic length of the Thue-Morse word

abstract: The prefix palindromic length $PPL_u(n)$ of an infinite word $u$ is the minimal number of concatenated palindromes needed to express the prefix of length $n$ of $u$. In a 2013 paper with Puzynina and Zamboni we stated the conjecture that $PPL_u(n)$ is unbounded for every infinite word $u$ which is not ultimately periodic. Up to now, the conjecture has been proven for almost all words, including all words avoiding some power $p$. However, even in that simple case the existing upper bound for the minimal number $n$ such that $PPL_u(n)>K$ is greater than any constant to the power $K$. Precise values of $PPL_u(n)$ are not known even for simplest examples like the Fibonacci word. In this paper, we give the first example of such a precise computation and compute the function of the prefix palindromic length of the Thue-Morse word, a famous test object for all functions on infinite words. It happens that this sequence is $2$-regular, which raises the question if this fact can be generalized to all automatic sequences.


title: Hot subdwarf stars observed in Gaia DR2 and LAMOST DR5

abstract: Combing Gaia DR2 with LAMOST DR5, we spectroscopically identified 924 hot subdwarf stars, among which 32 stars exhibit strong double-lined composite spectra. We measured the effective temperature $T_{\rm eff}$, surface gravity $\log\,g$, helium abundance $y=n{\rm He}/n{\rm H}$, and radial velocities of 892 non-composite spectra hot subdwarf stars by fitting LAMOST observations with Tlusty/Synspec non-LTE synthetic spectra. We outlined four different groups in the $T_{\rm eff}-\log\,g$ diagram with our helium abundance classification scheme and two nearly parallel sequences in the $T_{\rm eff}-\log(y)$ diagram. 3D Galactic space motions and orbits of 747 hot subdwarf stars with $(G_{BP}-G_{RP})_{0}<-0.36$ mag were computed using LAMOST radial velocities and Gaia parallaxes and proper motions. Based on the $U-V$ velocity diagram, $J_{z}-$eccentricity diagram, and Galactic orbits, we derived Galactic population classifications and the fractional distributions of the four hot subdwarf helium groups in the halo, thin disk and thick disk. Comparisons with the predictions of binary population synthesis calculations (Han 2008) suggest that He-rich hot subdwarf stars with $\log(y)\ge0$ are from the double helium white dwarfs merger, He-deficient hot subdwarf stars with $-2.2\le\log(y)<-1$ from the common envelope ejection, and He-deficient hot subdwarf stars with $\log(y)<-2.2$ from the stable Roche lobe overflow channels. The relative number of He-rich hot subdwarf stars with $-1\le\log(y)<0$ and $\log(y)\ge0$ in the halo is more than twice the prediction of Zhang et al.(2017), even more than six times in the thin disk, which implies that the mergers of helium white dwarfs with low mass main sequence stars may not be the main formation channel of He-rich hot subdwarf stars with $-1\le\log(y)<0$, specially in younger environments.


title: Models of Continuous-Time Networks with Tie Decay, Diffusion, and Convection

abstract: The study of temporal networks in discrete time has yielded numerous insights into time-dependent networked systems in a wide variety of applications. For many complex systems, however, it is useful to develop continuous-time models of networks and to compare them to associated discrete models. In this paper, we study several continuous-time network models and examine discrete approximations of them both numerically and analytically. To consider continuous-time networks, we associate each edge in a graph with a time-dependent tie strength that can take continuous non-negative values and decays in time after the most recent interaction. We investigate how the mean tie strength evolves with time in several models, and we explore -- both numerically and analytically -- criteria for the emergence of a giant connected component in some of these models. We also briefly examine the effects of interaction patterns of our continuous-time networks on contagion dynamics in a susceptible-infected-recovered model of an infectious disease.

categories: cs.SI cond-mat.stat-mech math.CO nlin.AO physics.soc-ph


title: Adaptive Precision CNN Accelerator Using Radix-X Parallel Connected Memristor Crossbars

abstract: Neural processor development is reducing our reliance on remote server access to process deep learning operations in an increasingly edge-driven world. By employing in-memory processing, parallelization techniques, and algorithm-hardware co-design, memristor crossbar arrays are known to efficiently compute large scale matrix-vector multiplications. However, state-of-the-art implementations of negative weights require duplicative column wires, and high precision weights using single-bit memristors further distributes computations. These constraints dramatically increase chip area and resistive losses, which lead to increased power consumption and reduced accuracy. In this paper, we develop an adaptive precision method by varying the number of memristors at each crosspoint. We also present a weight mapping algorithm designed for implementation on our crossbar array. This novel algorithm-hardware solution is described as the radix-X Convolutional Neural Network Crossbar Array, and demonstrate how to efficiently represent negative weights using a single column line, rather than double the number of additional columns. Using both simulation and experimental results, we verify that our radix-5 CNN array achieves a validation accuracy of 90.5% on the CIFAR-10 dataset, a 4.5% improvement over binarized neural networks whilst simultaneously reducing crossbar area by 46% over conventional arrays by removing the need for duplicate columns to represent signed weights.


title: Universal coupling between the photonics and phononics in a 3D graphene sponge

abstract: Photon-phonon coupling holds strong potential for sound and temperature control with light, opening new horizons in detector technology, remote sound generation and signal broadcasting. Here, we report on a novel stereoscopic ultralight converter based on a three dimensional graphene structure 3G-sponge, which exhibits very high absorption, near-to-air density, low inertia, and negligible effective heat capacity. We studied the heat and sound generation under the excitation of electromagnetic waves. 3G-sponge shows exceptional photon to heat and sound transduction efficiency over an enormous frequency range from MHz to PHz. As an application, we present an audio receiver based on a 3G-sponge amplitude demodulation. Our results will lead to a wide range of applications from light-controlled sound sources to broadband high-frequency graphene electronics.


title: Comment on "Resistance of a digital voltmeter: teaching creative thinking through an inquiry-based lab"

abstract: Teaching about measurements and showing examples of instruments' non-ideal behaviour are important in physics education. Digital multimeter input impedance analysis is perfect for this, since these instruments are easily available, precise enough, have good value/price ratio and represent modern technology. A recent paper (2018 Phys. Educ. 53 053005) demonstrates how the investigation of the input impedance of a digital multimeter can be used in education. However, we think that some more discussion is needed to make it more complete.


title: On PM-monoids and braid PM-monoids

abstract: In this paper, we shall introduce two monoids. One is called a PM-monoid which contains the symmetric group, the other is called a braid PM-monoid which contains the braid group. We shall develop the theory of PM-monoids and that of braid PM-monoids. The PM-monoids is obtained in the context of the compactification of projective linear group defined by Mutsumi Saito. The structure of PM-monoids is described in terms of matched pairs. We can define braid PM-monoid using a presentation for the PM-monoid. As main results, we show that braid PM-monoids are described by geometric braids and we find a solution to the word problem for the braid PM-monoids.


title: A Study of the Dynamics of a new Piecewise Smooth Map

abstract: In this article, we have studied a 1D map, which is formed by combining the two well-known maps i.e. the tent and the logistic maps in the unit interval i.e. [0, 1]. The proposed map can behave as the piecewise smooth or non-smooth maps (depending on the behaviour of the map just before and after the border) and then the dynamics of the map has been studied using analytical tools and numerical simulations. Characterization has been done by primarily studying the Lyapunov spectra and the corresponding bifurcation diagrams. Some peculiar dynamics of this map have been shown numerically. Finally, a Simulink implementation of the proposed map has been demonstrated.


title: Learning Set-equivariant Functions with SWARM Mappings

abstract: In this work we propose a new neural network architecture that efficiently implements and learns general purpose set-equivariant functions. Such a function f maps a set of entities x = {x1, . . . , xn} from one domain to a set of same cardinality y = f (x) = {y1, . . . , yn} in another domain regardless of the ordering of the entities. The architecture is based on a gated recurrent network which is iteratively applied to all entities individually and at the same time syncs with the progression of the whole population. In reminiscence to this pattern, which can be frequently observed in nature, we call our approach SWARM mapping. Set-equivariant and generally permutation invariant functions are important building blocks for many state of the art machine learning approaches. Even in applications where the permutation invariance is not of primary interest, as to be seen in the recent success of attention based transformer models (Vaswani et. al. 2017). Accordingly, we demonstrate the power and usefulness of SWARM mappings in different applications. We compare the performance of our approach with another recently proposed set-equivariant function, the Set Transformer (Lee et.al. 2018) and we demonstrate that models solely based on SWARM layers gives state of the art results.


title: Higgs Mode in Superconductors

abstract: When a continuous symmetry of a physical system is spontaneously broken, two types of collective modes typically emerge: the amplitude and phase modes of the order-parameter fluctuation. For superconductors, the amplitude mode is recently referred to as the ''Higgs mode'' as it is a condensed-matter analogue of a Higgs boson in particle physics. Higgs mode is a scalar excitation of the order parameter, distinct from charge or spin fluctuations, and thus does not couple to electromagnetic fields linearly. This is why the Higgs mode in superconductors has evaded experimental observations over a half century after the initial theoretical prediction, except for a charge-density-wave coexisting system. With the advance of nonlinear and time-resolved terahertz spectroscopy techniques, however, it has become possible to study the Higgs mode through the nonlinear light-Higgs coupling. In this review, we overview recent progresses on the study of the Higgs mode in superconductors.


title: High power fast pulsed magnetron discharges

abstract: In order to improve the quality of thin film deposition by magnetron discharges, particularly by an effective ionization of the sputtered vapor, we developed an ionized physical vapor deposition method based on pre-ionized pulsed magnetron discharges operating in microsecond range (1-50 microseconds) leading to a lower breakdown delay, short fall time of the pulsed magnetron current, lower than one microsecond, a high ion-to-neutral flux ratio at the substrate, an arc free regime and good stability with very large instantaneously power.The transition to the self-sputtering regime, the reactive operation mode and the ion transport to the substrate can be modulated by the current pulse shape and duration. High cathode current densities (1-20 A/cm2) are obtained and large pressure range operation (3-300 mTorr) is demonstrated.


title: Bayesian Nash Equilibrium in First-Price Auction with Discrete Value Distributions

abstract: First price auctions are widely used in government contracts and industrial auctions. In this paper, we consider the Bayesian Nash Equilibrium (BNE) in first price auctions with discrete value distributions. We study the characterization of the BNE in the first price auction and provide an algorithm to compute the BNE at the same time. Moreover, we prove the existence and the uniqueness of the BNE. Some of the previous results in the case of continuous value distributions do not apply to the case of discrete value distributions. In the meanwhile, the uniqueness result in discrete case cannot be implied by the uniqueness property in the continuous case. Unlike in the continuous case, we do not need to solve ordinary differential equations and thus do not suffer from the solution errors therein. Compared to the method of using continuous distributions to approximate discrete ones, our experiments show that our algorithm is both faster and more accurate. The results in this paper are derived in the asymmetric independent private values model, which assumes that the buyers' value distributions are common knowledge.


title: RLTM: An Efficient Neural IR Framework for Long Documents

abstract: Deep neural networks have achieved significant improvements in information retrieval (IR). However, most existing models are computational costly and can not efficiently scale to long documents. This paper proposes a novel End-to-End neural ranking framework called Reinforced Long Text Matching (RLTM) which matches a query with long documents efficiently and effectively. The core idea behind the framework can be analogous to the human judgment process which firstly locates the relevance parts quickly from the whole document and then matches these parts with the query carefully to obtain the final label. Firstly, we select relevant sentences from the long documents by a coarse and efficient matching model. Secondly, we generate a relevance score by a more sophisticated matching model based on the sentence selected. The whole model is trained jointly with reinforcement learning in a pairwise manner by maximizing the expected score gaps between positive and negative examples. Experimental results demonstrate that RLTM has greatly improved the efficiency and effectiveness of the state-of-the-art models.


title: Does time always slow down as gravity increases?

abstract: We consider gravitational time dilation between stationary observers and present examples, which contradict the statement that "time slows down as gravity increases". We show furthermore that this statement cannot be true in general, if strength of gravity is defined in an observer independent manner. We provide also a pedagogical introduction to gravitational time dilation, and discuss aspects of this phenomenon, which are often omitted in textbooks on general relativity.


title: Studies on ion back-flow of Time Projection Chamber based on GEM and anode wire grid

abstract: Gated wires are widely used in Time Projection Chamber (TPC) to avoid ion back-flow (IBF) in the drift volume. The anode wires can provide stable gain at high voltage with a long lifetime. However, switching on and off the gated grid (GG) leads to a dead time and also limit the readout efficiency of the TPC. Gas Electron Multiplier (GEM) foil provides a possibility of continuous readout for TPC, which can suppress IBF efficiently while keeping stable gain. A prototype chamber including two layers of GEM foils and anode wires has been built to combine both advantages from GEM and anode wire. Using Garfield++ and the finite element analysis (FEA) method, simulations of the transmission processes of electrons and ions are performed and results on absorption ratio of ions, gain and IBF ratio are obtained. The optimized parameters from simulation are then applied to the prototype chamber to test the IBF and other performances. Both GEM foils are run at low voltage (255V), while most of the gain is provided by the anode wire. The measurement shows that the IBF ratio can be suppressed to ~0.58% with double-layer GEM foils (staggered) at an effective gain about 2500 with an energy resolution about 10%.


title: Rank and Bias in Families of Hyperelliptic Curves via Nagao's Conjecture

abstract: Let $\mathcal{X} : y^2 = f(x)$ be a hyperelliptic curve over $\mathbb{Q}(T)$ of genus $g\geq 1$. Assume that the jacobian of $\mathcal{X}$ over $\mathbb{Q}(T)$ has no subvariety defined over $\mathbb{Q}$. Denote by $\mathcal{X}_t$ the specialization of $\mathcal{X}$ to an integer $T=t$, let $a_{\mathcal{X}_t}(p)$ be its trace of Frobenius, and $A_{\mathcal{X},r}(p) = \frac{1}{p}\sum_{t=1}^p a_{\mathcal{X}_t}(p)^r$ its $r$-th moment. The first moment is related to the rank of the jacobian $J_\mathcal{X}\left(\mathbb{Q}(T)\right)$ by a generalization of a conjecture of Nagao: $$\lim_{X \to \infty} \frac{1}{X} \sum_{p \leq X} - A_{\mathcal{X},1}(p) \log p = \operatorname{rank} J_\mathcal{X}(\mathbb{Q}(T)).$$ Generalizing a result of S. Arms, \'A. Lozano-Robledo, and S.J. Miller, we compute first moments for various families resulting in infinitely many hyperelliptic curves over $\mathbb{Q}(T)$ having jacobian of moderately large rank $4g+2$, where $g$ is the genus; by Silverman's specialization theorem, this yields hyperelliptic curves over $\mathbb{Q}$ with large rank jacobian. Note that Shioda has the best record in this directon: he constructed hyperelliptic curves of genus $g$ with jacobian of rank $4g+7$. In the case when $\mathcal{X}$ is an elliptic curve, Michel proved $p\cdot A_{\mathcal{X},2} = p^2 + O\left(p^{3/2}\right)$. For the families studied, we observe the same second moment expansion. Furthermore, we observe the largest lower order term that does not average to zero is on average negative, a bias first noted by S.J. Miller in the elliptic curve case. We prove this bias for a number of families of hyperelliptic curves.


title: Arnoux-Rauzy interval exchange transformations

abstract: The Arnoux-Rauzy systems are defined in \cite{ar}, both as symbolic systems on three letters and exchanges of six intervals on the circle. In connection with a conjecture of S.P. Novikov, we investigate the dynamical properties of the interval exchanges, and precise their relation with the symbolic systems, which was known only to be a semi-conjugacy; in order to do this, we define a new system which is an exchange of nine intervals on the line (it was described in \cite{abb} for a particular case). Our main result is that the semi-conjugacy determines a measure-theoretic isomorphism (between the three systems) under a diophantine (sufficient) condition, which is satisfied by almost all Arnoux-Rauzy systems for a suitable measure; but, under another condition, the interval exchanges are not uniquely ergodic and the isomorphism does not hold for all invariant measures; finally, we give conditions for these interval exchanges to be weakly mixing.


title: Exciton mapping at subwavelength scales in two-dimensional materials

abstract: Spatially resolved EELS has been performed at diffuse interfaces between MoS$_2$ and MoSe$_2$ single layers. With a monochromated electron source (20 meV) we have successfully probed excitons near the interface by obtaining the low loss spectra at the nanometer scale. The exciton maps clearly show variations even with a 10 nm separation between measurements; consequently the optical bandgap can be measured with nanometer-scale resolution, which is 50 times smaller than the wavelength of the emitted photons. By performing core-loss EELS at the same regions, we observe that variations in the excitonic signature follow the chemical composition. The exciton peaks are observed to be broader at interfaces and heterogeneous regions, possibly due to interface roughness and alloying effects. Moreover, we do not observe shifts of the exciton peak across the interface, possibly because the interface width is not much larger than the exciton Bohr radius.