title: Haptic Rendering of Thin, Deformable Objects with Spatially Varying Stiffness

abstract: In the real world, we often come across soft objects having spatially varying stiffness, such as human palm or a wart on the skin. In this paper, we propose a novel approach to render thin, deformable objects having spatially varying stiffness (inhomogeneous material). We use the classical Kirchhoff thin plate theory to compute the deformation. In general, the physics-based rendering of an arbitrary 3D surface is complex and time-consuming. Therefore, we approximate the 3D surface locally by a 2D plane using an area-preserving mapping technique - Gall-Peters mapping. Once the deformation is computed by solving a fourth-order partial differential equation, we project the points back onto the original object for proper haptic rendering. The method was validated through user experiments and was found to be realistic.


title: The Origin of Antibunching in Resonance Fluorescence

abstract: Epitaxial quantum dots have emerged as one of the best single-photon sources, not only for applications in photonic quantum technologies but also for testing fundamental properties of quantum optics. One intriguing observation in this area is the scattering of photons with subnatural linewidth from a two-level system under resonant continuous wave excitation. In particular, an open question is whether these subnatural linewidth photons exhibit simultaneously antibunching as an evidence of single-photon emission. Here, we demonstrate that this simultaneous observation of subnatural linewidth and antibunching is not possible with simple resonant excitation. First, we independently confirm single-photon character and subnatural linewidth by demonstrating antibunching in a Hanbury Brown and Twiss type setup and using high-resolution spectroscopy, respectively. However, when filtering the coherently scattered photons with filter bandwidths on the order of the homogeneous linewidth of the excited state of the two-level system, the antibunching dip vanishes in the correlation measurement. Our experimental work is consistent with recent theoretical findings, that explain antibunching from photon-interferences between the coherent scattering and a weak incoherent signal in a skewed squeezed state.


title: Applying configurational complexity to the 2D Ruddlesden-Popper crystal structure

abstract: The 2D layered Ruddlesden-Popper crystal structure can host a broad range of functionally important behaviors. Here we establish extraordinary configurational disorder in a two dimensional layered Ruddlesden-Popper (RP) structure using entropy stabilization assisted synthesis. A protype A2CuO4 RP cuprate oxide with five components (La, Pr, Nd, Sm, Eu) on the A-site sublattice is designed and fabricated into epitaxial single crystal films using pulsed laser deposition. By comparing (La0.2Pr0.2Nd0.2Sm0.2Eu0.2)2CuO4 crystals grown under identical conditions but different substrates, it is found that heteroepitaxial strain plays an important role in crystal phase formation. When grown on a near lattice matched substrate, the high entropy oxide film features a T'-type RP structure with uniform A-site cation mixing and square-planar CuO4 units, however, growing under strong compressive strain results in a single crystal non-RP cubic phase consistent with a CuX2O4 spinel structure. These observations are made with a range of combined characterizations using X-ray diffraction, atomic-resolution scanning transmission electron microscopy, energy-dispersive X-ray spectroscopy, and X-ray absorption spectroscopy measurements. Designing configurational complexity and moving between 2D layered RP and 3D cubic crystal structures in this class of cuprate materials opens many opportunities for new design strategies related to magnetoresistance, unconventional superconductivity, ferroelectricity, catalysis, and ion transport.


title: Generalized Tsirelson's bound from parity symmetry considerations

abstract: The Bell experiment is a random game with two binary outcomes whose statistical correlation is given by $E_0(\Theta)=-\cos(\Theta)$, where $\Theta \in [-\pi, \pi)$ is an angular input that parameterizes the game setting. The correlation function $E_0(\Theta)$ belongs to the affine space ${\cal H} \equiv \left\{E(\Theta)\right\}$ of all continuous and differentiable periodic functions $E(\Theta)$ that obey the parity symmetry constraints $E(-\Theta)=E(\Theta)$ and $E(\pi-\Theta)=-E(\Theta)$ with $E(0)=-1$ and, furthermore, are strictly monotonically increasing in the interval $[0, \pi)$. Here we show how to build explicitly local statistical models of hidden variables for random games with two binary outcomes whose correlation function $E(\Theta)$ belongs to the affine space ${\cal H}$. This family of games includes the Bell experiment as a particular case. Within this family of random games, the Bell inequality can be violated beyond the Tsirelson bound of $2\sqrt{2}$ up to the maximally allowed algebraic value of 4. In fact, we show that the amount of violation of the Bell inequality is a purely geometric feature.


title: Resonant superalgebras and $\mathcal{N}=1$ supergravity theories in three spacetime dimensions

abstract: We explore $\mathcal{N}=1$ supersymmetric extensions of algebras going beyond the Poincar\'e and AdS ones in three spacetime dimensions. Besides reproducing two known examples, we present new superalgebras, which all correspond to supersymmetric extensions with one fermionic charge $Q_{\alpha}$ concerning the so-called resonant algebras being characterized by the presence of an additional bosonic generator $Z_{a}$, besides the Lorentz $J_{a}$ and translation $P_{a}$ generators. Obtained eight supersymmetric $JPZ+Q$ schemes result directly from obeying super-Jacobi identities. We point out particular requirements that superalgebras have to satisfy to be successfully incorporated within valid supergravity actions. The presented algebraic and Lagrangian framework organizes and helps us better understand relations between the various supergravity and supersymmetric Chern-Simons actions invariant under diverse resonant superalgebras.


title: Emergent geometry and path integral optimization for a Lifshitz action

abstract: Extending the background metric optimization procedure for Euclidean path integrals of two-dimensional conformal field theories, introduced by Caputa et al. (Phys. Rev. Lett. 119, 071602 (2017)), to a $z=2$ anisotropically scale-invariant $(2+1)$-dimensional Lifshitz field theory of a free massless scalar field, we find optimal geometries for static and dynamic correlation functions. For the static correlation functions, the optimal background metric is equivalent to an AdS metric on a Poincare patch, while for dynamical correlation functions, we find Lifshitz like metric. This results suggest that a MERA-like tensor network, perhaps without unitarity, would still be considered an optimal background spacetime configuration for the numerical description of this system, even though the classical action we start with is not a conformal field theory.


title: Bayesian Multiresolution Modeling Of Georeferenced Data

abstract: Current implementations of multiresolution methods are limited in terms of possible types of responses and approaches to inference. We provide a multiresolution approach for spatial analysis of non-Gaussian responses using latent Gaussian models and Bayesian inference via integrated nested Laplace approximation (INLA). The approach builds on `LatticeKrig', but uses a reparameterization of the model parameters that is intuitive and interpretable so that modeling and prior selection can be guided by expert knowledge about the different spatial scales at which dependence acts. The priors can be used to make inference robust and integration over model parameters allows for more accurate posterior estimates of uncertainty. The extended LatticeKrig (ELK) model is compared to a standard implementation of LatticeKrig (LK), and a standard Mat\'ern model, and we find modest improvement in spatial oversmoothing and prediction for the ELK model for counts of secondary education completion for women in Kenya collected in the 2014 Kenya demographic health survey. Through a simulation study with Gaussian responses and a realistic mix of short and long scale dependencies, we demonstrate that the differences between the three approaches for prediction increases with distance to nearest observation.


title: An interface capturing method for liquid-gas flows at low-Mach number

abstract: Multiphase, compressible and viscous flows are of crucial importance in a wide range of scientific and engineering problems. Despite the large effort paid in the last decades to develop accurate and efficient numerical techniques to address this kind of problems, current models need to be further improved to address realistic applications. In this context, we propose a numerical approach to the simulation of multiphase, viscous flows where a compressible and an incompressible phase interact in the low-Mach number regime. In this frame, acoustics is neglected but large density variations of the compressible phase can be accounted for as well as heat transfer, convection and diffusion processes. The problem is addressed in a fully Eulerian framework exploiting a low-Mach number asymptotic expansion of the Navier-Stokes equations. A Volume of Fluid approach (VOF) is used to capture the liquid-gas interface, built on top of a massive parallel solver, second order accurate both in time and space. The second-order-pressure term is treated implicitly and the resulting pressure equation is solved with the eigenexpansion method employing a robust and novel formulation. We provide a detailed and complete description of the theoretical approach together with information about the numerical technique and implementation details. Results of benchmarking tests are provided for five different test cases.


title: Optimal singular value shrinkage for operator norm loss

abstract: We study the denoising of low-rank matrices by singular value shrinkage. Recent work of Gavish and Donoho constructs a framework for finding optimal singular value shrinkers for a wide class of loss functions. We use this framework to derive the optimal shrinker for operator norm loss. The optimal shrinker matches the shrinker proposed by Gavish and Donoho in the special case of square matrices, but differs for all other aspect ratios. We precisely quantify the gain in accuracy from using the optimal shrinker. We also show that the optimal shrinker converges to the best linear predictor in the classical regime of aspect ratio zero.


title: Hecke triangle groups, transfer operators and Hausdorff dimension

abstract: We consider the family of Hecke triangle groups $ \Gamma_{w} = \langle S, T_w\rangle $ generated by the M\"obius transformations $ S : z\mapsto -1/z $ and $ T_{w} : z \mapsto z+w $ with $ w > 2.$ In this case the corresponding hyperbolic quotient $ \Gamma_{w}\backslash\mathbb{H}^2 $ is an infinite-area orbifold. Moreover, the limit set of $ \Gamma_w $ is a Cantor-like fractal whose Hausdorff dimension we denote by $ \delta(w). $ The first result of this paper asserts that the twisted Selberg zeta function $ Z_{\Gamma_{ w}}(s, \rho) $, where $ \rho : \Gamma_{w} \to \mathrm{U}(V) $ is an arbitrary finite-dimensional unitary representation, can be realized as the Fredholm determinant of a Mayer-type transfer operator. This result has a number of applications. We study the distribution of the zeros in the half-plane $\mathrm{Re}(s) > \frac{1}{2}$ of the Selberg zeta function of a special family of subgroups $( \Gamma_w^n )_{n\in \mathbb{N}} $ of $\Gamma_w$. These zeros correspond to the eigenvalues of the Laplacian on the associated hyperbolic surfaces $X_w^n = \Gamma_w^n \backslash \mathbb{H}^2$. We show that the classical Selberg zeta function $Z_{\Gamma_w}(s)$ can be approximated by determinants of finite matrices whose entries are explicitly given in terms of the Riemann zeta function. Moreover, we prove an asymptotic expansion for the Hausdorff dimension $\delta(w)$ as $w\to \infty$.


title: Multilayer engineering of CaVO$_3$ thin films with SrTiO$_3$ and LaAlO$_3$ from DFT+DMFT

abstract: In this paper we use density functional theory combined with dynamical mean-field theory (DFT+DMFT) to study interface effects between thin films of the correlated metal CaVO$_3$ and the two typical substrate materials SrTiO$_3$ and LaAlO$_3$. We find that the CaVO$_3$/SrTiO$_3$ interface has only a marginal influence on the CaVO$_3$ thin film, with the dominant effect being the (bulklike) epitaxial strain imposed by the large lattice mismatch, rendering the CaVO$_3$ film insulating due to the enhanced orbital polarization related to the strong level splitting between the t$_{\mathrm{2g}}$ orbitals. In contrast, at the polar CaVO$_3$/LaAlO$_3$ interface, the presence of the interface can have a huge effect on the thin film properties, depending both on the specific interface termination as well as the specific boundary conditions imposed by the multilayer geometry. We compare three different approaches to model the interface between the correlated metal CaVO$_3$ and the band insulator LaAlO$_3$, which all impose a different set of (electrostatic) boundary conditions on the electronic structure. The spectral properties obtained from our calculations reveal a strong influence of the supercell geometry, ranging from bulklike to highly doped and structurally distorted phases, indicating a potential tunability of the interfacial properties via multilayer engineering.


title: Learning visual servo policies via planner cloning

abstract: Learning control policies for visual servoing in novel environments is an important problem. However, standard model-free policy learning methods are slow. This paper explores planner cloning: using behavior cloning to learn policies that mimic the behavior of a full-state motion planner in simulation. We propose Penalized Q Cloning (PQC), a new behavior cloning algorithm. We show that it outperforms several baselines and ablations on some challenging problems involving visual servoing in novel environments while avoiding obstacles. Finally, we demonstrate that these policies can be transferred effectively onto a real robotic platform, achieving approximately an 87% success rate both in simulation and on a real robot.


title: Recognizing Families through Images with Pretrained Encoder

abstract: Kinship verification and kinship retrieval are emerging tasks in computer vision. Kinship verification aims at determining whether two facial images are from related people or not, while kinship retrieval is the task of retrieving possible related facial images to a person from a gallery of images. They introduce unique challenges because of the hidden relations and features that carry inherent characteristics between the facial images. We employ 3 methods, FaceNet, Siamese VGG-Face, and a combination of FaceNet and VGG-Face models as feature extractors, to achieve the 9th standing for kinship verification and the 5th standing for kinship retrieval in the Recognizing Family in The Wild 2020 competition. We then further experimented using StyleGAN2 as another encoder, with no improvement in the result.


title: Emerging ergodic behavior within many-body localized states

abstract: We report in this paper our numerical analysis of energy level spacing statistics for the one-dimensional spin-$1/2$ XXZ model in random on-site longitudinal magnetic fields $B_i$ ($-h\leq B_i\leq h$)). We concentrate on the strong disorder limit $J_{\perp}<<J_z,h)$ where $J_z$ and $J_{\perp}$ are the (nearest neighbor) spin interaction strength in $z$- and planar ($xy$)- directions, respectively. The system is expected to be in a many-body localized (MBL) state in this parameter regime. By analyzing the energy-level spacing statistics as a function of strength of random magnetic field $h$, energy of the many-body state $E$, the number of spin-$\uparrow$ particles in the system $M=\sum_i(s_i^z+{1\over2})$ and the spin interaction strengths $J_z$ and $J_{\perp}$, we show that there exists a small parameter region $J_z\sim h$ where ergodic behaviour emerges at the middle of the many-body energy spectrum when $M\sim{N\over2}$ ($N=$ length of spin chain). The emerging ergodic phase shows qualitatively different behaviour compared with the usual ergodic phase that exists in the weak-disorder limit.


title: Smart helical structures inspired by the pellicle of euglenids

abstract: This paper deals with a concept for a reconfigurable structure bio-inspired by the cell wall architecture of euglenids, a family of unicellular protists, and based on the relative sliding of adjacent strips. Uniform sliding turns a cylinder resulting from the assembly of straight and parallel strips into a cylinder of smaller height and larger radius, in which the strips are deformed into a family of parallel helices. We examine the mechanics of this cylindrical assembly, in which the interlocking strips are allowed to slide freely at their junctions, and compute the external forces (axial force and axial torque at the two ends, or pressure on the lateral surface) necessary to drive and control the shape changes of the composite structure. Despite the simplicity of the structure, we find a remarkably complex mechanical behaviour that can be tuned by the spontaneous curvature or twist of the strips.


title: Raman Investigation of the Ice Ic - Ice Ih Transformation

abstract: Among the many ice polymorphs, ice I, that is present in nature at ambient pressure, occurs with two different structures, i.e. the stable hexagonal (Ih) or the metastable cubic (Ic) one. An accurate analysis of cubic ice Ic was missing until the recent discovery of an easy route to obtain it in a structurally pure form. Here we report a Raman spectroscopy study of the transformation of metastable ice Ic into the stable form Ih, by applying a very slow temperature ramp to the ice Ic samples initially at 150 K. The thermal behavior of the spectroscopic features originating from the lattice and OH-stretching vibrational modes was carefully measured, identifying the thermodynamic conditions of the Ic-Ih transition and the dynamics of both structure with remarkable accuracy. Moreover, the comparison of two determinations of the transformation kinetics allowed also to provide an estimation of the activation energy for this transformation process.


title: SEAIR epidemic spreading model of COVID-19

abstract: We study Susceptible-Exposed-Asymptomatic-Infectious-Recovered (SEAIR) epidemic spreading model of COVID-19. It captures two important characteristics of the infectiousness of COVID-19: delayed start and its appearance before onset of symptoms, or even with total absence of them. The model is theoretically analyzed in continuous-time compartmental version and discrete-time version on random regular graphs and complex networks. We show analytically that there are relationships between the epidemic thresholds and the equations for the susceptible populations at the endemic equilibrium in all three versions, which hold when the epidemic is weak. We provide theoretical arguments that eigenvector centrality of a node approximately determines its risk to become infected.


title: Monitoring and Diagnosability of Perception Systems

abstract: Perception is a critical component of high-integrity applications of robotics and autonomous systems, such as self-driving cars. In these applications, failure of perception systems may put human life at risk, and a broad adoption of these technologies relies on the development of methodologies to guarantee and monitor safe operation as well as detect and mitigate failures. Despite the paramount importance of perception systems, currently there is no formal approach for system-level monitoring. In this work, we propose a mathematical model for runtime monitoring and fault detection of perception systems. Towards this goal, we draw connections with the literature on self-diagnosability for multiprocessor systems, and generalize it to (i) account for modules with heterogeneous outputs, and (ii) add a temporal dimension to the problem, which is crucial to model realistic perception systems where modules interact over time. This contribution results in a graph-theoretic approach that, given a perception system, is able to detect faults at runtime and allows computing an upper-bound on the number of faulty modules that can be detected. Our second contribution is to show that the proposed monitoring approach can be elegantly described with the language of topos theory, which allows formulating diagnosability over arbitrary time intervals.


title: Temporal Network Motifs: Models, Limitations, Evaluation

abstract: Investigating the frequency and distribution of small subgraphs with a few nodes/edges, i.e., motifs, is an effective analysis method for static networks. Motif-driven analysis is also useful for temporal networks where the spectrum of motifs is significantly larger due to the additional temporal information on edges. This variety makes it challenging to design a temporal motif model that can consider all aspects of temporality. In the literature, previous works have introduced various models that handle different characteristics. In this work, we compare the existing temporal motif models and evaluate the facets of temporal networks that are overlooked in the literature. We first survey four temporal motif models and highlight their differences. Then, we evaluate the advantages and limitations of these models with respect to the temporal inducedness and timing constraints. In addition, we suggest a new lens, event pairs, to investigate temporal correlations. We believe that our comparative survey and extensive evaluation will catalyze the research on temporal network motif models.


title: Proper Learning, Helly Number, and an Optimal SVM Bound

abstract: The classical PAC sample complexity bounds are stated for any Empirical Risk Minimizer (ERM) and contain an extra logarithmic factor $\log(1/{\epsilon})$ which is known to be necessary for ERM in general. It has been recently shown by Hanneke (2016) that the optimal sample complexity of PAC learning for any VC class C is achieved by a particular improper learning algorithm, which outputs a specific majority-vote of hypotheses in C. This leaves the question of when this bound can be achieved by proper learning algorithms, which are restricted to always output a hypothesis from C. In this paper we aim to characterize the classes for which the optimal sample complexity can be achieved by a proper learning algorithm. We identify that these classes can be characterized by the dual Helly number, which is a combinatorial parameter that arises in discrete geometry and abstract convexity. In particular, under general conditions on C, we show that the dual Helly number is bounded if and only if there is a proper learner that obtains the optimal joint dependence on $\epsilon$ and $\delta$. As further implications of our techniques we resolve a long-standing open problem posed by Vapnik and Chervonenkis (1974) on the performance of the Support Vector Machine by proving that the sample complexity of SVM in the realizable case is $\Theta((n/{\epsilon})+(1/{\epsilon})\log(1/{\delta}))$, where $n$ is the dimension. This gives the first optimal PAC bound for Halfspaces achieved by a proper learning algorithm, and moreover is computationally efficient.


title: Galaxy cluster mass estimation with deep learning and hydrodynamical simulations

abstract: We evaluate the ability of Convolutional Neural Networks (CNNs) to predict galaxy cluster masses in the BAHAMAS hydrodynamical simulations. We train four separate single-channel networks using: stellar mass, soft X-ray flux, bolometric X-ray flux, and the Compton $y$ parameter as observational tracers, respectively. Our training set consists of $\sim$4800 synthetic cluster images generated from the simulation, while an additional $\sim$3200 images form a validation set and a test set, each with 1600 images. In order to mimic real observation, these images also contain uncorrelated structures located within 50 Mpc in front and behind clusters and seen in projection, as well as instrumental systematics including noise and smoothing. In addition to CNNs for all the four observables, we also train a `multi-channel' CNN by combining the four observational tracers. The learning curves of all the five CNNs converge within 1000 epochs. The resulting predictions are especially precise for halo masses in the range $10^{13.25}M_{\odot}<M<10^{14.5}M_{\odot}$, where all five networks produce mean mass biases of order $\approx$1\% with a scatter of $\lesssim$20\%. The network trained with Compton $y$ parameter maps yields the most precise predictions. We interpret the network's behaviour using two diagnostic tests to determine which features are used to predict cluster mass. The CNN trained with stellar mass images detect galaxies (not surprisingly), while CNNs trained with gas-based tracers utilise the shape of the signal to estimate cluster mass.


title: SWinvert: A workflow for performing rigorous surface wave inversions

abstract: SWinvert is a workflow developed at The University of Texas at Austin for the inversion of surface wave dispersion data. SWinvert encourages analysts to investigate inversion uncertainty and non-uniqueness in shear wave velocity (Vs) by providing a systematic procedure and open-source tools for surface wave inversion. In particular, the workflow enables the use of multiple layering parameterizations to address the inversion's non-uniqueness, multiple global searches for each parameterization to address the inverse problem's non-linearity, and quantification of Vs uncertainty in the resulting profiles. To encourage its adoption, the SWinvert workflow is supported by an open-source Python package, SWprepost, for surface wave inversion pre- and post-processing and an application on the DesignSafe-CyberInfracture, SWbatch, that enlists high-performance computing for performing batch-style surface wave inversion through an intuitive and easy-to-use web interface. While the workflow uses the Dinver module of the popular open-source Geopsy software as its inversion engine, the principles presented can be readily extended to other inversion programs. To illustrate the effectiveness of the SWinvert workflow and to develop a set of benchmarks for use in future surface wave inversion studies, synthetic experimental dispersion data for 12 subsurface models of varying complexity are inverted. While the effects of inversion uncertainty and non-uniqueness are shown to be minimal for simple subsurface models characterized by broadband dispersion data, these effects cannot be ignored in the Vs profiles derived for more complex models with band-limited dispersion data. The SWinvert workflow is shown to provide a methodical procedure and a powerful set of tools for performing rigorous surface wave inversions and quantifying the uncertainty in the resulting Vs profiles.


title: A Proof Assistant Based Formalisation of Core Erlang

abstract: Our research is part of a wider project that aims to investigate and reason about the correctness of scheme-based source code transformations of Erlang programs. In order to formally reason about the definition of a programming language and the software built using it, we need a mathematically rigorous description of that language. In this paper, we present our proof-assistant-based formalisation of a subset of Erlang, intended to serve as a base for proving refactorings correct. After discussing how we reused concepts from related work, we show the syntax and semantics of our formal description, including the abstractions involved (e.g. closures). We also present essential properties of the formalisation (e.g. determinism) along with their machine-checked proofs. Finally, we prove the correctness of some simple refactoring strategies.


title: Radiation pressure measurement using a macroscopic oscillator in an ambient environment

abstract: In contrast to current efforts to quantify the radiation pressure of light using nano-micromechanical resonators in cryogenic conditions, we proposed and experimentally demonstrated the radiation pressure measurement in ambient conditions by utilizing a macroscopic mechanical longitudinal oscillator with an effective mass of the order of 20 g. The light pressure on a mirror attached to the oscillator was recorded in a Michelson interferometer and results showed, within the experimental accuracy of 3.9%, a good agreement with the harmonic oscillator model without free parameters.


title: Modeling the effects of information-dependent vaccination behavior on meningitis transmission

abstract: We propose a mathematical model to investigate the effects of information-dependent vaccination behavior on meningitis transmission. The information is represented by means of information index as early proposed in (d'Onofrio et al., Theor. pop. biol., 2007). We perform a qualitative analysis based on stability theory, focusing to the global stability of the disease free equilibrium (DFE) and the related transcritical bifurcation taking place at the threshold for the DFE. Finally, we assess the role of epidemiological and information parameters in the model dynamics through numerical simulations. Our simulations suggests that the impact of the human behavior critically depend on the average information delay. For example, it can induce recurrent epidemics, provided that transfer rate from the carrier to the infectious state is over a threshold. Otherwise, the endemic equilibrium is (at least) locally stable.


title: The Restricted Burnside Problem for Moufang Loops

abstract: We prove that for positive integers $m \geq 1, n \geq 1$ and a prime number $p \neq 2,3$ there are finitely many finite $m$-generated Moufang loops of exponent $p^n$.


title: Optical mode conversion in coupled Fabry-P\'erot resonators

abstract: Coherent control of the spatial properties of light is central to a wide variety of applications from high bandwidth quantum and classical communication to high power fiber lasers. Low-loss conversion amongst a complete and orthogonal set of modes is particularly important for robust mode-multiplexed communication. Here, we introduce tunable impedance mismatch between coupled Fabry-P\'erot resonators as a powerful tool for manipulation of the spatial and temporal properties of optical fields. In the single-mode regime, frequency dependent impedance matching enables tunable finesse optical resonators, with potential applications in quantum science and sensing. Introducing the spatial dependence of the impedance mismatch as an additional ingredient enables coherent spatial mode conversion of optical photons at near-unity efficiency. We implement these ideas, experimentally demonstrating a NIR resonator whose finesse is tunable over a decade, and an optical mode converter with efficiency $>\!\!75\%$ for the first six Hermite-Gauss modes. We anticipate that this new perspective on coupled multimode resonators will have exciting applications in micro- and nano- photonics and computer-aided inverse design. In particular, combination with in-cavity electro-optics will open new horizons for real-time control of the spatio-spectral properties of lasers, resonators, and optical filters.


title: Boundary asymptotics of the relative Bergman kernel metric for curves

abstract: We study the behaviors of the relative Bergman kernel metrics on holomorphic families of degenerating hyperelliptic Riemann surfaces and their Jacobian varieties. Near a node or cusp, we obtain precise asymptotic formulas with explicit coefficients. In general the Bergman kernels on a given cuspidal family do not always converge to that on the regular part of the limiting surface, which is different from the nodal case. It turns out that information on both the singularity and complex structure contributes to various asymptotic behaviors of the Bergman kernel. Our method involves the classical Taylor expansion for Abelian differentials and period matrices.


title: RTAMT: Online Robustness Monitors from STL

abstract: We present RTAMT, an online monitoring library for Signal Temporal Logic (STL) and its interface-aware variant (IA-STL), providing both discrete- and dense-time interpretation of the logic. We also introduce RTAMT4ROS, a tool that integrates RTAMT with Robotic Operating System (ROS), a common environment for developing robotic applications. We evaluate RTAMT and RTAMT4ROS on two robotic case studies.


title: Negative Capacitance and Inverted Hysteresis: Matching Features in Perovskite Solar Cells

abstract: Negative capacitance at the low-frequency domain and inverted hysteresis are familiar features in perovskite solar cells, where the origin is still under discussion. Here we use Impedance Spectroscopy to analyse these responses in methylammonium lead bromide cells treated with lithium cation at the electron selective layer/perovskite interface and in iodide devices exposed to different relative humidity conditions. Employing the Surface Polarization Model, we obtain a time constant associated to the kinetics of the interaction of ions/vacancies with the surface, {\tau}kin, in the range of 10^0 - 10^2 s for all the cases exhibiting both features. These interactions lead to a decrease in the overall recombination resistance, modifying the low-frequency perovskite response and yielding to a flattening of the cyclic voltammetry. As consequence of these results we find that that negative capacitance and inverted hysteresis lead to a decrease in the fill factor and photovoltage values.


title: Multi-wavelength Study of Energetic Processes during Solar Flares occurrence

abstract: This paper is an attempt to understand the physical processes occurring in different layers of solar atmosphere during a solar flare. For a complete understanding of the flare we must analyze multi-wavelength datasets, as emission at different wavelength originates from different layers of the solar atmosphere. Also, flares are transient and localized events observed to occur at all longitudes. With these considerations, we have carried out multi-wavelength analysis of two representative flare events. One event occurred close to the centre of the solar disk and other occurred close to the limb. In the former case, we examine the emission from the lower layers of the solar atmosphere. Therefore the chromospheres, transition region and also the photospheric magneto-gram can be analyzed. On the other hand, in near-limb event, coronal features can be clearly studied. In this paper, the first event studied is the M 1.1 class flare from the active region NOAA 10649 located at S10E14 and the second event is the M 1.4 class flare from the active region NOAA 10713 located at S12W90. In both cases, we have observed the excellent multi-wavelength data sets. The observations from multi-instrumental data clearly shows that flares occur in the vicinity of sunspots. These are regions of strong magnetic field with mixed polarity.


title: Topological effects and conformal invariance in long-range correlated random surfaces

abstract: We consider discrete random fractal surfaces with negative Hurst exponent $H<0$. A random colouring of the lattice is provided by activating the sites at which the surface height is greater than a given level $h$. The set of activated sites is usually denoted as the excursion set. The connected components of this set, the level clusters, define a one-parameter ($H$) family of percolation models with long-range correlation in the site occupation. The level clusters percolate at a finite value $h=h_c$ and for $H\leq-\frac{3}{4}$ the phase transition is expected to remain in the same universality class of the pure (i.e. uncorrelated) percolation. For $-\frac{3}{4}<H< 0$ instead, there is a line of critical points with continously varying exponents. The universality class of these points, in particular concerning the conformal invariance of the level clusters, is poorly understood. By combining the Conformal Field Theory and the numerical approach, we provide new insights on these phases. We focus on the connectivity function, defined as the probability that two sites belong to the same level cluster. In our simulations, the surfaces are defined on a lattice torus of size $M\times N$. We show that the topological effects on the connectivity function make manifest the conformal invariance for all the critical line $H<0$. In particular, exploiting the anisotropy of the rectangular torus ($M\neq N$), we directly test the presence of the two components of the traceless stress-energy tensor. Moreover, we probe the spectrum and the structure constants of the underlying Conformal Field Theory. Finally, we observed that the corrections to the scaling clearly point out a breaking of integrability moving from the pure percolation point to the long-range correlated one.

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


title: Propagation of light through amplifying honeycomb photonic lattice

abstract: We consider light propagation through a ballistic amplifying photonic honeycomb lattice below the lasing threshold. Two sublattices of the system are formed by the wave-guides with different complex dielectric permittivities, which results in the non-Hermitian Dirac equation for electromagnetic field. We reveal that there exists a critical length of the amplifying region for which the photonic lattice exhibits an amplifier to generator transition. The transmission and reflection probabilities at the normal angle of incidence are strongly enhanced at a critical length of the system. We also comment on the sensitivity of amplification to the direction of incident light and the thickness of the amplifying region.


title: Deep learning-based Real-time Volumetric Imaging for Lung Stereotactic Body Radiation Therapy: A Proof of Concept Study

abstract: Due to the inter- and intra- variation of respiratory motion, it is highly desired to provide real-time volumetric images during the treatment delivery of lung stereotactic body radiation therapy (SBRT) for accurate and active motion management. In this proof-of-concept study, we propose a novel generative adversarial network integrated with perceptual supervision to derive instantaneous volumetric images from a single 2D projection. Our proposed network, named TransNet, consists of three modules, i.e., encoding, transformation and decoding modules. Rather than only using image distance loss between the generated 3D images and the ground truth 3D CT images to supervise the network, perceptual loss in feature space is integrated into loss function to force the TransNet to yield accurate lung boundary. Adversarial supervision is also used to improve the realism of generated 3D images. We conducted a simulation study on 20 patient cases, who had received lung SBRT treatments in our institution and undergone 4D-CT simulation, and evaluated the efficacy and consistency of our method for four different projection angles, i.e., 0, 30, 60 and 90 degree. For each 3D CT image set of a breathing phase, we simulated its 2D projections at these angles.Then for each projection angle, a patient's 3D CT images of 9 phases and the corresponding 2D projection data were used for training, with the remaining phase used for testing. The mean absolute error, normalized MAE, peak signal-to-noise ratio and structural similarity index metric achieved by our method are 99.3 HU, 0.032, 23.4 dB and 0.949, respectively. These results demonstrate the feasibility and efficacy of our 2D-to-3D method for lung cancer patients, which provides a potential solution for in-treatment real-time on-board volumetric imaging for accurate dose delivery to ensure the effectiveness of lung SBRT treatment.


title: SecureABC: Secure AntiBody Certificates for COVID-19

abstract: COVID-19 has resulted in unprecedented social distancing policies being enforced worldwide. As governments seek to restore their economies, open workplaces and permit travel there is a demand for technologies that may alleviate the requirement for social distancing whilst also protecting healthcare services. In this work we explore the controversial technique of so-called immunity passports and present SecureABC: a decentralised, privacy-preserving protocol for issuing and verifying antibody certificates. We consider the implications of antibody certificate systems, develop a set of risk-minimising principles and a security framework for their evaluation, and show that these may be satisfied in practice. Finally, we also develop two additional protocols that minimise individual discrimination but which still allow for collective transmission risk to be estimated. We use these two protocols to illustrate the utility-privacy trade-offs of antibody certificates and their alternatives.


title: Linear Response in Topological Materials

abstract: The discovery of topological insulators and semimetals has opened up a new perspective to understand materials. Owing to the special band structure and enlarged Berry curvature, the linear responses are strongly enhanced in topological materials. The interplay of topological band structure and symmetries plays a crucial role for designing new materials with strong and exotic new electromagnetic responses and provides promising mechanisms and new materials for the next generation of technological applications. We review the fundamental concept of linear responses in topological materials from the symmetry point of view and discuss their potential applications.


title: Average Bateman--Horn for Kummer polynomials

abstract: For any $r \in \mathbb{N}$ and almost all $k \in \mathbb{N}$ smaller than $x^r$, we show that the polynomial $f(n) = n^r + k$ takes the expected number of prime values as $n$ ranges from 1 to $x$. As a consequence, we deduce statements concerning variants of the Hasse principle and of the integral Hasse principle for certain open varieties defined by equations of the form $N_{K/\mathbb{Q}}(\mathbf{z}) = t^r +k \neq 0$ where $K/\mathbb{Q}$ is a quadratic extension. A key ingredient in our proof is a new large sieve inequality for Dirichlet characters of exact order $r$.


title: Theory of Solutions for An Inextensible Cantilever

abstract: Recent equations of motion for the large deflections of a cantilevered elastic beam are analyzed. In the traditional theory of beam (and plate) large deflections, nonlinear restoring forces are due to the effect of stretching on bending; for an inextensible cantilever, the enforcement of arc-length preservation leads to quasilinear stiffness effects and inertial effects that are both nonlinear and nonlocal. For this model, smooth solutions are constructed via a spectral Galerkin approach. Additional compactness is needed to pass to the limit, and this is obtained through a complex procession of higher energy estimates. Uniqueness is obtained through a non-trivial decomposition of the nonlinearity. The confounding effects of nonlinear inertia are overcome via the addition of structural (Kelvin-Voigt) damping to the equations of motion. Local well-posedness of smooth solutions is shown first in the absence of nonlinear inertial effects, and then shown with these inertial effects present, taking into account structural damping. With damping in force, global-in-time, strong well-posedness result is obtained by achieving exponential decay for small data.


title: Attosecond XUV probing of vibronic quantum superpositions in Br$_2^+$

abstract: Ultrafast laser excitation can create coherent superpositions of electronic states in molecules and trigger ultrafast flow of electron density on few- to sub-femtosecond time scales. While recent attosecond experiments have addressed real-time observation of these primary photochemical processes, the underlying roles of simultaneous nuclear motions and how they modify and disturb the valence electronic motion remain uncertain. Here, we investigate coherent electronic-vibrational dynamics induced among multiple vibronic levels of ionic bromine (Br$_2^+$), including both spin-orbit and valence electronic superpositions, using attosecond transient absorption spectroscopy. Decay, revival, and apparent frequency shifts of electronic coherences are measured via characteristic quantum beats on the Br-$3d$ core-level absorption signals. Quantum-mechanical simulations attribute the observed electronic decoherence to broadened phase distributions of nuclear wave packets on anharmonic potentials. Molecular vibronic structure is further revealed to be imprinted as discrete progressions in electronic beat frequencies. These results provide a future basis to interpret complex charge-migration dynamics in polyatomic systems.


title: How Does That Sound? Multi-Language SpokenName2Vec Algorithm Using Speech Generation and Deep Learning

abstract: Searching for information about a specific person is an online activity frequently performed by many users. In most cases, users are aided by queries containing a name and sending back to the web search engines for finding their will. Typically, Web search engines provide just a few accurate results associated with a name-containing query. Currently, most solutions for suggesting synonyms in online search are based on pattern matching and phonetic encoding, however very often, the performance of such solutions is less than optimal. In this paper, we propose SpokenName2Vec, a novel and generic approach which addresses the similar name suggestion problem by utilizing automated speech generation, and deep learning to produce spoken name embeddings. This sophisticated and innovative embeddings captures the way people pronounce names in any language and accent. Utilizing the name pronunciation can be helpful for both differentiating and detecting names that sound alike, but are written differently. The proposed approach was demonstrated on a large-scale dataset consisting of 250,000 forenames and evaluated using a machine learning classifier and 7,399 names with their verified synonyms. The performance of the proposed approach was found to be superior to 10 other algorithms evaluated in this study, including well used phonetic and string similarity algorithms, and two recently proposed algorithms. The results obtained suggest that the proposed approach could serve as a useful and valuable tool for solving the similar name suggestion problem.


title: Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts

abstract: This paper introduces Tezla, an intermediate representation of Michelson smart contracts that eases the design of static smart contract analysers. This intermediate representation uses a store and preserves the semantics, ow and resource usage of the original smart contract. This enables properties like gas consumption to be statically verified. We provide an automated decompiler of Michelson smart contracts to Tezla. In order to support our claim about the adequacy of Tezla, we develop a static analyser that takes advantage of the Tezla representation of Michelson smart contracts to prove simple but non-trivial properties.


title: Non-commutative bi-rational maps satisfying Zamolodchikov equation, and Desargues lattices

abstract: We present new solutions of the functional Zamolodchikov tetrahedron equation in terms of birational maps in totally non-commutative variables. All the maps originate from Desargues lattices, which provide geometric realization of solutions to the non-Abelian Hirota-Miwa system. The first map is derived using the original Hirota's gauge for the corresponding linear problem, and the second one from its affine (non-homogeneous) description. We provide also an interpretation of the maps within the local Yang-Baxter equation approach. We exploit decomposition of the second map into two simpler maps which, as we show, satisfy the pentagonal condition. We provide also geometric meaning of the matching ten-term condition between the pentagonal maps. The generic description of Desargues lattices in homogeneous coordinates allows to define another solution of the Zamolodchikov equation, but with functional parameter which should be adjusted in a particular way. Its ultra-local reduction produces a birational quantum map (with two central parameters) with Zamolodchikov property, which preserves Weyl commutation relations. In the classical limit our construction gives the corresponding Poisson map satisfying the Zamolodchikov condition.


title: scadnano: A browser-based, scriptable tool for designing DNA nanostructures

abstract: We introduce $\textit{scadnano}$ (https://scadnano.org) (short for "scriptable cadnano"), a computational tool for designing synthetic DNA structures. Its design is based heavily on cadnano, the most widely-used software for designing DNA origami, with three main differences: 1. scadnano runs entirely in the browser, with $\textit{no software installation}$ required. 2. scadnano designs, while they can be edited manually, can also be created and edited by a $\textit{well-documented Python scripting library}$, to help automate tedious tasks. 3. The scadnano file format is $\textit{easily human-readable}$. This goal is closely aligned with the scripting library, intended to be helpful when debugging scripts or interfacing with other software. The format is also somewhat more expressive than that of cadnano, able to describe a broader range of DNA structures than just DNA origami.


title: Cross-Layer Design of Automotive Systems

abstract: With growing system complexity and closer cyber-physical interaction, there are increasingly stronger dependencies between different function and architecture layers in automotive systems. This paper first introduces several cross-layer approaches we developed in the past for holistically addressing multiple system layers in the design of individual vehicles and of connected vehicle applications; and then presents a new methodology based on the weakly-hard paradigm for leveraging the scheduling flexibility in architecture layer to improve the system performance at function layer. The results of these works demonstrate the importance and effectiveness of cross-layer design for automotive systems.


title: BTZ gems inside regular Born-Infeld black holes

abstract: The regular black hole solution arising as a spherically symmetric vacuum solution of Born-Infeld gravity possesses an asymptotic interior structure which is very well described by a four dimensional generalization of the non-rotating BTZ metric. According to this picture no singularity exists, and instead, infalling observers experience a constant curvature manifold as they travel towards future null infinity. This is characterized by the BTZ event horizon. The exterior structure of the black hole is also studied, and it is shown that it corresponds to the Schwarzschild solution provided the black hole mass is not too small. In this way, the regular black hole state can be seen as a spacetime which connects two constant curvature asymptotic spaces, namely, the flat Minkowski spacetime in the outside region, and the locally AdS constant negative curvature one characterizing the BTZ-like asymptotic interior.


title: Power-law intensity distribution in $\gamma$-decay cascades -- Nuclear Structure as a Scale-Free Random Network

abstract: By modeling the transition paths of the nuclear $\gamma$-decay cascade using a scale-free random network, we uncover a universal power-law distribution of $\gamma$-ray intensity $\rho_I(I) \propto I^{-2}$, with $I$ the $\gamma$-ray intensity of each transition. This property is consistently observed for all datasets with a sufficient number of $\gamma$-ray intensity entries in the National Nuclear Data Center database, regardless of the reaction type or nuclei involved. In addition, we perform numerical simulations which support the model's predictions of level population density.


title: Brownian loops and the central charge of a Liouville random surface

abstract: We explore the geometric meaning of the so-called zeta-regularized determinant of the Laplace-Beltrami operator on a compact surface, with or without boundary. We relate the $(-c/2)$-th power of the determinant of the Laplacian to the appropriately regularized partition function of a Brownian loop soup of intensity $c$ on the surface. This means that, in a certain sense, decorating a random surface by a Brownian loop soup of intensity $c$ corresponds to weighting the law of the surface by the $(-c/2)$-th power of the determinant of the Laplacian. Next, we introduce a method of regularizing a Liouville quantum gravity (LQG) surface (with some matter central charge parameter $\mathbf{c}$) to produce a smooth surface. And we show that weighting the law of this random surface by the $( -\mathbf{c}'/ 2)$-th power of the Laplacian determinant has precisely the effect of changing the matter central charge from $\mathbf{c}$ to $\mathbf{c} + \mathbf{c}'$. Taken together with the earlier results, this provides a way of interpreting an LQG surface of matter central charge $\mathbf{c}$ as a pure LQG surface decorated by a Brownian loop soup of intensity $\mathbf{c}$. Building on this idea, we present several open problems about random planar maps and their continuum analogs. Although the original construction of LQG is well-defined only for $\mathbf{c}\leq 1$, some of the constructions and questions also make sense when $\mathbf{c}>1$.


title: Reliability of the local truncations for the random tensor models renormalization group flow

abstract: The standard nonperturbative approaches of renormalization group for tensor models are generally focused on a purely local potential approximation (i.e. involving only generalized traces and product of them) and are showed to strongly violate the modified Ward identities. This paper as a continuation of our recent contribution [Physical Review D 101, 106015 (2020)], intended to investigate the approximation schemes compatibles with Ward identities and constraints between $2n$-points observables in the large $N$-limit. We consider separately two different approximations: In the first one, we try to construct a local potential approximation from a slight modification of the Litim regulator, so that it remains optimal in the usual sense, and preserves the boundary conditions in deep UV and deep IR limits. In the second one, we introduce derivative couplings in the truncations and show that the compatibility with Ward identities implies strong relations between $\beta$-functions, allowing to close the infinite hierarchy of flow equations in the non-branching sector, up to a given order in the derivative expansion. Finally, using exact relation between correlations functions in large $N$-limit, we show that strictly local truncations are insufficient to reach the exact value for the critical exponent, highlighting the role played by these strong relations between observables taking into account the behavior of the flow; and the role played by the multi-trace operators, discussed in the two different approximation schemes. In both cases, we compare our conclusions to the results obtained in the literature and conclude that, at a given order, taking into account the exact functional relations between observables like Ward identities in a systematic way we can strongly improve the physical relevance of the approximation for exact RG equation.


title: An Analysis of Fog Computing Data Placement Algorithms

abstract: This work evaluates three Fog Computing dataplacement algorithms via experiments carried out with theiFogSim simulator. The paper describes the three algorithms(Cloud-only, Mapping, Edge-ward) in the context of an Internetof Things scenario, which has been based on an e-Health systemwith variations in applications and network topology. Resultsachieved show that edge placement strategies are beneficial toassist cloud computing in lowering latency and cloud energyexpenditure.


title: Quantum-Dot Parity Effects in Trivial and Topological Josephson Junctions

abstract: An odd-occupied quantum dot in a Josephson junction can flip transmission phase, creating a {\pi}-junction. When the junction couples topological superconductors, no phase flip is expected. We investigate this and related effects in a full-shell hybrid interferometer, using gate voltage to control dot-junction parity and axial magnetic flux to control the transition from trivial to topological superconductivity. Enhanced zero-bias conductance and critical current for odd parity in the topological phase reflects hybridization of the confined spin with zero-energy modes in the leads.


title: Stronger Baselines for Grammatical Error Correction Using Pretrained Encoder-Decoder Model

abstract: Studies on grammatical error correction (GEC) have reported the effectiveness of pretraining a Seq2Seq model with a large amount of pseudodata. However, this approach requires time-consuming pretraining for GEC because of the size of the pseudodata. In this study, we explore the utility of bidirectional and auto-regressive transformers (BART) as a generic pretrained encoder-decoder model for GEC. With the use of this generic pretrained model for GEC, the time-consuming pretraining can be eliminated. We find that monolingual and multilingual BART models achieve high performance in GEC, with one of the results being comparable to the current strong results in English GEC. Our implementations are publicly available at GitHub (https://github.com/Katsumata420/generic-pretrained-GEC).


title: Statistical and systematic uncertainties in extracting the source properties of neutron star - black hole binaries with gravitational waves

abstract: Gravitational waves emitted by neutron star black hole mergers encode key properties of neutron stars - such as their size, maximum mass and spins - and black holes. However, the presence of matter and the high mass ratio makes generating long and accurate waveforms from these systems hard to do with numerical relativity, and not much is known about systematic uncertainties due to waveform modeling. We simulate gravitational waves from neutron star black hole mergers by hybridizing numerical relativity waveforms produced with the SpEC code with a recent numerical relativity surrogate NRHybSur3dq8Tidal. These signals are analyzed using a range of available waveform families, and statistical and systematic errors are reported. We find that at a network signal-to-noise ratio (SNR) of 30, statistical uncertainties are usually larger than systematic offsets, while at an SNR of 70 the two become comparable. The individual black hole and neutron star masses, as well as the mass ratios, are typically measured very precisely, though not always accurately at high SNR. At a SNR of 30 the neutron star tidal deformability can only be bound from above, while for louder sources it can be measured and constrained away from zero. All neutron stars in our simulations are non-spinning, but in no case we can constrain the neutron star spin to be smaller than $\sim0.4$ (90% credible interval). Waveform families whose late inspiral has been tuned specifically for neutron star black hole signals typically yield the most accurate characterization of the source parameters. Their measurements are in tension with those obtained using waveform families tuned against binary neutron stars, even for mass ratios that could be relevant for both binary neutron stars and neutron star black holes mergers.


title: Model Theory for Real-valued Structures

abstract: We consider general structures where formulas have truth values in the real unit interval as in continuous model theory, but whose predicates and functions need not be uniformly continuous with respect to a distance predicate. Every general structure can be expanded to a pre-metric structure by adding a distance predicate that is a uniform limit of formulas. Moreover, that distance predicate is unique up to uniform equivalence. We use this to extend the central notions in the model theory of metric structures to general structures, and show that many model-theoretic results from the literature about metric structures have natural analogues for general structures.


title: Low-dose CT Enhancement Network with a Perceptual Loss Function in the Spatial Frequency and Image Domains

abstract: We propose a dual-domain cascade of U-nets (i.e. a "W-net") operating in both the spatial frequency and image domains to enhance low-dose CT (LDCT) images without the need for proprietary x-ray projection data. The central slice theorem motivated the use of the spatial frequency domain in place of the raw sinogram. Data were obtained from the AAPM Low-dose Grand Challenge. A combination of Fourier space (F) and/or image domain (I) U-nets and W-nets were trained with a multi-scale structural similarity and mean absolute error loss function to denoise filtered back projected (FBP) LDCT images while maintaining perceptual features important for diagnostic accuracy. Deep learning enhancements were superior to FBP LDCT images in quantitative and qualitative performance with the dual-domain W-nets outperforming single-domain U-net cascades. Our results suggest that spatial frequency learning in conjunction with image-domain processing can produce superior LDCT enhancement than image-domain-only networks.


title: Model-free Reinforcement Learning for Stochastic Stackelberg Security Games

abstract: In this paper, we consider a sequential stochastic Stackelberg game with two players, a leader and a follower. The follower has access to the state of the system while the leader does not. Assuming that the players act in their respective best interests, the follower's strategy is to play the best response to the leader's strategy. In such a scenario, the leader has the advantage of committing to a policy which maximizes its own returns given the knowledge that the follower is going to play the best response to its policy. Thus, both players converge to a pair of policies that form the Stackelberg equilibrium of the game. Recently,~[1] provided a sequential decomposition algorithm to compute the Stackelberg equilibrium for such games which allow for the computation of Markovian equilibrium policies in linear time as opposed to double exponential, as before. In this paper, we extend the idea to an MDP whose dynamics are not known to the players, to propose an RL algorithm based on Expected Sarsa that learns the Stackelberg equilibrium policy by simulating a model of the MDP. We use particle filters to estimate the belief update for a common agent which computes the optimal policy based on the information which is common to both the players. We present a security game example to illustrate the policy learned by our algorithm. by simulating a model of the MDP. We use particle filters to estimate the belief update for a common agent which computes the optimal policy based on the information which is common to both the players. We present a security game example to illustrate the policy learned by our algorithm.


title: Mechanics of the cellular actin cortex: from signalling to shape change

abstract: The actin cortex is a thin layer of actin, myosin, and actin binding proteins that underlies the membrane of most animal cells. It is highly dynamic and can undergo remodelling on time-scales of tens of seconds thanks to protein turnover and myosin-mediated contractions. The cortex enables cells to resist external mechanical stresses, controls cell shape, and allows cells to exert forces on their neighbours. Thus, its mechanical properties are key to its physiological function. Here, we give an overview of how cortex composition, structure, and dynamics control cortex mechanics and cell shape. We use mitosis as an example to illustrate how global and local regulation of cortex mechanics give rise to a complex series of cell shape changes.


title: Nonsplit conics in the reduction of an arithmetic curve

abstract: For an algebraic function field $F/K$ and a discrete valuation $v$ of $K$ with perfect residue field $k$, we bound the number of discrete valuations on $F$ extending $v$ whose residue fields are algebraic function fields of genus zero over $k$ but not ruled. Assuming that $K$ is relatively algebraically closed in $F$, we find that the number of nonruled residually transcendental extensions of $v$ to $F$ is bounded by $\mathfrak{g}+1$ where $\mathfrak{g}$ is the genus of $F/K$. An application to sums of squares in function fields of curves over $\mathbb{R}(\!(t)\!)$ is presented.


title: Predicting COVID-19 Pneumonia Severity on Chest X-ray with Deep Learning

abstract: Purpose: The need to streamline patient management for COVID-19 has become more pressing than ever. Chest X-rays provide a non-invasive (potentially bedside) tool to monitor the progression of the disease. In this study, we present a severity score prediction model for COVID-19 pneumonia for frontal chest X-ray images. Such a tool can gauge severity of COVID-19 lung infections (and pneumonia in general) that can be used for escalation or de-escalation of care as well as monitoring treatment efficacy, especially in the ICU. Methods: Images from a public COVID-19 database were scored retrospectively by three blinded experts in terms of the extent of lung involvement as well as the degree of opacity. A neural network model that was pre-trained on large (non-COVID-19) chest X-ray datasets is used to construct features for COVID-19 images which are predictive for our task. Results: This study finds that training a regression model on a subset of the outputs from an this pre-trained chest X-ray model predicts our geographic extent score (range 0-8) with 1.14 mean absolute error (MAE) and our lung opacity score (range 0-6) with 0.78 MAE. Conclusions: These results indicate that our model's ability to gauge severity of COVID-19 lung infections could be used for escalation or de-escalation of care as well as monitoring treatment efficacy, especially in the intensive care unit (ICU). A proper clinical trial is needed to evaluate efficacy. To enable this we make our code, labels, and data available online at https://github.com/mlmed/torchxrayvision/tree/master/scripts/covid-severity and https://github.com/ieee8023/covid-chestxray-dataset


title: Two new families of non-CCA groups

abstract: We determine two new infinite families of Cayley graphs that admit colour-preserving automorphisms that do not come from the group action. By definition, this means that these Cayley graphs fail to have the CCA (Cayley Colour Automorphism) property, and the corresponding infinite families of groups also fail to have the CCA property. The families of groups consist of the direct product of any dihedral group of order $2n$ where $n \ge 3$ is odd, with either itself, or the cyclic group of order $n$. In particular, this family of examples includes the smallest non-CCA group that had not fit into any previous family of known non-CCA groups.


title: Spherical symmetric solutions of $f(R)$ gravity with a kinetic curvature scalar

abstract: We consider modified $f(R)$ gravity with a kinetic curvature scalar as a chiral self-gravitating model in a spherically symmetric spacetime. Most attention devoted to finding solutions for special case of scaling transformation when modified gravity transforms to Einstein frame from Jordan one. We proposed the method of determination of kinetic function for given scalar field dependence on space coordinate. New classes of solutions are found for special choice of $f(R)$ function.


title: On the continuation of degenerate periodic orbits via normal form: lower dimensional resonant tori

abstract: We consider the classical problem of the continuation of periodic orbits surviving to the breaking of invariant lower dimensional resonant tori in nearly integrable Hamiltonian systems. In particular we extend our previous results (presented in CNSNS, 61:198-224, 2018) for full dimensional resonant tori to lower dimensional ones. We develop a constructive normal form scheme that allows to identify and approximate the periodic orbits which continue to exist after the breaking of the resonant torus. A specific feature of our algorithm consists in the possibility of dealing with degenerate periodic orbits. Besides, under suitable hypothesis on the spectrum of the approximate periodic orbit, we obtain information on the linear stability of the periodic orbits feasible of continuation. A pedagogical example involving few degrees of freedom, but connected to the classical topic of discrete solitons in dNLS-lattices, is also provided.


title: Variants of the Finite Element Method for the Parabolic Heat Equation: Comparative Numerical Study

abstract: Different variants of the method of weighted residual finite element method are used to get a solution for the parabolic heat equation, which is considered to be the model equation for the steady state Navier-Stokes equations. Results show that the Collocation and the Least-Squares variants are more suitable for first order systems. Results also show that the Galerkin/Least-Squares method is more diffusive than other methods, and hence gives stable solutions for a wide range of P\'eclet numbers.


title: ON-TRAC Consortium for End-to-End and Simultaneous Speech Translation Challenge Tasks at IWSLT 2020

abstract: This paper describes the ON-TRAC Consortium translation systems developed for two challenge tracks featured in the Evaluation Campaign of IWSLT 2020, offline speech translation and simultaneous speech translation. ON-TRAC Consortium is composed of researchers from three French academic laboratories: LIA (Avignon Universit\'e), LIG (Universit\'e Grenoble Alpes), and LIUM (Le Mans Universit\'e). Attention-based encoder-decoder models, trained end-to-end, were used for our submissions to the offline speech translation track. Our contributions focused on data augmentation and ensembling of multiple models. In the simultaneous speech translation track, we build on Transformer-based wait-k models for the text-to-text subtask. For speech-to-text simultaneous translation, we attach a wait-k MT system to a hybrid ASR system. We propose an algorithm to control the latency of the ASR+MT cascade and achieve a good latency-quality trade-off on both subtasks.


title: Climbing down Charney's ladder: Machine Learning and the post-Dennard era of computational climate science

abstract: The advent of digital computing in the 1950s sparked a revolution in the science of weather and climate. Meteorology, long based on extrapolating patterns in space and time, gave way to computational methods in a decade of advances in numerical weather forecasting. Those same methods also gave rise to computational climate science, studying the behaviour of those same numerical equations over intervals much longer than weather events, and changes in external boundary conditions. Several subsequent decades of exponential growth in computational power have brought us to the present day, where models ever grow in resolution and complexity, capable of mastery of many small-scale phenomena with global repercussions, and ever more intricate feedbacks in the Earth system. The current juncture in computing, seven decades later, heralds an end to what is called Dennard scaling, the physics behind ever smaller computational units and ever faster arithmetic. This is prompting a fundamental change in our approach to the simulation of weather and climate, potentially as revolutionary as that wrought by John von Neumann in the 1950s. One approach could return us to an earlier era of pattern recognition and extrapolation, this time aided by computational power. Another approach could lead us to insights that continue to be expressed in mathematical equations. In either approach, or any synthesis of those, it is clearly no longer the steady march of the last few decades, continuing to add detail to ever more elaborate models. In this prospectus, we attempt to show the outlines of how this may unfold in the coming decades, a new harnessing of physical knowledge, computation, and data.

categories: physics.ao-ph cs.LG nlin.CD physics.comp-ph


title: Skyrmion Mass from Spin-Phonon Interaction

abstract: Inertial mass of a skyrmion arising from spin-phonon interaction is computed exactly within a toy model of the magnetoelastic coupling in a ferromagnetic film. The mass scales as the square of the strength of the magnetoelastic coupling, as the square of the film thickness, and as the first power of the lateral size of the skyrmion. For nanometer skyrmions it is in the ballpark of a few electron masses but may be significantly greater in materials with large magnetostriction. These findings are expected to stand for any complex structure of spin-phonon interaction in real materials. They must be taken into account when addressing the speed of information processing based upon skyrmions.


title: An efficient iterative method for reconstructing surface from point clouds

abstract: Surface reconstruction from point clouds is a fundamental step in many applications in computer vision. In this paper, we develop an efficient iterative method on a variational model for the surface reconstruction from point clouds. The surface is implicitly represented by indicator functions and the energy functional is then approximated based on such representations using heat kernel convolutions. We then develop a novel iterative method to minimize the approximate energy and prove the energy decaying property during each iteration. We then use asymptotic expansion to give a connection between the proposed algorithm and active contour models. Extensive numerical experiments are performed in both 2- and 3- dimensional Euclidean spaces to show that the proposed method is simple, efficient, and accurate.


title: Effective field theory for deformed odd-mass nuclei

abstract: We develop an effective field theory (EFT) for deformed odd-mass nuclei. These are described as an axially symmetric core to which a nucleon is coupled. In the coordinate system fixed to the core the nucleon is subject to an axially symmetric potential. Power counting is based on the separation of scales between low-lying rotations and higher-lying states of the core. In leading order, core and nucleon are coupled by universal derivative terms. These comprise a covariant derivative and gauge potentials which account for Coriolis forces and relate to Berry-phase phenomena. At leading order, the EFT combines the particle-rotor and Nilsson models. We work out the EFT up to next-to-leading order and illustrate the results in $^{239}$Pu and $^{187}$Os. At leading order, odd-mass nuclei with rotational band heads that are close in energy and differ by one unit of angular momentum are triaxially deformed. For band heads that are well separated in energy, triaxiality becomes a subleading effect. The EFT developed in this paper presents a model-independent approach to the particle-rotor system that is capable of systematic improvement.


title: Ancient solutions to the Ricci flow with isotropic curvature conditions

abstract: We show that every $n$-dimensional, $\kappa$-noncollapsed, noncompact, complete ancient solution to the Ricci flow with uniformly PIC for $n=4$ or $n\ge 12$ has weakly PIC$_2$ and bounded curvature. Combining this with earlier results, we prove that any such solution is isometric to either a family of shrinking cylinders (or a quotient thereof) or the Bryant soliton. Also, we classify all complex 2-dimensional, $\kappa$-noncollapsed, complete ancient solutions to the K\"ahler Ricci flow with weakly PIC.


title: Storage Ring Probes of Dark Matter and Dark Energy

abstract: We show that proton storage ring experiments designed to search for proton electric dipole moments can also be used to look for the nearly dc spin precession induced by dark energy and ultra-light dark matter. These experiments are sensitive to both axion-like and vector fields. Current technology permits probes of these phenomena up to three orders of magnitude beyond astrophysical limits. The relativistic boost of the protons in these rings allows this scheme to have sensitivities comparable to atomic co-magnetometer experiments that can also probe similar phenomena. These complementary approaches can be used to extract the micro-physics of a signal, allowing us to distinguish between pseudo-scalar, magnetic and electric dipole moment interactions.


title: Explicit formulas for the cohomology of the elementary abelian $p$-groups

abstract: Let $G$ be an elementary abelian $p$-group, $G\cong{\mathbb F}_p^r$ and let $s_1,\ldots,s_r$ be a basis of $G$ over ${\mathbb F}_p$. Let $V$ be the dual of $G$, $V={\rm Hom}(G,{\mathbb F}_p)=H^1(G,{\mathbb F}_p)$. Let $x_1,\ldots,x_r$ be the basis of $V$ over ${\mathbb F}_p$ which is dual to the basis $s_1,\ldots,s_r$ of $G$. For $1\leq i\leq r$ we denote by $y_i=\beta (x_i)\in H^2(G,{\mathbb F}_p)$, where $\beta :H^1(G,{\mathbb F}_p)\to H^2(G,{\mathbb F}_p)$ is the connecting Bockstein map. The ring $(H^*(G,{\mathbb F}_p),+,\cup )$ satisfies $$H^*(G,{\mathbb F}_p)\cong\begin{cases}{\mathbb F}_p[x_1,\ldots,x_r]&p=2\\ \Lambda (x_1,\ldots,x_r)\otimes{\mathbb F}_p[y_1,\ldots,y_r]&p>2\end{cases}.$$ When $p=2$ the isomorphism $\tau :{\mathbb F}_p[x_1,\ldots,x_r]\to H^*(G,{\mathbb F}_p)$ is given by $x_{i_1}\cdots x_{i_n}\mapsto x_{i_1}\cup\cdots\cup x_{i_n}\in H^n(G,{\mathbb F}_p)$. When $p>3$ the isomorphism $\tau :\Lambda (x_1,\ldots,x_r)\otimes{\mathbb F}_p[y_1,\ldots,y_r]\to H^*(G,{\mathbb F}_p)$ is given by $x_{i_1}\wedge\cdots\wedge x_{i_l}\otimes y_{j_1}\cdots y_{j_k}\mapsto x_{i_1}\cup\cdots\cup x_{i_l}\cup y_{j_1}\cup\cdots\cup y_{j_k}\in H^{2k+l}(G,{\mathbb F}_p)$. In this paper we give explicit formulas for the inverse isomorphism $\tau^{-1}$. The elements of $H^*(G,{\mathbb F}_p)$ are written in terms of normalized cochains. During the proof we use an alternative way to describe the normalized cochains. Namely, for every $G$-module $M$ we have $C^n(G,M)\cong{\rm Hom}(T^n({\mathcal I}),M)$, where ${\mathcal I}$ is the augmented ideal of $G$, ${\mathcal I}=\ker\varepsilon :{\mathbb Z}[G]\to{\mathbb Z}$.


title: Thermoelectric properties of finite two-dimensional quantum dot arrays with band-like electronic states

abstract: The thermal power ($PF=S^2G_e$) depends on the Seebeck coefficient ($S$) and electron conductance ($G_e$). The enhancement of $G_e$ will unavoidably suppress $S$ because they are closely related. As a consequence, the optimization of $PF$ is extremely difficult. Here, we theoretically investigated the thermoelectric properties of two-dimensional quantum dot (QD) arrays with carriers injected from electrodes. The Lorenz number of 2D QD arrays in the resonant tunneling procedure satisfies the Wiedemann-Franz law, which confirms the formation of minibands. When the miniband center is far away from the Fermi level of the electrodes, the electron transport is in the thermionic-assisted tunneling procedure (TATP). In this regime, $G_e$ in band-like situation and $S$ in atom-like situation can happen simultaneously. We have demonstrated that the enhancement of $G_e$ with an increasing number of electronic states will not suppress $S$ in the TATP.


title: Spooky Action at a Distance

abstract: This article studies quantum mechanical entanglement. We begin by illustrating why entanglement implies action at a distance. We then introduce a simple criterion for determining when a pure quantum state is entangled. Finally, we present a measure for the amount of entanglement for a pure state.


title: Optomechanically induced optical responses with non-rotating wave approximation

abstract: Slow light propagation is an important phenomenon in quantum optics. Here, we theoretically study the properties of slow light in a simple optomechanical system considering an effect of non-rotating wave approximation (NRWA) that was ignored in previous related works. With the NRWA effect, the ultraslow light can be easily achieved at the window of optomechanically induced transparency, especially in unresolved sideband regime. From the theoretical results, we find the upper bound of the time delay is exactly the mechanical ringdown time which can last for \textit{several minutes} (mHz linewidth) in recent experiments. Additionally, the interesting phenomena of the perfect optomechanically induced transmission and absorption are studied in the system with the NRWA effect. We believe the results can be used to control optical transmission in modern optical networks.


title: Backward Stackelberg Differential Game with Constraints: a Mixed Terminal-Perturbation and Linear-Quadratic Approach

abstract: We discuss an open-loop backward Stackelberg differential game involving single leader and single follower. Unlike most Stackelberg game literature, the state to be controlled is characterized by a backward stochastic differential equation (BSDE) for which the terminal- instead initial-condition is specified as a priori; the decisions of leader consist of a static terminal-perturbation and a dynamic linear-quadratic control. In addition, the terminal control is subject to (convex-closed) pointwise and (affine) expectation constraints. Both constraints are arising from real applications such as mathematical finance. For information pattern: the leader announces both terminal and open-loop dynamic decisions at the initial time while takes account the best response of follower. Then, two interrelated optimization problems are sequentially solved by the follower (a backward linear-quadratic (BLQ) problem) and the leader (a mixed terminal-perturbation and backward-forward LQ (BFLQ) problem). Our open-loop Stackelberg equilibrium is represented by some coupled backward-forward stochastic differential equations (BFSDEs) with mixed initial-terminal conditions. Our BFSDEs also involve nonlinear projection operator (due to pointwise constraint) combining with a Karush-Kuhn-Tucker (KKT) system (due to expectation constraint) via Lagrange multiplier. The global solvability of such BFSDEs is also discussed in some nontrivial cases. Our results are applied to one financial example.


title: Pre-resolutions of noncommutative isolated singularities

abstract: We introduce the notion of right pre-resolutions (quasi-resolutions) for noncommutative isolated singularities, which is a weaker version of quasi-resolutions introduced by Qin-Wang-Zhang. We prove that right quasi-resolutions for noetherian bounded below and locally finite graded algebra with right injective dimension 2 are always Morita equivalent. When we restrict to noncommutative quadric hypersurfaces, we prove that a noncommutative quadric hypersurface, which is a noncommutative isolated singularity, always admits a right pre-resolution. Besides, we provide a method to verify whether a noncommutative quadric hypersurface is an isolated singularity. An example of noncommutative quadric hypersurfaces with detailed computations of indecomposable maximal Cohen-Macaulay modules and right pre-resolutions is included as well.


title: A Dehn type quantity for Riemannian manifolds

abstract: We look at the functional Y(M) = int_M K(x) dV(x) for compact Riemannian 2d-manifolds M, where K(x) = (2d)! (d!)^-1 (4pi)^-d int_T prod_k=1^d K_t_2k,t_2k+1(x) dt involves products of d sectional curvatures K_ij(x) averaged over the space T sim O(2d) of all orthonormal frames t=(t_1, ... ,t_2d). A discrete version Y_disc(M) with K_d(x) = (d!)^-1 (4pi)^-d sum_sigma prod_k=1^d K_sigma(2k-1),sigma(2k) sums over all permutations sigma of 1,..,2d. Unlike Euler characteristic which by Gauss-Bonnet-Chern is int_M K_GBC dV=X(M), the quantities Y or Y_disc are in general metric dependent. We are interested in Y(M)-X(M) because if M has curvature sign e, then Y(M) e^d and Y_disc(M) are positive while X(M) e^d>0 is only conjectured. We compute Y_disc in a few concrete examples like 2d-spheres, the 4-manifold CP^2, the 6 manifold SO(4) or the 8-manifold SU(3).


title: Bayesian Conditional GAN for MRI Brain Image Synthesis

abstract: As a powerful technique in medical imaging, image synthesis is widely used in applications such as denoising, super resolution and modality transformation etc. Recently, the revival of deep neural networks made immense progress in the field of medical imaging. Although many deep leaning based models have been proposed to improve the image synthesis accuracy, the evaluation of the model uncertainty, which is highly important for medical applications, has been a missing part. In this work, we propose to use Bayesian conditional generative adversarial network (GAN) with concrete dropout to improve image synthesis accuracy. Meanwhile, an uncertainty calibration approach is involved in the whole pipeline to make the uncertainty generated by Bayesian network interpretable. The method is validated with the T1w to T2w MR image translation with a brain tumor dataset of 102 subjects. Compared with the conventional Bayesian neural network with Monte Carlo dropout, results of the proposed method reach a significant lower RMSE with a p-value of 0.0186. Improvement of the calibration of the generated uncertainty by the uncertainty recalibration method is also illustrated.


title: Tunable and broadband coherent perfect absorbers with nonlinear and amplification performance based on asymmetric bifacial graphene metasurfaces

abstract: We present an asymmetric bifacial graphene metasurface to realize tunable and broadband coherent perfect absorption (CPA) at terahertz (THz) frequencies. The proposed design is composed of two dissimilar graphene square patch metasurfaces stacked over an ultrathin dielectric substrate. Nonlinear CPA performance without resorting to optical nonlinearities and amplification are demonstrated based on wave interference phenomena taking place along and inside this subwavelength structure. Broadband asymmetric reflection from opposite directions is obtained in the case of single wave illumination. This response acts as a precursor to the presented tunable and broadband nonlinear CPA performance and the inverse response to absorption, i.e., amplification, when an additional input wave coherently interacts with the opposite propagating incident wave. The proposed ultrathin broadband CPA device is expected to be a vital component to several new on-chip THz communication devices, such as optical modulators, sensors, photodetectors, and all-optical small-signal amplifiers.


title: Optimal Measurement Configuration in Computational Diffractive Imaging

abstract: Diffractive lenses have recently been applied to the domain of multispectral imaging in the X-ray and UV regimes where they can achieve very high resolution as compared to reflective and refractive optics. Conventionally, spectral components are reconstructed by taking measurements at the focal planes. However, the reconstruction quality can be improved by optimizing the measurement configuration. In this work, we adapt a sequential backward selection algorithm to search for a configuration which minimizes expected reconstruction error. By approximating the forward system as a circular convolution and making assumptions on the source and noise, we greatly reduce the complexity of the algorithm. Numerical results show that the configuration found by the algorithm significantly improves the reconstruction performance compared to a standard configuration.


title: Fractional moment-preserving initialization schemes for training deep neural networks

abstract: A traditional approach to initialization in deep neural networks (DNNs) is to sample the network weights randomly for preserving the variance of pre-activations. On the other hand, several studies show that during the training process, the distribution of stochastic gradients can be heavy-tailed especially for small batch sizes. In this case, weights and therefore pre-activations can be modeled with a heavy-tailed distribution that has an infinite variance but has a finite (non-integer) fractional moment of order $s$ with $s<2$. Motivated by this fact, we develop initialization schemes for fully connected feed-forward networks that can provably preserve any given moment of order $s \in (0, 2]$ over the layers for a class of activations including ReLU, Leaky ReLU, Randomized Leaky ReLU, and linear activations. These generalized schemes recover traditional initialization schemes in the limit $s \to 2$ and serve as part of a principled theory for initialization. For all these schemes, we show that the network output admits a finite almost sure limit as the number of layers grows, and the limit is heavy-tailed in some settings. This sheds further light into the origins of heavy tail during signal propagation in DNNs. We prove that the logarithm of the norm of the network outputs, if properly scaled, will converge to a Gaussian distribution with an explicit mean and variance we can compute depending on the activation used, the value of s chosen and the network width. We also prove that our initialization scheme avoids small network output values more frequently compared to traditional approaches. Furthermore, the proposed initialization strategy does not have an extra cost during the training procedure. We show through numerical experiments that our initialization can improve the training and test performance.


title: Spectra of the Conjugate Kernel and Neural Tangent Kernel for linear-width neural networks

abstract: We study the eigenvalue distributions of the Conjugate Kernel and Neural Tangent Kernel associated to multi-layer feedforward neural networks. In an asymptotic regime where network width is increasing linearly in sample size, under random initialization of the weights, and for input samples satisfying a notion of approximate pairwise orthogonality, we show that the eigenvalue distributions of the CK and NTK converge to deterministic limits. The limit for the CK is described by iterating the Marcenko-Pastur map across the hidden layers. The limit for the NTK is equivalent to that of a linear combination of the CK matrices across layers, and may be described by recursive fixed-point equations that extend this Marcenko-Pastur map. We demonstrate the agreement of these asymptotic predictions with the observed spectra for both synthetic and CIFAR-10 training data, and we perform a small simulation to investigate the evolutions of these spectra over training.


title: A giant galaxy in the young Universe with a massive ring

abstract: In the local (redshift z~0) Universe, collisional ring galaxies make up only ~0.01% of galaxies and are formed by head-on galactic collisions that trigger radially propagating density waves. These striking systems provide key snapshots for dissecting galactic disks and are studied extensively in the local Universe. However, not much is known about distant (z>0.1) collisional rings. Here we present a detailed study of a ring galaxy at a look-back time of 10.8 Gyr (z=2.19). Compared with our Milky Way, this galaxy has a similar stellar mass, but has a stellar half-light radius that is 1.5-2.2 times larger and is forming stars 50 times faster. The large, diffuse stellar light outside the star-forming ring, combined with a radial velocity on the ring and an intruder galaxy nearby, provides evidence for this galaxy hosting a collisional ring. If the ring is secularly evolved, the implied large bar in a giant disk would be inconsistent with the current understanding of the earliest formation of barred spirals. Contrary to previous predictions, this work suggests that massive collisional rings were as rare 11 Gyr ago as they are today. Our discovery offers a unique pathway for studying density waves in young galaxies, as well as constraining the cosmic evolution of spiral disks and galaxy groups.


title: Population Synthesis of Massive Close Binary Evolution

abstract: Binary population synthesis is the method by which predictions of varied observables of stellar populations can be made from theoretical models of binary stellar evolution. Binary stars have many more possible evolutionary outcomes compared to single stars and the relative rates of the different pathways, such as the rates of different supernova types, depend on uncertain or poorly constrained physics. In this Chapter we describe population synthesis, outline the major uncertainties and discuss the relevant predictions for core-collapse supernovae. After we overview single star evolution we outline the important physical processes that occur in binaries including Roche-lobe overflow, common-envelope evolution and supernova kicks. We also discuss how a synthetic stellar population incorporating interacting binaries can be constructed and how uncertainties, such as the strength of supernova kicks, affect any predictions. We illustrate the process by comparing predictions for the stellar populations in two young star clusters. We then discuss the important predictions from population synthesis for understanding core-collapse supernovae, their delay-time distribution and their progenitor stars. Finally we discuss how we can predict the rate of mergers of compact remnants and thus predict the initial parameters of gravitational wave sources.


title: Sentiment Analysis: Automatically Detecting Valence, Emotions, and Other Affectual States from Text

abstract: Recent advances in machine learning have led to computer systems that are human-like in behaviour. Sentiment analysis, the automatic determination of emotions in text, is allowing us to capitalize on substantial previously unattainable opportunities in commerce, public health, government policy, social sciences, and art. Further, analysis of emotions in text, from news to social media posts, is improving our understanding of not just how people convey emotions through language but also how emotions shape our behaviour. This article presents a sweeping overview of sentiment analysis research that includes: the origins of the field, the rich landscape of tasks, challenges, a survey of the methods and resources used, and applications. We also discuss discuss how, without careful fore-thought, sentiment analysis has the potential for harmful outcomes. We outline the latest lines of research in pursuit of fairness in sentiment analysis.


title: Population and spectral synthesis: it doesn't work without binaries

abstract: In this chapter we discuss the population and spectral synthesis of stellar populations. We describe the method required to achieve such synthesis and discuss examples where inclusion of interacting binaries are vital to reproducing the properties of observed stellar systems. These examples include the Hertzsprung-Russell diagram, massive star number counts, core-collapse supernovae and the ionising radiation from stellar populations that power both nearby HII regions and the epoch of reionization. We finally offer some speculations on the future paths of research in spectral synthesis.


title: "I Cannot Do All of This Alone": Exploring Instrumental and Prayer Support in Online Health Communities

abstract: Online Health Communities (OHCs) are known to provide substantial emotional and informational support to patients and family caregivers facing life-threatening diagnoses like cancer and other illnesses, injuries, or chronic conditions. Yet little work explores how OHCs facilitate other vital forms of social support, especially instrumental support. We partner with CaringBridge.org---a prominent OHC for journaling about health crises---to complete a two-phase study focused on instrumental support. Phase one involves a content analysis of 641 CaringBridge updates. Phase two is a survey of 991 CaringBridge users. Results show that patients and family caregivers diverge from their support networks in their preferences for specific instrumental support types. Furthermore, ``prayer support'' emerged as the most prominent support category across both phases. We discuss design implications to accommodate divergent preferences and to expand the instrumental support network. We also discuss the need for future work to empower family caregivers and to support spirituality.


title: Optimization-driven Deep Reinforcement Learning for Robust Beamforming in IRS-assisted Wireless Communications

abstract: Intelligent reflecting surface (IRS) is a promising technology to assist downlink information transmissions from a multi-antenna access point (AP) to a receiver. In this paper, we minimize the AP's transmit power by a joint optimization of the AP's active beamforming and the IRS's passive beamforming. Due to uncertain channel conditions, we formulate a robust power minimization problem subject to the receiver's signal-to-noise ratio (SNR) requirement and the IRS's power budget constraint. We propose a deep reinforcement learning (DRL) approach that can adapt the beamforming strategies from past experiences. To improve the learning performance, we derive a convex approximation as a lower bound on the robust problem, which is integrated into the DRL framework and thus promoting a novel optimization-driven deep deterministic policy gradient (DDPG) approach. In particular, when the DDPG algorithm generates a part of the action (e.g., passive beamforming), we can use the model-based convex approximation to optimize the other part (e.g., active beamforming) of the action more efficiently. Our simulation results demonstrate that the optimization-driven DDPG algorithm can improve both the learning rate and reward performance significantly compared to the conventional model-free DDPG algorithm.