title: On the Resource Utilization of Multi-Connectivity Transmission for URLLC Services in 5G New Radio

abstract: Multi-connectivity with packet duplication, where the same data packet is duplicated and transmitted from multiple transmitters, is proposed in 5G New Radio as a reliability enhancement feature. This paper presents an analytical study of the outage probability enhancement with multi-connectivity, and analyses its cost in terms of resource usage. The performance analysis is further compared against conventional single-connectivity transmission. Our analysis shows that, for transmission with a given block error rate target, multi-connectivity results in more than an order of magnitude outage probability improvement over the baseline single-connectivity scheme. However, such gains are achieved at the cost of almost doubling the amount of radio resources used. Multi-connectivity should thus be selectively used such that its benefits can be harnessed for critical users, while the price to pay in terms of resource utilization is simultaneously minimized.


title: 3D Shape Synthesis for Conceptual Design and Optimization Using Variational Autoencoders

abstract: We propose a data-driven 3D shape design method that can learn a generative model from a corpus of existing designs, and use this model to produce a wide range of new designs. The approach learns an encoding of the samples in the training corpus using an unsupervised variational autoencoder-decoder architecture, without the need for an explicit parametric representation of the original designs. To facilitate the generation of smooth final surfaces, we develop a 3D shape representation based on a distance transformation of the original 3D data, rather than using the commonly utilized binary voxel representation. Once established, the generator maps the latent space representations to the high-dimensional distance transformation fields, which are then automatically surfaced to produce 3D representations amenable to physics simulations or other objective function evaluation modules. We demonstrate our approach for the computational design of gliders that are optimized to attain prescribed performance scores. Our results show that when combined with genetic optimization, the proposed approach can generate a rich set of candidate concept designs that achieve prescribed functional goals, even when the original dataset has only a few or no solutions that achieve these goals.


title: Cross-Lingual Sentiment Quantification

abstract: \emph{Sentiment Quantification} (i.e., the task of estimating the relative frequency of sentiment-related classes -- such as \textsf{Positive} and \textsf{Negative} -- in a set of unlabelled documents) is an important topic in sentiment analysis, as the study of sentiment-related quantities and trends across a population is often of higher interest than the analysis of individual instances. In this work we propose a method for \emph{Cross-Lingual Sentiment Quantification}, the task of performing sentiment quantification when training documents are available for a source language $\mathcal{S}$ but not for the target language $\mathcal{T}$ for which sentiment quantification needs to be performed. Cross-lingual sentiment quantification (and cross-lingual \emph{text} quantification in general) has never been discussed before in the literature; we establish baseline results for the binary case by combining state-of-the-art quantification methods with methods capable of generating cross-lingual vectorial representations of the source and target documents involved. We present experimental results obtained on publicly available datasets for cross-lingual sentiment classification; the results show that the presented methods can perform cross-lingual sentiment quantification with a surprising level of accuracy.


title: Subframe resource optimization for massive machine device access in LTE networks

abstract: Synchronous massive machine device access can lead to severe congestion in the random access channel (RACH) of LTE networks. With scarce frequency resources, effective means must be developed to combat this key challenge. In this letter, the efficient allocation of frequency resources is considered as an optimization problem to be solved with a utility function. Based on this and a method of estimating the number of machine devices, an adaptive subframe allocation scheme is proposed. Numerical and simulation results verify the effectiveness of the proposed frame adaptation scheme in combating RACH congestion.


title: Are State-of-the-art Visual Place Recognition Techniques any Good for Aerial Robotics?

abstract: Visual Place Recognition (VPR) has seen significant advances at the frontiers of matching performance and computational superiority over the past few years. However, these evaluations are performed for ground-based mobile platforms and cannot be generalized to aerial platforms. The degree of viewpoint variation experienced by aerial robots is complex, with their processing power and on-board memory limited by payload size and battery ratings. Therefore, in this paper, we collect $8$ state-of-the-art VPR techniques that have been previously evaluated for ground-based platforms and compare them on $2$ recently proposed aerial place recognition datasets with three prime focuses: a) Matching performance b) Processing power consumption c) Projected memory requirements. This gives a birds-eye view of the applicability of contemporary VPR research to aerial robotics and lays down the the nature of challenges for aerial-VPR.


title: On Mathematical Ways of Knowing

abstract: Mathematics is one of the ways our species makes sense of this world and I believe that it is inherent in our thinking machinery. The mathematics we do in turn is dependent on the way we view our universe and ourselves. Lakoff and Nunez [17] argue carefully and eloquently for a mathematics inherently based on human cognition. In this note I attempt to engage with the construct of mathematical cognition through the lens of humanistic mathematics.


title: DNN Architecture for High Performance Prediction on Natural Videos Loses Submodule's Ability to Learn Discrete-World Dataset

abstract: Is cognition a collection of loosely connected functions tuned to different tasks, or can there be a general learning algorithm? If such an hypothetical general algorithm did exist, tuned to our world, could it adapt seamlessly to a world with different laws of nature? We consider the theory that predictive coding is such a general rule, and falsify it for one specific neural architecture known for high-performance predictions on natural videos and replication of human visual illusions: PredNet. Our results show that PredNet's high performance generalizes without retraining on a completely different natural video dataset. Yet PredNet cannot be trained to reach even mediocre accuracy on an artificial video dataset created with the rules of the Game of Life (GoL). We also find that a submodule of PredNet, a Convolutional Neural Network trained alone, reaches perfect accuracy on the GoL while being mediocre for natural videos, showing that PredNet's architecture itself is responsible for both the high performance on natural videos and the loss of performance on the GoL. Just as humans cannot predict the dynamics of the GoL, our results suggest that there might be a trade-off between high performance on sensory inputs with different sets of rules.


title: Economic Analysis of Rollover and Shared Data Plans

abstract: In today's growing data market, wireless service providers (WSPs) compete severely to attract users by announcing innovative data plans. Two of the most popular innovative data plans are rollover and shared data plans, where the former plan allows a user to keep his unused data quota to next month and the latter plan allows users in a family to share unused data. As a pioneer to provide such data plans, a WSP faces immediate revenue loss from existing users who pay less overage charges due to less data over-usage, but his market share increases gradually by attracting new users and those under the other WSPs. In some countries, WSPs have asymmetric timing for providing such innovative data plans, while some other markets' WSPs have symmetric timing or no planning. This raises the question of why and when the competitive WSPs should offer the new data plans. This paper provides game theoretic modelling and analysis of the WSPs' timing of offering innovative data plans, by considering new user arrival and dynamic user churn between WSPs. Our equilibrium analysis shows that the WSP with small market share prefers to announce the innovative data plan first to attract more users, while the WSP with large market share prefers to announce later to avoid the immediate revenue loss. In a market with many new users, WSPs with similar market shares will offer the data plans simultaneously, but these WSPs facing few new users may not offer any new plan. Perhaps surprisingly, WSPs' profits can decrease with new user number and they may not benefit from the option of innovative data plans. Finally, unlike rollover data plan, we show that the timing of shared data plan further depends on the composition of users.


title: Experimental Demonstration of Staggered CAP Modulation for Low Bandwidth Red-Emitting Polymer-LED based Visible Light Communications

abstract: In this paper we experimentally demonstrate, for the first time, staggered carrier-less amplitude and phase (sCAP) modulation for visible light communication systems based on polymer light-emitting diodes emitting at ~639 nm. The key advantage offered by sCAP in comparison to conventional multiband CAP is its full use of the available spectrum. In this work, we compare sCAP, which utilises four orthogonal filters to generate the signal, with a conventional 4-band multi-CAP system and on-off keying (OOK). We transmit each modulation format with equal energy and present a record un-coded transmission speed of ~6 Mb/s. This represents gains of 25% and 65% over the achievable rate using 4-CAP and OOK, respectively.


title: Vehicle Detection and Classification using LTE-CommSense

abstract: We demonstrated a vehicle detection and classification method based on Long Term Evolution (LTE) communication infrastructure based environment sensing instrument, termed as LTE-CommSense by the authors. This technology is a novel passive sensing system which focuses on the reference signals embedded in the sub-frames of LTE resource grid. It compares the received signal with the expected reference signal, extracts the evaluated channel state information (CSI) and analyzes it to estimate the change in the environment. For vehicle detection and subsequent classification, our setup is similar to a passive radar in forward scattering radar (FSR) mode. Instead of performing the radio frequency (RF) signals directly, we take advantage of the processing that happens in a LTE receiver user equipment (UE). We tap into the channel estimation and equalization block and extract the CSI value. CSI value reflects the property of the communication channel between communication base station (eNodeB) and UE. We use CSI values for with and vehicle and without vehicle case in outdoor open road environment. Being a receiver only system, there is no need for any transmission and related regulations. Therefore, this system is low cost, power efficient and difficult to detect. Also, most of its processing will be done by the existing LTE communication receiver (UE). In this paper, we establish our claim by analyzing field-collected data. Live LTE downlink (DL) signal is captured using modeled LTE UE using software defined radio (SDR). The detection analysis and classification performance shows promising results and ascertains that, LTE-CommSense is capable of detection and classification of different types of vehicles in outdoor road environment.


title: Performances of C-V2X Communication on Highway under Varying Channel Propagation Models

abstract: In recent decades, both the industry and the academy society are sparing no efforts to develop and standardize the Cellular-Vehicle-to-Everything (C-V2X) communication which is one of the prominent emerging services of the next generation of wireless network (5G). C-V2X communication is used for information exchange among the traffic participants with network-assisted which can reduce traffic accidents and improve traffic efficiency. And it is also the primary enabler for cooperative driving. But C-V2X communication has to meet different Quality of Service (QoS) requirements (e.g., ultra-high reliability (99.999%) and ultra-low latency).


title: Discovering Episodes with Compact Minimal Windows

abstract: Discovering the most interesting patterns is the key problem in the field of pattern mining. While ranking or selecting patterns is well-studied for itemsets it is surprisingly under-researched for other, more complex, pattern types. In this paper we propose a new quality measure for episodes. An episode is essentially a set of events with possible restrictions on the order of events. We say that an episode is significant if its occurrence is abnormally compact, that is, only few gap events occur between the actual episode events, when compared to the expected length according to the independence model. We can apply this measure as a post-pruning step by first discovering frequent episodes and then rank them according to this measure. In order to compute the score we will need to compute the mean and the variance according to the independence model. As a main technical contribution we introduce a technique that allows us to compute these values. Such a task is surprisingly complex and in order to solve it we develop intricate finite state machines that allow us to compute the needed statistics. We also show that asymptotically our score can be interpreted as a P-value. In our experiments we demonstrate that despite its intricacy our ranking is fast: we can rank tens of thousands episodes in seconds. Our experiments with text data demonstrate that our measure ranks interpretable episodes high.


title: Fast Uplink Grant for NOMA: a Federated Learning based Approach

abstract: Recently, non-orthogonal multiple access (NOMA) technique have emerged and is being considered as a building block of 5G systems and beyond. In this paper, we focus on the resource allocation for NOMA-based systems and we investigate how Machine Type Devices (MTDs) can be arranged into clusters. Specifically , we propose three allocation technique to enable the integration of massive NOMA-based MTD in the 5G. Firstly, we propose a low-complexity schema where the BS assigns an MTD to a cluster based on its CSI and transmit power in order to ensure that the SIC can be performed in the uplink as well as the downlink. In the second framework, we propose a federated-learning based traffic model estimation in order to extend the capacity of the system. In fact, the BS take into account the traffic model of the MTDs in order to use time multiplexing in addition to the power multiplexing to separate MTDs. After the BS allocation, we propose a learning algorithm to allow contending MTDs synchronize their transmissions. Finally, we focus on the Quality of Service (QoS) for NOMA based devices and we propose in the third framework a QoS-aware technique, where MTDs are served differently based on their mode, i.e. regular or alarm modes. Simulation results show that the proposed techniques outperform existing technique in the literature.


title: Detection and Prediction of Cardiac Anomalies Using Wireless Body Sensors and Bayesian Belief Networks

abstract: Intricating cardiac complexities are the primary factor associated with healthcare costs and the highest cause of death rate in the world. However, preventive measures like the early detection of cardiac anomalies can prevent severe cardiovascular arrests of varying complexities and can impose a substantial impact on healthcare cost. Encountering such scenarios usually the electrocardiogram (ECG or EKG) is the first diagnostic choice of a medical practitioner or clinical staff to measure the electrical and muscular fitness of an individual heart. This paper presents a system which is capable of reading the recorded ECG and predict the cardiac anomalies without the intervention of a human expert. The paper purpose an algorithm which read and perform analysis on electrocardiogram datasets. The proposed architecture uses the Discrete Wavelet Transform (DWT) at first place to perform preprocessing of ECG data followed by undecimated Wavelet transform (UWT) to extract nine relevant features which are of high interest to a cardiologist. The probabilistic mode named Bayesian Network Classifier is trained using the extracted nine parameters on UCL arrhythmia dataset. The proposed system classifies a recorded heartbeat into four classes using Bayesian Network classifier and Tukey's box analysis. The four classes for the prediction of a heartbeat are (a) Normal Beat, (b) Premature Ventricular Contraction (PVC) (c) Premature Atrial Contraction (PAC) and (d) Myocardial Infarction. The results of experimental setup depict that the proposed system has achieved an average accuracy of 96.6 for PAC\% 92.8\% for MI and 87\% for PVC, with an average error rate of 3.3\% for PAC, 6\% for MI and 12.5\% for PVC on real electrocardiogram datasets including Physionet and European ST-T Database (EDB).


title: Ill posedness for the full Euler system driven by multiplicative white noise

abstract: We consider the Euler system describing the motion of a compressible fluid driven by a multiplicative white noise. We identify a large class of initial data for which the problem is ill posed - there exist infinitely many global in time weak solutions. The solutions are adapted to the noise and satisfy the entropy admissibility criterion.


title: Sum Throughput Maximization in Multi-Tag Backscattering to Multiantenna Reader

abstract: Backscatter communication (BSC) is being realized as the core technology for pervasive sustainable Internet-of-Things applications. However, owing to the resource-limitations of passive tags, the efficient usage of multiple antennas at the reader is essential for both downlink excitation and uplink detection. This work targets at maximizing the achievable sum-backscattered-throughput by jointly optimizing the transceiver (TRX) design at the reader and backscattering coefficients (BC) at the tags. Since, this joint problem is nonconvex, we first present individually-optimal designs for the TRX and BC. We show that with precoder and {combiner} designs at the reader respectively targeting downlink energy beamforming and uplink Wiener filtering operations, the BC optimization at tags can be reduced to a binary power control problem. Next, the asymptotically-optimal joint-TRX-BC designs are proposed for both low and high signal-to-noise-ratio regimes. Based on these developments, an iterative low-complexity algorithm is proposed to yield an efficient jointly-suboptimal design. Thereafter, we discuss the practical utility of the proposed designs to other application settings like wireless powered communication networks and BSC with imperfect channel state information. Lastly, selected numerical results, validating the analysis and shedding novel insights, demonstrate that the proposed designs can yield significant enhancement in the sum-backscattered throughput over existing benchmarks.


title: CloudSegNet: A Deep Network for Nychthemeron Cloud Image Segmentation

abstract: We analyze clouds in the earth's atmosphere using ground-based sky cameras. An accurate segmentation of clouds in the captured sky/cloud image is difficult, owing to the fuzzy boundaries of clouds. Several techniques have been proposed that use color as the discriminatory feature for cloud detection. In the existing literature, however, analysis of daytime and nighttime images is considered separately, mainly because of differences in image characteristics and applications. In this paper, we propose a light-weight deep-learning architecture called CloudSegNet. It is the first that integrates daytime and nighttime (also known as nychthemeron) image segmentation in a single framework, and achieves state-of-the-art results on public databases.


title: Reducing Adversarial Example Transferability Using Gradient Regularization

abstract: Deep learning algorithms have increasingly been shown to lack robustness to simple adversarial examples (AdvX). An equally troubling observation is that these adversarial examples transfer between different architectures trained on different datasets. We investigate the transferability of adversarial examples between models using the angle between the input-output Jacobians of different models. To demonstrate the relevance of this approach, we perform case studies that involve jointly training pairs of models. These case studies empirically justify the theoretical intuitions for why the angle between gradients is a fundamental quantity in AdvX transferability. Furthermore, we consider the asymmetry of AdvX transferability between two models of the same architecture and explain it in terms of differences in gradient norms between the models. Lastly, we provide a simple modification to existing training setups that reduces transferability of adversarial examples between pairs of models.


title: Reproducible Workflow on a Public Cloud for Computational Fluid Dynamics

abstract: In a new effort to make our research transparent and reproducible by others, we developed a workflow to run and share computational studies on the public cloud Microsoft Azure. It uses Docker containers to create an image of the application software stack. We also adopt several tools that facilitate creating and managing virtual machines on compute nodes and submitting jobs to these nodes. The configuration files for these tools are part of an expanded "reproducibility package" that includes workflow definitions for cloud computing, in addition to input files and instructions. This facilitates re-creating the cloud environment to re-run the computations under the same conditions. Although cloud providers have improved their offerings, many researchers using high-performance computing (HPC) are still skeptical about cloud computing. Thus, we ran benchmarks for tightly coupled applications to confirm that the latest HPC nodes of Microsoft Azure are indeed a viable alternative to traditional on-site HPC clusters. We also show that cloud offerings are now adequate to complete computational fluid dynamics studies with in-house research software that uses parallel computing with GPUs. Finally, we share with the community what we have learned from nearly two years of using Azure cloud to enhance transparency and reproducibility in our computational simulations.


title: Query Expansion for Cross-Language Question Re-Ranking

abstract: Community question-answering (CQA) platforms have become very popular forums for asking and answering questions daily. While these forums are rich repositories of community knowledge, they present challenges for finding relevant answers and similar questions, due to the open-ended nature of informal discussions. Further, if the platform allows questions and answers in multiple languages, we are faced with the additional challenge of matching cross-lingual information. In this work, we focus on the cross-language question re-ranking shared task, which aims to find existing questions that may be written in different languages. Our contribution is an exploration of query expansion techniques for this problem. We investigate expansions based on Word Embeddings, DBpedia concepts linking, and Hypernym, and show that they outperform existing state-of-the-art methods.


title: Electronic Structure and Phase Stability of Yb-filled CoSb$_3$ Skutterudite Thermoelectrics from First Principles

abstract: Filling the large voids in the crystal structure of the skutterudite CoSb$_3$ with rattler atoms $R$ provides an avenue for both increasing carrier concentration and disrupting lattice heat transport, leading to impressive thermoelectric performance. While the influence of $R$ on the lattice dynamics of skutterudite materials has been well studied, the phase stability of $R$-filled skutterudite materials and the influence of the presence and ordering of $R$ on the electronic structure remain unclear. Here, focusing on the Yb-filled skutterudite Yb$_x$Co$_4$Sb$_{12}$, we employ first-principles methods to compute the phase stability and electronic structure. Yb-filled CoSb$_3$ exhibits (1) a mild tendency for phase separation into Yb-rich and Yb-poor regions and (2) a strong tendency for chemical decomposition into Co--Sb and Yb--Sb binaries (i.e., CoSb$_3$, CoSb$_2$, and YbSb$_2$). We find that, at reasonable synthesis temperatures, configurational entropy stabilizes single-phase solid solutions with limited Yb solubility, in agreement with experiments. Filling CoSb$_3$ with Yb increases the band gap, enhances the carrier effective masses, and generates new low-energy ``emergent'' conduction band minima, which is distinct from the traditional band convergence picture of aligning the energies of existing band extrema. The explicit presence of $R$ is necessary to achieve the emergent conduction band minima, though the rattler ordering does not strongly influence the electronic structure. The emergent conduction bands are spatially localized in the Yb-rich regions, unlike the delocalized electronic states at the Brillouin zone center that form the unfilled skutterudite band edges.


title: An Axiomatic Approach to Liveness for Differential Equations

abstract: This paper presents an approach for deductive liveness verification for ordinary differential equations (ODEs) with differential dynamic logic. Numerous subtleties complicate the generalization of well-known discrete liveness verification techniques, such as loop variants, to the continuous setting. For example, ODE solutions may blow up in finite time or their progress towards the goal may converge to zero. Our approach handles these subtleties by successively refining ODE liveness properties using ODE invariance properties which have a well-understood deductive proof theory. This approach is widely applicable: we survey several liveness arguments in the literature and derive them all as special instances of our axiomatic refinement approach. We also correct several soundness errors in the surveyed arguments, which further highlights the subtlety of ODE liveness reasoning and the utility of our deductive approach. The library of common refinement steps identified through our approach enables both the sound development and justification of new ODE liveness proof rules from our axioms.


title: Outliers in spectrum of sparse Wigner matrices

abstract: In this paper, we study the effect of sparsity on the appearance of outliers in the semi-circular law. Let $(W_n)_{n=1}^\infty$ be a sequence of random symmetric matrices such that each $W_n$ is $n\times n$ with i.i.d entries above and on the main diagonal equidistributed with the product $b_n\xi$, where $\xi$ is a real centered uniformly bounded random variable of unit variance and $b_n$ is an independent Bernoulli random variable with a probability of success $p_n$. Assuming that $\lim\limits_{n\to\infty}n p_n=\infty$, we show that for the random sequence $(\rho_n)_{n=1}^\infty$ given by $$\rho_n:=\theta_n+\frac{n p_n}{\theta_n},\quad \theta_n:=\sqrt{\max\big(\max\limits_{i\leq n}\|{\rm Row_i}(W_n)\|_2^2-np_n,n p_n\big)},$$ the ratio $\frac{\|W_n\|}{\rho_n}$ converges to one in probability. A non-centered counterpart of the theorem allows to obtain asymptotic expressions for eigenvalues of the Erd\H{o}s--Renyi graphs, which were unknown in the regime $n p_n=\Theta(\log n)$. In particular, denoting by $A_n$ the adjacency matrix of $\mathcal{G}(n,p_n)$ and by $\lambda_{|k|}(A_n)$ its $k$-th largest (by the absolute value) eigenvalue, under the assumptions $\lim\limits_{n\to\infty }n p_n=\infty$ and $\lim\limits_{n\to\infty}p_n=0$ we have: -(No non-trivial outliers) If $\liminf\frac{n p_n}{\log n}\geq\frac{1}{\log (4/e)}$ then for any fixed $k\geq2$, $\frac{|\lambda_{|k|}(A_n)|}{2\sqrt{n p_n}}$ converges to $1$ in probability. -(Outliers) If $\limsup\frac{n p_n}{\log n}<\frac{1}{\log (4/e)}$ then there is $\varepsilon>0$ such that for any $k\in\mathbb{N}$, we have $\lim\limits_{n\to\infty}\mathbb{P}\Big\{\frac{|\lambda_{|k|}(A_n)|}{2\sqrt{n p_n}}>1+\varepsilon\Big\}=1$. On a conceptual level, our result highlights similarities in appearance of outliers in spectrum of sparse matrices and the so-called BBP phase transition phenomenon in deformed Wigner matrices.


title: Beyond Technical Motives: Perceived User Behavior in Abandoning Wearable Health & Wellness Trackers

abstract: Health trackers are widely adopted to support individuals with daily health and wellness activity tracking. They can help increase steps taken, enhance sleeping pattern, improve healthy diet, and promote the overall health. Despite the growth in wearable adoption, their real-life use is still questionable. While some users derive long-term values from their trackers, others face barriers to integrate it into their daily routine. Studies have analysed technical aspects of these barriers. In this paper, we analyse the behavioural factors of discouragement and wearable abandonment strictly tied to user habits and lifestyle circumstances. A data analysis was conducted on 8 of the highly rated wearables for 2017. The analysis collected sale posts on Kijiji and Gumtree, the second sales online retailers for both the Italian and UK market, respectively. We extracted insights from the posts about user motives, highlighted technology condition and limitations, and timeframe before the abandonment. The findings revealed certain user behavioural patterns when abandoning their wearables. In addition, analysing the posts showed other motives for the posts and not strictly related to wearable abandonment.


title: Can Mobility-on-Demand services do better after discerning reliability preferences of riders?

abstract: We formalize one aspect of reliability in the context of Mobility-on-Demand (MoD) systems by acknowledging the uncertainty in the pick-up time of these services. This study answers two key questions: i) how the difference between the stated and actual pick-up times affect the propensity of a passenger to choose an MoD service? ii) how an MoD service provider can leverage this information to increase its ridership? We conduct a discrete choice experiment in New York to answer the former question and adopt a micro-simulation-based optimization method to answer the latter question. In our experiments, the ridership of an MoD service could be increased by up to 10\% via displaying the predicted wait time strategically.


title: A QoS-Oriented Trajectory Optimization in Swarming Unmanned-Aerial-Vehicles Communications

abstract: This letter aims to present a novel approach for unmanned aerial vehicles (UAV)' path planning with respect to certain quality of service requirements. More specifically, we study the max-min fairness problem in an air-to-ground communication system where multiple UAVs and multiple ground stations exist. We jointly optimize the UAVs trajectories and power allocation as well as the user scheduling. To this end, we propose an effective iterative algorithm that relies on the successive convex approximation and the block coordinate decent techniques.


title: COMBIgor: data analysis package for combinatorial materials science

abstract: Combinatorial experiments involve synthesis of sample libraries with lateral composition gradients requiring spatially-resolved characterization of structure and properties. Due to maturation of combinatorial methods and their successful application in many fields, the modern combinatorial laboratory produces diverse and complex data sets requiring advanced analysis and visualization techniques. In order to utilize these large data sets to uncover new knowledge, the combinatorial scientist must engage in data science. For data science tasks, most laboratories adopt common-purpose data management and visualization software. However, processing and cross-correlating data from various measurement tools is no small task for such generic programs. Here we describe COMBIgor, a purpose-built open-source software package written in the commercial Igor Pro environment, designed to offer a systematic approach to loading, storing, processing, and visualizing combinatorial data sets. It includes (1) methods for loading and storing data sets from combinatorial libraries, (2) routines for streamlined data processing, and (3) data analysis and visualization features to construct figures. Most importantly, COMBIgor is designed to be easily customized by a laboratory, group, or individual in order to integrate additional instruments and data-processing algorithms. Utilizing the capabilities of COMBIgor can significantly reduce the burden of data management on the combinatorial scientist.


title: Machine learning for early prediction of circulatory failure in the intensive care unit

abstract: Intensive care clinicians are presented with large quantities of patient information and measurements from a multitude of monitoring systems. The limited ability of humans to process such complex information hinders physicians to readily recognize and act on early signs of patient deterioration. We used machine learning to develop an early warning system for circulatory failure based on a high-resolution ICU database with 240 patient years of data. This automatic system predicts 90.0% of circulatory failure events (prevalence 3.1%), with 81.8% identified more than two hours in advance, resulting in an area under the receiver operating characteristic curve of 94.0% and area under the precision-recall curve of 63.0%. The model was externally validated in a large independent patient cohort.


title: Automated crater detection on Mars using deep learning

abstract: Impact crater cataloging is an important tool in the study of the geological history of planetary bodies in the Solar System, including dating of surface features and geologic mapping of surface processes. Catalogs of impact craters have been created by a diverse set of methods over many decades, including using visible or near infra-red imagery and digital terrain models. I present an automated system for crater detection and cataloging using a digital terrain model (DTM) of Mars - In the algorithm craters are first identified as rings or disks on samples of the DTM image using a convolutional neural network with a UNET architecture, and the location and size of the features are determined using a circle matching algorithm. I describe the crater detection algorithm (CDA) and compare its performance relative to an existing crater dataset. I further examine craters missed by the CDA as well as potential new craters found by the algorithm. I show that the CDA can find three-quarters of the resolvable craters in the Mars DTMs, with a median difference of 5-10% in crater diameter compared to an existing database. A version of this CDA has been used to process DTM data from the Moon and Mercury Silburt et al. (2019). The source code for the complete CDA is available at https://github.com/silburt/DeepMoon, and Martian crater datasets generated using this CDA are available at https://doi.org/10.5683/SP2/MDKPC8.


title: Cluster Structures on Double Bott-Samelson Cells

abstract: Let $C$ be a symmetrizable generalized Cartan matrix. We introduce four different versions of double Bott-Samelson cells for every pair of positive braids in the generalized braid group associated to $C$. We prove that the decorated double Bott-Samelson cells are smooth affine varieties, whose coordinate rings are naturally isomorphic to upper cluster algebras. We explicitly describe the Donaldson-Thomas transformations on double Bott-Samelson cells and prove that they are cluster transformations. As an application, we complete the proof of the Fock-Goncharov duality conjecture in these cases. We discover a periodicity phenomenon of the Donaldson-Thomas transformations on a family of double Bott-Samelson cells. We give a (rather simple) geometric proof of Zamolodchikov's periodicity conjecture in the cases of $\Delta\square \mathrm{A}_r$. When $C$ is of type $\mathrm{A}$, the double Bott-Samelson cells are isomorphic to Shende-Treumann-Zaslow's moduli spaces of microlocal rank-1 constructible sheaves associated to Legendrian links. By counting their $\mathbb{F}_q$-points we obtain rational functions which are Legendrian link invariants.


title: The Tail of PSR J0002+6216 and the Supernova Remnant CTB 1

abstract: We have carried out VLA imaging and a Fermi timing analysis of the 115 ms gamma-ray and radio pulsar PSR J0002+6216. We found that the pulsar lies at the apex of a narrowly collimated cometary-like 7 arcmin tail of non-thermal radio emission which we identify as a bow-shock pulsar wind nebula. The tail of the nebula points back toward the geometric center of the supernova remnant CTB 1 (G116.9+0.2) 28 arcmin away, at a position angle $\theta_\mu=113^\circ$. We measure a proper motion with 2.9$\sigma$ significance from a Fermi timing analysis giving $\mu$=115$\pm$33 mas yr$^{-1}$ and $\theta_\mu=121^\circ\pm{13}^\circ$, corresponding to a large transverse pulsar velocity of 1100 km s$^{-1}$ at a distance of 2 kpc. This proper motion is of the right magnitude and direction to support the claim that PSR J0002+6216 was born from the same supernova that produced CTB 1. We explore the implications for pulsar birth periods, asymmetric supernova explosions, and mechanisms for pulsar natal kick velocities.


title: A Systematic Study of Leveraging Subword Information for Learning Word Representations

abstract: The use of subword-level information (e.g., characters, character n-grams, morphemes) has become ubiquitous in modern word representation learning. Its importance is attested especially for morphologically rich languages which generate a large number of rare words. Despite a steadily increasing interest in such subword-informed word representations, their systematic comparative analysis across typologically diverse languages and different tasks is still missing. In this work, we deliver such a study focusing on the variation of two crucial components required for subword-level integration into word representation models: 1) segmentation of words into subword units, and 2) subword composition functions to obtain final word representations. We propose a general framework for learning subword-informed word representations that allows for easy experimentation with different segmentation and composition components, also including more advanced techniques based on position embeddings and self-attention. Using the unified framework, we run experiments over a large number of subword-informed word representation configurations (60 in total) on 3 tasks (general and rare word similarity, dependency parsing, fine-grained entity typing) for 5 languages representing 3 language types. Our main results clearly indicate that there is no "one-sizefits-all" configuration, as performance is both language- and task-dependent. We also show that configurations based on unsupervised segmentation (e.g., BPE, Morfessor) are sometimes comparable to or even outperform the ones based on supervised word segmentation.


title: Quantum Work of an Optical Lattice

abstract: A classic example of a quantum quench concerns the release of a interacting Bose gas from an optical lattice. The local properties of quenches such as this have been extensively studied however the global properties of these non-equilibrium quantum systems have received far less attention. Here we study several aspects of global non-equilibrium behavior by calculating the amount of work done by the quench as measured through the work distribution function. Using Bethe Ansatz techniques we determine the Loschmidt amplitude and work distribution function of the Lieb-Liniger gas after it is released from an optical lattice. We find the average work and its universal edge exponents from which we determine the long time decay of the Loshcmidt echo and highlight striking differences caused by the the interactions as well as changes in the geometry of the system. We extend our calculation to the attractive regime of the model and show that the system exhibits properties similar to the super Tonks-Girardaeu gas. Finally we examine the prominent role played by bound states in the work distribution and show that, with low probability, they allow for work to be extracted from the quench.


title: Benchmarking Tether-based UAV Motion Primitives

abstract: This paper proposes and benchmarks two tether-based motion primitives for tethered UAVs to execute autonomous flight with proprioception only. Tethered UAVs have been studied mainly due to power and safety considerations. Tether is either not included in the UAV motion (treated same as free-flying UAV) or only in terms of station-keeping and high-speed steady flight. However, feedback from and control over the tether configuration could be utilized as a set of navigational tools for autonomous flight, especially in GPS-denied environments and without vision-based exteroception. In this work, two tether-based motion primitives are proposed, which can enable autonomous flight of a tethered UAV. The proposed motion primitives are implemented on a physical tethered UAV for autonomous path execution with motion capture ground truth. The navigational performance is quantified and compared. The proposed motion primitives make tethered UAV a mobile and safe autonomous robot platform. The benchmarking results suggest appropriate usage of the two motion primitives for tethered UAVs with different path plans.


title: NGTS-6b: An Ultra Short Period Hot-Jupiter Orbiting an Old K Dwarf

abstract: We report the discovery of a new ultra-short period hot Jupiter from the Next Generation Transit Survey. NGTS-6b orbits its star with a period of 21.17~h, and has a mass and radius of $1.330^{+0.024}_{-0.028}$\mjup\, and $1.271^{+0.197}_{-0.188}$\rjup\, respectively, returning a planetary bulk density of 0.711$^{+0.214}_{-0.136}$~g~cm$^{-3}$. Conforming to the currently known small population of ultra-short period hot Jupiters, the planet appears to orbit a metal-rich star ([Fe/H]$=+0.11\pm0.09$~dex). Photoevaporation models suggest the planet should have lost 5\% of its gaseous atmosphere over the course of the 9.6~Gyrs of evolution of the system. NGTS-6b adds to the small, but growing list of ultra-short period gas giant planets, and will help us to understand the dominant formation and evolutionary mechanisms that govern this population.


title: SynC: A Unified Framework for Generating Synthetic Population with Gaussian Copula

abstract: Synthetic population generation is the process of combining multiple socioeconomic and demographic datasets from different sources and/or granularity levels, and downscaling them to an individual level. Although it is a fundamental step for many data science tasks, an efficient and standard framework is absent. In this study, we propose a multi-stage framework called SynC (Synthetic Population via Gaussian Copula) to fill the gap. SynC first removes potential outliers in the data and then fits the filtered data with a Gaussian copula model to correctly capture dependencies and marginal distributions of sampled survey data. Finally, SynC leverages predictive models to merge datasets into one and then scales them accordingly to match the marginal constraints. We make three key contributions in this work: 1) propose a novel framework for generating individual level data from aggregated data sources by combining state-of-the-art machine learning and statistical techniques, 2) demonstrate its value as a feature engineering tool, as well as an alternative to data collection in situations where gathering is difficult through two real-world datasets, 3) release an easy-to-use framework implementation for reproducibility, and 4) ensure the methodology is scalable at the production level and can easily incorporate new data.


title: Improved photomeson model for interactions of cosmic ray nuclei

abstract: Photon-hadronic interactions are important for the sources and the transport of Ultra-High Energy Cosmic Rays (UHECRs). Current state-of-the-art cosmic ray transport simulations handle nuclear disintegration at energies of the Giant Dipole Resonance at a more sophisticated level, as well as the photohadronic interactions of nucleons in the high-energy regime above the pion production threshold. However, the interactions of nuclei above the pion production threshold are commonly modeled by treating the nucleus as a superposition of free nucleons -- ignoring the effect of the nuclear medium. We construct an improved, inclusive model for the photomeson regime for nuclei with $A \leq 56$ by employing more accurate, data-driven parametrizations of the interaction cross section, the fragmentation of the primary nucleus and the inclusive pion production cross section that directly affects the production of astrophysical neutrinos. We apply our results to two multi-messenger scenarios (Tidal Disruption Events and Gamma-Ray Bursts) in which photonuclear interactions in the photomeson regime are the dominant cooling process for the highest energy cosmic rays. While we find moderate changes to the mass composition of UHECRs, the astrophysical neutrino fluxes exhibit a significant (factor of a few) reduction compared to the na\"ive superposition of free nucleons for sources of UHECR nuclei with a populated cascade. The numerical code implementing the model has been made publicly available, which facilitates the integration of our results in similar frameworks.


title: Algebraic stability of meromorphic maps descended from Thurston's pullback maps

abstract: Let $\phi:S^2 \to S^2$ be an orientation-preserving branched covering whose post-critical set has finite cardinality $n$. If $\phi$ has a fully ramified periodic point $p_{\infty}$ and satisfies certain additional conditions, then, by work of Koch, $\phi$ induces a meromorphic self-map $R_{\phi}$ on the moduli space $\mathcal{M}_{0,n}$; $R_{\phi}$ descends from Thurston's pullback map on Teichm\"uller space. Here, we relate the dynamics of $R_{\phi}$ on $\mathcal{M}_{0,n}$ to the dynamics of $\phi$ on $S^2$. Let $\ell$ be the length of the periodic cycle in which the fully ramified point $p_{\infty}$ lies; we show that $R_{\phi}$ is algebraically stable on the heavy-light Hassett space corresponding to $\ell$ heavy marked points and $(n-\ell)$ light points.


title: Moduli of $\ell$-adic pro-\'etale local systems for smooth non-proper schemes

abstract: Let $X$ be a smooth scheme over an algebraically closed field. When $X$ is proper, it was proved in \cite{me1} that the moduli of $\ell$-adic continuous representations of $\pi_1^\et(X)$, $\LocSys(X)$, is representable by a (derived) $\Ql$-analytic space. However, in the non-proper case one cannot expect that the results of \cite{me1} hold mutatis mutandis. Instead, assuming $\ell$ is invertible in $X$, one has to bound the ramification at infinity of those considered continuous representations. The main goal of the current text is to give a proof of such representability statements in the open case. We also extend the representability results of \cite{me1}. More specifically, assuming $X$ is assumed to be proper, we show that $\LocSys(X)$ admits a canonical shifted symplectic form and we give some applications of such existence result.


title: Quotients of Hurwitz Primes

abstract: Quotient sets have attracted the attention of mathematicians in the past three decades. The set of quotients of primes is dense in the positive real numbers and the set of all quotients of Gaussian primes is also dense in the complex plane. Sittinger has proved that the set of quotients of primes in an imaginary quadratic ring is dense in the complex plane and the set of quotients of primes in a real quadratic number ring is dense in R. An interesting open question is introduced by Sittinger: Is the set of quotients of Hurwitz primes dense in the quaternions? In this paper, we answer the question and prove that the set of all quotients of Hurwitz primes is dense in the quaternions.


title: Explicit Motion Risk Representation

abstract: This paper presents a formal definition and explicit representation of robot motion risk. Currently, robot motion risk has not been formally defined, but has already been used in motion and path planning. Risk is either implicitly represented as model uncertainty using probabilistic approaches, where the definition of risk is somewhat avoided, or explicitly modeled as a simple function of states, without a formal definition. In this work, we provide formal reasoning behind what risk is for robot motion and propose a formal definition of risk in terms of a sequence of motion, namely path. Mathematical approaches to represent motion risk are also presented, which is in accordance with our risk definition and properties. The definition and representation of risk provide a meaningful way to evaluate or construct robot motion or path plans. The understanding of risk is even of greater interest for the search and rescue community: the deconstructed environments cast extra risk onto the robot, since they are working under extreme conditions. A proper risk representation has the potential to reduce robot failure in the field.


title: The product of parts or "norm" of a partition

abstract: In this article we study the "norm" of an integer partition, which we define to be the product of the parts. This partition-theoretic statistic has appeared here and there in the literature of the last century or so, and is at the heart of current research by both authors. We survey known results and give new results related to this all-but-overlooked object, which, it turns out, plays a comparable role in partition theory to the size, length, and other standard partition statistics.


title: Phonon-Phonon Quantum Coherent Coupling in GaAs/AlAs Superlattice

abstract: Quantum coherent coupling between a zone-center phonon and two acoustic phonons was observed in two GaAs/AlAs superlattices (8 nm/8 nm and 5.4 nm/5.4 nm) at ambient temperature. Using degenerate coherent phonon spectroscopy, a multi-cycle oscillation feature appears in the time-resolved phonon amplitudes of both samples, as a result of the coherent energy exchange between a driving phonon mode near first Brillouin zone center and two target acoustic phonon modes. This feature resembles the photon resonant parametric down/up-conversion processes, as well as the reversible coherent energy exchange between the optical field and a mechanical oscillator, suggesting quantum coherent coupling between the driving and target phonon modes. In the 8 nm/8 nm superlattice, the coupling strength increases nonlinearly at high pump fluences, which may eventually reach an extreme state where all three phonon modes share the same coherent state, as predicted by Orbach in the 1960s.


title: Irreducible holonomy groups and Riccati foliations in higher complex dimension

abstract: We study groups of germs of complex diffeomorphisms having a property called irreducibility. The notion is motivated by a similar property of the fundamental group of the complement of an irreducible hypersurface in the complex projective space. Natural examples of such groups of germ maps are given by holonomy groups and monodromy groups of integrable systems (foliations) under certain conditions on the singular or ramification set. The case of complex dimension one is studied in [7] where finiteness is proved for irreducible groups under certain arithmetic hypothesis on the linear part. In dimension $n \geq 2$ the picture changes since linear groups are not always abelian in dimension two or bigger. Nevertheless, we still obtain a finiteness result under some conditions in the linear part of the group, for instance if the linear part is abelian. Examples are given illustrating the role of our hypotheses. Applications are given to the framework of holomorphic foliations and analytic deformations of rational fibrations by Riccati foliations.


title: Metamorphic Testing for Quality Assurance of Protein Function Prediction Tools

abstract: Proteins are the workhorses of life and gaining insight on their functions is of paramount importance for applications such as drug design. However, the experimental validation of functions of proteins is highly-resource consuming. Therefore, recently, automated protein function prediction (AFP) using machine learning has gained significant interest. Many of these AFP tools are based on supervised learning models trained using existing gold-standard functional annotations, which are known to be incomplete. The main challenge associated with conducting systematic testing on AFP software is the lack of a test oracle, which determines passing or failing of a test case; unfortunately, due to the incompleteness of gold-standard data, the exact expected outcomes are not well defined for the AFP task. Thus, AFP tools face the \emph{oracle problem}. In this work, we use metamorphic testing (MT) to test nine state-of-the-art AFP tools by defining a set of metamorphic relations (MRs) that apply input transformations to protein sequences. According to our results, we observe that several AFP tools fail all the test cases causing concerns over the quality of their predictions.


title: Clustered Object Detection in Aerial Images

abstract: Detecting objects in aerial images is challenging for at least two reasons: (1) target objects like pedestrians are very small in pixels, making them hardly distinguished from surrounding background; and (2) targets are in general sparsely and non-uniformly distributed, making the detection very inefficient. In this paper, we address both issues inspired by observing that these targets are often clustered. In particular, we propose a Clustered Detection (ClusDet) network that unifies object clustering and detection in an end-to-end framework. The key components in ClusDet include a cluster proposal sub-network (CPNet), a scale estimation sub-network (ScaleNet), and a dedicated detection network (DetecNet). Given an input image, CPNet produces object cluster regions and ScaleNet estimates object scales for these regions. Then, each scale-normalized cluster region is fed into DetecNet for object detection. ClusDet has several advantages over previous solutions: (1) it greatly reduces the number of chips for final object detection and hence achieves high running time efficiency, (2) the cluster-based scale estimation is more accurate than previously used single-object based ones, hence effectively improves the detection for small objects, and (3) the final DetecNet is dedicated for clustered regions and implicitly models the prior context information so as to boost detection accuracy. The proposed method is tested on three popular aerial image datasets including VisDrone, UAVDT and DOTA. In all experiments, ClusDet achieves promising performance in comparison with state-of-the-art detectors. Code will be available in \url{https://github.com/fyangneil}.


title: Accessibility of Virtual Reality Locomotion Modalities to Adults and Minors

abstract: Virtual reality (VR) is an important new technology that is fun-damentally changing the way people experience entertainment and education content. Due to the fact that most currently available VR products are one size fits all, the accessibility of the content design and user interface design, even for healthy children is not well understood. It requires more research to ensure that children can have equally good user compared to adults in VR. In our study, we seek to explore accessibility of locomotion in VR between healthy adults and minors along both objective and subjective dimensions. We performed a user experience experiment where subjects completed a simple task of moving and touching underwater animals in VR using one of four different locomotion modalities, as well as real-world walking without wearing VR headsets as the baseline. Our results show that physical body movement that mirrors real-world movement exclusively is the least preferred by both adults and minors. However, within the different modalities of controller assisted locomotion there are variations between adults and minors for preference and challenge levels.


title: How to define co-occurrence in different domains of study?

abstract: This position paper presents a comparative study of co-occurrences. Some similarities and differences in the definition exist depending on the research domain (e.g. linguistics, NLP, computer science). This paper discusses these points, and deals with the methodological aspects in order to identify co-occurrences in a multidisciplinary paradigm.


title: Hierarchical test of general relativity with gravitational waves

abstract: We propose a hierarchical approach to testing general relativity with multiple gravitational wave detections. Unlike existing strategies, our method does not assume that parameters quantifying deviations from general relativity are either common or completely unrelated across all sources. We instead assume that these parameters follow some underlying distribution, which we parametrize and constrain. This can be then compared to the distribution expected from general relativity, i.e. no deviation in any of the events. We demonstrate that our method is robust to measurement uncertainties and can be applied to theories of gravity where the parameters beyond general relativity are related to each other, as generally expected. Our method contains the two extremes of common and unrelated parameters as limiting cases. We apply the hierarchical model to the population of 10 binary black hole systems so far detected by LIGO and Virgo. We do this for a parametrized test of gravitational wave generation, by modeling the population distribution of beyond-general-relativity parameters with a Gaussian distribution. We compute the mean and the variance of the population and show that both are consistent with general relativity for all parameters we consider. In the best case, we find that the population properties of the existing binary signals are consistent with general relativity at the ~1% level. This hierarchical approach subsumes and extends existing methodologies, and is more robust at revealing potential subtle deviations from general relativity with increasing number of detections.


title: Geometrical tools for embedding fields, submanifolds, and foliations

abstract: Embedding fields provide a way of coupling a background structure to a theory while preserving diffeomorphism-invariance. Examples of such background structures include embedded submanifolds, such as branes; boundaries of local subregions, such as the Ryu-Takayanagi surface in holography; and foliations, which appear in fluid dynamics and force-free electrodynamics. This work presents a systematic framework for computing geometric properties of these background structures in the embedding field description. An overview of the local geometric quantities associated with a foliation is given, including a review of the Gauss, Codazzi, and Ricci-Voss equations, which relate the geometry of the foliation to the ambient curvature. Generalizations of these equations for curvature in the nonintegrable normal directions are derived. Particular care is given to the question of which objects are well-defined for single submanifolds, and which depend on the structure of the foliation away from a submanifold. Variational formulas are provided for the geometric quantities, which involve contributions both from the variation of the embedding map as well as variations of the ambient metric. As an application of these variational formulas, a derivation is given of the Jacobi equation, describing perturbations of extremal area surfaces of arbitrary codimension. The embedding field formalism is also applied to the problem of classifying boundary conditions for general relativity in a finite subregion that lead to integrable Hamiltonians. The framework developed in this paper will provide a useful set of tools for future analyses of brane dynamics, fluid mechanics, and edge modes for finite subregions of diffeomorphism-invariant theories.


title: A massive nebula around the Luminous Blue Variable star RMC143 revealed by ALMA

abstract: The luminous blue variable (LBV) RMC143 is located in the outskirts of the 30~Doradus complex, a region rich with interstellar material and hot luminous stars. We report the $3\sigma$ sub-millimetre detection of its circumstellar nebula with ALMA. The observed morphology in the sub-millimetre is different than previously observed with HST and ATCA in the optical and centimetre wavelength regimes. The spectral energy distribution (SED) of RMC143 suggests that two emission mechanisms contribute to the sub-mm emission: optically thin bremsstrahlung and dust. Both the extinction map and the SED are consistent with a dusty massive nebula with a dust mass of $0.055\pm0.018~M_{\odot}$ (assuming $\kappa_{850}=1.7\rm\,cm^{2}\,g^{-1}$). To date, RMC143 has the most dusty LBV nebula observed in the Magellanic Clouds. We have also re-examined the LBV classification of RMC143 based on VLT/X-shooter spectra obtained in 2015/16 and a review of the publication record. The radiative transfer code CMFGEN is used to derive its fundamental stellar parameters. We find an effective temperature of $\sim 8500$~K, luminosity of log$(L/L_{\odot}) = 5.32$, and a relatively high mass-loss rate of $1.0 \times 10^{-5}~M_{\odot}$~yr$^{-1}$. The luminosity is much lower than previously thought, which implies that the current stellar mass of $\sim8~M_{\odot}$ is comparable to its nebular mass of $\sim 5.5~M_{\odot}$ (from an assumed gas-to-dust ratio of 100), suggesting that the star has lost a large fraction of its initial mass in past LBV eruptions or binary interactions. While the star may have been hotter in the past, it is currently not hot enough to ionize its circumstellar nebula. We propose that the nebula is ionized externally by the hot stars in the 30~Doradus star-forming region.


title: Fermions and bosons in nonsymmorphic PdSb2 with sixfold degeneracy

abstract: PdSb2 is a candidate for hosting 6-fold-degenerate exotic fermions (beyond Dirac and Weyl fermions).The nontrivial band crossing protected by the nonsymmorphic symmetry plays a crucial role in physical properties. We have grown high-quality single crystals of PdSb2 and characterized their physical properties under several stimuli (temperature, magnetic field, and pressure). While it is a diamagnetic Fermi-liquid metal under ambient pressure, PdSb2 exhibits a large magnetoresistance with continuous increase up to 14 T, which follows the Kohler's scaling law at all temperatures. This implies one-band electrical transport, although multiple bands are predicted by first principles calculations. By applying magnetic field along the [111] direction, de Haas-van Alphen oscillations are observed with frequency of 102 T. The effective mass is nearly zero (0.045m0) with the Berry phase close to {\pi}, confirming that the band close to the R point has a nontrivial character. Under quasihydrostatic pressure (p), evidence for superconductivity is observed in the resistivity below the critical temperature Tc. The dome-shaped Tc versus p is obtained with maximum Tc~2.9 K. We argue that the formation of Cooper pairs (bosons) is the consequence of the redistribution of the 6-fold-degenerate fermions under pressure.


title: The Calabi-Yau problem for Riemann surfaces with finite genus and countably many ends

abstract: In this paper, we show that if $R$ is a compact Riemann surface and $M=R\setminus\,\bigcup_i D_i$ is a domain in $R$ whose complement is a union of countably many pairwise disjoint smoothly bounded closed discs $D_i$, then $M$ is the complex structure of a complete bounded minimal surface in $\mathbb R^3$. We prove that there is a complete conformal minimal immersion $X:M\to\mathbb R^3$ extending to a continuous map $X:\overline M\to\mathbb R^3$ such that $X(bM)=\bigcup_i X(bD_i)$ is a union of pairwise disjoint Jordan curves. This extends a recent result for bordered Riemann surfaces.


title: Nucleon resonance contributions to unpolarised inclusive electron scattering

abstract: The first CLAS12 experiments will provide high-precision data on inclusive electron scattering observables at a photon virtuality $Q^2$ ranging from 0.05 GeV$^2$ to 12 GeV$^2$ and center-of-mass energies $W$ up to 4 GeV. In view of this endeavour, we present the modeling of the resonant contributions to the inclusive electron scattering observables. As input, we use the existing CLAS electrocoupling results obtained from exclusive meson electroproduction data off protons, and evaluate for the first time the resonant contributions based on the experimental results on the nucleon resonance electroexcitation. The uncertainties are given by the data and duly propagated through a Monte Carlo approach. In this way, we obtain estimates for the resonant contributions, important for insight into the nucleon parton distributions in the resonance region and for the studies of quark-hadron duality.


title: A-CNN: Annularly Convolutional Neural Networks on Point Clouds

abstract: Analyzing the geometric and semantic properties of 3D point clouds through the deep networks is still challenging due to the irregularity and sparsity of samplings of their geometric structures. This paper presents a new method to define and compute convolution directly on 3D point clouds by the proposed annular convolution. This new convolution operator can better capture the local neighborhood geometry of each point by specifying the (regular and dilated) ring-shaped structures and directions in the computation. It can adapt to the geometric variability and scalability at the signal processing level. We apply it to the developed hierarchical neural networks for object classification, part segmentation, and semantic segmentation in large-scale scenes. The extensive experiments and comparisons demonstrate that our approach outperforms the state-of-the-art methods on a variety of standard benchmark datasets (e.g., ModelNet10, ModelNet40, ShapeNet-part, S3DIS, and ScanNet).


title: Constructing confidence sets after lasso selection by randomized estimator augmentation

abstract: Although a few methods have been developed recently for building confidence intervals after model selection, how to construct confidence sets for joint post-selection inference is still an open question. In this paper, we develop a new method to construct confidence sets after lasso variable selection, with strong numerical support for its accuracy and effectiveness. A key component of our method is to sample from the conditional distribution of the response $y$ given the lasso active set, which, in general, is very challenging due to the tiny probability of the conditioning event. We overcome this technical difficulty by using estimator augmentation to simulate from this conditional distribution via Markov chain Monte Carlo given any estimate $\tilde{\mu}$ of the mean $\mu_0$ of $y$. We then incorporate a randomization step for the estimate $\tilde{\mu}$ in our sampling procedure, which may be interpreted as simulating from a posterior predictive distribution by averaging over the uncertainty in $\mu_0$. Our Monte Carlo samples offer great flexibility in the construction of confidence sets for multiple parameters. Extensive numerical results show that our method is able to construct confidence sets with the desired coverage rate and, moreover, that the diameter and volume of our confidence sets are substantially smaller in comparison with a state-of-the-art method.


title: Energy-weighted density matrix embedding of open correlated chemical fragments

abstract: We present a multi-scale approach to efficiently embed an ab initio correlated chemical fragment described by its energy-weighted density matrices, and entangled with a wider mean-field many-electron system. This approach, first presented in Phys. Rev. B, 98, 235132 (2018), is here extended to account for realistic long-range interactions and broken symmetry states. The scheme allows for a systematically improvable description in the range of correlated fluctuations out of the fragment into the system, via a self-consistent optimization of a coupled auxiliary mean-field system. It is discussed that the method has rigorous limits equivalent to existing quantum embedding approaches of both dynamical mean-field theory, as well as density matrix embedding theory, to which this method is compared, and the importance of these correlated fluctuations is demonstrated. We derive a self-consistent local energy functional within the scheme, and demonstrate the approach for Hydrogen rings, where quantitative accuracy is achieved despite only a single atom being explicitly treated.


title: Exorcizing ghost waves

abstract: The so-called electromagnetic ghost waves are simply electromagnetic nonuniform plane waves, whose association with both propagating and evanescent fields has long been known, even for isotropic dielectric materials that are non-dissipative.


title: Tightness of Liouville first passage percolation for $\gamma \in (0,2)$

abstract: We study Liouville first passage percolation metrics associated to a Gaussian free field $h$ mollified by the two-dimensional heat kernel $p_t$ in the bulk, and related star-scale invariant metrics. For $\gamma \in (0,2)$ and $\xi = \frac{\gamma}{d_{\gamma}}$, where $d_{\gamma}$ is the Liouville quantum gravity dimension defined in [Ding-Gwynne18], we show that renormalized metrics $(\lambda_t^{-1} e^{\xi p_t * h} ds)_{t \in (0,1)}$ are tight with respect to the uniform topology. In particular, we show that subsequential limits are bi-H\"older with respect to the Euclidean topology, obtain tail estimates for side-to-side distances and derive error bounds for the normalizing constants $\lambda_t$.


title: A new kind of cyclic universe

abstract: Combining intervals of ekpyrotic (ultra-slow) contraction with a (non-singular) classical bounce naturally leads to a novel cyclic theory of the universe in which the Hubble parameter, energy density and temperature oscillate periodically, but the scale factor grows by an exponential factor from one cycle to the next. The resulting cosmology not only resolves the homogeneity, isotropy, flatness and monopole problems and generates a nearly scale invariant spectrum of density perturbations, but it also addresses a number of age-old cosmological issues that big bang inflationary cosmology does not. There may also be wider-ranging implications for fundamental physics, black holes and quantum measurement.


title: Continuum analysis of rarefaction effects on a thermally-induced gas flow

abstract: A Maxwell gas confined within a micro cavity with non-isothermal walls is investigated in the slip and early transition regimes using the classical and extended continuum theories. The vertical sides of the cavity are kept at the uniform and environmental temperature T_0, while the upper and bottom ones are linearly heated in opposite directions from the cold value T_0 to the hot oneT_H. The gas flow is, therefore, induced only by the temperature gradient created along the longitudinal walls. The problem is treated from a macroscopic point of view by solving numerically the so-called regularized 13-moment equations (R13) recently developed as an extension of Grad 13-moments theory to the third order of the Knudsen number powers in the Chapman-Enskog expansion. The gas macroscopic properties obtained by this method are compared with the classical continuum theory results (NSF) using the first and second order of velocity slip and temperature jump boundary conditions. The gas flow behavior is studied as a function of the Knudsen number (Kn), nonlinear effects, for different heating ratesT_0/T_H . The micro cavity aspect ratio effect is also evaluated on the flow fields in this study.


title: Maximum-energy records in glassy energy landscapes

abstract: We study the evolution of the maximum energy $E_\max(t)$ reached between time $0$ and time $t$ in the dynamics of simple models with glassy energy landscapes, in instant quenches from infinite temperature to a target temperature $T$. Through a detailed description of the activated dynamics, we are able to describe the evolution of $E_\max(t)$ from short times, through the aging regime, until after equilibrium is reached, thus providing a detailed description of the long-time dynamics. Finally, we compare our findings with numerical simulations of the $p$-spin glass and show how the maximum energy record can be used to identify the threshold energy in this model.


title: Comprehensive Introduction to Fully Homomorphic Encryption for Dynamic Feedback Controller via LWE-based Cryptosystem

abstract: The cryptosystem based on the Learning-with-Errors (LWE) problem is considered as a post-quantum cryptosystem, because it is not based on the factoring problem with large primes which is easily solved by a quantum computer. Moreover, the LWE-based cryptosystem allows fully homomorphic arithmetics so that two encrypted variables can be added and multiplied without decrypting them. This chapter provides a comprehensive introduction to the LWE-based cryptosystem with examples. A key to the security of the LWE-based cryptosystem is the injection of random errors in the ciphertexts, which however hinders unlimited recursive operation of homomorphic arithmetics on ciphertexts due to the growth of the error. We show that this limitation can be overcome when the cryptosystem is used for a dynamic feedback controller that guarantees stability of the closed-loop system. Finally, we illustrate through MATLAB codes how the LWE-based cryptosystem can be customized to build a secure feedback control system. This chapter is written for the control engineers who do not have background on cryptosystems.


title: Twisted Alexander polynomials of torus links

abstract: In this paper we give an explicit formula for the twisted Alexander polynomial of any torus link and show that it is a locally constant function on the $SL(2, \mathbb C)$-character variety. We also discuss similar things for the higher dimensional twisted Alexander polynomial and the Reidemeister torsion.


title: Testing the Kerr hypothesis using X-ray reflection spectroscopy with NuSTAR data of Cygnus X-1 in the soft state

abstract: We continue exploring the constraining capabilities of X-ray reflection spectroscopy to test the Kerr-nature of astrophysical black holes and we present the results of our analysis of two NuSTAR observations of Cygnus X-1 in the soft state. We find that the final measurement can strongly depend on the assumption of the intensity profile. We conclude that Cygnus X-1 is not suitable for tests of general relativity using X-ray reflection spectroscopy and we discuss the desired properties of a source to be a good candidate for our studies.


title: Magnetoterahertz Response and Faraday Rotation from Massive Dirac Fermions in the Topological Crystalline Insulator Pb$_{0.5}$Sn$_{0.5}$Te

abstract: Pb$_{1-x}$Sn$_x$Te has been shown to be an interesting tunable topological crystalline insulator system. We present a magneto-terahertz spectroscopic study of thin films of Pb$_{0.5}$Sn$_{0.5}$Te. The complex Faraday rotation angle and optical conductivity in the circular basis are extracted without any additional assumptions. Our quantitative measures of the THz response allow us to show that the sample studied contains two types of bulk carriers. One is $p$-type and originates in 3D Dirac bands. The other is $n$-type and appears to be from more conventional 3D bands. These two types of carriers display different cyclotron resonance dispersions. Through simulating the cyclotron resonance of hole carriers, we can determine the Fermi energy and Fermi velocity. Furthermore, the scattering rates of $p$-type and $n$-type carriers were found to show opposite field dependences, which can be attributed to their different Landau level broadening behaviors under magnetic field. Our work provides a new way to isolate real topological signatures of bulk states in Dirac and Weyl semimetals.


title: Optimal loss-carry-forward taxation for L\'{e}vy risk processes stopped at general draw-down time

abstract: Motivated by Kyprianou and Zhou (2009), Wang and Hu (2012), Avram et al. (2017), Li et al. (2017) and Wang and Zhou (2018), we consider in this paper the problem of maximizing the expected accumulated discounted tax payments of an insurance company, whose reserve process (before taxes are deducted) evolves as a spectrally negative L\'{e}vy process with the usual exclusion of negative subordinator or deterministic drift. Tax payments are collected according to the very general loss-carry-forward tax system introduced in Kyprianou and Zhou (2009). To achieve a balance between taxation optimization and solvency, we consider an interesting modified objective function by considering the expected accumulated discounted tax payments of the company until the general draw-down time, instead of until the classical ruin time. The optimal tax return function together with the optimal tax strategy is derived, and some numerical examples are also provided.


title: Multi-Interest Network with Dynamic Routing for Recommendation at Tmall

abstract: Industrial recommender systems usually consist of the matching stage and the ranking stage, in order to handle the billion-scale of users and items. The matching stage retrieves candidate items relevant to user interests, while the ranking stage sorts candidate items by user interests. Thus, the most critical ability is to model and represent user interests for either stage. Most of the existing deep learning-based models represent one user as a single vector which is insufficient to capture the varying nature of user's interests. In this paper, we approach this problem from a different view, to represent one user with multiple vectors encoding the different aspects of the user's interests. We propose the Multi-Interest Network with Dynamic routing (MIND) for dealing with user's diverse interests in the matching stage. Specifically, we design a multi-interest extractor layer based on capsule routing mechanism, which is applicable for clustering historical behaviors and extracting diverse interests. Furthermore, we develop a technique named label-aware attention to help learn a user representation with multiple vectors. Through extensive experiments on several public benchmarks and one large-scale industrial dataset from Tmall, we demonstrate that MIND can achieve superior performance than state-of-the-art methods for recommendation. Currently, MIND has been deployed for handling major online traffic at the homepage on Mobile Tmall App.


title: Hard Sample Mining for the Improved Retraining of Automatic Speech Recognition

abstract: It is an effective way that improves the performance of the existing Automatic Speech Recognition (ASR) systems by retraining with more and more new training data in the target domain. Recently, Deep Neural Network (DNN) has become a successful model in the ASR field. In the training process of the DNN based methods, a back propagation of error between the transcription and the corresponding annotated text is used to update and optimize the parameters. Thus, the parameters are more influenced by the training samples with a big propagation error than the samples with a small one. In this paper, we define the samples with significant error as the hard samples and try to improve the performance of the ASR system by adding many of them. Unfortunately, the hard samples are sparse in the training data of the target domain, and manually label them is expensive. Therefore, we propose a hard samples mining method based on an enhanced deep multiple instance learning, which can find the hard samples from unlabeled training data by using a small subset of the dataset with manual labeling in the target domain. We applied our method to an End2End ASR task and obtained the best performance.


title: Offspring Population Size Matters when Comparing Evolutionary Algorithms with Self-Adjusting Mutation Rates

abstract: We analyze the performance of the 2-rate $(1+\lambda)$ Evolutionary Algorithm (EA) with self-adjusting mutation rate control, its 3-rate counterpart, and a $(1+\lambda)$~EA variant using multiplicative update rules on the OneMax problem. We compare their efficiency for offspring population sizes ranging up to $\lambda=3,200$ and problem sizes up to $n=100,000$. Our empirical results show that the ranking of the algorithms is very consistent across all tested dimensions, but strongly depends on the population size. While for small values of $\lambda$ the 2-rate EA performs best, the multiplicative updates become superior for starting for some threshold value of $\lambda$ between 50 and 100. Interestingly, for population sizes around 50, the $(1+\lambda)$~EA with static mutation rates performs on par with the best of the self-adjusting algorithms. We also consider how the lower bound $p_{\min}$ for the mutation rate influences the efficiency of the algorithms. We observe that for the 2-rate EA and the EA with multiplicative update rules the more generous bound $p_{\min}=1/n^2$ gives better results than $p_{\min}=1/n$ when $\lambda$ is small. For both algorithms the situation reverses for large~$\lambda$.


title: The module of vector-valued modular forms is Cohen-Macaulay

abstract: Let $H$ denote a finite index subgroup of the modular group $\Gamma$ and let $\rho$ denote a finite-dimensional complex representation of $H.$ Let $M(\rho)$ denote the collection of holomorphic vector-valued modular forms for $\rho$ and let $M(H)$ denote the collection of modular forms on $H$. Then $M(\rho)$ is a $\textbf{Z}$-graded $M(H)$-module. It has been proven that $M(\rho)$ may not be projective as a $M(H)$-module. We prove that $M(\rho)$ is Cohen-Macaulay as a $M(H)$-module. We also explain how to apply this result to prove that if $M(H)$ is a polynomial ring then $M(\rho)$ is a free $M(H)$-module of rank $\textrm{dim } \rho.$


title: People infer recursive visual concepts from just a few examples

abstract: Machine learning has made major advances in categorizing objects in images, yet the best algorithms miss important aspects of how people learn and think about categories. People can learn richer concepts from fewer examples, including causal models that explain how members of a category are formed. Here, we explore the limits of this human ability to infer causal "programs" -- latent generating processes with nontrivial algorithmic properties -- from one, two, or three visual examples. People were asked to extrapolate the programs in several ways, for both classifying and generating new examples. As a theory of these inductive abilities, we present a Bayesian program learning model that searches the space of programs for the best explanation of the observations. Although variable, people's judgments are broadly consistent with the model and inconsistent with several alternatives, including a pre-trained deep neural network for object recognition, indicating that people can learn and reason with rich algorithmic abstractions from sparse input data.


title: Residual or Gate? Towards Deeper Graph Neural Networks for Inductive Graph Representation Learning

abstract: In this paper, we study the problem of node representation learning with graph neural networks. We present a graph neural network class named recurrent graph neural network (RGNN), that address the shortcomings of prior methods. By using recurrent units to capture the long-term dependency across layers, our methods can successfully identify important information during recursive neighborhood expansion. In our experiments, we show that our model class achieves state-of-the-art results on three benchmarks: the Pubmed, Reddit, and PPI network datasets. Our in-depth analyses also demonstrate that incorporating recurrent units is a simple yet effective method to prevent noisy information in graphs, which enables a deeper graph neural network.


title: Distribution System State Estimation in the Presence of High Solar Penetration

abstract: Low-to-medium voltage distribution networks are experiencing rising levels of distributed energy resources, including renewable generation, along with improved sensing, communication, and automation infrastructure. As such, state estimation methods for distribution systems are becoming increasingly relevant as a means to enable better control strategies that can both leverage the benefits and mitigate the risks associated with high penetration of variable and uncertain distributed generation resources. The primary challenges of this problem include modeling complexities (nonlinear, non-convex power-flow equations), limited availability of sensor measurements, and high penetration of uncertain renewable generation. This paper formulates the distribution system state estimation as a nonlinear, weighted, least squares problem, based on sensor measurements as well as forecast data (both load and generation). We investigate the sensitivity of state estimator accuracy to (load/generation) forecast uncertainties, sensor accuracy, and sensor coverage levels.


title: Improved Distributed Expander Decomposition and Nearly Optimal Triangle Enumeration

abstract: An $(\epsilon,\phi)$-expander decomposition of a graph $G=(V,E)$ is a clustering of the vertices $V=V_{1}\cup\cdots\cup V_{x}$ such that (1) each cluster $V_{i}$ induces subgraph with conductance at least $\phi$, and (2) the number of inter-cluster edges is at most $\epsilon|E|$. In this paper, we give an improved distributed expander decomposition. Specifically, we construct an $(\epsilon,\phi)$-expander decomposition with $\phi=(\epsilon/\log n)^{2^{O(k)}}$ in $O(n^{2/k}\cdot\text{poly}(1/\phi,\log n))$ rounds for any $\epsilon\in(0,1)$ and positive integer $k$. For example, a $(0.01,1/\text{poly}\log n)$-expander decomposition can be computed in $O(n^{\gamma})$ rounds, for any arbitrarily small constant $\gamma>0$. Previously, the algorithm by Chang, Pettie, and Zhang can construct a $(1/6,1/\text{poly}\log n)$-expander decomposition using $\tilde{O}(n^{1-\delta})$ rounds for any $\delta>0$, with a caveat that the algorithm is allowed to throw away a set of edges into an extra part which forms a subgraph with arboricity at most $n^{\delta}$. Our algorithm does not have this caveat. By slightly modifying the distributed algorithm for routing on expanders by Ghaffari, Kuhn and Su [PODC'17], we obtain a triangle enumeration algorithm using $\tilde{O}(n^{1/3})$ rounds. This matches the lower bound by Izumi and Le Gall [PODC'17] and Pandurangan, Robinson and Scquizzato [SPAA'18] of $\tilde{\Omega}(n^{1/3})$ which holds even in the CONGESTED CLIQUE model. This provides the first non-trivial example for a distributed problem that has essentially the same complexity (up to a polylogarithmic factor) in both CONGEST and CONGESTED CLIQUE. The key technique in our proof is the first distributed approximation algorithm for finding a low conductance cut that is as balanced as possible. Previous distributed sparse cut algorithms do not have this nearly most balanced guarantee.


title: Remarks on the R\'{e}nyi Entropy of a sum of IID random variables

abstract: In this note we study a conjecture of Madiman and Wang which predicted that the generalized Gaussian distribution minimizes the R\'{e}nyi entropy of the sum of independent random variables. Through a variational analysis, we show that the generalized Gaussian fails to be a minimizer for the problem.


title: A Multi-Task Learning Framework for Overcoming the Catastrophic Forgetting in Automatic Speech Recognition

abstract: Recently, data-driven based Automatic Speech Recognition (ASR) systems have achieved state-of-the-art results. And transfer learning is often used when those existing systems are adapted to the target domain, e.g., fine-tuning, retraining. However, in the processes, the system parameters may well deviate too much from the previously learned parameters. Thus, it is difficult for the system training process to learn knowledge from target domains meanwhile not forgetting knowledge from the previous learning process, which is called as catastrophic forgetting (CF). In this paper, we attempt to solve the CF problem with the lifelong learning and propose a novel multi-task learning (MTL) training framework for ASR. It considers reserving original knowledge and learning new knowledge as two independent tasks, respectively. On the one hand, we constrain the new parameters not to deviate too far from the original parameters and punish the new system when forgetting original knowledge. On the other hand, we force the new system to solve new knowledge quickly. Then, a MTL mechanism is employed to get the balance between the two tasks. We applied our method to an End2End ASR task and obtained the best performance in both target and original datasets.


title: Electropolymerization: Studies and Applications / Electrodes and Double Layers

abstract: Electropolymerization plays a critical role in the electrochemical systems. In this chapter, we address such role within the context of interplay between kinetics and energetics. The trains of chin radical reactions leads to the formation of thin films in electrochemical devices. The structure of so-called solid electrolyte interphase (SEI) during the initial charge/discharge cycles of the device of any kind (i.e. rechargeable battery) on the surface of electrode directly controls the the ultimate stability and longevity. In this chapter, we study the morphological evolution of SEI, both in terms of transport and thermodynamics within quantitative and qualitative contexts.


title: The Siegel variance formula for quadratic forms

abstract: We introduce a smooth variance sum associated to a pair of positive definite symmetric integral matrices $A_{m\times m}$ and $B_{n\times n}$, where $m\geq n$. By using the oscillator representation, we give a formula for this variance sum in terms of a smooth sum over the square of a functional evaluated on the $B$-th Fourier coefficients of the vector valued holomorphic Siegel modular forms which are Hecke eigenforms and obtained by the theta transfer from $O_{A_{m\times m}}$. By using the Ramanujan bound on the Fourier coefficients of the holomorphic cusp forms, we give a sharp upper bound on this variance when $n=1$. As applications, we prove a cutoff phenomenon for the probability that a unimodular lattice of dimension $m$ represents a given even number. This gives an optimal upper bound on the sphere packing density of almost all even unimodular lattices. Furthermore, we generalize the result of Bourgain, Rudnick and Sarnak~\cite{Bourgain}, and also give an optimal bound on the diophantine exponent of the $p$-integral points on any positive definite $d$-dimensional quadric, where $d\geq 3$. This improves the best known bounds due to Ghosh, Gorodnik and Nevo~\cite{GGN} into an optimal bound.


title: Adversarial Cross-Modal Retrieval via Learning and Transferring Single-Modal Similarities

abstract: Cross-modal retrieval aims to retrieve relevant data across different modalities (e.g., texts vs. images). The common strategy is to apply element-wise constraints between manually labeled pair-wise items to guide the generators to learn the semantic relationships between the modalities, so that the similar items can be projected close to each other in the common representation subspace. However, such constraints often fail to preserve the semantic structure between unpaired but semantically similar items (e.g. the unpaired items with the same class label are more similar than items with different labels). To address the above problem, we propose a novel cross-modal similarity transferring (CMST) method to learn and preserve the semantic relationships between unpaired items in an unsupervised way. The key idea is to learn the quantitative similarities in single-modal representation subspace, and then transfer them to the common representation subspace to establish the semantic relationships between unpaired items across modalities. Experiments show that our method outperforms the state-of-the-art approaches both in the class-based and pair-based retrieval tasks.


title: SDSS J153636.22+044127.0 and its analogues: shocked outflows, not active binary black holes

abstract: The binary emission-line system, particularly the binary broad-line emission system, is considered the most effective indicator of the black hole binary. A plausible example of such a system, SDSS J153636.22+044127.0, was reported as the first known object with two hydrogen Balmer broad-line systems, which are interpreted to be the result of broad-line regions around a pair of black holes (Boroson \& Lauer 2009). Here, we show the follow-up optical and near-infrared spectral observations of SDSS J153636.22+044127.0 and its analogues. In these objects, the broad hydrogen Balmer and Paschen, He I and Mg II lines share the same peculiar emission-line profile (including a blue system, a red system and a double-peaked disk-line component); however, the invariance in the large time interval, the absence of the blue system in He I $\lambda$10830 profile and the abnormally strong emission of the hydrogen Pa$\beta$ blue system oppose the binary proposal. We suggest that these unique broad lines arise from the AGN emission-line region and the shock-heated outflowing gases rather than a binary system of two active black holes.


title: Correlation enhancement of high-order harmonics generation in Xe

abstract: We consider the process of high-order harmonics generation (HHG) in the xenon atom enhanced by the inter-shell correlation between the valence 5p and inner 4d shells. We derive the HHG spectrum from a numerical solution of the one-electron time-dependent Schr\"odinger equation multiplied by the enhancement factor taken as the photoionization cross-sections ratio calculated with and without the inter-shell correlation. Such a simplified approach is adequate to describe the experimental HHG spectrum reported by Shiner et al [Nat. Phys. 7, 464 (2011)] generated by a single color IR laser. Similarly, we find good agreement when applied to the two-color driven HHG spectra reported by Facciala et al [Phys. Rev. Lett. 117, 093902 (2016)].


title: Local behaviour of the gradient flow of an analytic function near the unstable set of a critical point

abstract: This paper extends previous work from arxiv:1702.05223, which shows that the main theorem of Morse theory holds for a large class of functions on singular spaces, where the function and the underlying singular space are required to satisfy the five conditions explained in detail in the introduction to arxiv:1702.05223. The fourth of these conditions requires that the gradient flow of the function is well-behaved near the critical points, which is a very natural condition, but difficult to explicitly check for examples without a detailed knowledge of the flow. In this paper we prove a general result showing that the first three conditions always imply the fourth when the underlying space is locally compact. Moreover, if the function is proper and analytic then the first four conditions are all satisfied.


title: Improvement of the Bernstein-type theorem for space-like zero mean curvature graphs in Lorentz-Minkowski space using fluid mechanical duality

abstract: Calabi's Bernstein-type theorem asserts that a zero mean curvature entire graph in Lorentz-Minkowski space $\boldsymbol L^3$ which admits only space-like points is a space-like plane. Using the fluid mechanical duality between minimal surfaces in Euclidean 3-space $\boldsymbol E^3$ and maximal surfaces in Lorentz-Minkowski space $\boldsymbol L^3$, we give an improvement of this Bernstein-type theorem. More precisely, we show that a zero mean curvature entire graph in $\boldsymbol L^3$ which does not admit time-like points (namely, a graph consists of only space-like and light-like points) is a plane.


title: Multifunctional 2D CuSe monolayer nanodevice

abstract: In a very recent experimental work [Gao et al., 2018 Adv. Mater. 30, 1707055], a graphene-like CuSe monolayer was realized. Motivated by this success, we performed first-principles calculations to investigate its electronic transport and photoelectronic properties. We find that the CuSe ML shows a strong electrical anisotropy, and its current-voltage (I-V) curves along the zigzag and armchair directions are noticeably different. The CuSe ML also displays a useful negative differential resistance (NDR) effect along the both directions when the bias is beyond 1.0 V. Moreover, it has a large photon absorption to orange light. Our study suggests that CuSe ML is a multifunctional material and has various potential applications in electrical-anisotropy-based, NDR-based, and even optical nanodevices.


title: Resilience of Traffic Networks with Partially Controlled Routing

abstract: This paper investigates the use of Infrastructure-To-Vehicle (I2V) communication to generate routing suggestions for drivers in transportation systems, with the goal of optimizing a measure of overall network congestion. We define link-wise levels of trust to tolerate the non-cooperative behavior of part of the driver population, and we propose a real-time optimization mechanism that adapts to the instantaneous network conditions and to sudden changes in the levels of trust. Our framework allows us to quantify the improvement in travel time in relation to the degree at which drivers follow the routing suggestions. We then study the resilience of the system, measured as the smallest change in routing choices that results in roads reaching their maximum capacity. Interestingly, our findings suggest that fluctuations in the extent to which drivers follow the provided routing suggestions can cause failures of certain links. These results imply that the benefits of using Infrastructure-To-Vehicle communication come at the cost of new fragilities, that should be appropriately addressed in order to guarantee the reliable operation of the infrastructure.