title: Coalescing black hole binaries from globular clusters: mass distributions and comparison to gravitational wave data from GWTC-3

abstract: We use our cluster population model, cBHBd, to explore the mass distribution of merging black hole binaries formed dynamically in globular clusters. We include in our models the effect of mass growth through hierarchical mergers and compare the resulting distributions to those inferred from the third gravitational wave transient catalogue. We find that none of our models can reproduce the peak at $m_1\simeq 10M_\odot$ in the primary black hole mass distribution that is inferred from the data. This disfavours a scenario where most of the sources are formed in globular clusters. On the other hand, a globular cluster origin can account for the inferred secondary peak at $m_1\simeq 35M_\odot$, which requires that the most massive clusters form with half-mass densities $\rho_{\rm h,0} \gtrsim 10^4 M_\odot \rm pc^{-3}$. Finally, we find that the lack of a high mass cut--off in the inferred mass distribution can be also explained by the repopulation of an initial mass gap through hierarchical mergers. Matching the inferred merger rate above $\simeq 50M_\odot$ requires both initial cluster densities $\rho_{\rm h,0} \gtrsim 10^4 M_\odot \rm pc^{-3}$, and that black holes form with nearly zero spin. A hierarchical merger scenario makes specific predictions for the appearance and position of multiple peaks in the black hole mass distribution, which can be tested against future data.


title: Single electron Sensitive Readout (SiSeRO) X-ray detectors: Technological progress and characterization

abstract: Single electron Sensitive Read Out (SiSeRO) is a novel on-chip charge detector output stage for charge-coupled device (CCD) image sensors. Developed at MIT Lincoln Laboratory, this technology uses a p-MOSFET transistor with a depleted internal gate beneath the transistor channel. The transistor source-drain current is modulated by the transfer of charge into the internal gate. At Stanford, we have developed a readout module based on the drain current of the on-chip transistor to characterize the device. Characterization was performed for a number of prototype sensors with different device architectures, e.g. location of the internal gate, MOSFET polysilicon gate structure, and location of the trough in the internal gate with respect to the source and drain of the MOSFET (the trough is introduced to confine the charge in the internal gate). Using a buried-channel SiSeRO, we have achieved a charge/current conversion gain of >700 pA per electron, an equivalent noise charge (ENC) of around 6 electrons root mean square (RMS), and a full width half maximum (FWHM) of approximately 140 eV at 5.9 keV at a readout speed of 625 Kpixel/s. In this paper, we discuss the SiSeRO working principle, the readout module developed at Stanford, and the characterization test results of the SiSeRO prototypes. We also discuss the potential to implement Repetitive Non-Destructive Readout (RNDR) with these devices and the preliminary results which can in principle yield sub-electron ENC performance. Additional measurements and detailed device simulations will be essential to mature the SiSeRO technology. However, this new device class presents an exciting technology for next generation astronomical X-ray telescopes requiring fast, low-noise, radiation hard megapixel imagers with moderate spectroscopic resolution.

categories: astro-ph.IM astro-ph.HE hep-ex physics.ins-det


title: Efficient verification of arbitrary entangled states with homogeneous local measurements

abstract: Quantum state verification (QSV) is the task of relying on local measurements only to verify that a given quantum device does produce the desired target state. Up to now, certain types of entangled states can be verified efficiently or even optimally by QSV. However, given an arbitrary entangled state, how to design its verification protocol remains an open problem. In this work, we present a systematic strategy to tackle this problem by considering the locality of what we initiate as the choice-independent measurement protocols, whose operators can be directly achieved when they are homogeneous. Taking several typical entangled states as examples, we show the explicit procedures of the protocol design using standard Pauli projections, demonstrating the superiority of our method for attaining better QSV strategies. Moreover, our framework can be naturally extended to other tasks such as the construction of entanglement witness, and even parameter estimation.


title: Robotic Interestingness via Human-Informed Few-Shot Object Detection

abstract: Interestingness recognition is crucial for decision making in autonomous exploration for mobile robots. Previous methods proposed an unsupervised online learning approach that can adapt to environments and detect interesting scenes quickly, but lack the ability to adapt to human-informed interesting objects. To solve this problem, we introduce a human-interactive framework, AirInteraction, that can detect human-informed objects via few-shot online learning. To reduce the communication bandwidth, we first apply an online unsupervised learning algorithm on the unmanned vehicle for interestingness recognition and then only send the potential interesting scenes to a base-station for human inspection. The human operator is able to draw and provide bounding box annotations for particular interesting objects, which are sent back to the robot to detect similar objects via few-shot learning. Only using few human-labeled examples, the robot can learn novel interesting object categories during the mission and detect interesting scenes that contain the objects. We evaluate our method on various interesting scene recognition datasets. To the best of our knowledge, it is the first human-informed few-shot object detection framework for autonomous exploration.


title: Curvature as an external field in mechanical antiferromagnets

abstract: A puckered sheet is a freestanding crystalline membrane with an embedded array of bistable buckled units. Recent work has shown that the bistable units behave like spins in a two-dimensional compressible Ising antiferromagnet with, however, a coupling to flexural phonons. At finite temperature, this purely mechanical system displays Ising-like phase transitions, which drive anomalous thermal expansion. Here, we show that geometry can be used to control phase behavior: curvature produces a radius-dependent "external field" that encourages alignment between neighboring "spins," disrupting the ordered checkerboard ground state of antialigned neighbors. The effective field strength scales as the inverse of the radius of curvature. We identify this effective field theoretically with both a discrete real space model and a nonlinear continuum elastic model. We then present molecular dynamics simulations of puckered sheets in cylindrical geometries at zero and finite temperature, probing the influence of curvature on the stability of configurations and phase transitions. Our work demonstrates how curvature and temperature can be used to design and operate a responsive and tunable metamaterial at either the macroscale or nanoscale.


title: Multi-component AKNS systems

abstract: We study two members of the multi-component AKNS hierarchy. These are multi-NLS and multi-MKdV systems. We derive the Hirota bilinear forms of these equations and obtain soliton solutions. We find all possible local and nonlocal reductions of these systems of equations and give a prescription to obtain their soliton solutions. We derive also $(2+1)$-dimensional extensions of the multi-component AKNS systems.


title: Embedding-aided network dismantling

abstract: Optimal percolation concerns the identification of the minimum-cost strategy for the destruction of any extensive connected components in a network. Solutions of such a dismantling problem are important for the design of optimal strategies of disease containment based either on immunization or social distancing. Depending on the specific variant of the problem considered, network dismantling is performed via the removal of nodes or edges, and different cost functions are associated to the removal of these microscopic elements. In this paper, we show that network representations in geometric space can be used to solve several variants of the network dismantling problem in a coherent fashion. Once a network is embedded, dismantling is implemented using intuitive geometric strategies. We demonstrate that the approach well suits both Euclidean and hyperbolic network embeddings. Our systematic analysis on synthetic and real networks demonstrates that the performance of embedding-aided techniques is comparable to, if not better than, the one of the best dismantling algorithms currently available on the market.


title: Laminate polyethylene window development for large aperture millimeter receivers

abstract: New experiments that target the B-mode polarization signals in the Cosmic Microwave Background require more sensitivity, more detectors, and thus larger-aperture millimeter-wavelength telescopes, than previous experiments. These larger apertures require ever larger vacuum windows to house cryogenic optics. Scaling up conventional vacuum windows, such as those made of High Density Polyethylene (HDPE), require a corresponding increase in the thickness of the window material to handle the extra force from the atmospheric pressure. Thicker windows cause more transmission loss at ambient temperatures, increasing optical loading and decreasing sensitivity. We have developed the use of woven High Modulus Polyethylene (HMPE), a material 100 times stronger than HDPE, to manufacture stronger, thinner windows using a pressurized hot lamination process. We discuss the development of a specialty autoclave for generating thin laminate vacuum windows and the optical and mechanical characterization of full scale science grade windows, with the goal of developing a new window suitable for BICEP Array cryostats and for future CMB applications.


title: Airfall on Comet 67P/Churyumov-Gerasimenko

abstract: We here study the transfer process of material from one hemisphere to the other (deposition of airfall material) on an active comet nucleus, specifically 67P/Churyumov-Gerasimenko. Our goals are to: 1) quantify the thickness of the airfall debris layers and how it depends on the location of the target area, 2) determine the amount of $\mathrm{H_2O}$ and $\mathrm{CO_2}$ ice that are lost from icy dust assemblages of different sizes during transfer through the coma, and 3) estimate the relative amount of vapor loss in airfall material after deposition in order to understand what locations are expected to be more active than others on the following perihelion approach. We use various numerical simulations, that include orbit dynamics, thermophysics of the nucleus and of individual coma aggregates, coma gas kinetics and hydrodynamics, as well as dust dynamics due to gas drag, to address these questions. We find that the thickness of accumulated airfall material varies substantially with location, and typically is of the order $0.1$-$1\,\mathrm{m}$. The airfall material preserves substantial amounts of water ice even in relatively small (cm-sized) coma aggregates after a rather long ($12\,\mathrm{h}$) residence in the coma. However, $\mathrm{CO_2}$ is lost within a couple of hours even in relatively large (dm-sized) aggregates, and is not expected to be an important component in airfall deposits. We introduce reachability and survivability indices to measure the relative capacity of different regions to simultaneously collect airfall and to preserve its water ice until the next perihelion passage, thereby grading their potential of contributing to comet activity during the next perihelion passage.


title: Gradients in solid surface tension drive Marangoni-like motions in cell aggregates

abstract: The surface tension of living cells and tissues originates from the generation of nonequilibrium active stresses within the cell cytoskeleton. Here, using laser ablation, we generate gradients in the surface tension of cellular aggregates as models of simple tissues. These gradients of active surface stress drive large-scale and rapid toroidal motion. Subsequently, the motions spontaneously reverse as stresses reaccumulate and cells return to their original positions. Both forward and reverse motions resemble Marangoni flows in viscous fluids. However, the motions are faster than the timescales of viscoelastic relaxation, and the surface tension gradient is proportional to mechanical strain at the surface. Further, due to active stress, both the surface tension gradient and surface strain are dependent upon the volume of the aggregate. These results indicate that surface tension can induce rapid and highly correlated elastic deformations in the maintenance of tissue shape and configuration.


title: Quantum K theory of Grassmannians, Wilson line operators, and Schur bundles

abstract: We prove a `Whitney' presentation, and a `Coulomb branch' presentation, for the torus equivariant quantum K theory of the Grassmann manifold $\mathrm{Gr}(k;n)$, inspired from physics, and stated in an earlier paper. The first presentation is obtained by quantum deforming the product of the Hirzebruch $\lambda_y$ classes of the tautological bundles. In physics, the $\lambda_y$ classes arise as certain Wilson line operators. The second presentation is obtained from the Coulomb branch equations involving the partial derivatives of a twisted superpotential from supersymmetric gauge theory. This is closest to a presentation obtained by Gorbounov and Korff, utilizing integrable systems techniques. Algebraically, we relate the Coulomb and Whitney presentations utilizing transition matrices from the (equivariant) Grothendieck polynomials to the (equivariant) complete homogeneous symmetric polynomials. The calculations of K-theoretic Gromov-Witten invariants of wedge powers of the tautological subbundles on the Grassmannian utilize the `quantum=classical' statement.


title: A Review on Higher Order Spline Techniques for Solving Burgers Equation using B-Spline methods and Variation of B-Spline Techniques

abstract: This is a summary of articles based on higher order B-splines methods and the variation of B-spline methods such as Quadratic B-spline Finite Elements Method, Exponential Cubic B-Spline Method Septic B-spline Technique, Quintic B-spline Galerkin Method, and B-spline Galerkin Method based on the Quadratic B-spline Galerkin method (QBGM) and Cubic B-spline Galerkin method (CBGM). In this paper we study the B-spline methods and variations of B-spline techniques to find a numerical solution to the Burgers' equation. A set of fundamental definitions including Burgers equation, spline functions, and B-spline functions are provided. For each method, the main technique is discussed as well as the discretization and stability analysis. A summary of the numerical results is provided and the efficiency of each method presented is discussed. A general conclusion is provided where we look at a comparison between the computational results of all the presented schemes. We describe the effectiveness and advantages of these methods


title: EBOCA: Evidences for BiOmedical Concepts Association Ontology

abstract: There is a large number of online documents data sources available nowadays. The lack of structure and the differences between formats are the main difficulties to automatically extract information from them, which also has a negative impact on its use and reuse. In the biomedical domain, the DISNET platform emerged to provide researchers with a resource to obtain information in the scope of human disease networks by means of large-scale heterogeneous sources. Specifically in this domain, it is critical to offer not only the information extracted from different sources, but also the evidence that supports it. This paper proposes EBOCA, an ontology that describes (i) biomedical domain concepts and associations between them, and (ii) evidences supporting these associations; with the objective of providing an schema to improve the publication and description of evidences and biomedical associations in this domain. The ontology has been successfully evaluated to ensure there are no errors, modelling pitfalls and that it meets the previously defined functional requirements. Test data coming from a subset of DISNET and automatic association extractions from texts has been transformed according to the proposed ontology to create a Knowledge Graph that can be used in real scenarios, and which has also been used for the evaluation of the presented ontology.


title: An Analysis of COVID-19 Vaccine Hesitancy in the U.S. at the County Level

abstract: Reluctance or refusal to get vaccinated, referred to as vaccine hesitancy (VH), has hindered the efforts of COVID-19 vaccination campaigns. It is important to understand what factors impact VH behavior. This information can help design public health interventions that could potentially increase vaccine uptake. We develop a random forest (RF) classification model that uses a wide variety of data to determine what factors affected VH at the county level during 2021. We consider static factors (such as gender, race, political affiliation, etc.) and dynamic factors (such as Google searches, social media postings, Stringency Index, etc.). Our model found political affiliation and the number of Google searches to be the most relevant factors in determining VH behavior. The RF classification model grouped counties of the U.S. into 5 clusters. VH is lowest in cluster 1 and highest in cluster 5. Most of the people who live in cluster 1 are democrat, are more internet-inquisitive (are more prone to seek information from multiple sources on the internet), have the longest life expectancy, have a college degree, have the highest income per capita, live in metropolitan areas. Most people who live in cluster 5 are republicans, are the least internet-inquisitive, have the shortest life expectancy, do not have a college degree, have the lowest income per capita, and live in non-metropolitan areas. Our model found that counties in cluster 1 were most responsive to vaccination-related policies and COVID-19 restrictions. These strategies did not have an impact on the VH of counties in cluster 5.


title: Efficient Personalized Learning for Wearable Health Applications using HyperDimensional Computing

abstract: Health monitoring applications increasingly rely on machine learning techniques to learn end-user physiological and behavioral patterns in everyday settings. Considering the significant role of wearable devices in monitoring human body parameters, on-device learning can be utilized to build personalized models for behavioral and physiological patterns, and provide data privacy for users at the same time. However, resource constraints on most of these wearable devices prevent the ability to perform online learning on them. To address this issue, it is required to rethink the machine learning models from the algorithmic perspective to be suitable to run on wearable devices. Hyperdimensional computing (HDC) offers a well-suited on-device learning solution for resource-constrained devices and provides support for privacy-preserving personalization. Our HDC-based method offers flexibility, high efficiency, resilience, and performance while enabling on-device personalization and privacy protection. We evaluate the efficacy of our approach using three case studies and show that our system improves the energy efficiency of training by up to $45.8\times$ compared with the state-of-the-art Deep Neural Network (DNN) algorithms while offering a comparable accuracy.


title: Stellarator coil optimization supporting multiple magnetic configurations

abstract: We present a technique that can be used to design stellarators with a high degree of experimental flexibility. For our purposes, flexibility is defined by the range of values the rotational transform can take on the magnetic axis of the vacuum field while maintaining satisfactory quasisymmetry. We show that accounting for configuration flexibility during the modular coil design improves flexibility beyond that attained by previous methods. Careful placement of planar control coils and the incorporation of an integrability objective enhance the quasisymmetry and nested flux surface volume of each configuration. We show that it is possible to achieve flexibility, quasisymmetry, and nested flux surface volume to reasonable degrees with a relatively simple coil set through an NCSX-like example. This example coil design is optimized to achieve three rotational transform targets and nested flux surface volumes in each magnetic configuration larger than the NCSX design plasma volume. Our work suggests that there is a tradeoff between flexibility, quasisymmetry, and volume of nested flux surfaces.


title: Unitarity Bounds on the Massive Spin-2 Particle Explanation of Muon $g-2$ Anomaly

abstract: Motivated by the long-standing discrepancy between the Standard Model prediction and the experimental measurement of the muon magnetic dipole moment, we have recently proposed to interpret this muon $g-2$ anomaly in terms of the loop effect induced by a new massive spin-2 field $G$. In the present paper, we investigate the unitarity bounds on this scenario. We calculate the $s$-wave projected amplitudes for two-body elastic scatterings of charged leptons and photons mediated by $G$ at high energies for all possible initial and final helicity states. By imposing the condition of the perturbative unitarity, we obtain the analytic constraints on the charged-lepton-$G$ and photon-$G$ couplings. We then apply our results to constrain the parameter space relevant to the explanation of the muon $g-2$ anomaly.


title: Reorientation Rates of Structural and Kinematic Axes in Simulated Massive Galaxies and the Origins of Prolate Rotation

abstract: In this work, we analyze a sample of $\sim$4000 massive ($M_*\geq 10^{11} M_\odot$ at $z=0$) galaxies in TNG300, the $(300 \mathrm{Mpc})^3$ box of the IllustrisTNG simulation suite. We characterize the shape and kinematics of these galaxies with a focus on the kinematic misalignment ($\Psi_\mathrm{int}$) between the angular momentum (AM) and morphological major axis. We find that the traditional purely shape- or kinematics-based classifications are insufficient to characterize the diversity of our sample and define a new set of classes based on the rates of change of the galaxies' morphological and kinematic axes. We show that these classes are mostly stable over time and correspond to six distinct populations of galaxies: the rapid AM reorienters (58% of our sample), unsettled galaxies (10%), spinning disks (10%), twirling cigars (16%), misaligned slow reorienters (3%), and regular prolate rotators (galaxies that display major axis rotation; 2%). We demonstrate that the most-recent significant (mass-ratio $\mu>1/10$) mergers of these galaxies are the primary cause for their present-day properties and find that these mergers are best characterized at the point of the satellite's final infall -- that is, much closer to the final coalescence than has been previously thought. We show that regular prolate rotators evolve from spinning disk progenitors that experience a radial merger along their internal AM direction. Finally, we argue that these regular prolate rotators are distinct from the similarly-sized population of rapid AM reorienters with large $\Psi_\mathrm{int}$, implying that a large $\Psi_\mathrm{int}$ is not a sufficient condition for major axis rotation.


title: Parsimonious Argument Annotations for Hate Speech Counter-narratives

abstract: We present an enrichment of the Hateval corpus of hate speech tweets (Basile et. al 2019) aimed to facilitate automated counter-narrative generation. Comparably to previous work (Chung et. al. 2019), manually written counter-narratives are associated to tweets. However, this information alone seems insufficient to obtain satisfactory language models for counter-narrative generation. That is why we have also annotated tweets with argumentative information based on Wagemanns (2016), that we believe can help in building convincing and effective counter-narratives for hate speech against particular groups. We discuss adequacies and difficulties of this annotation process and present several baselines for automatic detection of the annotated elements. Preliminary results show that automatic annotators perform close to human annotators to detect some aspects of argumentation, while others only reach low or moderate level of inter-annotator agreement.


title: Dyadic Movement Synchrony Estimation Under Privacy-preserving Conditions

abstract: Movement synchrony refers to the dynamic temporal connection between the motions of interacting people. The applications of movement synchrony are wide and broad. For example, as a measure of coordination between teammates, synchrony scores are often reported in sports. The autism community also identifies movement synchrony as a key indicator of children's social and developmental achievements. In general, raw video recordings are often used for movement synchrony estimation, with the drawback that they may reveal people's identities. Furthermore, such privacy concern also hinders data sharing, one major roadblock to a fair comparison between different approaches in autism research. To address the issue, this paper proposes an ensemble method for movement synchrony estimation, one of the first deep-learning-based methods for automatic movement synchrony assessment under privacy-preserving conditions. Our method relies entirely on publicly shareable, identity-agnostic secondary data, such as skeleton data and optical flow. We validate our method on two datasets: (1) PT13 dataset collected from autism therapy interventions and (2) TASD-2 dataset collected from synchronized diving competitions. In this context, our method outperforms its counterpart approaches, both deep neural networks and alternatives.


title: Dark Sector first results at Belle II

abstract: Understanding the nature of dark matter is one of the most exciting challenges in fundamental physics nowadays, requiring the synergy of different search techniques, as well as theoretical inputs. An interesting opportunity for the investigation of dark matter is the one offered by the \textit{B}-factories. The Belle~II experiment, located at the interaction point of the SuperKEKB asymmetric energy $e^+e^-$ collider, is a new generation \textit{B}-factory experiment operating at the Japanese KEK laboratory. With a machine design luminosity of $6\times10^{35}\,\rm{cm}^{-2}s^{-1}$, Belle II aims to record 50 ab$^{-1}$ of data within the next decade. Thanks to this large data-sample and by using dedicated triggers, Belle~II is expected to explore dark sector candidates with unprecedented sensitivity in the mass range up to 10 GeV$/c^2$. During 2018, the experiment concluded a commissioning run, collecting a data-sample corresponding to an integrated luminosity of about 0.5 fb$^{-1}$, while main operations started on March 2019 with an almost complete detector. So far the experiment collected an integrated luminosity of $\sim90\, \rm{fb}^{-1}$. With these data-sets Belle~II has already shown the possibility to search for a large variety of dark sector candidates in the GeV mass range. This paper reviews the status of the dark sector searches performed at the Belle~II experiment, with a focus on the first obtained results and the discovery potential with the data-set available in the short term.


title: Euler Systems and Selmer Bounds for GU(2,1)

abstract: We investigate properties of the Euler system associated to certain automorphic representations of the unitary similitude group GU(2,1) with respect to an imaginary quadratic field $E$, constructed by Loeffler-Skinner-Zerbes. By adapting Mazur and Rubin's Euler system machinery we prove one divisibility of the ``rank 1" Iwasawa main conjecture under some mild hypotheses. When $p$ is split in $E$ we also prove a ``rank 0" statement of the main conjecture, bounding a particular Selmer group in terms of a $p$-adic distribution conjecturally interpolating complex $L$-values. We then prove descended versions of these results, at integral level, where we bound certain Bloch--Kato Selmer groups. We will also discuss the case where $p$ is inert, which is a work in progress.


title: Safe and Efficient Exploration of Human Models During Human-Robot Interaction

abstract: Many collaborative human-robot tasks require the robot to stay safe and work efficiently around humans. Since the robot can only stay safe with respect to its own model of the human, we want the robot to learn a good model of the human in order to act both safely and efficiently. This paper studies methods that enable a robot to safely explore the space of a human-robot system to improve the robot's model of the human, which will consequently allow the robot to access a larger state space and better work with the human. In particular, we introduce active exploration under the framework of energy-function based safe control, investigate the effect of different active exploration strategies, and finally analyze the effect of safe active exploration on both analytical and neural network human models.


title: Theory of the force of Friction Acting on Water Chains Flowing through Carbon Nanotubes

abstract: A simple model for the friction experienced by the one dimensional water chains that flow through subnanometer diameter carbon nanotubes is studied. The model is based on a lowest order perturbation theory treatment of the friction experienced by the water chains due to the excitation of phonon and electron excitations in both the nanotube and the water chain, as a result of the motion of the chain. On the basis of this model, we are able to demonstrate that the observed flow velocities of water chains through carbon nanotubes of the order of cm/s can be accounted for, if the nanotube is metallic. If it is insulating, however, our calculations imply that the flow velocity of the water could be much larger for the pressure gradient in experimental studies of water flow through subnanometer diameter nanotubes.


title: How to characterize the health of an Open Source Software project? A snowball literature review of an emerging practice

abstract: Motivation: Society's dependence on Open Source Software (OSS) and the communities that maintain the OSS is ever-growing. So are the potential risks of, e.g., vulnerabilities being introduced in projects not actively maintained. By assessing an OSS project's capability to stay viable and maintained over time without interruption or weakening, i.e., the OSS health, users can consider the risk implied by using the OSS as is, and if necessary, decide whether to help improve the health or choose another option. However, such assessment is complex as OSS health covers a wide range of sub-topics, and existing support is limited. Aim: We aim to create an overview of characteristics that affect the health of an OSS project and enable the assessment thereof. Method: We conduct a snowball literature review based on a start set of 9 papers, and identify 146 relevant papers over two iterations of forward and backward snowballing. Health characteristics are elicited and coded using structured and axial coding into a framework structure. Results: The final framework consists of 104 health characteristics divided among 15 themes. Characteristics address the socio-technical spectrum of the community of actors maintaining the OSS project, the software and other deliverables being maintained, and the orchestration facilitating the maintenance. Characteristics are further divided based on the level of abstraction they address, i.e., the OSS project-level specifically, or the project's overarching ecosystem of related OSS projects. Conclusion: The framework provides an overview of the wide span of health characteristics that may need to be considered when evaluating OSS health and can serve as a foundation both for research and practice.


title: Flaky Test Sanitisation via On-the-Fly Assumption Inference for Tests with Network Dependencies

abstract: Flaky tests cause significant problems as they can interrupt automated build processes that rely on all tests succeeding and undermine the trustworthiness of tests. Numerous causes of test flakiness have been identified, and program analyses exist to detect such tests. Typically, these methods produce advice to developers on how to refactor tests in order to make test outcomes deterministic. We argue that one source of flakiness is the lack of assumptions that precisely describe under which circumstances a test is meaningful. We devise a sanitisation technique that can isolate f laky tests quickly by inferring such assumptions on-the-fly, allowing automated builds to proceed as flaky tests are ignored. We demonstrate this approach for Java and Groovy programs by implementing it as extensions for three popular testing frameworks (JUnit4, JUnit5 and Spock) that can transparently inject the inferred assumptions. If JUnit5 is used, those extensions can be deployed without refactoring project source code. We demonstrate and evaluate the utility of our approach using a set of six popular real-world programs, addressing known test flakiness issues in these programs caused by dependencies of tests on network availability. We find that our method effectively sanitises failures induced by network connectivity problems with high precision and recall.


title: Toward deep-learning-assisted spectrally-resolved imaging of magnetic noise

abstract: Recent progress in the application of color centers to nanoscale spin sensing makes the combined use of noise spectroscopy and scanning probe imaging an attractive route for the characterization of arbitrary material systems. Unfortunately, the traditional approach to characterizing the environmental magnetic field fluctuations from the measured probe signal typically requires the experimenter's input, thus complicating the implementation of automated imaging protocols based on spectrally resolved noise. Here, we probe the response of color centers in diamond in the presence of externally engineered random magnetic signals, and implement a deep neural network to methodically extract information on their associated spectral densities. Building on a long sequence of successive measurements under different types of stimuli, we show that our network manages to efficiently reconstruct the spectral density of the underlying fluctuating magnetic field with good fidelity under a broad set of conditions and with only a minimal measured data set, even in the presence of substantial experimental noise. These proof-of-principle results create opportunities for the application of machine-learning methods to color-center-based nanoscale sensing and imaging.


title: The sub-supersolution method for variable exponent double phase systems with nonlinear boundary conditions

abstract: In this paper we study quasilinear elliptic systems driven by variable exponent double phase operators involving fully coupled right-hand sides and nonlinear boundary conditions. The aim of our work is to establish an enclosure and existence result for such systems by means of trapping regions formed by pairs of sup- and supersolutions. Under very general assumptions on the data we then apply our result to get infinitely many solutions. Moreover, we also discuss the case when we have homogeneous Dirichlet boundary conditions and present some existence results for this kind of problem.


title: Proton induced Dark Count Rate degradation in 150-nm CMOS Single-Photon Avalanche Diodes

abstract: Proton irradiation effects on a Single-Photon Avalanche Diodes (SPADs) device manufactured using a 150-nm CMOS process are presented. An irradiation campaign has been carried out with protons of 20 MeV and 24 MeV on several samples of a test chip containing SPADs arrays with two different junction layouts. The dark count rate distributions have been analyzed as a function of the displacement damage dose. Annealing and cooling have been investigated as possible damage mitigation approaches. We also discuss, through a space radiation simulation, the suitability of such devices on several space mission case-studies.


title: Light Axion Emission and the Formation of Merging Binary Black Holes

abstract: We study the impact of stellar cooling due to light axion emission on the formation and evolution of black hole binaries, via stable mass transfer and the common envelope scenario. We find that in the presence of light axion emission, no binary black hole mergers are formed with black holes in the lower mass gap ($\rm M_{\rm BH} < 4 M_\odot $) via the common envelope formation channel. In some systems, this happens because axions prevent Roche lobe overflow. In others, they prevent the common envelope from being ejected. Our results apply to axions with couplings $ g_{a \gamma} \gtrsim 10^{-10}\, \rm GeV^{-1}$ (to photons) or $\alpha_{ae} \gtrsim 10^{-26} $ (to electrons) and masses $ m_a \ll 10 \, \rm keV$. Light, weakly coupled particles may therefore apparently produce a mass gap $\rm 2 M_\odot < M_{\rm BH} < 4 M_\odot $ in the LIGO/Virgo/KAGRA data, when no mass gap is present in the stellar remnant population.

categories: astro-ph.HE astro-ph.CO astro-ph.SR gr-qc hep-ph


title: Numerical identification of initial temperatures in heat equation with dynamic boundary conditions

abstract: We investigate the inverse problem of numerically identifying unknown initial temperatures in a heat equation with dynamic boundary conditions whenever some overdetermination data is provided after a final time. This is a backward parabolic problem which is severely ill-posed. As a first step, the problem is reformulated as an optimization problem with an associated cost functional. Using the weak solution approach, an explicit formula for the Fr\'echet gradient of the cost functional is derived from the corresponding sensitivity and adjoint problems. Then the Lipschitz continuity of the gradient is proved. Next, further spectral properties of the input-output operator are established. Finally, the numerical results for noisy measured data are performed using the regularization framework and the conjugate gradient method. We consider both one- and two-dimensional numerical experiments using finite difference discretization to illustrate the efficiency of the designed algorithm. Aside from dealing with a time derivative on the boundary, the presence of a boundary diffusion makes the analysis more complicated. This issue is handled in the 2-D case by considering the polar coordinate system. The presented method implies fast numerical results.


title: VacciNet: Towards a Smart Framework for Learning the Distribution Chain Optimization of Vaccines for a Pandemic

abstract: Vaccinations against viruses have always been the need of the hour since long past. However, it is hard to efficiently distribute the vaccines (on time) to all the corners of a country, especially during a pandemic. Considering the vastness of the population, diversified communities, and demands of a smart society, it is an important task to optimize the vaccine distribution strategy in any country/state effectively. Although there is a profusion of data (Big Data) from various vaccine administration sites that can be mined to gain valuable insights about mass vaccination drives, very few attempts has been made towards revolutionizing the traditional mass vaccination campaigns to mitigate the socio-economic crises of pandemic afflicted countries. In this paper, we bridge this gap in studies and experimentation. We collect daily vaccination data which is publicly available and carefully analyze it to generate meaning-full insights and predictions. We put forward a novel framework leveraging Supervised Learning and Reinforcement Learning (RL) which we call VacciNet, that is capable of learning to predict the demand of vaccination in a state of a country as well as suggest optimal vaccine allocation in the state for minimum cost of procurement and supply. At the present, our framework is trained and tested with vaccination data of the USA.


title: On the Evaluation of User Privacy in Deep Neural Networks using Timing Side Channel

abstract: Recent Deep Learning (DL) advancements in solving complex real-world tasks have led to its widespread adoption in practical applications. However, this opportunity comes with significant underlying risks, as many of these models rely on privacy-sensitive data for training in a variety of applications, making them an overly-exposed threat surface for privacy violations. Furthermore, the widespread use of cloud-based Machine-Learning-as-a-Service (MLaaS) for its robust infrastructure support has broadened the threat surface to include a variety of remote side-channel attacks. In this paper, we first identify and report a novel data-dependent timing side-channel leakage (termed Class Leakage) in DL implementations originating from non-constant time branching operation in a widely used DL framework PyTorch. We further demonstrate a practical inference-time attack where an adversary with user privilege and hard-label black-box access to an MLaaS can exploit Class Leakage to compromise the privacy of MLaaS users. DL models are vulnerable to Membership Inference Attack (MIA), where an adversary's objective is to deduce whether any particular data has been used while training the model. In this paper, as a separate case study, we demonstrate that a DL model secured with differential privacy (a popular countermeasure against MIA) is still vulnerable to MIA against an adversary exploiting Class Leakage. We develop an easy-to-implement countermeasure by making a constant-time branching operation that alleviates the Class Leakage and also aids in mitigating MIA. We have chosen two standard benchmarking image classification datasets, CIFAR-10 and CIFAR-100 to train five state-of-the-art pre-trained DL models, over two different computing environments having Intel Xeon and Intel i7 processors to validate our approach.


title: Stable determination of coefficients in semilinear parabolic system with dynamic boundary conditions

abstract: In this work, we study the stable determination of four space-dependent coefficients appearing in a coupled semilinear parabolic system with variable diffusion matrices subject to dynamic boundary conditions which couple intern-boundary phenomena. We prove a Lipschitz stability result for interior and boundary potentials by means of only one observation component, localized in any arbitrary open subset of the physical domain. The proof mainly relies on some new Carleman estimates for dynamic boundary conditions of surface diffusion type.


title: Seven-dimensional super Yang-Mills at negative coupling

abstract: We consider the partition function for Euclidean $SU(N)$ super Yang-Mills on a squashed seven-sphere. We show that the localization locus of the partition function has instanton membrane solutions wrapping the six "fixed" three-spheres on the $\mathbb{S}^7$. The ADHM variables of these instantons are fields living on the membrane world volume. We compute their contribution by localizing the resulting three-dimensional supersymmetric field theory. In the round-sphere limit the individual instanton contributions are singular, but the singularities cancel when adding the contributions of all six three-spheres. The full partition function on the ${\mathbb S}^7$ is well-defined even when the square of the effective Yang-Mills coupling is negative. We show for an $SU(2)$ gauge theory in this regime that the bare negative tension of the instanton membranes is canceled off by contributions from the instanton partition function, indicating the existence of tensionless membranes. We provide evidence that this phase is distinct from the usual weakly coupled super Yang-Mills and, in fact, is gravitational.


title: Preferred corrosion pathways for oxygen in Al2Ca-twin boundaries and dislocations

abstract: With an ongoing discussion on the oxygen diffusion along crystal defects remaining, it is difficult to study this phenomenon in Al containing intermetallic materials due to its rapid and passivating oxide formation. We report here the observation of enhanced oxygen diffusion along crystal defects, i.e. dislocations and twin boundaries, in the C15 Al 2 Ca Laves phase and how the presence of oxygen induces structural changes at these defects. Three main phases were identified and characterized structurally by aberration-corrected, atomic resolution scanning transmission electron microscopy, analytically by energy dispersive X-ray spectroscopy and electron energy loss spectroscopy. Unlike the C15 bulk phase, the twin boundary and dislocation transformed into a few nanometer wide amorphous phase, which depletes in Al and Ca but is highly enriched in oxygen. The dislocation even shows coexistence of the amorphous phase with a simple Al-rich A1 fcc phase. This A1 phase only depletes in Ca, not in Al (Al remains at bulk concentration), and is also enriched in oxygen. The Al-rich A1 phase is coherent with the C15 matrix. Electron energy loss spectroscopy revealed the amorphous phase to be Al 2 O 3 . We thereby show as one of the first studies that oxygen diffusion along crystal defects, especially also at the twin boundary can induce the formation of an amorphous oxide along themselves. The identification of oxygen-induced transformation at strained defects has to be considered when the material is exposed to air during plastic deformation at elevated temperatures.


title: A new construction relating enriched categories and internal ones in an extensive ambient

abstract: A new construction to associate an internal category to an enriched one is presented. The key concept is that of extensive ambient category, and the construction follows the one that associates a category whose idempotents split to a given one. The association turns out to be functorial and left adjoint to an already known one when we restrict to a particular class of internal categories whose idempotents split in some canonical way and impose a size restriction.


title: A physics-defined recurrent neural network to compute coherent light wave scattering on the millimetre scale

abstract: Heterogeneous materials such as biological tissue scatter light in random, yet deterministic, ways. Wavefront shaping can reverse the effects of scattering to enable deep-tissue microscopy. Such methods require either invasive access to the internal field or the ability to numerically compute it. However, calculating the coherent field on a scale relevant to microscopy remains excessively demanding for consumer hardware. Here we show how a recurrent neural network can mirror Maxwell's equations without training. By harnessing public machine learning infrastructure, such \emph{Scattering Network} can compute the $633\;\textrm{nm}$-wavelength light field throughout a $25\;\textrm{mm}^2$ or $176^3\;\mu\textrm{m}^3$ scattering volume. The elimination of the training phase cuts the calculation time to a minimum and, importantly, it ensures a fully deterministic solution, free of any training bias. The integration with an open-source electromagnetic solver enables any researcher with an internet connection to calculate complex light-scattering in volumes that are larger by two orders of magnitude


title: Reduction Rules and ILP Are All You Need: Minimal Directed Feedback Vertex Set

abstract: This note describes the development of an exact solver for Minimal Directed Feedback Vertex Set as part of the PACE 2022 competition. The solver is powered largely by aggressively trying to reduce the DFVS problem to a Minimal Cover problem, and applying reduction rules adapted from Vertex Cover literature. The resulting problem is solved as an Integer Linear Program (ILP) using SCIP. The resulting solver performed the second-best in the competition, although a bug at submission time disqualified it. As an additional note, we describe a new vertex cover reduction generalizing the Desk reduction rule.


title: Stable and Historic Behavior in Replicator Equations Generated by Similar-Order Preserving Mappings

abstract: One could observe drastically different dynamics of zero-sum and non-zero-sum games under replicator equations. In zero-sum games, heteroclinic cycles naturally occur whenever the species of the population supersede each other in a cyclic fashion (like for the Rock-Paper-Scissors game). In this case, the highly erratic oscillations may cause the divergence of the time averages. In contrast, it is a common belief that the most ``reasonable" replicator equations of non-zero-sum games satisfy ``The Folk Theorem of Evolutionary Game Theory" which asserts that (i) a Nash equilibrium is a rest point; (ii) a stable rest point is a Nash equilibrium; (iii) a strictly Nash equilibrium is asymptotically stable; (iv) any interior convergent orbit evolves to a Nash equilibrium. In this paper, we propose two distinct vast classes of replicator equations generated by similar-order preserving mappings which exhibit stable as well as mean historic behavior. In the latter case, the time averages of the orbit will slowly oscillate during the evolution of the system and do not converge to any limit. This will eventually cause the divergence of higher-order repeated time averages.


title: MIGHTEE-HI: Evolution of HI scaling relations of star-forming galaxies at $z<0.5$

abstract: We present the first measurements of HI galaxy scaling relations from a blind survey at $z>0.15$. We perform spectral stacking of 9023 spectra of star-forming galaxies undetected in HI at $0.23<z<0.49$, extracted from MIGHTEE-HI Early Science datacubes, acquired with the MeerKAT radio telescope. We stack galaxies in bins of galaxy properties ($M_*$, SFR, and sSFR, with ${\rm sSFR}\equiv M_*/{\rm SFR}$), obtaining $\gtrsim 5\sigma$ detections in most cases, the strongest HI-stacking detections to date in this redshift range. With these detections, we are able to measure scaling relations in the probed redshift interval, finding evidence for a moderate evolution from the median redshift of our sample $z_{\rm med}\sim 0.37$ to $z\sim 0$. In particular, low-$M_*$ galaxies ($\log_{10}(M_*/{\rm M_\odot})\sim 9$) experience a strong HI depletion ($\sim 0.5$ dex in $\log_{10}(M_{\rm HI}/{\rm M}_\odot)$), while massive galaxies ($\log_{10}(M_*/{\rm M_\odot})\sim 11$) keep their HI mass nearly unchanged. When looking at the star formation activity, highly star-forming galaxies evolve significantly in $M_{\rm HI}$ ($f_{\rm HI}$, where $f_{\rm HI}\equiv M_{\rm}/M_*$) at fixed SFR (sSFR), while at the lowest probed SFR (sSFR) the scaling relations show no evolution. These findings suggest a scenario in which low-$M_*$ galaxies have experienced a strong HI depletion during the last $\sim4$ Gyr, while massive galaxies have undergone a significant HI replenishment through some accretion mechanism, possibly minor mergers. Interestingly, our results are in good agreement with the predictions of the SIMBA simulation. We conclude that this work sets novel important observational constraints on galaxy scaling relations.


title: Gauss Quadrature for Freud Weights, Modulation Spaces, and Marcinkiewicz-Zygmund Inequalities

abstract: We study Gauss quadrature for Freud weights and derive worst case error estimates for functions in a family of associated Sobolev spaces. For the Gaussian weight $e^{-\pi x^2}$ these spaces coincide with a class of modulation spaces which are well-known in (time-frequency) analysis and also appear under the name of Hermite spaces. Extensions are given to more general sets of nodes that are derived from Marcinkiewicz-Zygmund inequalities. This generalization can be interpreted as a stability result for Gauss quadrature.


title: Energy-Efficient Backscatter-Assisted Coded Cooperative-NOMA for B5G Wireless Communications

abstract: In this manuscript, we propose an alternating optimization framework to maximize the energy efficiency of a backscatter-enabled cooperative Non-orthogonal multiple access (NOMA) system by optimizing the transmit power of the source, power allocation coefficients (PAC), and power of the relay node under imperfect successive interference cancellation (SIC) decoding. A three-stage low-complexity energy-efficient alternating optimization algorithm is introduced which optimizes the transmit power, PAC, and relay power by considering the quality of service (QoS), power budget, and cooperation constraints. Subsequently, a joint channel coding framework is introduced to enhance the performance of far user which has no direct communication link with the base station (BS) and has bad channel conditions. In the destination node, the far user data is jointly decoded using a Sum-product algorithm (SPA) based joint iterative decoder realized by jointly-designed Quasi-cyclic Low-density parity-check (QC-LDPC) codes. Simulation results evince that the proposed backscatter-enabled cooperative NOMA system outperforms its counterpart by providing an efficient performance in terms of energy efficiency. Also, proposed jointly-designed QC-LDPC codes provide an excellent bit-error-rate (BER) performance by jointly decoding the far user data for considered BSC cooperative NOMA system with only a few decoding iterations.


title: Imprimitivity theorems and self-similar actions on Fell bundles

abstract: We introduce the notion of self-similar actions of grouopids on other groupoids and Fell bundles. This leads to a new imprimitivity theorem arising from such dynamics, generalizing many earlier imprimitivity theorems involving group and groupoid actions.


title: Truncated Hermite polynomials

abstract: We consider the family of polynomials $p_{n}\left( x;z\right) ,$ orthogonal with respect to the inner product \[ \left\langle f,g\right\rangle = \int_{-z}^{z} f\left( x\right) g\left( x\right) e^{-x^{2}} \,dx. \] We show some properties about the coefficients in their 3-term recurrence relation, connections between $p_{n}\left( x;z\right) $ and $p_{n}^{\prime}\left( x;z\right) ,$ a second order differential equation satisfied by $p_{n}\left( x;z\right) ,$ and an electrostatic interpretation of their zeros.


title: An upper bound of the numbers of minimally intersecting filling coherent pairs

abstract: Let $S_g$ denoting the genus $g$ closed orientable surface. An {\em origami} (or flat structure) on $S_g$ is obtained from a finite collection of unit Euclidean squares by gluing each right edge to a left one and each top edge to a bottom one. Coherent filling pairs of simple closed curves, $(\alpha,\beta)$ in $S_g$ are pairs for which their minimal intersection is equal to their algebraic intersection. And, a minimally intersecting filling of $(\alpha,\beta)$ in $S_g$ is a pair whose intersection number is the minimal among all filling pairs of $S_g$. A coherent pair of curves is naturally associated with an origami on $S_g$, and a minimally intersecting filling coherent pair of curves has the smallest number of squares in all origamis on $S_g$. Our main result introduce an algorithm to count the numbers of minimal filling pairs on $S_g$, and establish a new upper bound of this count using M\'enage Problem.


title: Disparate Censorship & Undertesting: A Source of Label Bias in Clinical Machine Learning

abstract: As machine learning (ML) models gain traction in clinical applications, understanding the impact of clinician and societal biases on ML models is increasingly important. While biases can arise in the labels used for model training, the many sources from which these biases arise are not yet well-studied. In this paper, we highlight disparate censorship (i.e., differences in testing rates across patient groups) as a source of label bias that clinical ML models may amplify, potentially causing harm. Many patient risk-stratification models are trained using the results of clinician-ordered diagnostic and laboratory tests of labels. Patients without test results are often assigned a negative label, which assumes that untested patients do not experience the outcome. Since orders are affected by clinical and resource considerations, testing may not be uniform in patient populations, giving rise to disparate censorship. Disparate censorship in patients of equivalent risk leads to undertesting in certain groups, and in turn, more biased labels for such groups. Using such biased labels in standard ML pipelines could contribute to gaps in model performance across patient groups. Here, we theoretically and empirically characterize conditions in which disparate censorship or undertesting affect model performance across subgroups. Our findings call attention to disparate censorship as a source of label bias in clinical ML models.


title: Experimental realisations of the fractional Schr\"{o}dinger equation in the temporal domain

abstract: The fractional Schr\"{o}dinger equation (FSE) -- a natural extension of the standard Schr\"{o}dinger equation -- is the basis of fractional quantum mechanics. It can be obtained by replacing the kinetic-energy operator with a fractional derivative. Here, we report the experimental realisation of an optical FSE for femtosecond laser pulses in the temporal domain. Programmable holograms and the single-shot measurement technique are respectively used to emulate a \textit{L\'evy waveguide} and to reconstruct the amplitude and phase of the pulses. Varying the L\'evy index of the FSE and the initial pulse, the temporal dynamics is observed in diverse forms, including solitary, splitting and merging pulses, double Airy modes, and ``rain-like'' multi-pulse patterns. Furthermore, the transmission of input pulses carrying a fractional phase exhibits a ``fractional-phase protection'' effect through a regular (non-fractional) material. The experimentally generated fractional time-domain pulses offer the potential for designing optical signal-processing schemes.


title: Accelerated and interpretable oblique random survival forests

abstract: The oblique random survival forest (RSF) is an ensemble supervised learning method for right-censored outcomes. Trees in the oblique RSF are grown using linear combinations of predictors to create branches, whereas in the standard RSF, a single predictor is used. Oblique RSF ensembles often have higher prediction accuracy than standard RSF ensembles. However, assessing all possible linear combinations of predictors induces significant computational overhead that limits applications to large-scale data sets. In addition, few methods have been developed for interpretation of oblique RSF ensembles, and they remain more difficult to interpret compared to their axis-based counterparts. We introduce a method to increase computational efficiency of the oblique RSF and a method to estimate importance of individual predictor variables with the oblique RSF. Our strategy to reduce computational overhead makes use of Newton-Raphson scoring, a classical optimization technique that we apply to the Cox partial likelihood function within each non-leaf node of decision trees. We estimate the importance of individual predictors for the oblique RSF by negating each coefficient used for the given predictor in linear combinations, and then computing the reduction in out-of-bag accuracy. In general benchmarking experiments, we find that our implementation of the oblique RSF is approximately 450 times faster with equivalent discrimination and superior Brier score compared to existing software for oblique RSFs. We find in simulation studies that 'negation importance' discriminates between relevant and irrelevant predictors more reliably than permutation importance, Shapley additive explanations, and a previously introduced technique to measure variable importance with oblique RSFs based on analysis of variance. Methods introduced in the current study are available in the aorsf R package.


title: Towards precision particle background estimation for future X-ray missions: correlated variability between Chandra ACIS and AMS

abstract: A science goal of many future X-ray observatories is mapping the cosmic web through deep exposures of faint diffuse sources. Such observations require low background and the best possible knowledge of the remaining unrejected background. The dominant contribution to the background above 1-2 keV is from Galactic Cosmic Ray protons. Their flux and spectrum are modulated by the solar cycle but also by solar activity on shorter timescales. Understanding this variability may prove crucial to reducing background uncertainty for ESA's Athena X-ray Observatory and other missions with large collecting area. We examine of the variability of the particle background as measured by ACIS on the Chandra X-ray Observatory and compare that variability to that measured by the Alpha Magnetic Spectrometer (AMS), a precision particle detector on the ISS. We show that cosmic ray proton variability measured by AMS is well matched to the ACIS background and can be used to estimate proton energies responsible for the background. We discuss how this can inform future missions.


title: Automorphisms of real semisimple Lie algebras and their restricted root systems

abstract: We prove that every automorphism of the restricted root system of a real semisimple Lie algebra -- when defined properly -- can be lifted to an automorphism of that Lie algebra. In particular, this can be applied to automorphisms of the Dynkin diagram of the restricted root system. We also discuss some applications of this result to the theory of symmetric spaces of noncompact type.


title: Localization in Hochschild homology

abstract: Localization methods are ubiquitous in cyclic homology theory, but vary in detail and are used in different scenarios. In this paper we will elaborate on a common feature of localization methods in noncommutative geometry, namely sheafification of the algebra under consideration and reduction of the computation to the stalks of the sheaf. The novelty of our approach lies in the methods we use which mainly stem from real instead of complex algebraic geometry. We will then indicate how this method can be used to determine the Hochschild homology theory of more complicated algebras out of simpler ones.


title: A note on split extension classifiers of perfect objects

abstract: We show that for a pointed protomodular category $\mathbb{C}$ satisfying a certain condition on those Huq commutators which exist, if $X$ is a perfect object in $\mathbb{C}$ such that the split extension classifier $[X]$ exists, then the centralizer of the \emph{conjugation} morphism $c_X : X\to [X]$ is trivial and hence $[X]$ has trivial center.


title: Improving the Trainability of Deep Neural Networks through Layerwise Batch-Entropy Regularization

abstract: Training deep neural networks is a very demanding task, especially challenging is how to adapt architectures to improve the performance of trained models. We can find that sometimes, shallow networks generalize better than deep networks, and the addition of more layers results in higher training and test errors. The deep residual learning framework addresses this degradation problem by adding skip connections to several neural network layers. It would at first seem counter-intuitive that such skip connections are needed to train deep networks successfully as the expressivity of a network would grow exponentially with depth. In this paper, we first analyze the flow of information through neural networks. We introduce and evaluate the batch-entropy which quantifies the flow of information through each layer of a neural network. We prove empirically and theoretically that a positive batch-entropy is required for gradient descent-based training approaches to optimize a given loss function successfully. Based on those insights, we introduce batch-entropy regularization to enable gradient descent-based training algorithms to optimize the flow of information through each hidden layer individually. With batch-entropy regularization, gradient descent optimizers can transform untrainable networks into trainable networks. We show empirically that we can therefore train a "vanilla" fully connected network and convolutional neural network -- no skip connections, batch normalization, dropout, or any other architectural tweak -- with 500 layers by simply adding the batch-entropy regularization term to the loss function. The effect of batch-entropy regularization is not only evaluated on vanilla neural networks, but also on residual networks, autoencoders, and also transformer models over a wide range of computer vision as well as natural language processing tasks.


title: Tensor types and their use in physics

abstract: The content of this paper can be roughly organized into a three-level hierarchy of generality. At the first, most general level, we introduce a new language which allows us to express various categorical structures in a systematic and explicit manner in terms of so-called 2-schemes. Although 2-schemes can formalize categorical structures such as symmetric monoidal categories, they are not limited to this, and can be used to define structures with no categorical analogue. Most categorical structures come with an effective graphical calculus such as string diagrams for symmetric monoidal categories, and the same is true more generally for interesting 2-schemes. In this work, we focus on one particular non-categorical 2-scheme, whose instances we refer to as tensor types. At the second level of the hierarchy, we work out different flavors of this 2-scheme in detail. The effective graphical calculus of tensor types is that of tensor networks or Penrose diagrams, that is, string diagrams without a flow of time. As such, tensor types are similar to compact closed categories, though there are various small but potentially important differences. Also, the two definitions use completely different mechanisms despite both being examples of 2-schemes. At the third level of the hierarchy, we provide a long list of different families of concrete tensor types, in a way which makes them accessible to concrete computations, motivated by their potential use in physics. Different tensor types describe different types of physical models, such as classical or quantum physics, deterministic or statistical physics, many-body or single-body physics, or matter with or without symmetries or fermions.


title: Exploring the GLIDE model for Human Action-effect Prediction

abstract: We address the following action-effect prediction task. Given an image depicting an initial state of the world and an action expressed in text, predict an image depicting the state of the world following the action. The prediction should have the same scene context as the input image. We explore the use of the recently proposed GLIDE model for performing this task. GLIDE is a generative neural network that can synthesize (inpaint) masked areas of an image, conditioned on a short piece of text. Our idea is to mask-out a region of the input image where the effect of the action is expected to occur. GLIDE is then used to inpaint the masked region conditioned on the required action. In this way, the resulting image has the same background context as the input image, updated to show the effect of the action. We give qualitative results from experiments using the EPIC dataset of ego-centric videos labelled with actions.


title: Trust Challenges in Reusing Open Source Software: An Interview-based Initial Study

abstract: Open source projects play a significant role in software production. Most of the software projects reuse and build upon the existing open source projects and libraries. While reusing is a time and cost-saving strategy, some of the key factors are often neglected that create vulnerability in the software system. We look beyond the static code analysis and dependency chain tracing to prevent vulnerabilities at the human factors level. The literature lacks a comprehensive study of the human factors perspective on the issue of trust in reusing open source projects. We performed an interview-based initial study with software developers to get an understanding of the trust issue and limitations among the practitioners. We outline some of the key trust issues in this paper and lay out the first steps toward the trustworthy reuse of software.


title: Generalized Singleton Type Upper Bounds

abstract: In this paper, we give upper bounds on the sizes of $(d, L)$ list-decodable codes in the Hamming metric space from covering codes with the covering radius smaller than or equal to $d$. When the list size $L$ is $1$, this gives many new Singleton type upper bounds on the sizes of codes with a given minimum Hamming distance. These upper bounds are stronger than the Griesmer bound when the lengths of codes are large. Some upper bounds on the lengths of general small Singleton defect codes or list-decodable codes attaining the generalized Singleton bound are given. As an application of our generalized Singleton type upper bounds on Hamming metric error-correcting codes, the generalized Singleton type upper bounds on insertion-deletion codes are given, which are much stronger than the direct Singleton bound for insertion-deletion codes when the lengths are large. We also give upper bounds on the lengths of small dimension optimal locally recoverable codes and small dimension optimal $(r, \delta)$ locally recoverable codes with any fixed given minimum distance.


title: On the Lagrange-Dirichlet converse in dimension three

abstract: Consider a mechanical system with a real analytic potential. We prove that in dimension three, there is an open and dense subset of the set of non strict local minimums of the potential such that every one of its points is a Lyapunov unstable equilibrium point.


title: Compact gamma detector module for radiation monitoring

abstract: Modern unmanned technologies make it possible to implement them in almost all industries, including radiation monitoring. Already in 2011, at the Fukushima nuclear power plant accident, the first drones were demonstrated to measure the radiation background of the territories. Improvement of such devices is one of the topical directions. Our research team has proposed the concept of a gamma radiation detector module for unmanned aerial vehicles. The concept is represented by a matrix of modernized silicon photomultipliers based on silicon structures. The new structures have a design of deep pixel photodiodes of the MLPD type. Today experimental samples have superiority in such parameters as high efficiency of registration of ionizing radiation. Also, such parameters as low sensitivity to vibrations and low power consumption of photodiodes make it possible to integrate them into unmanned and small-sized radiation monitoring systems.


title: SampleMatch: Drum Sample Retrieval by Musical Context

abstract: Modern digital music production typically involves combining numerous acoustic elements to compile a piece of music. Important types of such elements are drum samples, which determine the characteristics of the percussive components of the piece. Artists must use their aesthetic judgement to assess whether a given drum sample fits the current musical context. However, selecting drum samples from a potentially large library is tedious and may interrupt the creative flow. In this work, we explore the automatic drum sample retrieval based on aesthetic principles learned from data. As a result, artists can rank the samples in their library by fit to some musical context at different stages of the production process (i.e., by fit to incomplete song mixtures). To this end, we use contrastive learning to maximize the score of drum samples originating from the same song as the mixture. We conduct a listening test to determine whether the human ratings match the automatic scoring function. We also perform objective quantitative analyses to evaluate the efficacy of our approach.


title: Vertical GaN Diode BV Maximization through Rapid TCAD Simulation and ML-enabled Surrogate Model

abstract: In this paper, two methodologies are used to speed up the maximization of the breakdown volt-age (BV) of a vertical GaN diode that has a theoretical maximum BV of ~2100V. Firstly, we demonstrated a 5X faster accurate simulation method in Technology Computer-Aided-Design (TCAD). This allows us to find 50% more numbers of high BV (>1400V) designs at a given simulation time. Secondly, a machine learning (ML) model is developed using TCAD-generated data and used as a surrogate model for differential evolution optimization. It can inversely design an out-of-the-training-range structure with BV as high as 1887V (89% of the ideal case) compared to ~1100V designed with human domain expertise.


title: Johnson-Schwartzman Gap Labelling for Ergodic Jacobi Matrices

abstract: We consider two-sided Jacobi matrices whose coefficients are obtained by continuous sampling along the orbits of a homeomorphim of a compact metric space. Given an ergodic probability measure, we study the topological structure of the associated almost sure spectrum. We establish a gap labelling theorem in the spirit of Johnson and Schwartzman. That is, we show that the constant value the integrated density of states takes in a gap of the spectrum must belong to the countable Schwartzman group of the base dynamics. This result is a natural companion to a recent result of Alkorn and Zhang, which established a Johnson-type theorem for the families of Jacobi matrices in question.


title: Rare Kaon Decays

abstract: The experimental status of the $K \to \pi \nu \bar{\nu}$ search is presented. The $K \to \pi \nu \bar{\nu}$ decay is sensitive to New Physics because it is theoretically pristine and highly suppressed. The $K_L^0 \to \pi^0 \nu \bar{\nu}$ search is performed by the KOTO experiment and a branching fraction limit of $\mathcal{B}(K_L^0 \to \pi^0 \nu \bar{\nu})$ $<$ 3.0 $\times$ 10$^{-9}$ (90% confidence level) was set. This limit is $\mathcal{O}(100)$ times larger than the Standard Model prediction. The $K^+ \to \pi^+ \nu \bar{\nu}$ search is performed by the NA62 experiment and $\mathcal{B}(K^+ \to \pi^+ \nu \bar{\nu})$ $=$ (10.6 $^{+4.0}_{-3.5}$ $|_{\text{stat.}}$) $\pm$ 0.9$_{\text{syst.}}$) $\times$ 10$^{-11}$ (68% confidence level) was set. This shows an agreement with the Standard Model. Both measurements can also be used to search for the dark particle $X$ via the $K \to \pi X$ decay. A projection of the $K \to \pi \nu \bar{\nu}$ search in the future is also given.


title: Boundary scattering in micro-size crystal of topological Kondo insulator SmB$_6$

abstract: We have studied the effects of phonon-boundary scattering on the thermal transport in topological Kondo insulator, SmB$_6$. The studies have been performed by using the $3\omega$ method in the temperature range 300K - 3K. We show that the observed thermal conductivity of micro-size SmB$_6$ is of the order of magnitude smaller than for a bulk single-crystal. Using the Callaway model we analyzed the low-temperature lattice thermal conductivity of the micro crystal and show that phonon scattering by sample boundaries plays a major role in the thermal resistance in this topological material. In addition, we show that the temperature dependence of the lattice thermal conductivity shows a double peak structure that suggests complex phonon-phonon or phonon-defects interactions in SmB$_6$. These findings provide guidance for the understanding of the thermal transport of advanced materials and devices at a micro-scale.


title: Multimode Nonlinear Dynamics in Anomalous Dispersion Spatiotemporal Mode-locked Lasers

abstract: Spatiotemporal mode-locking in a laser with anomalous dispersion is investigated. Mode-locked states with varying modal content can be observed, but we find it difficult to observe highly multimode states. We describe the properties of these mode-locked states and compare them to the results of numerical simulations. Prospects for the generation of highly-multimode states and lasers based on multimode soliton formation are discussed.


title: Short-term Load Forecasting with Distributed Long Short-Term Memory

abstract: With the employment of smart meters, massive data on consumer behaviour can be collected by retailers. From the collected data, the retailers may obtain the household profile information and implement demand response. While retailers prefer to acquire a model as accurate as possible among different customers, there are two major challenges. First, different retailers in the retail market do not share their consumer's electricity consumption data as these data are regarded as their assets, which has led to the problem of data island. Second, the electricity load data are highly heterogeneous since different retailers may serve various consumers. To this end, a fully distributed short-term load forecasting framework based on a consensus algorithm and Long Short-Term Memory (LSTM) is proposed, which may protect the customer's privacy and satisfy the accurate load forecasting requirement. Specifically, a fully distributed learning framework is exploited for distributed training, and a consensus technique is applied to meet confidential privacy. Case studies show that the proposed method has comparable performance with centralised methods regarding the accuracy, but the proposed method shows advantages in training speed and data privacy.


title: Boosted Off-Policy Learning

abstract: We propose the first boosting algorithm for off-policy learning from logged bandit feedback. Unlike existing boosting methods for supervised learning, our algorithm directly optimizes an estimate of the policy's expected reward. We analyze this algorithm and prove that the excess empirical risk decreases (possibly exponentially fast) with each round of boosting, provided a ''weak'' learning condition is satisfied by the base learner. We further show how to reduce the base learner to supervised learning, which opens up a broad range of readily available base learners with practical benefits, such as decision trees. Experiments indicate that our algorithm inherits many desirable properties of tree-based boosting algorithms (e.g., robustness to feature scaling and hyperparameter tuning), and that it can outperform off-policy learning with deep neural networks as well as methods that simply regress on the observed rewards.


title: A Feasibility Study on Image Inpainting for Non-cleft Lip Generation from Patients with Cleft Lip

abstract: A Cleft lip is a congenital abnormality requiring surgical repair by a specialist. The surgeon must have extensive experience and theoretical knowledge to perform surgery, and Artificial Intelligence (AI) method has been proposed to guide surgeons in improving surgical outcomes. If AI can be used to predict what a repaired cleft lip would look like, surgeons could use it as an adjunct to adjust their surgical technique and improve results. To explore the feasibility of this idea while protecting patient privacy, we propose a deep learning-based image inpainting method that is capable of covering a cleft lip and generating a lip and nose without a cleft. Our experiments are conducted on two real-world cleft lip datasets and are assessed by expert cleft lip surgeons to demonstrate the feasibility of the proposed method.


title: Mitigating Shadows in Lidar Scan Matching using Spherical Voxels

abstract: In this paper we propose an approach to mitigate shadowing errors in Lidar scan matching, by introducing a preprocessing step based on spherical gridding. Because the grid aligns with the Lidar beam, it is relatively easy to eliminate shadow edges which cause systematic errors in Lidar scan matching. As we show through simulation, our proposed algorithm provides better results than ground-plane removal, the most common existing strategy for shadow mitigation. Unlike ground plane removal, our method applies to arbitrary terrains (e.g. shadows on urban walls, shadows in hilly terrain) while retaining key Lidar points on the ground that are critical for estimating changes in height, pitch, and roll. Our preprocessing algorithm can be used with a range of scan-matching methods; however, for voxel-based scan matching methods, it provides additional benefits by reducing computation costs and more evenly distributing Lidar points among voxels.


title: Multi-user Downlink Beamforming using Uplink Downlink Duality with CEQs for Frequency Selective Channels

abstract: High-resolution fully digital transceivers are infeasible at millimeter-wave (mmWave) due to their increased power consumption, cost, and hardware complexity. The use of low-resolution converters is one possible solution to realize fully digital architectures at mmWave. In this paper, we consider a setting in which a fully digital base station with constant envelope quantized (CEQ) digital-to-analog converters on each radio frequency chain communicates with multiple single antenna users with individual signal-to-quantization-plus-interference-plus-noise ratio (SQINR) constraints over frequency selective channels. We first establish uplink downlink duality for the system with CEQ hardware constraints and OFDM-based transmission considered in this paper. Based on the uplink downlink duality principle, we present a solution to the multi-user multi-carrier beamforming and power allocation problem that maximizes the minimum SQINR over all users and sub-carriers. We then present a per sub-carrier version of the originally proposed solution that decouples all sub-carriers of the OFDM waveform resulting in smaller sub-problems that can be solved in a parallel manner. Our numerical results based on 3GPP channel models generated from Quadriga demonstrate improvements in terms of ergodic sum rate and ergodic minimum rate over state-of-the-art linear solutions. We also show improved performance over non-linear solutions in terms of the coded bit error rate with the increased flexibility of assigning individual user SQINRs built into the proposed framework.


title: Interpretable Time Series Clustering Using Local Explanations

abstract: This study focuses on exploring the use of local interpretability methods for explaining time series clustering models. Many of the state-of-the-art clustering models are not directly explainable. To provide explanations for these clustering algorithms, we train classification models to estimate the cluster labels. Then, we use interpretability methods to explain the decisions of the classification models. The explanations are used to obtain insights into the clustering models. We perform a detailed numerical study to test the proposed approach on multiple datasets, clustering models, and classification models. The analysis of the results shows that the proposed approach can be used to explain time series clustering models, specifically when the underlying classification model is accurate. Lastly, we provide a detailed analysis of the results, discussing how our approach can be used in a real-life scenario.


title: Polylogarithm Variations and Motivic Extensions of $\mathbb{Q}$ by $\mathbb{Q}(m)$

abstract: Deligne and Goncharov constructed a neutral tannakian category of mixed Tate motives unramified over $\mathbb{Z}[\mu_N,1/N]$. Brown and Hain--Matsumoto computed the depth 2 quadratic relations of the motivic Galois group of this category for $N = 1$. We take the first steps in generalizing their results to all $N \ge 1$ by realizing the generators of the motivic Galois group by derivations on the Lie algebra of the unipotent fundamental group of a restriction of the Tate elliptic curve. This representation is compatible with a natural identification of the odd rational $K$-groups of the rings $\mathbb{Z}[\mu_N,1/N]$ with spaces of $\Gamma_1(N)$ Eisenstein series, thus inducing a natural action of the prime to $N$ part of the Hecke algebra on the $K$-groups. We establish these results by first showing the inclusion of $\mathbb{P}^1 - \{0,\mu_N,\infty\}$ into the nodal elliptic curve with a cyclic subgroup of order $N$ removed induces a morphism of mixed Tate motives on unipotent fundamental groups and then by computing the periods of the limit mixed Hodge structure of an elliptic polylogarithm variation of MHS over the universal elliptic curve of $Y_1(N)$.


title: Bring the BitCODE -- Moving Compute and Data in Distributed Heterogeneous Systems

abstract: In this paper, we present a framework for moving compute and data between processing elements in a distributed heterogeneous system. The implementation of the framework is based on the LLVM compiler toolchain combined with the UCX communication framework. The framework can generate binary machine code or LLVM bitcode for multiple CPU architectures and move the code to remote machines while dynamically optimizing and linking the code on the target platform. The remotely injected code can recursively propagate itself to other remote machines or generate new code. The goal of this paper is threefold: (a) to present an architecture and implementation of the framework that provides essential infrastructure to program a new class of disaggregated systems wherein heterogeneous programming elements such as compute nodes and data processing units (DPUs) are distributed across the system, (b) to demonstrate how the framework can be integrated with modern, high-level programming languages such as Julia, and (c) to demonstrate and evaluate a new class of eXtended Remote Direct Memory Access (X-RDMA) communication operations that are enabled by this framework. To evaluate the capabilities of the framework, we used a cluster with Fujitsu CPUs and heterogeneous cluster with Intel CPUs and BlueField-2 DPUs interconnected using high-performance RDMA fabric. We demonstrated an X-RDMA pointer chase application that outperforms an RDMA GET-based implementation by 70% and is as fast as Active Messages, but does not require function predeployment on remote platforms.


title: The space coronagraph optical bench (SCoOB): 2. wavefront sensing and control in a vacuum-compatible coronagraph testbed for spaceborne high-contrast imaging technology

abstract: The 2020 Decadal Survey on Astronomy and Astrophysics endorsed space-based high contrast imaging for the detection and characterization of habitable exoplanets as a key priority for the upcoming decade. To advance the maturity of starlight suppression techniques in a space-like environment, we are developing the Space Coronagraph Optical Bench (SCoOB) at the University of Arizona, a new thermal vacuum (TVAC) testbed based on the Coronagraphic Debris Exoplanet Exploring Payload (CDEEP), a SmallSat mission concept for high contrast imaging of circumstellar disks in scattered light. When completed, the testbed will combine a vector vortex coronagraph (VVC) with a Kilo-C microelectromechanical systems (MEMS) deformable mirror from Boston Micromachines Corp (BMC) and a self-coherent camera (SCC) with a goal of raw contrast surpassing $10^{-8}$ at visible wavelengths. In this proceedings, we report on our wavefront sensing and control efforts on this testbed in air, including the as-built performance of the optical system and the implementation of algorithms for focal-plane wavefront control and digging dark holes (regions of high contrast in the focal plane) using electric field conjugation (EFC) and related algorithms.


title: The Space Coronagraph Optical Bench (SCoOB): 1. Design and Assembly of a Vacuum-compatible Coronagraph Testbed for Spaceborne High-Contrast Imaging Technology

abstract: The development of spaceborne coronagraphic technology is of paramount importance to the detection of habitable exoplanets in visible light. In space, coronagraphs are able to bypass the limitations imposed by the atmosphere to reach deeper contrasts and detect faint companions close to their host star. To effectively test this technology in a flight-like environment, a high-contrast imaging testbed must be designed for operation in a thermal vacuum (TVAC) chamber. A TVAC-compatible high-contrast imaging testbed is undergoing development at the University of Arizona inspired by a previous mission concept: The Coronagraphic Debris and Exoplanet Exploring Payload (CDEEP). The testbed currently operates at visible wavelengths and features a Boston Micromachines Kilo-C DM for wavefront control. Both a vector vortex coronagraph and a knife-edge Lyot coronagraph operating mode are under test. The optics will be mounted to a 1 x 2 meter pneumatically isolated optical bench designed to operate at 10^-8 torr and achieve raw contrasts of 10^-8 or better. The validation of our optical surface quality, alignment procedure, and first light results are presented. We also report on the status of the testbed's integration in the vaccum chamber.


title: Global Performance Disparities Between English-Language Accents in Automatic Speech Recognition

abstract: Past research has identified discriminatory automatic speech recognition (ASR) performance as a function of the racial group and nationality of the speaker. In this paper, we expand the discussion beyond bias as a function of the individual national origin of the speaker to look for bias as a function of the geopolitical orientation of their nation of origin. We audit some of the most popular English language ASR services using a large and global data set of speech from The Speech Accent Archive, which includes over 2,700 speakers of English born in 171 different countries. We show that, even when controlling for multiple linguistic covariates, ASR service performance has a statistically significant relationship to the political alignment of the speaker's birth country with respect to the United States' geopolitical power. This holds for all ASR services tested. We discuss this bias in the context of the historical use of language to maintain global and political power.


title: Derivation of Euler's equations of perfect fluids from von Neumann's equation with magnetic field

abstract: We give a rigorous derivation of the incompressible 2D Euler equation from the von Neumann equation with magnetic field. The convergence is with respect to the modulated energy functional, and implies weak convergence in the sense of measures. This is the quantum counterpart of theorem 1.2 in [Key: 10]. Our proof is based on a Gronwall estimate for the modulated energy functional, which in turn heavily relies on a recent functional inequality due to [Key: 20].


title: BATMAN: Bilateral Attention Transformer in Motion-Appearance Neighboring Space for Video Object Segmentation

abstract: Video Object Segmentation (VOS) is fundamental to video understanding. Transformer-based methods show significant performance improvement on semi-supervised VOS. However, existing work faces challenges segmenting visually similar objects in close proximity of each other. In this paper, we propose a novel Bilateral Attention Transformer in Motion-Appearance Neighboring space (BATMAN) for semi-supervised VOS. It captures object motion in the video via a novel optical flow calibration module that fuses the segmentation mask with optical flow estimation to improve within-object optical flow smoothness and reduce noise at object boundaries. This calibrated optical flow is then employed in our novel bilateral attention, which computes the correspondence between the query and reference frames in the neighboring bilateral space considering both motion and appearance. Extensive experiments validate the effectiveness of BATMAN architecture by outperforming all existing state-of-the-art on all four popular VOS benchmarks: Youtube-VOS 2019 (85.0%), Youtube-VOS 2018 (85.3%), DAVIS 2017Val/Testdev (86.2%/82.2%), and DAVIS 2016 (92.5%).


title: Hierarchical Reinforcement Learning for Precise Soccer Shooting Skills using a Quadrupedal Robot

abstract: We address the problem of enabling quadrupedal robots to perform precise shooting skills in the real world using reinforcement learning. Developing algorithms to enable a legged robot to shoot a soccer ball to a given target is a challenging problem that combines robot motion control and planning into one task. To solve this problem, we need to consider the dynamics limitation and motion stability during the control of a dynamic legged robot. Moreover, we need to consider motion planning to shoot the hard-to-model deformable ball rolling on the ground with uncertain friction to a desired location. In this paper, we propose a hierarchical framework that leverages deep reinforcement learning to train (a) a robust motion control policy that can track arbitrary motions and (b) a planning policy to decide the desired kicking motion to shoot a soccer ball to a target. We deploy the proposed framework on an A1 quadrupedal robot and enable it to accurately shoot the ball to random targets in the real world.


title: Pose Uncertainty Aware Movement Synchrony Estimation via Spatial-Temporal Graph Transformer

abstract: Movement synchrony reflects the coordination of body movements between interacting dyads. The estimation of movement synchrony has been automated by powerful deep learning models such as transformer networks. However, instead of designing a specialized network for movement synchrony estimation, previous transformer-based works broadly adopted architectures from other tasks such as human activity recognition. Therefore, this paper proposed a skeleton-based graph transformer for movement synchrony estimation. The proposed model applied ST-GCN, a spatial-temporal graph convolutional neural network for skeleton feature extraction, followed by a spatial transformer for spatial feature generation. The spatial transformer is guided by a uniquely designed joint position embedding shared between the same joints of interacting individuals. Besides, we incorporated a temporal similarity matrix in temporal attention computation considering the periodic intrinsic of body movements. In addition, the confidence score associated with each joint reflects the uncertainty of a pose, while previous works on movement synchrony estimation have not sufficiently emphasized this point. Since transformer networks demand a significant amount of data to train, we constructed a dataset for movement synchrony estimation using Human3.6M, a benchmark dataset for human activity recognition, and pretrained our model on it using contrastive learning. We further applied knowledge distillation to alleviate information loss introduced by pose detector failure in a privacy-preserving way. We compared our method with representative approaches on PT13, a dataset collected from autism therapy interventions. Our method achieved an overall accuracy of 88.98% and surpassed its counterparts by a wide margin while maintaining data privacy.


title: Hubble tension and Reheating: Hybrid Inflation Implications

abstract: We investigate a new possible solution to the Hubble constant tension. we propose a simple resolution to the problem assuming that a first-order phase transition related to H0 transition occurred in the early Universe. The early evolution of the Universe is a result of hybrid inflation that has lasted for a specific period until symmetry breaking takes place. Fitting our model to measurements from Planck and SH0ES data provides a key explanation of discrepancies of H0 measurements. The quantum fluctuations calculated in this model have significant results on the reheating parameters Nre and Tre. Therefore, new constraints must be taken into consideration to fit these parameters to recent results.


title: On Shapley Value in Data Assemblage Under Independent Utility

abstract: In many applications, an organization may want to acquire data from many data owners. Data marketplaces allow data owners to produce data assemblage needed by data buyers through coalition. To encourage coalitions to produce data, it is critical to allocate revenue to data owners in a fair manner according to their contributions. Although in literature Shapley fairness and alternatives have been well explored to facilitate revenue allocation in data assemblage, computing exact Shapley value for many data owners and large assembled data sets through coalition remains challenging due to the combinatoric nature of Shapley value. In this paper, we explore the decomposability of utility in data assemblage by formulating the independent utility assumption. We argue that independent utility enjoys many applications. Moreover, we identify interesting properties of independent utility and develop fast computation techniques for exact Shapley value under independent utility. Our experimental results on a series of benchmark data sets show that our new approach not only guarantees the exactness of Shapley value, but also achieves faster computation by orders of magnitudes.


title: CP-violation search with T2K data

abstract: The T2K experiment is a long-baseline neutrino oscillation experiment which uses $\nu_{\mu}$ and $\bar{\nu}_{\mu}$ beams to constrain CP-violating effects in a 3-flavor PMNS neutrino mixing model. Through $\nu_{\mu}\to\nu_{e}$ and $\bar{\nu}_{\mu}\to\bar{\nu}_{e}$ appearance channels, T2K is sensitive to CP-violating effects in neutrino mixing. An excess of $\nu_{e}$ candidates in the $\nu$-beam mode is observed when compared to the CP conserving cases. T2K finds a best fit value of $\delta_{\mathrm{CP}}=-1.97_{-0.70}^{+0.97}$ using Feldman-Cousins corrected intervals and excludes CP-conserving values of $\delta_{\mathrm{CP}}$ of $0$ and $\pi$ at the 90% CL. $J_{\mathrm{CP}}=0$ is also excluded at 2$\sigma$ when using a flat prior in $\delta_{\mathrm{CP}}$, favoring negative values.


title: Extensions of (metric) Hom-Jacobi-Jordan algebras

abstract: The main purpose of this paper is to provide a second cohomology group of a (metric) Hom-Jacobi algebra with coefficients in a given representation. Moreover, we show that second cohomology group classifies abelian extensions of a (metric) Hom-Jacobi algebra algebra by a representation.