title: Epileptic Seizure Prediction: A Semi-Dilated Convolutional Neural Network Architecture

abstract: Accurate prediction of epileptic seizures has remained elusive, despite the many advances in machine learning and time-series classification. In this work, we develop a convolutional network module that exploits Electroencephalogram (EEG) scalograms to distinguish between the pre-seizure and normal brain activities. Since these scalograms have rectangular image shapes with many more temporal bins than spectral bins, the presented module uses "semi-dilated convolutions" to create a proportional non-square receptive field. The proposed semi-dilated convolutions support exponential expansion of the receptive field over the long dimension (image width, i.e. time) while maintaining high resolution over the short dimension (image height, i.e., frequency). The proposed architecture comprises a set of co-operative semi-dilated convolutional blocks, each block has a stack of parallel semi-dilated convolutional modules with different dilation rates. Results show that our proposed solution outperforms the state-of-the-art methods, achieving seizure prediction sensitivity scores of 88.45% and 89.52% for the American Epilepsy Society and Melbourne University EEG datasets, respectively.


title: Model-Agnostic Algorithm for Real-Time Attack Identification in Power Grid using Koopman Modes

abstract: Malicious activities on measurements from sensors like Phasor Measurement Units (PMUs) can mislead the control center operator into taking wrong control actions resulting in disruption of operation, financial losses, and equipment damage. In particular, false data attacks initiated during power systems transients caused due to abrupt changes in load and generation can fool the conventional model-based detection methods relying on thresholds comparison to trigger an anomaly. In this paper, we propose a Koopman mode decomposition (KMD) based algorithm to detect and identify false data attacks in real-time. The Koopman modes (KMs) are capable of capturing the nonlinear modes of oscillation in the transient dynamics of the power networks and reveal the spatial embedding of both natural and anomalous modes of oscillations in the sensor measurements. The Koopman-based spatio-temporal nonlinear modal analysis is used to filter out the false data injected by an attacker. The performance of the algorithm is illustrated on the IEEE 68-bus test system using synthetic attack scenarios generated on GridSTAGE, a recently developed multivariate spatio-temporal data generation framework for simulation of adversarial scenarios in cyber-physical power systems.


title: Safety-Critical Model Predictive Control with Discrete-Time Control Barrier Function

abstract: The optimal performance of robotic systems is usually achieved near the limit of state and input bounds. Model predictive control (MPC) is a prevalent strategy to handle these operational constraints, however, safety still remains an open challenge for MPC as it needs to guarantee that the system stays within an invariant set. In order to obtain safe optimal performance in the context of set invariance, we present a safety-critical model predictive control strategy utilizing discrete-time control barrier functions (CBFs), which guarantees system safety and accomplishes optimal performance via model predictive control. We analyze the stability and the feasibility properties of our control design. We verify the properties of our method on a 2D double integrator model for obstacle avoidance. We also validate the algorithm numerically using a competitive car racing example, where the ego car is able to overtake other racing cars.


title: Density Wave Mediated Dzyaloshinskii-Moriya Interactions

abstract: We investigate the effect that density wave states have on the localized spins of a square lattice. We find that topologically nontrivial density wave states can induce stable Dzyaloshinskii-Moriya (DM) interactions among the localized spins of the lattice in the presence of an external magnetic field, and we study the resulting spin models for both antiferromagnetic and ferromagnetic backgrounds. While the density wave state itself can contribute to the the thermal Hall effect, as shown by Li & Lee (arXiv:1905.04248v3), symmetry considerations preclude the resulting spin excitations from inducing a further thermal Hall effect. We utilize a Holstein-Primakoff (HP) substitution about the classical mean-field ground state to calculate the magnon dispersion for LSCO and find that the density wave induces a weak $d_{x^2-y^2}$ anisotropy; upon calculating the non-Abelian Berry curvature for this magnon branch we show explicitly that the magnon contribution to $\kappa_{xy}$ is zero. Finally, we calculate corrections to the magnetic ground state energy, spin canting angles, and the spin-wave dispersion due to the topological density wave for ferromagnetic backgrounds. We find that terms linear in the HP bosons can affect the critical behavior, a point previously overlooked in the literature.


title: Superfluid vortex-mediated mutual friction in non-homogeneous neutron star interiors

abstract: Understanding the average motion of a multitude of superfluid vortices in the interior of a neutron star is a key ingredient for most theories of pulsar glitches. In this paper we propose a kinetic approach to compute the mutual friction force that is responsible for the momentum exchange between the normal and superfluid components in a neutron star, where the mutual friction is extracted from a suitable average over the motion of many vortex lines. As a first step towards a better modelling of the repinning and depinning processes of many vortex lines in a neutron star, we consider here only straight and non-interacting vortices: we adopt a minimal model for the dynamics of an ensemble of point vortices in two dimensions immersed in a non-homogeneous medium that acts as a pinning landscape. Since the degree of disorder in the inner crust or outer core of a neutron star is unknown, we compare the two possible scenarios of periodic and disordered pinscapes. This approach allows to extract the mutual friction between the superfluid and the normal component in the star when, in addition to the usual Magnus and drag forces acting on vortex lines, also a pinning force is at work. The effect of disorder on the depinning transition is also discussed.


title: Perforated Tableaux: A Combinatorial Model for Crystal Graphs in Type $A_{n-1}$

abstract: We present a combinatorial model, called \emph{perforated tableaux}, to study $A_{n-1}$ crystals, unifying several previously studied combinatorial models. We identify nodes in the $k$-fold tensor product of the standard crystal with length $k$ words in $[n]= \{ 1, \ldots n\}$. We model this crystal with perforated tableaux (ptableaux), extending this identification isomorphically to biwords, RSK $(P,Q)$ tableaux pairs, and matrix models. In the ptableaux setting, crystal operators are more simply defined and we can identify highest weights visually without computation. We generalize the tensor products in the Littlewood-Richardson rule to all of $[n]^{\otimes k}$, and not just the irreducible crystals whose reading words come from semistandard Young tableaux. We relate evacuation (Lusztig involution) to products of ptableaux crystal operators, and find a combinatorial algorithm to compute commutators of highest weight ptableaux.


title: Effect of particle size distribution on polydisperse hard disks

abstract: Using Monte Carlo simulations, we systematically investigate the effect of particle size distribution on the phase behaviour of polydisperse hard disks. Compared with the commonly used Gaussian-like polydisperse hard disks [Commun. Phys. 2, 70 (2019)], we find that the phase behaviour of polydisperse hard-disk systems with lognormal and triangle distributions are significantly different. In polydisperse hard-disk systems of lognormal distributions, although the phase diagram appears similar to that of Gaussian-like polydisperse hard disks, the re-entrant melting of hexatic or solid phase can not be observed in sedimentation experiments. For polydisperse hard-disk systems of triangle distributions, the phase behaviour is qualitatively different from the Gaussian-like and lognormal distributions, and we can not reach any system of true polydispersity larger than 0.06, which is due to the special shape of the triangle distribution. Our results suggest that the exact particle size distribution is of primary importance in determining the phase behaviour of polydisperse hard disks, and we do not have a universal phase diagram for different polydisperse hard-disk systems.


title: Craters on Charon: Impactors From a Collisional Cascade Among Trans-Neptunian Objects

abstract: We consider whether equilibrium size distributions from collisional cascades match the frequency of impactors derived from New Horizons crater counts on Charon (Singer et al 2019). Using an analytic model and a suite of numerical simulations, we demonstrate that collisional cascades generate wavy size distributions; the morphology of the waves depends on the binding energy of solids $Q_d^\star$ and the collision velocity $v_c$. For an adopted minimum size of solids, $r_{min}$ = 1 micron, and collision velocity $v_c$ = 1-3 km/sec, the waves are rather insensitive to the gravitational component of $Q_d^\star$. If the bulk strength component of $Q_d^\star$ is $Q_s r^{e_s}$ for particles with radius $r$, size distributions with small $Q_s$ are much wavier than those with large $Q_s$; systems with $e_s \approx -0.4$ have stronger waves than systems with $e_s \approx 0$. Detailed comparisons with the New Horizons data suggest that a collisional cascade among solids with a bulk strength intermediate between weak ice (Leinhardt & Stewart 2012) and normal ice (Schlichting et al 2013) produces size distributions fairly similar to the size distribution of impactors on Charon. If the surface density $\Sigma$ of the protosolar nebula varies with semimajor axis $a$ as $\Sigma \approx 30~{\rm g~cm^{-2}} (a / {\rm 1~au})^{-3/2}$, the time scale for a cascade to generate an approximate equilibrium is 100-300 Myr at 45 au and 10-30 Myr at 25 au. Although it is necessary to perform more complete evolutionary calculations of the Kuiper belt, collisional cascades are a viable model for producing the size distribution of solids that impacted Charon throughout its history.


title: Wave equation on certain noncompact symmetric spaces

abstract: In this paper, we prove sharp pointwise kernel estimates and dispersive properties for the linear wave equation on noncompact Riemannian symmetric spaces G/K of any rank with G complex. As a consequence, we deduce Strichartz inequalities for a large family of admissible pairs and prove global well-posedness results for the corresponding semilinear equation with low regularity data as on hyperbolic spaces.


title: Flavour effects in gravitational leptogenesis

abstract: Within the Type-I seesaw mechanism, quantum effects of the right-handed (RH) neutrinos in the gravitational background lead to an asymmetric propagation of lepton and anti-leptons which allows a Ricci scalar and neutrino Dirac-Yukawa coupling dependent chemical potential and therefore a lepton asymmetry in equilibrium. At high temperature, lepton number violating scattering processes try to maintain a dynamically generated lepton asymmetry in equilibrium. However, when the temperature drops down, the interactions become weaker, and the asymmetry freezes out. The frozen out asymmetry can act as a pre-existing asymmetry prior to the standard Fukugita-Yanagida leptogenesis phase ($T_i\sim M_i$, where $M_i$ is the mass of $i$th RH neutrino). It is then natural to consider the viability of gravitational leptogenesis for a given RH mass spectrum which is not consistent with successful leptogenesis from decays. Primary threat to this gravity-induced lepton asymmetry to be able to successfully reproduce the observed baryon-to-photon ratio is the lepton number violating washout processes at $T_i\sim M_i$. In a minimal seesaw set up with two RH neutrinos, these washout processes are strong enough to erase a pre-existing asymmetry of significant magnitude. We show that when effects of flavour on the washout processes are taken into account, the mechanism opens up the possibility of successful leptogenesis (gravitational) for a mass spectrum $M_2\gg 10^9 {\rm GeV}\gg M_1$ with $M_1 \gtrsim 6.3 \times 10^6$ GeV. We then briefly discuss how, in general, the mechanism leaves its imprints on the low energy CP phases and absolute light neutrino mass scale.


title: A weakly supervised registration-based framework for prostate segmentation via the combination of statistical shape model and CNN

abstract: Precise determination of target is an essential procedure in prostate interventions, such as the prostate biopsy, lesion detection and targeted therapy. However, the prostate delineation may be tough in some cases due to tissue ambiguity or lack of partial anatomical boundary. To address this problem, we proposed a weakly supervised registration-based framework for the precise prostate segmentation, by combining convolutional neural network (CNN) with statistical shape model (SSM). To obtain the prostate region, an inception-based neural network (SSM-Net) was firstly exploited to predict the model transform, shape control parameters and a fine-tuning vector, for the generation of prostate boundary. According to the inferred boundary, a normalized distance map was calculated. Then, a residual U-net (ResU-Net) was employed to predict a probability label map from the input images. Finally, the average of the distance map and the probability map was regarded as the prostate segmentation. After that, two public dataset PROMISE12 and NCI- ISBI 2013 were utilized for the model computation and for the network training and testing. The validation results demonstrate that the segmentation framework using a SSM with 9500 nodes achieved the best performance, with a dice of 0.904 and an average surface distance of 1.88 mm. In addition, we verified the impact of model elasticity augmentation and fine-tuning item on the network segmentation capability. As a result, both factors have improved the delineation accuracy, with dice increased by 10% and 7% respectively. In conclusion, via the combination of two weakly supervised neural networks, our segmentation method might be an effective and robust approach for prostate segmentation.


title: Thermal Rectification of Solid-liquid Phase Change Thermal Diode under the Effect of Supercooling

abstract: Thermal rectification ratios of solid-liquid phase change thermal diodes (SL-PCTDs) are not sustainable beyond a certain temperature bias, necessitating reasonably compatible designs. Manipulating the heat transfer in the forward and reverse directions of the SL-PCTD is of great practical interest to achieve persistent performance. Herein, a SL-PCTD prototype is investigated under the supercooling effect of a phase change material (calcium chloride hexahydrate). In the forward direction, supercooling effect plays a significant role in sustaining natural convection far below the melting temperature (30 C), which leads to robust heat transfer within a temperature bias of 10-40 C. While in the reverse direction, dislodging the supercooling via manual supercooling release (MSR) within a large temperature range of 30-7 C tends to greatly inhibit heat transfer. As a consequence, thermal rectification ratio of 2.95 is achieved, which is competitively sustainable at large temperature bias compared to the SL-PCTD without supercooling effect. To address the effect of supercooling on thermal rectification comprehensively, thermal resistance approach is applied to theoretically model the SL-PCTD, which shows a good agreement with experimental data. Such a device with supercooling control in only one direction is further named as the SL-PCTD with gating functionality, where manipulating supercooling effect of phase change material opens up a feasible avenue for enabling generalized thermal diode.


title: An integral-based spectral method for inextensible slender fibers in Stokes flow

abstract: Every animal cell is filled with a cytoskeleton, a dynamic gel made of inextensible fibers, such as microtubules, actin fibers, and intermediate filaments, all suspended in a viscous fluid. Numerical simulation of this gel is challenging because the fiber aspect ratios can be as large as $10^4$. We describe a new method for rapidly computing the dynamics of inextensible slender filaments in periodically-sheared Stokes flow. The dynamics of the filaments are governed by a nonlocal slender body theory which we partially reformulate in terms of the Rotne-Prager-Yamakawa hydrodynamic tensor. To enforce inextensibility, we parameterize the space of inextensible fiber motions and strictly confine the dynamics to the manifold of inextensible configurations. To do this, we introduce a set of Lagrange multipliers for the tensile force densities on the filaments and impose the constraint of no virtual work in an $L^2$ weak sense. We augment this approach with a spectral discretization of the local and nonlocal slender body theory operators which is linear in the number of unknowns and gives improved spatial accuracy over approaches based on solving a line tension equation. For dynamics, we develop a second-order semi-implicit temporal integrator which requires at most a few evaluations of nonlocal hydrodynamics and a few block diagonal linear solves per time step. After demonstrating the improved accuracy and robustness of our approach through numerical examples, we apply our formulation to a permanently cross-linked actin mesh in a background oscillatory shear flow. We observe a characteristic frequency at which the network transitions from quasi-static, primarily elastic behavior to dynamic, primarily viscous behavior. We find that nonlocal hydrodynamics increases the viscous modulus by as much as 25%, even for semi-dilute fiber suspensions.


title: The Science of $\Theta \Delta^{cs}$

abstract: There is a long tradition of thinking of thermodynamics, not as a theory of fundamental physics (or even a candidate theory of fundamental physics), but as a theory of how manipulations of a physical system may be used to obtain desired effects, such as mechanical work. On this view, the basic concepts of thermodynamics, heat and work, and with them, the concept of entropy, are relative to a class of envisaged manipulations. This view has been dismissed by many philosophers of physics, in my opinion too hastily. This paper is a sketch and defense of a science of manipulations and their effects on physical systems. This is, I claim, the best way to make sense of thermodynamics as it is found in textbooks and as it is practiced. I call this science thermo-dynamics (with hyphen), or $\Theta \Delta^{cs}$, for short, to highlight that it may be different from the science of thermodynamics, as the reader conceives it. Even if one is not convinced that it is the best way to make sense of thermodynamics as it is practiced, it should be non-controversial that $\Theta \Delta^{cs}$ is a legitimate science. An upshot of the discussion is a clarification of the roles of the Gibbs and von Neumann entropies. Given the definition of statistical thermo-dynamic entropy, it can be proven that, under the assumption of availability of thermodynamically reversible processes, these functions are the unique (up to an additive constant) functions that represent thermo-dynamic entropy. Light is also shed on the use of coarse-grained entropies.}


title: Nonclosedness of Sets of Neural Networks in Sobolev Spaces

abstract: We examine the closedness of sets of realized neural networks of a fixed architecture in Sobolev spaces. For an exactly $m$-times differentiable activation function $\rho$, we construct a sequence of neural networks $(\Phi_n)_{n \in \mathbb{N}}$ whose realizations converge in order-$(m-1)$ Sobolev norm to a function that cannot be realized exactly by a neural network. Thus, sets of realized neural networks are not closed in order-$(m-1)$ Sobolev spaces $W^{m-1,p}$ for $p \in [1,\infty]$. We further show that these sets are not closed in $W^{m,p}$ under slightly stronger conditions on the $m$-th derivative of $\rho$. For a real analytic activation function, we show that sets of realized neural networks are not closed in $W^{k,p}$ for any $k \in \mathbb{N}$. The nonclosedness allows for approximation of non-network target functions with unbounded parameter growth. We partially characterize the rate of parameter growth for most activation functions by showing that a specific sequence of realized neural networks can approximate the activation function's derivative with weights increasing inversely proportional to the $L^p$ approximation error. Finally, we present experimental results showing that networks are capable of closely approximating non-network target functions with increasing parameters via training.


title: Comprehensive Image Captioning via Scene Graph Decomposition

abstract: We address the challenging problem of image captioning by revisiting the representation of image scene graph. At the core of our method lies the decomposition of a scene graph into a set of sub-graphs, with each sub-graph capturing a semantic component of the input image. We design a deep model to select important sub-graphs, and to decode each selected sub-graph into a single target sentence. By using sub-graphs, our model is able to attend to different components of the image. Our method thus accounts for accurate, diverse, grounded and controllable captioning at the same time. We present extensive experiments to demonstrate the benefits of our comprehensive captioning model. Our method establishes new state-of-the-art results in caption diversity, grounding, and controllability, and compares favourably to latest methods in caption quality. Our project website can be found at http://pages.cs.wisc.edu/~yiwuzhong/Sub-GC.html.


title: Kodaira-Spencer map, Lagrangian Floer theory and orbifold Jacobian algebras

abstract: A version of mirror symmetry predicts a ring isomorphism between quantum cohomology of a symplectic manifold and Jacobian algebra of the Landau-Ginzburg mirror, and for toric manifolds Fukaya-Oh-Ohta-Ono constructed such a map called Kodaira-Spencer map using Lagrangian Floer theory. We discuss a general construction of Kodaira-Spencer ring homomorphism when LG mirror potential $W$ is given by $J$-holomorphic discs with boundary on a Lagrangian $L$: we find an $A_{\infty}$-algebra $\mathcal{B}$ whose $m_1$-complex is a Koszul complex for $W$ under mild assumptions on $L$. Closed-open map gives a ring homomorphism from quantum cohomology to cohomology algebra of $\mathcal{B}$ which is Jacobian algebra of $W$. We also construct an equivariant version for orbifold LG mirror $(W,H)$. We construct a Kodaira-Spencer map from quantum cohomology to another $A_{\infty}$-algebra $(\mathcal{B}\rtimes H)^H$ whose cohomology algebra is isomorphic to the orbifold Jacobian algebra of $(W,H)$ under an assumption. For the $2$-torus whose mirror is an orbifold LG model given by Fermat cubic with a $\mathbb{Z}/3$-action, we compute an explicit Kodaira-Spencer isomorphism.


title: Soft Hydraulics in Channels with Thick Walls: The Finite-Reynolds-Number Base State and Its Stability

abstract: We analyze the linear stability of the base state of the problem of coupled flow and deformation in a long and shallow rectangular soft hydraulic conduit with a thick top wall. Specifically, the steady base state is computed at low but finite Reynolds number. Then, we show that with the upstream flux fixed and the outlet pressure set to gauge, the flow is linearly stable to infinitesimal flow-wise perturbations. Multiple oscillatory but stable eigenmodes are computed in a range of the reduced Reynolds number, $\hat{Re}$, and the so-called fluid--structure interaction (FSI) parameter, $\lambda$, indicating the stiffness of this FSI system. These results provide a framework to address, in future work, the individual effects of various aspects of two-way FSI coupling on instability and flow transition in soft hydraulic conduits.


title: Miniaturization of the Superconducting Memory Cell via a Three-Dimensional Nb Nano-Superconducting Quantum Interference Device

abstract: Scalable memories that can match the speeds of superconducting logic circuits have long been desired to enable a superconducting computer. A superconducting loop that includes a Josephson junction can store a flux quantum state in picoseconds. However, the requirement for the loop inductance to create a bi-state hysteresis sets a limit on the minimal area occupied by a single memory cell. Here, we present a miniaturized superconducting memory cell based on a Three-Dimensional (3D) Nb nano-Superconducting QUantum Interference Device (nano-SQUID). The major cell area here fits within an 8*9 {\mu}m^2 rectangle with a cross-selected function for memory implementation. The cell shows periodic tunable hysteresis between two neighbouring flux quantum states produced by bias current sweeping because of the large modulation depth of the 3D nano-SQUID (~66%). Furthermore, the measured Current-Phase Relations (CPRs) of nano-SQUIDs are shown to be skewed from a sine function, as predicted by theoretical modelling. The skewness and the critical current of 3D nano-SQUIDs are linearly correlated. It is also found that the hysteresis loop size is in a linear scaling relationship with the CPR skewness using the statistics from characterisation of 26 devices. We show that the CPR skewness range of {\pi}/4~3{\pi}/4 is equivalent to a large loop inductance in creating a stable bi-state hysteresis for memory implementation. Therefore, the skewed CPR of 3D nano-SQUID enables further superconducting memory cell miniaturization by overcoming the inductance limitation of the loop area.


title: Discovering Traveling Companions using Autoencoders

abstract: With the wide adoption of mobile devices, today's location tracking systems such as satellites, cellular base stations and wireless access points are continuously producing tremendous amounts of location data of moving objects. The ability to discover moving objects that travel together, i.e., traveling companions, from their trajectories is desired by many applications such as intelligent transportation systems and location-based services. Existing algorithms are either based on pattern mining methods that define a particular pattern of traveling companions or based on representation learning methods that learn similar representations for similar trajectories. The former methods suffer from the pairwise point-matching problem and the latter often ignore the temporal proximity between trajectories. In this work, we propose a generic deep representation learning model using autoencoders, namely, ATTN-MEAN, for the discovery of traveling companions. ATTN-MEAN collectively injects spatial and temporal information into its input embeddings using skip-gram, positional encoding techniques, respectively. Besides, our model further encourages trajectories to learn from their neighbours by leveraging the Sort-Tile-Recursive algorithm, mean operation and global attention mechanism. After obtaining the representations from the encoders, we run DBSCAN to cluster the representations to find travelling companion. The corresponding trajectories in the same cluster are considered as traveling companions. Experimental results suggest that ATTN-MEAN performs better than the state-of-the-art algorithms on finding traveling companions.


title: Determination of carrier density and dynamics via magneto-electroluminescence spectroscopy in resonant tunneling diodes

abstract: We study the magneto-transport and magneto-electroluminescence properties of purely n-doped GaAs/Al$_{0.6}$Ga$_{0.4}$As resonant tunneling diodes with an In$_{0.15}$Ga$_{0.85}$As quantum well and emitter prewell. Before the resonant current condition, magneto-transport measurements reveal charge carrier densities comparable for diodes with and without the emitter prewell. The Landau level splitting is observed in the electroluminescence emission from the emitter prewell, enabling the determination of the charge carrier build-up. Our findings show that magneto-electroluminescence spectroscopy techniques provide useful insights on the charge carrier dynamics in resonant tunneling diodes and is a versatile tool to complement magneto-transport techniques. This approach will drive the way for developing potentially more efficient opto-electronic resonant tunneling devices, by e.g., monitoring voltage dependent charge accumulation for improving built-in fields and hence to maximize photodetector efficiency and/or minimize optical losses.


title: Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation

abstract: Human-Robot Collaboration (HRC) is rapidly replacing the traditional application of robotics in the manufacturing industry. Robots and human operators no longer have to perform their tasks in segregated areas and are capable of working in close vicinity and performing hybrid tasks -- performed partially by humans and by robots. We have presented a methodology in an earlier work [16] to promote and facilitate formally modeling HRC systems, which are notoriously safety-critical. Relying on temporal logic modeling capabilities and automated model checking tools, we built a framework to formally model HRC systems and verify the physical safety of human operator against ISO 10218-2 [10] standard. In order to make our proposed formal verification framework more appealing to safety engineers, whom are usually not very fond of formal modeling and verification techniques, we decided to couple our model checking approach with a 3D simulator that demonstrates the potential hazardous situations to the safety engineers in a more transparent way. This paper reports our co-simulation approach, using Morse simulator [4] and Zot model checker [14].


title: Statistical Model Checking of Human-Robot Interaction Scenarios

abstract: Robots are soon going to be deployed in non-industrial environments. Before society can take such a step, it is necessary to endow complex robotic systems with mechanisms that make them reliable enough to operate in situations where the human factor is predominant. This calls for the development of robotic frameworks that can soundly guarantee that a collection of properties are verified at all times during operation. While developing a mission plan, robots should take into account factors such as human physiology. In this paper, we present an example of how a robotic application that involves human interaction can be modeled through hybrid automata, and analyzed by using statistical model-checking. We exploit statistical techniques to determine the probability with which some properties are verified, thus easing the state-space explosion problem. The analysis is performed using the Uppaal tool. In addition, we used Uppaal to run simulations that allowed us to show non-trivial time dynamics that describe the behavior of the real system, including human-related variables. Overall, this process allows developers to gain useful insights into their application and to make decisions about how to improve it to balance efficiency and user satisfaction.


title: Establishing Reliable Robot Behavior using Capability Analysis Tables

abstract: Robots are often so complex that one person may not know all the ins and outs of the system. Inheriting software and hardware infrastructure with limited documentation and/or practical robot experience presents a costly challenge for an engineer or researcher. The choice is to either re-build existing systems, or invest in learning the existing framework. No matter the choice, a reliable system which produces expected outcomes is necessary, and while rebuilding may at first appear easier than learning the system, future users will be faced with the same choice. This paper provides a method to allow for increased documentation of the robotic system, which in turn can be used to contribute in overall robot reliability. To do this we propose the identification of a robot's core behaviors for use in Capability Analysis Tables (CATs). CATs are a form of tabular documentation that connect the hardware and software inputs and outputs to the robot's core behaviors. Unlike existing methods, CATs are flexible, easy to build, and understandable by non-expert robot users. We demonstrate this documentation method with an experimental example using an Unmanned Aerial Vehicle (UAV).


title: Improving Competence for Reliable Autonomy

abstract: Given the complexity of real-world, unstructured domains, it is often impossible or impractical to design models that include every feature needed to handle all possible scenarios that an autonomous system may encounter. For an autonomous system to be reliable in such domains, it should have the ability to improve its competence online. In this paper, we propose a method for improving the competence of a system over the course of its deployment. We specifically focus on a class of semi-autonomous systems known as competence-aware systems that model their own competence -- the optimal extent of autonomy to use in any given situation -- and learn this competence over time from feedback received through interactions with a human authority. Our method exploits such feedback to identify important state features missing from the system's initial model, and incorporates them into its state representation. The result is an agent that better predicts human involvement, leading to improvements in its competence and reliability, and as a result, its overall performance.


title: Exploratory Experiments on Programming Autonomous Robots in Jadescript

abstract: This paper describes exploratory experiments to validate the possibility of programming autonomous robots using an agent-oriented programming language. Proper perception of the environment, by means of various types of sensors, and timely reaction to external events, by means of effective actuators, are essential to provide robots with a sufficient level of autonomy. The agent-oriented programming paradigm is relevant with this respect because it offers language-level abstractions to process events and to command actuators. A recent agent-oriented programming language called Jadescript is presented in this paper together with its new features specifically designed to handle events. Exploratory experiments on a simple case-study application are presented to show the validity of the proposed approach and to exemplify the use of the language to program autonomous robots.


title: Engineering Reliable Interactions in the Reality-Artificiality Continuum

abstract: Milgram's reality-virtuality continuum applies to interaction in the physical space dimension, going from real to virtual. However, interaction has a social dimension as well, that can go from real to artificial depending on the companion with whom the user interacts. In this paper we present our vision of the Reality-Artificiality bidimensional Continuum (RAC), we identify some challenges in its design and development and we discuss how reliable interactions might be supported inside RAC.


title: Adaptable and Verifiable BDI Reasoning

abstract: Long-term autonomy requires autonomous systems to adapt as their capabilities no longer perform as expected. To achieve this, a system must first be capable of detecting such changes. In this position paper, we describe a system architecture for BDI autonomous agents capable of adapting to changes in a dynamic environment and outline the required research. Specifically, we describe an agent-maintained self-model with accompanying theories of durative actions and learning new action descriptions in BDI systems.


title: End-to-End Optimization of Scene Layout

abstract: We propose an end-to-end variational generative model for scene layout synthesis conditioned on scene graphs. Unlike unconditional scene layout generation, we use scene graphs as an abstract but general representation to guide the synthesis of diverse scene layouts that satisfy relationships included in the scene graph. This gives rise to more flexible control over the synthesis process, allowing various forms of inputs such as scene layouts extracted from sentences or inferred from a single color image. Using our conditional layout synthesizer, we can generate various layouts that share the same structure of the input example. In addition to this conditional generation design, we also integrate a differentiable rendering module that enables layout refinement using only 2D projections of the scene. Given a depth and a semantics map, the differentiable rendering module enables optimizing over the synthesized layout to fit the given input in an analysis-by-synthesis fashion. Experiments suggest that our model achieves higher accuracy and diversity in conditional scene synthesis and allows exemplar-based scene generation from various input forms.


title: Ultra-Compact accurate wave functions for He-like and Li-like iso-electronic sequences and variational calculus. I. Ground state

abstract: Several ultra-compact accurate wave functions in the form of generalized Hylleraas-Kinoshita functions and Guevara-Harris-Turbiner functions, which describe the domain of applicability of the Quantum Mechanics of Coulomb Charges (QMCC), or, equivalently, the Non-Relativistic QED (NRQED), for the ground state energies (4-5 significant digits (s.d.)) of He-like and Li-like iso-electronic sequences in the static approximation with point-like, infinitely heavy nuclei are constructed. It is shown that for both sequences the obtained parameters can be fitted in $Z$ by simple smooth functions: in general, these parameters differ from the ones emerging in variational calculations. For the He-like two-electron sequence the approximate expression for the ground state function, which provides absolute accuracy for the energy $\sim 10^{-3}$\,a.u. and the same relative accuracies $\sim 10^{-2}-10^{-3}$ for both the cusp parameters and the six expectation values, is found. For the Li-like three-electron sequence the most accurate ultra-compact function taken as the variational trial function provides absolute accuracy for energy $\sim 10^{-3}$\,a.u., 2-3 s.d. for the electron-nuclear cusp parameter for $Z \leq 20$ and 3 s.d. for the two expectation values for $Z=3$.

categories: physics.atom-ph math-ph math.MP math.SP quant-ph


title: Strong Terahertz Radiation Generation via Wakefield in Collisional Plasma

abstract: We show that the transverse component of the wakefield can be produced with the application of an external magnetic field that generates radiation in the THz range. For this, we carry out analytical and numerical calculations to evaluate the components of the wakefield in a realistic situation of collisional plasma. We observe that the wakefield in the direction of the external magnetic field is produced, though the components of the wakefield are observed in the directions parallel and perpendicular to the direction of propagation of the laser and the magnetic field. Based on the approach of perturbation technique under quasi-static approximation, a study is made on the magnitude of emitted radiation pulses from the wakefield for the case of lasers of super-Gaussian profile. The field of THz radiation is found to be enhanced when stronger magnetic field is applied; the same is the case for the lasers of higher index.


title: Sequential Routing Framework: Fully Capsule Network-based Speech Recognition

abstract: Capsule networks (CapsNets) have recently gotten attention as a novel neural architecture. This paper presents the sequential routing framework which we believe is the first method to adapt a CapsNet-only structure to sequence-to-sequence recognition. Input sequences are capsulized then sliced by a window size. Each slice is classified to a label at the corresponding time through iterative routing mechanisms. Afterwards, losses are computed by connectionist temporal classification (CTC). During routing, the required number of parameters can be controlled by the window size regardless of the length of sequences by sharing learnable weights across the slices. We additionally propose a sequential dynamic routing algorithm to replace traditional dynamic routing. The proposed technique can minimize decoding speed degradation caused by the routing iterations since it can operate in a non-iterative manner without dropping accuracy. The method achieves a 1.1% lower word error rate at 16.9% on the Wall Street Journal corpus compared to bidirectional long short-term memory-based CTC networks. On the TIMIT corpus, it attains a 0.7% lower phone error rate at 17.5% compared to convolutional neural network-based CTC networks (Zhang et al., 2016).


title: Shakin' All Over: Proving Landauer's Principle without neglect of fluctuations

abstract: Landauer's principle is, roughly, the principle that there is an entropic cost associated with implementation of logically irreversible operations. Though widely accepted in the literature on the thermodynamics of computation, it has been the subject of considerable dispute in the philosophical literature. Both the cogency of proofs of the principle and its relevance, should it be true, have been questioned. In particular, it has been argued that microscale fluctuations entail dissipation that always greatly exceeds the Landauer bound. In this article Landauer's principle is treated within statistical mechanics, and a proof is given that neither relies on neglect of fluctuations nor assumes the availability of thermodynamically reversible processes. In addition, it is argued that microscale fluctuations are no obstacle to approximating thermodynamic reversibility as closely as one would like


title: Population Extinction on a Random Fitness Seascape

abstract: Models of population growth and extinction are an increasingly popular subject of study. However, consequences of stochasticity and noise in shaping distributions and outcomes are not sufficiently explored. Here we consider a distributed population with logistic growth at each location, subject to "seascape" noise, wherein the population's fitness randomly varies with {\it location and time}. Despite its simplicity, the model actually incorporates variants of directed percolation, and directed polymers in random media, within a mean-field perspective. Probability distributions of the population can be computed self-consistently; and the extinction transition is shown to exhibit novel critical behavior with exponents dependent on the ratio of the strengths of migration and noise amplitudes. The results are compared and contrasted with the more conventional choice of demographic noise due to stochastic changes in reproduction.


title: Powered Multifocal THz Radiation by Mixing of Two Skew (ChG) Cosh-Gaussian Laser Beams in Collisional Plasma

abstract: Considering a realistic situation, where electron-neutral collisions persist in plasma, analytical calculations are carried out for the THz radiation generation by beating of two Skew Cosh-Gaussian (SG) lasers of parameters n & s. The competency of these lasers over Gaussian lasers is discussed in detail with respect to the effects of collision and beam width on the THz field amplitude and efficiency of the mechanism. A critical transverse distance of the peak of the THz field is defined that shows a dependence on the skewness parameter of skew ChG lasers. Although electron-neutral collisions and larger beam width lead to the drastic reduction in the THz field when the skew ChG lasers are used in the plasma, the efficiency of the mechanism remains much larger than the case of Gaussian lasers. Moreover, the skewChG lasers produce stronger and multifocal THz radiation.


title: Evolution of CIV Absorbers I. The Cosmic Incidence

abstract: We present a large high-resolution study of the distribution and evolution of CIV absorbers, including the weakest population with equivalent widths $W_r<0.3$~{\AA}. By searching 369 high-resolution, high signal-to-noise spectra of quasars at $1.1\leq z_{em} \leq5.3$ from Keck/HIRES and VLT/UVES, we find $1268$ CIV absorbers with $W_r \geq 0.05$~{\AA} (our $\sim50\%$ completeness limit) at redshifts $1\leq z \leq4.75$. A Schechter function describes the observed equivalent width distribution with a transition from power-law to exponential decline at $W_r \gtrsim 0.5$~{\AA}. The power-law slope $\alpha$ rises by $\sim7\%$ and transition equivalent width $W_{\star}$ falls by $\sim\!20\%$ from $\langle z \rangle=1.7$ to $\langle z \rangle=3.6$. We find that the co-moving redshift path density, $dN/dX$, of $W_r \geq 0.05$~{\AA} absorbers rises by $\sim1.8$ times from $z\simeq 4.0$ to $z\simeq 1.3$, while the $W_r \geq 0.6$~{\AA} $dN/dX$ rises by a factor of $\sim8.5$. We quantify the observed evolution by a model in which $dN/dX$ decreases linearly with redshift. The model suggests that populations with larger $W_r$ thresholds evolve faster with redshift and appear later in the universe. The cosmological Technicolor Dawn simulations at $z=3-5$ over-produce the observed abundance of absorbers with $W_r<0.3$~{\AA}, while yielding better agreement at higher $W_r$. Our empirical linear model successfully describes {CIV evolution in the simulations and the observed evolution of $W_r \geq 0.6$~{\AA} CIV for the past $\sim12$ Gyr. Combining our measurements with the literature gives us a picture of CIV-absorbing structures becoming more numerous and/or larger in physical size over the last $\approx13$ Gyr of cosmic time ($z\sim6$ to $z\sim0$).


title: Joslim: Joint Widths and Weights Optimization for Slimmable Neural Networks

abstract: Slimmable neural networks provide a flexible trade-off front between prediction error and computational requirement (such as the number of floating-point operations or FLOPs) with the same storage requirement as a single model. They are useful for reducing maintenance overhead for deploying models to devices with different memory constraints and are useful for optimizing the efficiency of a system with many CNNs. However, existing slimmable network approaches either do not optimize layer-wise widths or optimize the shared-weights and layer-wise widths independently, thereby leaving significant room for improvement by joint width and weight optimization. In this work, we propose a general framework to enable joint optimization for both width configurations and weights of slimmable networks. Our framework subsumes conventional and NAS-based slimmable methods as special cases and provides flexibility to improve over existing methods. From a practical standpoint, we propose Joslim, an algorithm that jointly optimizes both the widths and weights for slimmable nets, which outperforms existing methods for optimizing slimmable networks across various networks, datasets, and objectives. Quantitatively, improvements up to 1.7% and 8% in top-1 accuracy on the ImageNet dataset can be attained for MobileNetV2 considering FLOPs and memory footprint, respectively. Our results highlight the potential of optimizing the channel counts for different layers jointly with the weights for slimmable networks. Code available at https://github.com/cmu-enyac/Joslim.


title: Leading Cruise Control in Mixed Traffic Flow

abstract: Vehicle-to-vehicle (V2V) communications have a great potential to improve traffic system performance. Most existing work of connected and autonomous vehicles (CAVs) focused on adaptation to downstream traffic conditions, neglecting the impact of CAVs' behaviors on upstream traffic flow. In this paper, we introduce a notion of Leading Cruise Control (LCC) that retains the basic car-following operation and explicitly considers the influence of the CAV's actions on the vehicles behind. We first present a detailed modeling process for LCC. Then, rigorous controllability analysis verifies the feasibility of exploiting the CAV as a leader to actively lead the motion of its following vehicles. Besides, the head-to-tail transfer function is derived for LCC under adequate employment of V2V connectivity. Numerical studies confirm the potential of LCC to strengthen the capability of CAVs in suppressing traffic instabilities and smoothing traffic flow.


title: Controlling the non-linear emission of upconversion nanoparticles to enhance super-resolution imaging performance

abstract: Upconversion nanoparticles (UCNPs) exhibit unique optical properties such as photo-emission stability, large anti-Stokes shift, and long excited-state lifetimes, allowing significant advances in a broad range of applications from biomedical sensing to super-resolution microscopy. In recent years, progress on nanoparticle synthesis led to the development of many strategies for enhancing their upconversion luminescence, focused in particular on heavy doping of lanthanide ions and core-shell structures. In this article, we investigate the non-linear emission properties of fully Yb-based core-shell UCNPs and their impact on the super-resolution performance of stimulated excitation-depletion (STED) microscopy and super-linear excitation-emission (uSEE) microscopy. Controlling the power-dependent emission curve enables us to relax constraints on the doping concentrations and to reduce the excitation power required for accessing sub-diffraction regimes. We take advantage of this feature to implement multiplexed super-resolution imaging of a two-sample mixture.


title: History Repeats Itself: Human Motion Prediction via Motion Attention

abstract: Human motion prediction aims to forecast future human poses given a past motion. Whether based on recurrent or feed-forward neural networks, existing methods fail to model the observation that human motion tends to repeat itself, even for complex sports actions and cooking activities. Here, we introduce an attention-based feed-forward network that explicitly leverages this observation. In particular, instead of modeling frame-wise attention via pose similarity, we propose to extract motion attention to capture the similarity between the current motion context and the historical motion sub-sequences. Aggregating the relevant past motions and processing the result with a graph convolutional network allows us to effectively exploit motion patterns from the long-term history to predict the future poses. Our experiments on Human3.6M, AMASS and 3DPW evidence the benefits of our approach for both periodical and non-periodical actions. Thanks to our attention model, it yields state-of-the-art results on all three datasets. Our code is available at https://github.com/wei-mao-2019/HisRepItself.


title: Clustering of Social Media Messages for Humanitarian Aid Response during Crisis

abstract: Social media has quickly grown into an essential tool for people to communicate and express their needs during crisis events. Prior work in analyzing social media data for crisis management has focused primarily on automatically identifying actionable (or, informative) crisis-related messages. In this work, we show that recent advances in Deep Learning and Natural Language Processing outperform prior approaches for the task of classifying informativeness and encourage the field to adopt them for their research or even deployment. We also extend these methods to two sub-tasks of informativeness and find that the Deep Learning methods are effective here as well.


title: Deep Learning Based Equalizer for MIMO-OFDM Systems with Insufficient Cyclic Prefix

abstract: In this paper, we study the equalization design for multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems with insufficient cyclic prefix (CP). In particular, the signal detection performance is severely impaired by inter-carrier interference (ICI) and inter-symbol interference (ISI) when the multipath delay spread exceeding the length of CP. To tackle this problem, a deep learning-based equalizer is proposed for approximating the maximum likelihood detection. Inspired by the dependency between the adjacent subcarriers, a computationally efficient joint detection scheme is developed. Employing the proposed equalizer, an iterative receiver is also constructed and the detection performance is evaluated through simulations over measured multipath channels. Our results reveal that the proposed receiver can achieve significant performance improvement compared to two traditional baseline schemes.


title: Interactions Among Non-Interacting Particles in Planet Formation Simulations

abstract: Over the course of the recent decades, $N$-body simulations have become a standard tool for quantifying the gravitational perturbations that ensue in planet-forming disks. Within the context of such simulations, massive non-central bodies are routinely classified into "big" and "small" particles, where big objects interact with all other objects self-consistently, while small bodies interact with big bodies but not with each other. Importantly, this grouping translates to an approximation scheme where the orbital evolution of small bodies is dictated entirely by the dynamics of the big bodies, yielding considerable computational advantages with little added cost in terms of astrophysical accuracy. Here we point out, however, that this scheme can also yield spurious dynamical behaviour, where even in absence of big bodies within a simulation, indirect coupling among small bodies can lead to excitation of the constituent "non-interacting" orbits. We demonstrate this self-stirring by carrying out a sequence of numerical experiments, and confirm that this effect is largely independent of the time-step or the employed integration algorithm. Furthermore, adopting the growth of angular momentum deficit as a proxy for dynamical excitation, we explore its dependence on time, the cumulative mass of the system, as well as the total number of particles present in the simulation. Finally, we examine the degree of such indirect excitation within the context of conventional terrestrial planet formation calculations, and conclude that although some level of caution may be warranted, this effect plays a negligible role in driving the simulated dynamical evolution.


title: Holographic complexity for nonlinearly charged Lifshitz black holes

abstract: Using "complexity=action" proposal we study the late time growth rate of holographic complexity for nonlinear charged Lifshitz black hole with a single horizon or two horizons. As a toy model, we consider two kinds of such black holes: nonlinear charged Lifshitz black hole and nonlinear logarithmic charged Lifshitz black hole. We find that for the black hole with two horizons, the action growth bound is satisfied. But for the black hole with a single horizon, whether the Lloyd bound is violated depends on the specific value of dimensionless coupling constants $\beta_{1},\beta_{2}$, spacetime dimension $D$ and dynamical exponent $z$.


title: Applications of mesoporous silica encapsulated gold nanorods loaded doxorubicin in chemo-photothermal therapy

abstract: We investigate chemo-photothermal effects of gold nanorods (GNRs) coated using mesoporous silica (mSiO2) loading doxorubicin (DOX). When the mesoporous silica layer is embedded by doxorubicin drugs, a significant change in absorption spectra enable to quantify the drug loading. We carry out photothermal experiments on saline and livers of mice having GNRs@mSiO2 and GNRs@mSiO2-DOX. We also inject the gold nanostructures into many tumor-implanted mice and use laser illumination on some of them. By measuring weight and size of tumors, the distinct efficiency of photothermal therapy and chemotherapy on treatment is determined. We experimentally confirm the accumulation of gold nanostructures in liver.


title: Strong convergence of an inertial Tseng's extragradient algorithm for pseudomonotone variational inequalities with applications to optimal control problems

abstract: We investigate an inertial viscosity-type Tseng's extragradient algorithm with a new step size to solve pseudomonotone variational inequality problems in real Hilbert spaces. A strong convergence theorem of the algorithm is obtained without the prior information of the Lipschitz constant of the operator and also without any requirement of additional projections. Finally, several computational tests are carried out to demonstrate the reliability and benefits of the algorithm and compare it with the existing ones. Moreover, our algorithm is also applied to solve the variational inequality problem that appears in optimal control problems. The algorithm presented in this paper improves some known results in the literature.


title: All at Once: Temporally Adaptive Multi-Frame Interpolation with Advanced Motion Modeling

abstract: Recent advances in high refresh rate displays as well as the increased interest in high rate of slow motion and frame up-conversion fuel the demand for efficient and cost-effective multi-frame video interpolation solutions. To that regard, inserting multiple frames between consecutive video frames are of paramount importance for the consumer electronics industry. State-of-the-art methods are iterative solutions interpolating one frame at the time. They introduce temporal inconsistencies and clearly noticeable visual artifacts. Departing from the state-of-the-art, this work introduces a true multi-frame interpolator. It utilizes a pyramidal style network in the temporal domain to complete the multi-frame interpolation task in one-shot. A novel flow estimation procedure using a relaxed loss function, and an advanced, cubic-based, motion model is also used to further boost interpolation accuracy when complex motion segments are encountered. Results on the Adobe240 dataset show that the proposed method generates visually pleasing, temporally consistent frames, outperforms the current best off-the-shelf method by 1.57db in PSNR with 8 times smaller model and 7.7 times faster. The proposed method can be easily extended to interpolate a large number of new frames while remaining efficient because of the one-shot mechanism.


title: Linear periods for unitary representations

abstract: Let $F$ be a local non-Archimedean field of characteristic zero with a finite residue field. Based on Tadi\'{c}'s classification of the unitary dual of $\mathrm{GL}_{2n}(F)$, we classify irreducible unitary representations of $\mathrm{GL}_{2n}(F)$ that have nonzero linear periods, in terms of Speh representations that have nonzero periods. We also give a necessary and sufficient condition for the existence of a nonzero linear period for a Speh representation.


title: Toward understanding physical origin of 2175{\AA} extinction bump in interstellar medium

abstract: The 2175 {\AA} ultraviolet (UV) extinction bump in interstellar medium (ISM) of the Milky Way was discovered in 1965. After intensive exploration of more than a half century, however, its exact origin still remains a big conundrum that is being debated. Here we propose a mixture model by which the extinction bump in ISM is argued possibly relevant to the clusters of hydrogenated T-carbon (HTC) molecules (C40H16) that have intrinsically a sharp absorption peak at the wavelength 2175 {\AA}. By linearly combining the calculated absorption spectra of HTC mixtures, graphite, MgSiO3 and Fe2SiO4, we show that the UV extinction curves of optional six stars can be nicely fitted. This present work poses an alternative explanation toward understanding the physical origin of the 2175 {\AA} extinction bump in ISM of the Milky Way.


title: Cooperative Interference Management for Over-the-Air Computation Networks

abstract: This paper considers a multi-cell AirComp network and investigates the optimal power control policies over multiple cells to regulate the effect of inter-cell interference. First, we consider the scenario of centralized multi-cell power control, where we characterize the Pareto boundary of the multi-cell MSE region by minimizing the sum MSE subject to a set of constraints on individual MSEs. Though the sum-MSE minimization problem is non-convex and its direct solution intractable, we optimally solve this problem via equivalently solving a sequence of convex second-order cone program feasibility problems together with a bisection search. Next, we consider distributed power control in the other scenario without a centralized controller, for which an alternative IT-based method is proposed to characterize the same MSE Pareto boundary, and enable a decentralized power control algorithm. Accordingly, each AP only needs to individually control the power of its associated devices, but subject to a set of IT constraints on their interference to neighboring cells, while different APs can cooperate in iteratively updating the IT levels by pairwise information exchange, to achieve a Pareto-optimal MSE tuple. Last, simulation results demonstrate that cooperative power control using the proposed algorithms can substantially reduce the sum MSE of AirComp networks.


title: Guided Deep Decoder: Unsupervised Image Pair Fusion

abstract: The fusion of input and guidance images that have a tradeoff in their information (e.g., hyperspectral and RGB image fusion or pansharpening) can be interpreted as one general problem. However, previous studies applied a task-specific handcrafted prior and did not address the problems with a unified approach. To address this limitation, in this study, we propose a guided deep decoder network as a general prior. The proposed network is composed of an encoder-decoder network that exploits multi-scale features of a guidance image and a deep decoder network that generates an output image. The two networks are connected by feature refinement units to embed the multi-scale features of the guidance image into the deep decoder network. The proposed network allows the network parameters to be optimized in an unsupervised way without training data. Our results show that the proposed network can achieve state-of-the-art performance in various image fusion problems.


title: Non-trivial $t$-intersecting families for vector spaces

abstract: Let $V$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$. In this paper we describe the structure of maximal non-trivial $t$-intersecting families of $k$-dimensional subspaces of $V$ with large size. We also determine the non-trivial $t$-intersecting families with maximum size. In the special case when $t=1$ our result gives rise to the well-known Hilton-Milner Theorem for vector spaces.


title: Product Title Generation for Conversational Systems using BERT

abstract: Through recent advancements in speech technology and introduction of smart devices, such as Amazon Alexa and Google Home, increasing number of users are interacting with applications through voice. E-commerce companies typically display short product titles on their webpages, either human-curated or algorithmically generated, when brevity is required, but these titles are dissimilar from natural spoken language. For example, "Lucky Charms Gluten Free Break-fast Cereal, 20.5 oz a box Lucky Charms Gluten Free" is acceptable to display on a webpage, but "a 20.5 ounce box of lucky charms gluten free cereal" is easier to comprehend over a conversational system. As compared to display devices, where images and detailed product information can be presented to users, short titles for products are necessary when interfacing with voice assistants. We propose a sequence-to-sequence approach using BERT to generate short, natural, spoken language titles from input web titles. Our extensive experiments on a real-world industry dataset and human evaluation of model outputs, demonstrate that BERT summarization outperforms comparable baseline models.


title: Graphs isomorphisms under edge-replacements and the family of amoebas

abstract: This paper offers a systematic study of a family of graphs called amoebas. Amoebas recently emerged from the study of forced patterns in $2$-colorings of the edges of the complete graph in the context of Ramsey-Turan theory and played an important role in extremal zero-sum problems. Amoebas are graphs with a unique behavior with regards to the following operation: Let $G$ be a graph and let $e\in E(G)$ and $e'\in E(\overline{G})$. If the graph $G'=G-e+e'$ is isomorphic to $G$, we say $G'$ is obtained from $G$ by performing a \emph{feasible edge-replacement}. We call $G$ a \emph{local amoeba} if, for any two copies $G_1$, $G_2$ of $G$ on the same vertex set, $G_1$ can be transformed into $G_2$ by a chain of feasible edge-replacements. On the other hand, $G$ is called \emph{global amoeba} if there is an integer $t_0 \ge 0$ such that $G \cup tK_1$ is a local amoeba for all $t \ge t_0$. To model the dynamics of the feasible edge-replacements of $G$, we define a group ${\rm Fer}(G)$ that satisfies that $G$ is a local amoeba if and only if ${\rm Fer}(G) \cong S_n$, where $n$ is the order of $G$. Via this algebraic setting, a deeper understanding of the structure of amoebas and their intrinsic properties comes into light. Moreover, we present different constructions that prove the richness of these graph families showing, among other things, that any connected graph can be a connected component of a global amoeba, that global amoebas can be very dense and that they can have, in proportion to their order, large clique and chromatic numbers. Also, a family of global amoeba trees with a Fibonacci-like structure and with arbitrary large maximum degree is constructed.


title: Illumination invariant hyperspectral image unmixing based on a digital surface model

abstract: Although many spectral unmixing models have been developed to address spectral variability caused by variable incident illuminations, the mechanism of the spectral variability is still unclear. This paper proposes an unmixing model, named illumination invariant spectral unmixing (IISU). IISU makes the first attempt to use the radiance hyperspectral data and a LiDAR-derived digital surface model (DSM) in order to physically explain variable illuminations and shadows in the unmixing framework. Incident angles, sky factors, visibility from the sun derived from the LiDAR-derived DSM support the explicit explanation of endmember variability in the unmixing process from radiance perspective. The proposed model was efficiently solved by a straightforward optimization procedure. The unmixing results showed that the other state-of-the-art unmixing models did not work well especially in the shaded pixels. On the other hand, the proposed model estimated more accurate abundances and shadow compensated reflectance than the existing models.


title: Batch Policy Learning in Average Reward Markov Decision Processes

abstract: We consider the batch (off-line) policy learning problem in the infinite horizon Markov Decision Process. Motivated by mobile health applications, we focus on learning a policy that maximizes the long-term average reward. We propose a doubly robust estimator for the average reward and show that it achieves semiparametric efficiency. Further we develop an optimization algorithm to compute the optimal policy in a parameterized stochastic policy class. The performance of the estimated policy is measured by the difference between the optimal average reward in the policy class and the average reward of the estimated policy and we establish a finite-sample regret guarantee. The performance of the method is illustrated by simulation studies and an analysis of a mobile health study promoting physical activity.


title: Accelerated Inexact Composite Gradient Methods for Nonconvex Spectral Optimization Problems

abstract: This paper presents two inexact composite gradient methods, one inner accelerated and another doubly accelerated, for solving a class of nonconvex spectral composite optimization problems. More specifically, the objective function for these problems is of the form $f_1 + f_2 + h$ where $f_1$ and $f_2$ are differentiable nonconvex matrix functions with Lipschitz continuous gradients, $h$ is a proper closed convex matrix function, and both $f_2$ and $h$ can be expressed as functions that operate on the singular values of their inputs. The methods essentially use an accelerated composite gradient method to solve a sequence of proximal subproblems involving the linear approximation of $f_1$ and the singular value functions underlying $f_2$ and $h$. Unlike other composite gradient-based methods, the proposed methods take advantage of both the composite and spectral structure underlying the objective function in order to efficiently generate their solutions. Numerical experiments are presented to demonstrate the practicality of these methods on a set of real-world and randomly generated spectral optimization problems.


title: FPT Approximation for Constrained Metric $k$-Median/Means

abstract: The Metric $k$-median problem over a metric space $(\mathcal{X}, d)$ is defined as follows: given a set $L \subseteq \mathcal{X}$ of facility locations and a set $C \subseteq \mathcal{X}$ of clients, open a set $F \subseteq L$ of $k$ facilities such that the total service cost, defined as $\Phi(F, C) \equiv \sum_{x \in C} \min_{f \in F} d(x, f)$, is minimised. The metric $k$-means problem is defined similarly using squared distances. In many applications there are additional constraints that any solution needs to satisfy. This gives rise to different constrained versions of the problem such as $r$-gather, fault-tolerant, outlier $k$-means/$k$-median problem. Surprisingly, for many of these constrained problems, no constant-approximation algorithm is known. We give FPT algorithms with constant approximation guarantee for a range of constrained $k$-median/means problems. For some of the constrained problems, ours is the first constant factor approximation algorithm whereas for others, we improve or match the approximation guarantee of previous works. We work within the unified framework of Ding and Xu that allows us to simultaneously obtain algorithms for a range of constrained problems. In particular, we obtain a $(3+\varepsilon)$-approximation and $(9+\varepsilon)$-approximation for the constrained versions of the $k$-median and $k$-means problem respectively in FPT time. In many practical settings of the $k$-median/means problem, one is allowed to open a facility at any client location, i.e., $C \subseteq L$. For this special case, our algorithm gives a $(2+\varepsilon)$-approximation and $(4+\varepsilon)$-approximation for the constrained versions of $k$-median and $k$-means problem respectively in FPT time. Since our algorithm is based on simple sampling technique, it can also be converted to a constant-pass log-space streaming algorithm.


title: Exceptional surgeries on hyperbolic fibered knots

abstract: Let $K\subset S^3$ be a hyperbolic fibered knot such that $S^3_{p/q}(K)$, the $\frac pq$--surgery on $K$, is non-hyperbolic. We prove that if the monodromy of $K$ is right-veering, then $0\le\frac pq\le 4g(K)$. The upper bound $4g(K)$ cannot be attained if $S^3_{p/q}(K)$ is a small Seifert fibered L-space. If the monodromy of $K$ is neither right-veering nor left-veering, then $|q|\le3$. As a corollary, for any given positive torus knot $T$, if $p/q\ge4g(T)+4$, then $p/q$ is a characterizing slope. This improves earlier bounds of Ni--Zhang and McCoy. We also prove that some finite/cyclic slopes are characterizing. More precisely, $14$ is characterizing for $T_{4,3}$, $17$ is characterizing for $T_{5,3}$, and $4n+1$ is characterizing for $T_{2n+1,2}$ except when $n=5$. By a recent theorem of Tange, this shows that $T_{2n+1,2}$ is the only knot in $S^3$ admitting a lens space surgery while the Alexander polynomial has the form $t^n-t^{n-1}+t^{n-2}+\text{lower order terms}$. In the appendix, we prove that if the rank of the second term of the knot Floer homology of a fibered knot is $1$, then the monodromy is either right-veering or left-veering.


title: On powers of tight Hamilton cycles in randomly perturbed hypergraphs

abstract: For integers $k \geq 3$ and $r\geq 2$, we show that for every $\alpha> 0$, there exists $\varepsilon > 0$ such that the union of $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $\alpha n$ and a binomial random $k$-uniform hypergraph $G^{(k)}(n,p)$ with $p\geq n^{-{\binom{k+r-2}{k-1}}^{-1}-\varepsilon}$ on the same vertex set contains the $r^{th}$ power of a tight Hamilton cycle with high probability. Moreover, a construction shows that one cannot take $\varepsilon > C\alpha$, where $C=C(k,r)$ is a constant. Thus the bound on $p$ is optimal up to the value of $\varepsilon$ and this answers a question of Bedenknecht, Han, Kohayakawa, and Mota.


title: Grid-Coupled Dynamic Response of Battery-Driven Voltage Source Converters

abstract: With the increasing interest in converter-fed islanded microgrids, particularly for resilience, it is becoming more critical to understand the dynamical behavior of these systems. This paper takes a holistic view of grid-forming converters and considers control approaches for both modeling and regulating the DC-link voltage when the DC-source is a battery energy storage system. We are specifically interested in understanding the performance of these controllers, subject to large load changes, for decreasing values of the DC-side capacitance. We consider a fourth, second, and zero-order model of the battery; and establish that the zero-order model captures the dynamics of interest for the timescales considered for disturbances examined. Additionally, we adapt a grid search for optimizing the controller parameters of the DC/DC controller and show how the inclusion of AC side measurements into the DC/DC controller can improve its dynamic performance. This improvement in performance offers the opportunity to reduce the DC-side capacitance given an admissible DC voltage transient deviation, thereby, potentially allowing for more reliable capacitor technology to be deployed.


title: Parameterizing Smooth Viscous Fluid Dynamics With a Viscous Blast Wave

abstract: Blast wave fits are widely used in high energy nuclear collisions to capture essential features of global properties of systems near kinetic equilibrium. They usually provide temperature fields and collective velocity fields on a given hypersurface. We systematically compare blast wave fits of fluid dynamic simulations for Au+Au collisions at $\sqrt{s_{NN}}=200$ GeV and Pb+Pb collisions at $\sqrt{s_{NN}}=2.76$ TeV with the original simulations. In particular, we investigate how faithful the viscous blast wave introduced in \cite{Yang:2022yxa} can reproduce the given temperature and specific shear viscosity fixed at freeze-out of a viscous fluid dynamic calculation, if the final spectrum and elliptic flow of several particle species are fitted. We find that viscous blast wave fits describe fluid dynamic pseudodata rather well and reproduce the specific shear viscosities to good accuracy. However, extracted temperatures tend to be underpredicted, especially for peripheral collisions. We investigate possible reasons for these deviations. We establish maps from true to fitted values. These maps can be used to improve raw fit results from viscous blast wave fits. Although our work is limited to two specific, albeit important, parameters and two collision systems, the same procedure can be easily generalized to other parameters and collision systems.


title: Bot Development for Social Engineering Attacks on Twitter

abstract: A series of bots performing simulated social engineering attacks using phishing in the Twitter platform was developed to identify potentially unsafe user behavior. In this work different bot versions were developed to collect feedback data after stimuli directed to 1,287 twitter accounts for 38 consecutive days. The results were not conclusive about the existence of preceptors for unsafe behavior, but we conclude that despite Twiter's security this kind of attack is still feasible.


title: Anti-clustering in the national SARS-CoV-2 daily infection counts

abstract: The noise in daily infection counts of an epidemic should be super-Poissonian due to intrinsic epidemiological and administrative clustering. Here, we use this clustering to classify the official national SARS-CoV-2 daily infection counts and check for infection counts that are unusually anti-clustered. We adopt a one-parameter model of $\phi'_i$ infections per cluster, dividing any daily count $n_i$ into $n_i/\phi'_i$ 'clusters', for 'country' $i$. We assume that $n_i/\phi'_i$ on a given day $j$ is drawn from a Poisson distribution whose mean is robustly estimated from the four neighbouring days, and calculate the inferred Poisson probability $P'_{ij}$ of the observation. The $P'_{ij}$ values should be uniformly distributed. We find the value $\phi_i$ that minimises the Kolmogorov-Smirnov distance from a uniform distribution. We investigate the $(\phi_i, N_i)$ distribution, for total infection count $N_i$. We find that most of the daily infection count sequences are inconsistent with a Poissonian model. Most are found to be consistent with the $\phi_i$ model. The 28-, 14- and 7-day least noisy sequences for several countries are best modelled as sub-Poissonian, suggesting a distinct epidemiological family. The 28-day least noisy sequence of Algeria has a preferred model that is strongly sub-Poissonian, with $\phi_i^{28} < 0.1$. TJ, TR, RU, BY, AL, AE, and NI have preferred models that are also sub-Poissonian, with $\phi_i^{28} < 0.5$. A statistically significant ($P^{\tau} < 0.05$) correlation was found between the lack of media freedom in a country, as represented by a high Reporters sans frontieres Press Freedom Index (PFI$^{2020}$), and the lack of statistical noise in the country's daily counts. The $\phi_i$ model appears to be an effective detector of suspiciously low statistical noise in the national SARS-CoV-2 daily infection counts.


title: A More Natural Composite Higgs Model

abstract: Composite Higgs models provide an attractive solution to the hierarchy problem. However, many realistic models suffer from tuning problems in the Higgs potential. There are often large contributions from the UV dynamics of the composite resonances to the Higgs potential, and tuning between the quadratic term and the quartic term is required to separate the electroweak breaking scale and the compositeness scale. We consider a composite Higgs model based on the $SU(6)/Sp(6)$ coset, where an enhanced symmetry on the fermion resonances can minimize the Higgs quadratic term. Moreover, a Higgs quartic term from the collective symmetry breaking of the little Higgs mechanism can be realized by the partial compositeness couplings between elementary Standard Model fermions and the composite operators, without introducing new elementary fields beyond the Standard Model and the composite sector. The model contains two Higgs doublets, as well as several additional pseudo-Nambu-Goldstone bosons. To avoid tuning, the extra Higgs bosons are expected to be relatively light and may be probed in the future LHC runs. The deviations of the Higgs couplings and the weak gauge boson couplings also provide important tests as they are expected to be close to the current limits in this model.


title: Relative wealth concerns with partial information and heterogeneous priors

abstract: We establish a Nash equilibrium in a market with $ N $ agents with the performance criteria of relative wealth level when the market return is unobservable. Each investor has a random prior belief on the return rate of the risky asset. The investors can be heterogeneous in both the mean and variance of the prior. By a separation result and a martingale argument, we show that the optimal investment strategy under a stochastic return rate model can be characterized by a fully-coupled linear FBSDE. Two sets of deep neural networks are used for the numerical computation to first find each investor's estimate of the mean return rate and then solve the FBSDEs. We establish the existence and uniqueness result for the class of FBSDEs with stochastic coefficients and solve the utility game under partial information using deep neural network function approximators. We demonstrate the efficiency and accuracy by a base-case comparison with the solution from the finite difference scheme in the linear case and apply the algorithm to the general case of nonlinear hidden variable process. Simulations of investment strategies show a herd effect that investors trade more aggressively under relativeness concerns. Statistical properties of the investment strategies and the portfolio performance, including the Sharpe ratios and the Variance Risk ratios (VRRs) are examed. We observe that the agent with the most accurate prior estimate is likely to lead the herd, and the effect of competition on heterogeneous agents varies more with market characteristics compared to the homogeneous case.


title: Accurate RGB-D Salient Object Detection via Collaborative Learning

abstract: Benefiting from the spatial cues embedded in depth images, recent progress on RGB-D saliency detection shows impressive ability on some challenge scenarios. However, there are still two limitations. One hand is that the pooling and upsampling operations in FCNs might cause blur object boundaries. On the other hand, using an additional depth-network to extract depth features might lead to high computation and storage cost. The reliance on depth inputs during testing also limits the practical applications of current RGB-D models. In this paper, we propose a novel collaborative learning framework where edge, depth and saliency are leveraged in a more efficient way, which solves those problems tactfully. The explicitly extracted edge information goes together with saliency to give more emphasis to the salient regions and object boundaries. Depth and saliency learning is innovatively integrated into the high-level feature learning process in a mutual-benefit manner. This strategy enables the network to be free of using extra depth networks and depth inputs to make inference. To this end, it makes our model more lightweight, faster and more versatile. Experiment results on seven benchmark datasets show its superior performance.


title: A Stochastic Variance Reduced Primal Dual Fixed Point Method For Linearly Constrained Separable Optimization

abstract: In this paper we combine the stochastic variance reduced gradient (SVRG) method [17] with the primal dual fixed point method (PDFP) proposed in [7] to solve a sum of two convex functions and one of which is linearly composite. This type of problems are typically arisen in sparse signal and image reconstruction. The proposed SVRG-PDFP can be seen as a generalization of Prox-SVRG [37] originally designed for the minimization of a sum of two convex functions. Based on some standard assumptions, we propose two variants, one is for strongly convex objective function and the other is for general convex cases. Convergence analysis shows that the convergence rate of SVRG-PDFP is O(1/k) (here k is the iteration number) for general convex objective function and linear for k strongly convex case. Numerical examples on machine learning and CT image reconstruction are provided to show the effectiveness of the algorithms.


title: Deep Learning Based Segmentation of Various Brain Lesions for Radiosurgery

abstract: Semantic segmentation of medical images with deep learning models is rapidly developed. In this study, we benchmarked state-of-the-art deep learning segmentation algorithms on our clinical stereotactic radiosurgery dataset, demonstrating the strengths and weaknesses of these algorithms in a fairly practical scenario. In particular, we compared the model performances with respect to their sampling method, model architecture, and the choice of loss functions, identifying the suitable settings for their applications and shedding light on the possible improvements.


title: Optimal management of harvested population at the edge of extinction

abstract: Optimal control of harvested population at the edge of extinction in an unprotected area, is considered. The underlying population dynamics is governed by a Kolmogorov-Petrovsky-Piskunov equation with a harvesting term and space-dependent coefficients while the control consists of transporting individuals from a natural reserve. The nonlinear optimal control problem is approximated by means of a Galerkin scheme. Convergence result about the optimal controlled solutions and error estimates between the corresponding optimal controls, are derived. For certain parameter regimes, nearly optimal solutions are calculated from a simple logistic ordinary differential equation (ODE) with a harvesting term, obtained as a Galerkin approximation of the original partial differential equation (PDE) model. A critical allowable fraction $\underline{\alpha}$ of the reserve's population is inferred from the reduced logistic ODE with a harvesting term. This estimate obtained from the reduced model allows us to distinguish sharply between survival and extinction for the full PDE itself, and thus to declare whether a control strategy leads to success or failure for the corresponding rescue operation while ensuring survival in the reserve's population. In dynamical terms, this result illustrates that although continuous dependence on the forcing may hold on finite-time intervals, a high sensitivity in the system's response may occur in the asymptotic time. We believe that this work, by its generality, establishes bridges interesting to explore between optimal control problems of ODEs with a harvesting term and their PDE counterpart.


title: Toroidal q-Opers

abstract: We define and study the space of $q$-opers associated with Bethe equations for integrable models of XXZ type with quantum toroidal algebra symmetry. Our construction is suggested by the study of the enumerative geometry of cyclic quiver varieties, in particular, the ADHM moduli spaces. We define $(\overline{GL}(\infty),q)$-opers with regular singularities and then, by imposing various analytic conditions on singularities, arrive at the desired Bethe equations for toroidal $q$-opers.

categories: math.AG hep-th math-ph math.MP math.QA math.RT


title: Lattice Design of a Carbon-Ion Synchrotron based on Double-Bend Achromat Lens

abstract: A normal-conducting carbon-ion synchrotron design for cancer therapy is proposed. The lattice design is based on the double-bend achromat lens with additional quadrupole magnets. The proposed synchrotron design is compact with a circumference of 55 meters. The lattice is tuned for slow extraction at the third integer resonance and the optical functions are optimised with considerations for reducing the power consumption during operation.


title: Influence of galactic arm scale dynamics on the molecular composition of the cold and dense ISM III. Elemental depletion and shortcomings of the current physico-chemical models

abstract: We present a study of the elemental depletion in the interstellar medium. We combined the results of a Galatic model describing the gas physical conditions during the formation of dense cores with a full-gas-grain chemical model. During the transition between diffuse and dense medium, the reservoirs of elements, initially atomic in the gas, are gradually depleted on dust grains (with a phase of neutralisation for those which are ions). This process becomes efficient when the density is larger than 100~cm$^{-3}$. If the dense material goes back into diffuse conditions, these elements are brought back in the gas-phase because of photo-dissociations of the molecules on the ices followed by thermal desorption from the grains. Nothing remains on the grains for densities below 10~cm$^{-3}$ or in the gas-phase in a molecular form. One exception is chlorine, which is efficiently converted at low density. Our current gas-grain chemical model is not able to reproduce the depletion of atoms observed in the diffuse medium except for Cl which gas abundance follows the observed one in medium with densities smaller than 10~cm$^{-3}$. This is an indication that crucial processes (involving maybe chemisorption and/or ice irradiation profoundly modifying the nature of the ices) are missing.


title: Nursing Home Staff Networks and COVID-19

abstract: Nursing homes and other long term-care facilities account for a disproportionate share of COVID-19 cases and fatalities worldwide. Outbreaks in U.S. nursing homes have persisted despite nationwide visitor restrictions beginning in mid-March. An early report issued by the Centers for Disease Control and Prevention identified staff members working in multiple nursing homes as a likely source of spread from the Life Care Center in Kirkland, Washington to other skilled nursing facilities. The full extent of staff connections between nursing homes---and the crucial role these connections serve in spreading a highly contagious respiratory infection---is currently unknown given the lack of centralized data on cross-facility nursing home employment. In this paper, we perform the first large-scale analysis of nursing home connections via shared staff using device-level geolocation data from 30 million smartphones, and find that 7 percent of smartphones appearing in a nursing home also appeared in at least one other facility---even after visitor restrictions were imposed. We construct network measures of nursing home connectedness and estimate that nursing homes have, on average, connections with 15 other facilities. Controlling for demographic and other factors, a home's staff-network connections and its centrality within the greater network strongly predict COVID-19 cases. Traditional federal regulatory metrics of nursing home quality are unimportant in predicting outbreaks, consistent with recent research. Results suggest that eliminating staff linkages between nursing homes could reduce COVID-19 infections in nursing homes by 44 percent.


title: The conceptual design of the miniBeBe detector proposed for NICA-MPD

abstract: We present the conceptual design for the miniBeBe detector proposed to be installed as a level-0 trigger for the TOF of the NICA-MPD. We discuss the design and the geometrical array of its sensitive parts, the read-out electronics as well as the mechanical support that is envisioned. We also present simulation results for p + p and Bi + Bi collisions to study its capabilities as a function of multiplicity both as a level-0 trigger for the TOF, as well as to serve as a beam-gas interaction veto and to locate the beam-beam interaction vertex.


title: Spin-waves in 2D honeycomb lattice $XXZ$-type van der Waals antiferromagnet CoPS$_3$

abstract: The magnetic excitations in CoPS$_3$, a two-dimensional van der Waals (vdW) antiferromagnet with spin $S=3/2$ on a honeycomb lattice, has been measured using powder inelastic neutron scattering. Clear dispersive spin waves are observed with a large spin gap of ~13 meV. The magnon spectra were fitted using an $XXZ$-type $J_1-J_2-J_3$ Heisenberg Hamiltonian with a single-ion anisotropy assuming no magnetic exchange between the honeycomb layers. The best-fit parameters show ferromagnetic exchange $J_1=-2.08$ meV and $J_2=-0.26$ meV for the nearest and second-nearest neighbors and a sizeable antiferromagnetic exchange $J_3=4.21$ meV for the third-nearest neighbor with the strong easy-axis anisotropy $K=-2.06$ meV. The suitable fitting could only be achieved by the anisotropic $XXZ$-type Hamiltonian, in which the exchange interaction for the out-of-plane component is smaller than that for the in-plane one by a ratio $\alpha=J_z/J_x=0.6$. Moreover, the absence of spin-orbit exciton around 30 meV indicates that Co$^{2+}$ ions in CoPS$_3$ have a $S=3/2$ state rather than a spin-orbital entangled $J_\rm{eff}=1/2$ ground state. Our result directly shows that CoPS$_3$ is an experimental realization of the $XXZ$ model with a honeycomb lattice in 2D vdW magnets.


title: Large time convergence of the non-homogeneous Goldstein-Taylor Equation

abstract: The Goldstein-Taylor equations can be thought of as a simplified version of a BGK system, where the velocity variable is constricted to a discrete set of values. It is intimately related to turbulent fluid motion and the telegrapher's equation. A detailed understanding of the large time behaviour of the solutions to these equations has been mostly achieved in the case where the relaxation function, measuring the intensity of the relaxation towards equally distributed velocity densities, is constant. The goal of the presented work is to provide a general method to tackle the question of convergence to equilibrium when the relaxation function is not constant, and to do so as quantitatively as possible. In contrast to the usual modal decomposition of the equations, which is natural when the relaxation function is constant, we define a new Lyapunov functional of pseudodifferential nature, one that is motivated by the modal analysis in the constant case, that is able to deal with full spatial dependency of the relaxation function. The approach we develop is robust enough that one can apply it to multi-velocity Goldstein-Taylor models, and achieve explicit rates of convergence. The convergence rate we find, however, is not optimal, as we show by comparing our result to the that found in the work of Bernard and Salvarani from 2013.


title: Temperature evolution of the nuclear shell structure and the dynamical nucleon effective mass

abstract: We study the fermionic Matsubara Green functions in medium-mass nuclei at finite temperature. The single-fermion Dyson equation with the dynamical kernel of the particle-vibration-coupling (PVC) origin is formulated and solved in the basis of Dirac spinors, which minimize the grand canonical potential with the meson-nucleon covariant energy density functional. The PVC correlations beyond mean field are taken into account in the leading approximation for the energy-dependent self-energy, and the full solution of the finite-temperature Dyson equation is obtained for the fermionic propagators. Within this approach, we investigate the fragmentation of the single-particle states and its evolution with temperature for the nuclear systems $^{56,68}$Ni and $^{56}$Fe relevant for the core-collapse supernova. The energy-dependent, or dynamical, nucleon effective mass is extracted from the PVC self-energy at various temperatures.


title: Applying GPGPU to Recurrent Neural Network Language Model based Fast Network Search in the Real-Time LVCSR

abstract: Recurrent Neural Network Language Models (RNNLMs) have started to be used in various fields of speech recognition due to their outstanding performance. However, the high computational complexity of RNNLMs has been a hurdle in applying the RNNLM to a real-time Large Vocabulary Continuous Speech Recognition (LVCSR). In order to accelerate the speed of RNNLM-based network searches during decoding, we apply the General Purpose Graphic Processing Units (GPGPUs). This paper proposes a novel method of applying GPGPUs to RNNLM-based graph traversals. We have achieved our goal by reducing redundant computations on CPUs and amount of transfer between GPGPUs and CPUs. The proposed approach was evaluated on both WSJ corpus and in-house data. Experiments shows that the proposed approach achieves the real-time speed in various circumstances while maintaining the Word Error Rate (WER) to be relatively 10% lower than that of n-gram models.


title: Sound Field Translation and Mixed Source Model for Virtual Applications with Perceptual Validation

abstract: Non-interactive and linear experiences like cinema film offer high quality surround sound audio to enhance immersion, however the listener's experience is usually fixed to a single acoustic perspective. With the rise of virtual reality, there is a demand for recording and recreating real-world experiences in a way that allows for the user to interact and move within the reproduction. Conventional sound field translation techniques take a recording and expand it into an equivalent environment of virtual sources. However, the finite sampling of a commercial higher order microphone produces an acoustic sweet-spot in the virtual reproduction. As a result, the technique remains to restrict the listener's navigable region. In this paper, we propose a method for listener translation in an acoustic reproduction that incorporates a mixture of near-field and far-field sources in a sparsely expanded virtual environment. We perceptually validate the method through a Multiple Stimulus with Hidden Reference and Anchor (MUSHRA) experiment. Compared to the planewave benchmark, the proposed method offers both improved source localizability and robustness to spectral distortions at translated positions. A cross-examination with numerical simulations demonstrated that the sparse expansion relaxes the inherent sweet-spot constraint, leading to the improved localizability for sparse environments. Additionally, the proposed method is seen to better reproduce the intensity and binaural room impulse response spectra of near-field environments, further supporting the strong perceptual results.


title: Global stability properties of a class of renewal epidemic models with variable susceptibility

abstract: We investigate the global dynamics of a renewal-type epidemic model with variable susceptibility. We show that in this extended model there exists a unique endemic equilibrium and prove that it is globally asymptotically stable when $R_0 > 1$, i.e. when it exists. We also show that the infection-free equilibrium, which exists always, is globally asymptotically stable for $R_0 \leq 1$.


title: End-to-end Learning of Compressible Features

abstract: Pre-trained convolutional neural networks (CNNs) are powerful off-the-shelf feature generators and have been shown to perform very well on a variety of tasks. Unfortunately, the generated features are high dimensional and expensive to store: potentially hundreds of thousands of floats per example when processing videos. Traditional entropy based lossless compression methods are of little help as they do not yield desired level of compression, while general purpose lossy compression methods based on energy compaction (e.g. PCA followed by quantization and entropy coding) are sub-optimal, as they are not tuned to task specific objective. We propose a learned method that jointly optimizes for compressibility along with the task objective for learning the features. The plug-in nature of our method makes it straight-forward to integrate with any target objective and trade-off against compressibility. We present results on multiple benchmarks and demonstrate that our method produces features that are an order of magnitude more compressible, while having a regularization effect that leads to a consistent improvement in accuracy.