title: Confidently Comparing Estimators with the c-value

abstract: Modern statistics provides an ever-expanding toolkit for estimating unknown parameters. Consequently, applied statisticians frequently face a difficult decision: retain a parameter estimate from a familiar method or replace it with an estimate from a newer or more complex one. While it is traditional to compare estimates using risk, such comparisons are rarely conclusive in realistic settings. In response, we propose the "c-value" as a measure of confidence that a new estimate achieves smaller loss than an old estimate on a given dataset. We show that it is unlikely that a large c-value coincides with a larger loss for the new estimate. Therefore, just as a small p-value supports rejecting a null hypothesis, a large c-value supports using a new estimate in place of the old. For a wide class of problems and estimates, we show how to compute a c-value by first constructing a data-dependent high-probability lower bound on the difference in loss. The c-value is frequentist in nature, but we show that it can provide validation of shrinkage estimates derived from Bayesian models in real data applications involving hierarchical models and Gaussian processes.


title: Real-Time Topology Detection and State Estimation in Distribution Systems Using Micro-PMU and Smart Meter Data

abstract: Distribution network topology detection and state estimation in real-time are critical for modern distribution systems management and control. However, number of sensors in distribution networks are limited and communication links between switch devices and distribution management system are not well-established. In this regard, this paper proposes mixed-integer quadratic programming (MIQP) formulations to determine the topology of distribution network and estimate distribution system states simultaneously using micro-phasor measurement units (micro-PMUs) and smart meter data. Two approaches based on AC optimal power flow are proposed and analyzed: (i) polar power-voltage (PPV) formulation, and (ii) rectangular current-voltage (RIV) formulation. The proposed models include convex objective function while constraints are linearized using first-order approximation of Taylor series and Big M method. The proposed models can identify multiple simultaneous switching actions at each time instant and different topology configurations including radial and meshed networks. Only measurement data at each time interval is needed to identify topology and states of the system correctly. The proposed models are tested on a modified IEEE-33 bus system with realistic load data from Pecan Street Inc. database. The results confirm that both models can identify system topology and states with remarkable accuracy in real-time, while RIV model outperforms PPV model.


title: Three-Dimensional Reconstruction of Weak Lensing Mass Maps with a Sparsity Prior. I. Cluster Detection

abstract: We propose a novel method to reconstruct high-resolution three-dimensional mass maps using data from photometric weak-lensing surveys. We apply an adaptive LASSO algorithm to perform a sparsity-based reconstruction on the assumption that the underlying cosmic density field is represented by a sum of Navarro-Frenk-White halos. We generate realistic mock galaxy shape catalogues by considering the shear distortions from isolated halos for the configurations matched to Subaru Hyper Suprime-Cam Survey with its photometric redshift estimates. We show that the adaptive method significantly reduces line-of-sight smearing that is caused by the correlation between the lensing kernels at different redshifts. Lensing clusters with lower mass limits of $10^{14.0} h^{-1}M_{\odot}$, $10^{14.7} h^{-1}M_{\odot}$, $10^{15.0} h^{-1}M_{\odot}$ can be detected with 1.5-$\sigma$ confidence at the low ($z<0.3$), median ($0.3\leq z< 0.6$) and high ($0.6\leq z< 0.85$) redshifts, respectively, with an average false detection rate of 0.022 deg$^{-2}$. The estimated redshifts of the detected clusters are systematically lower than the true values by $\Delta z \sim 0.03$ for halos at $z\leq 0.4$, but the relative redshift bias is below $0.5\%$ for clusters at $0.4<z\leq 0.85$. The standard deviation of the redshift estimation is $0.092$. Our method enables direct three-dimensional cluster detection with accurate redshift estimates.


title: Back Translation Survey for Improving Text Augmentation

abstract: Natural Language Processing (NLP) relies heavily on training data. Transformers, as they have gotten bigger, have required massive amounts of training data. To satisfy this requirement, text augmentation should be looked at as a way to expand your current dataset and to generalize your models. One text augmentation we will look at is translation augmentation. We take an English sentence and translate it to another language before translating it back to English. In this paper, we look at the effect of 108 different language back translations on various metrics and text embeddings.


title: Ultrasound-based Control of Micro-Bubbles for Exosome Delivery in Treating COVID-19 Lung Damage

abstract: The recent COVID-19 pandemic has resulted in high fatality rates, especially for patients who suffer from underlying health issues. One of the more serious symptoms exhibited from patients suffering from an acute COVID-19 infection is breathing difficulties and shortness of breath, which is largely due to the excessive fluid (cellular leakage and cytokine storm) and mucoid debris that have filled lung alveoli, and reduced the surfactant tension resulting in heavy and stiff lungs. In this paper, we propose the use of micro-bubbles filled with exosomes that can be released upon exposure to ultrasound signals as possible rescue therapy in deteriorating COVID-19 patients. Recent studies have shown that exosomes can be used to repair and treat lung damage for patients who have suffered from viral infection. We have conducted simulations to show the efficacy of the ultrasound signals that will penetrate through layers of tissues reaching the alveoli that contain the micro-bubbles. Our results have shown that ultrasound signals with low frequencies are required to oscillate and rupture the polymer-based micro-bubbles. Our proposed system can be used for patients who require immediate rescue treatments for lung damage, as well as for recovered patients who may suffer from viral relapse infection, where the micro-bubbles will remain dormant for a temporary therapeutic window until they are exposed to the ultrasound signals.


title: Combining Text Mining and Visualization Techniques to Study Teams' Behavioral Processes

abstract: There is growing interest in mining software repository data to understand, and predict, various aspects of team processes. In particular, text mining and natural-language processing (NLP) techniques have supported such efforts. Visualization may also supplement text mining to reveal unique multi-dimensional insights into software teams' behavioral processes. We demonstrate the utility of combining these approaches in this study. Future application of these methods to the study of teams' behavioral processes offers promise for both research and practice.


title: Automated crystal orientation mapping by precession electron diffraction assisted four-dimensional scanning transmission electron microscopy (4D-STEM) using a scintillator based CMOS detector

abstract: The recent development of electron sensitive and pixelated detectors has attracted the use of four-dimensional scanning transmission electron microscopy (4D-STEM). Here, we present a precession electron diffraction assisted 4D-STEM technique for automated orientation mapping using diffraction spot patterns directly captured by an in-column scintillator based complementary metal-oxide-semiconductor (CMOS) detector. We compare the results to a conventional approach, which utilizes a fluorescent screen filmed by an external CCD camera. The high dynamic range and signal-to-noise characteristics of the detector largely improve the image quality of the diffraction patterns, especially the visibility of diffraction spots at high scattering angles. In the orientation maps reconstructed via the template matching process, the CMOS data yields a significant reduction of false indexing and higher reliability compared to the conventional approach. The angular resolution of misorientation measurement could also be improved by masking reflections close to the direct beam. This is because the orientation sensitive, weak and small diffraction spots at high scattering angle are more significant. The results show that fine details such as nanograins, nanotwins and sub-grain boundaries can be resolved with a sub-degree angular resolution which is comparable to orientation mapping using Kikuchi diffraction patterns.


title: Quantum detector tomography of superconducting nanostrip photon-number-resolving detector

abstract: Superconducting nanostrip photon detectors have been used as single photon detectors, which can discriminate only photons' presence or absence. It has recently been found that they can discriminate the number of photons by analyzing the output signal waveform, and they are expected to be used in various fields, especially in optical quantum information processing. Here, we improve the photon-number-resolving performance for light with a high-average photon number by pattern matching of the output signal waveform. Furthermore, we estimate the positive-operator-valued measure of the detector by a quantum detector tomography. The result shows that the device has photon-number-resolving performance up to five photons without any multiplexing or arraying, indicating that it is useful as a photon-number-resolving detector.


title: A Compiler Infrastructure for Accelerator Generators

abstract: We present Calyx, a new intermediate language (IL) for compiling high-level programs into hardware designs. Calyx combines a hardware-like structural language with a software-like control flow representation with loops and conditionals. This split representation enables a new class of hardware-focused optimizations that require both structural and control flow information which are crucial for high-level programming models for hardware design. The Calyx compiler lowers control flow constructs using finite-state machines and generates synthesizable hardware descriptions. We have implemented Calyx in an optimizing compiler that translates high-level programs to hardware. We demonstrate Calyx using two DSL-to-RTL compilers, a systolic array generator and one for a recent imperative accelerator language, and compare them to equivalent designs generated using high-level synthesis (HLS). The systolic arrays are $4.6\times$ faster and $1.1\times$ larger on average than HLS implementations, and the HLS-like imperative language compiler is within a few factors of a highly optimized commercial HLS toolchain. We also describe three optimizations implemented in the Calyx compiler.


title: Machine learning of mirror skin effects in the presence of disorder

abstract: Non-Hermitian systems with mirror symmetry may exhibit mirror skin effect which is the extreme sensitivity of the spectrum and eigenstates on the boundary condition due to the non-Hermitian topology protected by mirror symmetry. In this paper, we report that the mirror skin effect survives even against disorder which breaks the mirror symmetry. Specifically, we demonstrate the robustness of the skin effect by employing the neural network which systematically predicts the presence/absence of the skin modes, a large number of localized states around the edge. The trained neural network detects skin effects in high accuracy, which allows us to obtain the phase diagram. We also calculate the probability by the neural network for each of states. The above results are also confirmed by calculating the inverse participation ratio.


title: Cross-Validated Loss-Based Covariance Matrix Estimator Selection in High Dimensions

abstract: The covariance matrix plays a fundamental role in many modern exploratory and inferential statistical procedures, including dimensionality reduction, hypothesis testing, and regression. In low-dimensional regimes, where the number of observations far exceeds the number of variables, the optimality of the sample covariance matrix as an estimator of this parameter is well-established. High-dimensional regimes do not admit such a convenience, however. As such, a variety of estimators have been derived to overcome the shortcomings of the sample covariance matrix in these settings. Yet, the question of selecting an optimal estimator from among the plethora available remains largely unaddressed. Using the framework of cross-validated loss-based estimation, we develop the theoretical underpinnings of just such an estimator selection procedure. In particular, we propose a general class of loss functions for covariance matrix estimation and establish finite-sample risk bounds and conditions for the asymptotic optimality of the cross-validated estimator selector with respect to these loss functions. We evaluate our proposed approach via a comprehensive set of simulation experiments and demonstrate its practical benefits by application in the exploratory analysis of two single-cell transcriptome sequencing datasets. A free and open-source software implementation of the proposed methodology, the cvCovEst R package, is briefly introduced.


title: Tight Trade-off in Contention Resolution without Collision Detection

abstract: In this paper, we consider contention resolution on a multiple-access communication channel. In this problem, a set of nodes arrive over time, each with a message it intends to send. In each time slot, each node may attempt to broadcast its message or remain idle. If a single node broadcasts in a slot, the message is received by all nodes; otherwise, if multiple nodes broadcast simultaneously, a collision occurs and none succeeds. If collision detection is available, nodes can differentiate collision and silence (i.e., no nodes broadcast). Performance of contention resolution algorithms is often measured by throughput -- the number of successful transmissions within a period of time; whereas robustness is often measured by jamming resistance -- a jammed slot always generates a collision. Previous work has shown, with collision detection, optimal constant throughput can be attained, even if a constant fraction of all slots are jammed. The situation when collision detection is not available, however, remains unclear. In a recent breakthrough paper [Bender et al., STOC '20], a crucial case is resolved: constant throughput is possible without collision detection, but only if there is no jamming. Nonetheless, the exact trade-off between the best possible throughput and the severity of jamming remains unknown. In this paper, we address this open question. Specifically, for any level of jamming ranging from none to constant fraction, we prove an upper bound on the best possible throughput, along with an algorithm attaining that bound. An immediate and interesting implication of our result is, when a constant fraction of all slots are jammed, which is the worst-case scenario, there still exists an algorithm achieving a decent throughput: $\Theta(t/\log{t})$ messages could be successfully transmitted within $t$ slots.


title: Continual Learning for Blind Image Quality Assessment

abstract: The explosive growth of image data facilitates the fast development of image processing and computer vision methods for emerging visual applications, meanwhile introducing novel distortions to the processed images. This poses a grand challenge to existing blind image quality assessment (BIQA) models, failing to continually adapt to such subpopulation shift. Recent work suggests training BIQA methods on the combination of all available human-rated IQA datasets. However, this type of approach is not scalable to a large number of datasets, and is cumbersome to incorporate a newly created dataset as well. In this paper, we formulate continual learning for BIQA, where a model learns continually from a stream of IQA datasets, building on what was learned from previously seen data. We first identify five desiderata in the new setting with a measure to quantify the plasticity-stability trade-off. We then propose a simple yet effective method for learning BIQA models continually. Specifically, based on a shared backbone network, we add a prediction head for a new dataset, and enforce a regularizer to allow all prediction heads to evolve with new data while being resistant to catastrophic forgetting of old data. We compute the quality score by an adaptive weighted summation of estimates from all prediction heads. Extensive experiments demonstrate the promise of the proposed continual learning method in comparison to standard training techniques for BIQA. We made the code publicly available at https://github.com/zwx8981/BIQA_CL.


title: Permutation-Based SGD: Is Random Optimal?

abstract: A recent line of ground-breaking results for permutation-based SGD has corroborated a widely observed phenomenon: random permutations offer faster convergence than with-replacement sampling. However, is random optimal? We show that this depends heavily on what functions we are optimizing, and the convergence gap between optimal and random permutations can vary from exponential to nonexistent. We first show that for 1-dimensional strongly convex functions, with smooth second derivatives, there exist permutations that offer exponentially faster convergence compared to random. However, for general strongly convex functions, random permutations are optimal. Finally, we show that for quadratic, strongly-convex functions, there are easy-to-construct permutations that lead to accelerated convergence compared to random. Our results suggest that a general convergence characterization of optimal permutations cannot capture the nuances of individual function classes, and can mistakenly indicate that one cannot do much better than random.


title: Signal Detection in Distributed MIMO Radar with Non-Orthogonal Waveforms and Sync Errors

abstract: Although routinely utilized in literature, orthogonal waveforms may lose orthogonality in distributed multi-input multi-output (MIMO) radar with spatially separated transmit (TX) and receive (RX) antennas, as the waveforms may experience distinct delays and Doppler frequency offsets unique to different TX-RX propagation paths. In such cases, the output of each waveform-specific matched filter (MF), employed to unravel the waveforms at the RXs, contains both an \auto term and multiple cross terms, i.e., the filtered response of the desired and, respectively, undesired waveforms. We consider the impact of non-orthogonal waveforms and their cross terms on target detection with or without timing, frequency, and phase errors. To this end, we present a general signal model for distributed MIMO radar, examine target detection using existing coherent/non-coherent detectors and two new detectors, including a hybrid detector that requires phase coherence locally but not across distributed antennas, and provide a statistical analysis leading to closed-form expressions of false alarm and detection probabilities for all detectors. Our results show that cross terms can behave like foes or allies, respectively, if they and the auto term add destructively or constructively, depending on the propagation delay, frequency, and phase offsets. Regarding sync errors, we show that phase errors affect only coherent detectors, frequency errors degrade all but the non-coherent detector, while all are impacted by timing errors, which result in a loss in the signal-to-noise ratio (SNR).


title: Curvature estimates for stable minimal surfaces with a common free boundary

abstract: The minimal surfaces meeting in triples with equal angles along a common boundary naturally arise from soap films and other physical phenomenon. They are also the natural extension of the usual minimal surface. In this paper, we consider the multiple junction surface and show the Bernstein Theorem still holds for stable multiple junction surface in some special case. The key part is to derive the $L^p$ estimate of the curvature for multiple junction surface.


title: Approximations in transmon simulation

abstract: Classical simulations of time-dependent quantum systems are widely used in quantum control research. In particular, these simulations are commonly used to host iterative optimal control algorithms. This is convenient for algorithms that are too onerous to run in the loop with current-day quantum hardware, as well as for researchers without consistent access to hardware. However, if the model used to represent the system is not selected carefully, an optimised control protocol may be rendered futile when applied to hardware. We present a series of models, ordered in a hierarchy of progressive approximation, which appear in quantum control literature. The validity of each model is characterised experimentally by designing and benchmarking control protocols for an IBMQ cloud quantum device. This result demonstrates error amplification induced by the application of a first-order perturbative approximation. Furthermore, the emergence of errors that cannot be corrected by simple amplitude scaling of control pulses is demonstrated in simulation, due to an underlying mistreatment of noncomputational dynamics. Finally, an evaluation of simulated control dynamics reveals that despite the substantial variance in numerical predictions across the proposed models, the complexity of discovering local optimal control protocols appears invariant in the simple control scheme setting.


title: Scalability of all-optical neural networks based on spatial light modulators

abstract: Optical implementation of artificial neural networks has been attracting great attention due to its potential in parallel computation at speed of light. Although all-optical deep neural networks (AODNNs) with a few neurons have been experimentally demonstrated with acceptable errors recently, the feasibility of large scale AODNNs remains unknown because error might accumulate inevitably with increasing number of neurons and connections. Here, we demonstrate a scalable AODNN with programmable linear operations and tunable nonlinear activation functions. We verify its scalability by measuring and analyzing errors propagating from a single neuron to the entire network. The feasibility of AODNNs is further confirmed by recognizing handwritten digits and fashions respectively.


title: Comparison of Poisson structures on moduli spaces

abstract: Let $X$ be a complex irreducible smooth projective curve, and let ${\mathbb L}$ be an algebraic line bundle on $X$ with a nonzero section $\sigma_0$. Let $\mathcal{M}$ denote the moduli space of stable Hitchin pairs $(E,\, \theta)$, where $E$ is an algebraic vector bundle on $X$ of fixed rank $r$ and degree $\delta$, and $\theta\, \in\, H^0(X,\, End(E)\otimes K_X\otimes{\mathbb L})$. Associating to every stable Hitchin pair its spectral data, an isomorphism of $\mathcal{M}$ with a moduli space $\mathcal{P}$ of stable sheaves of pure dimension one on the total space of $K_X\otimes{\mathbb L}$ is obtained. Both the moduli spaces $\mathcal{P}$ and $\mathcal{M}$ are equipped with algebraic Poisson structures, which are constructed using $\sigma_0$. Here we prove that the above isomorphism between $\mathcal{P}$ and $\mathcal{M}$ preserves the Poisson structures.


title: Ideal fully spin-polarized type-II nodal line state in half-metals X2YZ4 (X=K, Cs, Rb, Y=Cr, Cu, Z=Cl, F)

abstract: Lorentz-violating type-II nodal lines exhibit attracting physical properties and have been hot discussed currently. However, their investigations have been mostly limited in nonmagnetic system because of lacking ideal spin-polarized candidates with clean type-II nodal line states. Here, for the first time, we report the family of X2YZ4 (X=K, Cs, Rb, Y=Cr, Cu, Z=Cl, F) compounds are such ideal candidate materials by using the member of K2CuF4 as an example. We show the material is a ferromagnetic half-metal with weak anisotropy, which host fully spin-polarized conducting electrons. In the conducting spin channel, the band crossing form a pair of type-II nodal lines, protected by mirror symmetry. These type-II nodal lines are different with former proposed examples because they have a 100% spin polarization. In addition, we also show the material can realize switchable topological states, which can be easily controlled by external magnetic field. It is noticed that, the material: i) is stable and can be synthesized in experiments; ii) has clear magnetic structure; and iii) manifests clean type-II nodal line state and clear drumhead surface states. Therefore, the proposed X2YZ4 compounds are expected to be an excellent platform to investigate the novel physical properties of both type-II nodal line states with complete


title: Four-loop collinear anomalous dimensions in QCD and $\mathcal{N} = 4$ super Yang-Mills

abstract: We calculate the collinear anomalous dimensions in massless four-loop QCD and $\mathcal{N} = 4$ supersymmetric Yang-Mills theory from the infrared poles of vertex form factors. We give very precise numerical approximations and a conjecture for the complete analytic results in both models we consider.


title: Equivalences for Linearizations of Matrix Polynomials

abstract: One useful standard method to compute eigenvalues of matrix polynomials ${\bf P}(z) \in \mathbb{C}^{n\times n}[z]$ of degree at most $\ell$ in $z$ (denoted of grade $\ell$, for short) is to first transform ${\bf P}(z)$ to an equivalent linear matrix polynomial ${\bf L}(z)=z{\bf B}-{\bf A}$, called a companion pencil, where ${\bf A}$ and ${\bf B}$ are usually of larger dimension than ${\bf P}(z)$ but ${\bf L}(z)$ is now only of grade $1$ in $z$. The eigenvalues and eigenvectors of ${\bf L}(z)$ can be computed numerically by, for instance, the QZ algorithm. The eigenvectors of ${\bf P}(z)$, including those for infinite eigenvalues, can also be recovered from eigenvectors of ${\bf L}(z)$ if ${\bf L}(z)$ is what is called a "strong linearization" of ${\bf P}(z)$. In this paper we show how to use algorithms for computing the Hermite Normal Form of a companion matrix for a scalar polynomial to direct the discovery of unimodular matrix polynomial cofactors ${\bf E}(z)$ and ${\bf F}(z)$ which, via the equation ${\bf E}(z){\bf L}(z){\bf F}(z) = \mathrm{diag}( {\bf P}(z), {\bf I}_n, \ldots, {\bf I}_n)$, explicitly show the equivalence of ${\bf P}(z)$ and ${\bf L}(z)$. By this method we give new explicit constructions for several linearizations using different polynomial bases. We contrast these new unimodular pairs with those constructed by strict equivalence, some of which are also new to this paper. We discuss the limitations of this experimental, computational discovery method of finding unimodular cofactors.


title: Learning Dynamic BERT via Trainable Gate Variables and a Bi-modal Regularizer

abstract: The BERT model has shown significant success on various natural language processing tasks. However, due to the heavy model size and high computational cost, the model suffers from high latency, which is fatal to its deployments on resource-limited devices. To tackle this problem, we propose a dynamic inference method on BERT via trainable gate variables applied on input tokens and a regularizer that has a bi-modal property. Our method shows reduced computational cost on the GLUE dataset with a minimal performance drop. Moreover, the model adjusts with a trade-off between performance and computational cost with the user-specified hyperparameter.


title: On a Variational Definition for the Jensen-Shannon Symmetrization of Distances based on the Information Radius

abstract: We generalize the Jensen-Shannon divergence by considering a variational definition with respect to a generic mean extending thereby the notion of Sibson's information radius. The variational definition applies to any arbitrary distance and yields another way to define a Jensen-Shannon symmetrization of distances. When the variational optimization is further constrained to belong to prescribed probability measure families, we get relative Jensen-Shannon divergences and symmetrizations which generalize the concept of information projections. Finally, we discuss applications of these variational Jensen-Shannon divergences and diversity indices to clustering and quantization tasks of probability measures including statistical mixtures.


title: Overfitting the literature to one set of stimuli and data

abstract: The fast-growing field of Computational Cognitive Neuroscience is on track to meet its first crisis. A large number of papers in this nascent field are developing and testing novel analysis methods using the same stimuli and neuroimaging datasets. Publication bias and confirmatory exploration will result in overfitting to the limited available data. The field urgently needs to collect more good quality open neuroimaging data using a variety of experimental stimuli, to test the generalisability of current published results, and allow for more robust results in future work.


title: Square-root cancellation for sums of factorization functions over squarefree progressions in $\mathbb F_q[t]$

abstract: We prove estimates for the level of distribution of the M\"obius function, von Mangoldt function, and divisor functions in squarefree progressions in the ring of polynomials over a finite field. Each level of distribution converges to $1$ as $q$ goes to $\infty$, and the power savings converges to square-root cancellation as $q$ goes to $\infty$. These results in fact apply to a more general class of functions, the factorization functions, that includes these three. The divisor estimates have applications to the moments of $L$-functions, and the von Mangoldt estimate to one-level densities.


title: Efficient Riccati recursion for optimal control problems with pure-state equality constraints

abstract: A novel approach to efficiently treat pure-state equality constraints in optimal control problems (OCPs) using a Riccati recursion algorithm is proposed. The proposed method transforms a pure-state equality constraint into a mixed state-control constraint such that the constraint is expressed by variables at a certain previous time stage. It is showed that if the solution satisfies the second-order sufficient conditions of the OCP with the transformed mixed state-control constraints, it is a local minimum of the OCP with the original pure-state constraints. A Riccati recursion algorithm is derived to solve the OCP using the transformed constraints with linear time complexity in the grid number of the horizon, in contrast to a previous approach that scales cubically with respect to the total dimension of the pure-state equality constraints. Numerical experiments on the whole-body optimal control of quadrupedal gaits that involve pure-state equality constraints owing to contact switches demonstrate the effectiveness of the proposed method over existing approaches.


title: Personality Profiles of Global Software Developers

abstract: Context: Individuals' personality traits have been shown to influence their behavior during team work. In particular, positive group attitudes are said to be essential for distributed and global software development efforts where collaboration is critical to project success. Objective: Given this, we have sought to study the influence of global software practitioners' personality profiles from a psycholinguistic perspective. Method: Artifacts from ten teams were selected from the IBM Rational Jazz repository and mined. We employed social network analysis (SNA) techniques to identify and group practitioners into two clusters based on the numbers of messages they communicated, Top Members and Others, and used standard statistical techniques to assess practitioners' engagement in task changes associated with work items. We then performed psycholinguistic analysis on practitioners' messages using linguistic dimensions of the LIWC tool that had been previously correlated with the Big Five personality profiles. Results: For our sample of 146 practitioners, we found that the Top Members demonstrated more openness to experience than the Other practitioners. Additionally, practitioners involved in usability-related tasks were found to be highly extroverted, and coders were most neurotic and conscientious. Conclusion: High levels of organizational and inter-personal skills may be useful for those operating in distributed settings, and personality diversity is likely to boost team performance.


title: On the origin of the mass-metallicity gradient relation in the local Universe

abstract: In addition to the well-known gas phase mass-metallicity relation (MZR), recent spatially-resolved observations have shown that local galaxies also obey a mass-metallicity gradient relation (MZGR) whereby metallicity gradients can vary systematically with galaxy mass. In this work, we use our recently-developed analytic model for metallicity distributions in galactic discs, which includes a wide range of physical processes -- radial advection, metal diffusion, cosmological accretion, and metal-enriched outflows -- to simultaneously analyse the MZR and MZGR. We show that the same physical principles govern the shape of both: centrally-peaked metal production favours steeper gradients, and this steepening is diluted by the addition of metal-poor gas, which is supplied by inward advection for low-mass galaxies and by cosmological accretion for massive galaxies. The MZR and the MZGR both bend at galaxy stellar mass $\sim 10^{10} - 10^{10.5}\,\rm{M_{\odot}}$, and we show that this feature corresponds to the transition of galaxies from the advection-dominated to the accretion-dominated regime. We also find that both the MZR and MZGR strongly suggest that low-mass galaxies preferentially lose metals entrained in their galactic winds. While this metal-enrichment of the galactic outflows is crucial for reproducing both the MZR and the MZGR at the low-mass end, we show that the flattening of gradients in massive galaxies is expected regardless of the nature of their winds.


title: Cercignani conjecture is true for Smoluchowski coagulation equation

abstract: In the present study, the information entropy for smoluchowski coagulation equation is proposed based on the statistical physics. and the normalized particle size distribution is a log-normal function at equilibrium from the principle of maximum entropy and moment constraint. the parameters in the particle size distribution are determined as simple constants, the result reveals that the assumption that algebraic mean volume be unit in self-preserving hypothesis is reasonable. based on the present definition of the information entropy, the cercignani conjecture holds naturally for smoluchowski coagulation equation. Together with the fact that the conjecture is also true for Boltzmann equation, cercignani conjecture holds for any two-body collision systems, which will benefit the understanding of Brownian motion and molecule kinematic theory, such as the stability of the dissipative system, and the mathematical theory of convergence to thermodynamic equilibrium.


title: Theoretical Study on Recognition of Icy Road Surface Condition by Low-THz Frequencies

abstract: Recognition of road surface conditions should always be at the forefront of intelligent transportation systems for the enhancement of transportation safety and efficiency. When road surfaces are covered by ice or snow, accident rate would increase due to the reduction of road surface roughness and also friction between tire and road. High-resolution recognition of natural and manmade surfaces has been proved to be achievable by employing radars operating at low-terahertz frequencies. In this work, we present theoretical investigations on surface condition recognition of an icy road by employing low-terahertz frequencies. A theoretical model combining integral equation method (IEM), radiative transfer equation (RTE) and Rayleigh scattering theory is developed. Good agreement between the calculation results and measured data confirms the applicability of low-terahertz frequencies for the evaluation of icy road surface in winter. The influence of carrier frequency, ambient temperature, impurities inside the ice layer and frozen soil surface conditions on the efficiency of this method is presented and discussed.


title: Orientals as free weak $\omega$-categories

abstract: The orientals are the free strict $\omega$-categories on the simplices introduced by Street. The aim of this paper is to show that they are also the free weak $\omega$-categories on the same generating data. More precisely, we exhibit the Street nerves of the orientals as fibrant replacements of the simplices in Verity's model structure for complicial sets.


title: One Shot Audio to Animated Video Generation

abstract: We consider the challenging problem of audio to animated video generation. We propose a novel method OneShotAu2AV to generate an animated video of arbitrary length using an audio clip and a single unseen image of a person as an input. The proposed method consists of two stages. In the first stage, OneShotAu2AV generates the talking-head video in the human domain given an audio and a person's image. In the second stage, the talking-head video from the human domain is converted to the animated domain. The model architecture of the first stage consists of spatially adaptive normalization based multi-level generator and multiple multilevel discriminators along with multiple adversarial and non-adversarial losses. The second stage leverages attention based normalization driven GAN architecture along with temporal predictor based recycle loss and blink loss coupled with lipsync loss, for unsupervised generation of animated video. In our approach, the input audio clip is not restricted to any specific language, which gives the method multilingual applicability. OneShotAu2AV can generate animated videos that have: (a) lip movements that are in sync with the audio, (b) natural facial expressions such as blinks and eyebrow movements, (c) head movements. Experimental evaluation demonstrates superior performance of OneShotAu2AV as compared to U-GAT-IT and RecycleGan on multiple quantitative metrics including KID(Kernel Inception Distance), Word error rate, blinks/sec


title: A Sequential Learning Algorithm for Probabilistically Robust Controller Tuning

abstract: We introduce a sequential learning algorithm to address a robust controller tuning problem, which in effect, finds (with high probability) a candidate solution satisfying the internal performance constraint to a chance-constrained program which has black-box functions. The algorithm leverages ideas from the areas of randomised algorithms and ordinal optimisation, and also draws comparisons with the scenario approach; these have all been previously applied to finding approximate solutions for difficult design problems. By exploiting statistical correlations through black-box sampling, we formally prove that our algorithm yields a controller meeting the prescribed probabilistic performance specification. Additionally, we characterise the computational requirement of the algorithm with a probabilistic lower bound on the algorithm's stopping time. To validate our work, the algorithm is then demonstrated for tuning model predictive controllers on a diesel engine air-path across a fleet of vehicles. The algorithm successfully tuned a single controller to meet a desired tracking error performance, even in the presence of the plant uncertainty inherent across the fleet. Moreover, the algorithm was shown to exhibit a sample complexity comparable to the scenario approach.


title: On the sensitivity of singular and ill-Conditioned linear systems

abstract: Solving a singular linear system for an individual vector solution is an ill-posed problem with a condition number infinity. From an alternative perspective, however, the general solution of a singular system is of a bounded sensitivity as a unique element in an affine Grassmannian. If a singular linear system is given through empirical data that are sufficiently accurate with a tight error bound, a properly formulated general numerical solution uniquely exists in the same affine Grassmannian, enjoys Lipschitz continuity and approximates the underlying exact solution with an accuracy in the same order as the data. Furthermore, any backward accurate numerical solution vector is an accurate approximation to one of the solutions of the underlying singular system.


title: The role of gas kinematics in setting metallicity gradients at high redshift

abstract: In this work, we explore the diversity of ionised gas kinematics (rotational velocity $v_{\phi}$ and velocity dispersion $\sigma_{\mathrm{g}}$) and gas-phase metallicity gradients at $0.1 \leq z \leq 2.5$ using a compiled data set of 74 galaxies resolved with ground-based integral field spectroscopy. We find that galaxies with the highest and the lowest $\sigma_{\mathrm{g}}$ have preferentially flat metallicity gradients, whereas those with intermediate values of $\sigma_{\mathrm{g}}$ show a large scatter in the metallicity gradients. Additionally, steep negative gradients appear almost only in rotation-dominated galaxies ($v_{\phi}/\sigma_{\mathrm{g}} > 1$), whereas most dispersion-dominated galaxies show flat gradients. We use our recently developed analytic model of metallicity gradients to provide a physical explanation for the shape and scatter of these observed trends. In the case of high $\sigma_{\mathrm{g}}$, the inward radial advection of gas dominates over metal production and causes efficient metal mixing, thus giving rise to flat gradients. For low $\sigma_{\mathrm{g}}$, it is the cosmic accretion of metal-poor gas diluting the metallicity that gives rise to flat gradients. Finally, the reason for intermediate $\sigma_{\mathrm{g}}$ showing the steepest negative gradients is that both inward radial advection and cosmic accretion are weak as compared to metal production, which leads to the creation of steeper gradients. The larger scatter at intermediate $\sigma_{\mathrm{g}}$ may be due in part to preferential ejection of metals in galactic winds, which can decrease the strength of the production term. Our analysis shows how gas kinematics play a critical role in setting metallicity gradients in high-redshift galaxies.


title: Stein variational gradient descent on infinite-dimensional space and applications to statistical inverse problems

abstract: In this paper, we propose an infinite-dimensional version of the Stein variational gradient descent (iSVGD) method for solving Bayesian inverse problems. The method can generate approximate samples from posteriors efficiently. Based on the concepts of operator-valued kernels and vector-valued reproducing kernel Hilbert spaces, a rigorous definition is given for the infinite-dimensional objects, e.g., the Stein operator, which are proved to be the limit of finite-dimensional ones. Moreover, a more efficient iSVGD with preconditioning operators is constructed by generalizing the change of variables formula and introducing a regularity parameter. The proposed algorithms are applied to an inverse problem of the steady state Darcy flow equation. Numerical results confirm our theoretical findings and demonstrate the potential applications of the proposed approach in the posterior sampling of large-scale nonlinear statistical inverse problems.


title: Analysis of Growing Tumor on the Flow Velocity of Cerebrospinal Fluid in Human Brain Using Computational Modeling and Fluid-Structure Interaction

abstract: Cerebrospinal fluid (CSF) plays a pivotal role in normal functioning of Brain. Intracranial compartments such as blood, brain and CSF are incompressible in nature. Therefore, if a volume imbalance in one of the aforenoted compartments is observed, the other reaches out to maintain net change to zero. Whereas, CSF has higher compliance over long term. However, if the CSF flow is obstructed in the ventricles, this compliance may get exhausted early. Brain tumor on the other hand poses a similar challenge towards destabilization of CSF flow by compressing any section of ventricles thereby ensuing obstruction. To avoid invasive procedures to study effects of tumor on CSF flow, numerical-based methods such as Finite element modeling (FEM) are used which provide excellent description of underlying pathological interaction. A 3D fluid-structure interaction (FSI) model is developed to study the effect of tumor growth on the flow of cerebrospinal fluid in ventricle system. The FSI model encapsulates all the physiological parameters which may be necessary in analyzing intraventricular CSF flow behavior. Findings of the model show that brain tumor affects CSF flow parameters by deforming the walls of ventricles in this case accompanied by a mean rise of 74.23% in CSF flow velocity and considerable deformation on the walls of ventricles.


title: Personalized Federated Learning: A Unified Framework and Universal Optimization Techniques

abstract: We investigate the optimization aspects of personalized Federated Learning (FL). We propose general optimizers that can be applied to numerous existing personalized FL objectives, specifically a tailored variant of Local SGD and variants of accelerated coordinate descent/accelerated SVRCD. By examining a general personalized objective capable of recovering many existing personalized FL objectives as special cases, we develop a comprehensive optimization theory applicable to a wide range of strongly convex personalized FL models in the literature. We showcase the practicality and/or optimality of our methods in terms of communication and local computation. Remarkably, our general optimization solvers and theory can recover the best-known communication and computation guarantees for addressing specific personalized FL objectives. Consequently, our proposed methods can serve as universal optimizers, rendering the design of task-specific optimizers unnecessary in many instances.


title: Trends in Vehicle Re-identification Past, Present, and Future: A Comprehensive Review

abstract: Vehicle Re-identification (re-id) over surveillance camera network with non-overlapping field of view is an exciting and challenging task in intelligent transportation systems (ITS). Due to its versatile applicability in metropolitan cities, it gained significant attention. Vehicle re-id matches targeted vehicle over non-overlapping views in multiple camera network. However, it becomes more difficult due to inter-class similarity, intra-class variability, viewpoint changes, and spatio-temporal uncertainty. In order to draw a detailed picture of vehicle re-id research, this paper gives a comprehensive description of the various vehicle re-id technologies, applicability, datasets, and a brief comparison of different methodologies. Our paper specifically focuses on vision-based vehicle re-id approaches, including vehicle appearance, license plate, and spatio-temporal characteristics. In addition, we explore the main challenges as well as a variety of applications in different domains. Lastly, a detailed comparison of current state-of-the-art methods performances over VeRi-776 and VehicleID datasets is summarized with future directions. We aim to facilitate future research by reviewing the work being done on vehicle re-id till to date.


title: Decentralized Deterministic Multi-Agent Reinforcement Learning

abstract: [Zhang, ICML 2018] provided the first decentralized actor-critic algorithm for multi-agent reinforcement learning (MARL) that offers convergence guarantees. In that work, policies are stochastic and are defined on finite action spaces. We extend those results to offer a provably-convergent decentralized actor-critic algorithm for learning deterministic policies on continuous action spaces. Deterministic policies are important in real-world settings. To handle the lack of exploration inherent in deterministic policies, we consider both off-policy and on-policy settings. We provide the expression of a local deterministic policy gradient, decentralized deterministic actor-critic algorithms and convergence guarantees for linearly-approximated value functions. This work will help enable decentralized MARL in high-dimensional action spaces and pave the way for more widespread use of MARL.


title: Spiky strings in de Sitter space

abstract: We study semiclassical spiky strings in de Sitter space and the corresponding Regge trajectories, generalizing the analysis in anti-de Sitter space. In particular we demonstrate that each Regge trajectory has a maximum spin due to de Sitter acceleration, similarly to the folded string studied earlier. While this property is useful for the spectrum to satisfy the Higuchi bound, it makes a nontrivial question how to maintain mildness of high-energy string scattering which we are familiar with in flat space and anti-de Sitter space. Our analysis implies that in order to have infinitely many higher spin states, one needs to consider infinitely many Regge trajectories with an increasing folding number.


title: Prioritize Crowdsourced Test Reports via Deep Screenshot Understanding

abstract: Crowdsourced testing is increasingly dominant in mobile application (app) testing, but it is a great burden for app developers to inspect the incredible number of test reports. Many researches have been proposed to deal with test reports based only on texts or additionally simple image features. However, in mobile app testing, texts contained in test reports are condensed and the information is inadequate. Many screenshots are included as complements that contain much richer information beyond texts. This trend motivates us to prioritize crowdsourced test reports based on a deep screenshot understanding. In this paper, we present a novel crowdsourced test report prioritization approach, namely DeepPrior. We first represent the crowdsourced test reports with a novelly introduced feature, namely DeepFeature, that includes all the widgets along with their texts, coordinates, types, and even intents based on the deep analysis of the app screenshots, and the textual descriptions in the crowdsourced test reports. DeepFeature includes the Bug Feature, which directly describes the bugs, and the Context Feature, which depicts the thorough context of the bug. The similarity of the DeepFeature is used to represent the test reports' similarity and prioritize the crowdsourced test reports. We formally define the similarity as DeepSimilarity. We also conduct an empirical experiment to evaluate the effectiveness of the proposed technique with a large dataset group. The results show that DeepPrior is promising, and it outperforms the state-of-the-art approach with less than half the overhead.


title: HO Puppis: Not a Be Star but a Newly Confirmed IW And-Type Star

abstract: HO Puppis (HO Pup) was considered as a Be-star candidate based on its gamma-Cassiopeiae-type light curve, but lacked spectroscopic confirmation. Using distance measured from Gaia Data Release 2 and the spectral-energy-distribution (SED) fit on broadband photometry, the Be-star nature of HO Pup is ruled out. Furthermore, based on the 28,700 photometric data points collected from various time-domain surveys and dedicated intensive-monitoring observations, the light curves of HO Pup closely resemble IW And-type stars (as pointed out in Kimura et al. 2020a), exhibiting characteristics such as quasi-standstill phase, brightening, and dips. The light curve of HO Pup displays various variability timescales, including brightening cycles ranging from 23 to 61 days, variations with periods between 3.9 days and 50 minutes during the quasi-standstill phase, and a semi-regular ~14-day period for the dip events. We have also collected time-series spectra (with various spectral resolutions), in which Balmer emission lines and other expected spectral lines for an IW And-type star were detected (even though some of these lines were also expected to be present for Be stars). We detect Bowen fluorescence near the brightening phase, and that can be used to discriminate between IW And-type stars and Be stars. Finally, despite only observing for four nights, the polarization variation was detected, indicating that HO Pup has significant intrinsic polarization.


title: Dialect Identification in Nuanced Arabic Tweets Using Farasa Segmentation and AraBERT

abstract: This paper presents our approach to address the EACL WANLP-2021 Shared Task 1: Nuanced Arabic Dialect Identification (NADI). The task is aimed at developing a system that identifies the geographical location(country/province) from where an Arabic tweet in the form of modern standard Arabic or dialect comes from. We solve the task in two parts. The first part involves pre-processing the provided dataset by cleaning, adding and segmenting various parts of the text. This is followed by carrying out experiments with different versions of two Transformer based models, AraBERT and AraELECTRA. Our final approach achieved macro F1-scores of 0.216, 0.235, 0.054, and 0.043 in the four subtasks, and we were ranked second in MSA identification subtasks and fourth in DA identification subtasks.


title: Symplectic Adjoint Method for Exact Gradient of Neural ODE with Minimal Memory

abstract: A neural network model of a differential equation, namely neural ODE, has enabled the learning of continuous-time dynamical systems and probabilistic distributions with high accuracy. The neural ODE uses the same network repeatedly during a numerical integration. The memory consumption of the backpropagation algorithm is proportional to the number of uses times the network size. This is true even if a checkpointing scheme divides the computation graph into sub-graphs. Otherwise, the adjoint method obtains a gradient by a numerical integration backward in time. Although this method consumes memory only for a single network use, it requires high computational cost to suppress numerical errors. This study proposes the symplectic adjoint method, which is an adjoint method solved by a symplectic integrator. The symplectic adjoint method obtains the exact gradient (up to rounding error) with memory proportional to the number of uses plus the network size. The experimental results demonstrate that the symplectic adjoint method consumes much less memory than the naive backpropagation algorithm and checkpointing schemes, performs faster than the adjoint method, and is more robust to rounding errors.


title: PRICURE: Privacy-Preserving Collaborative Inference in a Multi-Party Setting

abstract: When multiple parties that deal with private data aim for a collaborative prediction task such as medical image classification, they are often constrained by data protection regulations and lack of trust among collaborating parties. If done in a privacy-preserving manner, predictive analytics can benefit from the collective prediction capability of multiple parties holding complementary datasets on the same machine learning task. This paper presents PRICURE, a system that combines complementary strengths of secure multi-party computation (SMPC) and differential privacy (DP) to enable privacy-preserving collaborative prediction among multiple model owners. SMPC enables secret-sharing of private models and client inputs with non-colluding secure servers to compute predictions without leaking model parameters and inputs. DP masks true prediction results via noisy aggregation so as to deter a semi-honest client who may mount membership inference attacks. We evaluate PRICURE on neural networks across four datasets including benchmark medical image classification datasets. Our results suggest PRICURE guarantees privacy for tens of model owners and clients with acceptable accuracy loss. We also show that DP reduces membership inference attack exposure without hurting accuracy.


title: Twisted relative Rota-Baxter operators on Leibniz algebras and NS-Leibniz algebras

abstract: In this paper, we introduce twisted relative Rota-Baxter operators on a Leibniz algebra as a generalization of twisted Poisson structures. We define the cohomology of a twisted relative Rota-Baxter operator $K$ as the Loday-Pirashvili cohomology of a certain Leibniz algebra induced by $K$ with coefficients in a suitable representation. Then we consider formal deformations of twisted relative Rota-Baxter operators from cohomological points of view. Finally, we introduce and study NS-Leibniz algebras as the underlying structure of twisted relative Rota-Baxter operators.


title: Marginal energy intensity of water supply

abstract: Reducing global carbon emissions will require diverse industrial sectors to use energy more efficiently, electrify, and operate intermittently. The water sector is a transformation target, but we lack energy quantification tools to guide operational, infrastructure, and policy interventions in complex water sourcing, treatment, and distribution networks. The marginal energy intensity (MEI) of water supply quantifies the location-specific, instantaneous embedded energy in water delivered to consumers. We describe the first MEI algorithm and elucidate the sensitivity of MEI to generalizable water system features. When incorporated in multi-objective operational and planning models, MEI will dramatically increase the energy co-benefits of water efficiency, conservation, and retrofit programs; maximize energy flexibility services that water systems can deliver to the grid; and facilitate full cost recovery in distribution system operation.


title: VisuoSpatial Foresight for Physical Sequential Fabric Manipulation

abstract: Robotic fabric manipulation has applications in home robotics, textiles, senior care and surgery. Existing fabric manipulation techniques, however, are designed for specific tasks, making it difficult to generalize across different but related tasks. We build upon the Visual Foresight framework to learn fabric dynamics that can be efficiently reused to accomplish different sequential fabric manipulation tasks with a single goal-conditioned policy. We extend our earlier work on VisuoSpatial Foresight (VSF), which learns visual dynamics on domain randomized RGB images and depth maps simultaneously and completely in simulation. In this earlier work, we evaluated VSF on multi-step fabric smoothing and folding tasks against 5 baseline methods in simulation and on the da Vinci Research Kit (dVRK) surgical robot without any demonstrations at train or test time. A key finding was that depth sensing significantly improves performance: RGBD data yields an 80% improvement in fabric folding success rate in simulation over pure RGB data. In this work, we vary 4 components of VSF, including data generation, visual dynamics model, cost function, and optimization procedure. Results suggest that training visual dynamics models using longer, corner-based actions can improve the efficiency of fabric folding by 76% and enable a physical sequential fabric folding task that VSF could not previously perform with 90% reliability. Code, data, videos, and supplementary material are available at https://sites.google.com/view/fabric-vsf/.


title: Property($K^*$) Implies $R(X) \leq 1 + \frac{\displaystyle 1}{\displaystyle 1 + r_{X^*}(1)}$

abstract: It is shown that if the dual of a Banach space satisfies Property($K^*$) then $R(X) \leq 1 + \frac{\displaystyle 1}{\displaystyle 1 + r_{X^*}(1)} < 2$ where $r_{X^*}(c)$ is Opial's modulus for $X^*.$ Thus $X$ has the weak fixed point property.


title: TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning

abstract: We propose a novel approach to interactive theorem-proving (ITP) using deep reinforcement learning. The proposed framework is able to learn proof search strategies as well as tactic and arguments prediction in an end-to-end manner. We formulate the process of ITP as a Markov decision process (MDP) in which each state represents a set of potential derivation paths. This structure allows us to introduce a novel backtracking mechanism which enables the agent to efficiently discard (predicted) dead-end derivations and restart from promising alternatives. We implement the framework in the HOL4 theorem prover. Experimental results show that the framework outperforms existing automated theorem provers (i.e., hammers) available in HOL4 when evaluated on unseen problems. We further elaborate the role of key components of the framework using ablation studies.


title: Serial-parallel Multi-Scale Feature Fusion for Anatomy-Oriented Hand Joint Detection

abstract: Accurate hand joints detection from images is a fundamental topic which is essential for many applications in computer vision and human computer interaction. This paper presents a two stage network for hand joints detection from single unmarked image by using serial-parallel multi-scale feature fusion. In stage I, the hand regions are located by a pre-trained network, and the features of each detected hand region are extracted by a shallow spatial hand features representation module. The extracted hand features are then fed into stage II, which consists of serially connected feature extraction modules with similar structures, called "multi-scale feature fusion" (MSFF). A MSFF contains parallel multi-scale feature extraction branches, which generate initial hand joint heatmaps. The initial heatmaps are then mutually reinforced by the anatomic relationship between hand joints. The experimental results on five hand joints datasets show that the proposed network overperforms the state-of-the-art methods.


title: Precise Neutron Lifetime Measurement Using Pulsed Neutron Beams at J-PARC

abstract: A neutron decays into a proton, an electron, and an anti-neutrino through the beta-decay process. The decay lifetime ($\sim$880 s) is an important parameter in the weak interaction. For example, the neutron lifetime is a parameter used to determine the |$V_{\rm ud}$| parameter of the CKM quark mixing matrix. The lifetime is also one of the input parameters for the Big Bang Nucleosynthesis, which predicts light element synthesis in the early universe. However, experimental measurements of the neutron lifetime today are significantly different (8.4 s or 4.0$\sigma$) depending on the methods. One is a bottle method measuring surviving neutron in the neutron storage bottle. The other is a beam method measuring neutron beam flux and neutron decay rate in the detector. There is a discussion that the discrepancy comes from unconsidered systematic error or undetectable decay mode, such as dark decay. A new type of beam experiment is performed at the BL05 MLF J-PARC. This experiment measured neutron flux and decay rate simultaneously with a time projection chamber using a pulsed neutron beam. We will present the world situation of neutron lifetime and the latest results at J-PARC.


title: Applications of deep learning in traffic congestion detection, prediction and alleviation: A survey

abstract: Detecting, predicting, and alleviating traffic congestion are targeted at improving the level of service of the transportation network. With increasing access to larger datasets of higher resolution, the relevance of deep learning for such tasks is increasing. Several comprehensive survey papers in recent years have summarised the deep learning applications in the transportation domain. However, the system dynamics of the transportation network vary greatly between the non-congested state and the congested state -- thereby necessitating the need for a clear understanding of the challenges specific to congestion prediction. In this survey, we present the current state of deep learning applications in the tasks related to detection, prediction, and alleviation of congestion. Recurring and non-recurring congestion are discussed separately. Our survey leads us to uncover inherent challenges and gaps in the current state of research. Finally, we present some suggestions for future research directions as answers to the identified challenges.


title: Observation of Kondo hybridization with an orbital-selective Mott phase in 4d Ca2-xSrxRuO4

abstract: The heavy fermion state with Kondo-hybridization (KH), usually manifested in f-electron systems with lanthanide or actinide elements, was recently discovered in several 3d transition metal compounds without f-electrons. However, KH has not yet been observed in 4d/5d transition metal compounds, since more extended 4d/5d orbitals do not usually form flat bands that supply localized electrons appropriate for Kondo pairing. Here, we report a doping- and temperature-dependent angle-resolved photoemission study on 4d Ca2-xSrxRuO4, which shows the signature of KH. We observed a spectral weight transfer in the {\gamma}-band, reminiscent of an orbital-selective Mott phase (OSMP). The Mott localized {\gamma}-band induces KH with the itinerant \b{eta}-band, resulting in spectral weight suppression around the Fermi level. Our work is the first to demonstrate the evolution of the OSMP with possible KH among 4d electrons, and thereby expands the material boundary of Kondo physics to 4d multi-orbital systems.


title: Scaling Creative Inspiration with Fine-Grained Functional Aspects of Ideas

abstract: Large repositories of products, patents and scientific papers offer an opportunity for building systems that scour millions of ideas and help users discover inspirations. However, idea descriptions are typically in the form of unstructured text, lacking key structure that is required for supporting creative innovation interactions. Prior work has explored idea representations that were either limited in expressivity, required significant manual effort from users, or dependent on curated knowledge bases with poor coverage. We explore a novel representation that automatically breaks up products into fine-grained functional aspects capturing the purposes and mechanisms of ideas, and use it to support important creative innovation interactions: functional search for ideas, and exploration of the design space around a focal problem by viewing related problem perspectives pooled from across many products. In user studies, our approach boosts the quality of creative search and inspirations, substantially outperforming strong baselines by 50-60%.


title: On the Numerical Performance of Derivative-Free Optimization Methods Based on Finite-Difference Approximations

abstract: The goal of this paper is to investigate an approach for derivative-free optimization that has not received sufficient attention in the literature and is yet one of the simplest to implement and parallelize. It consists of computing gradients of a smoothed approximation of the objective function (and constraints), and employing them within established codes. These gradient approximations are calculated by finite differences, with a differencing interval determined by the noise level in the functions and a bound on the second or third derivatives. It is assumed that noise level is known or can be estimated by means of difference tables or sampling. The use of finite differences has been largely dismissed in the derivative-free optimization literature as too expensive in terms of function evaluations and/or as impractical when the objective function contains noise. The test results presented in this paper suggest that such views should be re-examined and that the finite-difference approach has much to be recommended. The tests compared NEWUOA, DFO-LS and COBYLA against the finite-difference approach on three classes of problems: general unconstrained problems, nonlinear least squares, and general nonlinear programs with equality constraints.


title: Frequency-Temporal Attention Network for Singing Melody Extraction

abstract: Musical audio is generally composed of three physical properties: frequency, time and magnitude. Interestingly, human auditory periphery also provides neural codes for each of these dimensions to perceive music. Inspired by these intrinsic characteristics, a frequency-temporal attention network is proposed to mimic human auditory for singing melody extraction. In particular, the proposed model contains frequency-temporal attention modules and a selective fusion module corresponding to these three physical properties. The frequency attention module is used to select the same activation frequency bands as did in cochlear and the temporal attention module is responsible for analyzing temporal patterns. Finally, the selective fusion module is suggested to recalibrate magnitudes and fuse the raw information for prediction. In addition, we propose to use another branch to simultaneously predict the presence of singing voice melody. The experimental results show that the proposed model outperforms existing state-of-the-art methods.


title: SEPAL: Towards a Large-scale Analysis of SEAndroid Policy Customization

abstract: To investigate the status quo of SEAndroid policy customization, we propose SEPAL, a universal tool to automatically retrieve and examine the customized policy rules. SEPAL applies the NLP technique and employs and trains a wide&deep model to quickly and precisely predict whether one rule is unregulated or not.Our evaluation shows SEPAL is effective, practical and scalable. We verify SEPAL outperforms the state of the art approach (i.e., EASEAndroid) by 15% accuracy rate on average. In our experiments, SEPAL successfully identifies 7,111 unregulated policy rules with a low false positive rate from 595,236 customized rules (extracted from 774 Android firmware images of 72 manufacturers). We further discover the policy customization problem is getting worse in newer Android versions (e.g., around 8% for Android 7 and nearly 20% for Android 9), even though more and more efforts are made. Then, we conduct a deep study and discuss why the unregulated rules are introduced and how they can compromise user devices. Last, we report some unregulated rules to seven vendors and so far four of them confirm our findings.


abstract: We prove that Cheng maximal diameter theorem for hypergraphs with positive coarse Ricci curvature.


title: On the Similarity between von Neumann Graph Entropy and Structural Information: Interpretation, Computation, and Applications

abstract: The von Neumann graph entropy is a measure of graph complexity based on the Laplacian spectrum. It has recently found applications in various learning tasks driven by networked data. However, it is computational demanding and hard to interpret using simple structural patterns. Due to the close relation between Lapalcian spectrum and degree sequence, we conjecture that the structural information, defined as the Shannon entropy of the normalized degree sequence, might be a good approximation of the von Neumann graph entropy that is both scalable and interpretable. In this work, we thereby study the difference between the structural information and von Neumann graph entropy named as {\em entropy gap}. Based on the knowledge that the degree sequence is majorized by the Laplacian spectrum, we for the first time prove the entropy gap is between $0$ and $\log_2 e$ in any undirected unweighted graphs. Consequently we certify that the structural information is a good approximation of the von Neumann graph entropy that achieves provable accuracy, scalability, and interpretability simultaneously. This approximation is further applied to two entropy-related tasks: network design and graph similarity measure, where novel graph similarity measure and fast algorithms are proposed. Our experimental results on graphs of various scales and types show that the very small entropy gap readily applies to a wide range of graphs and weighted graphs. As an approximation of the von Neumann graph entropy, the structural information is the only one that achieves both high efficiency and high accuracy among the prominent methods. It is at least two orders of magnitude faster than SLaQ with comparable accuracy. Our structural information based methods also exhibit superior performance in two entropy-related tasks.


title: Lorentzian path integral for quantum tunneling and WKB approximation for wave-function

abstract: Recently, the Lorentzian path integral formulation using the Picard-Lefschetz theory has attracted much attention in quantum cosmology. In this paper, we analyze the tunneling amplitude in quantum mechanics by using the Lorentzian Picard-Lefschetz formulation and compare it with the WKB analysis of the conventional Schr\"{o}dinger equation. We show that the Picard-Lefschetz Lorentzian formulation is consistent with the WKB approximation for wave-function and the Euclidean path integral formulation utilizing the solutions of the Euclidean constraint equation. We also consider some problems of this Lorentzian Picard-Lefschetz formulation and discuss a simpler semiclassical approximation of the Lorentzian path integral without integrating the lapse function.


title: Probabilistic Generating Circuits

abstract: Generating functions, which are widely used in combinatorics and probability theory, encode function values into the coefficients of a polynomial. In this paper, we explore their use as a tractable probabilistic model, and propose probabilistic generating circuits (PGCs) for their efficient representation. PGCs are strictly more expressive efficient than many existing tractable probabilistic models, including determinantal point processes (DPPs), probabilistic circuits (PCs) such as sum-product networks, and tractable graphical models. We contend that PGCs are not just a theoretical framework that unifies vastly different existing models, but also show great potential in modeling realistic data. We exhibit a simple class of PGCs that are not trivially subsumed by simple combinations of PCs and DPPs, and obtain competitive performance on a suite of density estimation benchmarks. We also highlight PGCs' connection to the theory of strongly Rayleigh distributions.


title: On the Implicit Bias of Initialization Shape: Beyond Infinitesimal Mirror Descent

abstract: Recent work has highlighted the role of initialization scale in determining the structure of the solutions that gradient methods converge to. In particular, it was shown that large initialization leads to the neural tangent kernel regime solution, whereas small initialization leads to so called "rich regimes". However, the initialization structure is richer than the overall scale alone and involves relative magnitudes of different weights and layers in the network. Here we show that these relative scales, which we refer to as initialization shape, play an important role in determining the learned model. We develop a novel technique for deriving the inductive bias of gradient-flow and use it to obtain closed-form implicit regularizers for multiple cases of interest.


title: Finding Quasars behind the Galactic Plane. I. Candidate Selections with Transfer Learning

abstract: Quasars behind the Galactic plane (GPQs) are important astrometric references and useful probes of Milky Way gas. However, the search for GPQs is difficult due to large extinctions and high source densities in the Galactic plane. Existing selection methods for quasars developed using high Galactic latitude (high-$b$) data cannot be applied to the Galactic plane directly because the photometric data obtained from high-$b$ regions and the Galactic plane follow different probability distributions. To alleviate this dataset shift problem for quasar candidate selection, we adopt a Transfer Learning Framework at both data and algorithm levels. At the data level, to make a training set in which dataset shift is modeled, we synthesize quasars and galaxies behind the Galactic plane based on SDSS sources and Galactic dust map. At the algorithm level, to reduce the effect of class imbalance, we transform the three-class classification problem for stars, galaxies, and quasars to two binary classification tasks. We apply XGBoost algorithm on Pan-STARRS1 (PS1) and AllWISE photometry for classification, and additional cut on Gaia proper motion to remove stellar contaminants. We obtain a reliable GPQ candidate catalog with 160,946 sources located at $|b|\leq 20^{\circ}$ in PS1-AllWISE footprint. Photometric redshifts of GPQ candidates achieved with XGBoost regression algorithm show that our selection method can identify quasars in a wide redshift range ($0<z\lesssim5$). This study extends the systematic searches for quasars to the dense stellar fields and shows the feasibility of using astronomical knowledge to improve data mining under complex conditions in the Big Data era.


title: Regularized Recovery by Multi-order Partial Hypergraph Total Variation

abstract: Capturing complex high-order interactions among data is an important task in many scenarios. A common way to model high-order interactions is to use hypergraphs whose topology can be mathematically represented by tensors. Existing methods use a fixed-order tensor to describe the topology of the whole hypergraph, which ignores the divergence of different-order interactions. In this work, we take this divergence into consideration, and propose a multi-order hypergraph Laplacian and the corresponding total variation. Taking this total variation as a regularization term, we can utilize the topology information contained by it to smooth the hypergraph signal. This can help distinguish different-order interactions and represent high-order interactions accurately.


title: Faraday rotations, ellipticity and circular dichroism in the magneto-optical spectrum of moir\'e superlattices

abstract: We study the magneto-optical conductivity of a number of Van der Waals heterostructures, namely, twisted bilayer graphene, AB-AB and AB-BA stacked twisted double bilayer graphene and monolayer graphene and AB-stacked bilayer graphene on hexagonal boron nitride. As magnetic field increases, the absorption spectrum exhibits a self-similar recursive pattern reflecting the fractal nature of the energy spectrum. Whilst twisted bilayer graphene displays only weak circular dichroism, monolayer graphene and AB-stacked bilayer graphene on hexagonal boron nitride show specifically strong circular dichroism, owing to strong inversion symmetry breaking properties of the hexagonal boron nitride layer. As, the left and right circularly polarized light interact with these structures differently, plane polarized incident light undergoes a Faraday rotation and gains an ellipticity when transmitted. The size of the respective angles is on the order of a degree.


title: Deep inelastic scattering as a probe of entanglement: confronting experimental data

abstract: Parton distributions can be defined in terms of the entropy of entanglement between the spatial region probed by deep inelastic scattering (DIS) and the rest of the proton. For very small $x$, the proton becomes a maximally entangled state. This approach leads to a simple relation $S = \ln N $ between the average number $N$ of color-singlet dipoles in the proton wave function and the entropy of the produced hadronic state $S$. At small $x$, the multiplicity of dipoles is given by the gluon structure function, $N = x G(x,Q^2)$. Recently, the H1 Collaboration analyzed the entropy of the produced hadronic state in DIS, and studied its relation to the gluon structure function; poor agreement with the predicted relation was found. In this letter we argue that a more accurate account of the number of color-singlet dipoles in the kinematics of H1 experiment (where hadrons are detected in the current fragmentation region) is given not by $xG(x,Q^2)$ but by the sea quark structure function $x\Sigma(x,Q^2)$. Sea quarks originate from the splitting of gluons, so at small $x$ $x\Sigma(x,Q^2)\,\sim\, xG(x,Q^2)$, but in the current fragmentation region this proportionality is distorted by the contribution of the quark-antiquark pair produced by the virtual photon splitting. In addition, the multiplicity of color-singlet dipoles in the current fragmentation region is quite small, and one needs to include $\sim 1/N$ corrections to $S= \ln N$ asymptotic formula. Taking both of these modifications into account, we find that the data from the H1 Collaboration in fact agree well with the prediction based on entanglement.


title: A Reinforcement Learning Approach to Age of Information in Multi-User Networks with HARQ

abstract: Scheduling the transmission of time-sensitive information from a source node to multiple users over error-prone communication channels is studied with the goal of minimizing the long-term average age of information (AoI) at the users. A long-term average resource constraint is imposed on the source, which limits the average number of transmissions. The source can transmit only to a single user at each time slot, and after each transmission, it receives an instantaneous ACK/NACK feedback from the intended receiver, and decides when and to which user to transmit the next update. Assuming the channel statistics are known, the optimal scheduling policy is studied for both the standard automatic repeat request (ARQ) and hybrid ARQ (HARQ) protocols. Then, a reinforcement learning(RL) approach is introduced to find a near-optimal policy, which does not assume any a priori information on the random processes governing the channel states. Different RL methods including average-cost SARSAwith linear function approximation (LFA), upper confidence reinforcement learning (UCRL2), and deep Q-network (DQN) are applied and compared through numerical simulations


title: Characterizing and Mitigating Self-Admitted Technical Debt in Build Systems

abstract: Technical Debt is a metaphor used to describe the situation in which long-term software artifact quality is traded for short-term goals in software projects. In recent years, the concept of self-admitted technical debt (SATD) was proposed, which focuses on debt that is intentionally introduced and described by developers. Although prior work has made important observations about admitted technical debt in source code, little is known about SATD in build systems. In this paper, we set out to better understand the characteristics of SATD in build systems. To do so, through a qualitative analysis of 500 SATD comments in the Maven build system of 291 projects, we characterize SATD by location and rationale (reason and purpose). Our results show that limitations in tools and libraries, and complexities of dependency management are the most frequent causes, accounting for 50% and 24% of the comments. We also find that developers often document SATD as issues to be fixed later. As a first step towards the automatic detection of SATD rationale, we train classifiers to detect the two most frequently occurring reasons and the four most frequently occurring purposes of SATD in the content of comments in Maven build systems. The classifier performance is promising, achieving an F1-score of 0.71-0.79. Finally, within 16 identified 'ready-to-be-addressed' SATD instances, the three SATD submitted by pull requests and the five SATD submitted by issue reports were resolved after developers were made aware. Our work presents the first step towards understanding technical debt in build systems and opens up avenues for future work, such as tool support to track and manage SATD backlogs.


title: Generating spiky solutions of Einstein field equations with the Stephani transformation

abstract: The Geroch/Stephani transformation is a solution-generating transformation, and may generate spiky solutions. The spikes in solutions generated so far are either early-time permanent spikes or transient spikes. We want to generate a solution with a late-time permanent spike. We achieve this by applying the Stephani transformation with the rotational Killing vector field of the locally rotationally symmetric Jacobs solution. The late-time permanent spike occurs along the cylindrical axis. The generated solution also features a rich variety of transient structures. We introduce a new technique to analyse these structures. Our findings lead us to discover a transient behaviour, which we call the overshoot transition.


title: Progressive Transformer-Based Generation of Radiology Reports

abstract: Inspired by Curriculum Learning, we propose a consecutive (i.e., image-to-text-to-text) generation framework where we divide the problem of radiology report generation into two steps. Contrary to generating the full radiology report from the image at once, the model generates global concepts from the image in the first step and then reforms them into finer and coherent texts using a transformer architecture. We follow the transformer-based sequence-to-sequence paradigm at each step. We improve upon the state-of-the-art on two benchmark datasets.


title: The phenomenology of nuclear scattering for a WIMP of arbitrary spin

abstract: We provide a first systematic and quantitative discussion of the phenomenology of the non-relativistic effective Hamiltonian describing the nuclear scattering process for a Weakly Interacting Massive Particle (WIMP) of arbitrary spin $j_\chi$. To this aim we obtain constraints from a representative sample of present direct detection experiments assuming the WIMP-nucleus scattering process to be driven by each one of the 44 effective couplings that arise for $j_\chi\le$ 2. We find that a high value of the multipolarity $s\le 2 j_\chi$ of the coupling, related to the power of the momentum transfer $q$ appearing in the scattering amplitude, leads to a suppression of the expected rates and pushes the expected differential spectra to large recoil energies $E_R$. For $s\le$ 4 the effective scales probed by direct detection experiments can be suppressed by up to 5 orders of magnitude compared to the case of a standard spin-independent interaction. For operators with large $s$ the expected differential spectra can be pushed to recoil energies in the MeV range, with the largest part of the signal concentrated at $E_R\gtrsim$ 100 keV and a peculiar structure of peaks and minima arising when both the nuclear target and the WIMP are heavy. As a consequence the present bounds on the effective operators can be significantly improved by extending the recoil energy intervals to higher recoil energies. Our analysis assumes effective interaction operators that are irreducible under the rotation group. Such operators drive the interactions of high-multipole dark matter candidates, i.e. states that possess only the highest multipole allowed by their spin. As a consequence our analysis represents also the first phenomenological study of the direct detection of quadrupolar, octupolar, and hexadecapolar dark matter.


title: Multi-wavelength flare observations of the blazar S5 1803+784

abstract: The radio, optical, and $\gamma$-ray light curves of the blazar S5 1803+784, from the beginning of the {\it Fermi} Large Area Telescope (LAT) mission in August 2008 until December 2018, are presented. The aim of this work is to look for correlations among different wavelengths useful for further theoretical studies. We analyzed all the data collected by {\it Fermi} LAT for this source, taking into account the presence of nearby sources, and we collected optical data from our own observations and public archive data to build the most complete optical and $\gamma$-ray light curve possible. Several $\gamma$-ray flares ($\mathrm{F>2.3~10^{-7} ph(E>0.1 GeV)~cm^{-2}~s^{-1}}$) with optical coverage were detected, all but one with corresponding optical enhancement; we also found two optical flares without a $\gamma$-ray counterpart. We obtained two {\it Swift} Target of Opportunity observations during the strong flare of 2015. Radio observations performed with VLBA and EVN through our proposals in the years 2016-2020 were analyzed to search for morphological changes after the major flares. The optical/$\gamma$-ray flux ratio at the flare peak varied for each flare. Very minor optical V-I color changes were detected during the flares. The X-ray spectrum was well fitted by a power law with photon spectral index $\alpha$=1.5, nearly independent of the flux level: no clear correlation with the optical or the $\gamma$-ray emission was found. The $\gamma$-ray spectral shape was well fitted by a power law with average photon index $\alpha$= 2.2. These findings support an Inverse Compton origin for the high-energy emission of the source, nearly co-spatial with the optically emitting region. The radio maps showed two new components originating from the core and moving outwards, with ejection epochs compatible with the dates of the two largest $\gamma$-ray flares.


title: A Deep Graph Wavelet Convolutional Neural Network for Semi-supervised Node Classification

abstract: Graph convolutional neural network provides good solutions for node classification and other tasks with non-Euclidean data. There are several graph convolutional models that attempt to develop deep networks but do not cause serious over-smoothing at the same time. Considering that the wavelet transform generally has a stronger ability to extract useful information than the Fourier transform, we propose a new deep graph wavelet convolutional network (DeepGWC) for semi-supervised node classification tasks. Based on the optimized static filtering matrix parameters of vanilla graph wavelet neural networks and the combination of Fourier bases and wavelet ones, DeepGWC is constructed together with the reuse of residual connection and identity mappings in network architectures. Extensive experiments on three benchmark datasets including Cora, Citeseer, and Pubmed are conducted. The experimental results demonstrate that our DeepGWC outperforms existing graph deep models with the help of additional wavelet bases and achieves new state-of-the-art performances eventually.


title: Learning Composable Behavior Embeddings for Long-horizon Visual Navigation

abstract: Learning high-level navigation behaviors has important implications: it enables robots to build compact visual memory for repeating demonstrations and to build sparse topological maps for planning in novel environments. Existing approaches only learn discrete, short-horizon behaviors. These standalone behaviors usually assume a discrete action space with simple robot dynamics, thus they cannot capture the intricacy and complexity of real-world trajectories. To this end, we propose Composable Behavior Embedding (CBE), a continuous behavior representation for long-horizon visual navigation. CBE is learned in an end-to-end fashion; it effectively captures path geometry and is robust to unseen obstacles. We show that CBE can be used to performing memory-efficient path following and topological mapping, saving more than an order of magnitude of memory than behavior-less approaches.


title: Superconductivity in the Topological Nodal-line Semimetal NaAlSi

abstract: NaAlSi is an sp electron superconductor crystallizing in a layered structure of the anti-PbFCl type with a relatively high transition temperature Tc of ~7 K. Recent electronic state calculations revealed the presence of topological nodal lines in the semimetallic band structure, which attracted much attention owing to the superconductivity. However, experimental investigation remained limited because of the lack of single crystals. Here, we successfully prepared single crystals of NaAlSi by a Na-Ga flux method and characterized their superconducting and normal-state properties through electrical resistivity, magnetization, and heat capacity measurements. A sharp superconducting transition with a Tc of 6.8 K is clearly observed, and heat capacity data suggest an anisotropic superconducting gap. Surprisingly, despite the sp electron system, the normal state is governed by the electron correlations, which is indicated by a T2 resistivity and a Wilson ratio of 2.0. The origin of the electron correlation may be related to the orthogonal saddle-shaped Fermi surfaces derived from the Si px and py states, which intersect with the light Al s bands to form the nodal lines near the Fermi level. These results strongly suggest that the superconductivity of NaAlSi is not caused by a simple phonon mechanism but involves a certain unconventional aspect, although its relevance to the nodal lines is unclear.


title: Thermodynamic electric quadrupole moments of nematic phases from first-principles calculation

abstract: The electronic nematic phase emerging with spontaneous rotation symmetry breaking is a central issue of modern condensed matter physics. In particular, various nematic phases in iron-based superconductors and high-$T_{\rm c}$ cuprate superconductors are extensively studied recently. Electric quadrupole moments (EQMs) are one of the order parameters characterizing these nematic phases in a unified way, and elucidating EQMs is a key to understanding these nematic phases. However, the quantum-mechanical formulation of the EQMs in crystals is a nontrivial issue because the position operators are non-periodic and unbound. Recently, the EQMs have been formulated by local thermodynamics, and such {\it thermodynamic EQMs} may be used to characterize the fourfold rotation symmetry breaking in materials. In this paper, we calculate the thermodynamic EQMs in iron-based superconductors LaFeAsO and FeSe as well as a cuprate superconductor La$_2$CuO$_4$ by a first-principles calculation. We show that owing to the orbital degeneracy the EQMs in iron-based superconductors are mainly determined by the geometric properties of wave functions. This result is in sharp contrast to the cuprate superconductor, in which the EQMs are dominated by distortion of the Fermi surface.


title: Constraints on general neutrino interactions with exotic fermion from neutrino-electron scattering experiments

abstract: The couplings between the neutrinos and exotic fermion can be probed in both neutrino scattering experiments and dark matter direct detection experiments. We present a detailed analysis of the general neutrino interactions with an exotic fermion and electrons at neutrino-electron scattering experiments. We obtain the constraints on the coupling coefficients of the scalar, pseudoscalar, vector, axialvector, tensor and electromagnetic dipole interactions from the CHARM-II, TEXONO and Borexino experiments. For the flavor-universal interactions, we find that the Borexino experiment sets the strongest bounds in the low mass region for the electromagnetic dipole interactions, and the CHARM-II experiment dominates the bounds for other scenarios. If the interactions are flavor dependent, the bounds from the CHARM-II or TEXONO experiment can be avoided, and there are correlations between the flavored coupling coefficients for the Borexino experiment. We also discuss the detection of sub-MeV DM absorbed by bound electron targets and illustrate that the vector coefficients preferred by XENON1T data is allowed by the neutrino experiments.


title: Deep Learning-based Beam Tracking for Millimeter-wave Communications under Mobility

abstract: In this paper, we propose a deep learning-based beam tracking method for millimeter-wave (mmWave)communications. Beam tracking is employed for transmitting the known symbols using the sounding beams and tracking time-varying channels to maintain a reliable communication link. When the pose of a user equipment (UE) device varies rapidly, the mmWave channels also tend to vary fast, which hinders seamless communication. Thus, models that can capture temporal behavior of mmWave channels caused by the motion of the device are required, to cope with this problem. Accordingly, we employa deep neural network to analyze the temporal structure and patterns underlying in the time-varying channels and the signals acquired by inertial sensors. We propose a model based on long short termmemory (LSTM) that predicts the distribution of the future channel behavior based on a sequence of input signals available at the UE. This channel distribution is used to 1) control the sounding beams adaptively for the future channel state and 2) update the channel estimate through the measurement update step under a sequential Bayesian estimation framework. Our experimental results demonstrate that the proposed method achieves a significant performance gain over the conventional beam tracking methods under various mobility scenarios.


title: An Empirical Study on Measuring the Similarity of Sentential Arguments with Language Model Domain Adaptation

abstract: Measuring the similarity between two different sentential arguments is an important task in argument mining. However, one of the challenges in this field is that the dataset must be annotated using expertise in a variety of topics, making supervised learning with labeled data expensive. In this paper, we investigated whether this problem could be alleviated through transfer learning. We first adapted a pretrained language model to a domain of interest using self-supervised learning. Then, we fine-tuned the model to a task of measuring the similarity between sentences taken from different domains. Our approach improves a correlation with human-annotated similarity scores compared to competitive baseline models on the Argument Facet Similarity dataset in an unsupervised setting. Moreover, we achieve comparable performance to a fully supervised baseline model by using only about 60% of the labeled data samples. We believe that our work suggests the possibility of a generalized argument clustering model for various argumentative topics.


title: Combinatorial approach to the category $\Theta_0$ of cubical pasting diagrams

abstract: In these notes we describe models of globular weak $(\infty,m)$-categories ($m\in\mathbb{N}$) in the Grothendieck style, i.e for each $m\in\mathbb{N}$ we define a globular coherator $\Theta^{\infty}_{\mathbb{M}^m}$ whose set-models are globular weak $(\infty,m)$-categories. Then we describe the combinatorics of the small category $\Theta_0$ whose objects are cubical pasting diagrams and whose morphisms are morphisms of cubical sets. This provides an accurate description of the monad, on the category of cubical sets (without degeneracies and connections), of cubical strict $\infty$-categories with connections. We prove that it is a cartesian monad, solving a conjecture in \cite{camark-cub-1}. This puts us in a position to describe the cubical coherator $\Theta^{\infty}_W$ whose set-models are cubical weak $\infty$-categories with connections and the cubical coherator $\Theta^{\infty}_{W^{0}}$ whose set-models are cubical weak $\infty$-groupoids with connections.