title: Generalized diffusion equation with nonlocality of space-time: analytical and numerical analysis

abstract: Based on the non-Markov diffusion equation taking into account the spatial fractality and modeling for the generalized coefficient of particle diffusion $D^{\alpha\alpha'}(\mathbf{r},\mathbf{r}';t,t')=W(t,t')\bar{D}^{\alpha\alpha'}(\mathbf{r},\mathbf{r}')$ using fractional calculus the generalized Cattaneo--Maxwell--type diffusion equation in fractional time and space derivatives has been obtained. In the case of a constant diffusion coefficient, analytical and numerical studies of the frequency spectrum for the Cattaneo--Maxwell diffusion equation in fractional time and space derivatives have been performed. Numerical calculations of the phase and group velocities with change of values of characteristic relaxation time, diffusion coefficient and indexes of temporal $\xi$ and spatial $\alpha$ fractality have been carried out.


title: New Experimental Constraints in a New Landscape for Composite Dark Matter

abstract: Certain strongly interacting dark matter candidates could have evaded detection, and much work has been done on constraining their parameter space. Recently, it was shown theoretically that the scattering cross section for $m_\chi \gtrsim 1$ GeV pointlike dark matter with a nucleus cannot be significantly larger than the geometric cross section of the nucleus. This realization closes the parameter space for pointlike strongly interacting dark matter. However, strongly interacting dark matter is still theoretically possible for composite particles, with much parameter space open. We set new, wide-ranging limits based on data from a novel detector at the University of Chicago. Backgrounds are greatly suppressed by requiring coincidence detection between two spatially separated liquid-scintillator modules. For dark matter ($v \sim 10^{-3}$c), the time of flight would be $\sim 2~\mu{\rm s}$, whereas for cosmic rays, it would be $\sim 2~{\rm ns}$. We outline ways to greatly increase sensitivity at modest costs.


title: Fundamentals In Quantum Algorithms: A Tutorial Series Using Qiskit Continued

abstract: With the increasing rise of publicly available high level quantum computing languages, the field of Quantum Computing has reached an important milestone of separation of software from hardware. Consequently, the study of Quantum Algorithms is beginning to emerge as university courses and disciplines around the world, spanning physics, math, and computer science departments alike. As a continuation to its predecessor: "Introduction to Coding Quantum Algorithms: A Tutorial Series Using Qiskit", this tutorial series aims to help understand several of the most promising quantum algorithms to date, including Phase Estimation, Shor's, QAOA, VQE, and several others. Accompanying each algorithm's theoretical foundations are coding examples utilizing IBM's Qiskit, demonstrating the strengths and challenges of implementing each algorithm in gate-based quantum computing.


title: A Baseline Analysis for Podcast Abstractive Summarization

abstract: Podcast summary, an important factor affecting end-users' listening decisions, has often been considered a critical feature in podcast recommendation systems, as well as many downstream applications. Existing abstractive summarization approaches are mainly built on fine-tuned models on professionally edited texts such as CNN and DailyMail news. Different from news, podcasts are often longer, more colloquial and conversational, and noisier with contents on commercials and sponsorship, which makes automatic podcast summarization extremely challenging. This paper presents a baseline analysis of podcast summarization using the Spotify Podcast Dataset provided by TREC 2020. It aims to help researchers understand current state-of-the-art pre-trained models and hence build a foundation for creating better models.


title: Extension Quiver for Lie Superalgebra $\mathfrak{q}(3)$

abstract: We describe all blocks of the category of finite-dimensional $\mathfrak{q}(3)$-supermodules by providing their extension quivers. We also obtain two general results about the representation of $\mathfrak{q}(n)$: we show that the Ext quiver of the standard block of $\mathfrak{q}(n)$ is obtained from the principal block of $\mathfrak{q}(n-1)$ by identifying certain vertices of the quiver and prove a ''virtual'' BGG-reciprocity for $\mathfrak{q}(n)$. The latter result is used to compute the radical filtrations of $\mathfrak{q}(3)$ projective covers.


title: Reloading the Axion in a 3-3-1 setup

abstract: We generalize the idea of the axion to an extended electroweak gauge symmetry setup. We propose a minimal axion extension of the Singer-Valle-Schechter (SVS) theory, in which the standard model fits in $\mathrm{SU(3)_L\otimes U(1)_X}$, the number of families results from anomaly cancellation, and the Peccei-Quinn (PQ) solution to the strong-CP problem is implemented. Neutrino masses arise from a type-I Dirac seesaw mechanism, suppressed by the ratio of SVS and PQ scales, suggesting the existence of new physics at a moderate SVS scale. Novel features include an enhanced axion coupling to photons when compared to the DFSZ axion, as well as flavour-changing axion couplings to quarks.


title: Effects of positive jumps of assets on endogenous bankruptcy and optimal capital structure: Continuous- and periodic-observation models

abstract: In this paper, we study the optimal capital structure model with endogenous bankruptcy when the firm's asset value follows an exponential L\'evy process with positive jumps. In the Leland-Toft framework \cite{LelandToft96}, we obtain the optimal bankruptcy barrier in the classical continuous-observation model and the periodic-observation model, recently studied by Palmowski et al.\ \cite{palmowski2019leland}. We further consider the two-stage optimization problem of obtaining the optimal capital structure. Detailed numerical experiments are conducted to study the sensitivity of the firm's decision-making with respect to the observation frequency and positive jumps of the asset value.


title: Robust Pancreatic Ductal Adenocarcinoma Segmentation with Multi-Institutional Multi-Phase Partially-Annotated CT Scans

abstract: Accurate and automated tumor segmentation is highly desired since it has the great potential to increase the efficiency and reproducibility of computing more complete tumor measurements and imaging biomarkers, comparing to (often partial) human measurements. This is probably the only viable means to enable the large-scale clinical oncology patient studies that utilize medical imaging. Deep learning approaches have shown robust segmentation performances for certain types of tumors, e.g., brain tumors in MRI imaging, when a training dataset with plenty of pixel-level fully-annotated tumor images is available. However, more than often, we are facing the challenge that only (very) limited annotations are feasible to acquire, especially for hard tumors. Pancreatic ductal adenocarcinoma (PDAC) segmentation is one of the most challenging tumor segmentation tasks, yet critically important for clinical needs. Previous work on PDAC segmentation is limited to the moderate amounts of annotated patient images (n<300) from venous or venous+arterial phase CT scans. Based on a new self-learning framework, we propose to train the PDAC segmentation model using a much larger quantity of patients (n~=1,000), with a mix of annotated and un-annotated venous or multi-phase CT images. Pseudo annotations are generated by combining two teacher models with different PDAC segmentation specialties on unannotated images, and can be further refined by a teaching assistant model that identifies associated vessels around the pancreas. A student model is trained on both manual and pseudo annotated multi-phase images. Experiment results show that our proposed method provides an absolute improvement of 6.3% Dice score over the strong baseline of nnUNet trained on annotated images, achieving the performance (Dice = 0.71) similar to the inter-observer variability between radiologists.


title: Solving Inverse Stochastic Problems from Discrete Particle Observations Using the Fokker-Planck Equation and Physics-informed Neural Networks

abstract: The Fokker-Planck (FP) equation governing the evolution of the probability density function (PDF) is applicable to many disciplines but it requires specification of the coefficients for each case, which can be functions of space-time and not just constants, hence requiring the development of a data-driven modeling approach. When the data available is directly on the PDF, then there exist methods for inverse problems that can be employed to infer the coefficients and thus determine the FP equation and subsequently obtain its solution. Herein, we address a more realistic scenario, where only sparse data are given on the particles' positions at a few time instants, which are not sufficient to accurately construct directly the PDF even at those times from existing methods, e.g., kernel estimation algorithms. To this end, we develop a general framework based on physics-informed neural networks (PINNs) that introduces a new loss function using the Kullback-Leibler divergence to connect the stochastic samples with the FP equation, to simultaneously learn the equation and infer the multi-dimensional PDF at all times. In particular, we consider two types of inverse problems, type I where the FP equation is known but the initial PDF is unknown, and type II in which, in addition to unknown initial PDF, the drift and diffusion terms are also unknown. In both cases, we investigate problems with either Brownian or Levy noise or a combination of both. We demonstrate the new PINN framework in detail in the one-dimensional case (1D) but we also provide results for up to 5D demonstrating that we can infer both the FP equation and} dynamics simultaneously at all times with high accuracy using only very few discrete observations of the particles.


title: Coherent Dynamics Enhanced by Uncorrelated Noise

abstract: Synchronization is a widespread phenomenon observed in physical, biological, and social networks, which persists even under the influence of strong noise. Previous research on oscillators subject to common noise has shown that noise can actually facilitate synchronization, as correlations in the dynamics can be inherited from the noise itself. However, in many spatially distributed networks, such as the mammalian circadian system, the noise that different oscillators experience can be effectively uncorrelated. Here, we show that uncorrelated noise can in fact enhance synchronization when the oscillators are coupled. Strikingly, our analysis also shows that uncorrelated noise can be more effective than common noise in enhancing synchronization. We first establish these results theoretically for phase and phase-amplitude oscillators subject to either or both additive and multiplicative noise. We then confirm the predictions through experiments on coupled electrochemical oscillators. Our findings suggest that uncorrelated noise can promote rather than inhibit coherence in natural systems and that the same effect can be harnessed in engineered systems.


title: Cosmography using strong lensing systems and cosmic chronometers

abstract: Using a new sub-sample of observed strong gravitational lens systems, for the first time, we present the equation for the angular diameter distance in the $y$-redshift scenario for cosmography and use it to test the cosmographic parameters. In addition, we also use the observational Hubble data from cosmic chronometers and a Joint analysis of both data is performed. Among the most important conclusions are that this new analysis for cosmography using Strong Lensing Systems is equally competitive to constrain the cosmographic parameters as others presented in literature. Additionally, we present the reconstruction of the effective equation of state inferred from our samples, showing that at $z=0$ those reconstructions from Strong Lensing Systems and Joint analysis are in concordance with the standard model of cosmology.


title: IoT Applications in Urban Sustainability

abstract: Internet of Things is one of the driving technologies behind the concept of Smart Cities and is capable of playing a significant role in facilitating urban sustainable development. This chapter explores the relationship between three core concepts namely Smart Cities, Internet of Things and Sustainability; thereby identifying the challenges and opportunities that exist in the synergistic use of Internet of Things for sustainability, in the Smart Cities context. Moreover, this chapter also presents some of the existing use cases that apply Internet of Things for urban sustainable development, also presenting the vision for these applications as they continue to evolve in and adapt to the real world scenario. It is because of the interdisciplinary nature of these applications that a clear comprehension of the associated challenges becomes quintessential. Study of challenges and opportunities in this area shall facilitate collaboration between different sectors of urban planning and optimize the utilization of Internet of Things for sustainability.


title: Introduction to Anderson t-motives: a survey

abstract: This is a survey on Anderson t-motives -- high-dimensional generalizations of Drinfeld modules. They are the functional field analogs of abelian varieties with multiplication by an imaginary quadratic field. We describe their lattices, their groups $H^1$ and $H_1$, their tensor products, the duality functor and the duality theorem, endomorphisms of Drinfeld modules in finite characteristic, and a type of their L-functions. Further, we introduce the notion of affine equations, $T$-divisible $\Bbb F_q[[T]]$-modules, holonomic sequences in the functional field case, and some other notions (to be continued). Many examples of explicit calculations are given, some elementary research problems are stated.


title: Spectroscopic observations of the machine-learning selected anomaly catalogue from the AllWISE Sky Survey

abstract: We present the results of a programme to search and identify the nature of unusual sources within the All-sky Wide-field Infrared Survey Explorer (WISE) that is based on a machine-learning algorithm for anomaly detection, namely one-class support vector machines (OCSVM). Designed to detect sources deviating from a training set composed of known classes, this algorithm was used to create a model for the expected data based on WISE objects with spectroscopic identifications in the Sloan Digital Sky Survey (SDSS). Subsequently, it marked as anomalous those sources whose WISE photometry was shown to be inconsistent with this model. We report the results from optical and near-infrared spectroscopy follow-up observations of a subset of 36 bright ($g_{AB}$<19.5) objects marked as 'anomalous' by the OCSVM code to verify its performance. Among the observed objects, we identified three main types of sources: i) low redshift (z~0.03-0.15) galaxies containing large amounts of hot dust (53%), including three Wolf-Rayet galaxies; ii) broad-line quasi-stellar objects (QSOs) (33%) including low-ionisation broad absorption line (LoBAL) quasars and a rare QSO with strong and narrow ultraviolet iron emission; iii) Galactic objects in dusty phases of their evolution (3%). The nature of four of these objects (11%) remains undetermined due to low signal-to-noise or featureless spectra. The current data show that the algorithm works well at detecting rare but not necessarily unknown objects among the brightest candidates. They mostly represent peculiar sub-types of otherwise well-known sources.


title: QUBIC V: Cryogenic system design and performance

abstract: Current experiments aimed at measuring the polarization of the Cosmic Microwave Background (CMB) use cryogenic detector arrays and cold optical systems to boost the mapping speed of the sky survey. For these reasons, large volume cryogenic systems, with large optical windows, working continuously for years, are needed. Here we report on the cryogenic system of the QUBIC (Q and U Bolometric Interferometer for Cosmology) experiment: we describe its design, fabrication, experimental optimization and validation in the Technological Demonstrator configuration. The QUBIC cryogenic system is based on a large volume cryostat, using two pulse-tube refrigerators to cool at ~3K a large (~1 m^3) volume, heavy (~165kg) instrument, including the cryogenic polarization modulator, the corrugated feedhorns array, and the lower temperature stages; a 4He evaporator cooling at ~1K the interferometer beam combiner; a 3He evaporator cooling at ~0.3K the focal-plane detector arrays. The cryogenic system has been tested and validated for more than 6 months of continuous operation. The detector arrays have reached a stable operating temperature of 0.33K, while the polarization modulator has been operated from a ~10K base temperature. The system has been tilted to cover the boresight elevation range 20 deg -90 deg without significant temperature variations. The instrument is now ready for deployment to the high Argentinean Andes.


title: Inertia-driven and elastoinertial viscoelastic turbulent channel flow simulated with a hybrid pseudo-spectral/finite-difference numerical scheme

abstract: Numerical simulation of viscoelastic flows is challenging because of the hyperbolic nature of viscoelastic constitutive equations. Despite their superior accuracy and efficiency, pseudo-spectral methods require the introduction of artificial diffusion (AD) for numerical stability in hyperbolic problems, which alters the physical nature of the system. This study presents a hybrid numerical procedure that integrates an upwind total variation diminishing (TVD) finite-difference scheme, which is known for its stability in hyperbolic problems, for the polymer stress convection term into an overall pseudo-spectral numerical framework. Numerically stable solutions are obtained for Weissenberg number well beyond O(100) without the need for either global or local AD. Side-by-side comparison with an existing pseudo-spectral code reveals the impact of AD, which is shown to differ drastically between flow regimes. Elastoinertial turbulence (EIT) becomes unphysically suppressed when AD, at any level necessary for stabilizing the pseudo-spectral method, is used. This is attributed to the importance of sharp stress shocks in its self-sustaining cycles. Nevertheless , in regimes dominated by the classical inertial mechanism for turbulence generation, there is still an acceptable range of AD that can be safely used to predict the statistics, dynamics, and structures of drag-reduced turbulence. Detailed numerical resolution analysis of the new hybrid method, especially for capturing the EIT states, is also presented.


title: The virtual K-theory of Quot schemes of surfaces

abstract: We study virtual invariants of Quot schemes parametrizing quotients of dimension at most 1 of the trivial sheaf of rank N on nonsingular projective surfaces. We conjecture that the generating series of virtual K-theoretic invariants are given by rational functions. We prove rationality for several geometries including punctual quotients for all smooth projective surfaces and dimension 1 quotients for surfaces X with p_g>0. We also show that the generating series of virtual cobordism classes can be irrational. Given a K-theory class on X of rank r, we associate natural series of virtual Segre and Verlinde numbers. We show that the Segre and Verlinde series match in the following three cases: Quot schemes of dimension 0 quotients, Hilbert schemes of points and curves over surfaces with p_g>0, Quot schemes of minimal elliptic surfaces for quotients supported on fiber classes. Moreover, for punctual quotients of the trivial sheaf of rank N, we prove a new symmetry of the Segre/Verlinde series exchanging r and N. The Segre/Verlinde statements have analogues for punctual Quot schemes over curves.


title: Dust and star formation in the centre of NGC 3311

abstract: NGC 3311 is the central galaxy of the Hydra I galaxy cluster. It has a hot interstellar medium and hosts a central dust lane with emission lines. These dust lanes are frequent in elliptical galaxies, but the case of NGC 3311 might be particularly interesting for problems of dust lifetime and the role of cool gas in the central parts. We aim to use archival HST images and MUSE data to investigate the central dust structure of NGC 3311. We used the tool PyParadise to model the stellar population and extract the emission lines. The HST/ACS colour map reveals the known dust structures, but also blue spots, which are places of strong line emission. A dusty 'mini-jet' emanates from the centre. The distribution of the emission line gas matches the dust silhouette almost exactly. Close to the brightest Halpha emission, the ratio [NII]/Halpha resembles that of HII-regions; in the outer parts, [NII] gets stronger and is similar to LINER-like spectra. The gas kinematics is consistent with that of a rotating disc. The Doppler shifts of the strongest line emissions, which indicate the areas of highest star formation activity, smoothly fit into the disc symmetry. The metallicity is supersolar. The presence of neutral gas is indicated by the fit residuals of the stellar NaI D absorption line, which we interpret as interstellar absorption. We estimate the mass of the neutral gas to be of the order of the X-ray mass. The dynamical mass infers a stellar population of intermediate age, whose globular clusters have already been identified. Our findings can be harmonised in a scenario in which the star formation is triggered by the accretion of cold gas onto a pre-existing gas/dust disc or ring. Newly produced dust then contributes to the longevity of the dust.


title: Joint Survey Processing of Euclid, Rubin and Roman: Final Report

abstract: The Euclid, Rubin/LSST and Roman (WFIRST) projects will undertake flagship optical/near-infrared surveys in the next decade. By mapping thousands of square degrees of sky and covering the electromagnetic spectrum between 0.3 and 2 microns with sub-arcsec resolution, these projects will detect several tens of billions of sources, enable a wide range of astrophysical investigations by the astronomical community and provide unprecedented constraints on the nature of dark energy and dark matter. The ultimate cosmological, astrophysical and time-domain science yield from these missions will require joint survey processing (JSP) functionality at the pixel level that is outside the scope of the individual survey projects. The JSP effort scoped here serves two high-level objectives: 1) provide precise concordance multi-wavelength images and catalogs over the entire sky area where these surveys overlap, which accounts for source confusion and mismatched isophotes, and 2) provide a science platform to analyze concordance images and catalogs to enable a wide range of astrophysical science goals to be formulated and addressed by the research community. For the cost of about 200WY, JSP will allow the U.S. (and international) astronomical community to manipulate the flagship data sets and undertake innovative science investigations ranging from solar system object characterization, exoplanet detections, nearby galaxy rotation rates and dark matter properties, to epoch of reionization studies. It will also allow for the ultimate constraints on cosmological parameters and the nature of dark energy, with far smaller uncertainties and a better handle on systematics than by any one survey alone.


title: A shell model for superfluids in rough-walled nanopores

abstract: Recent experiments on the flow of helium-4 fluid through nanopores with tunable pore radius provide a platform for studying the quasi-one-dimensional (quasi-1D) superfluid behaviors. In the extreme 1D limit, the helium atoms are localized by disordered small variations in the substrate potential provided by the pore walls. In the limit of wide pore radius, a solid layer of helium-4 is expected to coat the pore walls smoothing out the substrate potential, and superfluidity is observed in the central region. Building on earlier quantum Monte Carlo results, we propose a scenario for this crossover using a shell model of coupled Luttinger liquids. We find that a small radius pore will always localize the helium atoms, but above a critical radius, a single 1D channel flows through the pore and can be described by Luttinger liquid theory.


title: INTEGRAL view on Cataclysmic Variables and Symbiotic Binaries

abstract: Accreting white dwarfs (WDs) constitute a significant fraction of the hard X-ray sources detected by the INTEGRAL observatory. Most of them are magnetic Cataclysmic Variables (CVs) of the intermediate polar (IP) and polar types, but the contribution of the Nova-likes systems and the systems with optically thin boundary layers, Dwarf Novae (DNs) and Symbiotic Binaries (or Symbiotic Stars, SySs) in quiescence is also not negligible. Here we present a short review of the results obtained from the observations of cataclysmic variables and symbiotic binaries by INTEGRAL. The highlight results include the significant increase of the known IP population, determination of the WD mass for a significant fraction of IPs, the establishment of the luminosity function of magnetic CVs, and uncovering origin of the Galactic ridge X-ray emission which appears to largely be associated with hard emission from magnetic CVs.


title: On the equivalence between the Kinetic Ising Model and discrete autoregressive processes

abstract: Binary random variables are the building blocks used to describe a large variety of systems, from magnetic spins to financial time series and neuron activity. In Statistical Physics the Kinetic Ising Model has been introduced to describe the dynamics of the magnetic moments of a spin lattice, while in time series analysis discrete autoregressive processes have been designed to capture the multivariate dependence structure across binary time series. In this article we provide a rigorous proof of the equivalence between the two models in the range of a unique and invertible map unambiguously linking one model parameters set to the other. Our result finds further justification acknowledging that both models provide maximum entropy distributions of binary time series with given means, auto-correlations, and lagged cross-correlations of order one. We further show that the equivalence between the two models permits to exploit the inference methods originally developed for one model in the inference of the other.


title: QUBIC VI: cryogenic half wave plate rotator, design and performances

abstract: Inflation Gravity Waves B-Modes polarization detection is the ultimate goal of modern large angular scale cosmic microwave background (CMB) experiments around the world. A big effort is undergoing with the deployment of many ground-based, balloon-borne and satellite experiments using different methods to separate this faint polarized component from the incoming radiation. One of the largely used technique is the Stokes Polarimetry that uses a rotating half-wave plate (HWP) and a linear polarizer to separate and modulate the polarization components with low residual cross-polarization. This paper describes the QUBIC Stokes Polarimeter highlighting its design features and its performances. A common systematic with these devices is the generation of large spurious signals synchronous with the rotation and proportional to the emissivity of the optical elements. A key feature of the QUBIC Stokes Polarimeter is to operate at cryogenic temperature in order to minimize this unwanted component. Moving efficiently this large optical element at low temperature constitutes a big engineering challenge in order to reduce friction power dissipation. Big attention has been given during the designing phase to minimize the differential thermal contractions between parts. The rotation is driven by a stepper motor placed outside the cryostat to avoid thermal load dissipation at cryogenic temperature. The tests and the results presented in this work show that the QUBIC polarimeter can easily achieve a precision below 0.1{\deg} in positioning simply using the stepper motor precision and the optical absolute encoder. The rotation induces only few mK of extra power load on the second cryogenic stage (~ 8 K).


title: Magnetic Field of the Active Planet-hosting M Dwarf AU Mic

abstract: AU Mic is a young, very active M dwarf star with a debris disk and at least one transiting Neptune-size planet. Here we present detailed analysis of the magnetic field of AU Mic based on previously unpublished high-resolution optical and near-infrared spectropolarimetric observations. We report a systematic detection of circular and linear polarization signatures in the stellar photospheric lines. Tentative Zeeman Doppler imaging modeling of the former data suggests a non-axisymmetric global field with a surface-averaged strength of about 90 G. At the same time, linear polarization observations indicate the presence of a much stronger $\approx$2 kG axisymmetric dipolar field, which contributes no circular polarization signal due to the equator-on orientation of AU Mic. A separate Zeeman broadening and intensification analysis allowed us to determine a mean field modulus of 2.3 and 2.1 kG from the Y- and K-band atomic lines respectively. These magnetic field measurements are essential for understanding environmental conditions within the AU Mic planetary system.


title: Conformally formal manifolds and the uniformly quasiregular non-ellipticity of $(\mathbb{S}^2 \times \mathbb{S}^2) \operatorname{\#} (\mathbb{S}^2 \times \mathbb{S}^2)$

abstract: We show that the manifold $(\mathbb{S}^2 \times \mathbb{S}^2) \operatorname{\#} (\mathbb{S}^2 \times \mathbb{S}^2)$ does not admit a non-constant non-injective uniformly quasiregular self-map. This answers a question of Martin, Mayer, and Peltonen, and provides the first example of a quasiregularly elliptic manifold which is not uniformly quasiregularly elliptic. To obtain the result, we introduce conformally formal manifolds, which are closed smooth $n$-manifolds $M$ admitting a measurable conformal structure $[g]$ for which the $(n/k)$-harmonic $k$-forms of the structure $[g]$ form an algebra. This is a conformal counterpart to the existing study of geometrically formal manifolds. We show that, similarly as in the geometrically formal theory, the real cohomology ring $H^*(M; \mathbb{R})$ of a conformally formal $n$-manifold $M$ admits an embedding of algebras $\Phi \colon H^*(M; \mathbb{R}) \hookrightarrow \wedge^* \mathbb{R}^n$. We also show that uniformly quasiregularly elliptic manifolds $M$ are conformally formal in a stronger sense, in which the wedge product is replaced with a conformally scaled Clifford product. For this stronger version of conformal formality, the image of $\Phi$ is closed under the Euclidean Clifford product of $\wedge^* \mathbb{R}^n$, which in turn is impossible for $M = (\mathbb{S}^2 \times \mathbb{S}^2) \operatorname{\#} (\mathbb{S}^2 \times \mathbb{S}^2)$.


title: On the $k$ Nearest-Neighbor Path Distance from the Typical Intersection in the Manhattan Poisson Line Cox Process

abstract: In this paper, we consider a Cox point process driven by the Manhattan Poisson line process. We calculate the exact cumulative distribution function (CDF) of the path distance (L1 norm) between a randomly selected intersection and the $k$-th nearest node of the Cox process. The CDF is expressed as a sum over the integer partition function $p\!\left(k\right)$, which allows us to numerically evaluate the CDF in a simple manner for practical values of $k$. These distance distributions can be used to study the $k$-coverage of broadcast signals transmitted from a \ac{RSU} located at an intersection in intelligent transport systems (ITS). Also, they can be insightful for network dimensioning in vehicle-to-everything (V2X) systems, because they can yield the exact distribution of network load within a cell, provided that the \ac{RSU} is placed at an intersection. Finally, they can find useful applications in other branches of science like spatial databases, emergency response planning, and districting. We corroborate the applicability of our distance distribution model using the map of an urban area.


title: Modeling the Transport of Nonthermal Particles in Flares Using Fokker-Planck Kinetic Theory

abstract: We describe a new approach for modeling the transport of high energy particles accelerated during flares from the acceleration region in the solar corona until their eventual thermalization in the flare footpoint. Our technique numerically solves the Fokker-Planck equation and includes forces corresponding to Coulomb collisions in a flux loop with nonuniform ionization, synchrotron emission reaction, magnetic mirroring and a return current electric field. Our solution to the Fokker-Planck equation includes second-order pitch angle and momentum diffusion. It is applicable to particles of arbitrary mass and charge. By tracking the collisions, we predict the bremsstrahlung produced as these particles interact with the ambient stellar atmosphere. This can be compared directly with observations and used to constrain the accelerated particle energy distribution. We have named our numerical code FP and have distributed it for general use. We demonstrate its effectiveness in several test cases.


title: Determination of the sheet resistance of an infinite thin plate with five point contacts located at arbitrary positions

abstract: In this paper, a five-probe method of sheet resistance measurement that is independent of probe positions is reported. The method is strict for an infinite homogeneous plane. It has potential applications as a sheet resistance standard based on planar molecular layers. The method can be used to measure the sheet resistance of layers covering objects with a spherical topology, particularly on micro- and nanometric scales, where it is difficult to control probe positioning.


title: Analytical continuation of two-dimensional wave fields

abstract: Wave fields obeying the 2D Helmholtz equation on branched surfaces (Sommerfeld surfaces) are studied. Such surfaces appear naturally as a result of applying the reflection method to diffraction problems with straight scatterers bearing ideal boundary conditions. This is for example the case for the classical canonical problems of diffraction by a half-line or a segment. In the present work, it is shown that such wave fields admit an analytical continuation into the domain of two complex coordinates. The branch sets of such continuation are given and studied in detail. For a generic scattering problem, it is shown that the set of all branches of the multi-valued analytical continuation of the field has a finite basis. Each basis function is expressed explicitly as a Green's integral along so-called double-eight contours. The finite basis property is important in the context of coordinate equations, introduced and utilised by the authors previously, as illustrated in this article for the particular case of diffraction by a segment.


title: Effects of the pseudo-gap on the field-induced kinetic energy density of Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ single crystals

abstract: We report on magnetization experiments from which we obtain the field-induced kinetic energy density, $E_k$, in the superconducting phase of several Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ single crystal samples. The kinetic energy magnitude changes according to the characteristic reduction of the single-electron density of states produced by the pseudogap in the underdoped limit. Moreover, a remarkable peak of $E_k$ occurring at the specific holes density $p\sim0.18$ is related to a van Hove singularity due to the pseudogap closure. We also extracted the superfluid density, $\rho_s$. We conclude that $E_k$ and $\rho_s$ are related to the pseudogap energy scale. This result is understood as an evidence of the coexistence between superconductivity and the pseudogap phenomenon in the Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ cuprate compound.


title: The Coupling/Minorization/Drift Approach to Markov Chain Convergence Rates

abstract: This review paper provides an introduction of Markov chains and their convergence rates which is an important and interesting mathematical topic which also has important applications for very widely used Markov chain Monte Carlo (MCMC) algorithm. We first discuss eigenvalue analysis for Markov chains on finite state spaces. Then, using the coupling construction, we prove two quantitative bounds based on minorization condition and drift conditions, and provide descriptive and intuitive examples to showcase how these theorems can be implemented in practice. This paper is meant to provide a general overview of the subject and spark interest in new Markov chain research areas.


title: Efficient Mass Estimate at the Core of Strong Lensing Galaxy Clusters Using the Einstein Radius

abstract: In the era of large surveys, yielding thousands of galaxy clusters, efficient mass proxies at all scales are necessary in order to fully utilize clusters as cosmological probes. At the cores of strong lensing clusters, the Einstein radius can be turned into a mass estimate. This efficient method has been routinely used in literature, in lieu of detailed mass models; however, its scatter, assumed to be $\sim30\%$, has not yet been quantified. Here, we assess this method by testing it against ray-traced images of cluster-scale halos from the Outer Rim N-body cosmological simulation. We measure a scatter of $13.9\%$ and a positive bias of $8.8\%$ in $M(<\theta_E)$, with no systematic correlation with total cluster mass, concentration, or lens or source redshifts. We find that increased deviation from spherical symmetry increases the scatter; conversely, where the lens produces arcs that cover a large fraction of its Einstein circle, both the scatter and the bias decrease. While spectroscopic redshifts of the lensed sources are critical for accurate magnifications and time delays, we show that for the purpose of estimating the total enclosed mass, the scatter introduced by source redshift uncertainty is negligible compared to other sources of error. Finally, we derive and apply an empirical correction that eliminates the bias, and reduces the scatter to $10.1\%$ without introducing new correlations with mass, redshifts, or concentration. Our analysis provides the first quantitative assessment of the uncertainties in $M(<\theta_E)$, and enables its effective use as a core mass estimator of strong lensing galaxy clusters.


title: On sheaf cohomology and natural expansions

abstract: In this survey paper, we present \v{C}ech and sheaf cohomologies -- themes that were presented by Koszul in University of S\~ao Paulo during his visit in the late 1950s -- we present expansions for categories of generalized sheaves (i.e, Grothendieck toposes), with examples of applications in other cohomology theories and other areas of mathematics, besides providing motivations and historical notes. We conclude explaining the difficulties in establishing a cohomology theory for elementary toposes, presenting alternative approaches by considering constructions over quantales, that provide structures similar to sheaves, and indicating researches related to logic: constructive (intuitionistic and linear) logic for toposes, sheaves over quantales, and homological algebra.


title: Probabilistic Deep Learning for Instance Segmentation

abstract: Probabilistic convolutional neural networks, which predict distributions of predictions instead of point estimates, led to recent advances in many areas of computer vision, from image reconstruction to semantic segmentation. Besides state of the art benchmark results, these networks made it possible to quantify local uncertainties in the predictions. These were used in active learning frameworks to target the labeling efforts of specialist annotators or to assess the quality of a prediction in a safety-critical environment. However, for instance segmentation problems these methods are not frequently used so far. We seek to close this gap by proposing a generic method to obtain model-inherent uncertainty estimates within proposal-free instance segmentation models. Furthermore, we analyze the quality of the uncertainty estimates with a metric adapted from semantic segmentation. We evaluate our method on the BBBC010 C.\ elegans dataset, where it yields competitive performance while also predicting uncertainty estimates that carry information about object-level inaccuracies like false splits and false merges. We perform a simulation to show the potential use of such uncertainty estimates in guided proofreading.


title: Machine learning for weather and climate are worlds apart

abstract: Modern weather and climate models share a common heritage, and often even components, however they are used in different ways to answer fundamentally different questions. As such, attempts to emulate them using machine learning should reflect this. While the use of machine learning to emulate weather forecast models is a relatively new endeavour there is a rich history of climate model emulation. This is primarily because while weather modelling is an initial condition problem which intimately depends on the current state of the atmosphere, climate modelling is predominantly a boundary condition problem. In order to emulate the response of the climate to different drivers therefore, representation of the full dynamical evolution of the atmosphere is neither necessary, or in many cases, desirable. Climate scientists are typically interested in different questions also. Indeed emulating the steady-state climate response has been possible for many years and provides significant speed increases that allow solving inverse problems for e.g. parameter estimation. Nevertheless, the large datasets, non-linear relationships and limited training data make Climate a domain which is rich in interesting machine learning challenges. Here I seek to set out the current state of climate model emulation and demonstrate how, despite some challenges, recent advances in machine learning provide new opportunities for creating useful statistical models of the climate.


title: Video Frame Interpolation via Generalized Deformable Convolution

abstract: Video frame interpolation aims at synthesizing intermediate frames from nearby source frames while maintaining spatial and temporal consistencies. The existing deep-learning-based video frame interpolation methods can be roughly divided into two categories: flow-based methods and kernel-based methods. The performance of flow-based methods is often jeopardized by the inaccuracy of flow map estimation due to oversimplified motion models, while that of kernel-based methods tends to be constrained by the rigidity of kernel shape. To address these performance-limiting issues, a novel mechanism named generalized deformable convolution is proposed, which can effectively learn motion information in a data-driven manner and freely select sampling points in space-time. We further develop a new video frame interpolation method based on this mechanism. Our extensive experiments demonstrate that the new method performs favorably against the state-of-the-art, especially when dealing with complex motions.


title: Double Patterns: A Usable Solution to Increase the Security of Android Unlock Patterns

abstract: Android unlock patterns remain quite common. Our study, as well as others, finds that roughly 25\% of respondents use a pattern when unlocking their phone. Despite known security issues, the design of the pattern interface remains unchanged since first launch. We propose Double Patterns, a natural and easily adoptable advancement on Android unlock patterns that maintains the core design features, but instead of selecting a single pattern, a user selects two, concurrent Android unlock patterns entered one-after-the-other super-imposed on the same 3x3 grid. We evaluated Double Patterns for both security and usability by conducting an online study with $n=634$ participants in three treatments: a control treatment, a first pattern entry blocklist, and a blocklist for both patterns. We find that in all settings, user chosen Double Patterns are more secure than traditional patterns based on standard guessability metrics, more similar to that of 4-/6-digit PINs, and even more difficult to guess for a simulated attacker. Users express positive sentiments in qualitative feedback, particularly those who currently (or previously) used Android unlock patterns, and overall, participants found the Double Pattern interface quite usable, with high recall retention and comparable entry times to traditional patterns. In particular, current Android pattern users, the target population for Double Patterns, reported SUS scores in the 80th percentile and high perceptions of security and usability in responses to open- and closed-questions. Based on these findings, we would recommend adding Double Patterns as an advancement to Android patterns, much like allowing for added PIN length.


title: ALIGN: A System for Automating Analog Layout

abstract: ALIGN ("Analog Layout, Intelligently Generated from Netlists") is an open-source automatic layout generation flow for analog circuits. ALIGN translates an input SPICE netlist to an output GDSII layout, specific to a given technology, as specified by a set of design rules. The flow first automatically detects hierarchies in the circuit netlist and translates layout synthesis to a problem of hierarchical block assembly. At the lowest level, parameterized cells are generated using an abstraction of the design rules; these blocks are then assembled under geometric and electrical constraints to build the circuit layout. ALIGN has been applied to generate layouts for a diverse set of analog circuit families: low frequency analog blocks, wireline circuits, wireless circuits, and power delivery circuits.


title: On the formation of "supermassive" neutron stars and dynamical transition to spontaneous scalarization

abstract: It is well known that neutron stars can undergo a phase transition under a certain class of Scalar Tensor Theories of gravity (STT's) where a new order parameter, the {\it scalar charge}, appears within the star. This is the well known phenomenon of spontaneous scalarization (SC) discovered by Damour and Esposito-Far\`ese in 1993. Under such mechanism neutron stars can afford in principle a maximum mass larger than in general relativity (GR) for a given equation of state without taking into account additional observational constraints (e.g. binary systems). This opens the possibility that neutron stars might be formed with masses as large as $\sim 2 M_\odot$ without the need of stiff, or more exotic, equations of state for the nuclear matter. Thus, STT's through SC may account for compact objects with large masses observed recently in the sky in the form of pulsars (PSR J0348+0432 with $M= 2.01 M_\pm 0.04\odot$ observed in 2013, PSR J1614-2230 with $M= 1.97\pm 0.04 M_\odot$ observed in 2010 or J0740+6620 $M= 2.14^{+0.10}_{-0.09} M_\odot$ observed in 2019). However, we argue that even if that was possible such maximum mass models within STT cannot be formed solely from the dynamic transition of an initial "isolated" unscalarized neutron star whose mass cannot exceed the maximum mass in GR. This is because SC, being an energetic-preferred configuration, produces a final static star with a mass lower that the initial one with a fixed baryon mass. The mass difference between the initial and final configurations is radiated away in the form of a scalar-field. Thus, maximum mass models of scalarized neutron stars, if present in nature, must have formed by a different process, perhaps of cosmological origin or by the subsequent accretion of additional scalar charge and mass.


title: A Graph Spectral Flow for Computing Nodal Deficiencies

abstract: In this paper we propose a spectral flow for graph Laplacians, and prove that it counts the number of nodal domains for a given Laplace eigenvector. This extends work done for Laplacians on $\mathbb{R}^n$ to the graph setting. We mention some open problems relating the topology of a graph to the analytic behaviour of its Laplace eigenvectors, and include numerical examples illustrating our flow.


title: Feature Guided Search for Creative Problem Solving Through Tool Construction

abstract: Robots in the real world should be able to adapt to unforeseen circumstances. Particularly in the context of tool use, robots may not have access to the tools they need for completing a task. In this paper, we focus on the problem of tool construction in the context of task planning. We seek to enable robots to construct replacements for missing tools using available objects, in order to complete the given task. We introduce the Feature Guided Search (FGS) algorithm that enables the application of existing heuristic search approaches in the context of task planning, to perform tool construction efficiently. FGS accounts for physical attributes of objects (e.g., shape, material) during the search for a valid task plan. Our results demonstrate that FGS significantly reduces the search effort over standard heuristic search approaches by approximately 93% for tool construction.


title: Compact elliptical galaxies in different local environments: a mixture of galaxies with different origins?

abstract: We present the stellar populations of 138 compact elliptical galaxies (cEs) in the redshift range of $z < 0.05$ using the Sloan Digital Sky Survey (SDSS) DR12. Our cEs are divided into those with [cE(w)] and without [cE(w/o)] a bright ($M_{r} < -21$ mag) host galaxy. We investigated the stellar population properties of cEs based on the Lick line indices extracted from SDSS spectra. cE(w)s show [Z/H] and \afe\ distributions skewed toward higher values compared to those of the cE(w/o)s. No statistically significant difference in age distribution was found between the cE(w)s and cE(w/o)s. In the mass-metallicity distribution, cE(w)s deviate from the relation observed for early-type galaxies at a given stellar mass, whereas cE(w/o)s conform to the relation. Based on the different features in the stellar populations of cE(w)s and cE(w/o)s, we can propose two different cE formation channels tracing different original masses of the progenitors. cE(w)s would be the remnant cores of the massive progenitor galaxies whose outer parts are tidally stripped by a massive neighboring galaxy (i.e., nurture origin). In contrast, cE(w/o)s are likely the faint end of early-type galaxies maintaining in-situ evolution in an isolated environment with no massive galaxy nearby (i.e., nature origin). Our results reinforce the propositions that cEs comprise a mixture of galaxies with two types of origins depending on their local environment.


title: Non left-orderability of lattices in higher rank semi-simple Lie groups

abstract: We prove that an irreducible lattice in a real semi-simple Lie group of real rank at least two and finite center is not left-orderable.


title: Dispersion of electromagnetic waves in linear, homogeneous, and isotropic media

abstract: An electromagnetic wave-packet propagating in a linear, homogeneous, and isotropic medium changes shape while its envelope travels with different velocities at different points in spacetime. In general, a wave-packet can be described as a superposition of plane-waves having different frequencies {\omega} and different propagation vectors k. While the angular spread of the k-vectors gives rise to diffractive effects, it is the frequency-dependence of the refractive index of the host medium that is commonly associated with optical dispersion. When the spectral distribution of the wave-packet is confined to a narrow band of frequencies, and also when the spread of the k-vectors is not too broad, it is possible, under certain circumstances, to obtain analytical expressions for the local and/or global trajectory of the packet's envelope as it evolves in time. This paper is an attempt at a systematic description of the underlying physical assumptions and mathematical arguments leading to certain well-known properties of narrowband electromagnetic wave-packets in the presence of diffractive as well as (temporally) dispersive effects.


title: A string theory realization of special unitary quivers in 3 dimensions

abstract: We propose a string theory realization of three-dimensional $\mathcal{N}=4$ quiver gauge theories with special unitary gauge groups. This is most easily understood in type IIA string theory with D4-branes wrapped on holomorphic curves in local K3's, by invoking the St\"uckelberg mechanism. From the type IIB perspective, this is understood as simply compactifying the familiar Hanany-Witten (HW) constructions on a $T^3$. The mirror symmetry duals are easily derived. We illustrate this with various examples of mirror pairs.


title: A Photonic Integrated Circuit based Compressive Sensing Radio Frequency Receiver Using Waveguide Speckle

abstract: A photonic integrated circuit (PIC) comprised of an 11 cm multimode speckle waveguide, a 1x32 splitter, and a linear grating coupler array is fabricated and utilized to receive 2 GHz of radio-frequency (RF) signal bandwidth from 2.5 to 4.5 GHz using compressive sensing (CS). Incoming RF signals are modulated onto chirped optical pulses which are input to the multimode waveguide. The multimode waveguide produces the random projections needed for CS via optical speckle. The time-varying phase and amplitude of two test RF signals between 2.5 and 4.5 GHz are successfully recovered using the standard penalized $l_1$-norm method. The use of a passive PIC serves as an initial step towards the miniaturization of a compressive sensing RF receiver.


title: Energy of a point-like neutron in an external electromagnetic field

abstract: A point-like neutron in an external electromagnetic field experiences a shift in energy that mimicks the effect of an actual structural deformation of an extended neutron, i.e., a proper polarizability. In order to be able to differentiate between the former and the latter, a Foldy-Wouthuysen transformation is constructed which yields the energy shift of a point-like neutron quadratic in the external field in a derivative expansion, generalizing a long-known result for the dipole electric polarizability due to Foldy. The ten leading Foldy contributions to the energy are determined for a zero-momentum neutron. In addition, eliminating the momentum operator in favor of the velocity operator, analogous results are derived for a zero-velocity neutron. In this case, operator ordering ambiguities are encountered that permit only a determination of eight of the ten Foldy terms.


title: Modeling the evolution of drinking behavior: A Statistical Physics perspective

abstract: In this work we study a simple compartmental model for drinking behavior evolution. The population is divided in 3 compartments regarding their alcohol consumption, namely Susceptible individuals $S$ (nonconsumers), Moderate drinkers $M$ and Risk drinkers $R$. The transitions among those states are ruled by probabilities. Despite the simplicity of the model, we observed the occurrence of two distinct nonequilibrium phase transitions to absorbing states. One of these states is composed only by Susceptible individuals $S$, with no drinkers ($M=R=0$). On the other hand, the other absorbing state is composed only by Risk drinkers $R$ ($S=M=0$). Between these two steady states, we have the coexistence of the three subpopulations $S$, $M$ and $R$. Comparison with abusive alcohol consumption data for Brazil shows a good agreement between the model's results and the database.


title: The Mathematics of String Art Nets

abstract: String art is an arrangement of pegs on a board with thread strung between these pegs to form beautiful geometric patterns. In this article, we consider a simple form of string art where pegs are placed on two diverging axes, and segments of string join the first peg on one axis to the last peg on the second axis, the second peg on the first axis to the second-to-last peg on the second axis, and so on. The resulting pattern is a peculiarly shaped net consisting of quadrilaterals and triangles that exhibits unexpected symmetry. Each line of the net is divided by other lines into segments, all but one of the same length, and one of twice the length of the others. Furthermore, quadrilaterals in the net that are arranged along a diagonal from the upper left to the lower right corner are in general incongruent but have equal areas, and the same is true of triangles formed along the upper-right border of the net. Finally, we show that these properties are preserved when the angle between the axes changes, but hold only when consecutive pegs on the axes are equidistant.


title: Energy, linear momentum, and spin and orbital angular momenta of circularly polarized Laguerre-Gaussian wave-packets

abstract: We derive expressions for the energy, linear momentum, and angular momentum content of circularly polarized Laguerre-Gaussian wave-packets propagating in free space. The vectorial nature of the electromagnetic field is taken into account, and the various consequences of paraxial approximation, which is typically invoked in theoretical treatments of the Laguerre-Gaussian beams, are examined.


title: The cohomology of general tensor products of vector bundles on the projective plane

abstract: Computing the cohomology of the tensor product of two vector bundles is central in the study of their moduli spaces and in applications to representation theory, combinatorics and physics. These computations play a fundamental role in the construction of Brill-Noether loci, birational geometry and $S$-duality. Using recent advances in the Minimal Model Program for moduli spaces of sheaves on $\mathbb{P}^2$, we compute the cohomology of the tensor product of general semistable bundles on $\mathbb{P}^2$. This solves a natural higher rank generalization of the polynomial interpolation problem. More precisely, let $v$ and $w$ be two Chern characters of stable bundles on $\mathbb{P}^2$ and assume that $w$ is sufficiently divisible depending on $v$. Let $V \in M(v)$ and $W \in M(w)$ be two general stable bundles. We fully compute the cohomology of $V \otimes W$. In particular, we show that if $W$ is exceptional, then $V \otimes W$ has at most one nonzero cohomology group determined by the slope and the Euler characteristic, generalizing foundational results of Dr\'{e}zet, G\"{o}ttsche and Hirschowitz. We characterize the invariants of effective Brill-Noether divisors on $M(v)$. We also characterize when $V\otimes W$ is globally generated. Our computation is canonical given the birational geometry of the moduli space, suggesting a roadmap for tackling analogous problems on other surfaces.


title: Multiphoton interaction phase shifts in attosecond science

abstract: Ab initio simulations of a range of interferometric experiments are used to identify a strong dependence on multiphoton phase shifts in above-threshold ionization. A simple rule of thumb for interaction phase shifts is derived to explain both the conservation of photoelectron yield and its absolute CEP-dependence. For instance, it is found that interferometric above-threshold ionization experiments are shifted by $\pi/4$ relative to RABBIT experiments, and that there is no RABBIT-term in a laser-assisted photoionization experiment with odd and even harmonics. Thus, our work helps to resolve the issues of interpretation of quantum dynamics in attosecond and free-electron laser sciences.


title: Widely Reused and Shared, Infrequently Updated, and Sometimes Inherited: A Holistic View of PIN Authentication in Digital Lives and Beyond

abstract: Personal Identification Numbers (PINs) are widely used as an access control mechanism for digital assets (e.g., smartphones), financial assets (e.g., ATM cards), and physical assets (e.g., locks for garage doors or homes). Using semi-structured interviews (n=35), participants reported on PIN usage for different types of assets, including how users choose, share, inherit, and reuse PINs, as well as behaviour following the compromise of a PIN. We find that memorability is the most important criterion when choosing a PIN, more so than security or concerns of reuse. Updating or changing a PIN is very uncommon, even when a PIN is compromised. Participants reported sharing PINs for one type of asset with acquaintances but inadvertently reused them for other assets, thereby subjecting themselves to potential risks. Participants also reported using PINs originally set by previous homeowners for physical devices (e.g., alarm or keypad door entry systems). While aware of the risks of not updating PINs, this did not always deter participants from using inherited PINs, as they were often missing instructions on how to update them. %While aware of the risks of not updating PINs, participants continued using these PINs, as they were often missing instructions on how to update them.Given the expected increase in PIN-protected assets (e.g., loyalty cards, smart locks, and web apps), we provide suggestions and future research directions to better support users with multiple digital and non-digital assets and more secure human-device interaction when utilizing PINs.


title: Analytic Eigensystems for Isotropic Membrane Energies

abstract: We extend the approach of [Smith et al. 2019] to derive analytical expressions for the eigenvalues and eigenmatrices of an isotropic membrane energy density function $\psi : \mathbb{R}^{3x2} \to \mathbb{R}$. Clamping the eigenvalue expressions to be positive for each quadrature point of a finite element membrane simulation guarantees a positive semi-definite Hessian for the full discrete membrane energy, enabling an efficient Newton-type simulation.


title: Low-Complexity Robust Beamforming Design for IRS-Aided MISO Systems with Imperfect Channels

abstract: In this paper, large-scale intelligent reflecting sur-face (IRS)-assisted multiple-input single-output (MISO) system is considered in the presence of channel uncertainty. To maximize the average sum rate of the system by jointly optimizing the active beamforming at the BS and the passive phase shifts at the IRS, while satisfying the power constraints, a novel robust beamforming design is proposed by using the penalty dual decomposition (PDD) algorithm. By applying the upper bound maximization/minimization (BSUM) method, in each iteration of the algorithm, the optimal solution for each variable can be obtained with closed-form expression. Simulation results show that the proposed scheme achieves high performance with very low computational complexity.


title: Slow Manifolds for Infinite-Dimensional Evolution Equations

abstract: We extend classical finite-dimensional Fenichel theory in two directions to infinite dimensions. Under comparably weak assumptions we show that the solution of an infinite-dimensional fast-slow system is approximated well by the corresponding slow flow. After that we construct a two-parameter family of slow manifolds $S_{\epsilon,\zeta}$ under more restrictive assumptions on the linear part of the slow equation. The second parameter $\zeta$ does not appear in the finite-dimensional setting and describes a certain splitting of the slow variable space in a fast decaying part and its complement. The finite-dimensional setting is contained as a special case in which $S_{\epsilon,\zeta}$ does not depend on $\zeta$. Finally, we apply our new techniques to three examples of fast-slow systems of partial differential equations.


title: Reply to Wang and Unruh

abstract: I reply to a Comment by Q. Wang and W.G. Unruh regarding my paper "Hiding the Cosmological Constant" [Phys. Rev. Lett. 123, 131302].


title: Optimal Scheduling of Anticipated COVID-19 Vaccination: A Case Study of New York State

abstract: This study aims to determine an optimal control strategy for vaccine scheduling in COVID-19 pandemic treatment by converting widely acknowledged infectious disease model named SEIR into an optimal control problem. The problem is augmented by adding medication and vaccine limitations to match real-world situations. Two version of the problem is formulated to minimize the number of infected individuals at the same provide the optimal vaccine possible to reduce the susceptible population to a considerably lower state. Optimal control problems are solved using RBF-Galerkin method. These problems are tested with a benchmarking dataset to determine required parameters. After this step, problems are tested with recent data for New York State, USA. The results regarding the proposed optimal control problem provides a set of evidences from which an optimal strategy for vaccine scheduling can be chosen, when the vaccine for COVID-19 will be available.


title: First principles theory of Dirac semimetal Cd$_3$As$_2$ under Zeeman magnetic field

abstract: Time-reversal broken Weyl semimetals have attracted much attention recently, but certain aspects of their behavior, including the evolution of their Fermi surface topology and anomalous Hall conductivity with Fermi-level position, have remained underexplored. A promising route to obtain such materials may be to start with a nonmagnetic Dirac semimetal and break time-reversal symmetry via magnetic doping or magnetic proximity. Here we explore this scenario in the case of the Dirac semimetal Cd$_{3}$As$_{2}$, based on first-principles density-functional calculations and subsequent low-energy modeling of Cd$_{3}$As$_{2}$ in the presence of a Zeeman field applied along the symmetry axis. We clarify how each four$-$fold degenerate Dirac node splits into four Weyl nodes, two with chirality $\pm 1$ and two higher-order nodes with chirality $\pm 2$. Using a minimal \kdotp model Hamiltonian whose parameters are fit to the first-principles calculations, we detail the evolution of the Fermi surfaces and their Chern numbers as the Fermi energy is scanned across the region of the Weyl nodes at fixed Zeeman field. We also compute the intrinsic anomalous Hall conductivity as a function of Fermi-level position, finding a characteristic inverted-dome structure. Cd$_{3}$As$_{2}$ is especially well suited to such a study because of its high mobility, but the qualitative behavior revealed here should be applicable to other Dirac semimetals as well.


title: Solid-State Lifshitz-van der Waals Repulsion through Two-Dimensional Materials

abstract: In the 1960s, Lifshitz et al. predicted that quantum fluctuations can change the van der Waals (vdW) interactions from attraction to repulsion. However, the vdW repulsion, or its long-range counterpart - the Casimir repulsion, has only been demonstrated in liquid. Here we show that the atomic thickness and birefringent nature of two-dimensional materials make them a versatile medium to tailor the Lifshitz-vdW interactions. Based on our theoretical prediction, we present direct force measurement of vdW repulsion on 2D material surfaces without liquid immersion and demonstrate their substantial influence on epitaxial properties. For example, heteroepitaxy of gold on a sheet of freestanding graphene leads to the growth of ultrathin platelets, owing to the vdW repulsion-induced ultrafast diffusion of gold clusters. The creation of repulsive force in nanoscale proximity offers technological opportunities such as single-molecule actuation and atomic assembly.


title: Integrating Hardware Security into a Blockchain-Based Transactive Energy Platform

abstract: This applied research paper introduces a novel framework for integrating hardware security and blockchain functionality with grid-edge devices to establish a distributed cyber-security mechanism that verifies the provenance of messages to and from the devices. Expanding the idea of Two Factor Authentication and Hardware Root of Trust, this work describes the development of a Cryptographic Trust Center(TM) (CTC(TM)) chip integrated into grid-edge devices to create uniform cryptographic key management. Product managers, energy system designers, and security architects can utilize this modular framework as a unified approach to manage distributed devices of various vendors, vintages, and sizes. Results demonstrate the application of CTC(TM) to a blockchain-based Transactive Energy (TE) platform for provisioning of cryptographic keys and improved uniformity of the operational network and data management. This process of configuring, installing, and maintaining keys is described as Eco-Secure Provisioning(TM) (ESP(TM)). Laboratory test results show the approach can resolve several cyber-security gaps in common blockchain frameworks such as Hyperledger Fabric.


abstract: Causal analyses of longitudinal data generally assume that the qualitative causal structure relating variables remains invariant over time. In structured systems that transition between qualitatively different states in discrete time steps, such an approach is deficient on two fronts. First, time-varying variables may have state-specific causal relationships that need to be captured. Second, an intervention can result in state transitions downstream of the intervention different from those actually observed in the data. In other words, interventions may counterfactually alter the subsequent temporal evolution of the system. We introduce a generalization of causal graphical models, Path Dependent Structural Equation Models (PDSEMs), that can describe such systems. We show how causal inference may be performed in such models and illustrate its use in simulations and data obtained from a septoplasty surgical procedure.


title: Patching as Translation: the Data and the Metaphor

abstract: Machine Learning models from other fields, like Computational Linguistics, have been transplanted to Software Engineering tasks, often quite successfully. Yet a transplanted model's initial success at a given task does not necessarily mean it is well-suited for the task. In this work, we examine a common example of this phenomenon: the conceit that "software patching is like language translation". We demonstrate empirically that there are subtle, but critical distinctions between sequence-to-sequence models and translation model: while program repair benefits greatly from the former, general modeling architecture, it actually suffers from design decisions built into the latter, both in terms of translation accuracy and diversity. Given these findings, we demonstrate how a more principled approach to model design, based on our empirical findings and general knowledge of software development, can lead to better solutions. Our findings also lend strong support to the recent trend towards synthesizing edits of code conditional on the buggy context, to repair bugs. We implement such models ourselves as "proof-of-concept" tools and empirically confirm that they behave in a fundamentally different, more effective way than the studied translation-based architectures. Overall, our results demonstrate the merit of studying the intricacies of machine learned models in software engineering: not only can this help elucidate potential issues that may be overshadowed by increases in accuracy; it can also help innovate on these models to raise the state-of-the-art further. We will publicly release our replication data and materials at https://github.com/ARiSE-Lab/Patch-as-translation.


title: Design of H-infinity-based Robust Controller for Single-phase Grid-feeding Voltage Source Inverters

abstract: This article proposes the design of H-infinity-based robust current controller for single-phase grid-feeding voltage source inverter with an LCL filter. The main objective of the proposed controller is to have good reference tracking, disturbance rejection and sufficient LCL resonance damping under a large range of variations of grid impedance. Based on the aforementioned performance requirements, frequency dependent weighting functions are designed. Subsequently, the sub-optimal control problem is formulated and solved to determine the stabilizing controller. Computational footprint of the controller is addressed for ease-of-implementability on low-cost controller boards. Finally controller hardware-in-the-loop simulations on OPAL-RT are performed in the validation stage to obtain performance guarantees of the controller. The proposed controller exhibits fast response during transients and superior reference tracking, disturbance rejection at steady-state when compared with proportional- and resonant-based current controllers.


title: Memoryless Worker-Task Assignment with Polylogarithmic Switching Cost

abstract: We study the basic problem of assigning memoryless workers to tasks with dynamically changing demands. Given a set of $w$ workers and a multiset $T \subseteq[t]$ of $|T|=w$ tasks, a memoryless worker-task assignment function is any function $\phi$ that assigns the workers $[w]$ to the tasks $T$ based only on the current value of $T$. The assignment function $\phi$ is said to have switching cost at most $k$ if, for every task multiset $T$, changing the contents of $T$ by one task changes $\phi(T)$ by at most $k$ worker assignments. The goal of memoryless worker task assignment is to construct an assignment function with the smallest possible switching cost. In past work, the problem of determining the optimal switching cost has been posed as an open question. There are no known sub-linear upper bounds, and after considerable effort, the best known lower bound remains 4 (ICALP 2020). We show that it is possible to achieve polylogarithmic switching cost. We give a construction via the probabilistic method that achieves switching cost $O(\log w \log (wt))$ and an explicit construction that achieves switching cost $\operatorname{polylog} (wt)$. We also prove a super-constant lower bound on switching cost: we show that for any value of $w$, there exists a value of $t$ for which the optimal switching cost is $w$. Thus it is not possible to achieve a switching cost that is sublinear strictly as a function of $w$. Finally, we present an application of the worker-task assignment problem to a metric embeddings problem. In particular, we use our results to give the first low-distortion embedding from sparse binary vectors into low-dimensional Hamming space.


title: Exploit Camera Raw Data for Video Super-Resolution via Hidden Markov Model Inference

abstract: To the best of our knowledge, the existing deep-learning-based Video Super-Resolution (VSR) methods exclusively make use of videos produced by the Image Signal Processor (ISP) of the camera system as inputs. Such methods are 1) inherently suboptimal due to information loss incurred by non-invertible operations in ISP, and 2) inconsistent with the real imaging pipeline where VSR in fact serves as a pre-processing unit of ISP. To address this issue, we propose a new VSR method that can directly exploit camera sensor data, accompanied by a carefully built Raw Video Dataset (RawVD) for training, validation, and testing. This method consists of a Successive Deep Inference (SDI) module and a reconstruction module, among others. The SDI module is designed according to the architectural principle suggested by a canonical decomposition result for Hidden Markov Model (HMM) inference; it estimates the target high-resolution frame by repeatedly performing pairwise feature fusion using deformable convolutions. The reconstruction module, built with elaborately designed Attention-based Residual Dense Blocks (ARDBs), serves the purpose of 1) refining the fused feature and 2) learning the color information needed to generate a spatial-specific transformation for accurate color correction. Extensive experiments demonstrate that owing to the informativeness of the camera raw data, the effectiveness of the network architecture, and the separation of super-resolution and color correction processes, the proposed method achieves superior VSR results compared to the state-of-the-art and can be adapted to any specific camera-ISP. Code and dataset are available at https://github.com/proteus1991/RawVSR.


title: Plausible physical mechanisms for unusual volatile/non-volatile resistive switching in HfO2-based stacks

abstract: Memristive devices made of silicon compatible simple oxides are of great interest for storage and logic devices in future adaptable electronics and non-digital computing applications. A series of highly desirable properties observed in an atomic-layer-deposited hafnia-based stack, triggered our interest to investigate their suitability for technological implementations. In this paper, we report our attempts to reproduce the observed behaviour within the framework of a proposed underlying mechanism. The inability of achieving the electrical response of the original batch indicates that a key aspect in those devices has remained undetected. By comparing newly made devices with the original ones, we gather some clues on the plausible alternative mechanisms that could give rise to comparable electrical behaviours.


title: The Physics GRE does not help applicants "stand out"

abstract: One argument for keeping the physics GRE is that it can help applicants who might otherwise be missed in the admissions process stand out. In this work, we evaluate whether this claim is supported by physics graduate school admissions decisions. We used admissions data from five PhD-granting physics departments over a 2-year period (N=2537) to see how the fraction of applicants admitted varied based on their physics GRE scores. We compared applicants with low GPAs to applicants with higher GPAs, applicants from large undergraduate universities to applicants from smaller undergraduate universities, and applicants from selective undergraduate institutions to applicants from less selective undergraduate institutions. We also performed a mediation and moderation analysis to provide statistical rigor and to better understand the previous relationships. We find that for applicants who might otherwise have been missed (e.g. have a low GPA or attended a small or less selective school) having a high physics GRE score did not seem to increase the applicant's chances of being admitted to the schools. However, having a low physics GRE score seemed to penalize otherwise competitive applicants. Thus, our work suggests that the physics GRE does not, in fact, help applicants who might otherwise be missed stand out.


title: Dynamic Dispatching for Large-Scale Heterogeneous Fleet via Multi-agent Deep Reinforcement Learning

abstract: Dynamic dispatching is one of the core problems for operation optimization in traditional industries such as mining, as it is about how to smartly allocate the right resources to the right place at the right time. Conventionally, the industry relies on heuristics or even human intuitions which are often short-sighted and sub-optimal solutions. Leveraging the power of AI and Internet of Things (IoT), data-driven automation is reshaping this area. However, facing its own challenges such as large-scale and heterogenous trucks running in a highly dynamic environment, it can barely adopt methods developed in other domains (e.g., ride-sharing). In this paper, we propose a novel Deep Reinforcement Learning approach to solve the dynamic dispatching problem in mining. We first develop an event-based mining simulator with parameters calibrated in real mines. Then we propose an experience-sharing Deep Q Network with a novel abstract state/action representation to learn memories from heterogeneous agents altogether and realizes learning in a centralized way. We demonstrate that the proposed methods significantly outperform the most widely adopted approaches in the industry by $5.56\%$ in terms of productivity. The proposed approach has great potential in a broader range of industries (e.g., manufacturing, logistics) which have a large-scale of heterogenous equipment working in a highly dynamic environment, as a general framework for dynamic resource allocation.


title: Multi-scale microrheology using fluctuating filaments as stealth probes

abstract: The mechanical properties of soft materials can be probed on small length scales by various microrheology methods. A common approach tracks fluctuations of micrometer-sized beads embedded in the medium to be characterized. This approach yields results that depend on the probe size when the medium has structure on length scales comparable to or larger than this size. Here, we introduce a filament-based microrheology (FMR) method using high-aspect-ratio semi-flexible filaments as probes. Such quasi-1D probes are much less invasive due to the nanometer-scale cross section of the probes. Moreover, by imaging the transverse bending modes, we are able to simultaneously determine the micromechanical response of the medium on multiple length scales corresponding bending wavelengths. Here, we use single-walled carbon nanotubes (SWNT) as probes that can be accurately and rapidly imaged based on their stable fluorescence. We model SWNTs as semi-flexible filaments. We find that the viscoelastic properties of sucrose and polymeric hyaluronic acid solutions measured in this way are in good agreement with those measured by conventional micro- and macrorheology.


title: Certified Robustness of Graph Neural Networks against Adversarial Structural Perturbation

abstract: Graph neural networks (GNNs) have recently gained much attention for node and graph classification tasks on graph-structured data. However, multiple recent works showed that an attacker can easily make GNNs predict incorrectly via perturbing the graph structure, i.e., adding or deleting edges in the graph. We aim to defend against such attacks via developing certifiably robust GNNs. Specifically, we prove the certified robustness guarantee of any GNN for both node and graph classifications against structural perturbation. Moreover, we show that our certified robustness guarantee is tight. Our results are based on a recently proposed technique called randomized smoothing, which we extend to graph data. We also empirically evaluate our method for both node and graph classifications on multiple GNNs and multiple benchmark datasets. For instance, on the Cora dataset, Graph Convolutional Network with our randomized smoothing can achieve a certified accuracy of 0.49 when the attacker can arbitrarily add/delete at most 15 edges in the graph.


title: Modeling Pluto's Minimum Pressure: Implications for Haze Production

abstract: Pluto has a heterogeneous surface, despite a global haze deposition rate of ~1 micrometer per orbit (Cheng et al., 2017; Grundy et al., 2018). While there could be spatial variation in the deposition rate, this has not yet been rigorously quantified, and naively the haze should coat the surface more uniformly than was observed. One way (among many) to explain this contradiction is for atmospheric pressure at the surface to drop low enough to interrupt haze production and stop the deposition of particles onto part of the surface, driving heterogeneity. If the surface pressure drops to less than 10^-3 - 10^-4 microbar and the CH4 mixing ratio remains nearly constant at the observed 2015 value, the atmosphere becomes transparent to ultraviolet radiation (Young et al., 2018), which would shut off haze production at its source. If the surface pressure falls below 0.06 microbar, the atmosphere ceases to be global, and instead is localized over only the warmest part of the surface, restricting the location of deposition (Spencer et al., 1997). In Pluto's current atmosphere, haze monomers collect together into aggregate particles at beginning at 0.5 microbar; if the surface pressure falls below this limit, the appearance of particles deposited at different times of year and in different locations could be different. We use VT3D, an energy balance model (Young, 2017), to model the surface pressure on Pluto in current and past orbital configurations for four possible static N2 ice distributions: the observed northern hemisphere distribution with (1) a bare southern hemisphere, (2) a south polar cap, (3) a southern zonal band, and finally (4) a distribution that is bare everywhere except inside the boundary of Sputnik Planitia. We also present a sensitivity study showing the effect of mobile N2 ice...(cont.)


title: Enhanced diffusivity and skewness of a diffusing tracer in the presence of an oscillating wall

abstract: We develop a theory of enhanced diffusivity and skewness of the longitudinal distribution of a diffusing tracer advected by a periodic time-varying shear flow in a straight channel. Although applicable to general fluid flow, we restrict the examples of our theory to the tracer advected by flows that are induced by a periodically oscillating wall in a Newtonian fluid between two infinite parallel plates as well as flow in an infinitely long duct. We first derived the formula of the flow produced by the wall motions. Second, we calculate the second Aris moment for all time and its long-time limiting effective diffusivity as a function of the geometrical parameters, frequency, viscosity, and diffusivity. Using a new formalism based upon the Helmholtz operator we establish a new single series formula for the variance. We show that the viscous-dominated limit results in a linear shear layer for which the effective diffusivity is bounded. For finite viscosities, the enhanced diffusion diverges in the high-frequency limit. We present a study of the effective diffusivity surface as a function of the non-dimensional parameters which shows how a maximum can exist for various parameter sweeps. Physical experiments are performed in water using particle tracking velocimetry to quantitatively measure the fluid flow. Using fluorescein dye as the passive tracer, we document that the theory is quantitatively accurate. Specifically, image analysis suggests that the distribution variance be measured using the full width at half maximum is robust to noise. Further, we show that the scalar skewness is zero for linear shear flows at all times, whereas for the nonlinear Stokes layer, the skewness sign can be controlled through the oscillating phase. Last, for single-frequency wall motion, the long-time skewness decays at the faster rate as compared with the case with steady flow.


title: Four conjectures by Zhi-Hong Sun

abstract: We prove some results conjectured by Zhi-Hong Sun regarding the value $\mod p$ of $\varepsilon_d^{\frac{p-1}4}$, where $\varepsilon_d$ is a unit of norm $-1$ in some fields $\mathbb Q(\sqrt d)$, with $\left(\frac{-1}p\right) =\left(\frac dp\right) =1$. The answer is given in terms of how $p$ writes as $p=f(x,y)=u^2+v^2$, with $x,y,u,v\in\mathbb Z$, where $f$ is a certain quadratic form of determinant $-4d$.


title: Interactive Annotation of 3D Object Geometry using 2D Scribbles

abstract: Inferring detailed 3D geometry of the scene is crucial for robotics applications, simulation, and 3D content creation. However, such information is hard to obtain, and thus very few datasets support it. In this paper, we propose an interactive framework for annotating 3D object geometry from both point cloud data and RGB imagery. The key idea behind our approach is to exploit strong priors that humans have about the 3D world in order to interactively annotate complete 3D shapes. Our framework targets naive users without artistic or graphics expertise. We introduce two simple-to-use interaction modules. First, we make an automatic guess of the 3D shape and allow the user to provide feedback about large errors by drawing scribbles in desired 2D views. Next, we aim to correct minor errors, in which users drag and drop mesh vertices, assisted by a neural interactive module implemented as a Graph Convolutional Network. Experimentally, we show that only a few user interactions are needed to produce good quality 3D shapes on popular benchmarks such as ShapeNet, Pix3D and ScanNet. We implement our framework as a web service and conduct a user study, where we show that user annotated data using our method effectively facilitates real-world learning tasks. Web service: http://www.cs.toronto.edu/~shenti11/scribble3d.


title: Regularizing thermo and magnetic contributions within nonrenormalizable theories

abstract: The importance of implementing a proper regularization procedure in order to treat thermo and magnetic contributions within nonrenormalizable theories is investigated. Our study suggests that potential divergences should be isolated into the vacuum and purely magnetic contributions and then regularized while the convergent thermomagnetic contributions should be integrated over the full momentum range. This prescription is illustrated by applying the proper time formalism to the two flavor Polyakov--Nambu--Jona-Lasinio model, whose magnetic field dependent coupling has been recently determined. Observables such as the pressure, magnetization, speed of sound squared, and specific heat evaluated within our scheme are compared with results furnished by other three possible prescriptions. We show that these quantities display a thermomagnetic behavior which is physically more consistent when our scheme is adopted. In particular, we demonstrate that naively regulating the (entangled) vacuum, magnetic and thermomagnetic contributions leads to physically inconsistent results especially at the high temperature domain.


title: Ultrastrong Magnon-Magnon Coupling Dominated by Antiresonant Interactions

abstract: Exotic quantum vacuum phenomena are predicted in cavity quantum electrodynamics (QED) systems with ultrastrong light-matter interactions. Their ground states are predicted to be vacuum squeezed states with suppressed quantum fluctuations. The source of such phenomena are antiresonant terms in the Hamiltonian, yet antiresonant interactions are typically negligible compared to resonant interactions in light-matter systems. We report an unusual coupled matter-matter system of magnons that can simulate a unique cavity QED Hamiltonian with coupling strengths that are easily tunable into the ultrastrong coupling regime and with dominant antiresonant terms. We found a novel regime where vacuum Bloch-Siegert shifts, the hallmark of antiresonant interactions, greatly exceed analogous frequency shifts from resonant interactions. Further, we theoretically explored the system's ground state and calculated up to 5.9 dB of quantum fluctuation suppression. These observations demonstrate that magnonic systems provide an ideal platform for simulating exotic quantum vacuum phenomena predicted in ultrastrongly coupled light-matter systems.


title: Existence of Weak Solutions for Non-Simple Elastic Surface Models

abstract: We consider a class of models for nonlinearly elastic surfaces in this work. We have in mind thin, highly deformable structures modeled directly as two-dimensional nonlinearly elastic continua, accounting for finite membrane and bending strains and thickness change. We assume that the stored-energy density is polyconvex with respect to the second gradient of the deformation, and we require that it grow unboundedly as the local area ratio approaches zero. For sufficiently fast growth, we show that the latter is uniformly bounded away from zero at an energy minimizer. With this in hand, we rigorously derive the weak form of the Euler-Lagrange equilibrium equations.


title: NL4DV: A Toolkit for Generating Analytic Specifications for Data Visualization from Natural Language Queries

abstract: Natural language interfaces (NLIs) have shown great promise for visual data analysis, allowing people to flexibly specify and interact with visualizations. However, developing visualization NLIs remains a challenging task, requiring low-level implementation of natural language processing (NLP) techniques as well as knowledge of visual analytic tasks and visualization design. We present NL4DV, a toolkit for natural language-driven data visualization. NL4DV is a Python package that takes as input a tabular dataset and a natural language query about that dataset. In response, the toolkit returns an analytic specification modeled as a JSON object containing data attributes, analytic tasks, and a list of Vega-Lite specifications relevant to the input query. In doing so, NL4DV aids visualization developers who may not have a background in NLP, enabling them to create new visualization NLIs or incorporate natural language input within their existing systems. We demonstrate NL4DV's usage and capabilities through four examples: 1) rendering visualizations using natural language in a Jupyter notebook, 2) developing a NLI to specify and edit Vega-Lite charts, 3) recreating data ambiguity widgets from the DataTone system, and 4) incorporating speech input to create a multimodal visualization system.


title: PIEMAP: Personalized Inverse Eikonal Model from cardiac Electro-Anatomical Maps

abstract: Electroanatomical mapping, a keystone diagnostic tool in cardiac electrophysiology studies, can provide high-density maps of the local electric properties of the tissue. It is therefore tempting to use such data to better individualize current patient-specific models of the heart through a data assimilation procedure and to extract potentially insightful information such as conduction properties. Parameter identification for state-of-the-art cardiac models is however a challenging task. In this work, we introduce a novel inverse problem for inferring the anisotropic structure of the conductivity tensor, that is fiber orientation and conduction velocity along and across fibers, of an eikonal model for cardiac activation. The proposed method, named PIEMAP, performed robustly with synthetic data and showed promising results with clinical data. These results suggest that PIEMAP could be a useful supplement in future clinical workflows of personalized therapies.


title: Torus Probabilistic Principal Component Analysis

abstract: One of the most common problems that any technique encounters is the high dimensionality of the input data. This yields several problems in the subsequently statistical methods due to so called "curse of dimensionality". Several dimension reduction methods have been proposed in the literature, until now, to accomplish the goal of having smaller dimension space. The most popular among them, is the so called Principal Component Analysis (PCA). One of the extensions of PCA is Probabilistic PCA (known as PPCA). In PPCA, a probabilistic model is used to perform the dimension reduction. By convention, there are cases in applied sciences, e.g. Bioinformatics, Biology and Geology that the data at hand are in non Euclidean space. Elaborating further, an important situation is when each variable poses a direction so that a data point is lying on a torus. According to its importance, the extension of the PCA to such data is being under attention during last decades. In this paper, we introduce a Probabilistic PCA for data on torus (TPPCA), assuming a Multivariate Wrapped Normal distribution as the underline model. Furthermore, we present certain appropriate algorithms to compute this dimension reduction technique and then, we compare our proposal with other dimension reduction techniques using examples based on real datasets and a small Monte Carlo simulation.


title: Unsupervised Multi-Modal Representation Learning for Affective Computing with Multi-Corpus Wearable Data

abstract: With recent developments in smart technologies, there has been a growing focus on the use of artificial intelligence and machine learning for affective computing to further enhance the user experience through emotion recognition. Typically, machine learning models used for affective computing are trained using manually extracted features from biological signals. Such features may not generalize well for large datasets and may be sub-optimal in capturing the information from the raw input data. One approach to address this issue is to use fully supervised deep learning methods to learn latent representations of the biosignals. However, this method requires human supervision to label the data, which may be unavailable or difficult to obtain. In this work we propose an unsupervised framework reduce the reliance on human supervision. The proposed framework utilizes two stacked convolutional autoencoders to learn latent representations from wearable electrocardiogram (ECG) and electrodermal activity (EDA) signals. These representations are utilized within a random forest model for binary arousal classification. This approach reduces human supervision and enables the aggregation of datasets allowing for higher generalizability. To validate this framework, an aggregated dataset comprised of the AMIGOS, ASCERTAIN, CLEAS, and MAHNOB-HCI datasets is created. The results of our proposed method are compared with using convolutional neural networks, as well as methods that employ manual extraction of hand-crafted features. The methodology used for fusing the two modalities is also investigated. Lastly, we show that our method outperforms current state-of-the-art results that have performed arousal detection on the same datasets using ECG and EDA biosignals. The results show the wide-spread applicability for stacked convolutional autoencoders to be used with machine learning for affective computing.