title: A stable version of Harbourne's Conjecture and the containment problem for space monomial curves

abstract: The symbolic powers $I^{(n)}$ of a radical ideal $I$ in a polynomial ring consist of the functions that vanish up to order $n$ in the variety defined by $I$. These do not necessarily coincide with the ordinary algebraic powers $I^n$, but it is natural to compare the two notions. The containment problem consists of determining the values of $n$ and $m$ for which $I^{(n)} \subseteq I^m$ holds. When $I$ is an ideal of height $2$ in a regular ring, $I^{(3)} \subseteq I^2$ may fail, but we show that this containment does hold for the defining ideal of the space monomial curve $(t^a, t^b, t^c)$. More generally, given a radical ideal $I$ of big height $h$, while the containment $I^{(hn-h+1)} \subseteq I^n$ conjectured by Harbourne does not necessarily hold for all $n$, we give sufficient conditions to guarantee such containments for $n \gg 0$.


title: PAIM: Platoon-based Autonomous Intersection Management

abstract: With the emergence of autonomous ground vehicles and the recent advancements in Intelligent Transportation Systems, Autonomous Traffic Management has garnered more and more attention. Autonomous Intersection Management (AIM), also known as Cooperative Intersection Management (CIM) is among the more challenging traffic problems that poses important questions related to safety and optimization in terms of delays, fuel consumption, emissions and reliability. Previously we introduced two stop-sign based policies for autonomous intersection management that were compatible with platoons of autonomous vehicles. These policies outperformed regular stop-sign policy both in terms of average delay per vehicle and variance in delay. This paper introduces a reservation-based policy that utilizes the cost functions from our previous work to derive optimal schedules for platoons of vehicles. The proposed policy guarantees safety by not allowing vehicles with conflicting turning movement to be in the conflict zone at the same time. Moreover, a greedy algorithm is designed to search through all possible schedules to pick the best that minimizes a cost function based on a trade-off between total delay and variance in delay. A simulator software is designed to compare the results of the proposed policy in terms of average delay per vehicle and variance in delay with that of a 4-phase traffic light.


title: Approximate unitary $t$-designs by short random quantum circuits using nearest-neighbor and long-range gates

abstract: We prove that $poly(t) \cdot n^{1/D}$-depth local random quantum circuits with two qudit nearest-neighbor gates on a $D$-dimensional lattice with n qudits are approximate $t$-designs in various measures. These include the "monomial" measure, meaning that the monomials of a random circuit from this family have expectation close to the value that would result from the Haar measure. Previously, the best bound was $poly(t)\cdot n$ due to Brandao-Harrow-Horodecki (BHH) for $D=1$. We also improve the "scrambling" and "decoupling" bounds for spatially local random circuits due to Brown and Fawzi. One consequence of our result is that assuming the polynomial hierarchy (PH) is infinite and that certain counting problems are $\#P$-hard on average, sampling within total variation distance from these circuits is hard for classical computers. Previously, exact sampling from the outputs of even constant-depth quantum circuits was known to be hard for classical computers under the assumption that PH is infinite. However, to show the hardness of approximate sampling using this strategy requires that the quantum circuits have a property called "anti-concentration", meaning roughly that the output has near-maximal entropy. Unitary 2-designs have the desired anti-concentration property. Thus our result improves the required depth for this level of anti-concentration from linear depth to a sub-linear value, depending on the geometry of the interactions. This is relevant to a recent proposal by the Google Quantum AI group to perform such a sampling task with 49 qubits on a two-dimensional lattice and confirms their conjecture that $O(\sqrt n)$ depth suffices for anti-concentration. We also prove that anti-concentration is possible in depth O(log(n) loglog(n)) using a different model.


title: Graph-Dependent Implicit Regularisation for Distributed Stochastic Subgradient Descent

abstract: We propose graph-dependent implicit regularisation strategies for distributed stochastic subgradient descent (Distributed SGD) for convex problems in multi-agent learning. Under the standard assumptions of convexity, Lipschitz continuity, and smoothness, we establish statistical learning rates that retain, up to logarithmic terms, centralised statistical guarantees through implicit regularisation (step size tuning and early stopping) with appropriate dependence on the graph topology. Our approach avoids the need for explicit regularisation in decentralised learning problems, such as adding constraints to the empirical risk minimisation rule. Particularly for distributed methods, the use of implicit regularisation allows the algorithm to remain simple, without projections or dual methods. To prove our results, we establish graph-independent generalisation bounds for Distributed SGD that match the centralised setting (using algorithmic stability), and we establish graph-dependent optimisation bounds that are of independent interest. We present numerical experiments to show that the qualitative nature of the upper bounds we derive can be representative of real behaviours.


title: Compressed sensing with a jackknife and a bootstrap

abstract: Compressed sensing proposes to reconstruct more degrees of freedom in a signal than the number of values actually measured. Compressed sensing therefore risks introducing errors -- inserting spurious artifacts or masking the abnormalities that medical imaging seeks to discover. The present case study of estimating errors using the standard statistical tools of a jackknife and a bootstrap yields error "bars" in the form of full images that are remarkably representative of the actual errors (at least when evaluated and validated on data sets for which the ground truth and hence the actual error is available). These images show the structure of possible errors -- without recourse to measuring the entire ground truth directly -- and build confidence in regions of the images where the estimated errors are small.


title: Strange messenger: A new history of hydrogen on Earth, as told by Xenon

abstract: Atmospheric xenon is strongly mass fractionated, the result of a process that apparently continued through the Archean and perhaps beyond. Previous models that explain Xe fractionation by hydrodynamic hydrogen escape cannot gracefully explain how Xe escaped when Ar and Kr did not, nor allow Xe to escape in the Archean. Here we show that Xe is the only noble gas that can escape as an ion in a photo-ionized hydrogen wind, possible in the absence of a geomagnetic field or along polar magnetic field lines that open into interplanetary space. To quantify the hypothesis we construct new 1-D models of hydrodynamic diffusion-limited hydrogen escape from highly-irradiated CO$_2$-H$_2$-H atmospheres. The models reveal three minimum requirements for Xe escape: solar EUV irradiation needs to exceed $10\times$ that of the modern Sun; the total hydrogen mixing ratio in the atmosphere needs to exceed 1% (equiv. to 0.5% CH$_4$); and transport amongst the ions in the lower ionosphere needs to lift the Xe ions to the base of the outflowing hydrogen corona. The long duration of Xe escape implies that, if a constant process, Earth lost the hydrogen from at least one ocean of water, roughly evenly split between the Hadean and the Archean. However, to account for both Xe's fractionation and also its depletion with respect to Kr and primordial $^{244}$Pu, Xe escape must have been limited to small apertures or short episodes, which suggests that Xe escape was restricted to polar windows by a geomagnetic field, or dominated by outbursts of high solar activity, or limited to transient episodes of abundant hydrogen, or a combination of these. Xenon escape stopped when the hydrogen (or methane) mixing ratio became too small, or EUV radiation from the aging Sun became too weak, or charge exchange between Xe$^+$ and O$_2$ rendered Xe neutral.


title: The Fisher-KPP equation over simple graphs: Varied persistence states in river networks

abstract: In this article, we study the growth and spread of a new species in a river network with two or three branches via the Fisher-KPP advection-diffusion equation over some simple graphs with every edge a half infinite line. We obtain a rather complete description of the long-time dynamical behavior for every case under consideration, which can be loosely described by a trichotomy (see Remark 1.7), including two different kinds of persistence states as parameters vary. The phenomenon of "persistence below carrying capacity" revealed here appears new, which does not occur in related models of the existing literature where the river network is represented by graphs with finite-lengthed edges, or the river network is simplified to a single infinite line.


title: Program Analysis of Commodity IoT Applications for Security and Privacy: Challenges and Opportunities

abstract: Recent advances in Internet of Things (IoT) have enabled myriad domains such as smart homes, personal monitoring devices, and enhanced manufacturing. IoT is now pervasive---new applications are being used in nearly every conceivable environment, which leads to the adoption of device-based interaction and automation. However, IoT has also raised issues about the security and privacy of these digitally augmented spaces. Program analysis is crucial in identifying those issues, yet the application and scope of program analysis in IoT remains largely unexplored by the technical community. In this paper, we study privacy and security issues in IoT that require program-analysis techniques with an emphasis on identified attacks against these systems and defenses implemented so far. Based on a study of five IoT programming platforms, we identify the key insights that result from research efforts in both the program analysis and security communities and relate the efficacy of program-analysis techniques to security and privacy issues. We conclude by studying recent IoT analysis systems and exploring their implementations. Through these explorations, we highlight key challenges and opportunities in calibrating for the environments in which IoT systems will be used.


title: Multi-task Learning with Sample Re-weighting for Machine Reading Comprehension

abstract: We propose a multi-task learning framework to learn a joint Machine Reading Comprehension (MRC) model that can be applied to a wide range of MRC tasks in different domains. Inspired by recent ideas of data selection in machine translation, we develop a novel sample re-weighting scheme to assign sample-specific weights to the loss. Empirical study shows that our approach can be applied to many existing MRC models. Combined with contextual representations from pre-trained language models (such as ELMo), we achieve new state-of-the-art results on a set of MRC benchmark datasets. We release our code at https://github.com/xycforgithub/MultiTask-MRC.


title: Gated conditional displacement readout of superconducting qubits

abstract: We have realized a new interaction between superconducting qubits and a readout cavity that results in the displacement of a coherent state in the cavity, conditioned on the state of the qubit. This conditional state, when it reaches the cavity-following, phase-sensitive amplifier, matches its measured observable, namely the in-phase quadrature. In a setup where several qubits are coupled to the same readout resonator, we show it is possible to measure the state of a target qubit with minimal dephasing of the other qubits. Our results suggest novel directions for faster readout of superconducting qubits and implementations of bosonic quantum error-correcting codes.


title: A Study on Deep Learning Based Sauvegrain Method for Measurement of Puberty Bone Age

abstract: This study applies a technique to expand the number of images to a level that allows deep learning. And the applicability of the Sauvegrain method through deep learning with relatively few elbow X-rays is studied. The study was composed of processes similar to the physicians' bone age assessment procedures. The selected reference images were learned without being included in the evaluation data, and at the same time, the data was extended to accommodate the number of cases. In addition, we adjusted the X-ray images to better images using U-Net and selected the ROI with RPN + so as to be able to perform bone age estimation through CNN. The mean absolute error of the Sauvegrain method based on deep learning is 2.8 months and the Mean Absolute Percentage Error (MAPE) is 0.018. This result shows that X - ray analysis using the Sauvegrain method shows higher accuracy than that of the age group of puberty even in the deep learning base. This means that deep learning of the Suvegrain method can be measured at a level similar to that of an expert, based on the extended X-ray image with the image data extension technique. Finally, we applied the Sauvegrain method to deep learning for accurate measurement of bone age at puberty. As a result, the present study is based on deep learning, and compared with the evaluation results of experts, it is possible to overcome limitations of the method of measuring bone age based on machine learning which was in TW3 or Greulich & Pyle due to lack of X- I confirmed the fact. And we also presented the Sauvegrain method, which is applicable to adolescents as well.


title: Astrophysical S-factors, thermonuclear rates, and electron screening potential for the $^3$He(d,p)$^{4}$He Big Bang reaction via a hierarchical Bayesian model

abstract: We developed a hierarchical Bayesian framework to estimate S-factors and thermonuclear rates for the $^3$He(d,p)$^{4}$He reaction, which impacts the primordial abundances of $^3$He and $^7$Li. The available data are evaluated and all direct measurements are taken into account in our analysis for which we can estimate separate uncertainties for systematic and statistical effects. For the nuclear reaction model, we adopt a single-level, two-channel approximation of R-matrix theory, suitably modified to take the effects of electron screening at lower energies into account. Apart from the usual resonance parameters (resonance location and reduced widths for the incoming and outgoing reaction channel), we include for the first time the channel radii and boundary condition in the fitting process. Our new analysis of the $^3$He(d,p)$^{4}$He S-factor data results in improved estimates for the thermonuclear rates. This work represents the first nuclear rate evaluation using the R-matrix theory embedded into a hierarchical Bayesian framework, properly accounting for all known sources of uncertainty. Therefore, it provides a test bed for future studies of more complex reactions.


title: Linear SLAM: Linearising the SLAM Problems using Submap Joining

abstract: The main contribution of this paper is a new submap joining based approach for solving large-scale Simultaneous Localization and Mapping (SLAM) problems. Each local submap is independently built using the local information through solving a small-scale SLAM; the joining of submaps mainly involves solving linear least squares and performing nonlinear coordinate transformations. Through approximating the local submap information as the state estimate and its corresponding information matrix, judiciously selecting the submap coordinate frames, and approximating the joining of a large number of submaps by joining only two maps at a time, either sequentially or in a more efficient Divide and Conquer manner, the nonlinear optimization process involved in most of the existing submap joining approaches is avoided. Thus the proposed submap joining algorithm does not require initial guess or iterations since linear least squares problems have closed-form solutions. The proposed Linear SLAM technique is applicable to feature-based SLAM, pose graph SLAM and D-SLAM, in both two and three dimensions, and does not require any assumption on the character of the covariance matrices. Simulations and experiments are performed to evaluate the proposed Linear SLAM algorithm. Results using publicly available datasets in 2D and 3D show that Linear SLAM produces results that are very close to the best solutions that can be obtained using full nonlinear optimization algorithm started from an accurate initial guess. The C/C++ and MATLAB source codes of Linear SLAM are available on OpenSLAM.


title: Approximate Nash Region of the Gaussian Interference Channel with Noisy Output Feedback

abstract: In this paper, an achievable $\eta$-Nash equilibrium ($\eta$-NE) region for the two-user Gaussian interference channel with noisy channel-output feedback is presented for all $\eta \geqslant 1$. This result is obtained in the scenario in which each transmitter-receiver pair chooses its own transmit-receive configuration in order to maximize its own individual information transmission rate. At an $\eta$-NE, any unilateral deviation by either of the pairs does not increase the corresponding individual rate by more than $\eta$ bits per channel use.


title: NLTE line formation for Mg\ione\ and Mg\ii\ in atmospheres of B-A-F-G-K stars

abstract: Non-local thermodynamical equilibrium (NLTE) line formation for Mg I and Mg II lines is considered in classical 1D-LTE model atmospheres of the Sun and 17 stars with reliable atmospheric parameters and in a broad range of spectral types: 3900 $\le$ \Teff\ $\le$ 17500~K, 1.1 $\le$ log$g$ $\le$ 4.7, and $-$2.6 $\le$ [Fe/H] $\le$ +0.4. We find that, for each star, NLTE leads to smaller line-to-line scatter. For 10 stars, NLTE leads to consistent abundances from Mg I and Mg II, while the difference in the LTE abundance varies between $-0.21$ and +0.23~dex. We obtain an abundance discrepancy betweeen Mg I and Mg II in the two very metal-poor stars, HD 140283 and HD 84937. An origin of these abundance differences remains unclear. Our standard NLTE modelling predicts Mg I emission lines at 7.736, 11.789, 12.224, and 12.321 $\mu$m in the atmospheres with \Teff\ $\le$ 7000 K. We reproduce well the Mg I 12.2 and 12.3 $\mu$m emission lines in Procyon. However, for the Sun and 3 K-giants, the predicted Mg I emission lines are too weak compared with the observations. For stars with 7000 K $\le$ \Teff\ $\leq$ 17500 K, we recommend the Mg II 3848, 3850, 4384, 4390, 4427, and 4433 \AA\ lines for Mg abundance determinations even at the LTE assumption due to their small NLTE effects. The Mg I 4167, 4571, 4702, 5528, 5167, 5172, and 5183 \AA\ lines can be safely used in the LTE analysis of stars with 7000 K $<$ \Teff\ $\leq$ 8000 K. For the hotter stars, with \Teff\ from 8000 to 9500 K, the NLTE effects are minor only for Mg\ione\ 4167, 4702, and 4528 \AA.


title: FastDeepIoT: Towards Understanding and Optimizing Neural Network Execution Time on Mobile and Embedded Devices

abstract: Deep neural networks show great potential as solutions to many sensing application problems, but their excessive resource demand slows down execution time, pausing a serious impediment to deployment on low-end devices. To address this challenge, recent literature focused on compressing neural network size to improve performance. We show that changing neural network size does not proportionally affect performance attributes of interest, such as execution time. Rather, extreme run-time nonlinearities exist over the network configuration space. Hence, we propose a novel framework, called FastDeepIoT, that uncovers the non-linear relation between neural network structure and execution time, then exploits that understanding to find network configurations that significantly improve the trade-off between execution time and accuracy on mobile and embedded devices. FastDeepIoT makes two key contributions. First, FastDeepIoT automatically learns an accurate and highly interpretable execution time model for deep neural networks on the target device. This is done without prior knowledge of either the hardware specifications or the detailed implementation of the used deep learning library. Second, FastDeepIoT informs a compression algorithm how to minimize execution time on the profiled device without impacting accuracy. We evaluate FastDeepIoT using three different sensing-related tasks on two mobile devices: Nexus 5 and Galaxy Nexus. FastDeepIoT further reduces the neural network execution time by $48\%$ to $78\%$ and energy consumption by $37\%$ to $69\%$ compared with the state-of-the-art compression algorithms.


title: Contribution of top barrier materials to high mobility in near-surface InAs quantum wells grown on GaSb(001)

abstract: Near-surface InAs two-dimensional electron gas (2DEG) systems have great potential for realizing networks of multiple Majorana zero modes towards a scalable topological quantum computer. Improving mobility in the near-surface 2DEGs is beneficial for stable topological superconducting states as well as for correlation of multiple Majorana zero modes in a complex network. Here, we investigate near-surface InAs 2DEGs (13 nm away from the surface) grown on GaSb(001) substrates, whose lattice constant is closely matched to InAs, by molecular beam epitaxy. The effect of 10-nm-thick top barrier to the mobility is studied by comparing Al$_{0.9}$Ga$_{0.1}$Sb and In$_{0.75}$Ga$_{0.25}$As as a top barrier on otherwise identical InAs quantum wells grown with identical bottom barrier and buffer layers. A 3-nm-thick capping layer on Al$_{0.9}$Ga$_{0.1}$Sb top barrier also affects the 2DEG electronic transport properties by modifying scattering from 2D remote ionized impurities at the surface. The highest transport mobility of 650,000 cm$^2$/Vs with an electron density of 3.81 $\times$ 10$^{11}$ cm$^{-2}$ was observed in an InAs 2DEG with an Al$_{0.9}$Ga$_{0.1}$Sb top barrier and an In$_{0.75}$Ga$_{0.25}$As capping layer. Analysis of Shubnikov-de Haas oscillations in the high mobility sample suggests that long-range scattering, such as remote ionized impurity scattering, is the dominant scattering mechanism in the InAs 2DEGs grown on GaSb(001) substrates. In comparison to InAs quantum wells grown on lattice-mismatched InP, the ones grown on GaSb show smoother surface morphology and higher quantum mobility. However, In$_{0.75}$Ga$_{0.25}$As top barrier in InAs quantum well grown on GaSb limits the transport mobility by charged dislocations formed in it, in addition to the major contribution to scattering from the alloy scattering.


title: Mapless Online Detection of Dynamic Objects in 3D Lidar

abstract: This paper presents a model-free, setting-independent method for online detection of dynamic objects in 3D lidar data. We explicitly compensate for the moving-while-scanning operation (motion distortion) of present-day 3D spinning lidar sensors. Our detection method uses a motion-compensated freespace querying algorithm and classifies between dynamic (currently moving) and static (currently stationary) labels at the point level. For a quantitative analysis, we establish a benchmark with motion-distorted lidar data using CARLA, an open-source simulator for autonomous driving research. We also provide a qualitative analysis with real data using a Velodyne HDL-64E in driving scenarios. Compared to existing 3D lidar methods that are model-free, our method is unique because of its setting independence and compensation for pointcloud motion distortion.


title: Wearable-based Mediation State Detection in Individuals with Parkinson's Disease

abstract: One of the most prevalent complaints of individuals with mid-stage and advanced Parkinson's disease (PD) is the fluctuating response to their medication (i.e., ON state with maximum benefit from medication and OFF state with no benefit from medication). In order to address these motor fluctuations, the patients go through periodic clinical examination where the treating physician reviews the patients' self-report about duration in different medication states and optimize therapy accordingly. Unfortunately, the patients' self-report can be unreliable and suffer from recall bias. There is a need to a technology-based system that can provide objective measures about the duration in different medication states that can be used by the treating physician to successfully adjust the therapy. In this paper, we developed a medication state detection algorithm to detect medication states using two wearable motion sensors. A series of significant features are extracted from the motion data and used in a classifier that is based on a support vector machine with fuzzy labeling. The developed algorithm is evaluated using a dataset with 19 PD subjects and a total duration of 1,052.24 minutes (17.54 hours). The algorithm resulted in an average classification accuracy of 90.5%, sensitivity of 94.2%, and specificity of 85.4%.


title: A Study of Energy Trading in a Low-Voltage Network: Centralised and Distributed Approaches

abstract: Over the past years, distributed energy resources (DER) have been the object of many studies, which recognise and establish their emerging role in the future of power systems. However, the implementation of many scenarios and mechanism are still challenging. This paper provides an overview of a local energy market and explores the approaches in which consumers and prosumers take part in this market. Therefore, the purpose of this paper is to review the benefits of local markets for users. This study assesses the performance of distributed and centralised trading mechanisms, comparing scenarios where the objective of the exchange may be based on individual or social welfare. Simulation results show the advantages of local markets and demonstrate the importance of advancing the understanding of local markets.


title: Aerodynamic Loads Alteration by Gurney Flap on Supercritical Airfoils at Transonic Speeds

abstract: Effects of a gurney flap were numerically investigated on the supercritical NASA airfoil by solving the two-dimensional Reynolds-averaged Navier-Stokes equations for a range of transonic Mach numbers and angles of attack, using turbulence compressible KW SST model. The height of the gurney flap was selected to be 1.65 percent chord length. A high-resolution mesh was applied to accurately predict the flow field specifically in the vicinity of the airfoil. Below the drag divergence Mach number, the gurney flap has a remarkable influence on the aerodynamic coefficients especially at -1 and 0 degrees angle of attack resulting in 50 percent increase in L over D ratio. At high Mach numbers and angles of attack, Gurney flap loses its effects and the clean airfoil has better aerodynamic performance since it significantly boosts both the pressure and shear drag. It was observed that the gurney flap mitigates the transonic lambda shock on both surfaces of the airfoil. Moreover, it alters the Kutta condition by changing the separation point location at the trailing edge which provides the airfoil more bound circulation and lift force.


title: Decentralized P2P Energy Trading under Network Constraints in a Low-Voltage Network

abstract: The increasing uptake of distributed energy resources (DERs) in distribution systems and the rapid advance of technology have established new scenarios in the operation of low-voltage networks. In particular, recent trends in cryptocurrencies and blockchain have led to a proliferation of peer-to-peer (P2P) energy trading schemes, which allow the exchange of energy between the neighbors without any intervention of a conventional intermediary in the transactions. Nevertheless, far too little attention has been paid to the technical constraints of the network under this scenario. A major challenge to implementing P2P energy trading is that of ensuring that network constraints are not violated during the energy exchange. This paper proposes a methodology based on sensitivity analysis to assess the impact of P2P transactions on the network and to guarantee an exchange of energy that does not violate network constraints. The proposed method is tested on a typical UK low-voltage network. The results show that our method ensures that energy is exchanged between users under the P2P scheme without violating the network constraints, and that users can still capture the economic benefits of the P2P architecture.


title: An Orientation Factor for Object-Oriented SLAM

abstract: Current approaches to object-oriented SLAM lack the ability to incorporate prior knowledge of the scene geometry, such as the expected global orientation of objects. We overcome this limitation by proposing a geometric factor that constrains the global orientation of objects in the map, depending on the objects' semantics. This new geometric factor is a first example of how semantics can inform and improve geometry in object-oriented SLAM. We implement the geometric factor for the recently proposed QuadricSLAM that represents landmarks as dual quadrics. The factor probabilistically models the quadrics' major axes to be either perpendicular to or aligned with the direction of gravity, depending on their semantic class. Our experiments on simulated and real-world datasets show that using the proposed factors to incorporate prior knowledge improves both the trajectory and landmark quality.


title: A Large Ground-Based Observing Campaign of the Disintegrating Planet K2-22b

abstract: We present 45 ground-based photometric observations of the K2-22 system collected between December 2016 and May 2017, which we use to investigate the evolution of the transit of the disintegrating planet K2-22b. Last observed in early 2015, in these new observations we recover the transit at multiple epochs and measure a typical depth of <1.5%. We find that the distribution of our measured transit depths is comparable to the range of depths measured in observations from 2014 and 2015. These new observations also support ongoing variability in the K2-22b transit shape and time, although the overall shallowness of the transit makes a detailed analysis of these transit parameters difficult. We find no strong evidence of wavelength-dependent transit depths for epochs where we have simultaneous coverage at multiple wavelengths, although our stacked Las Cumbres Observatory data collected over days-to-months timescales are suggestive of a deeper transit at blue wavelengths. We encourage continued high-precision photometric and spectroscopic monitoring of this system in order to further constrain the evolution timescale and to aid comparative studies with the other few known disintegrating planets.


title: Bicomplex Third-order Jacobsthal Quaternions

abstract: The aim of this work is to consider the bicomplex third-order Jacobsthal quaternions and to present some properties involving this sequence, including the Binet-style formulae and the generating functions. Furthermore, Cassini's identity and d'Ocagne's identity for this type of bicomplex quaternions are given, and a different way to find the $n$-th term of this sequence is stated using the determinant of a four-diagonal matrix whose entries are bicomplex third-order quaternions.


title: Revealing reionization with the thermal history of the intergalactic medium: new constraints from the Lyman-$\alpha$ flux power spectrum

abstract: We present a new investigation of the thermal history of the intergalactic medium (IGM) during and after reionization using the Lyman-$\alpha$ forest flux power spectrum at $4.0\lesssim z\lesssim5.2$. Using a sample of 15 high-resolution spectra, we measure the flux power down to the smallest scales ever probed at these redshifts ($-1\lesssim \log(k/$km$^{-1}$s)$\lesssim -0.7$). These scales are highly sensitive to both the instantaneous temperature of the IGM and the total energy injected per unit mass during and after reionization. We measure temperatures at the mean density of $T_{0}\sim7000$-8000 K, consistent with no significant temperature evolution for redshifts $4.2\lesssim z\lesssim5.0$. We also present the first observational constraints on the integrated IGM thermal history, finding that the total energy input per unit mass increases from $u_{0}\sim4.6$ ${\rm eV}$ $m_{\rm p}^{-1}$ to 7.3 eV $m_{\rm p}^{-1}$ from $z\sim 6$ to $4.2$ assuming a $\Lambda$-CDM cosmology. We show how these results can be used simultaneously to obtain information on the timing and the sources of the reionization process. Our first proof of concept using simplistic models of instantaneous reionization produces results comparable to and consistent with the recent Planck constraints, favoring models with $z_{\rm rei}\sim 8.5^{+1.1}_{-0.8}$.


title: Activation cross sections of \alpha-induced reactions on $^{nat}$Zn for Ge and Ga production

abstract: The production cross sections of $^{68,69}$Ge and $^{66,67}$Ga by \alpha-induced reactions on $^{nat}$Zn have been measured using the stacked-foil activation method and off-line \gamma-ray spectrometry from their threshold energies to 50.7 MeV. The derived cross sections were compared with the previous experimental data and the calculated values in the TENLD-2017 library. Our result shows a slightly larger amplitude than the previous data at the peak, though the peak energy is consistent with them.


title: Homotopy type of manifolds with partially horoconvex boundary

abstract: Let $M$ be an $n$-dimensional compact connected manifold with boundary, $\kappa>0$ a constant and $1\leq q\leq n-1$ an integer. We prove that $M$ supports a Riemannian metric with the interior $q$-curvature $K_q\geq -q\kappa^2$ and the boundary $q$-curvature $\Lambda_q\geq q\kappa$, if and only if $M$ has the homotopy type of a CW complex with a finite number of cells with dimension $\leq (q-1)$. Moreover, any Riemannian manifold $M$ with sectional curvature $K\geq -\kappa^2$ and boundary principal curvature $\Lambda\geq \kappa$ is diffeomorphic to the standard closed $n$-ball.


title: Condensation of Yang-Mills field at High Temperature in the Presence of Fermions

abstract: The possible condensation of the time-component of Yang-Mills field at finite temperature is discussed in the presence of Dirac fermions. We show that the condensation forms regardless of the number of fundamental and adjoint fermion species coupled to the Yang-Mills field. The effect of finite density of fermions is also investigated and it is shown that the magnitude of the condensation is also independent of the densities.


title: Effective dielectric tensor of deformed-helix ferroelectric liquid crystals with subwavelength pitch and large tilt angle

abstract: Short pitch deformed helix ferroelectric liquid crystals have numerous applications as active materials in displays, optical telemetry and biomedical devices. In this paper, we derive convenient analytical formulas to calculate the effective dielectric tensor of these materials beyond the space average approximation. By comparison with exact numerical calculations, we show that our formulas are remarkably accurate in predicting optical properties in virtually all practical situations, including the important case of large tilt angles, where the space average approximation breaks down. We also present a comparison between the two complementary approaches of expanding the mesoscopic dielectric tensor vs. the mesoscopic transfer matrix, by deriving an expression for the effective transfer matrix as an infinite expansion and explicitly calculating the corresponding effective dielectric tensor for the first time. Our results demonstrate that both methods give accurate predictions when two-photon scattering terms are taken into account.


title: Heavy mesons in the Quark Model

abstract: Since the discovery of the $J/\psi$, the quark model was very successful in describing the spectrum and properties of heavy mesons including only $q\bar q$ components. However since 2003, with the discovery of the $X(3872)$, many states that can not be accommodated on the naive quark model have been discovered, and they made unavoidable to include higher Fock components on the heavy meson states. We will give an overview of the success of the quark model for heavy mesons and point some of the states that are likely to be more complicated structures such as meson-meson molecules.


title: Sublinear Time Low-Rank Approximation of Distance Matrices

abstract: Let $\mathbf{P}=\{ p_1, p_2, \ldots p_n \}$ and $\mathbf{Q} = \{ q_1, q_2 \ldots q_m \}$ be two point sets in an arbitrary metric space. Let $\mathbf{A}$ represent the $m\times n$ pairwise distance matrix with $\mathbf{A}_{i,j} = d(p_i, q_j)$. Such distance matrices are commonly computed in software packages and have applications to learning image manifolds, handwriting recognition, and multi-dimensional unfolding, among other things. In an attempt to reduce their description size, we study low rank approximation of such matrices. Our main result is to show that for any underlying distance metric $d$, it is possible to achieve an additive error low-rank approximation in sublinear time. We note that it is provably impossible to achieve such a guarantee in sublinear time for arbitrary matrices $\mathbf{A}$, and consequently our proof exploits special properties of distance matrices. We develop a recursive algorithm based on additive projection-cost preserving sampling. We then show that in general, relative error approximation in sublinear time is impossible for distance matrices, even if one allows for bicriteria solutions. Additionally, we show that if $\mathbf{P} = \mathbf{Q}$ and $d$ is the squared Euclidean distance, which is not a metric but rather the square of a metric, then a relative error bicriteria solution can be found in sublinear time.


title: Data-Driven Clustering via Parameterized Lloyd's Families

abstract: Algorithms for clustering points in metric spaces is a long-studied area of research. Clustering has seen a multitude of work both theoretically, in understanding the approximation guarantees possible for many objective functions such as k-median and k-means clustering, and experimentally, in finding the fastest algorithms and seeding procedures for Lloyd's algorithm. The performance of a given clustering algorithm depends on the specific application at hand, and this may not be known up front. For example, a "typical instance" may vary depending on the application, and different clustering heuristics perform differently depending on the instance. In this paper, we define an infinite family of algorithms generalizing Lloyd's algorithm, with one parameter controlling the initialization procedure, and another parameter controlling the local search procedure. This family of algorithms includes the celebrated k-means++ algorithm, as well as the classic farthest-first traversal algorithm. We design efficient learning algorithms which receive samples from an application-specific distribution over clustering instances and learn a near-optimal clustering algorithm from the class. We show the best parameters vary significantly across datasets such as MNIST, CIFAR, and mixtures of Gaussians. Our learned algorithms never perform worse than k-means++, and on some datasets we see significant improvements.


title: Gwardar: Towards Protecting a Software-Defined Network from Malicious Network Operating Systems

abstract: A Software-Defined Network (SDN) controller (aka. Network Operating System or NOS) is regarded as the brain of the network and is the single most critical element responsible to manage an SDN. Complimentary to existing solutions that aim to protect a NOS, we propose an intrusion protection system designed to protect an SDN against a controller that has been successfully compromised. Gwardar maintains a virtual replica of the data plane by intercepting the OpenFlow messages exchanged between the control and data plane. By observing the long-term flow of the packets, Gwardar learns the normal set of trajectories in the data plane for distinct packet headers. Upon detecting an unexpected packet trajectory, it starts by verifying the data plane forwarding devices by comparing the actual packet trajectories with the expected ones computed over the virtual replica. If the anomalous trajectories match the NOS instructions, Gwardar inspects the NOS itself. For this, it submits policies matching the normal set of trajectories and verifies whether the controller submits matching flow rules to the data plane and whether the network view provided to the application plane reflects the changes. Our evaluation results prove the practicality of Gwardar with a high detection accuracy in a reasonable time-frame.


title: Chiral Higgs Mode in Nematic Superconductors

abstract: Nematic superconductivity with spontaneously broken rotation symmetry has recently been reported in doped topological insulators, $M_x$Bi$_2$Se$_3$ ($M$=Cu, Sr, Nb). Here we show that the electromagnetic (EM) response of these compounds provides a spectroscopy for bosonic excitations that reflect the pairing channel and the broken symmetries of the ground state. Using quasiclassical Keldysh theory, we find two characteristic bosonic modes in nematic superconductors: the nematicity mode and the chiral Higgs mode. The former corresponds to the vibrations of the nematic order parameter associated with broken crystal symmetry, while the latter represents the excitation of chiral Cooper pairs. The chiral Higgs mode softens at a critical doping, signaling a dynamical instability of the nematic state towards a new chiral ground state with broken time reversal and mirror symmetry. Evolution of the bosonic spectrum is directly captured by EM power absorption spectra. We also discuss contributions to the bosonic spectrum from sub-dominant pairing channels to the EM response.


title: Local weak$^{*}$-Convergence, algebraic actions, and a max-min principle

abstract: We continue our study of when topological and measure-theoretic entropy agree for algebraic action of sofic groups. Specifically, we provide a new abstract method to prove that an algebraic action is strongly sofic. The method is based on passing to a "limiting object" for sequences of measures which are asymptotically supported on topological microstates. This limiting object has a natural poset structure that we are able to exploit to prove a max-min principle: if the sofic approximation has ergodic centralizer, then the largest subgroup on which the action is a local weak$^{*}$-limit of measures supported on topological microstates is equal to the smallest subgroup which absorbs all topological microstates. We are able to provide a version for the case when the centralizer is not ergodic. We give many applications, including show that for residually finite groups completely positive (lower) topological entropy (in the presence) is equivalent to completely positive (lower) measure entropy in the presence.


title: Causal Testing: Finding Defects' Root Causes

abstract: Understanding the root cause of a defect is critical to isolating and repairing buggy behavior. We present Causal Testing, a new method of root-cause analysis that relies on the theory of counterfactual causality to identify a set of executions that likely hold key causal information necessary to understand and repair buggy behavior. Using the Defects4J benchmark, we find that Causal Testing could be applied to 71% of real-world defects, and for 77% of those, it can help developers identify the root cause of the defect. A controlled experiment with 37 developers shows that Causal Testing improves participants' ability to identify the cause of the defect from 80% of the time with standard testing tools to 86% of the time with Causal Testing. The participants report that Causal Testing provides useful information they cannot get using tools such as JUnit. Holmes, our prototype, open-source Eclipse plugin implementation of Causal Testing, is available at http://holmes.cs.umass.edu/.


title: Aligning Manifolds of Double Pendulum Dynamics Under the Influence of Noise

abstract: This study presents the results of a series of simulation experiments that evaluate and compare four different manifold alignment methods under the influence of noise. The data was created by simulating the dynamics of two slightly different double pendulums in three-dimensional space. The method of semi-supervised feature-level manifold alignment using global distance resulted in the most convincing visualisations. However, the semi-supervised feature-level local alignment methods resulted in smaller alignment errors. These local alignment methods were also more robust to noise and faster than the other methods.


title: Deep-learning models improve on community-level diagnosis for common congenital heart disease lesions

abstract: Prenatal diagnosis of tetralogy of Fallot (TOF) and hypoplastic left heart syndrome (HLHS), two serious congenital heart defects, improves outcomes and can in some cases facilitate in utero interventions. In practice, however, the fetal diagnosis rate for these lesions is only 30-50 percent in community settings. Improving fetal diagnosis of congenital heart disease is therefore critical. Deep learning is a cutting-edge machine learning technique for finding patterns in images but has not yet been applied to prenatal diagnosis of congenital heart disease. Using 685 retrospectively collected echocardiograms from fetuses 18-24 weeks of gestational age from 2000-2018, we trained convolutional and fully-convolutional deep learning models in a supervised manner to (i) identify the five canonical screening views of the fetal heart and (ii) segment cardiac structures to calculate fetal cardiac biometrics. We then trained models to distinguish by view between normal hearts, TOF, and HLHS. In a holdout test set of images, F-score for identification of the five most important fetal cardiac views was 0.95. Binary classification of unannotated cardiac views of normal heart vs. TOF reached an overall sensitivity of 75% and a specificity of 76%, while normal vs. HLHS reached a sensitivity of 100% and specificity of 90%, both well above average diagnostic rates for these lesions. Furthermore, segmentation-based measurements for cardiothoracic ratio (CTR), cardiac axis (CA), and ventricular fractional area change (FAC) were compatible with clinically measured metrics for normal, TOF, and HLHS hearts. Thus, using guideline-recommended imaging, deep learning models can significantly improve detection of fetal congenital heart disease compared to the common standard of care.


title: Critical exponent for the semilinear wave equations with a damping increasing in the far field

abstract: We consider the Cauchy problem of the semilinear wave equation with a damping term \begin{align*} u_{tt} - \Delta u + c(t,x) u_t = |u|^p, \quad (t,x)\in (0,\infty)\times \mathbb{R}^N,\quad u(0,x) = \varepsilon u_0(x), \ u_t(0,x) = \varepsilon u_1(x), \quad x\in \mathbb{R}^N, \end{align*} where $p>1$ and the coefficient of the damping term has the form \begin{align*} c(t,x) = a_0 (1+|x|^2)^{-\alpha/2} (1+t)^{-\beta} \end{align*} with some $a_0 > 0$, $\alpha < 0$, $\beta \in (-1, 1]$. In particular, we mainly consider the cases $ \alpha < 0, \beta =0$ or $\alpha < 0, \beta = 1$, which imply $\alpha + \beta < 1$, namely, the damping is spatially increasing and effective. Our aim is to prove that the critical exponent is given by $ p = 1+ \frac{2}{N-\alpha}$. This shows that the critical exponent is the same as that of the corresponding parabolic equation $c(t,x) v_t - \Delta v = |v|^p$. The global existence part is proved by a weighted energy estimates with an exponential-type weight function and a special case of the Caffarelli-Kohn-Nirenberg inequality. The blow-up part is proved by a test-function method introduced by Ikeda and Sobajima (arXiv:1710.06780v1). We also give an upper estimate of the lifespan.


title: Interpretable Reinforcement Learning with Ensemble Methods

abstract: We propose to use boosted regression trees as a way to compute human-interpretable solutions to reinforcement learning problems. Boosting combines several regression trees to improve their accuracy without significantly reducing their inherent interpretability. Prior work has focused independently on reinforcement learning and on interpretable machine learning, but there has been little progress in interpretable reinforcement learning. Our experimental results show that boosted regression trees compute solutions that are both interpretable and match the quality of leading reinforcement learning methods.


title: Focused econometric estimation for noisy and small datasets: A Bayesian Minimum Expected Loss estimator approach

abstract: Central to many inferential situations is the estimation of rational functions of parameters. The mainstream in statistics and econometrics estimates these quantities based on the plug-in approach without consideration of the main objective of the inferential situation. We propose the Bayesian Minimum Expected Loss (MELO) approach focusing explicitly on the function of interest, and calculating its frequentist variability. Asymptotic properties of the MELO estimator are similar to the plug-in approach. Nevertheless, simulation exercises show that our proposal is better in situations characterized by small sample sizes and noisy models. In addition, we observe in the applications that our approach gives lower standard errors than frequently used alternatives when datasets are not very informative.


title: Emergence of collective oscillations in adaptive cells

abstract: Collective oscillation of cells in a population has been reported under diverse biological contexts and with vastly different molecular constructs. Could there be common principles similar to those that govern spontaneous oscillation in mechanical or electrical systems? Here, we answer this question in the affirmative by categorising the response of individual cells against a time-varying signal. A positive intracellular signal relay of sufficient gain from participating cells is required to sustain the oscillations, together with phase matching. The two conditions yield quantitative predictions for the onset cell density and frequency in terms of measured single-cell and signal response functions. Through mathematical constructions, we show that cells that adapt to a constant stimulus fulfil the phase requirement by developing a leading phase in an "active" frequency window that enables cell-to-signal energy flow. Analysis of dynamical quorum sensing in several cellular systems with increasing biological complexity reaffirms the pivotal role of adaptation in powering oscillations in an otherwise dissipative cell-to-cell communication channel. The physical conditions identified can be used to design synthetic oscillatory systems


title: ARPES/STM study of the surface terminations and 5$f$-electron character in URu$_2$Si$_2$

abstract: Hidden order in URu$_2$Si$_2$ has remained a mystery now entering its 4th decade. The importance of resolving the nature of the hidden order has stimulated extensive research. Here we present a detailed characterization of different surface terminations in URu$_2$Si$_2$ by angle-resolved photoemission spectroscopy, in conjunction with scanning tunneling spectroscopy and DMFT calculations that may unveil a new piece of this puzzle. The U-terminated surface is characterized by an electron-like band around the $\bar{X}$ point, while a hole-like band for the Si-terminated surface. We also investigate temperature evolution of the electronic structure around the $\bar{X}$ point from 11 K up to 70 K, and did not observe any abrupt change of the electronic structure around the coherence temperature (55 K). The $f$ spectral weight gradually weakens upon increasing temperature, still some $f$ spectral weight can be found above this temperature. Our results suggest that surface terminations in URu$_2$Si$_2$ are an important issue to be taken into account in future work.


title: Large phase-transition-induced magnetic anisotropy change in (Co/Pt)2/VO2 heterostructure

abstract: We report the phase-transition controlled magnetic anisotropy modulation in the (Co/Pt)2/VO2 heterostructure, where VO2 is introduced into the system to applied an interfacial strain by its metal-insulator transition. A large reversible modulation of the perpendicular magnetic anisotropy (PMA) reaching 38 kJ/m3 is observed during this process. The calculated energy density variation of interfacial anisotropy reaches 100 mJ/m2, which shows significant advantage over traditional modulation strategies. Further experimental results including magnetization change versus temperature, strain buffered modulation and pre-strained sample comparison prove that the interfacial coupling between VO2 and PMA layers plays a crucial role in this modulation. This work, demonstrating the great potential of phase-transition material in efficient magnetic anisotropy modulation, would benefit the exploration for low-power consumption devices.


title: Intermolecular Coupling and Superconductivity in Chevrel Phase Compounds

abstract: To understand superconductivity in Chevrel phase compounds and guide the search for interesting properties in materials created with Chevrel phase molecules as building blocks, we use ab-initio methods to study the properties of single Mo$_6$X$_8$ molecules with $X=S$, $Se$, $Te$ as well as the bulk solid PbMo$_6$S$_8$. In bulk PbMo$_6$S$_8$, the different energy scales from strong to weak are: the band kinetic energy, the intra-molecular Coulomb interaction, the on-molecule Jahn-Teller energy and the Hund's exchange coupling. The metallic state is stable with respect to Mott and polaronic insulating states. The bulk compound is characterized by a strong electron-phonon interaction with the largest coupling involving phonon modes with energies in the range from 11 meV to 17 meV and with a strong inter-molecule (Peierls) character. A two-band Eliashberg equation analysis shows that the superconductivity is strong-coupling, with different gaps on the two Fermi surface sheets. A Bergman-Rainer analysis of the functioanl derivative of the transition temperature with respect to the electron-phonon coupling reveals that the Peierls modes provide the most important contribution to the superconductivity. This work illustrates the importance of inter-molecular coupling for collective phenomena in molecular solids.


title: Identifying Anticyclonic Vortex Features Produced by the Rossby Wave Instability in Protoplanetary Disks

abstract: Several nearby protoplanetary disks have been observed to display large scale crescents in the (sub)millimeter dust continuum emission. One interpretation is that these structures correspond to anticyclonic vortices generated by the Rossby wave instability within the gaseous disk. Such vortices have local gas over-densities and are expected to concentrate dust particles with Stokes number around unity. This process might catalyze the formation of planetesimals. Whereas recent observations showed that dust crescent are indeed regions where millimeter-size particles have abnormally high concentration relative to the gas and smaller grains, no observations have yet shown that the gas within the crescent region counter-rotates with respect to the protoplanetary disk. Here we investigate the detectability of anticyclonic features through measurement of the line-of-sight component of the gas velocity obtained with ALMA. We carry out 2D hydrodynamic simulations and 3D radiative transfer calculation of a protoplanetary disk characterized by a vortex created by the tidal interaction with a massive planet. As a case study, the disk parameters are chosen to mimic the IRS 48 system, which has the most prominent crescent observed to date. We generate synthetic ALMA observations of both the dust continuum and 12CO emission around the frequency of 345 GHz. We find that the anticyclonic features of vortex are weak but can be detected if both the source and the observational setup are properly chosen. We provide a recipe for maximizing the probability to detect such vortex features and present an analysis procedure to infer their kinematic properties.


title: Skinny emulsions take on granular matter

abstract: Our understanding of the structural features of foams and emulsions has advanced significantly over the last 20 years. However, with a search for "super-stable" liquid dispersions, foam and emulsion science employs increasingly complex formulations which create solid-like visco-elastic layers at the bubble/drop surfaces. These lead to elastic, adhesive and frictional forces between bubbles/drops, impacting strongly how they pack and deform against each other, asking for an adaptation of the currently available structural description. The possibility to modify systematically the interfacial properties makes these dispersions ideal systems for the exploration of soft granular materials with complex interactions. We present here a first systematic analysis of the structural features of such a system using a model silicone emulsion containing millimetre-sized polyethylene glycol drops (PEG). Solid-like drop surfaces are obtained by polymeric cross-linking reactions at the PEG-silicone interface. Using a novel droplet-micromanipulator, we highlight the presence of elastic, adhesive and frictional interactions between two drops. We then provide for the first time a full tomographic analysis of the structural features of these emulsions. An in-depth analysis of the angle of repose, local volume fraction distributions, pair correlation functions and the drop deformations for different skin formulations allow us to put in evidence the striking difference with "ordinary" emulsions having fluid-like drop surfaces. While strong analogies with frictional hard-sphere systems can be drawn, these systems display a set of unique features due to the high deformability of the drops which await systematic exploration.


title: Energy bounds condition for intertwining operators of type $B$, $C$, and $G_2$ unitary affine vertex operator algebras

abstract: The energy bounds condition for intertwining operators of unitary rational vertex operator algebras (VOAs) was studied, first by A.Wassermann for type $A$ affine VOAs, and later by T.Loke for $c<1$ Virasoro VOAs, and by V.Toledano-Laredo for type $D$ affine VOAs. In this paper, we extend their results to affine VOAs of type $B$, $C$, and $G_2$. As a consequence, the modular tensor categories of these unitary vertex operator algebras are unitary.


title: Leveraging Contact Forces for Learning to Grasp

abstract: Grasping objects under uncertainty remains an open problem in robotics research. This uncertainty is often due to noisy or partial observations of the object pose or shape. To enable a robot to react appropriately to unforeseen effects, it is crucial that it continuously takes sensor feedback into account. While visual feedback is important for inferring a grasp pose and reaching for an object, contact feedback offers valuable information during manipulation and grasp acquisition. In this paper, we use model-free deep reinforcement learning to synthesize control policies that exploit contact sensing to generate robust grasping under uncertainty. We demonstrate our approach on a multi-fingered hand that exhibits more complex finger coordination than the commonly used two-fingered grippers. We conduct extensive experiments in order to assess the performance of the learned policies, with and without contact sensing. While it is possible to learn grasping policies without contact sensing, our results suggest that contact feedback allows for a significant improvement of grasping robustness under object pose uncertainty and for objects with a complex shape.


title: Tail redundancy and its characterization of compression of memoryless sources

abstract: We formalize the tail redundancy of a collection of distributions over a countably infinite alphabet, and show that this fundamental quantity characterizes the asymptotic per-symbol redundancy of universally compressing sequences generated iid from a collection $\mathcal P$ of distributions over a countably infinite alphabet. Contrary to the worst case formulations of universal compression, finite single letter (average case) redundancy of $\mathcal P$ does not automatically imply that the expected redundancy of describing length-$n$ strings sampled iid from $\mathcal P$ grows sublinearly with $n$. Instead, we prove that universal compression of length-$n$ \iid sequences from $\mathcal P$ is characterized by how well the tails of distributions in $\mathcal P$ can be universally described, showing that the asymptotic per-symbol redundancy of iid strings is equal to the tail redundancy.


title: Using Eigencentrality to Estimate Joint, Conditional and Marginal Probabilities from Mixed-Variable Data: Method and Applications

abstract: The ability to estimate joint, conditional and marginal probability distributions over some set of variables is of great utility for many common machine learning tasks. However, estimating these distributions can be challenging, particularly in the case of data containing a mix of discrete and continuous variables. This paper presents a non-parametric method for estimating these distributions directly from a dataset. The data are first represented as a graph consisting of object nodes and attribute value nodes. Depending on the distribution to be estimated, an appropriate eigenvector equation is then constructed. This equation is then solved to find the corresponding stationary distribution of the graph, from which the required distributions can then be estimated and sampled from. The paper demonstrates how the method can be applied to many common machine learning tasks including classification, regression, missing value imputation, outlier detection, random vector generation, and clustering.


title: Exotic C*-algebras of geometric groups

abstract: We consider a new class of potentially exotic group C*-algebras $C^*_{PF_p^*}(G)$ for a locally compact group $G$, and its connection with the class of potentially exotic group C*-algebras $C^*_{L^p}(G)$ introduced by Brown and Guentner. Surprisingly, these two classes of C*-algebras are intimately related. By exploiting this connection, we show $C^*_{L^p}(G)=C^*_{PF_p^*}(G)$ for $p\in (2,\infty)$, and the C*-algebras $C^*_{L^p}(G)$ are pairwise distinct for $p\in (2,\infty)$ when $G$ belongs to a large class of nonamenable groups possessing the Haagerup property and either the rapid decay property or Kunze-Stein phenomenon by characterizing the positive definite functions that extend to positive linear functionals of $C^*_{L^p}(G)$ and $C^*_{PF_p^*}(G)$. This greatly generalizes earlier results of Okayasu and the second author on the pairwise distinctness of $C^*_{L^p}(G)$ for $2<p<\infty$ when $G$ is either a noncommutative free group or the group $SL(2,\mathbb R)$, respectively. As a byproduct of our techniques, we present two applications to the theory of unitary representations of a locally compact group $G$. Firstly, we give a short proof of the well-known Cowling-Haagerup-Howe Theorem which presents sufficient condition implying the weak containment of a cyclic unitary representation of $G$ in the left regular representation of $G$. Also we give a near solution to a 1978 conjecture of Cowling. This conjecture of Cowling states if $G$ is a Kunze-Stein group and $\pi$ is a unitary representation of $G$ with cyclic vector $\xi$ such that the map $$G\ni s\mapsto \langle \pi(s)\xi,\xi\rangle$$ belongs to $L^p(G)$ for some $2< p <\infty$, then $A_\pi\subseteq L^p(G)$. We show $B_\pi\subseteq L^{p+\epsilon}(G)$ for every $\epsilon>0$ (recall $A_\pi\subseteq B_\pi$).


title: A comprehensive study of coupled LBM-DEM with immersed moving boundary

abstract: A systematic study is carried out on a fully resolved fluid-particle model which couples the Lattice Boltzmann Method (LBM) and the Discrete Element Method (DEM) using an immersed moving boundary technique. Similar algorithms have been reported in the past decade, however, the roles of major model parameters are yet to be fully understood. To examine various numerical errors, a series of benchmark cases with a wide range of Reynolds number are performed, starting from a single stationary particle to multiple moving particles. It is found that for flow with low and intermediate Reynolds numbers, 20 fluid cells per one particle diameter are necessary to achieve sufficient accuracy (within 5%). For a flow with high Reynolds number, a turbulence model shall be incorporated so that the effects of unresolved small eddies can be captured in an accurate and efficient manner. Besides, the LBM-DEM results are also sensitive to the relaxation time, especially when the spatial resolution is inadequate. A large relaxation time can introduce additional diffusion of fluid momentum into the fluid-particle system, leading to weakened hydrodynamic interactions. By choosing a small relaxation time greater than the lower limit 0.5, a small fluid compressibility error and a strong coupling between fluids and particles can be achieved, at the cost of computational effort. The test cases also demonstrate the capability of LBM-DEM to describe the rheology of particle suspensions by capturing the pore-scale hydrodynamic interactions. Finally, a guideline for quickly establishing a high-quality LBM-DEM model is provided.


title: Light Field Neural Network

abstract: We introduce an optical neural network system made by off-the-shelf components. In order to test the evaluate the physical property of the proposed system, we are making a prototype. After further discussions with our cooperators, we are agreed that the prototype implementation may take longer time than we expected earlier. Therefore we reach a consensus on withdrawing the paper until the physical data is available.


title: Stability and the Gauge Problem in Non-Perturbative Cosmology

abstract: In this paper, we describe the first steps towards fully non-perturbative cosmology. We explain why the conventional methods used by cosmologists based on the ADM formulation are generally inadequate for this purpose and why it is advantageous instead to adapt the harmonic formulation pioneered and utilized in mathematical and numerical relativity. Here we focus on using this approach to evaluating the linear mode stability in homogeneous and nearly homogeneous backgrounds and devising a valid scheme and diagnostics for numerical computation. We also briefly touch on the relevance of these methods for extracting cosmological observables from non-perturbative simulations.


title: Positive-Unlabeled Classification under Class Prior Shift and Asymmetric Error

abstract: Bottlenecks of binary classification from positive and unlabeled data (PU classification) are the requirements that given unlabeled patterns are drawn from the test marginal distribution, and the penalty of the false positive error is identical to the false negative error. However, such requirements are often not fulfilled in practice. In this paper, we generalize PU classification to the class prior shift and asymmetric error scenarios. Based on the analysis of the Bayes optimal classifier, we show that given a test class prior, PU classification under class prior shift is equivalent to PU classification with asymmetric error. Then, we propose two different frameworks to handle these problems, namely, a risk minimization framework and density ratio estimation framework. Finally, we demonstrate the effectiveness of the proposed frameworks and compare both frameworks through experiments using benchmark datasets.


title: Enhancing the settling time estimation of a class of fixed-time stable systems

abstract: This paper deals with the convergence time analysis of a class of fixed-time stable systems with the aim to provide a new non-conservative upper bound for its settling time. Our contribution is fourfold. First, we revisit the well-known class of fixed-time stable systems, given in (Polyakov et al.,2012}, while showing the conservatism of the classical upper estimate of the settling time. Second, we provide the smallest constant that uniformly upper bounds the settling time of any trajectory of the system under consideration. Third, introducing a slight modification of the previous class of fixed-time systems, we propose a new predefined-time convergent algorithm where the least upper bound of the settling time is set a priori as a parameter of the system. At last, predefined-time controllers for first order and second order systems are introduced. Some simulation results highlight the performance of the proposed scheme in terms of settling time estimation compared to existing methods.


title: Extremal curves on Stiefel and Grassmann manifolds

abstract: This paper uncovers a large class of left-invariant sub-Rie\-mannian systems on Lie groups that admit explicit solutions with certain properties, and provides geometric origins for a class of important curves on Stiefel manifolds, called quasi-geodesics, that project on Grassmann manifolds as Riemannian geodesics. We show that quasi-geodesics are the projections of sub-Riemannian geodesics generated by certain left-invariant distributions on Lie groups that act transitively on each Stiefel manifold $St_k^n(V)$. This result is valid not only for the real Stiefel manifolds in $V=\mathbb R^n$, but also for the Stiefels in the Hermitian space $V=\mathbb C^n$ and the quaternion space $V=\mathbb H^n$.


title: Extreme Scale De Novo Metagenome Assembly

abstract: Metagenome assembly is the process of transforming a set of short, overlapping, and potentially erroneous DNA segments from environmental samples into the accurate representation of the underlying microbiomes's genomes. State-of-the-art tools require big shared memory machines and cannot handle contemporary metagenome datasets that exceed Terabytes in size. In this paper, we introduce the MetaHipMer pipeline, a high-quality and high-performance metagenome assembler that employs an iterative de Bruijn graph approach. MetaHipMer leverages a specialized scaffolding algorithm that produces long scaffolds and accommodates the idiosyncrasies of metagenomes. MetaHipMer is end-to-end parallelized using the Unified Parallel C language and therefore can run seamlessly on shared and distributed-memory systems. Experimental results show that MetaHipMer matches or outperforms the state-of-the-art tools in terms of accuracy. Moreover, MetaHipMer scales efficiently to large concurrencies and is able to assemble previously intractable grand challenge metagenomes. We demonstrate the unprecedented capability of MetaHipMer by computing the first full assembly of the Twitchell Wetlands dataset, consisting of 7.5 billion reads - size 2.6 TBytes.


title: Exploring the best scenario for understanding the high temperature thermoelectric behaviour of Fe2VAl

abstract: Heusler-type Fe2VAl compound is a promising thermoelectric candidate with non-magnetic ground state. The present work investigates the Seebeck coefficient (S) of Fe2VAl in the temperature region 300 to 620 K with the help of experimental and theoretical tools. The experimental value of S is observed -130 {\mu}V/K at 300 K. Afterthat, the magnitude of S decreases gradually as the temperature increases. At T = 620 K, the value of S is found to be -26 {\mu}V/K. In order to understand the behaviour of the experimentally observed S value, the band-structure and density of states calculations are performed by using LDA, PBE, PBEsol, mBJ and SCAN within density functional theory. All the above mentioned exchange-correlation (XC) functionals (except mBJ) predict the semi-metal like behaviour of the compound, whereas the mBJ gives the indirect band gap of 0.22 eV having the well agreement with experimentally observed value. The temperature dependence of S for Fe2VAl is also calculated with the help of all the five mentioned functionals individually. The best XC functional is investigated for searching the new thermoelectric materials by taking Fe2VAl as a case example through this study. The best matching between experimental and calculated values of S as a function of temperature is observed by setting the mBJ band gap with the band-structure of PBEsol or SCAN. Therefore, the present study suggests that the band-structure of PBEsol or SCAN with mBJ band gap can be used for searching the new thermoelectric materials.


title: Generating 3D Adversarial Point Clouds

abstract: Deep neural networks are known to be vulnerable to adversarial examples which are carefully crafted instances to cause the models to make wrong predictions. While adversarial examples for 2D images and CNNs have been extensively studied, less attention has been paid to 3D data such as point clouds. Given many safety-critical 3D applications such as autonomous driving, it is important to study how adversarial point clouds could affect current deep 3D models. In this work, we propose several novel algorithms to craft adversarial point clouds against PointNet, a widely used deep neural network for point cloud processing. Our algorithms work in two ways: adversarial point perturbation and adversarial point generation. For point perturbation, we shift existing points negligibly. For point generation, we generate either a set of independent and scattered points or a small number (1-3) of point clusters with meaningful shapes such as balls and airplanes which could be hidden in the human psyche. In addition, we formulate six perturbation measurement metrics tailored to the attacks in point clouds and conduct extensive experiments to evaluate the proposed algorithms on the ModelNet40 3D shape classification dataset. Overall, our attack algorithms achieve a success rate higher than 99% for all targeted attacks


title: On reverse-order law of tensors and its application to additive results on Moore-Penrose inverse

abstract: The equality $(\mc{A}\n\mc{B})^\dagger = \mc{B}^\dagger \n \mc{A}^\dagger$ for any two complex tensors $\mc{A}$ and $\mc{B}$ of arbitrary order, is called as the {\it reverse-order law} for the Moore-Penrose inverse of arbitrary order tensors via the Einstein product. Panigrahy {\it et al.} [Linear Multilinear Algebra; 68 (2020), 246-264.] obtained several necessary and sufficient conditions to hold the reverse-order law for the Moore-Penrose inverse of even-order tensors via the Einstein product, very recently. This notion is revisited here among other results. In this context, we present several new characterizations of the reverse-order law of arbitrary order tensors via the same product. More importantly, we illustrate a result on the Moore-Penrose inverse of a sum of two tensors as an application of the reverse-order law which leaves an open problem. We recall the definition of the Frobenius norm and the spectral norm to illustrate a result for finding the additive perturbation bounds of the Moore-Penrose inverse under the Frobenius norm. We conclude our paper with the introduction of the notion of sub-proper splitting for tensors which may help to find an iterative solution of a tensor multilinear system.


title: A note on images of Galois representations (with an application to a result of Litt)

abstract: Let $X$ be a variety (possibly non-complete or singular) over a finitely generated field $k$ of characteristic $0$. For a prime number $\ell$, let $\rho_\ell$ be the Galois representation on the first $\ell$-adic cohomology of $X$. We show that if $\ell$ varies the image of $\rho_\ell$ is of bounded index in the group of $\mathbb{Z}_\ell$-points of its Zariski closure. We use this to improve a recent result of Litt about arithmetic representations of geometric fundamental groups. Litt's result says that there exist constants $N = N(X,\ell)$ such that every arithmetic representation $\pi_1(X_{\bar{k}}) \to \mathrm{GL}_n(\mathbb{Z}_\ell)$ that is trivial modulo $\ell^N$ is unipotent. We show that these constants can in fact be chosen independently of $\ell$.


title: Specific heat, thermal conductivity, and magnetic susceptibility of cyanate ester resins --- An alternative to commonly used epoxy resins

abstract: In low temperature experiments, resins have many applications as glues or thermal and electrical insulators. Cyanate ester resins (CEs) are a high-temperature compatible thermoset resin whose glass-transition temperature $T_g$ is ~300 $^\circ$C. Recently, we found that CEs also withstand low temperatures without microcracking by measuring $^4$He permeability. Here, we measured specific heat C, thermal conductivity \kappa, and magnetic susceptibility $\chi$ of different kinds of CEs in the wide temperature range from room temperature to 0.5 K for C and 2 K for other two. The thermal properties, C and \kappa, of different kinds of CEs are surprisingly coincident with each other. We discuss chemical structures and crystallinity of CEs and their blends based on the measured thermal properties. Compared to Stycast 1266, a commonly-used epoxy resin in low temperature experiments, C of CEs is larger by a factor of 3 (<= 30 K), \kappa is lower by a factor of 4 (<= 10 K), indicating the small thermal diffusivity. The \chi values are as small as Stycast 1266, indicative of their high purity. Our results show that cyanate esters are a new option for cryogenic resins with thermal insulative properties in/for low temperature experiments.


title: Properties of eigenvalues and some regularities on fractional $p$-Laplacian with singular weights

abstract: We provide fundamental properties of the first eigenpair for fractional $p$-Laplacian eigenvalue problems under singular weights, which is related to Hardy type inequality, and also show that the second eigenvalue is well-defined. We obtain a-priori bounds and the continuity of solutions to problems with such singular weights with some additional assumptions. Moreover, applying the above results, we show a global bifurcation emenating from the first eigenvalue, the Fredholm alternative for non-resonant problems, and obtain the existence of infinitely many solutions for some nonlinear problems involving singular weights. These are new results, even for (fractional) Laplacian.


title: Deep learning approach in multi-scale prediction of turbulent mixing-layer

abstract: Achievement of solutions in Navier-Stokes equation is one of challenging quests, especially for its closure problem. For achievement of particular solutions, there are variety of numerical simulations including Direct Numerical Simulation (DNS) or Large Eddy Simulation (LES). These methods analyze flow physics through efficient reduced-order modeling such as proper orthogonal decomposition or Koopman method, showing prominent fidelity in fluid dynamics. Generative adversarial network (GAN) is a reprint of neurons in brain as combinations of linear operations, using competition between generator and discriminator. Current paper propose deep learning network for prediction of small-scale movements with large-scale inspections only, using GAN. Therefore DNS result of three-dimensional mixing-layer was filtered blurring out the small-scaled structures, then is predicted of its detailed structures, utilizing Generative Adversarial Network (GAN). This enables multi-resolution analysis being asked to predict fine-resolution solution with only inspection of blurry one. Within the grid scale, current paper present deep learning approach of modeling small scale features in turbulent flow. The presented method is expected to have its novelty in utilization of unprocessed simulation data, achievement of 3D structures in prediction by processing 3D convolutions, and predicting precise solution with less computational costs.


title: Quantum Gravity Correction to Dirac Equation via Vacuum Coupling Contribution

abstract: Generalized Dirac equation containing vacuum-mass contribution is introduced. The vacuum-mass contribution arises due to the coupling of quantum mechanical matter field with the vacuum field. Vacuum stress energy tensor arises in the Scalar-Tensor Field equation (Extended Einstein's Field equation), implies a mass like corrections to the newly formulated Dirac equation. Apart from the inertial mass of the electron, generalized Dirac equation proposed here, contains a mass-term as a result of vacuum field coupling.


title: Removing the Feature Correlation Effect of Multiplicative Noise

abstract: Multiplicative noise, including dropout, is widely used to regularize deep neural networks (DNNs), and is shown to be effective in a wide range of architectures and tasks. From an information perspective, we consider injecting multiplicative noise into a DNN as training the network to solve the task with noisy information pathways, which leads to the observation that multiplicative noise tends to increase the correlation between features, so as to increase the signal-to-noise ratio of information pathways. However, high feature correlation is undesirable, as it increases redundancy in representations. In this work, we propose non-correlating multiplicative noise (NCMN), which exploits batch normalization to remove the correlation effect in a simple yet effective way. We show that NCMN significantly improves the performance of standard multiplicative noise on image classification tasks, providing a better alternative to dropout for batch-normalized networks. Additionally, we present a unified view of NCMN and shake-shake regularization, which explains the performance gain of the latter.


title: Hom-associative algebras up to homotopy

abstract: A hom-associative algebra is an algebra whose associativity is twisted by an algebra homomorphism. In this paper, we introduce a strongly homotopy version of hom-associative algebras ($HA_\infty$-algebras in short) on a graded vector space. We describe $2$-term $HA_\infty$-algebras in details. In particular, we study 'skeletal' and 'strict' $2$-term $HA_\infty$-algebras. We also introduce hom-associative $2$-algebras as categorification of hom-associative algebras. The category of $2$-term $HA_\infty$-algebras and the category of hom-associative $2$-algebras are shown to be equivalent. An appropriate skew-symmetrization of $HA_\infty$-algebras give rise to $HL_\infty$-algebras introduced by Sheng and Chen. Finally, we define a suitable Hochschild cohomology theory for $HA_\infty$-algebras which control the deformation of the structures.


title: Global in time solvability of the Navier-Stokes equations in the half-space

abstract: In this paper, we study the initial value problem of the Navier-Stokes equations in the half-space. Let a solenoidal initial velocity be given in the function space $ \dot{B}_{pq,0}^{\alpha-\frac{2}{2}}({\mathbb R}^n_+)$ for $\alpha +1 = \frac{n}p + \frac2q$ and $0<\alpha<2$. We prove the global in time existence of weak solution $u\in L^q(0,\infty; \dot B^\alpha_{pq}({\mathbb R}^n_+))\cap L^{q_0}(0, \infty; L^{p_0}({\mathbb R}^n_+)) $ for some $ 1<p_0, q_0<\infty$ with $\frac{n}{p_0} +\frac2{q_0} =1$, when the given initial velocity has small norm in function space $ \dot{B}_{p_0q_0,0}^{-\frac{2}{q_0}}({\mathbb R}^n_+)$. The solution is unique in the class $L^{q_0}(0, \infty; L^{p_0}({\mathbb R}^n_+))$. Pressure estimates are also given.


title: Quaternary Heusler Alloy: An Ideal Platform to Realize Triple Point Fermion

abstract: The existence of three fold rotational, mirror and time reversal symmetries often give rise to the triply degenerate nodal point (TP) in the band structure of a material. Based on point group symmetry analysis and first principle electronic structure, we predict, in this article, a series of quaternary Heusler alloys host an ideal platform for the occurrence of TP. We simulated, the projection of these TPs onto the (111) and (100) surfaces lead to form topological Fermi arcs, which may further be detected by scanning tunneling spectroscopy and angle resolved photoemission spectroscopy. These Fermi arcs arise due to the symmetry protected band degeneracies, which are robust and can not be avoided due to the non-trivial band topology. Interestingly the TPs, in these class of Heusler alloys are far away from the $\Gamma$ point along C$_3$ axes, which allow to overcome the experimental difficulties over previously studied hexagonal and HgTe-type compounds.


title: The Key Concepts of Ethics of Artificial Intelligence - A Keyword based Systematic Mapping Study

abstract: The growing influence and decision-making capacities of Autonomous systems and Artificial Intelligence in our lives force us to consider the values embedded in these systems. But how ethics should be implemented into these systems? In this study, the solution is seen on philosophical conceptualization as a framework to form practical implementation model for ethics of AI. To take the first steps on conceptualization main concepts used on the field needs to be identified. A keyword based Systematic Mapping Study (SMS) on the keywords used in AI and ethics was conducted to help in identifying, defying and comparing main concepts used in current AI ethics discourse. Out of 1062 papers retrieved SMS discovered 37 re-occurring keywords in 83 academic papers. We suggest that the focus on finding keywords is the first step in guiding and providing direction for future research in the AI ethics field.


title: Effect of external magnetic field on nucleon mass in hot and dense medium : Inverse Magnetic Catalysis in Walecka Model

abstract: Vacuum to nuclear matter phase transition has been studied in presence of constant external background magnetic field with the mean field approximation in Walecka model. The anomalous nucleon magnetic moment has been taken into account using the modified "weak" field expansion of the fermion propagator having non-trivial correction terms for charged as well as for neutral particles. The effect of nucleon magnetic moment is found to favour the magnetic catalysis effect at zero temperature and zero baryon density. However, extending the study to finite temperatures, it is observed that the anomalous nuclear magnetic moment plays a crucial role in characterizing the qualitative behaviour of vacuum to nuclear matter phase transition even in case of the weak external magnetic fields . The critical temperature corresponding to the vacuum to nuclear medium phase transition is observed to decrease with the external magnetic field which can be identified as the inverse magnetic catalysis in Walecka model whereas the opposite behaviour is obtained in case of vanishing magnetic moment indicating magnetic catalysis.


title: Asymptotic behaviors of governing equation of Gauged Sigma model for Heisenberg ferromagnet

abstract: In this note, we study weak solutions of equation \begin{equation}\label{eq 00.1} \Delta u =\frac{4e^u}{1+e^u} -4\pi\sum^{N}_{i=1}\delta_{p_i}+4\pi\sum^{M}_{j=1}\delta_{q_j} \quad{\rm in}\;\; \mathbb{R}^2, \end{equation} where $\{\delta_{p_i}\}_{i=1}^N$ (resp. $\{\delta_{q_j}\}_{j=1}^M$ ) are Dirac masses concentrated at the points $p_i, i=1,\cdots, N$, (resp. $q_j, i=1,\cdots, M$) %$\delta_{p_j}$ is Dirac mass concentrated at the point $p_j$ and $N-M>1$. This equation presents a governing equation of Gauged Sigma model for Heisenberg ferromagnet and we prove that it has a sequence of solutions $u_\beta$ having behaviors as $-2\pi\beta \ln |x|+O(1)$ at infinity with a free parameter $\beta\in(2,2(N-M))$, and our concern in this paper is to study the asymptotic behavior's estimates in the extremal case that $\beta$ near $2$ and $2(N-M)$.


title: State exchange with quantum side information

abstract: We consider a quantum communication task between two users Alice and Bob, in which Alice and Bob exchange their respective quantum information by means of local operations and classical communication assisted by shared entanglement. Here, we assume that Alice and Bob may have quantum side information, not transferred, and classical communication is free. In this work, we derive general upper and lower bounds for the least amount of entanglement which is necessary to perfectly perform this task, called the state exchange with quantum side information. Moreover, we show that the optimal entanglement cost can be negative when Alice and Bob make use of their quantum side information. We finally provide conditions on the initial state for the state exchange with quantum side information which give the exact optimal entanglement cost.


title: Scale interactions and anisotropy in stable boundary layers

abstract: Regimes of interactions between motions on different time-scales are investigated in the FLOSSII dataset for nocturnal near-surface stable boundary layer (SBL) turbulence. The non-stationary response of turbulent vertical velocity variance to non-turbulent, sub-mesoscale wind velocity variability is analysed using the bounded variation, finite element, vector autoregressive factor models (FEM-BV-VARX) clustering method. Several locally stationary flow regimes are identified with different influences of sub-meso wind velocity on the turbulent vertical velocity variance. In each flow regime, we analyse multiple scale interactions and quantify the amount of turbulent variability which can be statistically explained by external forcing by the sub-meso wind velocity. The state of anisotropy of the Reynolds stress tensor in the different flow regimes is shown to relate to these different signatures of scale interactions. In flow regimes under considerable influence of the sub-mesoscale wind variability, the Reynolds stresses show a clear preference for strongly anisotropic, one-component states. These periods additionally show stronger persistence in their dynamics, compared to periods of more isotropic stresses. The analyses give insights on how the different topologies relate to non-stationary turbulence triggering by sub-mesoscale motions.


title: Optimal Deployment of Drone Base Stations for Cellular Communication by Network-based Localization

abstract: Drone base stations can assist cellular networks in a variety of scenarios. To serve the maximum number of users in an area without apriori user distribution information, we proposed a two-stage algorithm to find the optimal deployment of drone base stations. The algorithm involves UTDOA positioning, coverage control and collision avoidance. To the best of our knowledge, the concept that uses network-based localization to optimize the deployment of drone-BSs has not been analyzed in the previous literature. Simulations are presented showing that the proposed algorithm outperforms random search algorithm in terms of the maximum number of severed users under the deployment of drone-BSs they found, with limited user densities.


title: Deployment of Drone Base Stations for Cellular Communication Without Apriori User Distribution Information

abstract: Drone base stations can provide cellular networks in areas that have lost coverage due to disasters. To serve the maximum number of users in the disaster area without apriori user distribution information, we proposed a 'sweep and search' algorithm to find the optimal deployment of drone base stations. The algorithm involves polygon area decomposition, coverage control and collision avoidance. To the best of our knowledge, this paper is the first in the literature that studied the deployment of drone base station without apriori user distribution information. Simulations are presented showing that the proposed algorithm outperforms the random search algorithm and the attractive search algorithm regarding the maximum number of severed users under the deployment of drone-BSs they found with a time limit.


title: Consistency of Modified Gravity with a decreasing $G_{\rm eff}(z)$ in a $\Lambda$CDM background

abstract: Recent analyses \cite{Nesseris:2017vor,Kazantzidis:2018rnb} have indicated that an effective Newton's constant $G_{\rm eff}(z)$ decreasing with redshift may relieve the observed tension between the Planck15 best fit $\Lambda$CDM cosmological background ({\it i.e.} Planck15/$\Lambda$CDM) and the corresponding $\Lambda$CDM background favored by growth $f\sigma_8$ and weak lensing data. We investigate the consistency of such a decreasing $G_{\rm eff}(z)$ with some viable scalar-tensor models and $f(R)$ theories. We stress that $f(R)$ theories generically can not lead to a decreasing $G_{\rm eff}(z)$ for any cosmological background. For scalar-tensor models we deduce that in the context of a $\Lambda$CDM cosmological background, a decreasing $G_{\rm eff}(z)$ is not consistent with a large Brans-Dicke parameter $\omega_{BD,0}$ today. This inconsistency remains and amplifies in the presence of a phantom dark energy equation of state parameter ($w < -1$). However it can be avoided for $w >-1$. We also find that any modified gravity model with the required decreasing $G_{\rm eff}(z)$ and $G_{{\rm eff},0}=G$, would have a characteristic signature in its growth index $\gamma$ with $0.61\lesssim \gamma_0\lesssim 0.69$ and large slopes $\gamma_0'$, $0.16\lesssim \gamma_0'\lesssim 0.4$, which is a characteristic signature of a decreasing (with $z$) $G_{\rm eff}(z)<G$ on small redshifts. This is a substantial departure today from the quasi-static behaviour in $\Lambda$CDM with $(\gamma_0,\gamma_0')\approx (0.55,-0.02)$.


title: Riemann-Hilbert method and soliton solutions in the system of two-component Hirota equations

abstract: In this letter we examine the two-component Hirota (TH) equations which describes the pulse propagation in a coupled fiber with higher-order dispersion and self-steepening. As the TH equations is a complete integrable system, which admits a $3\times 3$ Ablowitz-Kaup-Newell-Segu(AKNS)-type Lax pair, we obtain the general N-soliton solutions of the TH equations via the Riemann-Hilbert(RH) method when the jump matrix of a specific RH problem is a $3\times3$ unit matrix. As an example, the expression of one- and two-soliton are displayed explicitly.


title: AppAngio: Revealing Contextual Information of Android App Behaviors by API-Level Audit Logs

abstract: Android users are now suffering severe threats from unwanted behaviors of various apps. The analysis of apps' audit logs is one of the essential methods for some device manufacturers to unveil the underlying malice within apps. We propose and implement AppAngio, a novel system that reveals contextual information in Android app behaviors by API-level audit logs. Our goal is to help analysts of device manufactures understand what has happened on users' devices and facilitate the identification of the malice within apps. The key module of AppAngio is identifying the path matched with the logs on the app's control-flow graph (CFG). The challenge, however, is that the limited-quantity logs may incur high computational complexity in the log matching, where there are a large number of candidates caused by the coupling relation of successive logs. To address the challenge, we propose a divide and conquer strategy that precisely positions the nodes matched with log records on the corresponding CFGs and connects the nodes with as few backtracks as possible. Our experiments show that AppAngio reveals the contextual information of behaviors in real-world apps. Moreover, the revealed results assist the analysts in identifying malice of app behaviors and complement existing analysis schemes. Meanwhile, AppAngio incurs negligible performance overhead on the Android device.


title: NICT's Neural and Statistical Machine Translation Systems for the WMT18 News Translation Task

abstract: This paper presents the NICT's participation to the WMT18 shared news translation task. We participated in the eight translation directions of four language pairs: Estonian-English, Finnish-English, Turkish-English and Chinese-English. For each translation direction, we prepared state-of-the-art statistical (SMT) and neural (NMT) machine translation systems. Our NMT systems were trained with the transformer architecture using the provided parallel data enlarged with a large quantity of back-translated monolingual data that we generated with a new incremental training framework. Our primary submissions to the task are the result of a simple combination of our SMT and NMT systems. Our systems are ranked first for the Estonian-English and Finnish-English language pairs (constraint) according to BLEU-cased.


title: When fast diffusion and reactive growth both induce accelerating invasions

abstract: We focus on the spreading properties of solutions of monostable equations with fast diffusion. The nonlinear reaction term involves a weak Allee effect, which tends to slow down the propagation. We complete the picture of [3] by studying the subtle case where acceleration does occur and is induced by a combination of fast diffusion and of reactive growth. This requires the construction of new elaborate sub and supersolutions thanks to some underlying self-similar solutions.


title: Smart False Data Injection attacks against State Estimation in Power Grid

abstract: In this paper a new class of cyber attacks against state estimation in the electric power grid is considered. This class of attacks is named false data injection attacks. We show that with the knowledge of the system configuration an attacker could successfully inject false data into certain state variable while bypassing existing techniques for bad data detection. In the preliminary section we consider the feasibility of such an attack and the necessary condition to successfully avoid detection. After that we show that with the knowledge of the system configuration, certain line flow measurements could be manipulated to lead to profitable misconduct. By controlling Regional Transmission Organizations (RTOs) view of system power flow and congestion, an attacker could manipulate the LMPs of targeted buses according to prior biddings. Also, in this paper we show the implementation of the false data injection attacks. The numerical example considered was applied to a malicious data detection algorithm that was designed on a microcontroller. The results demonstrated the effectiveness of injecting false data measurements into the state estimation of electric power grids.