title: Modelling fine-sliced three dimensional electron diffraction data with dynamical Bloch-wave simulations

abstract: Recent interest in structure solution and refinement using electron diffraction (ED) has been fuelled by its inherent advantages when applied to crystals of sub-micron size, as well as a better sensitivity to light elements. Currently, data is often processed using software written for X-ray diffraction, using the kinematic theory of diffraction to generate model intensities -- despite the inherent differences in diffraction processes in ED. Here, we use dynamical Bloch-wave simulations to model continuous rotation electron diffraction data, collected with a fine angular resolution (crystal orientations of $\sim0.1^\circ$). This fine-sliced data allows us to reexamine the corrections applied to ED data. We propose a new method for optimising crystal orientation, and take into account the angular range of the incident beam and varying slew rate. We extract observed integrated intensities and perform accurate comparisons with simulations using rocking curves for a (110) lamella of silicon 185~nm in thickness. $R_1$ is reduced from $26\%$ with the kinematic model to $6.8\%$ using dynamical simulations.


title: IceCube search for neutrinos coincident with gravitational wave events from LIGO/Virgo run O3

abstract: Using data from the IceCube Neutrino Observatory, we searched for high-energy neutrino emission from the gravitational-wave events detected by advanced LIGO and Virgo detectors during their third observing run. We did a low-latency follow-up on the public candidate events released during the detectors' third observing run and an archival search on the 80 confident events reported in GWTC-2.1 and GWTC-3 catalogs. An extended search was also conducted for neutrino emission on longer timescales from neutron star containing mergers. Follow-up searches on the candidate optical counterpart of GW190521 were also conducted. We used two methods; an unbinned maximum likelihood analysis and a Bayesian analysis using astrophysical priors, both of which were previously used to search for high-energy neutrino emission from gravitational-wave events. No significant neutrino emission was observed by any analysis and upper limits were placed on the time-integrated neutrino flux as well as the total isotropic equivalent energy emitted in high-energy neutrinos.


title: Taming Genus 0 (or 1) components on variables-separated equations

abstract: To figure properties of a curve of form $C_{f,g} = {(x,y)| f(x) - g(y)= 0}$ you must address the genus 0 and 1 components of its projective normalization $\tilde C_{f,g}$. For $f$ and $g$ polynomials with $f$ indecomposable, [Fr73a] distinguished $\tilde C_{f,g}$ with $u=1$ versus $u > 1$ components (Schinzel's problem). For $u = 1$, [Prop. 1, Fr73b] gave a direct genus formula. To complete $u > 1$ required an adhoc genus computation. [Pak22] dropped the indecomposable and polynomial restrictions but added $\tilde C_{f,g}$ is irreducible ($u = 1$). He showed - for fixed $f$ - unless the Galois closure of the cover for $f$ has genus 0 or 1, the genus grows linearly in deg($g$). Method I and Method II extend [Prop. 1, Fr73b}] using Nielsen classes to generalize Pakovich's formulation for $u > 1$. Method I plays on the covers $f$ and $g$ to the $z$-line, $P^1_z$, from which we compute the fiber product. Method II uses the projection to the $y$-line, $P^1_y$, based on explicitly computing branch cycles for this cover. Hurwitz families track the significance of these components. Expanding on [Prop. 2, Fr73a] shows how to approach Pakovich's problem. With no loss, start with ($f^*,g^*$) which have the same Galois closures, and for which their canonical representations are entangled. They, therefore, produce more than one component on the fiber product. Then, we classify the possible component types, $W$, that appear on $\tilde C_{f^*,g^*}$ using the branch cycles for $W$ that come from Method II. The result is a Nielsen class formulation telling explicitly what $g_1\,$s to avoid to assure the growth of the component genuses of $\tilde C_{f*,g*og_1}$ as deg($g_1$) increases. Of particular note: using and expanding on Nielsen classes and the solution of the genus 0 problem (classifying the monodromy groups of indecomposable rational functions).


title: Richter's local limit theorem,its refinement,and related results

abstract: We give a detailed exposition of the proof of Richter's local limit theorem in a refined form, and establish the stability of the remainder term in this theorem under small perturbations of the underlying distribution (including smoothing). We also discuss related quantitative bounds for characteristic functions and Laplace transforms.


title: On computing Discretized Ricci curvatures of graphs: local algorithms and (localized) fine-grained reductions

abstract: Characterizing shapes of high-dimensional objects via Ricci curvatures plays a critical role in many research areas in mathematics and physics. However, even though several discretizations of Ricci curvatures for discrete combinatorial objects such as networks have been proposed and studied by mathematicians, the computational complexity aspects of these discretizations have escaped the attention of theoretical computer scientists to a large extent. In this paper, we study one such discretization, namely the Ollivier-Ricci curvature, from the perspective of efficient computation by fine-grained reductions and local query-based algorithms. Our main contributions are the following. (a) We relate our curvature computation problem to minimum weight perfect matching problem on complete bipartite graphs via fine-grained reduction. (b) We formalize the computational aspects of the curvature computation problems in suitable frameworks so that they can be studied by researchers in local algorithms. (c) We provide the first known lower and upper bounds on queries for query-based algorithms for the curvature computation problems in our local algorithms framework. En route, we also illustrate a localized version of our fine-grained reduction. We believe that our results bring forth an intriguing set of research questions, motivated both in theory and practice, regarding designing efficient algorithms for curvatures of objects.


title: [Re] Differentiable Spatial Planning using Transformers

abstract: This report covers our reproduction effort of the paper 'Differentiable Spatial Planning using Transformers' by Chaplot et al. . In this paper, the problem of spatial path planning in a differentiable way is considered. They show that their proposed method of using Spatial Planning Transformers outperforms prior data-driven models and leverages differentiable structures to learn mapping without a ground truth map simultaneously. We verify these claims by reproducing their experiments and testing their method on new data. We also investigate the stability of planning accuracy with maps with increased obstacle complexity. Efforts to investigate and verify the learnings of the Mapper module were met with failure stemming from a paucity of computational resources and unreachable authors.


title: Tuning the Magnetic Properties of the CrMnFeCoNi Cantor Alloy

abstract: Magnetic properties of more than twenty Cantor alloy samples of varying composition were investigated over a temperature range of 5 K to 300 K and in fields of up to 70 kOe using magnetometry and muon spin relaxation. Two transitions are identified: a spin-glass-like transition that appears between 55 K and 190 K depending on composition, and a ferrimagnetic transition that occurs at approximately 43 K in multiple samples with widely varying compositions. The magnetic signatures at 43 K are remarkably insensitive to chemical composition. A modified Curie-Weiss model was used to fit the susceptibility data and to extract the net effective magnetic moment for each sample. The resulting values for the net effective moment were either diminished with increasing Cr or Mn concentrations or enhanced with decreasing Fe, Co, or Ni concentrations. Beyond a sufficiently large effective moment, the magnetic ground state transitions from ferrimagnetism to ferromagnetism. The effective magnetic moments, together with the corresponding compositions, are used in a global linear regression analysis to extract element-specific effective magnetic moments, which are compared to the values obtained by ab-initio based density functional theory (DFT) calculations. These moments provide the information necessary to controllably tune the magnetic properties of Cantor alloy variants.


title: Predicting the Masses of Exotic Hadrons with Data Augmentation Using Multilayer Perceptron

abstract: Recently, there have been significant developments in neural networks, which led to the frequent use of neural networks in the physics literature. This work is focused on predicting the masses of exotic hadrons, doubly charmed and bottomed baryons using neural networks trained on meson and baryon masses that are determined by experiments. The original data set has been extended using the recently proposed artificial data augmentation methods. We have observed that the neural network's predictive ability increases with the use of augmented data. The results indicated that data augmentation techniques play an essential role in improving neural network predictions; moreover, neural networks can make reasonable predictions for exotic hadrons, doubly charmed, and doubly bottomed baryons. The results are also comparable to Gaussian Process and Constituent Quark Model.


title: Meta Learning for High-dimensional Ising Model Selection Using $\ell_1$-regularized Logistic Regression

abstract: In this paper, we consider the meta learning problem for estimating the graphs associated with high-dimensional Ising models, using the method of $\ell_1$-regularized logistic regression for neighborhood selection of each node. Our goal is to use the information learned from the auxiliary tasks in the learning of the novel task to reduce its sufficient sample complexity. To this end, we propose a novel generative model as well as an improper estimation method. In our setting, all the tasks are \emph{similar} in their \emph{random} model parameters and supports. By pooling all the samples from the auxiliary tasks to \emph{improperly} estimate a single parameter vector, we can recover the true support union, assumed small in size, with a high probability with a sufficient sample complexity of $\Omega(1) $ per task, for $K = \Omega(d^3 \log p ) $ tasks of Ising models with $p$ nodes and a maximum neighborhood size $d$. Then, with the support for the novel task restricted to the estimated support union, we prove that consistent neighborhood selection for the novel task can be obtained with a reduced sufficient sample complexity of $\Omega(d^3 \log d)$.


title: Technical Report: Asymmetric Mutual Exclusion for RDMA

abstract: Coordinating concurrent access to a shared resource using mutual exclusion is a fundamental problem in computation. In this paper, we present a novel approach to mutual exclusion designed specifically for distributed systems leveraging a popular network communication technology, remote direct memory access (RDMA). Our approach enables local processes to avoid using RDMA operations entirely, limits the number of RDMA operations required by remote processes, and guarantees both starvation-freedom and fairness.


title: Abelian Factor in 2-step Nilpotent Lie Algebras Constructed from Graphs

abstract: We consider real 2-step metric nilpotent Lie algebras associated to graphs with possibly repeated edge labels as constructed by Ray in 2016. We determine how the structure of the egde labeling within the graph contributes to the abelian factor in these Lie algebras. Furthermore, we explicitly compute the abelian factor of the 2-step nilpotent Lie algebras associated with some families of graphs such as star graphs, cycles, Schreier graphs, and properly edge-colored graphs. We also study the singularity properties of these Lie algebras in certain cases.


title: Improving knockoffs with conditional calibration

abstract: The knockoff filter of Barber and Candes (arXiv:1404.5609) is a flexible framework for multiple testing in supervised learning models, based on introducing synthetic predictor variables to control the false discovery rate (FDR). Using the conditional calibration framework of Fithian and Lei (arXiv:2007.10438), we introduce the calibrated knockoff procedure, a method that uniformly improves the power of any knockoff procedure. We implement our method for fixed-X knockoffs and show theoretically and empirically that the improvement is especially notable in two contexts where knockoff methods can be nearly powerless: when the rejection set is small, and when the structure of the design matrix prevents us from constructing good knockoff variables. In these contexts, calibrated knockoffs even outperform competing FDR-controlling methods like the (dependence-adjusted) Benjamini-Hochberg procedure in many scenarios.


title: Quantum algorithm for Wang-Landau sampling

abstract: It has been shown that the Metropolis algorithm can be implemented on quantum computers in a way that avoids the sign problem. However, flat histogram techniques are often preferred as they don't suffer from the same limitations that afflict Metropolis for problems of real-world interest and provide a host of other benefits. In particular, the Wang-Landau method is known for its efficiency and accuracy. In this work we design, implement, and validate a quantum algorithm for Wang-Landau sampling, greatly expanding the range of quantum many body problems solvable by Monte Carlo simulation.


title: Integer Sequences and Output Arrays

abstract: The first author recently introduced an integer sequence now numbered A355519 in OEIS. This sequence arose from counting bracket tournaments; its study evokes the analysis of the Catalan triangle (sequence A009766 in OEIS) and the related Catalan numbers, sequence A000108 in OEIS. We therefore introduce a general construction that places these sequences on the same footing and suggests many new integer sequences. We provide code for performing this construction and a lengthy list of examples. This construction determines a function from input sequences to output sequences. Some of the resulting output sequences are in OEIS and others are not.


title: Ballistic photocurrent driven by optical phonon modes in a polaronic ferroelectric

abstract: We investigate the effect of local electron-phonon coupling on nonlinear optical conductivity in an interacting ferroelectric system. Using real-time simulations, we show an enhancement in nonlinear conductivity under linearly-polarized light due to generation of the phonon-assisted ballistic-current in addition to the injection-current generated by electron-hole pairs. The optically excited phonon modes generate an asymmetric carrier distribution that causes a strong directional ballistic-current. The ballistic-current enhances the photocurrent several times at above band-gap excitation frequencies and is sublinearly dependent on the excitation intensity. This strong phonon-assisted zero-frequency directional ballistic-current demonstrates an alternative way to boost the bulk photovoltaic effect (BPVE) in electronic ferroelectric materials with strong local electron-phonon coupling.


title: MISO Wireless Localization in The Presence of Reconfigurable Intelligent Surface

abstract: Reconfigurable Intelligent Surface (RIS) plays a pivotal role in the sixth generation networks to enhance communication rate and localization accuracy. In this letter, we propose a positioning algorithm in a RIS-assisted environment, where the Base Station (BS) is multi-antenna, and the Mobile Station (MS) is single-antenna. We show that our method can achieve a high-precision positioning if the line-of-sight (LOS) is obstructed and three RISs are available. We send several known signals to the receiver in different time slots and change the phase shifters of the RISs simultaneously in a proper way, and we propose a technique to eliminate the destructive effect of the angle-of-departure (AoD) in order to determine the distances between each RISs and the MS. The accuracy of the proposed algorithm is better than the algorithms which do not estimate the AoD, shown in the numerical result section.


title: The UV-SCOPE Mission: Ultraviolet Spectroscopic Characterization Of Planets and their Environments

abstract: UV-SCOPE is a mission concept to determine the causes of atmospheric mass loss in exoplanets, investigate the mechanisms driving aerosol formation in hot Jupiters, and study the influence of the stellar environment on atmospheric evolution and habitability. As part of these investigations, the mission will generate a broad-purpose legacy database of time-domain ultraviolet (UV) spectra for nearly 200 stars and planets. The observatory consists of a 60 cm, f/10 telescope paired to a long-slit spectrograph, yielding simultaneous, almost continuous coverage between 1203 {\AA} and 4000 {\AA}, with resolutions ranging from 6000 to 240. The efficient instrument provides throughputs > 4% (far-UV; FUV) and > 15% (near-UV; NUV), comparable to HST/COS and much better than HST/STIS, over the same spectral range. A key design feature is the LiF prism, which serves as a dispersive element and provides high throughput even after accounting for radiation degradation. The use of two delta-doped Electron-Multiplying CCD detectors with UV-optimized, single-layer anti-reflection coatings provides high quantum efficiency and low detector noise. From the Earth-Sun second Lagrangian point, UV-SCOPE will continuously observe planetary transits and stellar variability in the full FUV-to-NUV range, with negligible astrophysical background. All these features make UV-SCOPE the ideal instrument to study exoplanetary atmospheres and the impact of host stars on their planets. UV-SCOPE was proposed to NASA as a Medium Explorer (MidEx) mission for the 2021 Announcement of Opportunity. If approved, the observatory will be developed over a 5-year period. Its primary science mission takes 34 months to complete. The spacecraft carries enough fuel for 6 years of operations.


title: Active particles crossing sharp viscosity gradients

abstract: Active particles (living or synthetic) often move through inhomogeneous environments, such as gradients in light, heat or nutrient concentration, that can lead to directed motion (or taxis). Recent research has explored inhomogeneity in the rheological properties of a suspending fluid, in particular viscosity, as a mechanical (rather than biological) mechanism for taxis. Theoretical and experimental studies have shown that gradients in viscosity can lead to reorientation due to asymmetric viscous forces. In particular, recent experiments with Chlamydomonas reinhardtii algae swimming across sharp viscosity gradients have observed that the microorganisms are redirected and scattered due to the viscosity change. Here we develop a simple theoretical model to explain these experiments. We model the swimmers as spherical squirmers and focus on small, but sharp, viscosity changes. We derive a law, analogous to Snell's law of refraction, that governs the orientation of active particles in the presence of a viscosity interface. Theoretical predictions show good agreement with experiments and provide a mechanistic understanding of the observed reorientation process.


title: Generalized Projection Matrices

abstract: Projection matrices are necessary for a large portion of rendering computer graphics. There are primarily two different types of projection matrices -- perspective and orthographic -- which are used frequently, and are traditionally treated as mutually incompatible with each other in how they are defined. Here, we bridge the gap between the two different forms of projection matrices to present a single generalized projection matrix that can represent both.


title: Sudakov-Fernique post-AMP, and a new proof of the local convexity of the TAP free energy

abstract: In many problems in modern statistics and machine learning, it is often of interest to establish that a first order method on a non-convex risk function eventually enters a region of parameter space in which the risk is locally convex. We derive an asymptotic comparison inequality, which we call the Sudakov-Fernique post-AMP inequality, which, in a certain class of problems involving a GOE matrix, is able to probe properties of an optimization landscape locally around the iterates of an approximate message passing (AMP) algorithm. As an example of its use, we provide a new, and arguably simpler, proof of some of the results of Celentano et al. (2021), which establishes that the so-called TAP free energy in the $\mathbb{Z}_2$-synchronization problem is locally convex in the region to which AMP converges. We further prove a conjecture of El Alaoui et al. (2022) involving the local convexity of a related but distinct TAP free energy, which, as a consequence, confirms that their algorithm efficiently samples from the Sherrington-Kirkpatrick Gibbs measure throughout the "easy" regime.


title: Game-Theoretic Algorithms for Conditional Moment Matching

abstract: A variety of problems in econometrics and machine learning, including instrumental variable regression and Bellman residual minimization, can be formulated as satisfying a set of conditional moment restrictions (CMR). We derive a general, game-theoretic strategy for satisfying CMR that scales to nonlinear problems, is amenable to gradient-based optimization, and is able to account for finite sample uncertainty. We recover the approaches of Dikkala et al. and Dai et al. as special cases of our general framework before detailing various extensions and how to efficiently solve the game defined by CMR.


title: Snowmass 21 Discussions on Future Accelerator HEP Facilities

abstract: The US particle physics community planning exercise (a.k.a. Snowmass) is organized every 7 to 9 years to provide a forum for discussions among the entire particle physics community to develop a scientific vision for the future of particle physics in the U.S. and its international partners. The Snowmass 21 Accelerator Frontier activities include discussions on high-energy hadron and lepton colliders, high-intensity beams for neutrino research and for Physics Beyond Colliders, accelerator technologies, science, education and outreach as well as the progress of core accelerator technologies, including RF, magnets, targets and sources. Here we summarize the Snowmass 21 discussions on future HEP accelerator facilities.


title: Possible non-thermal origin of the hard X-ray emission in the merging galaxy cluster SPT-CL J2031-4037

abstract: Non-thermal emission from clusters of galaxies at the high-energy X-ray regime has been searched with various instruments, but the detection significance of this emission has yet been found to be either marginal or controversial. Taking advantage of NuSTAR's unique capability to focus X-rays in the hard energy band, we present a detailed analysis of 238 ks NuSTAR observations of the merging galaxy cluster SPT-CL J2031-4037, searching for non-thermal inverse Compton emission. Our spectral analysis of SPT-CL J2031-4037 shows a possibility that the hard X-ray emission of the cluster can be described by a non-thermal component, though we cannot completely rule out a purely thermal origin for this hard emission. Including the statistical and systematic uncertainties, our best model fit yields a 20-80 keV non-thermal flux of $3.93_{-1.10}^{+1.24} \times 10^{-12}$ erg s$^{-1}$ cm$^{-2}$. The estimated non-thermal flux is comparable to those found in other galaxy clusters using NuSTAR and other X-ray instruments. Using this non-thermal flux with the existing radio data of the cluster, we estimate a volume-averaged magnetic field strength in the range of around 0.1-0.2 $\mu$G.


title: Integrating Diverse Knowledge Sources for Online One-shot Learning of Novel Tasks

abstract: Autonomous agents are able to draw on a wide variety of potential sources of task knowledge; however current approaches invariably focus on only one or two. Here we investigate the challenges and impact of exploiting diverse knowledge sources to learn online, in one-shot, new tasks for a simulated office mobile robot. The resulting agent, developed in the Soar cognitive architecture, uses the following sources of domain and task knowledge: interaction with the environment, task execution and search knowledge, human natural language instruction, and responses retrieved from a large language model (GPT-3). We explore the distinct contributions of these knowledge sources and evaluate the performance of different combinations in terms of learning correct task knowledge and human workload. Results show that an agent's online integration of diverse knowledge sources improves one-shot task learning overall, reducing human feedback needed for rapid and reliable task learning.


title: Age-stratified epidemic model using a latent marked Hawkes process

abstract: We extend the unstructured homogeneously mixing epidemic model introduced by Lamprinakou et al. [arXiv:2208.07340] considering a finite population stratified by age bands. We model the actual unobserved infections using a latent marked Hawkes process and the reported aggregated infections as random quantities driven by the underlying Hawkes process. We apply a Kernel Density Particle Filter (KDPF) to infer the marked counting process, the instantaneous reproduction number for each age group and forecast the epidemic's future trajectory in the near future; considering the age bands and the population size does not increase the computational effort. We demonstrate the performance of the proposed inference algorithm on synthetic data sets and COVID-19 reported cases in various local authorities in the UK. We illustrate that taking into account the individual heterogeneity in age decreases the uncertainty of estimates and provides a real-time measurement of interventions and behavioural changes.


title: Minecraft: An Engaging Platform to Learn Programming

abstract: Teaching programming effectively is difficult. This paper explores the benefits of using Minecraft Education Edition to teach Python programming. Educators can use the game to teach various programming concepts ranging from fundamental programming concepts, object-oriented programming, event-driven programming, and parallel programming. It has several benefits, including being highly engaging, sharpen creativity and problem-solving skill, motivating the study of mathematics, and making students realizes the importance of programming.


title: Minimal resolutions of lattice ideals

abstract: A canonical minimal free resolution of an arbitrary co-artinian lattice ideal over the polynomial ring is constructed over any field whose characteristic is 0 or any but finitely many positive primes. The differential has a closed-form combinatorial description as a sum over lattice paths in $\mathbb{Z}^n$ of weights that come from sequences of faces in simplicial complexes indexed by lattice points. Over a field of any characteristic, a non-canonical but simpler resolution is constructed by selecting choices of higher-dimensional analogues of spanning trees along lattice paths. These constructions generalize sylvan resolutions for monomial ideals by lifting them equivariantly to lattice modules.


title: Personalized Decision Making -- A Conceptual Introduction

abstract: Personalized decision making targets the behavior of a specific individual, while population-based decision making concerns a sub-population resembling that individual. This paper clarifies the distinction between the two and explains why the former leads to more informed decisions. We further show that by combining experimental and observational studies we can obtain valuable information about individual behavior and, consequently, improve decisions over those obtained from experimental studies alone.


title: Neural network facilitated ab initio derivation of linear formula: A case study on formulating the relationship between DNA motifs and gene expression

abstract: Developing models with high interpretability and even deriving formulas to quantify relationships between biological data is an emerging need. We propose here a framework for ab initio derivation of sequence motifs and linear formula using a new approach based on the interpretable neural network model called contextual regression model. We showed that this linear model could predict gene expression levels using promoter sequences with a performance comparable to deep neural network models. We uncovered a list of 300 motifs with important regulatory roles on gene expression and showed that they also had significant contributions to cell-type specific gene expression in 154 diverse cell types. This work illustrates the possibility of deriving formulas to represent biology laws that may not be easily elucidated. (https://github.com/Wang-lab-UCSD/Motif_Finding_Contextual_Regression)


title: CCAT-prime: Optical and cryogenic design of the 850 GHz module for Prime-Cam

abstract: Prime-Cam is a first-generation instrument for the Cerro Chajnantor Atacama Telescope-prime (CCAT-prime) Facility. The 850$~$GHz module for Prime-Cam will probe the highest frequency of all the instrument modules. We describe the parameter space of the 850$~$GHz optical system between the F$\lambda$ spacing, beam size, pixel sensitivity, and detector count. We present the optimization of an optical design for the 850$~$GHz instrument module for CCAT-prime. We further describe the development of the cryogenic RF chain design to accommodate $>$30 readout lines to read 41,400 kinetic inductance detectors (KIDs) within the cryogenic testbed.


title: The saturation of exponents and the asymptotic fourth state of turbulence

abstract: A recent discovery about the inertial range of homogeneous and isotropic turbulence is the saturation of the scaling exponents $\zeta_n$ for large $n$, defined via structure functions of order $n$ as $S_{n}(r)=\overline{(\delta_r u)^{n}}=A(n)r^{\zeta_{n}}$. We focus on longitudinal structure functions for $\delta_r u$ between two positions that are $r$ apart in the same direction. In a previous paper (Phys.\ Rev.\ Fluids 6, 104604, 2021), we developed a theory for $\zeta_n$, which agrees with measurements for all $n$ for which reliable data are available, and shows saturation for large $n$. Here, we derive expressions for the probability density functions of $\delta_r u$ for four different states of turbulence, including the asymptotic fourth state corresponding to the saturation of exponents for large $n$. This saturation means that the scale separation is violated in favor of a strongly-coupled quasi-ordered flow structures, which take the form of long and thin (worm-like) structures of length $L$ and thickness $l=O(L/Re)$.


title: Open Vocabulary Multi-Label Classification with Dual-Modal Decoder on Aligned Visual-Textual Features

abstract: In computer vision, multi-label recognition are important tasks with many real-world applications, but classifying previously unseen labels remains a significant challenge. In this paper, we propose a novel algorithm, Aligned Dual moDality ClaSsifier (ADDS), which includes a Dual-Modal decoder (DM-decoder) with alignment between visual and textual features, for open-vocabulary multi-label classification tasks. Then we design a simple and yet effective method called Pyramid-Forwarding to enhance the performance for inputs with high resolutions. Moreover, the Selective Language Supervision is applied to further enhance the model performance. Extensive experiments conducted on several standard benchmarks, NUS-WIDE, ImageNet-1k, ImageNet-21k, and MS-COCO, demonstrate that our approach significantly outperforms previous methods and provides state-of-the-art performance for open-vocabulary multi-label classification, conventional multi-label classification and an extreme case called single-to-multi label classification where models trained on single-label datasets (ImageNet-1k, ImageNet-21k) are tested on multi-label ones (MS-COCO and NUS-WIDE).


title: On the Probability of Magnus Carlsen reaching 2900

abstract: How likely is it that Magnus Carlsen will achieve an Elo rating of $2900$? This has been a goal of Magnus and is of great current interest to the chess community. Our paper uses probabilistic methods to address this question. The probabilistic properties of Elo's rating system have long been studied, and we provide an application of such methods. By applying a Brownian motion model of Stern as a simple tool we provide answers. Our research also has fundamental bearing on the choice of the $K$-factor used in Elo's system for GrandMaster (GM) chess play. Finally, we conclude with a discussion of policy issues involved with the choice of $K$-factor.


title: The velocity dependence of dry sliding friction at the nano-scale

abstract: We performed molecular dynamics (MD) experiments to explore dry sliding friction at the nanoscale. We used the setup comprised of a spherical particle built up of 32,000 aluminium atoms, resting on a semi-space with a free surface, modelled by a stack of merged graphene layers. We utilized LAMMPS with the COMB3 many-body potentials for the inter-atomic interactions and Langevin thermostat which kept the system at $300 K$. We varied the normal load on the particle and applied different tangential force, which caused the particle sliding. Based on the simulation data, we demonstrate that the friction force $F_{\rm fr}$ linearly depends on the sliding velocity $v$, that is, $F_{\rm fr}=-\gamma v$, where $\gamma$ is the friction coefficient. The observed dependence is in a sharp contrast with the macroscopic Amontons-Coulomb laws, which predict the velocity independence of sliding friction. We explain such a dependence by surface fluctuations of the thermal origin, which give rise to surface corrugation hindering sliding motion. This mechanism is similar to that of the viscous friction force exerted on a body moving in viscous fluid.


title: Predicting Non-Equilibrium Folding Behavior of Polymer Chains using the Steepest-Entropy-Ascent Quantum Thermodynamic Framework

abstract: The Replica Exchange Wang-Landau Method is used to estimate the energy landscape of a polymer composed of a simple hydrophobic and polar sequence using the HP protein model. Calculations of state transitions between the energy levels of the derived energy landscape are made using an equation of motion from the steepest-entropy-ascent quantum thermodynamic (SEAQT) framework. The SEAQT framework makes it possible to determine the unique kinetic paths from an arbitrary quasi-equilibrium or non-equilibrium initial state to stable equilibrium. Calculations performed with SEAQT require significantly reduced computational time versus comparable Monte Carlo simulations while providing otherwise unavailable thermodynamic and structural properties. Expected values for state averaged structural parameters are used to produce representative reconstructions of the calculated state-based evolution. Results show continuous transitions between states with no distinct folding phases. Changes in chain conformations during heating and cooling are more drastic along non-equilibrium paths than along quasi-equilibrium paths. In addition, SEAQT-derived kinetics are compared to experimentally derived intensity profiles describing the kinetics of the cytochrome c protein using Rouse dynamic relations.


title: Primordial black holes and mirror dark matter

abstract: If mirror matter exists but cannot comprise all of the dark matter (DM) in the universe, we can expect that the additional DM component may only interact with the other sectors gravitationally. One of the natural candidate of a gravitationally interacting component is a primordial black hole (PBH). Therefore, if mirror matter exists but cannot comprise all of the DM in the universe, the existence of PBH may be expected as a candidate of the additional DM component. In this case, the remaining DM components may be PBHs or $SU(3)\times SU(2)\times U(1)$ singlet particles from PBH. We show constraints on PBH with the mirror DM. Particularly, the initial PBH mass is estimated to be $10^{17} \ {\rm g} \lesssim M_{\rm PBH} \lesssim 10^{23} \ {\rm g}$, if the DM comprises mirror baryons and PBHs.


abstract: For the first time, we propose using a multiple instance learning based convolution-free transformer model, called Multiple Instance Neuroimage Transformer (MINiT), for the classification of T1weighted (T1w) MRIs. We first present several variants of transformer models adopted for neuroimages. These models extract non-overlapping 3D blocks from the input volume and perform multi-headed self-attention on a sequence of their linear projections. MINiT, on the other hand, treats each of the non-overlapping 3D blocks of the input MRI as its own instance, splitting it further into non-overlapping 3D patches, on which multi-headed self-attention is computed. As a proof-of-concept, we evaluate the efficacy of our model by training it to identify sex from T1w-MRIs of two public datasets: Adolescent Brain Cognitive Development (ABCD) and the National Consortium on Alcohol and Neurodevelopment in Adolescence (NCANDA). The learned attention maps highlight voxels contributing to identifying sex differences in brain morphometry. The code is available at https://github.com/singlaayush/MINIT.


title: Probabilities of Causation with Nonbinary Treatment and Effect

abstract: This paper deals with the problem of estimating the probabilities of causation when treatment and effect are not binary. Tian and Pearl derived sharp bounds for the probability of necessity and sufficiency (PNS), the probability of sufficiency (PS), and the probability of necessity (PN) using experimental and observational data. In this paper, we provide theoretical bounds for all types of probabilities of causation to multivalued treatments and effects. We further discuss examples where our bounds guide practical decisions and use simulation studies to evaluate how informative the bounds are for various combinations of data.


title: Unit Selection with Nonbinary Treatment and Effect

abstract: The unit selection problem aims to identify a set of individuals who are most likely to exhibit a desired mode of behavior, for example, selecting individuals who would respond one way if encouraged and a different way if not encouraged. Using a combination of experimental and observational data, Li and Pearl derived tight bounds on the "benefit function", which is the payoff/cost associated with selecting an individual with given characteristics. This paper extends the benefit function to the general form such that the treatment and effect are not restricted to binary. We propose an algorithm to test the identifiability of the nonbinary benefit function and an algorithm to compute the bounds of the nonbinary benefit function using experimental and observational data.


title: Calculus on MDPs: Potential Shaping as a Gradient

abstract: In reinforcement learning, different reward functions can be equivalent in terms of the optimal policies they induce. A particularly well-known and important example is potential shaping, a class of functions that can be added to any reward function without changing the optimal policy set under arbitrary transition dynamics. Potential shaping is conceptually similar to potentials, conservative vector fields and gauge transformations in math and physics, but this connection has not previously been formally explored. We develop a formalism for discrete calculus on graphs that abstract a Markov Decision Process, and show how potential shaping can be formally interpreted as a gradient within this framework. This allows us to strengthen results from Ng et al. (1999) describing conditions under which potential shaping is the only additive reward transformation to always preserve optimal policies. As an additional application of our formalism, we define a rule for picking a single unique reward function from each potential shaping equivalence class.


title: On a cross-diffusive SIS epidemic model with power-like nonlinear incidence

abstract: In this work, we study global existence, boundedness and convergence of nonnegative classical solutions of a Neumann initial-boundary value problem for a cross diffusive SIS (susceptible-infected-susceptible) epidemic model with power-like infection mechanism generalizing the standard mass action mechanism. Global existence and boundedness of classical solutions are established in certain parameter ranges, and threshold/non-threshold long-time behaviors of global bounded solutions are also detected. Our findings significantly improve and extend previous related studies.


title: Observation of type-III corner states induced by long-range interactions

abstract: Long-range interactions (LRIs) are ubiquitous in nature. Higher-order topological (HOT) insulator represents a new phase of matter. A critical issue is how LRI dictates the HOT phases. In this work, we discover four topologically distinct phases, i.e., HOT phase, the bound state in the continuum, Dirac semimetal (DSM) phase, and trivial insulator phase in a breathing kagome circuit with tunable LRIs. We find an emerging type-III corner state in the HOT phase, which splits from the edge state continuum and originates from the strong couplings between nodes at different edges. We experimentally detect this novel state by impedance and voltage measurements. In the DSM phase, the Dirac cone exhibits an itinerant feature with a tunable position that depends on the LRI strength. Our findings provide a deeper understanding of the LRI effect on exotic topological states and pave the way for regulating interactions in topolectrical circuits.


title: Evolution of Urca Pairs in the Crusts of Highly Magnetized Neutron Stars

abstract: We report on the effects of strong magnetic fields on neutrino emission in the modified Urca process. We show that the effect of Landau levels on the various Urca pairs affects the neutrino emission spectrum and leads to an angular asymmetry in the neutrino emission. For low magnetic fields the Landau levels have almost no effect on the cooling. However, as the field strength increases, the electron chemical potential increases resulting in a lower density at which Urca pairs can exist. For intermediate field strength there is an interesting interference between the Landau level distribution and the Fermi distribution. For high enough field strength, the entire electron energy spectrum is eventually confined to single Landau level producing dramatic spikes in the emission spectrum.


title: Study of Novel Sparse Array Design Based on the Maximum Inter-Element Spacing Criterion

abstract: A novel sparse array (SA) structure is proposed based on the maximum inter-element spacing (IES) constraint (MISC) criterion. Compared with the traditional MISC array, the proposed SA configurations, termed as improved MISC (IMISC) has significantly increased uniform degrees of freedom (uDOF) and reduced mutual coupling. In particular, the IMISC arrays are composed of six uniform linear arrays (ULAs), which can be determined by an IES set. The IES set is constrained by two parameters, namely the maximum IES and the number of sensors. The uDOF of the IMISC arrays is derived and the weight function of the IMISC arrays is analyzed as well. The proposed IMISC arrays have a great advantage in terms of uDOF against the existing SAs, while their mutual coupling remains at a low level. Simulations are carried out to demonstrate the advantages of the IMISC arrays.


title: Many-body theory of phonon-induced spin relaxation and decoherence

abstract: First-principles calculations enable accurate predictions of electronic interactions and dynamics. However, computing the electron spin dynamics remains challenging. The spin-orbit interaction causes various dynamical phenomena that couple with phonons, such as spin precession and spin-flip e-ph scattering, which are difficult to describe with current first-principles calculations. In this work, we show a rigorous framework to study phonon-induced spin relaxation and decoherence, by computing the spin-spin correlation function and its vertex corrections due to e-ph interactions. We apply this approach to a model system and develop corresponding first-principles calculations of spin relaxation in GaAs. Our vertex-correction formalism is shown to capture the Elliott-Yafet, Dyakonov-Perel, and strong-precession mechanisms - three independent spin decoherence regimes with distinct physical origins - thereby unifying their theoretical treatment and calculation. Our method is general and enables quantitative studies of spin relaxation, decoherence, and transport in a wide range of materials and devices.


title: Two eggs any style -- generalizing egg-drop experiments

abstract: The egg-drop experiment introduced by Konhauser, Velleman, and Wagon, later generalized by Boardman, is further generalized to two additional types. The three separate types of egg-drop experiment under consideration are examined in the context of binary decision trees. It is shown that all three types of egg-drop experiment are binary decision problems that can be solved efficiently using a non-redundant algorithm -- a class of algorithms introduced here. The preceding theoretical results are applied to the three types of egg-drop experiment to compute, for each, the maximum height of a building that can be dealt with using a given number of egg-droppings.


title: Real-time Short Video Recommendation on Mobile Devices

abstract: Short video applications have attracted billions of users in recent years, fulfilling their various needs with diverse content. Users usually watch short videos on many topics on mobile devices in a short period of time, and give explicit or implicit feedback very quickly to the short videos they watch. The recommender system needs to perceive users' preferences in real-time in order to satisfy their changing interests. Traditionally, recommender systems deployed at server side return a ranked list of videos for each request from client. Thus it cannot adjust the recommendation results according to the user's real-time feedback before the next request. Due to client-server transmitting latency, it is also unable to make immediate use of users' real-time feedback. However, as users continue to watch videos and feedback, the changing context leads the ranking of the server-side recommendation system inaccurate. In this paper, we propose to deploy a short video recommendation framework on mobile devices to solve these problems. Specifically, we design and deploy a tiny on-device ranking model to enable real-time re-ranking of server-side recommendation results. We improve its prediction accuracy by exploiting users' real-time feedback of watched videos and client-specific real-time features. With more accurate predictions, we further consider interactions among candidate videos, and propose a context-aware re-ranking method based on adaptive beam search. The framework has been deployed on Kuaishou, a billion-user scale short video application, and improved effective view, like and follow by 1.28%, 8.22% and 13.6% respectively.


title: Contrastive Domain Adaptation for Early Misinformation Detection: A Case Study on COVID-19

abstract: Despite recent progress in improving the performance of misinformation detection systems, classifying misinformation in an unseen domain remains an elusive challenge. To address this issue, a common approach is to introduce a domain critic and encourage domain-invariant input features. However, early misinformation often demonstrates both conditional and label shifts against existing misinformation data (e.g., class imbalance in COVID-19 datasets), rendering such methods less effective for detecting early misinformation. In this paper, we propose contrastive adaptation network for early misinformation detection (CANMD). Specifically, we leverage pseudo labeling to generate high-confidence target examples for joint training with source data. We additionally design a label correction component to estimate and correct the label shifts (i.e., class priors) between the source and target domains. Moreover, a contrastive adaptation loss is integrated in the objective function to reduce the intra-class discrepancy and enlarge the inter-class discrepancy. As such, the adapted model learns corrected class priors and an invariant conditional distribution across both domains for improved estimation of the target data distribution. To demonstrate the effectiveness of the proposed CANMD, we study the case of COVID-19 early misinformation detection and perform extensive experiments using multiple real-world datasets. The results suggest that CANMD can effectively adapt misinformation detection systems to the unseen COVID-19 target domain with significant improvements compared to the state-of-the-art baselines.


title: Learning in Audio-visual Context: A Review, Analysis, and New Perspective

abstract: Sight and hearing are two senses that play a vital role in human communication and scene understanding. To mimic human perception ability, audio-visual learning, aimed at developing computational approaches to learn from both audio and visual modalities, has been a flourishing field in recent years. A comprehensive survey that can systematically organize and analyze studies of the audio-visual field is expected. Starting from the analysis of audio-visual cognition foundations, we introduce several key findings that have inspired our computational studies. Then, we systematically review the recent audio-visual learning studies and divide them into three categories: audio-visual boosting, cross-modal perception and audio-visual collaboration. Through our analysis, we discover that, the consistency of audio-visual data across semantic, spatial and temporal support the above studies. To revisit the current development of the audio-visual learning field from a more macro view, we further propose a new perspective on audio-visual scene understanding, then discuss and analyze the feasible future direction of the audio-visual learning area. Overall, this survey reviews and outlooks the current audio-visual learning field from different aspects. We hope it can provide researchers with a better understanding of this area. A website including constantly-updated survey is released: \url{https://gewu-lab.github.io/audio-visual-learning/}.


title: Using Affect as a Communication Modality to Improve Human-Robot Communication in Robot-Assisted Search and Rescue Scenarios

abstract: Emotions can provide a natural communication modality to complement the existing multi-modal capabilities of social robots, such as text and speech, in many domains. We conducted three online studies with 112, 223, and 151 participants to investigate the benefits of using emotions as a communication modality for Search And Rescue (SAR) robots. In the first experiment, we investigated the feasibility of conveying information related to SAR situations through robots' emotions, resulting in mappings from SAR situations to emotions. The second study used Affect Control Theory as an alternative method for deriving such mappings. This method is more flexible, e.g. allows for such mappings to be adjusted for different emotion sets and different robots. In the third experiment, we created affective expressions for an appearance-constrained outdoor field research robot using LEDs as an expressive channel. Using these affective expressions in a variety of simulated SAR situations, we evaluated the effect of these expressions on participants' (adopting the role of rescue workers) situational awareness. Our results and proposed methodologies provide (a) insights on how emotions could help conveying messages in the context of SAR, and (b) evidence on the effectiveness of adding emotions as a communication modality in a (simulated) SAR communication context.


title: Field theoretical approach to spin torques: Slonczewski torques

abstract: The quantum field theoretical approach with the Kubo formula has successfully captured spin torques, such as spin-transfer torques and spin-orbit torques, for continuum systems. We examine the field theoretical approach to current-induced spin-transfer torques in a magnetic junction system. We first give a brief overview of the field theoretical approach to spin torques. Then, we consider a five-layers system consisting of three nonmagnetic metal layers separated by two ferromagnetic metal layers and apply an electric field perpendicular to the layers. We demonstrate that the Slonczewski-type spin-transfer torque, or shortly the Slonczewski torque, on the magnetizations in ferromagnetic layers is obtained by evaluating nonequilibrium electron spin density, based on the linear response theory with the Green function method. The obtained coefficient of the Slonczewski torque has a quantum oscillation at absolute zero temperature, which has not been mentioned before. A field-like torque accompanied by the Slonczewski torque is also evaluated.


title: VapoRock: Thermodynamics of vaporized silicate melts for modeling volcanic outgassing and magma ocean atmospheres

abstract: Silicate vapors play a key role in planetary evolution, especially dominating early stages of rocky planet formation through outgassed magma ocean atmospheres. Our open-source thermodynamic modeling software "VapoRock" combines the MELTS liquid model (Ghiorso et al., 1995) with gas-species properties from multiple thermochemistry tables (e.g., Chase et al., 1998). VapoRock calculates the partial pressures of 34 gaseous species in equilibrium with magmatic liquid in the system Si-Mg-Fe-Al-Ca-Na-K-Ti-Cr-O at desired temperatures and oxygen fugacities (fO2, or partial pressure of O2). Comparison with experiments shows that pressures and melt-oxide activities (which vary over many orders of magnitude) are reproduced to within a factor of ~3, consistent with measurement uncertainties. We also benchmark the model against a wide selection of igneous rock compositions including bulk silicate Earth, predicting elemental vapor abundances that are comparable (Na, Ca, & Al) or more realistic (K, Si, Mg, Fe, & Ti) than those of the closed-source MAGMA code (with maximum deviations by factors of 10-300 for K & Si). Vapor abundances depend critically on the activities of liquid components. The MELTS model underpinning VapoRock was calibrated and extensively tested on natural igneous liquids. In contrast, MAGMA's liquid model assumes ideal mixtures of a limited set of chemically simplified pseudo-species, which only roughly approximates the non-ideal compositional interactions typical of many-component natural silicate melts. Finally, we explore how relative abundances of SiO and SiO2 provide a spectroscopically measurable proxy for oxygen fugacity in devolatilized exoplanetary atmospheres, potentially constraining fO2 in outgassed exoplanetary mantles.


title: Approximation Algorithms for Matroidal and Cardinal Generalizations of Stable Matching

abstract: The Stable Marriage problem (SM), solved by the famous deferred acceptance algorithm of Gale and Shapley (GS), has many natural generalizations. If we allow ties in preferences, then the problem of finding a maximum solution becomes NP-hard, and the best known approximation ratio is $1.5$ (McDermid ICALP 2009, Paluch WAOA 2011, Z. Kir\'aly MATCH-UP 2012), achievable by running GS on a cleverly constructed modified instance. Another elegant generalization of SM is the matroid kernel problem introduced by Fleiner (IPCO 2001), which is solvable in polynomial time using an abstract matroidal version of GS. Our main result is a simple $1.5$-approximation algorithm for the matroid kernel problem with ties. We also show that the algorithm works for several other versions of stability defined for cardinal preferences, by appropriately modifying the instance on which GS is executed. The latter results are new even for the stable marriage setting.


title: Extra dimensions with light and heavy neutral leptons: An application to CE$\nu$NS

abstract: We explore the possibility of relating extra dimensions with light and heavy Dirac-type neutral leptons and develop a framework for testing them in various laboratory experiments. The Kaluza-Klein modes in the large extra dimension models of the light neutral leptons could mix with the standard model neutrinos and produce observable effects in the oscillation experiments. We show that the chirality flipping up-scattering processes occurring through either neutrino magnetic dipole moment or the weakly coupled scalar interactions can also produce heavy Kaluza-Klein modes of the corresponding right-handed neutral leptons propagating in one or more extra dimensions. However, to conserve the four-dimensional energy-momentum, their masses must be below the maximum energy of the neutrinos in the initial state. The appreciable size of extra dimensions connected with these heavy neutral leptons can thus affect the cross-sections of these processes. This framework applies to any up-scattering process. Our work here focuses only on its application to the coherent elastic neutrino-nucleus scattering process. We derive constraints on the size of extra dimensions using the COHERENT data in oscillation and up-scattering processes. For model with one large extra dimension for the light neutral leptons, we obtain the limits, $R \sim 3 \ \mu$m (NH) and $R \sim 2.5 \ \mu$m (IH), on the size of extra dimension corresponding to the absolute mass limit, $m_{0} \leq 3 \times 10^{-3}$ eV at 90$\%$ C.L. from the short-baseline oscillations. Using the up-scattering process for heavy neutral leptons, we obtain new parameter spaces between the size of extra dimensions and parameters of the dipole or scalar interactions.


title: Sharp Analysis of Sketch-and-Project Methods via a Connection to Randomized Singular Value Decomposition

abstract: Sketch-and-project is a framework which unifies many known iterative methods for solving linear systems and their variants, as well as further extensions to non-linear optimization problems. It includes popular methods such as randomized Kaczmarz, coordinate descent, variants of the Newton method in convex optimization, and others. In this paper, we develop a theoretical framework for obtaining sharp guarantees on the convergence rate of sketch-and-project methods. Our approach is the first to: (1) show that the convergence rate improves at least linearly with the sketch size, and even faster when the data matrix exhibits certain spectral decays; and (2) allow for sparse sketching matrices, which are more efficient than dense sketches and more robust than sub-sampling methods. In particular, our results explain an observed phenomenon that a radical sparsification of the sketching matrix does not affect the per iteration convergence rate of sketch-and-project. To obtain our results, we develop new non-asymptotic spectral bounds for the expected sketched projection matrix, which are of independent interest; and we establish a connection between the convergence rates of iterative sketch-and-project solvers and the approximation error of randomized singular value decomposition, which is a widely used one-shot sketching algorithm for low-rank approximation. Our experiments support the theory and demonstrate that even extremely sparse sketches exhibit the convergence properties predicted by our framework.


title: HySAGE: A Hybrid Static and Adaptive Graph Embedding Network for Context-Drifting Recommendations

abstract: The recent popularity of edge devices and Artificial Intelligent of Things (AIoT) has driven a new wave of contextual recommendations, such as location based Point of Interest (PoI) recommendations and computing resource-aware mobile app recommendations. In many such recommendation scenarios, contexts are drifting over time. For example, in a mobile game recommendation, contextual features like locations, battery, and storage levels of mobile devices are frequently drifting over time. However, most existing graph-based collaborative filtering methods are designed under the assumption of static features. Therefore, they would require frequent retraining and/or yield graphical models burgeoning in sizes, impeding their suitability for context-drifting recommendations. In this work, we propose a specifically tailor-made Hybrid Static and Adaptive Graph Embedding (HySAGE) network for context-drifting recommendations. Our key idea is to disentangle the relatively static user-item interaction and rapidly drifting contextual features. Specifically, our proposed HySAGE network learns a relatively static graph embedding from user-item interaction and an adaptive embedding from drifting contextual features. These embeddings are incorporated into an interest network to generate the user interest in some certain context. We adopt an interactive attention module to learn the interactions among static graph embeddings, adaptive contextual embeddings, and user interest, helping to achieve a better final representation. Extensive experiments on real-world datasets demonstrate that HySAGE significantly improves the performance of the existing state-of-the-art recommendation algorithms.


title: Determination of asymptotic normalization coefficients for the channel $^{16}$O$\to \alpha+^{12}$C. Excited state $^{16}$O($0^+; 6.05$ MeV)

abstract: Asymptotic normalization coefficients (ANC) determine the overall normalization of cross sections of peripheral radiative capture reactions. In the present paper, we treat the ANC $C$ for the virtual decay $^{16}$O$(0^+; 6.05$ MeV)$\to \alpha+^{12}$C(g.s.), the known values of which are characterized by a large spread $(0.29-1.65)\times 10^3$ fm$^{-1/2}$. The ANC $C$ is found by analytic continuation in the energy of the $\alpha^{12}$C $s$-wave scattering amplitude, known from the phase-shift analysis of experimental data, to the pole corresponding to the $^{16}$O bound state and lying in the unphysical region of negative energies. To determine $C$, two different methods of analytic continuation are used. In the first method, the scattering data are approximated by the sum of polynomials in energy in the physical region and then extrapolated to the pole. The best way of extrapolation is chosen on the basis of the exactly solvable model. Within the second approach, the ANC $C$ is found by solving the Schr\"odinger equation for the two-body $\alpha^{12}$C potential, the parameters of which are selected from the requirement of the best description of the phase-shift analysis data at a fixed experimental binding energy of $^{16}$O$(0^+; 6.05$ MeV) in the $\alpha+^{12}$C channel. The values of the ANC $C$ obtained within these two methods lie in the interval (886--1139) fm$^{-1/2}$.


title: Review on Action Recognition for Accident Detection in Smart City Transportation Systems

abstract: Action detection and public traffic safety are crucial aspects of a safe community and a better society. Monitoring traffic flows in a smart city using different surveillance cameras can play a significant role in recognizing accidents and alerting first responders. The utilization of action recognition (AR) in computer vision tasks has contributed towards high-precision applications in video surveillance, medical imaging, and digital signal processing. This paper presents an intensive review focusing on action recognition in accident detection and autonomous transportation systems for a smart city. In this paper, we focused on AR systems that used diverse sources of traffic video capturing, such as static surveillance cameras on traffic intersections, highway monitoring cameras, drone cameras, and dash-cams. Through this review, we identified the primary techniques, taxonomies, and algorithms used in AR for autonomous transportation and accident detection. We also examined data sets utilized in the AR tasks, identifying the main sources of datasets and features of the datasets. This paper provides potential research direction to develop and integrate accident detection systems for autonomous cars and public traffic safety systems by alerting emergency personnel and law enforcement in the event of road accidents to minimize human error in accident reporting and provide a spontaneous response to victims


title: On the nature of cosmic strings in the brane world

abstract: We investigate a static, cylindrically symmetric cosmic string on the brane without a perturbative approximation. We find there could be a (large) enhancement of the (effective) string tension when the energy density at the center of the string is (much) larger than twice the brane tension. We also point out a new way to evade the cosmic string problem when the energy density at the center of the string approaches twice the brane tension. These findings could have experimental and theoretical implications for searching for cosmic strings on the brane, in particular for cosmic strings generated after inflation (such as D-term inflation) on the brane.


title: Data-Driven Causal Effect Estimation Based on Graphical Causal Modelling: A Survey

abstract: In many fields of scientific research and real-world applications, unbiased estimation of causal effects from non-experimental data is crucial for understanding the mechanism underlying the data and for decision-making on effective responses or interventions. A great deal of research has been conducted to address this challenging problem from different angles. For estimating causal effect in observational data, assumptions such as Markov condition, faithfulness and causal sufficiency are always made. Under the assumptions, full knowledge such as, a set of covariates or an underlying causal graph, is typically required. A practical challenge is that in many applications, no such full knowledge or only some partial knowledge is available. In recent years, research has emerged to use search strategies based on graphical causal modelling to discover useful knowledge from data for causal effect estimation, with some mild assumptions, and has shown promise in tackling the practical challenge. In this survey, we review these data-driven methods on causal effect estimation for a single treatment with a single outcome of interest and focus on the challenges faced by data-driven causal effect estimation. We concisely summarise the basic concepts and theories that are essential for data-driven causal effect estimation using graphical causal modelling but are scattered around the literature. We identify and discuss the challenges faced by data-driven causal effect estimation and characterise the existing methods by their assumptions and the approaches to tackling the challenges. We analyse the strengths and limitations of the different types of methods and present an empirical evaluation to support the discussions. We hope this review will motivate more researchers to design better data-driven methods based on graphical causal modelling for the challenging problem of causal effect estimation.


title: Diffusion Models Beat GANs on Topology Optimization

abstract: Structural topology optimization, which aims to find the optimal physical structure that maximizes mechanical performance, is vital in engineering design applications in aerospace, mechanical, and civil engineering. Generative adversarial networks (GANs) have recently emerged as a popular alternative to traditional iterative topology optimization methods. However, these models are often difficult to train, have limited generalizability, and due to their goal of mimicking optimal structures, neglect manufacturability and performance objectives like mechanical compliance. We propose TopoDiff - a conditional diffusion-model-based architecture to perform performance-aware and manufacturability-aware topology optimization that overcomes these issues. Our model introduces a surrogate model-based guidance strategy that actively favors structures with low compliance and good manufacturability. Our method significantly outperforms a state-of-art conditional GAN by reducing the average error on physical performance by a factor of eight and by producing eleven times fewer infeasible samples. By introducing diffusion models to topology optimization, we show that conditional diffusion models have the ability to outperform GANs in engineering design synthesis applications too. Our work also suggests a general framework for engineering optimization problems using diffusion models and external performance with constraint-aware guidance. We publicly share the data, code, and trained models here: https://decode.mit.edu/projects/topodiff/.


title: Transforming the Interactive Segmentation for Medical Imaging

abstract: The goal of this paper is to interactively refine the automatic segmentation on challenging structures that fall behind human performance, either due to the scarcity of available annotations or the difficulty nature of the problem itself, for example, on segmenting cancer or small organs. Specifically, we propose a novel Transformer-based architecture for Interactive Segmentation (TIS), that treats the refinement task as a procedure for grouping pixels with similar features to those clicks given by the end users. Our proposed architecture is composed of Transformer Decoder variants, which naturally fulfills feature comparison with the attention mechanisms. In contrast to existing approaches, our proposed TIS is not limited to binary segmentations, and allows the user to edit masks for arbitrary number of categories. To validate the proposed approach, we conduct extensive experiments on three challenging datasets and demonstrate superior performance over the existing state-of-the-art methods. The project page is: https://wtliu7.github.io/tis/.


title: Alternating Multiple Mixed Values

abstract: In this paper, we define and study a variant of multiple zeta values (MZVs) of level four, called alternating multiple mixed values or alternating multiple $M$-values (AMMVs), which forms a subspace of the space of colored MZVs of level four as ${\mathbb Q}[i]$-vector spaces. This variant includes the alternating version of Hoffman's multiple $t$-values, Kaneko-Tsumura's multiple $T$-values, and the multiple $S$-values studied by the authors previously as special cases. We exhibit nice properties similar to the ordinary MZVs such as the duality, integral shuffle and series stuffle relations. After setting up the algebraic framework we derive the regularized double shuffle relations of the AMMVs. We also investigate several alternating multiple $T$- and $S$-values by establishing some explicit relations of integrals involving arctangent function. In the end, we discuss the explicit evaluations of a kind of AMMVs at depth three and compute the dimensions of a few interesting subspaces of AMMVs for weight less than 7.


title: Transferable Cross-Tokamak Disruption Prediction with Deep Hybrid Neural Network Feature Extractor

abstract: Predicting disruptions across different tokamaks is a great obstacle to overcome. Future tokamaks can hardly tolerate disruptions at high performance discharge. Few disruption discharges at high performance can hardly compose an abundant training set, which makes it difficult for current data-driven methods to obtain an acceptable result. A machine learning method capable of transferring a disruption prediction model trained on one tokamak to another is required to solve the problem. The key is a disruption prediction model containing a feature extractor that is able to extract common disruption precursor traces in tokamak diagnostic data, and a transferable disruption classifier. Based on the concerns above, the paper first presents a deep fusion feature extractor designed specifically for extracting disruption precursor features from common diagnostics on tokamaks according to currently known precursors of disruption, providing a promising foundation for transferable models. The fusion feature extractor is proved by comparing with manual feature extraction on J-TEXT. Based on the feature extractor trained on J-TEXT, the disruption prediction model was transferred to EAST data with mere 20 discharges from EAST experiment. The performance is comparable with a model trained with 1896 discharges from EAST. From the comparison among other model training scenarios, transfer learning showed its potential in predicting disruptions across different tokamaks.


title: The Saddle-Point Accountant for Differential Privacy

abstract: We introduce a new differential privacy (DP) accountant called the saddle-point accountant (SPA). SPA approximates privacy guarantees for the composition of DP mechanisms in an accurate and fast manner. Our approach is inspired by the saddle-point method -- a ubiquitous numerical technique in statistics. We prove rigorous performance guarantees by deriving upper and lower bounds for the approximation error offered by SPA. The crux of SPA is a combination of large-deviation methods with central limit theorems, which we derive via exponentially tilting the privacy loss random variables corresponding to the DP mechanisms. One key advantage of SPA is that it runs in constant time for the $n$-fold composition of a privacy mechanism. Numerical experiments demonstrate that SPA achieves comparable accuracy to state-of-the-art accounting methods with a faster runtime.

categories: cs.CR cs.IT cs.LG math.IT math.ST stat.TH


title: Vision-Language Matching for Text-to-Image Synthesis via Generative Adversarial Networks

abstract: Text-to-image synthesis aims to generate a photo-realistic and semantic consistent image from a specific text description. The images synthesized by off-the-shelf models usually contain limited components compared with the corresponding image and text description, which decreases the image quality and the textual-visual consistency. To address this issue, we propose a novel Vision-Language Matching strategy for text-to-image synthesis, named VLMGAN*, which introduces a dual vision-language matching mechanism to strengthen the image quality and semantic consistency. The dual vision-language matching mechanism considers textual-visual matching between the generated image and the corresponding text description, and visual-visual consistent constraints between the synthesized image and the real image. Given a specific text description, VLMGAN* firstly encodes it into textual features and then feeds them to a dual vision-language matching-based generative model to synthesize a photo-realistic and textual semantic consistent image. Besides, the popular evaluation metrics for text-to-image synthesis are borrowed from simple image generation, which mainly evaluates the reality and diversity of the synthesized images. Therefore, we introduce a metric named Vision-Language Matching Score (VLMS) to evaluate the performance of text-to-image synthesis which can consider both the image quality and the semantic consistency between synthesized image and the description. The proposed dual multi-level vision-language matching strategy can be applied to other text-to-image synthesis methods. We implement this strategy on two popular baselines, which are marked with ${\text{VLMGAN}_{+\text{AttnGAN}}}$ and ${\text{VLMGAN}_{+\text{DFGAN}}}$. The experimental results on two widely-used datasets show that the model achieves significant improvements over other state-of-the-art methods.


title: FRW cosmology with varying cubic deceleration parameter

abstract: In this work a new law of varying deceleration parameter of third degree have been proposed. The solutions of the modified field equations have been derived under the newly proposed law of the deceleration parameter. Model exhibits the Big-bang singularity at cosmic time ($t=0$) and shows Big Rip at ($t=n$) then it re-enter the phase of initial singularity at $t=2n$ and ends its cyclic behavior at $t=3n$. The evolution of the physical and dynamical parameters of the Universe have been studied and the graphical representation has also been shown. Further $Om(z)$ diagnostic parameter and the energy conditions have also been studied together with their graphical representations.


title: A Study on Non-coplanar Baseline Effects for Mingantu Spectral Radioheliograph

abstract: As a dedicated solar radioheliograph, the MingantU SpEctral RadioHeliograph (MUSER) has a maximum baseline of more than 3000 meters and a frequency range of 400 MHz -- 15 GHz. According to the classical radio interferometry theory, the non-coplanar baseline effect (i.e., w-term effect) would be considered and calibrated for such a radio instrument. However, little previous literature made the qualitative or quantitative analyses on w-term effects of solar radioheliograph in-depth. This study proposes a complete quantitative analysis of w-term effects for the MUSER. After a brief introduction of the MUSER, we systematically investigate the baseline variations over a year and analyze the corresponding variations of w-term. We further studied the effects of the w-term in the imaging for the specified extended source, i.e., the Sun. We discussed the possible effects of the w-term, such as image distortion and so on. The simulated results show that the w-term is an essential and unavoidable issue for solar radio imaging with high spatial resolution.


title: Non-chaotic dynamics for Yang-Baxter deformed $\text{AdS}_{4}\times \text{CP}^{3}$ superstrings

abstract: We explore a novel class of Yang-Baxter deformed AdS$_{4}$ $\times$ CP$^{3}$ backgrounds [Jour. High Ener. Phys. \textbf{01} (2021) 056] which exhibit a non-chaotic dynamics for (super)strings propagating over it. We explicitly use the \textit{Kovacic's algorithm} in order to establish non-chaotic dynamics of string $ \sigma $ models over these deformed backgrounds. This analysis is complemented with numerical techniques whereby we probe the classical phase space of these (semi)classical strings and calculate various chaos indicators, such as, the Poincar\'{e} sections and the Lyapunov exponents. We find compatibility between the two approaches. Nevertheless, our analysis does not ensure integrability; rather, it excludes the possibility of non-integrability for the given string embeddings.


title: Looking For A Match: Self-supervised Clustering For Automatic Doubt Matching In e-learning Platforms

abstract: Recently, e-learning platforms have grown as a place where students can post doubts (as a snap taken with smart phones) and get them resolved in minutes. However, the significant increase in the number of student-posted doubts with high variance in quality on these platforms not only presents challenges for teachers' navigation to address them but also increases the resolution time per doubt. Both are not acceptable, as high doubt resolution time hinders the students learning progress. This necessitates ways to automatically identify if there exists a similar doubt in repository and then serve it to the teacher as the plausible solution to validate and communicate with the student. Supervised learning techniques (like Siamese architecture) require labels to identify the matches, which is not feasible as labels are scarce and expensive. In this work, we, thus, developed a label-agnostic doubt matching paradigm based on the representations learnt via self-supervised technique. Building on prior theoretical insights of BYOL (bootstrap your own latent space), we propose custom BYOL which combines domain-specific augmentation with contrastive objective over a varied set of appropriately constructed data views. Results highlighted that, custom BYOL improves the top-1 matching accuracy by approximately 6\% and 5\% as compared to both BYOL and supervised learning instances, respectively. We further show that both BYOL-based learning instances performs either on par or better than human labeling.


title: Using Multi-Encoder Fusion Strategies to Improve Personalized Response Selection

abstract: Personalized response selection systems are generally grounded on persona. However, there exists a co-relation between persona and empathy, which is not explored well in these systems. Also, faithfulness to the conversation context plunges when a contradictory or an off-topic response is selected. This paper attempts to address these issues by proposing a suite of fusion strategies that capture the interaction between persona, emotion, and entailment information of the utterances. Ablation studies on the Persona-Chat dataset show that incorporating emotion and entailment improves the accuracy of response selection. We combine our fusion strategies and concept-flow encoding to train a BERT-based model which outperforms the previous methods by margins larger than 2.3 % on original personas and 1.9 % on revised personas in terms of hits@1 (top-1 accuracy), achieving a new state-of-the-art performance on the Persona-Chat dataset.


title: Exploring Adversarial Robustness of Vision Transformers in the Spectral Perspective

abstract: The Vision Transformer has emerged as a powerful tool for image classification tasks, surpassing the performance of convolutional neural networks (CNNs). Recently, many researchers have attempted to understand the robustness of Transformers against adversarial attacks. However, previous researches have focused solely on perturbations in the spatial domain. This paper proposes an additional perspective that explores the adversarial robustness of Transformers against frequency-selective perturbations in the spectral domain. To facilitate comparison between these two domains, an attack framework is formulated as a flexible tool for implementing attacks on images in the spatial and spectral domains. The experiments reveal that Transformers rely more on phase and low frequency information, which can render them more vulnerable to frequency-selective attacks than CNNs. This work offers new insights into the properties and adversarial robustness of Transformers.


title: A power-efficient integrated lithium niobate electro-optic comb generator

abstract: Integrated electro-optic (EO) frequency combs are essential components for future applications in optical communications, light detection and ranging, optical computation, sensing and spectroscopy. To date, broadband on-chip EO combs are typically generated in high-quality-factor micro-resonators, while the more straightforward and flexible non-resonant method, usually using single or cascaded EO phase modulators, often requires high driving power to realize a reasonably strong modulation index. Here, we show that the phase modulation efficiency of an integrated lithium niobate modulator could be dramatically enhanced by passing optical signals through the modulation electrodes for a total of 4 round trips, via multiple low-loss TE0/TE1 mode multiplexers and waveguide crossings, reducing electrical power consumption by more than one order of magnitude. Using devices fabricated from a wafer-scale stepper lithography process, we demonstrate a broadband optical frequency comb featuring 47 comb lines at a 25-GHz repetition rate, using a moderate RF driving power of 28 dBm (0.63 W). Leveraging the excellent tunability in repetition rate and operation wavelength, our power-efficient EO comb generator could serve as a compact low-cost solution for future high-speed data transmission, sensing and spectroscopy, as well as classical and quantum optical computation systems.


title: Classification of Schmidt-rank-two multipartite unitary gates by singular number

abstract: The multipartite unitary gates are called genuine if they are not product unitary operators across any bipartition. We mainly investigate the classification of genuine multipartite unitary gates of Schmidt rank two, by focusing on the multiqubit scenario. For genuine multipartite (excluding bipartite) unitary gates of Schmidt rank two, there is an essential fact that their Schmidt decompositions are unique. Based on this fact, we propose a key notion named as singular number to classify the unitary gates concerned. The singular number is defined as the number of local singular operators in the Schmidt decomposition. We then determine the accurate range of singular number. For each singular number, we formulate the parametric Schmidt decompositions of genuine multiqubit unitary gates under local equivalence. Finally, we extend the study to three-qubit diagonal unitary gates due to the close relation between diagonal unitary gates and Schmidt-rank-two unitaries. We start with discussing two typical examples of Schmidt rank two, one of which is a fundamental three-qubit unitary gate, i.e., the CCZ gate. Then we characterize the diagonal unitary gates of Schmidt rank greater than two. We show that a three-qubit diagonal unitary gate has Schmidt rank at most three, and present a necessary and sufficient condition for such a unitary gate of Schmidt rank three. This completes the characterization of all genuine three-qubit diagonal unitary gates.


title: Hadro-chemistry effects on charm decayed leptons in heavy-ion collisions

abstract: Charm-hadrons possess versatile hadro-chemistry as characterized by various transverse-momentum-dependent ratios between their different species. In particular, the charm hadro-chemistry may be modified in relativistic heavy-ion collisions with respect to proton-proton collisions at the same energy, as caused by novel diffusion and hadronization mechanisms of charm quarks in the environment of the created quark-gluon plasma (QGP) in the former. Inspired by recent measurements of leptons from charm-hadron decays (separated from bottom decays) in Pb-Pb and Au-Au collisions, we investigate the effects of the charm hadro-chemistry on the leptonic observables. We find that full consideration of charm hadro-chemistry in both proton-proton and heavy-ion collisions causes only mild change of charm-leptons' suppression factor with respect to previous calculations hadronizing charm quarks into $D$ mesons only, whereas the resulting change (increase) in the charm-leptons' elliptic flow turns out to be more pronounced as a consequence of the larger collectivity of $\Lambda_c$ baryons than $D$ mesons.


title: General-to-Specific Transfer Labeling for Domain Adaptable Keyphrase Generation

abstract: Training keyphrase generation (KPG) models require a large amount of annotated data, which can be prohibitively expensive and often limited to specific domains. In this study, we first demonstrate that large distribution shifts among different domains severely hinder the transferability of KPG models. We then propose a three-stage pipeline, which gradually guides KPG models' learning focus from general syntactical features to domain-related semantics, in a data-efficient manner. With Domain-general Phrase pre-training, we pre-train Sequence-to-Sequence models with generic phrase annotations that are widely available on the web, which enables the models to generate phrases in a wide range of domains. The resulting model is then applied in the Transfer Labeling stage to produce domain-specific pseudo keyphrases, which help adapt models to a new domain. Finally, we fine-tune the model with limited data with true labels to fully adapt it to the target domain. Our experiment results show that the proposed process can produce good-quality keyphrases in new domains and achieve consistent improvements after adaptation with limited in-domain annotated data. All code and datasets are available at https://github.com/memray/OpenNMT-kpg-release.


title: Heuristics for Multi-Vehicle Routing Problem Considering Human-Robot Interactions

abstract: Unmanned ground vehicles (UGVs) are being used extensively in civilian and military applications for applications such as underground mining, nuclear plant operations, planetary exploration, intelligence, surveillance and reconnaissance (ISR) missions and manned-unmanned teaming. We consider a multi-objective, multiple-vehicle routing problem in which teams of manned ground vehicles (MGVs) and UGVs are deployed respectively in a leader-follower framework to execute missions with differing requirements for MGVs and UGVs while considering human-robot interactions (HRI). HRI studies highlight the costs of managing a team of follower UGVs by a leader MGV. This paper aims to compute feasible paths, replenishments, team compositions and number of MGV-UGV teams deployed such that the requirements for MGVs and UGVs for the missions are met and the path, replenishment, HRI and team deployment costs are at minimum. The problem is first modeled as a a mixed-integer linear program (MILP) that can be solved to optimality by off-the-shelf commercial solvers for small-sized instances. For larger instances, a variable neighborhood search algorithm is offered to compute near optimal solutions and address the challenges that arise when solving the combinatorial multi-objective routing optimization problem. Finally, computational experiments that corroborate the effectiveness of the proposed algorithms are presented.


title: Some rigidity properties for $\lambda$-self-expanders

abstract: $\lambda$-self-expanders $\Sigma$ in $\mathbb{R}^{n+1}$ are the solutions of the isoperimetric problem with respect to the same weighted area form as in the study of the self-expanders. In this paper, we mainly extend the results on self-expanders which we obtained in \cite{ancari2020volum} to $\lambda$-self-expanders. We prove some results that characterize the hyperplanes, spheres and cylinders as $\lambda$-self-expanders. We also discuss the area growths and the finiteness of the weighted areas under the control of the growth of the mean curvature.


title: Topological superconductivity in a topological insulator

abstract: Topological superconductivity is an exotic quantum phenomenon with coupled nontrivial topological order and superconductivity together. A direct idea for producing topological superconductors is to create superconductivity based on the well recognized topological insulators. The topological insulating states in highly efficient thermoelectric materials Bi$_2$Te$_3$ and Bi$_2$Se$_3$ and their alloy Bi$_{2}$Te$_{3-x}$Se$_{x}$ have been established from angle-resolved photoemission and transport experiments. Superconductivity was also observed based on these popular topological insulators by the application of pressure chemical dopant and heterostructures. However, the experiments mainly focusing on Bi$_{2}$Se$_3$ doped by metals have not provided the consistent evidence to support the topological superconductivity. Here we carry out a systematic high-pressure study on a topological insulator Bi$_{2}$Te$_{2.7}$Se$_{0.3}$ to provide the convincing evidence for the expected topological superconductivity. Four phases with different structures are found upon compression. The topological surface state is identified in the entire initial phase, while superconductivity is found to coexist with such a state of the compressed material after its passing the electronic topological transition, followed by three other superconducting phases without topological character. For these superconducting phases, we observe that the upper critical field follows with the temperature in the critical exponent ${2/3}$ for the first one with the topological surface state and $1$ for the left. These observations support the realization of the topological superconductivity in the initial phase according to the theoretically proposed critical field measure. This work also points out a big pool and new direction for finding topological superconductors from topological thermoelectric materials.


title: MemoNav: Selecting Informative Memories for Visual Navigation

abstract: Image-goal navigation is a challenging task, as it requires the agent to navigate to a target indicated by an image in a previously unseen scene. Current methods introduce diverse memory mechanisms which save navigation history to solve this task. However, these methods use all observations in the memory for generating navigation actions without considering which fraction of this memory is informative. To address this limitation, we present the MemoNav, a novel memory mechanism for image-goal navigation, which retains the agent's informative short-term memory and long-term memory to improve the navigation performance on a multi-goal task. The node features on the agent's topological map are stored in the short-term memory, as these features are dynamically updated. To aid the short-term memory, we also generate long-term memory by continuously aggregating the short-term memory via a graph attention module. The MemoNav retains the informative fraction of the short-term memory via a forgetting module based on a Transformer decoder and then incorporates this retained short-term memory and the long-term memory into working memory. Lastly, the agent uses the working memory for action generation. We evaluate our model on a new multi-goal navigation dataset. The experimental results show that the MemoNav outperforms the SoTA methods by a large margin with a smaller fraction of navigation history. The results also empirically show that our model is less likely to be trapped in a deadlock, which further validates that the MemoNav improves the agent's navigation efficiency by reducing redundant steps.


title: Weighted Maximum Entropy Inverse Reinforcement Learning

abstract: We study inverse reinforcement learning (IRL) and imitation learning (IM), the problems of recovering a reward or policy function from expert's demonstrated trajectories. We propose a new way to improve the learning process by adding a weight function to the maximum entropy framework, with the motivation of having the ability to learn and recover the stochasticity (or the bounded rationality) of the expert policy. Our framework and algorithms allow to learn both a reward (or policy) function and the structure of the entropy terms added to the Markov Decision Processes, thus enhancing the learning procedure. Our numerical experiments using human and simulated demonstrations and with discrete and continuous IRL/IM tasks show that our approach outperforms prior algorithms.


title: AntCritic: Argument Mining for Free-Form and Visually-Rich Financial Comments

abstract: Argument mining aims to detect all possible argumentative components and identify their relationships automatically. As a thriving task in natural language processing, there has been a large amount of corpus for academic study and application development in this field. However, the research in this area is still constrained by the inherent limitations of existing datasets. Specifically, all the publicly available datasets are relatively small in scale, and few of them provide information from other modalities to facilitate the learning process. Moreover, the statements and expressions in these corpora are usually in a compact form, which restricts the generalization ability of models. To this end, we collect a novel dataset AntCritic to serve as a helpful complement to this area, which consists of about 10k free-form and visually-rich financial comments and supports both argument component detection and argument relation prediction tasks. Besides, to cope with the challenges brought by scenario expansion, we thoroughly explore the fine-grained relation prediction and structure reconstruction scheme and discuss the encoding mechanism for visual styles and layouts. On this basis, we design two simple but effective model architectures and conduct various experiments on this dataset to provide benchmark performances as a reference and verify the practicability of our proposed architecture. We release our data and code in this link, and this dataset follows CC BY-NC-ND 4.0 license.


title: Controlling Congestion via In-Network Content Adaptation

abstract: Realizing that it is inherently difficult to precisely match the sending rates at the endhost with the available capacity on dynamic cellular links, we build a system, Octopus, that sends real-time data streams over cellular networks using an imprecise controller (that errs on the side of over-estimating network capacity), and then drops appropriate packets in the cellular network buffers to match the actual capacity. We design parameterized primitives for implementing the packet dropping logic, that the applications at the endhost can configure differently to express different content adaptation policies. Octopus transport encodes the app-specified parameters in packet header fields, which the routers parse to execute the desired dropping behavior. Our evaluation shows how real-time applications involving standard and volumetric videos can be designed to exploit Octopus, and achieve 1.5-50 times better performance than state-of-the-art schemes.


title: An ensemble meta-estimator to predict source code testability

abstract: Unlike most other software quality attributes, testability cannot be evaluated solely based on the characteristics of the source code. The effectiveness of the test suite and the budget assigned to the test highly impact the testability of the code under test. The size of a test suite determines the test effort and cost, while the coverage measure indicates the test effectiveness. Therefore, testability can be measured based on the coverage and number of test cases provided by a test suite, considering the test budget. This paper offers a new equation to estimate testability regarding the size and coverage of a given test suite. The equation has been used to label 23,000 classes belonging to 110 Java projects with their testability measure. The labeled classes were vectorized using 262 metrics. The labeled vectors were fed into a family of supervised machine learning algorithms, regression, to predict testability in terms of the source code metrics. Regression models predicted testability with an R2 of 0.68 and a mean squared error of 0.03, suitable in practice. Fifteen software metrics highly affecting testability prediction were identified using a feature importance analysis technique on the learned model. The proposed models have improved mean absolute error by 38% due to utilizing new criteria, metrics, and data compared with the relevant study on predicting branch coverage as a test criterion. As an application of testability prediction, it is demonstrated that automated refactoring of 42 smelly Java classes targeted at improving the 15 influential software metrics could elevate their testability by an average of 86.87%.