title: SegNAS3D: Network Architecture Search with Derivative-Free Global Optimization for 3D Image Segmentation

abstract: Deep learning has largely reduced the need for manual feature selection in image segmentation. Nevertheless, network architecture optimization and hyperparameter tuning are mostly manual and time consuming. Although there are increasing research efforts on network architecture search in computer vision, most works concentrate on image classification but not segmentation, and there are very limited efforts on medical image segmentation especially in 3D. To remedy this, here we propose a framework, SegNAS3D, for network architecture search of 3D image segmentation. In this framework, a network architecture comprises interconnected building blocks that consist of operations such as convolution and skip connection. By representing the block structure as a learnable directed acyclic graph, hyperparameters such as the number of feature channels and the option of using deep supervision can be learned together through derivative-free global optimization. Experiments on 43 3D brain magnetic resonance images with 19 structures achieved an average Dice coefficient of 82%. Each architecture search required less than three days on three GPUs and produced architectures that were much smaller than the state-of-the-art manually created architectures.


title: Bayesian optimization of a free-electron laser

abstract: The Linac Coherent Light Source changes configurations multiple times per day, necessitating fast tuning strategies to reduce setup time for successive experiments. To this end, we employ a Bayesian approach to transport optics tuning to optimize groups of quadrupole magnets. We use a Gaussian process to provide a probabilistic model of the machine response with respect to control parameters from a modest number of samples. Subsequent samples are selected during optimization using a statistical test combining the model prediction and uncertainty. The model parameters are fit from archived scans, and correlations between devices are added from a simple beam transport model. The result is a sample-efficient optimization routine, which we show significantly outperforms existing optimizers.


title: Quantitative Programming by Examples

abstract: Programming-by-Example (PBE) systems synthesize an intended program in some (relatively constrained) domain-specific language from a small number of input-output examples provided by the user. In this paper, we motivate and define the problem of quantitative PBE (qPBE) that relates to synthesizing an intended program over an underlying (real world) programming language that also minimizes a given quantitative cost function. We present a modular approach for solving qPBE that consists of three phases: intent disambiguation, global search, and local search. On two concrete objectives, namely program performance and size, our qPBE procedure achieves $1.53 X$ and $1.26 X$ improvement respectively over the baseline FlashFill PBE system, averaged over $701$ benchmarks. Our detailed experiments validate the design of our procedure and show the value of combining global and local search for qPBE.


title: Analysis of Regression Tree Fitting Algorithms in Learning to Rank

abstract: In learning to rank area, industry-level applications have been dominated by gradient boosting framework, which fits a tree using least square error principle. While in classification area, another tree fitting principle, weighted least square error, has been widely used, such as LogitBoost and its variants. However, there is a lack of analysis on the relationship between the two principles in the scenario of learning to rank. We propose a new principle named least objective loss based error that enables us to analyze the issue above as well as several important learning to rank models. We also implement two typical and strong systems and conduct our experiments in two real-world datasets. Experimental results show that our proposed method brings moderate improvements over least square error principle.


title: Learning Bayesian posteriors with neural networks for gravitational-wave inference

abstract: We seek to achieve the Holy Grail of Bayesian inference for gravitational-wave astronomy: using deep-learning techniques to instantly produce the posterior $p(\theta|D)$ for the source parameters $\theta$, given the detector data $D$. To do so, we train a deep neural network to take as input a signal + noise data set (drawn from the astrophysical source-parameter prior and the sampling distribution of detector noise), and to output a parametrized approximation of the corresponding posterior. We rely on a compact representation of the data based on reduced-order modeling, which we generate efficiently using a separate neural-network waveform interpolant [A. J. K. Chua, C. R. Galley & M. Vallisneri, Phys. Rev. Lett. 122, 211101 (2019)]. Our scheme has broad relevance to gravitational-wave applications such as low-latency parameter estimation and characterizing the science returns of future experiments. Source code and trained networks are available online at https://github.com/vallis/truebayes.


title: Interface Automata for Choreographies

abstract: Choreographic approaches to message-passing applications can be regarded as an instance of the model-driven development principles. Choreographies specify interactions among distributed participants coordinating among themselves with message-passing at two levels of abstractions. A global view of the application is specified with a model that abstracts away from asynchrony while a local view of the application specifies the communication pattern of each participant. Noteworthy, the latter view can typically be algorithmically obtained by projection of the global view. A crucial element of this approach is to verify the so-called well-formed conditions on global views so that its projections realise a sound communication protocol. We introduce a novel local model, group interface automata, to represent the local view of choreographies and propose a new method to verify the well-formedness of global choreographies. We rely on a recently proposed semantics of global views formalised in terms of pomsets.


title: Tracking Down the Bad Guys: Reset and Set Make Feasibility for Flip-Flop Net Derivatives NP-complete

abstract: Boolean Petri nets are differentiated by types of nets $\tau$ based on which of the interactions nop, inp, out, set, res, swap, used, and free they apply or spare. The synthesis problem relative to a specific type of nets $\tau$ is to find a boolean $\tau$-net $N$ whose reachability graph is isomorphic to a given transition system $A$. The corresponding decision version of this search problem is called feasibility. Feasibility is known to be polynomial for all types of flip flop derivates that contain at least the interactions nop, swap and an arbitrary selection of inp, out, used, free. In this paper, we replace inp and out by res and set, respectively, and show that feasibility becomes NP-complete for the types that contain nop, swap and a non empty selection of res, set and a non empty selection of used, free. The reduction guarantees a low degree for A's states and, thus, preserves hardness of feasibility even for considerable input restrictions.


title: A Note On Compliance Relations And Fixed Points

abstract: We study compliance relations between behavioural contracts in a syntax independent setting based on Labelled Transition Systems. We introduce a fix-point based family of compliance relations, and show that many compliance relations appearing in literature belong to this family.


title: Rusty Variation: Deadlock-free Sessions with Failure in Rust

abstract: Rusty Variation (RV) is a library for session-typed communication in Rust which offers strong compile-time correctness guarantees. Programs written using RV are guaranteed to respect a specified protocol, and are guaranteed to be free from deadlocks and races.


title: Towards Gradually Typed Capabilities in the Pi-Calculus

abstract: Gradual typing is an approach to integrating static and dynamic typing within the same language, and puts the programmer in control of which regions of code are type checked at compile-time and which are type checked at run-time. In this paper, we focus on the pi-calculus equipped with types for the modeling of input-output capabilities of channels. We present our preliminary work towards a gradually typed version of this calculus. We present a type system, a cast insertion procedure that automatically inserts run-time checks, and an operational semantics of a pi-calculus that handles casts on channels. Although we do not claim any theoretical results on our formulations, we demonstrate our calculus with an example and discuss our future plans.


title: Open Multiparty Sessions

abstract: Multiparty sessions are systems of concurrent processes, which allow several participants to communicate by sending and receiving messages. Their overall behaviour can be described by means of global types. Typable multiparty session enjoy lock-freedom. We look at multiparty sessions as open systems by a suitable definition of connection transforming compatible processes into gateways (forwarders). A relation resembling the standard subtyping relation for session types is used to formalise compatibility. We show that the session obtained by connection can be typed by manipulating the global types of the starting sessions. This allows us to prove that lock-freedom is preserved by connection.


title: Detecting Architectural Erosion using Runtime Verification

abstract: The architecture of a system captures important design decisions for the system. Over time, changes in a system's implementation may lead to violations of specific design decisions. This problem is common in industry and known as architectural erosion. Since it may have severe consequences on the quality of a system, research has focused on the development of tools and techniques to address the presented problem. As of today, most of the approaches to detect architectural erosion employ static analysis techniques. While these techniques are well-suited for the analysis of static architectures, they reach their limit when it comes to dynamic architectures. Thus, in this paper, we propose an alternative approach based on runtime verification. To this end, we propose a systematic way to translate a formal specification of architectural constraints to monitors, which can be used to detect violations of these constraints. The approach is implemented in Eclipse/EMF, demonstrated through a running example, and evaluated using two case studies.


title: On Learning Nominal Automata with Binders

abstract: We investigate a learning algorithm in the context of nominal automata, an extension of classical automata to alphabets featuring names. This class of automata captures nominal regular languages; analogously to the classical language theory, nominal automata have been shown to characterise nominal regular expressions with binders. These formalisms are amenable to abstract modelling resource-aware computations. We propose a learning algorithm on nominal regular languages with binders. Our algorithm generalises Angluin's L* algorithm with respect to nominal regular languages with binders. We show the correctness and study the theoretical complexity of our algorithm.


title: The Hofstadter Butterfly in a Dynamic Cavity-Induced Synthetic Magnetic Field

abstract: Energy bands of electrons in a square lattice potential threaded by a uniform magnetic field exhibit a fractal structure known as the Hofstadter butterfly. Here we study a Fermi gas in a 2D optical lattice within a linear cavity with a tilt along the cavity axis. The hopping along the cavity axis is only induced by resonant Raman scattering of transverse pump light into a standing wave cavity mode. Choosing a suitable pump geometry allows to realize the Hofstadter-Harper model with a cavity-induced dynamical synthetic magnetic field, which appears at the onset of the superradiant phase transition. The dynamical nature of this cavity-induced synthetic magnetic field arises from the delicate interplay between collective superradiant scattering and the underlying fractal band structure. Using a sixth-order expansion of the free energy as function of the order parameter and by numerical simulations we show that at low magnetic fluxes the superradiant ordering phase transition is first order, while it becomes second order for higher flux. The dynamic nature of the magnetic field induces a non-trivial deformation of the Hofstadter butterfly in the superradiant phase. At strong pump far above the self-ordering threshold we recover the Hofstadter butterfly one would obtain in a static magnetic field.


title: DyANE: Dynamics-aware node embedding for temporal networks

abstract: Low-dimensional vector representations of network nodes have proven successful to feed graph data to machine learning algorithms and to improve performance across diverse tasks. Most of the embedding techniques, however, have been developed with the goal of achieving dense, low-dimensional encoding of network structure and patterns. Here, we present a node embedding technique aimed at providing low-dimensional feature vectors that are informative of dynamical processes occurring over temporal networks -- rather than of the network structure itself -- with the goal of enabling prediction tasks related to the evolution and outcome of these processes. We achieve this by using a modified supra-adjacency representation of temporal networks and building on standard embedding techniques for static graphs based on random-walks. We show that the resulting embedding vectors are useful for prediction tasks related to paradigmatic dynamical processes, namely epidemic spreading over empirical temporal networks. In particular, we illustrate the performance of our approach for the prediction of nodes' epidemic states in a single instance of a spreading process. We show how framing this task as a supervised multi-label classification task on the embedding vectors allows us to estimate the temporal evolution of the entire system from a partial sampling of nodes at random times, with potential impact for nowcasting infectious disease dynamics.


title: Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation

abstract: Compression is an emerging source of exploitable side-channel leakage that threatens data security, particularly in web applications where compression is indispensable for performance reasons. Current approaches to mitigating compression side channels have drawbacks in that they either degrade compression ratio drastically or require too much effort from developers to be widely adopted. To bridge the gap, we develop Debreach, a static analysis and program transformation based approach to mitigating compression side channels. Debreach consists of two steps. First, it uses taint analysis to soundly identify flows of sensitive data in the program and uses code instrumentation to annotate data before feeding them to the compressor. Second, it enhances the compressor to exploit the freedom to not compress of standard compression protocols, thus removing the dependency between sensitive data and the size of the compressor's output. Since Debreach automatically instruments applications and does not change the compression protocols, it has the advantage of being non-disruptive and compatible with existing systems. We have evaluated Debreach on a set of web server applications written in PHP. Our experiments show that, while ensuring leakage-freedom, Debreach can achieve significantly higher compression performance than state-of-the-art approaches.


title: Near-equilibrium isotope fractionation during planetesimal evaporation

abstract: Silicon and Mg in differentiated rocky bodies exhibit heavy isotope enrichments that have been attributed to evaporation of partially or entirely molten planetesimals. We evaluate the mechanisms of planetesimal evaporation in the early solar system and the conditions that controlled attendant isotope fractionations. Energy balance at the surface of a body accreted within ~1 Myr of CAI formation and heated from within by 26Al decay results in internal temperatures exceeding the silicate solidus, producing a transient magma ocean with a thin surface boundary layer of order < 1 meter that would be subject to foundering. Bodies that are massive enough to form magma oceans by radioisotope decay (ge 0.1%) can retain hot rock vapor even in the absence of ambient nebular gas. We find that a steady-state rock vapor forms within minutes to hours and results from a balance between rates of magma evaporation and atmospheric escape. Vapor pressure buildup adjacent to the surfaces of the evaporating magmas would have inevitably led to an approach to equilibrium isotope partitioning between the vapor phase and the silicate melt. Numerical simulations of this near-equilibrium evaporation process for a body with a radius of ~ 700 km yield a steady-state far-field vapor pressure corresponding to 95% saturation. Approaches to equilibrium isotope fractionation between vapor and melt should have been the norm during planet formation due to the formation of steady-state rock vapor atmospheres and/or the presence of protostellar gas. We model the Si and Mg isotopic composition of bulk Earth and show that the best fit is for a carbonaceous chondrite-like source material with about 12% loss of Mg and 15% loss of Si resulting from near-equilibrium evaporation into the solar protostellar disk of hydrogen gas on timescales of 10,000 to 100,000 years.


title: Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification

abstract: This volume contains the proceedings of the Tenth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2019). The symposium took place in Bordeaux, France, from the 2nd to the 3rd of September 2010. The GandALF symposium was established by a group of Italian computer scientists interested in mathematical logic, automata theory, game theory, and their applications to the specification, design, and verification of complex systems. Its aim is to provide a forum where people from different areas, and possibly with different backgrounds, can fruitfully interact. GandALF has a truly international spirit, as witnessed by the composition of the program and steering committee and by the country distribution of the submitted papers.


title: Nobeyama 45-m mapping observations toward nearby molecular clouds, Orion A, Aquila Rift, and M17: Project overview

abstract: We carried out mapping observations toward three nearby molecular clouds, Orion A, Aquila Rift, and M17, using a new 100 GHz receiver, FOREST, on the Nobeyama 45-m telescope. In the present paper, we describe the details of the data obtained such as intensity calibration, data sensitivity, angular resolution, and velocity resolution. Each target contains at least one high-mass star-forming region. The target molecular lines were $^{12}$CO ($J = 1 - 0$), $^{13}$CO ($J = 1 - 0$), C$^{18}$O ($J = 1 - 0$), N$_2$H$^+$ ($J=1-0$), and CCS ($J_N=8_7-7_6$), with which we covered the density range of 10$^2$ cm$^{-3}$ to 10$^6$ cm$^{-3}$ with an angular resolution of $\sim 20\arcsec$ and a velocity resolution of $\sim$ 0.1 km s$^{-1}$. Assuming the representative distances of 414 pc, 436 pc, and 2.1 kpc, the maps of Orion A, Aquila Rift, and M17 cover most of the densest parts with areas of about 7 pc $\times$ 15 pc, 7 pc $\times$ 7 pc, and 36 pc $\times$ 18 pc, respectively. On the basis of the $^{13}$CO column density distribution, the total molecular masses are derived to be $3.86 \times 10^4 M_\odot$, $2.67 \times 10^4 M_\odot$, and $8.1\times 10^5 M_\odot$ for Orion A, Aquila Rift, and M17, respectively. For all the clouds, the H$_2$ column density exceeds the theoretical threshold for high-mass star formation of $\gtrsim$ 1 g cm$^{-2}$, only toward the regions which contain current high-mass star-forming sites. For other areas, further mass accretion or dynamical compression would be necessary for future high-mass star formation. This is consistent with the current star formation activity. Using the $^{12}$CO data, we demonstrate that our data have enough capability to identify molecular outflows, and for Aquila Rift, we identify 4 new outflow candidates. The scientific results will be discussed in details in separate papers.


title: Oracle complexity classes and local measurements on physical Hamiltonians

abstract: The canonical problem for the class Quantum Merlin-Arthur (QMA) is that of estimating ground state energies of local Hamiltonians. Perhaps surprisingly, [Ambainis, CCC 2014] showed that the related, but arguably more natural, problem of simulating local measurements on ground states of local Hamiltonians (APX-SIM) is likely harder than QMA. Indeed, [Ambainis, CCC 2014] showed that APX-SIM is P^QMA[log]-complete, for P^QMA[log] the class of languages decidable by a P machine making a logarithmic number of adaptive queries to a QMA oracle. In this work, we show that APX-SIM is P^QMA[log]-complete even when restricted to more physical Hamiltonians, obtaining as intermediate steps a variety of related complexity-theoretic results. We first give a sequence of results which together yield P^QMA[log]-hardness for APX-SIM on well-motivated Hamiltonians: (1) We show that for NP, StoqMA, and QMA oracles, a logarithmic number of adaptive queries is equivalent to polynomially many parallel queries. These equalities simplify the proofs of our subsequent results. (2) Next, we show that the hardness of APX-SIM is preserved under Hamiltonian simulations (a la [Cubitt, Montanaro, Piddock, 2017]). As a byproduct, we obtain a full complexity classification of APX-SIM, showing it is complete for P, P^||NP, P^||StoqMA, or P^||QMA depending on the Hamiltonians employed. (3) Leveraging the above, we show that APX-SIM is P^QMA[log]-complete for any family of Hamiltonians which can efficiently simulate spatially sparse Hamiltonians, including physically motivated models such as the 2D Heisenberg model. Our second focus considers 1D systems: We show that APX-SIM remains P^QMA[log]-complete even for local Hamiltonians on a 1D line of 8-dimensional qudits. This uses a number of ideas from above, along with replacing the "query Hamiltonian" of [Ambainis, CCC 2014] with a new "sifter" construction.


title: Homomorphisms of signed graphs: An update

abstract: A signed graph is a graph together with an assignment of signs to the edges. A closed walk in a signed graph is said to be positive (negative) if it has an even (odd) number of negative edges, counting repetition. Recognizing the signs of closed walks as one of the key structural properties of a signed graph, we define a homomorphism of a signed graph $(G,\sigma)$ to a signed graph $(H, \pi)$ to be a mapping of vertices and edges of $G$ to (respectively) vertices and edges of $H$ which preserves incidence, adjacency and the signs of closed walks. In this work we first give a characterization of the sets of closed walks in a graph $G$ that correspond to the set of negative walks in some signed graph on $G$. We also give an easy algorithm for the corresponding decision problem. After verifying the equivalence between this definition and earlier ones, we discuss the relation between homomorphisms of signed graphs and those of 2-edge-colored graphs. Next we provide some basic no-homomorphism lemmas. These lemmas lead to a general method of defining chromatic number which is discussed at length. Finally, we list a few problems that are the driving force behind the study of homomorphisms of signed graphs.


title: Content-Aware Unsupervised Deep Homography Estimation

abstract: Homography estimation is a basic image alignment method in many applications. It is usually conducted by extracting and matching sparse feature points, which are error-prone in low-light and low-texture images. On the other hand, previous deep homography approaches use either synthetic images for supervised learning or aerial images for unsupervised learning, both ignoring the importance of handling depth disparities and moving objects in real world applications. To overcome these problems, in this work we propose an unsupervised deep homography method with a new architecture design. In the spirit of the RANSAC procedure in traditional methods, we specifically learn an outlier mask to only select reliable regions for homography estimation. We calculate loss with respect to our learned deep features instead of directly comparing image content as did previously. To achieve the unsupervised training, we also formulate a novel triplet loss customized for our network. We verify our method by conducting comprehensive comparisons on a new dataset that covers a wide range of scenes with varying degrees of difficulties for the task. Experimental results reveal that our method outperforms the state-of-the-art including deep solutions and feature-based solutions.


title: High-energy emission from GRBs: 10 years with Fermi-LAT

abstract: In 2018, the Fermi mission celebrated its first decade of operation. In this time, the Large Area Telescope (LAT) has been very successful in detecting the high-energy emission (>100 MeV) from Gamma-Ray Bursts (GRBs). The analysis of particularly remarkable events - such as GRB 080916C, GRB 090510 and GRB 130427A - has been presented in dedicated publications. Here we present the results of a new systematic search for high-energy emission from the full sample of GRBs detected in 10 years by the Fermi Gamma-Ray Burst Monitor, as well as Swift, AGILE, Integral and IPN bursts, featuring a detection efficiency more than 50\%\ better than previous works, and returning 186 detections during 10 years of LAT observations. This milestone marks a vast improvement from the 35 events contained in the first LAT GRB catalog (covering the first 3 years of Fermi operations). We assess the characteristics of the GRB population at high energy with unprecedented sensitivity, covering aspects such as temporal properties, energetics and spectral index of the high-energy emission. Finally, we show how the LAT observations can be used to inform theory, in particular the prospects for very high-energy emission.


title: Ramsey Theory on Infinite Structures and the Method of Strong Coding Trees

abstract: This article discusses some recent trends in Ramsey theory on infinite structures. Trees and their Ramsey theory have been vital to these investigations. The main ideas behind the author's recent method of trees with coding nodes are presented, showing how they can be useful both for coding structures with forbidden configurations as well as those with none. Using forcing as a tool for finite searches has allowed the development of Ramsey theory on such trees, leading to solutions for finite big Ramsey degrees of Henson graphs as well as infinite dimensional Ramsey theory of copies of the Rado graph. Possible future directions for applications of these methods are discussed.


title: Constrained Pseudo-market Equilibrium

abstract: We propose a pseudo-market solution to resource allocation problems subject to constraints. Our treatment of constraints is general: including bihierarchical constraints due to considerations of diversity in school choice, or scheduling in course allocation; and other forms of constraints needed to model, for example, the market for roommates, and combinatorial assignment problems. Constraints give rise to pecuniary externalities, which are internalized via prices. Agents pay to the extent that their purchases affect the value of relevant constraints at equilibrium prices. The result is a constrained efficient market equilibrium outcome. The outcome is fair whenever the constraints do not single out individual agents. Our result can be extended to economies with endowments, and address participation constraints.


title: On the dual of variable Lebesgue spaces with unbounded exponent

abstract: We study the dual space of the variable Lebesgue space $\Lp$ with unbounded exponent function $\pp$ and provide an answer to a question posed in~[fiorenza-cruzuribe2013]. Our approach is to decompose the dual into a topological direct sum of Banach spaces. The first component corresponds to the dual in the bounded exponent case, and the second is, intuitively, the dual of functions that live where the exponent is unbounded (in a heuristic sense). The second space is extremely complicated, and we illustrate this with a series of examples. In the special case of the variable sequence space $\ell^\pp$, we show that this piece can be further decomposed into two spaces, one of which can be characterized in terms of a generalization of finitely additive measures. As part of our work, we also considered the question of dense subsets in $\Lp$ for unbounded exponents. We constructed two examples, one for general variable Lebesgue spaces $\Lp$ and one in the sequence space $\lp$. This gives an answer to another question from~[fiorenza-cruzuribe2013].


title: Independent sets in hypergraphs with a forbidden link

abstract: We give a probabilistic construction of a $3$-uniform hypergraph on $N$ vertices with independence number $O(\log N / \log \log N)$ in which there are at most two edges among any four vertices. This bound is tight and solves a longstanding open problem of Erd\H{o}s and Hajnal in Ramsey theory. We further extend this result to prove tight bounds on various other hypergraph Ramsey numbers.


title: Finite Depth and Width Corrections to the Neural Tangent Kernel

abstract: We prove the precise scaling, at finite depth and width, for the mean and variance of the neural tangent kernel (NTK) in a randomly initialized ReLU network. The standard deviation is exponential in the ratio of network depth to width. Thus, even in the limit of infinite overparameterization, the NTK is not deterministic if depth and width simultaneously tend to infinity. Moreover, we prove that for such deep and wide networks, the NTK has a non-trivial evolution during training by showing that the mean of its first SGD update is also exponential in the ratio of network depth to width. This is sharp contrast to the regime where depth is fixed and network width is very large. Our results suggest that, unlike relatively shallow and wide networks, deep and wide ReLU networks are capable of learning data-dependent features even in the so-called lazy training regime.


title: Robust Hierarchical MPC for Handling Long Horizon Demand Forecast Uncertainty with Application to Automotive Thermal Management

abstract: This paper presents a robust hierarchical MPC (H-MPC) for dynamic systems with slow states subject to demand forecast uncertainty. The H-MPC has two layers: (i) the scheduling MPC at the upper layer with a relatively long prediction/planning horizon and slow update rate, and (ii) the piloting MPC at the lower layer over a shorter prediction horizon with a faster update rate. The scheduling layer MPC calculates the optimal slow states, which will be tracked by the piloting MPC, while enforcing the system constraints according to a long-range and approximate prediction of the future demand/load, e.g., traction power demand for driving a vehicle. In this paper, to enhance the H-MPC robustness against the long-term demand forecast uncertainty, we propose to use the high-quality preview information enabled by the connectivity technology over the short horizon to modify the planned trajectories via a constraint tightening approach at the scheduling layer. Simulation results are presented for a simplified vehicle model to confirm the effectiveness of the proposed robust H-MPC framework in handling demand forecast uncertainty.


title: On Criteria about Estimation of the Riemann Zeta Function on the Line $\sigma=1$

abstract: In this paper we give criteria about estimation of derivatives of the Riemann Zeta Function on the line $\sigma=1$.


title: Center-Extraction-Based Three Dimensional Nuclei Instance Segmentation of Fluorescence Microscopy Images

abstract: Fluorescence microscopy is an essential tool for the analysis of 3D subcellular structures in tissue. An important step in the characterization of tissue involves nuclei segmentation. In this paper, a two-stage method for segmentation of nuclei using convolutional neural networks (CNNs) is described. In particular, since creating labeled volumes manually for training purposes is not practical due to the size and complexity of the 3D data sets, the paper describes a method for generating synthetic microscopy volumes based on a spatially constrained cycle-consistent adversarial network. The proposed method is tested on multiple real microscopy data sets and outperforms other commonly used segmentation techniques.


title: Twist left-veering open books, overtwistedness, looseness and virtual looseness

abstract: We introduce twist left-veering mapping classes of punctured surfaces. We prove that a twist left-veering open book supports an overtwisted contact structure and determine when the closed braid coming from the punctures is loose or virtually loose.


title: FoodTracker: A Real-time Food Detection Mobile Application by Deep Convolutional Neural Networks

abstract: We present a mobile application made to recognize food items of multi-object meal from a single image in real-time, and then return the nutrition facts with components and approximate amounts. Our work is organized in two parts. First, we build a deep convolutional neural network merging with YOLO, a state-of-the-art detection strategy, to achieve simultaneous multi-object recognition and localization with nearly 80% mean average precision. Second, we adapt our model into a mobile application with extending function for nutrition analysis. After inferring and decoding the model output in the app side, we present detection results that include bounding box position and class label in either real-time or local mode. Our model is well-suited for mobile devices with negligible inference time and small memory requirements with a deep learning algorithm.


title: Rethinking Zero-Shot Learning: A Conditional Visual Classification Perspective

abstract: Zero-shot learning (ZSL) aims to recognize instances of unseen classes solely based on the semantic descriptions of the classes. Existing algorithms usually formulate it as a semantic-visual correspondence problem, by learning mappings from one feature space to the other. Despite being reasonable, previous approaches essentially discard the highly precious discriminative power of visual features in an implicit way, and thus produce undesirable results. We instead reformulate ZSL as a conditioned visual classification problem, i.e., classifying visual features based on the classifiers learned from the semantic descriptions. With this reformulation, we develop algorithms targeting various ZSL settings: For the conventional setting, we propose to train a deep neural network that directly generates visual feature classifiers from the semantic attributes with an episode-based training scheme; For the generalized setting, we concatenate the learned highly discriminative classifiers for seen classes and the generated classifiers for unseen classes to classify visual features of all classes; For the transductive setting, we exploit unlabeled data to effectively calibrate the classifier generator using a novel learning-without-forgetting self-training mechanism and guide the process by a robust generalized cross-entropy loss. Extensive experiments show that our proposed algorithms significantly outperform state-of-the-art methods by large margins on most benchmark datasets in all the ZSL settings. Our code is available at \url{https://github.com/kailigo/cvcZSL}


title: Anomalous ferromagnetism and magneto-optical Kerr effect in semiconducting double perovskite Ba2NiOsO6 and its (111) (Ba2NiOsO6)/(BaTiO3)10 superlattice

abstract: We carry out a first-principles investigation on magnetism, electronic structure, magneto-optical effects and topological property of newly grown cubic double perovskite Ba2NiOsO6 and its (111) (Ba2NiOsO6)/(BaTiO3)10 superlattice, based on the density functional theory with the generalized gradient approximation (GGA) plus onsite Couloumb interactions. Interestingly, we find that both structures are rare ferromagnetic (FM) semiconductors with estimated Curie temperatures of ~150 and 70 K, respectively. The calculated near-neighbor exchange coupling parameters reveal that the ferromagnetism is driven by exotic FM coupling between Ni and Os atoms, which is due to the FM superexchange interaction caused by the abnormally strong hybridization between the half-filled Nieg and unoccupied Os eg orbitals. The strong spin-orbit coupling (SOC) on the Os atom is found to not only open the semiconducting gap but also produce a large antiparallel orbital magnetic moment on the Os atom, thus reducing the total magnetization from 4.0 uB/f.u.,


title: Plane Wave Discontinuous Galerkin methods for the Helmholtz equation and Maxwell equations in Anisotropic Media

abstract: In this paper we are concerned with plane wave discontinuous Galerkin (PWDG) methods for Helmholtz equation and time-harmonic Maxwell equations in three-dimensional anisotropic media, for which the coefficients of the equations are matrices instead of numbers. We first define novel plane wave basis functions based on rigorous choices of scaling transformations and coordinate transformations. Then we derive the error estimates of the resulting approximate solutions with respect to the condition number of the coefficient matrices, under a new assumption on the shape regularity of polyhedral meshes. Numerical results verify the validity of the theoretical results, and indicate that the approximate solutions generated by the proposed PWDG method possess high accuracy.


title: The axiomatic introduction of arbitrary strain tensors by Hans Richter -- a commented translation of "Strain tensor, strain deviator and stress tensor for finite deformations"

abstract: We provide a faithful translation of Hans Richter's important 1949 paper "Verzerrungstensor, Verzerrungsdeviator und Spannungstensor bei endlichen Form\"anderungen" from its original German version into English, complemented by an introduction summarizing Richter's achievements.


title: Towards Generalizable Deepfake Detection with Locality-aware AutoEncoder

abstract: With advancements of deep learning techniques, it is now possible to generate super-realistic images and videos, i.e., deepfakes. These deepfakes could reach mass audience and result in adverse impacts on our society. Although lots of efforts have been devoted to detect deepfakes, their performance drops significantly on previously unseen but related manipulations and the detection generalization capability remains a problem. Motivated by the fine-grained nature and spatial locality characteristics of deepfakes, we propose Locality-Aware AutoEncoder (LAE) to bridge the generalization gap. In the training process, we use a pixel-wise mask to regularize local interpretation of LAE to enforce the model to learn intrinsic representation from the forgery region, instead of capturing artifacts in the training set and learning superficial correlations to perform detection. We further propose an active learning framework to select the challenging candidates for labeling, which requires human masks for less than 3% of the training data, dramatically reducing the annotation efforts to regularize interpretations. Experimental results on three deepfake detection tasks indicate that LAE could focus on the forgery regions to make decisions. The analysis further shows that LAE outperforms the state-of-the-arts by 6.52%, 12.03%, and 3.08% respectively on three deepfake detection tasks in terms of generalization accuracy on previously unseen manipulations.


title: Coherently Assisted Wireless Power Transfer Through Barely Transparent Barriers

abstract: Wireless power transfer (WPT) technologies are becoming ubiquitous, but unlike wire technologies, they do not allow efficient energy transfer through barely transparent barriers. The proposed solutions to this issue rely on resonantly enhanced transparency of specially designed obstacles and hence are narrowband and require using artificially tailored materials. In this work, we suggest a fundamentally different approach to wireless power transfer through such barriers based on tailoring of a coherent auxiliary wave with a certain amplitude and phase from the side where the energy should be delivered to. This wave facilitates signal transmission and reflects back to the receiver allowing archiving of 100% energy transfer efficiency even for barely transparent barriers. In contrast to the traditional solution, this approach is general, applicable to lossless and lossy barriers and does not require cost-ineffective and complicated artificial structures.


title: Polarization diversity and equalization of frequency selective channels in telemetry environment for 16APSK

abstract: Providing RHCP and LHCP outputs from the antennas vertical (V) and horizontal (H) dipoles in the resonant cavity within the antenna feeds is the current practice of ground-based station receivers in aeronautical telemetry. The equalizers on the market, operate on either LHCP or RHCP alone, or a combined signal created by co-phasing and adding the RHCP and LHCP outputs. In this paper, we show how to optimally combine the V and H dipole outputs and demonstrate that an equalizer operating on this optimally-combined signal outperforms an equalizer operating on the RHCP, LHCP, or the combined signals. Finally, we show how to optimally combine the RHCP and LHCP outputs for equalization, where this optimal combination performs as good as the optimally combined V and H signals.


title: Sequence-to-sequence Pre-training with Data Augmentation for Sentence Rewriting

abstract: We study sequence-to-sequence (seq2seq) pre-training with data augmentation for sentence rewriting. Instead of training a seq2seq model with gold training data and augmented data simultaneously, we separate them to train in different phases: pre-training with the augmented data and fine-tuning with the gold data. We also introduce multiple data augmentation methods to help model pre-training for sentence rewriting. We evaluate our approach in two typical well-defined sentence rewriting tasks: Grammatical Error Correction (GEC) and Formality Style Transfer (FST). Experiments demonstrate our approach can better utilize augmented data without hurting the model's trust in gold data and further improve the model's performance with our proposed data augmentation methods. Our approach substantially advances the state-of-the-art results in well-recognized sentence rewriting benchmarks over both GEC and FST. Specifically, it pushes the CoNLL-2014 benchmark's $F_{0.5}$ score and JFLEG Test GLEU score to 62.61 and 63.54 in the restricted training setting, 66.77 and 65.22 respectively in the unrestricted setting, and advances GYAFC benchmark's BLEU to 74.24 (2.23 absolute improvement) in E&M domain and 77.97 (2.64 absolute improvement) in F&R domain.


title: Lowness for isomorphism, countable ideals, and computable traceability

abstract: We show that every countable ideal of degrees that are low for isomorphism is contained in a principal ideal of degrees that are low for isomorphism by adapting an exact pair construction. We further show that within the hyperimmune-free degrees, lowness for isomorphism is entirely independent of computable traceability.


title: Three dimensional projection effects on chemistry in a Planck galactic cold clump

abstract: Offsets of molecular line emission peaks from continuum peaks are very common but frequently difficult to explain with a single spherical cloud chemical model. We propose that the spatial projection effects of an irregular three dimensional (3D) cloud structure can be a solution. This work shows that the idea can be successfully applied to the Planck cold clump G224.4-0.6 by approximating it with four individual spherically symmetric cloud cores whose chemical patterns overlap with each other to produce observable line maps. With the empirical physical structures inferred from the observation data of this clump and a gas-grain chemical model, the four cores can satisfactorily reproduce its 850 $\mu$m continuum map and the diverse peak offsets of CCS, HC$_3$N and N$_2$H$^+$ simultaneously at chemical ages of about $8\times 10^5\sim 3\times 10^6$ yrs. The 3D projection effects on chemistry has the potential to explain such asymmetrical distributions of chemicals in many other molecular clouds.


title: Reservoir Characterizations by Deep-Learning Model: Detection of True Sand Thickness

abstract: It is an extremely challenging task to precisely identify the reservoir characteristics directly from seismic data due to its inherit nature. Here, we successfully design a deep-learning model integrated with synthetic wedge models to overcome the geophysical limitation while performing the interpretation of thickness of sand bodies from a low resolution of seismic data. Through understanding and learning the geophysical relationship between seismic responses and corresponding indicators for sand thickness, the deep-learning model could automatically detect the locations of top and base of sand bodies identified from seismic traces by precisely revealing the lithology distribution. Quantitative analysis and extensive validations from wedge models and field data prove the robustness of the proposed methodologies. The true sand thickness, identified from the deep-learning model, provides an extremely useful guidance in enhancing the interpretation of lithological and stratigraphic information from seismic data. In addition, the proposed deep-learning approach eliminates the risks of over- and under-estimation of net-to-gross with a significant improvement with respect to the accuracy.


title: Five misconceptions about black holes

abstract: Given the great interest that black holes arouse among non-specialists, it is important to analyse misconceptions related to them. According to the author, the most common misconceptions are that: (1) black holes are formed from stellar collapse; (2) they are very massive; (3) they are very dense; (4) their gravity absorbs everything; and (5) they are black. The objective of this work is to analyse and correct these misconceptions. This article may be useful as pedagogical material in high school physics courses or in introductory courses in undergraduate physics.


title: Leveraging 2-hop Distant Supervision from Table Entity Pairs for Relation Extraction

abstract: Distant supervision (DS) has been widely used to automatically construct (noisy) labeled data for relation extraction (RE). Given two entities, distant supervision exploits sentences that directly mention them for predicting their semantic relation. We refer to this strategy as 1-hop DS, which unfortunately may not work well for long-tail entities with few supporting sentences. In this paper, we introduce a new strategy named 2-hop DS to enhance distantly supervised RE, based on the observation that there exist a large number of relational tables on the Web which contain entity pairs that share common relations. We refer to such entity pairs as anchors for each other, and collect all sentences that mention the anchor entity pairs of a given target entity pair to help relation prediction. We develop a new neural RE method REDS2 in the multi-instance learning paradigm, which adopts a hierarchical model structure to fuse information respectively from 1-hop DS and 2-hop DS. Extensive experimental results on a benchmark dataset show that REDS2 can consistently outperform various baselines across different settings by a substantial margin.


title: Multiple Partitions Aligned Clustering

abstract: Multi-view clustering is an important yet challenging task due to the difficulty of integrating the information from multiple representations. Most existing multi-view clustering methods explore the heterogeneous information in the space where the data points lie. Such common practice may cause significant information loss because of unavoidable noise or inconsistency among views. Since different views admit the same cluster structure, the natural space should be all partitions. Orthogonal to existing techniques, in this paper, we propose to leverage the multi-view information by fusing partitions. Specifically, we align each partition to form a consensus cluster indicator matrix through a distinct rotation matrix. Moreover, a weight is assigned for each view to account for the clustering capacity differences of views. Finally, the basic partitions, weights, and consensus clustering are jointly learned in a unified framework. We demonstrate the effectiveness of our approach on several real datasets, where significant improvement is found over other state-of-the-art multi-view clustering methods.


title: Stabilizing effect of enhanced resistivity on peeling-ballooning instabilities on EAST

abstract: Previous stability analysis of NSTX equilibrium with lithium-conditioning demonstrates that the enhanced resistivity due to the increased effective charge number Zeff (i.e. increased impurity level) can provide a stabilizing effect on low-n edge localized modes (Banerjee et al 2017 Nucl. Fusion 24 054501). This paper extends the resistivity stabilizing effect to the intermediate-n peeling-ballooning (PB) instabilities with the linear stability analysis of EAST high-confinement mode equilibria in NIMROD two-fluid calculations. However, the resistivity stabilizing effect on PB instabilities in the EAST tokamak appears weaker than that found in NSTX. This work may give better insight into the physical mechanism behind the beneficial effects of impurity on the pedestal stability.


title: Superradiation, Superdirectivity and Efficiency Boosting in Coherently Driven Antennas

abstract: Antennas, i.e., elements transforming localized or waveguide modes into freely propagating fields and vice versa, are vital components for wireless technologies across the entire spectrum of electromagnetic waves, including microwaves and optics. Although optical antennas are usually fed by either a single source or many sources incoherently, recent studies demonstrate an ability of resonant nanostructures to cause the synchronization of quantum source spontaneous emission, i.e., Dicke superradiance effect. What remains poorly explored is how the coherent excitation can affect antenna performance: its multipole composition, directivity, efficiency, and Purcell effect. In this paper, we investigate an antenna excited by two coherent sources and demonstrate that this approach can boost antenna performance. To make the discussion independent of the frequency range, we restrict the consideration by all-dielectric antennas, which attract significant interest in both microwaves and optics. We explore that coherent excitation of a dielectric antenna by two dipole sources makes it feasible to control the multipoles resulting in boosted superradiance and enhanced directivity. Interestingly, it makes possible excitation of nonradiative field configuration, anapole state, and turning it on and off on demand. Remarkably, this approach also allows reducing the quenching effect and enhancing the radiation efficiency without changing the antenna geometry. We design a dielectric subwavelength coherently driven antenna operating in both superdirective and superradiative regimes simultaneously with the total enhancement factor over 2000.


title: Thermal Transport in 3D Nanostructures

abstract: This work summarizes recent progress on the thermal transport properties of three-dimensional (3D) nanostructures, with an emphasis on experimental results. Depending on the applications, different 3D nanostructures can be prepared or designed to either achieve a low thermal conductivity for thermal insulation or thermoelectric devices, or a high thermal conductivity for thermal interface materials used in the continuing miniaturization of electronics. A broad range of 3D nanostructures have been discussed, ranging from colloidal crystals/assemblies, array structures, holey structures, hierarchical structures, 3D nanostructured fillers for metal matrix composites and polymer composites. Different factors that impact the thermal conductivity of these 3D structures are compared and analyzed. This work provides an overall understanding of the thermal transport properties of various 3D nanostructures, which will shed light on the thermal management at nanoscale.


title: 3D U$^2$-Net: A 3D Universal U-Net for Multi-Domain Medical Image Segmentation

abstract: Fully convolutional neural networks like U-Net have been the state-of-the-art methods in medical image segmentation. Practically, a network is highly specialized and trained separately for each segmentation task. Instead of a collection of multiple models, it is highly desirable to learn a universal data representation for different tasks, ideally a single model with the addition of a minimal number of parameters steered to each task. Inspired by the recent success of multi-domain learning in image classification, for the first time we explore a promising universal architecture that handles multiple medical segmentation tasks and is extendable for new tasks, regardless of different organs and imaging modalities. Our 3D Universal U-Net (3D U$^2$-Net) is built upon separable convolution, assuming that {\it images from different domains have domain-specific spatial correlations which can be probed with channel-wise convolution while also share cross-channel correlations which can be modeled with pointwise convolution}. We evaluate the 3D U$^2$-Net on five organ segmentation datasets. Experimental results show that this universal network is capable of competing with traditional models in terms of segmentation accuracy, while requiring only about $1\%$ of the parameters. Additionally, we observe that the architecture can be easily and effectively adapted to a new domain without sacrificing performance in the domains used to learn the shared parameterization of the universal network. We put the code of 3D U$^2$-Net into public domain. \url{https://github.com/huangmozhilv/u2net_torch/}


title: The charge-dependent Bonn potentials with pseudovector pion-nucleon coupling

abstract: To apply the high-precision realistic nucleon-nucleon ($NN$) potentials on the investigations of relativistic many-body methods, the new versions of charge-dependent Bonn (CD-Bonn) $NN$ potential are constructed within the pseudovector pion-nucleon coupling instead of the pseudoscalar type in the original CD-Bonn potential worked out by Machleidt [Phys. Rev. C 63, 024001 (2001)]. Two effective scalar mesons are introduced, whose coupling constants with nucleon are independently determined at each partial wave for total angular momentum $J\leq 4$, to describe the charge dependence of $NN$ scattering data precisely, while the coupling constants between vector, pseudovector mesons and nucleon are identical in all channels. Three revised CD-Bonn potentials adopting the pseudovector pion-nucleon couplings (pvCD-Bonn) are generated by fitting the Nijmegen PWA phase shift data and deuteron binding energy with different pion-nucleon coupling strengths, which can reproduce the phase shifts at spin-single channels and low-energy $NN$ scattering parameters very well, and provide the significantly different mixing parameters at spin-triplet channels. Furthermore, the $D$-state probabilities of deuteron from these potentials range from $4.22\%$ to $6.05\%$. It demonstrates that these potentials contain different components of tensor force, which will be useful to discuss the roles of tensor force in nuclear few-body and many-body systems.


title: Monolayer MoS2 field effect transistor with low Schottky barrier height with ferromagnetic metal contacts

abstract: Two-dimensional MoS2 has emerged as promising material for nanoelectronics and spintronics due to its exotic properties. However, high contact resistance at metal semiconductor MoS2 interface still remains an open issue. Here, we report electronic properties of field effect transistor devices using monolayer MoS2 channels and permalloy (Py) as ferromagnetic (FM) metal contacts. Monolayer MoS2 channels were directly grown on SiO2/Si substrate via chemical vapor deposition technique. The increase in current with back gate voltage shows the tunability of FET characteristics. The Schottky barrier height (SBH) estimated for Py/MoS2 contacts is found to be +28.8 meV (zero-bias), which is the smallest value reported so-far for any direct metal (magnetic or non-magnetic)/monolayer MoS2 contact. With the application of gate voltage (+10 V), SBH shows a drastic reduction down to a value of -6.8 meV. The negative SBH reveals ohmic behavior of Py/MoS2 contacts. Low SBH with controlled ohmic nature of FM contacts is a primary requirement for MoS2 based spintronics and therefore using directly grown MoS2 channels in the present study can pave a path towards high performance devices for large scale applications.


title: The m=2 amplituhedron

abstract: The (tree) amplituhedron $\mathcal{A}_{n, k, m}$ is introduced by Arkani-Hamed and Trnka in 2013 in the study of $\mathcal{N}=4$ supersymmetric Yang-Mills theory. It is defined in terms of the totally nonnegative Grassmannians. In this paper, we show that the amplituhedron $\mathcal{A}_{n, k, m}$ for $m=2$ admits a triangulation. Our collection of cells is constructed via BCFW-type recursion. We also provide a diagrammatic interpretation of our construction.


title: Enhancement of seismic imaging: An innovative deep learning approach

abstract: Enhancing the frequency bandwidth of the seismic data is always the pursuance at the geophysical community. High resolution of seismic data provides the key resource to extract detailed stratigraphic knowledge. Here, a novel approach, based on deep learning model, is introduced by extracting reflections from well log data to broaden spectrum bandwidth of seismic data through boosting low and high frequencies. The corresponding improvement is observed from the enhancement of resolution of seismic data as well as elimination of sidelobe artifacts from seismic wavelets. During the training stage of deep learning model, geo-spatial information by taking consideration of multiple wells simultaneously is fully guaranteed, which assures that laterally and vertically geological information are constrained by and accurate away from the well controls during the inversion procedure. Extensive experiments prove that the enhanced seismic data is consistent with well log information, and honors rock property relationships defined from the wells at given locations. Uncertainty analysis could also be quantitatively assessed to determine the possibilities of a range of seismic responses by leveraging the outputs from the proposed approach.


title: On educating machines

abstract: Machine education is an emerging research field that focuses on the problem which is inverse to machine learning. To date, the literature on educating machines is still in its infancy. A fairly low number of methodology and method papers are scattered throughout various formal and informal publication avenues, mainly because the field is not yet well coalesced (with no well established discussion forums or investigation pathways), but also due to the breadth of its potential ramifications and research directions. In this study we bring together the existing literature and organise the discussion into a small number of research directions (out of many) which are to date sufficiently explored to form a minimal critical mass that can push the machine education concept further towards a standalone research field status.


title: Atomic-Scale Investigation on the Ultra-large Bending Behaviours of Layered Sodium Titanate Nanowires

abstract: Study on mechanical properties of one-dimensional layered titanate nanomaterials is crucial since they demonstrate important applications in various fields. Here, we conducted ex situ and in situ atomic-scale investigation on bending properties of a kind of ceramic layered titanate (Na2Ti2O4(OH)2) nanowires in a transmission electron microscopy. The nanowires showed flexibility along <100> direction and could obtain a maximum bending strain of nearly 37%. By analysing the defect behaviours, the unique bending properties of this ceramic material was found to correlate with a novel arrangement of dislocations, an accessible nucleation and movement along the axial direction resulting from the weak electrostatic interaction between the TiO6 layers and the low b/a ratio. These results provide pioneering and key understanding on bending behaviours of layered titanate nanowire families and potentially other one-dimensional nanomaterials with layered crystalline structures.


title: Reinforcement Learning: a Comparison of UCB Versus Alternative Adaptive Policies

abstract: In this paper we consider the basic version of Reinforcement Learning (RL) that involves computing optimal data driven (adaptive) policies for Markovian decision process with unknown transition probabilities. We provide a brief survey of the state of the art of the area and we compare the performance of the classic UCB policy of \cc{bkmdp97} with a new policy developed herein which we call MDP-Deterministic Minimum Empirical Divergence (MDP-DMED), and a method based on Posterior sampling (MDP-PS).


title: Spectrum Sensing Based on Deep Learning Classification for Cognitive Radios

abstract: Spectrum sensing is a key technology for cognitive radios. We present spectrum sensing as a classification problem and propose a sensing method based on deep learning classification. We normalize the received signal power to overcome the effects of noise power uncertainty. We train the model with as many types of signals as possible as well as noise data to enable the trained network model to adapt to untrained new signals. We also use transfer learning strategies to improve the performance for real-world signals. Extensive experiments are conducted to evaluate the performance of this method. The simulation results show that the proposed method performs better than two traditional spectrum sensing methods, i.e., maximum-minimum eigenvalue ratio-based method and frequency domain entropy-based method. In addition, the experimental results of the new untrained signal types show that our method can adapt to the detection of these new signals. Furthermore, the real-world signal detection experiment results show that the detection performance can be further improved by transfer learning. Finally, experiments under colored noise show that our proposed method has superior detection performance under colored noise, while the traditional methods have a significant performance degradation, which further validate the superiority of our method.


title: Status on $\mathbf{{}^{12}{\rm C}+{}^{12}{\rm C}}$ fusion at deep subbarrier energies: impact of resonances on astrophysical $S^{*}$ factors

abstract: Since the discovery of molecular resonances in $^{12}$C+$^{12}$C in the early sixties a great deal of research work has been undertaken to study $\alpha$-clustering and resonant effects of the fusion process at sub-Coulomb barrier energies. The modified astrophysical $S^{*}$ factors of $^{12}$C+$^{12}$C fusion have been extracted from direct fusion measurements at deep sub-barrier energies near the Gamow window. They were also obtained by the indirect Trojan horse method (THM). A comparison of direct measurements and the THM, which elucidates problems in the analysis of the THM, is discussed in this Letter to the Editor.


title: Error Analysis of Supremizer Pressure Recovery for POD based Reduced Order Models of the time-dependent Navier-Stokes Equations

abstract: For incompressible flow models, the pressure term serves as a Lagrange multiplier to ensure that the incompressibility constraint is satisfied. In engineering applications, the pressure term is necessary for calculating important quantities based on stresses like the lift and drag. For reduced order models generated via a Proper orthogonal decomposition, it is common for the pressure to drop out of the equations and produce a velocity-only reduced order model. To recover the pressure, many techniques have been numerically studied in the literature; however, these techniques have undergone little rigorous analysis. In this work, we examine two of the most popular approaches: pressure recovery through the Pressure Poisson equation and recovery via the momentum equation through the use of a supremizer stabilized velocity basis. We examine the challenges that each approach faces and prove stability and convergence results for the supremizer stabilized approach. We also investigate numerically the stability and convergence of the supremizer based approach, in addition to its performance against the Pressure Poisson method.


title: Part-Guided Attention Learning for Vehicle Instance Retrieval

abstract: Vehicle instance retrieval often requires one to recognize the fine-grained visual differences between vehicles. Besides the holistic appearance of vehicles which is easily affected by the viewpoint variation and distortion, vehicle parts also provide crucial cues to differentiate near-identical vehicles. Motivated by these observations, we introduce a Part-Guided Attention Network (PGAN) to pinpoint the prominent part regions and effectively combine the global and part information for discriminative feature learning. PGAN first detects the locations of different part components and salient regions regardless of the vehicle identity, which serve as the bottom-up attention to narrow down the possible searching regions. To estimate the importance of detected parts, we propose a Part Attention Module (PAM) to adaptively locate the most discriminative regions with high-attention weights and suppress the distraction of irrelevant parts with relatively low weights. The PAM is guided by the instance retrieval loss and therefore provides top-down attention that enables attention to be calculated at the level of car parts and other salient regions. Finally, we aggregate the global appearance and part features to improve the feature performance further. The PGAN combines part-guided bottom-up and top-down attention, global and part visual features in an end-to-end framework. Extensive experiments demonstrate that the proposed method achieves new state-of-the-art vehicle instance retrieval performance on four large-scale benchmark datasets.


title: Colorimetric path tagging of filaments using DNA-based metafluorophores

abstract: The idea is a nanoscale extension of a sporting event called a `color run'. The filament is wrapped with a DNA origami `barrel', which acts as the nanoscale equivalent of a white t-shirt. The DNA t-shirt has dangling ss-DNA `handles' that bind `tags' consisting of an `anti-handle' oligo bound to a fluorophore. The tagging methodology exploits the recent development of DNA-based `metafluorophores' with digitally tunable optical properties based on a collection of fluorophores bound to a single DNA origami structure. In this idea, the filament collects different color tags at `color-stations' as it travels through the network. These contribute to a final DNA t-shirt color that represents of the path taken. Readout is implemented through lenseless on-chip imaging via pixels in a CMOS backplane located at read-out points in the network. Color-stations are implemented via microfluidic channels on a dialysis membrane, which feed tags into the network in localised areas. A chemical countermeasure to prevent false tagging by stray tags that have drifted in from other stations by exploiting strand-displacement technique is also proposed.


title: Optimal cement paste yield stress for the production of stable cement foams

abstract: Production of morphology-controlled cement foams remains challenging, mainly due to bubble stability issues during cement setting. The use of cement paste with high yield stress is expected to promote stability by damping intrinsic bubble kinetics. Here we show however that for given W/C ratio, fresh foam stability can be achieved instead by decreasing the yield stress of the cement paste. Indeed, in this low apparent yield stress regime, van der Waals attraction between cement grains is reduced and grains are allowed to be efficiently packed by bubbles, providing enhanced mechanical properties. This result is obtained for two distinct additives used at controlled concentrations and without resorting to set accelerators, which highlights the general significance of the underlying stability mechanism. It offers a promising solution to produce stable cement foams at high air content.


title: Magnetic domain wall based synaptic and activation function generator for neuromorphic accelerators

abstract: Magnetic domain walls are information tokens in both logic and memory devices, and hold particular interest in applications such as neuromorphic accelerators that combine logic in memory. Here, we show that devices based on the electrical manipulation of magnetic domain walls are capable of implementing linear, as well as programmable nonlinear, functions. Unlike other approaches, domain-wall-based devices are ideal for application to both synaptic weight generators and thresholding in deep neural networks. Prototype micrometer-size devices operate with 8 ns current pulses and the energy consumption required for weight modulation is < 16 pJ. Both speed and energy consumption compare favorably to other synaptic nonvolatile devices, with the expected energy dissipation for scaled 20 nm devices close to that of biological neurons.


title: VI3: a 2D Ising ferromagnet

abstract: Two-dimensional (2D) magnetic materials are of great current interest for their promising applications in spintronics. Here we propose the van der Waals (vdW) material VI3 to be a 2D Ising ferromagnet (FM), using density functional calculations, crystal field level diagrams, superexchange model analyses, and Monte Carlo simulations. The $a_{1g}$$^1$$e'_{-}$$^1$ ground state in the trigonal crystal field gives rise to the 2D Ising FM due to a significant single ion anisotropy (SIA) and enhanced FM superexchange both associated with the $S_z$=1 and $L_z$=--1 state of V3+ ions. We find that a tensile strain on the VI3 monolayer further stabilizes the $a_{1g}$$^1$$e'_{-}$$^1$ ground state, and its Curie temperature ($T_{\rm C}$) would increase from 70 K to 90-110 K under a 2.5-5\% tensile strain. Moreover, we suggest a group of spin-orbital states with a strong SIA which may help to search more 2D Ising magnets.


title: A novel super-elastic carbon nanofiber with cup-stacked carbon nanocones and a screw dislocation

abstract: Carbon nanofibers (NFs) have been envisioned with broad promising applications, such as nanoscale actuators and energy storage medium. This work reports for the first-time super-elastic tensile characteristics of NFs constructed from a screw dislocation of carbon nanocones (NF-S). The NF-S exhibits three distinct elastic deformation stages under tensile, including an initial homogeneous deformation, delamination, and further stretch of covalent bonds. The delamination process endows the NF-S extraordinary tensile deformation capability, which is not accessible from its counterpart with a normal cup-stacked geometry. The failure of NF-S is governed by the inner edges of the nanocone due to the strain concentration, leading to a common failure force for NF-S with varying geometrical parameters. Strikingly, the delamination process is dominated by the inner radius and the apex angle of the nanocone. For a fixed apex angle, the yielding strain increases remarkably when the inner radius increases, which can exceed 1000%. It is also found that the screw dislocation allows the nanocones flattening and sliding during compression. This study provides a comprehensive understanding on the mechanical properties of NFs as constructed from carbon nanocones, which opens new avenues for novel applications, such as nanoscale actuators.


title: Coupling of a whispering gallery mode to a silicon chip with photonic crystal

abstract: We demonstrate the efficient coupling (99.5%) of a silica whispering gallery mode microresonator directly with a silicon chip by using a silicon photonic crystal waveguide as a coupler. The efficient coupling is attributed to the small effective refractive index difference between the two devices. The large group index of the photonic crystal waveguide mode also contributes to the efficient coupling. A coupling Q of 2.68*10^6 is obtained, which allows us to achieve the critical coupling of a silica whispering gallery mode with an intrinsic Q of close to 10^7 with a Si chip.


title: Evaluating and Boosting Uncertainty Quantification in Classification

abstract: Emergence of artificial intelligence techniques in biomedical applications urges the researchers to pay more attention on the uncertainty quantification (UQ) in machine-assisted medical decision making. For classification tasks, prior studies on UQ are difficult to compare with each other, due to the lack of a unified quantitative evaluation metric. Considering that well-performing UQ models ought to know when the classification models act incorrectly, we design a new evaluation metric, area under Confidence-Classification Characteristic curves (AUCCC), to quantitatively evaluate the performance of the UQ models. AUCCC is threshold-free, robust to perturbation, and insensitive to the classification performance. We evaluate several UQ methods (e.g., max softmax output) with AUCCC to validate its effectiveness. Furthermore, a simple scheme, named Uncertainty Distillation (UDist), is developed to boost the UQ performance, where a confidence model is distilling the confidence estimated by deep ensembles. The proposed method is easy to implement; it consistently outperforms strong baselines on natural and medical image datasets in our experiments.


title: Deep Learning for Cooperative Radio Signal Classification

abstract: Radio signal classification has a very wide range of applications in cognitive radio networks and electromagnetic spectrum monitoring. In this article, we consider scenarios where multiple nodes in the network participate in cooperative classification. We propose cooperative radio signal classification methods based on deep learning for decision fusion, signal fusion and feature fusion, respectively. We analyze the performance of these methods through simulation experiments. We conclude the article with a discussion of research challenges and open problems.


title: Breakdown of regularity of scattering for mass-subcritical NLS

abstract: We study the scattering problem for the nonlinear Schr\"odinger equation $i\partial_t u + \Delta u = |u|^p u$ on $\mathbb{R}^d$, $d\geq 1$, with a mass-subcritical nonlinearity above the Strauss exponent. For this equation, it is known that asymptotic completeness in $L^2$ with initial data in $\Sigma$ holds and the wave operator is well-defined on $\Sigma$. We show that there exists $0<\beta<p$ such that the wave operator and the data-to-scattering-state map do not admit extensions to maps $L^2\to L^2$ of class $C^{1+\beta}$ near the origin. This constitutes a mild form of ill-posedness for the scattering problem in the $L^2$ topology.


title: Probing exciton dispersions of freestanding monolayer WSe2 by momentum resolved electron energy loss spectroscopy

abstract: Momentum resolved electron energy-loss spectroscopy was used to measure the dispersions of excitons in a free-standing monolayer of WSe2. Besides the parabolically dispersed valley excitons, a sub-gap dispersive exciton was observed at specific q values for the first time. The simultaneous STEM-ADF imaging of the local probed areas suggests that this sub-gap exciton is attributed to the prolific Se vacancies.


title: Deep Learned Path Planning via Randomized Reward-Linked-Goals and Potential Space Applications

abstract: Space exploration missions have seen use of increasingly sophisticated robotic systems with ever more autonomy. Deep learning promises to take this even a step further, and has applications for high-level tasks, like path planning, as well as low-level tasks, like motion control, which are critical components for mission efficiency and success. Using deep reinforcement end-to-end learning with randomized reward function parameters during training, we teach a simulated 8 degree-of-freedom quadruped ant-like robot to travel anywhere within a perimeter, conducting path plan and motion control on a single neural network, without any system model or prior knowledge of the terrain or environment. Our approach also allows for user specified waypoints, which could translate well to either fully autonomous or semi-autonomous/teleoperated space applications that encounter delay times. We trained the agent using randomly generated waypoints linked to the reward function and passed waypoint coordinates as inputs to the neural network. Such applications show promise on a variety of space exploration robots, including high speed rovers for fast locomotion and legged cave robots for rough terrain.


title: DARTS+: Improved Differentiable Architecture Search with Early Stopping

abstract: Recently, there has been a growing interest in automating the process of neural architecture design, and the Differentiable Architecture Search (DARTS) method makes the process available within a few GPU days. However, the performance of DARTS is often observed to collapse when the number of search epochs becomes large. Meanwhile, lots of "{\em skip-connect}s" are found in the selected architectures. In this paper, we claim that the cause of the collapse is that there exists overfitting in the optimization of DARTS. Therefore, we propose a simple and effective algorithm, named "DARTS+", to avoid the collapse and improve the original DARTS, by "early stopping" the search procedure when meeting a certain criterion. We also conduct comprehensive experiments on benchmark datasets and different search spaces and show the effectiveness of our DARTS+ algorithm, and DARTS+ achieves $2.32\%$ test error on CIFAR10, $14.87\%$ on CIFAR100, and $23.7\%$ on ImageNet. We further remark that the idea of "early stopping" is implicitly included in some existing DARTS variants by manually setting a small number of search epochs, while we give an {\em explicit} criterion for "early stopping".


title: Generalized Duality for Model-Free Superhedging given Marginals

abstract: In a discrete-time financial market, a generalized duality is established for model-free superhedging, given marginal distributions of the underlying asset. Contrary to prior studies, we do not require contingent claims to be upper semicontinuous, allowing for upper semi-analytic ones. The generalized duality stipulates an extended version of risk-neutral pricing. To compute the model-free superhedging price, one needs to find the supremum of expected values of a contingent claim, evaluated not directly under martingale (risk-neutral) measures, but along sequences of measures that converge, in an appropriate sense, to martingale ones. To derive the main result, we first establish a portfolio-constrained duality for upper semi-analytic contingent claims, relying on Choquet's capacitability theorem. As we gradually fade out the portfolio constraint, the generalized duality emerges through delicate probabilistic estimations.


title: Optimisation of Air-Ground Swarm Teaming for Target Search, using Differential Evolution

abstract: This paper presents a swarm teaming perspective that enhances the scope of classic investigations on survivable networks. A target searching generic context is considered as test-bed, in which a swarm of ground agents and a swarm of UAVs cooperate so that the ground agents reach as many targets as possible in the field while also remaining connected as much as possible at all times. To optimise the system against both these objectives in the same time, we use an evolutionary computation approach in the form of a differential evolution algorithm. Results are encouraging, showing a good evolution of the fitness function used as part of the differential evolution, and a good performance of the evolved dual-swarm system, which exhibits an optimal trade-off between target reaching and connectivity.


title: V752 Cen -- A triple-lined spectroscopic contact binary with sudden and continuous period changes

abstract: V752 Cen is a triple-lined spectroscopic contact binary. Its multi-color light curves were obtained in the years 1971 and 2018, independently. Photometric analyses reveal that the two sets of light curves produce almost consistent results. It contains a W-subtype totally eclipsing binary, and its mass ratio and fill-out factor are $q = 3.35(1)$ and $f = 29(2)\,\%$. The absolute elements of its two component stars were determined to be $M_{1} = 0.39(2)M_\odot$, $M_{2} = 1.31(7)M_\odot$, $R_{1} = 0.77(1)R_\odot$, $R_{2} = 1.30(2)R_\odot$, $L_{1} = 0.75(3)L_\odot$ and $L_{2} = 2.00(7)L_\odot$. The period of V752 Cen is 0.37023198 day. The 0.37-d period remained constant from its first measurement in 1971 until the year 2000. However, it changed suddenly around the year 2000 and has been increasing continuously at a rate of $dP/dt=+5.05\times{10^{-7}}day\cdot year^{-1}$ since then, which can be explained by mass transfer from the less massive component star to the more massive one with a rate of $\frac{dM_{2}}{dt}=2.52\times{10^{-7}}M_\odot/year$. The period variation of V752 Cen over the 48 years in which the period has been monitored is really unusual, and is potentially related to effects from the possible presence of a nearby third star or of a pair of stars in a second binary.


title: d-blink: Distributed End-to-End Bayesian Entity Resolution

abstract: Entity resolution (ER; also known as record linkage or de-duplication) is the process of merging noisy databases, often in the absence of unique identifiers. A major advancement in ER methodology has been the application of Bayesian generative models, which provide a natural framework for inferring latent entities with rigorous quantification of uncertainty. Despite these advantages, existing models are severely limited in practice, as standard inference algorithms scale quadratically in the number of records. While scaling can be managed by fitting the model on separate blocks of the data, such a na\"ive approach may induce significant error in the posterior. In this paper, we propose a principled model for scalable Bayesian ER, called "distributed Bayesian linkage" or d-blink, which jointly performs blocking and ER without compromising posterior correctness. Our approach relies on several key ideas, including: (i) an auxiliary variable representation that induces a partition of the entities and records into blocks; (ii) a method for constructing well-balanced blocks based on k-d trees; (iii) a distributed partially-collapsed Gibbs sampler with improved mixing; and (iv) fast algorithms for performing Gibbs updates. Empirical studies on six data sets---including a case study on the 2010 Decennial Census---demonstrate the scalability and effectiveness of our approach.


title: DL2: A Deep Learning-driven Scheduler for Deep Learning Clusters

abstract: More and more companies have deployed machine learning (ML) clusters, where deep learning (DL) models are trained for providing various AI-driven services. Efficient resource scheduling is essential for maximal utilization of expensive DL clusters. Existing cluster schedulers either are agnostic to ML workload characteristics, or use scheduling heuristics based on operators' understanding of particular ML framework and workload, which are less efficient or not general enough. In this paper, we show that DL techniques can be adopted to design a generic and efficient scheduler. DL2 is a DL-driven scheduler for DL clusters, targeting global training job expedition by dynamically resizing resources allocated to jobs. DL2 advocates a joint supervised learning and reinforcement learning approach: a neural network is warmed up via offline supervised learning based on job traces produced by the existing cluster scheduler; then the neural network is plugged into the live DL cluster, fine-tuned by reinforcement learning carried out throughout the training progress of the DL jobs, and used for deciding job resource allocation in an online fashion. By applying past decisions made by the existing cluster scheduler in the preparatory supervised learning phase, our approach enables a smooth transition from existing scheduler, and renders a high-quality scheduler in minimizing average training completion time. We implement DL2 on Kubernetes and enable dynamic resource scaling in DL jobs on MXNet. Extensive evaluation shows that DL2 outperforms fairness scheduler (i.e., DRF) by 44.1% and expert heuristic scheduler (i.e., Optimus) by 17.5% in terms of average job completion time.


title: LSTM-Based Anomaly Detection: Detection Rules from Extreme Value Theory

abstract: In this paper, we explore various statistical techniques for anomaly detection in conjunction with the popular Long Short-Term Memory (LSTM) deep learning model for transportation networks. We obtain the prediction errors from an LSTM model, and then apply three statistical models based on (i) the Gaussian distribution, (ii) Extreme Value Theory (EVT), and (iii) the Tukey's method. Using statistical tests and numerical studies, we find strong evidence against the widely employed Gaussian distribution based detection rule on the prediction errors. Next, motivated by fundamental results from Extreme Value Theory, we propose a detection technique that does not assume any parent distribution on the prediction errors. Through numerical experiments conducted on several real-world traffic data sets, we show that the EVT-based detection rule is superior to other detection rules, and is supported by statistical evidence.


title: Mechanisms of a Convolutional Neural Network for Learning Three-dimensional Unsteady Wake Flow

abstract: Convolutional neural networks (CNNs) have recently been applied to predict or model fluid dynamics. However, mechanisms of CNNs for learning fluid dynamics are still not well understood, while such understanding is highly necessary to optimize the network or to reduce trial-and-errors during the network optmization. In the present study, a CNN to predict future three-dimensional unsteady wake flow using flow fields in the past occasions is developed. Mechanisms of the developed CNN for prediction of wake flow behind a circular cylinder are investigated in two flow regimes: the three-dimensional wake transition regime and the shear-layer transition regime. Feature maps in the CNN are visualized to compare flow structures which are extracted by the CNN from flow at the two flow regimes. In both flow regimes, feature maps are found to extract similar sets of flow structures such as braid shear-layers and shedding vortices. A Fourier analysis is conducted to investigate mechanisms of the CNN for predicting wake flow in flow regimes with different wave number characteristics. It is found that a convolution layer in the CNN integrates and transports wave number information from flow to predict the dynamics. Characteristics of the CNN for transporting input information including time histories of flow variables is analyzed by assessing contributions of each flow variable and time history to feature maps in the CNN. Structural similarities between feature maps in the CNN are calculated to reveal the number of feature maps that contain similar flow structures. By reducing the number of feature maps that contain similar flow structures, it is also able to successfully reduce the number of parameters to learn in the CNN by 85\% without affecting prediction performances.


title: End-to-End Learnable Geometric Vision by Backpropagating PnP Optimization

abstract: Deep networks excel in learning patterns from large amounts of data. On the other hand, many geometric vision tasks are specified as optimization problems. To seamlessly combine deep learning and geometric vision, it is vital to perform learning and geometric optimization end-to-end. Towards this aim, we present BPnP, a novel network module that backpropagates gradients through a Perspective-n-Points (PnP) solver to guide parameter updates of a neural network. Based on implicit differentiation, we show that the gradients of a "self-contained" PnP solver can be derived accurately and efficiently, as if the optimizer block were a differentiable function. We validate BPnP by incorporating it in a deep model that can learn camera intrinsics, camera extrinsics (poses) and 3D structure from training datasets. Further, we develop an end-to-end trainable pipeline for object pose estimation, which achieves greater accuracy by combining feature-based heatmap losses with 2D-3D reprojection errors. Since our approach can be extended to other optimization problems, our work helps to pave the way to perform learnable geometric vision in a principled manner. Our PyTorch implementation of BPnP is available on http://github.com/BoChenYS/BPnP.


title: Say What I Want: Towards the Dark Side of Neural Dialogue Models

abstract: Neural dialogue models have been widely adopted in various chatbot applications because of their good performance in simulating and generalizing human conversations. However, there exists a dark side of these models -- due to the vulnerability of neural networks, a neural dialogue model can be manipulated by users to say what they want, which brings in concerns about the security of practical chatbot services. In this work, we investigate whether we can craft inputs that lead a well-trained black-box neural dialogue model to generate targeted outputs. We formulate this as a reinforcement learning (RL) problem and train a Reverse Dialogue Generator which efficiently finds such inputs for targeted outputs. Experiments conducted on a representative neural dialogue model show that our proposed model is able to discover such desired inputs in a considerable portion of cases. Overall, our work reveals this weakness of neural dialogue models and may prompt further researches of developing corresponding solutions to avoid it.


title: A Collaborative Approach using Ridge-Valley Minutiae for More Accurate Contactless Fingerprint Identification

abstract: Contactless fingerprint identification has emerged as an reliable and user friendly alternative for the personal identification in a range of e-business and law-enforcement applications. It is however quite known from the literature that the contactless fingerprint images deliver remarkably low matching accuracies as compared with those obtained from the contact-based fingerprint sensors. This paper develops a new approach to significantly improve contactless fingerprint matching capabilities available today. We systematically analyze the extent of complimentary ridge-valley information and introduce new approaches to achieve significantly higher matching accuracy over state-of-art fingerprint matchers commonly employed today. We also investigate least explored options for the fingerprint color-space conversions, which can play a key-role for more accurate contactless fingerprint matching. This paper presents experimental results from different publicly available contactless fingerprint databases using NBIS, MCC and COTS matchers. Our consistently outperforming results validate the effectiveness of the proposed approach for more accurate contactless fingerprint identification.


title: Verification of shielding effect predictions for large area field emitters

abstract: A recent analytical model for large area field emitters, based on the line charge model (LCM), provides a simple approximate formula for the field enhancement on hemi-ellipsoidal emitter tips in terms of the ratio of emitter height and pairwise distance between neighboring emitters. The formula, verified against the exact solution of the linear LCM, was found to be adequate provided the mean separation between emitters is larger than half the emitter height. In this paper, we subject the analytical predictions to a more stringent test by simulating (i) an infinite regular array and (ii) an isolated cluster of 10 random emitters, using the finite element software COMSOL. In case of the array, the error in apex field enhancement factor (AFEF) is found to be less than $0.25\%$ for an infinite array when the lattice constant $c \geq 1.5h$, increasing to $2.9\%$ for $c = h$ and $8.1\%$ for $c = 0.75h$. For an isolated random cluster of 10 emitters, the error in large AFEF values is found to be small. Thus, the error in net emitted current is small for a random cluster compared to a regular infinite array with the same (mean) spacing. The line charge model thus provides a reasonable analytical tool for optimizing a large area field emitter.


title: Maximal estimates for the Schr\"{o}dinger equation with orthonormal initial data

abstract: For the one-dimensional Schr\"odinger equation, we obtain sharp maximal-in-time and maximal-in-space estimates for systems of orthonormal initial data. The maximal-in-time estimates generalize a classical result of Kenig--Ponce--Vega and allow us obtain pointwise convergence results associated with systems of infinitely many fermions. The maximal-in-space estimates simultaneously address an endpoint problem raised by Frank--Sabin in their work on Strichartz estimates for orthonormal systems of data, and provide a path toward proving our maximal-in-time estimates.


title: An improved upper limit on the neutrino mass from a direct kinematic method by KATRIN

abstract: We report on the neutrino mass measurement result from the first four-week science run of the Karlsruhe Tritium Neutrino experiment KATRIN in spring 2019. Beta-decay electrons from a high-purity gaseous molecular tritium source are energy analyzed by a high-resolution MAC-E filter. A fit of the integrated electron spectrum over a narrow interval around the kinematic endpoint at 18.57 keV gives an effective neutrino mass square value of $(-1.0^{+0.9}_{-1.1})$ eV$^2$. From this we derive an upper limit of 1.1 eV (90$\%$ confidence level) on the absolute mass scale of neutrinos. This value coincides with the KATRIN sensitivity. It improves upon previous mass limits from kinematic measurements by almost a factor of two and provides model-independent input to cosmological studies of structure formation.

categories: hep-ex astro-ph.CO nucl-ex physics.ins-det


title: The Rising Sun Envelope Method: an automatic and accurate peak location technique for XANES measurements

abstract: The lack of theoretical understanding of X-Ray Absorption Near Edge Structure (XANES) spectroscopy makes the development of analysis tools for its study a necessity. Here, an algorithm for judicious choice of local minima and maxima points of XANES spectrum (experimental or simulated) is proposed, without any loss of information on peaks location nor on peak strength. We call it the Rising Sun Envelope Method, since it is based on successive regularizations of the spectral measurement that, according to parameter choices that are intrinsic to the measurements, keep peaks location and strength as invariants. This is the first method that finds peaks in XANES automatically, without depending on first derivative information. Nevertheless, a direct computation of Absorption-Edge is provided, where we avoid the issue inflection point computations based on the XANES second derivative, dealing instead with simpler computations of inflection points of higher quality cubic spline approximation. Besides applications of the algorithm to XANES, we illustrate further applications in Electron Energy Loss Spectroscopy (EELS) and Raman spectra.


title: Superfluid weight and polarization amplitude in the one-dimensional bosonic Hubbard model

abstract: We calculate the superfluid weight and the polarization amplitude for the one-dimensional bosonic Hubbard model focusing on the strong-coupling regime. Other than analytic calculations we apply two methods: variational Monte Carlo based on the Baeriswyl wave function and exact diagonalization. The former gives zero superfluid response at integer filling, while the latter gives a superfluid response at finite hopping. From the polarization amplitude we derive the variance and the associated size scaling exponent. Again, the variational study does not produce a finite superfluid weight at integer filling (size scaling exponent is near one), but the Fourier transform of the polarization amplitude behaves in a similar way to the result of exact diagonalization, with a peak at small hopping, and suddenly decreasing at the insulator-superfluid transition. On the other hand, exact diagonalization studies result in a finite spread of the total position which increases with the size of the system. In the superfluid phase the size scaling exponent is two as expected. Importantly, our work addresses the ambiguities that arise in the calculation of the superfluid weight in variational calculations, and we comment on the prediction of Anderson about the superfluid response of the model at integer filling.


title: Galois orbits of torsion points near atoral sets

abstract: We prove that the Galois equidistribution of torsion points of the algebraic torus $\mathbb{G}_{m}^d$ extends to the singular test functions of the form $\log{|P|}$, where $P$ is a Laurent polynomial having algebraic coefficients that vanishes on the unit real $d$-torus in a set whose Zariski closure in $\mathbb{G}_m^d$ has codimension at least $2$. Our result includes a power saving quantitative estimate of the decay rate of the equidistribution. It refines an ergodic theorem of Lind, Schmidt, and Verbitskiy, of which it also supplies a purely Diophantine proof. As an application, we confirm Ih's integrality finiteness conjecture on torsion points for a class of atoral divisors of $\mathbb{G}_m^d$.


title: Weakly Almost Periodic and Uniformly continuous functionals on the Orlicz Figa Talamanca Herz algebras

abstract: In this paper we study weakly almost periodic and uniformly continuous functionals on the Orlicz Fig\`a-Talamanca Herz algebras associated to a locally compact group. We show that a unique invariant mean exists on the space of weakly almost periodic functionals. We also characterise discrete groups in terms of the inclusion of the space of uniformly continuous functions inside the space of weakly almost periodic functionals.