title: On charm-mass dependent NNLO corrections to B -> Xs gamma

abstract: The inclusive radiative decay of the B meson is known to provide strong constraints on many popular extensions of the Standard Model. Such constraints crucially depend on precision of the Standard Model predictions. One of the main contributions to the theoretical uncertainty is due to certain Next-to-Next-to-Leading Order QCD corrections whose values at the physical charm quark mass m_c have been estimated using interpolation between the m_c=0 and m_c >> m_b limits. A direct determination of such corrections at the physical value of m_c requires calculating hundreds of two-scale four-loop propagator diagrams with unitarity cuts. Applying the integration-by-parts method, we express the corrections in terms of master integrals. Asymptotic expansions of these integrals at m_c >> m_b serve as boundary conditions for differential equations in z=m_c^2/m_b^2 that are being numerically solved. Here, we present our final results for the diagrams involving massless and massive fermion loops on the gluon lines. For the two-body cuts, we confirm the analytical expressions and/or numerical fits that are already present in the literature. In the four-body case, we make the correction complete by including several diagrams that have previously been only estimated using interpolation in m_c. We also report the status of the ongoing calculation of the remaining diagrams where no closed fermion loops on the gluon lines are present.


title: Galactic Condensates composed of Multiple Axion Species

abstract: Ultralight scalar dark matter has been proposed to constitute a component of dark matter, though the minimal scenarios have increasingly become constrained. In this work, we analyze scenarios where the dark matter consists of more than one ultralight boson, each with different masses. This potentially leads to formation of gravitationally-bound Bose-Einstein condensates with structures that are very different from condensates composed of a single scalar field. By generalizing from the well-understood single-flavor case, we explore a large range of input parameters, subject to stability criteria, and determine the allowed parameter space for two-flavor condensates as a function of particle physics parameters, paying particular attention to cases where such condensates could compose galactic cores. We also analyze single-flavor condensates subject to external gravity from massive inner bodies and find that such systems may mimic the size of galactic cores as well.


title: Laser pulse driven control of charge and spin order in the two-dimensional Kondo lattice

abstract: Fast and dynamical control of quantum phases is highly desired in the application of quantum phenomena in devices. On the experimental side, ultrafast laser pulses provide an ideal platform to induce femtosecond dynamics in a variety of materials. Here, we show that a laser pulse driven heavy fermion system, can be tuned to dynamically evolve into a phase, which is not present in equilibrium. Using the state-of-the-art time-dependent variational Monte Carlo method, we perform numerical simulations of realistic laser pulses applied to the Kondo Lattice model. By tracking spin and charge degrees of freedom we identify a dynamical phase transition from a charge ordered into a metallic state, while preserving the spin order of the system. We propose to use higher harmonic generation to identify the dynamical phase transition in an ultrafast experiment.


title: Cognitive Anthropomorphism of AI: How Humans and Computers Classify Images

abstract: Modern AI image classifiers have made impressive advances in recent years, but their performance often appears strange or violates expectations of users. This suggests humans engage in cognitive anthropomorphism: expecting AI to have the same nature as human intelligence. This mismatch presents an obstacle to appropriate human-AI interaction. To delineate this mismatch, I examine known properties of human classification, in comparison to image classifier systems. Based on this examination, I offer three strategies for system design that can address the mismatch between human and AI classification: explainable AI, novel methods for training users, and new algorithms that match human cognition.


title: A Neutron Star with a Strange Quark Star-like Mass-Radius Relation

abstract: We study the structure of spherically symmetric and static objects in the presence of a nonminimally coupled scalar field having a potential of the form $V(\phi)=-\mu^2\phi^2/2+\lambda\phi^4/4$. We numerically solve equations of the system using two different realistic equations of state for neutron matter and give the mass-radius relations as well as the radial profiles of the scalar field, densities and the mass function for a sample configuration. We show that a specific solution type encountered in such systems causes characteristic neutron star mass-radius relations to turn into the ones belonging to strange quark stars.


title: Mobile Wireless Network Infrastructure on Demand

abstract: In this work, we introduce Mobile Wireless In-frastructure on Demand: a framework for providing wireless connectivity to multi-robot teams via autonomously reconfiguring ad-hoc networks. In many cases, previous multi-agent systems either assumed the availability of existing communication infrastructure or were required to create a network in addition to completing their objective. Instead our system explicitly assumes the responsibility of creating and sustaining a wireless network capable of satisfying end-to-end communication requirements of a team of agents, called the task team, performing an arbitrary objective. To accomplish this goal, we propose a joint optimization framework that alternates between finding optimal network routes to support data flows between the task agents and improving the performance of the network by repositioning a collection of mobile relay nodes referred to as the network team. We demonstrate our approach with simulations and experiments wherein wireless connectivity is provided to patrolling task agents.


title: The Digital Hopf Construction

abstract: Various concepts and constructions in homotopy theory have been defined in the digital setting. Although there have been several attempts at a definition of a fibration in the digital setting, robust examples of these digital fibrations are few and far between. In this paper, we develop a digital Hopf fibration within the category of tolerance spaces. By widening our category to that of tolerance spaces, we are able to give a construction of this digital Hopf fibration which mimics the smooth setting.


title: Floor- or ceiling-sliding for chemically active, gyrotactic, sedimenting Janus particles

abstract: Surface bound catalytic chemical reactions self-propel chemically active Janus particles. In the vicinity of boundaries, these particles exhibit rich behavior, such as the occurrence of wall-bound steady states of "sliding". Most active particles tend to sediment as they are density mismatched with the solution. Moreover Janus spheres, which consist of an inert core material decorated with a cap-like, thin layer of a catalyst, are gyrotactic ("bottom-heavy"). Occurrence of sliding states near the horizontal walls depends on the interplay between the active motion and the gravity-driven sedimentation and alignment. It is thus important to understand and quantify the influence of these gravity-induced effects on the behavior of model chemically active particles moving near walls. For model gyrotactic, self-phoretic Janus particles, here we study theoretically the occurrence of sliding states at horizontal planar walls that are either below ("floor") or above ("ceiling") the particle. We construct "state diagrams" characterizing the occurrence of such states as a function of the sedimentation velocity and of the gyrotactic response of the particle, as well as of the phoretic mobility of the particle. We show that in certain cases sliding states may emerge simultaneously at both the ceiling and the floor, while the larger part of the experimentally relevant parameter space corresponds to particles that would exhibit sliding states only either at the floor or at the ceiling or there are no sliding states at all. These predictions are critically compared with the results of previous experimental studies and our experiments conducted on Pt-coated polystyrene and silica-core particles suspended in aqueous hydrogen peroxide solutions.


title: A Generalization of Shell Theorem. Electric Potential of Charged Spheres and Charged Vesicles Surrounded by Electrolyte

abstract: By using the Debye screened potential a generalized version of Newton's Shell Theorem is developed and analytical equations are derived to calculate i) the potential of a charged sphere surrounded by electrolyte, ii) the potential of two concentric charged spheres surrounded by electrolyte, and iii) the membrane potential of a charged lipid vesicle surrounded by electrolyte with high ion concentration. By numerical integration the potential of a lipid vesicle is calculated at any electrolyte concentration.


title: Solvent Exchange in a Hele-Shaw Cell Universality of Surface Nanodroplet Nucleation

abstract: Solvent exchange (also called solvent shifting or Ouzo effect) is a generally used bottom-up process to mass-produce nanoscale droplets. In this process, a good solvent for some oil is displaced by a poor one, leading to oil nanodroplet nucleation and subsequent growth. Here we perform this process on a hydrophobic substrate so that sessile droplets so-called surface nanodroplets-develop, following the work of Zhang et al. [Zhang, X.; Lu, Z.; Tan, H.; Bao, L.; He, Y.; Sun, C.; Lohse, D. Proc. Natl. Acad. Sci. U.S.A. 2015, 122, 9253-9257]. In contrast to what was done in that paper, we chose a very well-controlled Hele-Shaw geometry with negligible gravitational effects, injecting the poor solvent in the center of the Hele-Shaw cell, and characterize the emerging nanodroplets as a function of radial distance and flow rates. We find that the mean droplet volume per area <Vol>_area strongly depends on the local Peclet number Pe and follows a universal scaling law <Vol>_area~Pe^(3/4). Moreover, the probability distribution function of the droplet volume strongly depends on the local Pe as well, regardless of the flow rates and radial distance, giving strong support to the theoretical model of the solvent exchange process developed in Zhang et al.'s work.


title: Morphology of Evaporating Sessile Microdroplets on Lyophilic Elliptical Patches

abstract: The evaporation of droplets occurs in a large variety of natural and technological processes such as medical diagnostics, agriculture, food industry, printing, and catalytic reactions. We study the different droplet morphologies adopted by an evaporating droplet on a surface with an elliptical patch with a different contact angle. We perform experiments to observe these morphologies and use numerical calculations to predict the effects of the patched surfaces. We observe that tuning the geometry of the patches offers control over the shape of the droplet. In the experiments, the drops of various volumes are placed on elliptical chemical patches of different aspect ratios and imaged in 3D using laser scanning confocal microscopy, extracting the droplets shape. In the corresponding numerical simulations, we minimize the interfacial free energy of the droplet, by employing Surface Evolver. The numerical results are in good qualitative agreement with our experimental data and can be used for the design of micropatterned structures, potentially suggesting or excluding certain morphologies for particular applications. However, the experimental results show the effects of pinning and contact angle hysteresis, which are obviously absent in the numerical energy minimization. The work culminates with a morphology diagram in the aspect ratio vs relative volume parameter space, comparing the predictions with the measurements.


title: Automatic Design of Mechanical Metamaterial Actuators

abstract: Mechanical metamaterials actuators achieve pre-determined input--output operations exploiting architectural features encoded within a single 3D printed element, thus removing the need of assembling different structural components. Despite the rapid progress in the field, there is still a need for efficient strategies to optimize metamaterial design for a variety of functions. We present a computational method for the automatic design of mechanical metamaterial actuators that combines a reinforced Monte Carlo method with discrete element simulations. 3D printing of selected mechanical metamaterial actuators shows that the machine-generated structures can reach high efficiency, exceeding human-designed structures. We also show that it is possible to design efficient actuators by training a deep neural network, eliminating the need for lengthy mechanical simulations. The elementary actuators devised here can be combined to produce metamaterial machines of arbitrary complexity for countless engineering applications.


title: On the orbital evolution of 2020 AV2, the first asteroid ever observed to go around the Sun inside the orbit of Venus

abstract: The innermost section of the Solar system has not been extensively studied because minor bodies moving inside Earth's orbit tend to spend most of their sidereal orbital periods at very low solar elongation, well away from the areas more frequently observed by programs searching for near-Earth objects. The survey carried out from the Zwicky Transient Facility (ZTF) is the first one that has been able to detect multiple asteroids well detached from the direct gravitational perturbation of the Earth-Moon system. ZTF discoveries include 2019 AQ3 and 2019 LF6, two Atiras with the shortest periods among known asteroids. Here, we perform an assessment of the orbital evolution of 2020 AV2, an Atira found by ZTF with a similarly short period but following a path contained entirely within the orbit of Venus. This property makes it the first known member of the elusive Vatira population. Genuine Vatiras, those long-term dynamically stable, are thought to be subjected to the so-called von Zeipel-Lidov-Kozai oscillation that protects them against close encounters with both Mercury and Venus. However, 2020 AV2 appears to be a former Atira that entered the Vatira orbital domain relatively recently. It displays an anticoupled oscillation of the values of eccentricity and inclination, but the value of the argument of perihelion may circulate. Simulations show that 2020 AV2 might reach a 3:2 resonant orbit with Venus in the future, activating the von Zeipel-Lidov-Kozai mechanism, which in turn opens the possibility to the existence of a long-term stable population of Vatiras trapped in this configuration.


title: Population pharmacokinetics and dosing regimen optimization of tacrolimus in Chinese lung transplant recipients

abstract: We aimed to develop a population pharmacokinetic model of tacrolimus in Chinese lung transplant recipients, and propose model based dosing regimens for individualized treatment. We obtained 807 tacrolimus whole blood concentrations from 52 lung transplant patients and genotyped CYP3A5*3. Population pharmacokinetic analysis was performed using nonlinear mixed effects modeling. Monte Carlo simulations were employed to design initial dosing regimens. Tacrolimus pharmacokinetics was described by a one compartment model with first order absorption and elimination process. The mean estimated apparent clearance was 13.1 l/h with 20.1% inter subject variability in CYP3A5*3/*3 70kg patients with 30% hematocrit and voriconazole free therapy, which is lower than that in Caucasian(17.5 to 36.5 l/h). Hematocrit, postoperative days, tacrolimus daily dose, voriconazole cotherapy, and CYP3A5*3 genotype were identified as significant covariates for tacrolimus clearance. To achieve the target trough concentration (10 to 15 ng/ml) on the 8th day after transplantation, CYP3A5*1/*3 patients with voriconazole free cotherapy, a higher initial dosage than the current regimen of 0.04 mg/kg q12h should be recommened. Given the nonlinear kinetics of tacrolimus and large variability, population pharmacokinetic model should be combined with therapeutic drug monitoring to optimize individualized therapy.


title: The Wasserstein Proximal Gradient Algorithm

abstract: Wasserstein gradient flows are continuous time dynamics that define curves of steepest descent to minimize an objective function over the space of probability measures (i.e., the Wasserstein space). This objective is typically a divergence w.r.t. a fixed target distribution. In recent years, these continuous time dynamics have been used to study the convergence of machine learning algorithms aiming at approximating a probability distribution. However, the discrete-time behavior of these algorithms might differ from the continuous time dynamics. Besides, although discretized gradient flows have been proposed in the literature, little is known about their minimization power. In this work, we propose a Forward Backward (FB) discretization scheme that can tackle the case where the objective function is the sum of a smooth and a nonsmooth geodesically convex terms. Using techniques from convex optimization and optimal transport, we analyze the FB scheme as a minimization algorithm on the Wasserstein space. More precisely, we show under mild assumptions that the FB scheme has convergence guarantees similar to the proximal gradient algorithm in Euclidean spaces.


title: Scalable Vehicle Team Continuum Deformation Coordination with Eigen Decomposition

abstract: The continuum deformation leader-follower cooperative control strategy models vehicles in a multi-agent system as particles of a deformable body. A desired continuum deformation is defined based on leaders' trajectories and acquired by followers in real-time through local communication. The existing continuum deformation theory requires followers to be placed inside the convex simplex defined by leaders. This constraint is relaxed in this paper. We prove that under suitable assumptions any (n+1)(n=1,2,3) vehicles forming an n-D simplex can be selected as leaders while followers, arbitrarily positioned inside or outside the leading simplex, can acquire a desired continuum deformation in a decentralized fashion. The paper's second contribution is to assign a one-to-one mapping between leaders' smooth trajectories and homogeneous deformation features obtained by continuum deformation eigen-decomposition. Therefore, a safe and smooth continuum deformation coordination can be planned either by shaping homogeneous transformation features or by choosing appropriate leader trajectories. This is beneficial to efficiently plan and guarantee inter-agent collision avoidance in a large-scale group. A simulation case study is reported in which a virtual convex simplex contains a quadcopter vehicle team at any time t; A* search is applied to optimize quadcopter team continuum deformation in an obstacle-laden environment.


title: Above Surface Interaction for Multiscale Navigation in Mobile Virtual Reality

abstract: Virtual Reality enables the exploration of large information spaces. In physically constrained spaces such as airplanes or buses, controller-based or mid-air interaction in mobile Virtual Reality can be challenging. Instead, the input space on and above touch-screen enabled devices such as smartphones or tablets could be employed for Virtual Reality interaction in those spaces. In this context, we compared an above surface interaction technique with traditional 2D on-surface input for navigating large planar information spaces such as maps in a controlled user study (n = 20). We find that our proposed above surface interaction technique results in significantly better performance and user preference compared to pinch-to-zoom and drag-to-pan when navigating planar information spaces.


title: DenseCAvoid: Real-time Navigation in Dense Crowds using Anticipatory Behaviors

abstract: We present DenseCAvoid, a novel navigation algorithm for navigating a robot through dense crowds and avoiding collisions by anticipating pedestrian behaviors. Our formulation uses visual sensors and a pedestrian trajectory prediction algorithm to track pedestrians in a set of input frames and provide bounding boxes that extrapolate the pedestrian positions in a future time. Our hybrid approach combines this trajectory prediction with a Deep Reinforcement Learning-based collision avoidance method to train a policy to generate smoother, safer, and more robust trajectories during run-time. We train our policy in realistic 3-D simulations of static and dynamic scenarios with multiple pedestrians. In practice, our hybrid approach generalizes well to unseen, real-world scenarios and can navigate a robot through dense crowds (~1-2 humans per square meter) in indoor scenarios, including narrow corridors and lobbies. As compared to cases where prediction was not used, we observe that our method reduces the occurrence of the robot freezing in a crowd by up to 48%, and performs comparably with respect to trajectory lengths and mean arrival times to goal.


title: SLACC: Simion-based Language Agnostic Code Clones

abstract: Successful cross-language clone detection could enable researchers and developers to create robust language migration tools, facilitate learning additional programming languages once one is mastered, and promote reuse of code snippets over a broader codebase. However, identifying cross-language clones presents special challenges to the clone detection problem. A lack of common underlying representation between arbitrary languages means detecting clones requires one of the following solutions: 1) a static analysis framework replicated across each targeted language with annotations matching language features across all languages, or 2) a dynamic analysis framework that detects clones based on runtime behavior. In this work, we demonstrate the feasibility of the latter solution, a dynamic analysis approach called SLACC for cross-language clone detection. Like prior clone detection techniques, we use input/output behavior to match clones, though we overcome limitations of prior work by amplifying the number of inputs and covering more data types; and as a result, achieve better clusters than prior attempts. Since clusters are generated based on input/output behavior, SLACC supports cross-language clone detection. As an added challenge, we target a static typed language, Java, and a dynamic typed language, Python. Compared to HitoshiIO, a recent clone detection tool for Java, SLACC retrieves 6 times as many clusters and has higher precision (86.7% vs. 30.7%). This is the first work to perform clone detection for dynamic typed languages (precision = 87.3%) and the first to perform clone detection across languages that lack a common underlying representation (precision = 94.1%). It provides a first step towards the larger goal of scalable language migration tools.


title: Local Facial Attribute Transfer through Inpainting

abstract: The term attribute transfer refers to the tasks of altering images in such a way, that the semantic interpretation of a given input image is shifted towards an intended direction, which is quantified by semantic attributes. Prominent example applications are photo realistic changes of facial features and expressions, like changing the hair color, adding a smile, enlarging the nose or altering the entire context of a scene, like transforming a summer landscape into a winter panorama. Recent advances in attribute transfer are mostly based on generative deep neural networks, using various techniques to manipulate images in the latent space of the generator. In this paper, we present a novel method for the common sub-task of local attribute transfers, where only parts of a face have to be altered in order to achieve semantic changes (e.g. removing a mustache). In contrast to previous methods, where such local changes have been implemented by generating new (global) images, we propose to formulate local attribute transfers as an inpainting problem. Removing and regenerating only parts of images, our Attribute Transfer Inpainting Generative Adversarial Network (ATI-GAN) is able to utilize local context information to focus on the attributes while keeping the background unmodified resulting in visually sound results.


title: The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry

abstract: Tropical Differential Algebraic Geometry considers difficult or even intractable problems in Differential Equations and tries to extract information on their solutions from a restricted structure of the input. The Fundamental Theorem of Tropical Differential Algebraic Geometry states that the support of solutions of systems of ordinary differential equations with formal power series coefficients over an uncountable algebraically closed field of characteristic zero can be obtained by solving a so-called tropicalized differential system. Tropicalized differential equations work on a completely different algebraic structure which may help in theoretical and computational questions. We show that the Fundamental Theorem can be extended to the case of systems of partial differential equations by introducing vertex sets of Newton polygons.


title: Bayesian Residual Policy Optimization: Scalable Bayesian Reinforcement Learning with Clairvoyant Experts

abstract: Informed and robust decision making in the face of uncertainty is critical for robots that perform physical tasks alongside people. We formulate this as Bayesian Reinforcement Learning over latent Markov Decision Processes (MDPs). While Bayes-optimality is theoretically the gold standard, existing algorithms do not scale well to continuous state and action spaces. Our proposal builds on the following insight: in the absence of uncertainty, each latent MDP is easier to solve. We first obtain an ensemble of experts, one for each latent MDP, and fuse their advice to compute a baseline policy. Next, we train a Bayesian residual policy to improve upon the ensemble's recommendation and learn to reduce uncertainty. Our algorithm, Bayesian Residual Policy Optimization (BRPO), imports the scalability of policy gradient methods and task-specific expert skills. BRPO significantly improves the ensemble of experts and drastically outperforms existing adaptive RL methods.


title: Semantic Robustness of Models of Source Code

abstract: Deep neural networks are vulnerable to adversarial examples - small input perturbations that result in incorrect predictions. We study this problem for models of source code, where we want the network to be robust to source-code modifications that preserve code functionality. (1) We define a powerful adversary that can employ sequences of parametric, semantics-preserving program transformations; (2) we show how to perform adversarial training to learn models robust to such adversaries; (3) we conduct an evaluation on different languages and architectures, demonstrating significant quantitative gains in robustness.


title: Massive Unsourced Random Access Based on Uncoupled Compressive Sensing: Another Blessing of Massive MIMO

abstract: We put forward a new algorithmic solution to the massive unsourced random access (URA) problem, by leveraging the rich spatial dimensionality offered by large-scale antenna arrays. This paper makes an observation that spatial signature is key to URA in massive connectivity setups. The proposed scheme relies on a slotted transmission framework but eliminates the need for concatenated coding that was introduced in the context of the coupled compressive sensing (CCS) paradigm. Indeed, all existing works on CCS-based URA rely on an inner/outer tree-based encoder/decoder to stitch the slot-wise recovered sequences. This paper takes a different path by harnessing the nature-provided correlations between the slotwise reconstructed channels of each user in order to put together its decoded sequences. The required slot-wise channel estimates and decoded sequences are first obtained through the hybrid generalized approximate message passing (HyGAMP) algorithm which systematically accommodates the multiantenna-induced group sparsity. Then, a channel correlation-aware clustering framework based on the expectation-maximization (EM) concept is used together with the Hungarian algorithm to find the slotwise optimal assignment matrices by enforcing two clustering constraints that are very specific to the problem at hand. Stitching is then accomplished by associating the decoded sequences to their respective users according to the ensuing assignment matrices. Exhaustive computer simulations reveal that the proposed scheme can bring performance improvements, at high spectral efficiencies, as compared to a state-of-the-art technique that investigates the use of large-scale antenna arrays in the context of massive URA.


title: Three-dimensional Vortex-induced Reaction Hotspots at Flow Intersections

abstract: We show the emergence of reaction hotspots induced by three-dimensional (3D) vortices with a simple $A+B \rightarrow C$ reaction. We conduct microfluidics experiments to visualize the spatial map of the reaction rate with the chemiluminescence reaction and cross-validate the results with direct numerical simulations. 3D vortices form at spiral saddle type stagnation points, and the 3D vortex flow topology is essential for initiating reaction hotspots. The effect of vortices on mixing and reaction becomes more vigorous for rough-walled channels, and our findings are valid over wide ranges of channel dimensions and Damk\"{o}hler numbers.


title: Second-harmonic imaging of plasmonic Pancharatnam-Berry phase metasurfaces coupled to monolayers of WS2

abstract: The nonlinear processes of frequency conversion like second harmonic generation (SHG) usually obey certain selection rules, resulting from the preservation of different kind of physical quantities, e.g., the angular momentum. For SHG created by monolayer of transition-metal dichalcogenides (TMDCs) like WS2, the valley-exciton locked selection rule predicts an SHG signal in the cross-polarization state. By combining plasmonic nanostructures with a monolayer of TMDC, a hybrid metasurface is realized which affects this nonlinear process due to an additional polarization conversion process. Here, we observe that the plasmonic metasurface modifies the light-matter interaction with the TMDC resulting in an SHG signal that is co-polarized with respect to the incident field, which is usually forbidden for solely monolayers of TMDC. We fabricate such hybrid metasurfaces by placing plasmonic nanorods on top of a monolayer WS2 and study the valley-exciton locked SHG emission from such system for different parameters, such as wavelength and polarization. Furthermore, we show the potential of the hybrid metasurface for tailoring nonlinear processes by adding additional phase information to the SHG signal using the Pancharatnam-Berry phase effect. This allows direct tailoring of the SHG emission to the far-field.


title: Decomposing the wavelet representation for shifts by wallpaper groups

abstract: The wavelet group and wavelet representation associated with shifts coming from a two dimensional crystal symmetry group $\Gamma$ and dilations by powers of 3, are defined and studied. The main result is an explicit decomposition of the $3\Gamma-$wavelet representation into irreducible representations of the wavelet group.


title: Analytic Formulas for the Sample Moments of the Sample Correlation over Permutations of Data

abstract: Presented is an inductive formula for computing the sample moments of the distribution of Pearson's sample correlation over permutation of data. These exact formulas for the sample moments suggest the possibility of more precise and computationally efficient methods of evaluating the p-value for a hypothesis test of Pearson's correlation.


title: Snippext: Semi-supervised Opinion Mining with Augmented Data

abstract: Online services are interested in solutions to opinion mining, which is the problem of extracting aspects, opinions, and sentiments from text. One method to mine opinions is to leverage the recent success of pre-trained language models which can be fine-tuned to obtain high-quality extractions from reviews. However, fine-tuning language models still requires a non-trivial amount of training data. In this paper, we study the problem of how to significantly reduce the amount of labeled training data required in fine-tuning language models for opinion mining. We describe Snippext, an opinion mining system developed over a language model that is fine-tuned through semi-supervised learning with augmented data. A novelty of Snippext is its clever use of a two-prong approach to achieve state-of-the-art (SOTA) performance with little labeled training data through: (1) data augmentation to automatically generate more labeled training data from existing ones, and (2) a semi-supervised learning technique to leverage the massive amount of unlabeled data in addition to the (limited amount of) labeled data. We show with extensive experiments that Snippext performs comparably and can even exceed previous SOTA results on several opinion mining tasks with only half the training data required. Furthermore, it achieves new SOTA results when all training data are leveraged. By comparison to a baseline pipeline, we found that Snippext extracts significantly more fine-grained opinions which enable new opportunities of downstream applications.


title: MetaNet: A new paradigm for data sharing in photonics research

abstract: Optimization methods are playing an increasingly important role in all facets of photonics engineering, from integrated photonics to free space diffractive optics. However, efforts in the photonics community to develop optimization algorithms remain uncoordinated, which has hindered proper benchmarking of design approaches and access to device designs based on optimization. We introduce MetaNet, an online database of photonic devices and design codes intended to promote coordination and collaboration within the photonics community. Using metagratings as a model system, we have uploaded over one hundred thousand device layouts to the database, as well as source code for implementations of local and global topology optimization methods. Further analyses of these large datasets allow the distribution of optimized devices to be visualized for a given optimization method. We expect that the coordinated research efforts enabled by MetaNet will expedite algorithm development for photonics design.


title: Non-exponential decay in Floquet-Bloch bands

abstract: Exponential decay laws describe systems ranging from unstable nuclei to fluorescent molecules, in which the probability of jumping to a lower-energy state in any given time interval is static and history-independent. These decays, involving only a metastable state and fluctuations of the quantum vacuum, are the most fundamental nonequilibrium process, and provide a microscopic model for the origins of irreversibility. Despite the fact that the apparently universal exponential decay law has been precisely tested in a variety of physical systems, it is a surprising truth that quantum mechanics requires that spontaneous decay processes have non-exponential time dependence at both very short and very long times. Cold-atom experiments both classic and recent have proven to be powerful probes of fundamental decay processes; in this paper, we propose the use of Bose condensates in Floquet-Bloch bands as a probe of long-time non-exponential decay in single isolated emitters. We identify a range of parameters that should enable observation of long-time deviations, and experimentally demonstrate a key element of the scheme: tunable decay between quasienergy bands in a driven optical lattice.


title: Local extrema for Procustes problems in the set of positive definite matrices

abstract: Given two positive definite matrices $A$ and $B$, a well known result by Gelfand, Naimark and Lidskii establishes a relationship between the eigenvalues of $A$ and $B$ and those of $AB$ by means of majorization inequalities. In this work we make a local study focused in the spectrum of the matrices that achieve the equality in those inequalities. As an application, we complete some previous results concerning Procustes problems for unitarily invariant norms in the manifold of positive definite matrices.


title: Predictive online optimisation with applications to optical flow

abstract: Online optimisation revolves around new data being introduced into a problem while it is still being solved; think of deep learning as more training samples become available. We adapt the idea to dynamic inverse problems such as video processing with optical flow. We introduce a corresponding predictive online primal-dual proximal splitting method. The video frames now exactly correspond to the algorithm iterations. A user-prescribed predictor describes the evolution of the primal variable. To prove convergence we need a predictor for the dual variable based on (proximal) gradient flow. This affects the model that the method asymptotically minimises. We show that for inverse problems the effect is, essentially, to construct a new dynamic regulariser based on infimal convolution of the static regularisers with the temporal coupling. We finish by demonstrating excellent real-time performance of our method in computational image stabilisation and convergence in terms of regularisation theory.


title: Extrapolation Towards Imaginary $0$-Nearest Neighbour and Its Improved Convergence Rate

abstract: $k$-nearest neighbour ($k$-NN) is one of the simplest and most widely-used methods for supervised classification, that predicts a query's label by taking weighted ratio of observed labels of $k$ objects nearest to the query. The weights and the parameter $k \in \mathbb{N}$ regulate its bias-variance trade-off, and the trade-off implicitly affects the convergence rate of the excess risk for the $k$-NN classifier; several existing studies considered selecting optimal $k$ and weights to obtain faster convergence rate. Whereas $k$-NN with non-negative weights has been developed widely, it was also proved that negative weights are essential for eradicating the bias terms and attaining optimal convergence rate. In this paper, we propose a novel multiscale $k$-NN (MS-$k$-NN), that extrapolates unweighted $k$-NN estimators from several $k \ge 1$ values to $k=0$, thus giving an imaginary 0-NN estimator. Our method implicitly computes optimal real-valued weights that are adaptive to the query and its neighbour points. We theoretically prove that the MS-$k$-NN attains the improved rate, which coincides with the existing optimal rate under some conditions.


title: A Simulated Annealing Algorithm for the Directed Steiner Tree Problem

abstract: In \cite{siebert2019linear} the authors present a set of integer programs (IPs) for the Steiner tree problem, which can be used for both, the directed and the undirected setting of the problem. Each IP finds an optimal Steiner tree with a specific structure. A solution with the lowest cost, corresponds to an optimal solution to the entire problem. The authors show that the linear programming relaxation of each IP is integral and, also, that each IP is polynomial in the size of the instance, consequently, they can be solved in polynomial time. The main issue is that the number of IPs to solve grows exponentially with the number of terminal nodes, which makes this approach impractical for large instances. In this paper, we propose a local search procedure to solve the directed Steiner tree problem using the approach presented in \cite{siebert2019linear}. In order to do this, we present a dynamic programming algorithm to solve each IP efficiently. Then we provide a characterization of the neighborhood of each tree structure. Finally, we use the proposed algorithm and the neighborhood characterization to solve the problem using a simulated annealing framework. Computational experiments show that the quality of the solutions delivered by our approach is better than the ones presented in the literature for the directed Steiner tree problem.


title: autoNLP: NLP Feature Recommendations for Text Analytics Applications

abstract: While designing machine learning based text analytics applications, often, NLP data scientists manually determine which NLP features to use based upon their knowledge and experience with related problems. This results in increased efforts during feature engineering process and renders automated reuse of features across semantically related applications inherently difficult. In this paper, we argue for standardization in feature specification by outlining structure of a language for specifying NLP features and present an approach for their reuse across applications to increase likelihood of identifying optimal features.


title: The Bloom Tree

abstract: We introduce a data structure that allows for efficient (probabilistic) presence proofs and non-probabilistic absence proofs in a bandwidth efficient and secure way. The Bloom tree combines the idea of Bloom filters with that of Merkle trees. Bloom filters are used to verify the presence, or absence of elements in a set. In the case of the Bloom tree, we are interested to verify and transmit the presence, or absence of an element in a secure and bandwidth efficient way to another party. Instead of sending the whole Bloom filter to check for the presence, or absence of an element, the Bloom tree achieves efficient verification by using a compact Merkle multiproof.


title: Lessons Learned Developing and Extending a Visual Analytics Solution for Investigative Analysis of Scamming Activities

abstract: Cybersecurity analysts work on large communication data sets to perform investigative analysis by painstakingly going over thousands of email conversations to find potential scamming activities and the network of cyber scammers. Traditionally,experts used email clients, database systems and text editors to perform this investigation. With the advent of technology,elaborate tools that summarize data more efficiently by using cutting edge data visualization techniques have come out. Beagle[1] is one such tool which visualizes the large communication data using different panels such that the inspector has better chances of finding the scam network. This paper is a report on our work to implement and improve the work done by Jay Koven et al. [1]. We have proposed and demonstrated via implementation, a few more visualizations that we feel would help in grouping and analyzing the e-mail data more efficiently. Lastly, we have also presented a case study that shows the potential use of our tool in a real-world scenario.


title: Extreme events in time series aggregation: A case study for optimal residential energy supply systems

abstract: To account for volatile renewable energy supply, energy systems optimization problems require high temporal resolution. Many models use time-series clustering to find representative periods to reduce the amount of time-series input data and make the optimization problem computationally tractable. However, clustering methods remove peaks and other extreme events, which are important to achieve robust system designs. We present a general decision framework to include extreme events in a set of representative periods. We introduce a method to find extreme periods based on the slack variables of the optimization problem itself. Our method is evaluated and benchmarked with other extreme period inclusion methods from the literature for a design and operations optimization problem: a residential energy supply system. Our method ensures feasibility over the full input data of the residential energy supply system although the design optimization is performed on the reduced data set. We show that using extreme periods as part of representative periods improves the accuracy of the optimization results by 3% to more than 75% depending on system constraints compared to results with clustering only, and thus reduces system cost and enhances system reliability.


title: Chinese E-Romance: Analyzing and Visualizing 7.92 Million Alibaba Valentine's Day Purchases

abstract: The days that precede Valentine's Day are characterized by extensive gift shopping activities all across the globe. In China, where much shopping takes place online, there has been an explosive growth in e-commerce sales during Valentine's Day over the recent years. This exploratory study investigates the extent to which each product category and each shopper group can exhibit romantic love within China's e-market throughout the 2 weeks leading up to 2019 Valentine's Day. Massive data from Alibaba, the biggest e-commerce retailer worldwide, are utilized to formulate an innovative romance index (RI) to quantitatively measure e-romantic values for products and shoppers. On this basis, millions of shoppers, along with their millions of products purchased around Valentine's Day, are analyzed as a case study to demonstrate their love consumption and romantic gift-giving. The results of the analysis are then illustrated to help understand Chinese e-romance based on the perspectives of different product categories and shopper groups. This empirical information visualization also contributes to improving the segmentation, targeting, and positioning of China's e-market for Valentine's Day.


title: Incorporating Symmetry into Deep Dynamics Models for Improved Generalization

abstract: Recent work has shown deep learning can accelerate the prediction of physical dynamics relative to numerical solvers. However, limited physical accuracy and an inability to generalize under distributional shift limit its applicability to the real world. We propose to improve accuracy and generalization by incorporating symmetries into convolutional neural networks. Specifically, we employ a variety of methods each tailored to enforce a different symmetry. Our models are both theoretically and experimentally robust to distributional shift by symmetry group transformations and enjoy favorable sample complexity. We demonstrate the advantage of our approach on a variety of physical dynamics including Rayleigh B\'enard convection and real-world ocean currents and temperatures. Compared with image or text applications, our work is a significant step towards applying equivariant neural networks to high-dimensional systems with complex dynamics. We open-source our simulation, data, and code at \url{https://github.com/Rose-STL-Lab/Equivariant-Net}.


title: Assistive robots for the social management of health: a framework for robot design and human-robot interaction research

abstract: There is a close connection between health and the quality of one's social life. Strong social bonds are essential for health and wellbeing, but often health conditions can detrimentally affect a person's ability to interact with others. This can become a vicious cycle resulting in further decline in health. For this reason, the social management of health is an important aspect of healthcare. We propose that socially assistive robots (SARs) could help people with health conditions maintain positive social lives by supporting them in social interactions. This paper makes three contributions, as detailed below. We develop a framework of social mediation functions that robots could perform, motivated by the special social needs that people with health conditions have. In this framework we identify five types of functions that SARs could perform: a) changing how the person is perceived, b) enhancing the social behavior of the person, c) modifying the social behavior of others, d) providing structure for interactions, and e) changing how the person feels. We thematically organize and review the existing literature on robots supporting human-human interactions, in both clinical and non-clinical settings, and explain how the findings and design ideas from these studies can be applied to the functions identified in the framework. Finally, we point out and discuss challenges in designing SARs for supporting social interactions, and highlight opportunities for future robot design and HRI research on the mediator role of robots.


title: Storyboard: Optimizing Precomputed Summaries for Aggregation

abstract: An emerging class of data systems partition their data and precompute approximate summaries (i.e., sketches and samples) for each segment to reduce query costs. They can then aggregate and combine the segment summaries to estimate results without scanning the raw data. However, given limited storage space each summary introduces approximation errors that affect query accuracy. For instance, systems that use existing mergeable summaries cannot reduce query error below the error of an individual precomputed summary. We introduce Storyboard, a query system that optimizes item frequency and quantile summaries for accuracy when aggregating over multiple segments. Compared to conventional mergeable summaries, Storyboard leverages additional memory available for summary construction and aggregation to derive a more precise combined result. This reduces error by up to 25x over interval aggregations and 4.4x over data cube aggregations on industrial datasets compared to standard summarization methods, with provable worst-case error guarantees.


title: Learning from, Understanding, and Supporting DevOps Artifacts for Docker

abstract: With the growing use of DevOps tools and frameworks, there is an increased need for tools and techniques that support more than code. The current state-of-the-art in static developer assistance for tools like Docker is limited to shallow syntactic validation. We identify three core challenges in the realm of learning from, understanding, and supporting developers writing DevOps artifacts: (i) nested languages in DevOps artifacts, (ii) rule mining, and (iii) the lack of semantic rule-based analysis. To address these challenges we introduce a toolset, binnacle, that enabled us to ingest 900,000 GitHub repositories. Focusing on Docker, we extracted approximately 178,000 unique Dockerfiles, and also identified a Gold Set of Dockerfiles written by Docker experts. We addressed challenge (i) by reducing the number of effectively uninterpretable nodes in our ASTs by over 80% via a technique we call phased parsing. To address challenge (ii), we introduced a novel rule-mining technique capable of recovering two-thirds of the rules in a benchmark we curated. Through this automated mining, we were able to recover 16 new rules that were not found during manual rule collection. To address challenge (iii), we manually collected a set of rules for Dockerfiles from commits to the files in the Gold Set. These rules encapsulate best practices, avoid docker build failures, and improve image size and build latency. We created an analyzer that used these rules, and found that, on average, Dockerfiles on GitHub violated the rules five times more frequently than the Dockerfiles in our Gold Set. We also found that industrial Dockerfiles fared no better than those sourced from GitHub. The learned rules and analyzer in binnacle can be used to aid developers in the IDE when creating Dockerfiles, and in a post-hoc fashion to identify issues in, and to improve, existing Dockerfiles.


title: Inequalities between mixed volumes of convex bodies: volume bounds for the Minkowski sum

abstract: In the course of classifying generic sparse polynomial systems which are solvable in radicals, Esterov recently showed that the volume of the Minkowski sum $P_1+\dots+P_d$ of $d$-dimensional lattice polytopes is bounded from above by a function of order $O(m^{2^d})$, where $m$ is the mixed volume of the tuple $(P_1,\dots,P_d)$. This is a consequence of the well-known Aleksandrov-Fenchel inequality. Esterov also posed the problem of determining a sharper bound. We show how additional relations between mixed volumes can be employed to improve the bound to $O(m^d)$, which is asymptotically sharp. We furthermore prove a sharp exact upper bound in dimensions 2 and 3. Our results generalize to tuples of arbitrary convex bodies with volume at least one.


title: A global analysis strategy to resolve neutrino NSI degeneracies with scattering and oscillation data

abstract: Neutrino non-standard interactions (NSI) with the first generation of standard model fermions can span a parameter space of large dimension and exhibit degeneracies that cannot be broken by a single class of experiment. Oscillation experiments, together with neutrino scattering experiments, can merge their observations into a highly informational dataset to combat this problem. We consider combining neutrino-electron and neutrino-nucleus scattering data from the Borexino and COHERENT experiments, including a projection for the upcoming coherent neutrino scattering measurement at the CENNS-10 liquid argon detector. We extend the reach of these data sets over the NSI parameter space with projections for neutrino scattering at a future multi-ton scale dark matter detector and future oscillation measurements from atmospheric neutrinos at the Deep Underground Neutrino Experiment (DUNE). In order to perform this global analysis, we adopt a novel approach using the copula method, utilized to combine posterior information from different experiments with a large, generalized set of NSI parameters. We find that the contributions from DUNE and a dark matter detector to the Borexino and COHERENT fits can improve constraints on the electron and quark NSI parameters by up to a factor of 2 to 3, even when relatively many NSI parameters are left free to vary in the analysis.


title: Description Based Text Classification with Reinforcement Learning

abstract: The task of text classification is usually divided into two stages: {\it text feature extraction} and {\it classification}. In this standard formalization categories are merely represented as indexes in the label vocabulary, and the model lacks for explicit instructions on what to classify. Inspired by the current trend of formalizing NLP problems as question answering tasks, we propose a new framework for text classification, in which each category label is associated with a category description. Descriptions are generated by hand-crafted templates or using abstractive/extractive models from reinforcement learning. The concatenation of the description and the text is fed to the classifier to decide whether or not the current label should be assigned to the text. The proposed strategy forces the model to attend to the most salient texts with respect to the label, which can be regarded as a hard version of attention, leading to better performances. We observe significant performance boosts over strong baselines on a wide range of text classification tasks including single-label classification, multi-label classification and multi-aspect sentiment analysis.


title: Paving the way for Distributed Non-Blocking Algorithms and Data Structures in the Partitioned Global Address Space

abstract: The partitioned global address space has bridged the gap between shared and distributed memory, and with this bridge comes the ability to adapt shared memory concepts, such as non-blocking programming, to distributed systems such as supercomputers. To enable non-blocking algorithms, we present ways to perform scalable atomic operations on objects in remote memory via remote direct memory address and pointer compression. As a solution to the problem of concurrent-safe reclamation of memory in a distributed system, we adapt Epoch-Based Memory Reclamation to distributed memory and implement it in such a way to support global-view programming. This construct is designed and implemented for the Chapel programming language, but can be adapted and generalized to work on other languages and libraries.


title: Adaptive Approximate Policy Iteration

abstract: Model-free reinforcement learning algorithms combined with value function approximation have recently achieved impressive performance in a variety of application domains. However, the theoretical understanding of such algorithms is limited, and existing results are largely focused on episodic or discounted Markov decision processes (MDPs). In this work, we present adaptive approximate policy iteration (AAPI), a learning scheme which enjoys a $\tilde{O}(T^{2/3})$ regret bound for undiscounted, continuing learning in uniformly ergodic MDPs. This is an improvement over the best existing bound of $\tilde{O}(T^{3/4})$ for the average-reward case with function approximation. Our algorithm and analysis rely on online learning techniques, where value functions are treated as losses. The main technical novelty is the use of a data-dependent adaptive learning rate coupled with a so-called optimistic prediction of upcoming losses. In addition to theoretical guarantees, we demonstrate the advantages of our approach empirically on several environments.


title: Explosion Dynamics of Methane Clusters Irradiated by 38 nm XUV Laser Pulses

abstract: We have studied the explosion dynamics of methane clusters irradiated by intense, femtosecond, 38 nm (32.6 eV) XUV laser pulses. The ion time-of-flight spectrum measured with a Wiley-McLaren-type time-of-flight spectrometer reveals undissociated molecular $\textrm{CH}_4^+$ ions, fragments which are missing hydrogen atoms due to the breakage of one or more C-H bonds $(\textrm{CH}_3^+, \textrm{CH}_2^+ \ \textrm{and}\ \textrm{CH}^+)$ and the recombination product $\textrm{CH}_5^+$. Also visible on the time-of-flight traces are atomic and molecular hydrogen ions $(\textrm{H}^+ \textrm{and}\ \textrm{H}_2^+)$, carbon ions, and larger hydrocarbons such as $\textrm{C}_2 \textrm{H}_2^+$ and $\textrm{C}_2\textrm{H}_3^+$. No doubly-charged parent ions $(\textrm{CH}_4^{2+})$ were detected. The time-of-flight results show that total and relative ion yields depend strongly on cluster size. The absolute yields of $\textrm{CH}^+_5$ and $\textrm{H}^+$ scale linearly with the yields of the other generated fragments up to a cluster size of $\langle\textrm{N}\rangle=70,000 \ \textrm{molecules}$, then begin to decrease, whereas the yields of the $\textrm{CH}_n^+(n=1-4) $ fragments plateau at this cluster size. The behavior of $\textrm{H}^+$ may be understood through the electron recombination rate, which depends on the electron temperature and the cluster average charge. Moreover, the $\textrm{CH}_5^+$ behavior is explained by the depletion of both $\textrm{CH}_4^+$ and $\textrm{H}^+$ via electron-ion recombination in the expanding nanoplasma.


title: Joint Satellite Gateway Placement and Routing for Integrated Satellite-Terrestrial Networks

abstract: With the increasing attention to the integrated satellite-terrestrial networks (ISTNs), the satellite gateway placement problem becomes of paramount importance. The resulting network performance may vary depending on the different design strategies. In this paper, a joint satellite gateway placement and routing strategy for the terrestrial network is proposed to minimize the overall cost of gateway deployment and traffic routing, while adhering to the average delay requirement for traffic demands. Although traffic routing and gateway placement can be solved independently, the dependence between the routing decisions for different demands makes it more realistic to solve an aggregated model instead. We develop a mixed-integer linear program (MILP) formulation for the problem. We relax the integrality constraints to achieve a linear program (LP) which reduces time-complexity at the expense of a sub-optimal solution. We further propose a variant of the proposed model to balance the load between the selected gateways.


title: Generalized Hidden Parameter MDPs Transferable Model-based RL in a Handful of Trials

abstract: There is broad interest in creating RL agents that can solve many (related) tasks and adapt to new tasks and environments after initial training. Model-based RL leverages learned surrogate models that describe dynamics and rewards of individual tasks, such that planning in a good surrogate can lead to good control of the true system. Rather than solving each task individually from scratch, hierarchical models can exploit the fact that tasks are often related by (unobserved) causal factors of variation in order to achieve efficient generalization, as in learning how the mass of an item affects the force required to lift it can generalize to previously unobserved masses. We propose Generalized Hidden Parameter MDPs (GHP-MDPs) that describe a family of MDPs where both dynamics and reward can change as a function of hidden parameters that vary across tasks. The GHP-MDP augments model-based RL with latent variables that capture these hidden parameters, facilitating transfer across tasks. We also explore a variant of the model that incorporates explicit latent structure mirroring the causal factors of variation across tasks (for instance: agent properties, environmental factors, and goals). We experimentally demonstrate state-of-the-art performance and sample-efficiency on a new challenging MuJoCo task using reward and dynamics latent spaces, while beating a previous state-of-the-art baseline with $>10\times$ less data. Using test-time inference of the latent variables, our approach generalizes in a single episode to novel combinations of dynamics and reward, and to novel rewards.


title: Bone Suppression on Chest Radiographs With Adversarial Learning

abstract: Dual-energy (DE) chest radiography provides the capability of selectively imaging two clinically relevant materials, namely soft tissues, and osseous structures, to better characterize a wide variety of thoracic pathology and potentially improve diagnosis in posteroanterior (PA) chest radiographs. However, DE imaging requires specialized hardware and a higher radiation dose than conventional radiography, and motion artifacts sometimes happen due to involuntary patient motion. In this work, we learn the mapping between conventional radiographs and bone suppressed radiographs. Specifically, we propose to utilize two variations of generative adversarial networks (GANs) for image-to-image translation between conventional and bone suppressed radiographs obtained by DE imaging technique. We compare the effectiveness of training with patient-wisely paired and unpaired radiographs. Experiments show both training strategies yield "radio-realistic'' radiographs with suppressed bony structures and few motion artifacts on a hold-out test set. While training with paired images yields slightly better performance than that of unpaired images when measuring with two objective image quality metrics, namely Structural Similarity Index (SSIM) and Peak Signal-to-Noise Ratio (PSNR), training with unpaired images demonstrates better generalization ability on unseen anteroposterior (AP) radiographs than paired training.


title: Diagonal and Hall holographic conductivities dual to a bulk condensate of magnetic monopoles

abstract: By employing the holographic operator mixing technique to deal with coupled perturbations in the gauge/gravity duality, I numerically compute the real and imaginary parts of the diagonal and Hall AC conductivities in a strongly coupled quantum field theory dual to a bulk condensate of magnetic monopoles. The results obtained show that a conclusion previously derived in the literature, namely, the vanishing of holographic DC conductivities in 3-dimensional strongly coupled quantum field theories dual to a 4-dimensional bulk magnetic monopole condensate, also applies to the calculation of diagonal and Hall conductivities in the presence of a topological $\theta$-term. Therefore, the condensation of magnetic monopoles in the bulk is suggested as a rather general and robust mechanism to generate dual strongly coupled quantum field theories with zero DC conductivities. The interplay between frequency, $\theta$-angle and the characteristic mass scale of the monopole condensate on the results for the conductivities is also investigated.


title: Some arithmetical problems that are obtained by analyzing proofs and infinite graphs

abstract: Applying Baaz's Generalization Method and a new technique to, respectively, proofs and denumerable simple graphs, diverse arithmetical patterns are observed. In particular, sufficient conditions for a number to be a divisor of a Fermat number are provided. The accuracy of such observations is asked in several subsequent problems.


title: General Quantum Bernoulli Factory: Framework Analysis and Experiments

abstract: The unremitting pursuit for quantum advantages gives rise to the discovery of a quantum-enhanced randomness processing named quantum Bernoulli factory (QBF). This quantum enhanced process can show its priority over the corresponding classical process through readily available experimental resources, thus in the near term it may be capable of accelerating the applications of classical Bernoulli factories, such as the widely used sampling algorithms. In this work, we provide the framework analysis of the QBF. We thoroughly analyze the quantum state evolution in this process, discovering the field structure of the constructible quantum states. Our framework analysis shows that naturally, the previous works can be described as specific instances of this framework. Then, as a proof of principle, we experimentally demonstrate this framework via an entangled two-photon source along with a reconfigurable photonic logic, and show the advantages of the QBF over the classical model through a classically infeasible instance. These results may stimulate the discovery of advantages of the quantum randomness processing in a wider range of tasks, as well as its potential applications.


title: Uniformly locally o-minimal open core

abstract: This paper discusses sufficient conditions for a definably complete densely linearly ordered expansion of an abelian group having the uniformly locally o-minimal open cores of the first/second kind and strongly locally o-minimal open core, respectively.


title: Dimension inequality for a definably complete uniformly locally o-minimal structure of the second kind

abstract: Consider a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group. Let $f:X \rightarrow R^n$ be a definable map, where $X$ is a definable set and $R$ is the universe of the structure. We demonstrate the inequality $\dim(f(X)) \leq \dim(X)$ in this paper. As a corollary, we get that the set of the points at which $f$ is discontinuous is of dimension smaller than $\dim(X)$. We also show that the structure is defiably Baire in the course of the proof of the inequality.


title: Blank Language Models

abstract: We propose Blank Language Model (BLM), a model that generates sequences by dynamically creating and filling in blanks. The blanks control which part of the sequence to expand, making BLM ideal for a variety of text editing and rewriting tasks. The model can start from a single blank or partially completed text with blanks at specified locations. It iteratively determines which word to place in a blank and whether to insert new blanks, and stops generating when no blanks are left to fill. BLM can be efficiently trained using a lower bound of the marginal data likelihood. On the task of filling missing text snippets, BLM significantly outperforms all other baselines in terms of both accuracy and fluency. Experiments on style transfer and damaged ancient text restoration demonstrate the potential of this framework for a wide range of applications.


title: Analysis of Random Perturbations for Robust Convolutional Neural Networks

abstract: Recent work has extensively shown that randomized perturbations of neural networks can improve robustness to adversarial attacks. The literature is, however, lacking a detailed compare-and-contrast of the latest proposals to understand what classes of perturbations work, when they work, and why they work. We contribute a detailed evaluation that elucidates these questions and benchmarks perturbation based defenses consistently. In particular, we show five main results: (1) all input perturbation defenses, whether random or deterministic, are equivalent in their efficacy, (2) attacks transfer between perturbation defenses so the attackers need not know the specific type of defense -- only that it involves perturbations, (3) a tuned sequence of noise layers across a network provides the best empirical robustness, (4) perturbation based defenses offer almost no robustness to adaptive attacks unless these perturbations are observed during training, and (5) adversarial examples in a close neighborhood of original inputs show an elevated sensitivity to perturbations in first and second-order analyses.


title: Definable $C^r$ vector bundles and bilinear spaces in an o-minimal structure and their homotopy theorems

abstract: Consider an o-minimal structure on the real field. Let $M$ be a definable $C^r$ manifold, where $r$ is a nonnegative integer. We first demonstrate an equivalence of the category of definable $C^r$ vector bundles over $M$ with the category of finitely generated projective modules over the ring $C_{\text{df}}^r(M)$. Here, the notation $C_{\text{df}}^r(M)$ denotes the ring of definable $C^r$ functions on $M$. We also show an equivalence of the category of definable $C^r$ bilinear spaces over $M$ with the category of bilinear spaces over the ring $C_{\text{df}}^r(M)$. The main theorems of this paper are homotopy theorems for definable $C^r$ vector bundles and definable $C^r$ bilinear spaces over $M$. As an application, we show that the Grothendieck rings $K_0(C_{\text{df}}^r(M))$, $K_0(C_{\text{df}}^0(M))$ and the Witt ring $W(C_{\text{df}}^r(M))$ are all isomorphic.


title: RL-Duet: Online Music Accompaniment Generation Using Deep Reinforcement Learning

abstract: This paper presents a deep reinforcement learning algorithm for online accompaniment generation, with potential for real-time interactive human-machine duet improvisation. Different from offline music generation and harmonization, online music accompaniment requires the algorithm to respond to human input and generate the machine counterpart in a sequential order. We cast this as a reinforcement learning problem, where the generation agent learns a policy to generate a musical note (action) based on previously generated context (state). The key of this algorithm is the well-functioning reward model. Instead of defining it using music composition rules, we learn this model from monophonic and polyphonic training data. This model considers the compatibility of the machine-generated note with both the machine-generated context and the human-generated context. Experiments show that this algorithm is able to respond to the human part and generate a melodic, harmonic and diverse machine part. Subjective evaluations on preferences show that the proposed algorithm generates music pieces of higher quality than the baseline method.


title: Closure and Connected Component of a Planar Global Semianalytic Set Defined by Analytic Functions Definable in O-minimal Structure

abstract: We consider a global semianalytic set defined by real analytic functions definable in an o-minimal structure. When the o-minimal structure is polynomially bounded, we show that the closure of this set is a global semianalytic set defined by definable real analytic functions. We also demonstrate that a connected component of a planar global semianalytic set defined by real analytic functions definable in a substructure of the restricted analytic field is a global semianalytic set defined by definable real analytic functions.


title: LAVA NAT: A Non-Autoregressive Translation Model with Look-Around Decoding and Vocabulary Attention

abstract: Non-autoregressive translation (NAT) models generate multiple tokens in one forward pass and is highly efficient at inference stage compared with autoregressive translation (AT) methods. However, NAT models often suffer from the multimodality problem, i.e., generating duplicated tokens or missing tokens. In this paper, we propose two novel methods to address this issue, the Look-Around (LA) strategy and the Vocabulary Attention (VA) mechanism. The Look-Around strategy predicts the neighbor tokens in order to predict the current token, and the Vocabulary Attention models long-term token dependencies inside the decoder by attending the whole vocabulary for each position to acquire knowledge of which token is about to generate. %We also propose a dynamic bidirectional decoding approach to accelerate the inference process of the LAVA model while preserving the high-quality of the generated output. Our proposed model uses significantly less time during inference compared with autoregressive models and most other NAT models. Our experiments on four benchmarks (WMT14 En$\rightarrow$De, WMT14 De$\rightarrow$En, WMT16 Ro$\rightarrow$En and IWSLT14 De$\rightarrow$En) show that the proposed model achieves competitive performance compared with the state-of-the-art non-autoregressive and autoregressive models while significantly reducing the time cost in inference phase.


title: Higher-order exceptional points in all-magnetic structures

abstract: Magnetometers with exceptional sensitivity are highly demanded in solving a variety of physical and engineering problems, such as measuring Earth's weak magnetic fields and prospecting mineral deposits and geological structures. It has been shown that the non-Hermitian degeneracy at exceptional points (EPs) can provide a new route for that purpose, because of the nonlinear response to external perturbations. One recent work [H. Yang et al., Phys. Rev. Lett. 121, 197201 (2018)] has made the first step to realize the second-order magnonic EP in ferromangetic bilayers respecting the parity-time symmetry. In this paper, we generalize the idea to higher-order cases by considering ferromagnetic trilayers consisting of a gain, a neutral, and a (balanced-)loss layer. We observe both second- and third-order magnonic EPs by tuning the interlayer coupling strength, the external magnetic field, and the gain-loss parameter. We show that the magnetic sensitivity can be enhanced by $3$ orders of magnitude comparing to the conventional magnetic tunneling junction based sensors. Our results pave the way for studying high-order EPs in purely magnetic system and for designing magnetic sensors with ultrahigh sensitivity.


title: Impact of an Active Sgr A* on the Synthesis of Water and Organic Molecules Throughout the Milky Way

abstract: Sgr A*, the supermassive black hole (SMBH) in our Galaxy, is dormant today, but it should have gone through multiple gas-accretion episodes in the past billions of years to grow to its current mass of $4\times10^6\,M_\odot$. Each episode temporarily ignites the SMBH and turns the Galactic Center into an active galactic nucleus (AGN). Recently, we showed that the AGN could produce large amount of hard X-rays that can penetrate the dense interstellar medium in the Galactic plane. Here we further study the impact of the X-rays on the molecular chemistry in our Galaxy. We use a chemical reaction network to simulate the evolution of several molecular species including H2O, CH3OH, and H2CO, both in the gas phase and on the surface of dust grains. We find that the X-ray irradiation could significantly enhance the abundances of these species. The effect is the most significant in those young, high-density molecular clouds, and could be prominent at a Galactic distance of $8$ kpc or smaller. The imprint in the chemical abundance is visible even several million years after the AGN turns off.


title: On Probabilistic Byzantine Fault Tolerance

abstract: Byzantine fault tolerance (BFT) has been extensively studied in distributed trustless systems to guarantee system's functioning when up to 1/3 Byzantine processes exist. Despite a plethora of previous work in BFT systems, they are mainly concerned about common knowledge deducible from the states of all participant processes. In BFT systems, it is crucial to know about which knowledge a process knows about the states of other processes and the global state of the system. However, there is a lack of studies about common knowledge of Byzantine faults, such as, whether existence of a Byzantine node is known by all honest nodes. In a dynamic setting, processes may fail or get compromised unexpectedly and unpredictably. It is critical to reason about which processes know about the faulty processes of the network. In this paper, we are interested in studying BFT systems in which Byzantine processes may misbehave randomly, possibly at some random periods of time. The problem of \emph{probabilistic Byzantine} (PB) processes studied in this paper is more general than the problems previously studied in existing work. We propose an approach that allows us to formulate and reason about the concurrent knowledge of the PB processes by all processes. We present our study of the proposed approach in both synchronous and asynchronous systems.


title: Adaptive Consensus and Parameter Estimation of Multi-Agent Systems with An Uncertain Leader

abstract: In this note, the problem of simultaneous leader-following consensus and parameter estimation is studied for a class of multi-agent systems subject to an uncertain leader system. The leader system is described by a sum of sinusoids with unknown amplitudes, frequencies and phases. A distributed adaptive observer is established for each agent to estimate the unknown frequencies of the leader. It is shown that if the signal of the leader is sufficiently rich, the estimation errors of the unknown frequencies converge to zero asymptotically for all the agents. Based on the designed distributed adaptive observer, a distributed adaptive control law is synthesized for each agent to solve the leader-following consensus problem.


title: The First VERA Astrometry Catalog

abstract: We present the first astrometry catalog from the Japanese VLBI (very long baseline interferometer) project VERA (VLBI Exploration of Radio Astrometry). We have compiled all the astrometry results from VERA, providing accurate trigonometric annual parallax and proper motion measurements. In total, 99 maser sources are listed in the VERA catalog. Among them, 21 maser sources are newly reported while the rest of 78 sources are referred to previously published results or those in preparation for forthcoming papers. The accuracy in the VERA astrometry are revisited and compared with those from the other VLBI astrometry projects such as BeSSeL (The Bar and Spiral Structure Legacy) Survey and GOBELINS (the Gould's Belt Distances Survey) with the VLBA (Very Long Baseline Array). We have confirmed that most of the astrometry results are consistent with each other, and the largest error sources are due to source structure of the maser features and their rapid variation, along with the systematic calibration errors and different analysis methods. Combined with the BeSSeL results, we estimate the up-to-date fundamental Galactic parameter of $R_{0}=7.92\pm0.16_{\rm{stat.}}\pm0.3_{\rm{sys.}}$~kpc and $\Omega_{\odot}=30.17\pm0.27_{\rm{stat.}}\pm0.3_{\rm{sys.}}$~km~s$^{-1}$~kpc$^{-1}$, where $R_{0}$ and $\Omega_{\odot}$ are the distance from the Sun to the Galactic center and the Sun's angular velocity of the Galactic circular rotation, respectively.


title: BitPruning: Learning Bitlengths for Aggressive and Accurate Quantization

abstract: Neural networks have demonstrably achieved state-of-the art accuracy using low-bitlength integer quantization, yielding both execution time and energy benefits on existing hardware designs that support short bitlengths. However, the question of finding the minimum bitlength for a desired accuracy remains open. We introduce a training method for minimizing inference bitlength at any granularity while maintaining accuracy. Namely, we propose a regularizer that penalizes large bitlength representations throughout the architecture and show how it can be modified to minimize other quantifiable criteria, such as number of operations or memory footprint. We demonstrate that our method learns thrifty representations while maintaining accuracy. With ImageNet, the method produces an average per layer bitlength of 4.13, 3.76 and 4.36 bits on AlexNet, ResNet18 and MobileNet V2 respectively, remaining within 2.0%, 0.5% and 0.5% of the base TOP-1 accuracy.


title: Multidimensional topological strings by curved potentials: Simultaneous realization of mobility edge and topological protection

abstract: By considering a cigar-shaped trapping potential elongated in a proper curvilinear coordinate, we discover a new form of wave localization which arises from the interplay of geometry and topological protection. The potential is modulated in its shape such that local curvature introduces a trapping potential. The curvature varies along the trap curvilinear axis encodes a topological Harper modulation. The varying geometry maps our system in a one-dimensional Andre-Aubry-Harper grating. We show that a mobility edge exists and topologically protected states arises. These states are extremely robust with respect to disorder in shape of the string. The results may be relevant for localization phenomena in Bose-Einstein condensates, optical fibers and waveguides, and new laser devices, but also for fundamental studies on string theory. Taking into account that the one-dimensional modulation mimic the existence of a additional dimensions, our system is the first example of physically realizable five-dimensional string.


title: Optimal topological generators of $U(1)$

abstract: Sarnak's golden mean conjecture states that $(m+1)d_\varphi(m)\le1+\frac{2}{\sqrt{5}}$ for all integers $m\ge1$, where $\varphi$ is the golden mean and $d_\theta$ is the discrepancy function for $m+1$ multiples of $\theta$ modulo 1. In this paper, we characterize the set $\mathcal{S}$ of values $\theta$ that share this property, as well as the set $\mathcal{T}$ of those with the property for some lower bound $m\ge M$. Remarkably, $\mathcal{S}\text{ mod }1$ has only 16 elements, whereas $\mathcal{T}$ is the set of $GL_2(\mathbb{Z})$-transformations of $\varphi$.


title: Chemistry research in India in a global perspective- A scientometrics profile

abstract: Papers from India are cited 14.68 times on average compared to cites per paper of 45.34 for Singapore, 30.47 for USA, 23.12 for China, 26.51 for the UK, 21.77 for South Korea and 24.77 for Germany. Less than 39% of papers from India are found in quartile 1 (high impact factor) journals, compared to 53.6% for China and 53.8% for South Korea. Percent share of papers in quartile 1 journals from India is lower than that for the world for all of chemistry and for each one of the eight categories, viz. analytical, applied, inorganic & nuclear, medicinal, multidisciplinary, organic, physical and electrochemistry whether one considers data for the entire five-year period or for 2015 alone. About 20% of Indian chemistry papers are in collaboration with international coauthors. Researchers from only 160 Indian institutions have published at least 100 papers (compared to 362 in USA and 399 in China) and these include 67 state, 14 central and 11 private universities, 27 institutions under the Ministry of Human Resource Development, 20 CSIR laboratories, seven Department of Atomic Energy institutions, and seven Department of Science & Technology institutions. About 40% of all Indian chemistry papers have come from public universities. Only three Indian institutions, viz Bhabha Atomic Research Centre, Indian Institute of Science and Indian Institute of Chemical Technology, have published more than 2,000 papers. None of the Indian universities has performed as well as leading Asian universities. Amrita Vishwa Vidyapeetham, a small institution with less than 200 papers, has performed reasonably well.


title: On some imaginary triquadratic number fields $k$ with $\mathrm{Cl}_2(k)\simeq(2, 4)$ or $(2, 2, 2)$

abstract: Let $d$ be a square free integer and $L_d:=\mathbb{Q}(\zeta_{8},\sqrt{d})$. In the present work we determine all the fields $L_d$ such that the $2$-class group, $\mathrm{Cl}_2(L_d)$, of $L_d$ is of type $(2,4)$ or $(2,2,2)$.


title: Attacking Optical Character Recognition (OCR) Systems with Adversarial Watermarks

abstract: Optical character recognition (OCR) is widely applied in real applications serving as a key preprocessing tool. The adoption of deep neural network (DNN) in OCR results in the vulnerability against adversarial examples which are crafted to mislead the output of the threat model. Different from vanilla colorful images, images of printed text have clear backgrounds usually. However, adversarial examples generated by most of the existing adversarial attacks are unnatural and pollute the background severely. To address this issue, we propose a watermark attack method to produce natural distortion that is in the disguise of watermarks and evade human eyes' detection. Experimental results show that watermark attacks can yield a set of natural adversarial examples attached with watermarks and attain similar attack performance to the state-of-the-art methods in different attack scenarios.


title: Discovery of annular X-ray emission centered on MAXI J1421-613: Dust-scattering X-rays?

abstract: We report the discovery of an annular emission of $\sim$3'-9' radius around the center of a transient source, an X-ray burster MAXI J1421-613, in the Suzaku follow-up analysis. The spectrum of the annular emission shows no significant emission-line structure, and is well explained by an absorbed power law model with a photon index of $\sim$4.2. These features exclude the possibility that the annular emission is a shell-like component of a supernova remnant. The spectral shape, the time history, and the X-ray flux of the annular emission agree with the scenario that the emission is due to a dust-scattering echo. The annular emission is made under a rare condition of the dust-scattering echo, where the central X-ray source, MAXI J1421-613, exhibits a short time outburst with three X-ray bursts and immediately re-enters a long quiescent period. The distribution of the hydrogen column density along the annular emission follows that of the CO intensity, which means that MAXI J1421-613 is located behind the CO cloud. We estimate the distance to MAXI J1421-613 to be $\sim$3~kpc assuming that the dust layer responsible for the annular emission is located at the same position as the CO cloud.


title: Thermodynamic properties of ideal Bose gas trapped in different external power-law potentials under generalized uncertainty principle*

abstract: Significant evidence is available to support the quantum effects of gravity that leads to the generalized uncertainty principle (GUP) and the minimum observable length. Usually quantum mechanics, statistical physics doesn't take gravity into account. Thermodynamic properties of ideal Bose gases in different external power-law potentials are studied under GUP with statistical physical method. Critical temperature, internal energy, heat capacity, entropy, particles number of ground state and excited state are calculated analytically to ideal Bose gases in the external potentials under GUP. Below the critical temperature, taking rubidium and sodium atoms ideal Bose gases whose particle densities are under standard and experimental conditions, respectively, as examples, the relations of internal energy, heat capacity and entropy with temperature are analyzed numerically. Theoretical and numerical calculations show that: GUP leads to an increase in the critical temperature. When the temperature is lower than the critical temperature and slightly higher than zero Kelvin, GUP's amendments to internal energy, heat capacity and entropy are positive; As the temperature increases to a certain value, these amendments become negative. The external potentials can increase or decrease the influence of GUP on thermodynamic properties. Under the initial experimental conditions when Bose-Einstein condensation was first verified by sodium atomic gas, the influence of GUP can be completely ignored. Under certain conditions, GUP may become the dominant factor governing the thermodynamic properties of the system.


title: Inferential Induction: A Novel Framework for Bayesian Reinforcement Learning

abstract: Bayesian reinforcement learning (BRL) offers a decision-theoretic solution for reinforcement learning. While "model-based" BRL algorithms have focused either on maintaining a posterior distribution on models or value functions and combining this with approximate dynamic programming or tree search, previous Bayesian "model-free" value function distribution approaches implicitly make strong assumptions or approximations. We describe a novel Bayesian framework, Inferential Induction, for correctly inferring value function distributions from data, which leads to the development of a new class of BRL algorithms. We design an algorithm, Bayesian Backwards Induction, with this framework. We experimentally demonstrate that the proposed algorithm is competitive with respect to the state of the art.


title: On quasiconformal close-to-convex harmonic mappings involving starlike functions

abstract: In the present paper, we discuss several basic properties of a class of quasiconformal close-to-convex harmonic mappings with starlike analytic part, such results as coefficient inequalities, an integral representation, a growth theorem, an area theorem, and radii of close-to-convexity of partial sums of the class, are derived.


title: Studies of Evolved Stars in the Next Decade: EAO Submillimetre Futures White Paper Series, 2019

abstract: This white paper discusses recent progress in the field of evolved stars, primarily highlighting the contributions of the James Clerk Maxwell Telescope. It discusses the ongoing project, the \emph{Nearby Evolved Stars Survey} (NESS), and the potential to build upon NESS in the next decade. It then outlines a number of science cases which may become feasible with the proposed 850\,$\mu$m camera which is due to become available at the JCMT in late 2022. These include mapping the extended envelopes of evolved stars, including in polarisation, and time-domain monitoring of their variations. The improved sensitivity of the proposed instrument will facilitate statistical studies that put the morphology, polarisation properties and sub-mm variability in perspective with a relatively modest commitment of time that would be impossible with current instrumentation. We also consider the role that could be played by other continuum wavelengths, heterodyne instruments or other facilities in contributing towards these objectives.


title: On $\ast-$Reverse Derivable Maps

abstract: Let $R$ be a ring with involution containing a nontrivial symmetric idempotent element $e$. Let $\delta: R\rightarrow R$ be a mapping such that $\delta(ab)=\delta(b)a^{\ast}+b^{\ast}\delta(a)$ for all $a,b\in R$, we call $\delta$ a $\ast-$reverse derivable map on $R$. In this paper, our aim is to show that under some suitable restrictions imposed on $R$, every $\ast-$reverse derivable map of $R$ is additive.


title: A Constraint Driven Solution Model for Discrete Domains with a Case Study of Exam Timetabling Problems

abstract: Many science and engineering applications require finding solutions to planning and optimization problems by satisfying a set of constraints. These constraint problems (CPs) are typically NP-complete and can be formalized as constraint satisfaction problems (CSPs) or constraint optimization problems (COPs). Evolutionary algorithms (EAs) are good solvers for optimization problems ubiquitous in various problem domains, however traditional operators for EAs are 'blind' to constraints or generally use problem dependent objective functions; as they do not exploit information from the constraints in search for solutions. A variation of EA, Intelligent constraint handling evolutionary algorithm (ICHEA), has been demonstrated to be a versatile constraints-guided EA for continuous constrained problems in our earlier works in (Sharma and Sharma, 2012) where it extracts information from constraints and exploits it in the evolutionary search to make the search more efficient. In this paper ICHEA has been demonstrated to solve benchmark exam timetabling problems, a classic COP. The presented approach demonstrates competitive results with other state-of-the-art approaches in EAs in terms of quality of solutions. ICHEA first uses its inter-marriage crossover operator to satisfy all the given constraints incrementally and then uses combination of traditional and enhanced operators to optimize the solution. Generally CPs solved by EAs are problem dependent penalty based fitness functions. We also proposed a generic preference based solution model that does not require a problem dependent fitness function, however currently it only works for mutually exclusive constraints.


title: OoDAnalyzer: Interactive Analysis of Out-of-Distribution Samples

abstract: One major cause of performance degradation in predictive models is that the test samples are not well covered by the training data. Such not well-represented samples are called OoD samples. In this paper, we propose OoDAnalyzer, a visual analysis approach for interactively identifying OoD samples and explaining them in context. Our approach integrates an ensemble OoD detection method and a grid-based visualization. The detection method is improved from deep ensembles by combining more features with algorithms in the same family. To better analyze and understand the OoD samples in context, we have developed a novel kNN-based grid layout algorithm motivated by Hall's theorem. The algorithm approximates the optimal layout and has $O(kN^2)$ time complexity, faster than the grid layout algorithm with overall best performance but $O(N^3)$ time complexity. Quantitative evaluation and case studies were performed on several datasets to demonstrate the effectiveness and usefulness of OoDAnalyzer.


title: On the Existence of Odd Perfect Numbers

abstract: In this paper, we prove the conjecture that if there is an odd perfect number, then there are infinitely many of them.


title: Proof of Chern's conjecture on affine manifolds

abstract: We prove an old conjecture of S. S. Chern that the Euler characteristic of a closed affine manifold equals to zero.


title: Physical-Layer Security in the Finite Blocklength Regime over Fading Channels

abstract: This paper studies physical-layer secure transmissions from a transmitter to a legitimate receiver against an eavesdropper over slow fading channels, taking into account the impact of finite blocklength secrecy coding. A comprehensive analysis and optimization framework is established to investigate secrecy throughput for both single- and multi-antenna transmitter scenarios. Both adaptive and non-adaptive design schemes are devised, in which the secrecy throughput is maximized by exploiting the instantaneous and statistical channel state information of the legitimate receiver, respectively. Specifically, optimal transmission policy, blocklength, and code rates are jointly designed to maximize the secrecy throughput. Additionally, null-space artificial noise is employed to improve the secrecy throughput for the multi-antenna setup with the optimal power allocation derived.Various important insights are developed. In particular, 1) increasing blocklength benefits both reliability and secrecy under the proposed transmission policy; 2) secrecy throughput monotonically increases with blocklength; 3) secrecy throughput initially increases but then decreases as secrecy rate increases, and the optimal secrecy rate maximizing the secrecy throughput should be carefully chosen in order to strike a good balance between rate and decoding correctness. Numerical results are eventually presented to verify theoretical findings.


title: Selected Configuration Interaction in a Basis of Cluster State Tensor Products

abstract: Selected configuration interaction (SCI) methods are currently enjoying a resurgence due to several recent developments which improve either the overall computational efficiency or the compactness of the resulting SCI vector. These recent advances have made it possible to get full CI (FCI) quality results for much larger orbital active spaces, compared to conventional approaches. However, due to the starting assumption that the FCI vector has only a small number of significant Slater determinants, SCI becomes intractable for systems with strong correlation. This paper introduces a method for developing SCI algorithms in a way which exploits local molecular structure to significantly reduce the number of SCI variables. The proposed method is defined by first grouping the orbitals into clusters over which we can define many particle cluster states. We then directly perform the SCI algorithm in a basis of tensor products of cluster states instead of Slater determinants. While the approach is general for arbitrarily defined cluster states, we find significantly improved performance by defining cluster states through a Tucker decomposition of the global (and sparse) SCI vector. To demonstrate the potential of this method, called tensor product selected configuration interaction (TPSCI), we present numerical results for a diverse set of examples: 1) modified Hubbard model with different inter- and intra-cluster hopping terms, 2) less obviously clusterable cases of bond breaking in N2 and F2, and 3) ground state energies of large planar {\pi}-conjugated systems with active spaces of up to 42 electrons in 42 orbitals. These numerical results show that TPSCI can be used to significantly reduce the number of SCI variables in the variational space, and thus paving a path for extending these deterministic and variational SCI approaches to a wider range of physical systems.


title: On the general position set of two classes of graphs

abstract: The general position problem is to find the cardinality of a largest vertex subset S such that no triple of vertices of S lie on a common geodesic. For a connected graph G, the cardinality of S is denoted by gp(G) and called gp-number (or general position number) of G. In the paper, we obtain an upper bound and a lower bound regarding gp-number in all cactus with k cycles and t pendant edges. Furthermore, the gp-number of wheel graph is determined.