title: Bolzano and the Part-Whole Principle

abstract: The embracing of actual infinity in mathematics leads naturally to the question of comparing the sizes of infinite collections. The basic dilemma is that the Cantor Principle (CP), according to which two sets have the same size if there is a one-to-one correspondence between their elements, and the Part-Whole Principle (PW), according to which the whole is greater than its part, are inconsistent for infinite collections. Contemporary axiomatic set-theoretic systems, for instance, ZFC, are based on CP. PW is not valid for infinite sets. In the last two decades, the topic of sizes of infinite sets has resurfaced again in a number of papers. A question of whether it is possible to compare the sizes to comply with PW has been risen and researched. Bernard Bolzano in his 1848 Paradoxes of the Infinite dealt with principles of introducing infinity into mathematics. He created a theory of infinite quantities that respects PW and which is based on sums of infinite series. We extend Bolzano's theory and create a constructive method for determining the set size of countable sets so that the cardinality of finite sets is preserved and PW is valid. Our concept is close to the numerosity theory from the beginning of this century but it is simpler and more intuitive. In the results, we partly agree with the theory of numerosities. The sizes of countable sets are uniquely determined, but they are not linearly ordered.


title: Theoretical Cosmology

abstract: We review current theoretical cosmology, including fundamental and mathematical cosmology and physical cosmology (as well as cosmology in the quantum realm), with an emphasis on open questions.


title: Quantum fluctuations inhibit symmetry breaking in the HMF model

abstract: It is widely believed that mean-field theory is exact for a wide-range of classical long-range interacting systems. Is this also true once quantum fluctuations have been accounted for? As a test case we study the Hamiltonian Mean Field (HMF) model for a system of indistinguishable bosons which is predicted (according to mean-field theory) to undergo a second-order quantum phase transition at zero temperature. The ordered phase is characterized by a spontaneously broken $O(2)$ symmetry, which, despite occurring in a one-dimensional model, is not ruled out by the Mermin-Wagner theorem due to the presence of long-range interactions. Nevertheless, a spontaneously broken symmetry implies gapless Goldstone modes whose large fluctuations can restore broken symmetries. In this work, we study the influence of quantum fluctuations by projecting the Hamiltonian onto the continuous subspace of symmetry breaking mean-field states. We find that the energetic cost of gradients in the center of mass wavefunction inhibit the breaking of the $O(2)$ symmetry, but that the energetic cost is very small --- scaling as $\mathcal{O}(1/N^2)$. Nevertheless, for any finite $N$, no matter how large, this implies that the ground state has a restored $O(2)$ symmetry. Implications for the finite temperature phases, and classical limit, of the HMF model are discussed.


title: Peering at the outflow mechanisms in the transitional pulsar PSR J1023+0038: simultaneous VLT, XMM-Newton, and Swift high-time resolution observations

abstract: We report on a NIR, optical and X-ray campaign performed in 2017 with the XMM-Newton and Swift satellites and the VLT/HAWK-I instrument on the transitional MSP PSR J1023+0038. NIR observations were performed in fast-photometric mode in order to detect any fast variation of the flux and correlate them with the optical and X-ray light curves. The optical curve shows the typical sinusoidal modulation at the orbital period (4.75hr). No flaring or flickering is found in the optical, neither signs of transitions between active and passive states. On the contrary, the NIR curve displays a bimodal behaviour, showing strong flares in the first part of the curve, and an almost flat trend in the rest. The X-ray curves show a few low/high mode transitions, but no flaring activity. One of the low/high mode transition is found to happen at the same time as the emission of an infrared flare. This can be interpreted as the emission of a jet: the NIR flare could be due to the evolving spectrum of the jet, which possesses a break frequency that moves from higher (NIR) to lower (radio) frequencies after the launching, that has to happen at the low/high mode transition. We also present the cross correlation function between the optical and near infrared curves. Due to the bimodality of the NIR curve, we divided it in two parts (flaring and quiet). While the CCF of the quiet part is found to be flat, the one referring to the flaring part shows a narrow peak at ~10s, which indicates a delay of the NIR emission with respect to the optical. This lag can be interpreted as reprocessing of the optical emission at the light cylinder radius with a stream of matter spiraling around the system due to a phase of radio-ejection. This strongly supports a different origin of the NIR flares observed for PSR J1023+0038 with respect to the optical and X-ray flaring activity reported in other works on the same source.


title: Cache Where you Want! Reconciling Predictability and Coherent Caching

abstract: Real-time and cyber-physical systems need to interact with and respond to their physical environment in a predictable time. While multicore platforms provide incredible computational power and throughput, they also introduce new sources of unpredictability. Large fluctuations in latency to access data shared between multiple cores is an important contributor to the overall execution-time variability. In addition to the temporal unpredictability introduced by caching, parallel applications with data shared across multiple cores also pay additional latency overheads due to data coherence. Analyzing the impact of data coherence on the worst-case execution-time of real-time applications is challenging because only scarce implementation details are revealed by manufacturers. This paper presents application level control for caching data at different levels of the cache hierarchy. The rationale is that by caching data only in shared cache it is possible to bypass private caches. The access latency to data present in caches becomes independent of its coherence state. We discuss the existing architectural support as well as the required hardware and OS modifications to support the proposed cacheability control. We evaluate the system on an architectural simulator. We show that the worst case execution time for a single memory write request is reduced by 52%. Benchmark evaluations show that proposed technique has a minimal impact on average performance.


title: The Error-Feedback Framework: Better Rates for SGD with Delayed Gradients and Compressed Communication

abstract: We analyze (stochastic) gradient descent (SGD) with delayed updates on smooth quasi-convex and non-convex functions and derive concise, non-asymptotic, convergence rates. We show that the rate of convergence in all cases consists of two terms: (i) a stochastic term which is not affected by the delay, and (ii) a higher order deterministic term which is only linearly slowed down by the delay. Thus, in the presence of noise, the effects of the delay become negligible after a few iterations and the algorithm converges at the same optimal rate as standard SGD. This result extends a line of research that showed similar results in the asymptotic regime or for strongly-convex quadratic functions only. We further show similar results for SGD with more intricate form of delayed gradients -- compressed gradients under error compensation and for local~SGD where multiple workers perform local steps before communicating with each other. In all of these settings, we improve upon the best known rates. These results show that SGD is robust to compressed and/or delayed stochastic gradient updates. This is in particular important for distributed parallel implementations, where asynchronous and communication efficient methods are the key to achieve linear speedups for optimization with multiple devices.


title: Bifurcations of symmetric periodic orbits via Floer homology

abstract: We give criteria for the existence of bifurcations of symmetric periodic orbits in reversible Hamiltonian systems in terms of local equivariant Lagrangian Rabinowitz Floer homology. As an example, we consider the family of the direct circular orbits in the rotating Kepler problem and observe bifurcations of torus-type orbits. Our setup is motivated by numerical work of H\'enon on Hill's lunar problem.


title: Domain Aggregation Networks for Multi-Source Domain Adaptation

abstract: In many real-world applications, we want to exploit multiple source datasets of similar tasks to learn a model for a different but related target dataset -- e.g., recognizing characters of a new font using a set of different fonts. While most recent research has considered ad-hoc combination rules to address this problem, we extend previous work on domain discrepancy minimization to develop a finite-sample generalization bound, and accordingly propose a theoretically justified optimization procedure. The algorithm we develop, Domain AggRegation Network (DARN), is able to effectively adjust the weight of each source domain during training to ensure relevant domains are given more importance for adaptation. We evaluate the proposed method on real-world sentiment analysis and digit recognition datasets and show that DARN can significantly outperform the state-of-the-art alternatives.


title: General approaches for shear-correcting coordinate transformations in Bragg coherent diffraction imaging: Part 1

abstract: In this two-part article series we provide a generalized description of the scattering geometry of Bragg coherent diffraction imaging (BCDI) experiments, the shear distortion effects inherent to the resulting three-dimensional (3D) image from current phase retrieval methods and strategies to mitigate this distortion. In this Part I, we derive in general terms the real-space coordinate transformation to correct this shear, which originates in the more fundamental relationship between the representations of mutually conjugate 3D spaces. Such a transformation, applied as a final post-processing step following phase retrieval, is crucial for arriving at an un-distorted and physically meaningful image of the 3D scatterer. As the relevance of BCDI grows in the field of materials characterization, we take this opportunity to generalize the available sparse literature that addresses the geometric theory of BCDI and the subsequent analysis methods. This aspect, specific to coherent Bragg diffraction and absent in two-dimensional transmission CDI experiments, gains particular importance concerning spatially-resolved characterization of 3D crystalline materials in a realiable, non-destructive manner. These articles describe this theory, from the diffraction in Bragg geometry, to the corrections needed to obtain a properly rendered digital image of the 3D scatterer. Part I provides the experimental BCDI communitcy with the theoretical underpinnings of the 3D real-space distortions in the phase-retrieved object, along with the necessary post-retrieval correction method. Part II builds upon the geometric theory developed in Part I with the formalism to correct the shear distortions directly on an orthogonal grid within the phase retrieval algorithm itself, allowing more physically realistic constraints to be applied.


title: General approaches for shear-correcting coordinate transformations in Bragg coherent diffraction imaging: Part 2

abstract: X-ray Bragg coherent diffraction imaging has been demonstrated as a powerful three-dimensional (3D) microscopy approach for the investigation of sub-micrometer-scale crystalline particles. It is based on the measurement of a series of coherent diffraction intensity patterns that are numerically inverted to retrieve an image of the spatial distribution of relative phase and amplitude of the Bragg structure factor of the scatterer. This 3D information, which is collected through an angular rotation of the sample, is necessarily obtained in a non-orthogonal frame in Fourier space that must be eventually reconciled. To deal with this, the currently favored approach (detailed in Part I) is to perform the entire inversion in conjugate non-orthogonal real and Fourier space frames, and to transform the 3D sample image into an orthogonal frame as a post-processing step for result analysis. In this article, a direct follow-up of Part I, we demonstrate two different transformation strategies that enable the entire inversion procedure of the measured data set to be performed in an orthogonal frame. The new approaches described here build mathematical and numerical frameworks that apply to the cases of evenly and non-evenly sampled data along the direction of sample rotation (the rocking curve). The value of these methods is that they rely on and incorporate significantly more information about the experimental geometry into the design of the phase retrieval Fourier transformation than the strategy presented in Part I. Two important outcomes are 1) that the resulting sample image is correctly interpreted in a shear-free frame, and 2) physically realistic constraints of BCDI phase retrieval that are difficult to implement with current methods are easily incorporated. Computing scripts are also given to aid readers in the implementation of the proposed formalisms.


title: Let's Ask Again: Refine Network for Automatic Question Generation

abstract: In this work, we focus on the task of Automatic Question Generation (AQG) where given a passage and an answer the task is to generate the corresponding question. It is desired that the generated question should be (i) grammatically correct (ii) answerable from the passage and (iii) specific to the given answer. An analysis of existing AQG models shows that they produce questions which do not adhere to one or more of {the above-mentioned qualities}. In particular, the generated questions look like an incomplete draft of the desired question with a clear scope for refinement. {To alleviate this shortcoming}, we propose a method which tries to mimic the human process of generating questions by first creating an initial draft and then refining it. More specifically, we propose Refine Network (RefNet) which contains two decoders. The second decoder uses a dual attention network which pays attention to both (i) the original passage and (ii) the question (initial draft) generated by the first decoder. In effect, it refines the question generated by the first decoder, thereby making it more correct and complete. We evaluate RefNet on three datasets, \textit{viz.}, SQuAD, HOTPOT-QA, and DROP, and show that it outperforms existing state-of-the-art methods by 7-16\% on all of these datasets. Lastly, we show that we can improve the quality of the second decoder on specific metrics, such as, fluency and answerability by explicitly rewarding revisions that improve on the corresponding metric during training. The code has been made publicly available \footnote{https://github.com/PrekshaNema25/RefNet-QG}


title: Entity Projection via Machine Translation for Cross-Lingual NER

abstract: Although over 100 languages are supported by strong off-the-shelf machine translation systems, only a subset of them possess large annotated corpora for named entity recognition. Motivated by this fact, we leverage machine translation to improve annotation-projection approaches to cross-lingual named entity recognition. We propose a system that improves over prior entity-projection methods by: (a) leveraging machine translation systems twice: first for translating sentences and subsequently for translating entities; (b) matching entities based on orthographic and phonetic similarity; and (c) identifying matches based on distributional statistics derived from the dataset. Our approach improves upon current state-of-the-art methods for cross-lingual named entity recognition on 5 diverse languages by an average of 4.1 points. Further, our method achieves state-of-the-art F_1 scores for Armenian, outperforming even a monolingual model trained on Armenian source data.


title: Out-of-Domain Detection for Low-Resource Text Classification Tasks

abstract: Out-of-domain (OOD) detection for low-resource text classification is a realistic but understudied task. The goal is to detect the OOD cases with limited in-domain (ID) training data, since we observe that training data is often insufficient in machine learning applications. In this work, we propose an OOD-resistant Prototypical Network to tackle this zero-shot OOD detection and few-shot ID classification task. Evaluation on real-world datasets show that the proposed solution outperforms state-of-the-art methods in zero-shot OOD detection task, while maintaining a competitive performance on ID classification task.


title: Taskmaster-1: Toward a Realistic and Diverse Dialog Dataset

abstract: A significant barrier to progress in data-driven approaches to building dialog systems is the lack of high quality, goal-oriented conversational data. To help satisfy this elementary requirement, we introduce the initial release of the Taskmaster-1 dataset which includes 13,215 task-based dialogs comprising six domains. Two procedures were used to create this collection, each with unique advantages. The first involves a two-person, spoken "Wizard of Oz" (WOz) approach in which trained agents and crowdsourced workers interact to complete the task while the second is "self-dialog" in which crowdsourced workers write the entire dialog themselves. We do not restrict the workers to detailed scripts or to a small knowledge base and hence we observe that our dataset contains more realistic and diverse conversations in comparison to existing datasets. We offer several baseline models including state of the art neural seq2seq architectures with benchmark performance as well as qualitative human evaluations. Dialogs are labeled with API calls and arguments, a simple and cost effective approach which avoids the requirement of complex annotation schema. The layer of abstraction between the dialog model and the service provider API allows for a given model to interact with multiple services that provide similar functionally. Finally, the dataset will evoke interest in written vs. spoken language, discourse patterns, error handling and other linguistic phenomena related to dialog system research, development and design.


title: From Textual Information Sources to Linked Data in the Agatha Project

abstract: Automatic reasoning about textual information is a challenging task in modern Natural Language Processing (NLP) systems. In this work we describe our proposal for representing and reasoning about Portuguese documents by means of Linked Data like ontologies and thesauri. Our approach resorts to a specialized pipeline of natural language processing (part-of-speech tagger, named entity recognition, semantic role labeling) to populate an ontology for the domain of criminal investigations. The provided architecture and ontology are language independent. Although some of the NLP modules are language dependent, they can be built using adequate AI methodologies.


title: Joint Event and Temporal Relation Extraction with Shared Representations and Structured Prediction

abstract: We propose a joint event and temporal relation extraction model with shared representation learning and structured prediction. The proposed method has two advantages over existing work. First, it improves event representation by allowing the event and relation modules to share the same contextualized embeddings and neural representation learner. Second, it avoids error propagation in the conventional pipeline systems by leveraging structured inference and learning methods to assign both the event labels and the temporal relation labels jointly. Experiments show that the proposed method can improve both event extraction and temporal relation extraction over state-of-the-art systems, with the end-to-end F1 improved by 10% and 6.8% on two benchmark datasets respectively.


title: Structuring Latent Spaces for Stylized Response Generation

abstract: Generating responses in a targeted style is a useful yet challenging task, especially in the absence of parallel data. With limited data, existing methods tend to generate responses that are either less stylized or less context-relevant. We propose StyleFusion, which bridges conversation modeling and non-parallel style transfer by sharing a structured latent space. This structure allows the system to generate stylized relevant responses by sampling in the neighborhood of the conversation model prediction, and continuously control the style level. We demonstrate this method using dialogues from Reddit data and two sets of sentences with distinct styles (arXiv and Sherlock Holmes novels). Automatic and human evaluation show that, without sacrificing appropriateness, the system generates responses of the targeted style and outperforms competitive baselines.


title: Problems with automating translation of movie/TV show subtitles

abstract: We present 27 problems encountered in automating the translation of movie/TV show subtitles. We categorize each problem in one of the three categories viz. problems directly related to textual translation, problems related to subtitle creation guidelines, and problems due to adaptability of machine translation (MT) engines. We also present the findings of a translation quality evaluation experiment where we share the frequency of 16 key problems. We show that the systems working at the frontiers of Natural Language Processing do not perform well for subtitles and require some post-processing solutions for redressal of these problems


title: Identifying and Explaining Discriminative Attributes

abstract: Identifying what is at the center of the meaning of a word and what discriminates it from other words is a fundamental natural language inference task. This paper describes an explicit word vector representation model (WVM) to support the identification of discriminative attributes. A core contribution of the paper is a quantitative and qualitative comparative analysis of different types of data sources and Knowledge Bases in the construction of explainable and explicit WVMs: (i) knowledge graphs built from dictionary definitions, (ii) entity-attribute-relationships graphs derived from images and (iii) commonsense knowledge graphs. Using a detailed quantitative and qualitative analysis, we demonstrate that these data sources have complementary semantic aspects, supporting the creation of explicit semantic vector spaces. The explicit vector spaces are evaluated using the task of discriminative attribute identification, showing comparable performance to the state-of-the-art systems in the task (F1-score = 0.69), while delivering full model transparency and explainability.


title: TransSent: Towards Generation of Structured Sentences with Discourse Marker

abstract: Structured sentences are important expressions in human writings and dialogues. Previous works on neural text generation fused semantic and structural information by encoding the entire sentence into a mixed hidden representation. However, when a generated sentence becomes complicated, the structure is difficult to be properly maintained. To alleviate this problem, we explicitly separate the modeling process of semantic and structural information. Intuitively, humans generate structured sentences by directly connecting discourses with discourse markers (such as and, but, etc.). Therefore, we propose a task that mimics this process, called discourse transfer. This task represents a structured sentence as (head discourse, discourse marker, tail discourse), and aims at tail discourse generation based on head discourse and discourse marker. We also propose a corresponding model called TransSent, which interprets the relationship between two discourses as a translation1 from the head discourse to the tail discourse in the embedding space. We experiment TransSent not only in discourse transfer task but also in free text generation and dialogue generation tasks. Automatic and human evaluation results show that TransSent can generate structured sentences with high quality, and has certain scalability in different tasks.


title: Building Task-Oriented Visual Dialog Systems Through Alternative Optimization Between Dialog Policy and Language Generation

abstract: Reinforcement learning (RL) is an effective approach to learn an optimal dialog policy for task-oriented visual dialog systems. A common practice is to apply RL on a neural sequence-to-sequence (seq2seq) framework with the action space being the output vocabulary in the decoder. However, it is difficult to design a reward function that can achieve a balance between learning an effective policy and generating a natural dialog response. This paper proposes a novel framework that alternatively trains a RL policy for image guessing and a supervised seq2seq model to improve dialog generation quality. We evaluate our framework on the GuessWhich task and the framework achieves the state-of-the-art performance in both task completion and dialog quality.


title: An all-optical technique enables instantaneous single-shot demodulation of images at high frequency

abstract: High-frequency demodulation of wide area optical signals in a snapshot manner is a technological challenge that, if solved, could open tremendous perspectives in 3D imaging, free-space communications, or even ballistic photon imaging in highly scattering media. We present here a novel snapshot quadrature demodulation imaging technique, capable of estimating the amplitude and phase of light modulated from a single frame acquisition, without synchronization of emitter and receiver, and with the added capability of continuous frequency tuning. This all-optical setup relies on an electro-optic crystal that acts as a fast sinusoidal optical transmission gate and which, when inserted in an optimized optical architecture, allows for four quadrature image channels to be recorded simultaneously with any conventional camera. We report the design, experimental validation and examples of potential applications of such a wide-field quadrature demodulating system that allowed snapshot demodulation of images with good spatial resolution and continuous frequency selectivity, at modulation frequencies up to 500 kHz; no fundamental impediment in modulating/demodulating in the range 100-1000 MHz range is foreseen.


title: Learning in Text Streams: Discovery and Disambiguation of Entity and Relation Instances

abstract: We consider a scenario where an artificial agent is reading a stream of text composed of a set of narrations, and it is informed about the identity of some of the individuals that are mentioned in the text portion that is currently being read. The agent is expected to learn to follow the narrations, thus disambiguating mentions and discovering new individuals. We focus on the case in which individuals are entities and relations, and we propose an end-to-end trainable memory network that learns to discover and disambiguate them in an online manner, performing one-shot learning, and dealing with a small number of sparse supervisions. Our system builds a not-given-in-advance knowledge base, and it improves its skills while reading unsupervised text. The model deals with abrupt changes in the narration, taking into account their effects when resolving co-references. We showcase the strong disambiguation and discovery skills of our model on a corpus of Wikipedia documents and on a newly introduced dataset, that we make publicly available.


title: A Generalization of Girstmair's Irreducibility Criterion

abstract: Girstmair in [1, Theorem 1] gave a generalization of Murty's irreducibility criterion (see [2, Theorem 1]). In this article, we further generalize these criteria.


title: Direct derivation of the comma 3-Vertex in the full string basis

abstract: The interacting comma 3-vertex for the bosonic open string in the full string basis is derived using the half string overlap relations directly. Thus avoiding the coherent states technique employed in earlier derivations. The resulting form of the interacting 3-vertex turns out to be precisely the desired expression obtained in terms of the full string oscillator modes. This derivation establishes that the comma 3-vertex and Witten's 3-vertex are identical and therefore are interchangeable.


title: An Auxiliary Classifier Generative Adversarial Framework for Relation Extraction

abstract: Relation extraction models suffer from limited qualified training data. Using human annotators to label sentences is too expensive and does not scale well especially when dealing with large datasets. In this paper, we use Auxiliary Classifier Generative Adversarial Networks (AC-GANs) to generate high-quality relational sentences and to improve the performance of relation classifier in end-to-end models. In AC-GAN, the discriminator gives not only a probability distribution over the real source, but also a probability distribution over the relation labels. This helps to generate meaningful relational sentences. Experimental results show that our proposed data augmentation method significantly improves the performance of relation extraction compared to state-of-the-art methods


title: GMLS-Nets: A framework for learning from unstructured data

abstract: Data fields sampled on irregularly spaced points arise in many applications in the sciences and engineering. For regular grids, Convolutional Neural Networks (CNNs) have been successfully used to gaining benefits from weight sharing and invariances. We generalize CNNs by introducing methods for data on unstructured point clouds based on Generalized Moving Least Squares (GMLS). GMLS is a non-parametric technique for estimating linear bounded functionals from scattered data, and has recently been used in the literature for solving partial differential equations. By parameterizing the GMLS estimator, we obtain learning methods for operators with unstructured stencils. In GMLS-Nets the necessary calculations are local, readily parallelizable, and the estimator is supported by a rigorous approximation theory. We show how the framework may be used for unstructured physical data sets to perform functional regression to identify associated differential operators and to regress quantities of interest. The results suggest the architectures to be an attractive foundation for data-driven model development in scientific machine learning applications.


title: Overton: A Data System for Monitoring and Improving Machine-Learned Products

abstract: We describe a system called Overton, whose main design goal is to support engineers in building, monitoring, and improving production machine learning systems. Key challenges engineers face are monitoring fine-grained quality, diagnosing errors in sophisticated applications, and handling contradictory or incomplete supervision data. Overton automates the life cycle of model construction, deployment, and monitoring by providing a set of novel high-level, declarative abstractions. Overton's vision is to shift developers to these higher-level tasks instead of lower-level machine learning tasks. In fact, using Overton, engineers can build deep-learning-based applications without writing any code in frameworks like TensorFlow. For over a year, Overton has been used in production to support multiple applications in both near-real-time applications and back-of-house processing. In that time, Overton-based applications have answered billions of queries in multiple languages and processed trillions of records reducing errors 1.7-2.9 times versus production systems.


title: Statistics of the Charge Spectrum of Photo-Multipliers and Methods for Absolute Calibration

abstract: We derive the full expression for the shape of the charge spectrum that results from the illumination of a photo-multiplier tube. The derivation is for low intensity illumination with constant gain, a common condition for most nuclear and particle physics applications. Under these conditions, it is shown that an analytic expression can be formulated that describes details of the spectrum including the pedestal and dark noise with excellent fidelity to allow statistical fits to data. The derivation and full formula using either Gaussian or Poisson models for gain, and its limiting forms under various simplifying assumptions are presented with strategies on their use. The analytic description can be used to formulate data acquisition strategies to perform precise absolute calibration of photo-multipliers, the digitizers, and the data acquisition system.


title: Directionally Accelerated Detection of an Unknown Second Reactor with Antineutrinos for Mid-Field Nonproliferation Monitoring

abstract: When monitoring a reactor site for nuclear nonproliferation purposes, the presence of an unknown or hidden nuclear reactor could be obscured by the activities of a known reactor of much greater power nearby. Thus when monitoring reactor activities by the observation of antineutrino emissions, one must discriminate known background reactor fluxes from possible unknown reactor signals under investigation. To quantify this discrimination, we find the confidence to reject the (null) hypothesis of a single proximal reactor, by exploiting directional antineutrino signals in the presence of a second, unknown reactor. In particular, we simulate the inverse beta decay (IBD) response of a detector filled with a 1 kT fiducial mass of Gadolinium-doped liquid scintillator in mineral oil. We base the detector geometry on that of WATCHMAN, an upcoming antineutrino monitoring experiment soon to be deployed at the Boulby mine in the United Kingdom whose design and deployment will be detailed in a forthcoming white paper. From this simulation, we construct an analytical model of the IBD event distribution for the case of one $4\mathrm{\ GWt}\pm2\%$ reactor 25 km away from the detector site, and for an additional, unknown, 35 MWt reactor 3 to 5 km away. The effects of natural-background rejection cuts are approximated. Applying the model, we predict $3\sigma$ confidence to detect the presence of an unknown reactor within five weeks, at standoffs of 3 km or nearer. For more distant unknown reactors, the $3\sigma$ detection time increases significantly. However, the relative significance of directional sensitivity also increases, providing up to an eight week speedup to detect an unknown reactor at 5 km away. Therefore, directionally sensitive antineutrino monitoring can accelerate the mid-field detection of unknown reactors whose operation might otherwise be masked by more powerful reactors in the vicinity.

categories: physics.ins-det hep-ex hep-ph physics.app-ph


title: Pivotality versus noise stability for monotone transitive functions

abstract: We construct a noise stable sequence of transitive, monotone increasing Boolean functions $f_n: \{-1,1\}^{k_n} \longrightarrow \{-1,1\}$ which admit many pivotals with high probability. We show that such a sequence is volatile as well, and thus it is also an example of a volatile and noise stable sequence of transitive, monotone functions.


title: Explicit Kummer Theory for Elliptic Curves

abstract: Let $E$ be an elliptic curve defined over a number field $K$, let $\alpha \in E(K)$ be a point of infinite order, and let $N^{-1}\alpha$ be the set of $N$-division points of $\alpha$ in $E(\bar{K})$. We prove strong effective and uniform results for the degrees of the Kummer extensions $[K(E[N],N^{-1}\alpha) : K(E[N])]$. When $K=\mathbb{Q}$, and under a minimal assumption on $\alpha$, we show that the inequality $[\mathbb{Q}(E[N],N^{-1}\alpha) : \mathbb{Q}(E[N])] \geq cN^2$ holds with a constant $c$ independent of both $E$ and $\alpha$.


title: Multi-Agent Control Using Coverage Over Time-Varying Domains

abstract: Multi-agent coverage control is used as a mechanism to influence the behavior of a group of robots by introducing time-varying domain. The coverage optimization problem is modified to adopt time-varying domains, and the proposed control law possesses an exponential convergence characteristic. Cumbrous control for many robots is simplified by deploying distribution and behavior of the robot team as a whole. In the proposed approach, the inputs to the multi-agent system, i.e., time-varying density and time-varying domain, are agnostic to the size of the system. Analytic expressions of surface and line integrals present in the control law are obtained under uniform density. The scalability of the proposed control strategy is explained and verified via numerical simulation. Experiments on real robots are used to test the proposed control law.


title: CoSQL: A Conversational Text-to-SQL Challenge Towards Cross-Domain Natural Language Interfaces to Databases

abstract: We present CoSQL, a corpus for building cross-domain, general-purpose database (DB) querying dialogue systems. It consists of 30k+ turns plus 10k+ annotated SQL queries, obtained from a Wizard-of-Oz (WOZ) collection of 3k dialogues querying 200 complex DBs spanning 138 domains. Each dialogue simulates a real-world DB query scenario with a crowd worker as a user exploring the DB and a SQL expert retrieving answers with SQL, clarifying ambiguous questions, or otherwise informing of unanswerable questions. When user questions are answerable by SQL, the expert describes the SQL and execution results to the user, hence maintaining a natural interaction flow. CoSQL introduces new challenges compared to existing task-oriented dialogue datasets:(1) the dialogue states are grounded in SQL, a domain-independent executable representation, instead of domain-specific slot-value pairs, and (2) because testing is done on unseen databases, success requires generalizing to new domains. CoSQL includes three tasks: SQL-grounded dialogue state tracking, response generation from query results, and user dialogue act prediction. We evaluate a set of strong baselines for each task and show that CoSQL presents significant challenges for future research. The dataset, baselines, and leaderboard will be released at https://yale-lily.github.io/cosql.


title: Specifying Object Attributes and Relations in Interactive Scene Generation

abstract: We introduce a method for the generation of images from an input scene graph. The method separates between a layout embedding and an appearance embedding. The dual embedding leads to generated images that better match the scene graph, have higher visual quality, and support more complex scene graphs. In addition, the embedding scheme supports multiple and diverse output images per scene graph, which can be further controlled by the user. We demonstrate two modes of per-object control: (i) importing elements from other images, and (ii) navigation in the object space, by selecting an appearance archetype. Our code is publicly available at https://www.github.com/ashual/scene_generation


title: Selecting Data to Clean for Fact Checking: Minimizing Uncertainty vs. Maximizing Surprise

abstract: We study the optimization problem of selecting numerical quantities to clean in order to fact-check claims based on such data. Oftentimes, such claims are technically correct, but they can still mislead for two reasons. First, data may contain uncertainty and errors. Second, data can be "fished" to advance particular positions. In practice, fact-checkers cannot afford to clean all data and must choose to clean what "matters the most" to checking a claim. We explore alternative definitions of what "matters the most": one is to ascertain claim qualities (by minimizing uncertainty in these measures), while an alternative is just to counter the claim (by maximizing the probability of finding a counterargument). We show whether the two objectives align with each other, with important implications on when fact-checkers should exercise care in selective data cleaning, to avoid potential bias introduced by their desire to counter claims. We develop efficient algorithms for solving the various variants of the optimization problem, showing significant improvements over naive solutions. The problem is particularly challenging because the objectives in the fact-checking context are complex, non-linear functions over data. We obtain results that generalize to a large class of functions, with potential applications beyond fact-checking.


title: Empirical inference on the Majorana mass of the ordinary neutrinos

abstract: There is a broad theoretical consensus on the idea that ordinary neutrinos have a Majorana mass, but we have no clear prediction about its value, and direct experimental measurements of this quantity are rather challenging. In this work, we argue that the current cosmological measurements allow us to obtain precise information on the effective Majorana mass, i.e. the electronic-type mass of ordinary neutrinos. We show that the numerical results that we obtain can be accurately reproduced, and hence tested, by a straightforward analytical procedure. We then discuss the stability of the assumptions at the basis of our analysis and the implications of our findings for neutrinoless double beta decay.


title: A deep learning system for differential diagnosis of skin diseases

abstract: Skin conditions affect an estimated 1.9 billion people worldwide. A shortage of dermatologists causes long wait times and leads patients to seek dermatologic care from general practitioners. However, the diagnostic accuracy of general practitioners has been reported to be only 0.24-0.70 (compared to 0.77-0.96 for dermatologists), resulting in referral errors, delays in care, and errors in diagnosis and treatment. In this paper, we developed a deep learning system (DLS) to provide a differential diagnosis of skin conditions for clinical cases (skin photographs and associated medical histories). The DLS distinguishes between 26 skin conditions that represent roughly 80% of the volume of skin conditions seen in primary care. The DLS was developed and validated using de-identified cases from a teledermatology practice serving 17 clinical sites via a temporal split: the first 14,021 cases for development and the last 3,756 cases for validation. On the validation set, where a panel of three board-certified dermatologists defined the reference standard for every case, the DLS achieved 0.71 and 0.93 top-1 and top-3 accuracies respectively. For a random subset of the validation set (n=963 cases), 18 clinicians reviewed the cases for comparison. On this subset, the DLS achieved a 0.67 top-1 accuracy, non-inferior to board-certified dermatologists (0.63, p<0.001), and higher than primary care physicians (PCPs, 0.45) and nurse practitioners (NPs, 0.41). The top-3 accuracy showed a similar trend: 0.90 DLS, 0.75 dermatologists, 0.60 PCPs, and 0.55 NPs. These results highlight the potential of the DLS to augment general practitioners to accurately diagnose skin conditions by suggesting differential diagnoses that may not have been considered. Future work will be needed to prospectively assess the clinical impact of using this tool in actual clinical workflows.


title: Thought experiments that shed light on the nature of optical linear and angular momenta

abstract: Invoking tools and techniques from elementary theories of classical electrodynamics and special relativity, we analyze some of the thought experiments that have contributed substantively to the conceptual development and understanding of the linear and angular momenta of light.


title: 20 years of developments in optical frequency comb technology and applications

abstract: Optical frequency combs were developed nearly two decades ago to support the world's most precise atomic clocks. Acting as precision optical synthesizers, frequency combs enable the precise transfer of phase and frequency information from a high-stability reference to hundreds of thousands of tones in the optical domain. This versatility, coupled with near-continuous spectroscopic coverage from the terahertz to the extreme ultra-violet, has enabled precision measurement capabilities in both fundamental and applied contexts. This review takes a tutorial approach to illustrate how 20 years of source development and technology has facilitated the journey of optical frequency combs from the lab into the field.


title: A geometrically based criterion to avoid infimum-gaps in Optimal Control

abstract: In optimal control theory the expression infimum gap means a strictly negative difference between the infimum value of a given minimum problem and the infimum value of a new problem obtained by the former by extending the original family V of controls to a larger family W. Now, for some classes of domain-extensions -- like convex relaxation or impulsive embedding of unbounded control problems -- the normality of an extended minimizer has been shown to be sufficient for the avoidance of an infimum gaps. A natural issue is then the search of a general hypothesis under which the criterium 'normality implies no gap' holds true. We prove that, far from being a peculiarity of those specific extensions and from requiring the convexity of the extended dynamics, this criterium is valid provided the original family V of controls is abundant in the extended family W. Abundance, which is stronger than the mere C^0-density of the original trajectories in the set of extended trajectories, is a dynamical-topological notion introduced by J. Warga, and is here utilized in a 'non-convex' version which, moreover, is adapted to differential manifolds. To get the main result, which is based on set separation arguments, we prove an open mapping result valid for Quasi-Differential-Quotient (QDQ) approximating cones, a notion of 'tangent cone' resulted as a peculiar specification of H. Sussmann's Approximate-Generalized-Differential-Quotients (AGDQ) approximating cone.


title: Phase Control of Majorana Bound States in a Topological X Junction

abstract: Topological superconductivity supports exotic Majorana bound states (MBS) which are chargeless zero-energy emergent quasiparticles. With their non-Abelian exchange statistics and fractionalization of a single electron stored nonlocally as a spatially separated MBS, they are particularly suitable for implementing fault-tolerant topological quantum computing. While the main efforts to realize MBS have focused on one-dimensional systems, the onset of topological superconductivity requires delicate parameter tuning and geometric constraints pose significant challenges for their control and demonstration of non-Abelian statistics. To overcome these challenges, building on recent experimental advances in planar Josephson junctions (JJs), we propose a MBS platform of X-shaped JJs. This versatile implementation reveals how external flux control of the superconducting phase difference can generate and manipulate multiple MBS pairs to probe non-Abelian statistics. The underlying topological superconductivity exists over a large parameter space, consistent with materials used in our fabrication of such X junctions, as an important step towards scalable topological quantum computing.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con


title: Tree congruence: quantifying similarity between dendrogram topologies

abstract: Tree congruence metrics are typically global indices that describe the similarity or dissimilarity between dendrograms. This study principally focuses on topological congruence metrics that quantify similarity between two dendrograms and can give a normalised score between 0 and 1. Specifically, this article describes and tests two metrics the Clade Retention Index (CRI) and the MASTxCF which is derived from the combined information available from a maximum agreement subtree and a strict consensus. The two metrics were developed to study differences between evolutionary trees, but their applications are multidisciplinary and can be used on hierarchical cluster diagrams derived from analyses in science, technology, maths or social sciences disciplines. A comprehensive, but non-exhaustive review of other tree congruence metrics is provided and nine metrics are further analysed. 1,620 pairwise analyses of simulated dendrograms (which could be derived from any type of analysis) were conducted and are compared in Pac-man piechart matrices. Kendalls tau-b is used to demonstrate the concordance of the different metrics and Spearmans rho ranked correlations are used to support these findings. The results support the use of the CRI and MASTxCF as part of a suite of metrics, but it is recommended that permutation metrics such as SPR distances and weighted metrics are disregarded for the specific purpose of measuring similarity.


title: An Online Reinforcement Learning Approach to Quality-Cost-Aware Task Allocation for Multi-Attribute Social Sensing

abstract: Social sensing has emerged as a new sensing paradigm where humans (or devices on their behalf) collectively report measurements about the physical world. This paper focuses on a quality-cost-aware task allocation problem in multi-attribute social sensing applications. The goal is to identify a task allocation strategy (i.e., decide when and where to collect sensing data) to achieve an optimized tradeoff between the data quality and the sensing cost. While recent progress has been made to tackle similar problems, three important challenges have not been well addressed: (i) "online task allocation": the task allocation schemes need to respond quickly to the potentially large dynamics of the measured variables in social sensing; (ii) "multi-attribute constrained optimization": minimizing the overall sensing error given the dependencies and constraints of multiple attributes of the measured variables is a non-trivial problem to solve; (iii) "nonuniform task allocation cost": the task allocation cost in social sensing often has a nonuniform distribution which adds additional complexity to the optimized task allocation problem. This paper develops a Quality-Cost-Aware Online Task Allocation (QCO-TA) scheme to address the above challenges using a principled online reinforcement learning framework. We evaluate the QCO-TA scheme through a real-world social sensing application and the results show that our scheme significantly outperforms the state-of-the-art baselines in terms of both sensing accuracy and cost.


title: $L^p\to L^q$ bounds for spherical maximal operators

abstract: Let $f\in L^p(\mathbb{R}^d)$, $d\ge 3$, and let $A_t f(x)$ the average of $f$ over the sphere with radius $t$ centered at $x$. For a subset $E$ of $[1,2]$ we prove close to sharp $L^p\to L^q$ estimates for the maximal function $\sup_{t\in E} |A_t f|$. A new feature is the dependence of the results on both the upper Minkowski dimension of $E$ and the Assouad dimension of $E$. The result can be applied to prove sparse domination bounds for a related global spherical maximal function.


title: Population-Induced Phase Transitions and the Verification of Chemical Reaction Networks

abstract: We show that very simple molecular systems, modeled as chemical reaction networks, can have behaviors that exhibit dramatic phase transitions at certain population thresholds. Moreover, the magnitudes of these thresholds can thwart attempts to use simulation, model checking, or approximation by differential equations to formally verify the behaviors of such systems at realistic populations. We show how formal theorem provers can successfully verify some such systems at populations where other verification methods fail.


title: Equations of state for ruthenium and rhodium

abstract: Ru and Rh are interesting cases for comparing equations of state (EOS), because most general purpose EOS are semi-empirical, relying heavily on shock data, and none has been reported for Ru. EOS were calculated for both elements using all-electron atom-in-jellium theory, and cold compression curves were calculated for the common crystal types using the multi-ion pseudopotential approach. Previous EOS constructed for these elements used Thomas-Fermi (TF) theory for the electronic behavior at high temperatures, which neglects electronic shell structure; the atom-in-jellium EOS exhibited pronounced features from the excitation of successive electron shells. Otherwise, the EOS matched surprisingly well, especially considering the lack of experimental data for Ru. The TF-based EOS for Ru may however be inaccurate in the multi-terapascal range needed for some high energy density experiments. The multi-ion calculations predicted that the hexagonal close-packed phase of Ru remains stable to at least 2.5 TPa and possibly 10 TPa, and that its c/a should gradually increase to the ideal value. A method was devised to estimate the variation in Debye temperature from the cold curve, and thus estimate the ion-thermal EOS without requiring relatively expensive dynamical force calculations, in a form convenient for adjusting EOS or phase boundaries. The Debye temperature estimated in this way was similar to the result from atom-in-jellium calculations. We also predict the high-pressure melt loci of both elements.


title: Tiny Buffer TCP for Data Center Networks

abstract: A low and stable buffer occupancy is critical to achieve high throughput, low packet drop rate, low latency, and low jitter for data center networks. It also allows switch chips to support higher port density, larger lookup tables, or richer functions. Tiny Buffer TCP creatively uses the common RED-based ECN with two novel congestion-window adjustment schemes to significantly reduce the required buffer size. Aiming to eliminate the residual packets in the bottleneck queue, Queue Canceling Decrease amortizes the ideal window reduction to the same number of flows so as to minimize the impact to active flows. In order to keep the buffer occupancy low and stable, Reduced Additive Increase recovers the flow window at a slower pace than normal. We implemented TBTCP in Linux kernel and conducted ns2-based simulations and real network-based tests. Our results show that compared to DCTCP, TBTCP reduces the switch buffer requirement by more than 80%, increases the bandwidth utilization by up to 15%, improves the FCT performance by up to 39%, and achieve a 71% better RTT fairness index.


title: Automated Blood Cell Detection and Counting via Deep Learning for Microfluidic Point-of-Care Medical Devices

abstract: Automated in-vitro cell detection and counting have been a key theme for artificial and intelligent biological analysis such as biopsy, drug analysis and decease diagnosis. Along with the rapid development of microfluidics and lab-on-chip technologies, in-vitro live cell analysis has been one of the critical tasks for both research and industry communities. However, it is a great challenge to obtain and then predict the precise information of live cells from numerous microscopic videos and images. In this paper, we investigated in-vitro detection of white blood cells using deep neural networks, and discussed how state-of-the-art machine learning techniques could fulfil the needs of medical diagnosis. The approach we used in this study was based on Faster Region-based Convolutional Neural Networks (Faster RCNNs), and a transfer learning process was applied to apply this technique to the microscopic detection of blood cells. Our experimental results demonstrated that fast and efficient analysis of blood cells via automated microscopic imaging can achieve much better accuracy and faster speed than the conventionally applied methods, implying a promising future of this technology to be applied to the microfluidic point-of-care medical devices.


title: Electronic properties of Pb-I deficient lead halide perovskites

abstract: The electronic structure evolution of deficient halide perovskites with a general formula $(A,A')_{1+x}M_{1-x}X_{3-x}$ was investigated using the density functional theory. The focus is placed on characterization of changes in the band gap, band alignment, effective mass, and optical properties of deficient perovskites at various concentrations of defects. We uncover unusual electronic properties of the defect corresponding to a $M\!-\!X$ vacancy filled with an $A'$ cation. This defect "repels" electrons and holes producing no trap states and, in moderate quantities ($x\le0.1$), does not hinder charge transport properties of the material. This behavior is rationalized using a confinement model and provides an additional insight to the defect tolerance of halide perovskites.


title: Super-Planckian Radiative Heat Transfer between Macroscale Plates with Vacuum Gaps Down to 190 nm Directly Created by SU-8 Posts and Characterized by Capacitance Method

abstract: In this work we experimentally demonstrated the near-field thermal radiation enhancement over the blackbody limit by 11 times between highly doped silicon chips with 1x1 cm2 size at a vacuum gap distance of 190 nm under a temperature difference of 74.7 K above room temperature. SU-8 polymer posts, which significantly reduced the conduction less than 6% of the total heat transfer due to its low thermal conductivity, were carefully fabricated with different heights to directly create vacuum gaps from 507 nm down to 190 nm precisely determined in-situ by capacitance measurement. Experimental results were validated by theoretical calculations based on fluctuational electrodynamics, which revealed the enhancement mechanism mainly as coupled surface plasmon polariton. The experimental method developed here will facilitate the potential applications of near-field radiative devices made of electrically conductive materials like metals, graphene, and transparent conductive oxide besides heavily doped semiconductors for thermal energy conversion, radiative thermal rectification, and radiative heat modulation.


title: Continuous dependence of an invariant measure on the jump rate of a piecewise-deterministic Markov process

abstract: We investigate a piecewise-deterministic Markov process, evolving on a Polish metric space, whose deterministic behaviour between random jumps is governed by some semi-flow, and any state right after the jump is attained by a randomly selected continuous transformation. It is assumed that the jumps appear at random moments, which coincide with the jump times of a Poisson process with intensity $\lambda$. The model of this type, although in a more general version, was examined in our previous papers, where we have shown, among others, that the Markov process under consideration possesses a unique invariant probability measure, say $\nu_{\lambda}^*$. The aim of this paper is to prove that the map $\lambda\mapsto\nu_{\lambda}^*$ is continuous (in the topology of weak convergence of probability measures). The studied dynamical system is inspired by certain stochastic models for cell division and gene expression.


title: Multitask Classification and Segmentation for Cancer Diagnosis in Mammography

abstract: Annotation cost is a bottleneck for collecting massive data in mammography, especially for training deep neural networks. In this paper, we study the use of heterogeneous levels of annotation granularity to improve predictive performances. More precisely, we introduce a multi-task learning scheme for training convolutional neural network (ConvNets), which combines segmentation and classification, using image-level and pixel-level annotations. In this way, different objectives can be used to regularize training by sharing intermediate deep representations. Successful experiments are carried out on the Digital Database of Screening Mammography (DDSM) to validate the relevance of the proposed approach.


title: Interactive Fiction Games: A Colossal Adventure

abstract: A hallmark of human intelligence is the ability to understand and communicate with language. Interactive Fiction games are fully text-based simulation environments where a player issues text commands to effect change in the environment and progress through the story. We argue that IF games are an excellent testbed for studying language-based autonomous agents. In particular, IF games combine challenges of combinatorial action spaces, language understanding, and commonsense reasoning. To facilitate rapid development of language-based agents, we introduce Jericho, a learning environment for man-made IF games and conduct a comprehensive study of text-agents across a rich set of games, highlighting directions in which agents can improve.


title: Dp and other minimalities

abstract: A first order expansion of $(\mathbb{R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, $p$-adic fields, ordered abelian groups with only finitely many convex subgroups (in articular archimedean ordered abelian groups), and abelian groups equipped with archimedean cyclic group orders. The latter allows us to describe unary definable sets in dp-minimal expansions of $(\mathbb{Z},+,C)$, where $C$ is a cyclic group order. Along the way we describe unary definable sets in dp-minimal expansions of ordered abelian groups. In the last section we give a canonical correspondence between dp-minimal expansions of $(\mathbb{Q},+,<)$ and o-minimal expansions $\mathcal{R}$ of $(\mathbb{R},+,<)$ such that $(\mathcal{R},\mathbb{Q})$ is a "dense pair".


title: Role of vector channel in different classes of (non) magnetized neutron stars

abstract: We study how the magnetic field and non-standard vector channels affect hadronic, quarkionic and hybrid stars. In the hadronic phase, we use the QHD model, within its standard $\sigma\omega\rho$ mesons, and compare the results with the ones obtained with the inclusion of the strangeness hidden $\phi$ meson. In the quark phase, we use the standard SU(3) NJL and compare the results with the version that takes into account the vector channel $G_v(\bar{\psi}\gamma^\mu\psi)$. Magnetic fields are taken into account via chaotic magnetic field approximation.


title: Improving Robustness of ReRAM-based Spiking Neural Network Accelerator with Stochastic Spike-timing-dependent-plasticity

abstract: Spike-timing-dependent-plasticity (STDP) is an unsupervised learning algorithm for spiking neural network (SNN), which promises to achieve deeper understanding of human brain and more powerful artificial intelligence. While conventional computing system fails to simulate SNN efficiently, process-in-memory (PIM) based on devices such as ReRAM can be used in designing fast and efficient STDP based SNN accelerators, as it operates in high resemblance with biological neural network. However, the real-life implementation of such design still suffers from impact of input noise and device variation. In this work, we present a novel stochastic STDP algorithm that uses spiking frequency information to dynamically adjust synaptic behavior. The algorithm is tested in pattern recognition task with noisy input and shows accuracy improvement over deterministic STDP. In addition, we show that the new algorithm can be used for designing a robust ReRAM based SNN accelerator that has strong resilience to device variation.


title: Relaxed Actor-Critic with Convergence Guarantees for Continuous-Time Optimal Control of Nonlinear Systems

abstract: This paper presents the Relaxed Continuous-Time Actor-critic (RCTAC) algorithm, a method for finding the nearly optimal policy for nonlinear continuous-time (CT) systems with known dynamics and infinite horizon, such as the path-tracking control of vehicles. RCTAC has several advantages over existing adaptive dynamic programming algorithms for CT systems. It does not require the ``admissibility" of the initialized policy or the input-affine nature of controlled systems for convergence. Instead, given any initial policy, RCTAC can converge to an admissible, and subsequently nearly optimal policy for a general nonlinear system with a saturated controller. RCTAC consists of two phases: a warm-up phase and a generalized policy iteration phase. The warm-up phase minimizes the square of the Hamiltonian to achieve admissibility, while the generalized policy iteration phase relaxes the update termination conditions for faster convergence. The convergence and optimality of the algorithm are proven through Lyapunov analysis, and its effectiveness is demonstrated through simulations and real-world path-tracking tasks.


title: Constraining the doability of relativistic quantum tasks

abstract: We show within the framework of relativistic quantum tasks that the doability of any task is fully determined by a small subset of its parameters that we call its "coarse causal structure", as well as the distributed computation it aims to accomplish. We do this by making rigorous the notion of a protocol using a structure known as a spacetime circuit, which describes how a computation is preformed across a region of spacetime. Using spacetime circuits we show that any protocol that can accomplish a given task can, without changing its doability, undergo significant geometric modifications such as changing the background spacetime and moving the location of input and output points, so long as the coarse causal structure of the task is maintained. Besides giving a powerful tool for determining the doability of a task, our results strengthen the no-go theorem for position based quantum cryptography to include arbitrary sending and receiving of signals by verifier agents outside the authentication region. They also serve as a consistency check for the holographic principle by showing that discrepancies between bulk and boundary causal structure can not cause a task to be doable in one but not the other.


title: Stabilizing Homogeneous Black Strings in AdS

abstract: It is known that homogenous black strings in flat spacetime are unstable under long wavelength perturbations. Recently, by including scalar fields that depend on the extended coordinates only, homogenous black strings have been constructed in the presence of a negative cosmological constant, therefore implying that generic perturbations will contain both metric and scalar fluctuations. Here we show that for such generic perturbations homogeneous black strings with a negative cosmological constant are perturbatively stable at linear level, regardless the size of the Schwarzschild-AdS black hole located on the brane.


title: SuPer: A Surgical Perception Framework for Endoscopic Tissue Manipulation with Surgical Robotics

abstract: Traditional control and task automation have been successfully demonstrated in a variety of structured, controlled environments through the use of highly specialized modeled robotic systems in conjunction with multiple sensors. However, the application of autonomy in endoscopic surgery is very challenging, particularly in soft tissue work, due to the lack of high-quality images and the unpredictable, constantly deforming environment. In this work, we propose a novel surgical perception framework, SuPer, for surgical robotic control. This framework continuously collects 3D geometric information that allows for mapping a deformable surgical field while tracking rigid instruments within the field. To achieve this, a model-based tracker is employed to localize the surgical tool with a kinematic prior in conjunction with a model-free tracker to reconstruct the deformable environment and provide an estimated point cloud as a mapping of the environment. The proposed framework was implemented on the da Vinci Surgical System in real-time with an end-effector controller where the target configurations are set and regulated through the framework. Our proposed framework successfully completed soft tissue manipulation tasks with high accuracy. The demonstration of this novel framework is promising for the future of surgical autonomy. In addition, we provide our dataset for further surgical research.


title: Minimum firing times of firing squad synchronization problems for paths in grid spaces

abstract: We consider the firing squad synchronization problems for paths in the two and the three-dimensional grid spaces. Minimal-time solutions of these problems are not known and are unlikely to exist. However, at present we have no proofs of their nonexistence. In this paper we show one result that suggests what type of study is necessary in order to prove their nonexistence.


title: Tentative Detection of the Circumgalactic Medium of the Isolated Low-Mass Dwarf Galaxy WLM

abstract: We report a tentative detection of the circumgalactic medium (CGM) of WLM, an isolated, low-mass (log$M_*/M_\odot\approx7.6$), dwarf irregular galaxy in the Local Group (LG). We analyze an HST/COS archival spectrum of a quasar sightline (PHL2525), which is 45 kpc (0.5 virial radius) from WLM and close to the Magellanic Stream (MS). Along this sightline, two ion absorbers are detected in Si II, Si III, Si IV, C II, and C IV at velocities of $\sim$-220 km s$^{-1}$ (Component v-220) and $\sim$-150 km s$^{-1}$ (Component v-150). To identify their origins, we study the position-velocity alignment of the components with WLM and the nearby MS. Near the Magellanic longitude of PHL2525, the MS-related neutral and ionized gas moves at $\lesssim-190$ km s$^{-1}$, suggesting an MS origin for Component v-220, but not for Component v-150. Because PHL2525 passes near WLM and Component v-150 is close to WLM's systemic velocity ($\sim$-132 km s$^{-1}$), it is likely that Component v-150 arises from the galaxy's CGM. This results in a total Si mass in WLM's CGM of $M_{\rm Si}^{\rm CGM}\sim(0.2-1.0)\times10^5~M_\odot$ using assumption from other COS dwarf studies. Comparing $M_{\rm Si}^{\rm CGM}$ to the total Si mass synthesized in WLM over its lifetime ($\sim$1.3$\times10^5~M_\odot$), we find $\sim$3% is locked in stars, $\sim$6% in the ISM, $\sim$15%-77% in the CGM, and the rest ($\sim$14%-76%) is likely lost beyond the virial radius. Our finding resonates with other COS dwarf galaxy studies and theoretical predictions that low-mass galaxies can easily lose metals into their CGM due to stellar feedback and shallow gravitational potential.


title: The firing squad synchronization problem for squares with holes

abstract: The firing squad synchronization problem (FSSP, for short) is a problem in automata theory introduced in 1957 by John Myhill. Its goal is to design a finite automaton A such that, if copies of A are placed in a line and connected and are started at time 0 with their leftmost copy in a special triggering state, then at some time (the "firing time") all copies enter a special "firing state" simultaneously for the first time. FSSP has many variations and for many of them we know minimal-time solutions (solutions having shortest firing time). One of such variations is the FSSP for squares (denoted by SQ) in which copies are placed in a square. In this paper we introduce a variation which we call the FSSP for squares with k holes and denote by SH[k] by slightly modifying SQ (k >= 1). In the variation, copies of a finite automaton are placed in a square but there are k positions ("holes") in the square where no copies are placed. We show that SH[1] has a minimal-time solution. Moreover, for each problem instance (a placement of copies in a square) C of SH[2], we determine the minimum firing time of C (the minimum value of firing times of C by A where A ranges over all solutions of SH[2]). The variation SQ was introduced and its minimal-time solutions were found in 1970's. However, to find minimal-time solutions of SH[k], a very simple modification of SQ, seems to be a very difficult and challenging problem for k >= 2.


title: A Survey of DevOps Concepts and Challenges

abstract: DevOps is a collaborative and multidisciplinary organizational effort to automate continuous delivery of new software updates while guaranteeing their correctness and reliability. The present survey investigates and discusses DevOps challenges from the perspective of engineers, managers, and researchers. We review the literature and develop a DevOps conceptual map, correlating the DevOps automation tools with these concepts. We then discuss their practical implications for engineers, managers, and researchers. Finally, we critically explore some of the most relevant DevOps challenges reported by the literature.


title: Learning-Guided Network Fuzzing for Testing Cyber-Physical System Defences

abstract: The threat of attack faced by cyber-physical systems (CPSs), especially when they play a critical role in automating public infrastructure, has motivated research into a wide variety of attack defence mechanisms. Assessing their effectiveness is challenging, however, as realistic sets of attacks to test them against are not always available. In this paper, we propose smart fuzzing, an automated, machine learning guided technique for systematically finding 'test suites' of CPS network attacks, without requiring any knowledge of the system's control programs or physical processes. Our approach uses predictive machine learning models and metaheuristic search algorithms to guide the fuzzing of actuators so as to drive the CPS into different unsafe physical states. We demonstrate the efficacy of smart fuzzing by implementing it for two real-world CPS testbeds---a water purification plant and a water distribution system---finding attacks that drive them into 27 different unsafe states involving water flow, pressure, and tank levels, including six that were not covered by an established attack benchmark. Finally, we use our approach to test the effectiveness of an invariant-based defence system for the water treatment plant, finding two attacks that were not detected by its physical invariant checks, highlighting a potential weakness that could be exploited in certain conditions.


title: Design of a High Step-up DC-DC Power Converter with Voltage Multiplier Cells and Reduced Losses on Semiconductors for Photovoltaic Systems

abstract: A high step up dc dc converter based on an isolated dc dc converter with voltage multiplier cells for photovoltaic systems is essentially introduced in this paper. The proposed converter can provide a high step up voltage gain. The switch voltage stress and losses on semiconductors are significantly reduced through this work. Furthermore, the proposed converter can reliably offer and provide continuous input current which can be basically used for integrating photovoltaic systems to convert 30 V to 480 V dc bus. The ripple on the input current is minimized due to the isolated converter, and the proposed converter is fed by a single input voltage. The operation modes and the characteristics of the aforementioned converter are thoroughly analyzed. The components selection, simulation results and experiment results are mainly verified by using MATALB Simulink. Consequently, a 360 W hardware prototype is implemented to validate the design and the theory.


title: Toward a quantum theory of gravity: Syracuse 1949-1962

abstract: Peter Bergmann and his students embarked in 1949 on a mainly canonical quantization program whose aim was to take into account the underlying four-dimensional diffeomorphism symmetry in the transition from a Lagrangian to a Hamiltonian formulation of Einstein's theory. They argued that even though one seemed to destroy the full covariance through the focus on a temporal foliation of spacetime, this loss was illusory. Early on they convinced themselves that only the construction of classical invariants could adequately reflect the fully relativistic absence of physical meaning of spacetime coordinates. Efforts were made by Bergmann students Newman and Janis to construct these classical invariants. Then in the late 1950's Bergmann and Komar proposed a comprehensive program in which classical invariants could be constructed using the spacetime geometry itself to fix intrinsic spacetime landmarks. At roughly the same time Dirac formulated a new criterion for identifying initial phase space variables, one of whose consequences was that Bergmann himself abandoned the gravitational lapse and shift as canonical variables. Furthermore, Bergmann in 1962 interpreted the Dirac formalism as altering the very nature of diffeomorphism symmetry. One class of infinitesimal diffeomorphism was to be understood as depending on the perpendicular to the given temporal foliation. Thus even within the Bergmann school program the preservation of the full four-dimensional symmetry in the Hamiltonian program became problematic. Indeed, the ADM and associated Wheeler-DeWitt program that gained and has retained prominence since this time abandoned the full symmetry. There do remain dissenters - raising the question whether the field of quantum gravity has witnessed a Renaissance in the ensuing decades - or might the full four-dimensional symmetry yet be reborn?


title: Graphene-based Josephson junction microwave bolometer

abstract: Sensitive microwave detectors are critical instruments in radioastronomy, dark matter axion searches, and superconducting quantum information science. The conventional strategy towards higher-sensitivity bolometry is to nanofabricate an ever-smaller device to augment the thermal response. However, this direction is increasingly more difficult to obtain efficient photon coupling and maintain the material properties in a device with a large surface-to-volume ratio. Here we advance this concept to an ultimately thin bolometric sensor based on monolayer graphene. To utilize its minute electronic specific heat and thermal conductivity, we develop a superconductor-graphene-superconductor (SGS) Josephson junction bolometer embedded in a microwave resonator of resonant frequency 7.9 GHz with over 99\% coupling efficiency. From the dependence of the Josephson switching current on the operating temperature, charge density, input power, and frequency, we demonstrate a noise equivalent power (NEP) of 7 $\times 10^{-19}$ W/Hz$^{1/2}$, corresponding to an energy resolution of one single photon at 32 GHz and reaching the fundamental limit imposed by intrinsic thermal fluctuation at 0.19 K.

categories: cond-mat.mes-hall astro-ph.IM cond-mat.mtrl-sci cond-mat.supr-con quant-ph


title: Time-weighted Attentional Session-Aware Recommender System

abstract: Session-based Recurrent Neural Networks (RNNs) are gaining increasing popularity for recommendation task, due to the high autocorrelation of user's behavior on the latest session and the effectiveness of RNN to capture the sequence order information. However, most existing session-based RNN recommender systems still solely focus on the short-term interactions within a single session and completely discard all the other long-term data across different sessions. While traditional Collaborative Filtering (CF) methods have many advanced research works on exploring long-term dependency, which show great value to be explored and exploited in deep learning models. Therefore, in this paper, we propose ASARS, a novel framework that effectively imports the temporal dynamics methodology in CF into session-based RNN system in DL, such that the temporal info can act as scalable weights by a parallel attentional network. Specifically, we first conduct an extensive data analysis to show the distribution and importance of such temporal interactions data both within sessions and across sessions. And then, our ASARS framework promotes two novel models: (1) an inter-session temporal dynamic model that captures the long-term user interaction for RNN recommender system. We integrate the time changes in session RNN and add user preferences as model drifting; and (2) a novel triangle parallel attention network that enhances the original RNN model by incorporating time information. Such triangle parallel network is also specially designed for realizing data argumentation in sequence-to-scalar RNN architecture, and thus it can be trained very efficiently. Our extensive experiments on four real datasets from different domains demonstrate the effectiveness and large improvement of ASARS for personalized recommendation.


title: Force-based Algorithm for Motion Planning of Large Agent Teams

abstract: This paper presents a distributed, efficient, scalable and real-time motion planning algorithm for a large group of agents moving in 2 or 3-dimensional spaces. This algorithm enables autonomous agents to generate individual trajectories independently with only the relative position information of neighboring agents. Each agent applies a force-based control that contains two main terms: collision avoidance and navigational feedback. The first term keeps two agents separate with a certain distance, while the second term attracts each agent toward its goal location. Compared with existing collision-avoidance algorithms, the proposed force-based motion planning (FMP) algorithm is able to find collision-free motions with lower transition time, free from velocity state information of neighbouring agents. It leads to less computational overhead. The performance of proposed FMP is examined over several dense and complex 2D and 3D benchmark simulation scenarios, with results outperforming existing methods.


title: Cascade Size Distributions: Why They Matter and How to Compute Them Efficiently

abstract: Cascade models are central to understanding, predicting, and controlling epidemic spreading and information propagation. Related optimization, including influence maximization, model parameter inference, or the development of vaccination strategies, relies heavily on sampling from a model. This is either inefficient or inaccurate. As alternative, we present an efficient message passing algorithm that computes the probability distribution of the cascade size for the Independent Cascade Model on weighted directed networks and generalizations. Our approach is exact on trees but can be applied to any network topology. It approximates locally tree-like networks well, scales to large networks, and can lead to surprisingly good performance on more dense networks, as we also exemplify on real world data.


title: Deep User Identification Model with Multiple Biometrics

abstract: Identification using biometrics is an important yet challenging task. Abundant research has been conducted on identifying personal identity or gender using given signals. Various types of biometrics such as electrocardiogram (ECG), electroencephalogram (EEG), face, fingerprint, and voice have been used for these tasks. Most research has only focused on single modality or a single task, while the combination of input modality or tasks is yet to be investigated. In this paper, we propose deep identification and gender classification using multimodal biometrics. Our model uses ECG, fingerprint, and facial data. It then performs two tasks: gender identification and classification. By engaging multi-modality, a single model can handle various input domains without training each modality independently, and the correlation between domains can increase its generalization performance on the tasks.


title: The Global Markov Property for a Mixture of DAGs

abstract: Real causal processes may contain feedback loops and change over time. In this paper, we model cycles and non-stationary distributions using a mixture of directed acyclic graphs (DAGs). We then study the conditional independence (CI) relations induced by a density that factorizes according to a mixture of DAGs in two steps. First, we generalize d-separation for a single DAG to mixture d-separation for a mixture of DAGs. We then utilize the mixture d-separation criterion to derive a global Markov property that allows us to read off the CI relations induced by a mixture of DAGs using a particular summary graph. This result has potentially far reaching applications in algorithm design for causal discovery.


title: Algorithmic Versatility of SPF-regularization Methods

abstract: Sparsity promoting functions (SPFs) are commonly used in optimization problems to find solutions which are assumed or desired to be sparse in some basis. For example, the l1-regularized variation model and the Rudin-Osher-Fatemi total variation (ROF-TV) model are some of the most well-known variational models for signal and image denoising, respectively. However, recent work demonstrates that convexity is not always desirable in sparsity promoting functions. In this paper, we replace convex SPFs with their induced nonconvex SPFs and develop algorithms for the resulting model by exploring the intrinsic structures of the nonconvex SPFs. We also present simulations illustrating the performance of the SPF and the developed algorithms in image denoising.


title: A refined determinantal inequality for correlation matrices

abstract: Olkin [3] obtained a neat upper bound for the determinant of a correlation matrix. In this note, we present an extension and improvement of his result.


title: Speculative Beam Search for Simultaneous Translation

abstract: Beam search is universally used in full-sentence translation but its application to simultaneous translation remains non-trivial, where output words are committed on the fly. In particular, the recently proposed wait-k policy (Ma et al., 2019a) is a simple and effective method that (after an initial wait) commits one output word on receiving each input word, making beam search seemingly impossible. To address this challenge, we propose a speculative beam search algorithm that hallucinates several steps into the future in order to reach a more accurate decision, implicitly benefiting from a target language model. This makes beam search applicable for the first time to the generation of a single word in each step. Experiments over diverse language pairs show large improvements over previous work.


title: There are no universal ternary quadratic forms over biquadratic fields

abstract: We study totally positive definite quadratic forms over the ring of integers $\mathcal{O}_K$ of a totally real biquadratic field $K=\mathbb{Q}(\sqrt{m}, \sqrt{s})$. We restrict our attention to classical forms (i.e., those with all non-diagonal coefficients in $2\mathcal{O}_K$) and prove that no such forms in three variables are universal (i.e., represent all totally positive elements of $\mathcal{O}_K$). This provides further evidence towards Kitaoka's conjecture that there are only finitely many number fields over which such forms exist. One of our main tools are additively indecomposable elements of $\mathcal{O}_K$; we prove several new results about their properties.


title: PittPack: An Open-Source Poisson's Equation Solver for Extreme-Scale Computing with Accelerators

abstract: We present a parallel implementation of a direct solver for the Poisson's equation on extreme-scale supercomputers with accelerators. We introduce a chunked-pencil decomposition as the domain-decomposition strategy to distribute work among processing elements to achieve superior scalability at large number of accelerators. Chunked-pencil decomposition enables overlapping nodal communication and data transfer between the central processing units (CPUs) and the graphics processing units (GPUs). Second, it improves data locality by keeping neighboring elements in adjacent memory locations. Third, it allows usage of shared-memory for certain segments of the algorithm when possible, and last but not least, it enables contiguous message transfer among the nodes. Two different communication patterns are designed. The fist pattern aims to fully overlap the communication with data transfer and designed for speedup of overall turnaround time, whereas the second method concentrates on low memory usage and is more network friendly for computations at extreme scale. To ensure software portability, we interleave OpenACC with MPI in the software. The numerical solution and its formal second order of accuracy is verified using method of manufactured solutions for various combinations of boundary conditions. Weak scaling analysis is performed using up to 1.1 trillion Cartesian mesh points using 16384 GPUs on a petascale leadership class supercomputer.


title: VizSeq: A Visual Analysis Toolkit for Text Generation Tasks

abstract: Automatic evaluation of text generation tasks (e.g. machine translation, text summarization, image captioning and video description) usually relies heavily on task-specific metrics, such as BLEU and ROUGE. They, however, are abstract numbers and are not perfectly aligned with human assessment. This suggests inspecting detailed examples as a complement to identify system error patterns. In this paper, we present VizSeq, a visual analysis toolkit for instance-level and corpus-level system evaluation on a wide variety of text generation tasks. It supports multimodal sources and multiple text references, providing visualization in Jupyter notebook or a web app interface. It can be used locally or deployed onto public servers for centralized data hosting and benchmarking. It covers most common n-gram based metrics accelerated with multiprocessing, and also provides latest embedding-based metrics such as BERTScore.


title: $L(p,q)$-Labeling of Graphs with Interval Representations

abstract: We provide upper bounds on the $L(p,q)$-labeling number of graphs which have interval (or circular-arc) representations via simple greedy algorithms. We prove that there exists an $L(p,q)$-labeling with span at most $\max\{2(p+q-1)\Delta-4q+2, (2p-1)\mu+(2q-1)\Delta-2q+1\}$ for interval $k$-graphs, $\max\{p,q\}\Delta$ for interval graphs, $3\max\{p,q\}\Delta+p$ for circular-arc graphs, $2(p+q-1)\Delta-2q+1$ for permutation graphs and $(2p-1)\Delta+(2q-1)(\mu-1)$ for cointerval graphs. In particular, these improve existing bounds on $L(p,q)$-labeling of interval graphs and $L(2,1)$-labeling of permutation graphs. Furthermore, we provide upper bounds on the coloring of the squares of aforementioned classes.


title: Tactile-Based Insertion for Dense Box-Packing

abstract: We study the problem of using high-resolution tactile sensors to control the insertion of objects in a box-packing scenario. We propose a new system based on a tactile sensor GelSlim for the dense packing task. In this paper, we propose an insertion strategy that leverages tactile sensing to: 1) safely probe the box with the grasped object while monitoring incipient slip to maintain a stable grasp on the object. 2) estimate and correct for residual position uncertainties to insert the object into a designated gap without disturbing the environment. Our proposed methodology is based on two neural networks that estimate the error direction and error magnitude, from a stream of tactile imprints, acquired by two GelSlim fingers, during the insertion process. The system is trained on four objects with basic geometric shapes, which we show generalizes to four other common objects. Based on the estimated positional errors, a heuristic controller iteratively adjusts the position of the object and eventually inserts it successfully without requiring prior knowledge of the geometry of the object. The key insight is that dense tactile feedback contains useful information with respect to the contact interaction between the grasped object and its environment. We achieve high success rate and show that unknown objects can be inserted with an average of 6 attempts of the probe-correct loop. The method's ability to generalize to novel objects makes it a good fit for box packing in warehouse automation.


title: Hyperbolic hybrid waves and optical topological transitions in few-layer anisotropic metasurfaces

abstract: A comprehensive analysis of hybrid TM-TE polarized surface electromagnetic waves supported by different few-layer anisotropic metasurfaces is presented. A generalized 4$\times$4 T-matrix formalism for arbitrary anisotropic 2D layers is developed, from which the general relations for the surface waves dispersions and scattering coefficients are deduced. Using this formalism and the effective conductivity approach, the dispersions and iso-frequency contours (IFCs) topology of the surface waves in various hybrid uniaxial metasurfaces are studied. The existence of hyperbolic plasmon-exciton polaritons in plasmon-exciton hybrids and hyperbolic acoustic waves with strong confinement in both out-of-plane and in-plane directions in uniaxial plasmonic bilayers are predicted. In plasmonic uniaxial metasurfaces on metal films, the elliptic and hyperbolic backward surface waves with negative group velocity are predicted and additional topological transitions in both elliptic and hyperbolic IFCs of the hybrid surface waves are revealed. Ultrathin twisted uniaxial plasmonic bilayers are proposed as systems with the IFCs topological transitions highly sensitive to the layers twist. The developed formalism may become a useful tool in the calculation of multifunctional few-layer metasurfaces or van der Waals heterostructures based on 2D materials with in-plane anisotropy, where the TM-TE polarization mixing must be considered. The predicted effects may open new horizons in the development and applications of planar optical technologies.


title: Bayesian Model Calibration for Extrapolative Prediction via Gibbs Posteriors

abstract: The current standard Bayesian approach to model calibration, which assigns a Gaussian process prior to the discrepancy term, often suffers from issues of unidentifiability and computational complexity and instability. When the goal is to quantify uncertainty in physical parameters for extrapolative prediction, then there is no need to perform inference on the discrepancy term. With this in mind, we introduce Gibbs posteriors as an alternative Bayesian method for model calibration, which updates the prior with a loss function connecting the data to the parameter. The target of inference is the physical parameter value which minimizes the expected loss. We propose to tune the loss scale of the Gibbs posterior to maintain nominal frequentist coverage under assumptions of the form of model discrepancy, and present a bootstrap implementation for approximating coverage rates. Our approach is highly modular, allowing an analyst to easily encode a wide variety of such assumptions. Furthermore, we provide a principled method of combining posteriors calculated from data subsets. We apply our methods to data from an experiment measuring the material properties of tantalum.


title: Detection and Classification of UAVs Using RF Fingerprints in the Presence of Interference

abstract: This paper investigates the problem of detection and classification of unmanned aerial vehicles (UAVs) in the presence of wireless interference signals using a passive radio frequency (RF) surveillance system. The system uses a multistage detector to distinguish signals transmitted by a UAV controller from the background noise and interference signals. First, RF signals from any source are detected using a Markov models-based na\"ive Bayes decision mechanism. When the receiver operates at a signal-to-noise ratio (SNR) of 10 dB, and the threshold, which defines the states of the models, is set at a level 3.5 times the standard deviation of the preprocessed noise data, a detection accuracy of 99.8% with a false alarm rate of 2.8% is achieved. Second, signals from Wi-Fi and Bluetooth emitters, if present, are detected based on the bandwidth and modulation features of the detected RF signal. Once the input signal is identified as a UAV controller signal, it is classified using machine learning (ML) techniques. Fifteen statistical features extracted from the energy transients of the UAV controller signals are fed to neighborhood component analysis (NCA), and the three most significant features are selected. The performance of the NCA and five different ML classifiers are studied for 15 different types of UAV controllers. A classification accuracy of 98.13% is achieved by k-nearest neighbor classifier at 25 dB SNR. Classification performance is also investigated at different SNR levels and for a set of 17 UAV controllers which includes two pairs from the same UAV controller models.


title: New Formulation of Mixed-Integer Conic Programming for Globally Optimal Grasp Planning

abstract: We present a two-level branch-and-bound (BB) algorithm to compute the optimal gripper pose that maximizes a grasp metric in a restricted search space. Our method can take the gripper's kinematics feasibility into consideration to ensure that a given gripper can reach the set of grasp points without collisions or predict infeasibility with finite-time termination when no pose exists for a given set of grasp points. Our main technical contribution is a novel mixed-integer conic programming (MICP) formulation for the inverse kinematics of the gripper that uses a small number of binary variables and tightened constraints, which can be efficiently solved via a low-level BB algorithm. Our experiments show that optimal gripper poses for various target objects can be computed taking 20-180 minutes of computation on a desktop machine and the computed grasp quality, in terms of the Q1 metric, is better than those generated using sampling-based planners.


title: On the multiplicity and regularity index of toric curves

abstract: In this note we revisit the problem of determining combinatorially the multiplicity at the origin of a toric curve. In addition, we give the exact value of the regularity index of that point for plane toric curves and effective bounds for this number for arbitrary toric curves.


title: Visualizable Detection of Nanoscale Perturbations

abstract: Using light to non-destructively detect nanoscale perturbations is vital to many fields including material characterization, human disease diagnosis, and semiconductor electronics. In this work, we introduce the concepts of electromagnetic canyons and non-resonance amplification and apply them on a conventional diffraction-limited optical microscope to directly view individual perturbations (25-nm radius = wavelength/31) in a nanoscale volume. Considering the extensive impact of microscopy on scientific discovery and technology development, our noninvasive imaging-based method with deep subwavelength footprint will have far-reaching consequences that will affect our everyday lives.


title: A comparison of some conformal quantile regression methods

abstract: We compare two recently proposed methods that combine ideas from conformal inference and quantile regression to produce locally adaptive and marginally valid prediction intervals under sample exchangeability (Romano et al., 2019; Kivaranovic et al., 2019). First, we prove that these two approaches are asymptotically efficient in large samples, under some additional assumptions. Then we compare them empirically on simulated and real data. Our results demonstrate that the method in Romano et al. (2019) typically yields tighter prediction intervals in finite samples. Finally, we discuss how to tune these procedures by fixing the relative proportions of observations used for training and conformalization.