title: Cosmological evolution of orientations of cluster-sized dark matter haloes and their central galaxies in the Horizon-AGN simulation

abstract: It is known observationally that the major axes of galaxy clusters and their brightest cluster galaxies are roughly aligned with each other. To understand the origin of the alignment, we identify 40 cluster-sized dark matter (DM) haloes with masses higher than $5\times10^{13}~M_{\odot}$ and their central galaxies (CGs) at $z\approx 0$ in the Horizon-AGN cosmological hydrodynamical simulation. We trace the progenitors at 50 different epochs between $0<z<5$. We then fit their shapes and orientations with a triaxial ellipsoid model. While the orientations of both DM haloes and CGs change significantly due to repeated mergers and mass accretions, their relative orientations are well aligned at each epoch even at high redshifts, $z>1$. The alignment becomes tighter with cosmic time; the major axes of the CGs and their host DM haloes at present are aligned on average within $\sim 30^{\circ}$ in the three dimensional space and $\sim 20^{\circ}$ in the projected plane. The orientations of the major axes of DM haloes on average follow one of the eigen-vectors of the surrounding tidal field that corresponds to the {\it slowest collapsing} (or even stretching) mode, and the alignment with the tidal field also becomes tighter. This implies that the orientations of CGs and DM haloes at the present epoch are largely imprinted in the primordial density field of the Universe, whereas strong dynamical interactions such as mergers are important to explain their mutual alignment at each epoch.


title: Norm-Explicit Quantization: Improving Vector Quantization for Maximum Inner Product Search

abstract: Vector quantization (VQ) techniques are widely used in similarity search for data compression, fast metric computation and etc. Originally designed for Euclidean distance, existing VQ techniques (e.g., PQ, AQ) explicitly or implicitly minimize the quantization error. In this paper, we present a new angle to analyze the quantization error, which decomposes the quantization error into norm error and direction error. We show that quantization errors in norm have much higher influence on inner products than quantization errors in direction, and small quantization error does not necessarily lead to good performance in maximum inner product search (MIPS). Based on this observation, we propose norm-explicit quantization (NEQ) --- a general paradigm that improves existing VQ techniques for MIPS. NEQ quantizes the norms of items in a dataset explicitly to reduce errors in norm, which is crucial for MIPS. For the direction vectors, NEQ can simply reuse an existing VQ technique to quantize them without modification. We conducted extensive experiments on a variety of datasets and parameter configurations. The experimental results show that NEQ improves the performance of various VQ techniques for MIPS, including PQ, OPQ, RQ and AQ.


title: Hyper-Sphere Quantization: Communication-Efficient SGD for Federated Learning

abstract: The high cost of communicating gradients is a major bottleneck for federated learning, as the bandwidth of the participating user devices is limited. Existing gradient compression algorithms are mainly designed for data centers with high-speed network and achieve $O(\sqrt{d} \log d)$ per-iteration communication cost at best, where $d$ is the size of the model. We propose hyper-sphere quantization (HSQ), a general framework that can be configured to achieve a continuum of trade-offs between communication efficiency and gradient accuracy. In particular, at the high compression ratio end, HSQ provides a low per-iteration communication cost of $O(\log d)$, which is favorable for federated learning. We prove the convergence of HSQ theoretically and show by experiments that HSQ significantly reduces the communication cost of model training without hurting convergence accuracy.


title: Morse Quasiflats I

abstract: This is the first in a series of papers concerned with Morse quasiflats, which are a generalization of Morse quasigeodesics to arbitrary dimension. In this paper we introduce a number of alternative definitions, and under appropriate assumptions on the ambient space we show that they are equivalent and quasi-isometry invariant; we also give a variety of examples. The second paper proves that Morse quasiflats are asymptotically conical and have canonically defined Tits boundaries; it also gives some first applications.


title: CALPA-NET: Channel-pruning-assisted Deep Residual Network for Steganalysis of Digital Images

abstract: Over the past few years, detection performance improvements of deep-learning based steganalyzers have been usually achieved through structure expansion. However, excessive expanded structure results in huge computational cost, storage overheads, and consequently difficulty in training and deployment. In this paper we propose CALPA-NET, a ChAnneL-Pruning-Assisted deep residual network architecture search approach to shrink the network structure of existing vast, over-parameterized deep-learning based steganalyzers. We observe that the broad inverted-pyramid structure of existing deep-learning based steganalyzers might contradict the well-established model diversity oriented philosophy, and therefore is not suitable for steganalysis. Then a hybrid criterion combined with two network pruning schemes is introduced to adaptively shrink every involved convolutional layer in a data-driven manner. The resulting network architecture presents a slender bottleneck-like structure. We have conducted extensive experiments on BOSSBase+BOWS2 dataset, more diverse ALASKA dataset and even a large-scale subset extracted from ImageNet CLS-LOC dataset. The experimental results show that the model structure generated by our proposed CALPA-NET can achieve comparative performance with less than two percent of parameters and about one third FLOPs compared to the original steganalytic model. The new model possesses even better adaptivity, transferability, and scalability.


title: Multi-objectivization Inspired Metaheuristics for the Sum-of-the-Parts Combinatorial Optimization Problems

abstract: Multi-objectivization is a term used to describe strategies developed for optimizing single-objective problems by multi-objective algorithms. This paper focuses on multi-objectivizing the sum-of-the-parts combinatorial optimization problems, which include the traveling salesman problem, the unconstrained binary quadratic programming and other well-known combinatorial optimization problem. For a sum-of-the-parts combinatorial optimization problem, we propose to decompose its original objective into two sub-objectives with controllable correlation. Based on the decomposition method, two new multi-objectivization inspired single-objective optimization techniques called non-dominance search and non-dominance exploitation are developed, respectively. Non-dominance search is combined with two metaheuristics, namely iterated local search and iterated tabu search, while non-dominance exploitation is embedded within the iterated Lin-Kernighan metaheuristic. The resultant metaheuristics are called ILS+NDS, ITS+NDS and ILK+NDE, respectively. Empirical studies on some TSP and UBQP instances show that with appropriate correlation between the sub-objectives, there are more chances to escape from local optima when new starting solution is selected from the non-dominated solutions defined by the decomposed sub-objectives. Experimental results also show that ILS+NDS, ITS+NDS and ILK+NDE all significantly outperform their counterparts on most of the test instances.


title: Convenient Analytical Solution for Vibrational Distribution Function of Molecules Colliding with a Wall

abstract: We study formation of the Vibrational Distribution Function (VDF) in a molecular gas at low pressure, when vibrational levels are excited by electron impact and deactivated in collisions with walls and show that this problem has a convenient analytical solution that can be used to obtain VDF and its dependence on external parameters. The VDF is determined by excitation of vibrational levels by an external source and deactivation in collisions with the wall. Deactivation in wall collisions is little known process. However, we found that the VDF is weakly dependent on the functional form of the actual form of probability gamma_v'->v for a vibrational number v' to transfer into a lower level v at the wall. Because for a given excitation source of vibrational states, the problem is linear the solution for VDF involves solving linear matrix equation. The matrix equation can be easily solved if we approximate probability, in the form: gamma_v'->v=(1/v')theta(v'->v). In this case, the steady-state solution for VDF(v) simply involves a sum of source rates for levels above , with a factor of 1/(v+1). As an example of application, we study the vibrational kinetics in a hydrogen gas and verify the analytical solution by comparing with a full model.


title: Random Projections of Mel-Spectrograms as Low-Level Features for Automatic Music Genre Classification

abstract: In this work, we analyse the random projections of Mel-spectrograms as low-level features for music genre classification. This approach was compared to handcrafted features, features learned using an auto-encoder and features obtained from a transfer learning setting. Tests in five different well-known, publicly available datasets show that random projections leads to results comparable to learned features and outperforms features obtained via transfer learning in a shallow learning scenario. Random projections do not require using extensive specialist knowledge and, simultaneously, requires less computational power for training than other projection-based low-level features. Therefore, they can be are a viable choice for usage in shallow learning content-based music genre classification.


title: Multiple Power Quality Event Detection and Classification using Wavelet Transform and Random Forest Classifier

abstract: In this paper a technique for detection of multiple power quality (PQ) events is illustrated. An algorithm based on wavelet transform and Random Forest based classifier is proposed in this paper. The developed technique is implemented on 11 different power quality events consisting of single stage power quality events such as sag, swell, flicker, interruption and multi stage power quality events such as harmonics combined with sag, swell, flicker, interruption. PQ events are simulated in MATLAB using standard IEEE-1159 standard. Significant features of PQ events are extracted using wavelet transform and used to train random forest based classifier. The efficiency of Random Forest Based classifier is compared with other widely used machine learning algorithms such as K-Nearest Neighbour (KNN) and Support Vector Machine (SVM). From confusion matrix of different algorithms it is concluded that Random Forest shows superior classification accuracy as compared to SVM and KNN.


title: Absence of Superconductivity in Nd$_{0.8}$Sr$_{0.2}$NiO$_x$ Thin Films without Chemical Reduction

abstract: The recently reported superconductivity 9-15 K in Nd0.8Sr0.2NiO2/SrTiO3 heterostructures that were fabricated by a soft-chemical topotactic reduction approach based on precursor Nd0.8Sr0.2NiO3 thin films deposited on SrTiO3 substrates, has excited an immediate surge of research interest. To explore an alternative physical path instead of chemical reduction for realizing superconductivity in this compound, using pulsed laser deposition, we systematically fabricated 63 Nd0.8Sr0.2NiOx (NSNO) thin films at a wide range of oxygen partial pressures on various different oxide substrates. Transport measurements did not find any signature of superconductivity in all the 63 thin-film samples. With reducing the oxygen content in the NSNO films by lowering the deposition oxygen pressure, the NSNO films are getting more resistive and finally become insulating. Furthermore, we tried to cap a 20-nm-thick amorphous LaAlO3 layer on a Nd0.8Sr0.2NiO3 thin film deposited at a high oxygen pressure of 150 mTorr to create oxygen vacancies on its surface and did not succeed in higher conductivity either. Our experimental results together with the recent report on the absence of superconductivity in synthesized bulk Nd0.8Sr0.2NiO2 crystals suggest that the chemical reduction approach could be unique for yielding superconductivity in NSNO/SrTiO3 heterostructures. However, SrTiO3 substrates could be reduced to generate oxygen vacancies during the chemical reduction process as well, which may thus partially contribute to conductivity.


title: A Unified Inference Framework for Multiple Imputation Using Martingales

abstract: Multiple imputation is widely used to handle missing data. Although Rubin's combining rule is simple, it is not clear whether or not the standard multiple imputation inference is consistent when coupled with the commonly-used full sample estimators. This article establishes a unified martingale representation of multiple imputation for a wide class of asymptotically linear full sample estimators. This representation invokes the wild bootstrap inference to provide consistent variance estimation under the correct specification of the imputation models. As a motivating application, we illustrate the proposed method to estimate the average causal effect (ACE) with partially observed confounders in causal inference. Our framework applies to asymptotically linear ACE estimators, including the regression imputation, weighting, and matching estimators. We extend to the scenarios when both outcome and confounders are subject to missingness and when the data are missing not at random.


title: Quantum even-dimensional balls

abstract: The quantum even-dimensional balls are defined as the $C^*$-algebras generated by certain graphs. We exhibit a polynomial algebra for each even-dimensional quantum ball, and classify the irreducible representations of it.


title: A Framework of Transferring Structures Across Large-scale Information Networks

abstract: The existing domain-specific methods for mining information networks in machine learning aims to represent the nodes of an information network into a vector format. However, the real-world large-scale information network cannot make well network representations by one network. When the information of the network structure transferred from one network to another network, the performance of network representation might decrease sharply. To achieve these ends, we propose a novel framework to transfer useful information across relational large-scale information networks (FTLSIN). The framework consists of a 2-layer random walks to measure the relations between two networks and predict links across them. Experiments on real-world datasets demonstrate the effectiveness of the proposed model.


title: Segment Relevance Estimation for Audio Analysis and Weakly-Labelled Classification

abstract: We propose a method that quantifies the importance, namely relevance, of audio segments for classification in weakly-labelled problems. It works by drawing information from a set of class-wise one-vs-all classifiers. By selecting the classifiers used in each specific classification problem, the relevance measure adapts to different user-defined viewpoints without requiring additional neural network training. This characteristic allows the relevance measure to highlight audio segments that quickly adapt to user-defined criteria. Such functionality can be used for computer-assisted audio analysis. Also, we propose a neural network architecture, namely RELNET, that leverages the relevance measure for weakly-labelled audio classification problems. RELNET was evaluated in the DCASE2018 dataset and achieved competitive classification results when compared to previous attention-based proposals.


title: WiredSwarm: High Resolution Haptic Feedback Provided by a Swarm of Drones to the User's Fingers for VR interaction

abstract: We propose a concept of a novel interaction strategy for providing rich haptic feedback in Virtual Reality (VR), when each user's finger is connected to micro-quadrotor with a wire. Described technology represents the first flying wearable haptic interface. The solution potentially is able to deliver high resolution force feedback to each finger during fine motor interaction in VR. The tips of tethers are connected to the centers of quadcopters under their bottom. Therefore, flight stability is increasing and the interaction forces are becoming stronger which allows to use smaller drones.


title: Emergent superconductivity in two-dimensional NiTe$_2$ crystals

abstract: Despite growing interest in them, highly crystalline two-dimensional superconductors derived from exfoliated layered materials are few. Employing the anisotropic Migdal-Eliashberg formalism based on {\it ab initio} calculations, we find monolayer NiTe$_{2}$ to be an intrinsic superconductor with a $T_{\text c}\sim$5.7~K, although the bulk crystal is not known to superconduct. Remarkably, bilayer NiTe$_{2}$ intercalated with lithium is found to display two-gap superconductivity with a critical temperature $T_{\text{c}}\sim 11.3$~K and superconducting gap of $\sim$3.1~meV, arising from a synergy of electronic and phononic effects. The comparatively high $T_\text{c}$, substrate independence and proximity tunability will make these superconductors ideal platforms for exploring intriguing correlation effects and quantum criticality associated two-dimensional superconductivity.


title: How to Evaluate Word Representations of Informal Domain?

abstract: Diverse word representations have surged in most state-of-the-art natural language processing (NLP) applications. Nevertheless, how to efficiently evaluate such word embeddings in the informal domain such as Twitter or forums, remains an ongoing challenge due to the lack of sufficient evaluation dataset. We derived a large list of variant spelling pairs from UrbanDictionary with the automatic approaches of weakly-supervised pattern-based bootstrapping and self-training linear-chain conditional random field (CRF). With these extracted relation pairs we promote the odds of eliding the text normalization procedure of traditional NLP pipelines and directly adopting representations of non-standard words in the informal domain. Our code is available.


title: Residual Smoothing: Using Mocks to Correct Model Covariance Matrices

abstract: Abstract Covariance matrix estimation is a challenging problem in cosmology. Recent work has shown that model covariance matrices can be precise, and that at relatively large scales they can also be accurate. We introduce a data-driven method that can identify features from a mock covariance matrix that are missing from a corresponding model, then incorporate them into the model without significantly degrading the model's precision. We apply this method to a BOSS-like survey and extend a model covariance to be valid at scales relevant for measurements of Redshift Space Distortions (8-40 Mpc/h), where the galaxy field is significantly non-Gaussian.


title: Stimulated Raman scattering in the degenerate regime

abstract: Stimulated Raman scattering (SRS) in plasma in the degenerate regime is studied theoretically and numerically. Different from normal SRS with the non-degenerate eigen electrostatic mode excited, the degenerate SRS is developed at plasma density $n_e>0.25n_c$ when the laser amplitude is larger than a certain threshold. To satisfy the phase-matching conditions of frequency and wavenumber, the excited electrostatic mode has a constant frequency around half of the incident light frequency $\omega_0/2$, which is no longer the non-degenerate eigenmode of electron plasma wave $\omega_{pe}$. Both the scattered light and the electrostatic wave are trapped in plasma with their group velocities being zero. Super hot electrons are produced by the degenerate electrostatic wave. Our theoretical model is validated by particle-in-cell simulations. The SRS driven in this degenerate regime is an important laser energy loss mechanism in the laser plasma interactions as long as the laser intensity is higher than $10^{15}$W/cm$^2$.


title: Global Convergence of Policy Gradient for Sequential Zero-Sum Linear Quadratic Dynamic Games

abstract: We propose projection-free sequential algorithms for linear-quadratic dynamics games. These policy gradient based algorithms are akin to Stackelberg leadership model and can be extended to model-free settings. We show that if the leader performs natural gradient descent/ascent, then the proposed algorithm has a global sublinear convergence to the Nash equilibrium. Moreover, if the leader adopts a quasi-Newton policy, the algorithm enjoys a global quadratic convergence. Along the way, we examine and clarify the intricacies of adopting sequential policy updates for LQ games, namely, issues pertaining to stabilization, indefinite cost structure, and circumventing projection steps.


title: Kinetic Proofreading and the Limits of Thermodynamic Uncertainty

abstract: To mitigate errors induced by the cell's heterogeneous noisy environment, its main information channels and production networks utilize the kinetic proofreading (KPR) mechanism. Here, we examine two extensively-studied KPR circuits, DNA replication by the T7 DNA polymerase and translation by the E. coli ribosome. Using experimental data, we analyze the performance of these two vital systems in light of the fundamental bounds set by the recently-discovered thermodynamic uncertainty relation (TUR), which places an inherent trade-off between the precision of a desirable output and the amount of energy dissipation required. We show that the DNA polymerase operates close to the TUR lower bound, while the ribosome operates $\sim5$ times farther from this bound. This difference originates from the enhanced binding discrimination of the polymerase which allows it to operate effectively as a reduced reaction cycle prioritizing correct product formation. We show that approaching this limit also decouples the thermodynamic uncertainty factor from speed and error, thereby relaxing the accuracy-speed trade-off of the system. Altogether, our results show that operating near this reduced cycle limit not only minimizes thermodynamic uncertainty, but also results in global performance enhancement of KPR circuits.


title: Plane photoacoustic wave generation in liquid water using irradiation of terahertz pulses

abstract: We demonstrate photoacoustic wave propagation with a plane wavefront in liquid water using a terahertz (THz) laser pulse. The THz light can effectively generate the photoacoustic wave in water because of strong absorption via a stretching vibration mode of the hydrogen bonding network. The excitation of a large-area water surface irradiated by loosely focused THz light produces a plane photoacoustic wave. This is in contrast with conventional methods using absorbers or plasma generation using near-infrared laser light. The photoacoustic wave generation and plane wave propagation are observed using a system with a THz free-electron laser and shadowgraph imaging. The plane photoacoustic wave is generated by incident THz light with a small radiant exposure of <1 mJ/cm2 and delivered 600 times deeper than the penetration depth of THz light for water. The THz-light-induced plane photoacoustic wave offers great advantages to non-invasive operations for industrial and biological applications as demonstrated in our previous report (Yamazaki et al, Sci. Rep. 846295 (2020)).


title: Escape from black holes in materials: Type II Weyl semimetals and generic edge states

abstract: Type II Weyl semimetals are dictated by bulk excitations with tilted light cones, resembling the inside of black holes. We obtain generic boundary conditions for surface boundaries of the type II Weyl semimetals near Weyl nodes, and show that for a certain boundary condition edge states can escape out of the "black hole" event horizon. This means that for realization of the material "black hole" by the Type II Weyl semimetals a careful choice of the boundary condition is necessary.

categories: cond-mat.mes-hall cond-mat.other gr-qc hep-th


title: Prediction of Bottleneck Points for Manipulation Planning in Cluttered Environment using a 3D Convolutional Neural Network

abstract: Latest research in industrial robotics is aimed at making human robot collaboration possible seamlessly. For this purpose, industrial robots are expected to work on the fly in unstructured and cluttered environments and hence the subject of perception driven motion planning plays a vital role. Sampling based motion planners are proven to be the most effective for such high dimensional planning problems with real time constraints. Unluckily random stochastic samplers suffer from the phenomenon of 'narrow passages' or bottleneck regions which need targeted sampling to improve their convergence rate. Also identifying these bottleneck regions in a diverse set of planning problems is a challenge. In this paper an attempt has been made to address these two problems by designing an intelligent 'bottleneck guided' heuristic for a Rapidly Exploring Random Tree Star (RRT*) planner which is based on relevant context extracted from the planning scenario using a 3D Convolutional Neural Network and it is also proven that the proposed technique generalises to unseen problem instances. This paper benchmarks the technique (bottleneck guided RRT*) against a 10% Goal biased RRT star planner, shows significant improvement in planning time and memory requirement and uses ABB 1410 industrial manipulator as a platform for implantation and validation of the results.


title: Semiconducting SiGeSn High-Entropy Alloy: A Density Functional Theory Study

abstract: High-entropy alloys (HEAs), which have been intensely studied due to their excellent mechanical properties, generally refer to alloys with multiple equimolar or nearly equimolar elements. According to this definition, Si-Ge-Sn alloys with equal or comparable concentrations of the three Group IV elements belong to the category of HEAs. As a result, the equimolar elements of Si-Ge-Sn alloys likely cause their atomic structures to exhibit the same core effects of metallic HEAs such as lattice distortion. Here we apply density functional theory (DFT) calculations to show that the SiGeSn HEA indeed exhibits a large local distortion effect. Unlike metallic HEAs, our Monte Carlo and DFT calculations show that the SiGeSn HEA exhibits no chemical short-range order due to the similar electronegativity of the constituent elements, thereby increasing the configurational entropy of the SiGeSn HEA. Hybrid density functional calculations show that the SiGeSn HEA remains semiconducting with a band gap of 0.38 eV, promising for economical and compatible mid-infrared optoelectronics applications. We then study the energetics of neutral single Si, Ge, and Sn vacancies and (expectedly) find wide distributions of vacancy formation energies, similar to those found in metallic HEAs. However, we also find anomalously small lower bounds (e.g., 0.04 eV for a Si vacancy) in the energy distributions, which arise from the bond reformation near the vacancy. Such small vacancy formation energies and their associated bond reformations retain the semiconducting behavior of the SiGeSn HEA, which may be a signature feature of a semiconducting HEA that differentiates from metallic HEAs.


title: Uniform Partition in Population Protocol Model under Weak Fairness

abstract: We focus on a uniform partition problem in a population protocol model. The uniform partition problem aims to divide a population into k groups of the same size, where k is a given positive integer. In the case of k=2 (called uniform bipartition), a previous work clarified space complexity under various assumptions: 1) an initialized base station (BS) or no BS, 2) weak or global fairness, 3) designated or arbitrary initial states of agents, and 4) symmetric or asymmetric protocols, except for the setting that agents execute a protocol from arbitrary initial states under weak fairness in the model with an initialized base station. In this paper, we clarify the space complexity for this remaining setting. In this setting, we prove that P states are necessary and sufficient to realize asymmetric protocols, and that P+1 states are necessary and sufficient to realize symmetric protocols, where P is the known upper bound of the number of agents. From these results and the previous work, we have clarified the solvability of the uniform bipartition for each combination of assumptions. Additionally, we newly consider an assumption on a model of a non-initialized BS and clarify solvability and space complexity in the assumption. Moreover, the results in this paper can be applied to the case that k is an arbitrary integer (called uniform k-partition).


title: Object-Centric Task and Motion Planning in Dynamic Environments

abstract: We address the problem of applying Task and Motion Planning (TAMP) in real world environments. TAMP combines symbolic and geometric reasoning to produce sequential manipulation plans, typically specified as joint-space trajectories, which are valid only as long as the environment is static and perception and control are highly accurate. In case of any changes in the environment, slow re-planning is required. We propose a TAMP algorithm that optimizes over Cartesian frames defined relative to target objects. The resulting plan then remains valid even if the objects are moving and can be executed by reactive controllers that adapt to these changes in real time. We apply our TAMP framework to a torque-controlled robot in a pick and place setting and demonstrate its ability to adapt to changing environments, inaccurate perception, and imprecise control, both in simulation and the real world.


title: SlingDrone: Mixed Reality System for Pointing and Interaction Using a Single Drone

abstract: We propose SlingDrone, a novel Mixed Reality interaction paradigm that utilizes a micro-quadrotor as both pointing controller and interactive robot with a slingshot motion type. The drone attempts to hover at a given position while the human pulls it in desired direction using a hand grip and a leash. Based on the displacement, a virtual trajectory is defined. To allow for intuitive and simple control, we use virtual reality (VR) technology to trace the path of the drone based on the displacement input. The user receives force feedback propagated through the leash. Force feedback from SlingDrone coupled with visualized trajectory in VR creates an intuitive and user friendly pointing device. When the drone is released, it follows the trajectory that was shown in VR. Onboard payload (e.g. magnetic gripper) can perform various scenarios for real interaction with the surroundings, e.g. manipulation or sensing. Unlike HTC Vive controller, SlingDrone does not require handheld devices, thus it can be used as a standalone pointing technology in VR.


title: On Robustness to Adversarial Examples and Polynomial Optimization

abstract: We study the design of computationally efficient algorithms with provable guarantees, that are robust to adversarial (test time) perturbations. While there has been an proliferation of recent work on this topic due to its connections to test time robustness of deep networks, there is limited theoretical understanding of several basic questions like (i) when and how can one design provably robust learning algorithms? (ii) what is the price of achieving robustness to adversarial examples in a computationally efficient manner? The main contribution of this work is to exhibit a strong connection between achieving robustness to adversarial examples, and a rich class of polynomial optimization problems, thereby making progress on the above questions. In particular, we leverage this connection to (a) design computationally efficient robust algorithms with provable guarantees for a large class of hypothesis, namely linear classifiers and degree-2 polynomial threshold functions (PTFs), (b) give a precise characterization of the price of achieving robustness in a computationally efficient manner for these classes, (c) design efficient algorithms to certify robustness and generate adversarial attacks in a principled manner for 2-layer neural networks. We empirically demonstrate the effectiveness of these attacks on real data.


title: Property RD and hypercontractivity for orthogonal free quantum groups

abstract: We prove that the twisted property RD fails to hold for all non Kac type, non amenable orthogonal free quantum groups. In the Kac case we revisit property RD, proving an analogue of the $L_p-L_2$ non-commutative Khintchine inequality for free groups. As an application, we give new and improved hypercontractivity and ultracontractivity estimates for the generalized heat semigroups on free orthogonal quantum groups, both in the Kac and non Kac cases.


title: Unconventional Non-Fermi Liquid Properties of Two-Channel Anderson Impurities System

abstract: A theory for treating the unconventional non-Fermi liquid temperature dependence of physical quantities, such as the resistivity, in the Pr-based two-channel Anderson impurities system is developed. It is shown that their temperature dependences are essentially the same as those in the pure lattice system except for the case of extremely low concentration of Pr ions that is difficult to realize by a controlled experiments. This result is consistent with recent observations in diluted Pr-1-2-20 system Y$_{1-x}$Pr$_x$Ir$_2$Zn$_{20}$ ($x=0.024,\,0.044,\,0.085,$ and $0.44$) reported in Yamane $et\ al$. Phys. Rev. Lett. ${\bf 121}$, 077206 (2018), and is quite different from that in the case of single-channel Anderson impurities system in which the crossover between behaviors of the local Fermi liquid and heavy Fermi liquid occurs at around moderate concentration of impurities as observed in Ce-based heavy fermion system La$_{1-x}$Ce$_x$Cu$_6$.


title: Linear-mode avalanche photodiode arrays for low-noise near-infrared imaging in space

abstract: Astronomical observations often require the detection of faint signals in the presence of noise, and the near-infrared regime is no exception. In particular, where the application has short exposure time constraints, we are frequently and unavoidably limited by the read noise of a system. A recent and revolutionary development in detector technology is that of linear-mode avalanche photodiode (LmAPD) arrays. By the introduction of a signal multiplication region within the device, effective read noise can be reduced to <0.2 e-, enabling the detection of very small signals at frame rates of up to 1 kHz. This is already impacting ground-based astronomy in high-speed applications such as wavefront sensing and fringe tracking, but has not yet been exploited for scientific space missions. We present the current status of a collaboration with Leonardo MW - creators of the 'SAPHIRA' LmAPD array - as we work towards the first in-orbit demonstration of a SAPHIRA device in 'Emu', a hosted payload on the International Space Station. The Emu mission will fully benefit from the 'noiseless' gains offered by LmAPD technology as it produces a time delay integration photometric sky survey at 1.4 microns, using compact readout electronics developed at the Australian National University. This is just one example of a use case that could not be achieved with conventional infrared sensors.


title: Pion Beta Decay and CKM Unitarity

abstract: Pion beta decay, $\pi^+\to \pi^0 e^+\nu(\gamma)$, provides a theoretically clean $\pm 0.3\%$ determination of the CKM matrix element $V_{\text{ud}}$. That value falls short of super-allowed nuclear beta decays where an order of magnitude better precision already exists. We advocate a new strategy for utilizing pion beta decay, based on its role in determining ${V_{\text{us}} / V_{\text{ud}}}$ via the ratio $R_V=\Gamma\left(K\to \pi l \nu(\gamma)\right)/\Gamma\left(\pi^+\to \pi^0 e^+\nu(\gamma)\right)$. $R_V$ measures $ { f_+^K(0) |V_{\text{us}}| / f_+^\pi(0) |V_{\text{ud}}| }$ and is insensitive to the Fermi constant and some radiative corrections. Its dependence on the ratio of form factors may also prove useful for lattice gauge theory calculations. Employing a lattice based value ${ f_+^K(0) / f_+^\pi(0) } = 0.970(2)$, we find $V_{\text{us}}/V_{\text{ud}}=0.22918(88)$ compared to $V_{\text{us}}/V_{\text{ud}}=0.23131(45)$ obtained from $R_A=\Gamma(K\to \mu\nu(\gamma))/\Gamma(\pi\to \mu\nu(\gamma))$. Those vector and axial-vector based $V_{\text{us}}/V_{\text{ud}}$ values exhibit a 2.2$\sigma$ discrepancy. That tension may be relieved by a shift in the lattice $ { f_+^K(0) / f_+^\pi(0) } $ towards the consistency range 0.961(4), changes in experimental input or new physics. Other implications of $R_V$ and $R_A$ are also discussed.


title: Online Stochastic Matching with Edge Arrivals

abstract: Online bipartite matching with edge arrivals remained a major open question for a long time until a recent negative result by [Gamlath et al. FOCS 2019], who showed that no online policy is better than the straightforward greedy algorithm, i.e., no online algorithm has a worst-case competitive ratio better than $0.5$. In this work, we consider the bipartite matching problem with edge arrivals in a natural stochastic framework, i.e., Bayesian setting where each edge of the graph is independently realized according to a known probability distribution. We focus on a natural class of prune & greedy online policies motivated by practical considerations from a multitude of online matching platforms. Any prune & greedy algorithm consists of two stages: first, it decreases the probabilities of some edges in the stochastic instance and then runs greedy algorithm on the pruned graph. We propose prune & greedy algorithms that are $0.552$-competitive on the instances that can be pruned to a $2$-regular stochastic bipartite graph, and $0.503$-competitive on arbitrary bipartite graphs. The algorithms and our analysis significantly deviate from the prior work. We first obtain analytically manageable lower bound on the size of the matching, which leads to a non linear optimization problem. We further reduce this problem to a continuous optimization with a constant number of parameters that can be solved using standard software tools.


title: MCPA: Program Analysis as Machine Learning

abstract: Static program analysis today takes an analytical approach which is quite suitable for a well-scoped system. Data- and control-flow is taken into account. Special cases such as pointers, procedures, and undefined behavior must be handled. A program is analyzed precisely on the statement level. However, the analytical approach is ill-equiped to handle implementations of complex, large-scale, heterogeneous software systems we see in the real world. Existing static analysis techniques that scale, trade correctness (i.e., soundness or completeness) for scalability and build on strong assumptions (e.g., language-specificity). Scalable static analysis are well-known to report errors that do *not* exist (false positives) or fail to report errors that *do* exist (false negatives). Then, how do we know the degree to which the analysis outcome is correct? In this paper, we propose an approach to scale-oblivious greybox program analysis with bounded error which applies efficient approximation schemes (FPRAS) from the foundations of machine learning: PAC learnability. Given two parameters $\delta$ and $\epsilon$, with probability at least $(1-\delta)$, our Monte Carlo Program Analysis (MCPA) approach produces an outcome that has an average error at most $\epsilon$. The parameters $\delta>0$ and $\epsilon>0$ can be chosen arbitrarily close to zero (0) such that the program analysis outcome is said to be probably-approximately correct (PAC). We demonstrate the pertinent concepts of MCPA using three applications: $(\epsilon,\delta)$-approximate quantitative analysis, $(\epsilon,\delta)$-approximate software verification, and $(\epsilon,\delta)$-approximate patch verification.


title: Controllability analysis and optimal control of biomass drying with reduced order models

abstract: Complex industrial processes such as the drying of combustible biomass can be modeled with computational fluid dynamics simulations. Due to their complexity, it is not straightforward to use these models for the analysis of system properties or for solving optimal control problems. We show reduced order models can be derived and used for these purposes for industrial drying processes.


title: Maximizing performance with an eye on the finances: a chance-constrained model for football transfer market decisions

abstract: Composing a team of professional players is among the most crucial decisions in association football. Nevertheless, transfer market decisions are often based on myopic objectives and are questionable from a financial point of view. This paper introduces a chance-constrained model to provide analytic support to club managers during transfer windows. The model seeks a top-performing team while adapting to different budgets and financial-risk profiles. In addition, it provides a new rating system that is able to numerically reflect the on-field performance of football players and thus contribute to an objective assessment of football players. The model and rating system are tested on a case study based on real market data. The data from the case study are available online for the benefit of future research.


title: FLEN: Leveraging Field for Scalable CTR Prediction

abstract: Click-Through Rate (CTR) prediction has been an indispensable component for many industrial applications, such as recommendation systems and online advertising. CTR prediction systems are usually based on multi-field categorical features, i.e., every feature is categorical and belongs to one and only one field. Modeling feature conjunctions is crucial for CTR prediction accuracy. However, it requires a massive number of parameters to explicitly model all feature conjunctions, which is not scalable for real-world production systems. In this paper, we describe a novel Field-Leveraged Embedding Network (FLEN) which has been deployed in the commercial recommender system in Meitu and serves the main traffic. FLEN devises a field-wise bi-interaction pooling technique. By suitably exploiting field information, the field-wise bi-interaction pooling captures both inter-field and intra-field feature conjunctions with a small number of model parameters and an acceptable time complexity for industrial applications. We show that a variety of state-of-the-art CTR models can be expressed under this technique. Furthermore, we develop Dicefactor: a dropout technique to prevent independent latent features from co-adapting. Extensive experiments, including offline evaluations and online A/B testing on real production systems, demonstrate the effectiveness and efficiency of FLEN against the state-of-the-arts. Notably, FLEN has obtained 5.19% improvement on CTR with 1/6 of memory usage and computation time, compared to last version (i.e. NFM).


title: Regionally proximal relation of order $d$ along arithmetic progressions and nilsystems

abstract: The regionally proximal relation of order $d$ along arithmetic progressions, namely ${\bf AP}^{[d]}$ for $d\in \N$, is introduced and investigated. It turns out that if $(X,T)$ is a topological dynamical system with ${\bf AP}^{[d]}=\Delta$, then each ergodic measure of $(X,T)$ is isomorphic to a $d$-step pro-nilsystem, and thus $(X,T)$ has zero entropy. Moreover, it is shown that if $(X,T)$ is a strictly ergodic distal system with the property that the maximal topological and measurable $d$-step pro-nilsystems are isomorphic, then ${\bf AP}^{[d]}={\bf RP}^{[d]}$ for each $d\in {\mathbb N}$. It follows that for a minimal $\infty$-pro-nilsystem, ${\bf AP}^{[d]}={\bf RP}^{[d]}$ for each $d\in {\mathbb N}$. An example which is a strictly ergodic distal system with discrete spectrum whose maximal equicontinuous factor is not isomorphic to the Kronecker factor is constructed.


title: Equalization Loss for Large Vocabulary Instance Segmentation

abstract: Recent object detection and instance segmentation tasks mainly focus on datasets with a relatively small set of categories, e.g. Pascal VOC with 20 classes and COCO with 80 classes. The new large vocabulary dataset LVIS brings new challenges to conventional methods. In this work, we propose an equalization loss to solve the long tail of rare categories problem. Combined with exploiting the data from detection datasets to alleviate the effect of missing-annotation problems during the training, our method achieves 5.1\% overall AP gain and 11.4\% AP gain of rare categories on LVIS benchmark without any bells and whistles compared to Mask R-CNN baseline. Finally we achieve 28.9 mask AP on the test-set of the LVIS and rank 1st place in LVIS Challenge 2019.


title: Schr\"odinger evolution of superoscillations with $\delta$- and $\delta'$-potentials

abstract: In this paper we study the time persistence of superoscillations as the initial data of the time dependent Schr\"odinger equation with $\delta$- and $\delta'$-potentials. It is shown that the sequence of solutions converges uniformly on compact sets, whenever the initial data converges in the topology of the entire function space $A_1(\mathbb{C})$. Convolution operators acting in this space are our main tool. In particular, a general result about the existence of such operators is proven. Moreover, we provide an explicit formula as well as the large time asymptotics for the time evolution of a plane wave under $\delta$- and $\delta'$-potentials.


title: On the Capacity of Massive MIMO With 1-Bit ADCs and DACs at the Receiver and at the Transmitter

abstract: In this paper, we investigate the capacity of massive multiple-input multiple-output (MIMO) systems corrupted by complex-valued additive white Gaussian noise (AWGN) when both the transmitter and the receiver employ 1-bit digital-to-analog converters (DACs) and 1-bit analog-to-digital-converters (ADCs). As a result of 1-bit DACs and ADCs, the transmitted and received symbols, as well as the transmit- and receive-side channel state information (CSI), are assumed to be quantized to 1-bit of information. The derived results show that the capacity of the considered massive MIMO system is $2N$ and $2M$ bits per channel use when $N$ is fixed and $M\to\infty$ and when $M$ is fixed and $N\to\infty$, respectively, where $M$ and $N$ denote the number of transmit and receive antennas, respectively. These coincide with the respective capacities with full CSI at both the transmitter and the receiver. In both cases, we showed that the derived capacities can be achieved with noisy 1-bit CSI at the transmitter-end or at the receiver-end, and without any CSI at the other end. Moreover, we showed that the capacity can be achieved in one channel use without employing channel coding, which results in a latency of one channel use.


title: Learning from the Past: Continual Meta-Learning via Bayesian Graph Modeling

abstract: Meta-learning for few-shot learning allows a machine to leverage previously acquired knowledge as a prior, thus improving the performance on novel tasks with only small amounts of data. However, most mainstream models suffer from catastrophic forgetting and insufficient robustness issues, thereby failing to fully retain or exploit long-term knowledge while being prone to cause severe error accumulation. In this paper, we propose a novel Continual Meta-Learning approach with Bayesian Graph Neural Networks (CML-BGNN) that mathematically formulates meta-learning as continual learning of a sequence of tasks. With each task forming as a graph, the intra- and inter-task correlations can be well preserved via message-passing and history transition. To remedy topological uncertainty from graph initialization, we utilize Bayes by Backprop strategy that approximates the posterior distribution of task-specific parameters with amortized inference networks, which are seamlessly integrated into the end-to-end edge learning. Extensive experiments conducted on the miniImageNet and tieredImageNet datasets demonstrate the effectiveness and efficiency of the proposed method, improving the performance by 42.8% compared with state-of-the-art on the miniImageNet 5-way 1-shot classification task.


title: Extended MinP Tests of Multiple Hypotheses

abstract: Much empirical research in economics and finance involves simultaneously testing multiple hypotheses. This paper proposes extended MinP (EMinP) tests by expanding the minimand set of the MinP test statistic to include the $p$% -value of a global test such as a likelihood ratio test. We show that, compared with MinP tests, EMinP tests may considerably improve the global power in rejecting the intersection of all individual hypotheses. Compared with closed tests EMinP tests have the computational advantage by sharing the benefit of the stepdown procedure of MinP tests and can have a better global power over the tests used to construct closed tests. Furthermore, we argue that EMinP tests may be viewed as a tool to prevent data snooping when two competing tests that have distinct global powers are exploited. Finally, the proposed tests are applied to an empirical application on testing the effects of exercise.


title: PHASEN: A Phase-and-Harmonics-Aware Speech Enhancement Network

abstract: Time-frequency (T-F) domain masking is a mainstream approach for single-channel speech enhancement. Recently, focuses have been put to phase prediction in addition to amplitude prediction. In this paper, we propose a phase-and-harmonics-aware deep neural network (DNN), named PHASEN, for this task. Unlike previous methods that directly use a complex ideal ratio mask to supervise the DNN learning, we design a two-stream network, where amplitude stream and phase stream are dedicated to amplitude and phase prediction. We discover that the two streams should communicate with each other, and this is crucial to phase prediction. In addition, we propose frequency transformation blocks to catch long-range correlations along the frequency axis. The visualization shows that the learned transformation matrix spontaneously captures the harmonic correlation, which has been proven to be helpful for T-F spectrogram reconstruction. With these two innovations, PHASEN acquires the ability to handle detailed phase patterns and to utilize harmonic patterns, getting 1.76dB SDR improvement on AVSpeech + AudioSet dataset. It also achieves significant gains over Google's network on this dataset. On Voice Bank + DEMAND dataset, PHASEN outperforms previous methods by a large margin on four metrics.


title: Scalable BFT Consensus Mechanism Through Aggregated Signature Gossip

abstract: In this paper, we present a new BFT consensus mechanism which enables thousands of nodes to participate in the consensus process, and supports very high transaction throughput. This is achieved via an aggregated signature gossip protocol which can significantly reduce the messaging complexity and thus allows a large number of nodes to reach consensus quickly. The proposed aggregated signature gossip protocol leverages a non-interactive leaderless BLS signature aggregation scheme. We have proven the correctness of the protocol, and analyzed its efficiency. In our analysis, each node only needs to send and receive O(logn) messages to reach agreement, where each message just contains a couple kilobytes of data.


title: Deep Generative Models Strike Back! Improving Understanding and Evaluation in Light of Unmet Expectations for OoD Data

abstract: Advances in deep generative and density models have shown impressive capacity to model complex probability density functions in lower-dimensional space. Also, applying such models to high-dimensional image data to model the PDF has shown poor generalization, with out-of-distribution data being assigned equal or higher likelihood than in-sample data. Methods to deal with this have been proposed that deviate from a fully unsupervised approach, requiring large ensembles or additional knowledge about the data, not commonly available in the real-world. In this work, the previously offered reasoning behind these issues is challenged empirically, and it is shown that data-sets such as MNIST fashion/digits and CIFAR10/SVHN are trivially separable and have no overlap on their respective data manifolds that explains the higher OoD likelihood. Models like masked autoregressive flows and block neural autoregressive flows are shown to not suffer from OoD likelihood issues to the extent of GLOW, PixelCNN++, and real NVP. A new avenue is also explored which involves a change of basis to a new space of the same dimension with an orthonormal unitary basis of eigenvectors before modeling. In the test data-sets and models, this aids in pushing down the relative likelihood of the contrastive OoD data set and improve discrimination results. The significance of the density of the original space is maintained, while invertibility remains tractable. Finally, a look to the previous generation of generative models in the form of probabilistic principal component analysis is inspired, and revisited for the same data-sets and shown to work really well for discriminating anomalies based on likelihood in a fully unsupervised fashion compared with pixelCNN++, GLOW, and real NVP with less complexity and faster training. Also, dimensionality reduction using PCA is shown to improve anomaly detection in generative models.


title: A Pre-training Based Personalized Dialogue Generation Model with Persona-sparse Data

abstract: Endowing dialogue systems with personas is essential to deliver more human-like conversations. However, this problem is still far from well explored due to the difficulties of both embodying personalities in natural languages and the persona sparsity issue observed in most dialogue corpora. This paper proposes a pre-training based personalized dialogue model that can generate coherent responses using persona-sparse dialogue data. In this method, a pre-trained language model is used to initialize an encoder and decoder, and personal attribute embeddings are devised to model richer dialogue contexts by encoding speakers' personas together with dialogue histories. Further, to incorporate the target persona in the decoding process and to balance its contribution, an attention routing structure is devised in the decoder to merge features extracted from the target persona and dialogue contexts using dynamically predicted weights. Our model can utilize persona-sparse dialogues in a unified manner during the training process, and can also control the amount of persona-related features to exhibit during the inference process. Both automatic and manual evaluation demonstrates that the proposed model outperforms state-of-the-art methods for generating more coherent and persona consistent responses with persona-sparse data.


title: Holomorphic vector fields and Chow groups

abstract: We show that the chow group of $p$-cycles with rational coefficients are isomorphic to the corresponding rational homology groups for smooth complex projective varieties carrying a holomorphic vector field with an isolated zero locus. As applications, we obtain Chow groups and Lawson homology groups with rational coefficients and verify the Friedlander-Mazur conjecture and the Generalized Hodge conjecture for those varieties.


title: NuSTAR Discovery of a Compton-thick Dust-obscured Galaxy WISE J0825+3002

abstract: We report the discovery of a Compton-thick (CT) dust-obscured galaxy (DOG) at $z$ = 0.89, WISE J082501.48+300257.2 (WISE0825+3002), observed by Nuclear Spectroscopic Telescope Array (NuSTAR). X-ray analysis with the XCLUMPY model revealed that hard X-ray luminosity in the rest-frame 2-10 keV band of WISE0825+3002 is $L_{\rm X}$ (2-10 keV) = $4.2^{+2.8}_{-1.6} \times 10^{44}$ erg s$^{-1}$ while its hydrogen column density is $N_{\rm H}$ = $1.0^{+0.8}_{-0.4} \times 10^{24}$ cm$^{-2}$, indicating that WISE0825+3002 is a mildly CT active galactic nucleus (AGN). We performed the spectral energy distribution (SED) fitting with CIGALE to derive its stellar mass, star formation rate, and infrared luminosity. The estimated Eddington ratio based on stellar mass and integration of the best-fit SED of AGN component is $\lambda_{\rm Edd}$ = 0.70, which suggests that WISE0825+3002 harbors an actively growing black hole behind a large amount of gas and dust. We found that the relationship between luminosity ratio of X-ray and 6 $\mu$m, and Eddington ratio follows an empirical relation for AGNs reported by Toba et al. (2019a).


title: Connecting Light Dirac Neutrinos to a Multi-component Dark Matter Scenario in Gauged $B-L$ Model

abstract: We propose a new gauged $B-L$ extension of the standard model where light neutrinos are of Dirac type, naturally acquiring sub-eV mass after electroweak symmetry breaking, without any additional global symmetries. This is realised by choosing a different $B-L$ charge for right handed neutrinos than the usual $-1$ so that the Dirac Yukawa coupling involves an additional neutrinophilic scalar doublet instead of the usual Higgs doublet. The model can be made anomaly free by considering four additional chiral fermions which give rise to two massive Dirac fermions by appropriate choice of singlet scalars. The choice of scalars not only helps in achieving the desired particle mass spectra via spontaneous symmetry breaking, but also leaves a remnant $Z_2 \times Z'_2$ symmetry to stabilise the two dark matter candidates. Apart from this interesting link between Dirac nature of light neutrinos and multi-component dark matter sector, we also find that the dark matter parameter space is constrained mostly by the cosmological upper limit on effective relativistic degrees of freedom $\Delta N_{\rm eff}$ which gets enhanced in this model due to the thermalisation of the light right handed neutrinos by virtue of their sizeable $B-L$ gauge interactions.


title: Category Theory with Stratified Set Theory

abstract: This paper examines the category theory of stratified set theory (NF and KF). We work out the properties of the relevant categories of sets, and introduce a functorial analogue to Specker's T-operation. Such a development leads one to consider the appropriate notion of "elementary topos" for stratified set theories. In addition to considering the categorical properties of a generic model of NF set theory, we identify a stratified Yoneda Lemma and show NF encodes itself as a full internal subcategory. Finally, our desire to examine NF in the context of category theory motivates a more precise examination of strongly cantorian as an appropriate notion of smallness, replacing it with the notion of fibrewise strongly cantorian. In the absence of Choice, we introduce a new axiom (SCU) to NF, and examine some properties of NF + SCU.


title: Text Mining using Nonnegative Matrix Factorization and Latent Semantic Analysis

abstract: Text clustering is arguably one of the most important topics in modern data mining. Nevertheless, text data require tokenization which usually yields a very large and highly sparse term-document matrix, which is usually difficult to process using conventional machine learning algorithms. Methods such as Latent Semantic Analysis have helped mitigate this issue, but are nevertheless not completely stable in practice. As a result, we propose a new feature agglomeration method based on Nonnegative Matrix Factorization, which is employed to separate the terms into groups, and then each group's term vectors are agglomerated into a new feature vector. Together, these feature vectors create a new feature space much more suitable for clustering. In addition, we propose a new deterministic initialization for spherical K-Means, which proves very useful for this specific type of data. In order to evaluate the proposed method, we compare it to some of the latest research done in this field, as well as some of the most practiced methods. In our experiments, we conclude that the proposed method either significantly improves clustering performance, or maintains the performance of other methods, while improving stability in results.


title: FLAML: A Fast and Lightweight AutoML Library

abstract: We study the problem of using low computational cost to automate the choices of learners and hyperparameters for an ad-hoc training dataset and error metric, by conducting trials of different configurations on the given training data. We investigate the joint impact of multiple factors on both trial cost and model error, and propose several design guidelines. Following them, we build a fast and lightweight library FLAML which optimizes for low computational resource in finding accurate models. FLAML integrates several simple but effective search strategies into an adaptive system. It significantly outperforms top-ranked AutoML libraries on a large open source AutoML benchmark under equal, or sometimes orders of magnitude smaller budget constraints.


title: The multiplicative group action on singular varieties and Chow varieties

abstract: We answer two questions of Carrell on a singular complex projective variety admitting the multiplicative group action, one positively and the other negatively. The results are applied to Chow varieties and we obtain Chow groups of 0-cycles and Lawson homology groups of 1-cycles for Chow varieties. A short survey on the structure of the Chow varieties is included for comparison and completeness. Moreover, we give counterexamples to Shafarevich's question on the rationality of the irreducible components of Chow varieties.


title: ConnectionChain: Secure Interworking of Blockchains

abstract: Blockchain is a core technology to manage the value of cryptocurrencies, or to record trails of important business trades. The Smart Contract on blockchain is expected to improve security on blockchain system with automated operation, but it cannot be the solution when the application service required to operate tightly related blockchain ledgers as service business logic. This paper proposed the method to extend the functionality of traditional Smart Contract on blockchain, and introduced the prototype system, named 'ConnectionChain'.


title: Excited state orbital optimization via minimizing the square of the gradient: General approach and application to singly and doubly excited states via density functional theory

abstract: We present a general approach to converge excited state solutions to any quantum chemistry orbital optimization process, without the risk of variational collapse. The resulting Square Gradient Minimization (SGM) approach only requires analytic energy/Lagrangian orbital gradients and merely costs 3 times as much as ground state orbital optimization (per iteration), when implemented via a finite difference approach. SGM is applied to both single determinant $\Delta$SCF and spin-purified Restricted Open-Shell Kohn-Sham (ROKS) approaches to study the accuracy of orbital optimized DFT excited states. It is found that SGM can converge challenging states where the Maximum Overlap Method (MOM) or analogues either collapse to the ground state or fail to converge. We also report that $\Delta$SCF/ROKS predict highly accurate excitation energies for doubly excited states (which are inaccessible via TDDFT). Singly excited states obtained via ROKS are also found to be quite accurate, especially for Rydberg states that frustrate (semi)local TDDFT. Our results suggest that orbital optimized excited state DFT methods can be used to push past the limitations of TDDFT to doubly excited, charge-transfer or Rydberg states, making them a useful tool for the practical quantum chemist's toolbox for studying excited states in large systems.


title: Aplib: Tactical Programming of Intelligent Agents

abstract: This paper presents aplib, a Java library for programming intelligent agents, featuring BDI and multi agency, but adding on top of it a novel layer of tactical programming inspired by the domain of theorem proving. Aplib is also implemented in such a way to provide the fluency of a Domain Specific Language (DSL). Compared to dedicated BDI agent programming languages such as JASON, 2APL, or GOAL,aplib's embedded DSL approach does mean that \aplib\ programmers will still be limited by Java syntax, but on other hand they get all the advantages that Java programmers get: rich language features (object orientation, static type checking, $\lambda$-expression, libraries, etc), a whole array of development tools, integration with other technologies, large community, etc.


title: On the length scale dependence of DNA conformational change under local perturbation

abstract: Conformational change of a DNA molecule is frequently observed in multiple biological processes and has been modelled using a chain of strongly coupled oscillators with a nonlinear bistable potential. While the mechanism and properties of conformational change in the model have been investigated and several reduced order models developed, the conformational dynamics as a function of the length of the oscillator chain is relatively less clear. To address this, we used a modified Lindstedt-Poincare method and numerical computations. We calculate a perturbation expansion of the frequency of the model's nonzero modes, finding that approximating these modes with their unperturbed dynamics, as in a previous reduced order model, may not hold when the length of the DNA model increases. We investigate the conformational change to local perturbation in models of varying lengths, finding that for chosen input and parameters, there are two regions of DNA length in the model, first where the minimum energy required to undergo the conformational change increases with DNA length; and second, where it is almost independent of the length of the DNA model. We analyze the conformational change in these models by adding randomness to the local perturbation, finding that the tendency of the system to remain in a stable conformation against random perturbation decreases with an increase in the DNA length. These results should help to understand the role of the length of a DNA molecule in influencing its conformational dynamics.


title: Mirheo: High-Performance Mesoscale Simulations for Microfluidics

abstract: The transport and manipulation of particles and cells in microfluidic devices has become a core methodology in domains ranging from molecular biology to manufacturing and drug design. The rational design and operation of such devices can benefit from simulations that resolve flow-structure interactions at sub-micron resolution. We present a computational tool for large scale, efficient and high throughput mesoscale simulations of fluids and deformable objects at complex microscale geometries. The code employs Dissipative Particle Dynamics for the description of the flow coupled with visco-elastic membrane model for red blood cells and can also handle rigid bodies and complex geometries. The software (MiRheo) is deployed on hybrid GPU/CPU architectures exhibiting unprecedented time-to-solution performance and excellent weak and strong scaling for a number of benchmark problems. MiRheo exploits the capabilities of GPU clusters, leading to speedup of up to 10 in terms of time to solution as compared to state-of-the-art software packages and reaches 90 - 99 percent weak scaling efficiency on 512 nodes of the Piz Daint supercomputer. The software MiRheo, relies on a Python interface to facilitate the solution of complex problems and it is open source. We believe that MiRheo constitutes a potent computational tool that can greatly assist studies of microfluidics.


title: Clean group rings over localizations of rings of integers

abstract: A ring $R$ is said to be clean if each element of $R$ can be written as the sum of a unit and an idempotent. In a recent article (J. Algebra, 405 (2014), 168-178), Immormino and McGoven characterized when the group ring $\mathbb Z_{(p)}[C_n]$ is clean, where $\mathbb Z_{(p)}$ is the localization of the integers at the prime $p$. In this paper, we consider a more general setting. Let $K$ be an algebraic number field, $\mathcal O_K$ be its ring of integers, and $R$ be a localization of $\mathcal O_K$ at some prime ideal. We investigate when $R[G]$ is clean, where $G$ is a finite abelian group, and obtain a complete characterization for such a group ring to be clean for the case when $K=\mathbb Q(\zeta_n)$ is a cyclotomic field or $K=\mathbb Q(\sqrt{d})$ is a quadratic field.


title: Maximum Entropy Estimation of the Galactic Bulge Morphology via the VVV Red Clump

abstract: The abundance and narrow magnitude dispersion of Red Clump (RC) stars make them a popular candidate for mapping the morphology of the bulge region of the Milky Way. Using an estimate of the RC's intrinsic luminosity function, we extracted the three-dimensional density distribution of the RC from deep photometric catalogues of the VISTA Variables in the Via Lactea (VVV) survey. We used maximum entropy based deconvolution to extract the spatial distribution of the bulge from Ks-band star counts. We obtained our extrapolated non-parametric model of the bulge over the inner 40 by 40 degrees squared region of the Galactic centre. Our reconstruction also naturally matches onto a parametric fit to the bulge outside the VVV region and inpaints overcrowded and high extinction regions. We found a range of bulge properties consistent with other recent investigations based on the VVV data. In particular, we estimated the bulge mass to be in the range 13 to 17 billion solar masses, the X-component to be between 18% and 25% of the bulge mass, and the bulge angle with respect to the Sun-Galactic centre line to be between 18 and 32 degrees. Studies of the Fermi Large Area Telescope (LAT) gamma-ray Galactic centre excess suggests that the excess may be traced by Galactic bulge distributed sources. We applied our deconvolved density in a template fitting analysis of this Fermi-LAT GeV excess and found an improvement in the fit compared to previous parametric based templates.


title: The angular resolution of GRAPES-3 EAS array after correction for the shower front curvature

abstract: The angular resolution of an extensive air shower (EAS) array plays a critical role in determining its sensitivity for the detection of point $\gamma$-ray sources in the multi-TeV energy range. The GRAPES-3 an EAS array located at Ooty in India (11.4$^{\circ}$N, 76.7$^{\circ}$E, 2200 m altitude) is designed to study $\gamma$-rays in the TeV-PeV energy range. It comprises of a dense array of 400 plastic scintillators deployed over an area of 25000 m$^2$ and a large area (560 m$^2$) muon telescope. A new statistical method allowed real time determination of the propagation delay of each detector in the GRAPES-3 array. The shape of shower front is known to be curved and here the details of a new method developed for accurate measurement of the shower front curvature is presented. These two developments have led to a sizable improvement in the angular resolution of GRAPES-3 array. It is shown that the curvature depends on the size and age of an EAS. By employing two different techniques, namely, the odd-even and the left-right methods, independent estimates of the angular resolution are obtained. The odd-even method estimates the best achievable resolution of the array. For obtaining the angular resolution, the left-right method is used after implementing the size and age dependent curvature corrections. A comparison of the angular resolution as a function of EAS energy by these two methods shows them be virtually indistinguishable. The angular resolution of GRAPES-3 array is 47$^{\prime}$ for energies E$>$5 TeV and improves to 17$^{\prime}$ at E$>$100 TeV and finally approaching 10$^{\prime}$ at E$>$500 TeV.


title: Non-Parametric Density Reconstruction of the Galactic Bulge Area using Red Clump Stars in the VVV Survey

abstract: Studies of the red clump giant population in the inner Milky Way suggest the Galactic bulge/bar has a boxy/peanut/X-shaped structure as predicted by its formation via a disc buckling instability. We used a non-parametric method of estimating the Galactic bulge morphology that is based on maximum entropy regularisation. This enabled us to extract the three-dimensional distribution of the red giant stars in the bulge from deep photometric catalogues of the VISTA Variables in the Via Lactea (VVV) survey. Our high-resolution reconstruction confirms the well-known boxy/peanut/X-shaped structure of the bulge. We also find spiral arm structures that extend to around three kpc in front of and behind the bulge and are on different sides of the bulge major axis. We show that the detection of these structures is robust to the uncertainties in the luminosity function.


title: Holomorphic vector fields and rationality

abstract: We show that a nonsingular complex projective variety admitting a holomorphic vector field with nonempty isolated zeroes, is rational using a key technique by Harvey-Lawson on finite volume flows. This statement was conjectured by J. Carrell. By the same technique, we obtain a uniform upper bound of Betti numbers of nonsingular complex projective variety admitting a holomorphic vector field with exact one zero point. Such an upper bound depends only on the dimension of the variety, which is a stronger version of a result of Akyildiz and Carrell.


title: Stationary determinantal processes: $\psi$-mixing property and $L^q$-dimensions

abstract: The results of this paper are 3-folded. Firstly, for any stationary determinantal process on the integer lattice, induced by strictly positive and strictly contractive involution kernel, we obtain the necessary and sufficient condition for the $\psi$-mixing property. Secondly, we obtain the existence of the $L^q$-dimensions of the stationary determinantal measure on symbolic space $\{0, 1\}^\mathbb{N}$ under appropriate conditions. Thirdly, the previous two results together imply the precise increasing rate of the longest common substring of a typical pair of points in $\{0, 1\}^\mathbb{N}$.


title: Channel Estimation and Transmission for Intelligent Reflecting Surface Assisted THz Communications

abstract: Intelligent reflecting surface (IRS) is envisioned as a promising technology to broaden signal coverage and enhance transmission in terahertz (THz) communications. Due to the passivity of IRS, the channel measurement can not be achieved by traditional pilot manner and the subsequent cooperative transmission design remains an open problem. This paper investigates the channel estimation and transmission solutions for massive multiple input multiple output (MIMO) IRS-assisted THz system. The channel estimation is realized by beam training and the quantization error is analyzed for evaluating performance. In addition, a novel hierarchical search codebook design is proposed as a low-complexity basis of beam training. Based on above foundations, we propose a cooperative channel estimation procedure to tactfully acquire the channel knowledge. Finally, by leveraging obtained channel information, the designs of IRS and transceivers are directly provided in closed form without reconstructing the full channel matrix or additional optimization. Simulation and numerical results are presented to illustrate the minimum signal to noise ratio (SNR) required for beam training and the efficacy of the proposed transmission solutions.


title: Evolution of fluctuations in the initial state of heavy-ion collisions from RHIC to LHC

abstract: Fluctuations in the initial state of heavy-ion collisions are larger at RHIC energy than at LHC energy. This fact can be inferred from recent measurements of the fluctuations of the particle multiplicities and of elliptic flow performed at the two different energies. We show that an analytical description of the initial energy-density field and its fluctuations motivated by the color glass condensate (CGC) effective theory predicts and quantitatively captures the measured energy evolution of these observables. The crucial feature is that fluctuations in the CGC scale like the inverse of the saturation scale of the nuclei.


title: Extremal functions for a class of trace Trudinger-Moser inequalities

abstract: In this paper, we concern trace Trudinger-Moser inequalities on a compact Riemann surface with smooth boundary. This kind of inequalities were extensively studied by Osgood-Phillips-Sarnak [24], Liu [20], Li-Liu [17], Yang [31, 32] and others. We establish several trace Trudinger-Moser inequalities and obtain the corresponding extremals via the method of blow-up analysis. The results in the current paper generalize those of Li-Liu [17] and Yang [32, 33].


title: Gorenstein Projective Objects in Comma Categories

abstract: Let $\mathcal{A}$ and $\mathcal{B}$ be abelian categories and $\mathbf{F}:\mathcal{A}\to \mathcal{B}$ an additive and right exact functor which is perfect, and let $(\mathbf{F},\mathcal{B})$ be the left comma category. We give an equivalent characterization of Gorenstein projective objects in $(\mathbf{F},\mathcal{B})$ in terms of Gorenstein projective objects in $\mathcal{B}$ and $\mathcal{A}$. We prove that there exists a left recollement of the stable category of the subcategory of $(\mathbf{F},\mathcal{B})$ consisting of Gorenstein projective objects modulo projectives relative to the same kind of stable categories in $\mathcal{B}$ and $\mathcal{A}$. Moreover, this left recollement can be filled into a recollement when $\mathcal{B}$ is Gorenstein and $\mathbf{F}$ preserves projectives.


title: Cosmic Acceleration Caused by the Extra-Dimensional Evolution in a Generalized Randall-Sundrum Model

abstract: We investigate a $(n+1)$-dimensional generalized Randall-Sundrum model with an anisotropic metric which has three different scale factors. One obtain a positive effective cosmological constant $\Omega_{eff}\sim10^{-124}$ (in Planck unit) which only need a solution $kr\simeq50-80$ without fine tuning, and both the visible and hidden brane tensions are positive which results in the two branes to be stable. Then, we find that the Hubble parameter is seem to be a constant in a large region near its minimum, thus causing the acceleration of the universe. Therefore, the fine tuning problem also can be solved in this model. Meanwhile, the scale of extra dimensions is smaller than the observed scale but greater than the Planck length. This demonstrates that the observed present acceleration of the universe is caused by the extra-dimensional evolution rather than dark energy.


title: Temperature-field phase diagrams of one-way quantum work deficit in two-qubit XXZ spin systems

abstract: The spin-1/2 XXZ chain in a uniform magnetic field at thermal equilibrium is considered. For this model, we give a complete classification of all qualitatively different phase diagrams for the one-way quantum work (information) deficit. The diagrams can contain regions (phases, fractions) with both stationary and variable (state-dependent) angles of optimal measurement. We found cases of phase diagrams in which the sizes of regions with the variable optimal measurement angle are large and perhaps such regions can be detected experimentally. We also established a relationship between the behavior of optimal measurement angles near the boundaries separated different regions and Landau's theory of phase transitions of the second and first kind.


title: An Algorithmic Approach to the $q$-Summability Problem of Bivariate Rational Functions

abstract: In 2014, Chen and Singer solved the summability problem of bivariate rational functions. Later an algorithmic proof was presented by Hou and the author. In this paper, the algorithm will be simplified and adapted to the $q$-case.


title: On singularities of threefold weighted blowups

abstract: We answer a question raised by Caucher Birkar for singularities of weighted blowups of $\mathbb{A}^n$, if $n\leq 3$.


title: Dp-finite fields III: inflators and directories

abstract: We develop some tools for analyzing dp-finite fields, including a notion of an ``inflator'' which generalizes the notion of a valuation/specialization on a field. For any field $K$, let $\operatorname{Sub}_K(K^n)$ denote the lattice of $K$-linear subspaces of $K^n$. An ordinary valuation on $K$ with residue field $k$ induces order-preserving dimension-preserving specialization maps from $\operatorname{Sub}_K(K^n)$ to $\operatorname{Sub}_k(k^n)$, satisfying certain compatibility across $n$. An $r$-inflator is a similar family of maps $\{\operatorname{Sub}_K(K^n) \to \operatorname{Sub}_k(k^{rn})\}_{n \in \mathbb{N}}$ scaling dimensions by $r$. We show that 1-inflators are equivalent to valuations, and that $r$-inflators naturally arise in fields of dp-rank $r$. This machinery was ``behind the scenes'' in \S 10 of [10]. We rework \S 10 of [10] using the machinery of $r$-inflators.


title: Coherent pumping of high momentum magnons by light

abstract: We propose to excite a large number of coherent magnons with high momentum in optical cavities. This is achieved by two counterpropagating optical modes that are detuned by the frequency of a selected magnon, similar to stimulated Raman scattering. In sub-mm size yttrium iron garnet spheres, a mW laser input power generates 10^6-10^8 coherent magnons. The large magnon population enhances Brillouin light scattering, a probe suitable to access their quantum properties.


title: A Simple Estimator for Quantile Panel Data Models Using Smoothed Quantile Regressions

abstract: Canay (2011)'s two-step estimator of quantile panel data models, due to its simple intuition and low computational cost, has been widely used in empirical studies in recent years. In this paper, we revisit the estimator of Canay (2011) and point out that in his asymptotic analysis the bias of his estimator due to the estimation of the fixed effects is mistakenly omitted, and that such omission will lead to invalid inference on the coefficients. To solve this problem, we propose a similar easy-to-implement estimator based on smoothed quantile regressions. The asymptotic distribution of the new estimator is established and the analytical expression of its asymptotic bias is derived. Based on these results, we show how to make asymptotically valid inference based on both analytical and split-panel jackknife bias corrections. Finally, finite sample simulations are used to support our theoretical analysis and to illustrate the importance of bias correction in quantile regressions for panel data.


title: Numerical Simulation of Jet Mode in Electrospraying of Newtonian and Viscoelastic Fluids

abstract: The purpose of this article is to explore the role of viscoelastic properties of polymeric solutions on the jet mode in the electrospray process. In this research, several numerical simulations were performed to model the behavior of electrified Newtonian and viscoelastic jets. First, used for validating viscoelastic constitutive equations and their implementation, the benchmark problem of the sedimenting sphere is stabilized beyond the previously suggested threshold. Then, an electrified DI water jet was simulated, and the obtained jet profile was compared with the experimental data from previous publications. Finally, the proposed algorithm was used to simulate viscoelastic electrified jets, where the effect of the Weissenberg number (Wi) on the jet profile was examined. In agreement with the previously obtained experimental results, by increasing the solution concentration, the asymptotic profile of the jet is reached at a smaller length from the nozzle, while the final thickness of the jet is slightly reduced.


title: Data-Free Point Cloud Network for 3D Face Recognition

abstract: Point clouds-based Networks have achieved great attention in 3D object classification, segmentation and indoor scene semantic parsing. In terms of face recognition, 3D face recognition method which directly consume point clouds as input is still under study. Two main factors account for this: One is how to get discriminative face representations from 3D point clouds using deep network; the other is the lack of large 3D training dataset. To address these problems, a data-free 3D face recognition method is proposed only using synthesized unreal data from statistical 3D Morphable Model to train a deep point cloud network. To ease the inconsistent distribution between model data and real faces, different point sampling methods are used in train and test phase. In this paper, we propose a curvature-aware point sampling(CPS) strategy replacing the original furthest point sampling(FPS) to hierarchically down-sample feature-sensitive points which are crucial to pass and aggregate features deeply. A PointNet++ like Network is used to extract face features directly from point clouds. The experimental results show that the network trained on generated data generalizes well for real 3D faces. Fine tuning on a small part of FRGCv2.0 and Bosphorus, which include real faces in different poses and expressions, further improves recognition accuracy.


title: Smart Contract Interactions in Coq

abstract: We present a model/executable specification of smart contract execution in Coq. Our formalization allows for inter-contract communication and generalizes existing work by allowing modelling of both depth-first execution blockchains (like Ethereum) and breadth-first execution blockchains (like Tezos). We represent smart contracts programs in Coq's functional language Gallina, enabling easier reasoning about functional correctness of concrete contracts than other approaches. In particular we develop a Congress contract in this style. This contract -- a simplified version of the infamous DAO -- is interesting because of its very dynamic communication pattern with other contracts. We give a high-level partial specification of the Congress's behavior, related to reentrancy, and prove that the Congress satisfies it for all possible smart contract execution orders.


title: The leading hadronic vacuum polarization contribution to the muon anomalous magnetic moment using $N_f=2+1$ O($a$) improved Wilson quarks

abstract: We present a lattice calculation of the leading hadronic contribution to the anomalous magnetic moment of the muon. This work is based on a subset of the CLS ensembles with $N_f = 2+1$ dynamical quarks and a quenched charm quark. Noise reduction techniques are used to improve significantly the statistical precision of the dominant light quark contribution. The main source of systematic error comes from finite size effects which are estimated using the formalism described in Ref. [7] and based on our knowledge of the timelike pion form factor. The strange and charm quark contributions are under control and an estimate of the quark-disconnected contribution is included. Isospin breaking effects will be studied in a future publication but are included in the systematic error using an estimate based on published lattice results. Our final result, $a_\mu^{\rm hvp} = (720.0\pm 12.4 \pm 6.8)\times 10^{-10}$, has a precision of about 2%.


title: Sumcheck-based delegation of quantum computing to rational server

abstract: Delegated quantum computing enables a client with weak computational power to delegate quantum computing to a remote quantum server in such a way that the integrity of the server can be efficiently verified by the client. Recently, a new model of delegated quantum computing has been proposed, namely, rational delegated quantum computing. In this model, after the client interacts with the server, the client pays a reward to the server. The rational server sends messages that maximize the expected value of the reward. It is known that the classical client can delegate universal quantum computing to the rational quantum server in one round. In this paper, we propose novel one-round rational delegated quantum computing protocols by generalizing the classical rational sumcheck protocol. The construction of the previous rational protocols depends on gate sets, while our sumcheck technique can be easily realized with any local gate set. Furthermore, as with the previous protocols, our reward function satisfies natural requirements. We also discuss the reward gap. Simply speaking, the reward gap is a minimum loss on the expected value of the server's reward incurred by the server's behavior that makes the client accept an incorrect answer. Although our sumcheck-based protocols have only exponentially small reward gaps as in the previous protocols, we show that a constant reward gap can be achieved if two noncommunicating but entangled rational servers are allowed. We also discuss whether a single rational server is sufficient under the (widely believed) assumption that the learning-with-errors problem is hard for polynomial-time quantum computing. Apart from these results, we show, under a certain condition, the equivalence between $rational$ and $ordinary$ delegated quantum computing protocols. This equivalence then serves as a basis for a reward-gap amplification method.


title: Self-adjoint and Markovian extensions of infinite quantum graphs

abstract: We investigate the relationship between one of the classical notions of boundaries for infinite graphs, \emph{graph ends}, and self-adjoint extensions of the minimal Kirchhoff Laplacian on a metric graph. We introduce the notion of \emph{finite volume} for ends of a metric graph and show that finite volume graph ends is the proper notion of a boundary for Markovian extensions of the Kirchhoff Laplacian. In contrast to manifolds and weighted graphs, this provides a transparent geometric characterization of the uniqueness of Markovian extensions, as well as of the self-adjointness of the Gaffney Laplacian -- the underlying metric graph does not have finite volume ends. If however finitely many finite volume ends occur (as is the case of edge graphs of normal, locally finite tessellations or Cayley graphs of amenable finitely generated groups), we provide a complete description of Markovian extensions upon introducing a suitable notion of traces of functions and normal derivatives on the set of graph ends.


title: Evidence of a substellar companion to AB Dor C

abstract: Studies of fundamental parameters of very low-mass objects are indispensable to provide tests of stellar evolution models that are used to derive theoretical masses of brown dwarfs and planets. However, only objects with dynamically determined masses and precise photometry can effectively evaluate the predictions of stellar models. AB Dor C (0.090 solar masses) has become a prime benchmark for calibration of theoretical evolutionary models of low-mass young stars. One of the ambiguities remaining in AB Dor C is the possible binary nature of this star. We observed AB Dor C with the VLTI/AMBER instrument in low-resolution mode at the J, H and K bands. The interferometric observables at the K-band are compatible with a binary brown dwarf system with tentative components AB Dor Ca/Cb with a K-band flux ratio of 5$\pm$1% and a separation of 38$\pm$1 mas. This implies theoretical masses of 0.072$\pm$0.013 M$_{\rm \odot}$ and 0.013$\pm$0.001 M$_{\rm \odot}$ for each component, near the hydrogen-burning limit for AB Dor Ca, and near the deuterium-burning limit, straddling the boundary between brown dwarfs and giant planets, for AB Dor Cb. The possible binarity of AB Dor C alleviates the disagreement between observed magnitudes and theoretical mass-luminosity relationships.


title: Wild ramification, the nearby cycle complexes, and the characteristic cycles of $\ell$-adic sheaves

abstract: We prove a purely local form of a result of Saito and Yatagawa. They proved that the characteristic cycle of a constructible \'etale sheaf is determined by wild ramification of the sheaf along the boundary of a compactification. But they had to consider ramification at all the points of the compactification. We give a pointwise result, that is, we prove that the characteristic cycle of a constructible \'etale sheaf around a point is determined by wild ramification at the point. The key ingredient is to prove that wild ramification of the stalk of the nearby cycle complex of a constructible \'etale sheaf at a point is determined by wild ramification at the point.


title: SMILES Transformer: Pre-trained Molecular Fingerprint for Low Data Drug Discovery

abstract: In drug-discovery-related tasks such as virtual screening, machine learning is emerging as a promising way to predict molecular properties. Conventionally, molecular fingerprints (numerical representations of molecules) are calculated through rule-based algorithms that map molecules to a sparse discrete space. However, these algorithms perform poorly for shallow prediction models or small datasets. To address this issue, we present SMILES Transformer. Inspired by Transformer and pre-trained language models from natural language processing, SMILES Transformer learns molecular fingerprints through unsupervised pre-training of the sequence-to-sequence language model using a huge corpus of SMILES, a text representation system for molecules. We performed benchmarks on 10 datasets against existing fingerprints and graph-based methods and demonstrated the superiority of the proposed algorithms in small-data settings where pre-training facilitated good generalization. Moreover, we define a novel metric to concurrently measure model accuracy and data efficiency.


title: Effective density for inhomogeneous quadratic forms I: generic forms and fixed shifts

abstract: We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed shift vectors and generic quadratic forms. When the shift is rational we prove a counting result which implies the optimal density for values of generic inhomogeneous forms. We also obtain a similar density result for fixed irrational shifts satisfying an explicit Diophantine condition. The main technical tool is a formula for the second moment of Siegel transforms on certain congruence quotients of $\operatorname{SL}_n(\mathbb{R})$ which we believe to be of independent interest. In a sequel, we use different techniques to treat the companion problem concerning generic shifts and fixed quadratic forms.


title: Morphology of CMB fields -- effect of weak gravitational lensing

abstract: We study the morphology of the cosmic microwave background temperature and polarization fields using the shape and alignment parameters, $\beta$ and $\alpha$, that are constructed from the contour Minkowski tensor. The primary goal of our paper is to understand the effect of weak gravitational lensing on the morphology of the CMB fields. In order to isolate different physical effects that can be potentially confused with the effect of lensing, we first study the effect of varying the cosmology on $\alpha$ and $\beta$, and show that they are relatively insensitive to variation of cosmological parameters. Next we analyze the signatures of hemispherical anisotropy, and show that information of such anisotropy in $\alpha$ gets washed out at small angular scales and become pronounced only at large angular scales. For $\beta$ we find characteristic distortions which vary with the field threshold. We then study the effect of weak gravitational lensing using simulations of lensed temperature and $E$ and $B$ modes. We quantify the distortion induced in the fields across different angular scales. We find that lensing makes structures of all fields increasingly more anisotropic as we probe down to smaller scales. We find distinct behaviour of morphological distortions as a function of threshold for the different fields. The effect is small for temperature and $E$ mode, while it is significantly large for $B$ mode. Further, we find that lensing does not induce statistical anisotropy, as expected from the isotropic distribution of large scale structure of matter. We expect that the results obtained in this work will provide insights on the reconstruction of the lensing potential.


title: Dark matter candidate induced by Horndeski theory: dark matter halo and cosmological evolution

abstract: We study spherically symmetric solutions with a scalar field in the shift-symmetric subclass of the Horndeski theory. Constructing an effective energy-momentum tensor of the scalar field based on the two-fluid model, we decompose the scalar field into two components: dark matter and dark energy.We find the dark-matter fluid is pressure-less, and its distribution of energy density obeys the inverse-square law. We show the scalar field dark matter can explain the galaxy rotation curve and discuss the time evolution of the dark matter in the cosmic background.


title: Online Database of Class I Methanol Masers

abstract: In this paper, we present a database of class I methanol masers. The compiled information from the available literature provides an open and fast access to the data on class I methanol maser emission, including search, analysis and visualization of the extensive maser data set. There is information on individual maser components detected with single-dish observations and maser spots obtained from interferometric data. At the moment the database contains information from ~100 papers, i.e. ~7500 observations and ~650 sites of class I methanol masers. Analysis of the data collected in the database shows that the distribution of class I methanol maser sources is similar to that of class II methanol masers. They are mostly found in the Molecular Ring, where majority of the OB stars are located. The difference between class I and II distributions is the presence of many class I methanol masers in the Nuclear Disk region (Central Molecular Zone). Access to the class I methanol maser database is available online at http://maserdb.net