title: LIFTED: Household Appliance-level Load Dataset and Data Compression with Lossless Coding considering Precision

abstract: The issue of estimating the detailed appliance level load consumption has received considerable attention. This paper first presents a Labelled hIgh-Frequency daTaset for Electricity Disaggregation (LIFTED), which can be used for research on nonintrusive load monitoring (NILM). This dataset consists of one-week detailed appliance-level electricity usage information including voltage, current, active power, and reactive power for a single apartment in the United States, down-sampled at 50Hz. This paper also proposes an efficient Lossless Coding considering Precision (LCP) algorithm on data compression. This algorithm considers both the precision requirements of practical applications on load datasets and the unique characteristics of household appliance-level load datasets. The LCP algorithm is tested on the LIFTED dataset and the results demonstrate that LCP can achieve a higher compression ratio compared to several existing algorithms.


title: Separating the Intrinsic Alignment Signal and the Lensing Signal using Self-Calibration in Photo-z Surveys with KiDS450 and KV450 Data

abstract: To reach the full potential for the next generation of weak lensing surveys, it is necessary to mitigate the contamination of intrinsic alignments (IA) of galaxies in the observed cosmic shear signal. The self calibration (SC) of intrinsic alignments provides an independent method to measure the IA signal from the survey data and the photometric redshift information. It operates differently from the marginalization method based on IA modeling. In this work, we present the first application of SC to the KiDS450 data and the KV450 data, to split directly the intrinsic shape - galaxy density (Ig) correlation signal and the gravitational shear - galaxy density (Gg) correlation signal, using the information from photometric redshift (photo-z). We achieved a clear separation of the two signals and performed several validation tests. Our measured signals are found to be in general agreement with the KiDS450 cosmic shear best-fit cosmology, for both lensing and IA measurements. For KV450, we use partial (high-z) data, and our lensing measurements are also in good agreement with KV450 cosmic shear best-fit, however, our IA signal suggests a larger IA amplitude. We discussed the impact of photo-z quality on IA detection and several other potential systematic biases. Finally, we discuss the potential application of the information extracted for both the lensing signal and the IA signal in future surveys.


title: A Latent Topic Model with Markovian Transition for Process Data

abstract: We propose a latent topic model with a Markovian transition for process data, which consist of time-stamped events recorded in a log file. Such data are becoming more widely available in computer-based educational assessment with complex problem solving items. The proposed model can be viewed as an extension of the hierarchical Bayesian topic model with a hidden Markov structure to accommodate the underlying evolution of an examinee's latent state. Using topic transition probabilities along with response times enables us to capture examinees' learning trajectories, making clustering/classification more efficient. A forward-backward variational expectation-maximization (FB-VEM) algorithm is developed to tackle the challenging computational problem. Useful theoretical properties are established under certain asymptotic regimes. The proposed method is applied to a complex problem solving item in 2012 Programme for International Student Assessment (PISA 2012).


title: The Inhomogeneous Wave Equation with $L^p$ Data

abstract: We prove existence and uniqueness of $L^2$ solutions to the inhomogeneous wave equation on $\mathbb{R}^{n-1}\times\mathbb{R}$ under the assumption that the inhomogeneous data lies in $L^p(\mathbb{R}^n)$ for $p=2n/(n+4)$. We also require the Fourier transform of the inhomogeneous data to vanish on an infinite cone where the solution could become singular. Subsequently, we show sharpness of the exponent $p$. This extends work of Michael Goldberg, in which similar Fourier-analytic techniques were used to study the inhomogeneous Helmholtz equation.


title: Post-FEC BER Benchmarking for Bit-Interleaved Coded Modulation with Probabilistic Shaping

abstract: Accurate performance benchmarking after forward error correction (FEC) decoding is essential for system design in optical fiber communications. Generalized mutual information (GMI) has been shown to be successful at benchmarking the bit-error rate (BER) after FEC decoding (post-FEC BER) for systems with soft-decision (SD) FEC without probabilistic shaping (PS). However, GMI is not relevant to benchmark post-FEC BER for systems with SD-FEC and PS. For such systems, normalized GMI (NGMI), asymmetric information (ASI), and achievable FEC rate have been proposed instead. They are good at benchmarking post-FEC BER or to give an FEC limit in bit-interleaved coded modulation (BICM) with PS, but their relation has not been clearly explained so far. In this paper, we define generalized L-values under mismatched decoding, which are connected to the GMI and ASI. We then show that NGMI, ASI, and achievable FEC rate are theoretically equal under matched decoding but not under mismatched decoding. We also examine BER before FEC decoding (pre-FEC BER) and ASI over Gaussian and nonlinear fiber-optic channels with approximately matched decoding. ASI always shows better correlation with post-FEC BER than pre-FEC BER for BICM with PS. On the other hand, post-FEC BER can differ at a given ASI when we change the bit mapping, which describes how each bit in a codeword is assigned to a bit tributary.


title: Feedback cooling of a room temperature mechanical oscillator close to its motional groundstate

abstract: Preparing mechanical systems in their lowest possible entropy state, the quantum ground state, starting from a room temperature environment is a key challenge in quantum optomechanics. This would not only enable creating quantum states of truly macroscopic systems, but at the same time also lay the groundwork for a new generation of quantum-limited mechanical sensors in ambient environments. Laser cooling of optomechanical devices using the radiation pressure force combined with cryogenic precooling has been successful at demonstrating ground state preparation of various devices, while a similar demonstration starting from a room temperature environment remains an outstanding goal. Here, we combine integrated nanophotonics with phononic band gap engineering to simultaneously overcome prior limitations in the isolation from the surrounding environment and the achievable mechanical frequencies, as well as limited optomechanical coupling strength, demonstrating a single-photon cooperativity of 200. This new microchip technology allows us to feedback cool a mechanical resonator to around 1 mK, near its motional ground state, from room temperature. Our experiment marks a major step toward accessible, widespread quantum technologies with mechanical resonators.


title: IW And-Type State in IM Eridani

abstract: IW And stars are a recently recognized group of dwarf novae which are characterized by a repeated sequence of brightening from a standstill-like phase with damping oscillations followed by a deep dip. Kimura et al. (2019) recently proposed a model based on thermal-viscous disk instability in a tilted disk to reproduce the IW And-type characteristics. IM Eri experienced the IW And-type phase in 2018 and we recorded three cycles of the (damping) oscillation phase terminated by brightening. We identified two periods during the IW And-type state: 4-5 d small-amplitude (often damping) oscillations and a 34-43 d long cycle. This behavior is typical for an IW And-type star. The object gradually brightened within the long cycle before the next brightening which terminated the (damping) oscillation phase. This observation agrees with the increasing disk mass during the long cycle predicted by a model of thermal-viscous disk instability in a tilted disk (Kimura et al. 2019). We, however, did not succeed in detecting negative superhumps, which are considered to be the signature of a tilted disk.


title: An improved transformation between Fibonacci FSRs and Galois FSRs

abstract: Feedback shift registers (FSRs), which have two configurations: Fibonacci and Galois, are a primitive building block in stream ciphers. In this paper, an improved transformation is proposed between Fibonacci FSRs and Galois FSRs. In the previous results, the number of stages is identical when constructing the equivalent FSRs. In this paper, there is no requirement to keep the number of stages equal for two equivalent FSRs here. More precisely, it is verified that an equivalent Galois FSR with fewer stages cannot be found for a Fibonacci FSR, but the converse is not true. Furthermore, the total number of equivalent Galois FSRs for a given Fibonacci FSR with n stages is calculated. In order to reduce the propagation time and memory, an effective algorithm is developed to find equivalent Galois FSR and is proved to own minimal operators and stages. Finally, the feasibility of our proposed strategies, to mutually transform Fibonacci FSRs and Galois FSRs, is demonstrated by numerical examples.


title: Solvability in groups with a chain condition on uniformly definable subgroups

abstract: We prove a structure theorem for periodic locally soluble groups satisfying a chain condition on intersections of relatively uniformly definable subgroups using results from the theory of stable groups. The result in particular shows that these groups are soluble, thus giving a model-theoretic and much simpler proof of a special case of a theorem of Bryant and Hartley on the solubility of periodic locally soluble groups satisfying the minimal condition on centralizers.


title: Classification of topological phases in one dimensional interacting non-Hermitian systems and emergent unitarity

abstract: Topological phases in non-Hermitian systems have become fascinating subjects recently. In this paper, we attempt to classify topological phases in 1D interacting non-Hermitian systems. We begin with the non-Hermitian generalization of the Su-Schrieffer-Heeger (SSH) model and discuss its many-body topological Berry phase, which is well defined for all interacting quasi-Hermitian systems (non-Hermitian systems that have real energy spectrum). We then demonstrate that the classification of topological phases for quasi-Hermitian systems is exactly the same as their Hermitian counterparts. Finally, we construct the fixed point partition function for generic 1D interacting non-Hermitian local systems and find that the fixed point partition function still has a one-to-one correspondence to their Hermitian counterparts. Thus, we conclude that the classification of topological phases for generic 1D interacting non-Hermitian systems is still exactly the same as Hermitian systems.


title: Graph Regularized Tensor Train Decomposition

abstract: With the advances in data acquisition technology, tensor objects are collected in a variety of applications including multimedia, medical and hyperspectral imaging. As the dimensionality of tensor objects is usually very high, dimensionality reduction is an important problem. Most of the current tensor dimensionality reduction methods rely on finding low-rank linear representations using different generative models. However, it is well-known that high-dimensional data often reside in a low-dimensional manifold. Therefore, it is important to find a compact representation, which uncovers the low dimensional tensor structure while respecting the intrinsic geometry. In this paper, we propose a graph regularized tensor train (GRTT) decomposition that learns a low-rank tensor train model that preserves the local relationships between tensor samples. The proposed method is formulated as a nonconvex optimization problem on the Stiefel manifold and an efficient algorithm is proposed to solve it. The proposed method is compared to existing tensor based dimensionality reduction methods as well as tensor manifold embedding methods for unsupervised learning applications.


title: Unbounded lower bound for k-server against weak adversaries

abstract: We study the resource augmented version of the $k$-server problem, also known as the $k$-server problem against weak adversaries or the $(h,k)$-server problem. In this setting, an online algorithm using $k$ servers is compared to an offline algorithm using $h$ servers, where $h\le k$. For uniform metrics, it has been known since the seminal work of Sleator and Tarjan (1985) that for any $\epsilon>0$, the competitive ratio drops to a constant if $k=(1+\epsilon) \cdot h$. This result was later generalized to weighted stars (Young 1994) and trees of bounded depth (Bansal et al. 2017). The main open problem for this setting is whether a similar phenomenon occurs on general metrics. We resolve this question negatively. With a simple recursive construction, we show that the competitive ratio is at least $\Omega(\log \log h)$, even as $k\to\infty$. Our lower bound holds for both deterministic and randomized algorithms. It also disproves the existence of a competitive algorithm for the infinite server problem on general metrics.


title: A generalization of CHSH and the algebraic structure of optimal strategies

abstract: Self-testing has been a rich area of study in quantum information theory. It allows an experimenter to interact classically with a black box quantum system and to test that a specific entangled state was present and a specific set of measurements were performed. Recently, self-testing has been central to high-profile results in complexity theory as seen in the work on entangled games PCP of Natarajan and Vidick (FOCS 2018), iterated compression by Fitzsimons et al. (STOC 2019), and NEEXP in MIP* due to Natarajan and Wright (FOCS 2019). In this work, we introduce an algebraic generalization of CHSH by viewing it as a linear constraint system (LCS) game, exhibiting self-testing properties that are qualitatively different. These provide the first example of non-local games that self-test non-Pauli operators resolving an open questions posed by Coladangelo and Stark (QIP 2017). Our games also provide a self-test for states other than the maximally entangled state, and hence resolves the open question posed by Cleve and Mittal (ICALP 2012). Additionally, our games have 1 bit question and $\log n$ bit answer lengths making them suitable candidates for complexity theoretic application. This work is the first step towards a general theory of self-testing arbitrary groups. In order to obtain our results, we exploit connections between sum of squares proofs, non-commutative ring theory, and the Gowers-Hatami theorem from approximate representation theory. A crucial part of our analysis is to introduce a sum of squares framework that generalizes the \emph{solution group} of Cleve, Liu, and Slofstra (Journal of Mathematical Physics 2017) to the non-pseudo-telepathic regime. Finally, we give the first example of a game that is not a self-test. Our results suggest a richer landscape of self-testing phenomena than previously considered.


title: Design and Calibration of the High Energy Particle Monitor onboard the Insight-HXMT

abstract: Three high energy particle monitors (HPMs) employed onboard the Hard X-ray Modulation Telescope Insight-HXMT) can detect the charged particles from South Atlantic Anomaly (SAA) and hence provide the alert trigger for switch-on/off of the main detectors. Here a typical design of HPM with high stability and reliability is adopted by taking a plastic scintillator coupled with a small photomultiplier tube (PMT). The window threshold of HPM is designed as 1 MeV and 20 MeV for the incident electron and proton, respectively. Before the launch of Insight-HXMT, we performed in details the ground calibration of HPM. The measured energy response and its dependence on temperature are taken as essential input of Geant4 simulation for estimating the HPM count rate given with an incident particle energy spectrum. This serves as a guidance for choosing a reasonable working range of the PMT high voltage once the real SAA count rate is measured by HPM in orbit. So far the three HPMs have been working in orbit for more than two years. Apart from providing reliable alert trigger, the HPMs data are used as well to map the SAA region.


title: Experimental Observation of High Intrinsic Thermal Conductivity of AlN

abstract: AlN is an ultra-wide bandgap semiconductor which has been developed for applications including power electronics and optoelectronics. Thermal management of these applications is the key for stable device performance and allowing for long lifetimes. AlN, with its potentially high thermal conductivity, can play an important role serving as a dielectric layer, growth substrate, and heat spreader to improve device performance. However, the intrinsic high thermal conductivity of bulk AlN predicted by theoretical calculations has not been experimentally observed because of the difficulty in producing materials with low vacancy and impurity levels, and other associated defect complexes in AlN which can decrease the thermal conductivity. This work reports the growth of thick AlN layers by MOCVD with an air-pocketed AlN layer and the first experimental observation of intrinsic thermal conductivity from 130 K to 480 K that matches density-function-theory calculations for single crystal AlN, producing some of the highest values ever measured. Detailed material characterizations confirm the high quality of these AlN samples with one or two orders of magnitude lower impurity concentrations than seen in commercially available bulk AlN. Measurements of these commercially available bulk AlN substrates from 80 K to 480 K demonstrated a lower thermal conductivity, as expected. A theoretical thermal model is built to interpret the measured temperature dependent thermal conductivity. Our work demonstrates that it is possible to obtain theoretically high values of thermal conductivity in AlN and such films may impact the thermal management and reliability of future electronic and optoelectronics devices.


title: Some comments about measures, Jacobians and Moore-Penrose inverse

abstract: Some general problems of Jacobian computations in non-full rank matrices are discussed in this work. In particular, the Jacobian of the Moore-Penrose inverse derived via matrix differential calculus is revisited. Then the Jacobian in the full rank case is derived under the simple and old theory of the exterior product.


title: Improving Bidirectional Decoding with Dynamic Target Semantics in Neural Machine Translation

abstract: Generally, Neural Machine Translation models generate target words in a left-to-right (L2R) manner and fail to exploit any future (right) semantics information, which usually produces an unbalanced translation. Recent works attempt to utilize the right-to-left (R2L) decoder in bidirectional decoding to alleviate this problem. In this paper, we propose a novel \textbf{D}ynamic \textbf{I}nteraction \textbf{M}odule (\textbf{DIM}) to dynamically exploit target semantics from R2L translation for enhancing the L2R translation quality. Different from other bidirectional decoding approaches, DIM firstly extracts helpful target information through addressing and reading operations, then updates target semantics for tracking the interactive history. Additionally, we further introduce an \textbf{agreement regularization} term into the training objective to narrow the gap between L2R and R2L translations. Experimental results on NIST Chinese$\Rightarrow$English and WMT'16 English$\Rightarrow$Romanian translation tasks show that our system achieves significant improvements over baseline systems, which also reaches comparable results compared to the state-of-the-art Transformer model with much fewer parameters of it.


title: Towards understanding and characterizing expert covariational reasoning in physics

abstract: Relating two quantities to describe a physical system or process is at the heart of "doing physics" for novices and experts alike. In this paper, we explore the ways in which experts use covariational reasoning when solving introductory physics graphing problems. Here, graduate students are considered experts for the introductory level material, as they often take the role of instructor at large research universities. Drawing on work from Research in Undergraduate Mathematics Education (RUME), we replicated a study of mathematics experts' covariational reasoning done by Hobson and Moore with physics experts [N. L. F. Hobson and K. C. Moore, in RUME Conference Proceedings, pp. 664-672 (2017)]. We conducted think-aloud interviews with 10 physics graduate students using tasks minimally adapted from the mathematics study. Adaptations were made solely for the purpose of participant understanding of the question, and validated by preliminary interviews. Preliminary findings suggest physics experts approach covariational reasoning problems significantly differently than mathematics experts. In particular, two behaviors are identified in the reasoning of expert physicists that were not seen in the mathematics study. We introduce these two behaviors, which we call Using Compiled Relationships and Neighborhood Analysis, and articulate their differences from the behaviors articulated by Hobson and Moore. Finally, we share implications for instruction and questions for further research.


title: LIDA: Lightweight Interactive Dialogue Annotator

abstract: Dialogue systems have the potential to change how people interact with machines but are highly dependent on the quality of the data used to train them. It is therefore important to develop good dialogue annotation tools which can improve the speed and quality of dialogue data annotation. With this in mind, we introduce LIDA, an annotation tool designed specifically for conversation data. As far as we know, LIDA is the first dialogue annotation system that handles the entire dialogue annotation pipeline from raw text, as may be the output of transcription services, to structured conversation data. Furthermore it supports the integration of arbitrary machine learning models as annotation recommenders and also has a dedicated interface to resolve inter-annotator disagreements such as after crowdsourcing annotations for a dataset. LIDA is fully open source, documented and publicly available [ https://github.com/Wluper/lida ]


title: Integrating Dictionary Feature into A Deep Learning Model for Disease Named Entity Recognition

abstract: In recent years, Deep Learning (DL) models are becoming important due to their demonstrated success at overcoming complex learning problems. DL models have been applied effectively for different Natural Language Processing (NLP) tasks such as part-of-Speech (PoS) tagging and Machine Translation (MT). Disease Named Entity Recognition (Disease-NER) is a crucial task which aims at extracting disease Named Entities (NEs) from text. In this paper, a DL model for Disease-NER using dictionary information is proposed and evaluated on National Center for Biotechnology Information (NCBI) disease corpus and BC5CDR dataset. Word embeddings trained over general domain texts as well as biomedical texts have been used to represent input to the proposed model. This study also compares two different Segment Representation (SR) schemes, namely IOB2 and IOBES for Disease-NER. The results illustrate that using dictionary information, pre-trained word embeddings, character embeddings and CRF with global score improves the performance of Disease-NER system.


title: ASVspoof 2019: A large-scale public database of synthesized, converted and replayed speech

abstract: Automatic speaker verification (ASV) is one of the most natural and convenient means of biometric person recognition. Unfortunately, just like all other biometric systems, ASV is vulnerable to spoofing, also referred to as "presentation attacks." These vulnerabilities are generally unacceptable and call for spoofing countermeasures or "presentation attack detection" systems. In addition to impersonation, ASV systems are vulnerable to replay, speech synthesis, and voice conversion attacks. The ASVspoof 2019 edition is the first to consider all three spoofing attack types within a single challenge. While they originate from the same source database and same underlying protocol, they are explored in two specific use case scenarios. Spoofing attacks within a logical access (LA) scenario are generated with the latest speech synthesis and voice conversion technologies, including state-of-the-art neural acoustic and waveform model techniques. Replay spoofing attacks within a physical access (PA) scenario are generated through carefully controlled simulations that support much more revealing analysis than possible previously. Also new to the 2019 edition is the use of the tandem detection cost function metric, which reflects the impact of spoofing and countermeasures on the reliability of a fixed ASV system. This paper describes the database design, protocol, spoofing attack implementations, and baseline ASV and countermeasure results. It also describes a human assessment on spoofed data in logical access. It was demonstrated that the spoofing data in the ASVspoof 2019 database have varied degrees of perceived quality and similarity to the target speakers, including spoofed data that cannot be differentiated from bona-fide utterances even by human subjects.


title: First-principles concentration-wave approach to predict incipient order in high-entropy alloys: case of Ti$_{0.25}$CrFeNiAl$_{x}$

abstract: Multi-principal-element alloys, including high-entropy alloys, experience segregation or partially-ordering as they are cooled to lower temperatures. For Ti$_{0.25}$CrFeNiAl$_{x}$, experiments suggest a partially-ordered B2 phase, whereas CALculation of PHAse Diagrams (CALPHAD) predicts a region of L2$_{1}$+B2 coexistence. We employ first-principles density-functional theory (DFT) based electronic-structure approach to assess stability of phases of alloys with arbitrary compositions and Bravais lattices (A1/A2/A3). In addition, DFT-based linear-response theory has been utilized to predict Warren-Cowley short-range order (SRO) in these alloys, which reveals potentially competing long-range ordered phases. The resulting SRO is uniquely analyzed using concentration-waves analysis for occupation probabilities in partially-ordered states, which is then be assessed for phase stability by direct DFT calculations. Our results are in good agreement with experiments and CALPHAD in Al-poor regions ($x \le 0.75$) and with CALPHAD in Al-rich region ($0.75 \le {x} \le 1$), and they suggest more careful experiments in Al-rich region are needed. Our DFT-based electronic-structure and SRO predictions supported by concentration-wave analysis are shown to be a powerful method for fast assessment of competing phases and their stability in multi-principal-element alloys.


title: Two-dimensional Inflow-outflow Solution of Supercritical Accretion Flow

abstract: We present the two-dimensional inflow-outflow solutions of radiation hydrodynamic (RHD) equations of supercritical accretion flows. Compared with prior studies, we include all components of the viscous stress tensor. We assume steady state flow and use self-similar solutions in the radial direction to solve the equations in $ r-\theta $ domain of the spherical coordinates. The set of differential equations have been integrated from the rotation axis to the equatorial plane. We find that the self-similarity assumption requires that the radial profile of density is described by $ \rho(r) \propto r^{-0.5} $. Correspondingly, the radial profile of the mass inflow rate decreases with decreasing radii as $ \dot{M}_\mathrm{in} \propto r $. Inflow-outflow structure has been found in our solution. In the region $ \theta > 65^{\circ} $ there exist inflow while above that flow moves outward and outflow could launch. The driving forces of the outflow are analyzed and found that the radiation force is dominant and push the gas particles outwards with poloidal velocity $ \sim 0.25 c $. The properties of outflow are also studied. The results show that the mass flux weighted angular momentum of the inflow is lower than that of outflow, thus the angular momentum of the flow can be transported by the outflow. We also analyze the convective stability of the supercritical disk and find that in the absence of the magnetic field, the flow is convectively unstable. Our analytical results are fully consistent with the previous numerical simulations of the supercritical accretion flow.


title: Spin-one dark matter and gamma ray signals from the galactic center

abstract: In this work we study the possibility that the gamma ray excess (GRE) at the Milky Way galactic center come from the annihilation of dark matter with a $(1,0)\oplus(0,1)$ space-time structure (spin-one dark matter, SODM). We calculate the production of prompt photons from initial state radiation, internal bremsstrahlung, final state radiation including the emission from the decay products of the $\mu, \tau$ or hadronization of quarks. Next we study the delayed photon emission from the inverse Compton scattering (ICS) of electrons (produced directly or in the prompt decay of $\mu, \tau$ leptons or in the hadronization of quarks produced in the annihilation of SODM) with the cosmic microwave background or starlight. All these mechanisms yield significant contributions only for Higgs resonant exchange, i.e. for $M\approx M_{H}/2$, and the results depend on the Higgs scalar coupling to SODM, $g_{s}$. The dominant mechanism at the GRE bump is the prompt photon production in the hadronization of $b$ quarks produced in $\bar{D}D\to \bar{b}b$, whereas the delayed photon emission from the ICS of electrons coming from the hadronization of $b$ quarks produced in the same reaction dominates at low energies ($\omega < 0.3~ GeV$) and prompt photons from $c$ and $\tau$, as well as from internal bremsstrahlung, yield competitive contributions at the end point of the spectrum ($\omega \ge 30 ~GeV$). Taking into account all these contributions, our results for photons produced in the annihilation of SODM are in good agreement with the GRE data for $g_{s}\in [0.98, 1.01] \times 10^{-3}$ and $M\in [62.470,62.505]~GeV$.


title: Flight Delay Prediction using Airport Situational Awareness Map

abstract: The prediction of flight delays plays a significantly important role for airlines and travelers because flight delays cause not only tremendous economic loss but also potential security risks. In this work, we aim to integrate multiple data sources to predict the departure delay of a scheduled flight. Different from previous work, we are the first group, to our best knowledge, to take advantage of airport situational awareness map, which is defined as airport traffic complexity (ATC), and combine the proposed ATC factors with weather conditions and flight information. Features engineering methods and most state-of-the-art machine learning algorithms are applied to a large real-world data sources. We reveal a couple of factors at the airport which has a significant impact on flight departure delay time. The prediction results show that the proposed factors are the main reasons behind the flight delays. Using our proposed framework, an improvement in accuracy for flight departure delay prediction is obtained.


title: Pole Dark Energy

abstract: Theories with a pole in the kinetic term have been used to great effect in studying inflation, owing to their quantum stability and attractor properties. We explore the use of such pole kinetic terms in dark energy theories, finding an interesting link between thawing and freezing models, and the possibility of enhanced plateaus with ``superattractor''-like behavior. We assess the observational viability of pole dark energy, showing that simple models can give dark energy equation of state evolution with $w(z)<-0.9$ even for potentials that could not normally achieve this easily. The kinetic term pole also offers an interesting perspective with respect to the swampland criteria for such observationally viable dark energy models.


title: Multivariate Time-Between-Events Monitoring -- An overview and some (overlooked) underlying complexities

abstract: We review methods for monitoring multivariate time-between-events (TBE) data. We present some underlying complexities that have been overlooked in the literature. It is helpful to classify multivariate TBE monitoring applications into two fundamentally different scenarios. One scenario involves monitoring individual vectors of TBE data. The other involves the monitoring of several, possibly correlated, temporal point processes in which events could occur at different rates. We discuss performance measures and advise the use of time-between-signal based metrics for the design and comparison of methods. We re-evaluate an existing multivariate TBE monitoring method, offer some advice and some directions for future research.


title: AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems

abstract: In this paper, we consider the problem of automatically designing a Rectified Linear Unit (ReLU) Neural Network (NN) architecture that is sufficient to implement the optimal Model Predictive Control (MPC) strategy for an LTI system with quadratic cost. Specifically, we propose AReN, an algorithm to generate Assured ReLU Architectures. AReN takes as input an LTI system with quadratic cost specification, and outputs a ReLU NN architecture with the assurance that there exist network weights that exactly implement the associated MPC controller. AReN thus offers new insight into the design of ReLU NN architectures for the control of LTI systems: instead of training a heuristically chosen NN architecture on data -- or iterating over many architectures until a suitable one is found -- AReN can suggest an adequate NN architecture before training begins. While several previous works were inspired by the fact that both ReLU NN controllers and optimal MPC controller are both Continuous, Piecewise-Linear (CPWL) functions, exploiting this similarity to design NN architectures with correctness guarantees has remained elusive. AReN achieves this using two novel features. First, we reinterpret a recent result about the implementation of CPWL functions via ReLU NNs to show that a CPWL function may be implemented by a ReLU architecture that is determined by the number of distinct affine regions in the function. Second, we show that we can efficiently over-approximate the number of affine regions in the optimal MPC controller without solving the MPC problem exactly. Together, these results connect the MPC problem to a ReLU NN implementation without explicitly solving the MPC and directly translates this feature to a ReLU NN architecture that comes with the assurance that it can implement the MPC controller. We show through numerical results the effectiveness of AReN in designing an NN architecture.


title: Nonlocal Subsystem Density Functional Theory

abstract: By invoking a divide-and-conquer strategy, subsystem DFT dramatically reduces the computational cost of large-scale, \textit{ab-initio} electronic structure simulations of molecules and materials. The central ingredient setting subsystem DFT apart from Kohn-Sham DFT is the non-additive kinetic energy functional (NAKE). Currently employed NAKEs are at most semilocal (i.e., they only depend on the electron density and its gradient), and as a result of this approximation, so far only systems composed of weakly interacting subsystems have been successfully tackled. In this work, we advance the state-of-the-art by introducing fully nonlocal NAKEs in subsystem DFT simulations for the first time. A benchmark analysis based on the S22-5 test set shows that nonlocal NAKEs considerably improve the computed interaction energies and electron density compared to commonly employed GGA NAKEs, especially when the inter-subsystem electron density overlap is high. Most importantly, we resolve the long standing problem of too attractive interaction energy curves typically resulting from the use of GGA NAKEs.

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


title: Charge density and redox potential of LiNiO2 using ab initio diffusion quantum Monte Carlo

abstract: Electronic structure of layered LiNiO2 has been controversial despite numerous theoretical and experimental reports regarding its nature. We investigate the charge densities, lithium intercalation potentials and Li diffusion barrier energies of LixNiO2 (0.0 < x < 1.0) system using a truly ab-initio method, diffusion quantum Monte Carlo (DMC). We compare the charge densities from DMC and density functional theory (DFT) and show that local and semi-local DFT functionals yield spin polarization densities with incorrect sign on the oxygen atoms. SCAN functional and Hubbard-U correction improves the polarization density around Ni and O atoms, resulting in smaller deviations from the DMC densities. DMC accurately captures the p-d hybridization between the Ni-O atoms, yielding accurate lithium intercalation voltages, polarization densities and reaction barriers.


title: Emergence of Multiscale Dynamics in Colloidal Gels

abstract: To gain insight into the kinetics of colloidal gel evolution at low particle volume fractions $\phi$, we utilize differential dynamic microscopy to investigate particle aggregation, geometric percolation, and the subsequent transition to nonergodic dynamics. We report the emergence of unexpectedly rich multiscale dynamics upon the onset of nonergodicity, which separates the wave vectors $q$ into three different regimes. In the high-$q$ domain, the gel exhibits $\phi$-independent internal vibrations of fractal clusters. The intermediate-$q$ domain is dominated by density fluctuations at the length scale of the clusters, as evidenced by the $q$-independence of the relaxation time $\tau$. In the low-$q$ domain, the scaling of $\tau$ as $q^{-3}$ suggests that the network appears homogeneous. The transitions between these three regimes introduce two characteristic length scales, distinct from the cluster size.


title: Quasi-Monte Carlo sampling for machine-learning partial differential equations

abstract: Solving partial differential equations in high dimensions by deep neural network has brought significant attentions in recent years. In many scenarios, the loss function is defined as an integral over a high-dimensional domain. Monte-Carlo method, together with the deep neural network, is used to overcome the curse of dimensionality, while classical methods fail. Often, a deep neural network outperforms classical numerical methods in terms of both accuracy and efficiency. In this paper, we propose to use quasi-Monte Carlo sampling, instead of Monte-Carlo method to approximate the loss function. To demonstrate the idea, we conduct numerical experiments in the framework of deep Ritz method proposed by Weinan E and Bing Yu. For the same accuracy requirement, it is observed that quasi-Monte Carlo sampling reduces the size of training data set by more than two orders of magnitude compared to that of MC method. Under some assumptions, we prove that quasi-Monte Carlo sampling together with the deep neural network generates a convergent series with rate proportional to the approximation accuracy of quasi-Monte Carlo method for numerical integration. Numerically the fitted convergence rate is a bit smaller, but the proposed approach always outperforms Monte Carlo method. It is worth mentioning that the convergence analysis is generic whenever a loss function is approximated by the quasi-Monte Carlo method, although observations here are based on deep Ritz method.


title: Spin-orbit Interaction driven Topological Features in a Quantum Ring

abstract: One-dimensional quantum rings with Rashba and Dresselhaus spin-orbit couplings are studied analytically and are in perfect agreement with the numerical results. The topological charge of the spin field defined by the winding number along the ring is also studied analytically and numerically in the presence of the spin-orbit interactions. We also demonstrate the cases where the one-dimensional model is invalid for a relatively large radius. However, the numerical results of the two-dimensional model always remain reliable. Just as many physical properties of the quantum rings are influenced by the Aharonov-Bohm effect, the topological charge is also found to vary periodically due to the step-like change of the angular momentum with an increase of the magnetic field. This is significantly different from the cases of quantum dots. We also study how the current is induced by the magnetic field and spin-orbit couplings, which is strong enough that it could to be detected. The magnetic induction lines induced by the spin field and the current are also analyzed which can be observed and could perhaps help identifying the topological features of the spin fields in a quantum ring.


title: First detection of the GI-type of intrinsic alignments of galaxies using the self-calibration method in a photometric galaxy survey

abstract: Weak gravitational lensing is one of the most promising cosmological probes to constrain dark matter, dark energy, and the nature of gravity at cosmic scales. Intrinsic alignments (IAs) of galaxies have been recognized as one of the most serious systematic effects facing gravitational lensing. Such alignments must be isolated and removed to obtain a pure lensing signal. Furthermore, the alignments are related to the processes of galaxy formation, so their extracted signal can help in understanding such formation processes and improving their theoretical modeling. We report in this Letter the first detection of the gravitational shear--intrinsic shape (GI) correlation and the intrinsic shape--galaxy density (Ig) correlation using the self-calibration method in a photometric redshift survey. These direct measurements are made from the KiDS-450 photometric galaxy survey with a significance of 3.65$\sigma$ in the third bin for the Ig correlation, and 3.51$\sigma$ for the GI cross-correlation between the third and fourth bins. The self-calibration method uses the information available from photometric surveys without needing to specify an IA model and will play an important role in validating IA models and IA mitigation in future surveys such as the Rubin Observatory Legacy Survey of Space and Time, Euclid, and WFIRST.


title: On the detection of stellar differential rotation based on the Fourier transform of spectral line profiles

abstract: It is known that stellar differential rotation can be detected by analyzing the Fourier transform of spectral line profiles, since the ratio of the 1st- and 2nd-zero frequencies is a useful indicator. This approach essentially relies on the conventional formulation that the observed flux profile is expressible as a convolution of the rotational broadning function and the intrinsic profile, which implicitly assumes that the local intensity profile does not change over disk. Although this postulation is unrealistic in the strict sense, how the result is affected by this approximation is still unclear. In order to examine this problem, profiles of several lines (showing different center-limb variations) were simulated using a model atmosphere corresponding to a mid-F dwarf by integrating intensity profiles for various combinations of vsini (rot. velocity), alpha (diff. degree), and i (inc. angle), and their Fourier transforms were computed to check whether zeros are detected at the predicted positions or not. For this comparison purpose, a large grid of standard rotational broadening functions and their transforms/zeros were also calculated. It turned out that the situation criticaly depends on vsini: In case of vsini>~20km/s where rotational broadening is predominant over other line broadening velocities (typically several km/s), the 1st/2nd zeros of the transform are confirmed almost at the expected positions. In contrast, deviations begin to appear as vsini is lowered, and the zero features of the transform are totally different from the expectation at vsini as low as ~10km/s, which means that the classical formulation is no more valid. Accordingly, while the zero-frequency approach is safely applicable to studying differential rotation in the former broader-line case, it would be difficult to practice for the latter sharp-line case.


title: Knowing What, How and Why: A Near Complete Solution for Aspect-based Sentiment Analysis

abstract: Target-based sentiment analysis or aspect-based sentiment analysis (ABSA) refers to addressing various sentiment analysis tasks at a fine-grained level, which includes but is not limited to aspect extraction, aspect sentiment classification, and opinion extraction. There exist many solvers of the above individual subtasks or a combination of two subtasks, and they can work together to tell a complete story, i.e. the discussed aspect, the sentiment on it, and the cause of the sentiment. However, no previous ABSA research tried to provide a complete solution in one shot. In this paper, we introduce a new subtask under ABSA, named aspect sentiment triplet extraction (ASTE). Particularly, a solver of this task needs to extract triplets (What, How, Why) from the inputs, which show WHAT the targeted aspects are, HOW their sentiment polarities are and WHY they have such polarities (i.e. opinion reasons). For instance, one triplet from "Waiters are very friendly and the pasta is simply average" could be ('Waiters', positive, 'friendly'). We propose a two-stage framework to address this task. The first stage predicts what, how and why in a unified model, and then the second stage pairs up the predicted what (how) and why from the first stage to output triplets. In the experiments, our framework has set a benchmark performance in this novel triplet extraction task. Meanwhile, it outperforms a few strong baselines adapted from state-of-the-art related methods.


title: Direct numerical simulation of the multimode narrowband Richtmyer-Meshkov instability

abstract: Early to intermediate time behaviour of the planar Richtmyer--Meshkov instability (RMI) is investigated through direct numerical simulation (DNS) of the evolution of a deterministic interfacial perturbation initiated by a $\textrm{Ma}=1.84$ shock. The model problem is the well studied initial condition from the recent $\theta$-group collaboration [Phys. Fluids. 29 (2017) 105107]. A grid convergence study demonstrates that the Kolmogorov microscales are resolved by the finest grid for the entire duration of the simulation, and that both integral and spectral quantities of interest are converged. Comparisons are made with implicit large eddy simulation (ILES) results from the $\theta$-group collaboration, generated using the same numerical algorithm. The total amount of turbulent kinetic energy (TKE) is shown to be decreased in the DNS compared to the ILES, particularly in the transverse directions, giving rise to a greater level of anisotropy in the flow (70\% vs. 40\% more TKE in the shock parallel direction at the latest time considered). This decrease in transfer of TKE to the transverse components is shown to be due to the viscous suppression of secondary instabilities. Overall the agreement in the large scales between the DNS and ILES is very good and hence the mixing width and growth rate exponent $\theta$ are very similar. There are substantial differences in the small scale behaviour however, with a 38\% difference observed in the minimum values obtained for the mixing fractions $\Theta$ and $\Xi$. Differences in the late time decay of TKE are also observed, with decay rates calculated to be $\tau^{-1.41}$ and $\tau^{-1.25}$ for the DNS and ILES respectively.


title: Ground-state properties of the hydrogen chain: insulator-to-metal transition, dimerization, and magnetic phases

abstract: Accurate and predictive computations of the quantum-mechanical behavior of many interacting electrons in realistic atomic environments are critical for the theoretical design of materials with desired properties, and require solving the grand-challenge problem of the many-electron Schrodinger equation. An infinite chain of equispaced hydrogen atoms is perhaps the simplest realistic model for a bulk material, embodying several central themes of modern condensed matter physics and chemistry, while retaining a connection to the paradigmatic Hubbard model. Here we report a combined application of cutting-edge computational methods to determine the properties of the hydrogen chain in its quantum-mechanical ground state. Varying the separation between the nuclei leads to a rich phase diagram, including a Mott phase with quasi long-range antiferromagnetic order, electron density dimerization with power-law correlations, an insulator-to-metal transition and an intricate set of intertwined magnetic orders.


title: Exceptional points in dissipatively coupled spin dynamics

abstract: We theoretically investigate dynamics of classical spins exchange-coupled through an isotropic medium. The coupling is treated at the adiabatic level of the medium's response, which mediates a first-order in frequency dissipative interaction along with an instantaneous Heisenberg exchange. The resultant damped spin precession yields exceptional points (EPs) in the coupled spin dynamics, which should be experimentally accessible with the existing magnetic heterostructures. In particular, we show that an EP is naturally approached in an antiferromagnetic dimer by controlling local damping, while the same is achieved by tuning the dissipative coupling between spins in the ferromagnetic case. Extending our treatment to one-dimensional spin chains, we show how EPs can emerge within the magnonic Brillouin zone by tuning the dissipative properties. The critical point, at which an EP pair emerges out of the Brillouin zone center, realizes a gapless Weyl point in the magnon spectrum. Tuning damping beyond this critical point produces synchronization (level attraction) of magnon modes over a finite range of momenta, both in ferro- and antiferromagnetic cases. We thus establish that damped magnons can generically yield singular points in their band structure, close to which their kinematic properties, such as group velocity, become extremely sensitive to the control parameters.


title: Dynamics of 2D topological quadrupole insulator and Chern insulator induced by real-space topological changes

abstract: The dynamics of two-dimensional (2D) topological quadrupole insulator (TQI) and Chern insulator (CI) after the real-space configuration is transformed from a cylinder or Mobius strip to open boundary condition (OBC) and vice versa is analyzed. Similar dynamics of both models are observed, but the quadrupole corner states of the TQI makes the signatures more prominent. After the systems transform from a cylinder or Mobius strip to OBC, the occupation of the corner state of the TQI and the edge state of the CI exhibits steady-state behavior. The steady-state values depend on the ramping rate of the configuration transformation, manifesting a type of quantum memory effect. On the other hand, oscillatory density ripples from the merging of edge states persist after the systems transform from OBC to a cylinder or Mobius strip. If the final configuration is a cylinder, the density ripples are along the edges of the cylinder. In contrast, the density ripples can traverse the bulk after the systems transform from OBC to a Mobius strip. The transformation of real-space topology thus can be inferred from the dynamical signatures of the topological edge states.


title: Discrete Argument Representation Learning for Interactive Argument Pair Identification

abstract: In this paper, we focus on extracting interactive argument pairs from two posts with opposite stances to a certain topic. Considering opinions are exchanged from different perspectives of the discussing topic, we study the discrete representations for arguments to capture varying aspects in argumentation languages (e.g., the debate focus and the participant behavior). Moreover, we utilize hierarchical structure to model post-wise information incorporating contextual knowledge. Experimental results on the large-scale dataset collected from CMV show that our proposed framework can significantly outperform the competitive baselines. Further analyses reveal why our model yields superior performance and prove the usefulness of our learned representations.


title: Adversarial Language Games for Advanced Natural Language Intelligence

abstract: We study the problem of adversarial language games, in which multiple agents with conflicting goals compete with each other via natural language interactions. While adversarial language games are ubiquitous in human activities, little attention has been devoted to this field in natural language processing. In this work, we propose a challenging adversarial language game called Adversarial Taboo as an example, in which an attacker and a defender compete around a target word. The attacker is tasked with inducing the defender to utter the target word invisible to the defender, while the defender is tasked with detecting the target word before being induced by the attacker. In Adversarial Taboo, a successful attacker must hide its intention and subtly induce the defender, while a competitive defender must be cautious with its utterances and infer the intention of the attacker. Such language abilities can facilitate many important downstream NLP tasks. To instantiate the game, we create a game environment and a competition platform. Comprehensive experiments and empirical studies on several baseline attack and defense strategies show promising and interesting results. Based on the analysis on the game and experiments, we discuss multiple promising directions for future research.


title: Incremental Sense Weight Training for the Interpretation of Contextualized Word Embeddings

abstract: We present a novel online algorithm that learns the essence of each dimension in word embeddings by minimizing the within-group distance of contextualized embedding groups. Three state-of-the-art neural-based language models are used, Flair, ELMo, and BERT, to generate contextualized word embeddings such that different embeddings are generated for the same word type, which are grouped by their senses manually annotated in the SemCor dataset. We hypothesize that not all dimensions are equally important for downstream tasks so that our algorithm can detect unessential dimensions and discard them without hurting the performance. To verify this hypothesis, we first mask dimensions determined unessential by our algorithm, apply the masked word embeddings to a word sense disambiguation task (WSD), and compare its performance against the one achieved by the original embeddings. Several KNN approaches are experimented to establish strong baselines for WSD. Our results show that the masked word embeddings do not hurt the performance and can improve it by 3%. Our work can be used to conduct future research on the interpretability of contextualized embeddings.


title: Riemann-Hilbert approach and soliton solutions for the higher-order dispersive nonlinear Schr\"{o}dinger equation with nonzero boundary conditions

abstract: In this work, the higher-order dispersive nonlinear Schr\"{o}dinger equation with non-zero boundary conditions at infinity is investigated including the simple and double zeros of the scattering coefficients. We introduce a appropriate Riemann surface and uniformization variable in order to deal with the double-valued functions occurring in the process of direct scattering. Then, the direct scattering problem is analyzed involving the analyticity, symmetries and asymptotic behaviors. Moreover, for the cases of simple and double poles, we study the discrete spectrum and residual conditions, trace foumulae and theta conditions and the inverse scattering problem which is solved via the Riemann-Hilbert method. Finally, for the both cases, we construct the soliton and breather solutions under the condition of reflection-less potentials. Some interesting phenomena of the soliton and breather solutions are analyzed graphically by considering the influences of each parameters.


title: Sparse Lifting of Dense Vectors: Unifying Word and Sentence Representations

abstract: As the first step in automated natural language processing, representing words and sentences is of central importance and has attracted significant research attention. Different approaches, from the early one-hot and bag-of-words representation to more recent distributional dense and sparse representations, were proposed. Despite the successful results that have been achieved, such vectors tend to consist of uninterpretable components and face nontrivial challenge in both memory and computational requirement in practical applications. In this paper, we designed a novel representation model that projects dense word vectors into a higher dimensional space and favors a highly sparse and binary representation of word vectors with potentially interpretable components, while trying to maintain pairwise inner products between original vectors as much as possible. Computationally, our model is relaxed as a symmetric non-negative matrix factorization problem which admits a fast yet effective solution. In a series of empirical evaluations, the proposed model exhibited consistent improvement and high potential in practical applications.


title: Faster Parallel Algorithm for Approximate Shortest Path

abstract: We present the first $m\,\text{polylog}(n)$ work, $\text{polylog}(n)$ time algorithm in the PRAM model that computes $(1+\epsilon)$-approximate single-source shortest paths on weighted, undirected graphs. This improves upon the breakthrough result of Cohen~[JACM'00] that achieves $O(m^{1+\epsilon_0})$ work and $\text{polylog}(n)$ time. While most previous approaches, including Cohen's, leveraged the power of hopsets, our algorithm builds upon the recent developments in \emph{continuous optimization}, studying the shortest path problem from the lens of the closely-related \emph{minimum transshipment} problem. To obtain our algorithm, we demonstrate a series of near-linear work, polylogarithmic-time reductions between the problems of approximate shortest path, approximate transshipment, and $\ell_1$-embeddings, and establish a recursive algorithm that cycles through the three problems and reduces the graph size on each cycle. As a consequence, we also obtain faster parallel algorithms for approximate transshipment and $\ell_1$-embeddings with polylogarithmic distortion. The minimum transshipment algorithm in particular improves upon the previous best $m^{1+o(1)}$ work sequential algorithm of Sherman~[SODA'17]. To improve readability, the paper is almost entirely self-contained, save for several staple theorems in algorithms and combinatorics.


title: Chiral algebras, factorization algebras, and Borcherds's "singular commutative rings" approach to vertex algebras

abstract: We recall Borcherds's approach to vertex algebras via "singular commutative rings", and introduce new examples of his constructions which we compare to vertex algebras, chiral algebras, and factorization algebras. We show that all vertex algebras (resp. chiral algebras or equivalently factorization algebras) can be realized in these new categories $\text{VA}(A,H,S)$, but we also show that the functors from $\text{VA}(A,H,S)$ to vertex algebras or chiral algebras are not equivalences: a single vertex or chiral algebra may have non-equivalent realizations as an $(A, H,S)$-vertex algebra.


title: Fully Coupled Two-Fluid Dynamics in Superfluid $^4$He: Anomalous Anisotropic Velocity Fluctuations in Counterflow

abstract: We investigate the thermal counterflow of the superfluid $^4$He by numerically simulating three-dimensional fully coupled dynamics of the two fluids, namely quantized vortices and a normal fluid. We analyze the velocity fluctuations of the laminar normal fluid arising from the mutual friction with the quantum turbulence of the superfluid component. The streamwise fluctuations exhibit higher intensity and longer-range autocorrelation, as compared to transverse ones. The anomalous fluctuations are consistent with visualization experiments [Mastracci et al., Phys. Rev. Fluids, Vol. 4, 083305 (2019)], and our results confirm their analysis with simple models on the anisotropic fluctuations. This success validates the model of the fully coupled dynamics and paves the way for solving some outstanding problems in this two-fluid system.


title: RNN-T For Latency Controlled ASR With Improved Beam Search

abstract: Neural transducer-based systems such as RNN Transducers (RNN-T) for automatic speech recognition (ASR) blend the individual components of a traditional hybrid ASR systems (acoustic model, language model, punctuation model, inverse text normalization) into one single model. This greatly simplifies training and inference and hence makes RNN-T a desirable choice for ASR systems. In this work, we investigate use of RNN-T in applications that require a tune-able latency budget during inference time. We also improved the decoding speed of the originally proposed RNN-T beam search algorithm. We evaluated our proposed system on English videos ASR dataset and show that neural RNN-T models can achieve comparable WER and better computational efficiency compared to a well tuned hybrid ASR baseline.


title: Spin-selective transmission through a single-stranded magnetic helix

abstract: Magnetic helix (MH) structure can be a role model for future spintronic devices. Utilizing the advantage of constructing possible magnetic configurations, in the present work first time we investigate spintronic behavior, to the best of our knowledge, in a helical geometry with finite magnetic ordering. The interplay between short-range and long-range hopping of electrons yields many non-trivial features which are thoroughly studied. Quite interestingly we see that the MH exhibits the strong chiral-induced spin selectivity effect, like what is observed in chiral molecules. Finally, to make the model more realistic we also examine the effect of helical dynamics. All the results are valid for a wide range of physical parameters, which prove the robustness of our analysis.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.soft physics.app-ph


title: Reduction of damped, driven Klein-Gordon equations into a discrete nonlinear Schr\"odinger equation: justification and numerical comparisons

abstract: We consider a discrete nonlinear Klein-Gordon equations with damping and external drive. Using a small amplitude ansatz, one usually approximates the equation using a damped, driven discrete nonlinear Schr\"odinger equation. Here, we show for the first time the justification of this approximation by finding the error bound using energy estimate. Additionally, we prove the local and global existence of the Schr\"odinger equation. Numerical simulations are performed that describe the analytical results. Comparisons between discrete breathers of the Klein-Gordon equation and discrete solitons of the discrete nonlinear Schr\"odinger equation are presented.


title: Pandora's Box with Correlations: Learning and Approximation

abstract: The Pandora's Box problem and its extensions capture optimization problems with stochastic input where the algorithm can obtain instantiations of input random variables at some cost. To our knowledge, all previous work on this class of problems assumes that different random variables in the input are distributed independently. As such it does not capture many real-world settings. In this paper, we provide the first approximation algorithms for Pandora's Box-type problems with correlations. We assume that the algorithm has access to samples drawn from the joint distribution on input. Algorithms for these problems must determine an order in which to probe random variables, as well as when to stop and return the best solution found so far. In general, an optimal algorithm may make both decisions adaptively based on instantiations observed previously. Such fully adaptive (FA) strategies cannot be efficiently approximated to within any sublinear factor with sample access. We therefore focus on the simpler objective of approximating partially adaptive (PA) strategies that probe random variables in a fixed predetermined order but decide when to stop based on the instantiations observed. We consider a number of different feasibility constraints and provide simple PA strategies that are approximately optimal with respect to the best PA strategy for each case. All of our algorithms have polynomial sample complexity. We further show that our results are tight within constant factors: better factors cannot be achieved even using the full power of FA strategies.


title: On the Importance of Location Privacy for Users of Location Based Applications

abstract: Do people care about their location privacy while using location-based service apps? This paper aims to answer this question and several other hypotheses through a survey, and review the privacy preservation techniques. Our results indicate that privacy is indeed an influential factor in the selection of location-based apps by users.


title: Optimal Liquidation in Target Zone Models and Neumann Problem of Backward SPDEs with Singular Terminal Condition

abstract: We study the optimal liquidation problems in target zone models using dynamic programming methods. Such control problems allow for stochastic differential equations with reflections and random coefficients. The value function is characterized with a Neumann problem of backward stochastic partial differential equations (BSPDEs) with singular terminal conditions. The existence and the uniqueness of strong solution to such BSPDEs are addressed, which in turn yields the optimal feedback control. In addition, the unique existence of strong solution to Neumann problem of general semilinear BSPDEs in finer functions space, a comparison theorem, and a new link between forward-backward stochastic differential equations and BSPDE are proved as well.


title: Emotional speech synthesis with rich and granularized control

abstract: This paper proposes an effective emotion control method for an end-to-end text-to-speech (TTS) system. To flexibly control the distinct characteristic of a target emotion category, it is essential to determine embedding vectors representing the TTS input. We introduce an inter-to-intra emotional distance ratio algorithm to the embedding vectors that can minimize the distance to the target emotion category while maximizing its distance to the other emotion categories. To further enhance the expressiveness of a target speech, we also introduce an effective interpolation technique that enables the intensity of a target emotion to be gradually changed to that of neutral speech. Subjective evaluation results in terms of emotional expressiveness and controllability show the superiority of the proposed algorithm to the conventional methods.


title: Probabilities of unranked and ranked anomaly zones under birth-death models

abstract: A labeled gene tree topology that is more probable than the labeled gene tree topology matching a species tree is called \textit{anomalous}. Species trees that can generate such anomalous gene trees are said to be in the \textit{anomaly zone}. Here, probabilities of \textit{unranked} and \textit{ranked} gene tree topologies under the multispecies coalescent are considered. A ranked tree depicts not only the topological relationship among gene lineages, as an unranked tree does, but also the sequence in which the lineages coalesce. In this article, we study how the parameters of a species tree simulated under a constant rate birth-death process can affect the probability that the species tree lies in the anomaly zone. We find that with more than five taxa, it is possible for species trees have both AGTs and ARGTs. The probability of being in either type of anomaly zones increases with more taxa. The probability of AGTs also increases with higher speciation rates. We observe that the probabilities of unranked anomaly zones are higher and grow much faster than those of ranked anomaly zones as the speciation rate increases. Our simulation shows that the most probable ranked gene tree is likely to have the same unranked topology as the species tree. We design the software {\it PRANC} which computes probabilities of ranked gene tree topologies given a species tree under the coalescent model.


title: On Approximation of $2$D Persistence Modules by Interval-decomposables

abstract: In this work, we propose a new invariant for $2$D persistence modules called the compressed multiplicity and show that it generalizes the notions of the dimension vector and the rank invariant. In addition, for a $2$D persistence module $M$, we propose an "interval-decomposable replacement" $\delta^{\ast}(M)$ (in the split Grothendieck group of the category of persistence modules), which is expressed by a pair of interval-decomposable modules, that is, its positive and negative parts. We show that $M$ is interval-decomposable if and only if $\delta^{\ast}(M)$ is equal to $M$ in the split Grothendieck group. Furthermore, even for modules $M$ not necessarily interval-decomposable, $\delta^{\ast}(M)$ preserves the dimension vector and the rank invariant of $M$. In addition, we provide an algorithm to compute $\delta^{\ast}(M)$ (a high-level algorithm in the general case, and a detailed algorithm for the size $2\times n$ case).


title: Extended Kalman Filter Beam Tracking for Millimeter Wave Vehicular Communications

abstract: Millimeter-wave (mmWave) communication is a promising technology to meet the ever-growing data traffic of vehicular communications. Unfortunately, more frequent channel estimations are required in this spectrum due to the narrow beams employed to compensate for the high path loss. Hence, the development of highly efficient beam tracking algorithms is essential to enable the technology, particularly for fast-changing environments in vehicular communications. In this paper, we propose an innovative scheme for beam tracking based on the Extended Kalman Filter (EKF), improving the mean square error performance by 49% in vehicular settings. We propose to use the position, velocity, and channel coefficient as state variables of the EKF algorithm and show that such an approach results in improved beam tracking with low computational complexity by taking the kinematic characteristics of the system into account. We also explicitly derive the closed-from expressions for the Jacobian matrix of the EKF algorithm.


title: Macro-coherent radiative emission of neutrino pair between parity-even atomic states

abstract: A new scheme to determine the neutrino mass matrix is proposed using atomic de-excitation between two states of a few eV energy spacing. The determination of the smallest neutrino mass of the order of 1 meV and neutrino mass type, Majorana or Dirac, becomes possible, if one can coherently excite more than 1 gram of atoms using two lasers.


title: Quantum Holographic Entanglement Entropy to All Orders in $1/N$ Expansion

abstract: We study holographic entanglement entropy in four-dimensional quantum gravity with negative cosmological constant. By using the replica trick and evaluating path integrals in the minisuperspace approximation, in conjunction with the Wheeler-DeWitt equation, we compute quantum corrections to the holographic entanglement entropy for a circular entangling surface on the boundary three sphere. Similarly to our previous work on the sphere partition function, the path integrals are dominated by a replica version of asymptotically AdS conic geometries at saddle points. As expected from a general CFT argument, the final result is minus the free energy on the three sphere which agrees with the logarithm of the Airy partition function for the ABJM theory that sums up all perturbative $1/N$ corrections despite the absence of supersymmetries. The all-order holographic entanglement entropy cleanly splits into two parts, (1) the $1/N$-corrected Ryu-Takayanagi minimal surface area and (2) the bulk entanglement entropy across the minimal surface, as suggested in the earlier literature. It is explicitly shown that the former comes from the localized conical singularity of the replica geometries and the latter from the replication of the bulk volume.


title: New Potential-Based Bounds for Prediction with Expert Advice

abstract: This work addresses the classic machine learning problem of online prediction with expert advice. We consider the finite-horizon version of this zero-sum, two-person game. Using verification arguments from optimal control theory, we view the task of finding better lower and upper bounds on the value of the game (regret) as the problem of finding better sub- and supersolutions of certain partial differential equations (PDEs). These sub- and supersolutions serve as the potentials for player and adversary strategies, which lead to the corresponding bounds. To get explicit bounds, we use closed-form solutions of specific PDEs. Our bounds hold for any given number of experts and horizon; in certain regimes (which we identify) they improve upon the previous state of the art. For two and three experts, our bounds provide the optimal leading order term.


title: Role of Quantum Optics in Synthesizing Quantum Mechanics and Relativity

abstract: Two-photon states produce enough symmetry needed for Dirac's construction of the two-oscillator system which produces the Lie algebra for the O(3,2) space-time symmetry. This O(3,2) group can be contracted to the inhomogeneous Lorentz group which, according to Dirac, serves as the basic space-time symmetry for quantum mechanics in the Lorentz-covariant world. Since the harmonic oscillator serves as the language of Heisenberg's uncertainty relations, it is right to say that the symmetry of the Lorentz-covariant world, with Einstein's $E = mc^2$, is derivable from Heisenberg's uncertainty relations.


title: Identifiable Acetylene Features Predicted for Young Earth-like Exoplanets with Reducing Atmospheres undergoing Heavy Bombardment

abstract: The chemical environments of young planets are assumed to be largely influenced by impacts of bodies lingering on unstable trajectories after the dissolution of the protoplanetary disk. We explore the chemical consequences of impacts within the context of reducing planetary atmospheres dominated by carbon monoxide, methane and molecular nitrogen. A terawatt high-power laser was selected in order to simulate the airglow plasma and blast wave surrounding the impactor. The chemical results of these experiments are then applied to a theoretical atmospheric model. The impact simulation results in substantial volume mixing ratios within the reactor of 5% hydrogen cyanide (HCN), 8% acetylene (C$_2$H$_2$), 5% cyanoacetylene (HC$_3$N) and 1% ammonia (NH$_3$). These yields are combined with estimated impact rates for the Early Earth to predict surface boundary conditions for an atmospheric model. We show that impacts might have served as sources of energy that would have led to steady-state surface quantities of 0.4% C$_2$H$_2$, 400 ppm HCN and 40 ppm NH$_3$. We provide simulated transit spectra for an Earth-like exoplanet with this reducing atmosphere during and shortly after eras of intense impacts. We predict that acetylene is as observable as other molecular features on exoplanets with reducing atmospheres that have recently gone through their own `Heavy Bombardments', with prominent features at 3.05 $\mu$m and 10.5 $\mu$m.


title: Fast Multiple Pattern Cartesian Tree Matching

abstract: Cartesian tree matching is the problem of finding all substrings in a given text which have the same Cartesian trees as that of a given pattern. In this paper, we deal with Cartesian tree matching for the case of multiple patterns. We present two fingerprinting methods, i.e., the parent-distance encoding and the binary encoding. By combining an efficient fingerprinting method and a conventional multiple string matching algorithm, we can efficiently solve multiple pattern Cartesian tree matching. We propose three practical algorithms for multiple pattern Cartesian tree matching based on the Wu-Manber algorithm, the Rabin-Karp algorithm, and the Alpha Skip Search algorithm, respectively. In the experiments we compare our solutions against the previous algorithm [18]. Our solutions run faster than the previous algorithm as the pattern lengths increase. Especially, our algorithm based on Wu-Manber runs up to 33 times faster.


title: Controlled quantum operations and combs, and their applications to universal controllization of divisible unitary operations

abstract: Unitary operations are a fundamental component of quantum algorithms, but they seem to be far more useful if given with a "quantum control" as a controlled unitary operation. However, quantum operations are not limited to unitary operations. Nevertheless, it is not a priori clear if a controlled form of these general deterministic quantum operations can be well-defined. To provide a novel tool in the toolbox for quantum programming, we propose a mathematically consistent definition of a controlled form of deterministic but non-unitary quantum operations and, more generally, of quantum combs. We propose a "neutralization" comb, which transforms a set of input quantum operations to the identity operation, and study its controlled form based on our definition. We propose two new quantum algorithms for universal controllization of divisible unitary operations utilizing the most coherently controlled neutralization combs.


title: Dynamics of two-level atom interaction with single-mode field

abstract: In this paper, the dynamics of fluorescent light emitted by a two-level atom interacts with squeezed vacuum reservoir is studied wisely using two-time correlation function fundamentals. The mathematical analysis shows the fluorescent spectrum of light emitted by the atom is turned out to be a single peak at a Lorentz's frequency. On the other hand, the squeezed vacuum reservoir input is responsible to the stimulated emission of photon from the atom. Moreover, it is identified that thermal reservoir is more efficient than squeezed vacuum reservoir to have valuable power spectrum.


title: Sufficient optimality conditions in bilevel programming

abstract: This paper is concerned with the derivation of first- and second-order sufficient optimality conditions for optimistic bilevel optimization problems involving smooth functions. First-order sufficient optimality conditions are obtained by estimating the tangent cone to the feasible set of the bilevel program in terms of initial problem data. This is done by exploiting several different reformulations of the hierarchical model as a single-level problem. To obtain second-order sufficient optimality conditions, we exploit the so-called value function reformulation of the bilevel optimization problem, which is then tackled with the aid of second-order directional derivatives. The resulting conditions can be stated in terms of initial problem data in several interesting situations comprising the settings where the lower level is linear or possesses strongly stable solutions.


title: A Deep Gradient Boosting Network for Optic Disc and Cup Segmentation

abstract: Segmentation of optic disc (OD) and optic cup (OC) is critical in automated fundus image analysis system. Existing state-of-the-arts focus on designing deep neural networks with one or multiple dense prediction branches. Such kind of designs ignore connections among prediction branches and their learning capacity is limited. To build connections among prediction branches, this paper introduces gradient boosting framework to deep classification model and proposes a gradient boosting network called BoostNet. Specifically, deformable side-output unit and aggregation unit with deep supervisions are proposed to learn base functions and expansion coefficients in gradient boosting framework. By stacking aggregation units in a deep-to-shallow manner, models' performances are gradually boosted along deep to shallow stages. BoostNet achieves superior results to existing deep OD and OC segmentation networks on the public dataset ORIGA.


title: Study of Constrained Network Structures for WGANs on Numeric Data Generation

abstract: Some recent studies have suggested using GANs for numeric data generation such as to generate data for completing the imbalanced numeric data. Considering the significant difference between the dimensions of the numeric data and images, as well as the strong correlations between features of numeric data, the conventional GANs normally face an overfitting problem, consequently leads to an ill-conditioning problem in generating numeric and structured data. This paper studies the constrained network structures between generator G and discriminator D in WGAN, designs several structures including isomorphic, mirror and self-symmetric structures. We evaluates the performances of the constrained WGANs in data augmentations, taking the non-constrained GANs and WGANs as the baselines. Experiments prove the constrained structures have been improved in 17/20 groups of experiments. In twenty experiments on four UCI Machine Learning Repository datasets, Australian Credit Approval data, German Credit data, Pima Indians Diabetes data and SPECT heart data facing five conventional classifiers. Especially, Isomorphic WGAN is the best in 15/20 experiments. Finally, we theoretically proves that the effectiveness of constrained structures by the directed graphic model (DGM) analysis.


title: Eulerian polynomials for subarrangements of Weyl arrangements

abstract: Let $\mathcal{A}$ be a Weyl arrangement. We introduce and study the notion of $\mathcal{A}$-Eulerian polynomial producing an Eulerian-like polynomial for any subarrangement of $\mathcal{A}$. This polynomial together with shift operator describe how the characteristic quasi-polynomial of a new class of arrangements containing ideal subarrangements of $\mathcal{A}$ can be expressed in terms of the Ehrhart quasi-polynomial of the fundamental alcove. The method can also be extended to define two types of deformed Weyl subarrangements containing the families of the extended Shi, Catalan, Linial arrangements and to compute their characteristic quasi-polynomials. We obtain several known results in the literature as specializations, including the formula of the characteristic polynomial of $\mathcal{A}$ via Ehrhart theory due to Athanasiadis (1996), Blass-Sagan (1998), Suter (1998) and Kamiya-Takemura-Terao (2010); and the formula relating the number of coweight lattice points in the fundamental parallelepiped with the Lam-Postnikov Eulerian polynomial due to the third author.


title: Weighted Min-Cut: Sequential, Cut-Query and Streaming Algorithms

abstract: Consider the following 2-respecting min-cut problem. Given a weighted graph $G$ and its spanning tree $T$, find the minimum cut among the cuts that contain at most two edges in $T$. This problem is an important subroutine in Karger's celebrated randomized near-linear-time min-cut algorithm [STOC'96]. We present a new approach for this problem which can be easily implemented in many settings, leading to the following randomized min-cut algorithms for weighted graphs. * An $O(m\frac{\log^2 n}{\log\log n} + n\log^6 n)$-time sequential algorithm: This improves Karger's $O(m \log^3 n)$ and $O(m\frac{(\log^2 n)\log (n^2/m)}{\log\log n} + n\log^6 n)$ bounds when the input graph is not extremely sparse or dense. Improvements over Karger's bounds were previously known only under a rather strong assumption that the input graph is simple [Henzinger et al. SODA'17; Ghaffari et al. SODA'20]. For unweighted graphs with parallel edges, our bound can be improved to $O(m\frac{\log^{1.5} n}{\log\log n} + n\log^6 n)$. * An algorithm requiring $\tilde O(n)$ cut queries to compute the min-cut of a weighted graph: This answers an open problem by Rubinstein et al. ITCS'18, who obtained a similar bound for simple graphs. * A streaming algorithm that requires $\tilde O(n)$ space and $O(\log n)$ passes to compute the min-cut: The only previous non-trivial exact min-cut algorithm in this setting is the 2-pass $\tilde O(n)$-space algorithm on simple graphs [Rubinstein et al., ITCS'18] (observed by Assadi et al. STOC'19). In contrast to Karger's 2-respecting min-cut algorithm which deploys sophisticated dynamic programming techniques, our approach exploits some cute structural properties so that it only needs to compute the values of $\tilde O(n)$ cuts corresponding to removing $\tilde O(n)$ pairs of tree edges, an operation that can be done quickly in many settings.


title: IR- and visible- light single photon detection in superconducting $MgB_{2}$ nanowires

abstract: State-of-the-art Superconducting Nanowire Single Photon Detectors based on low-Tc materials reach 100% quantum efficiency. However, the response time is limited to >1-10 ns. Recently, it has been shown that due to a much lower kinetic inductance, a 100 ps response rate can be achieved in 120 $\mu$m-long $MgB_{2}$ nanowires. In this work, we demonstrate experimentally that such $MgB_{2}$ nanowires function as single-photon detectors for both visible ($\lambda$= 630 nm) and infrared ($\lambda$= 1550 nm) photons when biased close to the critical current, with a dark count rate of <10 cps. $MgB_{2}$ photodetectors over-perform NbN SNSPDs in speed by at least an order of magnitude for similar nanowire lengths. Such photodetectors offer a platform for single-photon detectors with a long thought-after combination of a large detector area and a response rate of up to 10 GHz with a single readout line.


title: The Dirichlet problem for the uniformly higher-order elliptic equations in generalized weighted Sobolev-Morrey spaces

abstract: A priori estimates for the weak solutions the Dirichlet problem for the uniformly higher-order elliptic equations in a smooth bounded domain $\Omega\subset \Rn$ in generalized weighted Sobolev-Morrey spaces are obtained.


title: Detecting Point Outliers Using Prune-based Outlier Factor (PLOF)

abstract: Outlier detection (also known as anomaly detection or deviation detection) is a process of detecting data points in which their patterns deviate significantly from others. It is common to have outliers in industry applications, which could be generated by different causes such as human error, fraudulent activities, or system failure. Recently, density-based methods have shown promising results, particularly among which Local Outlier Factor (LOF) is arguably dominating. However, one of the major drawbacks of LOF is that it is computationally expensive. Motivated by the mentioned problem, this research presents a novel pruning-based procedure in which the execution time of LOF is reduced while the performance is maintained. A novel Prune-based Local Outlier Factor (PLOF) approach is proposed, in which prior to employing LOF, outlierness of each data instance is measured. Next, based on a threshold, data instances that require further investigation are separated and LOF score is only computed for these points. Extensive experiments have been conducted and results are promising. Comparison experiments with the original LOF and two state-of-the-art variants of LOF have shown that PLOF produces higher accuracy and precision while reducing execution time.


title: High Fidelity Video Prediction with Large Stochastic Recurrent Neural Networks

abstract: Predicting future video frames is extremely challenging, as there are many factors of variation that make up the dynamics of how frames change through time. Previously proposed solutions require complex inductive biases inside network architectures with highly specialized computation, including segmentation masks, optical flow, and foreground and background separation. In this work, we question if such handcrafted architectures are necessary and instead propose a different approach: finding minimal inductive bias for video prediction while maximizing network capacity. We investigate this question by performing the first large-scale empirical study and demonstrate state-of-the-art performance by learning large models on three different datasets: one for modeling object interactions, one for modeling human motion, and one for modeling car driving.


title: Diffusion-limited reactions in dynamic heterogeneous media

abstract: Most biochemical reactions in living cells rely on diffusive search for target molecules or regions in a heterogeneous overcrowded cytoplasmic medium. Rapid re-arrangements of the medium constantly change the effective diffusivity felt locally by a diffusing particle and thus impact the distribution of the first-passage time to a reaction event. Here, we investigate the effect of these dynamic spatio-temporal heterogeneities onto diffusion-limited reactions. We describe a general mathematical framework to translate many results for ordinary homogeneous Brownian motion to heterogeneous diffusion. In particular, we derive the probability density of the first-passage time to a reaction event and show how the dynamic disorder broadens the distribution and increases the likelihood of both short and long trajectories to reactive targets. While the disorder slows down reaction kinetics on average, its dynamic character is beneficial for a faster search and realization of an individual reaction event triggered by a single molecule.


title: Nonlinear Schr\"odinger equation with bounded magnetic field

abstract: The paper studies existence of solutions for the nonlinear Schr\"odinger equation with a general bounded external magnetic field. In particular, no lattice periodicity of the magnetic field or presence of external electric field is required. Solutions are obtained by means of a general structural statement about bounded sequences in the magnetic Sobolev space.


title: Joint Ranking SVM and Binary Relevance with Robust Low-Rank Learning for Multi-Label Classification

abstract: Multi-label classification studies the task where each example belongs to multiple labels simultaneously. As a representative method, Ranking Support Vector Machine (Rank-SVM) aims to minimize the Ranking Loss and can also mitigate the negative influence of the class-imbalance issue. However, due to its stacking-style way for thresholding, it may suffer error accumulation and thus reduces the final classification performance. Binary Relevance (BR) is another typical method, which aims to minimize the Hamming Loss and only needs one-step learning. Nevertheless, it might have the class-imbalance issue and does not take into account label correlations. To address the above issues, we propose a novel multi-label classification model, which joints Ranking support vector machine and Binary Relevance with robust Low-rank learning (RBRL). RBRL inherits the ranking loss minimization advantages of Rank-SVM, and thus overcomes the disadvantages of BR suffering the class-imbalance issue and ignoring the label correlations. Meanwhile, it utilizes the hamming loss minimization and one-step learning advantages of BR, and thus tackles the disadvantages of Rank-SVM including another thresholding learning step. Besides, a low-rank constraint is utilized to further exploit high-order label correlations under the assumption of low dimensional label space. Furthermore, to achieve nonlinear multi-label classifiers, we derive the kernelization RBRL. Two accelerated proximal gradient methods (APG) are used to solve the optimization problems efficiently. Extensive comparative experiments with several state-of-the-art methods illustrate a highly competitive or superior performance of our method RBRL.


title: JT gravity, KdV equations and macroscopic loop operators

abstract: We study the thermal partition function of Jackiw-Teitelboim (JT) gravity in asymptotically Euclidean $AdS_2$ background using the matrix model description recently found by Saad, Shenker and Stanford [arXiv:1903.11115]. We show that the partition function of JT gravity is written as the expectation value of a macroscopic loop operator in the old matrix model of 2d gravity in the background where infinitely many couplings are turned on in a specific way. Based on this expression we develop a very efficient method of computing the partition function in the genus expansion as well as in the low temperature expansion by making use of the Korteweg-de Vries constraints obeyed by the partition function. We have computed both these expansions up to very high orders using this method. It turns out that we can take a low temperature limit with the ratio of the temperature and the genus counting parameter held fixed. We find the first few orders of the expansion of the free energy in a closed form in this scaling limit. We also study numerically the behavior of the eigenvalue density and the Baker-Akhiezer function using the results in the scaling limit.


title: The thermal-radiative wind in low mass X-ray binary H 1743-322: II. iron line predictions from Monte Carlo radiation transfer

abstract: We show the best current simulations of the absorption and emission features predicted from thermal-radiative winds produced from X-ray illumination of the outer accretion disc in binary systems. We use the density and velocity structure derived from a radiation hydrodynamic code as input to a Monte-Carlo radiation transport calculation. The initial conditions are matched to those of the black hole binary system H1743-322 in its soft, disc dominated state, where wind features are seen in Chandra grating data. Our simulation fits well to the observed line profile, showing that these physical wind models can be the origin of the absorption features seen, rather than requiring a magnetically driven wind. We show how the velocity structure is the key observable discriminator between magnetic and thermal winds. Magnetic winds are faster at smaller radii, whereas thermal winds transition to a static atmosphere at smaller radii. New data from XRISM (due for launch Jan 2022) will give an unprecedented view of the physics of the wind launch and acceleration processes, but the existence of static atmospheres in small disc systems already rules out magnetic winds which assume self-similar magnetic fields from the entire disc as the origin of the absorption features seen.


title: Inflaton Clusters and Inflaton Stars

abstract: In a broad class of scenarios, inflation is followed by an extended era of matter-dominated expansion during which the inflaton condensate is nonrelativistic on subhorizon scales. During this phase density perturbations grow to the point of nonlinearity and collapse into bound structures. This epoch strongly resembles structure formation with ultra-light axion-like particles. This parallel permits us to adapt results from studies of cosmological structure formation to describe the nonlinear dynamics of this post-inflationary epoch. We show that the inflaton condensate fragments into "inflaton clusters", analogues of axion dark matter halos in present-day cosmology. Moreover, solitonic objects or "inflaton stars" can form inside these clusters, leading to density contrasts as large as $10^6$ in the post-inflationary universe.


title: Discrete logarithm and Diffie-Hellman problems in identity black-box groups

abstract: We investigate the computational complexity of the discrete logarithm, the computational Diffie-Hellman and the decisional Diffie-Hellman problems in some identity black-box groups G_{p,t}, where p is a prime number and t is a positive integer. These are defined as quotient groups of vector space Z_p^{t+1} by a hyperplane H given through an identity oracle. While in general black-box groups with unique encoding these computational problems are classically all hard and quantumly all easy, we find that in the groups G_{p,t} the situation is more contrasted. We prove that while there is a polynomial time probabilistic algorithm to solve the decisional Diffie-Hellman problem in $G_{p,1}$, the probabilistic query complexity of all the other problems is Omega(p), and their quantum query complexity is Omega(sqrt(p)). Our results therefore provide a new example of a group where the computational and the decisional Diffie-Hellman problems have widely different complexity.


title: A Heuristic Algorithm Based on Tour Rebuilding Operator for the Traveling Salesman Problem

abstract: TSP (Traveling Salesman Problem), a classic NP-complete problem in combinatorial optimization, is of great significance in multiple fields. Exact algorithms for TSP are not practical due to their exponential time cost. Thus, approximate algorithms become the research focus and can be further divided into two types, tour construction algorithms and tour improvement algorithms. Researches show that the latter type of algorithms can obtain better solutions than the former one. However, traditional tour improvement algorithms have shortcomings. They converge very slowly and tend to be trapped in local optima. In practice, tour construction algorithms are often used in initialization of tour improvement algorithms to speed up convergence. Nevertheless, such a combination leads to no improvement on quality of solutions. In this paper, a heuristic algorithm based on the new tour rebuilding operator is proposed. The algorithm features rapid convergence and powerful global search. In the experiments based on 40 instances in TSPLIB, the best known solutions of 22 instances are refreshed by the proposed method. Meanwhile, the best known solutions of the other 18 instances are obtained.