title: Wide Compression: Tensor Ring Nets

abstract: Deep neural networks have demonstrated state-of-the-art performance in a variety of real-world applications. In order to obtain performance gains, these networks have grown larger and deeper, containing millions or even billions of parameters and over a thousand layers. The trade-off is that these large architectures require an enormous amount of memory, storage, and computation, thus limiting their usability. Inspired by the recent tensor ring factorization, we introduce Tensor Ring Networks (TR-Nets), which significantly compress both the fully connected layers and the convolutional layers of deep neural networks. Our results show that our TR-Nets approach {is able to compress LeNet-5 by $11\times$ without losing accuracy}, and can compress the state-of-the-art Wide ResNet by $243\times$ with only 2.3\% degradation in {Cifar10 image classification}. Overall, this compression scheme shows promise in scientific computing and deep learning, especially for emerging resource-constrained devices such as smartphones, wearables, and IoT devices.


title: Estimation of the Evolutionary Spectra with Application to Stationarity Test

abstract: In this work, we propose a new inference procedure for understanding non-stationary processes, under the framework of evolutionary spectra developed by Priestley. Among various frameworks of modeling non-stationary processes, the distinguishing feature of the evolutionary spectra is its focus on the physical meaning of frequency. The classical estimate of the evolutionary spectral density is based on a double-window technique consisting of a short-time Fourier transform and a smoothing. However, smoothing is known to suffer from the so-called bias leakage problem. By incorporating Thomson's multitaper method that was originally designed for stationary processes, we propose an improved estimate of the evolutionary spectral density, and analyze its bias/variance/resolution tradeoff. As an application of the new estimate, we further propose a non-parametric rank-based stationarity test, and provide various experimental studies.


title: Comparison of computational codes for direct numerical simulations of turbulent Rayleigh-B\'enard convection

abstract: Computational codes for direct numerical simulations of Rayleigh-B\'enard (RB) convection are compared in terms of computational cost and quality of the solution. As a benchmark case, RB convection at $Ra=10^8$ and $Pr=1$ in a periodic domain, in cubic and cylindrical containers is considered. A dedicated second-order finite-difference code (AFID/RBflow) and a specialized fourth-order finite-volume code (Goldfish) are compared with a general purpose finite-volume approach (OpenFOAM) and a general purpose spectral-element code (Nek5000). Reassuringly, all codes provide predictions of the average heat transfer that converge to the same values. The computational costs, however, are found to differ considerably. The specialized codes AFID/RBflow and Goldfish are found to excel in efficiency, outperforming the general purpose flow solvers Nek5000 and OpenFOAM by an order of magnitude with an error on the Nusselt number $Nu$ below $5\%$. However, we find that $Nu$ alone is not sufficient to assess the quality of the numerical results: in fact, instantaneous snapshots of the temperature field from a near wall region obtained for deliberately under-resolved simulations using Nek5000 clearly indicate inadequate flow resolution even when $Nu$ is converged. Overall, dedicated special purpose codes for RB convection are found to be more efficient than general purpose codes.


title: Domain Specific Design Patterns: Designing For Conversational User Interfaces

abstract: Designing conversational user interface experience is complicated because conversation comes with many expectations. When these expectations are met, we feel the interface is natural, but once violated, we feel something is amiss. The last decade witnessed human language technologies and behaviours to enable humans converse with software using spoken dialogue to access, create and process information. Less is known about the practicalities of designing chatbot interactions. In this paper, we introduce the nature of conversational user interfaces (CUIs) and describe the underlying technologies they are based on. Moreover, we define guidelines for designing conversational interfaces in various domains. This paper particularly focuses on classifying the elements and techniques used in CUI design patterns. After concluding certain challenges with CUI, we discuss important features and chatbot states to be considered in CUI design for specific domain. We envisage this study to support CUI researchers to design tailored chatbots applicable into certain domain and improve the current state of research challenges in the field of Artificial Intelligence and conversational agents.


title: Analytic interpolation into the tetrablock and a $\mu$-synthesis problem

abstract: We give a solvability criterion for a special case of the $\mu$-synthesis problem. That is, we prove the necessity and sufficiency of a condition for the existence of an analytic $2 \times 2$ matrix-valued function on the disc subject to a bound on the structured singular value and satisfying a finite set of interpolation conditions. To do this we prove a realization theorem for analytic functions from the disc to the tetrablock. We also obtain a solvability criterion for the problem of analytic interpolation from the disc to the tetrablock.


title: First derivatives at the optimum analysis (\textit{fdao}): An approach to estimate the uncertainty in nonlinear regression involving stochastically independent variables

abstract: An important problem of optimization analysis surges when parameters such as $ \{\theta_j\}_{j=1,\, \dots \,,k }$, determining a function $ y=f(x\given\{\theta_j\}) $, must be estimated from a set of observables $ \{ x_i,y_i\}_{i=1,\, \dots \,,m} $. Where $ \{x_i\} $ are independent variables assumed to be uncertainty-free. It is known that analytical solutions are possible if $ y=f(x\given\theta_j) $ is a linear combination of $ \{\theta_{j=1,\, \dots \,,k} \}.$ Here it is proposed that determining the uncertainty of parameters that are not \textit{linearly independent} may be achieved from derivatives $ \tfrac{\partial f(x \given \{\theta_j\})}{\partial \theta_j} $ at an optimum, if the parameters are \textit{stochastically independent}.


title: Seeing Small Faces from Robust Anchor's Perspective

abstract: This paper introduces a novel anchor design to support anchor-based face detection for superior scale-invariant performance, especially on tiny faces. To achieve this, we explicitly address the problem that anchor-based detectors drop performance drastically on faces with tiny sizes, e.g. less than 16x16 pixels. In this paper, we investigate why this is the case. We discover that current anchor design cannot guarantee high overlaps between tiny faces and anchor boxes, which increases the difficulty of training. The new Expected Max Overlapping (EMO) score is proposed which can theoretically explain the low overlapping issue and inspire several effective strategies of new anchor design leading to higher face overlaps, including anchor stride reduction with new network architectures, extra shifted anchors, and stochastic face shifting. Comprehensive experiments show that our proposed method significantly outperforms the baseline anchor-based detector, while consistently achieving state-of-the-art results on challenging face detection datasets with competitive runtime speed.


title: One Single Deep Bidirectional LSTM Network for Word Sense Disambiguation of Text Data

abstract: Due to recent technical and scientific advances, we have a wealth of information hidden in unstructured text data such as offline/online narratives, research articles, and clinical reports. To mine these data properly, attributable to their innate ambiguity, a Word Sense Disambiguation (WSD) algorithm can avoid numbers of difficulties in Natural Language Processing (NLP) pipeline. However, considering a large number of ambiguous words in one language or technical domain, we may encounter limiting constraints for proper deployment of existing WSD models. This paper attempts to address the problem of one-classifier-per-one-word WSD algorithms by proposing a single Bidirectional Long Short-Term Memory (BLSTM) network which by considering senses and context sequences works on all ambiguous words collectively. Evaluated on SensEval-3 benchmark, we show the result of our model is comparable with top-performing WSD algorithms. We also discuss how applying additional modifications alleviates the model fault and the need for more training data.


title: On higher direct images of convergent isocrystals

abstract: Let k be a perfect field of characteristic p>0 and W the ring of Witt vectors of k. In this article, we give a new proof of the Frobenius descent for convergent isocrystals on a variety over k relative to W. This proof allows us to deduce an analogue of the de Rham complexes comparaison theorem of Berthelot without assuming a lifting of the Frobenius morphism. As an application, we prove a version of Berthelot's conjecture on the preservation of convergent isocrystals under the higher direct image by a smooth proper morphism of k-varieties.


title: Velocity Memory Effect for Polarized Gravitational Waves

abstract: Circularly polarized gravitational sandwich waves exhibit, as do their linearly polarized counterparts, the Velocity Memory Effect: freely falling test particles in the flat after-zone fly apart along straight lines with constant velocity. In the inside zone their trajectories combine oscillatory and rotational motions in a complicated way. For circularly polarized periodic gravitational waves some trajectories remain bounded, while others spiral outward. These waves admit an additional "screw" isometry beyond the usual five. The consequences of this extra symmetry are explored.


title: Stability of Low-Rank Tensor Representations and Structured Multilevel Preconditioning for Elliptic PDEs

abstract: Folding grid value vectors of size $2^L$ into $L$th order tensors of mode sizes $2\times \cdots\times 2$, combined with low-rank representation in the tensor train format, has been shown to lead to highly efficient approximations for various classes of functions. These include solutions of elliptic PDEs on nonsmooth domains or with oscillatory data. This tensor-structured approach is attractive because it leads to highly compressed, adaptive approximations based on simple discretizations. Standard choices of the underlying basis, such as piecewise multilinear finite elements on uniform tensor product grids, entail the well-known matrix ill-conditioning of discrete operators. We demonstrate that for low-rank representations, the use of tensor structure itself additionally introduces representation ill-conditioning, a new effect specific to computations in tensor networks. We analyze the tensor structure of a BPX preconditioner for second-order linear elliptic operators and construct an explicit tensor-structured representation of the preconditioner, with ranks independent of the number $L$ of discretization levels. The straightforward application of the preconditioner yields discrete operators whose matrix conditioning is uniform with respect to the discretization parameter, but in decompositions that suffer from representation ill-conditioning. By additionally eliminating certain redundancies in the representations of the preconditioned discrete operators, we obtain reduced-rank decompositions that are free of both matrix and representation ill-conditioning. For an iterative solver based on soft thresholding of low-rank tensors, we obtain convergence and complexity estimates and demonstrate its reliability and efficiency for discretizations with up to $2^{50}$ nodes in each dimension.


title: Conditions for defocusing around more general metrics in Infinite Derivative Gravity

abstract: Infinite Derivative Gravity is able to resolve the Big Bang curvature singularity present in general relativity by using a simplifying ansatz. We show that it can also avoid the Hawking- Penrose singularity, by allowing defocusing of null rays through the Raychaudhuri equation. This occurs not only in the minimal case where we ignore the matter contribution, but also in the case where matter plays a key role. We investigate the conditions for defocusing for the general case where this ansatz applies and also for more specific metrics, including a general Friedmann-Robertson-Walker (FRW) metric and three specific choices of the scale factor which produce a bouncing FRW universe.


title: Model Agnostic Time Series Analysis via Matrix Estimation

abstract: We propose an algorithm to impute and forecast a time series by transforming the observed time series into a matrix, utilizing matrix estimation to recover missing values and de-noise observed entries, and performing linear regression to make predictions. At the core of our analysis is a representation result, which states that for a large model class, the transformed time series matrix is (approximately) low-rank. In effect, this generalizes the widely used Singular Spectrum Analysis (SSA) in time series literature, and allows us to establish a rigorous link between time series analysis and matrix estimation. The key to establishing this link is constructing a Page matrix with non-overlapping entries rather than a Hankel matrix as is commonly done in the literature (e.g., SSA). This particular matrix structure allows us to provide finite sample analysis for imputation and prediction, and prove the asymptotic consistency of our method. Another salient feature of our algorithm is that it is model agnostic with respect to both the underlying time dynamics and the noise distribution in the observations. The noise agnostic property of our approach allows us to recover the latent states when only given access to noisy and partial observations a la a Hidden Markov Model; e.g., recovering the time-varying parameter of a Poisson process without knowing that the underlying process is Poisson. Furthermore, since our forecasting algorithm requires regression with noisy features, our approach suggests a matrix estimation based method - coupled with a novel, non-standard matrix estimation error metric - to solve the error-in-variable regression problem, which could be of interest in its own right. Through synthetic and real-world datasets, we demonstrate that our algorithm outperforms standard software packages (including R libraries) in the presence of missing data as well as high levels of noise.


title: Perceptual Quality Assessment of Immersive Images Considering Peripheral Vision Impact

abstract: Conventional images/videos are often rendered within the central vision area of the human visual system (HVS) with uniform quality. Recent virtual reality (VR) device with head mounted display (HMD) extends the field of view (FoV) significantly to include both central and peripheral vision areas. It exhibits the unequal image quality sensation among these areas because of the non-uniform distribution of photoreceptors on our retina. We propose to study the sensation impact on the image subjective quality with respect to the eccentric angle $\theta$ across different vision areas. Often times, image quality is controlled by the quantization stepsize $q$ and spatial resolution $s$, separately and jointly. Therefore, the sensation impact can be understood by exploring the $q$ and/or $s$ in terms of the $\theta$, resulting in self-adaptive analytical models that have shown quite impressive accuracy through independent cross validations. These models can further be applied to give different quality weights at different regions, so as to significantly reduce the transmission data size but without subjective quality loss. As demonstrated in a gigapixel imaging system, we have shown that the image rendering can be speed up about 10$\times$ with the model guided unequal quality scales, in comparison to the the legacy scheme with uniform quality scales everywhere.


title: On asymptotic formulae in some sum-product questions

abstract: In this paper we obtain a series of asymptotic formulae in the sum--product phenomena over the prime field $\mathbf{F}_p$. In the proofs we use usual incidence theorems in $\mathbf{F}_p$, as well as the growth result in ${\rm SL}_2 (\mathbf{F}_p)$ due to Helfgott. Here some of our applications: $\bullet~$ a new bound for the number of the solutions to the equation $(a_1-a_2) (a_3-a_4) = (a'_1-a'_2) (a'_3-a'_4)$, $\,a_i, a'_i\in A$, $A$ is an arbitrary subset of $\mathbf{F}_p$, $\bullet~$ a new effective bound for multilinear exponential sums of Bourgain, $\bullet~$ an asymptotic analogue of the Balog--Wooley decomposition theorem, $\bullet~$ growth of $p_1(b) + 1/(a+p_2 (b))$, where $a,b$ runs over two subsets of $\mathbf{F}_p$, $p_1,p_2 \in \mathbf{F}_p [x]$ are two non--constant polynomials, $\bullet~$ new bounds for some exponential sums with multiplicative and additive characters.


title: Characterizations of some domains via Carath\'eodory extremals

abstract: In this paper we characterize the unit disc, the bidisc and the symmetrized bidisc \[ G =\{(z+w,zw):|z|<1,\ |w|<1\} \] in terms of the possession of small classes of analytic maps into the unit disc that suffice to solve all Carath\'eodory extremal problems in the domain.


title: Interplay of spin-dependent delocalization and magnetic anisotropy in the ground and excited states of [Gd$_2$@C$_{78}$]$^{-1}$ and [Gd$_2$@C$_{80}$]$^{-1}$

abstract: The magnetic properties and electronic structure of the ground and excited states of two recently characterized endohedral metallo-fullerenes, [Gd$_2$@C$_{78}$]$^{-}$ (1) and [Gd$_2$@C$_{80}$]$^{-}$ (2), have been studied by theoretical methods. The systems can be considered as [Gd$_2$]$^{5+}$ dimers encapsulated in a fullerene cage with the fifteen unpaired electrons ferromagnetically coupled into an $S=15/2$ high-spin configuration in the ground state. The microscopic mechanisms governing the Gd--Gd interactions leading to the ferromagnetic ground state are examined by a combination of density functional and ab initio calculations and the full energy spectrum of the ground and lowest excited states is constructed by means of ab initio model Hamiltonians. The ground state is characterized by strong electron delocalization bordering on a $\sigma$ type one-electron covalent bond and minor zero-field splitting (ZFS) which is successfully described as a second order spin-orbit coupling effect. We have shown that the observed ferromagnetic interaction originates from Hund's rule coupling and not from the conventional double exchange mechanism. The calculated ZFS parameters of 1 and 2 in their optimized geometries are in qualitative agreement with experimental EPR results. The higher excited states display less electron delocalization but at the same time they possess unquenched first-order angular momentum. This leads to strong spin-orbit coupling and highly anisotropic energy spectrum. The analysis of the excited states presented here constitutes the first detailed study of the effects of spin-dependent delocalization in the presence of first order orbital angular momentum and the obtained results can be applied to other mixed valence lanthanide systems.


title: Active Learning with Logged Data

abstract: We consider active learning with logged data, where labeled examples are drawn conditioned on a predetermined logging policy, and the goal is to learn a classifier on the entire population, not just conditioned on the logging policy. Prior work addresses this problem either when only logged data is available, or purely in a controlled random experimentation setting where the logged data is ignored. In this work, we combine both approaches to provide an algorithm that uses logged data to bootstrap and inform experimentation, thus achieving the best of both worlds. Our work is inspired by a connection between controlled random experimentation and active learning, and modifies existing disagreement-based active learning algorithms to exploit logged data.


title: Attention-Aware Generative Adversarial Networks (ATA-GANs)

abstract: In this work, we present a novel approach for training Generative Adversarial Networks (GANs). Using the attention maps produced by a Teacher- Network we are able to improve the quality of the generated images as well as perform weakly object localization on the generated images. To this end, we generate images of HEp-2 cells captured with Indirect Imunofluoresence (IIF) and study the ability of our network to perform a weakly localization of the cell. Firstly, we demonstrate that whilst GANs can learn the mapping between the input domain and the target distribution efficiently, the discriminator network is not able to detect the regions of interest. Secondly, we present a novel attention transfer mechanism which allows us to enforce the discriminator to put emphasis on the regions of interest via transfer learning. Thirdly, we show that this leads to more realistic images, as the discriminator learns to put emphasis on the area of interest. Fourthly, the proposed method allows one to generate both images as well as attention maps which can be useful for data annotation e.g in object detection.


title: Robust Control for Renewable-Integrated Power Networks Considering Input Bound Constraints and Worst-Case Uncertainty Measure

abstract: Uncertainty from renewable energy and loads is one of the major challenges for stable grid operation. Various approaches have been explored to remedy these uncertainties. In this paper, we design centralized or decentralized state-feedback controllers for generators while considering worst-case uncertainty. Specifically, this paper introduces the notion of $\mathcal{L}_{\infty}$ robust control and stability for uncertain power networks. Uncertain and nonlinear differential algebraic equation model of the network is presented. The model includes unknown disturbances from renewables and loads. Given an operating point, the linearized state-space presentation is given. Then, the notion of $\mathcal{L}_{\infty}$ robust control and stability is discussed, resulting in a nonconvex optimization routine that yields a state feedback gain mitigating the impact of disturbances. The developed routine includes explicit input-bound constraints on generators' inputs and a measure of the worst-case disturbance. The feedback control architecture can be centralized, distributed, or decentralized. Algorithms based on successive convex approximations are then given to address the nonconvexity. Case studies are presented showcasing the performance of the $\mathcal{L}_{\infty}$ controllers in comparison with automatic generation control and $\mathcal{H}_{\infty}$ control methods.


title: Hardy, weighted Trudinger-Moser and Caffarelli-Kohn-Nirenberg type inequalities on Riemannian manifolds with negative curvature

abstract: In this paper we obtain Hardy, weighted Trudinger-Moser and Caffarelli-Kohn-Nirenberg type inequalities with sharp constants on Riemannian manifolds with non-positive sectional curvature and, in particular, a variety of new estimates on hyperbolic spaces. Moreover, in some cases we also show their equivalence with Trudinger-Moser inequalities. As consequences, the relations between the constants of these inequalities are investigated yielding asymptotically best constants in the obtained inequalities. We also obtain the corresponding uncertainty type principles.


title: Noether's stars in $f(\cal {R})$ gravity

abstract: The Noether Symmetry Approach can be used to construct spherically symmetric solutions in $f({\cal R})$ gravity. Specifically, the Noether conserved quantity is related to the gravitational mass and a gravitational radius that reduces to the Schwarzschild radius in the limit $f({\cal R})\rightarrow {\cal R}$. We show that it is possible to construct the $M-R$ relation for neutron stars depending on the Noether conserved quantity and the associated gravitational radius. This approach enables the recovery of extreme massive stars that could not be stable in the standard Tolman-Oppenheimer-Volkoff based on General Relativity. Examples are given for some power law $f({\cal R})$ gravity models.


title: Large arboreal Galois representations

abstract: Given a field $K$, a polynomial $f \in K[x]$, and a suitable element $t \in K$, the set of preimages of $t$ under the iterates $f^{\circ n}$ carries a natural structure of a $d$-ary tree. We study conditions under which the absolute Galois group of $K$ acts on the tree by the full group of automorphisms. When $K=\mathbb{Q}$ we exhibit examples of polynomials of every even degree with maximal Galois action on the preimage tree, partially affirming a conjecture of Odoni. We also study the case of $K=F(t)$ and $f \in F[x]$ in which the corresponding Galois groups are the monodromy groups of the ramified covers $f^{\circ n}: \mathbb{P}^1_F \to \mathbb{P}^1_F$.


title: Experimental observation of the Aubry transition in two-dimensional colloidal monolayers

abstract: The possibility to achieve entirely frictionless, i.e. superlubric, sliding between solids, holds enormous potential for the operation of mechanical devices. At small length scales, where mechanical contacts are well-defined, Aubry predicted a transition from a superlubric to a pinned state when the mechanical load is increased. Evidence for this intriguing Aubry transition (AT), which should occur in one dimension (1D) and at zero temperature, was recently obtained in few-atom chains. Here, we experimentally and theoretically demonstrate the occurrence of the AT in an extended two-dimensional (2D) system at room temperature using a colloidal monolayer on an optical lattice. Unlike the continuous nature of the AT in 1D, we observe a first-order transition in 2D leading to a coexistence regime of pinned and unpinned areas. Our data demonstrate that the original concept of Aubry does not only survive in 2D but is relevant for the design of nanoscopic machines and devices at ambient temperature.


title: NanoMap: Fast, Uncertainty-Aware Proximity Queries with Lazy Search over Local 3D Data

abstract: We would like robots to be able to safely navigate at high speed, efficiently use local 3D information, and robustly plan motions that consider pose uncertainty of measurements in a local map structure. This is hard to do with previously existing mapping approaches, like occupancy grids, that are focused on incrementally fusing 3D data into a common world frame. In particular, both their fragile sensitivity to state estimation errors and computational cost can be limiting. We develop an alternative framework, NanoMap, which alleviates the need for global map fusion and enables a motion planner to efficiently query pose-uncertainty-aware local 3D geometric information. The key idea of NanoMap is to store a history of noisy relative pose transforms and search over a corresponding set of depth sensor measurements for the minimum-uncertainty view of a queried point in space. This approach affords a variety of capabilities not offered by traditional mapping techniques: (a) the pose uncertainty associated with 3D data can be incorporated in motion planning, (b) poses can be updated (i.e., from loop closures) with minimal computational effort, and (c) 3D data can be fused lazily for the purpose of planning. We provide an open-source implementation of NanoMap, and analyze its capabilities and computational efficiency in simulation experiments. Finally, we demonstrate in hardware its effectiveness for fast 3D obstacle avoidance onboard a quadrotor flying up to 10 m/s.


title: Growth of periodic Grigorchuk groups

abstract: On torsion Grigorchuk groups we construct random walks of finite entropy and power-law tail decay with non-trivial Poisson boundary. Such random walks provide near optimal volume lower estimates for these groups. In particular, for the first Grigorchuk group $G$ we show that its volume growth function $v_{G,S}(n)$ satisfies that $\lim_{n\to\infty}\log\log v_{G,S}(n)/\log n=\alpha_{0}$, where $\alpha_{0}=\frac{\log2}{\log\lambda_{0}}\approx0.7674$, $\lambda_{0}$ is the positive root of the polynomial $X^{3}-X^{2}-2X-4$.


title: Generation of Internal Waves by Buoyant Bubbles in Galaxy Clusters and Heating of Intracluster Medium

abstract: Buoyant bubbles of relativistic plasma in cluster cores plausibly play a key role in conveying the energy from a supermassive black hole to the intracluster medium (ICM) - the process known as radio-mode AGN feedback. Energy conservation guarantees that a bubble loses most of its energy to the ICM after crossing several pressure scale heights. However, actual processes responsible for transferring the energy to the ICM are still being debated. One attractive possibility is the excitation of internal waves, which are trapped in the cluster's core and eventually dissipate. Here we show that a sufficient condition for efficient excitation of these waves in stratified cluster atmospheres is flattening of the bubbles in the radial direction. In our numerical simulations, we model the bubbles phenomenologically as rigid bodies buoyantly rising in the stratified cluster atmosphere. We find that the terminal velocities of the flattened bubbles are small enough so that the Froude number ${\rm Fr}\lesssim 1$. The effects of stratification make the dominant contribution to the total drag force balancing the buoyancy force. In particular, clear signs of internal waves are seen in the simulations. These waves propagate horizontally and downwards from the rising bubble, spreading their energy over large volumes of the ICM. If our findings are scaled to the conditions of the Perseus cluster, the expected terminal velocity is $\sim100-200{\,\rm km\,s^{-1}}$ near the cluster cores, which is in broad agreement with direct measurements by the Hitomi satellite.


title: User Satisfaction-Driven Bandwidth Allocation for Image Transmission in a Crowded Environment

abstract: A major portion of postings on social networking sites constitute high quality digital images and videos. These images and videos require a fairly large amount of bandwidth during transmission. Accordingly, high quality image and video postings become a challenge for the network service provider, especially in a crowded environment where bandwidth is in high demand. In this paper we present a user satisfaction driven bandwidth allocation scheme for image transmission in such environments. In an image, there are always objects that stand out more than others. The reason behind some set of objects being more important in a scene is based on a number of visual, as well as, cognitive factors. Being motivated by the fact that user satisfaction is more dependent on the quality of these salient objects in an image than non-salient ones, we propose a quantifiable metric for measuring user-satisfiability (based on image quality and delay of transmission). The bandwidth allocation technique proposed thereafter, ensures that this user-satisfiability is maximized. Unlike the existing approaches that utilize some fixed set of non-linear functions for framing the user-satisfiability index, our metric is modelled over customer survey data, where the unknown parameters are trained with machine learning methods.


title: Minimizing Flow Completion Times using Adaptive Routing over Inter-Datacenter Wide Area Networks

abstract: Inter-datacenter networks connect dozens of geographically dispersed datacenters and carry traffic flows with highly variable sizes and different classes. Adaptive flow routing can improve efficiency and performance by assigning paths to new flows according to network status and flow properties. A popular approach widely used for traffic engineering is based on current bandwidth utilization of links. We propose an alternative that reduces bandwidth usage by up to at least 50% and flow completion times by up to at least 40% across various scheduling policies and flow size distributions.


title: Temporal Difference Models: Model-Free Deep RL for Model-Based Control

abstract: Model-free reinforcement learning (RL) is a powerful, general tool for learning complex behaviors. However, its sample efficiency is often impractically large for solving challenging real-world problems, even with off-policy algorithms such as Q-learning. A limiting factor in classic model-free RL is that the learning signal consists only of scalar rewards, ignoring much of the rich information contained in state transition tuples. Model-based RL uses this information, by training a predictive model, but often does not achieve the same asymptotic performance as model-free RL due to model bias. We introduce temporal difference models (TDMs), a family of goal-conditioned value functions that can be trained with model-free learning and used for model-based control. TDMs combine the benefits of model-free and model-based RL: they leverage the rich information in state transitions to learn very efficiently, while still attaining asymptotic performance that exceeds that of direct model-based RL methods. Our experimental results show that, on a range of continuous control tasks, TDMs provide a substantial improvement in efficiency compared to state-of-the-art model-based and model-free methods.


title: Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems with Reach-and-Stay Specifications

abstract: This paper proposes a finitely terminating algorithm to solve reach-and-stay control problems for nonlinear systems. The algorithm is guaranteed to return a control strategy if the specification is robustly realizable. Such a feature is desirable as the commonly used abstraction-based methods are sound but not complete for systems that are not incrementally stable. Fundamental to the proposed method is a fixed-point characterization of the winning set of the system with respect to a given specification, i.e., the initial states that can be controlled to satisfy the specification. The use of an adaptive partitioning scheme not only guarantees the approximation precision of the winning set but also reduces computational time. The effectiveness and efficiency are illustrated by several benchmarking examples.


title: Classification of Tensor Decompositions of II$_1$ Factors Associated With Poly-Hyperbolic Groups

abstract: We demonstrate von Neumann algebra arising from an icc group $\Gamma$ in Chifan's, Ioana's, and Kida's class of poly-$\mathcal{C}_\text{rss} $, such as a poly-hyperbolic group with no amenable factors in its composition series, satisfies the following rigidity phenomenon discovered in DHI16 (see also CdSS17): every tensor decomposition of the II$_1$ factor $L(\Gamma) $ must arise from direct product decomposition of $\Gamma $ by groups which are poly-$ \mathcal{C}_\text{rss}$. Through heavy usage and developments of the techniques in CdSS15, we improve the second author's and their collaborator's work in CKP14 by providing group-level criteria for determining whether a group von Neumann algebra is prime: $L(\Gamma) $ is prime precisely when the group is indecomposable as a direct product of non-amenable groups. We further demonstrate that all tensor decompositions of finite index subalgebras of $L(\Gamma) $ correspond to a splitting of $\Gamma $ as a product by groups which are also poly-$\mathcal{C}_\text{rss}$ up to commensurability.


title: Trace semantics via determinization for probabilistic transition systems

abstract: A coalgebraic definition of finite and infinite trace semantics for probabilistic transition systems has recently been given using a certain Kleisli category. In this paper this semantics is developed using a coalgebraic method which is an instance of general determinization. Once applied to discrete systems, this point of view allows the exploitation of the determinized structure by up-to techniques. Thereby it becomes possible to algorithmically check the equivalence of two finite probabilistic transition systems.


title: SgxPectre Attacks: Stealing Intel Secrets from SGX Enclaves via Speculative Execution

abstract: This paper presents SgxPectre Attacks that exploit the recently disclosed CPU bugs to subvert the confidentiality and integrity of SGX enclaves. Particularly, we show that when branch prediction of the enclave code can be influenced by programs outside the enclave, the control flow of the enclave program can be temporarily altered to execute instructions that lead to observable cache-state changes. An adversary observing such changes can learn secrets inside the enclave memory or its internal registers, thus completely defeating the confidentiality guarantee offered by SGX. To demonstrate the practicality of our SgxPectre Attacks, we have systematically explored the possible attack vectors of branch target injection, approaches to win the race condition during enclave's speculative execution, and techniques to automatically search for code patterns required for launching the attacks. Our study suggests that any enclave program could be vulnerable to SgxPectre Attacks since the desired code patterns are available in most SGX runtimes (e.g., Intel SGX SDK, Rust-SGX, and Graphene-SGX). Most importantly, we have applied SgxPectre Attacks to steal seal keys and attestation keys from Intel signed quoting enclaves. The seal key can be used to decrypt sealed storage outside the enclaves and forge valid sealed data; the attestation key can be used to forge attestation signatures. For these reasons, SgxPectre Attacks practically defeat SGX's security protection. This paper also systematically evaluates Intel's existing countermeasures against SgxPectre Attacks and discusses the security implications.


title: Conditionally Independent Multiresolution Gaussian Processes

abstract: The multiresolution Gaussian process (GP) has gained increasing attention as a viable approach towards improving the quality of approximations in GPs that scale well to large-scale data. Most of the current constructions assume full independence across resolutions. This assumption simplifies the inference, but it underestimates the uncertainties in transitioning from one resolution to another. This in turn results in models which are prone to overfitting in the sense of excessive sensitivity to the chosen resolution, and predictions which are non-smooth at the boundaries. Our contribution is a new construction which instead assumes conditional independence among GPs across resolutions. We show that relaxing the full independence assumption enables robustness against overfitting, and that it delivers predictions that are smooth at the boundaries. Our new model is compared against current state of the art on 2 synthetic and 9 real-world datasets. In most cases, our new conditionally independent construction performed favorably when compared against models based on the full independence assumption. In particular, it exhibits little to no signs of overfitting.


title: Cache-Aided Fog Radio Access Networks with Partial Connectivity

abstract: Centralized coded caching and delivery is studied for a partially-connected fog radio access network (F-RAN), whereby a set of H edge nodes (ENs) (without caches), connected to a cloud server via orthogonal fronthaul links, serve K users over the wireless edge. The cloud server is assumed to hold a library of N files, each of size F bits; and each user, equipped with a cache of size MF bits, is connected to a distinct set of r ENs; or equivalently, the wireless edge from the ENs to the users is modeled as a partial interference channel. The objective is to minimize the normalized delivery time (NDT), which refers to the worst case delivery latency, when each user requests a single file from the library. An achievable coded caching and transmission scheme is proposed, which utilizes maximum distance separable (MDS) codes in the placement phase, and real interference alignment (IA) in the delivery phase, and its achievable NDT is presented for r = 2 and arbitrary cache size M, and also for arbitrary values of r when the cache capacity is sufficiently large.


title: Adversarially Learned One-Class Classifier for Novelty Detection

abstract: Novelty detection is the process of identifying the observation(s) that differ in some respect from the training observations (the target class). In reality, the novelty class is often absent during training, poorly sampled or not well defined. Therefore, one-class classifiers can efficiently model such problems. However, due to the unavailability of data from the novelty class, training an end-to-end deep network is a cumbersome task. In this paper, inspired by the success of generative adversarial networks for training deep models in unsupervised and semi-supervised settings, we propose an end-to-end architecture for one-class classification. Our architecture is composed of two deep networks, each of which trained by competing with each other while collaborating to understand the underlying concept in the target class, and then classify the testing samples. One network works as the novelty detector, while the other supports it by enhancing the inlier samples and distorting the outliers. The intuition is that the separability of the enhanced inliers and distorted outliers is much better than deciding on the original samples. The proposed framework applies to different related applications of anomaly and outlier detection in images and videos. The results on MNIST and Caltech-256 image datasets, along with the challenging UCSD Ped2 dataset for video anomaly detection illustrate that our proposed method learns the target class effectively and is superior to the baseline and state-of-the-art methods.


title: Kitsune: An Ensemble of Autoencoders for Online Network Intrusion Detection

abstract: Neural networks have become an increasingly popular solution for network intrusion detection systems (NIDS). Their capability of learning complex patterns and behaviors make them a suitable solution for differentiating between normal traffic and network attacks. However, a drawback of neural networks is the amount of resources needed to train them. Many network gateways and routers devices, which could potentially host an NIDS, simply do not have the memory or processing power to train and sometimes even execute such models. More importantly, the existing neural network solutions are trained in a supervised manner. Meaning that an expert must label the network traffic and update the model manually from time to time. In this paper, we present Kitsune: a plug and play NIDS which can learn to detect attacks on the local network, without supervision, and in an efficient online manner. Kitsune's core algorithm (KitNET) uses an ensemble of neural networks called autoencoders to collectively differentiate between normal and abnormal traffic patterns. KitNET is supported by a feature extraction framework which efficiently tracks the patterns of every network channel. Our evaluations show that Kitsune can detect various attacks with a performance comparable to offline anomaly detectors, even on a Raspberry PI. This demonstrates that Kitsune can be a practical and economic NIDS.


title: Exponential sums with reducible polynomials

abstract: Hooley proved that if $f\in \Bbb Z [X]$ is irreducible of degree $\ge 2$, then the fractions $\{ r/n\}$, $0<r<n$ with $f(r)\equiv 0\pmod n$, are uniformly distributed in $(0,1)$. In this paper we study such problems for reducible polynomials of degree $2$ and $3$ and for finite products of linear factors. In particular, we establish asymptotic formulas for exponential sums over these normalized roots.


title: Revisiting the poverty of the stimulus: hierarchical generalization without a hierarchical bias in recurrent neural networks

abstract: Syntactic rules in natural language typically need to make reference to hierarchical sentence structure. However, the simple examples that language learners receive are often equally compatible with linear rules. Children consistently ignore these linear explanations and settle instead on the correct hierarchical one. This fact has motivated the proposal that the learner's hypothesis space is constrained to include only hierarchical rules. We examine this proposal using recurrent neural networks (RNNs), which are not constrained in such a way. We simulate the acquisition of question formation, a hierarchical transformation, in a fragment of English. We find that some RNN architectures tend to learn the hierarchical rule, suggesting that hierarchical cues within the language, combined with the implicit architectural biases inherent in certain RNNs, may be sufficient to induce hierarchical generalizations. The likelihood of acquiring the hierarchical generalization increased when the language included an additional cue to hierarchy in the form of subject-verb agreement, underscoring the role of cues to hierarchy in the learner's input.


title: Noncommutative quasi-resolutions

abstract: The notion of a noncommutative quasi-resolution is introduced for a noncommutative noetherian algebra with singularities, even for a non-Cohen-Macaulay algebra. If A is a commutative normal Gorenstein domain, then anoncommutative quasi-resolution of A naturally produces a noncommutative crepant resolution (NCCR) of A in the sense of Van den Bergh, and vice versa. Under some mild hypotheses, we prove that (i) in dimension two, all noncommutative quasi-resolutions of a given non-commutative algebra are Morita equivalent, and (ii) in dimension three, all noncommutative quasi-resolutions of a given non-commutative algebra are derived equivalent. These assertions generalize important results of Van den Bergh, Iyama-Reiten and Iyama-Wemyss in the commutative and central-finite cases.


title: Brunella-Khanedani-Suwa variational residues for invariant currents

abstract: In this work we prove a Brunella-Khanedani-Suwa variational type residue theorem for currents invariant by holomorphic foliations. As a consequence, we give conditions for the leaves of a singular holomorphic foliation to accumulate in the intersection of the singular set of the foliation with the support of an invariant current.


title: On the polynomial Wolff axioms

abstract: We confirm a conjecture of Guth concerning the maximal number of $\delta$-tubes, with $\delta$-separated directions, contained in the $\delta$-neighborhood of a real algebraic variety. Modulo a factor of $\delta^{-\varepsilon}$, we also prove Guth and Zahl's generalized version for semialgebraic sets. Although the applications are to be found in harmonic analysis, the proof will employ deep results from algebraic and differential geometry, including Tarski's projection theorem and Gromov's algebraic lemma.


title: Ginzburg-Landau Type Approach to the 1+1 Gross Neveu Model - Beyond Lowest Non-Trivial Order

abstract: This paper presents a case study of the effects of increasing the order of a Ginzburg-Landau type expansion, by using the well known Gross-Neveu model in 1+1 dimensions as a test case. It is found that as the order of expansion increases, the predicted phase diagram increasingly resembles the known exact phase diagram. Finally, some properties of arbitrary large order phase diagrams are examined.


title: Blindsight: Blinding EM Side-Channel Leakage using Built-In Fully Integrated Inductive Voltage Regulator

abstract: Modern high-performance as well as power-constrained System-on-Chips (SoC) are increasingly using hardware accelerated encryption engines to secure computation, memory access, and communication operations. The electromagnetic (EM) emission from a chip leaks information of the underlying logical operations and can be collected using low-cost non-invasive measurements. EM based side-channel attacks (EMSCA) have emerged as a major threat to security of encryption engines in a SoC. This paper presents the concept of Blindsight where a high-frequency inductive voltage regulator (IVR) integrated on the same chip with an encryption engine is used to increase resistance against EMSCA. High-frequency (~100MHz) IVRs are present in modern microprocessors to improve energy-efficiency. We show that an IVR with a randomized control loop (R-IVR) can reduce EMSCA as the integrated inductance acts as a strong EM emitter and blinds an adversary from EM emission of the encryption engine. The EM measurements are performed on a test-chip containing two architectures of a 128-bit Advanced Encryption Standard (AES) engine powered by a high-frequency R-IVR and under two attack scenarios, one, where an adversary gains complete physical access of the target device and the other, where the adversary is only in proximity of the device. In both attack modes, an adversary can observe information leakage in Test Vector Leakage Assessment (TVLA) test in a baseline IVR (B-IVR, without control loop randomization). However, we show that EM emission from the R-IVR blinds the attacker and significantly reduces SCA vulnerability of the AES engine. A range of practical side-channel analysis including TVLA, Correlation Electromagnetic Analysis (CEMA), and a template based CEMA shows that R-IVR can reduce information leakage and prevent key extraction even against a skilled adversary.


title: Rotation Groups

abstract: A query, about the orbit $P{\cal W}$ in real 3-space of a point $P$ under an isometry group ${\cal W}$ generated by edge rotations of a tetrahedron, leads to contrasting notions, ${\cal W}$ versus ${\cal S}$, of "rotation group". The set R $=\{r_{{\sf A}_1},r_{{\sf A}_2}\}$ of rotations $r_{{\sf A} _i}$ about axes ${\sf A}_i$ generates two manifestations of an isometry group on $\Re^3$: (1). In the {\em stationary} group ${\cal S:=S}$(R), all axes {\sf B} are fixed under a rotation $r_{\sf A}$ about {\sf A}. (2). In the {\em peripatetic} group ${\cal W:=W}$(R), each $r_{\sf A}$ transforms every rotational axis ${\sf B\not=A}$. {\bf Theorem.} \ If the line ${\sf A}_1$ is skew to ${\sf A}_2$, if each $r_{{\sf A}_i}$ is of infinite order, and if $P\in\Re^3$, then both of the orbits $P{\cal S}$ and $P{\cal W}$ are dense in $\Re^3$.


title: SAFFRON: an adaptive algorithm for online control of the false discovery rate

abstract: In the online false discovery rate (FDR) problem, one observes a possibly infinite sequence of $p$-values $P_1,P_2,\dots$, each testing a different null hypothesis, and an algorithm must pick a sequence of rejection thresholds $\alpha_1,\alpha_2,\dots$ in an online fashion, effectively rejecting the $k$-th null hypothesis whenever $P_k \leq \alpha_k$. Importantly, $\alpha_k$ must be a function of the past, and cannot depend on $P_k$ or any of the later unseen $p$-values, and must be chosen to guarantee that for any time $t$, the FDR up to time $t$ is less than some pre-determined quantity $\alpha \in (0,1)$. In this work, we present a powerful new framework for online FDR control that we refer to as SAFFRON. Like older alpha-investing (AI) algorithms, SAFFRON starts off with an error budget, called alpha-wealth, that it intelligently allocates to different tests over time, earning back some wealth on making a new discovery. However, unlike older methods, SAFFRON's threshold sequence is based on a novel estimate of the alpha fraction that it allocates to true null hypotheses. In the offline setting, algorithms that employ an estimate of the proportion of true nulls are called adaptive methods, and SAFFRON can be seen as an online analogue of the famous offline Storey-BH adaptive procedure. Just as Storey-BH is typically more powerful than the Benjamini-Hochberg (BH) procedure under independence, we demonstrate that SAFFRON is also more powerful than its non-adaptive counterparts, such as LORD and other generalized alpha-investing algorithms. Further, a monotone version of the original AI algorithm is recovered as a special case of SAFFRON, that is often more stable and powerful than the original. Lastly, the derivation of SAFFRON provides a novel template for deriving new online FDR rules.


title: Pareto optimal multi-robot motion planning

abstract: This paper studies a class of multi-robot coordination problems where a team of robots aim to reach their goal regions with minimum time and avoid collisions with obstacles and other robots. A novel numerical algorithm is proposed to identify the Pareto optimal solutions where no robot can unilaterally reduce its traveling time without extending others'. The consistent approximation of the algorithm in the epigraphical profile sense is guaranteed using set-valued numerical analysis. Experiments on an indoor multi-robot platform and computer simulations show the anytime property of the proposed algorithm; i.e., it is able to quickly return a feasible control policy that safely steers the robots to their goal regions and it keeps improving policy optimality if more time is given.


title: Can a Chatbot Determine My Diet?: Addressing Challenges of Chatbot Application for Meal Recommendation

abstract: Poor nutrition can lead to reduced immunity, increased susceptibility to disease, impaired physical and mental development, and reduced productivity. A conversational agent can support people as a virtual coach, however building such systems still have its associated challenges and limitations. This paper describes the background and motivation for chatbot systems in the context of healthy nutrition recommendation. We discuss current challenges associated with chatbot application, we tackled technical, theoretical, behavioural, and social aspects of the challenges. We then propose a pipeline to be used as guidelines by developers to implement theoretically and technically robust chatbot systems.


title: EuPRAXIA@SPARC_LAB: the high-brightness RF photo-injector layout proposal

abstract: At EuPRAXIA@SPARC_LAB, the unique combination of an advanced high-brightness RF injector and a plasma-based accelerator will drive a new multi-disciplinary user-facility. The facility, that is currently under study at INFN-LNF Laboratories (Frascati, Italy) in synergy with the EuPRAXIA collaboration, will operate the plasma-based accelerator in the external injection configuration. Since in this configuration the stability and reproducibility of the acceleration process in the plasma stage is strongly influenced by the RF-generated electron beam, the main challenge for the RF injector design is related to generating and handling high quality electron beams. In the last decades of R&D activity, the crucial role of high-brightness RF photo-injectors in the fields of radiation generation and advanced acceleration schemes has been largely established, making them effective candidates to drive plasma-based accelerators as pilots for user facilities. An RF injector consisting in a high-brightness S-band photo-injector followed by an advanced X-band linac has been proposed for the EuPRAXIA@SPARC_LAB project. The electron beam dynamics in the photo-injector has been explored by means of simulations, resulting in high-brightness, ultra-short bunches with up to 3 kA peak current at the entrance of the advanced X-band linac booster. The EuPRAXIA@SPARC_LAB high-brightness photo-injector is described here together with performance optimisation and sensitivity studies aiming to actual check the robustness and reliability of the desired working point.


title: Many-Particle Interferometry and Entanglement by Path Identity

abstract: We introduce a general scheme of many-particle interferometry in which two identical sources are used and "which-way information" is eliminated by making the paths of one or more particles identical (path identity). The scheme allows us to generate many-particle entangled states. We provide general forms of these states and show that they can be expressed as superpositions of various Dicke states. We illustrate cases in which the scheme produces maximally entangled two-qubit states (Bell states) and maximally three-tangled states (three-particle Greenberger-Horne-Zeilinger-class states). A striking feature of the scheme is that the entangled states can be manipulated without interacting with the entangled particles; for example, it is possible to switch between two distinct Bell states. Furthermore, each entangled state corresponds to a set of many-particle interference patterns. The visibility of these patterns and the amount of entanglement in a quantum state are connected to each other. The scheme also allows us to change the visibility and the amount of entanglement without interacting with the entangled particles and, therefore, has the potential to play an important role in quantum information science.


title: Helical micropumps near surfaces

abstract: Recent experiments proposed to use confined bacteria in order to generate flows near surfaces. We develop a mathematical and a computational model of this fluid transport using a linear superposition of fundamental flow singularities. The rotation of a helical bacterial flagellum induces both a force and a torque on the surrounding fluid, both of which lead to a net flow along the surface. The combined flow is in general directed at an angle to the axis of the flagellar filament. The optimal pumping is thus achieved when bacteria are tilted with respect to the direction in which one wants to move the fluid, in good agreement with experimental results. We further investigate the optimal helical shapes to be used as micropumps near surfaces and show that bacterial flagella are nearly optimal, a result which could be relevant to the expansion of bacterial swarms.


title: A New Algorithm for Finding Closest Pair of Vectors

abstract: Given $n$ vectors $x_0, x_1, \ldots, x_{n-1}$ in $\{0,1\}^{m}$, how to find two vectors whose pairwise Hamming distance is minimum? This problem is known as the \emph{Closest Pair Problem}. If these vectors are generated uniformly at random except two of them are correlated with Pearson-correlation coefficient $\rho$, then the problem is called the \emph{Light Bulb Problem}. In this work, we propose a novel coding-based scheme for the Closest Pair Problem. We design both randomized and deterministic algorithms, which achieve the best-known running time when the length of input vectors $m$ is small and the minimum distance is very small compared to $m$. Specifically, the running time of our randomized algorithm is $O(n\log^{2}n\cdot 2^{c m} \cdot \mathrm{poly}(m))$ and the running time of our deterministic algorithm is $O(n\log{n}\cdot 2^{c' m} \cdot \mathrm{poly}(m))$, where $c$ and $c'$ are constants depending only on the (relative) distance of the closest pair. When applied to the Light Bulb Problem, our result yields state-of-the-art deterministic running time when the Pearson-correlation coefficient $\rho$ is very large. Specifically, when $\rho \geq 0.9933$, our deterministic algorithm runs faster than the previously best deterministic algorithm (Alman, SOSA 2019).


title: Configurational entropy and $\rho$ and $\phi$ mesons production in QCD

abstract: In the present work the electroproduction for diffractive $\rho$ and $\phi$ mesons by considering AdS/QCD correspondence and Color Glass Condensate (CGC) approximation are studied with respect to the associated dipole cross section, whose parameters are studied and analysed in the framework of the configurational entropy. Our results suggest different quantum states of the nuclear matter, showing that the extremal points of the nuclear configurational entropy is able to reflect a true description of the $\rho$ and $\phi$ mesons production, using current data concerning light quark masses. During the computations parameters, obtained in fitting procedure, coincide to the experimental within 0.1 %.


title: Quenched invariance principles for orthomartingale-like sequences

abstract: In this paper we study the central limit theorem and its functional form for random fields which are not started from their equilibrium, but rather under the measure conditioned by the past sigma field. The initial class considered is that of orthomartingales and then the result is extended to a more general class of random fields by approximating them, in some sense, with an orthomartingale. We construct an example which shows that there are orthomartingales which satisfy the CLT but not its quenched form. This example also clarifies the optimality of the moment conditions used for the validity of our results. Finally, by using the so called orthomartingale-coboundary decomposition, we apply our results to linear and nonlinear random fields.


title: Prehawking radiation

abstract: Using the 2-D quantum energy momentum tensor expectation value near a black hole, the value near a collapsing shell which stops collapsing just outside the putative horizon is calculated and shown not to have any evidence of preHawking radiation.


title: Dense molecular gas in the starburst nucleus of NGC 1808

abstract: Dense molecular gas tracers in the central 1 kpc region of the superwind galaxy NGC 1808 have been imaged by ALMA at a resolution of 1" (~50 pc). Integrated intensities and line intensity ratios of HCN (1-0), H$^{13}$CN (1-0), HCO$^+$ (1-0), H$^{13}$CO$^+$ (1-0), HOC$^+$ (1-0), HCO$^+$ (4-3), CS (2-1), C$_2$H (1-0), and previously detected CO (1-0) and CO (3-2) are presented. SiO (2-1) and HNCO (4-3) are detected toward the circumnuclear disk (CND), indicating the presence of shocked dense gas. There is evidence that an enhanced intensity ratio of HCN(1-0)/HCO$^+$(1-0) reflects star formation activity, possibly in terms of shock heating and electron excitation in the CND and a star-forming ring at radius ~300 pc. A non-LTE analysis indicates that the molecular gas traced by HCN, H$^{13}$CN, HCO$^+$, and H$^{13}$CO$^+$ in the CND is dense ($n_{\mathrm{H}_2}$~$10^5$ cm$^{-3}$) and warm (20 K$<T_\mathrm{k}$<100 K). The calculations yield a low average gas density of $n_{\mathrm{H}_2}$~$10^2\mathrm{-}10^3$ cm$^{-3}$ for a temperature of $T_\mathrm{k}\geq30$ K in the nuclear outflow. Dense gas tracers HCN (1-0), HCO$^+$ (1-0), CS (2-1), and C$_2$H (1-0) are detected for the first time in the superwind of NGC 1808, confirming the presence of a velocity gradient in the outflow direction.


title: Unilateral global bifurcation for a class of quasilinear elliptic systems and applications

abstract: In this paper we establish a unilateral bifurcation result for a class of quasilinear elliptic system strongly coupled, extending a bifurcation theorem due to J. L\'opez-G\'omez. To this aim, we use several results, such that Fredholm operator of index $0$ theory, eigenvalues of elliptic operators and the Krein-Rutman theorem. Lastly, we apply this result to some particular systems arising from population dynamics and determine a region of existence of coexistence states.


title: Submodularity on Hypergraphs: From Sets to Sequences

abstract: In a nutshell, submodular functions encode an intuitive notion of diminishing returns. As a result, submodularity appears in many important machine learning tasks such as feature selection and data summarization. Although there has been a large volume of work devoted to the study of submodular functions in recent years, the vast majority of this work has been focused on algorithms that output sets, not sequences. However, in many settings, the order in which we output items can be just as important as the items themselves. To extend the notion of submodularity to sequences, we use a directed graph on the items where the edges encode the additional value of selecting items in a particular order. Existing theory is limited to the case where this underlying graph is a directed acyclic graph. In this paper, we introduce two new algorithms that provably give constant factor approximations for general graphs and hypergraphs having bounded in or out degrees. Furthermore, we show the utility of our new algorithms for real-world applications in movie recommendation, online link prediction, and the design of course sequences for MOOCs.


title: Dynamic Effective Resistances and Approximate Schur Complement on Separable Graphs

abstract: We consider the problem of dynamically maintaining (approximate) all-pairs effective resistances in separable graphs, which are those that admit an $n^{c}$-separator theorem for some $c<1$. We give a fully dynamic algorithm that maintains $(1+\varepsilon)$-approximations of the all-pairs effective resistances of an $n$-vertex graph $G$ undergoing edge insertions and deletions with $\tilde{O}(\sqrt{n}/\varepsilon^2)$ worst-case update time and $\tilde{O}(\sqrt{n}/\varepsilon^2)$ worst-case query time, if $G$ is guaranteed to be $\sqrt{n}$-separable (i.e., it is taken from a class satisfying a $\sqrt{n}$-separator theorem) and its separator can be computed in $\tilde{O}(n)$ time. Our algorithm is built upon a dynamic algorithm for maintaining \emph{approximate Schur complement} that approximately preserves pairwise effective resistances among a set of terminals for separable graphs, which might be of independent interest. We complement our result by proving that for any two fixed vertices $s$ and $t$, no incremental or decremental algorithm can maintain the $s-t$ effective resistance for $\sqrt{n}$-separable graphs with worst-case update time $O(n^{1/2-\delta})$ and query time $O(n^{1-\delta})$ for any $\delta>0$, unless the Online Matrix Vector Multiplication (OMv) conjecture is false. We further show that for \emph{general} graphs, no incremental or decremental algorithm can maintain the $s-t$ effective resistance problem with worst-case update time $O(n^{1-\delta})$ and query-time $O(n^{2-\delta})$ for any $\delta >0$, unless the OMv conjecture is false.


title: More Virtuous Smoothing

abstract: In the context of global optimization of mixed-integer nonlinear optimization formulations, we consider smoothing univariate functions $f$ that satisfy $f(0)=0$, $f$ is increasing and concave on $[0,+\infty)$, $f$ is twice differentiable on all of $(0,+\infty)$, but $f'(0)$ is undefined or intolerably large. The canonical examples are root functions $f(w):=w^p$, for $0<p<1$. We consider the earlier approach of defining a smoothing function $g$ that is identical with $f$ on $(\delta,+\infty)$, for some chosen $\delta>0$, then replacing the part of $f$ on $[0,\delta]$ with the unique homogeneous cubic, matching $f$, $f'$ and $f''$ at $\delta$. The parameter $\delta$ is used to control (i.e., upper bound) the derivative at 0 (which controls it on all of $[0,+\infty)$ when $g$ is concave). Our main results: (i) we weaken an earlier sufficient condition to give a necessary and sufficient condition for the piecewise function $g$ to be increasing and concave; (ii) we give a general sufficient condition for $g'(0)$ to be decreasing in the smoothing parameter $\delta$; under the same condition, we demonstrate that the worst-case error of $g$ as an estimate of $f$ is increasing in $\delta$; (iii) we give a general sufficient condition for $g$ to underestimate $f$; (iv) we give a general sufficient condition for $g$ to dominate the simple `shift smoothing' $h(w):=f(w+\lambda)-f(\lambda)$ ($\lambda>0$), when the parameters $\delta$ and $\lambda$ are chosen `fairly' --- i.e., so that $g'(0)=h'(0)$. In doing so, we solve two natural open problems of Lee and Skipper (2016), concerning (iii) and (iv) for root functions.


title: GPU Accelerated Sub-Sampled Newton's Method

abstract: First order methods, which solely rely on gradient information, are commonly used in diverse machine learning (ML) and data analysis (DA) applications. This is attributed to the simplicity of their implementations, as well as low per-iteration computational/storage costs. However, they suffer from significant disadvantages; most notably, their performance degrades with increasing problem ill-conditioning. Furthermore, they often involve a large number of hyper-parameters, and are notoriously sensitive to parameters such as the step-size. By incorporating additional information from the Hessian, second-order methods, have been shown to be resilient to many such adversarial effects. However, these advantages of using curvature information come at the cost of higher per-iteration costs, which in \enquote{big data} regimes, can be computationally prohibitive. In this paper, we show that, contrary to conventional belief, second-order methods, when implemented appropriately, can be more efficient than first-order alternatives in many large-scale ML/ DA applications. In particular, in convex settings, we consider variants of classical Newton\textsf{'}s method in which the Hessian and/or the gradient are randomly sub-sampled. We show that by effectively leveraging the power of GPUs, such randomized Newton-type algorithms can be significantly accelerated, and can easily outperform state of the art implementations of existing techniques in popular ML/ DA software packages such as TensorFlow. Additionally these randomized methods incur a small memory overhead compared to first-order methods. In particular, we show that for million-dimensional problems, our GPU accelerated sub-sampled Newton\textsf{'}s method achieves a higher test accuracy in milliseconds as compared with tens of seconds for first order alternatives.


title: Loop Quantum Corrected Einstein Yang-Mills Black Holes

abstract: In this paper we study the homogeneous interiors of black holes possessing SU(2) Yang-Mills fields subject to corrections inspired by loop quantum gravity. The systems studied possess both magnetic and induced electric Yang-Mills fields. We consider the system of equations both with and without Wilson loop corrections to the Yang-Mills potential. The structure of the Yang-Mills Hamiltonian along with the restriction to homogeneity allows for an anomaly free effective quantization. In particular we study the bounce which replaces the classical singularity and the behavior of the Yang-Mills fields in the quantum corrected interior, which possesses topology $R\times S^{2}$. Beyond the bounce the magnitude of the Yang-Mills electric field asymptotically grows monotonically. This results in an ever expanding $R$ sector even though the two-sphere volume is asymptotically constant. The results are similar with and without Wilson loop corrections on the Yang-Mills potential.


title: Magnetoentropic signatures of skyrmionic phase behavior in FeGe

abstract: We demonstrate that magnetocaloric measurements can rapidly reveal details of the phase diagrams of high-temperature skyrmion hosts, concurrently yielding quantitative latent heats of the field-driven magnetic phase transitions. Our approach addresses an outstanding issue in the phase diagram of the skyrmion host FeGe by showing that dc magnetic anomalies can be explained in terms of entropic signatures consistent with a phase diagram containing a single pocket of skyrmionic order and a Brazovskii transition.


title: Partial Distance Correlation Screening for High Dimensional Time Series

abstract: High dimensional time series datasets are becoming increasingly common in various fields such as economics, finance, meteorology, and neuroscience. Given this ubiquity of time series data, it is surprising that very few works on variable screening discuss the time series setting, and even fewer works have developed methods which utilize the unique features of time series data. This paper introduces several model free screening methods based on the partial distance correlation and developed specifically to deal with time dependent data. Methods are developed both for univariate models, such as nonlinear autoregressive models with exogenous predictors (NARX), and multivariate models such as linear or nonlinear VAR models. Sure screening properties are proved for our methods, which depend on the moment conditions, and the strength of dependence in the response and covariate processes, amongst other factors. Dependence is quantified by functional dependence measures (Wu [Proc. Natl. Acad. Sci. USA 102 (2005) 14150-14154]) and $\beta$-mixing coefficients, and the results rely on the use of Nagaev and Rosenthal type inequalities for dependent random variables. Finite sample performance of our methods is shown through extensive simulation studies, and we include an application to macroeconomic forecasting.


title: Testability of high-dimensional linear models with non-sparse structures

abstract: Understanding statistical inference under possibly non-sparse high-dimensional models has gained much interest recently. For a given component of the regression coefficient, we show that the difficulty of the problem depends on the sparsity of the corresponding row of the precision matrix of the covariates, not the sparsity of the regression coefficients. We develop new concepts of uniform and essentially uniform non-testability that allow the study of limitations of tests across a broad set of alternatives. Uniform non-testability identifies a collection of alternatives such that the power of any test, against any alternative in the group, is asymptotically at most equal to the nominal size. Implications of the new constructions include new minimax testability results that, in sharp contrast to the current results, do not depend on the sparsity of the regression parameters. We identify new tradeoffs between testability and feature correlation. In particular, we show that, in models with weak feature correlations, minimax lower bound can be attained by a test whose power has the $\sqrt{n}$ rate, regardless of the size of the model sparsity.


title: Multi-Commodity Flow with In-Network Processing

abstract: Modern networks run "middleboxes" that offer services ranging from network address translation and server load balancing to firewalls, encryption, and compression. In an industry trend known as Network Functions Virtualization (NFV), these middleboxes run as virtual machines on any commodity server, and the switches steer traffic through the relevant chain of services. Network administrators must decide how many middleboxes to run, where to place them, and how to direct traffic through them, based on the traffic load and the server and network capacity. Rather than placing specific kinds of middleboxes on each processing node, we argue that server virtualization allows each server node to host all middlebox functions, and simply vary the fraction of resources devoted to each one. This extra flexibility fundamentally changes the optimization problem the network administrators must solve to a new kind of multi-commodity flow problem, where the traffic flows consume bandwidth on the links as well as processing resources on the nodes. We show that allocating resources to maximize the processed flow can be optimized exactly via a linear programming formulation, and to arbitrary accuracy via an efficient combinatorial algorithm. Our experiments with real traffic and topologies show that a joint optimization of node and link resources leads to an efficient use of bandwidth and processing capacity. We also study a class of design problems that decide where to provide node capacity to best process and route a given set of demands, and demonstrate both approximation algorithms and hardness results for these problems.


title: Prototyping Virtual Reality Serious Games for Building Earthquake Preparedness: The Auckland City Hospital Case Study

abstract: Enhancing evacuee safety is a key factor in reducing the number of injuries and deaths that result from earthquakes. One way this can be achieved is by training occupants. Virtual Reality (VR) and Serious Games (SGs), represent novel techniques that may overcome the limitations of traditional training approaches. VR and SGs have been examined in the fire emergency context, however, their application to earthquake preparedness has not yet been extensively examined. We provide a theoretical discussion of the advantages and limitations of using VR SGs to investigate how building occupants behave during earthquake evacuations and to train building occupants to cope with such emergencies. We explore key design components for developing a VR SG framework: (a) what features constitute an earthquake event, (b) which building types can be selected and represented within the VR environment, (c) how damage to the building can be determined and represented, (d) how non-player characters (NPC) can be designed, and (e) what level of interaction there can be between NPC and the human participants. We illustrate the above by presenting the Auckland City Hospital, New Zealand as a case study, and propose a possible VR SG training tool to enhance earthquake preparedness in public buildings.


title: Exceeding the Nonlinear Shannon-Limit in Coherent Optical Communications by MIMO Machine Learning

abstract: The nonlinear Shannon capacity limit has been identified as the fundamental barrier to the maximum rate of transmitted information in optical communications. In long-haul high-bandwidth optical networks, this limit is mainly attributed to deterministic Kerr-induced fiber nonlinearities and from the interaction of amplified spontaneous emission noise from cascaded optical amplifiers with fiber nonlinearity: the stochastic parametric noise amplification. Unlike earlier impractical approaches that compensate solely deterministic nonlinearities, here we demonstrate a novel electronic-based deep neural network with multiple-inputs and outputs (MIMO) that tackles the interplay of deterministic and stochastic nonlinearity manifestation in coherent optical signals. Our demonstration shows that MIMO deep learning can compensate nonlinear inter-carrier crosstalk effects even in the presence of frequency stochastic variations, which has hitherto been considered impossible. Our solution significantly outperforms conventional machine learning and gold-standard nonlinear equalizers without sacrificing computational complexity, leading to record-breaking transmission performance for up to 40 Gbit/sec high-spectral-efficient optical signals.


title: Limits on representing Boolean functions by linear combinations of simple functions: thresholds, ReLUs, and low-degree polynomials

abstract: We consider the problem of representing Boolean functions exactly by "sparse" linear combinations (over $\mathbb{R}$) of functions from some "simple" class ${\cal C}$. In particular, given ${\cal C}$ we are interested in finding low-complexity functions lacking sparse representations. When ${\cal C}$ is the set of PARITY functions or the set of conjunctions, this sort of problem has a well-understood answer, the problem becomes interesting when ${\cal C}$ is "overcomplete" and the set of functions is not linearly independent. We focus on the cases where ${\cal C}$ is the set of linear threshold functions, the set of rectified linear units (ReLUs), and the set of low-degree polynomials over a finite field, all of which are well-studied in different contexts. We provide generic tools for proving lower bounds on representations of this kind. Applying these, we give several new lower bounds for "semi-explicit" Boolean functions. For example, we show there are functions in nondeterministic quasi-polynomial time that require super-polynomial size: $\bullet$ Depth-two neural networks with sign activation function, a special case of depth-two threshold circuit lower bounds. $\bullet$ Depth-two neural networks with ReLU activation function. $\bullet$ $\mathbb{R}$-linear combinations of $O(1)$-degree $\mathbb{F}_p$-polynomials, for every prime $p$ (related to problems regarding Higher-Order "Uncertainty Principles"). We also obtain a function in $E^{NP}$ requiring $2^{\Omega(n)}$ linear combinations. $\bullet$ $\mathbb{R}$-linear combinations of $ACC \circ THR$ circuits of polynomial size (further generalizing the recent lower bounds of Murray and the author). (The above is a shortened abstract. For the full abstract, see the paper.)


title: Wrong Sign Bottom Yukawa in Low Energy Supersymmetry

abstract: The study of the Higgs boson properties is one of the most relevant activities in current particle physics. In particular, the Higgs boson couplings to third generation fermions is an important test of the mechanism of mass generation. In spite of their impact on the production and decay properties of the Higgs boson, the values of these couplings are still uncertain and, in models of new physics, they can differ in magnitude as well as in sign with respect to the Standard Model case. In this article, we study the possibility of a wrong sign bottom-quark Yukawa coupling within the framework of the Minimal and Next-to-Minimal Supersymmetric Standard Model. Possible experimental tests are also discussed, including novel decays of the heavy CP-even and CP-odd Higgs fields that may be probed in the near future and that may lead to an explanation of some intriguing di-boson signatures observed at the ATLAS experiment.


title: Black hole formation from the gravitational collapse of a non-spherical network of structures

abstract: We examine the gravitational collapse and black hole formation of multiple non--spherical configurations constructed from Szekeres dust models with positive spatial curvature that smoothly match to a Schwarzschild exterior. These configurations are made of an almost spherical central core region surrounded by a network of "pancake-like" overdensities and voids with spatial positions prescribed through standard initial conditions. We show that a full collapse into a focusing singularity, without shell crossings appearing before the formation of an apparent horizon, is not possible unless the full configuration becomes exactly or almost spherical. Seeking for black hole formation, we demand that shell crossings are covered by the apparent horizon. This requires very special fine-tuned initial conditions that impose very strong and unrealistic constraints on the total black hole mass and full collapse time. As a consequence, non-spherical non-rotating dust sources cannot furnish even minimally realistic toy models of black hole formation at astrophysical scales: demanding realistic collapse time scales yields huge unrealistic black hole masses, while simulations of typical astrophysical black hole masses collapse in unrealistically small times. We note, however, that the resulting time--mass constraint is compatible with early Universe models of primordial black hole formation, suitable in early dust-like environments. Finally, we argue that the shell crossings appearing when non-spherical dust structures collapse are an indicator that such structures do not form galactic mass black holes but virialise into stable stationary objects.


title: Optimal airline de-ice scheduling

abstract: We present a decision support framework for optimal flight rescheduling on an airline's day of operations when de-icing becomes necessary due to snow and ice events. Winter weather, especially in areas where such weather is not commonplace, often causes cascading delays and cancellations throughout the system due to the unforeseen need to add de-ice time to each aircraft's turnaround time. Our model optimally reschedules remaining flights of the day to minimize system delays and cancellations. The model is formulated as a mixed integer linear program (MILP). Structural properties of the model allow it to be decomposed into a finite set of linear programs (LP) and a computationally tractable algorithm for its solution is described. Finally, numerical simulations are presented for a case study of Horizon Air, a regional airline based in the Pacific Northwest of the United States.


title: Gyroaveraging operations using adaptive matrix operators

abstract: A new adaptive scheme to be used in Particle-In-Cell codes for carrying out gyroaveraging operations with matrices is presented. This new scheme uses an intermediate velocity grid whose resolution is adapted to the local thermal Larmor radius. The charge density is computed by projecting marker weights in a field-line following manner while preserving the adiabatic magnetic moment $\mu$. These choices permit to improve the accuracy of the gyroaveraging operations performed with matrices even when strong spatial variation of temperature and magnetic field is present. Accuracy of the scheme in different geometries from simple 2d slab geometry to realistic 3d toroidal equilibrium has been studied. A successful implementation in the grokinetic code XGC is presented in the delta-f limit.


title: Forming Different Planetary Architectures . I . Formation Efficiency of Hot Jupites from High-eccentricity Mechanisms

abstract: Exoplanets discovered over the last decades have provided a new sample of giant exoplanets, hot Jupiters. For lack of enough materials in current locations of hot Jupiters, they are perceived to form outside snowline. Then, migrate to the locations observed through interactions with gas disks or high-eccentricity mechanisms. We examined the efficiencies of different high-eccentricity mechanisms to form hot Jupiters in near coplaner multi-planet systems. These mechanisms include planet-planet scattering, Kozai-Lidov mechanism, coplanar high-eccentricity migration, secular chaos, as well as other two new mechanisms we find in this work, which can produce hot Jupiters with high inclinations even retrograde. We find Kozai-Lidov mechanism plays the most important role in producing hot Jupiters among these mechanisms. Secular chaos is not the usual channel for the formation of hot Jupiters due to the lack of angular momentum deficit within 10^7 Tin (periods of the inner orbit). According to comparisons between the observations and simulations, we speculate that there are at least two populations of hot Jupiters. One population migrates into the boundary of tidal effects due to interactions with gas disk, such as ups And b, WASP-47 b and HIP 14810 b. These systems usually have at least two planets with lower eccentricities, and keep dynamical stable in compact orbital configurations. Another population forms through high-eccentricity mechanisms after the excitation of eccentricity due to dynamical instability. This kind of hot Jupiters usually has Jupiterlike companions in distant orbits with moderate or high eccentricities.


title: Deep Bayesian Bandits Showdown: An Empirical Comparison of Bayesian Deep Networks for Thompson Sampling

abstract: Recent advances in deep reinforcement learning have made significant strides in performance on applications such as Go and Atari games. However, developing practical methods to balance exploration and exploitation in complex domains remains largely unsolved. Thompson Sampling and its extension to reinforcement learning provide an elegant approach to exploration that only requires access to posterior samples of the model. At the same time, advances in approximate Bayesian methods have made posterior approximation for flexible neural network models practical. Thus, it is attractive to consider approximate Bayesian neural networks in a Thompson Sampling framework. To understand the impact of using an approximate posterior on Thompson Sampling, we benchmark well-established and recently developed methods for approximate posterior sampling combined with Thompson Sampling over a series of contextual bandit problems. We found that many approaches that have been successful in the supervised learning setting underperformed in the sequential decision-making scenario. In particular, we highlight the challenge of adapting slowly converging uncertainty estimates to the online setting.


title: Averaging Stochastic Gradient Descent on Riemannian Manifolds

abstract: We consider the minimization of a function defined on a Riemannian manifold $\mathcal{M}$ accessible only through unbiased estimates of its gradients. We develop a geometric framework to transform a sequence of slowly converging iterates generated from stochastic gradient descent (SGD) on $\mathcal{M}$ to an averaged iterate sequence with a robust and fast $O(1/n)$ convergence rate. We then present an application of our framework to geodesically-strongly-convex (and possibly Euclidean non-convex) problems. Finally, we demonstrate how these ideas apply to the case of streaming $k$-PCA, where we show how to accelerate the slow rate of the randomized power method (without requiring knowledge of the eigengap) into a robust algorithm achieving the optimal rate of convergence.


title: Multi-Evidence Filtering and Fusion for Multi-Label Classification, Object Detection and Semantic Segmentation Based on Weakly Supervised Learning

abstract: Supervised object detection and semantic segmentation require object or even pixel level annotations. When there exist image level labels only, it is challenging for weakly supervised algorithms to achieve accurate predictions. The accuracy achieved by top weakly supervised algorithms is still significantly lower than their fully supervised counterparts. In this paper, we propose a novel weakly supervised curriculum learning pipeline for multi-label object recognition, detection and semantic segmentation. In this pipeline, we first obtain intermediate object localization and pixel labeling results for the training images, and then use such results to train task-specific deep networks in a fully supervised manner. The entire process consists of four stages, including object localization in the training images, filtering and fusing object instances, pixel labeling for the training images, and task-specific network training. To obtain clean object instances in the training images, we propose a novel algorithm for filtering, fusing and classifying object instances collected from multiple solution mechanisms. In this algorithm, we incorporate both metric learning and density-based clustering to filter detected object instances. Experiments show that our weakly supervised pipeline achieves state-of-the-art results in multi-label image classification as well as weakly supervised object detection and very competitive results in weakly supervised semantic segmentation on MS-COCO, PASCAL VOC 2007 and PASCAL VOC 2012.


title: Did You Really Just Have a Heart Attack? Towards Robust Detection of Personal Health Mentions in Social Media

abstract: Millions of users share their experiences on social media sites, such as Twitter, which in turn generate valuable data for public health monitoring, digital epidemiology, and other analyses of population health at global scale. The first, critical, task for these applications is classifying whether a personal health event was mentioned, which we call the (PHM) problem. This task is challenging for many reasons, including typically short length of social media posts, inventive spelling and lexicons, and figurative language, including hyperbole using diseases like "heart attack" or "cancer" for emphasis, and not as a health self-report. This problem is even more challenging for rarely reported, or frequent but ambiguously expressed conditions, such as "stroke". To address this problem, we propose a general, robust method for detecting PHMs in social media, which we call WESPAD, that combines lexical, syntactic, word embedding-based, and context-based features. WESPAD is able to generalize from few examples by automatically distorting the word embedding space to most effectively detect the true health mentions. Unlike previously proposed state-of-the-art supervised and deep-learning techniques, WESPAD requires relatively little training data, which makes it possible to adapt, with minimal effort, to each new disease and condition. We evaluate WESPAD on both an established publicly available Flu detection benchmark, and on a new dataset that we have constructed with mentions of multiple health conditions. Our experiments show that WESPAD outperforms the baselines and state-of-the-art methods, especially in cases when the number and proportion of true health mentions in the training data is small.


title: Statistical properties of 3D cell geometry from 2D slices

abstract: Although cell shape can reflect the mechanical and biochemical properties of the cell and its environment, quantification of 3D cell shapes within 3D tissues remains difficult, typically requiring digital reconstruction from a stack of 2D images. We investigate a simple alternative technique to extract information about the 3D shapes of cells in a tissue; this technique connects the ensemble of 3D shapes in the tissue with the distribution of 2D shapes observed in independent 2D slices. Using cell vertex model geometries, we find that the distribution of 2D shapes allows clear determination of the mean value of a 3D shape index. We analyze the errors that may arise in practice in the estimation of the mean 3D shape index from 2D imagery and find that typically only a few dozen cells in 2D imagery are required to reduce uncertainty below 2\%. This framework could be naturally extended to estimate additional 3D geometric features and quantify their uncertainty in other materials.


title: Polynomials of Gaussians and vortex-Gaussian beams as complete, transversely confined bases

abstract: A novel type of discrete basis for paraxial beams is proposed, consisting of monomial vortices times polynomials of Gaussians in the radial variable. These bases have the distinctive property that the effective size of their elements is roughly independent of element order, meaning that the optimal scaling for expanding a localized field does not depend significantly on truncation order. This behavior contrasts with that of bases composed of polynomials times Gaussians, such as Hermite-Gauss and Laguerre-Gauss modes, where the scaling changes roughly as the inverse square root of the truncation order.


title: Uniqueness of completions and related topics

abstract: A bounded subset of a normed linear space is said to be (diametrically) complete if it cannot be enlarged without increasing the diameter. A complete super set of a bounded set $K$ having the same diameter as $K$ is called a completion of $K$. In general, a bounded set may have different completions. We study normed linear spaces having the property that there exists a nontrivial segment with a unique completion. It turns out that this property is strictly weaker than the property that each complete set is a ball, and it is strictly stronger than the property that each set of constant width is a ball. Extensions of this property are also discussed.


title: Demonstration of Einstein-Podolsky-Rosen Steering with Enhanced Subchannel Discrimination

abstract: Einstein-Podolsky-Rosen (EPR) steering describes a quantum nonlocal phenomenon in which one party can nonlocally affect the other's state through local measurements. It reveals an additional concept of quantum nonlocality, which stands between quantum entanglement and Bell nonlocality. Recently, a quantum information task named as subchannel discrimination (SD) provides a necessary and sufficient characterization of EPR steering. The success probability of SD using steerable states is higher than using any unsteerable states, even when they are entangled. However, the detailed construction of such subchannels and the experimental realization of the corresponding task are still technologically challenging. In this work, we designed a feasible collection of subchannels for a quantum channel and experimentally demonstrated the corresponding SD task where the probabilities of correct discrimination are clearly enhanced by exploiting steerable states. Our results provide a concrete example to operationally demonstrate EPR steering and shine a new light on the potential application of EPR steering.


title: Complete confined bases for beam propagation in Cartesian coordinates

abstract: Complete bases that are useful for beam propagation problems and that present the distinct property of being spatially confined at the initial plane are proposed. These bases are constructed in terms of polynomials of Gaussians, in contrast with standard alternatives such as the Hermite-Gaussian basis that are given by a Gaussian times a polynomial. The property of spatial confinement implies that, for all basis elements, the spatial extent at the initial plane is roughly the same. This property leads to an optimal scaling parameter that is independent of truncation order for the fitting of a confined initial field. Given their form as combinations of Gaussians, the paraxial propagation of these basis elements can be modeled analytically.


title: III-V Tri-Gate Quantum Well MOSFET: Quantum Ballistic Simulation Study for 10nm Technology and Beyond

abstract: In this work, quantum ballistic simulation study of a III-V tri-gate MOSFET has been presented. At the same time, effects of device parameter variation on ballistic, subthrshold and short channel performance is observed and presented. The ballistic simulation result has also been used to observe the electrostatic performance and Capacitance-Voltage characteristics of the device. With constant urge to keep in pace with Moore's law as well as aggressive scaling and device operation reaching near ballistic limit, a full quantum transport study at 10nm gate length is necessary. Our simulation reveals an increase in device drain current with increasing channel cross-section. However short channel performance and subthreshold performance get degraded with channel cross-section increment. Increasing device cross-section lowers threshold voltage of the device. The effect of gate oxide thickness on ballistic device performance is also observed. Increase in top gate oxide thickness affects device performance only upto a certain value. The thickness of the top gate oxide however shows no apparent effect on device threshold voltage. The ballistic simulation study has been further used to extract ballistic injection velocity of the carrier and ballistic carrier mobility in the channel. The effect of device dimension and gate oxide thickness on ballistic velocity and effective carrier mobility is also presented.


title: Conformality of quasiconformal mappings at a point, revisited

abstract: We present a new and simple proof of Teichm\"uller-Wittich-Belinskii's and Gutlyanskii-Martio's theorems on the conformality of quasiconformal mappings at a given point. Known proofs gave separate estimates for the radial and angular variations, but our proof unifies them using Gr\"otzsch-type inequality for the variation of cross-ratio of four points on the Riemann sphere. We also give a sufficient condition for $C^{1+\alpha}$-conformality