title: First glimpse of the $N=82$ shell closure below $Z=50$ from masses of neutron-rich cadmium isotopes and isomers

abstract: We probe the $N=82$ nuclear shell closure by mass measurements of neutron-rich cadmium isotopes with the ISOLTRAP spectrometer at ISOLDE-CERN. The new mass of $^{132}$Cd offers the first value of the $N=82$, two-neutron shell gap below $Z=50$ and confirms the phenomenon of mutually enhanced magicity at $^{132}$Sn. Using the recently implemented phase-imaging ion-cyclotron-resonance method, the ordering of the low-lying isomers in $^{129}$Cd and their energies are determined. The new experimental findings are used to test large-scale shell-model, mean-field and beyond-mean-field calculations, as well as the ab initio valence-space in-medium similarity renormalization group.


title: Microvascular Dynamics from 4D Microscopy Using Temporal Segmentation

abstract: Recently developed methods for rapid continuous volumetric two-photon microscopy facilitate the observation of neuronal activity in hundreds of individual neurons and changes in blood flow in adjacent blood vessels across a large volume of living brain at unprecedented spatio-temporal resolution. However, the high imaging rate necessitates fully automated image analysis, whereas tissue turbidity and photo-toxicity limitations lead to extremely sparse and noisy imagery. In this work, we extend a recently proposed deep learning volumetric blood vessel segmentation network, such that it supports temporal analysis. With this technology, we are able to track changes in cerebral blood volume over time and identify spontaneous arterial dilations that propagate towards the pial surface. This new capability is a promising step towards characterizing the hemodynamic response function upon which functional magnetic resonance imaging (fMRI) is based.


title: STARE2: Detecting Fast Radio Bursts in the Milky Way

abstract: There are several unexplored regions of the short-duration radio transient phase space. One such unexplored region is the luminosity gap between giant pulses (from pulsars) and cosmologically located fast radio bursts (FRBs). The Survey for Transient Astronomical Radio Emission 2 (STARE2) is a search for such transients out to 7 Mpc. STARE2 has a field of view of 3.6 steradians and is sensitive to one-millisecond transients above $\sim300$ kJy. With a two-station system we have detected and localized a solar burst, demonstrating that the pilot system is capable of detecting short duration radio transients. We found no convincing transients with duration between 65 $\mu$s and 34 ms in 200 days of observing, limiting with 95% confidence the all-sky rate of transients above $\sim300$ kJy to $< 40$ ${\rm sky^{-1} year^{-1}}$. If the luminosity function of FRBs could be extrapolated down to 300 kJy for a distance of 10 kpc, then one would expect the rate to be $\sim2$ ${\rm sky^{-1} year^{-1}}$.


title: Efficient Coding in the Economics of Human Brain Connectomics

abstract: In systems neuroscience, most models posit that brain regions communicate information under constraints of efficiency. Yet, evidence for efficient communication in structural brain networks characterized by hierarchical organization and highly connected hubs remains sparse. The principle of efficient coding proposes that the brain transmits maximal information in a metabolically economical or compressed form to improve future behavior. To determine how structural connectivity supports efficient coding, we develop a theory specifying minimum rates of message transmission between brain regions to achieve an expected fidelity, and we test five predictions from the theory based on random walk communication dynamics. In doing so, we introduce the metric of compression efficiency, which quantifies the trade-off between lossy compression and transmission fidelity in structural networks. In a large sample of youth (n = 1,042; age 8-23 years), we analyze structural networks derived from diffusion weighted imaging and metabolic expenditure operationalized using cerebral blood flow. We show that structural networks strike compression efficiency trade-offs consistent with theoretical predictions. We find that compression efficiency prioritizes fidelity with development, heightens when metabolic resources and myelination guide communication, explains advantages of hierarchical organization, links higher input fidelity to disproportionate areal expansion, and shows that hubs integrate information by lossy compression. Lastly, compression efficiency is predictive of behavior--beyond a conventional metric--for cognitive domains including executive function, memory, complex reasoning, and social cognition. Our findings elucidate how macroscale connectivity supports efficient coding, and serve to foreground communication processes that utilize random walk dynamics constrained by network connectivity.


title: Charmed Baryon Weak Decays with Vector Mesons

abstract: We give a systematic study of ${\bf B}_c\to {\bf B}_n V$ decays, where ${\bf B}_c$ and $ {\bf B}_n$ correspond to the anti-triplet charmed and octet baryons, respectively, while $V$ stand for the vector mesons. We calculate the color-symmetric contributions to the decays from the effective Hamiltonian with the factorization approach and extract the anti-symmetric ones based on the experimental measurements and $SU(3)_F$ flavor symmetry. We find that most of the existing experimental data for ${\bf B}_c\to {\bf B}_n V$ are consistent with our fitting results. We present all the branching ratios of the Cabbibo allowed, singly Cabbibo suppressed and doubly Cabbibo suppressed decays of ${\bf B}_c\to {\bf B}_n V$. The decay parameters for the daughter baryons and mesons in ${\bf B}_c\to {\bf B}_n V$ are also evaluated. In particular, we point out that the Cabbibo allowed decays of $\Lambda_c^+ \to \Lambda^0 \rho^+$ and $ \Xi_c^0 \to \Xi^- \rho^+$ as well as the singly Cabbibo suppressed ones of $\Lambda_c^+ \to \Lambda^0 K^{*+}$, $\Xi_c^+ \to \Sigma^+ \phi$ and $\Xi_c^0\to \Xi^- K^{*+}$ have large branching ratios and decay parameters with small uncertainties, which can be tested by the experimental searches at the charm facilities.


title: Automated Anonymisation of Visual and Audio Data in Classroom Studies

abstract: Understanding students' and teachers' verbal and non-verbal behaviours during instruction may help infer valuable information regarding the quality of teaching. In education research, there have been many studies that aim to measure students' attentional focus on learning-related tasks: Based on audio-visual recordings and manual or automated ratings of behaviours of teachers and students. Student data is, however, highly sensitive. Therefore, ensuring high standards of data protection and privacy has the utmost importance in current practices. For example, in the context of teaching management studies, data collection is carried out with the consent of pupils, parents, teachers and school administrations. Nevertheless, there may often be students whose data cannot be used for research purposes. Excluding these students from the classroom is an unnatural intrusion into the organisation of the classroom. A possible solution would be to request permission to record the audio-visual recordings of all students (including those who do not voluntarily participate in the study) and to anonymise their data. Yet, the manual anonymisation of audio-visual data is very demanding. In this study, we examine the use of artificial intelligence methods to automatically anonymise the visual and audio data of a particular person.


title: Inner-Heliosphere Signatures of Ion-Scale Dissipation and Nonlinear Interaction

abstract: We perform a statistical study of the turbulent power spectrum at inertial and kinetic scales observed during the first perihelion encounter of Parker Solar Probe. We find that often there is an extremely steep scaling range of the power spectrum just above the ion-kinetic scales, similar to prior observations at 1 AU, with a power-law index of around $-4$. Based on our measurements, we demonstrate that either a significant ($>50\%$) fraction of the total turbulent energy flux is dissipated in this range of scales, or the characteristic nonlinear interaction time of the turbulence decreases dramatically from the expectation based solely on the dispersive nature of nonlinearly interacting kinetic Alfv\'en waves.


title: Incentive Analysis of Bitcoin-NG, Revisited

abstract: Bitcoin-NG is among the first blockchain protocols to approach the \emph{near-optimal} throughput by decoupling blockchain operation into two planes: leader election and transaction serialization. Its decoupling idea has inspired a new generation of high-performance blockchain protocols. However, the existing incentive analysis of Bitcoin-NG has several limitations. First, the impact of network capacity is ignored. Second, an integrated incentive analysis that jointly considers both key blocks and microblocks is still missing. In this paper, we aim to address these two limitations. First, we propose a new incentive analysis that takes the network capacity into account, showing that Bitcoin-NG can still maintain incentive compatibility against the microblock mining attack even under limited network capacity. Second, we leverage a Markov decision process (MDP) to jointly analyze the incentive of both key blocks and microblocks, showing that the selfish mining revenue of Bitcoin-NG is a little higher than that in Bitcoin only when the selfish miner controls more than 35\% of the mining power. We hope that our in-depth incentive analysis for Bitcoin-NG can shed some light on the mechanism design and incentive analysis of next-generation blockchain protocols.


title: Scaling Laws of Dense Multi-Antenna Cellular Networks

abstract: We study the scaling laws of the signal-to-interference-plus-noise ratio (SINR) and the area spectral efficiency (ASE) in multi-antenna cellular networks, where the number of antennas scales with the base station (BS) spatial density $\lambda$, under the assumption of independent and identically distributed (i.i.d.) channels. We start with the MISO case with $N_t(\lambda)$ transmit antennas and a single receive antenna and prove that the average SINR scales as $\frac{N_t(\lambda)}{\lambda}$ and the average ASE scales as $\lambda\log\left(1+\frac{N_t(\lambda)}{\lambda}\right)$. For the MIMO case with single-stream eigenbeamforming and $N_r(\lambda) \leq N_t(\lambda)$ receive antennas, we prove that the scaling laws of the conditional SINR and ASE are agnostic to $N_r(\lambda)$ and scale exactly the same as the MISO case. Hence, deploying multi-antenna BSs can help maintain non-zero per-user throughput and a corresponding linear increase in the ASE in dense cellular networks.


title: Voltage-Controlled Magnetic Reversal in Orbital Chern Insulators

abstract: Chern insulator ferromagnets are characterized by a quantized anomalous Hall effect, and have so far been identified experimentally in magnetically-doped topological insulator (MTI) thin films and in bilayer graphene moir{\'e} superlattices. We classify Chern insulator ferromagnets as either spin or orbital, depending on whether the orbital magnetization results from spontaneous spin-polarization combined with spin-orbit interactions, as in the MTI case, or directly from spontaneous orbital currents, as in the moir{\'e} superlattice case. We argue that in a given magnetic state, characterized for example by the sign of the anomalous Hall effect, the magnetization of an orbital Chern insulator will often have opposite signs for weak $n$ and weak $p$ electrostatic or chemical doping. This property enables pure electrical switching of a magnetic state in the presence of a fixed magnetic field.


title: Terahertz response of gadolinium gallium garnet (GGG) and gadolinium scandium gallium garnet (SGGG)

abstract: We report the magneto-optical response of Gadolinium Gallium Garnet (GGG) and Gadolinium Scandium Gallium Garnet (SGGG) at frequencies ranging from $300 \, \mathrm{GHz}$ to $1 \, \mathrm{THz}$, and determine the material response tensor. Within this frequency window, the materials exhibit nondispersive and low-loss optical responses. At low temperatures, significant THz Faraday rotations are found in the (S)GGG samples. Such strong gyroelectric response is likely associated with the high-spin paramagnetic state of the Gd$^{3+}$ ions. A model of the material response tensor is determined, together with the Verdet and magneto-optic constants.


title: Proposal Learning for Semi-Supervised Object Detection

abstract: In this paper, we focus on semi-supervised object detection to boost performance of proposal-based object detectors (a.k.a. two-stage object detectors) by training on both labeled and unlabeled data. However, it is non-trivial to train object detectors on unlabeled data due to the unavailability of ground truth labels. To address this problem, we present a proposal learning approach to learn proposal features and predictions from both labeled and unlabeled data. The approach consists of a self-supervised proposal learning module and a consistency-based proposal learning module. In the self-supervised proposal learning module, we present a proposal location loss and a contrastive loss to learn context-aware and noise-robust proposal features respectively. In the consistency-based proposal learning module, we apply consistency losses to both bounding box classification and regression predictions of proposals to learn noise-robust proposal features and predictions. Our approach enjoys the following benefits: 1) encouraging more context information to delivered in the proposals learning procedure; 2) noisy proposal features and enforcing consistency to allow noise-robust object detection; 3) building a general and high-performance semi-supervised object detection framework, which can be easily adapted to proposal-based object detectors with different backbone architectures. Experiments are conducted on the COCO dataset with all available labeled and unlabeled data. Results demonstrate that our approach consistently improves the performance of fully-supervised baselines. In particular, after combining with data distillation, our approach improves AP by about 2.0% and 0.9% on average compared to fully-supervised baselines and data distillation baselines respectively.


title: Monte Carlo Game Solver

abstract: We present a general algorithm to order moves so as to speedup exact game solvers. It uses online learning of playout policies and Monte Carlo Tree Search. The learned policy and the information in the Monte Carlo tree are used to order moves in game solvers. They improve greatly the solving time for multiple games.


title: On the operator Acz\'{e}l inequality and its reverse

abstract: In this paper, we present some operator and eigenvalue inequalities involving operator monotone, doubly concave and doubly convex functions. These inequalities provide some variants of operator Acz\'{e}l inequality and its reverse via generalized Kantorovich constant.


title: Residual Intersections and Linear Powers

abstract: If I is an ideal in a Gorenstein ring S and S/I is Cohen-Macaulay, then the same is true for any linked ideal I'. However, such statements hold for residual intersections of higher codimension only under very restrictive hypotheses, not satisfied even by ideals as simple as the ideal L_n of minors of a generic 2 x n matrix when n>3. In this paper we initiate the study of a different sort of Cohen-Macaulay property that holds for certain general residual intersections of the maximal (interesting) codimension, one less than the analytic spread of I. For example, we prove that if K is the residual intersection of L_n by 2n-3 general quadratic forms in L_n, then S/K is integrally closed with isolated singularity and I^{n-3} S/K is a self-dual Maximal Cohen-Macaulay module over S/K with linear free resolution over S. The technical heart of the paper is a result about ideals of analytic spread 1 whose high powers are linearly presented.


title: Scaling and higher twist in the nucleon Compton amplitude

abstract: The partonic structure of hadrons plays an important role in a vast array of high-energy and nuclear physics experiments. It also underpins the theoretical understanding of hadron structure. Recent developments in lattice QCD offer new opportunities for reliably studying partonic structure from first principles. Here we report on the use of the Feynman-Hellmann theorem to study the forward Compton amplitude in the unphysical region. We demonstrate how this amplitude provides direct constraint on hadronic inelastic structure functions. The use of external momentum transfer allows us to study the $Q^2$ evolution to explore the onset of asymptotic scaling and reveal higher-twist effects in partonic structure.


title: Energy Efficient Virtual Machines Placement over Cloud-Fog Network Architecture

abstract: Fog computing is an emerging paradigm that aims to improve the efficiency and QoS of cloud computing by extending the cloud to the edge of the network. This paper develops a comprehensive energy efficiency analysis framework based on mathematical modeling and heuristics to study the offloading of virtual machine (VM) services from the cloud to the fog. The analysis addresses the impact of different factors including the traffic between the VM and its users, the VM workload, the workload versus number of users profile and the proximity of fog nodes to users. Overall, the power consumption can be reduced if the VM users traffic is high and/or the VMs have a linear power profile. In such a linear profile case, the creation of multiple VM replicas does not increase the computing power consumption significantly (there may be a slight increase due to idle / baseline power consumption) if the number of users remains constant, however the VM replicas can be brought closer to the end users, thus reducing the transport network power consumption. In our scenario, the optimum placement of VMs over a cloud-fog architecture significantly decreased the total power consumption by 56% and 64% under high user data rates compared to optimized distributed clouds placement and placement in the existing AT&T network cloud locations, respectively.


title: Constraints on a special running vacuum model

abstract: We study a special running vacuum model (RVM) with $\Lambda = 3 \alpha H^2+3\beta H_0^4 H^{-2}+\Lambda_0$, where $\alpha$, $\beta$ and $\Lambda_0$ are the model parameters and $H$ is the Hubble one. This RVM has non-analytic background solutions for the energy densities of matter and radiation, which can only be evaluated numerically. From the analysis of the CMB power spectrum and baryon acoustic oscillation along with the prior of $\alpha>0$ to avoid having a negative dark energy density, we find that $\alpha<2.83\times 10^{-4}$ and $\beta=(-0.2^{+3.9}_{-4.5})\times 10^{-4}$ (95$\%$ C.L.). We show that the RVM fits the cosmological data comparably to the $\Lambda$CDM. In addition, we relate the fluctuation amplitude $\sigma_8$ to the neutrino mass sum $\Sigma m_\nu$.


title: On the absence of stationary currents

abstract: We review proofs of a theorem of Bloch on the absence of macroscopic stationary currents in quantum systems. The standard proof shows that the current in 1D vanishes in the large volume limit under rather general conditions. In higher dimension, the total current across a cross-section does not need to vanish in gapless systems but it does vanish in gapped systems. We focus on the latter claim and give a self-contained proof motivated by a recently introduced index for many-body charge transport in quantum lattice systems having a conserved $U(1)$-charge.


title: Relative growth rate and contact Banach-Mazur distance

abstract: In this paper, we define a non-linear version of Banach-Mazur distance in the contact geometry set-up, called contact Banach-Mazur distance and denoted by $d_{\rm CBM}$. Explicitly, we consider the following two set-ups, either on a contact manifold $W \times S^1$ where $W$ is a Liouville manifold, or a closed Liouville-fillable contact manifold $M$. The inputs of $d_{\rm CBM}$ are different in these two cases. In the former case the inputs are (contact) star-shaped domains of $W \times S^1$, and in the latter case the inputs are contact 1-forms of $M$. In particular, the contact Banach-Mazur distance $d_{\rm CBM}$ defined in the former case is motivated by the concept, relative growth rate, which was originally defined and studied by Eliashberg and Polterovich. In addition, we investigate the relations of $d_{\rm CBM}$ to various numerical measurements in contact geometry and symplectic geometry, for instance, contact shape invariant, (coarse) symplectic Banach-Mazur distance. Moreover, we obtain several large-scale geometric properties in terms of $d_{\rm CBM}$. Finally, we propose a quantitative comparison between elements in the derived categories of sheaves of modules (over certain topological spaces). This is based on several important properties of the singular support of sheaves.


title: Production externalities and dispersion process in a multi-region economy

abstract: We consider an economic geography model with two inter-regional proximity structures: one governing goods trade and the other governing production externalities across regions. We investigate how the introduction of the latter affects the timing of endogenous agglomeration and the spatial distribution of workers across regions. As transportation costs decline, the economy undergoes a progressive dispersion process. Mono-centric agglomeration emerges when inter-regional trade and/or production externalities incur high transportation costs, while uniform dispersion occurs when these costs become negligibly small (i.e., when distance dies). In multi-regional geography, the network structure of production externalities can determine the geographical distribution of workers as economic integration increases. If production externalities are governed solely by geographical distance, a mono-centric spatial distribution emerges in the form of suburbanization. However, if geographically distant pairs of regions are connected through tight production linkages, multi-centric spatial distribution can be sustainable.


title: New R-matrices with non-additive spectral parameters and integrable models of strongly correlated fermions

abstract: We present a general formula for constructing R-matrices with non-additive spectral parameters associated with a type-I quantum superalgebra. The spectral parameters originate from two one-parameter families of inequivalent finite-dimensional irreducible representations of the quantum superalgebra upon which the R-matrix acts. Applying to the quantum superalgebra $U_q(gl(2|1))$, we obtain the explicit expression for the $U_q(gl(2|1))$-invariant R-matrix which is of non-difference form in spectral parameters. Using this R-matrix we derive a new two-parameter integrable model of strongly correlated electrons with pure imaginary pair hopping terms.

categories: math-ph cond-mat.str-el hep-th math.MP math.QA nlin.SI


title: Lightweight 3D Human Pose Estimation Network Training Using Teacher-Student Learning

abstract: We present MoVNect, a lightweight deep neural network to capture 3D human pose using a single RGB camera. To improve the overall performance of the model, we apply the teacher-student learning method based knowledge distillation to 3D human pose estimation. Real-time post-processing makes the CNN output yield temporally stable 3D skeletal information, which can be used in applications directly. We implement a 3D avatar application running on mobile in real-time to demonstrate that our network achieves both high accuracy and fast inference time. Extensive evaluations show the advantages of our lightweight model with the proposed training method over previous 3D pose estimation methods on the Human3.6M dataset and mobile devices.


title: Cohomological invariants of algebraic operads, I

abstract: We study various invariants, such as cohomology groups, derivations, automorphisms and infinitesimal deformations, of algebraic operads and show that $\mathcal{A}ss$, $\mathcal{C}com$, $\mathcal{L}ie$ and $\mathcal{P}ois$ are rigid or semirigid.


title: A linear noise approximation for stochastic epidemic models fit to partially observed incidence counts

abstract: Stochastic epidemic models (SEMs) fit to incidence data are critical to elucidating outbreak dynamics, shaping response strategies, and preparing for future epidemics. SEMs typically represent counts of individuals in discrete infection states using Markov jump processes (MJPs), but are computationally challenging as imperfect surveillance, lack of subject-level information, and temporal coarseness of the data obscure the true epidemic. Analytic integration over the latent epidemic process is impossible, and integration via Markov chain Monte Carlo (MCMC) is cumbersome due to the dimensionality and discreteness of the latent state space. Simulation-based computational approaches can address the intractability of the MJP likelihood, but are numerically fragile and prohibitively expensive for complex models. A linear noise approximation (LNA) that approximates the MJP transition density with a Gaussian density has been explored for analyzing prevalence data in large-population settings, but requires modification for analyzing incidence counts without assuming that the data are normally distributed. We demonstrate how to reparameterize SEMs to appropriately analyze incidence data, and fold the LNA into a data augmentation MCMC framework that outperforms deterministic methods, statistically, and simulation-based methods, computationally. Our framework is computationally robust when the model dynamics are complex and applies to a broad class of SEMs. We evaluate our method in simulations that reflect Ebola, influenza, and SARS-CoV-2 dynamics, and apply our method to national surveillance counts from the 2013--2015 West Africa Ebola outbreak.


title: Microring resonator-coupled photoluminescence from silicon W~centers

abstract: Defect centers are promising candidates for waveguide-integrated silicon light sources. We demonstrate microresonator- and waveguide-coupled photoluminescence from silicon W~centers. Microphotoluminescence measurements indicate wavelengths on-resonance with resonator modes are preferentially coupled to an adjacent waveguide. Quality factors of at least 5,300 are measured, and free spectral ranges closely match expectation. The W~center phonon sideband can be used as a spectral diagnostic for a broader range waveguide-based devices on cryogenic silicon photonic platforms.


title: Entangled Polynomial Codes for Secure, Private, and Batch Distributed Matrix Multiplication: Breaking the "Cubic" Barrier

abstract: In distributed matrix multiplication, a common scenario is to assign each worker a fraction of the multiplication task, by partitioning the input matrices into smaller submatrices. In particular, by dividing two input matrices into $m$-by-$p$ and $p$-by-$n$ subblocks, a single multiplication task can be viewed as computing linear combinations of $pmn$ submatrix products, which can be assigned to $pmn$ workers. Such block-partitioning based designs have been widely studied under the topics of secure, private, and batch computation, where the state of the arts all require computing at least "cubic" ($pmn$) number of submatrix multiplications. Entangled polynomial codes, first presented for straggler mitigation, provides a powerful method for breaking the cubic barrier. It achieves a subcubic recovery threshold, meaning that the final product can be recovered from \emph{any} subset of multiplication results with a size order-wise smaller than $pmn$. In this work, we show that entangled polynomial codes can be further extended to also include these three important settings, and provide a unified framework that order-wise reduces the total computational costs upon the state of the arts by achieving subcubic recovery thresholds.


title: Axion Dark Matter Search around 6.7 $\mu$eV

abstract: An axion dark matter search with the CAPP-8TB haloscope is reported. Our results are sensitive to axion-photon coupling $g_{a\gamma\gamma}$ down to the QCD axion band over the axion mass range between 6.62 and 6.82 $\mu$eV at a 90\% confidence level, which is the most sensitive result in the mass range to date.


title: Evidence for Emergent Dark Energy

abstract: We introduce a generalised form of an emergent dark energy model with one degree of freedom for the dark energy sector that has the flexibility to include both $\Lambda$CDM model as well as the Phenomenologically Emergent Dark Energy (PEDE) model proposed by Li & Shafieloo (2019) as two of its special limits. The free parameter for the dark energy sector, namely $\Delta$, has the value of $0$ for the case of the $\Lambda$ and $1$ for the case of PEDE. Fitting the introduced parametric form to Planck CMB data and most recent $H_0$ results from local observations of Cepheids and Supernovae, we show that the $\Delta=0$ associated with the $\Lambda$CDM model would fall out of 4$\sigma$ confidence limits of the derived posterior of the $\Delta$ parameter. Moreover, $H_0$ tensions will be alleviated with emergent dark energy model and this model can satisfy the combination of Planck CMB data and local $H_0$ observations with $\Delta{\rm{DIC}}\,=\,-2.88$ compared with $\LCDM$ model.


title: Nodal elliptic curves on K3 surfaces

abstract: Let $(X,L)$ be a general primitively polarized K3 surface with $c_1(L)^2 = 2g-2$ for some integer $g \geq 2$. The Severi variety $V^{L,\delta} \subset |L|$ is defined to be the locus of reduced and irreducible curves in $|L|$ with exactly $\delta$ nodes and no other singularities. When $\delta=g$, any curve $C \in V^{L,g}$ is a rational curve; in fact, Chen \cite{Chen02} has shown that all rational curves in $|L|$ are nodal, and the number of such rational curves is given by the Yau-Zaslow formula \cite{YZ96}. In this paper, we consider the next case where $\delta = g-1$ and the Severi variety $V^{L,g-1}$ parametrizing nodal elliptic curves is of dimension 1. Let $\overline{V}^{L,g-1} \subset |L|$ denote the Zariski closure. For a reduced curve $C$, we define the geometric genus of $C$ to be the sum of the genera of the irreducible components of the normalization. We prove that the geometric genus of the closure $\overline{V}^{L,g-1} \subset |L|$ is bounded from below by $O(e^{C\sqrt{g}})$.


title: Enhanced Carrier Transport by Transition Metal Doping in WS2 Field Effect Transistors

abstract: High contact resistance is one of the primary concerns for electronic device applications of two-dimensional (2D) layered semiconductors. Here, we explore the enhanced carrier transport through metal-semiconductor interfaces in WS2 field effect transistors (FETs) by introducing a typical transition metal, Cu, with two different doping strategies: (i) a "generalized" Cu doping by using randomly distributed Cu atoms along the channel and (ii) a "localized" Cu doping by adapting an ultrathin Cu layer at the metal-semiconductor interface. Compared to the pristine WS2 FETs, both the generalized Cu atomic dopant and localized Cu contact decoration can provide a Schottky-to-Ohmic contact transition owing to the reduced contact resistances by 1 - 3 orders of magnitude, and consequently elevate electron mobilities by 5 - 7 times higher. Our work demonstrates that the introduction of transition metal can be an efficient and reliable technique to enhance the carrier transport and device performance in 2D TMD FETs.


title: The parabolic Anderson model on a Galton-Watson tree

abstract: We study the long-time asymptotics of the total mass of the solution to the parabolic Anderson model (PAM) on a supercritical Galton-Watson random tree with bounded degrees. We identify the second-order contribution to this asymptotics in terms of a variational formula that gives information about the local structure of the region where the solution is concentrated. The analysis behind this formula suggests that, under mild conditions on the model parameters, concentration takes place on a tree with minimal degree. Our approach can be applied to finite locally tree-like random graphs, in a coupled limit where both time and graph size tend to infinity. As an example, we consider the configuration model or, more precisely, the uniform simple random graph with a prescribed degree sequence.


title: Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches

abstract: Falsification of hybrid systems is attracting ever-growing attention in quality assurance of Cyber-Physical Systems (CPS) as a practical alternative to exhaustive formal verification. In falsification, one searches for a falsifying input that drives a given black-box model to output an undesired signal. In this paper, we identify input constraints---such as the constraint "the throttle and brake pedals should not pressed simultaneously" for an automotive powertrain model---as a key factor for the practical value of falsification methods. We propose three approaches for systematically addressing input constraints in optimization-based falsification, two among which come from the lexicographic method studied in the context of constrained multi-objective optimization. Our experiments show the approaches' effectiveness.


title: Game of Pure Chance with Restricted Boundary

abstract: We consider various probabilistic games with piles for one player or two players. In each round of the game, a player randomly chooses to add $a$ or $b$ chips to his pile under the condition that $a$ and $b$ are not necessarily positive. If a player has a negative number of chips after making his play, then the number of chips he collects will stay at $0$ and the game will continue. All the games we considered satisfy these rules. The game ends when one collects $n$ chips for the first time. Each player is allowed to start with $s$ chips where $s\geq 0$. We consider various cases of $(a,b)$ including the pairs $(1,-1)$ and $(2,-1)$ in particular. We investigate the probability generating functions of the number of turns required to end the games. We derive interesting recurrence relations for the sequences of such functions in $n$ and write these generating functions as rational functions. As an application, we derive other statistics for the games which include the average number of turns required to end the game and other higher moments.


title: Utilizing Essential Symmetry Breaking in Auxiliary-Field Quantum Monte Carlo: Application to the Spin Gaps of the C$_{36}$ Fullerene and an Iron Porphyrin Model Complex

abstract: We present three distinct examples where phaseless auxiliary-field Quantum Monte Carlo (ph-AFQMC) can be reliably performed with a single-determinant trial wavefunction with essential symmetry breaking. We first utilized essential time-reversal symmetry breaking with ph-AFQMC to compute the triplet-singlet energy gap in the TS12 set. We found statistically better performance of ph-AFQMC with complex-restricted orbitals than with spin-unrestricted orbitals. We then showed the utilization of essential spin symmetry breaking when computing the single-triplet gap of a known biradicaloid, C$_{36}$. ph-AFQMC with spin-unrestricted Hartree-Fock (ph-AFQMC+UHF) fails catastrophically even with spin-projection and predicts no biradicaloid character. With approximate Brueckner orbitals obtained from regularized orbital-optimized second-order M{\o}ller-Plesset perturbation theory ($\kappa$-OOMP2), ph-AFQMC quantitatively captures strong biradicaloid character of C$_{36}$. Lastly, we applied ph-AFQMC to the computation of the quintet-triplet gap in a model iron porphyrin complex where brute-force methods with a small active space fail to capture the triplet ground state. We show unambiguously that neither triplet nor quintet is strongly correlated using UHF, $\kappa$-OOMP2, and coupled-cluster with singles and doubles (CCSD) performed on UHF and $\kappa$-OOMP2 orbitals. There is no essential symmetry breaking in this problem. By virtue of this, we were able to perform UHF+ph-AFQMC reliably with a cc-pVTZ basis set and predicted a triplet ground state for this model geometry. The largest ph-AFQMC in this work correlated 186 electrons in 956 orbitals. Our work highlights the utility, scalability, and accuracy of ph-AFQMC with a single determinant trial wavefunction with essential symmetry breaking for systems mainly dominated by dynamical correlation with little static correlation.


title: Possible interpretation of the newly observed $\Omega_b$ states

abstract: Inspired by the newly observed $\Omega_b$ states by the LHCb Collaboration, we investigate the two-body strong decays of the low-lying $\lambda$-mode $\Omega_b$ baryons up to $N=2$ shell using the chiral quark model within the $j$-$j$ coupling scheme. Our results indicate that: (i) the newly observed states $\Omega_b(6316)^-$ and $\Omega_b(6330)^-$ are good candidates of the light spin $j=1$ states, while the spin-parity $J^P=1/2^-$ and $J^P=3/2^-$ cannot be distinguished. The other two states, $\Omega_b(6340)$ and $\Omega_b(6350)$ mostly correspond to the light spin $j=2$ states, while the spin-parity $J^P=3/2^-$ and $J^P=5/2^-$ cannot be distinguished as well.(ii) The $2S$ states with spin-parity $J^P=1/2^+$ and $J^P=3/2^+$, respectively, might be narrow states with a width of $\Gamma<2$ MeV. (iii) The $1D$ states are not broad and the total decay widths vary from several to dozens of MeV, which have a good potential to be observed in future experiments.


title: Kernels of polarizations of abelian varieties over finite fields

abstract: Suppose $C$ is an isogeny class of abelian varieties over a finite field $k$. In this paper we give a partial answer to the question of which finite group schemes over $k$ occur as kernels of polarizations of varieties in $C$. We show that there is an element $I_C$ of a finite two-torsion group that determines which Jordan-H\"older isomorphism classes of finite commutative group schemes over $k$ contain kernels of polarizations. We indicate how the two-torsion group can be computed from the characteristic polynomial of the Frobenius endomorphism of the varieties in $C$, and we give some relatively weak sufficient conditions for the element $I_C$ to be zero. Using these conditions, we show that every isogeny class of simple odd-dimensional abelian varieties over a finite field contains a principally polarized variety. As a step in the proofs of these theorems, we prove that if $K$ is a CM-field and $A$ is a central simple $K$-algebra with an involution of the second kind, then every totally positive real element of $K$ is the reduced norm of a positive symmetric element of $A$.


title: $D^*D\rho$ and $B^*B\rho$ strong couplings in light-cone sum rules

abstract: We present an improved calculation of the strong coupling constants $g_{D^*D\rho}$ and $g_{B^*B\rho}$ in light-cone sum rules including the one-loop QCD corrections of leading power with $\rho$ meson distribution amplitudes. We further compute the subleading-power corrections from two-particle and three-particle higher-twist contributions at leading order up to twist-4 accuracy. The next-to leading order corrections to leading power contribution offset the subleading-power corrections to some extend numerically, and our numerical results are consistent with previous works from sum rules. The comparisons between our results and the existing model-dependent estimations are also made.


title: Resolving learning rates adaptively by locating Stochastic Non-Negative Associated Gradient Projection Points using line searches

abstract: Learning rates in stochastic neural network training are currently determined a priori to training, using expensive manual or automated iterative tuning. This study proposes gradient-only line searches to resolve the learning rate for neural network training algorithms. Stochastic sub-sampling during training decreases computational cost and allows the optimization algorithms to progress over local minima. However, it also results in discontinuous cost functions. Minimization line searches are not effective in this context, as they use a vanishing derivative (first order optimality condition), which often do not exist in a discontinuous cost function and therefore converge to discontinuities as opposed to minima from the data trends. Instead, we base candidate solutions along a search direction purely on gradient information, in particular by a directional derivative sign change from negative to positive (a Non-negative Associative Gradient Projection Point (NN- GPP)). Only considering a sign change from negative to positive always indicates a minimum, thus NN-GPPs contain second order information. Conversely, a vanishing gradient is purely a first order condition, which may indicate a minimum, maximum or saddle point. This insight allows the learning rate of an algorithm to be reliably resolved as the step size along a search direction, increasing convergence performance and eliminating an otherwise expensive hyperparameter.


title: Partial Gaussian sums and the P\'{o}lya--Vinogradov inequality for primitive characters

abstract: In this paper we obtain a new fully explicit constant for the P\'olya-Vinogradov inequality for primitive characters. Given a primitive character $\chi$ modulo $q$, we prove the following upper bound \begin{align*} \left| \sum_{1 \le n\le N} \chi(n) \right|\le c \sqrt{q} \log q, \end{align*} where $c=3/(4\pi^2)+o_q(1)$ for even characters and $c=3/(8\pi)+o_q(1)$ for odd characters, with explicit $o_q(1)$ terms. This improves a result of Frolenkov and Soundararajan for large $q$. We proceed, following Hildebrand, obtaining the explicit version of a result by Montgomery--Vaughan on partial Gaussian sums and an explicit Burgess-like result on convoluted Dirichlet characters.


title: The Nonequilibrium Mechanism of Noise Enhancer synergizing with Activator in HIV Latency Reactivation

abstract: Noise-modulating chemicals can synergize with transcriptional activators in reactivating latent HIV to eliminate latent HIV reservoirs. To understand the underlying biomolecular mechanism, we investigate a previous two-gene-state model and identify two necessary conditions for the synergy: an assumption of inhibition effect of transcription activators on noise enhancers; and frequent transitions to the gene non-transcription-permissive state. We then develop a loop-four-gene-state model with Tat transcription/translation and find that drug synergy is mainly determined by the magnitude and direction of energy input into the genetic regulatory kinetics of the HIV promoter. The inhibition effect of transcription activators is actually a phenomenon of energy dissipation in the nonequilibrium gene transition system. Overall, the loop-four-state model demonstrates that energy dissipation plays a crucial role in HIV latency reactivation, which might be useful for improving drug effects and identifying other synergies on lentivirus latency reactivation.


title: Resonance interaction between two entangled gravitational polarizable objects

abstract: We investigate the resonance quadrupole-quadrupole interaction between two entangled gravitationally polarizable objects induced by a bath of fluctuating quantum gravitational fields in vacuum in the framework of linearized quantum gravity. Our result shows that, the interaction energy behaves as $r^{-5}$ in the near regime, and oscillates with a decreasing amplitude proportional to $r^{-1}$ in the far regime, where $r$ is the distance between the two objects. Compared to the case when the two objects are in their ground states, the quantum gravitational interaction is significantly enhanced when the objects are in an entangled state. Remarkably, in the far regime, the resonance quantum gravitational interaction can give the dominating quantum correction to the Newtonian potential, since the extremum is much greater than the monopole-monopole quantum gravitational interaction.


title: Non-Uniform Windowed Decoding For Multi-Dimensional Spatially-Coupled LDPC Codes

abstract: In this paper, we propose a non-uniform windowed decoder for multi-dimensional spatially-coupled LDPC (MD-SC-LDPC) codes over the binary erasure channel. An MD-SC-LDPC code is constructed by connecting together several SC-LDPC codes into one larger code that provides major benefits over a variety of channel models. In general, SC codes allow for low-latency windowed decoding. While a standard windowed decoder can be naively applied, such an approach does not fully utilize the unique structure of MD-SC-LDPC codes. In this paper, we propose and analyze a novel non-uniform decoder to provide more flexibility between latency and reliability. Our theoretical derivations and empirical results show that our non-uniform decoder greatly improves upon the standard windowed decoder in terms of design flexibility, latency, and complexity.


title: A Memory Augmented Architecture for Continuous Speaker Identification in Meetings

abstract: We introduce and analyze a novel approach to the problem of speaker identification in multi-party recorded meetings. Given a speech segment and a set of available candidate profiles, we propose a novel data-driven way to model the distance relations between them, aiming at identifying the speaker label corresponding to that segment. To achieve this we employ a recurrent, memory-based architecture, since this class of neural networks has been shown to yield advanced performance in problems requiring relational reasoning. The proposed encoding of distance relations is shown to outperform traditional distance metrics, such as the cosine distance. Additional improvements are reported when the temporal continuity of the audio signals and the speaker changes is modeled in. In this paper, we have evaluated our method in two different tasks, i.e. scripted and real-world business meeting scenarios, where we report a relative reduction in speaker error rate of 39.28% and 51.84%, respectively, compared to the baseline.


title: Learning multiview 3D point cloud registration

abstract: We present a novel, end-to-end learnable, multiview 3D point cloud registration algorithm. Registration of multiple scans typically follows a two-stage pipeline: the initial pairwise alignment and the globally consistent refinement. The former is often ambiguous due to the low overlap of neighboring point clouds, symmetries and repetitive scene parts. Therefore, the latter global refinement aims at establishing the cyclic consistency across multiple scans and helps in resolving the ambiguous cases. In this paper we propose, to the best of our knowledge, the first end-to-end algorithm for joint learning of both parts of this two-stage problem. Experimental evaluation on well accepted benchmark datasets shows that our approach outperforms the state-of-the-art by a significant margin, while being end-to-end trainable and computationally less costly. Moreover, we present detailed analysis and an ablation study that validate the novel components of our approach. The source code and pretrained models are publicly available under https://github.com/zgojcic/3D_multiview_reg.


title: Parameterized Complexity Analysis of Randomized Search Heuristics

abstract: This chapter compiles a number of results that apply the theory of parameterized algorithmics to the running-time analysis of randomized search heuristics such as evolutionary algorithms. The parameterized approach articulates the running time of algorithms solving combinatorial problems in finer detail than traditional approaches from classical complexity theory. We outline the main results and proof techniques for a collection of randomized search heuristics tasked to solve NP-hard combinatorial optimization problems such as finding a minimum vertex cover in a graph, finding a maximum leaf spanning tree in a graph, and the traveling salesperson problem.


title: Holder Continuity of Absolutely Continuous Spectral Measure for Multi-frequency Schrodinger Operators

abstract: We establish sharp results on the modulus of continuity of the distribution of the spectral measure for multi-frequency Schrodinger operators with Diphantine frequencies and small analytic potentials.


title: Experimental Detection of the Quantum Phases of a Three-Dimensional Topological Insulator on a Spin Quantum Simulator

abstract: The detection of topological phases of matter becomes a central issue in recent years. Conventionally, the realization of a specific topological phase in condensed matter physics relies on probing the underlying surface band dispersion or quantum transport signature of a real material, which may be imperfect or even absent. On the other hand, quantum simulation offers an alternative approach to directly measure the topological invariant on a universal quantum computer. However, experimentally demonstrating high-dimensional topological phases remains a challenge due to the technical limitations of current experimental platforms. Here, we investigate the three-dimensional topological insulators in the AIII (chiral unitary) symmetry class which yet lack experimental realization. Using the nuclear magnetic resonance system, we experimentally demonstrate their topological properties, where a dynamical quenching approach is adopted and the dynamical bulk-boundary correspondence in the momentum space is observed. As a result, the topological invariants are measured with high precision on the band-inversion surface, exhibiting robustness to the decoherence effect. Our work paves the way towards the quantum simulation of topological phases of matter in higher dimensions and more complex systems through controllable quantum phases transitions.


title: Topological quantum optical states in quasiperiodic cold atomic chains

abstract: Topological quantum optical states in one-dimensional (1D) quasiperiodic cold atomic chains are studied in this work. We propose that by introducing incommensurate modulations on the interatomic distances of 1D periodic atomic chains, the off-diagonal Aubry-Andr\'e-Harper (AAH) model can be mimicked, although the crucial difference is the existence of long-range dipole-dipole interactions. The discrete band structures with respect to the modulation phase, which plays the role of a dimension extension parameter, are calculated for finite chains beyond the nearest-neighbor approximation. It is found that the present system indeed supports nontrivial topological states localized over the boundaries. Despite the presence of long-range dipole-dipole interactions that leads to an asymmetric band structure, it is demonstrated that this system inherits the topological properties of two-dimensional integer quantum Hall systems. The spectral position, for both real and imaginary frequencies, and number of these topologically protected edge states are still governed by the gap-labeling theorem and characterized by the topological invariant, namely, the (first) Chern number, indicating the validity of bulk-boundary correspondence. Due to the fractal spectrum arising from the quasiperiodicity in a substantially wide range of system parameters, our system provides a large number of topological gaps and optical states readily for practical use. It is also revealed that a substantial proportion of the topological edge states are highly subradiant with extremely low decay rates, which therefore offer an appealing route for controlling the emission of external quantum emitters and achieving high-fidelity quantum state storage.


title: Rational Kernel on Pricing Models of Inflation Derivatives

abstract: The aim of this thesis is to analyze and renovate few main-stream models on inflation derivatives. In the first chapter of the thesis, concepts of financial instruments and fundamental terms are introduced, such as coupon bond, inflation-indexed bond, swap. In the second chapter of the thesis, classic models along the history of developing quantified interest rate models are introduced and analyzed. Moreover, the classification of interest rate models is introduced to help audiences understand the intrinsic ideology behind each type of models. In the third chapter of the thesis, the related mathematical knowledge is introduced. This part has the contribution on understanding the terms and relation among terms in each model introduced previously. In the fourth part of the thesis, the renovation of HJM frame work is introduced and analysis has been initiated.


title: On the temperature of the solar wind

abstract: Solar wind provides an example of a weakly collisional plasma expanding from a thermal source in the presence of spatially diverging magnetic field lines. Observations show that in the inner heliosphere, the electron temperature declines with the distance approximately as $T_{e}(r)\sim r^{-0.3} \dots r^{-0.7}$, which is significantly slower than the adiabatic expansion law $ \sim r^{-4/3}$. Motivated by such observations, we propose a kinetic theory that addresses the non-adiabatic evolution of a nearly collisionless plasma expanding from a central thermal source. We concentrate on the dynamics of energetic electrons propagating along a radially diverging magnetic flux tube. Due to the conservation of their magnetic moments, the electrons form a beam collimated along the magnetic field lines. Due to weak energy exchange with the background plasma, the beam population slowly loses its energy and heats the background plasma. We propose that no matter how weak the collisions are, at large enough distances from the source a universal regime of expansion is established where the electron temperature declines as $T_e(r)\propto r^{-2/5}$. This is close to the observed scaling of the solar wind temperature in the inner heliosphere. Our first-principle kinetic derivation may thus provide an explanation for the slower-than-adiabatic temperature decline in the solar wind. More broadly, it may be useful for describing magnetized winds from G-type stars.


title: Valid p-Values and Expectations of p-Values Revisited

abstract: A storm of favorable or critical publications regarding p-values-based procedures has been observed in both the theoretical and applied literature. We focus on valid definitions of p-values in the scenarios when composite null models are in effect. A valid p-value (VpV) statistic can be used to make a prefixed level-decision. In this context, Kolmogorov Smirnov goodness-of-fit tests and the normal two sample problem are considered. In particular, we examine an issue regarding the goodness-of-fit testability based on a single observation. This article exemplifies constructions of new test procedures, advocating practical reasons to implement VpV-based mechanisms. The VpV framework induces an extension of the conventional expected p-value (EPV) tool for measuring the performance of a test. Associating the EPV concept with the receiver operating characteristic (ROC) curve methodology, a well-established biostatistical approach, we propose a Youden index based optimality principle to derive critical values of decision making procedures. In these terms, the significance level alpha=0.05 can be suggested, in many situations. In light of an ROC curve analysis, we introduce partial EPVs to characterize properties of tests including their unbiasedness. We also provide the intrinsic relationship between the Bayes Factor (BF) test statistic and the BF of test statistics. Keywords: AUC; Bayes Factor; Expected p-value; Kolmogorov Smirnov tests; Likelihood ratio; Nuisance parameters; P-value; ROC curve; Pooled data; Single observation; Type I error rate; Youden index


title: Recommendations to enhance rigor and reproducibility in biomedical research

abstract: Computational methods have reshaped the landscape of modern biology. While the biomedical community is increasingly dependent on computational tools, the mechanisms ensuring open data, open software, and reproducibility are variably enforced by academic institutions, funders, and publishers. Publications may present academic software for which essential materials are or become unavailable, such as source code and documentation. Publications that lack such information compromise the role of peer review in evaluating technical strength and scientific contribution. Incomplete ancillary information for an academic software package may bias or limit any subsequent work produced with the tool. We provide eight recommendations across four different domains to improve reproducibility, transparency, and rigor in computational biology - precisely on the main values which should be emphasized in life science curricula. Our recommendations for improving software availability, usability, and archival stability aim to foster a sustainable data science ecosystem in biomedicine and life science research.


title: Extension of frames and bases -- II

abstract: Operator-valued frame ($G$-frame), as a generalization of frame is introduced by Kaftal, Larson, and Zhang in \textit{Trans. Amer. Math. Soc.}, 361(12):6349-6385, 2009 and by Sun in \textit{J. Math. Anal. Appl.}, 322(1):437-452, 2006. It has been further extended in the paper arXiv:1810.01629 [math.OA] 3 October 2018, so as to have a rich theory on operator-valued frames for Hilbert spaces as well as for Banach spaces. The continuous version has been studied in this paper when the indexing set is a measure space. We study duality, similarity, orthogonality and stability of this extension. Several characterizations are given including a notable characterization when the measure space is a locally compact group. Variation formula, dimension formula and trace formula are derived when the Hilbert space is finite dimensional.


title: Logarithmic behaviour of connected correlation function in CFT

abstract: We study $(m)$-type connected correlation functions of OPE blocks with respect to one spatial region in two dimensional conformal field theory. We find logarithmic divergence for these correlation functions. We justify the logarithmic behaviour from three different approaches: massless free scalar theory, Selberg integral and conformal block. Cutoff independent coefficients are obtained from analytic continuation of conformal blocks. A UV/IR relation has been found in connected correlation functions. We could derive a formal ``first law of thermodynamics'' for a subsystem using deformed reduced density matrix. Area law of connected correlation function in higher dimensions is also discussed briefly.


title: The Synthinel-1 dataset: a collection of high resolution synthetic overhead imagery for building segmentation

abstract: Recently deep learning - namely convolutional neural networks (CNNs) - have yielded impressive performance for the task of building segmentation on large overhead (e.g., satellite) imagery benchmarks. However, these benchmark datasets only capture a small fraction of the variability present in real-world overhead imagery, limiting the ability to properly train, or evaluate, models for real-world application. Unfortunately, developing a dataset that captures even a small fraction of real-world variability is typically infeasible due to the cost of imagery, and manual pixel-wise labeling of the imagery. In this work we develop an approach to rapidly and cheaply generate large and diverse virtual environments from which we can capture synthetic overhead imagery for training segmentation CNNs. Using this approach, generate and publicly-release a collection of synthetic overhead imagery - termed Synthinel-1 with full pixel-wise building labels. We use several benchmark dataset to demonstrate that Synthinel-1 is consistently beneficial when used to augment real-world training imagery, especially when CNNs are tested on novel geographic locations or conditions.


title: Prediction of Ternary Fluorooxoborates with Coplanar Triangle Units [BOxF3-x]x- From First-Principles

abstract: Ten new ternary fluorooxoborate structures were obtained from first-principles prediction. Coplanar aligned triangle structure units [BO2F]2- and [BOF2]- like [BO3]3- in borates were found from the computational simulation. We identified new covalent coordination patterns of the F atom connected with the B atoms which are located in the bridging site, -B--F--B-. Besides, one molecular crystal with [B4O4F4] molecular unit was attached.


title: Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs

abstract: We introduce an infinitary first order linear logic with least and greatest fixed points. To ensure cut elimination, we impose a validity condition on infinite derivations. Our calculus is designed to reason about rich signatures of mutually defined inductive and coinductive linear predicates. In a major case study we use it to prove the strong progress property for binary session-typed processes under an asynchronous communication semantics. As far as we are aware, this is the first proof of this property.


title: Physical and Behavioral Adaptations to Prevent Overheating of the Living Wings of Butterflies

abstract: The wings of Lepidoptera contain a matrix of living cells whose function requires appropriate temperatures. However, given their small thermal capacity, wings can overheat rapidly in the sun. Here we analyze butterfly wings across a wide range of simulated environmental conditions, and find that regions containing living cells are maintained at cooler temperatures. Diverse scale nanostructures and non-uniform cuticle thicknesses create a heterogeneous distribution of radiative cooling that selectively reduces the temperature of structures such as wing veins and androconial organs. These tissues are supplied by circulatory, neural and tracheal systems throughout the adult lifetime, indicating that the insect wing is a dynamic, living structure. Behavioral assays show that butterflies use wings to sense visible and infrared radiation, responding with specialized behaviors to prevent overheating of their wings. Our work highlights the physiological importance of wing temperature and how it is exquisitely regulated by structural and behavioral adaptations.


title: Achievable DoF Regions of Three-User MIMO Broadcast Channel with Delayed CSIT

abstract: For the two-user multiple-input multiple-output (MIMO) broadcast channel with delayed channel state information at the transmitter (CSIT) and arbitrary antenna configurations, all the degrees-of-freedom (DoF) regions are obtained. However, for the three-user MIMO broadcast channel with delayed CSIT and arbitrary antenna configurations, the DoF region of order-2 messages is still unclear and only a partial achievable DoF region of order-1 messages is obtained, where the order-2 messages and order-1 messages are desired by two receivers and one receiver, respectively. In this paper, for the three-user MIMO broadcast channel with delayed CSIT and arbitrary antenna configurations, we first design transmission schemes for order-2 messages and order-1 messages. Next, we propose to analyze the achievable DoF region of transmission scheme by transformation approach. In particular, we transform the decoding condition of transmission scheme w.r.t. phase duration into the achievable DoF region w.r.t. achievable DoF, through achievable DoF tuple expression connecting phase duration and achievable DoF. As a result, the DoF region of order-2 messages is characterized and an achievable DoF region of order-1 messages is completely expressed. Besides, for order-1 messages, we derive the sufficient condition, under which the proposed achievable DoF region is the DoF region.


title: Nonreciprocal surface acoustic wave propagation via magneto-rotation coupling

abstract: One of the most fundamental forms of magnon-phonon interaction is an intrinsic property of magnetic materials, the "magnetoelastic coupling". This particular form of interaction has been the basis for describing magnetic materials and their strain related applications, where strain induces changes of internal magnetic fields. Different from the magnetoelastic coupling, more than 40 years ago, it was proposed that surface acoustic waves may induce surface magnons via rotational motion of the lattice in anisotropic magnets. However, a signature of this magnon-phonon coupling mechanism, termed magneto-rotation coupling, has been elusive. Here, we report the first observation and theoretical framework of the magneto-rotation coupling in a perpendicularly anisotropic ultra-thin film Ta/CoFeB(1.6 nm)/MgO, which consequently induces nonreciprocal acoustic wave attenuation with a unprecedented ratio up to 100$\%$ rectification at the theoretically predicted optimized condition. Our work not only experimentally demonstrates a fundamentally new path for investigating magnon-phonon coupling, but also justify the feasibility of the magneto-rotation coupling based application.


title: Non-Autoregressive Machine Translation with Disentangled Context Transformer

abstract: State-of-the-art neural machine translation models generate a translation from left to right and every step is conditioned on the previously generated tokens. The sequential nature of this generation process causes fundamental latency in inference since we cannot generate multiple tokens in each sentence in parallel. We propose an attention-masking based model, called Disentangled Context (DisCo) transformer, that simultaneously generates all tokens given different contexts. The DisCo transformer is trained to predict every output token given an arbitrary subset of the other reference tokens. We also develop the parallel easy-first inference algorithm, which iteratively refines every token in parallel and reduces the number of required iterations. Our extensive experiments on 7 translation directions with varying data sizes demonstrate that our model achieves competitive, if not better, performance compared to the state of the art in non-autoregressive machine translation while significantly reducing decoding time on average. Our code is available at https://github.com/facebookresearch/DisCo.


title: Driver Safety Development Real Time Driver Drowsiness Detection System Based on Convolutional Neural Network

abstract: This paper focuses on the challenge of driver safety on the road and presents a novel system for driver drowsiness detection. In this system, to detect the falling sleep state of the driver as the sign of drowsiness, Convolutional Neural Networks (CNN) are used with regarding the two goals of real-time application, including high accuracy and fastness. Three networks introduced as a potential network for eye status classifcation in which one of them is a Fully Designed Neural Network (FD-NN) and others use Transfer Learning in VGG16 and VGG19 with extra designed layers (TL-VGG). Lack of an available and accurate eye dataset strongly feels in the area of eye closure detection. Therefore, a new comprehensive dataset proposed. The experimental results show the high accuracy and low computational complexity of the eye closure estimation and the ability of the proposed framework on drowsiness detection.


title: On number of pendants in local antimagic chromatic number

abstract: An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $\chi_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. Let $\chi(G)$ be the chromatic number of $G$. In this paper, sharp upper and lower bounds of $\chi_{la}(G)$ for $G$ with pendant vertices, and sufficient conditions for the bounds to equal, are obtained. Consequently, for $k\ge 1$, there are infinitely many graphs with $k \ge \chi(G) - 1$ pendant vertices and $\chi_{la}(G) = k+1$. We conjecture that every tree $T_k$, other than certain caterpillars, spiders and lobsters, with $k\ge 1$ pendant vertices has $\chi_{la}(T_k) = k+1$.


title: A Knowledge-Enhanced Pretraining Model for Commonsense Story Generation

abstract: Story generation, namely generating a reasonable story from a leading context, is an important but challenging task. In spite of the success in modeling fluency and local coherence, existing neural language generation models (e.g., GPT-2) still suffer from repetition, logic conflicts, and lack of long-range coherence in generated stories. We conjecture that this is because of the difficulty of associating relevant commonsense knowledge, understanding the causal relationships, and planning entities and events with proper temporal order. In this paper, we devise a knowledge-enhanced pretraining model for commonsense story generation. We propose to utilize commonsense knowledge from external knowledge bases to generate reasonable stories. To further capture the causal and temporal dependencies between the sentences in a reasonable story, we employ multi-task learning which combines a discriminative objective to distinguish true and fake stories during fine-tuning. Automatic and manual evaluation shows that our model can generate more reasonable stories than state-of-the-art baselines, particularly in terms of logic and global coherence.


title: Graph-Bert: Only Attention is Needed for Learning Graph Representations

abstract: The dominant graph neural networks (GNNs) over-rely on the graph links, several serious performance problems with which have been witnessed already, e.g., suspended animation problem and over-smoothing problem. What's more, the inherently inter-connected nature precludes parallelization within the graph, which becomes critical for large-sized graph, as memory constraints limit batching across the nodes. In this paper, we will introduce a new graph neural network, namely GRAPH-BERT (Graph based BERT), solely based on the attention mechanism without any graph convolution or aggregation operators. Instead of feeding GRAPH-BERT with the complete large input graph, we propose to train GRAPH-BERT with sampled linkless subgraphs within their local contexts. GRAPH-BERT can be learned effectively in a standalone mode. Meanwhile, a pre-trained GRAPH-BERT can also be transferred to other application tasks directly or with necessary fine-tuning if any supervised label information or certain application oriented objective is available. We have tested the effectiveness of GRAPH-BERT on several graph benchmark datasets. Based the pre-trained GRAPH-BERT with the node attribute reconstruction and structure recovery tasks, we further fine-tune GRAPH-BERT on node classification and graph clustering tasks specifically. The experimental results have demonstrated that GRAPH-BERT can out-perform the existing GNNs in both the learning effectiveness and efficiency.


title: Direct Measurements of Collisional Dynamics in Cold Atom Triads

abstract: The introduction of optical tweezers for trapping atoms has opened remarkable opportunities for manipulating few-body systems. Here, we present the first bottom-up assembly of atom triads. We directly observe atom loss through inelastic collisions at the single event level, overcoming the substantial challenge in many-atom experiments of distinguishing one-, two-, and three-particle processes. We measure a strong suppression of three-body loss, which is not fully explained by the presently availably theory for three-body processes. The suppression of losses could indicate the presence of local anti-correlations due to the interplay of attractive short range interactions and low dimensional confinement. Our methodology opens a promising pathway in experimental few-body dynamics.


title: Theoretical Interpretation of Learned Step Size in Deep-Unfolded Gradient Descent

abstract: Deep unfolding is a promising deep-learning technique in which an iterative algorithm is unrolled to a deep network architecture with trainable parameters. In the case of gradient descent algorithms, as a result of the training process, one often observes the acceleration of the convergence speed with learned non-constant step size parameters whose behavior is not intuitive nor interpretable from conventional theory. In this paper, we provide a theoretical interpretation of the learned step size of deep-unfolded gradient descent (DUGD). We first prove that the training process of DUGD reduces not only the mean squared error loss but also the spectral radius related to the convergence rate. Next, we show that minimizing the upper bound of the spectral radius naturally leads to the Chebyshev step which is a sequence of the step size based on Chebyshev polynomials. The numerical experiments confirm that the Chebyshev steps qualitatively reproduce the learned step size parameters in DUGD, which provides a plausible interpretation of the learned parameters. Additionally, we show that the Chebyshev steps achieve the lower bound of the convergence rate for the first-order method in a specific limit without learning parameters or momentum terms.


title: Doping and temperature evolution of pseudogap and spin-spin correlations in the two-dimensional Hubbard model

abstract: Cluster perturbation theory is applied to the two-dimensional Hubbard $t-t'-t''-U$ model to obtain doping and temperature dependent electronic spectral function with $4 \times 4$ and 12-site clusters. It is shown that evolution of the pseudogap and electronic dispersion with doping and temperature is similar and in both cases it is significantly influenced by spin-spin short-range correlations. When short-range magnetic order is weakened by doping or temperature and Hubbard-I like electronic dispersion becomes more pronounced, the Fermi arc turns into large Fermi surface and the pseudogap closes. It is demonstrated how static spin correlations impact the overall dispersion's shape and how accounting for dynamic contributions leads to momentum-dependent spectral weight at the Fermi surface and broadening effects.


title: Anisotropic behavior of TiB2 nanoparticles reinforced 2024Al composites rolling sheet

abstract: The in-plane anisotropy (IPA) of mechanical properties existed in plate products is often undesired since it limits the industrial application and increases the difficulty of material processing. It is thus one of the important factors which requires strict control during the manufacture of high-performance aluminum alloy plates. The anisotropic behavior of TiB2/2024Al composite rolling sheet under different heat treatment is studied in this article. T4 heat treated specimen shows good isotropy of yield strength and its texture components are significantly weakened compared with traditional Al alloys. The evolution of microstructures for T4 specimen was studied. The submicron TiB2 particles increase the driving force of recrystallization during rolling process and static recrystallization (SRX) is stimulated, thus induces texture randomization. Anisotropic behavior of yield strength occurs in specimen after T3 heat treatment. It is supposed that the difference in the activation of slip system under different loading direction gives rise to this anisotropy.


title: Low-lying level structure of $\Lambda$ hypernuclei and spin dependence of $\Lambda N$ interaction with antisymmetrized molecular dynamics

abstract: $\Lambda N$ spin-spin and spin-orbit splittings in low-lying excitation spectra are investigated for $p$-shell $\Lambda$ hypernuclei on the basis of the microscopic structure calculation within the antisymmetrized molecular dynamics, where the $\Lambda N$ $G$-matrix interaction derived from the baryon-baryon interaction model ESC (extended soft core) is used. It is found that the ground-state spin-parity is systematically reproduced in the $p$-shell $\Lambda$ hypernuclei by tuning the $\Lambda N$ spin-spin and spin-orbit interactions so as to reproduce the experimental data of $^{4}_\Lambda$H, $^{7}_\Lambda$Li and $^9_\Lambda$Be. Furthermore, we also focus on the excitation energies of the excited doublets as well as the energy shifts of them by the addition of a $\Lambda$ particle.


title: On the Power of Randomization for Scheduling Real-Time Traffic in Wireless Networks

abstract: In this paper, we consider the problem of scheduling real-time traffic in wireless networks under a conflict-graph interference model and single-hop traffic. The objective is to guarantee that at least a certain fraction of packets of each link are delivered within their deadlines, which is referred to as delivery ratio. This problem has been studied before under restrictive frame-based traffic models, or greedy maximal scheduling schemes like LDF (Largest-Deficit First) that provide poor delivery ratio for general traffic patterns. In this paper, we pursue a different approach through randomization over the choice of maximal links that can transmit at each time. We design randomized policies in collocated networks, multi-partite networks, and general networks, that can achieve delivery ratios much higher than what is achievable by LDF. Further, our results apply to traffic (arrival and deadline) processes that evolve as positive recurrent Markov Chains. Hence, this work is an improvement with respect to both efficiency and traffic assumptions compared to the past work. We further present extensive simulation results over various traffic patterns and interference graphs to illustrate the gains of our randomized policies over LDF variants.


title: Analytical shape recovery of a conductivity inclusion based on Faber polynomials

abstract: A conductivity inclusion, inserted in a homogeneous background, induces a perturbation in the background potential. This perturbation admits a multipole expansion whose coefficients are the so-called generalized polarization tensors (GPTs). GPTs can be obtained from multistatic measurements. As a modification of GPTs, the Faber polynomial polarization tensors (FPTs) were recently introduced in two dimensions. In this study, we design two novel analytical non-iterative methods for recovering the shape of a simply connected inclusion from GPTs by employing the concept of FPTs. First, we derive an explicit expression for the coefficients of the exterior conformal mapping associated with an inclusion in a simple form in terms of GPTs, which allows us to accurately reconstruct the shape of an inclusion with extreme or near-extreme conductivity. Secondly, we provide an explicit asymptotic formula in terms of GPTs for the shape of an inclusion with arbitrary conductivity by considering the inclusion as a perturbation of its equivalent ellipse. With this formula, one can non-iteratively approximate an inclusion of general shape with arbitrary conductivity, including a straight or asymmetric shape. Numerical experiments demonstrate the validity of the proposed analytical approaches.


title: Bifurcation of elastic solids with sliding interfaces

abstract: Lubricated sliding contact between soft solids is an interesting topic in biomechanics and for the design of small-scale engineering devices. As a model of this mechanical set-up, two elastic nonlinear solids are considered jointed through a frictionless and bilateral surface, so that continuity of the normal component of the Cauchy traction holds across the surface, but the tangential component is null. Moreover, the displacement can develop only in a way that the bodies in contact do neither detach, nor overlap. Surprisingly, this finite strain problem has not been correctly formulated until now, so that this formulation is the objective of the present paper. The incremental equations are shown to be non-trivial and different from previously (and erroneously) employed conditions. In particular, an exclusion condition for bifurcation is derived to show that previous formulations based on frictionless contact or 'spring-type' interfacial conditions are not able to predict bifurcations in tension, while experiments -- one of which, ad hoc designed, is reported -- show that these bifurcations are a reality and become possible when the correct sliding interface model is used. The presented results introduce a methodology for the determination of bifurcations and instabilities occurring during lubricated sliding between soft bodies in contact.


title: CheXplain: Enabling Physicians to Explore and UnderstandData-Driven, AI-Enabled Medical Imaging Analysis

abstract: The recent development of data-driven AI promises to automate medical diagnosis; however, most AI functions as 'black boxes' to physicians with limited computational knowledge. Using medical imaging as a point of departure, we conducted three iterations of design activities to formulate CheXplain---a system that enables physicians to explore and understand AI-enabled chest X-ray analysis: (1) a paired survey between referring physicians and radiologists reveals whether, when, and what kinds of explanations are needed; (2) a low-fidelity prototype co-designed with three physicians formulates eight key features; and (3) a high-fidelity prototype evaluated by another six physicians provides detailed summative insights on how each feature enables the exploration and understanding of AI. We summarize by discussing recommendations for future work to design and implement explainable medical AI systems that encompass four recurring themes: motivation, constraint, explanation, and justification.


title: Machine learning analysis of tunnel magnetoresistance of magnetic tunnel junctions with disordered MgAl2O4

abstract: Through Bayesian optimization and the least absolute shrinkage and selection operator (LASSO) technique combined with first-principles calculations, we investigated the tunnel magnetoresistance (TMR) effect of Fe/disordered-MgAl2O4(MAO)/Fe(001) magnetic tunnel junctions (MTJs) to determine structures of disordered-MAO that give large TMR ratios. The optimal structure with the largest TMR ratio was obtained by Bayesian optimization with 1728 structural candidates, where the convergence was reached within 300 structure calculations. Characterization of the obtained structures suggested that the in-plane distance between two Al atoms plays an important role in determining the TMR ratio. Since the Al-Al distance of disordered MAO significantly affects the imaginary part of complex band structures, the majority-spin conductance of the {\Delta}1 state in Fe/disordered-MAO/Fe MTJs increases with increasing in-plane Al-Al distance, leading to larger TMR ratios. Furthermore, we found that the TMR ratio tended to be large when the ratio of the number of Al, Mg, and vacancies in the [001] plane was 2:1:1, indicating that the control of Al atomic positions is essential to enhancing the TMR ratio in MTJs with disordered MAO. The present work reveals the effectiveness and advantage of material informatics combined with first-principles transport calculations in designing high-performance spintronic devices based on MTJs.


title: DESHIMA on ASTE: On-sky Responsivity Calibration of the Integrated Superconducting Spectrometer

abstract: We are developing an ultra-wideband spectroscopic instrument, DESHIMA (DEep Spectroscopic HIgh-redshift MApper), based on the technologies of an on-chip filter-bank and Microwave Kinetic Inductance Detector (MKID) to investigate dusty star-burst galaxies in the distant universe at millimeter and submillimeter wavelength. An on-site experiment of DESHIMA was performed using the ASTE 10-m telescope. We established a responsivity model that converts frequency responses of the MKIDs to line-of-sight brightness temperature. We estimated two parameters of the responsivity model using a set of skydip data taken under various precipitable water vapor (PWV, 0.4-3.0 mm) conditions for each MKID. The line-of-sight brightness temperature of sky is estimated using an atmospheric transmission model and the PWVs. As a result, we obtain an average temperature calibration uncertainty of $1\sigma=4$%, which is smaller than other photometric biases. In addition, the average forward efficiency of 0.88 in our responsivity model is consistent with the value expected from the geometrical support structure of the telescope. We also estimate line-of-sight PWVs of each skydip observation using the frequency response of MKIDs, and confirm the consistency with PWVs reported by the Atacama Large Millimeter/submillimeter Array.


title: Relevance Prediction from Eye-movements Using Semi-interpretable Convolutional Neural Networks

abstract: We propose an image-classification method to predict the perceived-relevance of text documents from eye-movements. An eye-tracking study was conducted where participants read short news articles, and rated them as relevant or irrelevant for answering a trigger question. We encode participants' eye-movement scanpaths as images, and then train a convolutional neural network classifier using these scanpath images. The trained classifier is used to predict participants' perceived-relevance of news articles from the corresponding scanpath images. This method is content-independent, as the classifier does not require knowledge of the screen-content, or the user's information-task. Even with little data, the image classifier can predict perceived-relevance with up to 80% accuracy. When compared to similar eye-tracking studies from the literature, this scanpath image classification method outperforms previously reported metrics by appreciable margins. We also attempt to interpret how the image classifier differentiates between scanpaths on relevant and irrelevant documents.


title: Extending Class Activation Mapping Using Gaussian Receptive Field

abstract: This paper addresses the visualization task of deep learning models. To improve Class Activation Mapping (CAM) based visualization method, we offer two options. First, we propose Gaussian upsampling, an improved upsampling method that can reflect the characteristics of deep learning models. Second, we identify and modify unnatural terms in the mathematical derivation of the existing CAM studies. Based on two options, we propose Extended-CAM, an advanced CAM-based visualization method, which exhibits improved theoretical properties. Experimental results show that Extended-CAM provides more accurate visualization than the existing methods.


title: Generation of Solenoidal Modes and Magnetic Fields in Turbulence Driven by Compressive Driving

abstract: We perform numerical simulations of hydrodynamic (HD) and magnetohydrodynamic (MHD) turbulence driven by compressive driving to study generation of solenoidal velocity component and small-scale magnetic field. We mainly focus on the effects of mean magnetic field ($B_0$) and the sonic Mach number ($M_s$). We also consider two different driving schemes in terms of correlation timescale of forcing vectors: a finite-correlated driving and a delta-correlated driving. The former has a longer correlation timescale of forcing vectors, which is comparable to large-eddy turnover time, than the latter. Our findings are as follows. First, when we fix the value of $B_0$, the level of solenoidal velocity component after saturation increases as $M_s$ increases. A similar trend is observed for generation of magnetic field when $B_0$ is small. Second, when we fix the value of $M_s$, HD and MHD simulations result in similar level of the solenoidal component when $B_0$ $\lesssim$ 0.2 (or Alfven Mach number of $\sim$ 5). However, the level increases when $B_0$ $\gtrsim$ 0.2. Roughly speaking, the magnetic energy density after saturation is a linearly increasing function of $B_0$ irrespective of $M_s$. Third, generation of solenoidal velocity component is not sensitive to numerical resolution, but that of magnetic energy density is mildly sensitive. Lastly, when initial conditions are same, the finite-correlated driving always produces more solenoidal velocity and small-scale magnetic field components than the delta-correlated driving. We additionally analyze the vorticity equation to understand why higher $M_s$ and $B_0$ yield larger quantity of the solenoidal velocity component.

categories: astro-ph.GA astro-ph.CO astro-ph.SR physics.flu-dyn


title: Reconstruction of Rough Conductivities from Boundary Measurements

abstract: We show the validity of Nachman's procedure (Ann. Math., 128(3):531--576, 1988) for reconstructing a conductivity $\gamma$ from its Dirichlet-to-Neumann map $\Lambda_\gamma$ for less regular conductivities, specifically $\gamma \in W^{3/2,2n}(\Omega)$ such that $\gamma \equiv 1$ near $\partial \Omega$. We also obtain a log-type stability estimate for the inverse problem when in addition, $\gamma \in W^{2-s,n/s}(\Omega)$ for $0 < s <1/2$.


title: Decay of Turbulence in Fluids with Polytropic Equations of State

abstract: We present numerical simulations of decaying hydrodynamic turbulence initially driven by solenoidal (divergence-free) and compressive (curl-free) driving. Most previous numerical studies for decaying turbulence assume an isothermal equation of state (EOS). Here we use a polytropic EOS, $P$ $\propto$ $\rho^{\gamma}$, with polytropic $\gamma$ ranging from 0.7 to 5/3. We mainly aim at determining the effects of polytropic $\gamma$ and driving schemes on the decay law of turbulence energy, E $\propto$ $t^{-\alpha}$. We additionally study probability density function (PDF) of gas density and skewness of the distribution in polytropic turbulence driven by compressive driving. Our findings are as follows. First of all, we find that even if polytropic $\gamma$ does not strongly change scaling relation of the decay law, the driving schemes weakly change the relation; in our all simulations, turbulence decays with $\alpha$ $\approx$ 1, but compressive driving yields smaller $\alpha$ than solenoidal driving at the same sonic Mach number. Second, we calculate compressive and solenoidal velocity components separately and compare their decay rates in turbulence initially driven by compressive driving. We find that the former decays much faster so that it ends up having a smaller fraction than the latter. Third, the density PDF of compressively driven turbulence with polytropic $\gamma$ $>$ 1 deviates from log-normal distribution: it has a power-law tail at low density as in the case of solenoidally driven turbulence. However, as it decays, the density PDF becomes approximately log-normal. We discuss why decay rates of compressive and solenoidal velocity components are different in compressively driven turbulence and astrophysical implication of our findings.


title: An Efficient and Wear-Leveling-Aware Frequent-Pattern Mining on Non-Volatile Memory

abstract: Frequent-pattern mining is a common approach to reveal the valuable hidden trends behind data. However, existing frequent-pattern mining algorithms are designed for DRAM, instead of persistent memories (PMs), which can lead to severe performance and energy overhead due to the utterly different characteristics between DRAM and PMs when they are running on PMs. In this paper, we propose an efficient and Wear-leveling-aware Frequent-Pattern Mining scheme, WFPM, to solve this problem. The proposed WFPM is evaluated by a series of experiments based on realistic datasets from diversified application scenarios, where WFPM achieves 32.0% performance improvement and prolongs the NVM lifetime of header table by 7.4x over the EvFP-Tree.


title: OpenHI2 -- Open source histopathological image platform

abstract: Transition from conventional to digital pathology requires a new category of biomedical informatic infrastructure which could facilitate delicate pathological routine. Pathological diagnoses are sensitive to many external factors and is known to be subjective. Only systems that can meet strict requirements in pathology would be able to run along pathological routines and eventually digitized the study area, and the developed platform should comply with existing pathological routines and international standards. Currently, there are a number of available software tools which can perform histopathological tasks including virtual slide viewing, annotating, and basic image analysis, however, none of them can serve as a digital platform for pathology. Here we describe OpenHI2, an enhanced version Open Histopathological Image platform which is capable of supporting all basic pathological tasks and file formats; ready to be deployed in medical institutions on a standard server environment or cloud computing infrastructure. In this paper, we also describe the development decisions for the platform and propose solutions to overcome technical challenges so that OpenHI2 could be used as a platform for histopathological images. Further addition can be made to the platform since each component is modularized and fully documented. OpenHI2 is free, open-source, and available at https://gitlab.com/BioAI/OpenHI.


title: Ohmic contacts on n-type and p-type cubic silicon carbide (3C-SiC) grown on silicon

abstract: This paper is a report on Ohmic contacts on n-type and p-type type cubic silicon carbide (3C-SiC) layers grown on silicon substrates. In particular, the morphological, electrical and structural properties of annealed Ni and Ti/Al/Ni contacts has been studied employing several characterization techniques. Ni films annealed at 950{\deg}C form Ohmic contacts on moderately n-type doped 3C-SiC (ND ~ 1x1017cm-3), with a specific contact resistance of 3.7x10-3 {\Omega}cm2. The main phase formed upon annealing in this contact was nickel silicide (Ni2Si), with randomly dispersed carbon in the reacted layer. In the case of a p-type 3C-SiC with a high doping level (NA ~ 5x1019cm-3), Ti/Al/Ni contacts were preferable to Ni ones, as they gave much lower values of the specific contact resistance (1.8x10-5 {\Omega}cm2). Here, an Al3Ni2 layer was formed in the uppermost part of the contact, while TiC was detected at the interface. For this system, a temperature dependent electrical characterization allowed to establish that the thermionic field emission rules the current transport at the interface. All these results can be useful for the further development of a devices technology based on the 3C-SiC polytype.


title: A phase-field model for the evaporation of thin film mixtures

abstract: The performance of solution-processed solar cells strongly depends on the geometrical structure and roughness of the photovoltaic layers formed during film drying. During the drying process, the interplay of crystallization and liquid-liquid demixing leads to the structure formation on the nano- and microscale and to the final rough film. In order to better understand how the film structure can be improved by process engineering, we aim at theoretically investigating these systems by means of phase-field simulations. We introduce an evaporation model based on the Cahn-Hilliard equation for the evolution of the fluid concentrations coupled to the Allen-Cahn equation for the liquid-vapour phase transformation. We demonstrate its ability to match the experimentally measured drying kinetics and study the impact of the parameters of our model. Furthermore, the evaporation of solvent blends and solvent-vapour annealing are investigated. The dry film roughness emerges naturally from our set of equations, as illustrated through preliminary simulations of spinodal decomposition and film drying on structured substrates.


title: Pose-Assisted Multi-Camera Collaboration for Active Object Tracking

abstract: Active Object Tracking (AOT) is crucial to many visionbased applications, e.g., mobile robot, intelligent surveillance. However, there are a number of challenges when deploying active tracking in complex scenarios, e.g., target is frequently occluded by obstacles. In this paper, we extend the single-camera AOT to a multi-camera setting, where cameras tracking a target in a collaborative fashion. To achieve effective collaboration among cameras, we propose a novel Pose-Assisted Multi-Camera Collaboration System, which enables a camera to cooperate with the others by sharing camera poses for active object tracking. In the system, each camera is equipped with two controllers and a switcher: The vision-based controller tracks targets based on observed images. The pose-based controller moves the camera in accordance to the poses of the other cameras. At each step, the switcher decides which action to take from the two controllers according to the visibility of the target. The experimental results demonstrate that our system outperforms all the baselines and is capable of generalizing to unseen environments. The code and demo videos are available on our website https://sites.google.com/view/pose-assistedcollaboration.


title: Spanning trees, cycle-rooted spanning forests on discretizations of flat surfaces and analytic torsion

abstract: We study the asymptotic expansion of the determinant of the graph Laplacian associated to discretizations of a half-translation surface endowed with a flat unitary vector bundle. By doing so, over the discretizations, we relate the asymptotic expansion of the number of spanning trees and the sum of cycle-rooted spanning forests weighted by the monodromy of the connection of the unitary vector bundle, to the corresponding zeta-regularized determinants. As one application, by combining our result with a recent work of Kassel-Kenyon, modulo some universal topological constants, we give an explicit formula for the limit of the probability that a cycle-rooted spanning forest with non-contractible loops, sampled uniformly on discretizations approaching a given surface, induces the given lamination by its cycles. We also calculate an explicit value for the limit of certain topological observables on the associated loop measures.

categories: math.PR math-ph math.CO math.DG math.FA math.MP


title: The Great Divide: Drivers of Polarization in the US Public

abstract: Many democratic societies have become more politically polarized, with the U.S. as the main example. The origins of this phenomenon are still not well-understood and subject to debate. To better understand the mechanisms underlying political polarization, we develop a mathematical framework and employ information-theoretic concepts to analyze empirical data on political polarization that has been collected by Pew Research Center from 1994 to 2017. Our framework can capture the evolution of polarization in the Democratic- and Republican-leaning segments of the U.S. public and allows us to identify its drivers. Our findings provide empirical and quantitative evidence that political polarization in the U.S. is mainly driven by strong and more left-leaning policy/cultural innovations in the Democratic party.