title: Idle speed control with low-complexity offset-free explicit model predictive control in presence of system delay

abstract: The requirement for continual improvement of idle speed control (ISC) performance is increasing due to the stringent regulation on emission and fuel economy these days. In this regard, a low-complexity offset-free explicit model predictive control (EMPC) with constraint horizon is designed to regulate the idle speed under unmeasured disturbance in presence of system delay with rigorous formulation. Particularly, we developed a high-fidelity 4-stroke gasoline-direct injected spark-ignited engine model based on first-principles and test vehicle driving data, and designed a model predictive ISC system. To handle the delay from intake to torque production, we constructed a control-oriented model with delay augmentation. To reject the influence of torque loss, we implemented the offset-free MPC scheme with disturbance model and estimator. Moreover, to deal with the limited capacity assigned for the controller in the engine control unit and the short sampling instant of the engine system, we formulated a low-complexity multiparametric quadratic program with constraint horizon in presence of system delay in state and input variables, and obtained an explicit solution map. To demonstrate the performance of the designed controller, a series of closed-loop simulations were performed. The developed explicit controller showed proper ISC performance in presence of torque loss and system delay.


title: Revisiting element removal for density-based structural topology optimization with reintroduction by Heaviside projection

abstract: We present a strategy grounded in the element removal idea of Bruns and Tortorelli [1] and aimed at reducing computational cost and circumventing potential numerical instabilities of density-based topology optimization. The design variables and the relative densities are both represented on a fixed, uniform finite element grid, and linked through filtering and Heaviside projection. The regions in the analysis domain where the relative density is below a specified threshold are removed from the forward analysis and replaced by fictitious nodal boundary conditions. This brings a progressive cut of the computational cost as the optimization proceeds and helps to mitigate numerical instabilities associated with low-density regions. Removed regions can be readily reintroduced since all the design variables remain active and are modeled in the formal sensitivity analysis. A key feature of the proposed approach is that the Heaviside functions promote material reintroduction along the structural boundaries by amplifying the magnitude of the sensitivities inside the filter reach. Several 2D and 3D structural topology optimization examples are presented, including linear and nonlinear compliance minimization, the design of a force inverter, and frequency and buckling load maximization. The approach is shown to be effective at producing optimized designs equivalent or nearly equivalent to those obtained without the element removal, while providing remarkable computational savings.


title: Multi-Layer Wind Velocity Field Visualization in Infrared Images of Clouds for Solar Irradiance Forecasting

abstract: The energy available in a solar energy powered grid is uncertain due to the weather conditions at the time of generation. Forecasting global solar irradiance could address this problem by providing the power grid with the capability of scheduling the storage and dispatch of energy. The occlusion of the Sun by clouds is the main cause of instabilities in the generation of solar energy. This investigation proposes a method to visualize the wind velocity field in sequences of longwave infrared images of clouds when there are multiple wind velocity fields in an image. This method can be used to forecast the occlusion of the Sun by clouds, providing stability in the generation of solar energy. Unsupervised learning is implemented to infer the distribution of the clouds' velocity vectors and heights in multiple wind velocity fields in an infrared image. A multi-output weighted support vector machine with flow constraints is used to extrapolate the wind velocity fields to the entire frame, visualizing the path of the clouds. The proposed method is capable of approximating the wind velocity field in a small air parcel using the velocity vectors and physical features of clouds extracted from infrared images. Assuming that the streamlines are pathlines, the visualization of the wind velocity field can be used for forecasting cloud occlusions of the Sun. This is of importance when considering ways of increasing the stability of solar energy generation.


title: Significance of Composition-Dependent Effects in Fifth-Force Searches

abstract: Indications of a possible composition-dependent fifth force, based on a reanalysis of the E\"{o}tv\"{o}s experiment, have not been supported by a number of modern experiments. Here, we argue that searching for a composition-dependent fifth force necessarily requires data from experiments in which the acceleration differences of three or more independent pairs of test samples of varying composition are determined. We suggest that a new round of fifth-force experiments is called for, in each of which three or more different pairs of samples are compared.


title: Bulk Electronic Structure of Lanthanum Hexaboride (LaB6) by Hard X-ray Angle-Resolved Photoelectron Spectroscopy

abstract: In the last decade rare-earth hexaborides have been investigated for their fundamental importance in condensed matter physics, and for their applications in advanced technological fields. Among these compounds, LaB$_6$ has a special place, being a traditional d-band metal without additional f- bands. In this paper we investigate the bulk electronic structure of LaB$_6$ using hard x-ray photoemission spectroscopy, measuring both core-level and angle-resolved valence-band spectra. By comparing La 3d core level spectra to cluster model calculations, we identify well-screened peak residing at a lower binding energy compared to the main poorly-screened peak; the relative intensity between these peaks depends on how strong the hybridization is between La and B atoms. We show that the recoil effect, negligible in the soft x-ray regime, becomes prominent at higher kinetic energies for lighter elements, such as boron, but is still negligible for heavy elements, such as lanthanum. In addition, we report the bulk-like band structure of LaB$_6$ determined by hard x-ray angle-resolved photoemission spectroscopy (HARPES). We interpret HARPES experimental results by the free-electron final-state calculations and by the more precise one-step photoemission theory including matrix element and phonon excitation effects. In addition, we consider the nature and the magnitude of phonon excitations in HARPES experimental data measured at different temperatures and excitation energies. We demonstrate that one step theory of photoemission and HARPES experiments provide, at present, the only approach capable of probing true bulk-like electronic band structure of rare-earth hexaborides and strongly correlated materials.


title: Monte-Carlo Methods for the Neutron Transport Equation

abstract: This paper continues our treatment of the Neutron Transport Equation (NTE) building on the work in [arXiv:1809.00827v2], [arXiv:1810.01779v4] and [arXiv:1901.00220v3], which describes the flux of neutrons through inhomogeneous fissile medium. Our aim is to analyse existing and novel Monte Carlo (MC) algorithms, aimed at simulating the lead eigenvalue associated with the underlying model. This quantity is of principal importance in the nuclear regulatory industry for which the NTE must be solved on complicated inhomogenous domains corresponding to nuclear reactor cores, irradiative hospital equipment, food irradiation equipment and so on. We include a complexity analysis of such MC algorithms, noting that no such undertaking has previously appeared in the literature. The new MC algorithms offer a variety of advantages and disadvantages of accuracy vs cost, as well as the possibility of more convenient computational parallelisation.


title: Hybrid Chaotic Method for Medical Images Ciphering

abstract: Healthcare is an essential application of e-services, where for diagnostic testing, medical imaging acquiring, processing, analysis, storage, and protection are used. Image ciphering during storage and transmission over the networks used has seen implemented using many types of ciphering algorithms for security purpose. Current cyphering algorithms are classified into two types: traditional classical cryptography using standard algorithms (DES, AES, IDEA, RC5, RSA, ...) and chaos cryptography using continuous (Chau, Rossler, Lorenz, ...) or discreet (Logistics, Henon, ...) algorithms. The traditional algorithms have struggled to combat image data as compared to regular textual data. Whereas, the chaotic algorithms are more efficient for image ciphering. The Significance characteristics of chaos are its extreme sensitivity to initial conditions and algorithm parameters. In this paper, medical image security based on hybrid/mixed chaotic algorithms is proposed. The proposed method is implemented using MATLAB. Where the image of the Retina of the Eye to detect Blood Vessels is ciphered. The Pseudo-Random Numbers Generators (PRNGs) from the different chaotic algorithms are implemented, and their statistical properties are evaluated using the National Institute of Standards and Technology NIST and other statistical test-suits. Then, these algorithms are used to secure the data, where the statistical properties of the cipher-text are also tested. We propose two PRNGs to increase the complexity of the PRNGs and to allow many of the NIST statistical tests to be passed: one based on two-hybrid mixed chaotic logistic maps and one based on two-hybrid mixed chaotic Henon maps, where each chaotic algorithm runs side-by-side and starts with random initial conditions and parameters (encryption keys). The resulting hybrid PRNGs passed many of the NIST statistical test suits.


title: Conglomerated filters, statistical measures, and representations by ultrafilters

abstract: Using a new concept of conglomerated filter we demonstrate in a purely combinatorial way that none of Erd\"{o}s-Ulam filters or summable filters can be generated by a single statistical measure and consequently they cannot be represented as intersections of countable families of ulrafilters. Minimal families of ultrafilters and their intersections are studied and several open questions are discussed.


title: On the contrast-dependence of crowding

abstract: Visual clutter affects our ability to see: objects that would be identifiable on their own, may become unrecognizable when presented close together ("crowding") -- but the psychophysical characteristics of crowding have resisted simplification. Image properties initially thought to produce crowding have paradoxically yielded unexpected results, e.g., adding flanking objects can ameliorate crowding (Manassi, Sayim et al., 2012; Herzog, Sayim et al., 2015; Pachai, Doerig et al., 2016). The resulting theory revisions have been sufficiently complex and specialized as to make it difficult to discern what principles may underlie the observed phenomena. A generalized formulation of simple visual contrast energy is presented, arising from straightforward analyses of center and surround neurons in the early visual stream. Extant contrast measures, such as RMS contrast, are easily shown to fall out as reduced special cases. The new generalized contrast energy metric surprisingly predicts the principal findings of a broad range of crowding studies. These early crowding phenomena may thus be said to arise predominantly from contrast, or are, at least, severely confounded by contrast effects. (These findings may be distinct from accounts of other, likely downstream, "configural" or "semantic" instances of crowding, suggesting at least two separate forms of crowding that may resist unification.) The new fundamental contrast energy formulation provides a candidate explanatory framework that addresses multiple psychophysical phenomena beyond crowding.


title: Toeplitz Matrices acting on the $\ell^2$-space of an imprimitivity bimodule

abstract: We give a definition of Toeplitz matrix acting on the $\ell^2$-space of an imprimitivity bimodule $X$ over a $C^*$-algebra $A$. We characterize the set of Toeplitz matrices as the closure in a certain topology of the image of the left regular representation of the crossed product $A\rtimes X$.


title: Some results on number theory and differential equations

abstract: In this work we state a Theorem on number theory and apply it to solve some ordinary and partial differential equations.


title: Propagation of chaos and large deviations in mean-field models with jumps on block-structured networks

abstract: A system of interacting multiclass finite-state jump processes is analyzed. The model under consideration consists of a block-structured network with dynamically changing multi-colors nodes. The interaction is local and described through local empirical measures. Two levels of heterogeneity are considered: between and within the blocks where the nodes are labeled into two types. The central nodes are those connected only to the nodes of the same block whereas the peripheral nodes are connected to both the nodes of the same block and to some nodes from other blocks. The limits of such systems as the number of particles tends to infinity are investigated. Under regularity conditions on the peripheral nodes, propagation of chaos and law of large numbers are established in a multi-population setting. In particular, it is shown that, as the number of nodes goes to infinity, the behavior of the different classes of nodes can be represented by the solution of a McKean-Vlasov system. Moreover, we prove large deviation principles for the vectors of empirical measures and the empirical processes.


title: On the quasiconvex hull for a three-well problem in two dimensional linear elasticity

abstract: We provide quantitative inner and outer bounds for the symmetric quasiconvex hull $Q^e(\mathcal{U})$ on linear strains generated by three-well sets $\mathcal{U}$ in $\mathbb{R}^{2\times 2}_{sym}$. In our study, we consider all possible compatible configurations for three wells and prove that if there exist two matrices in $\mathcal{U}$ that are rank-one compatible then $Q^e(\mathcal{U})$ coincides with its symmetric lamination convex hull $L^e(\mathcal{U})$. We complete this result by providing an explicit characterization of $L^e(\mathcal{U})$ in terms of the wells in $\mathcal{U}$. Finally, we discuss the optimality of our outer bound and its relationship with quadratic polyconvex functions.


title: Notes on $H^{\log} $: structural properties, dyadic variants, and bilinear $H^1$-$BMO$ mappings

abstract: This article is devoted to a study of the Hardy space $H^{\log} (\mathbb{R}^d)$ introduced by Bonami, Grellier, and Ky. We present an alternative approach to their result relating the product of a function in the real Hardy space $H^1$ and a function in $BMO$ to distributions that belong to $H^{\log}$ based on dyadic paraproducts. We also point out analogues of classical results of Hardy-Littlewood, Zygmund, and Stein for $H^{\log}$ and related Musielak-Orlicz spaces.


title: Low-Temperature 2D/2D Ohmic Contacts in WSe$_2$ Field-Effect Transistors as a Platform for the 2D Metal-Insulator Transition

abstract: We report the fabrication of hexagonal-boron-nitride (hBN) encapsulated multi-terminal WSe$_2$ Hall bars with 2D/2D low-temperature Ohmic contacts as a platform for investigating the two-dimensional (2D) metal-insulator transition. We demonstrate that the WSe$_2$ devices exhibit Ohmic behavior down to 0.25 K and at low enough excitation voltages to avoid current-heating effects. Additionally, the high-quality hBN-encapsulated WSe$_2$ devices in ideal Hall-bar geometry enable us to accurately determine the carrier density. Measurements of the temperature ($T$) and density ($n_s$) dependence of the conductivity $\sigma(T,n_s)$ demonstrate scaling behavior consistent with a metal-insulator quantum phase transition driven by electron-electron interactions, but where disorder-induced local magnetic moments are also present. Our findings pave the way for further studies of the fundamental quantum mechanical properties of 2D transition metal dichalcogenides using the same contact engineering.

categories: cond-mat.mes-hall cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.str-el


title: A Numerical Method to Compute Stability Margins of Switching Linear Systems

abstract: Stability margins for linear time-varying (LTV) and switched-linear systems are traditionally computed via quadratic Lyapunov functions, and these functions certify the stability of the system under study. In this work, we show how the more general class of homogeneous polynomial Lyapunov functions is used to compute stability margins with reduced conservatism, and we show how these Lyapunov functions aid in the search for periodic trajectories for marginally stable LTV systems. Our work is premised on the recent observation that the search for a homogeneous polynomial Lyapunov function for some LTV systems is easily encoded as the search for a quadratic Lyapunov function for a related LTV system, and our main contribution is an intuitive algorithm for generating upper and lower bounds on the system's stability margin. We show also how the worst-case switching scheme - which draws an LTV system closest to a periodic orbit - is generated. Three numerical examples are provided to aid the reader and demonstrate the theoretical contributions of the work.


title: Inductive Bias and Language Expressivity in Emergent Communication

abstract: Referential games and reconstruction games are the most common game types for studying emergent languages. We investigate how the type of the language game affects the emergent language in terms of: i) language compositionality and ii) transfer of an emergent language to a task different from its origin, which we refer to as language expressivity. With empirical experiments on a handcrafted symbolic dataset, we show that languages emerged from different games have different compositionality and further different expressivity.


title: One-bit feedback is sufficient for upper confidence bound policies

abstract: We consider a variant of the traditional multi-armed bandit problem in which each arm is only able to provide one-bit feedback during each pull based on its past history of rewards. Our main result is the following: given an upper confidence bound policy which uses full-reward feedback, there exists a coding scheme for generating one-bit feedback, and a corresponding decoding scheme and arm selection policy, such that the ratio of the regret achieved by our policy and the regret of the full-reward feedback policy asymptotically approaches one.


title: Multi-Source Data Fusion Outage Location in Distribution Systems via Probabilistic Graph Models

abstract: Efficient outage location is critical to enhancing the resilience of power distribution systems. However, accurate outage location requires combining massive evidence received from diverse data sources, including smart meter (SM) last gasp signals, customer trouble calls, social media messages, weather data, vegetation information, and physical parameters of the network. This is a computationally complex task due to the high dimensionality of data in distribution grids. In this paper, we propose a multi-source data fusion approach to locate outage events in partially observable distribution systems using Bayesian networks (BNs). A novel aspect of the proposed approach is that it takes multi-source evidence and the complex structure of distribution systems into account using a probabilistic graphical method. Our method can radically reduce the computational complexity of outage location inference in high-dimensional spaces. The graphical structure of the proposed BN is established based on the network's topology and the causal relationship between random variables, such as the states of branches/customers and evidence. Utilizing this graphical model, accurate outage locations are obtained by leveraging a Gibbs sampling (GS) method, to infer the probabilities of de-energization for all branches. Compared with commonly-used exact inference methods that have exponential complexity in the size of the BN, GS quantifies the target conditional probability distributions in a timely manner. A case study of several real-world distribution systems is presented to validate the proposed method.


title: Wetting behavior of a colloidal particle trapped at a composite liquid-vapor interface of a binary liquid mixture

abstract: A partially miscible binary liquid mixture, composed of A and B particles, is considered theoretically under conditions for which a stable A-rich liquid phase is in thermal equilibrium with the vapor phase. The B-rich liquid is metastable. The liquids and the thermodynamic conditions are chosen such, that the interface between the A-rich liquid and the vapor contains an intervening wetting film of the B-rich phase. In order to obtain information about the large-scale fluid structure around a colloidal particle, which is trapped at such a composite liquid-vapor interface, three related and linked wetting phenomena at planar liquid-vapor, wall-liquid, and wall-vapor interfaces are studied analytically, using classical density functional theory in conjunction with the sharp-kink approximation for the number density profiles of the A and B particles. If in accordance with the so-called mixing rule the strength of the A-B interaction is given by the geometric mean of the strengths of the A-A and B-B interactions, and similarly the ratio between the wall-A and the wall-B interaction, the scenario, in which the colloid is enclosed by a film of the B-rich liquid, can be excluded. Up to six distinct wetting scenarios are possible, if the above mixing rules for the fluid-wall and for the fluid-fluid interactions are relaxed. The way the space of system parameters is divided into domains corresponding to the six scenarios, and which of the domains actually appear, depends on the signs of the deviations from the mixing rule prescriptions. Relevant domains emerge, if the ratio between the strengths of the wall-A and the wall-B interactions is reduced as compared to the mixing rule prescription, or if the strength of the A-B interaction is increased to values above the one from the mixing rule prescription. The range, within which the contact angle may vary inside the various domains, is also studied.


title: Revealing the Nanostructure of Mesoporous Fuel Cell Catalyst Supports for Durable, High-Power Performance

abstract: Achieving high power performance and durability with low Pt loadings are critical challenges for proton exchange membrane fuel cells. PtCo catalysts developed on new carbon black supports show promise by simultaneously providing good oxygen reduction kinetics and local oxygen transport. We investigate the role of nanoscale morphology in the performance of these catalysts supported on accessible (HSC-e and HSC-f) and conventional (Ketjen Black) porous carbons using 3D electron tomography, nitrogen sorption, and electrochemical performance measurements. We find that the accessible porous carbons have hollow interiors with mesopores that are larger and more numerous than conventional porous carbons. However, mesopore-sized openings (>2nm width) are too rare to account for significant oxygen transport. Instead we propose the primary oxygen transport pathway into the interior is through 1-2nm microporous channels permeating the carbon. The increased mesoporosity in the accessible porous carbons results in a shorter diffusion pathlength through constrictive, tortuous micropores in the support shell leading to lower local oxygen transport resistance. In durability testing, the accessible porous carbons show faster rates of electrochemical surface area loss, likely from fewer constrictive pores that would mitigate coarsening, but maintain superior high current density performance at end of life from the improved local oxygen transport.


title: A Hierarchical Deep Actor-Critic Learning Method for Joint Distribution System State Estimation

abstract: Due to increasing penetration of volatile distributed photovoltaic (PV) resources, real-time monitoring of customers at the grid-edge has become a critical task. However, this requires solving the distribution system state estimation (DSSE) jointly for both primary and secondary levels of distribution grids, which is computationally complex and lacks scalability to large systems. To achieve near real-time solutions for DSSE, we present a novel hierarchical reinforcement learning-aided framework: at the first layer, a weighted least squares (WLS) algorithm solves the DSSE over primary medium-voltage feeders; at the second layer, deep actor-critic (A-C) modules are trained for each secondary transformer using measurement residuals to estimate the states of low-voltage circuits and capture the impact of PVs at the grid-edge. While the A-C parameter learning process takes place offline, the trained A-C modules are deployed online for fast secondary grid state estimation; this is the key factor in scalability and computational efficiency of the framework. To maintain monitoring accuracy, the two levels exchange boundary information with each other at the secondary nodes, including transformer voltages (first layer to second layer) and active/reactive total power injection (second layer to first layer). This interactive information passing strategy results in a closed-loop structure that is able to track optimal solutions at both layers in few iterations. Moreover, our model can handle the topology changes using the Jacobian matrices of the first layer. We have performed numerical experiments using real utility data and feeder models to verify the performance of the proposed framework.


title: Terahertz Electrodynamics of Mixed-Valent YbAl$_3$ and LuAl$_3$ Thin Films

abstract: We present THz measurements of thin films of mixed-valent YbAl$_3$ and its structural analogue LuAl$_3$. Combined with traditional Fourier transform infrared (FTIR) spectroscopy, the extended Drude formalism is utilized to study the low-frequency transport of these materials. We find that LuAl$_3$ demonstrates conventional Drude transport whereas at low temperatures YbAl$_3$ demonstrates a sharply renormalized Drude peak and a mid-infrared (MIR) peak in the conductivity, indicative of the formation of a heavy Fermi liquid. In YbAl$_3$ the extended Drude framework shows a consistency of the scattering rate with Fermi-liquid behavior below $T < 40$ K and a moderate mass enhancement. While a $\omega^2$ Fermi liquid-like frequency dependence is not clearly exhibited, the temperature dependence of the Drude scattering rate and effective mass is consistent with the formation of a low-temperature moderately heavy Fermi liquid, albeit one with a smaller mass than observed in single crystals. The extended Drude analysis also supports a slow crossover between the Fermi liquid state and the normal state in YbAl$_3$.


title: Bounds for the Minimum Distance Function

abstract: Let $I$ be a homogeneous ideal in a polynomial ring $S$. In this paper, we extend the study of the asymptotic behavior of the minimum distance function $\delta_I$ of $I$ and give bounds for its stabilization point, $r_I$, when $I$ is an $F$-pure or a square-free monomial ideal. These bounds are related with the dimension and the Castelnuovo--Mumford regularity of $I$.


title: Branching polytopes for classical Lie algebras over $A_{n-1}$

abstract: We describe the branching of Lie algebras of classical type over $A_{n-1}$ using an inductive approach, which was motivated by the work of Gornitskii. This allows us to label the highest weight vectors of the modules occurring in the decomposition of the restriction of a finite-dimensional simple module to $A_{n-1}$ by lattice points of a string or a Lusztig polytope.


title: Reconstruction and identification of $H\to WW^*$ with high transverse momentum in the full hadronic final state

abstract: This Letter presents a study of the reconstruction and identification of $H\to WW^*$ with high transverse momentum, where both $W^{(*)}$ bosons decay hadronically. We show that the boosted $H\to WW^*$ can be effectively reconstructed as a single jet and identified using jet substructures in the center-of-mass frame of the jet. Such a reconstruction and identification approach can discriminate the boosted $H\to WW^*$ in the full hadronic final state from QCD jets. This result will significantly improve experimental sensitivities of searches for potential new physics phenomena beyond the standard model in final states containing highly boosted Higgs bosons.


title: Verifiable Proof of Health using Public Key Cryptography

abstract: In the current pandemic, testing continues to be the most important tool for monitoring and curbing the disease spread and early identification of the disease to perform health-related interventions like quarantine, contact tracing and etc. Therefore, the ability to verify the testing status is pertinent as public places prepare to safely open. Recent advances in cryptographic tools have made it possible to build a secure and resilient digital-id system. In this work, we propose to build an end to end COVID-19 results verification protocol that takes privacy, computation, and other practical concerns into account for designing an inter-operable layer of testing results verification system that could potentially enable less stringent and more selective lockdowns. We also discuss various concerns encompassing the security, privacy, ethics and equity aspect of the proposed system.


title: A category theory approach using preradicals to model information flows in networks

abstract: Category theory has been recently used as a tool for constructing and modeling an information flow framework. Here, we show that the flow of information can be described using preradicals. We prove that preradicals generalize the notion of persistence in spaces where the underlying structure forms a directed acyclic graph. We show that a particular $\alpha$ preradical describes the persistence of a commutative $G$-module associated with a directed acyclic graph. Furthermore, given how preradicals are defined, they are able to preserve the modeled system's underlying structure. This allows us to generalize the notions of standard persistence, zigzag persistence, and multidirectional persistence.


title: Integral formula for the Bessel function of the first kind

abstract: In this paper, we prove a new integral representation for the Bessel function of the first kind $J_\mu(z)$. This formula generalizes to any $\mu,z\in\mathbb{C}$ the classical representations of Bessel and Poisson.


title: The Secretary Problem with Distributions

abstract: We study a variant of the secretary problem where candidates come from independent, not necessarily identical distributions known to us, and show that we can do at least as well as in the IID setting. This resolves a conjecture of Esfandiari et al.


title: Hybrid Beamforming for mm-Wave Massive MIMO Systems with Partially Connected RF Architecture

abstract: To satisfy the capacity requirements of future mobile systems, under-utilized millimeter wave frequencies can be efficiently exploited by employing massive MIMO technology with highly directive beamforming. Hybrid analog-digital beamforming has been recognised as a promising approach for large-scale MIMO implementations with a reduced number of costly and power-hungry RF chains. In comparison to fully connected architecture, hybrid beamforming (HBF) with partially connected RF architecture is particularly appealing for the practical implementation due to less complex RF power division and combining networks. In this paper, we first formulate single- and multi-user rate maximization problems as weighted minimum mean square error (WMMSE) and derive solutions for hybrid beamformers using alternating optimization. The algorithms are designed for the full-array- and sub-array-based processing strategies of partially connected HBF architecture. In addition to the rate maximizing WMMSE solutions, we propose lower complexity sub-array-based zero-forcing algorithms. The performance of the proposed algorithms is evaluated in two different channel models, i.e., a simple geometric model and a realistic statistical millimeter wave model known as NYUSIM. The performance results of the WMMSE HBF algorithms are meant to reveal the potential of partially connected HBF and serve as upper bounds for lower complexity methods. Numerical results imply that properly designed partially connected HBF has the potential to provide an good compromise between hardware complexity and system performance in comparison to fully digital beamforming.


title: Towards a Domain Specific Solution for a New Generation of Wireless Modems

abstract: Wireless cellular System on Chip (SoC) are experiencing unprecedented demands on data rate, latency use case variety. 5G wireless technologies require a massive number of antennas and complex signal processing to improve bandwidth and spectral efficiency. The Internet of Things is causing a proliferation in the number of connected devices, and service categories, such as ultra-reliable low latency, which will produce new use cases, such as self-driving cars, robotic factories, and remote surgery. In addressing these challenges, we can no longer rely on faster cores, or even more silicon. Modem software development is becoming increasingly error prone and difficult as the complexity of the applications and the architectures increase. In this report we propose a Wireless Domain Specific Solution that takes a Dataflow acceleration approach and addresses the need of the SoC to support dataflows that change with use case and user activity, while maintaining the Firm Real Time High Availability with low probability of Heisenbugs that is required in cellular modems. We do this by developing a Domain Specific Architecture that describes the requirements in a suitably abstracted dataflow Domain Specific language. A toolchain is described that automates translation of those requirements in an efficient and robust manner and provides formal guarantees against Heisenbugs. The dataflow native DSA supports the toolchain output with specialized processing, data management and control features with high performance and low power, and recovers rapidly from dropped dataflows while continuing to achieve the real time requirements. This report focuses on the dataflow acceleration in the DSA and the part of the automated toolchain that formally checks the performance and correctness of software running on this dataflow hardware. Results are presented and a summary of future work is given.


title: Review: Deep Learning Methods for Cybersecurity and Intrusion Detection Systems

abstract: As the number of cyber-attacks is increasing, cybersecurity is evolving to a key concern for any business. Artificial Intelligence (AI) and Machine Learning (ML) (in particular Deep Learning - DL) can be leveraged as key enabling technologies for cyber-defense, since they can contribute in threat detection and can even provide recommended actions to cyber analysts. A partnership of industry, academia, and government on a global scale is necessary in order to advance the adoption of AI/ML to cybersecurity and create efficient cyber defense systems. In this paper, we are concerned with the investigation of the various deep learning techniques employed for network intrusion detection and we introduce a DL framework for cybersecurity applications.


title: On the Top-Weight Rational Cohomology of $A_g$

abstract: We compute the top-weight rational cohomology of $A_g$ for $g=5$, $6$, and $7$, and we give some vanishing results for the top-weight rational cohomology of $A_8, A_9,$ and $ A_{10}$. When $g=5$ and $g=7$, we exhibit nonzero cohomology groups of $A_g$ in odd degree, thus answering a question highlighted by Grushevsky. Our methods develop the relationship between the top-weight cohomology of $A_g$ and the homology of the link of the moduli space of principally polarized tropical abelian varieties of rank $g$. To compute the latter we use the Voronoi complexes used by Elbaz-Vincent-Gangl-Soul\'e. Our computations give natural candidates for compactly supported cohomology classes of $A_g$ in weight $0$ that produce the stable cohomology classes of the Satake compactification of $A_g$ in weight $0$, under the Gysin spectral sequence for the latter space.


title: Non-quasi-linear Agents in Quasi-linear Mechanisms

abstract: Mechanisms with money are commonly designed under the assumption that agents are quasi-linear, meaning they have linear disutility for spending money. We study the implications when agents with non-linear (specifically, convex) disutility for payments participate in mechanisms designed for quasi-linear agents. We first show that any mechanism that is truthful for quasi-linear buyers has a simple best response function for buyers with non-linear disutility from payments, in which each bidder simply scales down her value for each potential outcome by a fixed factor, equal to her target return on investment (ROI). We call such a strategy ROI-optimal. We prove the existence of a Nash equilibrium in which agents use ROI-optimal strategies for a general class of allocation problems. Motivated by online marketplaces, we then focus on simultaneous second-price auctions for additive bidders and show that all ROI-optimal equilibria in this setting achieve constant-factor approximations to suitable welfare and revenue benchmarks.


title: Thermal and hard scales in transverse momentum distributions, fluctuations and entanglement

abstract: We analyze the transverse momentum distributions of pp, pPb, XeXe and PbPb collisions at different RHIC and LHC energies and centralities as well as the corresponding distributions for Higgs production decaying into $\gamma\gamma$ and 4l. A simple linear relation is found between the effective thermal temperature and the hard scale, approximately valid for all processes and mainly determined by the hard scale fluctuations. In order to go further, it is shown that the whole spectrum of pp collisions can be described by a single function showing that the thermal temperature is determined solely by the hard scale and its fluctuations. The possible relation between the multiplicities of the soft and hard scales is explored.


title: Local Extreme Learning Machines and Domain Decomposition for Solving Linear and Nonlinear Partial Differential Equations

abstract: We present a neural network-based method for solving linear and nonlinear partial differential equations, by combining the ideas of extreme learning machines (ELM), domain decomposition and local neural networks. The field solution on each sub-domain is represented by a local feed-forward neural network, and $C^k$ continuity is imposed on the sub-domain boundaries. Each local neural network consists of a small number of hidden layers, while its last hidden layer can be wide. The weight/bias coefficients in all hidden layers of the local neural networks are pre-set to random values and are fixed, and only the weight coefficients in the output layers are training parameters. The overall neural network is trained by a linear or nonlinear least squares computation, not by the back-propagation type algorithms. We introduce a block time-marching scheme together with the presented method for long-time dynamic simulations. The current method exhibits a clear sense of convergence with respect to the degrees of freedom in the neural network. Its numerical errors typically decrease exponentially or nearly exponentially as the number of degrees of freedom increases. Extensive numerical experiments have been performed to demonstrate the computational performance of the presented method. We compare the current method with the deep Galerkin method (DGM) and the physics-informed neural network (PINN) in terms of the accuracy and computational cost. The current method exhibits a clear superiority, with its numerical errors and network training time considerably smaller (typically by orders of magnitude) than those of DGM and PINN. We also compare the current method with the classical finite element method (FEM). The computational performance of the current method is on par with, and oftentimes exceeds, the FEM performance.

categories: math.NA cs.LG cs.NA physics.comp-ph physics.flu-dyn


title: Experimental Implementation of an Adaptive Digital Autopilot

abstract: This paper develops an adaptive digital autopilot for quadcopters and presents experimental results. The adaptive digital autopilot is constructed by augmenting the PX4 autopilot control system architecture with adaptive digital control laws based on retrospective cost adaptive control (RCAC). In order to investigate the performance of the adaptive digital autopilot, the default gains of the fixed-gain autopilot are scaled by a small factor, which severely degrades its performance. This scenario thus provides a venue for determining the ability of the adaptive digital autopilot to compensate for the detuned fixed-gain autopilot. The adaptive digital autopilot is tested in simulation and physical flight tests, and the resulting performance improvements are examined.


title: Discovering Underground Maps from Fashion

abstract: The fashion sense -- meaning the clothing styles people wear -- in a geographical region can reveal information about that region. For example, it can reflect the kind of activities people do there, or the type of crowds that frequently visit the region (e.g., tourist hot spot, student neighborhood, business center). We propose a method to automatically create underground neighborhood maps of cities by analyzing how people dress. Using publicly available images from across a city, our method finds neighborhoods with a similar fashion sense and segments the map without supervision. For 37 cities worldwide, we show promising results in creating good underground maps, as evaluated using experiments with human judges and underground map benchmarks derived from non-image data. Our approach further allows detecting distinct neighborhoods (what is the most unique region of LA?) and answering analogy questions between cities (what is the "Downtown LA" of Bogota?).


title: Learning Interpretable Concept-Based Models with Human Feedback

abstract: Machine learning models that first learn a representation of a domain in terms of human-understandable concepts, then use it to make predictions, have been proposed to facilitate interpretation and interaction with models trained on high-dimensional data. However these methods have important limitations: the way they define concepts are not inherently interpretable, and they assume that concept labels either exist for individual instances or can easily be acquired from users. These limitations are particularly acute for high-dimensional tabular features. We propose an approach for learning a set of transparent concept definitions in high-dimensional tabular data that relies on users labeling concept features instead of individual instances. Our method produces concepts that both align with users' intuitive sense of what a concept means, and facilitate prediction of the downstream label by a transparent machine learning model. This ensures that the full model is transparent and intuitive, and as predictive as possible given this constraint. We demonstrate with simulated user feedback on real prediction problems, including one in a clinical domain, that this kind of direct feedback is much more efficient at learning solutions that align with ground truth concept definitions than alternative transparent approaches that rely on labeling instances or other existing interaction mechanisms, while maintaining similar predictive performance.


title: Automated Calibration of Mobile Cameras for 3D Reconstruction of Mechanical Pipes

abstract: This manuscript provides a new framework for calibration of optical instruments, in particular mobile cameras, using large-scale circular black and white target fields. New methods were introduced for (i) matching targets between images; (ii) adjusting the systematic eccentricity error of target centers; and (iii) iteratively improving the calibration solution through a free-network self-calibrating bundle adjustment. It was observed that the proposed target matching effectively matched circular targets in 270 mobile phone images from a complete calibration laboratory with robustness to Type II errors. The proposed eccentricity adjustment, which requires only camera projective matrices from two views, behaved synonymous to available closed-form solutions, which require several additional object space target information a priori. Finally, specifically for the case of the mobile devices, the calibration parameters obtained using our framework was found superior compared to in-situ calibration for estimating the 3D reconstructed radius of a mechanical pipe (approximately 45% improvement).


title: Run-and-tumble motion: field theory and entropy production

abstract: Run-and-tumble motion is an example of active motility where particles move at constant speed and change direction at random times. In this work we study run-and-tumble motion with diffusion in a harmonic potential in one dimension via a path integral approach. We derive a Doi-Peliti field theory and use it to calculate the entropy production and other observables in closed form. All our results are exact.


title: Near-Optimal Procedures for Model Discrimination with Non-Disclosure Properties

abstract: Let $\theta_0,\theta_1 \in \mathbb{R}^d$ be the population risk minimizers associated to some loss $\ell:\mathbb{R}^d\times \mathcal{Z}\to\mathbb{R}$ and two distributions $\mathbb{P}_0,\mathbb{P}_1$ on $\mathcal{Z}$. The models $\theta_0,\theta_1$ are unknown, and $\mathbb{P}_0,\mathbb{P}_1$ can be accessed by drawing i.i.d samples from them. Our work is motivated by the following model discrimination question: "What sizes of the samples from $\mathbb{P}_0$ and $\mathbb{P}_1$ allow to distinguish between the two hypotheses $\theta^*=\theta_0$ and $\theta^*=\theta_1$ for given $\theta^*\in\{\theta_0,\theta_1\}$?" Making the first steps towards answering it in full generality, we first consider the case of a well-specified linear model with squared loss. Here we provide matching upper and lower bounds on the sample complexity as given by $\min\{1/\Delta^2,\sqrt{r}/\Delta\}$ up to a constant factor; here $\Delta$ is a measure of separation between $\mathbb{P}_0$ and $\mathbb{P}_1$ and $r$ is the rank of the design covariance matrix. We then extend this result in two directions: (i) for general parametric models in asymptotic regime; (ii) for generalized linear models in small samples ($n\le r$) under weak moment assumptions. In both cases we derive sample complexity bounds of a similar form while allowing for model misspecification. In fact, our testing procedures only access $\theta^*$ via a certain functional of empirical risk. In addition, the number of observations that allows us to reach statistical confidence does not allow to "resolve" the two models $-$ that is, recover $\theta_0,\theta_1$ up to $O(\Delta)$ prediction accuracy. These two properties allow to use our framework in applied tasks where one would like to $\textit{identify}$ a prediction model, which can be proprietary, while guaranteeing that the model cannot be actually $\textit{inferred}$ by the identifying agent.


title: A stochastic SPOD-Galerkin model for broadband turbulent flows

abstract: The use of spectral proper orthogonal decomposition (SPOD) to construct low-order models for broadband turbulent flows is explored. The choice of SPOD modes as basis vectors is motivated by their optimality and space-time coherence properties for statistically stationary flows. This work follows the modeling paradigm that complex nonlinear fluid dynamics can be approximated as stochastically forced linear systems. The proposed stochastic two-level SPOD-Galerkin model governs a compound state consisting of the modal expansion coefficients and forcing coefficients. In the first level, the modal expansion coefficients are advanced by the forced linearized Navier-Stokes operator under the linear time-invariant assumption. The second level governs the forcing coefficients, which compensate for the offset between the linear approximation and the true state. At this level, least squares regression is used to achieve closure by modeling nonlinear interactions between modes. The statistics of the remaining residue are used to construct a dewhitening filter that facilitates the use of white noise to drive the model. If the data residue is used as the sole input, the model accurately recovers the original flow trajectory for all times. If the residue is modeled as stochastic input, then the model generates surrogate data that accurately reproduces the second-order statistics and dynamics of the original data. The stochastic model uncertainty, predictability, and stability are quantified analytically and through Monte Carlo simulations. The model is demonstrated on large eddy simulation data of a turbulent jet at Mach number $M=0.9$ and Reynolds number of $Re_D\approx 10^6$.


title: Joint Estimation of Image Representations and their Lie Invariants

abstract: Images encode both the state of the world and its content. The former is useful for tasks such as planning and control, and the latter for classification. The automatic extraction of this information is challenging because of the high-dimensionality and entangled encoding inherent to the image representation. This article introduces two theoretical approaches aimed at the resolution of these challenges. The approaches allow for the interpolation and extrapolation of images from an image sequence by joint estimation of the image representation and the generators of the sequence dynamics. In the first approach, the image representations are learned using probabilistic PCA \cite{tipping1999probabilistic}. The linear-Gaussian conditional distributions allow for a closed form analytical description of the latent distributions but assumes the underlying image manifold is a linear subspace. In the second approach, the image representations are learned using probabilistic nonlinear PCA which relieves the linear manifold assumption at the cost of requiring a variational approximation of the latent distributions. In both approaches, the underlying dynamics of the image sequence are modelled explicitly to disentangle them from the image representations. The dynamics themselves are modelled with Lie group structure which enforces the desirable properties of smoothness and composability of inter-image transformations.


title: A Knowledge Driven Approach to Adaptive Assistance Using Preference Reasoning and Explanation

abstract: There is a need for socially assistive robots (SARs) to provide transparency in their behavior by explaining their reasoning. Additionally, the reasoning and explanation should represent the user's preferences and goals. To work towards satisfying this need for interpretable reasoning and representations, we propose the robot uses Analogical Theory of Mind to infer what the user is trying to do and uses the Hint Engine to find an appropriate assistance based on what the user is trying to do. If the user is unsure or confused, the robot provides the user with an explanation, generated by the Explanation Synthesizer. The explanation helps the user understand what the robot inferred about the user's preferences and why the robot decided to provide the assistance it gave. A knowledge-driven approach provides transparency to reasoning about preferences, assistance, and explanations, thereby facilitating the incorporation of user feedback and allowing the robot to learn and adapt to the user.


title: A15 Nb$_3$Si -- A "high" Tc superconductor synthesized at a pressure of one megabar and metastable at ambient conditions

abstract: A15 Nb$_3$Si is, until now, the only high temperature superconductor produced at high pressure (~110 GPa) that has been successfully brought back to room pressure conditions in a metastable condition. Based on the current great interest in trying to create metastable-at-room-pressure high temperature superconductors produced at high pressure, we have restudied explosively compressed A15 Nb$_3$Si and its production from tetragonal Nb$_3$Si. First, diamond anvil cell pressure measurements up to 88 GPa were performed on explosively compressed A15 Nb$_3$Si material to trace Tc as a function of pressure. Tc is suppressed to ~ 5.2 K at 88 GPa. Then, using these Tc (P) data for A15 Nb$_3$Si, pressures up to 92 GPa were applied at room temperature (which increased to 120 GPa at 5 K) on tetragonal Nb$_3$Si. Measurements of the resistivity gave no indication of any A15 structure production, i.e., no indications of the superconductivity characteristic of A15 Nb$_3$Si. This is in contrast to the explosive compression (up to P~110 GPa) of tetragonal Nb$_3$Si, which produced 50-70% A15 material, Tc = 18 K at ambient pressure, in a 1981 Los Alamos National Laboratory experiment. Our theoretical calculations show that A15 Nb$_3$Si has an enthalpy vs the tetragonal structure that is 0.07 eV/atom smaller at 100 GPa, implying that the accompanying high temperature (1000 deg C) caused by explosive compression is necessary to successfully drive the reaction kinetics of the tetragonal -> A15 Nb$_3$Si structural transformation. Annealing experiments on the A15 explosively compressed material reaching time scales of 39 years are consistent with this viewpoint.


title: Driver Glance Classification In-the-wild: Towards Generalization Across Domains and Subjects

abstract: Distracted drivers are dangerous drivers. Equipping advanced driver assistance systems (ADAS) with the ability to detect driver distraction can help prevent accidents and improve driver safety. In order to detect driver distraction, an ADAS must be able to monitor their visual attention. We propose a model that takes as input a patch of the driver's face along with a crop of the eye-region and classifies their glance into 6 coarse regions-of-interest (ROIs) in the vehicle. We demonstrate that an hourglass network, trained with an additional reconstruction loss, allows the model to learn stronger contextual feature representations than a traditional encoder-only classification module. To make the system robust to subject-specific variations in appearance and behavior, we design a personalized hourglass model tuned with an auxiliary input representing the driver's baseline glance behavior. Finally, we present a weakly supervised multi-domain training regimen that enables the hourglass to jointly learn representations from different domains (varying in camera type, angle), utilizing unlabeled samples and thereby reducing annotation cost.


title: Depth estimation on embedded computers for robot swarms in forest

abstract: Robot swarms to date are not prepared for autonomous navigation such as path planning and obstacle detection in forest floor, unable to achieve low-cost. The development of depth sensing and embedded computing hardware paves the way for swarm of terrestrial robots. The goal of this research is to improve this situation by developing low cost vision system for small ground robots to rapidly perceive terrain. We develop two depth estimation models and evaluate their performance on Raspberry Pi 4 and Jetson Nano in terms of accuracy, runtime and model size of depth estimation models, as well as memory consumption, power draw, temperature, and cost of above two embedded on-board computers. Our research demonstrated that auto-encoder network deployed on Raspberry Pi 4 runs at a power consumption of 3.4 W, memory consumption of about 200 MB, and mean runtime of 13 ms. This can be to meet our requirement for low-cost swarm of robots. Moreover, our analysis also indicated multi-scale deep network performs better for predicting depth map from blurred RGB images caused by camera motion. This paper mainly describes depth estimation models trained on our own dataset recorded in forest, and their performance on embedded on-board computers.


title: Rates of Convergence in Periodic Homogenization of Nonlocal Hamilton-Jacobi-Bellman Equations

abstract: In this paper we provide a rate of convergence for periodic homogenization of Hamilton-Jacobi-Bellman equations with nonlocal diffusion. The result is based on the regularity of the associated effective problem, where the convexity plays a crucial role. Such regularity estimates are possible from the available literature once we provide a representation formula for the effective Hamiltonian, a result that has an independent interest.


title: What Makes a "Good" Data Augmentation in Knowledge Distillation -- A Statistical Perspective

abstract: Knowledge distillation (KD) is a general neural network training approach that uses a teacher model to guide the student model. Existing works mainly study KD from the network output side (e.g., trying to design a better KD loss function), while few have attempted to understand it from the input side. Especially, its interplay with data augmentation (DA) has not been well understood. In this paper, we ask: Why do some DA schemes (e.g., CutMix) inherently perform much better than others in KD? What makes a "good" DA in KD? Our investigation from a statistical perspective suggests that a good DA scheme should reduce the covariance of the teacher-student cross-entropy. A practical metric, the stddev of teacher's mean probability (T. stddev), is further presented and well justified empirically. Besides the theoretical understanding, we also introduce a new entropy-based data-mixing DA scheme, CutMixPick, to further enhance CutMix. Extensive empirical studies support our claims and demonstrate how we can harvest considerable performance gains simply by using a better DA scheme in knowledge distillation.


title: Cosine-Pruned Medial Axis: A new method for isometric equivariant and noise-free medial axis extraction

abstract: We present the CPMA, a new method for medial axis pruning with noise robustness and equivariance to isometric transformations. Our method leverages the discrete cosine transform to create smooth versions of a shape $\Omega$. We use the smooth shapes to compute a score function $\scorefunction$ that filters out spurious branches from the medial axis. We extensively compare the CPMA with state-of-the-art pruning methods and highlight our method's noise robustness and isometric equivariance. We found that our pruning approach achieves competitive results and yields stable medial axes even in scenarios with significant contour perturbations.


title: Multi-head Knowledge Distillation for Model Compression

abstract: Several methods of knowledge distillation have been developed for neural network compression. While they all use the KL divergence loss to align the soft outputs of the student model more closely with that of the teacher, the various methods differ in how the intermediate features of the student are encouraged to match those of the teacher. In this paper, we propose a simple-to-implement method using auxiliary classifiers at intermediate layers for matching features, which we refer to as multi-head knowledge distillation (MHKD). We add loss terms for training the student that measure the dissimilarity between student and teacher outputs of the auxiliary classifiers. At the same time, the proposed method also provides a natural way to measure differences at the intermediate layers even though the dimensions of the internal teacher and student features may be different. Through several experiments in image classification on multiple datasets we show that the proposed method outperforms prior relevant approaches presented in the literature.


title: Ergodic inventory control with diffusion demand and general ordering costs

abstract: In this work, we consider a continuous-time inventory system where the demand process follows an inventory-dependent diffusion process. The ordering cost of each order depends on the order quantity and is given by a general function, which is not even necessarily continuous and monotone. By applying a lower bound approach together with a comparison theorem, we show the global optimality of an $(s,S)$ policy for this ergodic inventory control problem.


title: Sketch & Project Methods for Linear Feasibility Problems: Greedy Sampling & Momentum

abstract: We develop two greedy sampling rules for the Sketch & Project method for solving linear feasibility problems. The proposed greedy sampling rules generalize the existing max-distance sampling rule and uniform sampling rule and generate faster variants of Sketch & Project methods. We also introduce greedy capped sampling rules that improve the existing capped sampling rules. Moreover, we incorporate the so-called heavy ball momentum technique to the proposed greedy Sketch & Project method. By varying the parameters such as sampling rules, sketching vectors; we recover several well-known algorithms as special cases, including Randomized Kaczmarz (RK), Motzkin Relaxation (MR), Sampling Kaczmarz Motzkin (SKM). We also obtain several new methods such as Randomized Coordinate Descent, Sampling Coordinate Descent, Capped Coordinate Descent, etc. for solving linear feasibility problems. We provide global linear convergence results for both the basic greedy method and the greedy method with momentum. Under weaker conditions, we prove $\mathcal{O}(\frac{1}{k})$ convergence rate for the Cesaro average of sequences generated by both methods. We extend the so-called certificate of feasibility result for the proposed momentum method that generalizes several existing results. To back up the proposed theoretical results, we carry out comprehensive numerical experiments on randomly generated test instances as well as sparse real-world test instances. The proposed greedy sampling methods significantly outperform the existing sampling methods. And finally, the momentum variants designed in this work extend the computational performance of the Sketch & Project methods for all of the sampling rules.


title: Robustness on Networks

abstract: We adopt the statistical framework on robustness proposed by Watson and Holmes in 2016 and then tackle the practical challenges that hinder its applicability to network models. The goal is to evaluate how the quality of an inference for a network feature degrades when the assumed model is misspecified. Decision theory methods aimed to identify model missespecification are applied in the context of network data with the goal of investigating the stability of optimal actions to perturbations to the assumed model. Here the modified versions of the model are contained within a well defined neighborhood of model space. Our main challenge is to combine stochastic optimization and graph limits tools to explore the model space. As a result, a method for robustness on exchangeable random networks is developed. Our approach is inspired by recent developments in the context of robustness and recent works in the robust control, macroeconomics and financial mathematics literature and more specifically and is based on the concept of graphon approximation through its empirical graphon.


title: Bridging particle deformability and collective response in soft solids

abstract: Soft, amorphous solids such as tissues, foams, and emulsions are composed of deformable particles. However, the effect of single-particle deformability on the collective behavior of soft solids is still poorly understood. We perform numerical simulations of two-dimensional jammed packings of explicitly deformable particles to study the mechanical response of model soft solids. We find that jammed packings of deformable particles with excess shape degrees of freedom possess low-frequency quartic vibrational modes that stabilize the packings even though they possess fewer interparticle contacts than the nominal isostatic value. Adding intra-particle constraints can rigidify the particles, but these particles undergo a buckling transition and gain an effective shape degree of freedom when their preferred perimeter is above a threshold value. We find that the mechanical response of jammed packings of deformable particles with shape degrees of freedom differs significantly from that of jammed packings of rigid-shape particles, which emphasizes the importance of particle deformability in modelling soft solids.


title: A Refined Study of the Complexity of Binary Networked Public Goods Games

abstract: We study the complexity of several combinatorial problems in the model of binary networked public goods games. In this game, players are represented by vertices in a network, and the action of each player can be either investing or not investing in a public good. The payoff of each player is determined by the number of neighbors who invest and her own action. We study the complexity of computing action profiles that are Nash equilibrium, and those that provide the maximum utilitarian or egalitarian social welfare. We show that these problems are generally NP-hard but become polynomial-time solvable when the given network is restricted to some special domains, including networks with a constant bounded treewidth, and those whose critical clique graphs are forests.


title: Abelian Log Fundamental Group scheme

abstract: Let $S$ be a connected Dedekind scheme and $X$ be a proper smooth connected scheme over $S$ . Let $D$ a divisor with no multiplicity of $X$ such that the irreducible components of $D$ and as well their intersections are smooth over $S$. Now if we endow $X$ with the log structure associated with $D$ then the structure morphism from $X$ to $S$ is log-smooth. Let $x: S \to X$ be a $S$-point such that it doesn't intersect $D$. Then we prove that the maximal abelian quotient of the log Nori fundamental group scheme of $X$ fits in to an exact sequence of the form $0 \rightarrow (\mathbf{NS}^{\tau}_{X/S,D})^{\vee} \rightarrow (\pi^\text{log}_{\text{Nori}}(X,x))^{\text{ab}} \rightarrow \underset{n}{\varprojlim} \mathbf{Alb}_{X/S,D}[n] \rightarrow 0$. Here $\mathbf{NS}^{\tau}_{X/S,D}$ is the torsion subgroup scheme of the generalized Neron-Severi group and $\mathbf{Alb}_{X/S,D}$ is the generalized Albanese scheme associated with the divisor $D$.


title: Precision of protein thermometry

abstract: Temperature sensing is a ubiquitous cell behavior, but the fundamental limits to the precision of temperature sensing are poorly understood. Unlike in chemical concentration sensing, the precision of temperature sensing is not limited by extrinsic fluctuations in the temperature field itself. Instead, we find that precision is limited by the intrinsic copy number, turnover, and binding kinetics of temperature-sensitive proteins. Developing a model based on the canonical TlpA protein, we find that a cell can estimate temperature to within 2%. We compare this prediction with in vivo data on temperature sensing in bacteria.


title: Noise temperature measurements for axion haloscope experiments at IBS/CAPP

abstract: The axion was first introduced as a consequence of the Peccei-Quinn mechanism to solve the CP problem in strong interactions of particle physics and is a well motivated cold dark matter candidate. This particle is expected to interact extremely weakly with matter and its mass is expected to lie in $\mu$eV range with the corresponding frequency roughly in GHz range. In 1983 P. Sikivie proposed a detection scheme, so called axion haloscope, where axions resonantly convert to photons in a tunable microwave cavity permeated by a strong magnetic field. A major source of the experimental noise is attributed to added noise by RF amplifiers, and thus precise understandings of amplifiers' noise is of importance. We present the measurements of noise temperatures of various low noise amplifiers broadly used for axion dark matter searches.


title: Dataset of Random Relaxations for Crystal Structure Search of Li-Si System

abstract: Crystal structure search is a long-standing challenge in materials design. We present a dataset of more than 100,000 structural relaxations of potential battery anode materials from randomized structures using density functional theory calculations. We illustrate the usage of the dataset by training graph neural networks to predict structural relaxations from randomly generated structures. Our models directly predict stresses in addition to forces, which allows them to accurately simulate relaxations of both ionic positions and lattice vectors. We show that models trained on the molecular dynamics simulations fail to simulate relaxations from random structures, while training on our data leads to up to two orders of magnitude decrease in error for the same task. Our model is able to find an experimentally verified structure of a stoichiometry held out from training. We find that randomly perturbing atomic positions during training improves both the accuracy and out of domain generalization of the models.


title: Role of generic scale invariance in a Mott transition from a U(1) spin-liquid insulator to a Landau Fermi-liquid metal

abstract: We investigate the role of generic scale invariance in a Mott transition from a U(1) spin-liquid insulator to a Landau Fermi-liquid metal, where there exist massless degrees of freedom in addition to quantum critical fluctuations. Here, the Mott quantum criticality is described by critical charge fluctuations, and additional gapless excitations are U(1) gauge-field fluctuations coupled to a spinon Fermi surface in the spin-liquid state, which turn out to play a central role in the Mott transition. An interesting feature of this problem is that the scaling dimension of effective leading local interactions between critical charge fluctuations differs from that of the coupling constant between U(1) gauge fields and matter-field fluctuations in the presence of a Fermi surface. As a result, there appear dangerously irrelevant operators, which can cause conceptual difficulty in the implementation of renormalization group (RG) transformations. Indeed, we find that the curvature term along the angular direction of the spinon Fermi surface is dangerously irrelevant at this spin-liquid Mott quantum criticality, responsible for divergence of the self-energy correction term in U(1) gauge-field fluctuations. Performing the RG analysis in the one-loop level based on the dimensional regularization method, we reveal that such extremely overdamped dynamics of U(1) gauge-field fluctuations, which originates from the emergent one-dimensional dynamics of spinons, does not cause any renormalization effects to the effective dynamics of both critical charge fluctuations and spinon excitations. However, it turns out that the coupling between U(1) gauge-field fluctuations and both matter-field excitations still persists at this Mott transition, which results in novel mean-field dynamics to explain the nature of the spin-liquid Mott quantum criticality.


title: Galaxy And Mass Assembly (GAMA): the interplay between galaxy mass, SFR and heavy element abundance in paired galaxy sets

abstract: We study the star formation rate (SFR), stellar mass ($M_{\star}$) and the gas metallicity (Z) for 4,636 galaxy pairs using the Galaxy And Mass Assembly (GAMA) survey. Our galaxy pairs lie in a redshift range of 0 $<$ $z$ $<$ 0.35, mass range of 7.5 $<$ log( M$_{\star}$/ M$_\odot$) $<$ 11.5 and $\Delta V$ $<$ 1000 km s$^{-1}$. We explore variations in SFR and Z from three point of views: multiplicity, pair separation and dynamics. We define multiplicity as the number of galaxies paired with a single galaxy, and analyzed for the first time variations in SFR and Z for both, single pairs and pairs with higher multiplicity. For the latter, we find SFR enhancements from 0.025-0.15 dex, that would shift the M-SFR relation of single pairs by 27$\%$ to higher SFRs. The effect of Z on the other hand, is of only 4$\%$. We analyze the most and least massive galaxy of major/minor pairs as a function of the pair separation. We define major pairs those with mass ratios of 0.5 $<$ $M_1$/$M_2$ $<$ 2, while pairs with more discrepant mass ratios are classified as minor pairs. We find SFR enhancements of up to 2 and 4 times with respect to their control sample, for major and minor pairs. For the case of Z, we find decrements of up to 0.08 dex for the closest pairs. When we focus on dynamics, Z enhancements are found for minor pairs with high velocity dispersion $(\sigma_p > 250 \; \mathrm{km\,s ^{-1}})$ and high multiplicity.


title: Inhomogeneous Kondo destruction by RKKY correlations

abstract: The competition between the indirect exchange interaction (IEC) of magnetic impurities in metals and the Kondo effect gives rise to a rich quantum phase diagram, the Doniach Diagram. In disordered metals, both the Kondo temperature and the IEC are widely distributed due to the scattering of the conduction electrons from the impurity potential. Therefore, it is a question of fundamental importance, how this Doniach diagram is modified by the disorder, and if one can still identify separate phases. Recently, it has been investigated the effect of Ruderman-Kittel-Kasuya-Yosida (RKKY) correlations on the Kondo effect of two magnetic impurities, renormalizing the Kondo interaction based on the Bethe-Salpeter equation and performing the poor men's renormalization group (RG) analysis with the RKKY-renormalized Kondo coupling. In the present study, we extend this theoretical framework, allowing for different Kondo temperatures of two RKKY-coupled magnetic impurities due to different local exchange couplings and density of states. As a result, we find that the smaller one of the two Kondo temperatures is suppressed more strongly by the RKKY interaction, thereby enhancing their initial inequality. In order to find out if this relevance of inequalities between Kondo temperatures modifies the distribution of the Kondo temperature in a system of a finite density of randomly distributed magnetic impurities, we present an extension of the RKKY coupled Kondo RG equations. We discuss the implication of these results for the interplay between Kondo coupling and RKKY interaction in disordered electron systems and the Doniach diagram in disordered electron systems.


title: iGibson 1.0: a Simulation Environment for Interactive Tasks in Large Realistic Scenes

abstract: We present iGibson 1.0, a novel simulation environment to develop robotic solutions for interactive tasks in large-scale realistic scenes. Our environment contains 15 fully interactive home-sized scenes with 108 rooms populated with rigid and articulated objects. The scenes are replicas of real-world homes, with distribution and the layout of objects aligned to those of the real world. iGibson 1.0 integrates several key features to facilitate the study of interactive tasks: i) generation of high-quality virtual sensor signals (RGB, depth, segmentation, LiDAR, flow and so on), ii) domain randomization to change the materials of the objects (both visual and physical) and/or their shapes, iii) integrated sampling-based motion planners to generate collision-free trajectories for robot bases and arms, and iv) intuitive human-iGibson interface that enables efficient collection of human demonstrations. Through experiments, we show that the full interactivity of the scenes enables agents to learn useful visual representations that accelerate the training of downstream manipulation tasks. We also show that iGibson 1.0 features enable the generalization of navigation agents, and that the human-iGibson interface and integrated motion planners facilitate efficient imitation learning of human demonstrated (mobile) manipulation behaviors. iGibson 1.0 is open-source, equipped with comprehensive examples and documentation. For more information, visit our project website: http://svl.stanford.edu/igibson/


title: An Improved Framework of GPU Computing for CFD Applications on Structured Grids using OpenACC

abstract: This paper is focused on improving multi-GPU performance of a research CFD code on structured grids. MPI and OpenACC directives are used to scale the code up to 16 GPUs. This paper shows that using 16 P100 GPUs and 16 V100 GPUs can be 30$\times$ and 70$\times$ faster than 16 Xeon CPU E5-2680v4 cores for three different test cases, respectively. A series of performance issues related to the scaling for the multi-block CFD code are addressed by applying various optimizations. Performance optimizations such as the pack/unpack message method, removing temporary arrays as arguments to procedure calls, allocating global memory for limiters and connected boundary data, reordering non-blocking MPI I\_send/I\_recv and Wait calls, reducing unnecessary implicit derived type member data movement between the host and the device and the use of GPUDirect can improve the compute utilization, memory throughput, and asynchronous progression in the multi-block CFD code using modern programming features.


title: Real-time dynamics of Chern-Simons fluctuations near a critical point

abstract: The real-time topological susceptibility is studied in $(1+1)$-dimensional massive Schwinger model with a $\theta$-term. We evaluate the real-time correlation function of electric field that represents the topological Chern-Pontryagin number density in $(1+1)$ dimensions. Near the parity-breaking critical point located at $\theta=\pi$ and fermion mass $m$ to coupling $g$ ratio of $m/g \approx 0.33$, we observe a sharp maximum in the topological susceptibility. We interpret this maximum in terms of the growth of critical fluctuations near the critical point, and draw analogies between the massive Schwinger model, QCD near the critical point, and ferroelectrics near the Curie point.


title: Using voice note-taking to promote learners' conceptual understanding

abstract: Though recent technological advances have enabled note-taking through different modalities (e.g., keyboard, digital ink, voice), there is still a lack of understanding of the effect of the modality choice on learning. In this paper, we compared two note-taking input modalities -- keyboard and voice -- to study their effects on participants' learning. We conducted a study with 60 participants in which they were asked to take notes using voice or keyboard on two independent digital text passages while also making a judgment about their performance on an upcoming test. We built mixed-effects models to examine the effect of the note-taking modality on learners' text comprehension, the content of notes and their meta-comprehension judgement. Our findings suggest that taking notes using voice leads to a higher conceptual understanding of the text when compared to typing the notes. We also found that using voice also triggers generative processes that result in learners taking more elaborate and comprehensive notes. The findings of the study imply that note-taking tools designed for digital learning environments could incorporate voice as an input modality to promote effective note-taking and conceptual understanding of the text.


title: Reforming Takeuti's Quantum Set Theory to Satisfy De Morgan's Laws

abstract: In 1981, Takeuti introduced set theory based on quantum logic by constructing a model analogous to Boolean-valued models for Boolean logic. He defined the quantum logical truth value for every sentence of set theory. He showed that equality axioms do not hold, while axioms of ZFC set theory hold if appropriately modified with the notion of commutators. Here, we consider the problem in Takeuti's quantum set theory that De Morgan's laws do not hold for bounded quantifiers. We construct a counter-example to De Morgan's laws for bounded quantifiers in Takeuti's quantum set theory. We redefine the truth value for the membership relation and bounded existential quantification to ensure that De Morgan's laws hold. Then, we show that the truth value of every theorem of ZFC set theory is lower bounded by the commutator of constants therein as quantum transfer principle.


title: Data-Efficient Methods for Dialogue Systems

abstract: Conversational User Interface (CUI) has become ubiquitous in everyday life, in consumer-focused products like Siri and Alexa or business-oriented solutions. Deep learning underlies many recent breakthroughs in dialogue systems but requires very large amounts of training data, often annotated by experts. Trained with smaller data, these methods end up severely lacking robustness (e.g. to disfluencies and out-of-domain input), and often just have too little generalisation power. In this thesis, we address the above issues by introducing a series of methods for training robust dialogue systems from minimal data. Firstly, we study two orthogonal approaches to dialogue: linguistically informed and machine learning-based - from the data efficiency perspective. We outline the steps to obtain data-efficient solutions with either approach. We then introduce two data-efficient models for dialogue response generation: the Dialogue Knowledge Transfer Network based on latent variable dialogue representations, and the hybrid Generative-Retrieval Transformer model (ranked first at the DSTC 8 Fast Domain Adaptation task). Next, we address the problem of robustness given minimal data. As such, propose a multitask LSTM-based model for domain-general disfluency detection. For the problem of out-of-domain input, we present Turn Dropout, a data augmentation technique for anomaly detection only using in-domain data, and introduce autoencoder-augmented models for efficient training with Turn Dropout. Finally, we focus on social dialogue and introduce a neural model for response ranking in social conversation used in Alana, the 3rd place winner in the Amazon Alexa Prize 2017 and 2018. We employ a novel technique of predicting the dialogue length as the main ranking objective and show that this approach improves upon the ratings-based counterpart in terms of data efficiency while matching it in performance.


title: Optimizing Multiple Performance Metrics with Deep GSP Auctions for E-commerce Advertising

abstract: In e-commerce advertising, the ad platform usually relies on auction mechanisms to optimize different performance metrics, such as user experience, advertiser utility, and platform revenue. However, most of the state-of-the-art auction mechanisms only focus on optimizing a single performance metric, e.g., either social welfare or revenue, and are not suitable for e-commerce advertising with various, dynamic, difficult to estimate, and even conflicting performance metrics. In this paper, we propose a new mechanism called Deep GSP auction, which leverages deep learning to design new rank score functions within the celebrated GSP auction framework. These new rank score functions are implemented via deep neural network models under the constraints of monotone allocation and smooth transition. The requirement of monotone allocation ensures Deep GSP auction nice game theoretical properties, while the requirement of smooth transition guarantees the advertiser utilities would not fluctuate too much when the auction mechanism switches among candidate mechanisms to achieve different optimization objectives. We deployed the proposed mechanisms in a leading e-commerce ad platform and conducted comprehensive experimental evaluations with both offline simulations and online A/B tests. The results demonstrated the effectiveness of the Deep GSP auction compared to the state-of-the-art auction mechanisms.


title: Joint AGC and Receiver Design for Large-Scale MU-MIMO Systems Using Low-Resolution Signal Processing in C-RANs

abstract: Large-scale multi-user multiple-input multiple-output (MU-MIMO) systems and cloud radio access networks (C-RANs) are considered promising technologies for the fifth generation (5G) of wireless networks. In these technologies, the use of low-resolution analog-to-digital converters (ADCs) is key for energy efficiency and for complying with constrained fronthaul links. Processing signals with few bits implies a significant performance loss and, therefore, techniques that can compensate for quantization distortion are fundamental. In wireless systems, an automatic gain control (AGC) precedes the ADCs to adjust the input signal level in order to reduce the impact of quantization. In this work, we propose the joint optimization of the AGC, which works in the remote radio heads (RRHs), and a low-resolution aware (LRA) linear receive filter based on the minimum mean square error (MMSE), which works in the cloud unit (CU), for large-scale MU-MIMO systems with coarsely quantized signals. We develop linear and successive interference cancellation (SIC) receivers based on the proposed joint AGC and LRA MMSE (AGC-LRA-MMSE) approach. An analysis of the achievable sum rates along with a computational complexity study is also carried out. Simulations show that the proposed AGC-LRA-MMSE design provides substantial gains in bit error rates and achievable information rates over existing techniques.


title: On Periodical Damping Ratio of a Controlled Dynamical System with Parametric Resonances

abstract: This report provides an interpretation on the periodically varying damping ratio of a dynamical system with direct control of oscillation or vibration damping. The principal parametric resonance of the system and a new type of parametric resonance, named "zero-th order" parametric resonance, are investigated by using the method of multiple scales to find approximate, analytical solutions of the system, which provide an interpretation on such damping variations.


title: Groups whose orders factorise into at most four primes

abstract: The groups whose orders factorise into at most four primes have been described (up to isomorphism) in various papers. Given such an order n, this paper exhibits a new explicit and compact determination of the isomorphism types of the groups of order n together with effective algorithms to enumerate, construct, and identify these groups. The algorithms are implemented for the computer algebra system GAP.


title: Superconductivity versus magnetism in the palladium 'ides': Pd$_{1-c}$(H/D/T)$_{c}$

abstract: In general, conventional superconductivity and magnetism are competing phenomena. In some alloys this competition is a function of the concentration of the elements. Here we show that in the palladium alloys Pd$_{1-c}$(H/D/T)$_{c}$ (Pd-ides) the increase in the concentration $c$ of the ides: hydrogen, deuterium, tritium (H/D/T), lowers the predicted magnetism of amorphous palladium ($a$-Pd) gradually, allowing superconductivity to appear for $ c \approx 40\%$. This magnetism explains why superconductivity does not manifest for smaller values of $c$ ($c \leq 40\%$) in these Pd alloys. Also, these results validate indirectly our predicted magnetism in the amorphous/porous palladium ($a/p$-Pd). The understanding of the interplay between magnetism and superconductivity may contribute to the comprehension of the magnetic behavior in materials, especially in high $T_{c}$ superconductors, with the corresponding implications.


title: Systematic error tolerant multiqubit holonomic entangling gates

abstract: Quantum holonomic gates hold built-in resilience to local noises and provide a promising approach for implementing fault-tolerant quantum computation. We propose to realize high-fidelity holonomic $(N+1)$-qubit controlled gates using Rydberg atoms confined in optical arrays or superconducting circuits. We identify the scheme, deduce the effective multi-body Hamiltonian, and determine the working condition of the multiqubit gate. Uniquely, the multiqubit gate is immune to systematic errors, i.e., laser parameter fluctuations and motional dephasing, as the $N$ control atoms largely remain in the much stable qubit space during the operation. We show that $C_N$-NOT gates can reach same level of fidelity at a given gate time for $N\leq5$ under a suitable choice of parameters, and the gate tolerance against errors in systematic parameters can be further enhanced through optimal pulse engineering. In case of Rydberg atoms, the proposed protocol is intrinsically different from typical schemes based on Rydberg blockade or antiblockade. Our study paves a new route to build robust multiqubit gates with Rydberg atoms trapped in optical arrays or with superconducting circuits. It contributes to current efforts in developing scalable quantum computation with trapped atoms and fabricable superconducting devices.


title: Selective Inference for Hierarchical Clustering

abstract: Classical tests for a difference in means control the type I error rate when the groups are defined a priori. However, when the groups are instead defined via clustering, then applying a classical test yields an extremely inflated type I error rate. Notably, this problem persists even if two separate and independent data sets are used to define the groups and to test for a difference in their means. To address this problem, in this paper, we propose a selective inference approach to test for a difference in means between two clusters. Our procedure controls the selective type I error rate by accounting for the fact that the choice of null hypothesis was made based on the data. We describe how to efficiently compute exact p-values for clusters obtained using agglomerative hierarchical clustering with many commonly-used linkages. We apply our method to simulated data and to single-cell RNA-sequencing data.


title: Effect of the charge distribution of virus coat proteins on the length of packaged RNAs

abstract: Single-stranded RNA viruses efficiently encapsulate their genome into a protein shell called the capsid. Electrostatic interactions between the positive charges in the capsid protein's N-terminal tail and the negatively charged genome have been postulated as the main driving force for virus assembly. Recent experimental results indicate that the N-terminal tail with the same number of charges and same lengths package different amounts of RNA, which reveals that electrostatics alone cannot explain all the observed outcomes of the RNA self-assembly experiments. Using a mean-field theory, we show that the combined effect of genome configurational entropy and electrostatics can explain to some extent the amount of packaged RNA with mutant proteins where the location and number of charges on the tails are altered. Understanding the factors contributing to the virus assembly could promote the attempt to block viral infections or to build capsids for gene therapy applications.


title: Cirrus: A Long-range Bi-pattern LiDAR Dataset

abstract: In this paper, we introduce Cirrus, a new long-range bi-pattern LiDAR public dataset for autonomous driving tasks such as 3D object detection, critical to highway driving and timely decision making. Our platform is equipped with a high-resolution video camera and a pair of LiDAR sensors with a 250-meter effective range, which is significantly longer than existing public datasets. We record paired point clouds simultaneously using both Gaussian and uniform scanning patterns. Point density varies significantly across such a long range, and different scanning patterns further diversify object representation in LiDAR. In Cirrus, eight categories of objects are exhaustively annotated in the LiDAR point clouds for the entire effective range. To illustrate the kind of studies supported by this new dataset, we introduce LiDAR model adaptation across different ranges, scanning patterns, and sensor devices. Promising results show the great potential of this new dataset to the robotics and computer vision communities.


title: Does Yoga Make You Happy? Analyzing Twitter User Happiness using Textual and Temporal Information

abstract: Although yoga is a multi-component practice to hone the body and mind and be known to reduce anxiety and depression, there is still a gap in understanding people's emotional state related to yoga in social media. In this study, we investigate the causal relationship between practicing yoga and being happy by incorporating textual and temporal information of users using Granger causality. To find out causal features from the text, we measure two variables (i) Yoga activity level based on content analysis and (ii) Happiness level based on emotional state. To understand users' yoga activity, we propose a joint embedding model based on the fusion of neural networks with attention mechanism by leveraging users' social and textual information. For measuring the emotional state of yoga users (target domain), we suggest a transfer learning approach to transfer knowledge from an attention-based neural network model trained on a source domain. Our experiment on Twitter dataset demonstrates that there are 1447 users where "yoga Granger-causes happiness".


title: $D$ wave bottomonia production from $Z_b^{(\prime)}$ decay

abstract: In the present work, we investigate the dipion transitions between $\Upsilon(5S)$ and $\Upsilon_J(1D)$ with $J=1, 2, 3$. Our analysis indicates that the dominant sources of the anomalously large widths of $\Upsilon(5S)\to \Upsilon_J(1D) \pi^+ \pi^-$ should be $Z_b^{(\prime)}$, i.e., the dipion transitions occur via the cascade decays $\Upsilon(5S)\to Z_b^{(\prime)\pm} \pi^\mp \to \Upsilon_J(1D) \pi^+ \pi^-$. With the assumption that all the short ranged dynamics could be absorbed in a single cutoff with a model parameter $\alpha$, the present estimations indicate that in a reasonable parameter range the measured branching ratios of $\Upsilon(5S) \to \Upsilon_J(1D) \pi^+ \pi^-$ can be reproduced in magnitude, which further proves that the decays via $Z_b^{(\prime)}$ dominate the dipion transitions of $\Upsilon(5S)$ to $\Upsilon_J(1D)$. Moreover, we also predict the ratios of the branching fractions of $Z_b^{(\prime)} \to \Upsilon_J(1D) \pi$, which in our calculations are largely independent of the parameter $\alpha$ and could be tested by further experiments in Belle II.


title: A contamination-free electron-transparent metallic sample preparation method for MEMS experiments with in situ S/TEM

abstract: Microelectromechanical systems (MEMS) are currently supporting ground-breaking basic research in materials science and metallurgy as they allow in situ experiments on materials at the nanoscale within electron-microscopes in a wide variety of different conditions such as extreme materials dynamics under ultrafast heating and quenching rates as well as in complex electro-chemical environments. Electron-transparent sample preparation for MEMS e-chips remains a challenge for this technology as the existing methodologies can introduce contaminants, thus disrupting the experiments and the analysis of results. Herein we introduce a methodology for simple and fast electron-transparent sample preparation for MEMS e-chips without significant contamination. The quality of the samples as well as their performance during a MEMS e-chip experiment in situ within an electron-microscope are evaluated during a heat treatment of a crossover AlMgZn(Cu) alloy.


title: The Automorphism Group of the Petersen Graph is Isomorphic to $S_5$

abstract: The automorphism group of the Petersen Graph is shown to be isomorphic to the symmetric group on 5 elements. The image represents the Petersen Graph with the ten 3-element subsets of $\{1, 2, 3, 4, 5\}$ as vertices. Two vertices are adjacent when they have precisely one element in common.


title: Cross-Domain Sentiment Classification with In-Domain Contrastive Learning

abstract: Contrastive learning (CL) has been successful as a powerful representation learning method. In this paper, we propose a contrastive learning framework for cross-domain sentiment classification. We aim to induce domain invariant optimal classifiers rather than distribution matching. To this end, we introduce in-domain contrastive learning and entropy minimization. Also, we find through ablation studies that these two techniques behaviour differently in case of large label distribution shift and conclude that the best practice is to choose one of them adaptively according to label distribution shift. The new state-of-the-art results our model achieves on standard benchmarks show the efficacy of the proposed method.


title: Query complexity of unitary operation discrimination

abstract: Discrimination of unitary operations is fundamental in quantum computation and information. A lot of quantum algorithms including the well-known Deutsch-Jozsa algorithm, Simon's algorithm, and Grover's algorithm can essentially be regarded as discriminating among individual, or sets of unitary operations (oracle operators). The problem of discriminating between two unitary operations $U$ and $V$ can be described as: Given $X\in\{U, V\}$, determine which one $X$ is. If $X$ is given with multiple copies, then one can design an adaptive procedure that takes multiple queries to $X$ to output the identification result of $X$. In this paper, we consider the problem: How many queries are required for achieving a desired failure probability $\epsilon$ of discrimination between $U$ and $V$. We prove in a uniform framework: (i) if $U$ and $V$ are discriminated with bound error $\epsilon$ , then the number of queries $T$ must satisfy $T\geq \left\lceil\frac{2\sqrt{1-4\epsilon(1-\epsilon)}}{\Theta (U^\dagger V)}\right\rceil$, and (ii) if they are discriminated with one-sided error $\epsilon$, then there is $T\geq \left\lceil\frac{2\sqrt{1-\epsilon^2}}{\Theta (U^\dagger V)}\right\rceil$, where $\lceil k\rceil$ denotes the minimum integer not less than $k$ and $\Theta(W)$ denotes the length of the smallest arc containing all the eigenvalues of $W$ on the unit circle.