title: The Auriga Stellar Haloes: Connecting stellar population properties with accretion and merging history

abstract: We examine the stellar haloes of the Auriga simulations, a suite of thirty cosmological magneto-hydrodynamical high-resolution simulations of Milky Way-mass galaxies performed with the moving-mesh code AREPO. We study halo global properties and radial profiles out to $\sim 150$ kpc for each individual galaxy. The Auriga haloes are diverse in their masses and density profiles; mean metallicity and metallicity gradients; ages; and shapes, reflecting the stochasticity inherent in their accretion and merger histories. A comparison with observations of nearby late-type galaxies shows very good agreement between most observed and simulated halo properties. However, Auriga haloes are typically too massive. We find a connection between population gradients and mass assembly history: galaxies with few significant progenitors have more massive haloes, possess large negative halo metallicity gradients and steeper density profiles. The number of accreted galaxies, either disrupted or under disruption, that contribute 90% of the accreted halo mass ranges from 1 to 14, with a median of 6.5, and their stellar masses span over three orders of magnitude. The observed halo mass--metallicity relation is well reproduced by Auriga and is set by the stellar mass and metallicity of the dominant satellite contributors. This relationship is found not only for the accreted component but also for the total (accreted + in-situ) stellar halo. Our results highlight the potential of observable halo properties to infer the assembly history of galaxies.


title: Enumeration in Incremental FPT-Time

abstract: In this paper, we study the relationship of parametrised enumeration complexity classes defined by Creignou et al. (MFCS 2013). Specifically, we introduce two hierarchies (IncFPTa and CapIncFPTa) of enumeration complexity classes for incremental fpt-time in terms of exponent slices and show how they interleave. Furthermore, we define several parametrised function classes and, in particular, introduce the parametrised counterpart of the class of nondeterministic multivalued functions with values that are polynomially verifiable and guaranteed to exist, TFNP, known from Megiddo and Papadimitriou (TCS 1991). We show that TF(para-NP) collapsing to F(FPT) is equivalent to OutputFPT coinciding with IncFPT. This result is in turn connected to a collapse in the classical function setting and eventually to the collapse of IncP and OutputP which proves the first direct connection of classical to parametrised enumeration.


title: Semi-free subgroups of a profinite surface group

abstract: We show that every closed normal subgroup of infinite index in a profinite surface group $\Gamma$ is contained in a semi-free profinite normal subgroup of $\Gamma$. This answers a question of Bary-Soroker, Stevenson, and Zalesskii.


title: Universality hypothesis breakdown at one-loop order

abstract: We probe the universality hypothesis by analytically computing, at least, the two-loop corrections to the critical exponents for $q$-deformed O($N$) self-interacting $\lambda\phi^{4}$ scalar field theories through six distinct and independent field-theoretic renormalization group methods and $\epsilon$-expansion techniques. We show that the effect of $q$-deformation on the one-loop corrections to the $q$-deformed critical exponents is null, so universality hypothesis is broken down at this loop order. Such effect emerges just, at least, at two-loop level and the validity of universality hypothesis is restored. The $q$-deformed critical exponents obtained through the six methods are the same and, furthermore, reduce to their non-deformed values in the appropriated limit.

categories: hep-th cond-mat.stat-mech math-ph math.MP


title: Value-aware Quantization for Training and Inference of Neural Networks

abstract: We propose a novel value-aware quantization which applies aggressively reduced precision to the majority of data while separately handling a small amount of large data in high precision, which reduces total quantization errors under very low precision. We present new techniques to apply the proposed quantization to training and inference. The experiments show that our method with 3-bit activations (with 2% of large ones) can give the same training accuracy as full-precision one while offering significant (41.6% and 53.7%) reductions in the memory cost of activations in ResNet-152 and Inception-v3 compared with the state-of-the-art method. Our experiments also show that deep networks such as Inception-v3, ResNet-101 and DenseNet-121 can be quantized for inference with 4-bit weights and activations (with 1% 16-bit data) within 1% top-1 accuracy drop.


title: Using Categorical Features in Mining Bug Tracking Systems to Assign Bug Reports

abstract: Most bug assignment approaches utilize text classification and information retrieval techniques. These approaches use the textual contents of bug reports to build recommendation models. The textual contents of bug reports are usually of high dimension and noisy source of information. These approaches suffer from low accuracy and high computational needs. In this paper, we investigate whether using categorical fields of bug reports, such as component to which the bug belongs, are appropriate to represent bug reports instead of textual description. We build a classification model by utilizing the categorical features, as a representation, for the bug report. The experimental evaluation is conducted using three projects namely NetBeans, Freedesktop, and Firefox. We compared this approach with two machine learning based bug assignment approaches. The evaluation shows that using the textual contents of bug reports is important. In addition, it shows that the categorical features can improve the classification accuracy.


title: The jamming transition is a k-core percolation transition

abstract: We explain the structural origin of the jamming transition in jammed matter as the sudden appearance of k-cores at precise coordination numbers which are related not to the isostatic point, but to the sudden emergence of the 3- and 4-cores as given by k-core percolation theory. At the transition, the k-core variables freeze and the k-core dominates the appearance of rigidity. Surprisingly, the 3-D simulation results can be explained with the result of mean-field k-core percolation in the Erdos-Renyi network. That is, the finite-dimensional transition seems to be explained by the infinite-dimensional k-core, implying that the structure of the jammed pack is compatible with a fully random network.


title: Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

abstract: The question whether an ontology can safely be replaced by another, possibly simpler, one is fundamental for many ontology engineering and maintenance tasks. It underpins, for example, ontology versioning, ontology modularization, forgetting, and knowledge exchange. What safe replacement means depends on the intended application of the ontology. If, for example, it is used to query data, then the answers to any relevant ontology-mediated query should be the same over any relevant data set; if, in contrast, the ontology is used for conceptual reasoning, then the entailed subsumptions between concept expressions should coincide. This gives rise to different notions of ontology inseparability such as query inseparability and concept inseparability, which generalize corresponding notions of conservative extensions. We survey results on various notions of inseparability in the context of description logic ontologies, discussing their applications, useful model-theoretic characterizations, algorithms for determining whether two ontologies are inseparable (and, sometimes, for computing the difference between them if they are not), and the computational complexity of this problem.


title: Broadband Huygens' Metasurface Based on Hybrid Resonances

abstract: Recently, a special class of Huygens' surfaces has been proposed which are capable of manipulation of transmitted wavefronts while exhibiting high transparency over a broad range of frequencies. In this work we propose and study a new meta-atom for achieving broadband transparency of Huygens' surfaces based on two mutually shifted split-ring resonators. The resonators were carefully optimized using a new developed analytical model so that their electric and magnetic responses was balanced to achieve unidirectional scattering of the incident field. Moreover, their mutual shift canceled their inductive coupling so that both the responses were resonant at the same frequency and the meta-atom exhibited no magneto-electric coupling. The analytical prediction of broadband transparency along with the frequency-dependent phase shift of the transmitted wave within the full coverage of $360\degree$ has been verified numerically and experimentally in the microwave range. The proposed metasurface can be used for symmetric high-efficient polarization conversion and beam-splitting, and opens the way for other interesting applications.


title: Determining Genus From Sandpile Torsor Algorithms

abstract: We provide a pair of ribbon graphs that have the same rotor routing and Bernardi sandpile torsors, but different topological genus. This resolves a question posed by M. Chan [Cha]. We also show that if we are given a graph, but not its ribbon structure, along with the rotor routing sandpile torsors, we are able to determine the ribbon graph's genus.


title: Spectral gap in random bipartite biregular graphs and applications

abstract: We prove an analogue of Alon's spectral gap conjecture for random bipartite, biregular graphs. We use the Ihara-Bass formula to connect the non-backtracking spectrum to that of the adjacency matrix, employing the moment method to show there exists a spectral gap for the non-backtracking matrix. A byproduct of our main theorem is that random rectangular zero-one matrices with fixed row and column sums are full-rank with high probability. Finally, we illustrate applications to community detection, coding theory, and deterministic matrix completion.


title: Weights which respect support and NN-decoding

abstract: In this work we explore a family of metrics over finite fields which respect the support of vectors. We show how these metrics can be obtained from the edge-weighted Hamming cube and, based on this representation we give a description of a group of linear isometries (with respect to the metric). Next we introduce the concept of conditional sum of metrics and determine what conditions determine a metric respecting support, out of two such given metrics. Finally we introduce the labeled-poset block metrics, a new family of metrics which respects support of vector, filling a gap existing in the known such metrics. For this family we give a full description of the group of linear isometries and determine necessary and sufficient conditions for the existence of a MacWilliams identity.


title: Lattice QCD and heavy ion collisions: a review of recent progress

abstract: In the last few years, numerical simulations of QCD on the lattice have reached a new level of accuracy. A wide range of thermodynamic quantities is now available in the continuum limit and for physical quark masses. This allows a comparison with measurements from heavy ion collisions for the first time. Furthermore, calculations of dynamical quantities are also becoming available. The combined effort from first principles and experiment allows us to gain an unprecedented understanding of the properties of quark-gluon plasma. I will review the state-of-the-art results from lattice simulations and connect them to the experimental information from RHIC and the LHC.


title: Theory of Ultrafast Spin--Charge Quantum Dynamics in Strongly Correlated Systems Controlled by Femtosecond Photoexcitation: an Application to Insulating Antiferromagnetic Manganites

abstract: We use a non-equilibrium many-body theory that engages the elements of transient coherence, correlation, and nonlinearity to describe changes in the magnetic and electronic phases of strongly correlated systems induced by femtosecond nonlinear photoexcitation. Using a generalized tight--binding mean field approach based on Hubbard operators and including the coupling of the laser field, we describe a mechanism for simultaneous insulator--to--metal and anti-- to ferro--magnetic transition to a transient state triggered by non-thermal ultrafast spin and charge coupled excitations. We demontrate, in particular, that photoexcitation of composite fermion quasiparticles induces quasi-instantaneous spin canting that quenches the energy gap of the antiferromagnetic insulator and acts as a nonadiabatic "initial condition" that triggers non-thermal lattice dynamics leading to an insulator to metal and antiferromagnetic (AFM) to ferromagnetic (FM) transitions. Our theoretical predictions are consistent with recent ultrafast pump-probe spectroscopy experiments that revealed a magnetic phase transition during 100fs laser pulse photoexcitation of the CE--type AFM insulating phase of colossal magnetoresistive manganites. In particular, experiment observes two distinct charge relaxation components, fs and ps, with nonlinear threshold dependence at a pump fluence threshold that coincides with that for femtosecond magnetization photo excitation. Our theory attributes the correlation between femtosecond spin and charge nonlinearity leading to transition in the magnetic and electronic state to spin/charge/lattice coupling and laser-induced quantum spin canting that accompanies the driven population inversion between two quasi--particle bands with different properties: a mostly occupied polaronic band and a mostly empty metallic band, whose dispersion is determined by quantum spin canting.


title: Broadcast Domination of Triangular Matchstick Graphs and the Triangular Lattice

abstract: Blessing, Insko, Johnson and Mauretour gave a generalization of the domination number of a graph $G=(V,E)$ called the $(t,r)$ broadcast domination number which depends on the positive integer parameters $t$ and $r$. In this setting, a vertex $v \in V$ is a broadcast vertex of transmission strength $t$ if it transmits a signal of strength $t-d(u,v)$ to every vertex $u \in V$, where $d(u,v)$ denotes the distance between vertices $u$ and $v$ and $d(u,v) <t$. Given a set of broadcast vertices $S\subseteq V$, the reception at vertex $u$ is the sum of the transmissions from the broadcast vertices in $S$. The set $S \subseteq V$ is called a $(t,r)$ broadcast dominating set if every vertex $u \in V$ has a reception strength $r(u) \geq r$ and for a finite graph $G$ the cardinality of a smallest broadcast dominating set is called the $(t,r)$ broadcast domination number of $G$. In this paper, we consider the infinite triangular grid graph and define efficient $(t,r)$ broadcast dominating sets as those broadcasts that minimize signal waste. Our main result constructs efficient $(t,r)$ broadcasts on the infinite triangular lattice for all $t\geq r\geq 1$. Using these broadcasts, we then provide upper bounds for the $(t,r)$ broadcast domination numbers for triangular matchstick graphs when $(t,r)\in\{(2,1),(3,1),(3,2),(4,1),(4,2),(4,3),(t,t)\}$.


title: Topology change and selection rules for high-dimensional $\Spin(1, n)_0$-Lorentzian cobordisms

abstract: We study necessary and sufficient conditions for the existence of Lorentzian and weak Lorentzian cobordisms between closed smooth manifolds of arbitrary dimension such that the structure group of the frame bundle of the cobordism is $\Spin(1, n)_0$. This extends a result of Gibbons-Hawking on $\Sl(2, \C)$-Lorentzian cobordisms between 3-manifolds and results of Reinhart and Sorkin on the existence of Lorentzian cobordisms. We compute the $\Spin(1, n)_0$-Lorentzian cobordism group for several dimensions. Restrictions on the gravitational kink numbers of $\Spin(1, n)_0$-weak Lorentzian cobordisms are obtained.


title: A Deep Representation Empowered Distant Supervision Paradigm for Clinical Information Extraction

abstract: Objective: To automatically create large labeled training datasets and reduce the efforts of feature engineering for training accurate machine learning models for clinical information extraction. Materials and Methods: We propose a distant supervision paradigm empowered by deep representation for extracting information from clinical text. In this paradigm, the rule-based NLP algorithms are utilized to generate weak labels and create large training datasets automatically. Additionally, we use pre-trained word embeddings as deep representation to eliminate the need of task-specific feature engineering for machine learning. We evaluated the effectiveness of the proposed paradigm on two clinical information extraction tasks: smoking status extraction and proximal femur (hip) fracture extraction. We tested three prevalent machine learning models, namely, Convolutional Neural Networks (CNN), Support Vector Machine (SVM), and Random Forrest (RF). Results: The results indicate that CNN is the best fit to the proposed distant supervision paradigm. It outperforms the rule-based NLP algorithms given large datasets by capturing additional extraction patterns. We also verified the advantage of word embedding feature representation in the paradigm over term frequency-inverse document frequency (tf-idf) and topic modeling representations. Discussion: In the clinical domain, the limited amount of labeled data is always a bottleneck for applying machine learning. Additionally, the performance of machine learning approaches highly depends on task-specific feature engineering. The proposed paradigm could alleviate those problems by leveraging rule-based NLP algorithms to automatically assign weak labels and eliminating the need of task-specific feature engineering using word embedding feature representation.


title: Decidability of Timed Communicating Automata

abstract: We study the reachability problem for networks of timed communicating processes. Each process is a timed automaton communicating with other processes by exchanging messages over unbounded FIFO channels. Messages carry clocks which are checked at the time of transmission and reception with suitable timing constraints. Each automaton can only access its set of local clocks and message clocks of sent/received messages. Time is dense and all clocks evolve at the same rate. Our main contribution is a complete characterisation of decidable and undecidable communication topologies generalising and unifying previous work. From a technical point of view, we use quantifier elimination and a reduction to counter automata with registers.


title: Unique continuation and lifting of spectral band edges of Schr\"odinger operators on unbounded domains (With an Appendix by Albrecht Seelmann)

abstract: We prove and apply two theorems: First, a quantitative, scale-free unique continuation estimate for functions in a spectral subspace of a Schr\"odinger operator on a bounded or unbounded domain, second, a perturbation and lifting estimate for edges of the essential spectrum of a self-adjoint operator under a semi-definite perturbation. These two results are combined to obtain lower and upper Lipschitz bounds on the function parametrizing locally a chosen edge of the essential spectrum of a Schr\"odinger operator in dependence of a coupling constant. Analogous estimates for eigenvalues, possibly in gaps of the essential spectrum, are exhibited as well.


title: Identification of Induction Motors with Smart Circuit Breakers

abstract: The problem of estimating the parameters of induction motor models is considered, using the data measured by a circuit breaker equipped with industrial sensors. The measured data pertain to direct-on-line motor startups, during which the breaker acquires three-phase stator voltage and current derivative. This setup is novel with respect to previous contributions in the literature, where voltage and current (and possibly also rotor speed) are considered. The collected data are used to formulate a parameter identification problem, where the cost function penalizes the discrepancy between simulated and measured derivatives of the stator currents. The resulting nonlinear program is solved via numerical optimization, and a number of algorithmic improvements with respect to the literature are proposed. In order to evaluate the goodness of the obtained results, an experimental rig has been built, where the motor's voltages and currents are simultaneously acquired also by accurate sensors, and the corresponding identification results are compared with those obtained with the circuit breaker. The presented experimental results indicate that the considered industrial circuit breaker is able to provide data with high-enough quality to carry out model-based nonlinear identification of induction machines. The identified models can then be used for several further applications within a smart grid scenario.


title: Measurement-induced nonlocal entanglement in a hot, strongly-interacting atomic system

abstract: Quantum technologies use entanglement to outperform classical technologies, and often employ strong cooling and isolation to protect entangled entities from decoherence by random interactions. Here we show that the opposite strategy - promoting random interactions - can help generate and preserve entanglement. We use optical quantum non-demolition measurement to produce entanglement in a hot alkali vapor, in a regime dominated by random spin-exchange collisions. We use Bayesian statistics and spin-squeezing inequalities to show that at least $1.52(4)\times 10^{13}$ of the $5.32(12) \times 10^{13}$ participating atoms enter into singlet-type entangled states, which persist for tens of spin-thermalization times and span thousands of times the nearest-neighbor distance. The results show that high temperatures and strong random interactions need not destroy many-body quantum coherence, that collective measurement can produce very complex entangled states, and that the hot, strongly-interacting media now in use for extreme atomic sensing are well suited for sensing beyond the standard quantum limit.


title: Understanding AI Data Repositories with Automatic Query Generation

abstract: We describe a set of techniques to generate queries automatically based on one or more ingested, input corpuses. These queries require no a priori domain knowledge, and hence no human domain experts. Thus, these auto-generated queries help address the epistemological question of how we know what we know, or more precisely in this case, how an AI system with ingested data knows what it knows. These auto-generated queries can also be used to identify and remedy problem areas in ingested material -- areas for which the knowledge of the AI system is incomplete or even erroneous. Similarly, the proposed techniques facilitate tests of AI capability -- both in terms of coverage and accuracy. By removing humans from the main learning loop, our approach also allows more effective scaling of AI and cognitive capabilities to provide (1) broader coverage in a single domain such as health or geology; and (2) more rapid deployment to new domains. The proposed techniques also allow ingested knowledge to be extended naturally. Our investigations are early, and this paper provides a description of the techniques. Assessment of their efficacy is our next step for future work.


title: From Weakly Chaotic Dynamics to Deterministic Subdiffusion via Copula Modeling

abstract: Copula modeling consists in finding a probabilistic distribution, called copula, whereby its coupling with the marginal distributions of a set of random variables produces their joint distribution. The present work aims to use this technique to connect the statistical distributions of weakly chaotic dynamics and deterministic subdiffusion. More precisely, we decompose the jumps distribution of Geisel-Thomae map into a bivariate one and determine the marginal and copula distributions respectively by infinite ergodic theory and statistical inference techniques. We verify therefore that the characteristic tail distribution of subdiffusion is an extreme value copula coupling Mittag-Leffler distributions. We also present a method to calculate the exact copula and joint distributions in the case where weakly chaotic dynamics and deterministic subdiffusion statistical distributions are already known. Numerical simulations and consistency with the dynamical aspects of the map support our results.


title: An Aggregated Multicolumn Dilated Convolution Network for Perspective-Free Counting

abstract: We propose the use of dilated filters to construct an aggregation module in a multicolumn convolutional neural network for perspective-free counting. Counting is a common problem in computer vision (e.g. traffic on the street or pedestrians in a crowd). Modern approaches to the counting problem involve the production of a density map via regression whose integral is equal to the number of objects in the image. However, objects in the image can occur at different scales (e.g. due to perspective effects) which can make it difficult for a learning agent to learn the proper density map. While the use of multiple columns to extract multiscale information from images has been shown before, our approach aggregates the multiscale information gathered by the multicolumn convolutional neural network to improve performance. Our experiments show that our proposed network outperforms the state-of-the-art on many benchmark datasets, and also that using our aggregation module in combination with a higher number of columns is beneficial for multiscale counting.


title: A topological classification of locally constant potentials via zero-temperature measures

abstract: We provide a topological classification of locally constant functions over subshifts of finite type via their zero-temperature measures. Our approach is to analyze the relationship between the distribution of the zero-temperature measures and the boundary of higher dimensional generalized rotation sets. We also discuss the regularity of the localized entropy function on the boundary of the generalized rotation sets.


title: Nanoferroics: state of art, gradient driven couplings and advanced applications (Authors' review)

abstract: Ferroics and multiferroics are unique objects for fundamental physical research of complex nonlinear processes and phenomena, which occur in them in micro and nanoscale. Due to the possibility of their physical properties control by size effects, nanostructured and nanosized ferroics are among the most promising for advanced applications in nanoelectronics, nanoelectromechanics, optoelectronics, nonlinear optics and information technologies. The review discuss and analyze that the thickness of the strained films, the size and shape of the ferroic and multiferroic nanoparticles are unique tools for controlling their phase diagrams, long range order parameters, magnitude of susceptibility, magnetoelectric coupling and domain structure characteristics at fixed temperature. Significant influence of the flexochemical effect on the phase transition temperature, polar and dielectric properties is revealed for thin films and nanoparticles. Obtained results are important for understanding of the nonlinear physical processes in nanoferroics as well as for the advanced applications in nanoelectronics.


title: Autotune: A Derivative-free Optimization Framework for Hyperparameter Tuning

abstract: Machine learning applications often require hyperparameter tuning. The hyperparameters usually drive both the efficiency of the model training process and the resulting model quality. For hyperparameter tuning, machine learning algorithms are complex black-boxes. This creates a class of challenging optimization problems, whose objective functions tend to be nonsmooth, discontinuous, unpredictably varying in computational expense, and include continuous, categorical, and/or integer variables. Further, function evaluations can fail for a variety of reasons including numerical difficulties or hardware failures. Additionally, not all hyperparameter value combinations are compatible, which creates so called hidden constraints. Robust and efficient optimization algorithms are needed for hyperparameter tuning. In this paper we present an automated parallel derivative-free optimization framework called \textbf{Autotune}, which combines a number of specialized sampling and search methods that are very effective in tuning machine learning models despite these challenges. Autotune provides significantly improved models over using default hyperparameter settings with minimal user interaction on real-world applications. Given the inherent expense of training numerous candidate models, we demonstrate the effectiveness of Autotune's search methods and the efficient distributed and parallel paradigms for training and tuning models, and also discuss the resource trade-offs associated with the ability to both distribute the training process and parallelize the tuning process.


title: SOLIS IV. Hydrocarbons in the OMC-2 FIR 4 region, a probe of energetic particle irradiation of the region

abstract: We report new interferometric images of cyclopropenylidene, c-C$_3$H$_2$, towards the young protocluster OMC-2 FIR\,4. The observations were performed at 82 and 85 GHz with the NOrthern Extended Millimeter Array (NOEMA) as part of the project Seeds Of Life In Space (SOLIS). In addition, IRAM-30m data observations were used to investigate the physical structure of OMC-2 FIR\,4. We find that the c-C$_3$H$_2$ gas emits from the same region where previous SOLIS observations showed bright HC$_5$N emission. From a non-LTE analysis of the IRAM-30m data, the c-C$_3$H$_2$ gas has an average temperature of $\sim$40K, a H$_2$ density of $\sim$3$\times$10$^{5}$~cm$^{-3}$, and a c-C$_3$H$_2$ abundance relative to H$_2$ of ($7\pm1$)$\times$10$^{-12}$. In addition, the NOEMA observations provide no sign of significant c-C$_3$H$_2$ excitation temperature gradients across the region (about 3-4 beams), with T$_{ex}$ in the range 8$\pm$3 up to 16$\pm$7K. We thus infer that our observations are inconsistent with a physical interaction of the OMC-2 FIR\,4 envelope with the outflow arising from OMC-2 FIR\,3, as claimed by previous studies. The comparison of the measured c-C$_3$H$_2$ abundance with the predictions from an astrochemical PDR model indicates that OMC-2 FIR\,4 is irradiated by a FUV field $\sim$1000 times larger than the interstellar one, and by a flux of ionising particles $\sim$4000 times larger than the canonical value of $1\times10^{-17}$~s$^{-1}$ from the Galaxy cosmic rays, which is consistent with our previous HC$_5$N observations. This provides an important and independent confirmation of other studies that one or more sources inside the OMC-2 FIR\,4 region emit energetic ($\geq10$~MeV) particles.


title: Secure OFDM System Design and Capacity Analysis under Disguised Jamming

abstract: In this paper, we propose a securely precoded OFDM (SP-OFDM) system for efficient and reliable transmission under disguised jamming, where the jammer intentionally misleads the receiver by mimicking the characteristics of the authorized signal, and causes complete communication failure. More specifically, we bring off a dynamic constellation by introducing secure shared randomness between the legitimate transmitter and receiver, and hence break the symmetricity between the authorized signal and the disguised jamming. We analyze the channel capacities of both the traditional OFDM and SP-OFDM under hostile jamming using the arbitrarily varying channel (AVC) model. It is shown that the deterministic coding capacity of the traditional OFDM is zero under the worst disguised jamming. On the other hand, due to the secure randomness shared between the authorized transmitter and receiver, SP-OFDM can achieve a positive capacity under disguised jamming since the AVC channel corresponding to SP-OFDM is not symmetrizable. A remarkable feature of the proposed SP-OFDM scheme is that while achieving strong jamming resistance, it has roughly the same high spectral efficiency as the traditional OFDM system. The robustness of the proposed SP-OFDM scheme under disguised jamming is demonstrated through both theoretic and numerical analyses.


title: Efficient Contextualized Representation: Language Model Pruning for Sequence Labeling

abstract: Many efforts have been made to facilitate natural language processing tasks with pre-trained language models (LMs), and brought significant improvements to various applications. To fully leverage the nearly unlimited corpora and capture linguistic information of multifarious levels, large-size LMs are required; but for a specific task, only parts of these information are useful. Such large-sized LMs, even in the inference stage, may cause heavy computation workloads, making them too time-consuming for large-scale applications. Here we propose to compress bulky LMs while preserving useful information with regard to a specific task. As different layers of the model keep different information, we develop a layer selection method for model pruning using sparsity-inducing regularization. By introducing the dense connectivity, we can detach any layer without affecting others, and stretch shallow and wide LMs to be deep and narrow. In model training, LMs are learned with layer-wise dropouts for better robustness. Experiments on two benchmark datasets demonstrate the effectiveness of our method.


title: A Multi-Axis Annotation Scheme for Event Temporal Relations

abstract: Existing temporal relation (TempRel) annotation schemes often have low inter-annotator agreements (IAA) even between experts, suggesting that the current annotation task needs a better definition. This paper proposes a new multi-axis modeling to better capture the temporal structure of events. In addition, we identify that event end-points are a major source of confusion in annotation, so we also propose to annotate TempRels based on start-points only. A pilot expert annotation using the proposed scheme shows significant improvement in IAA from the conventional 60's to 80's (Cohen's Kappa). This better-defined annotation scheme further enables the use of crowdsourcing to alleviate the labor intensity for each annotator. We hope that this work can foster more interesting studies towards event understanding.


title: A New Formulation of The Shortest Path Problem with On-Time Arrival Reliability

abstract: We study stochastic routing in the PAth-CEntric (PACE) uncertain road network model. In the PACE model, uncertain travel times are associated with not only edges but also some paths. The uncertain travel times associated with paths are able to well capture the travel time dependency among different edges. This significantly improves the accuracy of travel time distribution estimations for arbitrary paths, which is a fundamental functionality in stochastic routing, compared to classic uncertain road network models where uncertain travel times are associated with only edges. We investigate a new formulation of the shortest path with on-time arrival reliability (SPOTAR) problem under the PACE model. Given a source, a destination, and a travel time budget, the SPOTAR problem aims at finding a path that maximizes the on-time arrival probability. We develop a generic algorithm with different speed-up strategies to solve the SPOTAR problem under the PACE model. Empirical studies with substantial GPS trajectory data offer insight into the design properties of the proposed algorithm and confirm that the algorithm is effective. This report extends the paper "Stochastic Shortest Path Finding in Path-Centric Uncertain Road Networks", to appear in IEEE MDM 2018, by providing a concrete running example of the studied SPOTAR problem in the PACE model and additional statistics of the used GPS trajectories in the experiments.


title: On mean-field \(GI/GI/1\) queueing model: existence, uniqueness

abstract: A mean-field extension of the queueing system \(GI/GI/1\) is considered. The process is constructed as a Markov solution of a martingale problem. Uniqueness in distribution is established under a bit different sets of assumptions on intensities.


title: Seesaw Scale, Unification, and Proton Decay

abstract: We investigate a simple realistic grand unified theory based on the $SU(5)$ gauge symmetry which predicts an upper bound on the proton decay lifetime for the channels $p \to K^+ \bar{\nu}$ and $p \to \pi^+ \bar{\nu}$, i.e. $\tau (p \to K^+ \bar{\nu}) \lesssim 3.4 \times 10^{35}$ and $\tau (p \to \pi^+ \bar{\nu}) \lesssim 1.7 \times 10^{34}$ years, respectively. In this context, the neutrino masses are generated through the type I and type III seesaw mechanisms, and one predicts that the field responsible for type III seesaw must be light with a mass below 500 TeV. We discuss the testability of this theory at current and future proton decay experiments.


title: Normalization for planar string diagrams and a quadratic equivalence algorithm

abstract: In the graphical calculus of planar string diagrams, equality is generated by exchange moves, which swap the heights of adjacent vertices. We show that left- and right-handed exchanges each give strongly normalizing rewrite strategies for connected string diagrams. We use this result to give a linear-time solution to the equivalence problem in the connected case, and a quadratic solution in the general case. We also give a stronger proof of the Joyal-Street coherence theorem, settling Selinger's conjecture on recumbent isotopy.


title: Two Metropolis-Hastings algorithms for posterior measures with non-Gaussian priors in infinite dimensions

abstract: We introduce two classes of Metropolis-Hastings algorithms for sampling target measures that are absolutely continuous with respect to non-Gaussian prior measures on infinite-dimensional Hilbert spaces. In particular, we focus on certain classes of prior measures for which prior-reversible proposal kernels of the autoregressive type can be designed. We then use these proposal kernels to design algorithms that satisfy detailed balance with respect to the target measures. Afterwards, we introduce a new class of prior measures, called the Bessel-K priors, as a generalization of the gamma distribution to measures in infinite dimensions. The Bessel-K priors interpolate between well-known priors such as the gamma distribution and Besov priors and can model sparse or compressible parameters. We present concrete instances of our algorithms for the Bessel-K priors in the context of numerical examples in density estimation, finite-dimensional denoising and deconvolution on the circle.


title: HandyNet: A One-stop Solution to Detect, Segment, Localize & Analyze Driver Hands

abstract: Tasks related to human hands have long been part of the computer vision community. Hands being the primary actuators for humans, convey a lot about activities and intents, in addition to being an alternative form of communication/interaction with other humans and machines. In this study, we focus on training a single feedforward convolutional neural network (CNN) capable of executing many hand related tasks that may be of use in autonomous and semi-autonomous vehicles of the future. The resulting network, which we refer to as HandyNet, is capable of detecting, segmenting and localizing (in 3D) driver hands inside a vehicle cabin. The network is additionally trained to identify handheld objects that the driver may be interacting with. To meet the data requirements to train such a network, we propose a method for cheap annotation based on chroma-keying, thereby bypassing weeks of human effort required to label such data. This process can generate thousands of labeled training samples in an efficient manner, and may be replicated in new environments with relative ease.


title: Direct Network Transfer: Transfer Learning of Sentence Embeddings for Semantic Similarity

abstract: Sentence encoders, which produce sentence embeddings using neural networks, are typically evaluated by how well they transfer to downstream tasks. This includes semantic similarity, an important task in natural language understanding. Although there has been much work dedicated to building sentence encoders, the accompanying transfer learning techniques have received relatively little attention. In this paper, we propose a transfer learning setting specialized for semantic similarity, which we refer to as direct network transfer. Through experiments on several standard text similarity datasets, we show that applying direct network transfer to existing encoders can lead to state-of-the-art performance. Additionally, we compare several approaches to transfer sentence encoders to semantic similarity tasks, showing that the choice of transfer learning setting greatly affects the performance in many cases, and differs by encoder and dataset.


title: ConnNet: A Long-Range Relation-Aware Pixel-Connectivity Network for Salient Segmentation

abstract: Salient segmentation aims to segment out attention-grabbing regions, a critical yet challenging task and the foundation of many high-level computer vision applications. It requires semantic-aware grouping of pixels into salient regions and benefits from the utilization of global multi-scale contexts to achieve good local reasoning. Previous works often address it as two-class segmentation problems utilizing complicated multi-step procedures including refinement networks and complex graphical models. We argue that semantic salient segmentation can instead be effectively resolved by reformulating it as a simple yet intuitive pixel-pair based connectivity prediction task. Following the intuition that salient objects can be naturally grouped via semantic-aware connectivity between neighboring pixels, we propose a pure Connectivity Net (ConnNet). ConnNet predicts connectivity probabilities of each pixel with its neighboring pixels by leveraging multi-level cascade contexts embedded in the image and long-range pixel relations. We investigate our approach on two tasks, namely salient object segmentation and salient instance-level segmentation, and illustrate that consistent improvements can be obtained by modeling these tasks as connectivity instead of binary segmentation tasks for a variety of network architectures. We achieve state-of-the-art performance, outperforming or being comparable to existing approaches while reducing inference time due to our less complex approach.


title: Online Improper Learning with an Approximation Oracle

abstract: We revisit the question of reducing online learning to approximate optimization of the offline problem. In this setting, we give two algorithms with near-optimal performance in the full information setting: they guarantee optimal regret and require only poly-logarithmically many calls to the approximation oracle per iteration. Furthermore, these algorithms apply to the more general improper learning problems. In the bandit setting, our algorithm also significantly improves the best previously known oracle complexity while maintaining the same regret.


title: Refined scales of decaying rates of operator semigroups on Hilbert spaces: typical behaviour

abstract: We study relations between the decaying rates of operator semigroups on Hilbert spaces and some spectral properties of their respective generators; in particular, we show that the decaying rates of orbits of semigroups which are stable but not exponentially stable, typically in Baire's sense, depend on sequences of time going to infinity.


title: Large Scale Automated Reading of Frontal and Lateral Chest X-Rays using Dual Convolutional Neural Networks

abstract: The MIMIC-CXR dataset is (to date) the largest released chest x-ray dataset consisting of 473,064 chest x-rays and 206,574 radiology reports collected from 63,478 patients. We present the results of training and evaluating a collection of deep convolutional neural networks on this dataset to recognize multiple common thorax diseases. To the best of our knowledge, this is the first work that trains CNNs for this task on such a large collection of chest x-ray images, which is over four times the size of the largest previously released chest x-ray corpus (ChestX-Ray14). We describe and evaluate individual CNN models trained on frontal and lateral CXR view types. In addition, we present a novel DualNet architecture that emulates routine clinical practice by simultaneously processing both frontal and lateral CXR images obtained from a radiological exam. Our DualNet architecture shows improved performance in recognizing findings in CXR images when compared to applying separate baseline frontal and lateral classifiers.


title: Towers of baryons of the ${\cal N}=2$ quark model band in the large $N_c$ limit

abstract: We performed a complete analysis of the spectrum of all the states in the ${\cal N}=2$ quark model harmonic oscillator band with $N_f=3$ in the large $N_c$ limit including the often disregarded antisymmetric multiplet $[{\bf 20},1^+]$. We included configuration mixing effects. We found that the states in the $[{\bf 56},L^+]$ and $[{\bf 70},L^+]$ with $L=0,2$ fall into nine towers of degenerate states. We found that nonstrange antisymmetric states fall into three towers and respond to the same structure as the states in the $[{\bf 70},1^-]$ multiplet. We also showed explicitly the compatibility of these results and the scattering resonance picture.


title: Connection topology of step edge state bands at the surface of a three dimensional topological insulator

abstract: Topological insulators in the Bi$_2$Se$_3$ family manifest helical Dirac surface states that span the topologically ordered bulk band gap. Recent scanning tunneling microscopy measurements have discovered additional states in the bulk band gap of Bi$_2$Se$_3$ and Bi$_2$Te$_3$, localized at one dimensional step edges. Here numerical simulations of a topological insulator surface are used to explore the phenomenology of edge state formation at the single-quintuple-layer step defects found ubiquitously on these materials. The modeled one dimensional edge states are found to exhibit a stable topological connection to the two dimensional surface state Dirac point.


title: Sherali-Adams Integrality Gaps Matching the Log-Density Threshold

abstract: The log-density method is a powerful algorithmic framework which in recent years has given rise to the best-known approximations for a variety of problems, including Densest-$k$-Subgraph and Bipartite Small Set Vertex Expansion. These approximations have been conjectured to be optimal based on various instantiations of a general conjecture: that it is hard to distinguish a fully random combinatorial structure from one which contains a similar planted sub-structure with the same "log-density". We bolster this conjecture by showing that in a random hypergraph with edge probability $n^{-\alpha}$, $\tilde\Omega(\log n)$ rounds of Sherali-Adams with cannot rule out the existence of a $k$-subhypergraph with edge density $k^{-\alpha-o(1)}$, for any $k$ and $\alpha$. This holds even when the bound on the objective function is lifted. This gives strong integrality gaps which exactly match the gap in the above distinguishing problems, as well as the best-known approximations, for Densest $k$-Subgraph, Smallest $p$-Edge Subgraph, their hypergraph extensions, and Small Set Bipartite Vertex Expansion (or equivalently, Minimum $p$-Union). Previously, such integrality gaps were known only for Densest $k$-Subgraph for one specific parameter setting.


title: Modulus of continuity for polymer fluctuations and weight profiles in Poissonian last passage percolation

abstract: In last passage percolation models, the energy of a path is maximized over all directed paths with given endpoints in a random environment, and the maximizing paths are called geodesics. The geodesics and their energy can be scaled so that transformed geodesics cross unit distance and have fluctuations and scaled energy of unit order. Here we consider Poissonian last passage percolation, a model lying in the KPZ universality class, and refer to scaled geodesics as polymers and their scaled energies as weights. Polymers may be viewed as random functions of the vertical coordinate and, when they are, we show that they have modulus of continuity whose order is at most $t^{2/3}\big(\log t^{-1}\big)^{1/3}$. The power of one-third in the logarithm may be expected to be sharp and in a related problem we show that it is: among polymers in the unit box whose endpoints have vertical separation $t$ (and a horizontal separation of the same order), the maximum transversal fluctuation has order $t^{2/3}\big(\log t^{-1}\big)^{1/3}$. Regarding the orthogonal direction, in which growth occurs, we show that, when one endpoint of the polymer is fixed at $(0,0)$ and the other is varied vertically over $(0,z)$, $z\in [1,2]$, the resulting random weight profile has sharp modulus of continuity of order $t^{1/3}\big(\log t^{-1}\big)^{2/3}$. In this way, we identify exponent pairs of $(2/3,1/3)$ and $(1/3,2/3)$ in power law and polylogarithmic correction, respectively for polymer fluctuation, and polymer weight under vertical endpoint perturbation. The two exponent pairs describe [10,11,9] the fluctuation of the boundary separating two phases in subcritical planar random cluster models.


title: Current large deviations for partially asymmetric particle systems on a ring

abstract: We study large deviations for the current of one-dimensional stochastic particle systems with periodic boundary conditions. Following a recent approach based on an earlier result by Jensen and Varadhan, we compare several candidates for atypical currents to travelling wave density profiles, which correspond to non-entropic weak solutions of the hyperbolic scaling limit of the process. We generalize previous results to partially asymmetric systems and systems with convex as well as concave current-density relations, including zero-range and inclusion processes. We provide predictions for the large deviation rate function covering the full range of current fluctuations using heuristic arguments, and support them by simulation results using cloning algorithms wherever they are computationally accessible. For partially asymmetric zero-range processes we identify an interesting dynamic phase transition between different strategies for atypical currents, which is of a generic nature and expected to apply to a large class of particle systems on a ring.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Speckle Interferometry of Red Dwarf Stars

abstract: We report high resolution optical speckle observations of 336 M dwarfs which result in 113 measurements of relative position of 80 systems and 256 other stars with no indications of duplicity. These are the first measurements for two of the systems. We also present the earliest measures of relative position for 17 others. We include orbits for six of the systems, two revised and four reported for the first time. For one of the systems with a new orbit, G 161-7, we determine masses of 0.156 +/- 0.011 and 0.1175 +/-0.0079 \msun for the A and B components, respectively. All six of these new calculated orbits have short periods between five and thirty-eight years and hold the promise of deriving accurate masses in the near future. For many other pairs we can establish their nature as physical or chance alignment depending on their relative motion. Of the 80 systems, 32 have calculated orbits, 25 others are physical pairs, 4 are optical pairs and 19 are currently unknown.


title: CactusNets: Layer Applicability as a Metric for Transfer Learning

abstract: Deep neural networks trained over large datasets learn features that are both generic to the whole dataset, and specific to individual classes in the dataset. Learned features tend towards generic in the lower layers and specific in the higher layers of a network. Methods like fine-tuning are made possible because of the ability for one filter to apply to multiple target classes. Much like the human brain this behavior, can also be used to cluster and separate classes. However, to the best of our knowledge there is no metric for how applicable learned features are to specific classes. In this paper we propose a definition and metric for measuring the applicability of learned features to individual classes, and use this applicability metric to estimate input applicability and produce a new method of unsupervised learning we call the CactusNet.


title: Joint entity recognition and relation extraction as a multi-head selection problem

abstract: State-of-the-art models for joint entity recognition and relation extraction strongly rely on external natural language processing (NLP) tools such as POS (part-of-speech) taggers and dependency parsers. Thus, the performance of such joint models depends on the quality of the features obtained from these NLP tools. However, these features are not always accurate for various languages and contexts. In this paper, we propose a joint neural model which performs entity recognition and relation extraction simultaneously, without the need of any manually extracted features or the use of any external tool. Specifically, we model the entity recognition task using a CRF (Conditional Random Fields) layer and the relation extraction task as a multi-head selection problem (i.e., potentially identify multiple relations for each entity). We present an extensive experimental setup, to demonstrate the effectiveness of our method using datasets from various contexts (i.e., news, biomedical, real estate) and languages (i.e., English, Dutch). Our model outperforms the previous neural models that use automatically extracted features, while it performs within a reasonable margin of feature-based neural models, or even beats them.


title: Perturbative Reheating in Sneutrino-Higgs Cosmology

abstract: The theory of perturbative reheating in the Sneutrino-Higgs cosmology of the $B-L$ MSSM is presented. It is shown that following an epoch of inflation consistent with all Planck2015 data, the inflaton begins to oscillate around its minimum at zero and to reheat to various species of standard model and supersymmetric matter. The perturbative decay rates to this matter are computed, both analytically and numerically. Using these results, the Hubble parameter and the relative energy densities for each matter species, including that of the inflaton, are calculated numerically. The inflaton energy density is demonstrated to vanish at an energy scale of ${\cal{O}}(10^{13})~{\rm GeV}$, signaling the end of the period of reheating. The newly created matter background is shown to be in thermal equilibrium, with a reheating temperature of $\simeq 1.13 \times 10^{13}~{\rm GeV}$. To allow for a $B-L$ breaking scale sufficiently smaller than the reheating scale, we extend the statistical method of determining the soft supersymmetry breaking parameters developed in previous work. The result is that one can determine a large number of phenomenologically realistic initial conditions for which the $B-L$ breaking scale is an order of magnitude or more smaller than the reheating scale.


title: Mutual Information Maximization for Simple and Accurate Part-Of-Speech Induction

abstract: We address part-of-speech (POS) induction by maximizing the mutual information between the induced label and its context. We focus on two training objectives that are amenable to stochastic gradient descent (SGD): a novel generalization of the classical Brown clustering objective and a recently proposed variational lower bound. While both objectives are subject to noise in gradient updates, we show through analysis and experiments that the variational lower bound is robust whereas the generalized Brown objective is vulnerable. We obtain competitive performance on a multitude of datasets and languages with a simple architecture that encodes morphology and context.


title: Linear Stability of Compressible Vortex Sheets in 2D Elastodynamics: Variable Coefficients

abstract: The linear stability with variable coefficients of the vortex sheets for the two-dimensional compressible elastic flows is studied. As in our earlier work on the linear stability with constant coefficients, the problem has a free boundary which is characteristic, and also the Kreiss-Lopatinskii condition is not uniformly satisfied. In addition, the roots of the Lopatinskii determinant of the para-linearized system may coincide with the poles of the system. Such a new collapsing phenomenon causes serious difficulties when applying the bicharacteristic extension method. Motivated by our method introduced in the constant-coefficient case, we perform an upper triangularization to the para-linearized system to separate the outgoing mode into a closed form where the outgoing mode only appears at the leading order. This procedure results in a gain of regularity for the outgoing mode which allows us to overcome the loss of regularity of the characteristic components at the poles, and hence to close all the energy estimates. We find that, analogous to the constant coefficient case, elasticity generates notable stabilization effects, and there are additional stable subsonic regions compared with the isentropic Euler flows. Moreover, since our method does not rely on the construction of the bicharacterisic curves, it can also be applied to other fluid models such as the non-isentropic Euler equations and the MHD equations.


title: DeepPET: A deep encoder-decoder network for directly solving the PET reconstruction inverse problem

abstract: Positron emission tomography (PET) is a cornerstone of modern radiology. The ability to detect cancer and metastases in whole body scans fundamentally changed cancer diagnosis and treatment. One of the main bottlenecks in the clinical application is the time it takes to reconstruct the anatomical image from the deluge of data in PET imaging. State-of-the art methods based on expectation maximization can take hours for a single patient and depend on manual fine-tuning. This results not only in financial burden for hospitals but more importantly leads to less efficient patient handling, evaluation, and ultimately diagnosis and treatment for patients. To overcome this problem we present a novel PET image reconstruction technique based on a deep convolutional encoder-decoder network, that takes PET sinogram data as input and directly outputs full PET images. Using realistic simulated data, we demonstrate that our network is able to reconstruct images >100 times faster, and with comparable image quality (in terms of root mean squared error) relative to conventional iterative reconstruction techniques.


title: Analytical Path-Integral Pricing of Moving-Barrier Options under non-Gaussian Distributions

abstract: In this work we present an analytical model, based on the path-integral formalism of Statistical Mechanics, for pricing options using first-passage time problems involving both fixed and deterministically moving absorbing barriers under possible non-gaussian distributions of the underlying object. We adapt to our problem a model originally proposed to describe the formation of galaxies in the universe of De Simone et al (2011), which uses cumulant expansions in terms of the Gaussian distribution, and we generalize it to take into acount drift and cumulants of orders higher than three. From the probability density function, we obtain an analytical pricing model, not only for vanilla options (thus removing the need of volatility smile inherent to the Black-Scholes model), but also for fixed or deterministically moving barrier options. Market prices of vanilla options are used to calibrate the model, and barrier option pricing arising from the model is compared to the price resulted from the relative entropy model.


title: What's Going On in Neural Constituency Parsers? An Analysis

abstract: A number of differences have emerged between modern and classic approaches to constituency parsing in recent years, with structural components like grammars and feature-rich lexicons becoming less central while recurrent neural network representations rise in popularity. The goal of this work is to analyze the extent to which information provided directly by the model structure in classical systems is still being captured by neural methods. To this end, we propose a high-performance neural model (92.08 F1 on PTB) that is representative of recent work and perform a series of investigative experiments. We find that our model implicitly learns to encode much of the same information that was explicitly provided by grammars and lexicons in the past, indicating that this scaffolding can largely be subsumed by powerful general-purpose neural machinery.


title: Exploiting long-range disorder in slow-light photonic crystal waveguides

abstract: The interplay between order and disorder in photonic lattices opens up a wide range of novel optical scattering mechanisms, resonances, and applications that can be obscured by typical ordered design approaches to photonics. Striking examples include Anderson localization, random lasers, and visible light scattering in biophotonic structures such as butterfly wings. In this work, we present a profound example of light localization in photonic crystal waveguides by introducing long-range correlated disorder. Using a rigorous three-dimensional Bloch mode expansion technique, we demonstrate how inter-hole correlations have a negative contribution to the total out-of-plane radiative losses, leading to a pronounced enhancement of the quality factor, $Q$, and $Q/V$ cavity figures of merit in the long-range correlation regime. Subsequently, the intensity fluctuations of the system are shown to globally increase with the correlation length, highlighting the non-trivial role of long-range disorder on the underlying scattering mechanisms. We also explore the possibility of creating ultra-high quality cavity modes via inter-hole correlations, which have various functionalities in chip-based nonlinear optics and waveguide cavity-quantum electrodynamics.


title: Subgoal Discovery for Hierarchical Dialogue Policy Learning

abstract: Developing agents to engage in complex goal-oriented dialogues is challenging partly because the main learning signals are very sparse in long conversations. In this paper, we propose a divide-and-conquer approach that discovers and exploits the hidden structure of the task to enable efficient policy learning. First, given successful example dialogues, we propose the Subgoal Discovery Network (SDN) to divide a complex goal-oriented task into a set of simpler subgoals in an unsupervised fashion. We then use these subgoals to learn a multi-level policy by hierarchical reinforcement learning. We demonstrate our method by building a dialogue agent for the composite task of travel planning. Experiments with simulated and real users show that our approach performs competitively against a state-of-the-art method that requires human-defined subgoals. Moreover, we show that the learned subgoals are often human comprehensible.


title: Regularity results for the time-harmonic Maxwell equations with impedance boundary condition

abstract: This paper considers the time-harmonic Maxwell equations with impedance boundary condition.We present $H^2$-norm bound and other high-order norm bounds for strong solutions. The $H^2$-estimate have been derived in [M. Dauge, M. Costabel and S. Nicaise, Tech. Rep. 10-09, IRMAR (2010)] for the case with homogeneous boundary condition. Unfortunately, their method can not be applied to the inhomogeneous case. The main novelty of this paper is that we follow the spirit of the $H^1$-estimate in [R. Hiptmair, A. Moiola and I. Perugia, Math. Models Methods Appl. Sci., 21(2011), pp. 2263-2287] and modify the proof by applying two inequalities of Friedrichs' type to make the $H^1$-estimate move into $H^2$-estimate and $W^{m, p}$-estimate.Finally, the dependence of the regularity estimates on the wave number is obtained, which will play an important role in the convergence analysis of the numerical solutions for the time-harmonic Maxwell equations.


title: A Categorical Model for the Hopf Fibration

abstract: We give a description up to homeomorphism of $S^3$ and $S^2$ as classifying spaces of small categories, such that the Hopf map $S^3\to{}S^2$ is the realization of a functor.


title: A 0.086-mm$^2$ 12.7-pJ/SOP 64k-Synapse 256-Neuron Online-Learning Digital Spiking Neuromorphic Processor in 28nm CMOS

abstract: Shifting computing architectures from von Neumann to event-based spiking neural networks (SNNs) uncovers new opportunities for low-power processing of sensory data in applications such as vision or sensorimotor control. Exploring roads toward cognitive SNNs requires the design of compact, low-power and versatile experimentation platforms with the key requirement of online learning in order to adapt and learn new features in uncontrolled environments. However, embedding online learning in SNNs is currently hindered by high incurred complexity and area overheads. In this work, we present ODIN, a 0.086-mm$^2$ 64k-synapse 256-neuron online-learning digital spiking neuromorphic processor in 28nm FDSOI CMOS achieving a minimum energy per synaptic operation (SOP) of 12.7pJ. It leverages an efficient implementation of the spike-driven synaptic plasticity (SDSP) learning rule for high-density embedded online learning with only 0.68$\mu$m$^2$ per 4-bit synapse. Neurons can be independently configured as a standard leaky integrate-and-fire (LIF) model or as a custom phenomenological model that emulates the 20 Izhikevich behaviors found in biological spiking neurons. Using a single presentation of 6k 16$\times$16 MNIST training images to a single-layer fully-connected 10-neuron network with on-chip SDSP-based learning, ODIN achieves a classification accuracy of 84.5% while consuming only 15nJ/inference at 0.55V using rank order coding. ODIN thus enables further developments toward cognitive neuromorphic devices for low-power, adaptive and low-cost processing.


title: Solvability of generalized div-curl system and Friedrichs inequalities

abstract: In this article, we consider the solvability of two generalized div-curl systems. They are referred to as the equations of magnetostatics and electro- , resp.. Necessary compatibility conditions on the data for the existence of solutions are fully described, and existence of $W^{m, p}$-solutions is proved. Moreover, we give some description for the null spaces. As a corollary, we give the estimates of gradient via generalized ${\rm div}$ and ${\rm curl}$ in $L^p$-framework, which can be considered as Friedrichs inequalities. Furthermore, two decompositions of Sobolev spaces are given.


title: Formalising Mathematics In Simple Type Theory

abstract: Despite the considerable interest in new dependent type theories, simple type theory (which dates from 1940) is sufficient to formalise serious topics in mathematics. This point is seen by examining formal proofs of a theorem about stereographic projections. A formalisation using the HOL Light proof assistant is contrasted with one using Isabelle/HOL. Harrison's technique for formalising Euclidean spaces is contrasted with an approach using Isabelle/HOL's axiomatic type classes. However, every formal system can be outgrown, and mathematics should be formalised with a view that it will eventually migrate to a new formalism.


title: Comment on "Sum of squares of uniform random variables" by I. Weissman

abstract: The recent paper by I. Weissman, "Sum of squares of uniform random variables",[Statist. Probab. Lett. 129 (2017), 147-154] is compared to earlier work of B. Tibken and D. Constales relating to the area of the intersection of a centred ball and cube in $\mathbb R^n$, published in the Problems and Solutions section of SIAM Review in 1997. Some recent applications of explicit formulas for the corresponding probabilities from these references, to problems in lattice reduction, and to the study of Lyapunov exponents of products of random matrices, are noted.


title: Scaling Phononic Quantum Networks of Solid-State Spins with Closed Mechanical Subsystems

abstract: Phononic quantum networks feature distinct advantages over photonic networks for on-chip quantum communications, providing a promising platform for developing quantum computers with robust solid-state spin qubits. Large mechanical networks including one-dimensional chains of trapped ions, however, have inherent and well-known scaling problems. In addition, chiral phononic processes, which are necessary for conventional phononic quantum networks, are difficult to implement in a solid-state system. To overcome these seemingly unsolvable obstacles, we have developed a new network architecture that breaks a large mechanical network into small and closed mechanical subsystems. This architecture is implemented in a diamond phononic nanostructure featuring alternating phononic crystal waveguides with specially-designed bandgaps. The implementation also includes nanomechanical resonators coupled to color centers through phonon-assisted transitions as well as quantum state transfer protocols that can be robust against the thermal environment.


title: Propensity Score Methods for Merging Observational and Experimental Datasets

abstract: This project considers how one might augment a limited amount of data from randomized controlled trial (RCT) with more plentiful data from an observational database (ODB), in order to estimate a causal effect. In our motivating setting, the ODB has better external validity, while the RCT has genuine randomization. We work with strata defined by the propensity score in the ODB. Subjects from the RCT are placed in strata defined by the propensity they would have had, had they been in the ODB. Our first method simply spikes the RCT data into their corresponding ODB strata. Our second method takes a data-driven convex combination of the ODB and RCT treatment effect estimates within each stratum. Using the delta method and simulations we show that the spike-in method works best when the RCT covariates are drawn from the same distribution as in the ODB. Our convex combination method is more robust than the spike-in to covariate-based inclusion criteria that bias the RCT data. We apply our methods to data from the Women's Health Initiative, a study of thousands of postmenopausal women which has both observational and experimental data on hormone therapy (HT). Using half of the RCT to define a gold standard, we find that a version of the spiked-in estimate yields stable estimates of the causal impact of HT on coronary heart disease.


title: Between perfectly critical and fully irregular: a reverberating model captures and predicts cortical spike propagation

abstract: Knowledge about the collective dynamics of cortical spiking is very informative about the underlying coding principles. However, even most basic properties are not known with certainty, because their assessment is hampered by spatial subsampling, i.e. the limitation that only a tiny fraction of all neurons can be recorded simultaneously with millisecond precision. Building on a novel, subsampling-invariant estimator, we fit and carefully validate a minimal model for cortical spike propagation. The model interpolates between two prominent states: asynchronous and critical. We find neither of them in cortical spike recordings across various species, but instead identify a narrow reverberating regime. This approach enables us to predict yet unknown properties from very short recordings and for every circuit individually, including responses to minimal perturbations, intrinsic network timescales, and the strength of external input compared to recurrent activation - thereby informing about the underlying coding principles for each circuit, area, state and task.


title: Hadron Spectra, Decays and Scattering Properties within Basis Light Front Quantization

abstract: We survey recent progress in calculating properties of the electron and hadrons within the Basis Light Front Quantization (BLFQ) approach. We include applications to electromagnetic and strong scattering processes in relativistic heavy ion collisions. We present an initial investigation into the glueball states by applying BLFQ with multigluon sectors, introducing future research possibilities on multi-quark and multi-gluon systems.


title: Characterization of binary black holes by heterogeneous gravitational-wave networks

abstract: Gravitational waves detected by advanced ground-based detectors have allowed studying the universe in a way which is fully complementary to electromagnetic observations. As more sources are detected, it will be possible to measure properties of the local population of black holes and neutron stars, including their mass and spin distributions. Once at design sensitivity, existing instruments will be able to detect heavy binary black holes at redshifts of $\sim 1$. Significant upgrades in the current facilities could increase the sensitivity by another factor of few, further extending reach and signal-to-noise ratio. More is required to access the most remote corners of the universe. Third-generation gravitational-wave detectors have been proposed, which could observe most of the binary black holes merging anywhere in the universe. In this paper we check if and to which extent it makes sense to keep previous-generation detectors up and running once a significantly more sensitive detector is online. First, we focus on a population of binary black holes with redshifts distributed uniformly in comoving volume. We show that measurement of extrinsic parameters, such as sky position, inclination and luminosity distance can significantly benefit from the presence of a less sensitive detector. Conversely, intrinsic parameters such as \emph{detector-frame} masses and spins are largely unaffected. Measurement of the \emph{source-frame masses} is instead improved, owing to the improvement of the distance measurement. Then, we focus on nearby events. We simulated sources similar to GW150914 and GW151226 and check how well their parameters can be measured by various networks. Here too we find that the main difference is a better estimation of the sky position, although even a single triangular-shaped third-generation detector can estimate their sky position to 1~deg$^2$ or better.


title: On the mechanism behind the inverse melting in systems with competing interactions

abstract: Here we present a fundamental comprehension of the microscopic mechanisms leading to the emergence of inverse melting transitions by considering a thorough mean-field analysis of a variety of minimal models with different competing interactions. Through analytical and numerical tools we identify the specific connections between the characteristic energy of the homogeneous and modulated phases and the observed reentrant behaviors. In particular, we find that reentrance is appreciable when the characteristic energy cost of the homogeneous and modulated phases are comparable to each other, and for systems in which the local order parameter is limited. In the asymptotic limit of high energy cost of the homogeneous phase we obtain analytically that the degree of reentrance of the phase diagram decreases exponentially with the ratio of the characteristic energy cost of homogeneous and modulated phases. We are also able to establish theoretical (upper and lower) bounds for the degree of the reentrance, according to the nature of the competing interactions. Finally, we confront our mean-field results with Langevin simulations of an effective coarse grained model, confirming the main results regarding the degree of the reentrance in the phase diagram. These results shed new light on the many systems undergoing inverse melting transitions, from magnets to colloids and vortex matter, by qualitatively improving the understanding of the interplay of entropy and energy around the inverse melting points.


title: Topological phase and chiral edge states of bilayer graphene with staggered sublattice potentials and Hubbard interaction

abstract: Gated heterostructures containing bilayer graphene with staggered sublattice potentials are investigated by tight binding model with Rashba spin-orbital coupling and Hubbard interaction. The topological phase diagrams depend on the combinations of substrates and the Hubbard interaction. The presence of the staggered sublattice potential favor the topological phase transition with small Rashba spin-orbital coupling strength. The presence of the Hubbard interaction modified the topological phase boundaries, increasing the minimal spin-orbital coupling strength for topological phase transition. A phase space of topological semi-metal with indirect band gap is identified in the non-interacting systems. For the bilayer graphene with different staggered sublattice potentials in the two layers, the conditions for the zigzag nanoribbons to host edge polarized chiral edge states are discussed. The conditions require moderate or vanishing Rashba spin-orbital coupling strength, as well as proper range of the gate voltage. The conditions for the systems with and without the Hubbard interaction are compared. The edge polarization can be controlled by the gate voltage.


title: Designing Practical PTASes for Minimum Feedback Vertex Set in Planar Graphs

abstract: We present two algorithms for the minimum feedback vertex set problem in planar graphs: an $O(n \log n)$ PTAS using a linear kernel and balanced separator, and a heuristic algorithm using kernelization and local search. We implemented these algorithms and compared their performance with Becker and Geiger's 2-approximation algorithm. We observe that while our PTAS is competitive with the 2-approximation algorithm on large planar graphs, its running time is much longer. And our heuristic algorithm can outperform the 2-approximation algorithm on most large planar graphs and provide a trade-off between running time and solution quality, i.e. a "PTAS behavior".


title: Gradient Masking Causes CLEVER to Overestimate Adversarial Perturbation Size

abstract: A key problem in research on adversarial examples is that vulnerability to adversarial examples is usually measured by running attack algorithms. Because the attack algorithms are not optimal, the attack algorithms are prone to overestimating the size of perturbation needed to fool the target model. In other words, the attack-based methodology provides an upper-bound on the size of a perturbation that will fool the model, but security guarantees require a lower bound. CLEVER is a proposed scoring method to estimate a lower bound. Unfortunately, an estimate of a bound is not a bound. In this report, we show that gradient masking, a common problem that causes attack methodologies to provide only a very loose upper bound, causes CLEVER to overestimate the size of perturbation needed to fool the model. In other words, CLEVER does not resolve the key problem with the attack-based methodology, because it fails to provide a lower bound.


title: A Reinforcement Learning Based Approach for Automated Lane Change Maneuvers

abstract: Lane change is a crucial vehicle maneuver which needs coordination with surrounding vehicles. Automated lane changing functions built on rule-based models may perform well under pre-defined operating conditions, but they may be prone to failure when unexpected situations are encountered. In our study, we proposed a Reinforcement Learning based approach to train the vehicle agent to learn an automated lane change behavior such that it can intelligently make a lane change under diverse and even unforeseen scenarios. Particularly, we treated both state space and action space as continuous, and designed a Q-function approximator that has a closed- form greedy policy, which contributes to the computation efficiency of our deep Q-learning algorithm. Extensive simulations are conducted for training the algorithm, and the results illustrate that the Reinforcement Learning based vehicle agent is capable of learning a smooth and efficient driving policy for lane change maneuvers.


title: Quantum fluctuation of stress tensor and black holes in three dimensions

abstract: The quantum stress tensor near a three-dimensional black hole is studied for a conformally coupled scalar field. The back reaction to the metric is also investigated.


title: 3D Human Pose Estimation on a Configurable Bed from a Pressure Image

abstract: Robots have the potential to assist people in bed, such as in healthcare settings, yet bedding materials like sheets and blankets can make observation of the human body difficult for robots. A pressure-sensing mat on a bed can provide pressure images that are relatively insensitive to bedding materials. However, prior work on estimating human pose from pressure images has been restricted to 2D pose estimates and flat beds. In this work, we present two convolutional neural networks to estimate the 3D joint positions of a person in a configurable bed from a single pressure image. The first network directly outputs 3D joint positions, while the second outputs a kinematic model that includes estimated joint angles and limb lengths. We evaluated our networks on data from 17 human participants with two bed configurations: supine and seated. Our networks achieved a mean joint position error of 77 mm when tested with data from people outside the training set, outperforming several baselines. We also present a simple mechanical model that provides insight into ambiguity associated with limbs raised off of the pressure mat, and demonstrate that Monte Carlo dropout can be used to estimate pose confidence in these situations. Finally, we provide a demonstration in which a mobile manipulator uses our network's estimated kinematic model to reach a location on a person's body in spite of the person being seated in a bed and covered by a blanket.


title: New methods in spectral theory of $N$-body Schr\"odinger operators

abstract: We develop a new scheme of proofs for spectral theory of the $N$-body Schr\"odinger operators, reproducing and extending a series of sharp results under minimum conditions. Our main results include Rellich's theorem, limiting absorption principle bounds, microlocal resolvent bounds, H\"older continuity of the resolvent and a microlocal Sommerfeld uniqueness result. We present a new proof of Rellich's theorem which is unified with exponential decay estimates studied previously only for $L^2$-eigenfunctions. Each pair-potential is a sum of a long-range term with first order derivatives, a short-range term without derivatives and a singular term of operator- or form-bounded type, and the setup includes hard-core interaction. Our proofs consist of a systematic use of commutators with `zeroth order' operators. In particular they do not rely on Mourre's differential inequality technique.


title: Multi-lingual Common Semantic Space Construction via Cluster-consistent Word Embedding

abstract: We construct a multilingual common semantic space based on distributional semantics, where words from multiple languages are projected into a shared space to enable knowledge and resource transfer across languages. Beyond word alignment, we introduce multiple cluster-level alignments and enforce the word clusters to be consistently distributed across multiple languages. We exploit three signals for clustering: (1) neighbor words in the monolingual word embedding space; (2) character-level information; and (3) linguistic properties (e.g., apposition, locative suffix) derived from linguistic structure knowledge bases available for thousands of languages. We introduce a new cluster-consistent correlational neural network to construct the common semantic space by aligning words as well as clusters. Intrinsic evaluation on monolingual and multilingual QVEC tasks shows our approach achieves significantly higher correlation with linguistic features than state-of-the-art multi-lingual embedding learning methods do. Using low-resource language name tagging as a case study for extrinsic evaluation, our approach achieves up to 24.5\% absolute F-score gain over the state of the art.


title: Stability analysis of event-triggered anytime control with multiple control laws

abstract: To deal with time-varying processor availability and lossy communication channels in embedded and networked control systems, one can employ an event-triggered sequence-based anytime control (E-SAC) algorithm. The main idea of E-SAC is, when computing resources and measurements are available, to compute a sequence of tentative control inputs and store them in a buffer for potential future use. State-dependent Random-time Drift (SRD) approach is often used to analyse and establish stability properties of such E-SAC algorithms. However, using SRD, the analysis quickly becomes combinatoric and hence difficult to extend to more sophisticated E-SAC. In this technical note, we develop a general model and a new stability analysis for E-SAC based on Markov jump systems. Using the new stability analysis, stochastic stability conditions of existing E-SAC are also recovered. In addition, the proposed technique systematically extends to a more sophisticated E-SAC scheme for which, until now, no analytical expression had been obtained.


title: Spontaneous surface current in multi-component cubic superconductors with time-reversal symmetry breaking

abstract: In this work we present a comprehensive study of the spontaneous currents in time-reversal symmetry breaking (TRSB) multi-component superconductors with cubic crystalline symmetry. We argue, not limiting to cubic lattices, that spontaneous current on certain high-symmetry surfaces can exist only if the TRSB pairing simultaneously breaks a certain pair of mirror symmetries. This is shown to have exact correspondence with the Gingzburg-Landau (GL) theory and is verified by numerical Bogoliubov de-Gennes (BdG) calculations. In the course we extend the BdG to include effects of gap anisotropy and surface disorder, both of which could lead to a much suppressed current. The GL theory has been known to describe well the spontaneous current. However, we highlight a special case where it becomes less adequate, and show that a refined effective theory for low temperatures is needed. These results could shed light on the phenomenology of cubic superconductors such as U$_{1-x}$Th$_x$Be$_{13}$, the filled skutterudites PrOs$_4$Sb$_{12}$, PrPt$_4$Ge$_{12}$ and related compounds.


title: Massively Parallel Cross-Lingual Learning in Low-Resource Target Language Translation

abstract: We work on translation from rich-resource languages to low-resource languages. The main challenges we identify are the lack of low-resource language data, effective methods for cross-lingual transfer, and the variable-binding problem that is common in neural systems. We build a translation system that addresses these challenges using eight European language families as our test ground. Firstly, we add the source and the target family labels and study intra-family and inter-family influences for effective cross-lingual transfer. We achieve an improvement of +9.9 in BLEU score for English-Swedish translation using eight families compared to the single-family multi-source multi-target baseline. Moreover, we find that training on two neighboring families closest to the low-resource language is often enough. Secondly, we construct an ablation study and find that reasonably good results can be achieved even with considerably less target data. Thirdly, we address the variable-binding problem by building an order-preserving named entity translation model. We obtain 60.6% accuracy in qualitative evaluation where our translations are akin to human translations in a preliminary study.


title: Line configurations and r-Stirling partitions

abstract: A set partition of $[n] := \{1, 2, \dots, n \}$ is called {\em $r$-Stirling} if the numbers $1, 2, \dots, r$ belong to distinct blocks. Haglund, Rhoades, and Shimozono constructed graded ring $R_{n,k}$ depending on two positive integers $k \leq n$ whose algebraic properties are governed by the combinatorics of ordered set partitions of $[n]$ with $k$ blocks. We introduce a variant $R_{n,k}^{(r)}$ of this quotient for ordered $r$-Stirling partitions which depends on three integers $r \leq k \leq n$. We describe the standard monomial basis of $R_{n,k}^{(r)}$ and use the combinatorial notion of the {\em coinversion code} of an ordered set partition to reprove and generalize some results of Haglund et.\ al.\ in a more direct way. Furthermore, we introduce a variety $X_{n,k}^{(r)}$ of line arrangements whose cohomology is presented as the integral form of $R_{n,k}^{(r)}$, generalizing results of Pawlowski and Rhoades.


title: Laser Annealing for Radiatively Broadened MoSe2 grown by Chemical Vapor Deposition

abstract: We report on a laser annealing procedure which greatly improves the quality of suspended monolayers of chemical vapor deposition (CVD) grown MoSe2. Annealing with a green laser locally heats the suspended flake to approximately 600 K, which both removes contaminants and reduces strain gradients. At 4 K, we observe linewidths as narrow as 3.5 meV (1.6nm) full-width at half-max (FWHM) for both photoluminescence (PL) and reflection. Large peak reflectances up to 47% are also observed. These values are comparable to those of the highest quality hexagonal boron nitride (hBN) encapsulated samples. We demonstrate that this laser annealing process can yield highly spatially homogeneous samples, with the length scale of the homogeneity limited primarily by the size of the suspended area. Annealed regions are very stable, exhibiting negligible deterioration over 24 hours at cryogenic temperatures. The annealing method is also very repeatable, with substantial improvements of sample quality on every spot (> 40) tested.


title: Event Extraction with Generative Adversarial Imitation Learning

abstract: We propose a new method for event extraction (EE) task based on an imitation learning framework, specifically, inverse reinforcement learning (IRL) via generative adversarial network (GAN). The GAN estimates proper rewards according to the difference between the actions committed by the expert (or ground truth) and the agent among complicated states in the environment. EE task benefits from these dynamic rewards because instances and labels yield to various extents of difficulty and the gains are expected to be diverse -- e.g., an ambiguous but correctly detected trigger or argument should receive high gains -- while the traditional RL models usually neglect such differences and pay equal attention on all instances. Moreover, our experiments also demonstrate that the proposed framework outperforms state-of-the-art methods, without explicit feature engineering.


title: Dynamic Ensemble Selection VS K-NN: why and when Dynamic Selection obtains higher classification performance?

abstract: Multiple classifier systems focus on the combination of classifiers to obtain better performance than a single robust one. These systems unfold three major phases: pool generation, selection and integration. One of the most promising MCS approaches is Dynamic Selection (DS), which relies on finding the most competent classifier or ensemble of classifiers to predict each test sample. The majority of the DS techniques are based on the K-Nearest Neighbors (K-NN) definition, and the quality of the neighborhood has a huge impact on the performance of DS methods. In this paper, we perform an analysis comparing the classification results of DS techniques and the K-NN classifier under different conditions. Experiments are performed on 18 state-of-the-art DS techniques over 30 classification datasets and results show that DS methods present a significant boost in classification accuracy even though they use the same neighborhood as the K-NN. The reasons behind the outperformance of DS techniques over the K-NN classifier reside in the fact that DS techniques can deal with samples with a high degree of instance hardness (samples that are located close to the decision border) as opposed to the K-NN. In this paper, not only we explain why DS techniques achieve higher classification performance than the K-NN but also when DS should be used.


title: Equivariant K-theory of toric orbifolds

abstract: Toric orbifolds are a topological generalization of projective toric varieties associated to simplicial fans. We introduce some sufficient conditions on the combinatorial data associated to a toric orbifold to ensure the existence of an invariant cell structure on it and call such a toric orbifold retractable. In this paper, our main goal is to study equivariant cohomology theories of retractable toric orbifolds. Our results extend the corresponding results on divisive weighted projective spaces.


title: Neural-inspired sensors enable sparse, efficient classification of spatiotemporal data

abstract: Sparse sensor placement is a central challenge in the efficient characterization of complex systems when the cost of acquiring and processing data is high. Leading sparse sensing methods typically exploit either spatial or temporal correlations, but rarely both. This work introduces a new sparse sensor optimization that is designed to leverage the rich spatiotemporal coherence exhibited by many systems. Our approach is inspired by the remarkable performance of flying insects, which use a few embedded strain-sensitive neurons to achieve rapid and robust flight control despite large gust disturbances. Specifically, we draw on nature to identify targeted neural-inspired sensors on a flapping wing to detect body rotation. This task is particularly challenging as the rotational twisting mode is three orders-of-magnitude smaller than the flapping modes. We show that nonlinear filtering in time, built to mimic strain-sensitive neurons, is essential to detect rotation, whereas instantaneous measurements fail. Optimized sparse sensor placement results in efficient classification with approximately ten sensors, achieving the same accuracy and noise robustness as full measurements consisting of hundreds of sensors. Sparse sensing with neural inspired encoding establishes a new paradigm in hyper-efficient, embodied sensing of spatiotemporal data and sheds light on principles of biological sensing for agile flight control.


title: Residually faithful modules and the Cohen-Macaulay type of idealizations

abstract: The Cohen-Macaulay type of idealizations of maximal Cohen-Macaulay modules over Cohen-Macaulay local rings is explored. There are two extremal cases, one of which is closely related to the theory of Ulrich modules \cite{BHU, GOTWY1, GOTWY2, GTT2}, and the other one is closely related to the theory of residually faithful modules and the theory of closed ideals \cite{BV}.


title: Social Bots for Online Public Health Interventions

abstract: According to the Center for Disease Control and Prevention, in the United States hundreds of thousands initiate smoking each year, and millions live with smoking-related dis- eases. Many tobacco users discuss their habits and preferences on social media. This work conceptualizes a framework for targeted health interventions to inform tobacco users about the consequences of tobacco use. We designed a Twitter bot named Notobot (short for No-Tobacco Bot) that leverages machine learning to identify users posting pro-tobacco tweets and select individualized interventions to address their interest in tobacco use. We searched the Twitter feed for tobacco-related keywords and phrases, and trained a convolutional neural network using over 4,000 tweets dichotomously manually labeled as either pro- tobacco or not pro-tobacco. This model achieves a 90% recall rate on the training set and 74% on test data. Users posting pro- tobacco tweets are matched with former smokers with similar interests who posted anti-tobacco tweets. Algorithmic matching, based on the power of peer influence, allows for the systematic delivery of personalized interventions based on real anti-tobacco tweets from former smokers. Experimental evaluation suggests that our system would perform well if deployed. This research offers opportunities for public health researchers to increase health awareness at scale. Future work entails deploying the fully operational Notobot system in a controlled experiment within a public health campaign.


title: A Cell-Division Search Technique for Inversion with Application to Picture-Discovery and Magnetotellurics

abstract: Solving inverse problems in natural sciences often requires a search pro- cess to find explanatory models that match collected field data. Inverse problems are often under-determined meaning that there are many poten- tial explanatory models for the same data. In such cases using stochastic search, through providing multiple solutions, can help characterise which model features that are most persistent and therefore likely to be real. Unfortunately, in some fields, large parameter spaces can make stochas- tic search intractable. In this work we improve upon previous work by defining a compact and expressive representation and search process able to describe and discover two and three dimensional spatial models. The search process takes place in stages starting with greedy search, followed by alternating stages of evolutionary search and a novel model-splitting process inspired by cell-division. We apply this framework to two prob- lems - magnetotellurics and picture discovery. We show that our improved representation and search process is able to produce detailed models with low error residuals.


title: Stochastic Answer Networks for Natural Language Inference

abstract: We propose a stochastic answer network (SAN) to explore multi-step inference strategies in Natural Language Inference. Rather than directly predicting the results given the inputs, the model maintains a state and iteratively refines its predictions. Our experiments show that SAN achieves the state-of-the-art results on three benchmarks: Stanford Natural Language Inference (SNLI) dataset, MultiGenre Natural Language Inference (MultiNLI) dataset and Quora Question Pairs dataset.