title: The dependence of subhalo abundance matching on galaxy photometry and selection criteria

abstract: Subhalo abundance matching (SHAM) is a popular technique for assigning galaxy mass or luminosity to haloes produced in N-body simulations. The method works by matching the cumulative number functions of the galaxy and halo properties, and is therefore sensitive both to the precise definitions of those properties and to the selection criteria used to define the samples. Further dependence follows when SHAM parameters are calibrated with galaxy clustering, which is known to depend strongly on the manner in which galaxies are selected. In this paper we introduce a new parametrisation for SHAM and derive the best-fit SHAM parameters as a function of various properties of the selection of the galaxy sample and of the photometric definition, including S\'ersic vs Petrosian magnitudes, stellar masses vs r-band magnitudes and optical (SDSS) vs HI (ALFALFA) selection. In each case we calculate the models' goodness-of-fit to measurements of the projected two-point galaxy correlation function. In the optically-selected samples we find strong evidence that the scatter in the galaxy-halo connection increases towards the faint end, and that AM performs better with luminosity than stellar mass. The SHAM parameters of optically- and HI-selected galaxies are mutually exclusive, with the latter suggesting the importance of properties beyond halo mass. We provide best-fit parameters for the SHAM galaxy-halo connection as a function of each of our input choices, extending the domain of validity of the model while reducing potential systematic error in its use.


title: Active Screening for Recurrent Diseases: A Reinforcement Learning Approach

abstract: Active screening is a common approach in controlling the spread of recurring infectious diseases such as tuberculosis and influenza. In this approach, health workers periodically select a subset of population for screening. However, given the limited number of health workers, only a small subset of the population can be visited in any given time period. Given the recurrent nature of the disease and rapid spreading, the goal is to minimize the number of infections over a long time horizon. Active screening can be formalized as a sequential combinatorial optimization over the network of people and their connections. The main computational challenges in this formalization arise from i) the combinatorial nature of the problem, ii) the need of sequential planning and iii) the uncertainties in the infectiousness states of the population. Previous works on active screening fail to scale to large time horizon while fully considering the future effect of current interventions. In this paper, we propose a novel reinforcement learning (RL) approach based on Deep Q-Networks (DQN), with several innovative adaptations that are designed to address the above challenges. First, we use graph convolutional networks (GCNs) to represent the Q-function that exploit the node correlations of the underlying contact network. Second, to avoid solving a combinatorial optimization problem in each time period, we decompose the node set selection as a sub-sequence of decisions, and further design a two-level RL framework that solves the problem in a hierarchical way. Finally, to speed-up the slow convergence of RL which arises from reward sparseness, we incorporate ideas from curriculum learning into our hierarchical RL approach. We evaluate our RL algorithm on several real-world networks.


title: Combining pretrained CNN feature extractors to enhance clustering of complex natural images

abstract: Recently, a common starting point for solving complex unsupervised image classification tasks is to use generic features, extracted with deep Convolutional Neural Networks (CNN) pretrained on a large and versatile dataset (ImageNet). However, in most research, the CNN architecture for feature extraction is chosen arbitrarily, without justification. This paper aims at providing insight on the use of pretrained CNN features for image clustering (IC). First, extensive experiments are conducted and show that, for a given dataset, the choice of the CNN architecture for feature extraction has a huge impact on the final clustering. These experiments also demonstrate that proper extractor selection for a given IC task is difficult. To solve this issue, we propose to rephrase the IC problem as a multi-view clustering (MVC) problem that considers features extracted from different architectures as different "views" of the same data. This approach is based on the assumption that information contained in the different CNN may be complementary, even when pretrained on the same data. We then propose a multi-input neural network architecture that is trained end-to-end to solve the MVC problem effectively. This approach is tested on nine natural image datasets, and produces state-of-the-art results for IC.


title: EmoconLite: Bridging the Gap Between Emotiv and Play for Children With Severe Disabilities

abstract: Brain-computer interfaces (BCIs) allow users to control computer applications by modulating their brain activity. Since BCIs rely solely on brain activity, they have enormous potential as an alternative access method for engaging children with severe disabilities and/or medical complexities in therapeutic recreation and leisure. In particular, one commercially available BCI platform is the Emotiv EPOC headset, which is a portable and affordable electroencephalography (EEG) device. Combined with the EmotivBCI software, the Emotiv system can generate a model to discern between different mental tasks based on the user's EEG signals in real-time. While the Emotiv system shows promise for use by the pediatric population in the setting of a BCI clinic, it lacks integrated support that allows users to directly control computer applications using the generated classification output. To achieve this, users would have to create their own program, which can be challenging for those who may not be technologically inclined. To address this gap, we developed a freely available and user-friendly BCI software application called EmoconLite. Using the classification output from EmotivBCI, EmoconLite allows users to play YouTube video clips and a variety of video games from multiple platforms, ultimately creating an end-to-end solution for users. Through its deployment in the Holland Bloorview Kids Rehabilitation Hospital's BCI clinic, EmoconLite is bridging the gap between research and clinical practice, providing children with access to BCI technology and supporting BCI-enabled play.


title: Quantum annealing simulation of out-of-equilibrium magnetization in a spin-chain compound

abstract: Geometrically frustrated spin-chain compounds such as Ca3Co2O6 exhibit extremely slow relaxation under a changing magnetic field. Consequently, both low-temperature laboratory experiments and Monte Carlo simulations have shown peculiar out-of-equilibrium magnetization curves, which arise from trapping in metastable configurations. In this work we simulate this phenomenon in a superconducting quantum annealing processor, allowing us to probe the impact of quantum fluctuations on both equilibrium and dynamics of the system. Increasing the quantum fluctuations with a transverse field reduces the impact of metastable traps in out-of-equilibrium samples, and aids the development of three-sublattice ferrimagnetic (up-up-down) long-range order. At equilibrium we identify a finite-temperature shoulder in the 1/3-to-saturated phase transition, promoted by quantum fluctuations but with entropic origin. This work demonstrates the viability of dynamical as well as equilibrium studies of frustrated magnetism using large-scale programmable quantum systems, and is therefore an important step toward programmable simulation of dynamics in materials using quantum hardware.


title: Simultaneous ambient pressure X-ray photoelectron spectroscopy and grazing incidence X-ray scattering in gas environments

abstract: We have developed an experimental system to simultaneously observe surface structure, morphology, composition, chemical state, and chemical activity for samples in gas phase environments. This is accomplished by simultaneously measuring X-ray photoelectron spectroscopy (XPS) and grazing incidence X-ray scattering (GIXS) in gas pressures as high as the multi-Torr regime, while also recording mass spectrometry. Scattering patterns reflect near-surface sample structures from the nano- to the meso-scale. The grazing incidence geometry provides tunable depth sensitivity while scattered X-rays are detected across a broad range of angles using a newly designed pivoting-UHV-manipulator for detector positioning. At the same time, XPS and mass spectrometry can be measured, all from the same sample spot and in ambient conditions. To demonstrate the capabilities of this system, we measured the chemical state, composition, and structure of Ag-behenate on a Si(001) wafer in vacuum and in O$_2$ atmosphere at various temperatures. These simultaneous structural, chemical, and gas phase product probes enable detailed insights into the interplay between structure and chemical state for samples in gas phase environments. The compact size of our pivoting-UHV-manipulator makes it possible to retrofit this technique into existing spectroscopic instruments installed at synchrotron beamlines. Because many synchrotron facilities are planning or undergoing upgrades to diffraction limited storage rings with transversely coherent beams, a newly emerging set of coherent X-ray scattering experiments can greatly benefit from the concepts we present here.


title: Strong multiplicity one for the Selberg class

abstract: We study the problem of determining elements of the Selberg class by information on the coefficents of the Dirichlet series at the squares of primes, or information about the zeroes of the functions.


title: TODG: Distributed Task Offloading with Delay Guarantees for Edge Computing

abstract: Edge computing has been an efficient way to provide prompt and near-data computing services for resource-and-delay sensitive IoT applications via computation offloading. Effective computation offloading strategies need to comprehensively cope with several major issues, including the allocation of dynamic communication and computational resources, the deadline constraints of heterogeneous tasks, and the requirements for computationally inexpensive and distributed algorithms. However, most of the existing works mainly focus on part of these issues, which would not suffice to achieve expected performance in complex and practical scenarios. To tackle this challenge, in this paper, we systematically study a distributed computation offloading problem with hard delay constraints, where heterogeneous computational tasks require continually offloading to a set of edge servers via a limiting number of stochastic communication channels. The task offloading problem is then cast as a delay-constrained long-term stochastic optimization problem under unknown priori statistical knowledge. To resolve this problem, we first provide a technical path to transform and decompose it into several slot-level subproblems, then we develop a distributed online algorithm, namely TODG, to efficiently allocate the resources and schedule the offloading tasks with delay guarantees. Further, we present a comprehensive analysis for TODG, in terms of the optimality gap, the delay guarantees, and the impact of system parameters. Extensive simulation results demonstrate the effectiveness and efficiency of TODG.


title: Realization of electron antidoping by modulating the breathing distortion in BaBiO$_3$

abstract: The recent proposal of antidoping scheme breaks new ground in conceiving conversely functional materials and devices, yet the few available examples belong to the correlated electron systems. Here we demonstrate both theoretically and experimentally that the main group oxide BaBiO$_3$ is a model system for antidoping using oxygen vacancies. The first principles calculations show that the band gap systematically increases due to the strongly enhanced BiO breathing distortions away from the vacancies and the annihilation of Bi 6s and O 2p hybridized conduction bands near the vacancies. The spectroscopic experiments confirm the band gap increasing systematically with electron doping, with a maximal gap enhancement of 75% when the film's stoichiometry is reduced to BaBiO$_{2.75}$. The Raman and diffraction experiments show the suppression of the overall breathing distortion. The study unambiguously demonstrates the remarkable antidoping effect in a material without strong electron correlations and underscores the importance of bond disproportionation in realizing such an effect.


title: Learning Grammar of Complex Activities via Deep Neural Networks

abstract: Motivated by the growing amount of publicly available video data on online streaming services and an increased interest in applications that analyze continuous video streams such as autonomous driving, this technical report provides a theoretical insight into deep neural networks for video learning, under label constraints. I build upon previous work in video learning for computer vision, make observations on model performance and propose further mechanisms to help improve our observations.


title: Reconstructing Stieltjes functions from their approximate values: a search for a needle in a haystack

abstract: Material response of real, passive, linear, time-invariant media to external influences is described by complex analytic functions of frequency that can always be written in terms of Stieltjes functions -- a special class of analytic functions mapping complex upper half-plane into itself. Reconstructing such functions from their experimentally measured values at specific frequencies is one of the central problems that we address in this paper. A definitive reconstruction algorithm that produces a certificate of optimality as well as a graphical representation of the uncertainty of reconstruction is proposed. Its effectiveness is demonstrated in the context of the electrochemical impedance spectroscopy.


title: The Nonconvex Geometry of Linear Inverse Problems

abstract: The gauge function, closely related to the atomic norm, measures the complexity of a statistical model, and has found broad applications in machine learning and statistical signal processing. In a high-dimensional learning problem, the gauge function attempts to safeguard against overfitting by promoting a sparse (concise) representation within the learning alphabet. In this work, within the context of linear inverse problems, we pinpoint the source of its success, but also argue that the applicability of the gauge function is inherently limited by its convexity, and showcase several learning problems where the classical gauge function theory fails. We then introduce a new notion of statistical complexity, gauge$_p$ function, which overcomes the limitations of the gauge function. The gauge$_p$ function is a simple generalization of the gauge function that can tightly control the sparsity of a statistical model within the learning alphabet and, perhaps surprisingly, draws further inspiration from the Burer-Monteiro factorization in computational mathematics. We also propose a new learning machine, with the building block of gauge$_p$ function, and arm this machine with a number of statistical guarantees. The potential of the proposed gauge$_p$ function theory is then studied for two stylized applications. Finally, we discuss the computational aspects and, in particular, suggest a tractable numerical algorithm for implementing the new learning machine.


title: A new instability domain of CNO-flashing low-mass He-core stars on their early white-dwarf cooling branches

abstract: Before reaching their quiescent terminal white-dwarf cooling branch, some low-mass helium-core white dwarf stellar models experience a number of nuclear flashes which greatly reduce their hydrogen envelopes. Just before the occurrence of each flash, stable hydrogen burning may be able to drive global pulsations that could be relevant to shed some light on the internal structure of these stars through asteroseismology. We present a pulsational stability analysis applied to low-mass helium-core stars on their early white-dwarf cooling branches going through CNO flashes in order to study the possibility that the $\varepsilon$ mechanism is able to excite gravity-mode pulsations. We carried out a nonadiabatic pulsation analysis for low-mass helium-core white-dwarf models going through CNO flashes during their early cooling phases. We found that the $\varepsilon$ mechanism due to stable hydrogen burning can excite low-order ($\ell= 1, 2$) gravity modes with periods between $\sim 80$ and $500\ $s, for stars with $0.2025 \lesssim M_{\star}/M_{\odot} \lesssim 0.3630$ located in an extended region of the $\log g - T_{\rm eff}$ diagram with effective temperature and surface gravity in the ranges $15\,000 \lesssim T_{\rm eff} \lesssim 38\,000\ $K and $5.8 \lesssim \log g \lesssim 7.1$, respectively. Since the timescales required for these modes to reach amplitudes large enough to be observable are shorter than their corresponding evolutionary timescales, the detection of pulsations in these stars is feasible. If a low-mass white dwarf star were found to pulsate with low-order gravity modes in this region of instability, it would confirm our result that such pulsations can be driven by the $\varepsilon$ mechanism. In addition, confirming a rapid rate of period change in these pulsations would support that these stars actually experience CNO flashes, as predicted by evolutionary calculations.


title: Dynamic Curves for Decentralized Autonomous Cryptocurrency Exchanges

abstract: One of the exciting recent developments in decentralized finance (DeFi) has been the development of decentralized cryptocurrency exchanges that can autonomously handle conversion between different cryptocurrencies. Decentralized exchange protocols such as Uniswap, Curve and other types of Automated Market Makers (AMMs) maintain a liquidity pool (LP) of two or more assets constrained to maintain at all times a mathematical relation to each other, defined by a given function or curve. Examples of such functions are the constant-sum and constant-product AMMs. Existing systems however suffer from several challenges. They require external arbitrageurs to restore the price of tokens in the pool to match the market price. Such activities can potentially drain resources from the liquidity pool. In particular, dramatic market price changes can result in low liquidity with respect to one or more of the assets and reduce the total value of the LP. We propose in this work a new approach to constructing the AMM by proposing the idea of dynamic curves. It utilizes input from a market price oracle to modify the mathematical relationship between the assets so that the pool price continuously and automatically adjusts to be identical to the market price. This approach eliminates arbitrage opportunities and, as we show through simulations, maintains liquidity in the LP for all assets and the total value of the LP over a wide range of market prices.


title: Enhancement of non-contact friction between metal surfaces induced by the electrical double layer

abstract: Casimir and electrostatic non-contact friction between two gold plates, and a gold tip and a gold plate, are calculated taking into account the contribution of the electrical double layer. It is shown that in an extreme-near field ($d<10$nm) the contribution from the electrical double layer leads to the enhancement of non-contact friction by many orders of magnitude in comparison to the result of the conventional theory without this contribution. Casimir and electrostatic friction dominate for short and large separations, respectively. The calculated electrostatic friction is in good agreement with experimental data. The results obtained open the way to detect the Casimir friction using Atomic Force Microscope.


title: SHARKS: Smart Hacking Approaches for RisK Scanning in Internet-of-Things and Cyber-Physical Systems based on Machine Learning

abstract: Cyber-physical systems (CPS) and Internet-of-Things (IoT) devices are increasingly being deployed across multiple functionalities, ranging from healthcare devices and wearables to critical infrastructures, e.g., nuclear power plants, autonomous vehicles, smart cities, and smart homes. These devices are inherently not secure across their comprehensive software, hardware, and network stacks, thus presenting a large attack surface that can be exploited by hackers. In this article, we present an innovative technique for detecting unknown system vulnerabilities, managing these vulnerabilities, and improving incident response when such vulnerabilities are exploited. The novelty of this approach lies in extracting intelligence from known real-world CPS/IoT attacks, representing them in the form of regular expressions, and employing machine learning (ML) techniques on this ensemble of regular expressions to generate new attack vectors and security vulnerabilities. Our results show that 10 new attack vectors and 122 new vulnerability exploits can be successfully generated that have the potential to exploit a CPS or an IoT ecosystem. The ML methodology achieves an accuracy of 97.4% and enables us to predict these attacks efficiently with an 87.2% reduction in the search space. We demonstrate the application of our method to the hacking of the in-vehicle network of a connected car. To defend against the known attacks and possible novel exploits, we discuss a defense-in-depth mechanism for various classes of attacks and the classification of data targeted by such attacks. This defense mechanism optimizes the cost of security measures based on the sensitivity of the protected resource, thus incentivizing its adoption in real-world CPS/IoT by cybersecurity practitioners.


title: On the tropical discrete logarithm problem and security of a protocol based on tropical semidirect product

abstract: Tropical linear algebra has been recently put forward by Grigoriev and Shpilrain as a promising platform for implementation of protocols of Diffie-Hellman and Stickel type. Based on the CSR expansion of tropical matrix powers, we suggest a simple algorithm for the following tropical discrete logarithm problem: "Given that $A=V\otimes F^{\otimes t}$ for a unique $t$ and matrices $A$, $V$, $F$ of appropriate dimensions, find this $t$." We then use this algorithm to suggest a simple attack on a protocol based on the tropical semidirect product. The algorithm and the attack are guaranteed to work in some important special cases and are shown to be efficient in our numerical experiments.


title: Ferrofluidic Manipulator: Automatic Manipulation of Non-magnetic Microparticles at Air-Ferrofluid Interface

abstract: Manipulation of small-scale matter is a fundamental topic in micro- and nanorobotics. Numerous magnetic robotic systems have been developed for the manipulation of microparticles in an ambient environment, liquid as well as on the air-liquid interface. These systems move intrinsically magnetic or magnetically tagged objects by inducing a magnetic torque or force. However, most of the materials found in nature are non-magnetic. Here, we report a ferrofluidic manipulator for automatic two-dimensional manipulation of non-magnetic objects floating on top of a ferrofluid. The manipulation system employs eight centimeter-scale solenoids, which can move non-magnetic particles by deforming the air-ferrofluid interface. Using linear programming, we can control the motion of the non-magnetic particles with a predefined trajectory of a line, square, and circle with a precision of 25.1+/-19.5 um, 34.4+/-28.4 um and 33.4+/-26.6 um, respectively. The ferrofluidic manipulator is versatile with the materials and the shapes of the objects under manipulation. We have successfully manipulated particles made of polyethylene, polystyrene, a silicon chip, and poppy and sesame seeds. This work shows a promising venue for the manipulation of living and non-living matter at the air-liquid interface.


title: A Cable-Driven Parallel Robot with Full-Circle End-Effector Rotations

abstract: Cable-Driven Parallel Robots (CDPRs) offer high payload capacities, large translational workspace and high dynamic performances. The rigid base frame of the CDPR is connected in parallel to the moving platform using cables. However, their orientation workspace is usually limited due to cable/cable and cable/moving platform collisions. This paper deals with the design, modelling and prototyping of a hybrid robot. This robot, which is composed of a CDPR mounted in series with a Parallel Spherical Wrist (PSW), has both a large translational workspace and an unlimited orientation workspace. It should be noted that the six degrees of freedom (DOF) motions of the moving platform of the CDPR, namely, the base of the PSW, and the three-DOF motion of the PSW are actuated by means of eight actuators fixed to the base. As a consequence, the overall system is underactuated and its total mass and inertia in motion is reduced.


title: Shock polars for ideal non-polytropic gas

abstract: We show that shock polars for ideal non-polytropic gas (thermally but not calorically perfect) have a unique velocity angle maximum, the critical shock, assuming convex equation of state (positive fundamental derivative) and other standard conditions. We also show that the critical shock is always transonic. In the process we show that temperature, pressure, energy, enthalpy, normal mass flux and entropy are strictly increasing along the forward Hugoniot curves, and hence along the polar from vanishing to normal shock; speed is strictly decreasing along the entire polar, mass flux and importantly Mach number are decreasing on subsonic parts of the polar. If the equation of state is ideal but not convex, or convex but not ideal, counterexamples can be given with multiple critical shocks, permitting more than two shocks attaining the same velocity angle, in particular more than one shock of weak type.


title: The inner circumstellar dust of the red supergiant Antares as seen with VLT/SPHERE/ZIMPOL

abstract: The processes by which red supergiants lose mass are not fully understood thus-far and their mass-loss rates lack theoretical constraints. The ambient surroundings of the nearby M0.5 Iab star Antares offers an ideal environment to obtain detailed empirical information on the outflow properties at its onset, and hence indirectly, on the mode(s) of mass loss. We present and analyse optical VLT/SPHERE/ZIMPOL polarimetric imaging with angular resolution down to 23 milli-arcsec, sufficient to spatially resolve both the stellar disk and its direct surroundings. We detect a conspicuous feature in polarised intensity that we identify as a clump containing dust, which we characterise through 3D radiative transfer modelling. The clump is positioned behind the plane of the sky, therefore has been released from the backside of the star, and its inner edge is only 0.3 stellar radii above the surface. The current dust mass in the clump is $1.3^{+0.2}_{-1.0} \times 10^{-8}$ M$_{\odot}$, though its proximity to the star implies that dust nucleation is probably still ongoing. The ejection of clumps of gas and dust makes a non-negligible contribution to the total mass lost from the star which could possibly be linked to localised surface activity such as convective motions or non-radial pulsations.


title: Ensemble approximate control variate estimators: Applications to multi-fidelity importance sampling

abstract: The recent growth in multi-fidelity uncertainty quantification has given rise to a large set of variance reduction techniques that leverage information from model ensembles to provide variance reduction for estimates of the statistics of a high-fidelity model. In this paper we provide two contributions: (1) we utilize an ensemble estimator to account for uncertainties in the optimal weights of approximate control variate (ACV) approaches and derive lower bounds on the number of samples required to guarantee variance reduction; and (2) we extend an existing multi-fidelity importance sampling (MFIS) scheme to leverage control variates. As such we make significant progress towards both increasing the practicality of approximate control variates$-$for instance, by accounting for the effect of pilot samples$-$and using multi-fidelity approaches more effectively for estimating low-probability events. The numerical results indicate our hybrid MFIS-ACV estimator achieves up to 50% improvement in variance reduction over the existing state-of-the-art MFIS estimator, which had already shown outstanding convergence rate compared to the Monte Carlo method, on several problems of computational mechanics.


title: Two-Level Systems and the Tunneling Model: A Critical View

abstract: The thermal and acoustic properties displayed by a wide variety of glasses at low temperatures are well described by the model of tunneling two level systems (TLS). We review the standard TLS model as well as developments that have occurred since the earlier work. In spite of half a century of effort and impressive successes, mysteries still remain. We discuss some of these longstanding puzzles about glasses at low temperatures and speculate about future directions.


title: Free-Breathing Liver Fat, $R_2^*$ and $B_0$ Field Mapping Using Multi-Echo Radial FLASH and Regularized Model-based Reconstruction

abstract: This work introduced a stack-of-radial multi-echo asymmetric-echo MRI sequence for free-breathing liver volumetric acquisition. Regularized model-based reconstruction was implemented in Berkeley Advanced Reconstruction Toolbox (BART) to jointly estimate all physical parameter maps (water, fat, R2*, and B0 field inhomogeneity maps) and coil sensitivity maps from self-gated k-space data. Specifically, locally low rank and temporal total variation regularization were employed directly on physical parameter maps. The proposed free-breathing radial technique was tested on a water/fat & iron phantom, a young volunteer, and obesity/diabetes/hepatic steatosis patients. Quantitative fat fraction and R2* accuracy were confirmed by comparing our technique with the reference breath-hold Cartesian scan. The multi-echo radial sampling sequence achieves fast k-space coverage and is robust to motion. Moreover, the proposed motion-resolved model-based reconstruction allows for free-breathing liver fat and R2* quantification in multiple motion states. Overall, our proposed technique offers a convenient tool for non-invasive liver assessment with no breath holding requirement.


title: Elementary example of exact effective-Hamiltonian computation

abstract: We present an exact computation of effective Hamiltonians for an elementary model obtained from the Yukawa theory by going to the limit of bare fermions being infinitely heavy and bare bosons being at rest with respect to the fermions that emit or absorb them. The coupling constant can be arbitrarily large. The Hamiltonians are computed by solving the differential equation of the renormalization group procedure for effective particles (RGPEP). Physical fermions, defined in the model as eigenstates of the effective Hamiltonians, are obtained in the form of an effective fermion dressed with a coherent state of effective bosons. The model computation illustrates the method that can be used in perturbative computations of effective Hamiltonians for realistic theories. It shows the mechanism by which the perturbative expansion and Tamm-Dancoff approximation increase in accuracy along the RGPEP evolution.


title: Distance-regular graphs obtained from the Mathieu groups

abstract: In this paper we construct distance-regular graphs admitting a transitive action of the five sporadic simple groups discovered by E. Mathieu, the Mathieu groups $M_{11}$, $M_{12}$, $M_{22}$, $M_{23}$ and $M_{24}$. From the code spanned by the adjacency matrix of the strongly regular graph with parameters (176,70,18,34) we obtain block designs having the full automorphism groups isomorphic to the Higman-Sims finite simple group. Further, we discuss a possibility of permutation decoding of the codes spanned by the adjacency matrices of the graphs constructed and find small PD-sets for some of the codes.


title: Left-exact Localizations of $\infty$-Topoi I: Higher Sheaves

abstract: We are developing tools for working with arbitrary left-exact localizations of $\infty$-topoi. We introduce a notion of higher sheaf with respect to an arbitrary set of maps $\Sigma$ in an $\infty$-topos $\mathscr{E}$. We show that the full subcategory of higher sheaves $\mathrm{Sh}(\mathscr{E},\Sigma)$ is an $\infty$-topos, and that the sheaf reflection $\mathscr{E}\to \mathrm{Sh}(\mathscr{E},\Sigma)$ is the left-exact localization generated by $\Sigma$. The proof depends on the notion of congruence, which is a substitute for the notion of Grothendieck topology in 1-topos theory.


title: A Framework for Deep Constrained Clustering

abstract: The area of constrained clustering has been extensively explored by researchers and used by practitioners. Constrained clustering formulations exist for popular algorithms such as k-means, mixture models, and spectral clustering but have several limitations. A fundamental strength of deep learning is its flexibility, and here we explore a deep learning framework for constrained clustering and in particular explore how it can extend the field of constrained clustering. We show that our framework can not only handle standard together/apart constraints (without the well documented negative effects reported earlier) generated from labeled side information but more complex constraints generated from new types of side information such as continuous values and high-level domain knowledge. Furthermore, we propose an efficient training paradigm that is generally applicable to these four types of constraints. We validate the effectiveness of our approach by empirical results on both image and text datasets. We also study the robustness of our framework when learning with noisy constraints and show how different components of our framework contribute to the final performance. Our source code is available at $\href{https://github.com/blueocean92/deep_constrained_clustering}{\text{URL}}$.


title: Cavity quantum electrodynamics with color centers in diamond

abstract: Coherent interfaces between optical photons and long-lived matter qubits form a key resource for a broad range of quantum technologies. Cavity quantum electrodynamics (cQED) offers a route to achieve such an interface by enhancing interactions between cavity-confined photons and individual emitters. Over the last two decades, a promising new class of emitters based on defect centers in diamond have emerged, combining long spin coherence times with atom-like optical transitions. More recently, advances in optical resonator technologies have made it feasible to realize cQED in diamond. This article reviews progress towards coupling color centers in diamond to optical resonators, focusing on approaches compatible with quantum networks. We consider the challenges for cQED with solid-state emitters and introduce the relevant properties of diamond defect centers before examining two qualitatively different resonator designs: micron-scale Fabry-Perot cavities and diamond nanophotonic cavities. For each approach, we examine the underlying theory and fabrication, discuss strengths and outstanding challenges, and highlight state-of-the-art experiments.


title: Mechanisms behind large Gilbert damping anisotropies

abstract: A method with which to calculate the Gilbert damping parameter from a real-space electronic structure method is reported here. The anisotropy of the Gilbert damping with respect to the magnetic moment direction and local chemical environment is calculated for bulk and surfaces of Fe$_{50}$Co$_{50}$ alloys from first principles electronic structure in a real space formulation. The size of the damping anisotropy for Fe$_{50}$Co$_{50}$ alloys is demonstrated to be significant. Depending on details of the simulations, it reaches a maximum-minimum damping ratio as high as 200%. Several microscopic origins of the strongly enhanced Gilbert damping anisotropy have been examined, where in particular interface/surface effects stand out, as do local distortions of the crystal structure. Although theory does not reproduce the experimentally reported high ratio of 400% [Phys. Rev. Lett. 122, 117203 (2019)], it nevertheless identifies microscopic mechanisms that can lead to huge damping anisotropies.


title: Reentrance of spin-driven ferroelectricity through rotational tunneling of ammonium

abstract: Quantum effects fundamentally engender exotic physical phenomena in macroscopic systems, which advance next-generation technological applications. Rotational tunneling that represents the quantum phenomenon of the librational motion of molecules is ubiquitous in hydrogen-contained materials. However, its direct manifestation in realizing macroscopic physical properties is elusive. Here we report an observation of reentrant ferroelectricity under low pressure that is mediated by the rotational tunneling of ammonium ions in molecule-based (NH$_4$)$_2$FeCl$_5 \cdot$H$_2$O. Applying a small pressure leads to a transition from spin-driven ferroelectricity to paraelectricity coinciding with the stabilization of a collinear magnetic phase. Such a transition is attributed to the hydrogen bond fluctuations via the rotational tunneling of ammonium groups as supported by theoretical calculations. Higher pressure lifts the quantum fluctuations and leads to a reentrant ferroelectric phase concomitant with another incommensurate magnetic phase. These results demonstrate that the rotational tunneling emerges as a new route to control magnetic-related properties in soft magnets, opening avenues for designing multi-functional materials and realizing potential quantum control.


title: Squeezing Microwaves by Magnetostriction

abstract: Squeezed light finds many important applications in quantum information science and quantum metrology, and has been produced in a variety of physical systems involving optical nonlinear processes. Here, we show how a nonlinear magnetostrictive interaction in a ferrimagnet in cavity magnomechanics can be used to reduce quantum noise of the electromagnetic field. We show optimal parameter regimes where a substantial and stationary squeezing of the microwave output field can be achieved. The scheme can be realized within the reach of current technology in cavity electromagnonics and magnomechanics. Our work provides a new and practicable approach for producing squeezed vacuum states of electromagnetic fields, and may find promising applications in quantum information processing and quantum metrology.


title: Off-Line Arabic Handwritten Words Segmentation using Morphological Operators

abstract: The main aim of this study is the assessment and discussion of a model for hand-written Arabic through segmentation. The framework is proposed based on three steps: pre-processing, segmentation, and evaluation. In the pre-processing step, morphological operators are applied for Connecting Gaps (CGs) in written words. Gaps happen when pen lifting-off during writing, scanning documents, or while converting images to binary type. In the segmentation step, first removed the small diacritics then bounded a connected component to segment offline words. Huge data was utilized in the proposed model for applying a variety of handwriting styles so that to be more compatible with real-life applications. Consequently, on the automatic evaluation stage, selected randomly 1,131 images from the IESK-ArDB database, and then segmented into sub-words. After small gaps been connected, the model performance evaluation had been reached 88% against the standard ground truth of the database. The proposed model achieved the highest accuracy when compared with the related works.


title: Enhanced Direct Delta Mush

abstract: Direct Delta Mush is a novel skinning deformation technique introduced by Le and Lewis (2019). It generalizes the iterative Delta Mush algorithm of Mancewicz et al (2014), providing a direct solution with improved efficiency and control. Compared to Linear Blend Skinning, Direct Delta Mush offers better quality of deformations and ease of authoring at comparable performance. However, Direct Delta Mush does not handle non-rigid joint transformations correctly which limits its application for most production environments. This paper presents an extension to Direct Delta Mush that integrates the non-rigid part of joint transformations into the algorithm. In addition, the paper also describes practical considerations for computing the orthogonal component of the transformation and stability issues observed during the implementation and testing.


title: In-situ measurements of whole-dish reflectivity for VERITAS

abstract: The VERITAS array is a set of four imaging atmospheric Cherenkov telescopes (IACTs) sensitive to gamma rays with energies above 80 GeV. Each telescope is based on a tessellated mirror, 12 metres in diameter, which reflects light from a gamma-ray-induced air shower to form an image on a pixellated `camera' comprising 499 photomultiplier tubes. The image brightness is the primary measure of the gamma ray's energy so a knowledge of the mirror reflectivity is important. We describe here a method, pioneered by members of the MAGIC collaboration, to measure the whole-dish reflectivity, quickly and regularly, so that effects of mirror aging can be monitored. A CCD camera attached near the centre of the dish simultaneously acquires an image of both a star and its reflection on a target made of Spectralon, a highly-reflective material, placed at the focus of the telescope. The ratio of their brightnesses, as recorded by the CCD, along with geometric factors, provides an estimate of the dish reflectivity with few systematic errors. A filter wheel is deployed with the CCD camera, allowing one to measure the reflectivity as a function of wavelength. We present results obtained with the VERITAS telescopes since 2014.


title: Differentially private depth functions and their associated medians

abstract: In this paper, we investigate the differentially private estimation of data depth functions and their associated medians. We introduce several methods for privatizing depth values at a fixed point, and show that for some depth functions, when the depth is computed at an out of sample point, privacy can be gained for free when $n\rightarrow \infty$. We also present a method for privately estimating the vector of sample point depth values. Additionally, we introduce estimation methods for depth-based medians for both depth functions with low global sensitivity and depth functions with only highly probable, low local sensitivity. We provide a general result (Lemma 1) which can be used to prove consistency of an estimator produced by the exponential mechanism, provided the limiting cost function is sufficiently smooth at a unique minimizer. We also introduce a general algorithm to privately estimate a minimizer of a cost function which has, with high probability, low local sensitivity. This algorithm combines the propose-test-release algorithm with the exponential mechanism. An application of this algorithm to generate consistent estimates of the projection depth-based median is presented. Thus, for these private depth-based medians, we show that it is possible for privacy to be obtained for free when $n\rightarrow \infty$.


title: Deciphering the 3-D Orion Nebula-III: Structure on the NE boundary of the Orion-S Embedded Molecular Cloud

abstract: We have extended the work of Papers I and II of this series to determine at higher spatial resolution the properties of the embedded Orion-S Molecular Cloud that lies within the ionized cavity of the Orion Nebula and of the thin ionized layer that lies between the Cloud and the observer. This was done using existing and new [NII](658.3 nm) and [OIII] (500.7 nm) spectra that map the central region of the Orion Nebula (the Huygens Region). However, it remains unclear how the surface brightness of the ionized layer on the Orion-S Molecular Cloud and that of a foreground Nearer Ionized Layer are linked, as the observations show they must be. It is shown that the Cloud modifies the outer parts of the Huygens Region in the direction of the extended hot X-ray gas.


title: Single Image Super-Resolution

abstract: This study presents a chronological overview of the single image super-resolution problem. We first define the problem thoroughly and mention some of the serious challenges. Then the problem formulation and the performance metrics are defined. We give an overview of the previous methods relying on reconstruction based solutions and then continue with the deep learning approaches. We pick 3 landmark architectures and present their results quantitatively. We see that the latest proposed network gives favorable output compared to the previous methods.


title: Agmon-type decay of eigenfunctions for a class of Schr\"{o}dinger operators with non-compact classically allowed region

abstract: An important result by Agmon implies that an eigenfunction of a Schr\"{o}dinger operator in $\mathbb{R}^n$ with eigenvalue $E$ below the bottom of the essential spectrum decays exponentially if the associated classically allowed region $\{x \in \mathbb{R}^n~:~ V(x) \leq E \}$ is compact. We extend this result to a class of Schr\"{o}dinger operators with eigenvalues, for which the classically allowed region is not necessarily compactly supported: We show that integrability of the characteristic function of the classically allowed region with respect to an increasing weight function of bounded logarithmic derivative leads to $L^2$-decay of the eigenfunction with respect to the same weight. Here, the decay is measured in the Agmon metric, which takes into account anisotropies of the potential. In particular, for a power law (or, respectively, exponential) weight, our main result implies that power law (or, respectively, exponential) decay of "the size of the classically allowed region" allows to conclude power law (or, respectively, exponential) decay, in the Agmon metric, of the eigenfunction.


title: Automated identification of current sheets -- a new tool to study turbulence and intermittency in the solar wind

abstract: We propose a new method of the automated identification of current sheets (CSs) that represents a formalization of the visual inspection approach employed in case studies. CSs are often identified by eye via the analysis of characteristic changes in the interplanetary magnetic field (IMF) and plasma parameters. Known visual and semi-automated empirical methods of CS identification are exact but do not allow a comprehensive statistical analysis of CS properties. Existing automated methods partially solve this problem. Meanwhile, these methods suggest an analysis of variations of the IMF and its direction only. In our three-parameter empirical method, we employ both the solar wind plasma and IMF parameters to identify CSs of various types. Derivatives of the IMF strength, the plasma beta and the ratio of the Alfv'en speed VA to the solar wind speed V taken with the one-second cadence are used. We find that the CS daily rate R correlates with the solar wind temperature T rather than with V and is proportional to the sum of the kinetic and thermal energy density ~ V2(N+5N')+10T(N+N'), where N'=2cm^-3 is the background level of the solar wind density N. Maxima of R are associated with stream/corotating interaction regions and interplanetary mass ejection sheaths. A multiyear list of CSs identified at 1 AU can be found at https://csdb.izmiran.ru


title: Search for Dark Photon Dark Matter: Dark E-Field Radio Pilot Experiment

abstract: We are building an experiment to search for dark matter in the form of dark photons in the nano- to milli-eV mass range. This experiment is the electromagnetic dual of magnetic detector dark radio experiments. It is also a frequency-time dual experiment in two ways: We search for a high-Q signal in wide-band data rather than tuning a high-$Q$ resonator, and we measure electric rather than magnetic fields. In this paper we describe a pilot experiment using room temperature electronics which demonstrates feasibility and sets useful limits to the kinetic coupling $\epsilon \sim 10^{-12}$ over 50--300 MHz. With a factor of 2000 increase in real-time spectral coverage, and lower system noise temperature, it will soon be possible to search a wide range of masses at 100 times this sensitivity. We describe the planned experiment in two phases: Phase-I will implement a wide band, 5-million channel, real-time FFT processor over the 30--300 MHz range with a back-end time-domain optimal filter to search for the predicted $Q\sim 10^6$ line using low-noise amplifiers. We have completed spot frequency calibrations using a biconical dipole antenna in a shielded room that extrapolate to a $5 \sigma$ limit of $\epsilon\sim 10^{-13}$ for the coupling from the dark field, per month of integration. Phase-II will extend the search to 20 GHz using cryogenic preamplifiers and new antennas.


title: Handling Neumann and Robin boundary conditions in a fictitious domain volume penalization framework

abstract: Sakurai et al. (J Comput Phys, 2019) presented a flux-based volume penalization (VP) approach for imposing inhomogeneous Neumann boundary conditions on embedded interfaces. The flux-based VP method modifies the diffusion coefficient of the original elliptic (Poisson) equation and uses a flux-forcing function as a source term in the equation to impose the Neumann boundary conditions. As such, the flux-based VP method can be easily incorporated into existing fictitious domain codes. Sakurai et al. relied on an analytical construction of flux-forcing functions, which limits the practicality of the approach. Because of the analytical approach taken in the prior work, only (spatially) constant flux values on simple interfaces were considered. In this paper, we present a numerical technique for constructing flux-forcing functions for arbitrarily complex boundaries. The imposed flux values are also allowed to vary spatially in our approach. Furthermore, the flux-based VP method is extended to include (spatially varying) Robin boundary conditions, which makes the flux-based VP method even more general. We consider several two- and three-dimensional test examples to access the spatial accuracy of the numerical solutions. The method is also used to simulate flux-driven thermal convection in a concentric annular domain. We formally derive the flux-based volume penalized Poisson equation satisfying Neumann/Robin boundary condition in strong form; such a derivation was not presented in Sakurai et al., where the equation first appeared for the Neumann problem. The derivation reveals that the flux-based VP approach relies on a surface delta function to impose inhomogeneous Neumann/Robin boundary conditions. However, explicit construction of the delta function is not necessary for the flux-based VP method, which makes it different from other diffuse domain equations presented in the literature.


title: Complex Hyperbolic Triangle Groups of Type $[m,m,0; n_1, n_2, 2]$

abstract: In this paper we study the discreteness of complex hyperbolic triangle groups of type $[m,m,0; n_1, n_2, 2]$, i.e. groups of isometries of the complex hyperbolic plane generated by three complex reflections of orders $n_1, n_2, 2$ in complex geodesics with pairwise distances $m, m, 0$. For fixed $m$, the parameter space of such groups is of real dimension one. We determine the possible orders for $n_1$ and $n_2$ and also intervals in the parameter space that correspond to discrete and non-discrete triangle groups.


title: Average-Reward Off-Policy Policy Evaluation with Function Approximation

abstract: We consider off-policy policy evaluation with function approximation (FA) in average-reward MDPs, where the goal is to estimate both the reward rate and the differential value function. For this problem, bootstrapping is necessary and, along with off-policy learning and FA, results in the deadly triad (Sutton & Barto, 2018). To address the deadly triad, we propose two novel algorithms, reproducing the celebrated success of Gradient TD algorithms in the average-reward setting. In terms of estimating the differential value function, the algorithms are the first convergent off-policy linear function approximation algorithms. In terms of estimating the reward rate, the algorithms are the first convergent off-policy linear function approximation algorithms that do not require estimating the density ratio. We demonstrate empirically the advantage of the proposed algorithms, as well as their nonlinear variants, over a competitive density-ratio-based approach, in a simple domain as well as challenging robot simulation tasks.


title: Statistical properties of the well deformed $^{153,155}$Sm nuclei and the scissors resonance

abstract: The Nuclear Level Densities (NLDs) and the $\gamma$-ray Strength Functions ($\gamma$SFs) of $^{153,155}$Sm have been extracted from (d,p$\gamma$) coincidences using the Oslo method. The experimental NLD of $^{153}$Sm is higher than the NLD of $^{155}$Sm, in accordance with microscopic calculations. The $\gamma$SFs of $^{153,155}$Sm are in fair agreement with QRPA calculations based on the D1M Gogny interaction. An enhancement is observed in the $\gamma$SF for both $^{153,155}$Sm nuclei around 3 MeV in excitation energy and is attributed to the M1 Scissors Resonance (SR). Their integrated strengths were found to be in the range 1.3 - 2.1 and 4.4 - 6.4 $\mu^{2}_{N}$ for $^{153}$Sm and $^{155}$Sm, respectively. The strength of the SR for $^{155}$Sm is comparable to those for deformed even-even Sm isotopes from nuclear resonance fluorescence measurements, while that of $^{153}$Sm is lower than expected.


title: Machine-Learning-Guided Prediction Models of Critical Temperature of Cuprates

abstract: Cuprates, a member of high-Tc superconductors, have been on the long-debate on their superconducting mechanism, so that predicting the critical temperature of cuprates still remains elusive. Herein, using machine learning and first principle calculations, we predict the maximum superconducting transition temperature (Tc,max) of hole-doped cuprates and suggest the explicit functional form for Tc,max with the root-mean-square-error of 3.705 K and the coefficient of determination R2 of 0.969. We employed two machine learning models; one is a parametric brute force searching method and another is a non-parametric random forest regression model. We have found that material dependent parameters such as the Bader charge of apical oxygen, the bond strength between apical atoms, and the number of superconducting layers are important features to estimate Tc,max. Furthermore, we predict the Tc,max of hypothetical cuprates generated by replacing apical cations with other elements. When Ga is an apical cation, the predicted Tc,max is the highest among the hypothetical structures with 71, 117, and 131 K for one, two, and three CuO2 layers, respectively. These findings suggest that machine learning could guide the design of new high-Tc superconductors in the future.


title: Multiple recurrence and large intersections for abelian group actions

abstract: The purpose of this paper is to study the phenomenon of large intersections in the framework of multiple recurrence for measure-preserving actions of countable abelian groups. Among other things, we show: (1) If $G$ is a countable abelian group and $\varphi, \psi : G \to G$ are homomorphisms such that $\varphi(G)$, $\psi(G)$, and $(\psi - \varphi)(G)$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, \mu, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : \mu(A \cap T_{\varphi(g)}^{-1}A \cap T_{\psi(g)}^{-1}A) > \mu(A)^3 - \varepsilon\}$ is syndetic. (2) If $G$ is a countable abelian group and $r,s \in \mathbb{Z}$ are integers such that $rG$, $sG$, and $(r \pm s)G$ have finite index in $G$, then for every ergodic measure-preserving system $(X, \mathcal{B}, \mu, (T_g)_{g \in G})$, every set $A \in \mathcal{B}$, and every $\varepsilon > 0$, the set $\{g \in G : \mu(A \cap T_{rg}^{-1}A \cap T_{sg}^{-1}A \cap T_{(r+s)g}^{-1}A) > \mu(A)^4 - \varepsilon\}$ is syndetic. In particular, these extend and generalize results of Bergelson, Host, and Kra concerning $\mathbb{Z}$-actions and of Bergelson, Tao, and Ziegler concerning $\mathbb{F}_p^{\infty}$-actions. Using an ergodic version of the Furstenberg correspondence principle, we obtain new combinatorial applications. We also discuss numerous examples shedding light on the necessity of the various hypotheses above. Our results lead to a number of interesting questions and conjectures, formulated in the introduction and at the end of the paper.


title: Unbounded periodic constant mean curvature graphs on Calibrable Cheeger Serrin domains

abstract: We prove a general result characterizing a specific class of Serrin domains as supports of unbounded and periodic constant mean curvature graphs. We apply this result to prove the existence of a family of unbounded periodic constant mean curvature graphs, each supported by a Serrin domain and intersecting its boundary orthogonally, up to a translation. We also show that the underlying Serrin domains are calibrable and Cheeger in a suitable sens, and they solve the 1-Laplacian equation.


title: Behavior of Hydroxyl Radicals on Water Ice at Low Temperatures

abstract: Because chemical reactions on/in cosmic ice dust grains covered by amorphous solid water (ASW) play important roles in generating a variety of molecules, many experimental and theoretical studies have focused on the chemical processes occurring on the ASW surface. In laboratory experiments, conventional spectroscopic and mass-spectrometric detection of stable products is generally employed to deduce reaction channels and mechanisms. However, despite their importance, the details of chemical reactions involving reactive species (i.e., free radicals) have not been clarified because of the absence of experimental methods for in situ detection of radicals. Because OH radicals can be easily produced in interstellar conditions by not only the photolysis and/or ion bombardments of H2O but also the reaction of H and O atoms, they are thought to be one of the most abundant radicals on ice dust. In this context, the development of a close monitoring method of OH radicals on the ASW surface may help to elucidate the chemical reactions occurring on the ASW surface.


title: More Tolerant Reconstructed Networks by Self-Healing against Attacks in Saving Resource

abstract: Complex network infrastructure systems for power-supply, communication, and transportation support our economical and social activities, however they are extremely vulnerable against the frequently increasing large disasters or attacks. Thus, a reconstructing from damaged network is rather advisable than empirically performed recovering to the original vulnerable one. In order to reconstruct a sustainable network, we focus on enhancing loops so as not to be trees as possible by node removals. Although this optimization is corresponded to an intractable combinatorial problem, we propose self-healing methods based on enhancing loops in applying an approximate calculation inspired from a statistical physics approach. We show that both higher robustness and efficiency are obtained in our proposed methods with saving the resource of links and ports than ones in the conventional healing methods. Moreover, the reconstructed network by healing can become more tolerant than the original one before attacks, when some extent of damaged links are reusable or compensated as investment of resource. These results will be open up the potential of network reconstruction by self-healing with adaptive capacity in the meaning of resilience.


title: Long Horizon Forecasting With Temporal Point Processes

abstract: In recent years, marked temporal point processes (MTPPs) have emerged as a powerful modeling machinery to characterize asynchronous events in a wide variety of applications. MTPPs have demonstrated significant potential in predicting event-timings, especially for events arriving in near future. However, due to current design choices, MTPPs often show poor predictive performance at forecasting event arrivals in distant future. To ameliorate this limitation, in this paper, we design DualTPP which is specifically well-suited to long horizon event forecasting. DualTPP has two components. The first component is an intensity free MTPP model, which captures microscopic or granular level signals of the event dynamics by modeling the time of future events. The second component takes a different dual perspective of modeling aggregated counts of events in a given time-window, thus encapsulating macroscopic event dynamics. Then we develop a novel inference framework jointly over the two models % for efficiently forecasting long horizon events by solving a sequence of constrained quadratic optimization problems. Experiments with a diverse set of real datasets show that DualTPP outperforms existing MTPP methods on long horizon forecasting by substantial margins, achieving almost an order of magnitude reduction in Wasserstein distance between actual events and forecasts.


title: Pressure-Induced Insulator-Metal Transition in Silicon Telluride from First-Principles Calculations

abstract: Silicon telluride (Si2Te3) is a two-dimensional semiconductor with unique structural properties due to the size contrast between Si and Te atoms. A recent experiment shows that the material turns metallic under hydrostatic pressure, while the lattice structure of the metallic phase remains to be identified. In this paper, we propose two metallic phases, M1 and M2, of Si2Te3 using the evolution algorithm and first-principles density functional theory (DFT) calculations. Unlike the presence of Si-Si dimers in the semiconducting (SC) phase, both M1 and M2 phases have individual Si atoms, which play important roles in the metallicity. Analysis of structural properties, electronic properties, dynamical as well as thermal stability is performed. The energies of these new structures are compared with the SC phase under the subsequent hydrostatic pressure up to 12 GPa. The results show that M1 and M2 phases have lower energies under high pressure, thus elucidating the appearance of the metallic phase of Si2Te3. In addition, the external pressure causes the SC phase to have an indirect-direct-indirect bandgap transition. Analysis of Raman spectra of the SC phase at a different pressure shows the shifting of the major Raman peaks, and finally disappearing confirms the phase transition. The results are in good agreement with the experimental observations. The understanding of the insulator-metal phase transition increases the potential usefulness of the material system.


title: Faster SAT Solving for Software with Repeated Structures (with Case Studies on Software Test Suite Minimization)

abstract: Theorem provers has been used extensively in software engineering for software testing or verification. However, software is now so large and complex that additional architecture is needed to guide theorem provers as they try to generate test suites. The SNAP test suite generator (introduced in this paper) combines the Z3 theorem prover with the following tactic: cluster some candidate tests, then search for valid tests by proposing small mutations to the cluster centroids. This technique effectively removes repeated structures in the tests since many repeated structures can be replaced with one centroid. In practice, SNAP is remarkably effective. For 27 real-world programs with up to half a million variables, SNAP found test suites which were 10 to 750 smaller times than those found by the prior state-of-the-art. Also, SNAP ran orders of magnitude faster and (unlike prior work) generated 100% valid tests.


title: Appearance of ferromagnetism in Pt(100) ultrathin films originated from quantum-well states

abstract: Ferromagnetism was observed in a Pt(100) ultrathin film deposited on a SrTiO3(100) substrate. The ferromagnetism, which appears in films with thicknesses of 2.2-4.4 nm, periodically changes with a period of approximately 1 nm (5-6 monolayers) depending on the film thickness. This is consistent with the period derived from the quantum-well states formed in the thin film. X-ray magnetic circular dichroism measurements show the evidence of appearance of intrinsic ferromagnetism in Pt(100) ultra-thin film. In addition, present results suggest a possibility that the orbital magnetic moment of pure Pt is much smaller than that of the Pt/ferromagnetic multilayer system. These results will provide a potential new mechanism for origin of the large magnetic anisotropy in Pt components.


title: Design of Full-Duplex Millimeter-Wave Integrated Access and Backhaul Networks

abstract: One of the key technologies for the future cellular networks is full duplex (FD)-enabled integrated access and backhaul (IAB) networks operating in the millimeter-wave (mmWave) frequencies. The main challenge in realizing FD-IAB networks is mitigating the impact of self-interference (SI) in the wideband mmWave frequencies. In this article, we first introduce the 3GPP IAB network architectures and wideband mmWave channel models. By utilizing the subarray-based hybrid precoding scheme at the FD-IAB node, multiuser interference is mitigated using zero-forcing at the transmitter, whereas the residual SI after successfully deploying antenna and analog cancellation is canceled by a minimum mean square error baseband combiner at the receiver. The spectral efficiency (SE) is evaluated for the RF insertion loss (RFIL) with different kinds of phase shifters and channel uncertainty. Simulation results show that, in the presence of the RFIL, the almost double SE, which is close to that obtained from fully connected hybrid precoding, can be achieved as compared to half duplex systems when the uncertainties are of low strength.


title: Waveguide coupled cavity-enhanced light emission from individual carbon nanotubes

abstract: We demonstrate an individual single-walled carbon nanotube light emitter integrated onto a microcavity and a waveguide operating in the telecom wavelength regime. Light emission from the carbon nanotube is enhanced at the cavity resonance and is efficiently extracted from the waveguide facet. We have transferred carbon nanotubes to a nanobeam cavity with a dry process, ensuring that an individual carbon nanotube is used. The guided light emission from a chirality-identified single carbon nanotube has a narrow linewidth of less than 1.3 nm and an off-resonance rejection of $\sim$17 dB. The waveguide-coupled device configuration is compatible with fully integrated on-chip designs and is promising for carbon-nanotube-based photonics.


title: Dynamics of droplets under electrowetting effect with voltages exceeding the contact angle saturation threshold

abstract: Electrowetting-on-dielectric (EWOD) is a powerful tool in many droplet-manipulation applications with a notorious weakness caused by contact-angle saturation (CAS), a phenomenon limiting the equilibrium contact angle of an EWOD-actuated droplet at high applied voltage. In this paper, we study the spreading behaviours of droplets on EWOD substrates with the range of applied voltage exceeding the saturation limit. We experimentally find that at the initial stage of spreading, the driving force at the contact line still follows the Young-Lippmann law even if the applied voltage is higher than the CAS voltage. We then theoretically establish the relation between the initial contact-line velocity and the applied voltage using the force balance at the contact line. We also find that the amplitude of capillary waves on the droplet surface generated by the contact-line's initial motion increases with the applied voltage. We provide a working framework utilising EWOD with voltages beyond CAS by characterising the capillary waves formed on the droplet surface and their self-similar behaviours. We finally propose a theoretical model of the wave profiles taking into account the viscous effects and verify this model experimentally. Our results provide avenues to utilise the EWOD effect with voltages beyond CAS threshold and have strong bearing on emerging applications such as digital microfluidic and ink-jet printing.


title: Cumulants and factorial cumulants in the 3-dimensional Ising universality class

abstract: The high-order cumulants and factorial cumulants of conserved charges are suggested to study the critical dynamics in heavy ion collisions. In this paper, using parametric representation of the 3-dimensional Ising model, the sign distribution on the phase diagram and temperature dependence of the cumulants and factorial cumulants is studied and compared. In the vicinity of the critical point, the cumulants and factorial cumulants can not be distinguished. Far away from the critical point, sign changes occur in the factorial cumulants comparing with the same order cumulants. The cause of these sign changes is analysed. They may be used to measure the distance to the critical point.


title: Practical Limits of Error Correction for Quantum Metrology

abstract: Noise is the greatest obstacle in quantum metrology that limits it achievable precision and sensitivity. There are many techniques to mitigate the effect of noise, but this can never be done completely. One commonly proposed technique is to repeatedly apply quantum error correction. Unfortunately, the required repetition frequency needed to recover the Heisenberg limit is unachievable with the existing quantum technologies. In this article we explore the discrete application of quantum error correction with current technological limitations in mind. We establish that quantum error correction can be beneficial and highlight the factors which need to be improved so one can reliably reach the Heisenberg limit level precision.


title: Neighbor2Neighbor: Self-Supervised Denoising from Single Noisy Images

abstract: In the last few years, image denoising has benefited a lot from the fast development of neural networks. However, the requirement of large amounts of noisy-clean image pairs for supervision limits the wide use of these models. Although there have been a few attempts in training an image denoising model with only single noisy images, existing self-supervised denoising approaches suffer from inefficient network training, loss of useful information, or dependence on noise modeling. In this paper, we present a very simple yet effective method named Neighbor2Neighbor to train an effective image denoising model with only noisy images. Firstly, a random neighbor sub-sampler is proposed for the generation of training image pairs. In detail, input and target used to train a network are images sub-sampled from the same noisy image, satisfying the requirement that paired pixels of paired images are neighbors and have very similar appearance with each other. Secondly, a denoising network is trained on sub-sampled training pairs generated in the first stage, with a proposed regularizer as additional loss for better performance. The proposed Neighbor2Neighbor framework is able to enjoy the progress of state-of-the-art supervised denoising networks in network architecture design. Moreover, it avoids heavy dependence on the assumption of the noise distribution. We explain our approach from a theoretical perspective and further validate it through extensive experiments, including synthetic experiments with different noise distributions in sRGB space and real-world experiments on a denoising benchmark dataset in raw-RGB space.


title: On iso-dense and scattered spaces in $\mathbf{ZF}$

abstract: A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties of iso-dense spaces are investigated. A new permutation model is constructed in which a discrete weakly Dedekind-finite space can have the Cantor set as a remainder. A metrization theorem for a class of quasi-metric spaces is deduced. The statement "every compact scattered metrizable space is separable" and several other statements about metric iso-dense spaces are shown to be equivalent to the countable axiom of choice for families of finite sets. Results concerning the problem of whether it is provable in $\mathbf{ZF}$ that every non-discrete compact metrizable space contains an infinite compact scattered subspace are also included.


title: Privacy-Preserving Cloud-Aided Broad Learning System

abstract: With the rapid development of artificial intelligence and the advent of the 5G era, deep learning has received extensive attention from researchers. Broad Learning System (BLS) is a new deep learning model proposed recently, which shows its effectiveness in many fields, such as image recognition and fault detection. However, the training process still requires vast computations, and therefore cannot be accomplished by some resource-constrained devices. To solve this problem, the resource-constrained device can outsource the BLS algorithm to cloud servers. Nevertheless, some security challenges also follow with the use of cloud computing, including the privacy of the data and the correctness of returned results. In this paper, we propose a secure, efficient, and verifiable outsourcing algorithm for BLS. This algorithm not only improves the efficiency of the algorithm on the client but also ensures that the clients sensitive information is not leaked to the cloud server. In addition, in our algorithm, the client can verify the correctness of returned results with a probability of almost 1. Finally, we analyze the security and efficiency of our algorithm in theory and prove our algorithms feasibility through experiments.


title: Anisotropic fluid dynamical simulations of heavy-ion collisions

abstract: We present VAH, a (3+1)-dimensional simulation that evolves the far-from-equilibrium quark-gluon plasma produced in ultrarelativistic heavy-ion collisions with anisotropic fluid dynamics. We solve the hydrodynamic equations on an Eulerian grid using the Kurganov-Tadmor algorithm in combination with a new adaptive Runge-Kutta method. Our numerical scheme allows us to start the simulation soon after the nuclear collision, largely avoiding the need to integrate it with a separate pre-equilibrium dynamics module. We test the code's performance by simulating on the Eulerian grid conformal and non-conformal Bjorken flow as well as conformal Gubser flow, whose (0+1)-dimensional solutions are precisely known. Finally, we compare non-conformal anisotropic hydrodynamics to second-order viscous hydrodynamics in central Pb+Pb collisions and find that the former's longitudinal flow profile responds more consistently to the fluid's gradients along the spacetime rapidity direction.


title: Distributionally Consistent Simulation of Naturalistic Driving Environment for Autonomous Vehicle Testing

abstract: Microscopic traffic simulation provides a controllable, repeatable, and efficient testing environment for autonomous vehicles (AVs). To evaluate AVs' safety performance unbiasedly, the probability distributions of environment statistics in the simulated naturalistic driving environment (NDE) need to be consistent with those from the real-world driving environment. However, although human driving behaviors have been extensively investigated in the transportation engineering field, most existing models were developed for traffic flow analysis without considering the distributional consistency of driving behaviors, which could cause significant evaluation biasedness for AV testing. To fill this research gap, a distributional consistent NDE modeling framework is proposed in this paper. Using large-scale naturalistic driving data, empirical distributions are obtained to construct the stochastic human driving behavior models under different conditions. To address the error accumulation problem during the simulation, an optimization-based method is further designed to refine the empirical behavior models. Specifically, the vehicle state evolution is modeled as a Markov chain and its stationary distribution is twisted to match the distribution from the real-world driving environment. The framework is evaluated in the case study of a multi-lane highway driving simulation, where the distributional accuracy of the generated NDE is validated and the safety performance of an AV model is effectively evaluated.


title: A partial converse ghost lemma for the derived category of a commutative noetherian ring

abstract: In this article a condition is given to detect the containment among thick subcategories of the bounded derived category of a commutative noetherian ring. More precisely, for a commutative noetherian ring $R$ and complexes of $R$-modules with finitely generated homology $M$ and $N$, we show $N$ is in the thick subcategory generated by $M$ if and only if the ghost index of $N_\mathfrak{p}$ with respect to $M_\mathfrak{p}$ is finite for each prime $\mathfrak{p}$ of $R$. To do so, we establish a "converse coghost lemma" for the bounded derived category of a non-negatively graded DG algebra with noetherian homology.


title: Features that Predict the Acceptability of Java and JavaScript Answers on Stack Overflow

abstract: Context: Stack Overflow is a popular community question and answer portal used by practitioners to solve problems during software development. Developers can focus their attention on answers that have been accepted or where members have recorded high votes in judging good answers when searching for help. However, the latter mechanism (votes) can be unreliable, and there is currently no way to differentiate between an answer that is likely to be accepted and those that will not be accepted by looking at the answer's characteristics. Objective: In potentially providing a mechanism to identify acceptable answers, this study examines the features that distinguish an accepted answer from an unaccepted answer. Methods: We studied the Stack Overflow dataset by analyzing questions and answers for the two most popular tags (Java and JavaScript). Our dataset comprised 249,588 posts drawn from 2014-2016. We use random forest and neural network models to predict accepted answers, and study the features with the highest predictive power in those two models. Results: Our findings reveal that the length of code in answers, reputation of users, similarity of the text between questions and answers, and the time lag between questions and answers have the highest predictive power for differentiating accepted and unaccepted answers. Conclusion: Tools may leverage these findings in supporting developers and reducing the effort they must dedicate to searching for suitable answers on Stack Overflow.


title: A Tale of Fairness Revisited: Beyond Adversarial Learning for Deep Neural Network Fairness

abstract: Motivated by the need for fair algorithmic decision making in the age of automation and artificially-intelligent technology, this technical report provides a theoretical insight into adversarial training for fairness in deep learning. We build upon previous work in adversarial fairness, show the persistent tradeoff between fair predictions and model performance, and explore further mechanisms that help in offsetting this tradeoff.


title: Additive averages of multiplicative correlation sequences and applications

abstract: We study sets of recurrence, in both measurable and topological settings, for actions of $(\mathbb{N},\times)$ and $(\mathbb{Q}^{>0},\times)$. In particular, we show that autocorrelation sequences of positive functions arising from multiplicative systems have positive additive averages. We also give criteria for when sets of the form $\{(an+b)^{\ell}/(cn+d)^{\ell}: n \in \mathbb{N}\}$ are sets of multiplicative recurrence, and consequently we recover two recent results in number theory regarding completely multiplicative functions and the Omega function.


title: Shallow Bayesian Meta Learning for Real-World Few-Shot Recognition

abstract: Current state-of-the-art few-shot learners focus on developing effective training procedures for feature representations, before using simple, e.g. nearest centroid, classifiers. In this paper, we take an orthogonal approach that is agnostic to the features used and focus exclusively on meta-learning the actual classifier layer. Specifically, we introduce MetaQDA, a Bayesian meta-learning generalization of the classic quadratic discriminant analysis. This setup has several benefits of interest to practitioners: meta-learning is fast and memory-efficient, without the need to fine-tune features. It is agnostic to the off-the-shelf features chosen and thus will continue to benefit from advances in feature representations. Empirically, it leads to robust performance in cross-domain few-shot learning and, crucially for real-world applications, it leads to better uncertainty calibration in predictions.


title: Differential Privacy-Based Online Allocations towards Integrating Blockchain and Edge Computing

abstract: In recent years, the blockchain-based Internet of Things (IoT) has been researched and applied widely, where each IoT device can act as a node in the blockchain. However, these lightweight nodes usually do not have enough computing power to complete the consensus or other computing-required tasks. Edge computing network gives a platform to provide computing power to IoT devices. A fundamental problem is how to allocate limited edge servers to IoT devices in a highly untrustworthy environment. In a fair competition environment, the allocation mechanism should be online, truthful, and privacy safe. To address these three challenges, we propose an online multi-item double auction (MIDA) mechanism, where IoT devices are buyers and edge servers are sellers. In order to achieve the truthfulness, the participants' private information is at risk of being exposed by inference attack, which may lead to malicious manipulation of the market by adversaries. Then, we improve our MIDA mechanism based on differential privacy to protect sensitive information from being leaked. It interferes with the auction results slightly but guarantees privacy protection with high confidence. Besides, we upgrade our privacy-preserving MIDA mechanism such that adapting to more complex and realistic scenarios. In the end, the effectiveness and correctness of algorithms are evaluated and verified by theoretical analysis and numerical simulations.


title: Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

abstract: This volume contains a selection of papers presented at LFMTP 2020, the 15th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held the 29-30th of June, 2019, using the Zoom video conferencing tool due to COVID restrictions. Officially the workshop was held in Paris, France, and it was affiliated with IJCAR 2020, FSCD 2020 and many other satellite events. Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.


title: Deep Learning Framework for Multi-Round Service Bundle Recommendation in Iterative Mashup Development

abstract: Recent years have witnessed the rapid development of service-oriented computing technologies. The boom of Web services increases software developers' selection burden in developing new service-based systems such as mashups. Timely recommending appropriate component services for developers to build new mashups has become a fundamental problem in service-oriented software engineering. Existing service recommendation approaches are mainly designed for mashup development in the single-round scenario. It is hard for them to effectively update recommendation results according to developers' requirements and behaviours (e.g. instant service selection). To address this issue, the authors propose a service bundle recommendation framework based on deep learning, DLISR, which aims to capture the interactions among the target mashup to build, selected (component) services, and the following service to recommend. Moreover, an attention mechanism is employed in DLISR to weigh selected services when recommending a candidate service. The authors also design two separate models for learning interactions from the perspectives of content and invocation history, respectively, and a hybrid model called HISR. Experiments on a real-world dataset indicate that HISR can outperform several state-of-the-art service recommendation methods to develop new mashups iteratively.


title: Passive frequency conversion of ultraviolet images into the visible using perovskite nanocrystals

abstract: We demonstrate a passive down-conversion imaging system that converts broadband ultraviolet light to narrow-band green light while preserving the directionality of rays, and thus enabling direct down-conversion imaging. At the same time our system has high transparency in the visible, enabling superimposed visible and ultraviolet imaging. The frequency conversion is performed by a subwavelength-thickness transparent downconverter based on highly efficient CsPbBr3 nanocrystals incorporated into the focal plane of a simple telescope or relay-lens geometry. The resulting imaging performance of this down-conversion system approaches the diffraction limit. This demonstration sets the stage for the incorporation of other high-efficiency perovskite nanocrystal materials to enable passive multi-frequency conversion imaging systems.


title: Completeness-resolvable graphs

abstract: Given a connected graph $G=(V(G), E(G))$, the length of a shortest path from a vertex $u$ to a vertex $v$ is denoted by $d(u,v)$. For a proper subset $W$ of $V(G)$, let $m(W)$ be the maximum value of $d(u,v)$ as $u$ ranging over $W$ and $v$ ranging over $V(G)\setminus W$. The proper subset $W=\{w_1,\ldots,w_{|W|}\}$ is a {\em completeness-resolving set} of $G$ if $$ \Psi_W: V(G)\setminus W \longrightarrow [m(W)]^{|W|},\qquad u\longmapsto (d(w_1,u),\ldots,d(w_{|W|},u)) $$ is a bijection, where $$ [m(W)]^{|W|}=\{(a_{(1)},\ldots,a_{(|W|)})\mid 1\leq a_{(i)}\leq m(W)\text{ for each }i=1,\ldots,|W|\}. $$ A graph is {\em completeness-resolvable} if it admits a completeness-resolving set. In this paper, we first construct the set of all completeness-resolvable graphs by using the edge coverings of some vertices in given bipartite graphs, and then establish posets on some subsets of this set by the spanning subgraph relationship. Based on each poset, we find the maximum graph and give the lower and upper bounds for the number of edges in a minimal graph. Furthermore, minimal graphs satisfying the lower or upper bound are characterized.


title: Unsupervised Domain Adaptation of Black-Box Source Models

abstract: Unsupervised domain adaptation (UDA) aims to learn models for a target domain of unlabeled data by transferring knowledge from a labeled source domain. In the traditional UDA setting, labeled source data are assumed to be available for adaptation. Due to increasing concerns for data privacy, source-free UDA is highly appreciated as a new UDA setting, where only a trained source model is assumed to be available, while labeled source data remain private. However, trained source models may also be unavailable in practice since source models may have commercial values and exposing source models brings risks to the source domain, e.g., problems of model misuse and white-box attacks. In this work, we study a subtly different setting, named Black-Box Unsupervised Domain Adaptation (B$^2$UDA), where only the application programming interface of source model is accessible to the target domain; in other words, the source model itself is kept as a black-box one. To tackle B$^2$UDA, we propose a simple yet effective method, termed Iterative Learning with Noisy Labels (IterLNL). With black-box models as tools of noisy labeling, IterLNL conducts noisy labeling and learning with noisy labels (LNL), iteratively. To facilitate the implementation of LNL in B$^2$UDA, we estimate the noise rate from model predictions of unlabeled target data and propose category-wise sampling to tackle the unbalanced label noise among categories. Experiments on benchmark datasets show the efficacy of IterLNL. Given neither source data nor source models, IterLNL performs comparably with traditional UDA methods that make full use of labeled source data.


title: Weyl Nodal Line-Surface Half-metal in CaFeO$_3$

abstract: Manipulating the spin degrees of freedom of electrons affords an excellent platform for exploring novel quantum states in condensed-matter physics and material science. Based on first-principles calculations and analysis of crystal symmetries, we propose a fully spin-polarized composite semimetal state, which is combined with the one-dimensional nodal lines and two-dimensional nodal surfaces, in the half-metal material CaFeO$_3$. In the nodal line-surface states, the Baguenaudier-like nodal lines feature six rings linked together, which are protected by the three independent symmetry operations:$\mathcal{PT}$, $\mathcal{M}_{y}$, and $\mathcal{\widetilde{M}}_{z}$. Near the Fermi level, the spin-polarized nodal surface states are guaranteed by the joint operation $\mathcal{T}\mathcal{S}_{2i}$ in the $k_{i(i=x,y,z)}=\pi$ plane. Furthermore, high-quality CaFeO$_3$ harbors ultra-clean energy dispersion, which is rather robust against strong triaxial compressional strain and correlation effect. The realization of the Weyl nodal line-surface half-metal presents great potential for spintronics applications with high speed and low power consumption.


title: Monte Carlo Methods for Calculating Shapley-Shubik Power Index in Weighted Majority Games

abstract: This paper addresses Monte Carlo algorithms for calculating the Shapley-Shubik power index in weighted majority games. First, we analyze a naive Monte Carlo algorithm and discuss the required number of samples. We then propose an efficient Monte Carlo algorithm and show that our algorithm reduces the required number of samples as compared to the naive algorithm.


title: Grasp and Motion Planning for Dexterous Manipulation for the Real Robot Challenge

abstract: This report describes our winning submission to the Real Robot Challenge (https://real-robot-challenge.com/). The Real Robot Challenge is a three-phase dexterous manipulation competition that involves manipulating various rectangular objects with the TriFinger Platform. Our approach combines motion planning with several motion primitives to manipulate the object. For Phases 1 and 2, we additionally learn a residual policy in simulation that applies corrective actions on top of our controller. Our approach won first place in Phase 2 and Phase 3 of the competition. We were anonymously known as `ardentstork' on the competition leaderboard (https://real-robot-challenge.com/leader-board). Videos and our code can be found at https://github.com/ripl-ttic/real-robot-challenge.


title: Probabilistic Graph Attention Network with Conditional Kernels for Pixel-Wise Prediction

abstract: Multi-scale representations deeply learned via convolutional neural networks have shown tremendous importance for various pixel-level prediction problems. In this paper we present a novel approach that advances the state of the art on pixel-level prediction in a fundamental aspect, i.e. structured multi-scale features learning and fusion. In contrast to previous works directly considering multi-scale feature maps obtained from the inner layers of a primary CNN architecture, and simply fusing the features with weighted averaging or concatenation, we propose a probabilistic graph attention network structure based on a novel Attention-Gated Conditional Random Fields (AG-CRFs) model for learning and fusing multi-scale representations in a principled manner. In order to further improve the learning capacity of the network structure, we propose to exploit feature dependant conditional kernels within the deep probabilistic framework. Extensive experiments are conducted on four publicly available datasets (i.e. BSDS500, NYUD-V2, KITTI, and Pascal-Context) and on three challenging pixel-wise prediction problems involving both discrete and continuous labels (i.e. monocular depth estimation, object contour prediction, and semantic segmentation). Quantitative and qualitative results demonstrate the effectiveness of the proposed latent AG-CRF model and the overall probabilistic graph attention network with feature conditional kernels for structured feature learning and pixel-wise prediction.


title: Dynamic Graph Collaborative Filtering

abstract: Dynamic recommendation is essential for modern recommender systems to provide real-time predictions based on sequential data. In real-world scenarios, the popularity of items and interests of users change over time. Based on this assumption, many previous works focus on interaction sequences and learn evolutionary embeddings of users and items. However, we argue that sequence-based models are not able to capture collaborative information among users and items directly. Here we propose Dynamic Graph Collaborative Filtering (DGCF), a novel framework leveraging dynamic graphs to capture collaborative and sequential relations of both items and users at the same time. We propose three update mechanisms: zero-order 'inheritance', first-order 'propagation', and second-order 'aggregation', to represent the impact on a user or item when a new interaction occurs. Based on them, we update related user and item embeddings simultaneously when interactions occur in turn, and then use the latest embeddings to make recommendations. Extensive experiments conducted on three public datasets show that DGCF significantly outperforms the state-of-the-art dynamic recommendation methods up to 30. Our approach achieves higher performance when the dataset contains less action repetition, indicating the effectiveness of integrating dynamic collaborative information.


title: Elliptical rotation of cavity amplitude in ultrastrong waveguide QED

abstract: We investigate optical response of a linear waveguide quantum electrodynamics (QED) system, namely, an optical cavity coupled to a waveguide. Our analysis is based on exact diagonalization of the overall Hamiltonian and is therefore rigorous even in the ultrastrong coupling regime of waveguide QED. Owing to the counter-rotating terms in the cavity-waveguide coupling, the motion of cavity amplitude in the phase space is elliptical in general. Such elliptical motion becomes remarkable in the ultrastrong coupling regime due to the large Lamb shift comparable to the bare cavity frequency. We also reveal that such elliptical motion does not propagate into the output field and present an analytic form of the reflection coefficient that is asymmetric with respect to the resonance frequency.


title: Superconductivity at ~70 K in Tin Hydride SnHx under High Pressure

abstract: Various tin hydrides SnHx (x = 4, 8, 12, 14) have been theoretically predicted to be stable at high pressures and to show high-critical-temperature superconductivity with Tc ranging from about 70 to 100 K. However, experimental verifications for any of these phases are still lacking to date. Here, we report on the in-situ synthesis, electrical resistance, and synchrotron x-ray diffraction measurements of SnHx at ~ 200 GPa. The main phase of the obtained sample can be indexed with the monoclinic C2/m SnH12 via comparison with the theoretical structural modes. A sudden drop of resistance and the systematic downward shift under external magnetic fields signals the occurrence of superconductivity in SnHx at Tc = ~ 70 K with an upper critical field u0Hc2(0) = ~ 11.2 T, which is relatively low in comparison with other reported high-Tc superhydrides. Various characteristic superconducting parameters are estimated based on the BCS theory.


title: Color Contrast Enhanced Rendering for Optical See-through Head-mounted Displays

abstract: Most commercially available optical see-through head-mounted displays (OST-HMDs) utilize optical combiners to simultaneously visualize the physical background and virtual objects. The displayed images perceived by users are a blend of rendered pixels and background colors. Enabling high fidelity color perception in mixed reality (MR) scenarios using OST-HMDs is an important but challenging task. We propose a real-time rendering scheme to enhance the color contrast between virtual objects and the surrounding background for OST-HMDs. Inspired by the discovery of color perception in psychophysics, we first formulate the color contrast enhancement as a constrained optimization problem. We then design an end-to-end algorithm to search the optimal complementary shift in both chromaticity and luminance of the displayed color. This aims at enhancing the contrast between virtual objects and the real background as well as keeping the consistency with the original color. We assess the performance of our approach using a simulated OST-HMD environment and an off-the-shelf OST-HMD. Experimental results from objective evaluations and subjective user studies demonstrate that the proposed approach makes rendered virtual objects more distinguishable from the surrounding background, thereby bringing a better visual experience.