title: MathNet: Haar-Like Wavelet Multiresolution-Analysis for Graph Representation and Learning

abstract: Graph Neural Networks (GNNs) have recently caught great attention and achieved significant progress in graph-level applications. In this paper, we propose a framework for graph neural networks with multiresolution Haar-like wavelets, or MathNet, with interrelated convolution and pooling strategies. The underlying method takes graphs in different structures as input and assembles consistent graph representations for readout layers, which then accomplishes label prediction. To achieve this, the multiresolution graph representations are first constructed and fed into graph convolutional layers for processing. The hierarchical graph pooling layers are then involved to downsample graph resolution while simultaneously remove redundancy within graph signals. The whole workflow could be formed with a multi-level graph analysis, which not only helps embed the intrinsic topological information of each graph into the GNN, but also supports fast computation of forward and adjoint graph transforms. We show by extensive experiments that the proposed framework obtains notable accuracy gains on graph classification and regression tasks with performance stability. The proposed MathNet outperforms various existing GNN models, especially on big data sets.


title: Simplifying Dependent Reductions in the Polyhedral Model

abstract: A Reduction -- an accumulation over a set of values, using an associative and commutative operator -- is a common computation in many numerical computations, including scientific computations, machine learning, computer vision, and financial analytics. Contemporary polyhedral-based compilation techniques make it possible to optimize reductions, such as prefix sums, in which each component of the reduction's output potentially shares computation with another component in the reduction. Therefore an optimizing compiler can identify the computation shared between multiple components and generate code that computes the shared computation only once. These techniques, however, do not support reductions that -- when phrased in the language of the polyhedral model -- span multiple dependent statements. In such cases, existing approaches can generate incorrect code that violates the data dependences of the original, unoptimized program. In this work, we identify and formalize the optimization of dependent reductions as an integer bilinear program. We present a heuristic optimization algorithm that uses an affine sequential schedule of the program to determine how to simplfy reductions yet still preserve the program's dependences. We demonstrate that the algorithm provides optimal complexity for a set of benchmark programs from the literature on probabilistic inference algorithms, whose performance critically relies on simplifying these reductions. The complexities for 10 of the 11 programs improve siginifcantly by factors at least of the sizes of the input data, which are in the range of $10^4$ to $10^6$ for typical real application inputs. We also confirm the significance of the improvement by showing speedups in wall-clock time that range from $1.1\text{x}$ to over $10^6\text{x}$.


title: Secrecy Rate Maximization for Intelligent Reflecting Surface Aided SWIPT Systems

abstract: Simultaneous wireless information and power transfer (SWIPT) and intelligent reflecting surface (IRS) are two promising techniques for providing enhanced wireless communication capability and sustainable energy supply to energy-constrained wireless devices. Moreover, the combination of the IRS and the SWIPT can create the "one plus one greater than two" effect. However, due to the broadcast nature of wireless media, the IRS-aided SWIPT systems are vulnerable to eavesdropping. In this paper, we study the security issue of the IRS-aided SWIPT systems. The objective is to maximize the secrecy rate by jointly designing the transmit beamforming and artificial noise (AN) covariance matrix at a base station (BS) and reflective beamforming at an IRS, under transmit power constraint at the BS and energy harvesting (EH) constraints at multiple energy receivers. To tackle the formulated non-convex problem, we first employ an alternating optimization (AO) algorithm to decouple the coupling variables. Then, reflective beamforming, transmit beamforming and AN covariance matrix can be optimized by using a penalty-based algorithm and semidefinite relaxation (SDR) method, respectively. Simulation results demonstrate the effectiveness of the proposed scheme over baseline schemes.


title: Thermodynamical Evolution of Supra-Arcade Downflows

abstract: Supra-arcade downflows (SADs) are dark, teardrop-shaped features descending upon flare arcades. They are thought to be the results of magnetic reconnection, but the detailed formation mechanism of SADs and their relationship to flare energy release are still unclear. In this work, we explore the thermodynamical properties of SADs in the 2011 October 22 limb flare using the observations of the Solar Dynamics Observatory/Atmospheric Imaging Assembly and an improved Differential Emission Measure (DEM) technique. Different heating events around SADs are identified and the propagation speeds of plasma heating are calculated. The first heating event starts with the increase of the emission measure at temperatures higher than 5 MK, about 2.8 minutes before the arrival of the first studied SAD. Its propagation speed is about 140 km/s, a little faster than the speed of the SAD. However, the other two events have fast propagation speeds more than 700 km/s. We suspect that the first heating event can be explained by adiabatic compression, but the others may have different causes. Besides, we observed that SADs can push away their surrounding spikes. The formation of SADs is further explained on the basis of patchy and bursty magnetic reconnection that reconnection outflows may push away surrounding plasma and leave dark lanes behind them. The reliability of the DEM results, heating and cooling mechanisms, and other SAD explanations are discussed.


title: SOCRATES: Towards a Unified Platform for Neural Network Analysis

abstract: Studies show that neural networks, not unlike traditional programs, are subject to bugs, e.g., adversarial samples that cause classification errors and discriminatory instances that demonstrate the lack of fairness. Given that neural networks are increasingly applied in critical applications (e.g., self-driving cars, face recognition systems and personal credit rating systems), it is desirable that systematic methods are developed to analyze (e.g., test or verify) neural networks against desirable properties. Recently, a number of approaches have been developed for analyzing neural networks. These efforts are however scattered (i.e., each approach tackles some restricted classes of neural networks against certain particular properties), incomparable (i.e., each approach has its own assumptions and input format) and thus hard to apply, reuse or extend. In this project, we aim to build a unified framework for developing techniques to analyze neural networks. Towards this goal, we develop a platform called SOCRATES which supports a standardized format for a variety of neural network models, an assertion language for property specification as well as multiple neural network analysis algorithms including two novel ones for falsifying and probabilistic verification of neural network models. SOCRATES is extensible and thus existing approaches can be easily integrated. Experiment results show that our platform can handle a wide range of networks models and properties. More importantly, it provides a platform for synergistic research on neural network analysis.


title: Multi-scale Deep Neural Network (MscaleDNN) for Solving Poisson-Boltzmann Equation in Complex Domains

abstract: In this paper, we propose multi-scale deep neural networks (MscaleDNNs) using the idea of radial scaling in frequency domain and activation functions with compact support. The radial scaling converts the problem of approximation of high frequency contents of PDEs' solutions to a problem of learning about lower frequency functions, and the compact support activation functions facilitate the separation of frequency contents of the target function to be approximated by corresponding DNNs. As a result, the MscaleDNNs achieve fast uniform convergence over multiple scales. The proposed MscaleDNNs are shown to be superior to traditional fully connected DNNs and be an effective mesh-less numerical method for Poisson-Boltzmann equations with ample frequency contents over complex and singular domains.


title: An Adaptive Solver for Systems of Linear Equations

abstract: Computational implementations for solving systems of linear equations often rely on a one-size-fits-all approach based on LU decomposition of dense matrices stored in column-major format. Such solvers are typically implemented with the aid of the xGESV set of functions available in the low-level LAPACK software, with the aim of reducing development time by taking advantage of well-tested routines. However, this straightforward approach does not take into account various matrix properties which can be exploited to reduce the computational effort and/or to increase numerical stability. Furthermore, direct use of LAPACK functions can be error-prone for non-expert users and results in source code that has little resemblance to originating mathematical expressions. We describe an adaptive solver that we have implemented inside recent versions of the high-level Armadillo C++ library for linear algebra. The solver automatically detects several common properties of a given system (banded, triangular, symmetric positive definite), followed by solving the system via mapping to a set of suitable LAPACK functions best matched to each property. The solver also detects poorly conditioned systems and automatically seeks a solution via singular value decomposition as a fallback. We show that the adaptive solver leads to notable speedups, while also freeing the user from using direct calls to cumbersome LAPACK functions.


title: A Post-coder Feedback Approach to Overcome Training Asymmetry in MIMO-TDD

abstract: Time Divison Duplex (TDD) wireless communication systems are inherently bidirectional, which facilitates exploiting channel reciprocity for pilot based channel estimation of both uplink and downlink. However, there exists a gross asymmetry in channel estimation complexity for the uplink and downlink, particularly for Multiple Input Multiple Output (MIMO) TDD systems. Usually, Base Stations (BS) with more antennas need to estimate fewer parameters from each antenna, whereas the estimation requirement is disproportionately higher at the User Equipment (UE). Unlike the UE, the BS has powerful hardware, computational resources and energy to accurately estimate and track channel profiles. To overcome this asymmetry, we propose a solution for MIMO-TDD downlink communication, wherein the post-coder part of the channel matrix is quantized at the BS, and is communicated to the UE via a low-rate channel. Using asymptotically tight lower bounds on the downlink achievable rates, we quantify the performance of the proposed scheme. Simulations reveal that a moderate number of quantization bits are sufficient to achieve rates close to the the link capacity. We further show that, when the BS has many more antennas at than the UE, the channel can be compensated by appropriate transmit domain precoding without post-coder knowledge at the UE.


title: Exploiting Behavioral Side-Channels in Observation Resilient Cognitive Authentication Schemes

abstract: Observation Resilient Authentication Schemes (ORAS) are a class of shared secret challenge-response identification schemes where a user mentally computes the response via a cognitive function to authenticate herself such that eavesdroppers cannot readily extract the secret. Security evaluation of ORAS generally involves quantifying information leaked via observed challenge-response pairs. However, little work has evaluated information leaked via human behavior while interacting with these schemes. A common way to achieve observation resilience is by including a modulus operation in the cognitive function. This minimizes the information leaked about the secret due to the many-to-one map from the set of possible secrets to a given response. In this work, we show that user behavior can be used as a side-channel to obtain the secret in such ORAS. Specifically, the user's eye-movement patterns and associated timing information can deduce whether a modulus operation was performed (a fundamental design element), to leak information about the secret. We further show that the secret can still be retrieved if the deduction is erroneous, a more likely case in practice. We treat the vulnerability analytically, and propose a generic attack algorithm that iteratively obtains the secret despite the "faulty" modulus information. We demonstrate the attack on five ORAS, and show that the secret can be retrieved with considerably less challenge-response pairs than non-side-channel attacks (e.g., algebraic/statistical attacks). In particular, our attack is applicable on Mod10, a one-time-pad based scheme, for which no non-side-channel attack exists. We field test our attack with a small-scale eye-tracking user study.


title: The relation of the Alpha Persei star cluster with the nearby stellar stream

abstract: A map of 100 degrees on a side extracted from Gaia DR2 and centred on Alpha Persei reveals two distinct structures | the Alpha Persei star cluster and a conspicuous stellar stream, as widely documented in recent literature. In this work we employ DBSCAN to assess individual stars' membership and attempt at separating stars belonging to the cluster and to the stream from the general field. In turn, we characterize the stream and investigate its relation with the cluster. The stream population turned out to be significantly older (5+/-1Gyr) than the cluster, and to be positioned ~90 pc away from the cluster, in its background. The stream exhibits a sizeable thickness of ~180 pc in the direction of the line of view. Finally, the stream harbours a prominent population of white dwarf stars. We estimated an upper limit of the stream mass of ~6000 solar masses?. The stream would therefore be the leftover of a relatively massive old cluster. The surface density map of the Alpha Persei evidences the presence of tidal tails. While it is tempting to ascribe them to the interaction with the disrupting old star cluster, we prefer to believe, conservatively, they are of Galactic origin.


title: Speedup of the Quantum Adiabatic Algorithm using Delocalization Catalysis

abstract: We propose a method to speed up the quantum adiabatic algorithm using catalysis by many-body delocalization. This is applied to random-field antiferromagnetic Ising spin models. The algorithm is catalyzed in such a way that the evolution approximates a Heisenberg model in the middle of its course, and the model is in a delocalized phase. We show numerically that we can speed up the standard algorithm for finding the ground state of the random-field Ising model using this idea. We also demonstrate that the speedup is due to gap amplification, even though the underlying model is not frustration-free. The crossover to speedup occurs at roughly the value of the interaction which is known to be the critical one for the delocalization transition. We also calculate the participation ratio and entanglement entropy as a function of time: their time dependencies indicate that the system is exploring more states and that they are more entangled than when there is no catalyst. Together, all these pieces of evidence demonstrate that the speedup is related to delocalization. Even though only relatively small systems can be investigated, the evidence suggests that the scaling of the method with system size is favorable. Our method is illustrated by experimental results from a small online IBM quantum computer, showing how to verify the method in future as such machines improve. The cost of the catalytic method compared to the standard algorithm is only a constant factor.


title: On the origin of stellar associations

abstract: In this review I discuss different theories of the formation of OB associations in the Milky Way, and provide the observational evidences in support of them. In fact, the second release of Gaia astrometric data (April 2018) is revolutionising the field, because it allows us to unravel the 3D structure and kinematics of stellar associations with unprecedented details by providing precise distances and a solid membership assessment. As an illustration, I summarise some recent studies on three OB associations: Cygnus OB2, Vela OB2, and Scorpius OB1, focussing in more detail to Sco OB1. A multi-wavelength study, in tandem with astrometric and kinematic data from Gaia DR2, seems to lend support, at least in this case, to a scenario in which star formation is not monolithic. As a matter of fact, besides one conspicuous star cluster, NGC 6231, and the very sparse star cluster Trumpler 24, there are several smaller groups of young OB and pre-main sequence stars across the association, indicating that star formation is highly structured and with no preferred scale. A new revolution is expected with the incoming much awaited third release of Gaia data.


title: Nuclear Magnetic Relaxation Time near Compensation Temperature in Ferrimagnetic Insulator

abstract: The nuclear magnetic relaxation time $T_1$ in ferrimagnetic insulators is calculated by a Raman process of hyperfine interaction with a meanfield approximation. It is found that the 1/$T_1$ on one site rapidly increases near the compensation temperature $T_0$, whereas that on another site does not increase up to Curie temperature $T_c$. This is due to that the band width of soft magnon becomes comparable to $T_0$. The increasing behavior of 1/$T_1$ below $T_c$ is found also in another type ferrimagnet, which shows hump structure in the temperature dependence of magnetization instead of compensation. Also in this case, we find the rapid increase of 1/$T_1$ below $T_c$, even though the magnetization does not show the compensation. Such a coexistence of soft and hard magnons will lead to remarkable properties of ferrimagnet.


title: Interaction Induced Topological Charge Pump

abstract: Based on a topological transition of the symmetry protected topological phase (SPT), an interaction induced topological charge pump (iTCP) is proposed with the symmetry breaking parameter as a synthetic dimension. It implies that the phase boundary of the SPT is the topological obstruction although iTCP and the gap closing singularity is stable for symmetry breaking perturbations. We have confirmed the bulk-edge correspondence for this iTCP using DMRG for the Rice-Mele model with nearest-neighbor interactions. As for a realization in optical lattices, an interaction sweeping pump protocol is proposed as well.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.stat-mech cond-mat.str-el


title: Boundedness of Dunkl-Hausdorff operator in Lebesgue spaces

abstract: In this paper, the $L^p_v(\R)$-boundedness of the Dunkl-Hausdorff operator $\displaystyle H_{\al,\phi} f(x)=\ent\frac{ |\phi(t)|}{|t|^{2\al+2}}f\lf(\frac{x}{t}\rh) dt $ has been characterized and for a certain type of weight $v$, the precise value of the norm $\|H_{\al,\phi}\|_{L^p_v(\R)\to L^p_v(\R)}$ has been obtained. This covers several of the existing results. Analogous results in two dimensions have also been proved.


title: Operator theory induced by powers of the de Branges-Rovnyak kernel and its application

abstract: In this note, we give a new property of de Branges-Rovnyak kernels. As the main theorem, it is shown that the exponential of de Branges-Rovnyak kernel is strictly positive definite if the inner part of the corresponding Schur class function is nontrivial.


title: Regulating human control over autonomous systems

abstract: In recent years, many sectors have experienced significant progress in automation, associated with the growing advances in artificial intelligence and machine learning. There are already automated robotic weapons, which are able to evaluate and engage with targets on their own, and there are already autonomous vehicles that do not need a human driver. It is argued that the use of increasingly autonomous systems (AS) should be guided by the policy of human control, according to which humans should execute a certain significant level of judgment over AS. While in the military sector there is a fear that AS could mean that humans lose control over life and death decisions, in the transportation domain, on the contrary, there is a strongly held view that autonomy could bring significant operational benefits by removing the need for a human driver. This article explores the notion of human control in the United States in the two domains of defense and transportation. The operationalization of emerging policies of human control results in the typology of direct and indirect human controls exercised over the use of AS. The typology helps to steer the debate away from the linguistic complexities of the term autonomy. It identifies instead where human factors are undergoing important changes and ultimately informs about more detailed rules and standards formulation, which differ across domains, applications, and sectors.


title: A graphical calculus for integration over random diagonal unitary matrices

abstract: We provide a graphical calculus for computing averages of tensor network diagrams with respect to the distribution of random vectors containing independent uniform complex phases. Our method exploits the order structure of the partially ordered set of uniform block permutations. A similar calculus is developed for random vectors consisting of independent uniform signs, based on the combinatorics of the partially ordered set of even partitions. We employ our method to extend some of the results by Johnston and MacLean on the family of local diagonal unitary invariant matrices. Furthermore, our graphical approach applies just as well to the real (orthogonal) case, where we introduce the notion of triplewise complete positivity to study the condition for separability of the relevant bipartite matrices. Finally, we analyze the twirling of linear maps between matrix algebras by independent diagonal unitary matrices, showcasing another application of our method.

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


title: Reconstructing Small Perturbations of an Obstacle for Acoustic Waves from Boundary Measurements on the Perturbed Shape Itself

abstract: We derive relationships between the shape deformation of an impenetrable obstacle and boundary measurements of scattering fields on the perturbed shape itself. Our derivation is rigourous by using systematic way, based on layer potential techniques and the field expansion (FE) method (formal derivation). We extend these techniques to derive asymptotic expansions of the Dirichlet-to-Neumann (DNO) and Neumann-to-Dirichlet (NDO) operators in terms of the small perturbations of the obstacle as well as relationships between the shape deformation of an obstacle and boundary measurements of DNO or NDO on the perturbed shape itself. All relationships lead us to very effective algorithms for determining lower-order Fourier coefficients of the shape perturbation of the obstacle.


title: Constraining the oblateness of transiting planets with photometry and spectroscopy

abstract: Rapid planetary rotation can cause the equilibrium shape of a planet to be oblate. While planetary oblateness has mostly been probed by examining the subtle ingress and egress features in photometric transit light curves, we investigate the effect of oblateness on the spectroscopic Rossiter-McLaughlin (RM) signals. We found that a giant planet, with planet-to-star radius ratio of 0.15 and Saturn-like oblateness of 0.098, can cause spectroscopic signatures with amplitudes up to 1.1 ms$^{-1}$ which is detectable by high-precision spectrographs such as ESPRESSO. We also found that the spectroscopic oblateness signals are particularly amplified for transits across rapidly rotating stars and for planets with spin-orbit misalignment thereby making them more prominent than the photometric signals at some transit orientations. We compared the detectability of oblateness in photometry and spectroscopy and found that photometric light curves are more sensitive to detecting oblateness than the spectroscopic RM signals mostly because they can be sampled with higher cadence to better probe the oblateness ingress and egress anomaly. However, joint analyses of the light curve and RM signal of a transiting planet provides more accurate and precise estimate of the planet's oblateness. Therefore, ESPRESSO alongside ongoing and upcoming photometric instruments such as TESS, CHEOPS, PLATO and JWST will be extremely useful in measuring planet oblateness.


title: Greenhouse Segmentation on High-Resolution Optical Satellite Imagery using Deep Learning Techniques

abstract: Greenhouse segmentation has pivotal importance for climate-smart agricultural land-use planning. Deep learning-based approaches provide state-of-the-art performance in natural image segmentation. However, semantic segmentation on high-resolution optical satellite imagery is a challenging task because of the complex environment. In this paper, a sound methodology is proposed for pixel-wise classification on images acquired by the Azersky (SPOT-7) optical satellite. In particular, customized variations of U-Net-like architectures are employed to identify greenhouses. Two models are proposed which uniquely incorporate dilated convolutions and skip connections, and the results are compared to that of the baseline U-Net model. The dataset used consists of pan-sharpened orthorectified Azersky images (red, green, blue,and near infrared channels) with 1.5-meter resolution and annotation masks, collected from 15 regions in Azerbaijan where the greenhouses are densely congested. The images cover the cumulative area of 1008 $km^2$ and annotation masks contain 47559 polygons in total. The $F_1, Kappa, AUC$, and $IOU$ scores are used for performance evaluation. It is observed that the use of the deconvolutional layers alone throughout the expansive path does not yield satisfactory results; therefore, they are either replaced or coupled with bilinear interpolation. All models benefit from the hard example mining (HEM) strategy. It is also reported that the best accuracy of $93.29\%$ ($F_1\,score$) is recorded when the weighted binary cross-entropy loss is coupled with the dice loss. Experimental results showed that both of the proposed models outperformed the baseline U-Net architecture such that the best model proposed scored $4.48\%$ higher in comparison to the baseline architecture.


title: Water-induced formation of an alkali-ion dimer in cryptomelane nanorods

abstract: Tunneled metal oxides such as $\alpha-$Mn$_8$O$_{16}$ (hollandite) have proven to be compelling candidates for charge-storage materials in high-density batteries. In particular, the tunnels can support one-dimensional chains of K$^+$ ions (which act as structure-stabilizing dopants) and H$_2$O molecules, as these chains are favored by strong H-bonds and electrostatic interactions. In this work, we examine the role of water molecules in enhancing the stability of K$^+$-doped $\alpha-$Mn$_8$O$_{16}$ (cryptomelane). The combined experimental and theoretical analyses show that for high enough concentrations of water and tunnel-ions, H$_2$O displaces K$^+$ ions from their natural binding sites. This displacement becomes energetically favorable due to the formation of K$_2^+$ dimers, thereby modifying the stoichiometric charge of the system. These findings have potentially significant technological implications for the consideration of cryptomelane as a Li$^+$/Na$^+$ battery electrode. Our work establishes the functional role of water in altering the energetics and structural properties of cryptomelane, an observation that has frequently been overlooked in previous studies.


title: Paradigm shift in diffusion-mediated surface phenomena

abstract: Diffusion-mediated surface phenomena are crucial for human life and industry, with examples ranging from oxygen capture by lung alveolar surface to heterogeneous catalysis, gene regulation, membrane permeation and filtration processes. Their current description via diffusion equations with mixed boundary conditions is limited to simple surface reactions with infinite or constant reactivity. In this letter, we propose a probabilistic approach based on the concept of boundary local time to investigate the intricate dynamics of diffusing particles near a reactive surface. Reformulating surface-particle interactions in terms of stopping conditions, we obtain in a unified way major diffusion-reaction characteristics such as the propagator, the survival probability, the first-passage time distribution, and the reaction rate. This general formalism allows us to describe new surface reaction mechanisms such as for instance surface reactivity depending on the number of encounters with the diffusing particle that can model the effects of catalyst fooling or membrane degradation. The disentanglement of the geometric structure of the medium from surface reactivity opens far-reaching perspectives for modeling, optimization and control of diffusion-mediated surface phenomena.


title: Detonation-induced transformation of graphite to hexagonal diamond

abstract: We explore the structural evolution of highly oriented pyrolytic graphite (HOPG) under detonation-induced shock conditions using in-situ synchrotron X-ray diffraction in the ns time scale. We observe the formation of hexagonal diamond (lonsdaleite) at pressures above 50 GPa, in qualitative agreement with recent gas gun experiments. First-principles density functional calculations reveal that under uniaxial compression the energy barrier for the transition towards hexagonal diamond is lower than cubic diamond. Finally, no indication of cubic diamond formation was observed up to >70 GPa.


title: Erratum: Primordial black hole origin for thermal gamma-ray bursts

abstract: This Erratum modifies the original article entitled "Primordial black hole origin for thermal gamma ray bursts", which was published in Monthly Notices of the Royal Astronomical Society 506, 806 (2021).


title: Simulating turbulent mixing caused by local instability of internal gravity waves

abstract: With the aim of assessing internal wave-driven mixing in the ocean, we develop a new technique for direct numerical simulations of stratified turbulence. Since the spatial scale of oceanic internal gravity waves is typically much larger than that of turbulence, fully incorporating both in a model would require a high computational cost, and is therefore out of our scope. Alternatively, we cut out a small domain periodically distorted by an unresolved large-scale internal wave and locally simulate the energy cascade to the smallest scales. In this model, even though the Froude number of the outer wave, $Fr$, is small such that density overturn or shear instability does not occur, a striped pattern of disturbance is exponentially amplified through a parametric subharmonic instability. When the disturbance amplitude grows sufficiently large, secondary instabilities arise and produce much smaller-scale fluctuations. Passing through these two stages, wave energy is transferred into turbulence energy and will be eventually dissipated. Different from the conventional scenarios of vertical shear-induced instabilities, a large part of turbulent potential energy is supplied from the outer wave and directly used for mixing. The mixing coefficient $\Gamma=\epsilon_P/\epsilon$, where $\epsilon$ is the dissipation rate of kinetic energy and $\epsilon_P$ is that of available potential energy, is always greater than 0.5 and tends to increase with $Fr$. Although our results are mostly consistent with the recently proposed scaling relationship between $\Gamma$ and the turbulent Froude number, $Fr_t$, the values of $\Gamma$ obtained here are larger by a factor of about two than previously reported.


title: Constrained crystals deep convolutional generative adversarial network for the inverse design of crystal structures

abstract: Autonomous materials discovery with desired properties is one of the ultimate goals for materials science, and the current studies have been focusing mostly on high-throughput screening based on density functional theory calculations and forward modelling of physical properties using machine learning. Applying the deep learning techniques, we have developed a generative model which can predict distinct stable crystal structures by optimizing the formation energy in the latent space. It is demonstrated that the optimization of physical properties can be integrated into the generative model as on-top screening or backwards propagator, both with their own advantages. Applying the generative models on the binary Bi-Se system reveals that distinct crystal structures can be obtained covering the whole composition range, and the phases on the convex hull can be reproduced after the generated structures are fully relaxed to the equilibrium. The method can be extended to multicomponent systems for multi-objective optimization, which paves the way to achieve the inverse design of materials with optimal properties.


title: Classification of Fano 4-folds with Lefschetz defect 3 and Picard number 5

abstract: Let X be a smooth, complex Fano 4-fold, and rho(X) its Picard number. If X contains a prime divisor D with rho(X)-rho(D)>2, then either X is a product of del Pezzo surfaces, or rho(X)=5 or 6. In this setting, we completely classify the case where rho(X)=5; there are 6 families, among which one is new. We also deduce the classification of Fano 4-folds with rho(X)>4 with an elementary divisorial contraction sending a divisor to a curve.


title: MetAL: Active Semi-Supervised Learning on Graphs via Meta Learning

abstract: The objective of active learning (AL) is to train classification models with less number of labeled instances by selecting only the most informative instances for labeling. The AL algorithms designed for other data types such as images and text do not perform well on graph-structured data. Although a few heuristics-based AL algorithms have been proposed for graphs, a principled approach is lacking. In this paper, we propose MetAL, an AL approach that selects unlabeled instances that directly improve the future performance of a classification model. For a semi-supervised learning problem, we formulate the AL task as a bilevel optimization problem. Based on recent work in meta-learning, we use the meta-gradients to approximate the impact of retraining the model with any unlabeled instance on the model performance. Using multiple graph datasets belonging to different domains, we demonstrate that MetAL efficiently outperforms existing state-of-the-art AL algorithms.


title: Zero-Dimensional Organic-Inorganic Hybrid Material with Ultra-Narrow-Red Emission at Room Temperature

abstract: Recently, low-dimensional organic-inorganic hybrid halide compounds have aroused great attention in the optoelectronic field, due to the unique topology and optical properties. Herein, we report an Mn4+ doped [N(CH3)4]2TiF6 zero-dimensional organic-inorganic hybrid phosphor, which could not only exhibit very narrow and pure red emission, but also maintain efficient emission intensity at room temperature. The crystal structure, photoluminescence properties and temperature sensing application are discussed. The excellent temperature dependent luminescent properties are attributed to the rigid structure and isolated MnF62- octahedra in the total crystal framework. These results will help design suitable materials and devices in both warm white light emitting diodes and optical sensors.


title: Static Rashba Effect by Surface Reconstruction and Photon Recycling in the Dynamic Indirect Gap of APbBr3 (A = Cs, CH3NH3) Single Crystals

abstract: Recently, halide perovskites have gained significant attention from the perspective of efficient spintronics owing to Rashba effect. This effect occurs as a consequence of strong spin-orbit coupling under noncentrosymmetric environment, which can be dynamic and/or static. However, there exist intense debates on the origin of broken inversion symmetry since the halide perovskites typically crystallize into a centrosymmetric structure. In order to clarify the issue, we examine both dynamic and static effects in the all-inorganic CsPbBr3 and organic-inorganic CH3NH3PbBr3 (MAPbBr3) perovskite single crystals by employing temperature- and polarization-dependent photoluminescence excitation spectroscopy. The perovskite single crystals manifest the dynamic effect by photon recycling in the indirect Rashba gap, causing dual peaks in the photoluminescence. But the effect vanishes in CsPbBr3 at low temperatures (< 50 K), accompanied by a striking color change of the crystal, arising presumably from lower degrees of freedom for inversion symmetry breaking associated with the thermal motion of the spherical Cs cation, compared with the polar MA cation in MAPbBr3. We also show that static Rashba effect occurs only in MAPbBr3 below 90 K due to surface reconstruction via MA-cation ordering, which likely extends across a few layers from the crystal surface to the interior. We further demonstrate that this static Rashba effect can be completely suppressed upon surface treatment with poly methyl methacrylate (PMMA) coating. We believe that our results provide a rationale for the Rashba effects in halide perovskites.


title: Collaborative Localization of Aerial and Ground Mobile Robots through Orthomosaic Map

abstract: With the deepening of research on the SLAM system, the possibility of cooperative SLAM with multi-robots has been proposed. This paper presents a map matching and localization approach considering the cooperative SLAM of an aerial-ground system. The proposed approach aims to help precisely matching the map constructed by two independent systems that have large scale variance of viewpoints of the same route and eventually enables the ground mobile robot to localize itself in the global map given by the drone. It contains dense mapping with Elevation Map and software "Metashape", map matching with a proposed template matching algorithm, weighted normalized cross-correlation (WNCC) and localization with particle filter. The approach enables map matching for cooperative SLAM with the feasibility of multiple scene sensors, varies from stereo cameras to lidars, and is insensitive to the synchronization of the two systems. We demonstrate the accuracy, robustness, and the speed of the approach under experiments of the Aero-Ground Dataset.


title: A Single Gyrotropic Particle as a Heat Engine

abstract: We demonstrate that the system composed of a gyrotropic particle out of thermal equilibrium with vacuum can be regarded as a heat engine. Such a particle, initially at rest, will experience a fluctuation-induced torque and start to rotate, producing mechanical work out from the temperature difference of the particle and its environment. We rigorously prove that the efficiency of the heat engine is tightly bound by the Carnot efficiency. We also predict that, such an engine can be constructed using a heavily-doped semiconductor nanoparticle under magnetic field, and moreover the particle can reach at a steady-state rotating frequency in the order of terahertz solely due to thermal fluctuations.


title: Graded Hoare Logic and its Categorical Semantics

abstract: Deductive verification techniques based on program logics (i.e., the family of Floyd-Hoare logics) are a powerful approach for program reasoning. Recently, there has been a trend of increasing the expressive power of such logics by augmenting their rules with additional information to reason about program side-effects. For example, general program logics have been augmented with cost analyses, logics for probabilistic computations have been augmented with estimate measures, and logics for differential privacy with indistinguishability bounds. In this work, we unify these various approaches via the paradigm of grading, adapted from the world of functional calculi and semantics. We propose Graded Hoare Logic (GHL), a parameterisable framework for augmenting program logics with a preordered monoidal analysis. We develop a semantic framework for modelling GHL such that grading, logical assertions (pre- and post-conditions) and the underlying effectful semantics of an imperative language can be integrated together. Central to our framework is the notion of a graded category which we extend here, introducing graded Freyd categories which provide a semantics that can interpret many examples of augmented program logics from the literature. We leverage coherent fibrations to model the base assertion language, and thus the overall setting is also fibrational.


title: Koopman Operator and Phase Space Partition of Chaotic Maps

abstract: Koopman operator describes evolution of observables in the phase space, which could be used to extract characteristic dynamical features of a nonlinear system. Here, we show that it is possible to carry out interesting symbolic partitions based on properly constructed eigenfunctions of the operator for chaotic maps. The partition boundaries are the extrema of these eigenfunctions, the accuracy of which is improved by including more basis functions in the numerical computation. The validity of this scheme is demonstrated in well-known 1-d and 2-d maps. It seems no obstacle to extend the computation to nonlinear systems of high dimensions, which provides a possible way of dissecting complex dynamics.


title: Comment on "Quasielastic lepton scattering and back-to-back nucleons in the short-time approximation", by S. Pastore et al

abstract: The article of Pastore et al, while proposing an interesting and potentially useful approach for the generalisation of Quantum Monte Carlo techniques to the treatment of the nuclear electromagnetic response, features an incorrect and misleading discussion of y-scaling. The response to interactions with transversely polarised virtual photons receives sizeable contributions from non-scaling processes, in which the momentum transfer is shared between two nucleons. It follows that, contrary to what is stated by the the authors, y-scaling in the transverse channel is accidental.


title: Comment on: "Spin-orbit interaction and spin selectivity for tunneling electron transfer in DNA"

abstract: The observation of chiral-induced spin selectivity (CISS) in biological molecules still awaits a full theoretical explanation. In a recent Rapid Communication, Varela et al. [Phys. Rev. B 101, 241410(R) (2020)] presented a model for electron transport in biological molecules by tunneling in the presence of spin-orbit interactions. They then claimed that their model produces a strong spin asymmetry due to the intrinsic atomic spin-orbit strength. As their Hamiltonian is time-reversal symmetric, this result contradicts a theorem by Bardarson [J. Phys. A: Math. Theor. 41, 405203 (2008)], which states that such a Hamiltonian cannot generate a spin asymmetry for tunneling between two terminals (in which there are only a spin-up and a spin-down channels). Here we solve the model proposed by Varela et al. and show that it does not yield any spin asymmetry, and therefore cannot explain the observed CISS effect.


title: Sixth post-Newtonian nonlocal-in-time dynamics of binary systems

abstract: We complete our previous derivation, at the sixth post-Newtonian (6PN) accuracy, of the local-in-time dynamics of a gravitationally interacting two-body system by giving two gauge-invariant characterizations of its complementary nonlocal-in-time dynamics. On the one hand, we compute the nonlocal part of the scattering angle for hyberboliclike motions; and, on the other hand, we compute the nonlocal part of the averaged (Delaunay) Hamiltonian for ellipticlike motions. The former is computed as a large-angular-momentum expansion (given here to next-to-next-to-leading order), while the latter is given as a small-eccentricity expansion (given here to the tenth order). We note the appearance of $\zeta(3)$ in the nonlocal part of the scattering angle. The averaged Hamiltonian for ellipticlike motions then yields two more gauge-invariant observables: the energy and the periastron precession as functions of orbital frequencies. We point out the existence of a hidden simplicity in the mass-ratio dependence of the gravitational-wave energy loss of a two-body system.


title: Edge-aware Graph Representation Learning and Reasoning for Face Parsing

abstract: Face parsing infers a pixel-wise label to each facial component, which has drawn much attention recently. Previous methods have shown their efficiency in face parsing, which however overlook the correlation among different face regions. The correlation is a critical clue about the facial appearance, pose, expression etc., and should be taken into account for face parsing. To this end, we propose to model and reason the region-wise relations by learning graph representations, and leverage the edge information between regions for optimized abstraction. Specifically, we encode a facial image onto a global graph representation where a collection of pixels ("regions") with similar features are projected to each vertex. Our model learns and reasons over relations between the regions by propagating information across vertices on the graph. Furthermore, we incorporate the edge information to aggregate the pixel-wise features onto vertices, which emphasizes on the features around edges for fine segmentation along edges. The finally learned graph representation is projected back to pixel grids for parsing. Experiments demonstrate that our model outperforms state-of-the-art methods on the widely used Helen dataset, and also exhibits the superior performance on the large-scale CelebAMask-HQ and LaPa dataset. The code is available at https://github.com/tegusi/EAGRNet.


title: Dynamic Independent Component/Vector Analysis: Time-Variant Linear Mixtures Separable by Time-Invariant Beamformers

abstract: A novel extension of Independent Component and Independent Vector Analysis for blind extraction/separation of one or several sources from time-varying mixtures is proposed. The mixtures are assumed to be separable source-by-source in series or in parallel based on a recently proposed mixing model that allows for the movements of the desired source while the separating beamformer is time-invariant. The popular FastICA algorithm is extended for these mixtures in one-unit, symmetric and block-deflation variants. The algorithms are derived within a unified framework so that they are applicable in the real-valued as well as complex-valued domains, and jointly to several mixtures, similar to Independent Vector Analysis. Performance analysis of the one-unit algorithm is provided; it shows its asymptotic efficiency under the given mixing and statistical models. Numerical simulations corroborate the validity of the analysis, confirm the usefulness of the algorithms in separation of moving sources, and show the superior speed of convergence and ability to separate super-Gaussian as well as sub-Gaussian signals.


title: Pure Discrete Spectrum and Regular Model Sets in Unimodular Substitution Tilings on R^d

abstract: We consider primitive substitution tilings on R^d whose expansion maps are unimodular. We assume that all the eigenvalues of the expansion maps are algebraic conjugates with the same multiplicity. In this case, we can construct a cut-and-project scheme with a Euclidean internal space. Under some additional condition, we show that if the substitution tiling has pure discrete spectrum, then the corresponding representative point sets are regular model sets in that cut-and-project scheme.


title: Current production in ring condensates with a weak link

abstract: We consider attractive and repulsive condensates in a ring trap stirred by a weak link, and analyze the spectrum of solitonic trains dragged by the link, by means of analytical expressions for the wave functions, energies and currents. The precise evolution of current production and destruction in terms of defect formation in the ring and in terms of stirring is studied. We find that any excited state can be coupled to the ground state through two proposed methods: either by adiabatically tuning the link's strength and velocity through precise cycles which avoid the critical velocities and thus unstable regions, or by keeping the link still while setting an auxiliary potential and imprinting a nonlinear phase as the potential is turned off. We also analyze hysteresis cycles through the spectrum of energies and currents.


title: Impact of Li$_{2.9}$B$_{0.9}$S$_{0.1}$O$_{3.1}$ glass additive on the structure and electrical properties of the LATP-based ceramics

abstract: The existing solid electrolytes for lithium ion batteries suffer from low total ionic conductivity, which restricts its usefulness for the lithium-ion battery technology. Among them, the NASICON-based materials, such as Li1.3Al0.3Ti1.7(PO4)3 (LATP) exhibit low total ionic conductivity due to highly resistant grain boundary phase. One of the possible approaches to efficiently enhance their total ionic conductivity is the formation of a composite material. Herein, the Li2.9B0.9S0.1O3.1 glass, called LBSO hereafter, was chosen as an additive material to improve the ionic properties of the ceramic Li1.3Al0.3Ti1.7(PO4)3 base material. The properties of this Li1.3Al0.3Ti1.7(PO4)3-xLi2.9B0.9S0.1O3.1 (0 < x < 0.3) system have been studied by means of high temperature X-ray diffractometry (HTXRD), 7Li, 11B, 27Al and 31P magic angle spinning nuclear magnetic resonance spectroscopy (MAS NMR), thermogravimetry (TG), scanning electron microscopy (SEM), impedance spectroscopy (IS) and density methods. We show here that the introduction of the foreign LBSO phase enhances their electric properties. This study reveals several interesting correlations between the apparent density, the microstructure, the composition, the sintering temperature and the ionic conductivity. Moreover, the electrical properties of the composites will be discussed in the terms of the brick-layer model (BLM). The highest value of {\sigma}tot = 1.5 x 10-4 Scm-1 has been obtained for LATP-0.1LBSO material sintered at 800{\deg}C.


title: Learnable Descent Algorithm for Nonsmooth Nonconvex Image Reconstruction

abstract: We propose a general learning based framework for solving nonsmooth and nonconvex image reconstruction problems. We model the regularization function as the composition of the $l_{2,1}$ norm and a smooth but nonconvex feature mapping parametrized as a deep convolutional neural network. We develop a provably convergent descent-type algorithm to solve the nonsmooth nonconvex minimization problem by leveraging the Nesterov's smoothing technique and the idea of residual learning, and learn the network parameters such that the outputs of the algorithm match the references in training data. Our method is versatile as one can employ various modern network structures into the regularization, and the resulting network inherits the guaranteed convergence of the algorithm. We also show that the proposed network is parameter-efficient and its performance compares favorably to the state-of-the-art methods in a variety of image reconstruction problems in practice.


title: Fragments-Expert: A Graphical User Interface MATLAB Toolbox for Classification of File Fragments

abstract: The classification of file fragments of various file formats is an essential task in various applications such as firewalls, intrusion detection systems, anti-viruses, web content filtering, and digital forensics. However, the community lacks a suitable software tool that can integrate major methods for feature extraction from file fragments and classification among various file formats. In this paper, we present Fragments-Expert that is a graphical user interface MATLAB toolbox for the classification of file fragments. It provides users with 22 categories of features extracted from file fragments. These features can be employed by 7 categories of machine learning algorithms for the task of classification among various file formats.


title: A material decomposition method for dual-energy CT via dual interactive Wasserstein generative adversarial networks

abstract: Dual-energy computed tomography has great potential in material characterization and identification, whereas the reconstructed material-specific images always suffer from magnified noise and beam hardening artifacts. In this study, a data-driven approach using dual interactive Wasserstein generative adversarial networks is proposed to improve the material decomposition accuracy. Specifically, two interactive generators are used to synthesize the corresponding material images and different loss functions for training the decomposition model are incorporated to preserve texture and edges in the generated images. Besides, a selector is employed to ensure the modelling ability of two generators. The results from both the simulation phantoms and real data demonstrate the advantages of this method in suppressing the noise and beam hardening artifacts.


title: Irregular Hodge numbers for rigid $G_2$-connections

abstract: Certain rigid irregular $G_2$-connections constructed by the first-named author are related via pullbacks along a finite covering and Fourier transform to rigid local systems on a punctured projective line. This kind of property was first observed by Katz for hypergeometric connections and used by Sabbah and Yu to compute irregular Hodge filtrations for hypergeometric connections. This strategy can also be applied to the aforementioned $G_2$-connections and we compute jumping indices and dimensions for their irregular Hodge filtrations.


title: Crossings and nestings over some Motzkin objects and $q$-Motzkin numbers

abstract: We examine the enumeration of certain Motzkin objects according to the numbers of crossings and nestings. With respect to continued fractions, we compute and express the distributions of the statistics of the numbers of crossings and nestings over three sets, namely the set of $4321$-avoiding involutions, the set of $3412$-avoiding involutions, and the set of $(321,3\bar{1}42)$-avoiding permutations. To get our results, we exploit the bijection of Biane restricted to the sets of $4321$- and $3412$-avoiding involutions which was characterized by Barnabei et al.~ and the bijection between $(321,3\bar{1}42)$-avoiding permutations and Motzkin paths, presented by Chen et al.~. Furthermore, we manipulate the obtained continued fractions to get the recursion formulas for the polynomial distributions of crossings and nestings, and it follows that the results involve two new $q$-Motzkin numbers.


title: FASTSWARM: A Data-driven FrAmework for Real-time Flying InSecT SWARM Simulation

abstract: Insect swarms are common phenomena in nature and therefore have been actively pursued in computer animation. Realistic insect swarm simulation is difficult due to two challenges: high-fidelity behaviors and large scales, which make the simulation practice subject to laborious manual work and excessive trial-and-error processes. To address both challenges, we present a novel data-driven framework, FASTSWARM, to model complex behaviors of flying insects based on real-world data and simulate plausible animations of flying insect swarms. FASTSWARM has a linear time complexity and achieves real-time performance for large swarms. The high-fidelity behavior model of FASTSWARM explicitly takes into consideration the most common behaviors of flying insects, including the interactions among insects such as repulsion and attraction, the self-propelled behaviors such as target following and obstacle avoidance, and other characteristics such as the random movements. To achieve scalability, an energy minimization problem is formed with different behaviors modelled as energy terms, where the minimizer is the desired behavior. The minimizer is computed from the real-world data, which ensures the plausibility of the simulation results. Extensive simulation results and evaluations show that FASTSWARM is versatile in simulating various swarm behaviors, high fidelity measured by various metrics, easily controllable in inducing user controls and highly scalable.


title: First principles investigation on anomalous lattice shrinkage of W alloyed rock salt GeTe

abstract: According to Vegard's law, larger radius atoms substitute for smaller atoms in a solid solution would enlarge the lattice parameters. However, by first-principles calculations, we have observed unusual lattice shrinkage when W replaces Ge in rock salt GeTe. We attribute this anomalous contract to the larger electronegativity difference between W and Te than between Ge and Te, which results in shorter W-Te bonds and pronounced local distortion around W dopants. The present work would provide new insight into the lattice parameter determination and a deeper understanding of the structural properties of ternary solid solutions.


title: Electron-Energy Loss of Ultraviolet Plasmonic Modes in Aluminum Nanodisks

abstract: We theoretically investigated electron energy loss spectroscopy (EELS) of ultraviolet surface plasmon modes in aluminum nanodisks. Using full-wave simulations, we studied the impact of diameter on the resonant modes of the nanodisks. We found that the mode behavior can be separately classified for two distinct cases: (1) flat nanodisks where the diameter is much less than the thickness; and (2) thick nanodisks where the diameter is comparable to the thickness. While the multipolar edge modes and breathing modes of flat nanostructures have previously been interpreted using intuitive, analytical models based on surface plasmon polariton (SPP) modes of a thin-film stack, it has been found that the true dispersion relation of the multipolar edge modes deviates significantly from the SPP dispersion relation. Here, we developed a modified intuitive model that uses effective wavelength theory to accurately model this dispersion relation with significantly less computational overhead compared to full-wave electromagnetic simulations. However, for the case of thick nanodisks, this effective wavelength theory breaks down, and such intuitive models are no longer viable. We found that this is because some modes of the thick nanodisks carry a polar (i.e. out of the substrate plane, or along the electron beam direction) dependence and cannot be simply categorized as radial breathing modes or angular (azimuthal) multipolar edge modes. This polar dependence leads to radiative losses, motivating the use of simultaneous EELS and cathodoluminescence measurements when experimentally investigating the complex mode behavior of thick nanostructures.


title: Gas adsorption effects on electronic and magnetic properties of triangular graphene antidot lattices

abstract: The adsorption effects of small molecules (H$_{2}$O, CO, NH$_{3}$, NO$_{2}$) and large molecules (Tetracyanoquinodimethane (TCNQ) and Tetrafluoro-tetracyanoquinodimethane (F4TCNQ)) on electronic and magnetic properties of two triangular graphene antidot lattices (GALs), $[10,3,6]_{RTA}$ and $[10, 5]_{ETA}$, are investigated by means of first-principles calculations. We find that CO, NO$_{2}$, TCNQ, and F4TCNQ molecules are chemisorbed by both antidots, whereas NH$_{3}$ is physisorbed (chemisorbed) by $[10, 5]_{ETA}$ ($[10,3,6]_{RTA}$) structure. H$_{2}$O, CO, NH$_{3}$ molecules reveal no significant effect on electronic and magnetic properties of these antidot structures. The adsorbed NO$_{2}$ molecules affect the energy gap of GALs by changing their electronic structure from semiconducting to half-metal nature. This suggests that both GALs can act as efficient NO$_{2}$ sensors. The adsorption of TCNQ and F4TCNQ molecules on GALs induces flat bands in the vicinity of the Fermi energy and also turn the electronic structure of antidot lattices to half-metallicity. Among the small and large molecules, NO$_{2}$ molecules induce the most total magnetic moment, paving the way to make magnetic GAL-based devices.


title: Topological groups with invariant linear spans

abstract: Given a topological group $G$ that can be embedded as a topological subgroup into some topological vector space (over the field of reals) we say that $G$ has invariant linear span if all linear spans of $G$ under arbitrary embeddings into topological vector spaces are isomorphic as topological vector spaces. For an arbitrary set $A$ let $\mathbb{Z}^{(A)}$ be the direct sum of $|A|$-many copies of the discrete group of integers endowed with the Tychonoff product topology. We show that the topological group $\mathbb{Z}^{(A)}$ has invariant linear span. This answers a question of D. Dikranjan et al. in positive. We prove that given a non-discrete sequential space $X$, the free abelian topological group $A(X)$ over $X$ is an example of a topological group that embeds into a topological vector space but does not have invariant linear span.


title: DeepCLR: Correspondence-Less Architecture for Deep End-to-End Point Cloud Registration

abstract: This work addresses the problem of point cloud registration using deep neural networks. We propose an approach to predict the alignment between two point clouds with overlapping data content, but displaced origins. Such point clouds originate, for example, from consecutive measurements of a LiDAR mounted on a moving platform. The main difficulty in deep registration of raw point clouds is the fusion of template and source point cloud. Our proposed architecture applies flow embedding to tackle this problem, which generates features that describe the motion of each template point. These features are then used to predict the alignment in an end-to-end fashion without extracting explicit point correspondences between both input clouds. We rely on the KITTI odometry and ModelNet40 datasets for evaluating our method on various point distributions. Our approach achieves state-of-the-art accuracy and the lowest run-time of the compared methods.


title: Improving Monocular Depth Estimation by Leveraging Structural Awareness and Complementary Datasets

abstract: Monocular depth estimation plays a crucial role in 3D recognition and understanding. One key limitation of existing approaches lies in their lack of structural information exploitation, which leads to inaccurate spatial layout, discontinuous surface, and ambiguous boundaries. In this paper, we tackle this problem in three aspects. First, to exploit the spatial relationship of visual features, we propose a structure-aware neural network with spatial attention blocks. These blocks guide the network attention to global structures or local details across different feature layers. Second, we introduce a global focal relative loss for uniform point pairs to enhance spatial constraint in the prediction, and explicitly increase the penalty on errors in depth-wise discontinuous regions, which helps preserve the sharpness of estimation results. Finally, based on analysis of failure cases for prior methods, we collect a new Hard Case (HC) Depth dataset of challenging scenes, such as special lighting conditions, dynamic objects, and tilted camera angles. The new dataset is leveraged by an informed learning curriculum that mixes training examples incrementally to handle diverse data distributions. Experimental results show that our method outperforms state-of-the-art approaches by a large margin in terms of both prediction accuracy on NYUDv2 dataset and generalization performance on unseen datasets.


title: Deep-VFX: Deep Action Recognition Driven VFX for Short Video

abstract: Human motion is a key function to communicate information. In the application, short-form mobile video is so popular all over the world such as Tik Tok. The users would like to add more VFX so as to pursue creativity and personlity. Many special effects are added on the short video platform. These gives the users more possibility to show off these personality. The common and traditional way is to create the template of VFX. However, in order to synthesis the perfect, the users have to tedious attempt to grasp the timing and rhythm of new templates. It is not easy-to-use especially for the mobile app. This paper aims to change the VFX synthesis by motion driven instead of the traditional template matching. We propose the AI method to improve this VFX synthesis. In detail, in order to add the special effect on the human body. The skeleton extraction is essential in this system. We also propose a novel form of LSTM to find out the user's intention by action recognition. The experiment shows that our system enables to generate VFX for short video more easier and efficient.


title: Asymptotic relative submajorization of multiple-state boxes

abstract: Pairs of states, or "boxes" are the basic objects in the resource theory of asymmetric distinguishability (Wang and Wilde, 2019), where free operations are arbitrary quantum channels that are applied to both states. From this point of view, hypothesis testing is seen as a process by which a standard form of distinguishability is distilled. Motivated by the more general problem of quantum state discrimination, we consider boxes of a fixed finite number of states and study an extension of the relative submajorization preorder to such objects. In this relation a tuple of positive operators is greater than another if there is a completely positive trace nonincreasing map under which the image of the first tuple satisfies certain semidefinite constraints relative to the other one. This preorder characterizes error probabilities in the case of testing a composite null hypothesis against a simple alternative hypothesis, as well as certain error probabilities in state discrimination. We present a sufficient condition for the existence of catalytic transformations between boxes, and a characterization of an associated asymptotic preorder, both expressed in terms of sandwiched R\'enyi divergences. This characterization of the asymptotic preorder directly shows that the strong converse exponent for a composite null hypothesis is equal to the maximum of the corresponding exponents for the pairwise simple hypothesis testing tasks.


title: Adversarial Training Reduces Information and Improves Transferability

abstract: Recent results show that features of adversarially trained networks for classification, in addition to being robust, enable desirable properties such as invertibility. The latter property may seem counter-intuitive as it is widely accepted by the community that classification models should only capture the minimal information (features) required for the task. Motivated by this discrepancy, we investigate the dual relationship between Adversarial Training and Information Theory. We show that the Adversarial Training can improve linear transferability to new tasks, from which arises a new trade-off between transferability of representations and accuracy on the source task. We validate our results employing robust networks trained on CIFAR-10, CIFAR-100 and ImageNet on several datasets. Moreover, we show that Adversarial Training reduces Fisher information of representations about the input and of the weights about the task, and we provide a theoretical argument which explains the invertibility of deterministic networks without violating the principle of minimality. Finally, we leverage our theoretical insights to remarkably improve the quality of reconstructed images through inversion.


title: Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy

abstract: This volume contains the proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020), co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020). AREA brings together researchers from autonomous agents, software engineering and robotic communities, as combining knowledge coming from these research areas may lead to innovative approaches that solve complex problems related with the verification and validation of autonomous robotic systems.


title: Contact-Implicit Trajectory Optimization using an Analytically Solvable Contact Model for Locomotion on Variable Ground

abstract: This paper presents a novel contact-implicit trajectory optimization method using an analytically solvable contact model to enable planning of interactions with hard, soft, and slippery environments. Specifically, we propose a novel contact model that can be computed in closed-form, satisfies friction cone constraints and can be embedded into direct trajectory optimization frameworks without complementarity constraints. The closed-form solution decouples the computation of the contact forces from other actuation forces and this property is used to formulate a minimal direct optimization problem expressed with configuration variables only. Our simulation study demonstrates the advantages over the rigid contact model and a trajectory optimization approach based on complementarity constraints. The proposed model enables physics-based optimization for a wide range of interactions with hard, slippery, and soft grounds in a unified manner expressed by two parameters only. By computing trotting and jumping motions for a quadruped robot, the proposed optimization demonstrates the versatility for multi-contact motion planning on surfaces with different physical properties.


title: Teachers' perception of Jupyter and R Shiny as digital tools for open education and science

abstract: During the last ten years advances in open-source digital technology, used especially by data science, led to very accessible ways how to obtain, store, process, analyze or share data in almost every human activity. Data science tools bring not only transparency, accessibility, and reproducibility in open science, but also give benefits in open education as learning tools for improving effectiveness of instruction. Together with our pedagogical introduction and review of Jupyter as an interactive multimedia learning tool, we present our three-years long research in the framework of a complex mixed-methods approach which examines physics teachers' perception of Jupyter technology in three groups: Ph.D. candidates in physics education research (PER) ($N = 9$), pre-service physics teachers ($N = 33$) and in-service physics teachers ($N = 40$). Despite the fact that open-source Jupyter notebooks are natural and easy as email or web, the results suggest that in-service teachers are not prepared for Jupyter technology and open analysis, but positively accept open education data presented via another open-source data science tool, R Shiny interactive web application, as an important form of immediate feedback and learning about the quality of their instruction. Simultaneously our instruction results in the frame of the Flipped Learning also indicate that young beginning PER researchers and pre-service physics teachers can master key digital skills to work with Jupyter technology appreciating its big impact on their learning, data and statistical literacy or professional development. All results support the ongoing worldwide effort to implement Jupyter in traditional education as a promising free open-source interactive learning tool to foster learning process, especially for the upcoming young generation.


title: Synchronized Fractionation and Phase Separation in Binary Colloids

abstract: Fractionation is necessary for self-assembly in multicomponent mixtures. Here, reversible fractionation and crystallization are realized and studied in a two-dimensional binary colloids which is supersaturated by enhancing the attraction between colloidal particles. As a deep and fast supersaturation results in gels with a uniform distribution of binary particles, a gradual quasistatic supersaturating process leads to a two-step crystallization in which small particles and large particles are fractionated as coexisting crystal and liquid phases respectively. Fractionation occurs as well in the quasistatic melting of gel. We show that the synchronized fractionation and phase separation arises from the competition between the size-dependent repulsion and the tunable attraction. The results in this study demonstrate a robust mechanism of fractionation via phase separation, and have important implication in understanding the reversible formation of membraneless organelles in living cells.


title: Orbital period modulation in hot Jupiter systems

abstract: We introduce a model for the orbital period modulation in systems with close-by giant planets based on a spin-orbit coupling that transfers angular momentum from the orbit to the rotation of the planet and viceversa. The coupling is produced by a permanent non-axisymmetric gravitational quadrupole moment assumed to be present in the solid core of the planet. We investigate two regimes of internal planetary rotation, that is, when the planet rotates rigidly and when the rotation of its deep interior is time dependent as a consequence of a vacillating or intermittent convection in its outer shell. The model is applied to a sample of very hot Jupiters predicting maximum transit-time deviations from a constant-period ephemeris of approximately 50 seconds in the case of rigid rotation. The transit time variations of WASP-12, currently the only system showing evidence of a non-constant period, cannot be explained by assuming rigid rotation, but can be modelled in the time-dependent internal rotation regime, thus providing an alternative to their interpretation in terms of a tidal decay of the planet orbit.


title: Mid infrared polarization engineering via sub-wavelength biaxial hyperbolic van der Waals crystals

abstract: Recently, in-plane biaxial hyperbolicity has been observed in $\alpha$-MoO${_3}$ --a van der Waal crystal-- in the mid-infrared frequency regime. Here, we present a comprehensive theoretical analysis of thin film $\alpha$-MoO${_3}$ for application to two mid-IR photonic devices -- a polarizer and a waveplate. We show the possibility of a significant reduction in the device footprint while maintaining an enormous extinction ratio from $\alpha$-MoO${_3}$ based polarizers in comparison with that of conventional polarizers. Secondly, we carry out device optimization of $\alpha$-MoO${_3}$ based waveplates with subwavelength thickness. We explain our results using natural in-plane hyperbolicity of $\alpha$-MoO${_3}$ via analytical and full wave simulations. This work will build a foundation for miniaturization of mid-infrared photonic devices by exploiting the optical anisotropy of $\alpha$-MoO${_3}$.


title: High Resolution Infrared Spectroscopy of Hot Molecular Gas in AFGL 2591 and AFGL 2136: Accretion in the Inner Regions of Disks Around Massive Young Stellar Objects

abstract: We have performed a high resolution 4-13 ${\mu}m$ spectral survey of the hot molecular gas associated with the massive protostars AFGL 2591 and AFGL 2136, utilising the Echelon-Cross-Echelle-Spectrograph (EXES) on-board the Stratospheric Observatory for Infrared Astronomy (SOFIA), and the iSHELL instrument and Texas Echelon Cross Echelle Spectrograph (TEXES) on the NASA Infrared Telescope Facility (IRTF). Here we present results of this survey with analysis of CO, HCN, C$_2$H$_2$, NH$_3$ and CS, deriving the physical conditions for each species. Also from the IRTF, iSHELL data at 3 ${\mu}m$ for AFGL 2591 are presented that show HCN and C$_2$H$_2$ in emission. In the EXES and TEXES data, all species are detected in absorption, and temperatures and abundances are found to be high (600 K and 10$^{-6}$, respectively). Differences of up to an order of magnitude in the abundances of transitions that trace the same ground state level are measured for HCN and C$_2$H$_2$. The mid-infrared continuum is known to originate in a disk, hence we attribute the infrared absorption to arise in the photosphere of the disk. As absorption lines require an outwardly decreasing temperature gradient, we conclude that the disk is heated in the mid-plane by viscous heating due to accretion. We attribute the near-IR emission lines to scattering by molecules in the upper layers of the disk photosphere. The absorption lines trace the disk properties at 50 AU where a high temperature gas-phase chemistry is taking place. Abundances are consistent with chemical models of the inner disk of Herbig disks.


title: Affine category O, Koszul duality and Zuckerman functors

abstract: The parabolic category $\mathcal{O}$ for affine ${\mathfrak{gl}}_N$ at level $-N-e$ admits a structure of a categorical representation of $\widetilde{\mathfrak{sl}}_e$ with respect to some endofunctors $E$ and $F$. This category contains a smaller category $\mathbf{A}$ that categorifies the higher level Fock space. We prove that the functors $E$ and $F$ in the category $\mathbf{A}$ are Koszul dual to Zuckerman functors. The key point of the proof is to show that the functor $F$ for the category $\mathbf{A}$ at level $-N-e$ can be decomposed in terms of the components of the functor $F$ for the category $\mathbf{A}$ at level $-N-e-1$. To prove this, we use the following fact: a category with an action of $\widetilde{\mathfrak sl}_{e+1}$ contains a (canonically defined) subcategory with an action of $\widetilde{\mathfrak sl}_{e}$. We also prove a general statement that says that in some general situation a functor that satisfies a list of axioms is automatically Koszul dual to some sort of Zuckerman functor.


title: Sensor-Based Continuous Hand Gesture Recognition by Long Short-Term Memory

abstract: This article aims to present a novel sensor-based continuous hand gesture recognition algorithm by long short-term memory (LSTM). Only the basic accelerators and/or gyroscopes are required by the algorithm. Given a sequence of input sensory data, a many-to-many LSTM scheme is adopted to produce an output path. A maximum a posteriori estimation is then carried out based on the observed path to obtain the final classification results. A prototype system based on smartphones has been implemented for the performance evaluation. Experimental results show that the proposed algorithm is an effective alternative for robust and accurate hand-gesture recognition.


title: Structure-Preserving Interpolation for Model Reduction of Parametric Bilinear Systems

abstract: In this paper, we present an interpolation framework for structure-preserving model order reduction of parametric bilinear dynamical systems. We introduce a general setting, covering a broad variety of different structures for parametric bilinear systems, and then provide conditions on projection spaces for the interpolation of structured subsystem transfer functions such that the system structure and parameter dependencies are preserved in the reduced-order model. Two benchmark examples with different parameter dependencies are used to demonstrate the theoretical analysis.

categories: math.NA cs.NA cs.SY eess.SY math.DS math.OC


title: Dynamic Pooled Capacity Deployment for Urban Parcel Logistics

abstract: Last-mile logistics is regarded as an essential yet highly expensive component of parcel logistics. In dense urban environments, this is partially caused by inherent inefficiencies due to traffic congestion and the disparity and accessibility of customer locations. In parcel logistics, access hubs are facilities supporting relay-based last-mile activities by offering temporary storage locations enabling the decoupling of last-mile activities from the rest of the urban distribution chain. This paper focuses on a novel tactical problem: the geographically dynamic deployment of pooled relocatable storage capacity modules in an urban parcel network operating under space-time uncertainty. In particular, it proposes a two-stage stochastic optimization model for the access hub dynamic pooled capacity deployment problem with synchronization of underlying operations through travel time estimates, and a solution approach based on a rolling horizon algorithm with lookahead and a benders decomposition able to solve large scale instances of a real-sized megacity. Numerical results, inspired by the case of a large parcel express carrier, are provided to evaluate the computational performance of the proposed approach and suggest up to 28% last-mile cost savings and 26% capacity savings compared to a static capacity deployment strategy.


title: Fluctuations of linear statistics for Gaussian perturbations of the lattice $\mathbb{Z}^d$

abstract: We study the point process $W$ in $\mathbb{R}^d$ obtained by adding an independent Gaussian vector to each point in $\mathbb{Z}^d$. Our main concern is the asymptotic size of fluctuations of the linear statistics in the large volume limit, defined as \[ N(h,R) = \sum_{w\in W} h\left(\frac{w}{R}\right), \] where $h\in \left(L^1\cap L^2\right)(\mathbb{R}^d)$ is a test function and $R\to \infty$. We will also consider the stationary counter-part of the process $W$, obtained by adding to all perturbations a random vector which is uniformly distributed on $[0,1]^d$ and is independent of all the Gaussians. We focus on two main examples of interest, when the test function $h$ is either smooth or is an indicator function of a convex set with a smooth boundary whose curvature does not vanish.


title: Introduction to Optics and Lasers for Beam Instrumentation

abstract: The versatility of optics enables the design of a wide range of elegant beam instrumentation. Multiple properties of particle beams can be precisely measured by various optical techniques, which include: direct sampling of optical radiation emitted from a charged particle beam; monitoring interactions with an optical probe such as a laserwire; and by electro-optic conversion of the beam signal with high-bandwidth fibre readout. Such methods are typically minimally-invasive and non-destructive, thus permitting diagnostics during accelerator operation without perturbation of the particle beam or risk of damage to the instrument. These proceedings summarise three CAS lectures that introduce the basic principles of optics relevant for instrumentation design, outline the key laser technologies and setups, and review the state-of-the-art in laser-based beam instrumentation.


title: An Intelligent QoS Algorithm for Home Networks

abstract: A novel quality of service (QoS) management algorithm for home networks is presented in this letter. The algorithm is based on service prediction for intelligent QoS management. The service prediction is carried out by a general regression neural network with a profile containing the past records of the service. A novel profile updating technique is proposed so that the profile size can remain small for fast bandwidth allocation. The analytical study and experiments over real LAN reveal that the proposed algorithm provides reliable QoS management for home networks with low computational overhead.


title: Fast electrical modulation of strong near-field interactions between erbium emitters and graphene

abstract: Combining the quantum optical properties of single-photon emitters with the strong near-field interactions available in nanophotonic and plasmonic systems is a powerful way of creating quantum manipulation and metrological functionalities. The ability to actively and dynamically modulate emitter-environment interactions is of particular interest in this regard. While thermal, mechanical and optical modulation have been demonstrated, electrical modulation has remained an outstanding challenge. Here we realize fast, all-electrical modulation of the near-field interactions between a nanolayer of erbium emitters and graphene, by in-situ tuning the Fermi energy of graphene. We demonstrate strong interactions with a >1,000-fold increased decay rate for 25% of the emitters, and electrically modulate these interactions with frequencies up to 300 kHz - orders of magnitude faster than the emitters radiative decay (100 Hz). This constitutes an enabling platform for integrated quantum technologies, opening routes to quantum entanglement generation by collective plasmon emission or photon emission with controlled waveform.


title: Local well posedness of the Euler-Korteweg equations on $ \mathbb T^d $

abstract: We consider the Euler-Korteweg system with space periodic boundary conditions $ x \in \mathbb T^d $. We prove a local in time existence result of classical solutions for irrotational velocity fields requiring natural minimal regularity assumptions on the initial data.


title: Evolution equations for quantum semi-Markov dynamics

abstract: Using a newly introduced connection between the local and non-local description of open quantum system dynamics, we investigate the relationship between these two characterisations in the case of quantum semi-Markov processes. This class of quantum evolutions, which is a direct generalisation of the corresponding classical concept, guarantees mathematically well-defined master equations, while accounting for a wide range of phenomena, possibly in the non-Markovian regime. In particular, we analyse the emergence of a dephasing term when moving from one type of master equation to the other, by means of several examples. We also investigate the corresponding Redfield-like approximated dynamics, which are obtained after a coarse graining in time. Relying on general properties of the associated classical random process, we conclude that such an approximation always leads to a Markovian evolution for the considered class of dynamics.


title: Aspects of control theory on infinite-dimensional Lie groups and G-manifolds

abstract: We develop aspects of geometric control theory on Lie groups G which may be infinite dimensional, and on smooth G-manifolds M modelled on locally convex spaces. As a tool, we discuss existence and uniqueness questions for differential equations on M given by time-dependent fundamental vector fields which are L^1 in time. We then discuss the closures of reachable sets in M for controls in the Lie algebra of G, or within a compact convex subset of the Lie algebra. Regularity properties of the Lie group G play an important role.


title: The mergegram of a dendrogram and its stability

abstract: This paper extends the key concept of persistence within Topological Data Analysis (TDA) in a new direction. TDA quantifies topological shapes hidden in unorganized data such as clouds of unordered points. In the 0-dimensional case the distance-based persistence is determined by a single-linkage (SL) clustering of a finite set in a metric space. Equivalently, the 0D persistence captures only edge-lengths of a Minimum Spanning Tree (MST). Both SL dendrogram and MST are unstable under perturbations of points. We define the new stable-under-noise mergegram, which outperforms previous isometry invariants on a classification of point clouds by PersLay.


title: Self-affine 2-attractors and tiles

abstract: We study two-digit attractors (2-attractors) in $\mathbb{R}^d$ which are self-affine compact sets defined by two contraction affine mappings with the same linear part. They are widely studied in the literature under various names: twindragons, two-digit tiles, 2-reptiles, etc., due to many applications in approximation theory, in the construction of multivariate Haar systems and other wavelet bases, in the discrete geometry, and in the number theory. We obtain a complete classification of isotropic 2-attractors in $\mathbb{R}^d$ and show that they are all homeomorphic but not diffeomorphic. In the general, non-isotropic, case it is proved that a 2-attractor is uniquely defined, up to an affine similarity, by the spectrum of the dilation matrix. We estimate the number of different 2-attractors in $\mathbb{R}^d$ by analysing integer unitary expanding polynomials with the free coefficient $\pm 2$. The total number of such polynomials is estimated by the Mahler measure. We present several infinite series of such polynomials. For some of the 2-attractors, their H\"older exponents are found. Some of our results are extended to attractors with an arbitrary number of digits.


title: Storage Fit Learning with Feature Evolvable Streams

abstract: Feature evolvable learning has been widely studied in recent years where old features will vanish and new features will emerge when learning with streams. Conventional methods usually assume that a label will be revealed after prediction at each time step. However, in practice, this assumption may not hold whereas no label will be given at most time steps. A good solution is to leverage the technique of manifold regularization to utilize the previous similar data to assist the refinement of the online model. Nevertheless, this approach needs to store all previous data which is impossible in learning with streams that arrive sequentially in large volume. Thus we need a buffer to store part of them. Considering that different devices may have different storage budgets, the learning approaches should be flexible subject to the storage budget limit. In this paper, we propose a new setting: Storage-Fit Feature-Evolvable streaming Learning (SF$^2$EL) which incorporates the issue of rarely-provided labels into feature evolution. Our framework is able to fit its behavior to different storage budgets when learning with feature evolvable streams with unlabeled data. Besides, both theoretical and empirical results validate that our approach can preserve the merit of the original feature evolvable learning i.e., can always track the best baseline and thus perform well at any time step.


title: Big Issues for Big Data: challenges for critical spatial data analytics

abstract: In this paper we consider some of the issues of working with big data and big spatial data and highlight the need for an open and critical framework. We focus on a set of challenges underlying the collection and analysis of big data. In particular, we consider 1) the issues related to inference when working with usually biased big data, challenging the assumed inferential superiority of data with observations, n, approaching N, the population (n->N), and the need for data science analysis that answer questions of practical significance or with greater emphasis n the size of the effect, rather than the truth or falsehood of a statistical statement; 2) the need to accept messiness in your data and to document all operations undertaken on the data because of this support of openness and reproducibility paradigms; and 3) the need to explicitly seek to understand the causes of bias, messiness etc in the data and the inferential consequences of using such data in analyses, by adopting critical approaches to spatial data science. In particular we consider the need to place individual data science studies in a wider social and economic contexts, along the the role of inferential theory in the presence of big data, and issues relating to messiness and complexity in big data.


title: Sharp results on sampling with derivatives in bandlimited functions

abstract: We discuss the problems of uniqueness, sampling and reconstruction with derivatives in the space of bandlimited functions. We prove that if X is sequence of real numbers such that the maximum gap between two consecutive samples is less than certain positive constant c, then bandlimited function of bandwidth {\sigma} can be reconstructed uniquely and stably from its nonuniform samples involving derivatives. We also prove that if the maximum gap is less than or equal to c, then X is a set of uniqueness for the space of bandlimited functions of bandwidth {\sigma} when the samples involving k-1 derivatives. As a by-product we obtain the sharp maximum gap condition for samples involving first derivatives.


title: The Interplay Between Star Formation and Black Hole Accretion in Nearby Active Galaxies

abstract: Black hole accretion is widely thought to influence star formation in galaxies, but the empirical evidence for a physical correlation between star formation rate (SFR) and the properties of active galactic nuclei (AGNs) remains highly controversial. We take advantage of a recently developed SFR estimator based on the [O II] $\lambda3727$ and [O III] $\lambda5007$ emission lines to investigate the SFRs of the host galaxies of more than 5,800 type 1 and 7,600 type 2 AGNs with $z < 0.35$. After matching in luminosity and redshift, we find that type 1 and type 2 AGNs have a similar distribution of internal reddening, which is significant and corresponds to $\sim 10^9\,M_\odot$ of cold molecular gas. In spite of their comparable gas content, type 2 AGNs, independent of stellar mass, Eddington ratio, redshift or molecular gas mass, exhibit intrinsically stronger star formation activity than type 1 AGNs, in apparent disagreement with the conventional AGN unified model. We observe a tight, linear relation between AGN luminosity (accretion rate) and SFR, one that becomes more significant toward smaller physical scales, suggesting that the link between the AGN and star formation occurs in the central kpc-scale region. This, along with a correlation between SFR and Eddington ratio in the regime of super-Eddington accretion, can be interpreted as evidence that star formation is impacted by positive feedback from the AGN.


title: Holographic Wilsonian renormalization of a heavy quark moving through a strongly coupled plasma

abstract: A heavy quark moving through a strongly coupled deconfined plasma has a holographic dual description as a string moving in a black brane geometry. We apply the holographic Wilsonian renormalization method to derive a holographic effective string action dual to the heavy quark. The effective action only depends on the geometry between the black brane horizon and a cutoff localized in the radial direction, corresponding to the IR of the dual theory. We derive RG flow equations for the coefficients in the effective action and show that the force acting on the heavy quark is independent of the position of the cutoff. All the information about the UV is hidden in integration constants of the RG flow equations. This type of approach could be used to improve semi-holographic models where the UV is described by perturbative QCD and the IR by a holographic model.


title: Black Hole Accretion Correlates with Star Formation Rate and Star Formation Efficiency in Nearby Luminous Type 1 Active Galaxies

abstract: We investigate the relationship between black hole accretion and star formation in a sample of 453 $z\approx0.3$ type 1 active galactic nuclei (AGNs). We use available CO observations to demonstrate that the combination of nebular dust extinction and metallicity provides reliable estimates of the molecular gas mass even for the host galaxies of type 1 AGNs. Consistent with other similar but significantly smaller samples, we reaffirm the notion that powerful AGNs have comparable gas content as nearby star-forming galaxies and that AGN feedback does not deplete the host of cold gas instantaneously. We demonstrate that while the strong correlation between star formation rate and black hole accretion rate is in part driven by the mutual dependence of these parameters on molecular gas mass, the star formation rate and black hole accretion rate are still weakly correlated after removing the dependence of star formation rate on molecular gas mass. This, together with a positive correlation between star formation efficiency and black hole accretion rate, may be interpreted as evidence for positive AGN feedback.


title: AGN Feedback and Star Formation of Quasar Host Galaxies: Insights from the Molecular Gas

abstract: The molecular gas serves as a key probe of the complex interplay between black hole accretion and star formation in the host galaxies of active galactic nuclei (AGNs). We use CO(2-1) observations from a new ALMA survey, in conjunction with literature measurements, to investigate the molecular gas properties of a representative sample of 40 z<0.3 Palomar-Green quasars, the largest and most sensitive study of molecular gas emission to date for nearby quasars. We find that the AGN luminosity correlates with both the CO luminosity and black hole mass, suggesting that AGN activity is loosely coupled to the cold gas reservoir of the host. The observed strong correlation between host galaxy total infrared luminosity and AGN luminosity arises from their common dependence on the molecular gas. We argue that the total infrared luminosity, at least for low-redshift quasars, can be used to derive reliable star formation rates for the host galaxy. The host galaxies of low-redshift quasars have molecular gas content similar to that of star-forming galaxies of comparable stellar mass. Moreover, they share similar gas kinematics, as evidenced by their CO Tully-Fisher relation and the absence of detectable molecular outflows down to sensitive limits. There is no sign that AGN feedback quenches star formation for the quasars in our sample. On the contrary, the abundant gas supply forms stars prodigiously, at a rate that places most of them above the star-forming main sequence and with an efficiency that rivals that of starburst systems.


title: Mixing time and simulated annealing for the stochastic cellular automata

abstract: Finding a ground state of a given Hamiltonian of an Ising model on a graph $G=(V,E)$ is an important but hard problem. The standard approach for this kind of problem is the application of algorithms that rely on single-spin-flip Markov chain Monte Carlo methods, such as the simulated annealing based on Glauber or Metropolis dynamics. In this paper, we investigate a particular kind of stochastic cellular automata, in which all spins are updated independently and simultaneously. We prove that (i) if the temperature is fixed sufficiently high, then the mixing time is at most of order $\log|V|$, and that (ii) if the temperature drops in time $n$ as $1/\log n$, then the limiting measure is uniformly distributed over the ground states. We also provide some simulations of the algorithms studied in this paper implemented on a GPU and show their superior performance compared to the conventional simulated annealing.