title: Doubling the size of quantum simulators by entanglement forging

abstract: Quantum computers are promising for simulations of chemical and physical systems, but the limited capabilities of today's quantum processors permit only small, and often approximate, simulations. Here we present a method, classical entanglement forging, that harnesses classical resources to capture quantum correlations and double the size of the system that can be simulated on quantum hardware. Shifting some of the computation to classical post-processing allows us to represent ten spin-orbitals on five qubits of an IBM Quantum processor to compute the ground state energy of the water molecule in the most accurate simulation to date. We discuss conditions for applicability of classical entanglement forging and present a roadmap for scaling to larger problems.


title: Hardware-efficient random circuits to classify noise in a multi-qubit system

abstract: In this work we extend a multi-qubit benchmarking technique known as the Binned Output Generation (BOG) in order to discriminate between coherent and incoherent noise sources in the multi-qubit regime. While methods exist to discriminate coherent from incoherent noise at the single and few-qubit level, these methods scale poorly beyond a few qubits or must make assumptions about the form of the noise. On the other end of the spectrum, system-level benchmarking techniques exist, but fail to discriminate between coherent and incoherent noise sources. We experimentally verify the BOG against Randomized Benchmarking (RB) (the industry standard benchmarking technique) in the two-qubit regime, then apply this technique to a six qubit linear chain, a regime currently inaccessible to RB. In this experiment we inject an instantaneous coherent Z-type noise on each qubit and demonstrate that the measured coherent noise scales correctly with the magnitude of the injected noise, while the measured incoherent noise remains unchanged as expected. This demonstrates a robust technique to measure coherent errors in a variety of hardware.


title: Constrained Bayesian Hierarchical Models for Gaussian Data: A Model Selection Criterion Approach

abstract: Consider the setting where there are B>1 candidate statistical models, and one is interested in model selection. Two common approaches to solve this problem are to select a single model or to combine the candidate models through model averaging. Instead, we select a subset of the combined parameter space associated with the models. Specifically, a model averaging perspective is used to increase the parameter space, and a model selection criterion is used to select a subset of this expanded parameter space. We account for the variability of the criterion by adapting Yekutieli (2012)'s method to Bayesian model averaging (BMA). Yekutieli (2012)'s method treats model selection as a truncation problem. We truncate the joint support of the data and the parameter space to only include small values of the covariance penalized error (CPE) criterion. The CPE is a general expression that contains several information criteria as special cases. Simulation results show that as long as the truncated set does not have near zero probability, we tend to obtain lower mean squared error than BMA. Additional theoretical results are provided that provide the foundation for these observations. We apply our approach to a dataset consisting of American Community Survey (ACS) period estimates to illustrate that this perspective can lead to improvements of a single model.


title: More Than Meets The Eye: Semi-supervised Learning Under Non-IID Data

abstract: A common heuristic in semi-supervised deep learning (SSDL) is to select unlabelled data based on a notion of semantic similarity to the labelled data. For example, labelled images of numbers should be paired with unlabelled images of numbers instead of, say, unlabelled images of cars. We refer to this practice as semantic data set matching. In this work, we demonstrate the limits of semantic data set matching. We show that it can sometimes even degrade the performance for a state of the art SSDL algorithm. We present and make available a comprehensive simulation sandbox, called non-IID-SSDL, for stress testing an SSDL algorithm under different degrees of distribution mismatch between the labelled and unlabelled data sets. In addition, we demonstrate that simple density based dissimilarity measures in the feature space of a generic classifier offer a promising and more reliable quantitative matching criterion to select unlabelled data before SSDL training.


title: On the Variance of the Area of Planar Cylinder Processes Driven by Brillinger-Mixing Point Processes

abstract: We study some asymptotic properties of cylinder processes in the plane defined as union sets of dilated straight lines (appearing as mutually overlapping infinitely long strips) derived from a stationary independently marked point process on the real line, where the marks describe thickness and orientation of individual cylinders. Such cylinder processes form an important class of (in general non-stationary) planar random sets. We observe the cylinder process in an unboundedly growing domain $\rho K$ when $\rho \to \infty\,$, where the set $K$ is compact and star-shaped w.r.t. the origin ${\bf o}$ being an inner point of $K$. Provided the unmarked point process satisfies a Brillinger-type mixing condition and the thickness of the typical cylinder has a finite second moment we prove a (weak) law of large numbers as well as a formula of the asymptotic variance for the area of the cylinder process in $\rho K$. Due to the long-range dependencies of the cylinder process, this variance increases proportionally to $\rho^3$.


title: Policy with stochastic hysteresis

abstract: The paper develops a general methodology for analyzing policies with path-dependency (hysteresis) in stochastic models with forward looking optimizing agents. Our main application is a macro-climate model with a path-dependent climate externality. We derive in closed form the dynamics of the optimal Pigouvian tax, that is, its drift and diffusion coefficients. The dynamics of the present marginal damages is given by the recently developed functional It\^o formula. The dynamics of the conditional expectation process of the future marginal damages is given by a new total derivative formula that we prove. The total derivative formula represents the evolution of the conditional expectation process as a sum of the expected dynamics of hysteresis with respect to time, a form of a time derivative, and the expected dynamics of hysteresis with the shocks to the trajectory of the stochastic process, a form of a stochastic derivative. We then generalize the results. First, we propose a general class of hysteresis functionals that permits significant tractability. Second, we characterize in closed form the dynamics of the stochastic hysteresis elasticity that represents the change in the whole optimal policy process with an introduction of small hysteresis effects. Third, we determine the optimal policy process.


title: A Prototype Compact Accelerator-based Neutron Source (CANS) for Canada

abstract: Canada's access to neutron beams for neutron scattering was significantly curtailed in 2018 with the closure of the National Research Universal (NRU) reactor in Chalk River, Ontario, Canada. New sources are needed for the long-term; otherwise, access will only become harder as the global supply shrinks. Compact Accelerator-based Neutron Sources (CANS) offer the possibility of an intense source of neutrons with a capital cost significantly lower than spallation sources. In this paper, we propose a CANS for Canada. The proposal is staged with the first stage offering a medium neutron-flux, linac-based approach for neutron scattering that is also coupled with a boron neutron capture therapy (BNCT) station and a positron emission tomography (PET) isotope station. The first stage will serve as a prototype for a second stage: a higher brightness, higher cost facility that could be viewed as a national centre for neutron applications.


title: The Galaxy Activity, Torus and Outflow Survey (GATOS) I. ALMA images of dusty molecular tori in Seyfert galaxies

abstract: We present the first results of the Galaxy Activity, Torus and Outflow Survey (GATOS), a project aimed at understanding the properties of the dusty molecular tori and their connection to the host galaxy in nearby Seyfert galaxies. Our project expands the range of AGN luminosities and Eddington ratios covered by previous surveys of Seyferts conducted by ALMA and allows us to study the gas feeding and feedback cycle in a combined sample of 19 Seyferts. We used ALMA to obtain new images of the emission of molecular gas and dust using the CO(3-2) and HCO+(4-3) lines as well as their underlying continuum emission at 870 microns with high spatial resolutions (0.1'' ~ 7 - 13 pc) in the CND of 10 nearby (D < 28 Mpc) Seyfert galaxies. Our new ALMA observations detect 870 micron continuum and CO line emission from spatially resolved disks located around the AGN in all the sources. The bulk of the continuum flux can be accounted for by thermal emission from dust in the majority of the targets. For most of the sources the disks show a preponderant orientation perpendicular to the AGN wind axes, as expected for dusty molecular tori. The median diameters and molecular gas masses of the tori are ~ 42 pc, and ~ 6 x 10**5 Msun, respectively. We find a positive correlation between the line-of-sight gas column densities responsible for the absorption of X-rays and the molecular gas column densities derived from CO towards the AGN in our sources. The radial distributions of molecular gas in the CND of our combined sample show signs of nuclear-scale molecular gas deficits. We also detect molecular outflows in the sources that show the most extreme nuclear-scale gas deficits in our sample. These observations find for the first time supporting evidence that the imprint of AGN feedback is more extreme in higher luminosity and/or higher Eddington ratio Seyfert galaxies.


title: Concept Drift Detection from Multi-Class Imbalanced Data Streams

abstract: Continual learning from data streams is among the most important topics in contemporary machine learning. One of the biggest challenges in this domain lies in creating algorithms that can continuously adapt to arriving data. However, previously learned knowledge may become outdated, as streams evolve over time. This phenomenon is known as concept drift and must be detected to facilitate efficient adaptation of the learning model. While there exists a plethora of drift detectors, all of them assume that we are dealing with roughly balanced classes. In the case of imbalanced data streams, those detectors will be biased towards the majority classes, ignoring changes happening in the minority ones. Furthermore, class imbalance may evolve over time and classes may change their roles (majority becoming minority and vice versa). This is especially challenging in the multi-class setting, where relationships among classes become complex. In this paper, we propose a detailed taxonomy of challenges posed by concept drift in multi-class imbalanced data streams, as well as a novel trainable concept drift detector based on Restricted Boltzmann Machine. It is capable of monitoring multiple classes at once and using reconstruction error to detect changes in each of them independently. Our detector utilizes a skew-insensitive loss function that allows it to handle multiple imbalanced distributions. Due to its trainable nature, it is capable of following changes in a stream and evolving class roles, as well as it can deal with local concept drift occurring in minority classes. Extensive experimental study on multi-class drifting data streams, enriched with a detailed analysis of the impact of local drifts and changing imbalance ratios, confirms the high efficacy of our approach.


title: Broadband Radar Invisibility with Time-Dependent Metasurfaces

abstract: Concealing objects from interrogation has been a primary objective since the integration of radars into surveillance systems. Metamaterial-based invisibility cloaking, which was considered a promising solution, did not yet succeed in delivering reliable performance against real radar systems, mainly due to its narrow operational bandwidth. Here we propose an approach, which addresses the issue from a signal-processing standpoint and, as a result, is capable of coping with the vast majority of unclassified radar systems by exploiting vulnerabilities in their design. In particular, we demonstrate complete concealment of a 0.25 square meter moving metal plate from an investigating radar system, operating in a broad frequency range approaching 20% bandwidth around the carrier of 1.5GHz. The key element of the radar countermeasure is a temporally modulated coating. This auxiliary structure is designed to dynamically and controllably adjust the reflected phase of the impinging radar signal, which acquires a user-defined Doppler shift. A special case of interest is imposing a frequency shift that compensates for the real Doppler signatures originating from the motion of the target. In this case the radar will consider the target static, even though it is moving. As a result, the reflected echo will be discarded by the clutter removal filter, which is an inherent part of any modern radar system that is designed to operate in real conditions. This signal-processing loophole allows rendering the target invisible to the radar even though it scatters electromagnetic radiation. This application claims the benefit of patent number 273995, filed on April 16 2020.


title: Solitons and soliton interactions in repulsive spinor Bose-Einstein condensates with non-zero background

abstract: We characterize the soliton solutions and their interactions for a system of coupled evolution equations of nonlinear Schr\"odinger (NLS) type that models the dynamics in one-dimensional repulsive Bose-Einstein condensates with spin one, taking advantage of the representation of such model as a special reduction of a 2 x 2 matrix NLS system. Specifically, we study in detail the case in which solutions tend to a non-zero background at space infinities. First we derive a compact representation for the multi-soliton solutions in the system using the Inverse Scattering Transform (IST). We introduce the notion of canonical form of a solution, corresponding to the case when the background is proportional to the identity. We show that solutions for which the asymptotic behavior at infinity is not proportional to the identity, referred to as being in non-canonical form, can be reduced to canonical form by unitary transformations that preserve the symmetric nature of the solution (physically corresponding to complex rotations of the quantization axes). Then we give a complete characterization of the two families of one-soliton solutions arising in this problem, corresponding to ferromagnetic and to polar states of the system, and we discuss how the physical parameters of the solitons for each family are related to the spectral data in the IST. We also show that any ferromagnetic one-soliton solution in canonical form can be reduced to a single dark soliton of the scalar NLS equation, and any polar one-soliton solution in canonical form is unitarily equivalent to a pair of oppositely polarized displaced scalar dark solitons up to a rotation of the quantization axes. Finally, we discuss two-soliton interactions and we present a complete classification of the possible scenarios that can arise depending on whether either soliton is of ferromagnetic or polar type.


title: Relative Resolution: A Computationally Efficient Implementation in LAMMPS

abstract: Recently, a novel type of a multiscale simulation, called Relative Resolution (RelRes), was introduced. In a single system, molecules switch their resolution in terms of their relative separation, with near neighbors interacting via fine-grained potentials yet far neighbors interacting via coarse-grained potentials; notably, these two potentials are analytically parameterized by a multipole approximation. This multiscale approach is consequently able to correctly retrieve across state space, the structural and thermal, as well as static and dynamic, behavior of various nonpolar mixtures. Our current work focuses on the practical implementation of RelRes in LAMMPS, specifically for the commonly used Lennard-Jones potential. By examining various correlations and properties of several alkane liquids, including complex solutions of alternate cooligomers and block copolymers, we confirm the validity of this automated LAMMPS algorithm. Most importantly, we demonstrate that this RelRes implementation gains almost an order of magnitude in computational efficiency, as compared with conventional simulations. We thus recommend this novel LAMMPS algorithm for anyone studying systems governed by Lennard-Jones interactions.


title: Identifying botnet IP address clusters using natural language processing techniques on honeypot command logs

abstract: Computer security has been plagued by increasing formidable, dynamic, hard-to-detect, hard-to-predict, and hard-to-characterize hacking techniques. Such techniques are very often deployed in self-propagating worms capable of automatically infecting vulnerable computer systems and then building large bot networks, which are then used to launch coordinated attacks on designated targets. In this work, we investigate novel applications of Natural Language Processing (NLP) methods to detect and correlate botnet behaviors through the analysis of honeypot data. In our approach we take observed behaviors in shell commands issued by intruders during captured internet sessions and reduce them to collections of stochastic processes that are, in turn, processed with machine learning techniques to build classifiers and predictors. Our technique results in a new ability to cluster botnet source IP address even in the face of their desire to obfuscate their penetration attempts through rapid or random permutation techniques.


title: Map lattices coupled by collisions: hitting time statistics and collisions per lattice unit

abstract: We study map lattices coupled by collision and show how perturbations of transfer operators associated with the spatially periodic approximation of the model can be used to extract information about collisions per lattice unit. More precisely, we study a map on a finite box of $L$ sites with periodic boundary conditions, coupled by collision. We derive, via a non-trivial first order approximation for the leading eigenvalue of the rare event transfer operator, a formula for the first collision rate and a corresponding first hitting time law. For the former we show that the formula scales at the order of $L\cdot\varepsilon^2$, where $\varepsilon$ is the coupling strength, and for the latter, by tracking the $L$ dependency in our arguments, we show that the error in the law is of order $O\left(C(L)\frac{L\varepsilon^2}{\zeta(L)}\cdot\left|\ln \frac{L\varepsilon^2}{\zeta(L)}\right|\right)$, where $\zeta(L)$ is given in terms of the spectral gap of the rare event transfer operator, and $C(L)$ has an explicit expression. Finally, we derive an explicit formula for the first collision rate per lattice unit.


title: A comparison of the active region upflow and core properties using simultaneous spectroscopic observations from IRIS and Hinode

abstract: The origin of the slow solar wind is still an open issue. It has been suggested that upflows at the edge of active regions (AR) can contribute to the slow solar wind. Here, we compared the upflow region and the AR core and studied how the plasma properties change from the chromosphere via the transition region to the corona. We studied limb-to-limb observations NOAA 12687 (14th - 25th Nov 2017). We analysed spectroscopic data simultaneously obtained from IRIS and Hinode/EIS in six spectral lines. We studied the mutual relationships between the plasma properties for each emission line, as well as comparing the plasma properties between the neighbouring formation temperature lines. To find the most characteristic spectra, we classified the spectra in each wavelength using the machine learning technique k-means. We found that in the upflow region the Doppler velocities of the coronal lines are strongly correlated, but the transition region and coronal lines show no correlation. However, their fluxes are strongly correlated. The upflow region has lower density and lower temperature than the AR core. In the upflow region, the Doppler and non-thermal velocity show a strong correlation in the coronal lines, but the correlation is not seen in the AR core. At the boundary between the upflow region and the AR core, the upflow region shows an increase in the coronal non-thermal velocity, the emission obtained from the DEM, and the domination of the redshifted regions in the chromosphere. The obtained results suggest that at least three parallel mechanisms generate the plasma upflow: (1) the reconnection between closed loops and open magnetic field lines in the lower corona or upper chromosphere; (2) the reconnection between the chromospheric small-scale loops and open magnetic field; (3) the expansion of the magnetic field lines that allows the chromospheric plasma to escape to the solar corona.


title: Accelerated Discovery of Molten Salt Corrosion-resistant Alloy by High-throughput Experimental and Modeling Methods Coupled to Data Analytics

abstract: Insufficient availability of molten salt corrosion-resistant alloys severely limits the fruition of a variety of promising molten salt technologies that could otherwise have significant societal impacts. To accelerate alloy development for molten salt applications and develop fundamental understanding of corrosion in these environments, here we present an integrated approach using a set of high-throughput alloy synthesis, corrosion testing, and modeling coupled with automated characterization and machine learning. By using this approach, a broad range of Cr-Fe-Mn-Ni alloys were evaluated for their corrosion resistances in molten salt simultaneously demonstrating that corrosion-resistant alloy development can be accelerated by thousands of times. Based on the obtained results, we unveiled a sacrificial mechanism in the corrosion of Cr-Fe-Mn-Ni alloys in molten salts which can be applied to protect the less unstable elements in the alloy from being depleted, and provided new insights on the design of high-temperature molten salt corrosion-resistant alloys.


title: A Game Theoretic Approach to a Problem in Polymatroid Maximization

abstract: We consider the problem of maximizing the minimum (weighted) value of all components of a vector over a polymatroid. This is a special case of the lexicographically optimal base problem introduced and solved by Fujishige. We give an alternative formulation of the problem as a zero-sum game between a maximizing player whose mixed strategy set is the base of the polymatroid and a minimizing player whose mixed strategy set is a simplex. We show that this game and three variations of it unify several problems in search, sequential testing and queuing. We give a new, short derivation of optimal strategies for both players and an expression for the value of the game. Furthermore, we give a characterization of the set of optimal strategies for the minimizing player and we consider special cases for which optimal strategies can be found particularly easily.


title: Polymer-loaded three dimensional microwave cavities for hybrid quantum systems

abstract: Microwave cavity resonators are crucial components of many quantum technologies and are a promising platform for hybrid quantum systems, as their open architecture enables the integration of multiple subsystems inside the cavity volume. To support these subsystems within the cavity, auxiliary structures are often required, but the effects of these structures on the microwave cavity mode are difficult to predict due to a lack of a priori knowledge of the materials' response in the microwave regime. Understanding these effects becomes even more important when frequency matching is critical and tuning is limited, for example, when matching microwave modes to atomic resonances. Here, we study the microwave cavity mode in the presence of three commonly-used machinable polymers, paying particular attention to the change in resonance and the dissipation of energy. We demonstrate how to use the derived dielectric coefficient and loss tangent parameters for cavity design in a test case, wherein we match a polymer-filled 3D microwave cavity to a hyperfine transition in rubidium.

categories: physics.ins-det cond-mat.other physics.atom-ph quant-ph


title: Scale-invariant tangent-point energies for knots

abstract: We investigate minimizers and critical points for scale-invariant tangent-point energies ${\rm TP}^{p,q}$ of closed curves. We show that a) minimizing sequences in ambient isotopy classes converge to locally critical embeddings in all but finitely many points and b) show regularity of locally critical embeddings. Technically, the convergence theory a) is based on a gap-estimate of a fractional Sobolev spaces in comparison to the tangent-point energy. The regularity theory b) is based on constructing a new energy $\mathcal{E}^{p,q}$ and proving that the derivative $\gamma'$ of a parametrization of a ${\rm TP}^{p,q}$-critical curve $\gamma$ induces a critical map with respect to $\mathcal{E}^{p,q}$ acting on torus-to-sphere maps.


title: An ontology-based approach to data exchanges for robot navigation on construction sites

abstract: With growth in the use of autonomous Unmanned Ground Vehicle (UGV) for automated data collection from construction projects, the problem of inter-disciplinary semantic data sharing and exchanges between construction and robotic domains has attracted construction stakeholders' attention. Cross-domain data translation requires detailed specifications especially when it comes to semantic data translation. Building Information Modeling (BIM) and Geographic Information System (GIS) are the two technologies to capture and store construction data for indoor structure and outdoor environment respectively. In the absence of a standard format for data exchanges between the construction and robotic domains, the tools of both industries are yet to be integrated in a coherent deployment infrastructure. Hence, the semantics of BIM-GIS cannot be automatically integrated by any robotic platform. To enable semantic data transfer across domains, semantic web technology has been widely used in multidisciplinary areas for interoperability. We exploit it to pave the way to a smarter, quicker and more precise robot navigation on job-sites. This paper develops a semantic web ontology integrating robot navigation and data collection to convey the meanings from BIM-GIS to the robot. The proposed Building Information Robotic System (BIRS) provides construction data that are semantically transferred to the robotic platform and can be used by the robot navigation software stack on construction sites. To reach this objective, we first need to bridge the knowledge representation between construction and robotic domains. Then, we develop a semantic database to integrate with Robot Operating System (ROS) which can communicate with the robot and the navigation system in order to provide the robot with semantic building data at each step of data collection. Finally, the proposed system is validated through a case study.


title: Portfolio Selection under Multivariate Merton Model with Correlated Jump Risk

abstract: Portfolio selection in the periodic investment of securities modeled by a multivariate Merton model with dependent jumps is considered. The optimization framework is designed to maximize expected terminal wealth when portfolio risk is measured by the Condition-Value-at-Risk ($CVaR$). Solving the portfolio optimization problem by Monte Carlo simulation often requires intensive and time-consuming computation; hence a faster and more efficient portfolio optimization method based on closed-form comonotonic bounds for the risk measure $CVaR$ of the terminal wealth is proposed.


title: Predicting Human Trajectories by Learning and Matching Patterns

abstract: As more and more robots are envisioned to cooperate with humans sharing the same space, it is desired for robots to be able to predict others' trajectories to navigate in a safe and self-explanatory way. We propose a Convolutional Neural Network-based approach to learn, detect, and extract patterns in sequential trajectory data, known here as Social Pattern Extraction Convolution (Social-PEC). A set of experiments carried out on the human trajectory prediction problem shows that our model performs comparably to the state of the art and outperforms in some cases. More importantly, the proposed approach unveils the obscurity in the previous use of a pooling layer, presenting a way to intuitively explain the decision-making process.


title: Accelerating Materials Discovery with Bayesian Optimization and Graph Deep Learning

abstract: Machine learning (ML) models utilizing structure-based features provide an efficient means for accurate property predictions across diverse chemical spaces. However, obtaining equilibrium crystal structures typically requires expensive density functional theory (DFT) calculations, which limits ML-based exploration to either known crystals or a small number of hypothetical crystals. Here, we demonstrate that the application of Bayesian optimization with symmetry constraints using a graph deep learning energy model can be used to perform "DFT-free" relaxations of crystal structures. Using this approach to significantly improve the accuracy of ML-predicted formation energies and elastic moduli of hypothetical crystals, two novel ultra-incompressible hard materials MoWC2 (P63/mmc) and ReWB (Pca21) were identified and successfully synthesized via in-situ reactive spark plasma sintering from a screening of 399,960 transition metal borides and carbides. This work addresses a critical bottleneck to accurate property predictions for hypothetical materials, paving the way to ML-accelerated discovery of new materials with exceptional properties.


title: Zeros of higher derivatives of Riemann zeta function

abstract: In this article, we extend the result of Conrey [5, Theorem 2] to shorter intervals for higher-order derivatives of the zeta function. That is we study the mean value of the product of two finite order derivatives of the zeta function multiplied by a mollifier in short intervals. In this process, we obtain better mollifier length in some short intervals compared to the length of mollifier implied by Conrey's result. These finer studies allow us to refine the error term of some classical results of Levinson and Montgomery [13], Ki and Lee [11] on zero density estimates of $\zeta^{(k)}$. Further, we showed that almost all non-trivial zeros of Matsumoto-Tanigawa's $\eta_k$-function cluster near the critical line.


title: Spin-mechanics with nitrogen-vacancy centers and trapped particles

abstract: Controlling the motion of macroscopic oscillators in the quantum regime has been the subject of intense research in recent decades. In this direction, opto-mechanical systems, where the motion of micro-objects is strongly coupled with laser light radiation pressure, have had tremendous success. In particular, the motion of levitating objects can be manipulated at the quantum level thanks to their very high isolation from the environment under ultra-low vacuum conditions. To enter the quantum regime, schemes using single long-lived atomic spins, such as the electronic spin of nitrogen-vacancy (NV) centers in diamond, coupled with levitating mechanical oscillators have been proposed. At the single spin level, they offer the formidable prospect of transferring the spins' inherent quantum nature to the oscillators, with foreseeable far-reaching implications in quantum sensing and tests of quantum mechanics. Adding the spin degrees of freedom to the experimentalists' toolbox would enable access to a very rich playground at the crossroads between condensed matter and atomic physics. We review recent experimental work in the field of spin-mechanics that employ the interaction between trapped particles and electronic spins in the solid state and discuss the challenges ahead. Our focus is on the theoretical background close to the current experiments, as well as on the experimental limits, that, once overcome, will enable these systems to unleash their full potential.


title: Properties of MoO2 and MoO3 Films Prepared from the Chemically Driven Isothermal Close Space Vapor Transport Technique

abstract: Chemically _ driven isothermal close space vapour transport was used to prepare pure MoO2 films which were eventually converted to MoO3 by annealing in air. According to temperature_dependent Raman measurements, the MoO2/MoO3 phase transformation was found to occur in the 225 _ 350 oC range; no other phases were detected during the transition. A clear change in composition and Raman spectra, as well as noticeable modifications of the band gap and the absorption coefficient confirmed the conversion from MoO2 to MoO3. An extensive characterization of films of both pure phases was carried out. In particular, a procedure was developed to determine the dispersion relation of the refractive index of MoO2 from the shift of the interference fringes the used SiO2/Si substrate. The obtained refractive index was corrected taking into account the porosity calculated from elastic backscattering spectrometry. The Debye temperature and the residual resistivity were extracted from the electrical resistivity temperature dependence using the Bloch _ Gruneisen equation. MoO3 converted samples presented very high resistivity and a typical semiconducting behaviour. They also showed intense and broad luminescence spectra, which were deconvoluted considering several contributions; and its behaviour with temperature was examined. Furthermore, surface photovoltage spectra were taken and the relation of these spectra with the photoluminescence is discussed.


title: Interfacial strain defines the self-organization of epitaxial MoO2 flakes and porous films on sapphire: experiments and modelling

abstract: The epitaxy of MoO2 on c_plane sapphire substrates is examined. A theoretical approach, based on density functional theory calculations of the strain energy, allowed to predict the preferred layer/substrate epitaxial relationships. To test the results of these calculations, MoO2/(001) Al2O3 heterostructures were grown using the chemically_driven isothermal close space vapour transport technique. At the early stages of the growth, two kinds of morphologies were obtained, using the same growth parameters: lying and standing flakes. The composition and morphology, as well as the layer/substrate epitaxial relationships were determined for both kind of morphologies. Experimental epitaxial relationships coincide with those predicted by DFT calculation as the most favourable ones in terms of strain energy. For thicker films, the standing flakes evolve to form an epitaxial porous layer composed by coalesced epitaxial flakes. The interfacial strain between the sapphire substrate and MoO2 enables a self_organization from nanometer to micron scales between separated or coalesced flakes, depending on deposition condition.


title: Modeling Event Plausibility with Consistent Conceptual Abstraction

abstract: Understanding natural language requires common sense, one aspect of which is the ability to discern the plausibility of events. While distributional models -- most recently pre-trained, Transformer language models -- have demonstrated improvements in modeling event plausibility, their performance still falls short of humans'. In this work, we show that Transformer-based plausibility models are markedly inconsistent across the conceptual classes of a lexical hierarchy, inferring that "a person breathing" is plausible while "a dentist breathing" is not, for example. We find this inconsistency persists even when models are softly injected with lexical knowledge, and we present a simple post-hoc method of forcing model consistency that improves correlation with human plausibility judgements.


title: Stellar age dependence of the nonextensive magnetic braking index: a test for the open cluster $\alpha$Per

abstract: Using a generalized function of the stellar spin-down law, we investigate the age dependence of the magnetic braking index ($q$). Our survey includes 9 open clusters aged lower than 1 Gyr and ranged in mass from 0.7 to 1.1$M_{\odot}$. Our aim is to verify the time behavior of the nonextensive braking index $q$ which brings the cumulative distribution of the rotational velocities of the stars of the youngest cluster ($\alpha{\rm Per}$) taken at the future age of an older cluster. As a result, the $q$-index is calculated over time $t-t_{\alpha{\rm Per}}$, where $t$ is the age of older open cluster used to estimate the future cumulative distribution of the rotational velocity of the $\alpha{\rm Per}$ cluster with present-day age $t_{\alpha{\rm Per}}$. We find that the values of $q$ are slightly constant around 1.36 and 1.38 according to the mass bin. In conclusion, the results seem to indicate that the mechanism that controls the rotational decay of stars in open clusters does not depend on the increment of time.


title: Superpixels and Graph Convolutional Neural Networks for Efficient Detection of Nutrient Deficiency Stress from Aerial Imagery

abstract: Advances in remote sensing technology have led to the capture of massive amounts of data. Increased image resolution, more frequent revisit times, and additional spectral channels have created an explosion in the amount of data that is available to provide analyses and intelligence across domains, including agriculture. However, the processing of this data comes with a cost in terms of computation time and money, both of which must be considered when the goal of an algorithm is to provide real-time intelligence to improve efficiencies. Specifically, we seek to identify nutrient deficient areas from remotely sensed data to alert farmers to regions that require attention; detection of nutrient deficient areas is a key task in precision agriculture as farmers must quickly respond to struggling areas to protect their harvests. Past methods have focused on pixel-level classification (i.e. semantic segmentation) of the field to achieve these tasks, often using deep learning models with tens-of-millions of parameters. In contrast, we propose a much lighter graph-based method to perform node-based classification. We first use Simple Linear Iterative Cluster (SLIC) to produce superpixels across the field. Then, to perform segmentation across the non-Euclidean domain of superpixels, we leverage a Graph Convolutional Neural Network (GCN). This model has 4-orders-of-magnitude fewer parameters than a CNN model and trains in a matter of minutes.


title: N-colored generalized Frobenius partitions: Generalized Kolitsch identities

abstract: Let $N\geq 1$ be squarefree with $(N,6)=1$. Let $c\phi_N(n)$ denote the number of $N$-colored generalized Frobenius partition of $n$ introduced by Andrews in 1984. We prove $$ c\phi_N(n)= \sum_{d \mid N} N/d \cdot P\left( \frac{ N}{d^2}n - \frac{N^2-d^2}{24d^2} \right) + b(n)$$ where $C(z) := (q;q)^N_\infty\sum_{n=1}^{\infty} b(n) q^n$ is a cusp form in $S_{(N-1)/2} (\Gamma_0(N),\chi_N)$. This extends and strengthens earlier results of Kolitsch and Chan-Wang-Yan treating the case when $N$ is a prime. As an immediate application, we obtain an asymptotic formula for $c\phi_N(n)$ in terms of the classical partition function.


title: On primitive elements of finite fields avoiding affine hyperplanes

abstract: Let $n\ge 2$ be an integer and let $\mathbb F_q$ be the finite field with $q$ elements, where $q$ is a prime power. Given $\mathbb F_q$-affine hyperplanes $\mathcal A_1, \ldots, \mathcal A_n$ of $\mathbb F_{q^n}$ in general position, we study the existence and distribution of primitive elements of $\mathbb F_{q^n}$, avoiding each $\mathcal A_i$. We obtain both asymptotic and concrete results, relating to past works on digits over finite fields.


title: Revisiting The Evaluation of Class Activation Mapping for Explainability: A Novel Metric and Experimental Analysis

abstract: As the request for deep learning solutions increases, the need for explainability is even more fundamental. In this setting, particular attention has been given to visualization techniques, that try to attribute the right relevance to each input pixel with respect to the output of the network. In this paper, we focus on Class Activation Mapping (CAM) approaches, which provide an effective visualization by taking weighted averages of the activation maps. To enhance the evaluation and the reproducibility of such approaches, we propose a novel set of metrics to quantify explanation maps, which show better effectiveness and simplify comparisons between approaches. To evaluate the appropriateness of the proposal, we compare different CAM-based visualization methods on the entire ImageNet validation set, fostering proper comparisons and reproducibility.


title: Black hole mergers of AGN origin in LIGO/Virgo's O1-O3a observing periods

abstract: The origin of the black hole mergers detected by LIGO and Virgo remains an open question. While the unusual mass and spin of a few events constrain their possible astrophysical formation mechanisms, it is difficult to classify the bulk of the observed mergers. Here we consider the distribution of masses and spins in LIGO/Virgo's first and second observing catalogs, and find that for a significant fraction (25%) of these detected events, an AGN-disk origin model is preferred over a parametric mass-spin model fit to the full GWTC-2 merger sample (Bayes factor $\mathcal{B}>10$). We use this to estimate the black hole merger rate in AGNs to be about $2.8\pm 1.8$\, Gpc$^{-3}$yr$^{-1}$, comparable to theoretical expectations. We find that AGNs can explain the rate and mass distribution of the observed events with primary black hole mass in the pair-instability mass gap ($M\gtrsim50$\, M$_\odot$).


title: Non-abelian infrared divergences on the celestial sphere

abstract: We consider the infrared factorisation of non-abelian multi-particle scattering amplitudes, and we study the form of the universal colour operator responsible for infrared divergences, when expressed in terms of coordinates on the `celestial sphere' intersecting the future light-cone at asymptotic distances. We find that colour-dipole contributions to the infrared operator, to all orders in perturbation theory, have a remarkably simple expression in these coordinates, with scale and coupling dependence factorised from kinematics and colour. Generalising earlier suggestions in the abelian theory, we then show that the infrared operator can be computed as a correlator of vertex operators in a conformal field theory of Lie-algebra-valued free bosons on the celestial sphere. We verify by means of the OPE that the theory correctly predicts the all-order structure of collinear limits, and the tree-level factorisation of soft real radiation.


title: Extraction of Hierarchical Functional Connectivity Components in human brain using Adversarial Learning

abstract: The estimation of sparse hierarchical components reflecting patterns of the brain's functional connectivity from rsfMRI data can contribute to our understanding of the brain's functional organization, and can lead to biomarkers of diseases. However, inter-scanner variations and other confounding factors pose a challenge to the robust and reproducible estimation of functionally-interpretable brain networks, and especially to reproducible biomarkers. Moreover, the brain is believed to be organized hierarchically, and hence single-scale decompositions miss this hierarchy. The paper aims to use current advancements in adversarial learning to estimate interpretable hierarchical patterns in the human brain using rsfMRI data, which are robust to "adversarial effects" such as inter-scanner variations. We write the estimation problem as a minimization problem and solve it using alternating updates. Extensive experiments on simulation and a real-world dataset show high reproducibility of the components compared to other well-known methods.


title: On the spectrum of the Kronig-Penney model in a constant electric field

abstract: We are interested in the nature of the spectrum of the one-dimensional Schr\"odinger operator $$ - \frac{d^2}{dx^2}-Fx + \sum_{n \in \mathbb{Z}}g_n \delta(x-n) \qquad\text{in } L^2(\mathbb{R}) $$ with $F>0$ and two different choices of the coupling constants $\{g_n\}_{n\in \mathbb{Z}}$. In the first model $g_n \equiv \lambda$ and we prove that if $F\in \pi^2 \mathbb{Q}$ then the spectrum is $\mathbb{R}$ and is furthermore absolutely continuous away from an explicit discrete set of points. In the second model the $g_n$ are independent random variables with mean zero and variance $\lambda^2$. Under certain assumptions on the distribution of these random variables we prove that almost surely the spectrum is $\mathbb{R}$ and it is dense pure point if $F < \lambda^2/2$ and purely singular continuous if $F> \lambda^2/2$.


title: Tollmien-Schlichting route to elastoinertial turbulence in channel flow

abstract: Direct simulations of two-dimensional channel flow of a viscoelastic fluid have revealed the existence of a family of Tollmien-Schlichting (TS) attractors that is nonlinearly self-sustained by viscoelasticity [Shekar et al., J.Fluid Mech. 893, A3 (2020)]. Here, we describe the evolution of this branch in parameter space and its connections to the Newtonian TS attractor and to elastoinertial turbulence (EIT). At Reynolds number $Re=3000$, there is a solution branch with TS-wave structure but which is not connected to the Newtonian solution branch. At fixed Weissenberg number, $Wi$ and increasing Reynolds number from 3000-10000, this attractor goes from displaying a striation of weak polymer stretch localized at the critical layer to an extended sheet of very large polymer stretch. We show that this transition is directly tied to the strength of the TS critical layer fluctuations and can be attributed to a coil-stretch transition when the local Weissenberg number at the hyperbolic stagnation point of the Kelvin cat's eye structure of the TS wave exceeds $\frac{1}{2}$. At $Re=10000$, unlike $3000$, the Newtonian TS attractor evolves continuously into the EIT state as $Wi$ is increased from zero to about $13$. We describe how the structure of the flow and stress fields changes, highlighting in particular a "sheet-shedding" process by which the individual sheets associated with the critical layer structure break up to form the layered multisheet structure characteristic of EIT.


title: Discovering an Aid Policy to Minimize Student Evasion Using Offline Reinforcement Learning

abstract: High dropout rates in tertiary education expose a lack of efficiency that causes frustration of expectations and financial waste. Predicting students at risk is not enough to avoid student dropout. Usually, an appropriate aid action must be discovered and applied in the proper time for each student. To tackle this sequential decision-making problem, we propose a decision support method to the selection of aid actions for students using offline reinforcement learning to support decision-makers effectively avoid student dropout. Additionally, a discretization of student's state space applying two different clustering methods is evaluated. Our experiments using logged data of real students shows, through off-policy evaluation, that the method should achieve roughly 1.0 to 1.5 times as much cumulative reward as the logged policy. So, it is feasible to help decision-makers apply appropriate aid actions and, possibly, reduce student dropout.


title: Analyzing COVID-19 Tweets with Transformer-based Language Models

abstract: This paper describes a method for using Transformer-based Language Models (TLMs) to understand public opinion from social media posts. In this approach, we train a set of GPT models on several COVID-19 tweet corpora that reflect populations of users with distinctive views. We then use prompt-based queries to probe these models to reveal insights into the biases and opinions of the users. We demonstrate how this approach can be used to produce results which resemble polling the public on diverse social, political and public health issues. The results on the COVID-19 tweet data show that transformer language models are promising tools that can help us understand public opinions on social media at scale.


title: The Continuum Linear Dilaton

abstract: Continuum spectra can be a way out to alleviate the tension generated by the elusiveness of narrow resonances of new physics in direct experimental searches. Motivated by the latter, we consider the linear dilaton model with a continuum spectrum of KK modes. It is provided by a critical exponential bulk potential for the scalar field stabilizing the distance, between the UV boundary at $y=0$ and a naked (good) singularity at $y=y_s$, in proper coordinates, which corresponds in conformal coordinates to $z_s\to\infty$. The cutoff $M_s$ in this theory is an intermediate scale $M_s\simeq 10^{-5}M_{\rm Pl}$ and the warped factor solves the hierarchy between $M_s$ and the TeV, while the hierarchy between $M_{\rm Pl}$ and $M_s$ has to be solved by a (Little) String Theory with coupling $g_s\simeq 10^{-5}$. The Standard Model is localized on a 4D IR brane. The graviton and radion Green's and spectral functions have a continuum of states with a TeV mass gap, and isolated poles consisting on the 4D graviton and the light radion/dilaton. We construct the effective field theory below the mass gap where the continua of KK modes are integrated out, generating a set of dimension eight operators which contribute to low energy electroweak precision observables, and high energy violation of unitarity in vector boson scattering processes. The radion mass depends on the stabilizing UV brane potential and its wave function is localized toward the IR which enhances its coupling with the SM fields.


title: Semileptonic $B_c \to \eta_c, J/\psi$ transitions

abstract: Using a systematic, symmetry-preserving continuum approach to the Standard Model strong-interaction bound-state problem, we deliver parameter-free predictions for all semileptonic $B_c \to \eta_c, J/\psi$ transition form factors on the complete domains of empirically accessible momentum transfers. Working with branching fractions calculated therefrom, the following values of the ratios for $\tau$ over $\mu$ final states are obtained: $R_{\eta_c}=0.313(22)$ and $R_{J/\psi}=0.242(47)$. Combined with other recent results, our analysis confirms a $2\sigma$ discrepancy between the Standard Model prediction for $R_{J/\psi}$ and the single available experimental result.


title: Network Defense is Not a Game

abstract: Research seeks to apply Artificial Intelligence (AI) to scale and extend the capabilities of human operators to defend networks. A fundamental problem that hinders the generalization of successful AI approaches -- i.e., beating humans at playing games -- is that network defense cannot be defined as a single game with a fixed set of rules. Our position is that network defense is better characterized as a collection of games with uncertain and possibly drifting rules. Hence, we propose to define network defense tasks as distributions of network environments, to: (i) enable research to apply modern AI techniques, such as unsupervised curriculum learning and reinforcement learning for network defense; and, (ii) facilitate the design of well-defined challenges that can be used to compare approaches for autonomous cyberdefense. To demonstrate that an approach for autonomous network defense is practical it is important to be able to reason about the boundaries of its applicability. Hence, we need to be able to define network defense tasks that capture sets of adversarial tactics, techniques, and procedures (TTPs); quality of service (QoS) requirements; and TTPs available to defenders. Furthermore, the abstractions to define these tasks must be extensible; must be backed by well-defined semantics that allow us to reason about distributions of environments; and should enable the generation of data and experiences from which an agent can learn. Our approach named Network Environment Design for Autonomous Cyberdefense inspired the architecture of FARLAND, a Framework for Advanced Reinforcement Learning for Autonomous Network Defense, which we use at MITRE to develop RL network defenders that perform blue actions from the MITRE Shield matrix against attackers with TTPs that drift from MITRE ATT&CK TTPs.


title: StateCensusLaws.org: A Web Application for Consuming and Annotating Legal Discourse Learning

abstract: In this work, we create a web application to highlight the output of NLP models trained to parse and label discourse segments in law text. Our system is built primarily with journalists and legal interpreters in mind, and we focus on state-level law that uses U.S. Census population numbers to allocate resources and organize government. Our system exposes a corpus we collect of 6,000 state-level laws that pertain to the U.S. census, using 25 scrapers we built to crawl state law websites, which we release. We also build a novel, flexible annotation framework that can handle span-tagging and relation tagging on an arbitrary input text document and be embedded simply into any webpage. This framework allows journalists and researchers to add to our annotation database by correcting and tagging new data.


title: The Atacama Cosmology Telescope: A search for Planet 9

abstract: We use Atacama Cosmology Telescope (ACT) observations at 98 GHz (2015--2019), 150 GHz (2013--2019) and 229 GHz (2017--2019) to perform a blind shift-and-stack search for Planet 9. The search explores distances from 300 AU to 2000 AU and velocities up to 6.3 arcmin per year, depending on the distance. For a 5 Earth-mass Planet 9 the detection limit varies from 325 AU to 625 AU, depending on the sky location. For a 10 Earth-mass planet the corresponding range is 425 AU to 775 AU. The search covers the whole 18,000 square degrees of the ACT survey, though a slightly deeper search is performed for the parts of the sky consistent with Planet 9's expected orbital inclination. No significant detections are found, which is used to place limits on the mm-wave flux density of Planet 9 over much of its orbit. Overall we eliminate roughly 17% and 9% of the parameter space for a 5 and 10 Earth-mass Planet 9 respectively. We also provide a list of the 10 strongest candidates from the search for possible follow-up. More generally, we exclude (at 95% confidence) the presence of an unknown Solar system object within our survey area brighter than 4--12 mJy (depending on position) at 150 GHz with current distance $300 \text{ AU} < r < 600 \text{ AU}$ and heliocentric angular velocity $1.5'/\text{yr} < v \cdot \frac{500 \text{ AU}}{r} < 2.3'\text{yr}$, corresponding to low-to-moderate eccentricities. These limits worsen gradually beyond 600 AU, reaching 5--15 mJy by 1500 AU.


title: What Happens to Apparent Horizons in a Binary Black Hole Merger?

abstract: We resolve the fate of the two original apparent horizons during the head-on merger of two non-spinning black holes. We show that following the appearance of the outer common horizon and subsequent inter-penetration of the original horizons, they continue to exist for a finite period of time before they are individually annihilated by unstable MOTSs. The inner common horizon vanishes in a similar, though independent, way. This completes the understanding of the analogue of the event horizon's "pair of pants" diagram for the apparent horizon. Our result is facilitated by a new method for locating marginally outer trapped surfaces (MOTSs) based on a generalized shooting method. We also discuss the role played by the MOTS stability operator in discerning which among a multitude of MOTSs should be considered as black hole boundaries.


title: Variance Reduction of Quadcopter Trajectory Tracking in Turbulent Wind

abstract: We consider a quadcopter operating in a turbulent windy environment. The turbulent environment may be imposed on a quadcopter by structures, landscapes, terrains and most importantly by the unique physical phenomena in the lower atmosphere. Turbulence can negatively impact quadcopter's performance and operations. Modeling turbulence as a stochastic random input, we investigate control designs that can reduce the turbulence effects on the quadcopter's motion. In particular, we design a minimum cost variance (MCV) controller aiming to minimize the cost in terms of its weighted sum of mean and variance. We linearize the quadcopter dynamics and examine the MCV controller derived from a set of coupled algebraic Riccati equations (CARE) with full-state feedback. Our preliminary simulation results show reduction in variance and in mean trajectory tracking error compared to a traditional linear quadratic regulator (LQR).


title: On reduction and normalization in the computational core

abstract: We study the reduction in a lambda-calculus derived from Moggi's computational one, that we call the computational core. The reduction relation consists of rules obtained by orienting three monadic laws. Such laws, in particular associativity and identity, introduce intricacies in the operational analysis. We investigate the central notions of returning a value versus having a normal form, and address the question of normalizing strategies. Our analysis relies on factorization results.


title: TWIST-GAN: Towards Wavelet Transform and Transferred GAN for Spatio-Temporal Single Image Super Resolution

abstract: Single Image Super-resolution (SISR) produces high-resolution images with fine spatial resolutions from aremotely sensed image with low spatial resolution. Recently, deep learning and generative adversarial networks(GANs) have made breakthroughs for the challenging task of single image super-resolution (SISR). However, thegenerated image still suffers from undesirable artifacts such as, the absence of texture-feature representationand high-frequency information. We propose a frequency domain-based spatio-temporal remote sensingsingle image super-resolution technique to reconstruct the HR image combined with generative adversarialnetworks (GANs) on various frequency bands (TWIST-GAN). We have introduced a new method incorporatingWavelet Transform (WT) characteristics and transferred generative adversarial network. The LR image hasbeen split into various frequency bands by using the WT, whereas, the transfer generative adversarial networkpredicts high-frequency components via a proposed architecture. Finally, the inverse transfer of waveletsproduces a reconstructed image with super-resolution. The model is first trained on an external DIV2 Kdataset and validated with the UC Merceed Landsat remote sensing dataset and Set14 with each image sizeof 256x256. Following that, transferred GANs are used to process spatio-temporal remote sensing images inorder to minimize computation cost differences and improve texture information. The findings are comparedqualitatively and qualitatively with the current state-of-art approaches. In addition, we saved about 43% of theGPU memory during training and accelerated the execution of our simplified version by eliminating batchnormalization layers.


title: Tuning symplectic integrators is easy and worthwhile

abstract: Many applications in computational physics that use numerical integrators based on splitting and composition can benefit from the development of optimized algorithms and from choosing the best ordering of terms. The cost in programming and execution time is minimal, while the performance improvements can be large.


title: Novel Aficionados and Doppelg\"angers: a referential task for semantic representations of individual entities

abstract: In human semantic cognition, proper names (names which refer to individual entities) are harder to learn and retrieve than common nouns. This seems to be the case for machine learning algorithms too, but the linguistic and distributional reasons for this behaviour have not been investigated in depth so far. To tackle this issue, we show that the semantic distinction between proper names and common nouns is reflected in their linguistic distributions by employing an original task for distributional semantics, the Doppelg\"anger test, an extensive set of models, and a new dataset, the Novel Aficionados dataset. The results indicate that the distributional representations of different individual entities are less clearly distinguishable from each other than those of common nouns, an outcome which intriguingly mirrors human cognition.


title: Stability of syzygy bundles on smooth projective varieties

abstract: We prove that the kernel bundle of the evaluation morphism of global sections, namely the syzygy bundle, of a sufficiently ample line bundle on a smooth projective variety is slope stable with respect to any polarization. This settles a conjecture of Ein-Lazarsfeld-Mustopa.


title: Stochastic model for football's collective dynamics

abstract: In this paper, we study collective interaction dynamics emerging in the game of football-soccer. To do so, we surveyed a database containing body-sensors traces measured during three professional football matches, where we observed statistical patterns that we used to propose a stochastic model for the players' motion in the field. The model, which is based on linear interactions, captures in good approximation the spatiotemporal dynamics of a football team. Our theoretical framework, therefore, becomes an effective analytical tool to uncover the underlying cooperative mechanisms behind the complexity of football plays. Moreover, we showed that it can provide handy theoretical support for coaches to evaluate teams' and players' performances in both training sessions and competitive scenarios.


title: Disentangled Face Identity Representations for joint 3D Face Recognition and Expression Neutralisation

abstract: In this paper, we propose a new deep learning-based approach for disentangling face identity representations from expressive 3D faces. Given a 3D face, our approach not only extracts a disentangled identity representation but also generates a realistic 3D face with a neutral expression while predicting its identity. The proposed network consists of three components; (1) a Graph Convolutional Autoencoder (GCA) to encode the 3D faces into latent representations, (2) a Generative Adversarial Network (GAN) that translates the latent representations of expressive faces into those of neutral faces, (3) and an identity recognition sub-network taking advantage of the neutralized latent representations for 3D face recognition. The whole network is trained in an end-to-end manner. Experiments are conducted on three publicly available datasets showing the effectiveness of the proposed approach.


title: Rich Specifications for Ethereum Smart Contract Verification

abstract: Smart contracts are programs that execute inside blockchains such as Ethereum to manipulate digital assets. Since bugs in smart contracts may lead to substantial financial losses, there is considerable interest in formally proving their correctness. However, the specification and verification of smart contracts faces challenges that do not arise in other application domains. Smart contracts frequently interact with unverified, potentially adversarial outside code, which substantially weakens the assumptions that formal analyses can (soundly) make. Moreover, the core functionality of smart contracts is to manipulate and transfer resources; describing this functionality concisely requires dedicated specification support. Current reasoning techniques do not fully address these challenges, being restricted in their scope or expressiveness (in particular, in the presence of re-entrant calls), and offering limited means of expressing the resource transfers a contract performs. In this paper, we present a novel specification methodology tailored to the domain of smart contracts. Our specification constructs and associated reasoning technique are the first to enable: (1) sound and precise reasoning in the presence of unverified code and arbitrary re-entrancy, (2) modular reasoning about collaborating smart contracts, and (3) domain-specific specifications based on resources and resource transfers, which allow expressing a contract's behavior in intuitive and concise ways and exclude typical errors by default. We have implemented our approach in 2vyper, an SMT-based automated verification tool for Ethereum smart contracts written in the Vyper language, and demonstrated its effectiveness in succinctly capturing and verifying strong correctness guarantees for real-world contracts.


title: Hausdorff measure bounds for nodal sets of Steklov eigenfunctions

abstract: We study nodal sets of Steklov eigenfunctions in a bounded domain with $\mathcal{C}^2$ boundary. Our first result is a lower bound for the Hausdorff measure of the nodal set: we show that for $u_{\lambda}$ a Steklov eigenfunction, with eigenvalue $\lambda\neq 0$, $\mathcal{H}^{d-1}(\{u_{\lambda}=0\})\geq c_{\Omega}$, where $c_{\Omega}$ is independent of $\lambda$. We also prove an almost sharp upper bound, namely $\mathcal{H}^{d-1}(\{u_{\lambda}=0\})\leq C_{\Omega}\lambda\log(\lambda+e)$.


title: Quantum Communication Over Atmospheric Channels: A Framework for Optimizing Wavelength and Filtering

abstract: Despite quantum networking concepts, designs, and hardware becoming increasingly mature, there is no consensus on the optimal wavelength for free-space systems. We present an in-depth analysis of a daytime free-space quantum channel as a function of wavelength and atmospheric spatial coherence (Fried coherence length). We choose decoy-state quantum key distribution bit yield as a performance metric in order to reveal the ideal wavelength choice for an actual qubit-based protocol under realistic atmospheric conditions. Our analysis represents a rigorous framework to analyze requirements for spatial, spectral, and temporal filtering. These results will help guide the development of free-space quantum communication and networking systems. In particular, our results suggest that shorter wavelengths in the optical band should be considered for free-space quantum communication systems. Our results are also interpreted in the context of atmospheric compensation by higher-order adaptive optics.


title: Discrete Vector Bundles with Connection and the Bianchi Identity

abstract: We develop a combinatorial theory of vector bundles with connection that is natural with respect to appropriate mappings of the base space. The base space is a simplicial complex, the main objects defined are discrete vector bundle valued cochains and the main operators we develop are a discrete exterior covariant derivative and a combinatorial wedge product. Key properties of these operators are demonstrated and it is shown that they are natural with respect to the mappings referred to above. We also formulate a well-behaved definition of metric compatible discrete connections. A characterization is given for when a discrete vector bundle with connection is trivializable or has a trivial lower rank subbundle. This machinery is used to define discrete curvature as linear maps and we show that our formulation satisfies a discrete Bianchi identity. Recently an alternative framework for discrete vector bundles with connection has been given by Christiansen and Hu. We show that our framework reproduces and extends theirs when we apply our constructions on a subdivision of the base simplicial complex.


title: Compact and Effective Representations for Sketch-based Image Retrieval

abstract: Sketch-based image retrieval (SBIR) has undergone an increasing interest in the community of computer vision bringing high impact in real applications. For instance, SBIR brings an increased benefit to eCommerce search engines because it allows users to formulate a query just by drawing what they need to buy. However, current methods showing high precision in retrieval work in a high dimensional space, which negatively affects aspects like memory consumption and time processing. Although some authors have also proposed compact representations, these drastically degrade the performance in a low dimension. Therefore in this work, we present different results of evaluating methods for producing compact embeddings in the context of sketch-based image retrieval. Our main interest is in strategies aiming to keep the local structure of the original space. The recent unsupervised local-topology preserving dimension reduction method UMAP fits our requirements and shows outstanding performance, improving even the precision achieved by SOTA methods. We evaluate six methods in two different datasets. We use Flickr15K and eCommerce datasets; the latter is another contribution of this work. We show that UMAP allows us to have feature vectors of 16 bytes improving precision by more than 35%.


title: On the social and cognitive dimensions of wicked environmental problems characterized by conceptual and solution uncertainty

abstract: We develop a quantitative framework for understanding the class of wicked problems that emerge at the intersections of natural, social, and technological complex systems. Wicked problems reflect our incomplete understanding of interdependent global systems and the systemic risk they pose; such problems escape solutions because they are often ill-defined, and thus mis-identified and under-appreciated by communities of problem-solvers. While there are well-documented benefits to tackling boundary-crossing problems from various viewpoints, the integration of diverse approaches can nevertheless contribute confusion around the collective understanding of the core concepts and feasible solutions. We explore this paradox by analyzing the development of both scholarly (social) and topical (cognitive) communities -- two facets of knowledge production studies here that contribute towards the evolution of knowledge in and around a problem, termed a knowledge trajectory -- associated with three wicked problems: deforestation, invasive species, and wildlife trade. We posit that saturation in the dynamics of social and cognitive diversity growth is an indicator of reduced uncertainty in the evolution of the comprehensive knowledge trajectory emerging around each wicked problem. Informed by comprehensive bibliometric data capturing both social and cognitive dimensions of each problem domain, we thereby develop a framework that assesses the stability of knowledge trajectory dynamics as an indicator of wickedness associated with conceptual and solution uncertainty. As such, our results identify wildlife trade as a wicked problem that may be difficult to address given recent instability in its knowledge trajectory.


title: Searches for dark photons at accelerators

abstract: Dark matter particles may interact with other dark matter particles via a new force mediated by a dark photon, $A^{\prime}$, which would be the dark-sector analog to the ordinary photon of electromagnetism. The dark photon can obtain a highly suppressed mixing-induced coupling to the electromagnetic current, providing a portal through which dark photons can interact with ordinary matter. This review focuses on $A^{\prime}$ scenarios that are potentially accessible to accelerator-based experiments. We summarize the existing constraints placed by such experiments on dark photons, highlight what could be observed in the near future, and discuss the major experimental challenges that must be overcome to improve sensitivities.


title: Nonlinear Pricing with Misspecified and Arbitrary Perception of the Marginal Price

abstract: In the context of nonlinear prices, the empirical evidence suggests that the consumers have cognitive biases represented in a limited understanding of nonlinear price structures, and they respond to some alternative perceptions of the marginal prices. In particular, consumers usually make choices based more on the average than the marginal prices, which can result in a suboptimal behavior. Taking the misspecification in the marginal price as exogenous, this document analyzes how is the optimal quadratic price scheme for a monopolist and the optimal quadratic price scheme that maximizes welfare when there is a continuum of representative consumers with an arbitrary perception of the marginal price. Under simple preferences and costs functional forms and very straightforward hypotheses, the results suggest that the bias in the marginal price doesn't affect the maximum welfare attainable with quadratic price schemes, and it has a negligible effect over the efficiency cost caused by the monopolist, so the misspecification in the marginal price is not relevant for welfare increasing policies. However, almost always the misspecification in the marginal price is beneficial for the monopolist. An interesting result is that under these functional forms, more misspecification in the marginal price is beneficial for both the consumers and the monopolist if the level of bias is low, so not always is socially optima to have educated consumers about the real marginal price. Finally, the document shows that the bias in the marginal price has a negative effect on reduction of aggregate consumption using two-tier increasing tariffs, which are commonly used for reduction of aggregate consumption.


title: A norm minimization-based convex vector optimization algorithm

abstract: We propose an algorithm to generate inner and outer polyhedral approximations to the upper image of a bounded convex vector optimization problem. It is an outer approximation algorithm and is based on solving norm-minimizing scalarizations. Unlike Pascolleti-Serafini scalarization used in the literature for similar purposes, it does not involve a direction parameter. Therefore, the algorithm is free of direction-biasedness. We also propose a modification of the algorithm by introducing a suitable compact subset of the upper image, which helps in proving for the first time the finiteness of an algorithm for convex vector optimization. The computational performance of the algorithms is illustrated using some of the benchmark test problems, which shows promising results in comparison to a similar algorithm that is based on Pascoletti-Serafini scalarization.


title: GraghVQA: Language-Guided Graph Neural Networks for Graph-based Visual Question Answering

abstract: Images are more than a collection of objects or attributes -- they represent a web of relationships among interconnected objects. Scene Graph has emerged as a new modality for a structured graphical representation of images. Scene Graph encodes objects as nodes connected via pairwise relations as edges. To support question answering on scene graphs, we propose GraphVQA, a language-guided graph neural network framework that translates and executes a natural language question as multiple iterations of message passing among graph nodes. We explore the design space of GraphVQA framework, and discuss the trade-off of different design choices. Our experiments on GQA dataset show that GraphVQA outperforms the state-of-the-art model by a large margin (88.43% vs. 94.78%).


title: Amplifier-Coupled Tone Reservation for Minimization of OFDM Nonlinear Distortion

abstract: Nonlinear distortion of an OFDM signal is a serious problem when it comes to energy-efficient Power Amplifier(PA) utilization. Typically, Peak-to-Average Power Ratio(PAPR) reduction algorithms and digital predistortion algorithms are used independently to fight the same phenomenon. This paper proposes an Amplifier-Coupled Tone Reservation (ACTR)algorithm for the reduction of nonlinear distortion power, utilizing knowledge on thep redistorted PA characteristic. The optimization problem is defined. Its convexity is proved. A computationally-efficient solution is presented. Finally, its performance is compared against two state-of-the-art TR algorithms by means of simulations and measurements. The results show the proposed solution is advantageous, both in terms of nonlinear distortion power and the required number of computations.


title: Statistical Approach to Quantum Phase Estimation

abstract: We introduce a new statistical and variational approach to the phase estimation algorithm (PEA). Unlike the traditional and iterative PEAs which return only an eigenphase estimate, the proposed method can determine any unknown eigenstate-eigenphase pair from a given unitary matrix utilizing a simplified version of the hardware intended for the Iterative PEA (IPEA). This is achieved by treating the probabilistic output of an IPEA-like circuit as an eigenstate-eigenphase proximity metric, using this metric to estimate the proximity of the input state and input phase to the nearest eigenstate-eigenphase pair and approaching this pair via a variational process on the input state and phase. This method may search over the entire computational space, or can efficiently search for eigenphases (eigenstates) within some specified range (directions), allowing those with some prior knowledge of their system to search for particular solutions. We show the simulation results of the method with the Qiskit package on the IBM Q platform and on a local computer.


title: On the Width of Regular Classes of Finite Structures

abstract: In this work, we introduce the notion of decisional width of a finite relational structure and the notion of decisional width of a regular class of finite structures. Our main result states that given a first-order formula {\psi} over a vocabulary {\tau}, and a finite automaton F over a suitable alphabet B({\Sigma},w,{\tau}) representing a width-w regular-decisional class of {\tau}-structures C, one can decide in time f({\tau},{\Sigma},{\psi},w)|F| whether some {\tau}-structure in C satisfies {\psi}. Here, f is a function that depends on the parameters {\tau},{\Sigma},{\psi},w, but not on the size of the automaton F representing the class. Therefore, besides implying that the first-order theory of any given regular-decisional class of finite structures is decidable, it also implies that when the parameters {\tau}, {\psi}, {\Sigma} and w are fixed, decidability can be achieved in linear time on the size of the input automaton F. Building on the proof of our main result, we show that the problem of counting satisfying assignments for a first-order logic formula in a given structure A of width w is fixed-parameter tractable with respect to w, and can be solved in quadratic time on the length of the input representation of A.


title: Walk/Zeta Correspondence

abstract: Our previous work presented explicit formulas for the generalized zeta function and the generalized Ihara zeta function corresponding to the Grover walk and the positive-support version of the Grover walk on the regular graph via the Konno-Sato theorem, respectively. This paper extends these walks to a class of walks including random walks, correlated random walks, quantum walks, and open quantum random walks on the torus by the Fourier analysis.

categories: quant-ph math-ph math.CO math.MP math.PR


title: Witness electron beam injection using an active plasma lens for a proton beam-driven plasma wakefield accelerator

abstract: An active plasma lens focuses the beam in both the horizontal and vertical planes simultaneously using a magnetic field generated by a discharge current through the plasma. A beam size of 5--10 $\mu$m can be achieved within a short distance using a focusing gradient on the order of 100 T/m. The active plasma lens is therefore an attractive element for plasma wakefield acceleration, because an ultra-small size of the witness electron beam is required for injection into the plasma wakefield to minimize emittance growth and to enhance the capturing efficiency. When the drive beam and witness electron beam co-propagate through the active plasma lens, interactions between the drive and witness beams, and the plasma must be considered. In this paper, through particle-in-cell simulations, we discuss the possibility of using an active plasma lens for the final focusing of the electron beam for the AWAKE RUN 2 experiments. It is confirmed that the amplitude of the plasma wakefield excited by proton bunches remains the same even after propagation through the active plasma lens. The emittance of the witness electron beam increases rapidly in the plasma density ramp regions of the lens. Nevertheless, when the witness electron beam has a charge of 100 pC, emittance of 10 mm mrad, and bunch length of 60 $\mu$m, its emittance growth is not significant along the active plasma lens. For small emittance, such as 2 mm mrad, the emittance growth is found to be strongly dependent on the RMS beam size, plasma density, and multiple Coulomb scattering.


title: A windowed correlation based feature selection method to improve time series prediction of dengue fever cases

abstract: The performance of data-driven prediction models depends on the availability of data samples for model training. A model that learns about dengue fever incidence in a population uses historical data from that corresponding location. Poor performance in prediction can result in places with inadequate data. This work aims to enhance temporally limited dengue case data by methodological addition of epidemically relevant data from nearby locations as predictors (features). A novel framework is presented for windowing incidence data and computing time-shifted correlation-based metrics to quantify feature relevance. The framework ranks incidence data of adjacent locations around a target location by combining the correlation metric with two other metrics: spatial distance and local prevalence. Recurrent neural network-based prediction models achieve up to 33.6% accuracy improvement on average using the proposed method compared to using training data from the target location only. These models achieved mean absolute error (MAE) values as low as 0.128 on [0,1] normalized incidence data for a municipality with the highest dengue prevalence in Brazil's Espirito Santo. When predicting cases aggregated over geographical ecoregions, the models achieved accuracy improvements up to 16.5%, using only 6.5% of incidence data from ranked feature sets. The paper also includes two techniques for windowing time series data: fixed-sized windows and outbreak detection windows. Both of these techniques perform comparably, while the window detection method uses less data for computations. The framework presented in this paper is application-independent, and it could improve the performances of prediction models where data from spatially adjacent locations are available.


title: Asymptotically hyperboloidal initial data sets from a parabolic-hyperbolic formulation of the Einstein vacuum constraints

abstract: In this paper, we continue our investigations of R\'acz's parabolic-hyperbolic formulation of the Einstein vacuum constraints. Our previous studies of the asymptotically flat setting provided strong evidence for unstable asymptotics which we were able to resolve by introducing a certain modification of R\'acz's parabolic-hyperbolic formulation. The primary focus of the present paper here is the asymptotically hyperboloidal setting. We provide evidence through a mixture of numerical and analytical methods that the asymptotics of the solutions of R\'acz's parabolic-hyperbolic formulation is stable, and, in particular, no modifications are necessary to obtain solutions that are asymptotically hyperboloidal.


title: Soft Expectation and Deep Maximization for Image Feature Detection

abstract: Central to the application of many multi-view geometry algorithms is the extraction of matching points between multiple viewpoints, enabling classical tasks such as camera pose estimation and 3D reconstruction. Many approaches that characterize these points have been proposed based on hand-tuned appearance models or data-driven learning methods. We propose Soft Expectation and Deep Maximization (SEDM), an iterative unsupervised learning process that directly optimizes the repeatability of the features by posing the problem in a similar way to expectation maximization (EM). We found convergence to be reliable and the new model to be more lighting invariant and better at localize the underlying 3D points in a scene, improving SfM quality when compared to other state of the art deep learning detectors.


title: Custom Distribution for Sampling-Based Motion Planning

abstract: Sampling-based motion planning algorithms are widely used in robotics because they are very effective in high-dimensional spaces. However, the success rate and quality of the solutions are determined by an adequate selection of their parameters such as the distance between states, the local planner, and the sampling distribution. For robots with large configuration spaces or dynamic restrictions, selecting these parameters is a challenging task. This paper proposes a method for improving the performance to a set of the most popular sampling-based algorithms, the Rapidly-exploring Random Trees (RRTs) by adjusting the sampling method. The idea is to replace the uniform probability density function (U-PDF) with a custom distribution (C-PDF) learned from previously successful queries in similar tasks. With a few samples, our method builds a custom distribution that allows the RRT to grow to promising states that will lead to a solution. We tested our method in several autonomous driving tasks such as parking maneuvers, obstacle clearance and under narrow passages scenarios. The results show that the proposed method outperforms the original RRT and several improved versions in terms of success rate, tree density and computation time. In addition, the proposed method requires a relatively small set of examples, unlike current deep learning techniques that require a vast amount of examples.


title: Atomic Layer Deposition of Yttrium Iron Garnet Thin Films for 3D Magnetic Structures

abstract: A wide variety of new phenomena such as novel magnetization configurations have been predicted to occur in three dimensional magnetic nanostructures. However, the fabrication of such structures is often challenging due to the specific shapes required, such as magnetic tubes and spirals. Furthermore, the materials currently used to assemble these structures are predominantly magnetic metals that do not allow to study the magnetic response of the system separately from the electronic one. In the field of spintronics, the prototypical material used for such experiments is the ferrimagnetic insulator yttrium iron garnet (Y$_3$Fe$_5$O$_{12}$, YIG). YIG is one of the best materials especially for magnonic studies due to its low Gilbert damping. Here, we report the first successful fabrication of YIG thin films via atomic layer deposition. To that end we utilize a supercycle approach based on the combination of sub-nanometer thin layers of the binary systems Fe$_2$O$_3$ and Y$_2$O$_3$ in the correct atomic ratio on Y$_3$Al$_5$O$_{12}$ substrates with a subsequent annealing step. Our process is robust against typical growth-related deviations, ensuring a good reproducibility. The ALD-YIG thin films exhibit a good crystalline quality as well as magnetic properties comparable to other deposition techniques. One of the outstanding characteristics of atomic layer deposition is its ability to conformally coat arbitrarily-shaped substrates. ALD hence is the ideal deposition technique to grant an extensive freedom in choosing the shape of the magnetic system. The atomic layer deposition of YIG enables the fabrication of novel three dimensional magnetic nanostructures, which in turn can be utilized for experimentally investigating the phenomena predicted in those structures.


title: Non-uniqueness in law of three-dimensional Navier-Stokes equations diffused via a fractional Laplacian with power less than one half

abstract: Non-uniqueness of three-dimensional Euler equations and Navier-Stokes equations forced by random noise, path-wise and more recently even in law, have been proven by various authors. We prove non-uniqueness in law of the three-dimensional Navier-Stokes equations forced by random noise and diffused via a fractional Laplacian that has power between zero and one half. The solution we construct has H$\ddot{\mathrm{o}}$lder regularity with a small exponent rather than Sobolev regularity with a small exponent. For the power sufficiently small, the non-uniqueness in law holds at the level of Leray-Hopf regularity. In particular, in order to handle transport error, we consider phase functions convected by not only a mollified velocity field but a sum of that with a mollified Ornstein-Uhlenbeck process if noise is additive and a product of that with a mollified exponential Brownian motion if noise is multiplicative.


title: $3-2-1$ foliations for Reeb flows on the tight 3-sphere

abstract: We study the existence of $3-2-1$ foliations adapted to Reeb flows on the tight $3$-sphere. These foliations admit precisely three binding orbits whose Conley-Zehnder indices are $3$, $2$, and $1$, respectively. All regular leaves are disks and annuli asymptotic to the binding orbits. Our main results provide sufficient conditions for the existence of $3-2-1$ foliations with prescribed binding orbits. We also exhibit a concrete Hamiltonian on $\mathbb{R}^4$ admitting $3-2-1$ foliations when restricted to suitable energy levels.


title: Semantic Navigation Using Building Information on Construction Sites

abstract: With the growth in automated data collection of construction projects, the need for semantic navigation of mobile robots is increasing. In this paper, we propose an infrastructure to leverage building-related information for smarter, safer and more precise robot navigation during construction phase. Our use of Building Information Models (BIM) in robot navigation is twofold: (1) the intuitive semantic information enables non-experts to deploy robots and (2) the semantic data exposed to the navigation system allows optimal path planning (not necessarily the shortest one). Our Building Information Robotic System (BIRS) uses Industry Foundation Classes (IFC) as the interoperable data format between BIM and the Robotic Operating System (ROS). BIRS generates topological and metric maps from BIM for ROS usage. An optimal path planer, integrating critical components for construction assessment is proposed using a cascade strategy (global versus local). The results are validated through series of experiments in construction sites.


title: FPGA Synthesis of Ternary Memristor-CMOS Decoders

abstract: The search for a compatible application of memristor-CMOS logic gates has remained elusive, as the data density benefits are offset by slow switching speeds and resistive dissipation. Active microdisplays typically prioritize pixel density (and therefore resolution) over that of speed, where the most widely used refresh rates fall between 25-240 Hz. Therefore, memristor-CMOS logic is a promising fit for peripheral IO logic in active matrix displays. In this paper, we design and implement a ternary 1-3 line decoder and a ternary 2-9 line decoder which are used to program a seven segment LED display. SPICE simulations are conducted in a 50-nm process, and the decoders are synthesized on an Altera Cyclone IV field-programmable gate array (FPGA) development board which implements a ternary memristor model designed in Quartus II. We compare our hardware results to a binary coded decimal (BCD)-to-seven segment display decoder, and show our memristor-CMOS approach reduces the total IO power consumption by a factor of approximately 6 times at a maximum synthesizable frequency of 293.77MHz. Although the speed is approximately half of the native built-in BCD-to-seven decoder, the comparatively slow refresh rates of typical microdisplays indicate this to be a tolerable trade-off, which promotes data density over speed.


title: Adjustment for Biased Sampling Using NHANES Derived Propensity Weights

abstract: The Consent-to-Contact (C2C) registry at the University of California, Irvine collects data from community participants to aid in the recruitment to clinical research studies. Self-selection into the C2C likely leads to bias due in part to enrollees having more years of education relative to the US general population. Salazar et al. (2020) recently used the C2C to examine associations of race/ethnicity with participant willingness to be contacted about research studies. To address questions about generalizability of estimated associations we estimate propensity for self-selection into the convenience sample weights using data from the National Health and Nutrition Examination Survey (NHANES). We create a combined dataset of C2C and NHANES subjects and compare different approaches (logistic regression, covariate balancing propensity score, entropy balancing, and random forest) for estimating the probability of membership in C2C relative to NHANES. We propose methods to estimate the variance of parameter estimates that account for uncertainty that arises from estimating propensity weights. Simulation studies explore the impact of propensity weight estimation on uncertainty. We demonstrate the approach by repeating the analysis by Salazar et al. with the deduced propensity weights for the C2C subjects and contrast the results of the two analyses. This method can be implemented using our estweight package in R available on GitHub.


title: Voice2Mesh: Cross-Modal 3D Face Model Generation from Voices

abstract: This work focuses on the analysis that whether 3D face models can be learned from only the speech inputs of speakers. Previous works for cross-modal face synthesis study image generation from voices. However, image synthesis includes variations such as hairstyles, backgrounds, and facial textures, that are arguably irrelevant to voice or without direct studies to show correlations. We instead investigate the ability to reconstruct 3D faces to concentrate on only geometry, which is more physiologically grounded. We propose both the supervised learning and unsupervised learning frameworks. Especially we demonstrate how unsupervised learning is possible in the absence of a direct voice-to-3D-face dataset under limited availability of 3D face scans when the model is equipped with knowledge distillation. To evaluate the performance, we also propose several metrics to measure the geometric fitness of two 3D faces based on points, lines, and regions. We find that 3D face shapes can be reconstructed from voices. Experimental results suggest that 3D faces can be reconstructed from voices, and our method can improve the performance over the baseline. The best performance gains (15% - 20%) on ear-to-ear distance ratio metric (ER) coincides with the intuition that one can roughly envision whether a speaker's face is overall wider or thinner only from a person's voice. See our project page for codes and data.


title: Ricci flow with bounded curvature integrals

abstract: In this paper, we study the Ricci flow on a closed manifold and finite time interval $[0,T)~(T < \infty)$ on which certain integral curvature energies are finite. We prove that in dimension four, such flow converges to a smooth Riemannian manifold except for finitely many orbifold singularities. We also show that in higher dimensions, the same assertions hold for a closed Ricci flow satisfying another conditions of integral curvature bounds. Moreover, we show that such flows can be extended over $T$ by an orbifold Ricci flow.


title: Towards Exploratory Landscape Analysis for Large-scale Optimization: A Dimensionality Reduction Framework

abstract: Although exploratory landscape analysis (ELA) has shown its effectiveness in various applications, most previous studies focused only on low- and moderate-dimensional problems. Thus, little is known about the scalability of the ELA approach for large-scale optimization. In this context, first, this paper analyzes the computational cost of features in the flacco package. Our results reveal that two important feature classes (ela_level and ela_meta) cannot be applied to large-scale optimization due to their high computational cost. To improve the scalability of the ELA approach, this paper proposes a dimensionality reduction framework that computes features in a reduced lower-dimensional space than the original solution space. We demonstrate that the proposed framework can drastically reduce the computation time of ela_level and ela_meta for large dimensions. In addition, the proposed framework can make the cell-mapping feature classes scalable for large-scale optimization. Our results also show that features computed by the proposed framework are beneficial for predicting the high-level properties of the 24 large-scale BBOB functions.


title: Conceptualizing experimental controls using the potential outcomes framework

abstract: The goal of a well-controlled study is to remove unwanted variation when estimating the causal effect of the intervention of interest. Experiments conducted in the basic sciences frequently achieve this goal using experimental controls, such as "negative" and "positive" controls, which are measurements designed to detect systematic sources of unwanted variation. Here, we introduce clear, mathematically precise definitions of experimental controls using potential outcomes. Our definitions provide a unifying statistical framework for fundamental concepts of experimental design from the biological and other basic sciences. These controls are defined in terms of whether assumptions are being made about a specific treatment level, outcome, or contrast between outcomes. We discuss experimental controls as tools for researchers to wield in designing experiments and detecting potential design flaws, including using controls to diagnose unintended factors that influence the outcome of interest, assess measurement error, and identify important subpopulations. We believe that experimental controls are powerful tools for reproducible research that are possibly underutilized by statisticians, epidemiologists, and social science researchers.