title: Bitcoin market route to maturity? Evidence from return fluctuations, temporal correlations and multiscaling effects

abstract: Based on 1-minute price changes recorded since year 2012, the fluctuation properties of the rapidly-emerging Bitcoin (BTC) market are assessed over chosen sub-periods, in terms of return distributions, volatility autocorrelation, Hurst exponents and multiscaling effects. The findings are compared to the stylized facts of mature world markets. While early trading was affected by system-specific irregularities, it is found that over the months preceding Apr 2018 all these statistical indicators approach the features hallmarking maturity. This can be taken as an indication that the Bitcoin market, and possibly other cryptocurrencies, carry concrete potential of imminently becoming a regular market, alternative to the foreign exchange (Forex). Since high-frequency price data are available since the beginning of trading, the Bitcoin offers a unique window into the statistical characteristics of a market maturation trajectory.


title: Heuristic Approaches for Goal Recognition in Incomplete Domain Models

abstract: Recent approaches to goal recognition have progressively relaxed the assumptions about the amount and correctness of domain knowledge and available observations, yielding accurate and efficient algorithms. These approaches, however, assume completeness and correctness of the domain theory against which their algorithms match observations: this is too strong for most real-world domains. In this paper, we develop goal recognition techniques that are capable of recognizing goals using \textit{incomplete} (and possibly incorrect) domain theories. We show the efficiency and accuracy of our approaches empirically against a large dataset of goal and plan recognition problems with incomplete domains.


title: Improving Implicit Discourse Relation Classification by Modeling Inter-dependencies of Discourse Units in a Paragraph

abstract: We argue that semantic meanings of a sentence or clause can not be interpreted independently from the rest of a paragraph, or independently from all discourse relations and the overall paragraph-level discourse structure. With the goal of improving implicit discourse relation classification, we introduce a paragraph-level neural networks that model inter-dependencies between discourse units as well as discourse relation continuity and patterns, and predict a sequence of discourse relations in a paragraph. Experimental results show that our model outperforms the previous state-of-the-art systems on the benchmark corpus of PDTB.


title: Lattices and Hypergraphs associated to square-free monomial ideals

abstract: Given a square-free monomial ideal $I$ in a polynomial ring $R$ over a field $\mathbb{K}$, one can associate it with its LCM-lattice and its hypergraph. In this short note, we establish the connection between the LCM-lattice and the hypergraph, and in doing so we provide a sufficient condition for removing higher dimension edges of the hypergraph without impacting the projective dimension of the square-free monomial ideal. We also offer algorithms to compute the projective dimension of a class of square-free monomial ideals built using the new result and previous results of Lin-Mantero.


title: GH-stability and Spectral Decomposition for Group Actions

abstract: We study expansivity and the shadowing property for finitely generated group actions on metric spaces. We consider the projecting and lifting problems for actions having these properties. We prove that every expansive action with the shadowing property is strongly $GH$-stable (Gromov-Hausdorff stable). Finally, we introduce sequential shadowing property for finitely generated group actions on metric spaces and show that such shadowing is strong enough to imply the spectral decomposition property.


title: Can Light Dark Matter Solve the Core-Cusp Problem?

abstract: Recently there has been much interest in light dark matter, especially ultra-light axions, as they may provide a solution to the core-cusp problem at the center of galaxies. Since very light bosons can have a de Broglie wavelength that is of astrophysical size, they can smooth out the centers of galaxies to produce a core, as opposed to vanilla dark matter models, and so it has been suggested that this solves the core-cusp problem. In this work, we critically examine this claim. While an ultra-light particle will indeed lead to a core, we examine whether the relationship between the density of the core and its radius matches the data over a range of galaxies. We first review data that shows the core density of a galaxy $\rho_c$ varies as a function of the core radius $R_c$ as $\rho_c\propto1/R_c^\beta$ with $\beta\approx1$. We then compare this to theoretical models. We examine a large class of light scalar dark matter models, governed by some potential $V$. For simplicity, we take the scalar to be complex with a global $U(1)$ symmetry in order to readily organize solutions by a conserved particle number. However, we expect our central conclusions to persist even for a real scalar, and furthermore, a complex scalar matches the behavior of a real scalar in the non-relativistic limit, which is the standard regime of interest. For any potential $V$, we find the relationship between $\rho_c$ and $R_c$ for ground state solutions is always in one of the following regimes: (i) $\beta\gg1$, or (ii) $\beta\ll1$, or (iii) unstable, and so it never matches the data. We also find similar conclusions for virialized dark matter, more general scalar field theories, degenerate fermion dark matter, superfluid dark matter, and general polytropes. We conclude that the solution to the core-cusp problem is more likely due to either complicated baryonic effects or some other type of dark matter interactions.


title: Neural Models for Reasoning over Multiple Mentions using Coreference

abstract: Many problems in NLP require aggregating information from multiple mentions of the same entity which may be far apart in the text. Existing Recurrent Neural Network (RNN) layers are biased towards short-term dependencies and hence not suited to such tasks. We present a recurrent layer which is instead biased towards coreferent dependencies. The layer uses coreference annotations extracted from an external system to connect entity mentions belonging to the same cluster. Incorporating this layer into a state-of-the-art reading comprehension model improves performance on three datasets -- Wikihop, LAMBADA and the bAbi AI tasks -- with large gains when training data is scarce.


title: A stochastic second-order generalized estimating equations approach for estimating intraclass correlation coefficient in the presence of informative missing data

abstract: Design and analysis of cluster randomized trials must take into account correlation among outcomes from the same clusters. When applying standard generalized estimating equations (GEE), the first-order (e.g. treatment) effects can be estimated consistently even with a misspecified correlation structure. In settings for which the correlation is of interest, one could estimate this quantity via second-order generalized estimating equations (GEE2). We build upon GEE2 in the setting of missing data, for which we incorporate a "second-order" inverse-probability weighting (IPW) scheme and "second-order" doubly robust (DR) estimating equations that guard against partial model misspecification. We highlight the need to model correlation among missing indicators in such settings. In addition, the computational difficulties in solving these second-order equations have motivated our development of more computationally efficient algorithms for solving GEE2, which alleviates reliance on parameter starting values and provides substantially faster and higher convergence rates than the more widely used deterministic root-solving methods.


title: Applied Machine Learning to Predict Stress Hotspots II: Hexagonal close packed materials

abstract: Stress hotspots are regions of stress concentrations that form under deformation in polycrystalline materials. We use a machine learning approach to study the effect of preferred slip systems and microstructural features that reflect local crystallography, geometry, and connectivity on stress hotspot formation in hexagonal close packed materials under uniaxial tensile stress. We consider two cases: one without any preferred slip systems with a critically resolved shear stress (CRSS) ratio of 1:1:1, and a second with CRSS ratio 0.1:1:3 for basal: prismatic: pyramidal slip systems. Random forest based machine learning models predict hotspot formation with an AUC (area under curve) score of 0.82 for the Equal CRSS and 0.81 for the Unequal CRSS cases. The results show how data driven techniques can be utilized to predict hotspots as well as pinpoint the microstructural features causing stress hotspot formation in polycrystalline microstructures


title: Observation of different reactivities of para- and ortho-water towards cold diazenylium ions

abstract: Water, H$_2$O, is one of the fundamental molecules in chemistry, biology and astrophysics. It exists as two distinct nuclear-spin isomers, para- and ortho-water, which do not interconvert in isolated molecules. The experimental challenges in preparing pure samples of the two isomers have thus far precluded a characterization of their individual chemical behaviour. Capitalizing on recent advances in the electrostatic deflection of polar molecules, we separated the ground states of para- and ortho-water in a molecular beam to show that the two isomers exhibit different reactivities in a prototypical reaction with cold diazenylium ions (N$_2$H$^+$). Based on ab initio calculations and a modelling of the reaction kinetics using rotationally adiabatic capture theory, we rationalize this finding in terms of different rotational averaging of ion-dipole interactions during the reaction. The present results highlight the subtle interplay between nuclear-spin and rotational symmetry and its ramifications on chemical reactivity.


title: Expressivity within second-order transitive-closure logic

abstract: Second-order transitive-closure logic, SO(TC), is an expressive declarative language that captures the complexity class PSPACE. Already its monadic fragment, MSO(TC), allows the expression of various NP-hard and even PSPACE-hard problems in a natural and elegant manner. As SO(TC) offers an attractive framework for expressing properties in terms of declaratively specified computations, it is interesting to understand the expressivity of different features of the language. This paper focuses on the fragment MSO(TC), as well on the purely existential fragment SO(2TC)(E); in 2TC, the TC operator binds only tuples of relation variables. We establish that, with respect to expressive power, SO(2TC)(E) collapses to existential first-order logic. In addition we study the relationship of MSO(TC) to an extension of MSO(TC) with counting features (CMSO(TC)) as well as to order-invariant MSO. We show that the expressive powers of CMSO(TC) and MSO(TC) coincide. Moreover we establish that, over unary vocabularies, MSO(TC) strictly subsumes order-invariant MSO.


title: Fundamental diagram estimation by using trajectories of probe vehicles

abstract: The fundamental diagram (FD), also known as the flow--density relation, is one of the most fundamental concepts in the traffic flow theory. It describes the relation between equilibrated flow, density, and speed in traffic flow. Conventionally, FDs are estimated by using fixed roadside sensors such as detectors. On the other hand, there is a paucity of studies on FD estimation by using mobile sensors, namely probe vehicles. Probe vehicles enable the collection of traffic data from the entire road network, and thus they are useful sensors for large-scale traffic management. In this study, a framework of FD estimation by using probe vehicle data is developed. It determines FD parameters based on trajectories of randomly sampled vehicles and a given jam density that is easily inferred by other data sources. Specifically, an algorithm for estimating a triangular FD based on actual, potentially noisy traffic data is developed. The algorithm is empirically validated by using real-world probe vehicle data on a highway. The results suggest that the algorithm accurately and robustly estimates the FD parameters.


title: Defo-Net: Learning Body Deformation using Generative Adversarial Networks

abstract: Modelling the physical properties of everyday objects is a fundamental prerequisite for autonomous robots. We present a novel generative adversarial network (Defo-Net), able to predict body deformations under external forces from a single RGB-D image. The network is based on an invertible conditional Generative Adversarial Network (IcGAN) and is trained on a collection of different objects of interest generated by a physical finite element model simulator. Defo-Net inherits the generalisation properties of GANs. This means that the network is able to reconstruct the whole 3-D appearance of the object given a single depth view of the object and to generalise to unseen object configurations. Contrary to traditional finite element methods, our approach is fast enough to be used in real-time applications. We apply the network to the problem of safe and fast navigation of mobile robots carrying payloads over different obstacles and floor materials. Experimental results in real scenarios show how a robot equipped with an RGB-D camera can use the network to predict terrain deformations under different payload configurations and use this to avoid unsafe areas.


title: UCBoost: A Boosting Approach to Tame Complexity and Optimality for Stochastic Bandits

abstract: In this work, we address the open problem of finding low-complexity near-optimal multi-armed bandit algorithms for sequential decision making problems. Existing bandit algorithms are either sub-optimal and computationally simple (e.g., UCB1) or optimal and computationally complex (e.g., kl-UCB). We propose a boosting approach to Upper Confidence Bound based algorithms for stochastic bandits, that we call UCBoost. Specifically, we propose two types of UCBoost algorithms. We show that UCBoost($D$) enjoys $O(1)$ complexity for each arm per round as well as regret guarantee that is $1/e$-close to that of the kl-UCB algorithm. We propose an approximation-based UCBoost algorithm, UCBoost($\epsilon$), that enjoys a regret guarantee $\epsilon$-close to that of kl-UCB as well as $O(\log(1/\epsilon))$ complexity for each arm per round. Hence, our algorithms provide practitioners a practical way to trade optimality with computational complexity. Finally, we present numerical results which show that UCBoost($\epsilon$) can achieve the same regret performance as the standard kl-UCB while incurring only $1\%$ of the computational cost of kl-UCB.


title: Searching Neutrino-Nucleus Coherent Scattering with M\"ossbauer Spectroscopy

abstract: The M\"ossbauer technique is proposed as an alternative experimental procedure to be used in the detection of Coherent Elastic $\nu$-Nucleus Scattering (CENNS). The $Z_{0}$-boson exchange is considered as a perturbation on the nuclear mean-field potential with a change in the valence neutron quantum states in the $^{57}Fe$ nucleus of the M\"ossbauer detector sample. This nuclei is a typical isotope used in M\"ossbauer spectroscopy. Perturbed level of the valence neutron accommodates the transferred energy, modifying the location of the isometric peak of the M\"ossbauer electromagnetic resonance. We calculate the isometric shift correction due CENNS and show that this quantity is able to be detected with enough precision. Therefore, the difference between the M\"ossbauer isometric shift in the presence of a reactor-neutrino beam and without the neutrinos flux is pointed out as a figure of merit to manifest CENNS. In this work, we show that the CENNS correction of the Isomeric Shift is of $\approx 10^{-7}$eV, which is greater than the $10^{-10}$eV resolution of the technique.


title: Dual-energy electron beams from a compact laser-driven accelerator

abstract: Ultrafast pump-probe experiments open the possibility to track fundamental material behaviour like changes in its electronic configuration in real time. To date, most of these experiments are performed using an electron or a high-energy photon beam, which is synchronized to an infrared laser pulse. Entirely new opportunities can be explored if not only a single, but multiple synchronized, ultra-short, high-energy beams are used. However, this requires advanced radiation sources that are capable of producing dual-energy electron beams, for example. Here, we demonstrate simultaneous generation of twin-electron beams from a single compact laser wakefield accelerator. The energy of each beam can be individually adjusted over a wide range and our analysis shows that the bunch lengths and their delay inherently amount to femtoseconds. Our proof-of-concept results demonstrate an elegant way to perform multi-beam experiments in future on a laboratory scale.


title: Towards Robust Monitoring of Stealthy Diffusion

abstract: In this work, we introduce and study the \emph{$(\alpha, \beta)$-Monitoring} game on networks. Our game is composed of two parties an attacker and a defender. The attacker can launch an attack by distributing a limited number of seeds (i.e., virus) to the network, and/or manipulate the propagation probabilities on a limited number of edges. Under our $(\alpha, \beta)$-Monitoring game, we say an attack is successful if and only if the following two conditions are satisfied: (1) the outbreak/propagation reaches $\alpha$ individuals, and (2) it has not been detected before reaching $\beta$ individuals. On the other end, the defender's ultimate goal is to deploy a set of monitors in the network that can minimize attacker's success ratio in the worst-case. Our work is built upon recent work in security games, compared with stochastic guarantees, our adversarial setting leads to more robust solutions in practice.


title: Unimodal Polynomials and Lattice Walk Enumeration with Experimental Mathematics

abstract: The main theme of this dissertation is retooling methods to work for different situations. I have taken the method derived by O'Hara and simplified by Zeilberger to prove unimodality of $q$-binomials and tweaked it. This allows us to create many more families of polynomials for which unimodality is not, a priori, given. I analyze how many of the tweaks affect the resulting polynomial. Ayyer and Zeilberger proved a result about bounded lattice walks. I employ their generating function relation technique to analyze lattice walks with a general step set in bounded, semi-bounded, and unbounded planes. The method in which we do this is formulated to be highly algorithmic so that a computer can automate most, if not all, of the work. I easily recover many well-known results for simpler step sets and discover new results for more complex step sets.


title: Subaru/HiCIAO $HK_{\rm s}$ imaging of LkH$\alpha$ 330 - multi-band detection of the gap and spiral-like structures

abstract: We present $H$- and $K_{\rm s}$-bands observations of the LkH$\alpha$ 330 disk with a multi-band detection of the large gap and spiral-like structures. The morphology of the outer disk ($r\sim$$0\farcs3$) at PA=0--45$^\circ$ and PA=180--290$^\circ$ are likely density wave-induced spirals and comparison between our observational results and simulations suggests a planet formation. We have also investigated the azimuthal profiles at the ring and the outer-disk regions as well as radial profiles in the directions of the spiral-like structures and semi-major axis. Azimuthal analysis shows a large variety in wavelength and implies that the disk has non-axisymmetric dust distributions. The radial profiles in the major-axis direction (PA=$271^\circ$) suggest that the outer region ($r\geq0\farcs25$) may be influenced by shadows of the inner region of the disk. The spiral-like directions (PA=10$^\circ$ and 230$^\circ$) show different radial profiles, which suggests that the surfaces of the spiral-like structures are highly flared and/or have different dust properties. Finally, a color-map of the disk shows a lack of an outer eastern region in the $H$-band disk, which may hint the presence of an inner object that casts a directional shadow onto the disk.


title: Dissipative delay range analysis of coupled differential-difference delay systems with distributed delays

abstract: This paper proposes methods to handle the problem of delay range stability analysis for a linear coupled differential-difference system (CDDS) with distributed delays subject to dissipative constraints. The model of linear CDDS contains many models of linear delay systems as special cases. A novel Liapunov-Krasovskii functional with non-constant matrix parameters, which are related to the delay value polynomially, is applied to derive stability conditions. By constructing this new functional, sufficient conditions in terms of robust linear matrix inequalities (LMIs) can be derived, which guarantee range stability of a linear CDDS subject to dissipative constraints. To solve the resulting robust LMIs numerically, we apply the technique of sum of squares programming together with matrix relaxations without introducing any potential conservatism to the original robust LMIs. Furthermore, the proposed methods can be extended to solve delay margin estimation problems for a linear CDDS subject to prescribed dissipative constraints. Finally, numerical examples are presented to demonstrate the effectiveness of the proposed methodologies.


title: Learning a Deep Listwise Context Model for Ranking Refinement

abstract: Learning to rank has been intensively studied and widely applied in information retrieval. Typically, a global ranking function is learned from a set of labeled data, which can achieve good performance on average but may be suboptimal for individual queries by ignoring the fact that relevant documents for different queries may have different distributions in the feature space. Inspired by the idea of pseudo relevance feedback where top ranked documents, which we refer as the \textit{local ranking context}, can provide important information about the query's characteristics, we propose to use the inherent feature distributions of the top results to learn a Deep Listwise Context Model that helps us fine tune the initial ranked list. Specifically, we employ a recurrent neural network to sequentially encode the top results using their feature vectors, learn a local context model and use it to re-rank the top results. There are three merits with our model: (1) Our model can capture the local ranking context based on the complex interactions between top results using a deep neural network; (2) Our model can be built upon existing learning-to-rank methods by directly using their extracted feature vectors; (3) Our model is trained with an attention-based loss function, which is more effective and efficient than many existing listwise methods. Experimental results show that the proposed model can significantly improve the state-of-the-art learning to rank methods on benchmark retrieval corpora.


title: Enhancement of Throat Microphone Recordings Using Gaussian Mixture Model Probabilistic Estimator

abstract: The throat microphone is a body-attached transducer that is worn against the neck. It captures the signals that are transmitted through the vocal folds, along with the buzz tone of the larynx. Due to its skin contact, it is more robust to the environmental noise compared to the acoustic microphone that picks up the vibrations through air pressure, and hence the all interventions. The throat speech is partly intelligible, but gives unnatural and croaky sound. This thesis tries to recover missing frequency bands of the throat speech and investigates envelope and excitation mapping problem with joint analysis of throat- and acoustic-microphone recordings. A new phone-dependent GMM-based spectral envelope mapping scheme, which performs the minimum mean square error (MMSE) estimation of the acoustic-microphone spectral envelope, has been proposed. In the source-filter decomposition framework, we observed that the spectral envelope difference of the excitation signals of throat- and acoustic-microphone recordings is an important source of the degradation in the throat-microphone voice quality. Thus, we also model spectral envelope difference of the excitation signals as a spectral tilt vector, and propose a new phone-dependent GMM-based spectral tilt mapping scheme to enhance throat excitation signal. Experimental evaluations are performed to compare the proposed mapping scheme using both objective and subjective evaluations. Objective evaluations are performed with the log-spectral distortion (LSD) and the wide-band perceptual evaluation of speech quality (PESQ) metrics. Subjective evaluations are performed with A/B pair comparison listening test. Both objective and subjective evaluations yield that the proposed phone-dependent mapping consistently improves performances over the state-of-the-art GMM estimators.


title: Unbiased Learning to Rank with Unbiased Propensity Estimation

abstract: Learning to rank with biased click data is a well-known challenge. A variety of methods has been explored to debias click data for learning to rank such as click models, result interleaving and, more recently, the unbiased learning-to-rank framework based on inverse propensity weighting. Despite their differences, most existing studies separate the estimation of click bias (namely the \textit{propensity model}) from the learning of ranking algorithms. To estimate click propensities, they either conduct online result randomization, which can negatively affect the user experience, or offline parameter estimation, which has special requirements for click data and is optimized for objectives (e.g. click likelihood) that are not directly related to the ranking performance of the system. In this work, we address those problems by unifying the learning of propensity models and ranking models. We find that the problem of estimating a propensity model from click data is a dual problem of unbiased learning to rank. Based on this observation, we propose a Dual Learning Algorithm (DLA) that jointly learns an unbiased ranker and an \textit{unbiased propensity model}. DLA is an automatic unbiased learning-to-rank framework as it directly learns unbiased ranking models from biased click data without any preprocessing. It can adapt to the change of bias distributions and is applicable to online learning. Our empirical experiments with synthetic and real-world data show that the models trained with DLA significantly outperformed the unbiased learning-to-rank algorithms based on result randomization and the models trained with relevance signals extracted by click models.


title: Origin of Information Encoding in Nucleic Acids through a Dissipation-Replication Relation

abstract: Ultraviolet light incident on organic material can initiate its spontaneous dissipative structuring into chromophores which can then catalyze their own replication. This may have been the case for one of the most ancient of all chromophores dissipating the Archean UVC photon flux, the nucleic acids. Under the empirically established imperative of increasing entropy production, nucleic acids with affinity to particular amino acids which foment UVC photon dissipation would have been "thermodynamically selected" through this dissipation-replication relation. Indeed, we show here that those amino acids with characteristics most relevant to fomenting UVC photon dissipation are precisely those with greatest affinity to their codons or anticodons. This could provide a physical-chemical mechanism for the accumulation of information in nucleic acids relevant to the dissipation of the externally imposed photon potential. This mechanism could provide a non-equilibrium thermodynamic foundation, based on increasing global entropy production of the biosphere, for the tenants of Darwinian natural selection. We show how this mechanism might have begun operating at the origin of life in the Archean, and how, in fact, it still operates today, albeit indirectly through complex biosynthetic pathways now operating in the visible.


title: Approaching Neural Grammatical Error Correction as a Low-Resource Machine Translation Task

abstract: Previously, neural methods in grammatical error correction (GEC) did not reach state-of-the-art results compared to phrase-based statistical machine translation (SMT) baselines. We demonstrate parallels between neural GEC and low-resource neural MT and successfully adapt several methods from low-resource MT to neural GEC. We further establish guidelines for trustable results in neural GEC and propose a set of model-independent methods for neural GEC that can be easily applied in most GEC settings. Proposed methods include adding source-side noise, domain-adaptation techniques, a GEC-specific training-objective, transfer learning with monolingual data, and ensembling of independently trained GEC models and language models. The combined effects of these methods result in better than state-of-the-art neural GEC models that outperform previously best neural GEC systems by more than 10% M$^2$ on the CoNLL-2014 benchmark and 5.9% on the JFLEG test set. Non-neural state-of-the-art systems are outperformed by more than 2% on the CoNLL-2014 benchmark and by 4% on JFLEG.


title: A Novel Electrical Method to Measure Wire Tensions for Time Projection Chambers

abstract: We present a novel electrical technique to measure the tension of wires in multi-wire drift chambers. We create alternating electric fields by biasing adjacent wires on both sides of a test wire with a superposition of positive and negative DC voltages on an AC signal ($V_{\rm AC} \pm V_{\rm DC}$). The resulting oscillations of the wire will display a resonance at its natural frequency, and the corresponding change of the capacitance will lead to a measurable current. This scheme is scalable to multiple wires and therefore enables us to precisely measure the tension of a large number of wires in a short time. This technique can also be applied at cryogenic temperatures making it an attractive solution for future large time-projection chambers such as the DUNE detector. We present the concept, an example implementation and its performance in a real-world scenario and discuss the limitations of the sensitivity of the system in terms of voltage and wire length.


title: Are Abstracts Enough for Hypothesis Generation?

abstract: The potential for automatic hypothesis generation (HG) systems to improve research productivity keeps pace with the growing set of publicly available scientific information. But as data becomes easier to acquire, we must understand the effect different textual data sources have on our resulting hypotheses. Are abstracts enough for HG, or does it need full-text papers? How many papers does an HG system need to make valuable predictions? How sensitive is a general-purpose HG system to hyperparameter values or input quality? What effect does corpus size and document length have on HG results? To answer these questions we train multiple versions of knowledge network-based HG system, Moliere, on varying corpora in order to compare challenges and trade offs in terms of result quality and computational requirements. Moliere generalizes main principles of similar knowledge network-based HG systems and reinforces them with topic modeling components. The corpora include the abstract and full-text versions of PubMed Central, as well as iterative halves of MEDLINE, which allows us to compare the effect document length and count has on the results. We find that, quantitatively, corpora with a higher median document length result in marginally higher quality results, yet require substantially longer to process. However, qualitatively, full-length papers introduce a significant number of intruder terms to the resulting topics, which decreases human interpretability. Additionally, we find that the effect of document length is greater than that of document count, even if both sets contain only paper abstracts. Reproducibility: Our code and data are available at github.com/jsybran/moliere, and bit.ly/2GxghpM respectively.


title: Settling of cohesive sediment: particle-resolved simulations

abstract: We develop a physical and computational model for performing fully coupled, particle-resolved Direct Numerical Simulations of cohesive sediment, based on the Immersed Boundary Method. The model distributes the cohesive forces over a thin shell surrounding each particle, thereby allowing for the spatial and temporal resolution of the cohesive forces during particle-particle interactions. The influence of the cohesive forces is captured by a single dimensionless parameter in the form of a cohesion number, which represents the ratio of cohesive and gravitational forces acting on a particle. We test and validate the cohesive force model for binary particle interactions in the Drafting-Kissing-Tumbling (DKT) configuration. The DKT simulations demonstrate that cohesive particle pairs settle in a preferred orientation, with particles of very different sizes preferentially aligning themselves in the vertical direction, so that the smaller particle is drafted in the wake of the larger one. To test this mechanism in a system of higher complexity, we perform large simulations of 1,261 polydisperse settling particles starting from rest. These simulations reproduce several earlier experimental observations by other authors, such as the accelerated settling of sand and silt particles due to particle bonding. The simulations demonstrate that cohesive forces accelerate the overall settling process primarily because smaller grains attach to larger ones and settle in their wakes. For the present cohesion number values, we observe that settling can be accelerated by up to 29%. We propose physically based parametrization of classical hindered settling functions proposed by earlier authors, in order to account for cohesive forces. An investigation of the energy budget shows that the work of the collision forces can substantially modify the relevant energy conversion processes.


title: Segmentation of both Diseased and Healthy Skin from Clinical Photographs in a Primary Care Setting

abstract: This work presents the first segmentation study of both diseased and healthy skin in standard camera photographs from a clinical environment. Challenges arise from varied lighting conditions, skin types, backgrounds, and pathological states. For study, 400 clinical photographs (with skin segmentation masks) representing various pathological states of skin are retrospectively collected from a primary care network. 100 images are used for training and fine-tuning, and 300 are used for evaluation. This distribution between training and test partitions is chosen to reflect the difficulty in amassing large quantities of labeled data in this domain. A deep learning approach is used, and 3 public segmentation datasets of healthy skin are collected to study the potential benefits of pre-training. Two variants of U-Net are evaluated: U-Net and Dense Residual U-Net. We find that Dense Residual U-Nets have a 7.8% improvement in Jaccard, compared to classical U-Net architectures (0.55 vs. 0.51 Jaccard), for direct transfer, where fine-tuning data is not utilized. However, U-Net outperforms Dense Residual U-Net for both direct training (0.83 vs. 0.80) and fine-tuning (0.89 vs. 0.88). The stark performance improvement with fine-tuning compared to direct transfer and direct training emphasizes both the need for adequate representative data of diseased skin, and the utility of other publicly available data sources for this task.


title: Near Human-Level Performance in Grammatical Error Correction with Hybrid Machine Translation

abstract: We combine two of the most popular approaches to automated Grammatical Error Correction (GEC): GEC based on Statistical Machine Translation (SMT) and GEC based on Neural Machine Translation (NMT). The hybrid system achieves new state-of-the-art results on the CoNLL-2014 and JFLEG benchmarks. This GEC system preserves the accuracy of SMT output and, at the same time, generates more fluent sentences as it typical for NMT. Our analysis shows that the created systems are closer to reaching human-level performance than any other GEC system reported so far.


title: Compatible Poisson Structures on Fibered $5$-Manifolds

abstract: We study a class of Poisson tensors on a fibered manifold which are compatible with the fiber bundle structure by the so-called almost coupling condition. In the case of a $5$-dimensional orientable fibered manifolds with $2$-dimensional bases, we describe a global behavior of almost coupling Poisson tensors and their singularities by using a bigraded factorization of the Jacobi identity. In particular, we present some unimodularity criteria and describe a class of gauge type transformations preserving the almost coupling property.


title: First Principles Study of Angular Dependence of Spin-Orbit Torque in Pt/Co and Pd/Co Bilayers

abstract: Spin-orbit torque (SOT) induced by spin Hall and interfacial effects in heavy metal(HM)/ferromagnetic(FM) bilayers has recently been employed to switch the magnetization direction using in-plane current injection. In this paper, using the Keldysh Green's function approach and first principles electronic structure calculations we determine the Field-Like (FL) and Damping-Like (DL) components of the SOT for the HM/Co (HM = Pt, Pd) bilayers. Our approach yields the angular dependence of both the FL- and DL-SOT on the magnetization direction without assuming a priori their angular form. Decomposition of the SOT into the Fermi sea and Fermi surface contributions reveals that the SOT is dominated by the latter. Due to the large lattice mismatch between the Co and the HM we have also determined the effect of tensile biaxial strain on both the FL- and DL-SOT components. The calculated dependence of FL- and DL-SOT on the HM thickness is overall in good agreement with experiment. The dependence of the SOT with the position of the Fermi level suggests that the DL-SOT dominated by the Spin Hall effect of the bulk HM.


title: One-point boundaries of ends of clusters in percolation in $\mathbb H^d$

abstract: Consider Bernoulli bond percolation on a graph nicely embedded in hyperbolic space $\mathbb H^d$ in such a way that it admits a transitive action by isometries of $\mathbb H^d$. Let $p_0$ be the supremum of such percolation parameters that no point at infinity of $\mathbb H^d$ lies in the boundary of the cluster of a fixed vertex with positive probability. Then for any parameter $p < p_0$, a.s. every percolation cluster has only one-point boundaries of ends.


title: Existence of CMC Cauchy surfaces from a spacetime curvature condition

abstract: In this note we present a result establishing the existence of a compact CMC Cauchy surface from a curvature condition related to the strong energy condition.


title: State-Augmentation Transformations for Risk-Sensitive Reinforcement Learning

abstract: In the framework of MDP, although the general reward function takes three arguments-current state, action, and successor state; it is often simplified to a function of two arguments-current state and action. The former is called a transition-based reward function, whereas the latter is called a state-based reward function. When the objective involves the expected cumulative reward only, this simplification works perfectly. However, when the objective is risk-sensitive, this simplification leads to an incorrect value. We present state-augmentation transformations (SATs), which preserve the reward sequences as well as the reward distributions and the optimal policy in risk-sensitive reinforcement learning. In risk-sensitive scenarios, firstly we prove that, for every MDP with a stochastic transition-based reward function, there exists an MDP with a deterministic state-based reward function, such that for any given (randomized) policy for the first MDP, there exists a corresponding policy for the second MDP, such that both Markov reward processes share the same reward sequence. Secondly we illustrate that two situations require the proposed SATs in an inventory control problem. One could be using Q-learning (or other learning methods) on MDPs with transition-based reward functions, and the other could be using methods, which are for the Markov processes with a deterministic state-based reward functions, on the Markov processes with general reward functions. We show the advantage of the SATs by considering Value-at-Risk as an example, which is a risk measure on the reward distribution instead of the measures (such as mean and variance) of the distribution. We illustrate the error in the reward distribution estimation from the direct use of Q-learning, and show how the SATs enable a variance formula to work on Markov processes with general reward functions.


title: Randomized Benchmarking as Convolution: Fourier Analysis of Gate Dependent Errors

abstract: We show that the Randomized Benchmarking (RB) protocol is a convolution amenable to Fourier space analysis. By adopting the mathematical framework of Fourier transforms of matrix-valued functions on groups established in recent work from Gowers and Hatami [Sbornik: Mathematics 208, 1784 (2017)], we provide an alternative proof of Wallman's [Quantum 2, 47 (2018)] and Proctor's [Phys. Rev. Lett. 119, 130502 (2017)] bounds on the effect of gate-dependent noise on randomized benchmarking. We show explicitly that as long as our faulty gate-set is close to the targeted representation of the Clifford group, an RB sequence is described by the exponential decay of a process that has exactly two eigenvalues close to one and the rest close to zero. This framework also allows us to construct a gauge in which the average gate-set error is a depolarizing channel parameterized by the RB decay rates, as well as a gauge which maximizes the fidelity with respect to the ideal gate-set.


title: Erd\H{o}s-Szekeres On-Line

abstract: In 1935, Erd\H{o}s and Szekeres proved that $(m-1)(k-1)+1$ is the minimum number of points in the plane which definitely contain an increasing subset of $m$ points or a decreasing subset of $k$ points (as ordered by their $x$-coordinates). We consider their result from an on-line game perspective: Let points be determined one by one by player A first determining the $x$-coordinate and then player B determining the $y$-coordinate. What is the minimum number of points such that player A can force an increasing subset of $m$ points or a decreasing subset of $k$ points? We introduce this as the Erd\H{o}s-Szekeres on-line number and denote it by $\text{ESO}(m,k)$. We observe that $\text{ESO}(m,k) < (m-1)(k-1)+1$ for $m,k \ge 3$, provide a general lower bound for $\text{ESO}(m,k)$, and determine $\text{ESO}(m,3)$ up to an additive constant.


title: Quasinormal Modes in Generalized Nariai Spacetimes

abstract: The perturbations of fields with spin 0, 1/2, and 1 propagating in a higher-dimensional generalization of the charged Nariai spacetime are investigated. The boundary conditions leading to quasinormal modes are analyzed and the quasinormal frequencies are analytically obtained.


title: Simple negative result for physically universal controllers with macroscopic interface

abstract: To study potential limitations of controllability of physical systems I have earlier proposed physically universal cellular automata and Hamiltonians. These are translation invariant interactions for which any control operation on a finite target region can be implemented by the autonomous time evolution if the complement of the target region is 'programmed' to an appropriate initial state. This provides a model of control where the cut between a system and its controller can be consistently shifted, in analogy to the Heisenberg cut defining the boundary between a quantum system and its measurement device. However, in the known physically universal CAs the implementation of microscopic transformations requires to write the 'program' into microscopic degrees of freedom, while human actions take place on the macroscopic level. I therefore ask whether there exist physically universal interactions for which any desired operation on a target region can be performed by only controlling the macroscopic state of its surrounding. A very simple argument shows that this is impossible with respect to the notion of 'macroscopic' proposed here: control devices whose position is only specified up to 'macroscopic precision' cannot operate at a precise location in space. This suggests that reasonable notions of `universal controllability' need to be tailored to the manipulation of relative coordinates, but it is not obvious how to do this. The statement that any microscopic transformation can be implemented in principle, whenever it is true in any sense, it does not seem to be true in its most obvious sense.


title: What is Math Really?

abstract: Modern mathematics is known for its rigorous proofs and tight analysis. Math is the paradigm of objectivity for most. We identify the source of that objectivity as our knowledge of the physical world given through our senses. We show in detail, for the core of modern mathematics, how modern mathematical formalism encapsulates deep realities about extension into a system of symbols and axiomatic rules. In particular, we proceed from the foundations in our senses to the natural numbers through integers, rational numbers, and real numbers, including introducing the concept of a field. An appendix shows how the formalism of complex numbers arises.


title: k-Maximum Subarrays for Small k: Divide-and-Conquer made simpler

abstract: Given an array A of n real numbers, the maximum subarray problem is to find a contiguous subarray which has the largest sum. The k-maximum subarrays problem is to find k such subarrays with the largest sums. For the 1-maximum subarray the well known divide-and-conquer algorithm, presented in most textbooks, although suboptimal, is easy to implement and can be made optimal with a simple change that speeds up the combine phase. On the other hand, the only known divide-and-conquer algorithm for k > 1, that is efficient for small values of k, is difficult to implement, due to the intricacies of the combine phase. In this paper we give a divide- and-conquer solution for the k-maximum subarray problem that simplifies the combine phase considerably while preserving the overall running time. In the process of designing the combine phase of the algorithm we provide a simple, sublinear, O($k^{1/2} log^3 k$) time algorithm, for finding the k largest sums of X + Y, where X and Y are sorted arrays of size n and $k <= n^2$. The k largest sums are implicitly represented, and can be enumerated with an additional O(k) time. To our knowledge, this is the first sublinear time algorithm for this well studied problem. Unlike previous solutions, that are fairly complicated and sometimes difficult to implement, ours rely on simple operations such as merging sorted arrays, binary search, and selecting the $k^{th}$ smallest number in an array. We have implemented our algorithms and report excellent performance on test data.


title: PMC text mining subset in BioC: 2.3 million full text articles and growing

abstract: Interest in full text mining biomedical research articles is growing. NCBI provides the PMC Open Access and Author Manuscript sets of articles which are available for text mining. We have made all of these articles available in BioC, an XML and JSON format which is convenient for sharing text, annotations, and relations. These articles are available both via ftp for bulk download and via a Web API for updates or more focused collection. Availability: https://www.ncbi.nlm.nih.gov/research/bionlp/APIs/BioC-PMC/


title: Can Neural Machine Translation be Improved with User Feedback?

abstract: We present the first real-world application of methods for improving neural machine translation (NMT) with human reinforcement, based on explicit and implicit user feedback collected on the eBay e-commerce platform. Previous work has been confined to simulation experiments, whereas in this paper we work with real logged feedback for offline bandit learning of NMT parameters. We conduct a thorough analysis of the available explicit user judgments---five-star ratings of translation quality---and show that they are not reliable enough to yield significant improvements in bandit learning. In contrast, we successfully utilize implicit task-based feedback collected in a cross-lingual search task to improve task-specific and machine translation quality metrics.


title: Structured Recovery with Heavy-tailed Measurements: A Thresholding Procedure and Optimal Rates

abstract: This paper introduces a general regularized thresholded least-square procedure estimating a structured signal $\theta_*\in\mathbb{R}^d$ from the following observations: $y_i = f(\langle\mathbf{x}_i, \theta_*\rangle, \xi_i),~i\in\{1,2,\cdots,N\}$, with i.i.d. heavy-tailed measurements $\{(\mathbf{x}_i,y_i)\}_{i=1}^N$. A general framework analyzing the thresholding procedure is proposed, which boils down to computing three critical radiuses of the bounding balls of the estimator. Then, we demonstrate these critical radiuses can be tightly bounded in the following two scenarios: (1) The link function $f(\cdot)$ is linear, i.e. $y = \langle\mathbf{x},\theta_*\rangle + \xi$, with $\theta_*$ being a sparse vector and $\{\mathbf{x}_i\}_{i=1}^N$ being general heavy-tailed random measurements with bounded $(20+\epsilon)$-moments. (2) The function $f(\cdot)$ is arbitrary unknown (possibly discontinuous) and $\{\mathbf{x}_i\}_{i=1}^N$ are heavy-tailed elliptical random vectors with bounded $(4+\epsilon)$-moments. In both scenarios, we show under these rather minimal bounded moment assumptions, such a procedure and corresponding analysis lead to optimal sample and error bounds with high probability in terms of the structural properties of $\theta_*$.


title: Machine Learning Analysis of Complex Networks in Hyperspherical Space

abstract: A complex network is a condensed representation of the relational topological framework of a complex system. A main reason for the existence of such networks is the transmission of items through the entities of these complex systems. Here, we consider a communicability function that accounts for the routes through which items flow on networks. Such a function induces a natural embedding of a network in a Euclidean high-dimensional sphere. We use one of the geometric parameters of this embedding, namely the angle between the position vectors of the nodes in the hyperspheres, to extract structural information from networks. Such information is extracted by using machine learning techniques, such as nonmetric multidimensional scaling and K-means clustering algorithms. The first allows us to reduce the dimensionality of the communicability hyperspheres to 3-dimensional ones that allow network visualization. The second permits to cluster the nodes of the networks based on their similarities in terms of their capacity to successfully deliver information through the network. After testing these approaches in benchmark networks and compare them with the most used clustering methods in networks we analyze two real-world examples. In the first, consisting of a citation network, we discover citation groups that reflect the level of mathematics used in their publications. In the second, we discover groups of genes that coparticipate in human diseases, reporting a few genes that coparticipate in cancer and other diseases. Both examples emphasize the potential of the current methodology for the discovery of new patterns in relational data.


title: Universal statistics of incubation periods and other detection times via diffusion models

abstract: We suggest an explanation of typical incubation times statistical features based on the universal behavior of exit times for diffusion models. We give a mathematically rigorous proof of the characteristic right skewness of the incubation time distribution for very general one-dimensional diffusion models. Imposing natural simple conditions on the drift coefficient, we also study these diffusion models under the assumption of noise smallness and show that the limiting exit time distributions in the limit of vanishing noise are Gaussian and Gumbel. Thus they match the existing data as well as the other existing models do. The character of our models, however, allows us to argue that the features of the exit time distributions that we describe are universal and manifest themselves in various other situations where the times involved can be described as detection or halting times, for example, response times studied in psychology.


title: Latent Structure in Collaboration: the Case of Reddit r/place

abstract: Many Web platforms rely on user collaboration to generate high-quality content: Wiki, Q&A communities, etc. Understanding and modeling the different collaborative behaviors is therefore critical. However, collaboration patterns are difficult to capture when the relationships between users are not directly observable, since they need to be inferred from the user actions. In this work, we propose a solution to this problem by adopting a systemic view of collaboration. Rather than modeling the users as independent actors in the system, we capture their coordinated actions with embedding methods which can, in turn, identify shared objectives and predict future user actions. To validate our approach, we perform a study on a dataset comprising more than 16M user actions, recorded on the online collaborative sandbox Reddit r/place. Participants had access to a drawing canvas where they could change the color of one pixel at every fixed time interval. Users were not grouped in teams nor were given any specific goals, yet they organized themselves into a cohesive social fabric and collaborated to the creation of a multitude of artworks. Our contribution in this paper is multi-fold: i) we perform an in-depth analysis of the Reddit r/place collaborative sandbox, extracting insights about its evolution over time; ii) we propose a predictive method that captures the latent structure of the emergent collaborative efforts; and iii) we show that our method provides an interpretable representation of the social structure.


title: All Technologies Work Together for Good: A Glance to Future Mobile Networks

abstract: The astounding capacity requirements of 5G have motivated researchers to investigate the feasibility of many potential technologies, such as massive multiple-input multiple-output, millimeter wave, full-duplex, non-orthogonal multiple access, carrier aggregation, cognitive radio, and network ultra-densification. The benefits and challenges of these technologies have been thoroughly studied either individually or in a combination of two or three. It is not clear, however, whether all potential technologies operating together lead to fulfilling the requirements posed by 5G. This paper explores the potential benefits and challenges when all technologies coexist in an ultra-dense cellular environment. The sum rate of the network is investigated with respect to the increase in the number of small-cells and results show the capacity gains achieved by the coexistence.


title: Appropriate kernels for Divisive Normalization explained by Wilson-Cowan equations

abstract: The interaction between wavelet-like sensors in Divisive Normalization is classically described through Gaussian kernels that decay with spatial distance, angular distance and frequency distance. However, simultaneous explanation of (a) distortion perception in natural image databases and (b) contrast perception of artificial stimuli requires very specific modifications in classical Divisive Normalization. First, the wavelet response has to be high-pass filtered before the Gaussian interaction is applied. Then, distinct weights per subband are also required after the Gaussian interaction. In summary, the classical Gaussian kernel has to be left- and right-multiplied by two extra diagonal matrices. In this paper we provide a lower-level justification for this specific empirical modification required in the Gaussian kernel of Divisive Normalization. Here we assume that the psychophysical behavior described by Divisive Normalization comes from neural interactions following the Wilson-Cowan equations. In particular, we identify the Divisive Normalization response with the stationary regime of a Wilson-Cowan model. From this identification we derive an expression for the Divisive Normalization kernel in terms of the interaction kernel of the Wilson-Cowan equations. It turns out that the Wilson-Cowan kernel is left- and-right multiplied by diagonal matrices with high-pass structure. In conclusion, symmetric Gaussian inhibitory relations between wavelet-like sensors wired in the lower-level Wilson-Cowan model lead to the appropriate non-symmetric kernel that has to be empirically included in Divisive Normalization to explain a wider range of phenomena.


title: MaxGain: Regularisation of Neural Networks by Constraining Activation Magnitudes

abstract: Effective regularisation of neural networks is essential to combat overfitting due to the large number of parameters involved. We present an empirical analogue to the Lipschitz constant of a feed-forward neural network, which we refer to as the maximum gain. We hypothesise that constraining the gain of a network will have a regularising effect, similar to how constraining the Lipschitz constant of a network has been shown to improve generalisation. A simple algorithm is provided that involves rescaling the weight matrix of each layer after each parameter update. We conduct a series of studies on common benchmark datasets, and also a novel dataset that we introduce to enable easier significance testing for experiments using convolutional networks. Performance on these datasets compares favourably with other common regularisation techniques.


title: Subgraph centrality and walk-regularity

abstract: Matrix-based centrality measures have enjoyed significant popularity in network analysis, in no small part due to our ability to rigorously analyze their behavior as parameters vary. Recent work has considered the relationship between subgraph centrality, which is defined using the matrix exponential $f(x) = \exp(x)$, and the walk structure of a network. In a walk-regular graph, the number of closed walks of each length must be the same for all nodes, implying uniform $f$-subgraph centralities for any $f$ (or maximum $f$-$\textit{walk entropy}$). We consider when non--walk-regular graphs can achieve maximum entropy, calling such graphs $\textit{entropic}$. For parameterized measures, we are also interested in which values of the parameter witness this uniformity. To date, only one entropic graph has been identified, with only two witnessing parameter values, raising the question of how many such graphs and parameters exist. We resolve these questions by constructing infinite families of entropic graphs, as well as a family of witnessing parameters with a limit point at zero.


title: Two-dimensional Brownian random interlacements

abstract: We introduce the model of two-dimensional continuous random interlacements, which is constructed using the Brownian trajectories conditioned on not hitting a fixed set (usually, a disk). This model yields the local picture of Wiener sausage on the torus around a late point. As such, it can be seen as a continuous analogue of discrete two-dimensional random interlacements [Comets, Popov, Vachkovskaia, 2016]. At the same time, one can view it as (restricted) Brownian loops through infinity. We establish a number of results analogous to these of [Comets, Popov, Vachkovskaia, 2016; Comets, Popov, 2016], as well as the results specific to the continuous case.


title: Dust Polarization Toward Embedded Protostars in Ophiuchus with ALMA. I. VLA 1623

abstract: We present high resolution (~ 30 au) ALMA Band 6 dust polarization observations of VLA 1623. The VLA 1623 data resolve compact ~ 40 au inner disks around the two protobinary sources, VLA 1623-A and VLA 1623-B, and also an extended ~ 180 au ring of dust around VLA 1623-A. This dust ring was previously identified as a large disk in lower-resolution observations. We detect highly structured dust polarization toward the inner disks and the extended ring with typical polarization fractions ~ 1.7% and ~ 2.4%, respectively. The two components also show distinct polarization morphologies. The inner disks have uniform polarization angles aligned with their minor axes. This morphology is consistent with expectations from dust scattering. By contrast, the extended dust ring has an azimuthal polarization morphology not previously seen in lower-resolution observations. We find that our observations are well fit by a static, oblate spheroid model with a flux-frozen, poloidal magnetic field. We propose that the polarization traces magnetic grain alignment likely from flux freezing on large scales and magnetic diffusion on small scales. Alternatively, the azimuthal polarization may be attributed to grain alignment by the anisotropic radiation field. If the grains are radiatively aligned, then our observations indicate that large (~ 100 um) dust grains grow quickly at large angular extents. Finally, we identify significant proper motion of VLA 1623 using our observations and those in the literature. This result indicates that the proper motion of nearby systems must be corrected for when combining ALMA data from different epochs.


title: Source-channel separation for two-way interactive communication with fidelity criteria

abstract: Consider the channel coding problem where two users are interacting in order to communicate an i.i.d. source X1 from User 1 to User 2 with distortion D1 and an i.i.d. source X2 from User 2 to User 1 with distortion D2. X1 and X2 may be dependent. Communication occurs from User 1 to User 2 via a DMC C1 and from User 2 to User 1 over a DMC C2, where C1 and C2 act independently of each other. Communication occurs during each time slot between both users and each user can make a coding and decoding based on all past available knowledge. This interactive communication problem is formulated and it is proved that source-channel separation based architectures are optimal.


title: Investigating the response of loop plasma to nanoflare heating using RADYN simulations

abstract: We present the results of 1D hydrodynamic simulations of coronal loops which are subject to nanoflares, caused by either in-situ thermal heating, or non-thermal electrons (NTE) beams. The synthesized intensity and Doppler shifts can be directly compared with IRIS and AIA observations of rapid variability in the transition region (TR) of coronal loops, associated with transient coronal heating. We find that NTE with high enough low-energy cutoff (E$_\textrm{C}$) deposit energy in the lower TR and chromosphere causing blueshifts (up to~$\sim$~20 km/s) in the \emph{IRIS} \siiv~lines, which thermal conduction cannot reproduce. The E$_\textrm{C}$ threshold value for the blueshifts depends on the total energy of the events ($\approx$~5 keV for 10$^{24}$ ergs, up to 15 keV for 10$^{25}$ ergs). The observed footpoint emission intensity and flows, combined with the simulations, can provide constraints on both the energy of the heating event and E$_\textrm{C}$. The response of the loop plasma to nanoflares depends crucially on the electron density: significant \siiv~intensity enhancements and flows are observed only for initially low-density loops ($<$~10$^{9}$~cm$^{-3}$). This provides a possible explanation of the relative scarcity of observations of significant moss variability. While the TR response to single heating episodes can be clearly observed, the predicted coronal emission (AIA 94\AA) for single strands is below current detectability, and can only be observed when several strands are heated closely in time. Finally, we show that the analysis of the IRIS \mgii~chromospheric lines can help further constrain the properties of the heating mechanisms.


title: Design of a Planar Eleven Antenna for Optimal MIMO Performance as a Wideband Micro Base-station Antenna

abstract: A new low-profile planar Eleven antenna is designed for optimal MIMO performance as a wideband MIMO antenna for micro base-stations in future wireless communication systems. The design objective has been to optimize both the reflection coefficient at the input port of the antenna and the 1-bitstream and 2-bitstream MIMO efficiency of the antenna at the same time, in both the Rich Isotropic MultiPath (RIMP) and Random Line-of-Sight (Random-LOS) environments. The planar Eleven antenna can be operated in 2-, 4-, and 8-port modes with slight modifications. The optimization is performed using genetic algorithms. The effects of polarization deficiencies and antenna total embedded efficiency on the MIMO performance of the antenna are further studied. A prototype of the antenna has been fabricated and the design has been verified by measurements against the simulations.


title: A Deeper Look into Dependency-Based Word Embeddings

abstract: We investigate the effect of various dependency-based word embeddings on distinguishing between functional and domain similarity, word similarity rankings, and two downstream tasks in English. Variations include word embeddings trained using context windows from Stanford and Universal dependencies at several levels of enhancement (ranging from unlabeled, to Enhanced++ dependencies). Results are compared to basic linear contexts and evaluated on several datasets. We found that embeddings trained with Universal and Stanford dependency contexts excel at different tasks, and that enhanced dependencies often improve performance.


title: Determination of the drop size during atomization of liquid jets in cross flow

abstract: We have used the integral form of the conservation equations, to find a cubic formula for the drop size in liquid sprays in cross flows. Similar to our work on axial liquid sprays, the energy balance dictates that the initial kinetic energy of the gas and injected liquid be distributed into the final surface tension energy, kinetic energy of the gas and droplets, and viscous dissipation incurred. Kinetic energy of the cross flow is added to the energy balance. Then, only the viscous dissipation term needs to be phenomenologically modelled. The mass and energy balance for the spray flows renders to an expression that relates the drop size to all of the relevant parameters, including the gas- and liquid-phase velocities. The results agree well with experimental data and correlations for the drop size. The solution also provides for drop size-velocity cross-correlation, leading to drop size distributions based on the gas-phase velocity distribution. These aspects can be used in estimating the drop size for practical applications, and also in computational simulations of liquid injection in cross flows.


title: Quantifying the Economic Case for Electric Semi-Trucks

abstract: There has been considerable interest in the electrification of freight transport, particularly heavy-duty trucks to downscale the greenhouse-gas (GHG) emissions from the transportation sector. However, the economic competitiveness of electric semi-trucks is uncertain as there are substantial additional initial costs associated with the large battery packs required. In this work, we analyze the trade-off between the initial investment and the operating cost for realistic usage scenarios to compare a fleet of electric semi-trucks with a range of 500 miles with a fleet of diesel trucks. For the baseline case with 30% of fleet requiring battery pack replacements and a price differential of US\$50,000, we find a payback period of about 3 years. Based on sensitivity analysis, we find that the fraction of the fleet that requires battery pack replacements is a major factor. For the case with 100% replacement fraction, the payback period could be as high as 5-6 years. We identify the price of electricity as the second most important variable, where a price of US$0.14/kWh, the payback period could go up to 5 years. Electric semi-trucks are expected to lead to savings due to reduced repairs and magnitude of these savings could play a crucial role in the payback period as well. With increased penetration of autonomous vehicles, the annual mileage of semi-trucks could substantially increase and this heavily sways in favor of electric semi-trucks, bringing down the payback period to around 2 years at an annual mileage of 120,000 miles. There is an undeniable economic case for electric semi-trucks and developing battery packs with longer cycle life and higher specific energy would make this case even stronger.


title: Batch size selection for variance estimators in MCMC

abstract: We consider batch size selection for a general class of multivariate batch means variance estimators, which are computationally viable for high-dimensional Markov chain Monte Carlo simulations. We derive the asymptotic mean squared error for this class of estimators. Further, we propose a parametric technique for estimating optimal batch sizes and discuss practical issues regarding the estimating process. Vector auto-regressive, Bayesian logistic regression, and Bayesian dynamic space-time examples illustrate the quality of the estimation procedure where the proposed optimal batch sizes outperform current batch size selection methods.


title: Interferometric diameters of five evolved intermediate-mass planet-hosting stars measured with PAVO at the CHARA Array

abstract: Debate over the planet occurrence rates around intermediate-mass stars has hinged on the accurate determination of masses of evolved stars, and has been exacerbated by a paucity of reliable, directly-measured fundamental properties for these stars. We present long-baseline optical interferometry of five evolved intermediate-mass ($\sim\,1.5\,\mathrm{M}_\odot$) planet-hosting stars using the PAVO beam combiner at the CHARA Array, which we combine with bolometric flux measurements and parallaxes to determine their radii and effective temperatures. We measured the radii and effective temperatures of 6 Lyncis ($5.12\pm0.16\,\mathrm{R}_\odot$, $4949\pm58\,\mathrm{K}$), 24 Sextantis ($5.49\pm0.18\,\mathrm{R}_\odot$, $4908\pm65\,\mathrm{K}$), $\kappa$ Coronae Borealis ($4.77\pm0.07\,\mathrm{R}_\odot$, $4870\pm47\,\mathrm{K}$), HR 6817 ($4.45\pm0.08\,\mathrm{R}_\odot$, $5013\pm59\,\mathrm{K}$), and HR 8641 ($4.91\pm0.12\,\mathrm{R}_\odot$, $4950\pm68\,\mathrm{K}$). We find disagreements of typically 15 per cent in angular diameter and $\sim$200 K in temperature compared to interferometric measurements in the literature, yet good agreement with spectroscopic and photometric temperatures, concluding that the previous interferometric measurements may have been affected by systematic errors exceeding their formal uncertainties. Modelling based on BaSTI isochrones using various sets of asteroseismic, spectroscopic, and interferometric constraints tends to favour slightly ($\sim$15 per cent) lower masses than generally reported in the literature.


title: Non-existence of certain kind of finite-letter mutual information characterization for a class of time-invariant Markoff channels

abstract: We provide a rigorous definition of a certain kind of characterization for capacity regions of a family of Markoff networks which is based on optimization problems resulting out of calculating conditional mutual information from a finite number of random variables and by constraining these random variables in a certain way. This definition is partly motivated by the definition of single-letter characterizations in information theory. For a point-to-point Markoff channel, we prove that approximating the solution to these characterizations within an additive constant is a computable problem. Based on previous undecidability results concerning capacities of certain class of finite state machine channels (FSMCs), it will follow that there exists an example of family of FSMCs for which given such a characterization, this characterization cannot represent the capacity of this family of FSMCs.


title: Controlling the Charging of Electric Vehicles with Neural Networks

abstract: We propose and evaluate controllers for the coordination of the charging of electric vehicles. The controllers are based on neural networks and are completely de-centralized, in the sense that the charging current is completely decided by the controller itself. One of the versions of the controllers does not require any outside communication at all. We test controllers based on two different architectures of neural networks - the feed-forward networks and the echo state networks. The networks are optimized by either an evolutionary algorithm (CMA-ES) or by a gradient-based method. The results of the different architectures and the different optimization algorithms are compared in a realistic scenario. We show that the controllers are able to charge the cars while keeping the peak consumptions almost the same as when no charging is performed. Moreover, the controllers fill the valleys of the consumption thus reducing the difference between the maximum and minimum consumption in the grid.


title: Quantum Blockchain using entanglement in time

abstract: We propose a conceptual design for a quantum blockchain. Our method involves encoding the blockchain into a temporal GHZ (Greenberger-Horne-Zeilinger) state of photons that do not simultaneously coexist. It is shown that the entanglement in time, as opposed to an entanglement in space, provides the crucial quantum advantage. All the subcomponents of this system have already been shown to be experimentally realized. Furthermore, our encoding procedure can be interpreted as nonclassically influencing the past.


title: Renyi-alpha entropies of quantum states in closed form: Gaussian states and a class of non-Gaussian states

abstract: In this work, we study the Renyi-alpha entropies S_{alpha}(\hat{rho}) = (1 - alpha)^{-1} \ln{Tr(\hat{rho}^{alpha})} of quantum states for N bosons in the phase-space representation. With the help of the Bopp rule, we derive the entropies of Gaussian states in closed form for positive integers alpha = 2,3,4, ... and then, with the help of the analytic continuation, acquire the closed form also for real values of alpha > 0. The quantity S_2(\hat{rho}), primarily studied in the literature, will then be a special case of our finding. Subsequently we acquire the Renyi-alpha entropies, with positive integers alpha, in closed form also for a specific class of the non-Gaussian states (mixed states) for N bosons, which may be regarded as a generalization of the eigenstates |n> (pure states) of a single harmonic oscillator with n >= 1, in which the Wigner functions have negative values indeed. Due to the fact that the dynamics of a system consisting of $N$ oscillators is Gaussian, our result will contribute to a systematic study of the Renyi-alpha entropy dynamics when the current form of a non-Gaussian state is initially prepared.


title: A Univariate Bound of Area Under ROC

abstract: Area under ROC (AUC) is an important metric for binary classification and bipartite ranking problems. However, it is difficult to directly optimizing AUC as a learning objective, so most existing algorithms are based on optimizing a surrogate loss to AUC. One significant drawback of these surrogate losses is that they require pairwise comparisons among training data, which leads to slow running time and increasing local storage for online learning. In this work, we describe a new surrogate loss based on a reformulation of the AUC risk, which does not require pairwise comparison but rankings of the predictions. We further show that the ranking operation can be avoided, and the learning objective obtained based on this surrogate enjoys linear complexity in time and storage. We perform experiments to demonstrate the effectiveness of the online and batch algorithms for AUC optimization based on the proposed surrogate loss.


title: Preference Cycles in Stable Matchings

abstract: Consider the stable matching problem on two sets. We introduce the concept of a preference cycle and show how its natural presence in stable matchings proves a series of classical results in an elementary way.


title: The XXL Survey: XXXI. Classification and host galaxy properties of 2.1 GHz ATCA XXL-S radio sources

abstract: The classification of the host galaxies of the radio sources in the 25 deg$^2$ ultimate XMM extragalactic survey south field (XXL-S) is presented. XXL-S was surveyed at 2.1 GHz with the Australia Telescope Compact Array (ATCA) and is thus far the largest area radio survey conducted down to rms flux densities of $\sigma \sim 41$ $\mu$Jy beam$^{-1}$. Of the 6287 radio sources in XXL-S, 4758 (75.7%) were cross-matched to an optical counterpart using the likelihood ratio technique. There are 1110 spectroscopic redshifts and 3648 photometric redshifts available for the counterparts, of which 99.4% exist out to $z \sim 4$. A number of multiwavelength diagnostics, including X-ray luminosities, mid-infrared colours, spectral energy distribution fits, radio luminosities, and optical emission lines and colours, were used to classify the sources into three types: low-excitation radio galaxies (LERGs), high-excitation radio galaxies (HERGs), and star-forming galaxies (SFGs). The final sample contains 1729 LERGs (36.3%), 1159 radio-loud HERGs (24.4%), 296 radio-quiet HERGs (6.2%), 558 SFGs (11.7%), and 1016 unclassified sources (21.4%). The LERGs tend to exist in the most massive galaxies with low star formation rates and redder colours, whereas the HERGs and SFGs exist in galaxies of lower mass, higher star formation rates, and bluer colours. The fraction of blue host galaxies is higher for radio-quiet HERGs than for radio-loud HERGs. LERGs and radio-loud HERGs are found at all radio luminosities, but radio-loud HERGs tend to be more radio luminous than LERGs at a given redshift. These results are consistent with the emerging picture in which LERGs exist in the most massive quiescent galaxies typically found in clusters with hot X-ray halos and HERGs are associated with ongoing star formation in their host galaxies via the accretion of cold gas.


title: A Fusion Framework for Camouflaged Moving Foreground Detection in the Wavelet Domain

abstract: Detecting camouflaged moving foreground objects has been known to be difficult due to the similarity between the foreground objects and the background. Conventional methods cannot distinguish the foreground from background due to the small differences between them and thus suffer from under-detection of the camouflaged foreground objects. In this paper, we present a fusion framework to address this problem in the wavelet domain. We first show that the small differences in the image domain can be highlighted in certain wavelet bands. Then the likelihood of each wavelet coefficient being foreground is estimated by formulating foreground and background models for each wavelet band. The proposed framework effectively aggregates the likelihoods from different wavelet bands based on the characteristics of the wavelet transform. Experimental results demonstrated that the proposed method significantly outperformed existing methods in detecting camouflaged foreground objects. Specifically, the average F-measure for the proposed algorithm was 0.87, compared to 0.71 to 0.8 for the other state-of-the-art methods.


title: Applications of Integer and Semi-Infinite Programming to the Integer Chebyshev Problem

abstract: We consider the integer Chebyshev problem, that of minimizing the supremum norm over polynomials with integer coefficients on the interval $[0,1]$. We implement algorithms from semi-infinite programming and a branch and bound algorithm to improve on previous methods for finding integer Chebyshev polynomials of degree $n$. Using our new method, we found 16 new integer Chebyshev polynomials of degrees in the range 147 to 244.


title: Coupled gravitational and electromagnetic perturbations of Reissner-Nordstr\"om spacetime in a polarized setting II - Combined estimates for the system of wave equations

abstract: In a previous paper on coupled gravitational and electromagnetic perturbations of Reissner-Nordstr\"om spacetime in a polarized setting, we derived a system of wave equations for two independent quantities, one related to the Weyl curvature and one related to the Ricci curvature of the perturbed spacetime. We analyze here the system of coupled wave equations, deriving combined energy-Morawetz and $r^p$-estimates for the system, in the case of small charge.


title: Direct computation of the quantum partition function by path-integral nested sampling

abstract: In the present work we introduce a computational approach to the absolute rovibrational quantum partition function using the path-integral formalism of quantum mechanics in combination with the nested sampling technique. The numerical applicability of path-integral nested sampling is demonstrated for small molecules of spectroscopic interest. The computational cost of the method is determined by the evaluation time of a point on the potential-energy surface (PES). For efficient PES implementations, the path-integral nested-sampling method can be a viable alternative to the direct Boltzmann summation technique of variationally computed rovibrational energies, especially for medium-sized molecules and at elevated temperatures.


title: Equivalence between spectral properties of graphs with and without loops

abstract: In this paper we introduce a spectra preserving relation between graphs with loops and graphs without loops. This relation is achieved in two steps. First, by generalizing spectra results got on (m, k)-stars to a wider class of graphs, the (m, k, s)-stars with or without loops. Second, by defining a covering space of graphs with loops that allows to remove the presence of loops by increasing the graph dimension. The equivalence of the two class of graphs allows to study graph with loops as simple graph without loosing information.


title: An iterative approach to precondition inference using constrained Horn clauses

abstract: We present a method for automatic inference of conditions on the initial states of a program that guarantee that the safety assertions in the program are not violated. Constrained Horn clauses (CHCs) are used to model the program and assertions in a uniform way, and we use standard abstract interpretations to derive an over-approximation of the set of unsafe initial states. The precondition then is the constraint corresponding to the complement of that set, under-approximating the set of safe initial states. This idea of complementation is not new, but previous attempts to exploit it have suffered from the loss of precision. Here we develop an iterative specialisation algorithm to give more precise, and in some cases optimal safety conditions. The algorithm combines existing transformations, namely constraint specialisation, partial evaluation and a trace elimination transformation. The last two of these transformations perform polyvariant specialisation, leading to disjunctive constraints which improve precision. The algorithm is implemented and tested on a benchmark suite of programs from the literature in precondition inference and software verification competitions.


title: Learning Joint Semantic Parsers from Disjoint Data

abstract: We present a new approach to learning semantic parsers from multiple datasets, even when the target semantic formalisms are drastically different, and the underlying corpora do not overlap. We handle such "disjoint" data by treating annotations for unobserved formalisms as latent structured variables. Building on state-of-the-art baselines, we show improvements both in frame-semantic parsing and semantic dependency parsing by modeling them jointly.


title: The Hardy--Schr\"odinger Operator on the Poincar\'e Ball: Compactness and Multiplicity

abstract: Let $\Omega$ be a compact smooth domain containing zero in the Poincar\'e ball model of the Hyperbolic space $\mathbb{B}^{n}$ ($n \geq 3$) and let $-\Delta_{\mathbb{B}^{n}}$ be the Laplace-Beltrami operator on $\mathbb{B}^{n}$, associated with the metric $g_{\mathbb{B}^{n}}= \frac{4}{(1-|x|^{2})^2}g_{_{\hbox{Eucl}}}$. We consider issues of non-existence, existence, and multiplicity of variational solutions for the borderline Dirichlet problem, \begin{eqnarray*} (E)~ \left\{ \begin{array}{lll} -\Delta_{\mathbb{B}^{n}}u-\gamma{V_2}u -\lambda u&=V_{2^\star(s)}|u|^{2^\star(s)-2}u &\hbox{ in }\Omega\\ \hfill u &=0 & \hbox{ on } \partial \Omega, \end{array} \right. \end{eqnarray*} where $0\leq \gamma \leq \frac{(n-2)^2}{4}$, $0< s <2$, ${2^\star(s)}:=\frac{2(n-s)}{n-2}$ is the corresponding critical Sobolev exponent, $V_{2}$ (resp., $V_{2^\star(s)}$) is a Hardy-type potential (resp., Hardy-Sobolev weight) that is invariant under hyperbolic scaling and which behaves like $\frac{1}{r^{2}}$ (resp., $\frac{1}{r^{s}}$) at the origin. The bulk of this paper is a sharp blow-up analysis on approximate solutions of $(E)$ with bounded but arbitrary high energies. Our analysis leads to existence of positive ground state solutions for $(E)$, whenever $n \geq 4$, $0 \leq \gamma \leq \frac{(n-2)^2}{4}-1$ and $ \lambda > 0$. The latter result also holds true for $n\geq 3$ and $\gamma > \frac{(n-2)^2}{4}-1$ provided the domain has a positive "hyperbolic mass". On the other hand, the same analysis yields that if $\gamma > \frac{(n-2)^2}{4}-1$ and the mass is non vanishing, then there is a surprising stability of regimes where no variational positive solution exists. As for higher energy solutions to $(E)$, we show that there are infinitely many of them provided $n\geq 5$, $0\leq \gamma<\frac{(n-2)^2}{4}-4$ and $ \lambda > \frac{n-2}{n-4} \left(\frac{n(n-4)}{4}-\gamma \right)$.


title: Repulsive Four-Body Interactions of $\alpha$ Particles and Quasi-Stable Nuclear $\alpha$-Particle Condensates in Heavy Self-Conjugate Nuclei

abstract: We study the effects of repulsive four-body interactions of $\alpha$ particles on nuclear $\alpha$-particle condensates in heavy self-conjugate nuclei using a semi-analytic approach, and find that the repulsive four-body interactions could decrease the critical number of $\alpha$ particles, beyond which quasi-stable $\alpha$-particle condensate states can no longer exist, even if these four-body interactions make only tiny contributions to the total energy of the Hoyle-like state of $^{16}$O. Explicitly, we study eight benchmark parameter sets, and find that the critical number $N_\text{cr}$ decreases by $|\Delta N_\text{cr}|\sim1-4$ from $N_\text{cr}\sim11$ with vanishing four-body interactions. We also discuss the effects of four-body interactions on energies and radii of $\alpha$-particle condensates. Our study can be useful for future experiments to study $\alpha$-particle condensates in heavy self-conjugate nuclei. Also, the experimental determination of $N_\text{cr}$ will eventually help establish a better understanding on the $\alpha$-particle interactions, especially the four-body interactions.


title: Near-Field Nanoprobing Using Si Tip-Au Nanoparticle Photoinduced Force Microscopy with 120:1 Signal-to-Noise Ratio, Sub-6-nm Resolution

abstract: A nanoscopy technique that can characterize light-matter interactions with ever increasing spatial resolution and signal-to-noise ratio (SNR) is desired for spectroscopy at molecular levels. Photoinduced force microscopy (PiFM) with Au-coated probe-tips has been demonstrated as an excellent solution for this purpose. However, its accuracy is limited by the asymmetric shape of the Au-coated tip resulting in tip-induced anisotropy. To overcome such deficiencies, we propose a Si tip-Au nanoparticle (NP) combination in PiFM. We map the near-field distribution of the Au NPs in various arrangements with an unprecedented SNR of up to 120, a more than 10-fold improvement compared to conventional optical near-field techniques, and a spatial resolution down to 5.8 nm, smaller than 1/100 of the wavelength, even surpassing the tip-curvature limitation. We also map the beam profile of an azimuthally polarized beam (APB) with an excellent symmetry. The proposed approach can lead to the promising single molecule spectroscopy.


title: Drive and measurement electrode patterns for electrode impedance tomography (EIT) imaging of neural activity in peripheral nerve

abstract: Objective: To establish the performance of several drive and measurement patterns in EIT imaging of neural activity in peripheral nerve, which involves large impedance change in the nerve's anisotropic length axis. Approach: Eight drive and measurement electrode patterns are compared using a finite element (FE) four cylindrical shell model of a peripheral nerve and a 32 channel dual-ring nerve cuff. The central layer of the FE model contains impedance changes representative of neural activity of -0.3 in the length axis and -8.8 x 10-4 in the radial axis. Four of the electrode patterns generate longitudinal drive current, which runs perpendicular to the anisotropic axis. Main results: Transverse current patterns produce higher resolution than longitudinal patterns but are also more susceptible to noise and errors, and exhibit poorer sensitivity to impedance changes in central sample locations. Three of the four longitudinal current patterns considered can reconstruct fascicle level impedance changes with up to 0.2 mV noise and error, which corresponds to between -5.5 and +0.18 dB of the normalised signal standard deviation. Reducing the spacing between the two electrode rings in all longitudinal current patterns reduced the signal to error ratio across all depth locations of the sample. Significance: Electrode patterns which target the large impedance change in the anisotropic length axis can provide improved robustness against noise and errors, which is a critical step towards real time EIT imaging of neural activity in peripheral nerve.


title: Structuring Wikipedia Articles with Section Recommendations

abstract: Sections are the building blocks of Wikipedia articles. They enhance readability and can be used as a structured entry point for creating and expanding articles. Structuring a new or already existing Wikipedia article with sections is a hard task for humans, especially for newcomers or less experienced editors, as it requires significant knowledge about how a well-written article looks for each possible topic. Inspired by this need, the present paper defines the problem of section recommendation for Wikipedia articles and proposes several approaches for tackling it. Our systems can help editors by recommending what sections to add to already existing or newly created Wikipedia articles. Our basic paradigm is to generate recommendations by sourcing sections from articles that are similar to the input article. We explore several ways of defining similarity for this purpose (based on topic modeling, collaborative filtering, and Wikipedia's category system). We use both automatic and human evaluation approaches for assessing the performance of our recommendation system, concluding that the category-based approach works best, achieving precision@10 of about 80% in the human evaluation.


title: Resonant properties of finite cracks and their acoustic emission spectra

abstract: In this paper, the acoustic emission accompanying the formation of brittle cracks of finite length is investigated theoretically using the approach based on the application of Huygens' principle for elastic solids. In the framework of this approach, the main input information required for calculations of acoustic emission spectra is the normal displacements of the crack edges as a function of frequency and wavenumber. Two simple approximate models defining this function are used in this paper for calculations of the acoustic emission spectra and directivity functions of a crack of finite length. The simplest model considers a crack that opens monotonously to its static value. The more refined model accounts for oscillations during crack opening and considers a crack of finite size as a resonator for symmetric modes of Rayleigh waves propagating along the crack edges and partly reflecting from the crack tips. Analytical solutions for generated acoustic emission spectra are obtained for both models and compared with each other. It is shown that resonant properties of a crack are responsible for the appearance of noticeable peaks in the frequency spectra of generated acoustic emission signals that can be used for evaluation of crack sizes. The obtained analytical results are illustrated by numerical calculations.


title: A New Decidable Class of Tuple Generating Dependencies: The Triangularly-Guarded Class

abstract: In this paper we introduce a new class of tuple-generating dependencies (TGDs) called triangularly-guarded TGDs, which are TGDs with certain restrictions on the atomic derivation track embedded in the underlying rule set. We show that conjunctive query answering under this new class of TGDs is decidable. We further show that this new class strictly contains some other decidable classes such as weak-acyclic, guarded, sticky and shy, which, to the best of our knowledge, provides a unified representation of all these aforementioned classes.


title: Microgrid Control Using Remote Controller Hardware-in-the-Loop Over the Internet

abstract: A centralized microgrid power management and control system is developed and tested with a Hardware-In-the-Loop (HIL) Real-Time Digital Simulator (RTDS) model of an existing microgrid that communicates in real-time with the controller over the Internet. The controller leverages Phasor Measurement Units (PMUs) for measuring power flow and adjusting inverter power references in real-time. The control objectives are power and State-of-Charge (SoC) control, subject to inverter power amplitude and rate limits and communication constraints. The controller incorporates units of power control, SoC control, and adaptive reference scheduling to achieve seamless microgrid operation. Real-time, over the internet, hardware-in-the-loop tests between the controller and the simulator are realized and indicate stability and performance of the microgrid control system.


title: Sharper bounds and structural results for minimally nonlinear 0-1 matrices

abstract: The extremal function $ex(n, P)$ is the maximum possible number of ones in any 0-1 matrix with $n$ rows and $n$ columns that avoids $P$. A 0-1 matrix $P$ is called minimally non-linear if $ex(n, P) = \omega(n)$ but $ex(n, P') = O(n)$ for every $P'$ that is contained in $P$ but not equal to $P$. Bounds on the maximum number of ones and the maximum number of columns in a minimally non-linear 0-1 matrix with $k$ rows were found in (CrowdMath, 2018). In this paper, we improve the bound on the maximum number of ones in a minimally non-linear 0-1 matrix with $k$ rows from $5k-3$ to $4k-4$. As a corollary, this improves the upper bound on the number of columns in a minimally non-linear 0-1 matrix with $k$ rows from $4k-2$ to $4k-4$. We also prove that there are not more than four ones in the top and bottom rows of a minimally non-linear matrix and that there are not more than six ones in any other row of a minimally non-linear matrix. Furthermore, we prove that if a minimally non-linear 0-1 matrix has ones in the same row with exactly $d$ columns between them, then within these columns there are at most $2d-1$ rows above and $2d-1$ rows below with ones.


title: Asymptotic Achievable Rate of Two-Dimensional Constraint Codes based on Column by Column Encoding

abstract: In this paper, we propose a column by column encoding scheme suitable for two-dimensional (2D) constraint codes and derive a lower bound of its maximum achievable rate. It is shown that the maximum achievable rate is equal to the largest minimum degree of a subgraph of the maximal valid pair graph. A graph theoretical analysis to provide a lower bound of the maximum achievable rate is presented. For several 2D-constraints such as the asymmetric and symmetric non-isolated bit constraints, the values of the lower bound are evaluated.


title: Stability of the Antiferromagnetic State in the Electron Doped Iridates

abstract: Iridates such as Sr$_2$IrO$_4$ are of considerable interest owing to the formation of the Mott insulating state driven by a large spin-orbit coupling. However, in contrast to the expectation from the Nagaoka Theorem that a single doped hole or electron destroys the anti-ferromagnetic (AFM) state of the half-filled Hubbard model in the large U limit, the anti-ferromagnetism persists in the doped Iridates for a large dopant concentration beyond half-filling. With a tight-binding description of the relevant J$_{\rm eff}$ = 1/2 states by the third-neighbor ($t_1$, $t_2$, $t_3$, $U$) Hubbard model on the square lattice, we examine the stability of the AFM state to the formation of a spin spiral state in the strong coupling limit. The third-neighbor interaction $t_3$ is important for the description of the Fermi surface of the electron doped system. A phase diagram in the parameter space is obtained for the regions of stability of the AFM state. Our results qualitatively explain the robustness of the AFM state in the electron doped iridate (such as Sr$_{2-x}$La$_x$IrO$_4$), observed in many experiments, where the AFM state continues to be stable until a critical dopant concentration.


title: Joint Quantizer Optimization based on Neural Quantizer for Sum-Product Decoder

abstract: A low-precision analog-to-digital converter (ADC) is required to implement a frontend device of wideband digital communication systems in order to reduce its power consumption. The goal of this paper is to present a novel joint quantizer optimization method for minimizing lower-precision quantizers matched to the sum-product algorithms. The principal idea is to introduce a quantizer that includes a feed-forward neural network and the soft staircase function. Since the soft staircase function is differentiable and has non-zero gradient values everywhere, we can exploit backpropagation and a stochastic gradient descent method to train the feed-forward neural network in the quantizer. The expected loss regarding the channel input and the decoder output is minimized in a supervised training phase. The experimental results indicate that the joint quantizer optimization method successfully provides an 8-level quantizer for a low-density parity-check (LDPC) code that achieves only a 0.1-dB performance loss compared to the unquantized system.