title: Well-indumatched Trees and Graphs of Bounded Girth

abstract: A graph G is called well-indumatched if all of its maximal induced matchings have the same size. In this paper we characterize all well-indumatched trees. We provide a linear time algorithm to decide if a tree is well-indumatched or not. Then, we characterize minimal well-indumatched graphs of girth at least 9 and show subsequently that for an odd integer g greater than or equal to 9 and different from 11, there is no well-indumatched graph of girth g. On the other hand, there are infinitely many well-indumatched unicyclic graphs of girth k, where k is in {3, 5, 7} or k is an even integer greater than 2. We also show that, although the recognition of well-indumatched graphs is known to be co-NP-complete in general, one can recognize in polynomial time well-indumatched graphs where the size of maximal induced matchings is fixed.


title: Powerful AGN jets and unbalanced cooling in the hot atmosphere of IC 4296

abstract: We present new Karl G. Jansky Very Large Array (VLA, 1.5 GHz) radio data for the giant elliptical galaxy IC 4296, supported by archival radio, X-ray (Chandra, XMM-Newton) and optical (SOAR, HST) observations. The galaxy hosts powerful radio jets piercing through the inner hot X-ray emitting atmosphere, depositing most of the energy into the ambient intra-cluster medium (ICM). Whereas the radio surface brightness of the A configuration image is consistent with a Fanaroff-Riley Class I (FR I) system, the D configuration image shows two bright, relative to the central region, large (~160 kpc diameter), well-defined lobes, previously reported by Killeen et al., at a projected distance r~>230 kpc. The XMM-Newton image reveals an X-ray cavity associated with one of the radio lobes. The total enthalpy of the radio lobes is ~7x10^59 erg and the mechanical power output of the jets is ~10^44 erg/s. The jets are mildly curved and possibly re-brightened by the relative motion of the galaxy and the ICM. The lobes display sharp edges, suggesting the presence of bow shocks, which would indicate that they are expanding supersonically. The central entropy and cooling time of the X-ray gas are unusually low and the nucleus hosts a warm H\alpha+[NII] nebula and a cold molecular CO disk. Because most of the energy of the jets is deposited far from the nucleus, the atmosphere of the galaxy continues to cool, apparently feeding the central supermassive black hole and powering the jet activity.


title: Oort cloud asteroids: Collisional evolution, the Nice Model, and the Grand Tack

abstract: If the Solar system had a history of planet migration, the signature of that migration may be imprinted on the populations of asteroids and comets that were scattered in the planets' wake. Here, we consider the dynamical and collisional evolution of inner Solar system asteroids which join the Oort cloud. We compare the Oort cloud asteroid populations produced by migration scenarios based on the `Nice' and `Grand Tack' scenarios, as well as a null hypothesis where the planets have not migrated, to the detection of one such object, C/2014 S3 (PANSTARRS). Our simulations find that the discovery of C/2014 S3 (PANSTARRS) only has a greater than one percent chance of occurring if the Oort cloud asteroids evolved on to Oort cloud orbits when the Solar system was not more than about one million years old, as this early transfer to the Oort cloud is necessary to keep the amount of collisional evolution low. We argue this only occurs when a giant (greater than thirty Earth masses) planet orbits at 1 ~ 2 au, and thus our results strongly favour a `Grand Tack'-like migration having occurred early in the Solar system's history.


title: Hybrid Continued Fractions and $n$-adic algorithms, with applications to cryptography and "unimaginable' numbers

abstract: This paper continues the author's previous studies on continued fractions and Heron's algorithm, as from his former JMM2017 presentation (see \cite{CF.HA}).\par\medskip Extending the notion of continued fraction to the $p$-adic fields, one can find continued fractions which converge in both real and $p$-adic topologies to the `same' quadratic irrational number, some of which are given by the Heron's algorithm using a generalized version of an author's theorem from the cited JMM presentation. The definition can be possibly generalized to other global fields, as left as an open question. We will end the part on hybrid convergence with many numerical examples. After that, we will recall the basic algorithms on the $p$-adic fields studied by the author and see some applications of theirs to computer science: applying Heron's algorithm to quickly compute $p$-adic square roots, finding new elementary cryptography procedures and some methods to get pseudo-random numbers, calculate last digits of some peculiar very big numbers.


title: Quantitative evaluation of consecutive resilience cycles in stock market performance: A systems-oriented approach

abstract: Financial markets can be seen as complex systems that are constantly evolving and sensitive to external disturbance, such as systemic risks and economic instabilities. Analysis of resilient market performance, therefore, becomes useful for investors. From a systems perspective, this paper proposes a novel function-based resilience metric that considers the effect of two fault-tolerance thresholds: the Robustness Range (RR) and the Elasticity Threshold (ET). We examined the consecutive resilience cycles and their dynamics in the performance of two stock markets, NASDAQ and SSE. The proposed metric was also compared with three well-documented resilience models. The results showed that this new metric could satisfactorily quantify the time-varying resilience cycles in the multi-cycle volatile performance of stock markets while also being more feasible in comparative analysis. Furthermore, analysis of dynamics revealed that those consecutive resilience cycles in market performance were distributed non-linearly, following a power-law behavior in the upper tail. Finally, sensitivity tests demonstrated the large-value resilience cycles were relatively sensitive to changes in RR. In practice, RR could indicate investors' psychological capability to withstand downturns. It supports the observation that perception on the market's resilient responses may vary among investors. This study provides a new tool and valuable insight for researchers, practitioners, and investors when evaluating market performance.


title: Nowcasting Recessions using the SVM Machine Learning Algorithm

abstract: We introduce a novel application of Support Vector Machines (SVM), an important Machine Learning algorithm, to determine the beginning and end of recessions in real time. Nowcasting, "forecasting" a condition about the present time because the full information about it is not available until later, is key for recessions, which are only determined months after the fact. We show that SVM has excellent predictive performance for this task, and we provide implementation details to facilitate its use in similar problems in economics and finance.

categories: q-fin.GN cs.LG econ.GN q-fin.EC stat.AP stat.ML


title: Economic resilience from input-output susceptibility improves predictions of economic growth and recovery

abstract: Modern macroeconomic theories were unable to foresee the last Great Recession and could neither predict its prolonged duration nor the recovery rate. They are based on supply-demand equilibria that do not exist during recessionary shocks. Here we focus on resilience as a nonequilibrium property of networked production systems and develop a linear response theory for input-output economics. By calibrating the framework to data from 56 industrial sectors in 43 countries between 2000 and 2014, we find that the susceptibility of individual industrial sectors to economic shocks varies greatly across countries, sectors, and time. We show that susceptibility-based predictions that take sector- and country-specific recovery into account, outperform--by far--standard econometric growth-models. Our results are analytically rigorous, empirically testable, and flexible enough to address policy-relevant scenarios. We illustrate the latter by estimating the impact of recently imposed tariffs on US imports (steel and aluminum) on specific sectors across European countries.


title: Cosmological Correlations in Power Law Inflation models

abstract: Scalar field with non-minimal coupling to curvature scalar is studied in Robertson-Walker background. The infrared limit of two point function, and, in turn, of the energy-momentum tensor of scalar field have been considered in the power law inflation model. In this limit, within the perfect fluid model, consistent evolution of scale factor following power law inflation gives rise to growing mode solution for negative value of coupling constant. A simplified calculation for density perturbation in power law inflationary models is presented with these mode functions. Salient features of the perturbation spectra has been commented upon.


title: Three-Way Decisions-Based Conflict Analysis Models

abstract: Three-way decision theory, which trisects the universe with less risks or costs, is considered as a powerful mathematical tool for handling uncertainty in incomplete and imprecise information tables, and provides an effective tool for conflict analysis decision making in real-time situations. In this paper, we propose the concepts of the agreement, disagreement and neutral subsets of a strategy with two evaluation functions, which establish the three-way decisions-based conflict analysis models(TWDCAMs) for trisecting the universe of agents, and employ a pair of two-way decisions models to interpret the mechanism of the three-way decision rules for an agent. Subsequently, we develop the concepts of the agreement, disagreement and neutral strategies of an agent group with two evaluation functions, which build the TWDCAMs for trisecting the universe of issues, and take a couple of two-way decisions models to explain the mechanism of the three-way decision rules for an issue. Finally, we reconstruct Fan, Qi and Wei's conflict analysis models(FQWCAMs) and Sun, Ma and Zhao's conflict analysis models(SMZCAMs) with two evaluation functions, and interpret FQWCAMs and SMZCAMs with a pair of two-day decisions models, which illustrates that FQWCAMs and SMZCAMs are special cases of TWDCAMs.


title: A New Concept for Searching for Time-Reversal Symmetry Violation Using Pa-229 Ions Trapped in Optical Crystals

abstract: Certain pear-shaped nuclei are expected to have enhanced sensitivity to time-reversal and parity-violating interactions originating within the nuclear medium. In particular, Protactinium-229 is thought to be about 100,000 times more sensitive than Mercury-199 which currently sets some of the most stringent limits for these types of interactions. Several challenges would first have to be addressed in order to take advantage of this discovery potential. First, there is not currently a significant source of Pa-229 (1.5 day half-life); however, there are plans to harvest Pa-229 at the Facility for Rare Isotope Beams at Michigan State University. Second, the spin-5/2 nucleus of Pa-229 limits its coherence time while also making it sensitive to systematic effects related to local electric field gradients. On the other hand, this also give Pa-229 an additional source of signal in the form of a magnetic quadrupole moment (MQM) which violates the same symmetries as an EDM but is not observable in spin-1/2 systems. Third, in order to compensate for the small atom numbers and short coherence times, the Pa-229 atoms would have to be probed with exceptionally large electric and magnetic fields that may be possible if Pa-229 ions are embedded inside an optical crystal. We will describe some aspects of this concept using the stable Praseodymium-141 isotope as a surrogate which has the same nuclear spin and similar atomic structure of Pa-229.


title: Root Identification in Minirhizotron Imagery with Multiple Instance Learning

abstract: In this paper, multiple instance learning (MIL) algorithms to automatically perform root detection and segmentation in minirhizotron imagery using only image-level labels are proposed. Root and soil characteristics vary from location to location, thus, supervised machine learning approaches that are trained with local data provide the best ability to identify and segment roots in minirhizotron imagery. However, labeling roots for training data (or otherwise) is an extremely tedious and time-consuming task. This paper aims to address this problem by labeling data at the image level (rather than the individual root or root pixel level) and train algorithms to perform individual root pixel level segmentation using MIL strategies. Three MIL methods (multiple instance adaptive cosine coherence estimator, multiple instance support vector machine, multiple instance learning with randomized trees) were applied to root detection and compared to non-MIL approches. The results show that MIL methods improve root segmentation in challenging minirhizotron imagery and reduce the labeling burden. In our results, multiple instance support vector machine outperformed other methods. The multiple instance adaptive cosine coherence estimator algorithm was a close second with an added advantage that it learned an interpretable root signature which identified the traits used to distinguish roots from soil and did not require parameter selection.


title: Strong space-time convexity and the heat equation

abstract: We prove local strong convexity of the space-time level sets of the heat equation on convex rings for zero initial data, strengthening a result of Borell. Our proof introduces a parabolic version of a two-point maximum principle of Rosay-Rudin.


title: Double SU(4) model

abstract: In this manuscript we study the Double SU(4) model as a grand unified theory based on the gauge group $\,SU(4)\times SU(4)\left(\times \mathcal{Z}_2\right)$. A complete set of generators is constructed according to a pattern of symmetry breaking via a Pati-Salam stage. Furthermore, the gauge boson matrices are derived and the extended Gell-Mann Okubo relation is calculated. All known elementary particles and antiparticles, besides exotic degrees of freedom, are unified in multiplets which are transformed as $(4,4)$ and $(\bar{4},\bar{4})$ under the proposed gauge group.


title: IGR J17503-2636: a candidate supergiant fast X-ray transient

abstract: IGR J17503-2636 is a hard X-ray transient discovered by INTEGRAL on 2018 August 11. This was the first ever reported X-ray emission from this source. Following the discovery, follow-up observations were carried out with Swift, Chandra, NICER, and NuSTAR. We report in this paper the analysis and results obtained from all these X-ray data. Based on the fast variability in the X-ray domain, the spectral energy distribution in the 0.5-80 keV energy range, and the reported association with a highly reddened OB supergiant at ~10 kpc, we conclude that IGR J17503-2636 is most likely a relatively faint new member of the supergiant fast X-ray transients. Spectral analysis of the NuSTAR data revealed a broad feature in addition to the typical power-law with exponential roll-over at high energy. This can be modeled either in emission or as a cyclotron scattering feature in absorption. If confirmed by future observations, this feature would indicate that IGR J17503-2636 hosts a strongly magnetized neutron star with B~2e12 G.


title: The VC Dimension of Metric Balls under Fr\'echet and Hausdorff Distances

abstract: The Vapnik-Chervonenkis dimension provides a notion of complexity for systems of sets. If the VC dimension is small, then knowing this can drastically simplify fundamental computational tasks such as classification, range counting, and density estimation through the use of sampling bounds. We analyze set systems where the ground set $X$ is a set of polygonal curves in $\mathbb{R}^d$ and the sets $\mathcal{R}$ are metric balls defined by curve similarity metrics, such as the Fr\'echet distance and the Hausdorff distance, as well as their discrete counterparts. We derive upper and lower bounds on the VC dimension that imply useful sampling bounds in the setting that the number of curves is large, but the complexity of the individual curves is small. Our upper bounds are either near-quadratic or near-linear in the complexity of the curves that define the ranges and they are logarithmic in the complexity of the curves that define the ground set.


title: Global Large Smooth Solutions for 3-D Hall-magnetohydrodynamics

abstract: In this paper, the global smooth solution of Cauchy's problem of incompressible, resistive, viscous Hall-magnetohydrodynamics (Hall-MHD) is studied. By exploring the nonlinear structure of Hall-MHD equations, a class of large initial data is constructed, which can be arbitrarily large in $H^3(\mathbb{R}^3)$. Our result may also be considered as the extension of work of Lei-Lin-Zhou from the second-order semi-linear equations to the second-order quasilinear equations, because the Hall term elevates the Hall-MHD system to the quasilinear level.


title: Multi-Hot Compact Network Embedding

abstract: Network embedding, as a promising way of the network representation learning, is capable of supporting various subsequent network mining and analysis tasks, and has attracted growing research interests recently. Traditional approaches assign each node with an independent continuous vector, which will cause huge memory overhead for large networks. In this paper we propose a novel multi-hot compact embedding strategy to effectively reduce memory cost by learning partially shared embeddings. The insight is that a node embedding vector is composed of several basis vectors, which can significantly reduce the number of continuous vectors while maintain similar data representation ability. Specifically, we propose a MCNE model to learn compact embeddings from pre-learned node features. A novel component named compressor is integrated into MCNE to tackle the challenge that popular back-propagation optimization cannot propagate through discrete samples. We further propose an end-to-end model MCNE$_{t}$ to learn compact embeddings from the input network directly. Empirically, we evaluate the proposed models over three real network datasets, and the results demonstrate that our proposals can save about 90\% of memory cost of network embeddings without significantly performance decline.


title: Streaming Scene Maps for Co-Robotic Exploration in Bandwidth Limited Environments

abstract: This paper proposes a bandwidth tunable technique for real-time probabilistic scene modeling and mapping to enable co-robotic exploration in communication constrained environments such as the deep sea. The parameters of the system enable the user to characterize the scene complexity represented by the map, which in turn determines the bandwidth requirements. The approach is demonstrated using an underwater robot that learns an unsupervised scene model of the environment and then uses this scene model to communicate the spatial distribution of various high-level semantic scene constructs to a human operator. Preliminary experiments in an artificially constructed tank environment as well as simulated missions over a 10m$\times$10m coral reef using real data show the tunability of the maps to different bandwidth constraints and science interests. To our knowledge this is the first paper to quantify how the free parameters of the unsupervised scene model impact both the scientific utility of and bandwidth required to communicate the resulting scene model.


title: Unsupervised Domain Adaptation using Feature-Whitening and Consensus Loss

abstract: A classifier trained on a dataset seldom works on other datasets obtained under different conditions due to domain shift. This problem is commonly addressed by domain adaptation methods. In this work we introduce a novel deep learning framework which unifies different paradigms in unsupervised domain adaptation. Specifically, we propose domain alignment layers which implement feature whitening for the purpose of matching source and target feature distributions. Additionally, we leverage the unlabeled target data by proposing the Min-Entropy Consensus loss, which regularizes training while avoiding the adoption of many user-defined hyper-parameters. We report results on publicly available datasets, considering both digit classification and object recognition tasks. We show that, in most of our experiments, our approach improves upon previous methods, setting new state-of-the-art performances.


title: Learning Hierarchical Teaching Policies for Cooperative Agents

abstract: Collective learning can be greatly enhanced when agents effectively exchange knowledge with their peers. In particular, recent work studying agents that learn to teach other teammates has demonstrated that action advising accelerates team-wide learning. However, the prior work has simplified the learning of advising policies by using simple function approximations and only considered advising with primitive (low-level) actions, limiting the scalability of learning and teaching to complex domains. This paper introduces a novel learning-to-teach framework, called hierarchical multiagent teaching (HMAT), that improves scalability to complex environments by using the deep representation for student policies and by advising with more expressive extended action sequences over multiple levels of temporal abstraction. Our empirical evaluations demonstrate that HMAT improves team-wide learning progress in large, complex domains where previous approaches fail. HMAT also learns teaching policies that can effectively transfer knowledge to different teammates with knowledge of different tasks, even when the teammates have heterogeneous action spaces.


title: The Emotionally Intelligent Robot: Improving Social Navigation in Crowded Environments

abstract: We present a real-time algorithm for emotion-aware navigation of a robot among pedestrians. Our approach estimates time-varying emotional behaviors of pedestrians from their faces and trajectories using a combination of Bayesian-inference, CNN-based learning, and the PAD (Pleasure-Arousal-Dominance) model from psychology. These PAD characteristics are used for long-term path prediction and generating proxemic constraints for each pedestrian. We use a multi-channel model to classify pedestrian characteristics into four emotion categories (happy, sad, angry, neutral). In our validation results, we observe an emotion detection accuracy of 85.33%. We formulate emotion-based proxemic constraints to perform socially-aware robot navigation in low- to medium-density environments. We demonstrate the benefits of our algorithm in simulated environments with tens of pedestrians as well as in a real-world setting with Pepper, a social humanoid robot.


title: Local Reasoning for Parameterized First Order Protocols

abstract: First Order Logic (FOL) is a powerful reasoning tool for program verification. Recent work on Ivy shows that FOL is well suited for verification of parameterized distributed systems. However, specifying many natural objects, such as a ring topology, in FOL is unexpectedly inconvenient. We present a framework based on FOL for specifying distributed multi-process protocols in a process-local manner together with an implicit network topology. In the specification framework, we provide an auto-active analysis technique to reason about the protocols locally, in a process-modular way. Our goal is to mirror the way designers often describe and reason about protocols. By hiding the topology behind the FOL structure, we simplify the modelling, but complicate the reasoning. To deal with that, we use an oracle for the topology to develop a sound and relatively complete proof rule that reduces reasoning about the implicit topology back to pure FOL. This completely avoids the need to axiomatize the topology. Using the rule, we establish a property that reduces verification to a fixed number of processes bounded by the size of local neighbourhoods. We show how to use the framework on two examples, including leader election on a ring.


title: Benefits of AWS in Modern Cloud

abstract: This article gives an overview of the benefits of AWS in the modern cloud. Cloud computing is performing well in todays World and boosting the ability to use the internet more than ever. Cloud computing gradually developed a method to use the benefits of it in most of the organizations. It is very demanding in all businesses tasked with improving the quality of service reducing costs as the organization pays for the service only what they consume based on the incoming and outgoing traffic.


title: Global regularity of the three-dimensional fractional micropolar equations

abstract: The global well-posedness of the smooth solution to the three-dimensional (3D) incompressible micropolar equations is a difficult open problem. This paper focuses on the 3D incompressible micropolar equations with fractional dissipations $( \Delta)^{\alpha}u$ and $(-\Delta)^{\beta}w$.Our objective is to establish the global regularity of the fractional micropolar equations with the minimal amount of dissipations. We prove that, if $\alpha\geq \frac{5}{4}$, $\beta\geq 0$ and $\alpha+\beta\geq\frac{7}{4}$, the fractional 3D micropolar equations always possess a unique global classical solution for any sufficiently smooth data. In addition, we also obtain the global regularity of the 3D micropolar equations with the dissipations given by Fourier multipliers that are logarithmically weaker than the fractional Laplacian.


title: Pattern Recognition in SAR Images using Fractional Random Fields and its Possible Application to the Problem of the Detection of Oil Spills in Open Sea

abstract: In this note we deal with the detection of oil spills in open sea via self similar, long range dependence random fields and wavelet filters. We show some preliminary experimental results of our technique with Sentinel 1 SAR images.


title: Inflection divisors of linear series on an elliptic curve

abstract: In this largely-expository note, we describe a class of divisors on elliptic curves that index the inflection points of linear series arising (as subspaces of holomorphic sections) from line bundles on $\mathbb{P}^1$ via pullback along the canonical 2-to-1 projection. Associated to each inflection divisor on an elliptic curve $E_{\lambda}: y^2= x(x-1)(x-\lambda)$, there is an associated {\it inflectionary curve} in (the projective compactification of) the affine plane in coordinates $x$ and $\lambda$. These inflectionary curves have remarkable features; among other things, they lead directly to an explicit conjecture for the number of {\it real} inflection points of linear series on $E_{\lambda}$ whenever the Legendre parameter $\lambda$ is real.


title: Markov-Modulated Hawkes Processes for Sporadic and Bursty Event Occurrences

abstract: Modeling event dynamics is central to many disciplines. Patterns in observed event arrival times are commonly modeled using point processes. Such event arrival data often exhibits self-exciting, heterogeneous and sporadic trends, which is challenging for conventional models. It is reasonable to assume that there exists a hidden state process that drives different event dynamics at different states. In this paper, we propose a Markov Modulated Hawkes Process (MMHP) model for learning such a mixture of event dynamics and develop corresponding inference algorithms. Numerical experiments using synthetic data demonstrate that MMHP with the proposed estimation algorithms consistently recover the true hidden state process in simulations, while email data from a large university and data from an animal behavior study show that the procedure captures distinct event dynamics that reveal interesting social structures in the real data.


title: 2018 Update of the Discoveries of Nuclides

abstract: The 2018 update of the discovery of nuclide project is presented. 50 new nuclides were observed for the first time in 2018. A large number of isotopes is still only published in conference proceedings or internal reports.


title: RAMSES II - RAMan Search for Extragalactic Symbiotic Stars. Project concept, commissioning, and early results from the science verification phase

abstract: Symbiotic stars (SySts) are long-period interacting binaries composed of a hot compact star, an evolved giant star, and a tangled network of gas and dust nebulae. They represent unique laboratories for studying a variety of important astrophysical problems, and have also been proposed as possible progenitors of SNIa. Presently, we know 257 SySts in the Milky Way and 69 in external galaxies. However, these numbers are still in striking contrast with the predicted population of SySts in our Galaxy. Because of other astrophysical sources that mimic SySt colors, no photometric diagnostic tool has so far demonstrated the power to unambiguously identify a SySt, thus making the recourse to costly spectroscopic follow-up still inescapable. In this paper we present the concept, commissioning, and science verification phases, as well as the first scientific results, of RAMSES II - a Gemini Observatory Instrument Upgrade Project that has provided each GMOS instrument at both Gemini telescopes with a set of narrow-band filters centered on the Raman OVI 6830 A band. Continuum-subtracted images using these new filters clearly revealed known SySts with a range of Raman OVI line strengths, even in crowded fields. RAMSES II observations also produced the first detection of Raman OVI emission from the SySt LMC 1 and confirmed Hen 3-1768 as a new SySt - the first photometric confirmation of a SySt. Via Raman OVI narrow-band imaging, RAMSES II provides the astronomical community with the first purely photometric tool for hunting SySts in the local Universe.


title: Discovery of a Pulsar-powered Bow Shock Nebula in the Small Magellanic Cloud Supernova Remnant DEMS5

abstract: We report the discovery of a new Small Magellanic Cloud Pulsar Wind Nebula (PWN) at the edge of the Supernova Remnant (SNR)-DEM S5. The pulsar powered object has a cometary morphology similar to the Galactic PWN analogs PSR B1951+32 and 'the mouse'. It is travelling supersonically through the interstellar medium. We estimate the Pulsar kick velocity to be in the range of 700-2000 km/s for an age between 28-10 kyr. The radio spectral index for this SNR PWN pulsar system is flat (-0.29 $\pm$ 0.01) consistent with other similar objects. We infer that the putative pulsar has a radio spectral index of -1.8, which is typical for Galactic pulsars. We searched for dispersion measures (DMs) up to 1000 cm/pc^3 but found no convincing candidates with a S/N greater than 8. We produce a polarisation map for this PWN at 5500 MHz and find a mean fractional polarisation of P $\sim 23$ percent. The X-ray power-law spectrum (Gamma $\sim 2$) is indicative of non-thermal synchrotron emission as is expected from PWN-pulsar system. Finally, we detect DEM S5 in Infrared (IR) bands. Our IR photometric measurements strongly indicate the presence of shocked gas which is expected for SNRs. However, it is unusual to detect such IR emission in a SNR with a supersonic bow-shock PWN. We also find a low-velocity HI cloud of $\sim 107$ km/s which is possibly interacting with DEM S5. SNR DEM S5 is the first confirmed detection of a pulsar-powered bow shock nebula found outside the Galaxy.


title: Pixel-Attentive Policy Gradient for Multi-Fingered Grasping in Cluttered Scenes

abstract: Recent advances in on-policy reinforcement learning (RL) methods enabled learning agents in virtual environments to master complex tasks with high-dimensional and continuous observation and action spaces. However, leveraging this family of algorithms in multi-fingered robotic grasping remains a challenge due to large sim-to-real fidelity gaps and the high sample complexity of on-policy RL algorithms. This work aims to bridge these gaps by first reinforcement-learning a multi-fingered robotic grasping policy in simulation that operates in the pixel space of the input: a single depth image. Using a mapping from pixel space to Cartesian space according to the depth map, this method transfers to the real world with high fidelity and introduces a novel attention mechanism that substantially improves grasp success rate in cluttered environments. Finally, the direct-generative nature of this method allows learning of multi-fingered grasps that have flexible end-effector positions, orientations and rotations, as well as all degrees of freedom of the hand.


title: Energy and Angular Momentum Dependent Potentials with Closed Orbits

abstract: The Bertrand theorem concluded that; the Kepler potential, and the isotropic harmonic oscillator potential are the only systems under which all the orbits are closed. It was never stressed enough in the physical or mathematical literature that this is only true when the potentials are independent of the initial conditions of motion, which, as we know, determine the values of the constants of motion $E$ and $L$. In other words, the Bertrand theorem is correct only when $V\equiv V(r)\neq V(r,E,L)$. It has been derived in this work an alternative orbit equation, which is a substitution to the Newton's orbit equation. Through this equation, it was proved that there are infinitely many energy angular momentum dependent potentials $V(r,E,L)$ that lead to closed orbits. The study was done by generalizing the well known substitution $r=1/u$ in Newton's orbit equation to the substitution $r=1/s(u,E,L)$ in the equation of motion. The new derived equation obtains the same results that can be obtained from Bertrand theorem. The equation was used to study different orbits with different periodicity like second order linear differential equation periodicity orbits and Weierstrasse periodicity orbits, where interestingly it has been shown that the energy must be discrete so that the orbits can be closed. Furthermore, possible applications of the alternative orbit equation were discussed, like applications in Bohr-Sommerfeld quantization, and in stellar kinematics.


title: Deductive Optimization of Relational Data Storage

abstract: Optimizing the physical data storage and retrieval of data are two key database management problems. In this paper, we propose a language that can express a wide range of physical database layouts, going well beyond the row- and column-based methods that are widely used in database management systems. We use deductive synthesis to turn a high-level relational representation of a database query into a highly optimized low-level implementation which operates on a specialized layout of the dataset. We build a compiler for this language and conduct experiments using a popular database benchmark, which shows that the performance of these specialized queries is competitive with a state-of-the-art in memory compiled database system.


title: Substrate-induced half-metallic property in epitaxial silicene

abstract: For most practical applications in electronic devices, two-dimensional materials should be transferred onto semiconducting or insulating substrates, since they are usually generated on metallic substrates. However, the transfer often leads to wrinkles, damages, contaminations and so on which would destroy the intrinsic properties of samples. Thus, generating two-dimensional materials directly on nonmetallic substrates has been a desirable goal for a long time. Here, via a swarm structure search method and density functional theory, we employed an insulating N-terminated cubic boron nitride(111) surface as a substrate for the generation of silicene. The result shows that the silicene behaves as a ferromagnetic half-metal because of the strong interaction between silicon and surface nitrogen atoms. The magnetic moments are mainly located on surface nitrogen sites without bonding silicon atoms and the value is about 0.12 uB. In spin-up channel, it behaves as a direct band gap semiconductor with a gap of around 1.35 eV, while it exhibits metallic characteristic in spin-down channel, and the half-metallic band gap is about 0.11 eV. Besides, both the magnetic and electronic properties are not sensitive to the external compressive strain. This work maybe open a way for the utility of silicene in spintronic field.


title: Stochastic resonances in a distributed genetic broadcasting system: the NF\k{appa}B/I\k{appa}B paradigm

abstract: Gene regulatory networks must relay information from extracellular signals to downstream genes in an efficient, timely and coherent manner. Many complex functional tasks such as the immune response require system-wide broadcasting of information not to one but to many genes carrying out distinct functions whose dynamical binding and unbinding characteristics are widely distributed. In such broadcasting networks, the intended target sites are also often dwarfed in number by the even more numerous non-functional binding sites. Taking the genetic regulatory network of NF\k{appa}B as an exemplary system we explore the impact of having numerous distributed sites on the stochastic dynamics of oscillatory broadcasting genetic networks pointing out how resonances in binding cycles control the network's specificity and performance. We also show that active kinetic regulation of binding and unbinding through molecular stripping of DNA bound transcription factors can lead to a higher coherence of gene co-expression and synchronous clearance.


title: SeizureNet: Multi-Spectral Deep Feature Learning for Seizure Type Classification

abstract: Automatic classification of epileptic seizure types in electroencephalograms (EEGs) data can enable more precise diagnosis and efficient management of the disease. This task is challenging due to factors such as low signal-to-noise ratios, signal artefacts, high variance in seizure semiology among epileptic patients, and limited availability of clinical data. To overcome these challenges, in this paper, we present SeizureNet, a deep learning framework which learns multi-spectral feature embeddings using an ensemble architecture for cross-patient seizure type classification. We used the recently released TUH EEG Seizure Corpus (V1.4.0 and V1.5.2) to evaluate the performance of SeizureNet. Experiments show that SeizureNet can reach a weighted F1 score of up to 0.94 for seizure-wise cross validation and 0.59 for patient-wise cross validation for scalp EEG based multi-class seizure type classification. We also show that the high-level feature embeddings learnt by SeizureNet considerably improve the accuracy of smaller networks through knowledge distillation for applications with low-memory constraints.


title: Some extremal results on K_{s,t}-free graphs

abstract: For graphs $H$ and $F$, let $\text{ex}(n,H,F)$ be the maximum possible number of copies of $H$ in an $F$-free graph on $n$ vertices. The study of this function, which generalizes the well-known Tur\'{a}n number of graphs, was systematically studied by Alon and Shikhelman recently. In this paper, we show that for any $m$ and $t\ge 2m-3\ge3$, \[\text{ex}(n,K_{m},K_{2,t})=\Theta(n^{\frac{3}{2}}).\] This result improves some results of Alon and Shikhelman (J. Combin. Theory Ser. B, 121:146-172, 2016). We also study the $k$-partite $K_{s,t}$-free graph, we show that for any $k\ge3$ and $t\ge(k-1)(s-1)!+1$, \[\text{ex}_{\chi\le k}(n,K_{s,t})\ge\frac{k-1}{2k}n^{2-1/s}+o(n^{2-1/s}).\] Moreover, we give a new construction of $3$-partite $K_{2,2t+1}$-free graphs with many edges.


title: Dyna-AIL : Adversarial Imitation Learning by Planning

abstract: Adversarial methods for imitation learning have been shown to perform well on various control tasks. However, they require a large number of environment interactions for convergence. In this paper, we propose an end-to-end differentiable adversarial imitation learning algorithm in a Dyna-like framework for switching between model-based planning and model-free learning from expert data. Our results on both discrete and continuous environments show that our approach of using model-based planning along with model-free learning converges to an optimal policy with fewer number of environment interactions in comparison to the state-of-the-art learning methods.


title: Phase transitions in solvent dependent polymer adsorption in three dimensions

abstract: We consider the phase diagram of self-avoiding walks (SAW) on the simple cubic lattice subject to surface and bulk interactions, modeling an adsorbing surface and variable solvent quality for a polymer in dilute solution, respectively. We simulate SAWs at specific interaction strengths to focus on locating certain transitions and their critical behavior. By collating these new results with previous results we sketch the complete phase diagram and show how the adsorption transition is affected by changing the bulk interaction strength. This expands on recent work considering how adsorption is affected by solvent quality. We demonstrate that changes in the adsorption crossover exponent coincide with phase boundaries.


title: Candidate for the crystal $B(-\infty)$ for the queer Lie superalgebra

abstract: It is shown that the direct limit of the semistandard decomposition tableau model for polynomial representations of the queer Lie superalgebra exists, which is believed to be the crystal for the upper half of the corresponding quantum group. An extension of this model to describe the direct limit combinatorially is given. Furthermore, it is shown that the polynomial representations may be recovered from the limit in most cases.


title: Fast Multichannel Source Separation Based on Jointly Diagonalizable Spatial Covariance Matrices

abstract: This paper describes a versatile method that accelerates multichannel source separation methods based on full-rank spatial modeling. A popular approach to multichannel source separation is to integrate a spatial model with a source model for estimating the spatial covariance matrices (SCMs) and power spectral densities (PSDs) of each sound source in the time-frequency domain. One of the most successful examples of this approach is multichannel nonnegative matrix factorization (MNMF) based on a full-rank spatial model and a low-rank source model. MNMF, however, is computationally expensive and often works poorly due to the difficulty of estimating the unconstrained full-rank SCMs. Instead of restricting the SCMs to rank-1 matrices with the severe loss of the spatial modeling ability as in independent low-rank matrix analysis (ILRMA), we restrict the SCMs of each frequency bin to jointly-diagonalizable but still full-rank matrices. For such a fast version of MNMF, we propose a computationally-efficient and convergence-guaranteed algorithm that is similar in form to that of ILRMA. Similarly, we propose a fast version of a state-of-the-art speech enhancement method based on a deep speech model and a low-rank noise model. Experimental results showed that the fast versions of MNMF and the deep speech enhancement method were several times faster and performed even better than the original versions of those methods, respectively.


title: Ranked List Loss for Deep Metric Learning

abstract: The objective of deep metric learning (DML) is to learn embeddings that can capture semantic similarity and dissimilarity information among data points. Existing pairwise or tripletwise loss functions used in DML are known to suffer from slow convergence due to a large proportion of trivial pairs or triplets as the model improves. To improve this, ranking-motivated structured losses are proposed recently to incorporate multiple examples and exploit the structured information among them. They converge faster and achieve state-of-the-art performance. In this work, we unveil two limitations of existing ranking-motivated structured losses and propose a novel ranked list loss to solve both of them. First, given a query, only a fraction of data points is incorporated to build the similarity structure. Consequently, some useful examples are ignored and the structure is less informative. To address this, we propose to build a set-based similarity structure by exploiting all instances in the gallery. The learning setting can be interpreted as few-shot retrieval: given a mini-batch, every example is iteratively used as a query, and the rest ones compose the gallery to search, i.e., the support set in few-shot setting. The rest examples are split into a positive set and a negative set. For every mini-batch, the learning objective of ranked list loss is to make the query closer to the positive set than to the negative set by a margin. Second, previous methods aim to pull positive pairs as close as possible in the embedding space. As a result, the intraclass data distribution tends to be extremely compressed. In contrast, we propose to learn a hypersphere for each class in order to preserve useful similarity structure inside it, which functions as regularisation. Extensive experiments demonstrate the superiority of our proposal by comparing with the state-of-the-art methods.


title: A novel perspective to gradient method: the fractional order approach

abstract: In this paper, we give some new thoughts about the classical gradient method (GM) and recall the proposed fractional order gradient method (FOGM). It is proven that the proposed FOGM holds a super convergence capacity and a faster convergence rate around the extreme point than the conventional GM. The property of asymptotic convergence of conventional GM and FOGM is also discussed. To achieve both a super convergence capability and an even faster convergence rate, a novel switching FOGM is proposed. Moreover, we extend the obtained conclusion to a more general case by introducing the concept of p-order Lipschitz continuous gradient and p-order strong convex. Numerous simulation examples are provided to validate the effectiveness of proposed methods.


title: Identification of Stellar Flares Using Differential Evolution Template Optimization

abstract: We explore methods for the identification of stellar flare events in irregularly sampled data of ground-based time domain surveys. In particular, we describe a new technique for identifying flaring stars, which we have implemented in a publicly available Python module called "PyVAN". The approach uses the Differential Evolution algorithm to optimize parameters of empirically derived light-curve templates for different types of stars to fit a candidate light-curve. The difference of the likelihoods that these best-fit templates produced the observed data is then used to delineate targets that are well explained by a flare template but simultaneously poorly explained by templates of common contaminants. By testing on light-curves of known identity and morphology, we show that our technique is capable of recovering flaring status in $69\%$ of all light-curves containing a flare event above thresholds drawn to include $\lt1\%$ of any contaminant population. By applying to Palomar Transient Factory data, we show consistency with prior samples of flaring stars, and identify a small selection of candidate flaring G-type stars for possible follow-up.


title: Analysis on the Empirical Spectral Distribution of Large Sample Covariance Matrix and Applications for Large Antenna Array Processing

abstract: This paper addresses the asymptotic behavior of a particular type of information-plus-noise-type matrices, where the column and row number of the matrices are large and of the same order, while signals are diverged and time delays of the channel are fixed. We prove that the empirical spectral distribution (ESD) of the large dimension sample covariance matrix and a well-studied spiked central Wishart matrix converge to the same distribution. As an application, an asymptotic power function is presented for the general likelihood ratio statistics for testing the presence of signal in large array signal processing.


title: Nonparametric smoothing for extremal quantile regression with heavy tailed distributions

abstract: In several different fields, there is interest in analyzing the upper or lower tail quantile of the underlying distribution rather than mean or center quantile. However, the investigation of the tail quantile is difficult because of data sparsity. In this paper, we attempt to develop nonparametric quantile regression for the extremal quantile level. In extremal quantile regression, there are two types of technical conditions of the order of convergence of the quantile level: intermediate order or extreme order. For the intermediate order quantile, the ordinary nonparametric estimator is used. On the other hand, for the extreme order quantile, we provide a new estimator by extrapolating the intermediate order quantile estimator. The performance of the estimator is guaranteed by asymptotic theory and extreme value theory. As a result, we show the asymptotic normality and the rate of convergence of the nonparametric quantile regression estimator for both intermediate and extreme order quantiles. A simulation is presented to confirm the behavior of the proposed estimator. The data application is also assessed.


title: Context-Aware Cross-Lingual Mapping

abstract: Cross-lingual word vectors are typically obtained by fitting an orthogonal matrix that maps the entries of a bilingual dictionary from a source to a target vector space. Word vectors, however, are most commonly used for sentence or document-level representations that are calculated as the weighted average of word embeddings. In this paper, we propose an alternative to word-level mapping that better reflects sentence-level cross-lingual similarity. We incorporate context in the transformation matrix by directly mapping the averaged embeddings of aligned sentences in a parallel corpus. We also implement cross-lingual mapping of deep contextualized word embeddings using parallel sentences with word alignments. In our experiments, both approaches resulted in cross-lingual sentence embeddings that outperformed context-independent word mapping in sentence translation retrieval. Furthermore, the sentence-level transformation could be used for word-level mapping without loss in word translation quality.


title: Spatially resolved carbon and oxygen isotopic ratios in NGC 253 using optically thin tracers

abstract: To trace chemical evolution in a prototypical starburst environment, we spatially resolve the carbon and oxygen isotope ratios across the central molecular zone (full size ~$\sim 600$ pc) in the nearby starburst galaxy NGC 253. We imaged the emission of the optically thin isotopologues $^{13}$CO, C$^{18}$O, C$^{17}$O, $^{13}$C$^{18}$O at a spatial resolution $\sim50$ pc, comparable to the typical size of giant molecular associations. Optical depth effects and contamination of $^{13}$C$^{18}$O by C$_4$H is discussed and accounted for to derive column densities. This is the first extragalactic detection of the double isotopologue $^{13}$C$^{18}$O. Derived isotopic ratios $^{12}$C/$^{13}$C$\sim21\pm6$, $^{16}$O/$^{18}$O$\sim130\pm40$, and $^{18}$O/$^{17}$O$\sim4.5\pm0.8$ differ from the generally adopted values in the nuclei of galaxies. The molecular clouds in the central region of NGC 253 show similar rare isotope enrichment to those within the central molecular zone of the Milky way. This enrichment is attributed to stellar nucleosynthesis. Measured isotopic ratios suggest an enhancement of $^{18}$O as compared to our Galactic center, which we attribute to an extra $^{18}$O injection from massive stars. Our observations show evidence for mixing of distinct gas components with different degrees of processing. We observe an extra molecular component of highly processed gas on top of the already proposed less processed gas being transported to the central region of NGC 253. Such multicomponent nature and optical depth effects may hinder the use of isotopic ratios based on spatially unresolved line to infer the star formation history and/or initial stellar mass function properties in the nuclei of galaxies.


title: Nilpotent Types and Fracture Squares in Homotopy Type Theory

abstract: We develop the basic theory of nilpotent types and their localizations away from sets of numbers in Homotopy Type Theory. For this, general results about the classifying spaces of fibrations with fiber an Eilenberg-Mac Lane space are proven. We also construct fracture squares for localizations away from sets of numbers. All of our proofs are constructive.


title: Spin stripe order in a square planar trilayer nickelate

abstract: Trilayer nickelates, which exhibit a high degree of orbital polarization combined with an electron count (d8.67) corresponding to overdoped cuprates, have been identified as a promising candidate platform for achieving high-Tc superconductivity. One such material, La4Ni3O8, undergoes a semiconductor-insulator transition at ~105 K, which was recently shown to arise from the formation of charge stripes. However, an outstanding issue has been the origin of an anomaly in the magnetic susceptibility at the transition and whether it signifies formation of spin stripes akin to single layer nickelates. Here we report single crystal neutron diffraction measurements (both polarized and unpolarized) that establish that the ground state is indeed magnetic. The ordering is modeled as antiferromagnetic spin stripes that are commensurate with the charge stripes, the magnetic ordering occurring in individual trilayers that are essentially uncorrelated along the crystallographic c-axis. Comparison of the charge and spin stripe order parameters reveals that, in contrast to single-layer nickelates such as La2-xSrxNiO4 as well as related quasi-2D oxides including manganites, cobaltates, and cuprates, these orders uniquely appear simultaneously, thus demonstrating a stronger coupling between spin and charge than in these related low-dimensional correlated oxides.


title: HoloCast: Graph Signal Processing for Graceful Point Cloud Delivery

abstract: In conventional point cloud delivery, a sender uses octree-based digital video compression to stream three-dimensional (3D) points and the corresponding color attributes over band-limited links, e.g., wireless channels, for 3D scene reconstructions. However, the digital-based delivery schemes have an issue called cliff effect, where the 3D reconstruction quality is a step function in terms of wireless channel quality. We propose a novel scheme of point cloud delivery, called HoloCast, to gracefully improve the reconstruction quality with the improvement of wireless channel quality. HoloCast regards the 3D points and color components as graph signals and directly transmits linear-transformed signals based on graph Fourier transform (GFT), without digital quantization and entropy coding operations. One of main contributions in HoloCast is that the use of GFT can deal with non-ordered and non-uniformly distributed multi-dimensional signals such as holographic data unlike conventional delivery schemes. Performance results with point cloud data show that HoloCast yields better 3D reconstruction quality compared to digital-based methods in noisy wireless environment.


title: Detuning-induced robustness of a three-state Lanzau-Zener model against dissipation

abstract: A three-state system subjected to a time-dependent Hamiltonian whose bare energies undergo one or more crossings, depending on the relevant parameters, is considered, also taking into account the role of dissipation in the adiabatic following of the Hamiltonian eigenstates. Depending on the fact that the bare energies are equidistant or not, the relevant population transfer turns out to be very sensitive to the environmental interaction or relatively robust. The physical mechanisms on the basis of this behavior are discussed in detail.


title: High order free hyperplane arrangements in 3-dimensional vector spaces

abstract: Holm introduced $m$-free $\ell$-arrangements which is a generalization of free arrangements, while he asked whether all $\ell$-arrangements are $m$-free for $m$ large enough. Recently Abe and the author verified that this question is in the negative when $\ell\geq 4$. In this paper we verify that $3$-arrangements $\mathscr{A}$ are $m$-free and compute the $m$-exponents for all $m\geq |\mathscr{A}|+2$, where $|\mathscr{A}|$ is the cardinality of $\mathscr{A}$. Hence Holm's question is in the positive when $\ell=3$. Finally we prove that $3$-dimensional Weyl arrangements of types A and B are $m$-free for all $m\geq 0$.


title: The united proofs for three $q$-extensions of Dougall's $_2H_2$ summation formula

abstract: In terms of the analytic continuation method, we give the united proofs for three $q$-extensions of Dougall's $_2H_2$ summation formula. Some related results are also discussed in this paper.


title: Spin-transfer torques for domain walls in antiferromagnetically coupled ferrimagnets

abstract: Antiferromagnetic materials are outstanding candidates for next generation spintronic applications, because their ultrafast spin dynamics makes it possible to realize several orders of magnitude higher-speed devices than conventional ferromagnetic materials1. Though spin-transfer torque (STT) is a key for electrical control of spins as successfully demonstrated in ferromagnetic spintronics, experimental understanding of STT in antiferromagnets has been still lacking despite a number of pertinent theoretical studies2-5. Here, we report experimental results on the effects of STT on domain-wall (DW) motion in antiferromagnetically-coupled ferrimagnets. We find that non-adiabatic STT acts like a staggered magnetic field and thus can drive DWs effectively. Moreover, the non-adiabaticity parameter {\beta} of STT is found to be significantly larger than the Gilbert damping parameter {\alpha}, challenging our conventional understanding of the non-adiabatic STT based on ferromagnets as well as leading to fast current-induced antiferromagnetic DW motion. Our study will lead to further vigorous exploration of STT for antiferromagnetic spin textures for fundamental physics on spin-charge interaction as wells for efficient electrical control of antiferromagnetic devices.


title: Learning Feature Relevance Through Step Size Adaptation in Temporal-Difference Learning

abstract: There is a long history of using meta learning as representation learning, specifically for determining the relevance of inputs. In this paper, we examine an instance of meta-learning in which feature relevance is learned by adapting step size parameters of stochastic gradient descent---building on a variety of prior work in stochastic approximation, machine learning, and artificial neural networks. In particular, we focus on stochastic meta-descent introduced in the Incremental Delta-Bar-Delta (IDBD) algorithm for setting individual step sizes for each feature of a linear function approximator. Using IDBD, a feature with large or small step sizes will have a large or small impact on generalization from training examples. As a main contribution of this work, we extend IDBD to temporal-difference (TD) learning---a form of learning which is effective in sequential, non i.i.d. problems. We derive a variety of IDBD generalizations for TD learning, demonstrating that they are able to distinguish which features are relevant and which are not. We demonstrate that TD IDBD is effective at learning feature relevance in both an idealized gridworld and a real-world robotic prediction task.


title: General Convolutional Sparse Coding with Unknown Noise

abstract: Convolutional sparse coding (CSC) can learn representative shift-invariant patterns from multiple kinds of data. However, existing CSC methods can only model noises from Gaussian distribution, which is restrictive and unrealistic. In this paper, we propose a general CSC model capable of dealing with complicated unknown noise. The noise is now modeled by Gaussian mixture model, which can approximate any continuous probability density function. We use the expectation-maximization algorithm to solve the problem and design an efficient method for the weighted CSC problem in maximization step. The crux is to speed up the convolution in the frequency domain while keeping the other computation involving weight matrix in the spatial domain. Besides, we simultaneously update the dictionary and codes by nonconvex accelerated proximal gradient algorithm without bringing in extra alternating loops. The resultant method obtains comparable time and space complexity compared with existing CSC methods. Extensive experiments on synthetic and real noisy biomedical data sets validate that our method can model noise effectively and obtain high-quality filters and representation.


title: An Algorithm for the Visualization of Relevant Patterns in Astronomical Light Curves

abstract: Within the last years, the classification of variable stars with Machine Learning has become a mainstream area of research. Recently, visualization of time series is attracting more attention in data science as a tool to visually help scientists to recognize significant patterns in complex dynamics. Within the Machine Learning literature, dictionary-based methods have been widely used to encode relevant parts of image data. These methods intrinsically assign a degree of importance to patches in pictures, according to their contribution in the image reconstruction. Inspired by dictionary-based techniques, we present an approach that naturally provides the visualization of salient parts in astronomical light curves, making the analogy between image patches and relevant pieces in time series. Our approach encodes the most meaningful patterns such that we can approximately reconstruct light curves by just using the encoded information. We test our method in light curves from the OGLE-III and StarLight databases. Our results show that the proposed model delivers an automatic and intuitive visualization of relevant light curve parts, such as local peaks and drops in magnitude.


title: Pressure-induced high temperature superconductivity in H3X (X=As, Se, Br, Sb, Te and I)

abstract: The discovery of high critical temperature T_{c} superconductivity in highly compressed H_{3}S has opened up the question of searching for strong electron-phonon coupling in the hydrides outside the transition metal series. The specific objective of this work is to explore the possibility of discovering a material that exceeds the superconducting transition temperature of H_{3}S. Our study includes the materials H_{3}X (X=As, Se, Br, Sb, Te, and I), is limited to the Im\overline{3}m crystal structure. The procedure we adopt involves performing linearized augmented plane wave calculations for many different volumes to compute the electronic densities of states and their pressure variation. This is combined with Quantum-ESPRESSO calculations from which we obtain the phonon frequencies and the electron-phonon coupling constant \lambda, and followed by applying the multiple scattering-based theory of Gaspari and Gyorffy to obtain the Hopfield parameters and the McMillan-Allen-Dynes theory. It should be stressed that the GG approach decouples the electronic contribution to \lambda from the corresponding phonon contribution, and provides additional insights for the understanding of superconductivity in these materials. Based on our analysis, the hydrogen is the main contributor to the T_{c} in these materials as it makes up 75\sim80 % of the total \lambda. Our calculations for H_{3}Se and H_{3}Br give a T_{c}{}{}\sim100 K. For the other materials in our study we find that H_{3}As is unstable and H_{3}Sb, H_{3}Te and H_{3}I have small values of the McMillan-Hopfield paramters which makes it unlikely to give high T_{c}. However, according to both of our rigid band model and virtual crystal calculations, we predict a T_{c}\sim150 K for H_{3}Br with a small amount of hydrogen doping.


title: Understanding tunneling ionization of atoms in laser fields with the essence of multiphoton absorption

abstract: The elaborate energy and momentum spectra of ionized electrons from atoms in laser fields suggest that the ionization dynamics described by tunneling theory should be modified. Although many efforts have been done within semiclassical models, there are few discussions describing multiphoton absorption process with quantum framework. In this letter, by comparing the results obtained with the time-dependent Schrodinger equation (TDSE) and Keldysh-Faisal-Reiss (KFR) theory, we have studied the nonperturbative effects of ionization dynamics beyond KFR theory. The difference in momentum spectra between multiphoton and tunneling regimes is understood in a unified picture with virtual multiphoton absorption processes. For the multiphoton regime, the momentum spectra can be obtained by coherent interference of each periodic contribution. However, the interference of multiphoton absorption peaks will result in the complex structure of virtual multiphoton bands in the tunneling regime. It is shown that the virtual spectra will be almost continuous in the tunneling regime instead of the discrete levels in the multiphoton regime. Finally, with a model combining TDSE and KFR theory, we have tried to understand the different effects of virtual multiphoton processes on ionization dynamics.


title: Coherent radio emission from a twisted magnetosphere after magnetar-quake

abstract: Magnetars are a class of highly magnetized, slowly rotating neutron stars, only a small fraction of which exhibit radio emission. We propose that the coherent radio curvature emission is generated by net charge fluctuations from a twist-current-carrying bundle (the j-bundle) in the scenario of magnetar-quake. Two-photon pair production is triggered, which requires a threshold voltage not too much higher than $10^9$ V in the current-carrying bundle, and which can be regarded as the `open field lines' of a magnetar. Continued untwisting of the magnetosphere maintains change fluctuations, and hence coherent radio emission, in the progressively shrinking j-bundle, which lasts for years until the radio beam is too small to be detected. The modeled peak flux of radio emission and the flat spectrum are generally consistent with the observations. We show that this time-dependent, conal-beam, radiative model can interpret the variable radio pulsation behaviors and the evolution of the X-ray hot spot of the radio transient magnetar XTE J1810$-$197 and the high-$B$ pulsar/AXP PSR J1622$-$4950. Radio emission with luminosity of $\lesssim10^{31}\,{\rm erg\,s^{-1}}$ and high-frequency oscillations are expected to be detected for a magnetar after an X-ray outburst. Differences of radio emission between magnetars and ordinary pulsars are discussed.


title: Learn and Link: Learning Critical Regions for Efficient Planning

abstract: This paper presents a new approach to learning for motion planning (MP) where critical regions of an environment are learned from a given set of motion plans and used to improve performance on new environments and problem instances. We introduce a new suite of sampling-based motion planners, Learn and Link. Our planners leverage critical regions to overcome the limitations of uniform sampling, while still maintaining guarantees of correctness inherent to sampling-based algorithms. We also show that convolutional neural networks (CNNs) can be used to identify critical regions for motion planning problems. We evaluate Learn and Link against planners from the Open Motion Planning Library (OMPL) using an extensive suite of experiments on challenging motion planning problems. We show that our approach requires far less planning time than existing sampling-based planners.


title: Minimizing Travel in the Uniform Dispersal Problem for Robotic Sensors

abstract: The limited energy capacity of individual robotic agents in a swarm often limits the possible cooperative tasks they can perform. In this work, we investigate the problem of covering an unknown connected grid environment (e.g. a maze or connected corridors) with a robotic swarm so as to minimize the maximal number of steps that each member of the swarm makes and their activity time before their work is finished, thereby minimizing the energy requirements. The robots are autonomous, anonymous and identical, with local sensors and finite memory, and possess no communication capabilities. They are assumed to disperse over time from a fixed location, and to move synchronously. The robots are tasked with occupying every cell of the environment, while avoiding collisions. In the literature such topics are known as \textit{uniform dispersal problems}. The goal of minimizing the number of steps traveled by the robots has previously been studied in this context. Our contribution is a local robotic strategy for simply connected grid environments that, by exploiting their topology, achieves optimal makespan (the amount of time it takes to cover the environment) and minimizes the maximal number of steps taken by the individual robots before their deactivation. The robots succeed in discovering optimal paths to their eventual destinations, and finish the covering process in $2V-1$ time steps, where $V$ is the number of cells in the environment.


title: Neural Language Models as Psycholinguistic Subjects: Representations of Syntactic State

abstract: We deploy the methods of controlled psycholinguistic experimentation to shed light on the extent to which the behavior of neural network language models reflects incremental representations of syntactic state. To do so, we examine model behavior on artificial sentences containing a variety of syntactically complex structures. We test four models: two publicly available LSTM sequence models of English (Jozefowicz et al., 2016; Gulordava et al., 2018) trained on large datasets; an RNNG (Dyer et al., 2016) trained on a small, parsed dataset; and an LSTM trained on the same small corpus as the RNNG. We find evidence that the LSTMs trained on large datasets represent syntactic state over large spans of text in a way that is comparable to the RNNG, while the LSTM trained on the small dataset does not or does so only weakly.


title: Density Functional Theory of Composite Fermions

abstract: We construct a density functional theory for two-dimension electron (hole) gases subjected to both strong magnetic fields and external potentials. In particular, we are focused on regimes near even-denominator filling factors, in which the systems form composite fermion liquids. Our theory provides a systematic and rigorous approach to determine the properties of ground states in fractional quantum Hall regime modified by artificial structures. We also propose a practical way to construct approximated functional.


title: Capitulation kernels of class groups over Z_p^d-extensions

abstract: We generalize Iwasawa's theorem on class group over $\Z_p$-extensions to all $\Z_p^d$-extensions.


title: Science from an Ultra-Deep, High-Resolution Millimeter-Wave Survey

abstract: Opening up a new window of millimeter-wave observations that span frequency bands in the range of 30 to 500 GHz, survey half the sky, and are both an order of magnitude deeper (about 0.5 uK-arcmin) and of higher-resolution (about 10 arcseconds) than currently funded surveys would yield an enormous gain in understanding of both fundamental physics and astrophysics. In particular, such a survey would allow for major advances in measuring the distribution of dark matter and gas on small-scales, and yield needed insight on 1.) dark matter particle properties, 2.) the evolution of gas and galaxies, 3.) new light particle species, 4.) the epoch of inflation, and 5.) the census of bodies orbiting in the outer Solar System.


title: Triply Periodic Monopoles and Difference Modules on Elliptic Curves

abstract: We explain the correspondences between twisted monopoles with Dirac type singularity and polystable twisted mini-holomorphic bundles with Dirac type singularity on a 3-dimensional torus. We also explain that they are equivalent to polystable parabolic twisted difference modules on elliptic curves.


title: Feel the Static and Kinetic Friction

abstract: Multimodal simulations augment the presentation of abstract concepts facilitating theoretical models understanding and learning. Most simulations only engage two of our five senses: sight and hearing. If we employ additional sensory communication channels in simulations, we may gain a deeper understanding of illustrated concepts by increasing the communication bandwidth and providing alternative perspectives. We implemented the sense of touch in 3D simulations to teach important concepts in introductory physics. Specifically, we developed a visual/haptic simulation for friction. We prove that interactive 3D haptic simulations, if carefully developed and deployed, are useful in engaging students and allowing them to understand concepts faster. We hypothesize that large scale deployment of such haptic-based simulators in science laboratories is now possible due to the advancements in haptic software and hardware technology.


title: Performance evaluation of a foot-controlled human-robot interface

abstract: Robotic minimally invasive interventions typically require using more than two instruments. We thus developed a foot pedal interface which allows the user to control a robotic arm (simultaneously to working with the hands) with four degrees of freedom in continuous directions and speeds. This paper evaluates and compares the performances of ten naive operators in using this new pedal interface and a traditional button interface in completing tasks. These tasks are geometrically complex path-following tasks similar to those in laparoscopic training, and the traditional button interface allows axis-by-axis control with constant speeds. Precision, time, and smoothness of the subjects' control movements for these tasks are analysed. The results demonstrate that the pedal interface can be used to control a robot for complex motion tasks. The subjects kept the average error rate at a low level of around 2.6% with both interfaces, but the pedal interface resulted in about 30% faster operation speed and 60% smoother movement, which indicates improved efficiency and user experience as compared with the button interface. The results of a questionnaire show that the operators found that controlling the robot with the pedal interface was more intuitive, comfortable, and less tiring than using the button interface.


title: An Estimation of the Effective Number of Electrons Contributing to the Coordinate Measurement with a TPC

abstract: For time projection chambers (TPCs) the accuracy in measurement of track coordinates along the pad row direction deteriorates with the drift distance ($z$): $\sigma_{\rm X}^2 \sim D_{\rm X}^2 \cdot z / N_{\rm eff}$, where $D_{\rm X}$ is the diffusion constant and $N_{\rm eff}$ is the effective number of electrons. Experimentally it has been shown that $N_{\rm eff}$ is smaller than the average number of drift electrons per pad row ($\overline{N}$). We estimated $N_{\rm eff}$ by means of a simple numerical simulation. The simulation shows that $N_{\rm eff}$ can be as small as $\sim$ 30\% of $\overline{N}$ due to the combined effect of statistical fluctuations in the number of drift electrons ($N$) and in their multiplication in avalanches.


title: Haptic Simulator for Liver Diagnostics through Palpation

abstract: Mechanical properties of biological tissue for both histological and pathological considerations are often required in disease diagnostics. Such properties can be simulated and explored with haptic technology. Development of cost effective haptic-based simulators and their introduction in the minimally invasive surgery learning cycle is still in its infancy. Receiving pretraining in a core set of surgical skills can reduce skill acquisition time and risks. We present the development of a visuo-haptic simulator module designed to train internal organs disease diagnostics through palpation. The module is part of a set of tools designed to train and improve basic surgical skills for minimally invasive surgery.


title: A Deep Generative Model of Speech Complex Spectrograms

abstract: This paper proposes an approach to the joint modeling of the short-time Fourier transform magnitude and phase spectrograms with a deep generative model. We assume that the magnitude follows a Gaussian distribution and the phase follows a von Mises distribution. To improve the consistency of the phase values in the time-frequency domain, we also apply the von Mises distribution to the phase derivatives, i.e., the group delay and the instantaneous frequency. Based on these assumptions, we explore and compare several combinations of loss functions for training our models. Built upon the variational autoencoder framework, our model consists of three convolutional neural networks acting as an encoder, a magnitude decoder, and a phase decoder. In addition to the latent variables, we propose to also condition the phase estimation on the estimated magnitude. Evaluated for a time-domain speech reconstruction task, our models could generate speech with a high perceptual quality and a high intelligibility.


title: A Novel Technique for Rejecting Non-Aircraft Artefacts in Above Horizon Vision-Based Aircraft Detection

abstract: Unmanned aerial vehicle (UAV) operations are steadily expanding into many important applications. A key technology for better enabling their commercial use is an onboard sense and avoid (SAA) technology which can detect potential mid-air collision threats in the same manner expected from a human pilot. Ideally, aircraft should be detected as early as possible whilst maintaining a low false alarm rate, however, textured clouds and other unstructured terrain make this trade-off a challenge. In this paper we present a new technique for the modelling and detection of aircraft above the horizon that is able to penalise non-aircraft artefacts (such as textured clouds and other unstructured terrain). We evaluate the performance of our proposed system on flight data of a Cessna 172 on a near collision course encounter with a ScanEagle UAV data collection aircraft. By penalising non-aircraft artefacts we are able to demonstrate, for a zero false alarm rate, a mean detection range of 2445m corresponding to an improvement in detection ranges by 9.8% (218m).


title: Prediction of fundamental properties of Be-B-Ta based novel ternary compounds from first-principles calculations

abstract: Be-B/B-Ta based compounds are very attractive to researchers because of their high density and ultra-hardness. But ternary Be-B-Ta compounds are neither synthesized nor predicted. In this paper, variable composition evolutionary crystal structure prediction calculations based on first-principles method have been performed to find the stable crystal structure containing Be-B-Ta at ambient condition. The predicted five compounds BeB$_2$Ta, BeB$_3$Ta$_2$ (high-pressure phase), BeBTa, BeBTa$_2$, and Be$_2$B$_2$Ta have been found to be highly dense and very hard materials. All these compounds are metallic and spin-orbit coupling (SOC) effect is significant in them. Only two of them (BeB$_2$Ta and Be$_2$B$_2$Ta) have been found to be superconductors within Migdal-Eliashberg theory. The calculated critical temperature including SOC effect is 8 and 9 K for BeB$_2$Ta and Be$_2$B$_2$Ta, respectively. Because of their energetic and dynamic stability, these compounds might be favorable to synthesize in the laboratory.


title: A Survey of Visuo-Haptic Simulation in Surgical Training

abstract: Surgeons must accomplish complex technical and intellectual tasks that can generate unexpected and serious challenges with little or no room for error. In the last decade, computer simulations have played an increasing role in surgical training, pre-operative planning, and biomedical research. Specifically, visuo-haptic simulations have been the focus of research to develop advanced e-Learning systems facilitating surgical training. The cost of haptic hardware was reduced through mass scale production and as haptics gained popularity in the gaming industry. Visuo-haptic simulations combine the tactile sense with visual information and provide training scenarios with a high degree of reality. For surgical training, such scenarios can be used as ways to gain, improve, and assess resident and expert surgeons' skills and knowledge.


title: FastDepth: Fast Monocular Depth Estimation on Embedded Systems

abstract: Depth sensing is a critical function for robotic tasks such as localization, mapping and obstacle detection. There has been a significant and growing interest in depth estimation from a single RGB image, due to the relatively low cost and size of monocular cameras. However, state-of-the-art single-view depth estimation algorithms are based on fairly complex deep neural networks that are too slow for real-time inference on an embedded platform, for instance, mounted on a micro aerial vehicle. In this paper, we address the problem of fast depth estimation on embedded systems. We propose an efficient and lightweight encoder-decoder network architecture and apply network pruning to further reduce computational complexity and latency. In particular, we focus on the design of a low-latency decoder. Our methodology demonstrates that it is possible to achieve similar accuracy as prior work on depth estimation, but at inference speeds that are an order of magnitude faster. Our proposed network, FastDepth, runs at 178 fps on an NVIDIA Jetson TX2 GPU and at 27 fps when using only the TX2 CPU, with active power consumption under 10 W. FastDepth achieves close to state-of-the-art accuracy on the NYU Depth v2 dataset. To the best of the authors' knowledge, this paper demonstrates real-time monocular depth estimation using a deep neural network with the lowest latency and highest throughput on an embedded platform that can be carried by a micro aerial vehicle.


title: A Probabilistic Two-Pile Game

abstract: We consider a game with two piles, in which two players take turn to add $a$ or $b$ chips ($a$, $b$ are not necessarily positive) randomly and independently to their respective piles. The player who collects $n$ chips first wins the game. We derive general formulas for $p_n$, the probability of the second player winning the game by collecting $n$ chips first and show the calculation for the cases $\{a,b\}$ = $\{-1,1\}$ and $\{-1,2\}$. The latter case was asked by Wong and Xu \cite{WX}. At the end, we derive the general formula for $p_{n_1,n_2}$, the probability of the second player winning the game by collecting $n_2$ chips before the first player collects $n_1$ chips.


title: Below Horizon Aircraft Detection Using Deep Learning for Vision-Based Sense and Avoid

abstract: Commercial operation of unmanned aerial vehicles (UAVs) would benefit from an onboard ability to sense and avoid (SAA) potential mid-air collision threats. In this paper we present a new approach for detection of aircraft below the horizon. We address some of the challenges faced by existing vision-based SAA methods such as detecting stationary aircraft (that have no relative motion to the background), rejecting moving ground vehicles, and simultaneous detection of multiple aircraft. We propose a multi-stage, vision-based aircraft detection system which utilises deep learning to produce candidate aircraft that we track over time. We evaluate the performance of our proposed system on real flight data where we demonstrate detection ranges comparable to the state of the art with the additional capability of detecting stationary aircraft, rejecting moving ground vehicles, and tracking multiple aircraft.


title: Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems

abstract: Noisy, intermediate-scale quantum (NISQ) systems are expected to have a few hundred qubits, minimal or no error correction, limited connectivity and limits on the number of gates that can be performed within the short coherence window of the machine. The past decade's research on quantum programming languages and compilers is directed towards large systems with thousands of qubits. For near term quantum systems, it is crucial to design tool flows which make efficient use of the hardware resources without sacrificing the ease and portability of a high-level programming environment. In this paper, we present a compiler for the Scaffold quantum programming language in which aggressive optimization specifically targets NISQ machines with hundreds of qubits. Our compiler extracts gates from a Scaffold program, and formulates a constrained optimization problem which considers both program characteristics and machine constraints. Using the Z3 SMT solver, the compiler maps program qubits to hardware qubits, schedules gates, and inserts CNOT routing operations while optimizing the overall execution time. The output of the optimization is used to produce target code in the OpenQASM language, which can be executed on existing quantum hardware such as the 16-qubit IBM machine. Using real and synthetic benchmarks, we show that it is feasible to synthesize near-optimal compiled code for current and small NISQ systems. For large programs and machine sizes, the SMT optimization approach can be used to synthesize compiled code that is guaranteed to finish within the coherence window of the machine.


title: Mobile-App Analysis and Instrumentation Techniques Reimagined with DECREE

abstract: A large number of mobile-app analysis and instrumentation techniques have emerged in the past decade. However, those techniques' components are difficult to extract and reuse outside their original tools, their evaluation results are hard to reproduce, and the tools themselves are hard to compare. This paper introduces DECREE, an infrastructure intended to guide such techniques to be reproducible, practical, reusable, and easy to adopt in practice. DECREE allows researchers and developers to easily discover existing solutions to their needs, enables unbiased and reproducible evaluation, and supports easy construction and execution of replication studies. The paper describes DECREE's three modules and its potential to fundamentally alter how research is conducted in this area.


title: Quadratic Probabilistic Algorithms for Normal Bases

abstract: It is well known that for any finite Galois extension field $K/F$, with Galois group $G = \mathrm{Gal}(K/F)$, there exists an element $\alpha \in K$ whose orbit $G\cdot\alpha$ forms an $F$-basis of $K$. Such an element $\alpha$ is called \emph{normal} and $G\cdot\alpha$ is called a normal basis. In this paper we introduce a probabilistic algorithm for finding a normal element when $G$ is either a finite abelian or a metacyclic group. The algorithm is based on the fact that deciding whether a random element $\alpha \in K$ is normal can be reduced to deciding whether $\sum_{\sigma \in G} \sigma(\alpha)\sigma \in K[G]$ is invertible. In an algebraic model, the cost of our algorithm is quadratic in the size of $G$ for metacyclic $G$ and slightly subquadratic for abelian $G$.


title: Active learning for enumerating local minima based on Gaussian process derivatives

abstract: We study active learning (AL) based on Gaussian Processes (GPs) for efficiently enumerating all of the local minimum solutions of a black-box function. This problem is challenging due to the fact that local solutions are characterized by their zero gradient and positive-definite Hessian properties, but those derivatives cannot be directly observed. We propose a new AL method in which the input points are sequentially selected such that the confidence intervals of the GP derivatives are effectively updated for enumerating local minimum solutions. We theoretically analyze the proposed method and demonstrate its usefulness through numerical experiments.


title: On the asymptotic normality of persistent Betti numbers

abstract: Persistent Betti numbers are a major tool in persistent homology, a subfield of topological data analysis. Many tools in persistent homology rely on the properties of persistent Betti numbers considered as a two-dimensional stochastic process $ (r,s) \mapsto n^{-1/2} (\beta^{r,s}_q ( \mathcal{K}(n^{1/d} \mathcal{X}_n))-\mathbb{E}[\beta^{r,s}_q ( \mathcal{K}( n^{1/d} \mathcal{X}_n))])$. So far, pointwise limit theorems have been established in different settings. In particular, the pointwise asymptotic normality of (persistent) Betti numbers has been established for stationary Poisson processes and binomial processes with constant intensity function in the so-called critical (or thermodynamic) regime, see Yogeshwaran et al. [2017] and Hiraoka et al. [2018]. In this contribution, we derive a strong stabilization property (in the spirit of Penrose and Yukich [2001] of persistent Betti numbers and generalize the existing results on the asymptotic normality to the multivariate case and to a broader class of underlying Poisson and binomial processes. Most importantly, we show that the multivariate asymptotic normality holds for all pairs $(r,s)$, $0\le r\le s<\infty$, and that it is not affected by percolation effects in the underlying random geometric graph.


title: On Eisenstein polynomials and zeta polynomials II

abstract: Eisenstein polynomials, which were defined by the second author, are analogues of the concept of an Eisenstein series. The second author conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In the previous paper, the first author provided new analogous properties of Eisenstein polynomials and zeta polynomials for the Type II case. In this paper, the analogous properties of Eisenstein polynomials and zeta polynomials are shown to also hold for the Type I, Type III, and Type IV cases. These properties are finite analogies of certain properties of Eisenstein series.


title: Attribute Acquisition in Ontology based on Representation Learning of Hierarchical Classes and Attributes

abstract: Attribute acquisition for classes is a key step in ontology construction, which is often achieved by community members manually. This paper investigates an attention-based automatic paradigm called TransATT for attribute acquisition, by learning the representation of hierarchical classes and attributes in Chinese ontology. The attributes of an entity can be acquired by merely inspecting its classes, because the entity can be regard as the instance of its classes and inherit their attributes. For explicitly describing of the class of an entity unambiguously, we propose class-path to represent the hierarchical classes in ontology, instead of the terminal class word of the hypernym-hyponym relation (i.e., is-a relation) based hierarchy. The high performance of TransATT on attribute acquisition indicates the promising ability of the learned representation of class-paths and attributes. Moreover, we construct a dataset named \textbf{BigCilin11k}. To the best of our knowledge, this is the first Chinese dataset with abundant hierarchical classes and entities with attributes.


title: On the Informativeness of Measurements in Shiryaev's Bayesian Quickest Change Detection

abstract: This paper provides the first description of a weak practical super-martingale phenomenon that can emerge in the test statistic in Shiryaev's Bayesian quickest change detection (QCD) problem. We establish that this super-martingale phenomenon can emerge under a condition on the relative entropy between pre and post change densities when the measurements are insufficiently informative to overcome the change time's geometric prior. We illustrate this super-martingale phenomenon in a simple Bayesian QCD problem which highlights the unsuitability of Shiryaev's test statistic for detecting subtle change events.


title: Identities and Many-Body Approaches in Bose-Einstein Condensates

abstract: This paper discusses exact relations in Bose--Einstein condensates (BECs), starting from basic properties of an ideal Bose gas. In particular, focused on are the Hugenholtz--Pines relation, Nepomnyashchii--Nepomnyashchii identity, and identities for the density response function. After introducing these exact relations, a few approaches of many-body approximations are discussed, which satisfy the exact relations in BECs. This paper will serve as a bridge between theories on exact relations and those on approximations in BECs.


title: Anonymous Auction Protocol Based on Time-Released Encryption atop Consortium Blockchain

abstract: The Ethereum blockchain as a decentralized platform is so successful that many applications deployed on it. However, for the inherent transparency properties and the lack of privacy, deploying a financial application on top of it is always a challenge. In this paper, we tackle this challenge and propose an anonymous sealed-bid auction protocol based on time-released encryption atop Consortium Blockchain. We adopt a strict digital certificate-based identity mechanism of the consortium blockchain to permit legitimate participants, and utilize the blind signature based on elliptic curve technology to allowing anonymous participation. Moreover, a timed release public key encryption algorithm is adopted to encrypt bids and prevent auctioneer from colluding with bidders. This is completely different from the method (zero-knowledge proof) used in other papers to prevent collusion between auctioneer and bidder. We provide a specific analysis of our protocol, which shows that our protocol meets anonymity and applicability.


title: An Identification of Learners' Confusion through Language and Discourse Analysis

abstract: The substantial growth of online learning, in particular, Massively Open Online Courses (MOOCs), supports research into the development of better models for effective learning. Learner 'confusion' is among one of the identified aspects which impacts the overall learning process, and ultimately, course attrition. Confusion for a learner is an individual state of bewilderment and uncertainty of how to move forward. The majority of recent works neglect the 'individual' factor and measure the influence of community-related aspects (e.g. votes, views) for confusion classification. While this is a useful measure, as the popularity of one's post can indicate that many other students have similar confusion regarding course topics, these models neglect the personalised context, such as individual's affect or emotions. Certain physiological aspects (e.g. facial expressions, heart rate) have been utilised to classify confusion in small to medium classrooms. However, these techniques are challenging to adopt to MOOCs. To bridge this gap, we propose an approach solely based on language and discourse aspects of learners, which outperforms the previous models. We contribute through the development of a novel linguistic feature set that is predictive for confusion classification. We train the confusion classifier using one domain, successfully applying it across other domains.


title: Maximal Cohen-Macaulay modules that are not locally free on the punctured spectrum

abstract: We say that a Cohen-Macaulay local ring has finite $\operatorname{\mathsf{CM}}_+$-representation type if there exist only finitely many isomorphism classes of indecomposable maximal Cohen-Macaulay modules that are not locally free on the punctured spectrum. In this paper, we consider finite $\operatorname{\mathsf{CM}}_+$-representation type from various points of view, relating it with several conjectures on finite/countable Cohen-Macaulay representation type. We prove in dimension one that the Gorenstein local rings of finite $\operatorname{\mathsf{CM}}_+$-representation type are exactly the local hypersurfaces of countable $\mathsf{CM}$-representation type, that is, the hypersurfaces of type $(\mathrm{A}_\infty)$ and $(\mathrm{D}_\infty)$. We also discuss the closedness and dimension of the singular locus of a Cohen-Macaulay local ring of finite $\operatorname{\mathsf{CM}}_+$-representation type.


title: Imaging individual solute atoms at crystalline imperfections in metals

abstract: Directly imaging all atoms constituting a material and, maybe more importantly, crystalline defects that dictate materials' properties, remains a formidable challenge. Here, we propose a new approach to chemistry-sensitive field-ion microscopy (FIM) combining contrast interpretation from density-functional theory (DFT) and elemental identification enabled by time-of-flight mass-spectrometry and data mining. Analytical-FIM has true atomic resolution and we demonstrate how the technique can reveal the presence of individual solute atoms at specific positions in the microstructure. The performance of this new technique is showcased in revealing individual Re atoms at crystalline defects formed in Ni during creep deformation. The atomistic details offered by A-FIM allowed us to directly compare our results with simulations, and to tackle a long-standing question of how Re extends lifetime of Ni-based superalloys in service at high-temperature.


title: Towards Time-Aware Distant Supervision for Relation Extraction

abstract: Distant supervision for relation extraction heavily suffers from the wrong labeling problem. To alleviate this issue in news data with the timestamp, we take a new factor time into consideration and propose a novel time-aware distant supervision framework (Time-DS). Time-DS is composed of a time series instance-popularity and two strategies. Instance-popularity is to encode the strong relevance of time and true relation mention. Therefore, instance-popularity would be an effective clue to reduce the noises generated through distant supervision labeling. The two strategies, i.e., hard filter and curriculum learning are both ways to implement instance-popularity for better relation extraction in the manner of Time-DS. The curriculum learning is a more sophisticated and flexible way to exploit instance-popularity to eliminate the bad effects of noises, thus get better relation extraction performance. Experiments on our collected multi-source news corpus show that Time-DS achieves significant improvements for relation extraction.