title: Cutoff for Random Walks on Upper Triangular Matrices

abstract: Consider the random Cayley graph of a finite group $G$ with respect to $k$ generators chosen uniformly at random, with $1 \ll \log k \ll \log |G|$ (ie $1 \ll k = |G|^{o(1)}$). A conjecture of Aldous and Diaconis (1985) asserts, for $k\gg\log|G|$, that the random walk on this graph exhibits cutoff. When $\log k \lesssim \log\log|G|$ (ie $k = (\log |G|)^{\mathcal O(1)}$), the only example of a non-Abelian group for which cutoff has been established is the dihedral group. We establish cutoff (as $p\to infty$) for the group of $d \times d$ unit upper triangular matrices with integer entries modulo $p$ (prime), which we denote $U_{p,d}$, for fixed $d$ or $d$ diverging sufficiently slowly. We allow $1 \ll k \lesssim \log |U_{p,d}|$ as well as $k\gg\log|U_{p,d}|$. The cutoff time is $\max\{\log_k |U_{p,d}|, \: s_0 k\}$, where $s_0$ is the time at which the entropy of the random walk on $\mathbb Z$ reaches $(\log |U_{p,d}^\mathrm{ab}|)/k$, where $U_{p,d}^\mathrm{ab} \cong \mathbb Z_p^{d-1}$ is the Abelianisation of $U_{p,d}$. When $1 \ll k \ll \log |U_{p,d}^\mathrm{ab}|$ and $d \asymp 1$, we find the limit profile. We also prove highly related results for the $d$-dimensional Heisenberg group over $\mathbb Z_p$. The Aldous--Diaconis conjecture also asserts, for $k gg\log |G|$, that the cutoff time should depend only on $k$ and $|G|$. This was verified for all Abelian groups. Our result shows that this is not the case for $U_{p,d}$: the cutoff time depends on $k$, $|U_{p,d}| = p^{d(d-1)/2}$ and $|U_{p,d}^\mathrm{ab}|=p^{d-1}$. We also show that all but $o(|U_{p,d}|)$ of the elements of $U_{p,d}$ lie at graph distance $M \pm o(M)$ from the identity, where $M$ is the minimal radius of a ball in $\mathbb Z^k$ of cardinality $|U_{p,d}^\mathrm{ab}| = p^{d-1}$. Finally, we show that the diameter is also asymptotically $M$ when $k \gtrsim \log |U_{p,d}^\textrm{ab}|$ and $d\asymp1$.


title: Further Results and Discussions on Random Cayley Graphs

abstract: Consider the random Cayley graph of a finite group $G$ with respect to $k$ generators chosen uniformly at random, with $1 \ll k \lesssim \log |G|$. The results of this article supplement those in the three main papers on random Cayley graphs. The majority of the results are inspired by a `universality' conjecture of Aldous and Diaconis (1985). To start, we study the limit profile of cutoff for the simple random walk on this random graph, as well as a detailed investigation into mixing properties when $G = \mathbb Z_p^d$ with $p$ prime. We then exposit a proof of Diaconis and Saloff-Coste (1994) establishing lack of cutoff when $k \asymp 1$. We move onto discussing material from our companion paper on matrix groups. We then study distance of a typical element of $G$ from the identity in an $L_q$-type graph distance in the Abelian set-up. Finally, we give necessary and sufficient conditions for $k$ independent uniform elements of $G$ to generate $G$, ie for the random Cayley graph to be connected, based on work of Pomerance (2001). The aforementioned results all hold with high probability over the random Cayley graph.


title: The impact of the dynamical state of galaxy groups on the stellar populations of central galaxies

abstract: We study the stellar populations of the brightest group galaxies (BGGs) in groups with different dynamical states, using GAMA survey data. We use two independent, luminosity dependent indicators to probe the relaxedness of their groups; the magnitude gap between the two most luminous galaxies ($\Delta M_{12}$), and offset between BGG and the luminosity center ($D_{offset}$) of the group. Combined, these two indicators were previously found useful for identifying relaxed and unrelaxed groups. We find that the BGGs of unrelaxed groups have significantly bluer NUV-r colours than in relaxed groups. This is also true at the fixed sersic index. We find the bluer colours cannot be explained away by differing dust fraction, suggesting there are real differences in their stellar populations. SFRs derived from SED-fitting tend to be higher in unrelaxed systems. This is in part because of a greater fraction of BGGs with non-elliptical morphology, but also because unrelaxed systems have larger numbers of mergers, some of which may bring fuel for star formation. The SED-fitted stellar metallicities of BGGs in unrelaxed systems also tend to be higher by around 0.05 dex, perhaps because their building blocks were more massive. We find that the $\Delta M_{12}$ parameter is the most important parameter behind the observed differences in the relaxed/unrelaxed groups, in contrast with the previous study of Trevisan et al. (2017). We also find that groups selected to be unrelaxed using our criteria tend to have higher velocity offsets between the BGG and their group.


title: The BTZ black hole exhibits anti-Hawking phenomena

abstract: The Unruh effect is a surprising prediction of quantum field theory that asserts accelerating observers perceive a thermal spectrum of particles with a temperature proportional to their acceleration. However, it has recently been shown that particle detectors can click less often or even cool down as their acceleration increases, in contrast to the heating one would expect. This leads to the so called anti-Unruh phenomena. Here we consider detectors outside a BTZ black hole and demonstrate the existence of black hole analogues of these effects, which we dub anti-Hawking phenomena.


title: Planar Topological Hall Effect from Conical Spin Spirals

abstract: Planar Topological Hall effect (PTHE) is known to arise from in-plane skyrmion tubes with an external magnetic field applied in the plane of the charge current. Here, we propose that the PTHE can robustly appear also from an unexpected source, the conical spin spiral, realizable in a variety of materials. We show that for both in-plane skyrmion tubes and conical spin spirals, the PTHE is two-fold symmetric with respect to the magnetic-field angle, while it is four-fold symmetric for 90$^{\circ}$-rotated domains of conical spin spirals. We predict that the symmetry and magnetic-field response of the PTHE can distinguish between the two scenarios, unambiguously probing the nature of the antisymmetric spin-exchange interaction and the resulting magnetic texture.


title: Estimating trajectories of meteors: an observational Monte Carlo approach -- I. Theory

abstract: It has recently been shown by Egal et al. (2017) that some types of existing meteor in-atmosphere trajectory estimation methods may be less accurate than others, particularly when applied to high precision optical measurements. The comparative performance of trajectory solution methods has previously only been examined for a small number of cases. Besides the radiant, orbital accuracy depends on the estimation of pre-atmosphere velocities, which have both random and systematic biases. Thus it is critical to understand the uncertainty in velocity measurement inherent to each trajectory estimation method. In this first of a series of two papers, we introduce a novel meteor trajectory estimation method which uses the observed dynamics of meteors across stations as a global optimization function and which does not require either a theoretical or empirical flight model to solve for velocity. We also develop a 3D observational meteor trajectory simulator that uses a meteor ablation model to replicate the dynamics of meteoroid flight, as a means to validate different trajectory solvers. We both test this new method and compare it to other methods, using synthetic meteors from three major showers spanning a wide range of velocities and geometries (Draconids, Geminids, Perseids). We determine which meteor trajectory solving algorithm performs better for: all-sky, moderate field of view, and high-precision narrow-field optical meteor detection systems. The results are presented in the second paper in this series. Finally, we give detailed equations for estimating meteor trajectories and analytically computing meteoroid orbits, and provide the Python code of the methodology as open source software.


title: Modal stability analysis of viscoelastic channel and pipe flows using a well-conditioned spectral method

abstract: Modal stability analysis provides information about the long-time growth or decay of small-amplitude perturbations around a steady-state solution of a dynamical system. In fluid flows, exponentially growing perturbations can initiate departure from laminar flow and trigger transition to turbulence. Although flow of a Newtonian fluid through a pipe is linearly stable for very large values of the Reynolds number ($Re \sim 10^7$), a transition to turbulence often occurs for $Re$ as low as $1500$. When a dilute polymer solution is used in the place of a Newtonian fluid, the transitional value of the Reynolds number decreases even further. Using the spectral collocation method and Oldroyd-B constitutive equation, Garg et al. (Phys. Rev. Lett. 121:024502, 2018) claimed that such a transition in viscoelastic fluids is related to linear instability. Since differential matrices in the collocation method become ill-conditioned when a large number of basis functions is used, we revisit this problem using the well-conditioned spectral integration method. We show modal stability of viscoelastic pipe flow for a broad range of fluid elasticities and polymer concentrations, including cases considered by Garg et al. Similarly, we find that plane Poiseuille flow is linearly stable for cases where Garg et al. report instability. In both channel and pipe flows, we establish the existence of spurious modes that diverge slowly with finer discretization and demonstrate that these can be mistaken for grid-independent modes if the discretization is not fine enough.


title: Multi-component dark matter from a hidden gauged SU(3)

abstract: We studied Dark Matter (DM) phenomenology with multiple DM species consisting of both scalar and vector DM particles in the Hidden Gauged SU(3) model of Arcadi et al. Because of the large parameter space in the Hidden Gauged SU(3) model we restrict ourselves to three representative benchmark points, each with multiple DM species. The relic densities for the benchmark points were found using a program developed to solve the coupled Boltzmann equations for an arbitrary number of interacting DM species with two particles in the final state. For each case, we varied the mass of the DM particles and then found the value of the dark SU(3) gauge coupling that gave the correct relic density. We found that in some regions of parameter space, DM would be difficult to observe in direct detection experiments while it would be easier to observe in indirect detection experiments while for other regions of parameter space the situation was reversed. Thus, measurements from both types of experiments complement each other and could help pinpoint the details of the hidden SU(3) model.


title: A multiple testing framework for diagnostic accuracy studies with co-primary endpoints

abstract: Major advances have been made regarding the utilization of artificial intelligence in health care. In particular, deep learning approaches have been successfully applied for automated and assisted disease diagnosis and prognosis based on complex and high-dimensional data. However, despite all justified enthusiasm, overoptimistic assessments of predictive performance are still common. Automated medical testing devices based on machine-learned prediction models should thus undergo a throughout evaluation before being implemented into clinical practice. In this work, we propose a multiple testing framework for (comparative) phase III diagnostic accuracy studies with sensitivity and specificity as co-primary endpoints. Our approach challenges the frequent recommendation to strictly separate model selection and evaluation, i.e. to only assess a single diagnostic model in the evaluation study. We show that our parametric simultaneous test procedure asymptotically allows strong control of the family-wise error rate. Moreover, we demonstrate in extensive simulation studies that our multiple testing strategy on average leads to a better final diagnostic model and increased statistical power. To plan such studies, we propose a Bayesian approach to determine the optimal number of models to evaluate. For this purpose, our algorithm optimizes the expected final model performance given previous (hold-out) data from the model development phase. We conclude that an assessment of multiple promising diagnostic models in the same evaluation study has several advantages when suitable adjustments for multiple comparisons are implemented.


title: Habitable Zone Boundaries for Circumbinary Planets

abstract: We use a one-dimensional (1-D) cloud-free climate model to estimate habitable zone (HZ) boundaries for terrestrial planets of masses 0.1 M$_{E}$ and 5 M$_{E}$ around circumbinary stars of various spectral type combinations. Specifically, we consider binary systems with host spectral types F-F, F-G, F-K, F-M, G-G, G-K, G-M, K-K, K-M and M-M. Scaling the background N2 atmospheric pressure with the radius of the planet, we find that the inner edge of the HZ moves inwards towards the star for 5ME compared to 0.1ME planets for all spectral types. This is because the water-vapor column depth is smaller for larger planets and higher temperatures are needed before water vapor completely dominates the outgoing longwave radiation. The outer edge of the HZ changes little due to competing effects of the albedo and greenhouse effect. While these results are broadly consistent with the trend of single star HZ results for different mass planets, there are significant differences between single star and binary star systems for the inner edge of the HZ. Interesting combinations of stellar pairs from our 1-D model results can be used to explore for in-depth climate studies with 3-D climate models. We identify a common HZ stellar flux domain for all circumbinary spectral types


title: The TechQA Dataset

abstract: We introduce TechQA, a domain-adaptation question answering dataset for the technical support domain. The TechQA corpus highlights two real-world issues from the automated customer support domain. First, it contains actual questions posed by users on a technical forum, rather than questions generated specifically for a competition or a task. Second, it has a real-world size -- 600 training, 310 dev, and 490 evaluation question/answer pairs -- thus reflecting the cost of creating large labeled datasets with actual data. Consequently, TechQA is meant to stimulate research in domain adaptation rather than being a resource to build QA systems from scratch. The dataset was obtained by crawling the IBM Developer and IBM DeveloperWorks forums for questions with accepted answers that appear in a published IBM Technote---a technical document that addresses a specific technical issue. We also release a collection of the 801,998 publicly available Technotes as of April 4, 2019 as a companion resource that might be used for pretraining, to learn representations of the IT domain language.


title: Sonovortex: Aerial Haptic Layer Rendering by Aerodynamic Vortex and Focused Ultrasound

abstract: In this paper, a method of rendering aerial haptics that uses an aerodynamic vortex and focused ultrasound is presented. Significant research has been conducted on haptic applications based on multiple phenomena such as magnetic and electric fields, focused ultrasound, and laser plasma. By combining multiple physical quantities; the resolution, distance, and magnitude of force are enhanced. To combine multiple tactile technologies, basic experiments on resolution and discrimination threshold are required. Separate user studies were conducted using aerodynamic and ultrasonic haptics. Moreover, the perception of their superposition, in addition to their resolution, was tested. Although these fields cause no direct interference, the system enables the simultaneous perception of the tactile feedback of both stimuli. The results of this study are expected to contribute to expanding the expression of aerial haptic displays based on several principles.


title: Beyond Adaptive Submodularity: Adaptive Influence Maximization with Intermediary Constraints

abstract: We consider a brand with a given budget that wants to promote a product over multiple rounds of influencer marketing. In each round, it commissions an influencer to promote the product over a social network, and then observes the subsequent diffusion of the product before adaptively choosing the next influencer to commission. This process terminates when the budget is exhausted. We assume that the diffusion process follows the popular Independent Cascade model. We also consider an online learning setting, where the brand initially does not know the diffusion parameters associated with the model, and has to gradually learn the parameters over time. Unlike in existing models, the rounds in our model are correlated through an intermediary constraint: each user can be commissioned for an unlimited number of times. However, each user will spread influence without commission at most once. Due to this added constraint, the order in which the influencers are chosen can change the influence spread, making obsolete existing analysis techniques that based on the notion of adaptive submodularity. We devise a sample path analysis to prove that a greedy policy that knows the diffusion parameters achieves at least $1-1/e - \epsilon$ times the expected reward of the optimal policy. In the online-learning setting, we are the first to consider a truly adaptive decision making framework, rather than assuming independent epochs, and adaptivity only within epochs. Under mild assumptions, we derive a regret bound for our algorithm. In our numerical experiments, we simulate information diffusions on four Twitter sub-networks, and compare our UCB-based learning algorithms with several baseline adaptive seeding strategies. Our learning algorithm consistently outperforms the baselines and achieves rewards close to the greedy policy that knows the true diffusion parameters.


title: The Pitfall of Evaluating Performance on Emerging AI Accelerators

abstract: In recent years, domain-specific hardware has brought significant performance improvements in deep learning (DL). Both industry and academia only focus on throughput when evaluating these AI accelerators, which usually are custom ASICs deployed in datacenter to speed up the inference phase of DL workloads. Pursuing higher hardware throughput such as OPS (Operation Per Second) using various optimizations seems to be their main design target. However, they ignore the importance of accuracy in the DL nature. Motivated by this, this paper argue that a single throughput metric can not comprehensively reflect the real-world performance of AI accelerators. To reveal this pitfall, we evaluates several frequently-used optimizations on a typical AI accelerator and quantifies their impact on accuracy and throughout under representative DL inference workloads. Based on our experimental results, we find that some optimizations cause significant loss on accuracy in some workloads, although it can improves the throughout. Furthermore, our results show the importance of end-to-end evaluation in DL.


title: Observation of the decays $\chi_{cJ} \to \phi \phi \eta$

abstract: Using a data sample of $(448.1\pm2.9)\times10^{6}$ $\psi(3686)$ decays collected by the BESIII detector at the Beijing Electron Positron Collider (BEPCII), we observe the decays $\chi_{cJ}\to \phi\phi\eta~(J=0,~1,~2)$, where the $\chi_{cJ}$ are produced via the radiative processes $\psi(3686)\to\gamma\chi_{cJ}$. The branching fractions are measured to be $\mathcal B(\chi_{c0}\to\phi\phi\eta)=(8.41\pm0.74\pm0.62)\times10^{-4}$, $\mathcal B(\chi_{c1}\to\phi\phi\eta)=(2.96\pm0.43\pm0.22)\times 10^{-4}$, and $\mathcal B(\chi_{c2} \to \phi\phi\eta)=(5.33\pm0.52\pm0.39) \times 10^{-4}$, where the first uncertainties are statistical and the second are systematic. We also search for intermediate states in the $\phi\phi$ or $\eta\phi$ combinations, but no significant structure is seen due to the limited statistics.


title: Cross-Lingual Relevance Transfer for Document Retrieval

abstract: Recent work has shown the surprising ability of multi-lingual BERT to serve as a zero-shot cross-lingual transfer model for a number of language processing tasks. We combine this finding with a similarly-recently proposal on sentence-level relevance modeling for document retrieval to demonstrate the ability of multi-lingual BERT to transfer models of relevance across languages. Experiments on test collections in five different languages from diverse language families (Chinese, Arabic, French, Hindi, and Bengali) show that models trained with English data improve ranking quality, without any special processing, both for (non-English) mono-lingual retrieval as well as cross-lingual retrieval.


title: Broadly-tunable smart glazing using an ultra-thin phase-change material

abstract: For many applications, a method for controlling the optical properties of a solid-state film over a broad wavelength range is highly desirable and could have significant commercial impact. One such application is smart glazing technology where it is necessary to harvest near-infrared solar radiation in the winter and reflect it in the summer--an impossibility for materials with fixed thermal and optical properties. Here, we experimentally demonstrate a smart window which uses a thin-film coating containing GeTe, a bi-stable, chalcogenide-based phase-change material which can modulate near-infrared absorption while maintaining neutral-colouration and constant transmission of light at visible wavelengths. We additionally demonstrate controlled down-conversion of absorbed near-infrared energy to far-infrared radiation which can be used to heat a building's interior and show that these thin-films also serve as low-emissivity coatings, reducing heat transfer between a building and its external environment throughout the year. Finally, we demonstrate fast, sub-millisecond switching using transparent electrical heaters integrated on glass substrates. These combined properties result in a smart window that is efficient, affordable, and aesthetically pleasing--three aspects which are crucial for successful adoption of green technology.


title: Semi-Supervised Method using Gaussian Random Fields for Boilerplate Removal in Web Browsers

abstract: Boilerplate removal refers to the problem of removing noisy content from a webpage such as ads and extracting relevant content that can be used by various services. This can be useful in several features in web browsers such as ad blocking, accessibility tools such as read out loud, translation, summarization etc. In order to create a training dataset to train a model for boilerplate detection and removal, labeling or tagging webpage data manually can be tedious and time consuming. Hence, a semi-supervised model, in which some of the webpage elements are labeled manually and labels for others are inferred based on some parameters, can be useful. In this paper we present a solution for extraction of relevant content from a webpage that relies on semi-supervised learning using Gaussian Random Fields. We first represent the webpage as a graph, with text elements as nodes and the edge weights representing similarity between nodes. After this, we label a few nodes in the graph using heuristics and label the remaining nodes by a weighted measure of similarity to the already labeled nodes. We describe the system architecture and a few preliminary results on a dataset of webpages.


title: Benchmarking simulations of the Compton Spectrometer and Imager with calibrations

abstract: The Compton Spectrometer and Imager (COSI) is a balloon-borne gamma-ray (0.2-5 MeV) telescope designed to study astrophysical sources. COSI employs a compact Compton telescope design utilizing 12 high-purity germanium double-sided strip detectors and is inherently sensitive to polarization. In 2016, COSI was launched from Wanaka, New Zealand and completed a successful 46-day flight on NASA's new Super Pressure Balloon. In order to perform imaging, spectral, and polarization analysis of the sources observed during the 2016 flight, we compute the detector response from well-benchmarked simulations. As required for accurate simulations of the instrument, we have built a comprehensive mass model of the instrument and developed a detailed detector effects engine which applies the intrinsic detector performance to Monte Carlo simulations. The simulated detector effects include energy, position, and timing resolution, thresholds, dead strips, charge sharing, charge loss, crosstalk, dead time, and detector trigger conditions. After including these effects, the simulations closely resemble the measurements, the standard analysis pipeline used for measurements can also be applied to the simulations, and the responses computed from the simulations are accurate. We have computed the systematic error that we must apply to measured fluxes at certain energies, which is 6.3% on average. Here we describe the detector effects engine and the benchmarking tests performed with calibrations.


title: Quantifying Market Efficiency Impacts of Aggregated Distributed Energy Resources

abstract: We focus on the aggregation of distributed energy resources (DERs) through a profit-maximizing intermediary that enables participation of DERs in wholesale electricity markets. Particularly, we study the market efficiency brought in by the large-scale deployment of DERs and explore to what extent such benefits are offset by the profit-maximizing nature of the aggregator. We deploy a game-theoretic framework to study the strategic interactions between an aggregator and DER owners. The proposed model takes into account the stochastic nature of the DER supply. We explicitly characterize the equilibrium of the game and provide illustrative examples to quantify the efficiency loss due to the strategic incentives of the aggregator. Our numerical experiments illustrate the impact of uncertainty and amount of DER integration on the overall market efficiency.


title: Selective Hybridization between Main Band and Superstructure Band in Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ Superconductor

abstract: High-resolution laser-based angle-resolved photoemission measurements have been carried out on Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ (Bi2212) and Bi$_2$Sr$_{2-x}$La$_x$CuO$_{6+\delta}$ (Bi2201) superconductors. Unexpected hybridization between the main band and the superstructure band in Bi2212 is clearly revealed. In the momentum space where one main Fermi surface intersects with one superstructure Fermi surface, four bands are observed instead of two. The hybridization exists in both superconducting state and normal state, and in Bi2212 samples with different doping levels. Such a hybridization is not observed in Bi2201. This phenomenon can be understood by considering the bilayer splitting in Bi2212, the selective hybridization of two bands with peculiar combinations, and the altered matrix element effects of the hybridized bands. These observations provide strong evidence on the origin of the superstructure band which is intrinsic to the CuO$_2$ planes. Therefore, understanding physical properties and superconductivity mechanism in Bi2212 should consider the complete Fermi surface topology which involves the main bands, the superstructure bands and their interactions.


title: Considerations for Using the Vasculature as a Coordinate System to Map All the Cells in the Human Body

abstract: Several ongoing international efforts are developing methods of localizing single cells within organs or mapping the entire human body at the single cell level, including the Chan Zuckerberg Initiative's Human Cell Atlas (HCA), and the Knut and Allice Wallenberg Foundation's Human Protein Atlas (HPA), and the National Institutes of Health's Human BioMolecular Atlas Program (HuBMAP). Their goals are to understand cell specialization, interactions, spatial organization in their natural context, and ultimately the function of every cell within the body. In the same way that the Human Genome Project had to assemble sequence data from different people to construct a complete sequence, multiple centers around the world are collecting tissue specimens from a diverse population that varies in age, race, sex, and body size. A challenge will be combining these heterogeneous tissue samples into a 3D reference map that will enable multiscale, multidimensional Google Maps-like exploration of the human body. Key to making alignment of tissue samples work is identifying and using a coordinate system called a Common Coordinate Framework (CCF), which defines the positions, or "addresses", in a reference body, from whole organs down to functional tissue units and individual cells. In this perspective, we examine the concept of a CCF based on the vasculature and describe why it would be an attractive choice for mapping the human body.


title: Collapse Resistant Deep Convolutional GAN for Multi-Object Image Generation

abstract: This work introduces a novel system for the generation of images that contain multiple classes of objects. Recent work in Generative Adversarial Networks have produced high quality images, but many focus on generating images of a single object or set of objects. Our system addresses the task of image generation conditioned on a list of desired classes to be included in a single image. This enables our system to generate images with any given combination of objects, all composed into a visually realistic natural image. The system learns the interrelationships of all classes represented in a dataset, and can generate diverse samples including a set of these classes. It displays the ability to arrange these objects together, accounting for occlusions and inter-object spatial relations that characterize complex natural images. To accomplish this, we introduce a novel architecture based on Conditional Deep Convolutional GANs that is stabilized against collapse relative to both mode and condition. The system learns to rectify mode collapse during training, self-correcting to avoid suboptimal generation modes.


title: Algebraically closed structures in Positive Logic

abstract: In this paper we extend of the notion of algebraically closed given in the case of groups and skew fields to an arbitrary h-inductive theory. The main subject of this paper is the study of the notion of positive algebraic closedness and its relationship with the notion of positive closedness and the amalgamation property.


title: Hybrid Quantum-Classical Convolutional Neural Networks

abstract: Deep learning has been shown to be able to recognize data patterns better than humans in specific circumstances or contexts. In parallel, quantum computing has demonstrated to be able to output complex wave functions with a few number of gate operations, which could generate distributions that are hard for a classical computer to produce. Here we propose a hybrid quantum-classical convolutional neural network (QCCNN), inspired by convolutional neural networks (CNNs) but adapted to quantum computing to enhance the feature mapping process. QCCNN is friendly to currently noisy intermediate-scale quantum computers, in terms of both number of qubits as well as circuit's depths, while retaining important features of classical CNN, such as nonlinearity and scalability. We also present a framework to automatically compute the gradients of hybrid quantum-classical loss functions which could be directly applied to other hybrid quantum-classical algorithms. We demonstrate the potential of this architecture by applying it to a Tetris dataset, and show that QCCNN can accomplish classification tasks with learning accuracy surpassing that of classical CNN.


title: Role of $4f$ states in infinite-layer NdNiO$_2$

abstract: Atomic $4f$ states have been found to be essential players in the physical behavior of lanthanide compounds, at the Fermi level $E_F$ as in the proposed topological Kondo insulator SmB$_6$, or further away as in the magnetic superconductor system ${\cal R}$Ni$_2$B$_2$C (${\cal R}$=rare earth ion) and in Y$_{1-x}$Pr$_x$Ba$_2$Cu$_3$O$_7$, where the $4f$ shell of Pr has a devastating effect on superconductivity. In hole-doped ${\cal R}$NiO$_2$, the ${\cal R}$=Nd member is found to be superconducting while ${\cal R}$=La is not, in spite of the calculated electronic structures being nearly identical. We report first principles results that indicate that the Nd $4f$ moment affects states at $E_F$ in infinite-layer NdNiO$_2$, an effect that will not occur for LaNiO$_2$. Treating 20% hole-doping in the virtual crystal approach indicates that 0.15 holes empty the $\Gamma$-centered Nd-derived electron pocket while leaving the other electron pocket unchanged; hence Ni only absorbs 0.05 holes; the La counterpart would behave similarly. However, coupling of $4f$ states to the electron pockets at $E_F$ arises through the Nd intra-atomic $4f-5d$ exchange coupling $K\approx 0.5$ eV and is ferromagnetic (FM), i.e. anti-Kondo, in sign. This interaction causes spin-disorder broadening of the electron pockets and should be included in models of the normal and superconducting states of Nd$_{0.8}$Sr$_{0.2}$NiO$_2$ The Ni moments differ by 0.2$\mu_B$ for FM and antiferromagnetic alignment (the latter are larger), reflecting some itineracy and indicating that Heisenberg coupling of the moments may not provide a quantitative modeling of Ni-Ni exchange coupling.


title: Dynamic Influence on Replicator Evolution for the Propagation of Competing Technologies

abstract: This work introduces a novel modified Replicator Dynamics model, which includes external influences on the population. This framework models a realistic market into which companies, the external dynamic influences, invest resources in order to bolster their product's standing and increase their market share. The dynamic influences change in each time step of the game, and directly modify the payoff matrix of the population's interactions. The model can learn from real data how each influence affects the market, and can be used to simulate and predict the outcome of a real system. We specifically analyze how a new technology can compete and attempt to unseat an entrenched technology as the market leader. We establish a relationship between the external influences and the population payoff matrix and show how the system can be implemented to predict outcomes in a real market by simulating the rise of the Android mobile operating system over its primary competition, the iPhone, from 2009 to 2017.


title: CFS: A Distributed File System for Large Scale Container Platforms

abstract: We propose CFS, a distributed file system for large scale container platforms. CFS supports both sequential and random file accesses with optimized storage for both large files and small files, and adopts different replication protocols for different write scenarios to improve the replication performance. It employs a metadata subsystem to store and distribute the file metadata across different storage nodes based on the memory usage. This metadata placement strategy avoids the need of data rebalancing during capacity expansion. CFS also provides POSIX-compliant APIs with relaxed semantics and metadata atomicity to improve the system performance. We performed a comprehensive comparison with Ceph, a widely-used distributed file system on container platforms. Our experimental results show that, in testing 7 commonly used metadata operations, CFS gives around 3 times performance boost on average. In addition, CFS exhibits better random-read/write performance in highly concurrent environments with multiple clients and processes.


title: Asymptotic stability of homogeneous solutions of incompressible stationary Navier-Stokes equations

abstract: It was proved by Karch and Pilarzyc that Landau solutions are asymptotically stable under any $L^2$-perturbation. In our earlier work with L. Li, we have classified all $(-1)$-homogeneous axisymmetric no-swirl solutions of incompressible stationary Navier-Stokes equations in three dimension which are smooth on the unit sphere minus the south and north poles. In this paper, we study the asymptotic stability of the least singular solutions among these solutions other than Landau solutions, and prove that such solutions are asymptotically stable under any $L^2$-perturbation.


title: Finite-dimensional bistable topological insulators: From small to large

abstract: Photonic topological insulators supporting unidirectional topologically protected edge states represent attractive platform for realization of disorder- and backscattering-immune transport of edge excitations in both linear and nonlinear regimes. In many realizations of topological insulators structured periodic materials are used, since they may admit specific Dirac degeneracy in the spectrum, around which unidirectional edge states appear under the action of physical effects breaking time-reversal symmetry. While properties of the edge states at unclosed interfaces of two bulk media with different topology are known, the existence of the edge states in practical finite-dimensional topological insulators fully immersed in nontopological environment remains largely unexplored. In this work using as an example realistic polariton topological insulators built from small-size honeycomb arrays of microcavity pillars, we illustrate how topological properties of the system build up upon gradual increase of its dimensionality. To account for dissipative nature of polariton condensate forming in the array of microcavity pillars, we consider the impact of losses and resonant pump leading to rich bistability effects in this system. We describe the mechanism in accordance with which trivial-phase pump "selects" and excites specific nonlinear topological edge states circulating along the periphery of the structure in the azimuthal direction dictated by the direction of the external applied magnetic field. We also show the possibility of utilization of vortex pump with different topological charges for selective excitation of different edge currents.


title: Collective Nucleation Dynamics in Two-dimensional Emulsions with Hexagonal Packing

abstract: We report a new mechanism for nucleation in a monolayer of hexagonally packed monodisperse droplet arrays. Upon cooling, we observe solidified droplets to nucleate their supercooled neighbors giving rise to an autocatalytic-like mechanism for accelerated crystallization. This collective mode of nucleation depends on the strength and nature of droplet contacts. Intriguingly, the statistical distribution of the solidified droplet clusters is found to be independent of emulsion characteristics except surfactant. In contrast to classical nucleation theory, our work highlights the need to consider collective effects of nucleation in supercooled concentrated emulsions where droplet crowding is inevitable.


title: A low-mass galaxy cluster as a test-case study for the NIKA2 SZ Large Program

abstract: High-resolution mapping of the hot gas in galaxy clusters is a key tool for cluster-based cosmological analyses. Taking advantage of the NIKA2 millimeter camera operated at the IRAM 30-m telescope, the NIKA2 SZ Large Program seeks to get a high-resolution follow-up of 45 galaxy clusters covering a wide mass range at high redshift in order to re-calibrate some of the tools needed for the cosmological exploitation of SZ surveys. We present the second cluster analysis of this program, targeting one of the faintest sources of the sample in order to tackle the difficulties in data reduction for such faint, low-SNR clusters. In this study, the main challenge is the precise estimation of the contamination by sub-millimetric point sources, which greatly affects the tSZ map of the cluster. We account for this contamination by performing a joint fit of the SZ signal and of the flux density of the compact sources. A prior knowledge of these fluxes is given by the adjustment of the SED of each source using data from both NIKA2 and the \textit{Herschel} satellite. The first results are very promising and demonstrate the possibility to estimate thermodynamic properties with NIKA2, even in a compact cluster heavily contaminated by point sources.


title: Sparse bounds for discrete singular Radon transforms

abstract: We show that discrete singular Radon transforms along a certain class of polynomial mappings $P:\mathbb{Z}^d\to \mathbb{Z}^n$ satisfy sparse bounds. For $n=d=1$ we can handle all polynomials. In higher dimensions, we pose restrictions on the admissible polynomial mappings stemming from a combination of interacting geometric, analytic and number-theoretic obstacles.


title: Effect of strain on magnetic and orbital ordering of LaSrCrO$_3$/LaSrMnO$_3$ heterostructures

abstract: We investigate the effect of strain and film thickness on the orbital and magnetic properties of LaSrCrO$_3$ (LSCO)/LaSrMnO$_3$ (LSMO) heterostructures using bulk magnetometry, soft X-ray magnetic spectroscopy, first-principles density functional theory, high-resolution electron microscopy and X-ray diffraction. We observe an anti-parallel ordering of the magnetic moments between the ferromagnetic LSMO layers and the LSCO spacers leading to a strain-independent ferromagnetic ground state of the LSCO/LSMO heterostructures for LSMO layers as thin as 2 unit cells. As the LSMO thickness is increased, a net ferromagnetic state is maintained, however, the average magnetic moment per Mn is found to be dependent on the magnitude of the substrate-induced strain. The differences in the magnetic responses are related to preferential occupation of the Mn $x^2-y^2$ (in-plane) d-orbitals for tensile strain and $3z^2-r^2$ (out-of-plane) orbitals under compressive strain leading to competing ferromagnetic and anti-ferromagnetic exchange interactions within the LSMO layers. These results underscore the relative contributions of orbital, structural and spin degree of freedom and their tunability in atomically-thin crystalline complex oxide layers.


title: Teaching a university course on the mathematics of gambling

abstract: Courses on the mathematics of gambling have been offered by a number of colleges and universities, and for a number of reasons. In the past 15 years, at least seven potential textbooks for such a course have been published. In this article we objectively compare these books for their probability content, their gambling content, and their mathematical level, to see which ones might be most suitable, depending on student interests and abilities. This is not a book review (e.g., none of the books is recommended over others) but rather an essay offering advice about which topics to include in a course on the mathematics of gambling.


title: Set-theoretic Yang-Baxter (co)homology theory of involutive non-degenerate solutions

abstract: W. Rump showed that there exists a one-to-one correspondence between involutive right non-degenerate solutions of the Yang-Baxter equation and Rump right quasigroups. J. S. Carter, M. Elhamdadi, and M. Saito, meanwhile, introduced a homology theory of set-theoretic solutions of the Yang-Baxter equation in order to define cocycle invariants of classical knots. In this paper, we introduce the normalized homology theory of an involutive right non-degenerate solution of the Yang-Baxter equation and prove that the set-theoretic Yang-Baxter homology of certain solutions can be split into the normalized and degenerated parts.


title: Regularized Deep Networks in Intelligent Transportation Systems: A Taxonomy and a Case Study

abstract: Intelligent Transportation Systems (ITS) are much correlated with data science mechanisms. Among the different correlation branches, this paper focuses on the neural network learning models. Some of the considered models are shallow and they get some user-defined features and learn the relationship, while deep models extract the necessary features before learning by themselves. Both of these paradigms are utilized in the recent intelligent transportation systems (ITS) to support decision-making by the aid of different operations such as frequent patterns mining, regression, clustering, and classification. When these learners cannot generalize the results and just memorize the training samples, they fail to support the necessities. In these cases, the testing error is bigger than the training error. This phenomenon is addressed as overfitting in the literature. Because, this issue decreases the reliability of learning systems, in ITS applications, we cannot use such over-fitted machine learning models for different tasks such as traffic prediction, the signal controlling, safety applications, emergency responses, mode detection, driving evaluation, etc. Besides, deep learning models use a great number of hyper-parameters, the overfitting in deep models is more attention. To solve this problem, the regularized learning models can be followed. The aim of this paper is to review the approaches presented to regularize the overfitting in different categories of ITS studies. Then, we give a case study on driving safety that uses a regularized version of the convolutional neural network (CNN).


title: Adaptive Kernel Value Caching for SVM Training

abstract: Support Vector Machines (SVMs) can solve structured multi-output learning problems such as multi-label classification, multiclass classification and vector regression. SVM training is expensive especially for large and high dimensional datasets. The bottleneck of the SVM training often lies in the kernel value computation. In many real-world problems, the same kernel values are used in many iterations during the training, which makes the caching of kernel values potentially useful. The majority of the existing studies simply adopt the LRU (least recently used) replacement strategy for caching kernel values. However, as we analyze in this paper, the LRU strategy generally achieves high hit ratio near the final stage of the training, but does not work well in the whole training process. Therefore, we propose a new caching strategy called EFU (less frequently used) which replaces the less frequently used kernel values that enhances LFU (least frequently used). Our experimental results show that EFU often has 20\% higher hit ratio than LRU in the training with the Gaussian kernel. To further optimize the strategy, we propose a caching strategy called HCST (hybrid caching for the SVM training), which has a novel mechanism to automatically adapt the better caching strategy in the different stages of the training. We have integrated the caching strategy into ThunderSVM, a recent SVM library on many-core processors. Our experiments show that HCST adaptively achieves high hit ratios with little runtime overhead among different problems including multi-label classification, multiclass classification and regression problems. Compared with other existing caching strategies, HCST achieves 20\% more reduction in training time on average.


title: Counting extensions revisited

abstract: We consider rooted subgraphs in random graphs, i.e., extension counts such as (i) the number of triangles containing a given vertex or (ii) the number of paths of length three connecting two given vertices. In 1989, Spencer gave sufficient conditions for the event that, with high probability, these extension counts are asymptotically equal for all choices of the root vertices. For the important strictly balanced case, Spencer also raised the fundamental question as to whether these conditions are necessary. We answer this question by a careful second moment argument, and discuss some intriguing problems that remain open.


title: A new mechanism for matter-antimatter asymmetry and connection with dark matter

abstract: We propose a new mechanism for generating matter-antimatter asymmetry via the interference of tree-level diagrams only, where the imaginary part of the Breit-Wigner propagator for an unstable mediator plays a crucial role. We first derive a general result that a nonzero $CP$-asymmetry can be generated via at least two sets of interfering tree-level diagrams involving either $2\rightarrow2$ or $1\rightarrow n$ (with $n\geq3$) processes. We illustrate this point in a simple TeV-scale extension of the Standard Model with an inert Higgs doublet and right-handed neutrinos, along with an electroweak-triplet scalar field, where small Majorana neutrino masses are generated via a combination of radiative type-I and tree-level type-II seesaw mechanisms. The imaginary part needed for the required $CP$-asymmetry comes from the trilinear coupling of the inert doublet with the triplet scalar, along with the width of the triplet scalar mediator. The real part of the neutral component of the inert doublet serves as a cold dark matter candidate. The evolutions of the dark matter relic density and the baryon asymmetry are intimately related in this scenario.


title: Resurrecting Submodularity for Neural Text Generation

abstract: Submodularity is desirable for a variety of objectives in content selection where the current neural encoder-decoder framework is inadequate. However, it has so far not been explored in the neural encoder-decoder system for text generation. In this work, we define diminishing attentions with submodular functions and in turn, prove the submodularity of the effective neural coverage. The greedy algorithm approximating the solution to the submodular maximization problem is not suited to attention score optimization in auto-regressive generation. Therefore instead of following how submodular function has been widely used, we propose a simplified yet principled solution. The resulting attention module offers an architecturally simple and empirically effective method to improve the coverage of neural text generation. We run experiments on three directed text generation tasks with different levels of recovering rate, across two modalities, three different neural model architectures and two training strategy variations. The results and analyses demonstrate that our method generalizes well across these settings, produces texts of good quality and outperforms state-of-the-art baselines.


title: The metastable Q $^3\Delta_2$ state of ThO: A new resource for the ACME electron EDM search

abstract: The best upper limit for the electron electric dipole moment was recently set by the ACME collaboration. This experiment measures an electron spin-precession in a cold beam of ThO molecules in their metastable $H~(^3\Delta_1)$ state. Improvement in the statistical and systematic uncertainties is possible with more efficient use of molecules from the source and better magnetometry in the experiment, respectively. Here, we report measurements of several relevant properties of the long-lived $Q~(^3\Delta_2)$ state of ThO, and show that this state is a very useful resource for both these purposes. The $Q$ state lifetime is long enough that its decay during the time of flight in the ACME beam experiment is negligible. The large electric dipole moment measured for the $Q$ state, giving rise to a large linear Stark shift, is ideal for an electrostatic lens that increases the fraction of molecules detected downstream. The measured magnetic moment of the $Q$ state is also large enough to be used as a sensitive co-magnetometer in ACME. Finally, we show that the $Q$ state has a large transition dipole moment to the $C~(^1\Pi_1)$ state, which allows for efficient population transfer between the ground state $X~(^1\Sigma^+)$ and the $Q$ state via $X-C-Q$ Stimulated Raman Adiabatic Passage (STIRAP). We demonstrate $90\,$% STIRAP transfer efficiency. In the course of these measurements, we also determine the magnetic moment of $C$ state, the $X\rightarrow C$ transition dipole moment, and branching ratios of decays from the $C$ state.


title: Surrogate Modeling of Dynamics From Sparse Data Using Maximum Entropy Basis Functions

abstract: In this paper we present a data driven approach for approximating dynamical systems. A dynamics is approximated using basis functions, which are derived from maximization of the information-theoretic entropy, and can be generated directly from the data provided. This approach has advantages over other methods, where a dictionary of basis functions have to be provided by the user, which is non trivial in some applications. We compare the accuracy of the proposed data-driven modeling approach to existing methods in the literature, and demonstrate that for some applications the maximum entropy basis functions provide significantly more accurate models.


title: Normal variance mixtures: Distribution, density and parameter estimation

abstract: Normal variance mixtures are a class of multivariate distributions that generalize the multivariate normal by randomizing (or mixing) the covariance matrix via multiplication by a non-negative random variable W. The multivariate t distribution is an example of such mixture, where W has an inverse-gamma distribution. Algorithms to compute the joint distribution function and perform parameter estimation for the multivariate normal and t (with integer degrees of freedom) can be found in the literature and are implemented in, e.g., the R package mvtnorm. In this paper, efficient algorithms to perform these tasks in the general case of a normal variance mixture are proposed. In addition to the above two tasks, the evaluation of the joint (logarithmic) density function of a general normal variance mixture is tackled as well, as it is needed for parameter estimation and does not always exist in closed form in this more general setup. For the evaluation of the joint distribution function, the proposed algorithms apply randomized quasi-Monte Carlo (RQMC) methods in a way that improves upon existing methods proposed for the multivariate normal and t distributions. An adaptive RQMC algorithm that similarly exploits the superior convergence properties of RQMC methods is presented for the task of evaluating the joint log-density function. This allows the parameter estimation task to be accomplished via an EM-like algorithm where all weights and log-densities are numerically estimated. It is demonstrated through numerical examples that the suggested algorithms are quite fast; even for high dimensions around 1000 the distribution function can be estimated with moderate accuracy using only a few seconds of run time. Even log-densities around -100 can be estimated accurately and quickly. An implementation of all algorithms presented in this work is available in the R package nvmix (version >= 0.0.4).


title: On self-adjointness of symmetric diffusion operators

abstract: Let $\Omega$ be a domain in $\Ri^d$ with boundary $\Gamma$ and let $d_\Gamma$ denote the Euclidean distance to $\Gamma$. Further let $H=-\divv(C\nabla)$ where $C=(\,c_{kl}\,)>0$ with $c_{kl}=c_{lk}$ are real, bounded, Lipschitz continuous functions and $D(H)=C_c^\infty(\Omega)$. Assume also that there is a $\delta\geq0$ such that $\|C/d_\Gamma^{\,\delta}-aI\|\to 0$ as $d_\Gamma\to0$ with $\delta\geq0$ where $a$ is a bounded Lipschitz continuous function with $a\geq\mu>0$ on a boundary layer $\Gamma_{\!\!r}=\{x\in\Omega: d_\Gamma(x)<r\}$. Finally we require $|(\divv C).(\nabla d_\Gamma)|d_\Gamma^{\,-\delta+1}$ to be bounded on~$\Gamma_{\!\!r}$. Then we prove that if $\Omega$ is a $C^2$-domain, or if $\Omega=\Ri^d\backslash S$ where $S$ is a countable set of positively separated points, or if $\Omega=\Ri^d\backslash \overline \Pi$ with $\Pi$ a convex set whose boundary has Hausdorff dimension $d_H\in \{1,\ldots, d-1\}$ then the condition $\delta>2-(d-d_H)/2$ is sufficient for $H$ to be essentially self-adjoint as an operator on $L_2(\Omega)$. In particular $\delta>3/2$ suffices for $C^2$-domains. Finally we prove that $\delta\geq 3/2$ is necessary in the $C^2$-case.


title: Learning-Accelerated ADMM for Distributed Optimal Power Flow

abstract: We propose a novel data-driven method to accelerate the convergence of Alternating Direction Method of Multipliers (ADMM) for solving distributed DC optimal power flow (DC-OPF) where lines are shared between independent network partitions. Using previous observations of ADMM trajectories for a given system under varying load, the method trains a recurrent neural network (RNN) to predict the converged values of dual and consensus variables. Given a new realization of system load, a small number of initial ADMM iterations is taken as input to infer the converged values and directly inject them into the iteration. We empirically demonstrate that the online injection of these values into the ADMM iteration accelerates convergence by a significant factor for partitioned 14-, 118- and 2848-bus test systems under differing load scenarios. The proposed method has several advantages: it maintains the security of private decision variables inherent in consensus ADMM; inference is fast and so may be used in online settings; RNN-generated predictions can dramatically improve time to convergence but, by construction, can never result in infeasible ADMM subproblems; it can be easily integrated into existing software implementations. While we focus on the ADMM formulation of distributed DC-OPF in this paper, the ideas presented are naturally extended to other distributed optimization problems.


title: A Human-in-the-loop Framework to Construct Context-aware Mathematical Notions of Outcome Fairness

abstract: Existing mathematical notions of fairness fail to account for the context of decision-making. We argue that moral consideration of contextual factors is an inherently human task. So we present a framework to learn context-aware mathematical formulations of fairness by eliciting people's situated fairness assessments. Our family of fairness notions corresponds to a new interpretation of economic models of Equality of Opportunity (EOP), and it includes most existing notions of fairness as special cases. Our human-in-the-loop approach is designed to learn the appropriate parameters of the EOP family by utilizing human responses to pair-wise questions about decision subjects' circumstance and deservingness, and the harm/benefit imposed on them. We illustrate our framework in a hypothetical criminal risk assessment scenario by conducting a series of human-subject experiments on Amazon Mechanical Turk. Our work takes an important initial step toward empowering stakeholders to have a voice in the formulation of fairness for Machine Learning.


title: Wormholes and the Thermodynamic Arrow of Time

abstract: In classical thermodynamics, heat cannot spontaneously pass from a colder system to a hotter system, which is called the thermodynamic arrow of time. However, if the initial states are entangled, the direction of the thermodynamic arrow of time may not be guaranteed. Here we take the thermofield double state at $0+1$ dimension as the initial state and assume its gravity duality to be the eternal black hole in AdS$_2$ space. We make the temperature difference between the two sides by changing the Hamiltonian. We turn on proper interaction between the two sides and calculate the changes in energy and entropy. The energy transfer, as well as the thermodynamic arrow of time, are mainly determined by the competition between two channels: thermal diffusion and anomalous heat flow. The former is not related to the wormhole and obeys the thermodynamic arrow of time; the latter is related to the wormhole and reverses the thermodynamic arrow of time, i.e. transferring energy from the colder side to the hotter side at the cost of entanglement consumption. Finally, we find that the thermal diffusion wins the competition, and the whole thermodynamic arrow of time has not been reversed.


title: Transfer Learning in 4D for Breast Cancer Diagnosis using Dynamic Contrast-Enhanced Magnetic Resonance Imaging

abstract: Deep transfer learning using dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI) has shown strong predictive power in characterization of breast lesions. However, pretrained convolutional neural networks (CNNs) require 2D inputs, limiting the ability to exploit the rich 4D (volumetric and temporal) image information inherent in DCE-MRI that is clinically valuable for lesion assessment. Training 3D CNNs from scratch, a common method to utilize high-dimensional information in medical images, is computationally expensive and is not best suited for moderately sized healthcare datasets. Therefore, we propose a novel approach using transfer learning that incorporates the 4D information from DCE-MRI, where volumetric information is collapsed at feature level by max pooling along the projection perpendicular to the transverse slices and the temporal information is contained either in second-post contrast subtraction images. Our methodology yielded an area under the receiver operating characteristic curve of 0.89+/-0.01 on a dataset of 1161 breast lesions, significantly outperforming a previous approach that incorporates the 4D information in DCE-MRI by the use of maximum intensity projection (MIP) images.


title: On the asymptotic behavior of solutions of the 2d Euler equation

abstract: We prove that the 2d Euler equation is globally well-posed in a space of vector fields having spatial asymptotic expansion at infinity of any a priori given order. The asymptotic coefficients of the solutions are holomorphic functions of $t$, do not involve (spacial) logarithmic terms, and develop even when the initial data has fast decay at infinity. We discuss the evolution in time of the asymptotic terms and their approximation properties.


title: Why Do Masked Neural Language Models Still Need Common Sense Knowledge?

abstract: Currently, contextualized word representations are learned by intricate neural network models, such as masked neural language models (MNLMs). The new representations significantly enhanced the performance in automated question answering by reading paragraphs. However, identifying the detailed knowledge trained in the MNLMs is difficult owing to numerous and intermingled parameters. This paper provides empirical but insightful analyses on the pretrained MNLMs with respect to common sense knowledge. First, we propose a test that measures what types of common sense knowledge do pretrained MNLMs understand. From the test, we observed that MNLMs partially understand various types of common sense knowledge but do not accurately understand the semantic meaning of relations. In addition, based on the difficulty of the question-answering task problems, we observed that pretrained MLM-based models are still vulnerable to problems that require common sense knowledge. We also experimentally demonstrated that we can elevate existing MNLM-based models by combining knowledge from an external common sense repository.


title: Secure State Estimation and Attack Reconstruction in Cyber-Physical Systems: Sliding Mode Observer Approach

abstract: A cyber-physical system (CPS) is a tight coupling of computational resources, network communication, and physical processes. They are composed of a set of networked components, including sensors, actuators, control processing units, and communication agents that instrument the physical world to make smarter. However, cyber components are also the source of new, unprecedented vulnerabilities to malicious attacks. In order to protect a CPS from attacks, three security levels of protection, detection, and identification are considered. In this chapter, we will discuss the identification level, i.e., secure state estimation and attack reconstruction of CPS with corrupted states and measurements. Considering different attack plans that may assault the states, sensors, or both of them, different online attack reconstruction approaches are discussed. Fixed-gain and adaptive-gain finite-time convergent observation algorithms, specifically sliding mode observers, are applied to the online reconstruction of sensor and state attacks. Next, the corrupted measurements and states are to be cleaned up online in order to stop the attack propagation to the CPS via the control signal. The proposed methodologies are applied to an electric power network, whose states and sensors are under attack. Simulation results illustrate the efficacy of the proposed observers.


title: Reconfiguring k-path vertex covers

abstract: A vertex subset $I$ of a graph $G$ is called a $k$-path vertex cover if every path on $k$ vertices in $G$ contains at least one vertex from $I$. The \textsc{$k$-Path Vertex Cover Reconfiguration ($k$-PVCR)} problem asks if one can transform one $k$-path vertex cover into another via a sequence of $k$-path vertex covers where each intermediate member is obtained from its predecessor by applying a given reconfiguration rule exactly once. We investigate the computational complexity of \textsc{$k$-PVCR} from the viewpoint of graph classes under the well-known reconfiguration rules: $\mathsf{TS}$, $\mathsf{TJ}$, and $\mathsf{TAR}$. The problem for $k=2$, known as the \textsc{Vertex Cover Reconfiguration (VCR)} problem, has been well-studied in the literature. We show that certain known hardness results for \textsc{VCR} on different graph classes including planar graphs, bounded bandwidth graphs, chordal graphs, and bipartite graphs, can be extended for \textsc{$k$-PVCR}. In particular, we prove a complexity dichotomy for \textsc{$k$-PVCR} on general graphs: on those whose maximum degree is $3$ (and even planar), the problem is $\mathtt{PSPACE}$-complete, while on those whose maximum degree is $2$ (i.e., paths and cycles), the problem can be solved in polynomial time. Additionally, we also design polynomial-time algorithms for \textsc{$k$-PVCR} on trees under each of $\mathsf{TJ}$ and $\mathsf{TAR}$. Moreover, on paths, cycles, and trees, we describe how one can construct a reconfiguration sequence between two given $k$-path vertex covers in a yes-instance. In particular, on paths, our constructed reconfiguration sequence is shortest.


title: Transmission Switching Under Wind Uncertainty Using Linear Decision Rules

abstract: Increasing penetration of wind and renewable generation poses significant challenges to the power system operations and reliability. This paper considers the real-time optimal transmission switching (OTS) problem for determining the generation dispatch and network topology that can account for uncertain energy resources. To efficiently solve the resultant two-stage stochastic program, we propose a tractable linear decision rule (LDR) based approximation solution that can eliminate the uncertainty variables and lead to fixed number of constraints. The proposed LDR approach can guarantee feasibility, and significantly reduces the computational complexity of existing approaches that grows with the number of randomly generated samples of uncertainty. Numerical studies on IEEE test cases demonstrate the high approximation accuracy of the proposed LDR solution and its computational efficiency for real-time OTS implementations.


title: Lock-Free Hopscotch Hashing

abstract: In this paper we present a lock-free version of Hopscotch Hashing. Hopscotch Hashing is an open addressing algorithm originally proposed by Herlihy, Shavit, and Tzafrir, which is known for fast performance and excellent cache locality. The algorithm allows users of the table to skip or jump over irrelevant entries, allowing quick search, insertion, and removal of entries. Unlike traditional linear probing, Hopscotch Hashing is capable of operating under a high load factor, as probe counts remain small. Our lock-free version improves on both speed, cache locality, and progress guarantees of the original, being a chimera of two concurrent hash tables. We compare our data structure to various other lock-free and blocking hashing algorithms and show that its performance is in many cases superior to existing strategies. The proposed lock-free version overcomes some of the drawbacks associated with the original blocking version, leading to a substantial boost in scalability while maintaining attractive features like physical deletion or probe-chain compression.


title: RoIMix: Proposal-Fusion among Multiple Images for Underwater Object Detection

abstract: Generic object detection algorithms have proven their excellent performance in recent years. However, object detection on underwater datasets is still less explored. In contrast to generic datasets, underwater images usually have color shift and low contrast; sediment would cause blurring in underwater images. In addition, underwater creatures often appear closely to each other on images due to their living habits. To address these issues, our work investigates augmentation policies to simulate overlapping, occluded and blurred objects, and we construct a model capable of achieving better generalization. We propose an augmentation method called RoIMix, which characterizes interactions among images. Proposals extracted from different images are mixed together. Previous data augmentation methods operate on a single image while we apply RoIMix to multiple images to create enhanced samples as training data. Experiments show that our proposed method improves the performance of region-based object detectors on both Pascal VOC and URPC datasets.


title: Certified Data Removal from Machine Learning Models

abstract: Good data stewardship requires removal of data at the request of the data's owner. This raises the question if and how a trained machine-learning model, which implicitly stores information about its training data, should be affected by such a removal request. Is it possible to "remove" data from a machine-learning model? We study this problem by defining certified removal: a very strong theoretical guarantee that a model from which data is removed cannot be distinguished from a model that never observed the data to begin with. We develop a certified-removal mechanism for linear classifiers and empirically study learning settings in which this mechanism is practical.


title: Frequency-domain computation of quadratic-exponential cost functionals for linear quantum stochastic systems

abstract: This paper is concerned with quadratic-exponential functionals (QEFs) as risk-sensitive performance criteria for linear quantum stochastic systems driven by multichannel bosonic fields. Such costs impose an exponential penalty on quadratic functions of the quantum system variables over a bounded time interval, and their minimization secures a number of robustness properties for the system. We use an integral operator representation of the QEF, obtained recently, in order to compute its asymptotic infinite-horizon growth rate in the invariant Gaussian state when the stable system is driven by vacuum input fields. The resulting frequency-domain formulas express the QEF growth rate in terms of two spectral functions associated with the real and imaginary parts of the quantum covariance kernel of the system variables. We also discuss the computation of the QEF growth rate using homotopy and contour integration techniques and provide two illustrations including a numerical example with a two-mode oscillator.

categories: quant-ph cs.SY eess.SY math-ph math.MP math.OC math.PR


title: Dissipation in non-steady state regulatory circuits

abstract: In order to respond to environmental signals, cells often use small molecular circuits to transmit information about their surroundings. Recently, motivated by concrete examples in signaling and gene regulation, a body of work has focused on the properties of circuits that function out of equilibrium and dissipate energy. We briefly review the probabilistic measures of information and dissipation and use simple models to discuss and illustrate trade-offs between information and dissipation in biological circuits. We find that circuits with non-steady state initial conditions can transmit more information at small readout delays than steady state circuits. The dissipative cost of this additional information proves marginal compared to the steady state dissipation. Feedback does not significantly increase the transmitted information for out of steady state circuits but does decrease dissipative costs. Lastly, we discuss the case of bursty gene regulatory circuits that even in the fast switching limit function out of equilibrium.


title: Lannes's $T$-functor and equivariant Chow rings

abstract: For $X$ a smooth scheme acted on by a linear algebraic group $G$ and $p$ a prime, the equivariant Chow ring $CH^*_G(X)\otimes \mathbb{F}_p$ is an unstable algebra over the Steenrod algebra. We compute Lannes's $T$-functor applied to $CH^*_G(X)\otimes \mathbb{F}_p$. As an application, we compute the localization of $CH^*_G(X)\otimes \mathbb{F}_p$ away from $n$-nilpotent modules over the Steenrod algebra, affirming a conjecture of Totaro as a special case. The case when $X$ is a point and $n = 1$ generalizes and recovers an algebro-geometric version of Quillen's stratification theorem proved by Yagita and Totaro.


title: Interaction Hard Thresholding: Consistent Sparse Quadratic Regression in Sub-quadratic Time and Space

abstract: Quadratic regression involves modeling the response as a (generalized) linear function of not only the features $x^{j_1}$ but also of quadratic terms $x^{j_1}x^{j_2}$. The inclusion of such higher-order "interaction terms" in regression often provides an easy way to increase accuracy in already-high-dimensional problems. However, this explodes the problem dimension from linear $O(p)$ to quadratic $O(p^2)$, and it is common to look for sparse interactions (typically via heuristics). In this paper, we provide a new algorithm - Interaction Hard Thresholding (IntHT) which is the first one to provably accurately solve this problem in sub-quadratic time and space. It is a variant of Iterative Hard Thresholding; one that uses the special quadratic structure to devise a new way to (approx.) extract the top elements of a $p^2$ size gradient in sub-$p^2$ time and space. Our main result is to theoretically prove that, in spite of the many speedup-related approximations, IntHT linearly converges to a consistent estimate under standard high-dimensional sparse recovery assumptions. We also demonstrate its value via synthetic experiments. Moreover, we numerically show that IntHT can be extended to higher-order regression problems, and also theoretically analyze an SVRG variant of IntHT.


title: On the Complexity of BWT-runs Minimization via Alphabet Reordering

abstract: The Burrows-Wheeler Transform (BWT) has been an essential tool in text compression and indexing. First introduced in 1994, it went on to provide the backbone for the first encoding of the classic suffix tree data structure in space close to the entropy-based lower bound. Recently, there has been the development of compact suffix trees in space proportional to "$r$", the number of runs in the BWT, as well as the appearance of $r$ in the time complexity of new algorithms. Unlike other popular measures of compression, the parameter $r$ is sensitive to the lexicographic ordering given to the text's alphabet. Despite several past attempts to exploit this, a provably efficient algorithm for finding, or approximating, an alphabet ordering which minimizes $r$ has been open for years. We present the first set of results on the computational complexity of minimizing BWT-runs via alphabet reordering. We prove that the decision version of this problem is NP-complete and cannot be solved in time $2^{o(\sigma + \sqrt{n})}$ unless the Exponential Time Hypothesis fails, where $\sigma$ is the size of the alphabet and $n$ is the length of the text. We also show that the optimization problem is APX-hard. In doing so, we relate two previously disparate topics: the optimal traveling salesperson path and the number of runs in the BWT of a text, providing a surprising connection between problems on graphs and text compression. Also, by relating recent results in the field of dictionary compression, we illustrate that an arbitrary alphabet ordering provides a $O(\log^2 n)$-approximation. We provide an optimal linear-time algorithm for the problem of finding a run minimizing ordering on a subset of symbols (occurring only once) under ordering constraints, and prove a generalization of this problem to a class of graphs with BWT like properties called Wheeler graphs is NP-complete.


title: Quantum Bridge Analytics II: Network Optimization and Combinatorial Chaining for Asset Exchange

abstract: Quantum Bridge Analytics relates to methods and systems for hybrid classical-quantum computing, and is devoted to developing tools for bridging classical and quantum computing to gain the benefits of their alliance in the present and enable enhanced practical application of quantum computing in the future. This is the second of a two-part tutorial that surveys key elements of Quantum Bridge Analytics and its applications. Part I focused on the Quadratic Unconstrained Binary Optimization (QUBO) model which is presently the most widely applied optimization model in the quantum computing area, and which unifies a rich variety of combinatorial optimization problems. Part II (the present paper) examines an application that augments the use of QUBO models, by disclosing a context for coordinating QUBO solutions through a model we call the Asset Exchange Problem (AEP). Solutions to the AEP enable individuals or institutions to take fuller advantage of solutions to their QUBO models by exchanges of assets that benefit all participants. Such exchanges are generated by a combination of two optimization technologies, one grounded in network optimization and one based on a new metaheuristic optimization approach called combinatorial chaining. This combination provides a flexibility to solve AEP variants that open the door to additional links to quantum computing applications and additional applications via the Quantum Bridge Analytics perspective. We show how this modeling and solution capability gives rise to an Asset Exchange Technology that embraces a broad range of financial, industrial, scientific and social settings. Examples are presented that show the nature of these processes from a tutorial perspective.


title: Phase transitions for degenerate random environments

abstract: We study a class of models of i.i.d.~random environments in general dimensions $d\ge 2$, where each site is equipped randomly with an environment, and a parameter $p$ governs the frequency of certain environments that can act as a barrier. We show that many of these models (including some which are non-monotone in $p$) exhibit a sharp phase transition for the geometry of connected clusters as $p$ varies.


title: Turbo Autoencoder: Deep learning based channel codes for point-to-point communication channels

abstract: Designing codes that combat the noise in a communication medium has remained a significant area of research in information theory as well as wireless communications. Asymptotically optimal channel codes have been developed by mathematicians for communicating under canonical models after over 60 years of research. On the other hand, in many non-canonical channel settings, optimal codes do not exist and the codes designed for canonical models are adapted via heuristics to these channels and are thus not guaranteed to be optimal. In this work, we make significant progress on this problem by designing a fully end-to-end jointly trained neural encoder and decoder, namely, Turbo Autoencoder (TurboAE), with the following contributions: ($a$) under moderate block lengths, TurboAE approaches state-of-the-art performance under canonical channels; ($b$) moreover, TurboAE outperforms the state-of-the-art codes under non-canonical settings in terms of reliability. TurboAE shows that the development of channel coding design can be automated via deep learning, with near-optimal performance.


title: Hybrid level anharmonicity and interference induced photon blockade in a two-qubit cavity QED system with dipole-dipole interaction

abstract: We theoretically study a quantum destructive interference (QDI) induced photon blockade in a two-qubit driven cavity QED system with dipole-dipole interaction (DDI). In the absence of dipole-dipole interaction, we show that a QDI-induced photon blockade can be achieved only when the qubit resonance frequency is different from the cavity mode frequency. When DDI is introduced the condition for this photon blockade is strongly dependent upon the pump field frequency, and yet is insensitive to the qubit-cavity coupling strength. Using this tunability feature we show that the conventional energy-level-anharmonicity-induced photon blockade and this DDI-based QDI-induced photon blockade can be combined together, resulting in a hybrid system with substantially improved mean photon number and second order correlation function. Our proposal provides a non-conventional and experimentally feasible platform for generating single photons.


title: Quasi-one-dimensional ferroelectricity and piezoelectricity in WO$X_4$ halogens

abstract: A series of oxytetrahalides WO$X_4$ ($X$: a halogen element) that form quasi-one-dimensional chains is investigated using first-principles calculations. The crystal structures, electronic structures, as well as ferroelectric and piezoelectric properties are discussed in detail. Group theory analysis shows that the ferroelectricity in this family originates from an unstable polar phonon mode $\Gamma_1^-$ induced by the W's $d^0$ orbital configuration. Their polarization magnitudes are found to be comparable to widely used ferroelectric perovskites. Because of its quasi-one-dimensional characteristics, the inter-chain domain wall energy density is low, leading to loosely-coupled ferroelectric chains. This is potentially beneficial for high density ferroelectric memories: we estimate that the upper-limit of memory density in these compounds could reach hundreds of terabytes per square inch.


title: Scale Recurrence Lemma and Dimension Formula for Cantor Sets in the Complex Plane

abstract: We will prove a multidimensional conformal version of the scale recurrence lemma of Moreira and Yoccoz \cite{MY} for Cantor sets in the complex plane. We then use this new recurrence lemma, together with the ideas in \cite{M}, to prove that under the right hypothesis for the Cantor sets $K_1,...,K_n$ and the function $h:\mathbb{C}^{n}\to \mathbb{R}^{l}$, the following formula holds \[HD(h(K_1\times K_2 \times ...\times K_n))=\min \{l,HD(K_1)+...+HD(K_n)\}.\]


title: Neural Graph Embedding Methods for Natural Language Processing

abstract: Knowledge graphs are structured representations of facts in a graph, where nodes represent entities and edges represent relationships between them. Recent research has resulted in the development of several large KGs. However, all of them tend to be sparse with very few facts per entity. In the first part of the thesis, we propose two solutions to alleviate this problem: (1) KG Canonicalization, i.e., identifying and merging duplicate entities in a KG, (2) Relation Extraction which involves automating the process of extracting semantic relationships between entities from unstructured text. Traditional Neural Networks like CNNs and RNNs are constrained to handle Euclidean data. However, graphs in Natural Language Processing (NLP) are prominent. Recently, Graph Convolutional Networks (GCNs) have been proposed to address this shortcoming and have been successfully applied for several problems. In the second part of the thesis, we utilize GCNs for Document Timestamping problem and for learning word embeddings using dependency context of a word instead of sequential context. In this third part of the thesis, we address two limitations of existing GCN models, i.e., (1) The standard neighborhood aggregation scheme puts no constraints on the number of nodes that can influence the representation of a target node. This leads to a noisy representation of hub-nodes which coves almost the entire graph in a few hops. (2) Most of the existing GCN models are limited to handle undirected graphs. However, a more general and pervasive class of graphs are relational graphs where each edge has a label and direction associated with it. Existing approaches to handle such graphs suffer from over-parameterization and are restricted to learning representation of nodes only.


title: Estimating Normalizing Constants for Log-Concave Distributions: Algorithms and Lower Bounds

abstract: Estimating the normalizing constant of an unnormalized probability distribution has important applications in computer science, statistical physics, machine learning, and statistics. In this work, we consider the problem of estimating the normalizing constant $Z=\int_{\mathbb{R}^d} e^{-f(x)}\,\mathrm{d}x$ to within a multiplication factor of $1 \pm \varepsilon$ for a $\mu$-strongly convex and $L$-smooth function $f$, given query access to $f(x)$ and $\nabla f(x)$. We give both algorithms and lowerbounds for this problem. Using an annealing algorithm combined with a multilevel Monte Carlo method based on underdamped Langevin dynamics, we show that $\widetilde{\mathcal{O}}\Bigl(\frac{d^{4/3}\kappa + d^{7/6}\kappa^{7/6}}{\varepsilon^2}\Bigr)$ queries to $\nabla f$ are sufficient, where $\kappa= L / \mu$ is the condition number. Moreover, we provide an information theoretic lowerbound, showing that at least $\frac{d^{1-o(1)}}{\varepsilon^{2-o(1)}}$ queries are necessary. This provides a first nontrivial lowerbound for the problem.

categories: cs.DS cs.LG math.PR math.ST stat.ML stat.TH


title: AITom: Open-source AI platform for cryo-electron tomography data analysis

abstract: Cryo-electron tomography (cryo-ET) is an emerging technology for the 3D visualization of structural organizations and interactions of subcellular components at near-native state and sub-molecular resolution. Tomograms captured by cryo-ET contain heterogeneous structures representing the complex and dynamic subcellular environment. Since the structures are not purified or fluorescently labeled, the spatial organization and interaction between both the known and unknown structures can be studied in their native environment. The rapid advances of cryo-electron tomography (cryo-ET) have generated abundant 3D cellular imaging data. However, the systematic localization, identification, segmentation, and structural recovery of the subcellular components require efficient and accurate large-scale image analysis methods. We introduce AITom, an open-source artificial intelligence platform for cryo-ET researchers. AITom provides many public as well as in-house algorithms for performing cryo-ET data analysis through both the traditional template-based or template-free approach and the deep learning approach. AITom also supports remote interactive analysis. Comprehensive tutorials for each analysis module are provided to guide the user through. We welcome researchers and developers to join this collaborative open-source software development project. Availability: https://github.com/xulabs/aitom


title: On approximating the shape of one dimensional functions

abstract: Consider an $s$-dimensional function being evaluated at $n$ points of a low discrepancy sequence (LDS), where the objective is to approximate the one-dimensional functions that result from integrating out $(s-1)$ variables. Here, the emphasis is on accurately approximating the shape of such \emph{one-dimensional} functions. Approximating this shape when the function is evaluated on a set of grid points instead is relatively straightforward. However, the number of grid points needed increases exponentially with $s$. LDS are known to be increasingly more efficient at integrating $s$-dimensional functions compared to grids, as $s$ increases. Yet, a method to approximate the shape of a one-dimensional function when the function is evaluated using an $s$-dimensional LDS has not been proposed thus far. We propose an approximation method for this problem. This method is based on an $s$-dimensional integration rule together with fitting a polynomial smoothing function. We state and prove results showing conditions under which this polynomial smoothing function will converge to the true one-dimensional function. We also demonstrate the computational efficiency of the new approach compared to a grid based approach.


title: $\alpha\beta$ DCA method identifies unspecific binding but specific disruption of the group I intron by the StpA chaperone

abstract: Chaperone protein - the most disordered among all protein groups - help RNAs fold into their functional structure by destabilizing misfolded configurations or stabilizing the functional ones. But disentangling the mechanism underlying RNA chaperoning is challenging, mostly due to inherent disorder of the chaperones and the transient nature of their interactions with RNA. In particular, it is unclear how specific the interactions are and what role is played by amino acid charge and polarity patterns. Here, we address these questions in the RNA chaperone StpA. We adapted direct coupling analysis (DCA) into the $\alpha\beta$DCA method that can treat in tandem sequences written in two alphabets, nucleotides and amino acids. With $\alpha\beta$DCA, we could analyze StpA-RNA interactions and show consistency with a previously proposed two-pronged mechanism: StpA disrupts specific positions in the group I intron while globally and loosely binding to the entire structure. Moreover, the interactions are strongly associated with the charge pattern: negatively charged regions in the destabilizing StpA N-terminal affect a few specific positions in the RNA, located in stems and in the pseudoknot. In contrast, positive regions in the C-terminal contain strongly coupled amino acids that promote non-specific or weakly-specific binding to the RNA. The present study opens new avenues to examine the functions of disordered proteins and to design disruptive proteins based on their charge patterns.


title: Contrastive Multi-document Question Generation

abstract: Multi-document question generation focuses on generating a question that covers the common aspect of multiple documents. Such a model is useful in generating clarifying options. However, a naive model trained only using the targeted ("positive") document set may generate too generic questions that cover a larger scope than delineated by the document set. To address this challenge, we introduce the contrastive learning strategy where given "positive" and "negative" sets of documents, we generate a question that is closely related to the "positive" set but is far away from the "negative" set. This setting allows generated questions to be more specific and related to the target document set. To generate such specific questions, we propose Multi-Source Coordinated Question Generator (MSCQG), a novel framework that includes a supervised learning (SL) stage and a reinforcement learning (RL) stage. In the SL stage, a single-document question generator is trained. In the RL stage, a coordinator model is trained to find optimal attention weights to align multiple single-document generators, by optimizing a reward designed to promote specificity of generated questions. We also develop an effective auxiliary objective, named Set-induced Contrastive Regularization (SCR) that improves the coordinator's contrastive learning during the RL stage. We show that our model significantly outperforms several strong baselines, as measured by automatic metrics and human evaluation. The source repository is publicly available at \url{www.github.com/woonsangcho/contrast_qgen}.


title: Interglueball potential in SU(N) lattice gauge theory

abstract: We report on our calculation of the interglueball potentials in SU(2), SU(3), and SU(4) lattice Yang-Mills theories using the indirect (so-called HAL QCD) method. We use the cluster decomposition error reduction technique to improve the statistical accuracy of the glueball correlators. After calculating the glueball scattering cross section in SU(2) Yang-Mills theory and combining with the observational data of the dark matter mass distributions, we derive the lower limit on the scale parameter.


title: Long time behavior of solutions to the 2D Boussinesq equations with zero diffusivity

abstract: We address long time behavior of solutions to the 2D Boussinesq equations with zero diffusivity in the cases of the torus, ${\mathbb R}^2$, and on a bounded domain with Lions or Dirichlet boundary conditions. In all the cases, we obtain bounds on the long time behavior for the norms of the velocity and the vorticity. In particular, we obtain that the norm $\Vert (u,\rho)\Vert_{H^2\times H^{1}}$ is bounded by a single exponential, improving earlier bounds.


title: Tuning pure out-of-plane piezoelectric effect of penta-graphene: a first-principle study

abstract: For two-dimensional (2D) materials, a pure large out-of-plane piezoelectric response, compatible with the nowadays bottom/top gate technologies, is highly desired. In this work, the piezoelectric properties of penta-graphene (CCC) monolayer are studied with pure out-of-plane piezoelectric effect by density functional theory (DFT). However, the $d_{36}$ is very small, and only -0.065 pm/V. Two strategies are proposed to enhance piezoelectric properties of CCC monolayer. Firstly, both biaxial and uniaxial strains are applied, but the enhancement is very small, and at -2\% biaxial (-4\% uniaxial) strain, the $d_{36}$ is increased only by 3.1\% (13.9\%). Secondly, a Janus penta-monolayer (CCB) is constructed by replacing the top C (B) atomic layer in monolayer CCC [pentagonal $\mathrm{CB_2}$ monolayer (CBB)] with B (C) atoms, which shows dynamic and mechanical stability. Fortunately, the pure out-of-plane piezoelectric effect of CCB monolayer still holds, and exhibits a band gap. The calculated $d_{31}$ and $d_{32}$ are -0.505 pm/V and 0.273 pm/V, respectively, which are very larger than $d_{36}$ of CCC monolayer. The out-of-plane piezoelectricity $d_{31}$ of CCB monolayer is obviously higher compared with many other 2D known materials. Moreover, its room-temperature electronic mobility along y direction is as high as 8865.23 $\mathrm{cm^2V^{-1}s^{-1}}$. Our works provide a new way to achieve pure out-of-plane piezoelectric effect, which is highly desirable for ultrathin piezoelectric devices.


title: Quality of Service (QoS) Modelling in Federated Cloud Computing

abstract: Building around the idea of a large scale server infrastructure with a potentially large number of tailored resources, which are capable of interacting to facilitate the deployment, adaptation, and support of services, cloud computing needs to frequently reschedule and manage various application tasks in order to accommodate the requests of a wide range and number of users. One of the challenges of cloud computing is to support and manage Quality-of-Service (QoS) by designing efficient techniques for the allocation of tasks between users and the cloud virtual resources, as well as assigning virtual resources to the cloud physical resources. The migration of virtual resources across physical resources is another challenge that requires considerable attention; especially in federated cloud computing environments wherein, providers might be willing to offer their unused resources as a service to the federation (cooperative allocation) and pull back these resources for their own use when they are needed (competitive allocation). This paper revisits the issue of QoS in cloud computing by formulating and presenting i) a multi-QoS task allocation model for the assignment of tasks to virtual machines and ii) a virtual machine migration model for a federated cloud computing environment by considering cases where resource providers are operating in cooperative or competitive mode. A new differential evolution (DE) based binding policy for task allocation and a novel virtual machine model are proposed as solutions for the problem of QoS support in federated cloud environments. The experimental results show that the proposed solutions improved the quality of service in the cloud computing environment and reveal the relative advantages of operating a mixed cooperation and competition model in a federated cloud environment.


title: A Novel Approach for Partial Fingerprint Identification to Mitigate MasterPrint Generation

abstract: Partial fingerprint recognition is a method to recognize an individual when the sensor size has a small form factor in accepting a full fingerprint. It is also used in forensic research to identify the partial fingerprints collected from the crime scenes. But the distinguishing features in the partial fingerprint are relatively low due to small fingerprint captured by the sensor. Hence, the uniqueness of a partial fingerprint cannot be guaranteed, leading to a possibility that a single partial fingerprint may identify multiple subjects. A MasterPrint is a partial fingerprint that identifies at least 4% different individuals from the enrolled template database. A fingerprint identification system with such a flaw can play a significant role in convicting an innocent in a criminal case. We propose a partial fingerprint identification approach that aims to mitigate MasterPrint generation. The proposed method, when applied to partial fingerprint dataset cropped from standard FVC 2002 DB1(A) dataset showed significant improvement in reducing the count of MasterPrints. The experimental result demonstrates improved results on other parameters, such as True match Rate (TMR) and Equal Error Rate (EER), generally used to evaluate the performance of a fingerprint biometric system.


title: Electric Analog Circuit Design with Hypernetworks and a Differential Simulator

abstract: The manual design of analog circuits is a tedious task of parameter tuning that requires hours of work by human experts. In this work, we make a significant step towards a fully automatic design method that is based on deep learning. The method selects the components and their configuration, as well as their numerical parameters. By contrast, the current literature methods are limited to the parameter fitting part only. A two-stage network is used, which first generates a chain of circuit components and then predicts their parameters. A hypernetwork scheme is used in which a weight generating network, which is conditioned on the circuit's power spectrum, produces the parameters of a primal RNN network that places the components. A differential simulator is used for refining the numerical values of the components. We show that our model provides an efficient design solution, and is superior to alternative solutions.