title: On the Second-Order Wiener Ratios of Iterated Line Graphs

abstract: The Wiener index W(G) of a graph G is the sum of distances between all unordered pairs of its vertices. Dobrynin and Mel'nikov [in: Distance in Molecular Graphs - Theory, 2012, p. 85-121] propose the study of estimates for extremal values of the ratio R_k(G) = W(L^k(G))/W(G) where L^k(G) denotes the k-th iterated line graph of G. Hri\v{n}\'akov\'a, Knor and \v{S}krekovski [Art Discrete Appl. Math. 1 (2018) #P1.09] prove that for each k>2, the path P_n has the smallest value of the ratio R_k among all trees of large order n, and they conjecture that the same holds for the case k=2. We give a counterexample of every order n>21 to this conjecture.


title: Investigating the Ultra-Compact X-ray Binary Candidate SLX 1735-269 with NICER and NuSTAR

abstract: We present two simultaneous NICER and NuSTAR observations of the ultra-compact X-ray binary (UCXB) candidate SLX 1735-269 while the source was in two different spectral states. Using various reflection modeling techniques, we find that xillverCO, a model used for fitting X-ray spectra of UCXBs with high carbon and oxygen abundances is an improvement over relxill or relxillns, which instead contains solar-like chemical abundances. This provides indirect evidence in support of the source being ultra-compact. We also use this reflection model to get a preliminary measurement of the inclination of the system, $i = 57^{+23}_{-7}$ degrees. This is consistent with our timing analysis, where a lack of eclipses indicates an inclination of $i<80^{\circ}$. The timing analysis is otherwise inconclusive, and we can not confidently measure the orbital period of the system.


title: Can emission measure distributions derived from extreme-ultraviolet images accurately constrain high temperature plasma?

abstract: Measuring the relative amount of high-temperature, low-emission-measure plasma is considered to be a smoking gun observation to constrain the frequency of plasma heating in coronal structures. Often, narrowband, extreme ultraviolet images, such as those obtained by the Atmospheric Imaging Assembly (AIA) on the Solar Dynamics Observatory (SDO), are used to determine the emission measure (EM) distribution, though the sensitivity to high temperature plasma is limited. Conversely, the soft X-ray wavelength range offers multiple high temperature diagnostics, including emission lines of N VII, O VII, O VIII, Fe XVII, Ne IX, and Mg XI, which can provide tight constraints to the high temperature plasma in the log T 6.1 to 6.7 range. The Marshall Grazing Incidence X-ray Spectrometer (MaGIXS), a slitless spectrograph launched on a NASA sounding rocket on July 30, 2021 resolved an X-ray bright point in multiple emission lines in the soft X-ray wavelength range. Using coordinated observations of the same X-ray bright point from SDO/AIA, we compare and contrast the EM distributions from the EUV image data, the X-ray spectra, as well as the combined EUV and X-ray dataset. In this paper, we demonstrate that EM distributions from SDO/AIA data alone can overestimate the amount of high temperature (log T > 6.4) plasma in the solar corona by a factor of 3 to 15. Furthermore, we present our effort to cross-calibrate Hinode/XRT response functions by comparing the observed XRT fluxes with the predicted ones from combined MaGIXS-1 + AIA EM analysis.


title: Multiwavelength pulsations and surface temperature distribution in the middle-aged pulsar B1055-52

abstract: We present a detailed study of the X-ray emission from PSR B1055-52 using XMM-Newton observations from 2019 and 2000. The phase-integrated X-ray emission from this pulsar is poorly described by existing neutron star atmosphere models. Instead, we confirm that, similar to other middle-aged pulsars, the best-fitting spectral model consists of two blackbody components, with substantially different temperatures and emitting areas, and a nonthermal component characterized by a power law. Our phase-resolved X-ray spectral analysis using this three-component model reveals variations in the thermal emission parameters with the pulsar's rotational phase. These variations suggest a nonuniform temperature distribution across the neutron star's surface, including the cold thermal component and probable hot spot(s). Such a temperature distribution can be caused by external and internal heating processes, likely a combination thereof. We observe very high pulse fractions, 60\%--80\% in the 0.7-1.5, keV range, dominated by the hot blackbody component. This could be related to temperature non-uniformity and potential beaming effects in an atmosphere. We find indication of a second hot spot that appears at lower energies (0.15-0.3, keV) than the first hot spot (0.5-1.5, keV) in the X-ray light curves, and is offset by about half a rotation period. This finding aligns with the nearly orthogonal rotator geometry suggested by radio observations of this interpulse pulsar. If the hot spots are associated with polar caps, a possible explanation for their temperature asymmetry could be an offset magnetic dipole and/or an additional toroidal magnetic field component in the neutron star crust


title: Connected McMullen-like Julia sets in a Chebyshev-Halley Family

abstract: In this paper we study a one parameter family of rational maps obtained by applying the Chebyshev-Halley root finding algorithms. We show that the dynamics near parameters where the family presents some degeneracy might be understood from the point of view of singular perturbations. More precisely, we relate the dynamics of those maps with the one of the McMullen family $M_{\lambda}(z)=z^4 + \lambda /z^2$, using quasi-conformal surgery.


title: Development of an NLP-driven computer-based test guide for visually impaired students

abstract: In recent years, advancements in Natural Language Processing (NLP) techniques have revolutionized the field of accessibility and exclusivity of testing, particularly for visually impaired students (VIS). CBT has shown in years back its relevance in terms of administering exams electronically, making the test process easier, providing quicker and more accurate results, and offering greater flexibility and accessibility for candidates. Yet, its relevance was not felt by the visually impaired students as they cannot access printed documents. Hence, in this paper, we present an NLP-driven Computer-Based Test guide for visually impaired students. It employs a speech technology pre-trained methods to provide real-time assistance and support to visually impaired students. The system utilizes NLP technologies to convert the text-based questions and the associated options in a machine-readable format. Subsequently, the speech technology pre-trained model processes the converted text enabling the VIS to comprehend and analyze the content. Furthermore, we validated that this pre-trained model is not perverse by testing for accuracy using sample audio datasets labels (A, B, C, D, E, F, G) to compare with the voice recordings obtained from 20 VIS which is been predicted by the system to attain values for precision, recall, and F1-scores. These metrics are used to assess the performance of the pre-trained model and have indicated that it is proficient enough to give its better performance to the evaluated system. The methodology adopted for this system is Object Oriented Analysis and Design Methodology (OOADM) where Objects are discussed and built by modeling real-world instances.


title: Fostering innovation, inclusion, and diversity in astronomy education: The Czech Astronomy Olympiad experience

abstract: Astronomy education and outreach are very important when it comes to the future generation's interest in science. The Czech Astronomy Olympiad shows how an educational competition for secondary and high schools can help us drive innovation and promote inclusion and diversity. In this work, we introduce the scope of this competition and show statistics on participation. We also discuss some of the steps taken to make astronomy accessible to a wider audience, such as organising international workshops. In addition, we explore some of the approaches which were adopted to broaden the Olympiad's reach and impact. These include, e.g., developing a dedicated website environment or publishing Open Access booklets with solved problems.


title: ACS: Concurrent Kernel Execution on Irregular, Input-Dependent Computational Graphs

abstract: GPUs are widely used to accelerate many important classes of workloads today. However, we observe that several important emerging classes of workloads, including simulation engines for deep reinforcement learning and dynamic neural networks, are unable to fully utilize the massive parallelism that GPUs offer. These applications tend to have kernels that are small in size, i.e., have few thread blocks that do not saturate compute resources. Executing independent kernels concurrently is a promising approach to improve parallelism and utilization. However, this inter-kernel concurrency is difficult to leverage in such workloads with existing approaches: First, the inter-kernel dependencies and computational graph are input-dependent and vary each time the application is executed. Second, the computational graphs tend to be irregular, requiring fine-grain scheduling and synchronization; thus incurring significant synchronization overheads if kernel execution is parallelized. In this work, we propose ACS, a framework that enables lightweight detection of inter-kernel dependencies and low overhead kernel scheduling at runtime. The key idea behind ACS is to perform inter-kernel dependency checks for a small window of kernels at runtime, similar to out-of order instruction scheduling. This enables concurrent execution of kernels in applications whose computational graphs are input dependent and require fine-grained scheduling. We propose ACS-SW, a software-only open-source implementation of ACS and ACS-HW, a hardware-software cooperative implementation. ACS-HW further reduces synchronization overheads by reducing communication between the CPU and GPU. We evaluate ACS for deep RL simulation and dynamic DNNs on both real hardware and a GPU simulator. We demonstrate speedups of up to 2.19x (1.56x on average) by improving GPU utilization with concurrent kernel execution.


title: Shallower radius valley around low-mass hosts: Evidence for icy planets, collisions or high-energy radiation scatter

abstract: The radius valley, i.e., a dearth of planets with radii between 1.5 and 2 Earth radii, provides insights into planetary formation and evolution. Using homogenously revised planetary parameters from Kepler 1-minute short cadence light curves, we remodel transits of 72 small planets mostly orbiting low-mass stars, improving the precision and accuracy of planet parameters. By combining this sample with a similar sample of planets around higher-mass stars, we determine the depth of the radius valley as a function of stellar mass. We find that the radius valley is shallower for low-mass stars compared to their higher mass counterparts. Upon comparison, we find that theoretical models of photoevaporation under-predict the number of planets observed inside the radius valley for low-mass stars: with decreasing stellar mass, the predicted fraction of planets inside the valley remains approximately constant whereas the observed fraction increases. We argue that this provides evidence for the presence of icy planets around low-mass stars. Alternatively, planets orbiting low-mass stars undergo more frequent collisions and scatter in the stars' high-energy output may also cause planets to fill the valley. We predict that more precise mass measurements for planets orbiting low mass stars would be able to distinguish between these scenarios.


title: Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis

abstract: This study investigates various approaches to using Large Language Models (LLMs) for Text-to-SQL program synthesis, focusing on the outcomes and insights derived. Employing the popular Text-to-SQL dataset, spider, the goal was to input a natural language question along with the database schema and output the correct SQL SELECT query. The initial approach was to fine-tune a local and open-source model to generate the SELECT query. After QLoRa fine-tuning WizardLM's WizardCoder-15B model on the spider dataset, the execution accuracy for generated queries rose to a high of 61%. With the second approach, using the fine-tuned gpt-3.5-turbo-16k (Few-shot) + gpt-4-turbo (Zero-shot error correction), the execution accuracy reached a high of 82.1%. Of all the incorrect queries, most can be categorized into a seven different categories of what went wrong: selecting the wrong columns or wrong order of columns, grouping by the wrong column, predicting the wrong values in conditionals, using different aggregates than the ground truth, extra or too few JOIN clauses, inconsistencies in the Spider dataset, and lastly completely incorrect query structure. Most if not all of the queries fall into these categories and it is insightful to understanding where the faults still lie with LLM program synthesis and where they can be improved.


title: A System for Human-Robot Teaming through End-User Programming and Shared Autonomy

abstract: Many industrial tasks-such as sanding, installing fasteners, and wire harnessing-are difficult to automate due to task complexity and variability. We instead investigate deploying robots in an assistive role for these tasks, where the robot assumes the physical task burden and the skilled worker provides both the high-level task planning and low-level feedback necessary to effectively complete the task. In this article, we describe the development of a system for flexible human-robot teaming that combines state-of-the-art methods in end-user programming and shared autonomy and its implementation in sanding applications. We demonstrate the use of the system in two types of sanding tasks, situated in aircraft manufacturing, that highlight two potential workflows within the human-robot teaming setup. We conclude by discussing challenges and opportunities in human-robot teaming identified during the development, application, and demonstration of our system.


title: Computational Reverse Engineering Analysis of Scattering Experiments Method for Interpretation of 2D Small-Angle Scattering Profiles (CREASE-2D)

abstract: Characterization of structural diversity within soft materials is key for engineering new materials for various applications. Small-angle scattering (SAS) is a widely used characterization technique that provides structural information in soft materials at varying length scales and typically outputs scattered intensity I(q) as a function of the scattered wavevector represented by its magnitude q and azimuthal angle {\theta}. While isotropic structures can be interpreted from azimuthally averaged 1D SAS profile, to understand anisotropic spatial arrangements, one has to interpret the 2D SAS profile, I(q,{\theta}). In this paper, we present a new method called CREASE-2D that interprets I(q,{\theta}) as is and outputs the relevant structural features. CREASE-2D is an extension of the 'computational reverse engineering analysis for scatting experiments' (CREASE) method that has been used successfully to analyze 1D SAS profiles for a variety of soft materials. CREASE uses a genetic algorithm for optimization and a surrogate machine learning (ML) model for fast calculation of 1D 'computed' scattering profiles that are then compared to the experimental 1D scattering profiles during optimization. In CREASE-2D, which goes beyond CREASE in interpretting 2D scattering profiles, we use XGBoost as the surrogate ML model to relate structural features to the I(q,{\theta}) profile. The CREASE-2D workflow identifies the structural features whose computed I(q,{\theta}) profiles match the input experimental I(q,{\theta}). We test the performance of CREASE-2D by using as input a variety of in silico 2D SAS profiles with known structural features and demonstrate that CREASE-2D converges towards their correct structural features. We expect this method will be valuable for materials' researchers who need direct interpretation of 2D scattering profiles to explore structural anisotropy.


title: Longitudinal Sentiment Classification of Reddit Posts

abstract: We report results of a longitudinal sentiment classification of Reddit posts written by students of four major Canadian universities. We work with the texts of the posts, concentrating on the years 2020-2023. By finely tuning a sentiment threshold to a range of [-0.075,0.075], we successfully built classifiers proficient in categorizing post sentiments into positive and negative categories. Noticeably, our sentiment classification results are consistent across the four university data sets.


title: A New Class of Algorithms for Finding Short Vectors in Lattices Lifted from Co-dimension $k$ Codes

abstract: We introduce a new class of algorithms for finding a short vector in lattices defined by codes of co-dimension $k$ over $\mathbb{Z}_P^d$, where $P$ is prime. The co-dimension $1$ case is solved by exploiting the packing properties of the projections mod $P$ of an initial set of non-lattice vectors onto a single dual codeword. The technical tools we introduce are sorting of the projections followed by single-step pairwise Euclidean reduction of the projections, resulting in monotonic convergence of the positive-valued projections to zero. The length of vectors grows by a geometric factor each iteration. For fixed $P$ and $d$, and large enough user-defined input sets, we show that it is possible to minimize the number of iterations, and thus the overall length expansion factor, to obtain a short lattice vector. Thus we obtain a novel approach for controlling the output length, which resolves an open problem posed by Noah Stephens-Davidowitz (the possibility of an approximation scheme for the shortest-vector problem (SVP) which does not reduce to near-exact SVP). In our approach, one may obtain short vectors even when the lattice dimension is quite large, e.g., 8000. For fixed $P$, the algorithm yields shorter vectors for larger $d$. We additionally present a number of extensions and generalizations of our fundamental co-dimension $1$ method. These include a method for obtaining many different lattice vectors by multiplying the dual codeword by an integer and then modding by $P$; a co-dimension $k$ generalization; a large input set generalization; and finally, a "block" generalization, which involves the replacement of pairwise (Euclidean) reduction by a $k$-party (non-Euclidean) reduction. The $k$-block generalization of our algorithm constitutes a class of polynomial-time algorithms indexed by $k\geq 2$, which yield successively improved approximations for the short vector problem.


title: The Crossover from Ordinary to Higher-Order van Hove Singularity in a Honeycomb System: A Parquet Renormalization Group Analysis

abstract: We investigate the crossover from an ordinary van Hove singularity (OVHS) to a higher order van Hove singularity (HOVHS) in a model applicable to Bernal bilayer graphene and rhombohedral trilayer graphene in a displacement field. At small doping, these systems possess three spin-degenerate Fermi pockets near each Dirac point $K$ and $K'$; at larger doping, the three pockets merge into a single one. The transition is of Lifshitz type and includes van Hove singularities. Depending on system parameters, there are either 3 separate OVHS or a single HOVHS. We model this behavior by a one-parameter dispersion relation, which interpolates between OVHS and HOVHS. In each case, the diverging density of states triggers various electronic orders (superconductivity, pair density wave, valley polarization, ferromagnetism, spin and charge density wave). We apply the parquet renormalization group (pRG) technique and analyze how the ordering tendencies evolve between OVHS and HOVHS. We report rich system behavior caused by disappearance/reemergence and pair production/annihilation of the fixed points of the pRG flow.


title: On Basic Feasible Functionals and the Interpretation Method

abstract: The class of basic feasible functionals $(\mathtt{BFF})$ is the analog of $\mathtt{FP}$ (polynomial time functions) for type-2 functionals, that is, functionals that can take (first-order) functions as arguments. $\mathtt{BFF}$ can be defined through Oracle Turing machines with running time bounded by second-order polynomials. On the other hand, higher-order term rewriting provides an elegant formalism for expressing higher-order computation. We address the problem of characterizing $\mathtt{BFF}$ by higher-order term rewriting. Various kinds of interpretations for first-order term rewriting have been introduced in the literature for proving termination and characterizing (first-order) complexity classes. In this paper, we consider a recently introduced notion of cost-size interpretations for higher-order term rewriting and see definitions as ways of computing functionals. We then prove that the class of functionals represented by higher-order terms admitting a certain kind of cost-size interpretation is exactly $\mathtt{BFF}$.


title: Oscillatory collision approach in the Earth-Moon restricted three body problem

abstract: We consider the Earth-Moon planar circular restricted three body problem and present a proof of the existence orbits, which approach arbitrarily close to one of the primary masses, and at the same time after each approach they move away from the mass to a prescribed distance. In other words the orbits oscillate between being arbitrarily close to collision and away from it. We achieve our goal with the use of topological tools combined with rigorous interval computations. We use the Levi-Civita regularization and validate that the dynamics in the regularized coordinates leads to a good topological alignment between various sets. We then perform shadowing arguments that this leads to the required dynamics in the original coordinates of the system.


title: Coorbit Theory for Coefficients in Weighted Lebesgue Spaces, and its Application to the Wavelet Transform and the Short-Time Fourier Transform

abstract: Starting with an integrable unitary representation of a locally compact group and its associated voice transform, coorbit theory describes the construction and investigation of the so-called coorbit spaces. A coorbit space consists of distributions of which the voice transform is contained in a given function space. We construct coorbit spaces which elements have voice transforms in weighted Lebesgue spaces. By applying this construction to the wavelet transform and short-time Fourier transform, we obtain special cases of the homogeneous Besov spaces and the modulation spaces, respectively. We also discretize the coorbit spaces in terms of Banach frames, where the frame vectors are contained in the orbit of some suitable element under the group action. For the two examples of the wavelet transform and the short-time Fourier transform, we derive sufficient conditions for a wavelet respectively a Gabor window to be suitable to generate such a Banach frame in the respective context.


title: Multi-Objective Multi-mode Time-Cost Tradeoff modeling in Construction Projects Considering Productivity Improvement

abstract: In today's construction industry, poor performance often arises due to various factors related to time, finances, and quality. These factors frequently lead to project delays and resource losses, particularly in terms of financial resources. This research addresses the Multimode Resource-Constrained Project Scheduling Problem (MRCPSP), a real-world challenge that takes into account the time value of money and project payment planning. In this context, project activities exhibit discrete cost profiles under different execution conditions and can be carried out in multiple ways. This paper aims to achieve two primary objectives: minimizing the net present value of project costs and project completion times while simultaneously improving the project's productivity index. To accomplish this, a mathematical programming model based on certain assumptions is proposed. Several test cases are designed, and they are rigorously evaluated using the methodology outlined in this paper to validate the modeling approach. Recognizing the NP-hard nature of this problem, a multi-objective genetic algorithm capable of solving large-scale instances is developed. Finally, the effectiveness of the proposed solution is assessed by comparing it to the performance of the NSGA-II algorithm using well-established efficiency metrics. Results demonstrate the superior performance of the algorithm introduced in this study.


title: Experience-Learning Inspired Two-Step Reward Method for Efficient Legged Locomotion Learning Towards Natural and Robust Gaits

abstract: Multi-legged robots offer enhanced stability in complex terrains, yet autonomously learning natural and robust motions in such environments remains challenging. Drawing inspiration from animals' progressive learning patterns, from simple to complex tasks, we introduce a universal two-stage learning framework with two-step reward setting based on self-acquired experience, which efficiently enables legged robots to incrementally learn natural and robust movements. In the first stage, robots learn through gait-related rewards to track velocity on flat terrain, acquiring natural, robust movements and generating effective motion experience data. In the second stage, mirroring animal learning from existing experiences, robots learn to navigate challenging terrains with natural and robust movements using adversarial imitation learning. To demonstrate our method's efficacy, we trained both quadruped robots and a hexapod robot, and the policy were successfully transferred to a physical quadruped robot GO1, which exhibited natural gait patterns and remarkable robustness in various terrains.


title: The Temperature and Density of a Solar Flare Kernel Measured from Extreme Ultraviolet Lines of O IV

abstract: Previously-unexplored diagnostics of O IV in the extreme ultraviolet region 260-280 A are used to derive a temperature and density for a solar flare kernel observed on 2012 March 9 with the Extreme ultraviolet Imaging Spectrometer on the Hinode satellite. Seven lines from the 2s 2p^2 - 2s 2p 3s transition array between 271.99 and 272.31 A are both temperature and density sensitive relative to the line at 279.93 A. The temperature, T, is constrained with the 268.02/279.93 ratio, giving a value of log (T/K)=5.10 +/- 0.03. The ratio 272.13/279.93 then yields an electron number density, N_e, of log (N_e/cm^-3) = 12.55 with a lower limit of 11.91, and an upper limit of 14.40. The O IV emitting volume is estimated to be 0.4 arcsec (300 km) across. Additional O IV lines at 196, 207 and 260 A are consistent with the derived temperature and density but have larger uncertainties from the radiometric calibration and blending. Density diagnostics of O V and Mg VII from the same spectrum are consistent with a constant pressure of 10^17.0 K cm^-3 through the transition region. The temperature derived from O IV supports recent results that O IV is formed around 0.15 dex lower at high densities compared to standard "zero-density" ionization balance calculations.


title: Approximation of Pufferfish Privacy for Gaussian Priors

abstract: This paper studies how to approximate pufferfish privacy when the adversary's prior belief of the published data is Gaussian distributed. Using Monge's optimal transport plan, we show that $(\epsilon, \delta)$-pufferfish privacy is attained if the additive Laplace noise is calibrated to the differences in mean and variance of the Gaussian distributions conditioned on every discriminative secret pair. A typical application is the private release of the summation (or average) query, for which sufficient conditions are derived for approximating $\epsilon$-statistical indistinguishability in individual's sensitive data. The result is then extended to arbitrary prior beliefs trained by Gaussian mixture models (GMMs): calibrating Laplace noise to a convex combination of differences in mean and variance between Gaussian components attains $(\epsilon,\delta)$-pufferfish privacy.


title: Evaluating Roadside Perception for Autonomous Vehicles: Insights from Field Testing

abstract: Roadside perception systems are increasingly crucial in enhancing traffic safety and facilitating cooperative driving for autonomous vehicles. Despite rapid technological advancements, a major challenge persists for this newly arising field: the absence of standardized evaluation methods and benchmarks for these systems. This limitation hampers the ability to effectively assess and compare the performance of different systems, thus constraining progress in this vital field. This paper introduces a comprehensive evaluation methodology specifically designed to assess the performance of roadside perception systems. Our methodology encompasses measurement techniques, metric selection, and experimental trial design, all grounded in real-world field testing to ensure the practical applicability of our approach. We applied our methodology in Mcity\footnote{\url{https://mcity.umich.edu/}}, a controlled testing environment, to evaluate various off-the-shelf perception systems. This approach allowed for an in-depth comparative analysis of their performance in realistic scenarios, offering key insights into their respective strengths and limitations. The findings of this study are poised to inform the development of industry-standard benchmarks and evaluation methods, thereby enhancing the effectiveness of roadside perception system development and deployment for autonomous vehicles. We anticipate that this paper will stimulate essential discourse on standardizing evaluation methods for roadside perception systems, thus pushing the frontiers of this technology. Furthermore, our results offer both academia and industry a comprehensive understanding of the capabilities of contemporary infrastructure-based perception systems.


title: A Learning-based Declarative Privacy-Preserving Framework for Federated Data Management

abstract: It is challenging to balance the privacy and accuracy for federated query processing over multiple private data silos. In this work, we will demonstrate an end-to-end workflow for automating an emerging privacy-preserving technique that uses a deep learning model trained using the Differentially-Private Stochastic Gradient Descent (DP-SGD) algorithm to replace portions of actual data to answer a query. Our proposed novel declarative privacy-preserving workflow allows users to specify "what private information to protect" rather than "how to protect". Under the hood, the system automatically chooses query-model transformation plans as well as hyper-parameters. At the same time, the proposed workflow also allows human experts to review and tune the selected privacy-preserving mechanism for audit/compliance, and optimization purposes.


title: Roots of polynomials and tangents of circles

abstract: Given a real cubic function $f(x)$ with three roots, take an equilateral triangle $ABC$, the projections of which vertices are the roots of $f(x)$. There is a folklore fact that the vertical lines through the extrema of $f(x)$ are tangent to the inscribed circle of $ABC$. We generalise this fact to a regular $n$-gon and the corresponding degree $n$ polynomial.


title: Hybrid Quantum Repeaters with Ensemble-based Quantum Memories and Single-spin Photon Transducers

abstract: Reliable quantum communication over hundreds of kilometers is a daunting yet necessary requirement for a quantum internet. To overcome photon loss, the deployment of quantum repeater stations between distant network nodes is necessary. A plethora of different quantum hardware is being developed for this purpose, each platform with its own opportunities and challenges. Here, we propose to combine two promising hardware platforms in a hybrid quantum repeater architecture to lower the cost and boost the performance of long-distance quantum communication. We outline how ensemble-based quantum memories combined with single-spin photon transducers, which can transfer quantum information between a photon and a single spin, can facilitate massive multiplexing, efficient photon generation, and quantum logic for amplifying communication rates. As a specific example, we describe how a single Rubidium (Rb) atom coupled to nanophotonic resonators can function as a high-rate, telecom-visible entangled photon source with the visible photon being compatible with storage in a Thulium-doped crystal memory (Tm-memory) and the telecom photon being compatible with low loss fiber propagation. We experimentally verify that Tm and Rb transitions are in resonance with each other. Our analysis shows that by employing up to 9 repeater stations, each equipped with two Tm-memories capable of holding up to 625 storage modes, along with four single Rb atoms, one can reach a quantum communication rate of about 10 secret bits per second across distances of up to 1000 km.


title: Broad-line region geometry from multiple emission lines in a single-epoch spectrum

abstract: The broad-line region (BLR) of active galactic nuclei (AGNs) traces gas close to the central supermassive black hole (BH). Recent reverberation mapping (RM) and interferometric spectro-astrometry data have enabled detailed investigations of the BLR structure and dynamics, as well as estimates of the BH mass. These exciting developments motivate comparative investigations of BLR structures using different broad emission lines. In this work, we have developed a method to simultaneously model multiple broad lines of the BLR from a single-epoch spectrum. We apply this method to the five strongest broad emission lines (H$\alpha$, H$\beta$, H$\gamma$, Pa$\beta$, and He $I\;\lambda$5876) in the UV-to-NIR spectrum of NGC 3783, a nearby Type I AGN which has been well studied by RM and interferometric observations. Fixing the BH mass to the published value, we fit these line profiles simultaneously to constrain the BLR structure. We find that the differences between line profiles can be explained almost entirely as being due to different radial distributions of the line emission. We find that using multiple lines in this way also enables one to measure some important physical parameters, such as the inclination angle and virial factor of the BLR. The ratios of the derived BLR time lags are consistent with the expectation of theoretical model calculations and RM measurements.


title: A reduction of the $\theta(p_c) = 0$ problem to a conjectured inequality

abstract: We conjecture a new correlation-like inequality for percolation probabilities and support our conjecture with numerical evidence and a few special cases which we prove. This inequality, if true, implies that there is no percolation at criticality on the Euclidean lattice, for any dimension bigger than one.


title: Ahlfors regularity of Patterson-Sullivan measures of Anosov groups and applications

abstract: For all Zarski dense Anosov subgroups of a semisimple real algebraic group, we prove that their limit sets are Ahlfors regular for intrinsic conformal premetrics. As a consequence, we obtain that a Patterson-Sullivan measure is equal to the Hausdorff measure if and only if the associated linear form is symmetric. We also discuss several applications, including analyticity of $(p,q)$-Hausdorff dimensions on the Teichm\"uller spaces, new upper bounds on the growth indicator, and $L^2$-spectral properties of associated locally symmetric manifolds.


title: Renormalized Solutions for Quasilinear Elliptic Equations with Robin Boundary Conditions, Lower-Order Terms, and $L^1$ Data

abstract: In this paper, we establish the existence of a solution for a class of quasilinear equations characterized by the prototype: \begin{equation} \left\{\begin{aligned} -\operatorname{div}(\vartheta_\alpha|\nabla u|^{p-2} \nabla u)+\vartheta_\gamma b|\nabla u|^{p-1}+\vartheta_\gamma c|u|^{r-1} u & =f \vartheta_\alpha & & \text { in } \Omega, \\ \vartheta_\alpha|\nabla u|^{p-2} \nabla u \cdot \nu+\vartheta_\beta|u|^{p-2} u & =g \vartheta_\beta & & \text { on } \partial \Omega . \end{aligned}\right. \end{equation} Here, $\Omega$ is an open subset of $\mathbb{R}^N$ with a Lipschitz boundary, where $N\geq 2$ and $1 < p < N$. We define $\vartheta_a(x) = (1 + |x|)^a$ for $a \in (-N, (p-1)N)$, and the constants $\alpha, \beta, \gamma, r$ satisfy suitable conditions. Additionally, $f$ and $g$ are measurable functions, while $b$ and $c$ belong to a Lorentz space. Our approach also allows us to establish stability results for renormalized solutions.


title: Two-dimensional silk

abstract: The ability to form silk films on semiconductors, metals, and oxides or as free-standing membranes has motivated research into silk-based electronic, optical, and biomedical devices. However, the inherent disorder of native silk limits device performance. Here we report the creation of highly ordered two-dimensional (2D) silk fibroin (SF) layers on van der Waals solids. Using in situ atomic force microscopy, synchrotron-based infrared spectroscopy, and molecular dynamics simulations, we develop a mechanistic understanding of the assembly process. We show that the films consist of lamellae having an epitaxial relationship with the underlying lattice and that the SF molecules exhibit the same Beta-sheet secondary structure seen in the crystallites of the native form. By increasing the SF concentration, multilayer films form via layer-by-layer growth, either along a classical pathway in which SF molecules assemble directly into the lamellae or, at sufficiently high concentrations, along a two-step pathway beginning with formation of a disordered monolayer that subsequently converts into the crystalline phase. Kelvin probe measurements show that these 2D SF layers substantially alter the surface potential. Moreover, the ability to assemble 2D silk on both graphite and MoS2 suggests that it may provide a general platform for silk-based electronics on vdW solids.


title: Exploring magnetic fluctuations effects in QED gauge fields: implications for mass generation

abstract: In this work, we calculate the one-loop contribution to the polarization tensor for photons (and gluons) in the presence of a classical background magnetic field with white-noise stochastic fluctuations. The magnetic field fluctuations are incorporated into the fermion propagator in a quasi-particle picture, which we developed in previous works using the {\it replica trick}. By focusing on the strong-field limit, here we explicitly calculate the polarization tensor. Our results reveal that it does not satisfy the transversality conditions outlined by the Ward identity, thus breaking the $U(1)$ symmetry. As a consequence, in the limit of vanishing photon four-momenta, the tensor coefficients indicate the emergence of an effective magnetic mass induced on photons (and gluons) by these stochastic fluctuations, leading to the interpretation of a dispersive medium with a noise-dependent index of refraction.


title: Characterizing the Average Interstellar Medium Conditions of Galaxies at $z\sim$ 5.6-9 with UV and Optical Nebular Lines

abstract: Ultraviolet (UV; rest-frame $\sim1200-2000$ A) spectra provide a wealth of diagnostics to characterize fundamental galaxy properties, such as their chemical enrichment, the nature of their stellar populations, and their amount of Lyman-continuum (LyC) radiation. In this work, we leverage publicly released JWST data to construct the rest-frame UV-to-optical composite spectrum of a sample of 63 galaxies at $5.6<z<9$, spanning the wavelength range from 1500 to 5200 A. Based on the composite spectrum, we derive an average dust attenuation $E(B-V)_\mathrm{gas}=0.16^{+0.10}_{-0.11}$ from \hb/\hg, electron density $n_e = 570^{+510}_{-290}$ cm$^{-3}$ from the [O II] doublet ratio, electron temperature $T_e = 17000^{+1500}_{-1500}$ K from the [O III] $\lambda4363$/ [O III] $\lambda5007$ ratio, and an ionization parameter $\log(U)=-2.18^{+0.03}_{-0.03}$ from the [O III]/[O II] ratio. Using a direct $T_e$ method, we calculate an oxygen abundance $12+\log\mathrm{(O/H)}=7.67\pm0.08$ and the carbon-to-oxygen (C/O) abundance ratio $\log\mathrm{(C/O)}=-0.87^{+0.13}_{-0.10}$. This C/O ratio is smaller than compared to $z=0$ and $z=2$ - 4 star-forming galaxies, albeit with moderate significance. This indicates the reionization-era galaxies might be undergoing a rapid build-up of stellar mass with high specific star-formation rates. A UV diagnostic based on the ratios of C III] $\lambda\lambda1907,1909$/He II $\lambda1640$ versus O III] $\lambda1666$/He II $\lambda1640$ suggests that the star formation is the dominant source of ionization, similar to the local extreme dwarf galaxies and $z\sim2$ - 4 He II-detected galaxies. The [O III]/[O II] and C IV/C III] ratios of the composite spectrum are marginally larger than the criteria used to select galaxies as LyC leakers, suggesting that some of the galaxies in our sample are strong contributors to the reionizing radiation.


title: Multi-energy diffuse neutrino fluxes originating from core-collapse supernovae

abstract: A comprehensive framework is proposed for the diffuse neutrino fluxes attributed to two different physical processes in core collapse of massive stars. In this scheme, models of thermal MeV-scale neutrinos produced at the core of collapsing stars and non-thermal high-energy neutrinos emitted from accelerated cosmic rays interacting with circumstellar material are bridged through features of core-collapse supernovae (progenitor mass and optical properties). The calculated diffuse fluxes are presented with discussion about their detection prospects at neutrino telescopes.


title: Images of Betelgeuse with VLTI/MATISSE across the Great Dimming

abstract: From Nov. 2019 to May 2020, the red supergiant star Betelgeuse experienced an unprecedented drop of brightness in the visible domain called the great dimming event. Large atmospheric dust clouds and large photospheric convective features are suspected to be responsible for it. To better understand the dimming event, we used mid-infrared long-baseline spectro-interferometric measurements of Betelgeuse taken with the VLTI/MATISSE instrument before (Dec. 2018), during (Feb. 2020), and after (Dec. 2020) the GDE. We present data in the 3.98 to 4.15\,$\mu$m range to cover SiO spectral features molecules as well as adjacent continuum. We have employed geometrical models, image reconstruction, as well as radiative transfer models to monitor the spatial distribution of SiO over the stellar surface. We find a strongly in-homogeneous spatial distribution of SiO that appears to be looking very different between our observing epochs, indicative of a vigorous activity in the stellar atmosphere. The contrast of our images is small in the pseudo-continuum for all epochs, implying that our MATISSE observations support both cold spot and dust cloud model.


title: Learning Recovery Strategies for Dynamic Self-healing in Reactive Systems

abstract: Self-healing systems depend on following a set of predefined instructions to recover from a known failure state. Failure states are generally detected based on domain specific specialized metrics. Failure fixes are applied at predefined application hooks that are not sufficiently expressive to manage different failure types. Self-healing is usually applied in the context of distributed systems, where the detection of failures is constrained to communication problems, and resolution strategies often consist of replacing complete components. Our proposal targets complex reactive systems, defining monitors as predicates specifying satisfiability conditions of system properties. Such monitors are functionally expressive and can be defined at run time to detect failure states at any execution point. Once failure states are detected, we use a Reinforcement Learning-based technique to learn a recovery strategy based on users' corrective sequences. Finally, to execute the learned strategies, we extract them as COP variations that activate dynamically whenever the failure state is detected, overwriting the base system behavior with the recovery strategy for that state. We validate the feasibility and effectiveness of our framework through a prototypical reactive application for tracking mouse movements, and the DeltaIoT exemplar for self-healing systems. Our results demonstrate that with just the definition of monitors, the system is effective in detecting and recovering from failures between 55%-92% of the cases in the first application, and at par with the predefined strategies in the second application.


title: Enhancing In-context Learning via Linear Probe Calibration

abstract: In-context learning (ICL) is a new paradigm for natural language processing that utilizes Generative Pre-trained Transformer (GPT)-like models. This approach uses prompts that include in-context demonstrations to generate the corresponding output for a new query input. However, applying ICL in real cases does not scale with the number of samples, and lacks robustness to different prompt templates and demonstration permutations. In this paper, we first show that GPT-like models using ICL result in unreliable predictions based on a new metric based on Shannon entropy. Then, to solve this problem, we propose a new technique called the Linear Probe Calibration (LinC), a method that calibrates the model's output probabilities, resulting in reliable predictions and improved performance, while requiring only minimal additional samples (as few as five labeled data samples). LinC significantly enhances the ICL test performance of GPT models on various benchmark datasets, with an average improvement of up to 21%, and up to a 50% improvement in some cases, and significantly boosts the performance of PEFT methods, especially in the low resource regime. Moreover, LinC achieves lower expected calibration error, and is highly robust to varying label proportions, prompt templates, and demonstration permutations. Our code is available at \url{https://github.com/mominabbass/LinC}.


title: Comments on finite termination of the generalized Newton method for absolute value equations

abstract: We consider the generalized Newton method (GNM) for the absolute value equation (AVE) $Ax-|x|=b$. The method has finite termination property whenever it is convergent, no matter whether the AVE has a unique solution. We prove that GNM is convergent whenever $\rho(|A^{-1}|)<1/3$. We also present new results for the case where $A-I$ is a nonsingular $M$-matrix or an irreducible singular $M$-matrix. When $A-I$ is an irreducible singular $M$-matrix, the AVE may have infinitely many solutions. In this case, we show that GNM always terminates with a uniquely identifiable solution, as long as the initial guess has at least one nonpositive component.


title: The variable magnetic field of V889 Her and the challenge of detecting exoplanets around young Suns using Gaussian process regression

abstract: Discovering exoplanets orbiting young Suns can provide insight into the formation and early evolution of our own solar system, but the extreme magnetic activity of young stars obfuscates exoplanet detection. Here we monitor the long-term magnetic field and chromospheric activity variability of the young solar analogue V889 Her, model the activity-induced radial velocity variations and evaluate the impacts of extreme magnetism on exoplanet detection thresholds. We map the magnetic field and surface brightness for 14 epochs between 2004 and 2019. Our results show potential 3-4 yr variations of the magnetic field which evolves from weak and simple during chromospheric activity minima to strong and complex during activity maxima but without any polarity reversals. A persistent, temporally-varying polar spot coexists with weaker, short-lived lower-latitude spots. Due to their different decay time-scales, significant differential rotation and the limited temporal coverage of our legacy data, we were unable to reliably model the activity-induced radial velocity using Gaussian Process regression. Doppler Imaging can be a useful method for modelling the magnetic activity jitter of extremely active stars using data with large phase gaps. Given our data and using Doppler Imaging to filter activity jitter, we estimate that we could detect Jupiter-mass planets with orbital periods of $\sim$3 d. A longer baseline of continuous observations is the best observing strategy for the detection of exoplanets orbiting highly active stars.


title: On Efficient Sampling Schemes for the Eigenvalues of Complex Wishart Matrices

abstract: The paper "An efficient sampling scheme for the eigenvalues of dual Wishart matrices", by I.~Santamar\'ia and V.~Elvira, [\emph{IEEE Signal Processing Letters}, vol.~28, pp.~2177--2181, 2021] \cite{SE21}, poses the question of efficient sampling from the eigenvalue probability density function of the $n \times n$ central complex Wishart matrices with variance matrix equal to the identity. Underlying such complex Wishart matrices is a rectangular $R \times n$ $(R \ge n)$ standard complex Gaussian matrix, requiring then $2Rn$ real random variables for their generation. The main result of \cite{SE21} gives a formula involving just two classical distributions specifying the two eigenvalues in the case $n=2$. The purpose of this Letter is to point out that existing results in the literature give two distinct ways to efficiently sample the eigenvalues in the general $n$ case. One is in terms of the eigenvalues of a tridiagonal matrix which factors as the product of a bidiagonal matrix and its transpose, with the $2n+1$ nonzero entries of the latter given by (the square root of) certain chi-squared random variables. The other is as the generalised eigenvalues for a pair of bidiagonal matrices, also containing a total of $2n+1$ chi-squared random variables. Moreover, these characterisation persist in the case of that the variance matrix consists of a single spike, and for the case of real Wishart matrices.


title: Self-pulsing of Dielectric Barrier Discharges at Low Driving Frequencies

abstract: This paper investigates the self-pulsing of Dielectric Barrier Discharges (DBDs) at low driving frequencies. In particular, (a) the dependence of current on the product pd of gas pressure p and the gas gap length d, (b) the effects of lossy dielectrics (in resistive discharges) and large dielectric permittivity (in ferroelectrics) on current dynamics, (c) the transition from Townsend to a dynamic Capacitively Coupled Plasma (CCP) discharge with changing pd values, and (d) the transition from Townsend to a high-frequency CCP regime with increasing the driving frequency. A one-dimensional fluid model of Argon plasma is coupled to an equivalent RC circuit for lossy dielectrics. Our results show multiple current pulses per AC period in Townsend and CCP discharge modes which are explained by uncoupled electron-ion transport in the absence of quasineutrality and surface charge deposition at dielectric interfaces. The number of current pulses decreases with an increasing applied frequency when the Townsend discharge transforms into the CCP discharge. The resistive barrier discharge with lossy dielectrics exhibits Townsend and glow modes for the same pd value (7.6 Torr cm) for higher and lower resistances, respectively. Finally,we show that ferroelectric materials can amplify discharge current in DBDs. Similarities between current pulsing in DBD, Trichel pulses in corona discharges, and subnormal oscillations in DC discharges are discussed. 1


title: Oscillatory and regularized shock waves for a modified Serre-Green-Naghdi system

abstract: The Serre-Green-Naghdi equations of water wave theory have been widely employed to study undular bores. In this study, we introduce a modified Serre-Green-Naghdi system incorporating the effect of an artificial term that results in dispersive and dissipative dynamics. We show that, over sufficiently extended time intervals, effectively approximates the classical Serre-Green-Naghdi equations and admits dispersive-diffusive shock waves as traveling wave solutions. The traveling waves converge to the entropic shock wave solution of the shallow water equations when the dispersion and diffusion approach zero in a moderate dispersion regime. These findings contribute to an understanding of the formation of dispersive shock waves in the classical Serre-Green-Naghdi equations and the effects of diffusion in the generation and propagation of undular bores.


title: Program Decomposition and Translation with Static Analysis

abstract: The rising popularity of Large Language Models (LLMs) has motivated exploring their use in code-related tasks. Code LLMs with more than millions of parameters are trained on a massive amount of code in different Programming Languages (PLs). Such models are used for automating various Software Engineering (SE) tasks using prompt engineering. However, given the very large size of industry-scale project files, a major issue of these LLMs is their limited context window size, motivating the question of "Can these LLMs process very large files and can we effectively perform prompt engineering?". Code translation aims to convert source code from one PL to another. In this work, we assess the effect of method-level program decomposition on context window of LLMs and investigate how this approach can enable translation of very large files which originally could not be done due to out-of-context issue. Our observations from 20 well-known java projects and approximately 60K methods suggest that method-level program decomposition significantly improves the limited context window problem of LLMs by 99.5%. Furthermore, our empirical analysis indicate that with method-level decomposition, each input fragment on average only consumes 5% of the context window, leaving more context space for prompt engineering and the output. Finally, we investigate the effectiveness of a Call Graph (CG) approach for translating very large files when doing method-level program decomposition.


title: How Far Can 100 Samples Go? Unlocking Overall Zero-Shot Multilingual Translation via Tiny Multi-Parallel Data

abstract: Zero-shot translation aims to translate between language pairs not seen during training in Multilingual Machine Translation (MMT) and is largely considered an open problem. A common, albeit resource-consuming, solution is to add as many related translation directions as possible to the training corpus. In this paper, we show that for an English-centric model, surprisingly large zero-shot improvements can be achieved by simply fine-tuning with a very small amount of multi-parallel data. For example, on the EC30 dataset, we obtain up to +21.7 ChrF non-English overall improvements (870 directions) by using only 100 multi-parallel samples while preserving English-centric translation quality. When investigating the size effect of fine-tuning data and its transfer capabilities, we found that already a small, randomly sampled set of fine-tuning directions is sufficient to achieve comparable improvements. The resulting non-English performance is close to the complete translation upper bound. Even in a minimal setting -- fine-tuning with only one single sample -- the well-known off-target issue is almost completely resolved, explaining parts -- but not all -- of the observed improvements in translation quality.


title: Icy Moon Surface Simulation and Stereo Depth Estimation for Sampling Autonomy

abstract: Sampling autonomy for icy moon lander missions requires understanding of topographic and photometric properties of the sampling terrain. Unavailability of high resolution visual datasets (either bird-eye view or point-of-view from a lander) is an obstacle for selection, verification or development of perception systems. We attempt to alleviate this problem by: 1) proposing Graphical Utility for Icy moon Surface Simulations (GUISS) framework, for versatile stereo dataset generation that spans the spectrum of bulk photometric properties, and 2) focusing on a stereo-based visual perception system and evaluating both traditional and deep learning-based algorithms for depth estimation from stereo matching. The surface reflectance properties of icy moon terrains (Enceladus and Europa) are inferred from multispectral datasets of previous missions. With procedural terrain generation and physically valid illumination sources, our framework can fit a wide range of hypotheses with respect to visual representations of icy moon terrains. This is followed by a study over the performance of stereo matching algorithms under different visual hypotheses. Finally, we emphasize the standing challenges to be addressed for simulating perception data assets for icy moons such as Enceladus and Europa. Our code can be found here: https://github.com/nasa-jpl/guiss.


title: On enforcing non-negativity in polynomial approximations in high dimensions

abstract: Polynomial approximations of functions are widely used in scientific computing. In certain applications, it is often desired to require the polynomial approximation to be non-negative (resp. non-positive), or bounded within a given range, due to constraints posed by the underlying physical problems. Efficient numerical methods are thus needed to enforce such conditions. In this paper, we discuss effective numerical algorithms for polynomial approximation under non-negativity constraints. We first formulate the constrained optimization problem, its primal and dual forms, and then discuss efficient first-order convex optimization methods, with a particular focus on high dimensional problems. Numerical examples are provided, for up to $200$ dimensions, to demonstrate the effectiveness and scalability of the methods.


title: Enhancing Reliability of Neural Networks at the Edge: Inverted Normalization with Stochastic Affine Transformations

abstract: Bayesian Neural Networks (BayNNs) naturally provide uncertainty in their predictions, making them a suitable choice in safety-critical applications. Additionally, their realization using memristor-based in-memory computing (IMC) architectures enables them for resource-constrained edge applications. In addition to predictive uncertainty, however, the ability to be inherently robust to noise in computation is also essential to ensure functional safety. In particular, memristor-based IMCs are susceptible to various sources of non-idealities such as manufacturing and runtime variations, drift, and failure, which can significantly reduce inference accuracy. In this paper, we propose a method to inherently enhance the robustness and inference accuracy of BayNNs deployed in IMC architectures. To achieve this, we introduce a novel normalization layer combined with stochastic affine transformations. Empirical results in various benchmark datasets show a graceful degradation in inference accuracy, with an improvement of up to $58.11\%$.


title: On the existence of Monge solutions to multi-marginal optimal transport with quadratic cost and uniform discrete marginals

abstract: A natural and important question in multi-marginal optimal transport is whether the \emph{Monge ansatz} is justified; does there exist a solution of Monge, or deterministic, form? We address this question for the quadratic cost when each marginal measure is $m$-empirical (that is, uniformly supported on $m$ points). By direct computation, we provide an example showing that the ansatz \emph{can fail} when the underlying dimension $d$ is $2$, number of marginals $N$ to be matched is $3$ and the size $m$ of their supports is $3$. As a consequence, the set of $m$-empirical measures is not barycentrically convex when $N \geq 3$, $d \geq 2$ and $m \geq3$. It is a well known consequence of the Birkhoff-von Neumann Theorem that the Monge ansatz holds for $N=2$, standard techniques show it holds when $d=1$, and we provide a simple proof here that \emph{it holds whenever $m=2$}. Therefore, the $N$, $d$ and $m$ in our counterexample are as small as possible.


title: Towards Improved Variational Inference for Deep Bayesian Models

abstract: Deep learning has revolutionized the last decade, being at the forefront of extraordinary advances in a wide range of tasks including computer vision, natural language processing, and reinforcement learning, to name but a few. However, it is well-known that deep models trained via maximum likelihood estimation tend to be overconfident and give poorly-calibrated predictions. Bayesian deep learning attempts to address this by placing priors on the model parameters, which are then combined with a likelihood to perform posterior inference. Unfortunately, for deep models, the true posterior is intractable, forcing the user to resort to approximations. In this thesis, we explore the use of variational inference (VI) as an approximation, as it is unique in simultaneously approximating the posterior and providing a lower bound to the marginal likelihood. If tight enough, this lower bound can be used to optimize hyperparameters and to facilitate model selection. However, this capacity has rarely been used to its full extent for Bayesian neural networks, likely because the approximate posteriors typically used in practice can lack the flexibility to effectively bound the marginal likelihood. We therefore explore three aspects of Bayesian learning for deep models: 1) we ask whether it is necessary to perform inference over as many parameters as possible, or whether it is reasonable to treat many of them as optimizable hyperparameters; 2) we propose a variational posterior that provides a unified view of inference in Bayesian neural networks and deep Gaussian processes; 3) we demonstrate how VI can be improved in certain deep Gaussian process models by analytically removing symmetries from the posterior, and performing inference on Gram matrices instead of features. We hope that our contributions will provide a stepping stone to fully realize the promises of VI in the future.


title: Multi-modal News Understanding with Professionally Labelled Videos (ReutersViLNews)

abstract: While progress has been made in the domain of video-language understanding, current state-of-the-art algorithms are still limited in their ability to understand videos at high levels of abstraction, such as news-oriented videos. Alternatively, humans easily amalgamate information from video and language to infer information beyond what is visually observable in the pixels. An example of this is watching a news story, where the context of the event can play as big of a role in understanding the story as the event itself. Towards a solution for designing this ability in algorithms, we present a large-scale analysis on an in-house dataset collected by the Reuters News Agency, called Reuters Video-Language News (ReutersViLNews) dataset which focuses on high-level video-language understanding with an emphasis on long-form news. The ReutersViLNews Dataset consists of long-form news videos collected and labeled by news industry professionals over several years and contains prominent news reporting from around the world. Each video involves a single story and contains action shots of the actual event, interviews with people associated with the event, footage from nearby areas, and more. ReutersViLNews dataset contains videos from seven subject categories: disaster, finance, entertainment, health, politics, sports, and miscellaneous with annotations from high-level to low-level, title caption, visual video description, high-level story description, keywords, and location. We first present an analysis of the dataset statistics of ReutersViLNews compared to previous datasets. Then we benchmark state-of-the-art approaches for four different video-language tasks. The results suggest that news-oriented videos are a substantial challenge for current video-language understanding algorithms and we conclude by providing future directions in designing approaches to solve the ReutersViLNews dataset.


title: Rank-based estimators of global treatment effects for cluster randomized trials with multiple endpoints

abstract: Cluster randomization trials commonly employ multiple endpoints. When a single summary of treatment effects across endpoints is of primary interest, global hypothesis testing/effect estimation methods represent a common analysis strategy. However, specification of the joint distribution required by these methods is non-trivial, particularly when endpoint properties differ. We develop rank-based interval estimators for a global treatment effect referred to as the "global win probability," or the probability that a treatment individual responds better than a control individual on average. Using endpoint-specific ranks among the combined sample and within each arm, each individual-level observation is converted to a "win fraction" which quantifies the proportion of wins experienced over every observation in the comparison arm. An individual's multiple observations are then replaced by a single "global win fraction," constructed by averaging win fractions across endpoints. A linear mixed model is applied directly to the global win fractions to recover point, variance, and interval estimates of the global win probability adjusted for clustering. Simulation demonstrates our approach performs well concerning coverage and type I error, and methods are easily implemented using standard software. A case study using publicly available data is provided with corresponding R and SAS code.


title: AdaEmbed: Semi-supervised Domain Adaptation in the Embedding Space

abstract: Semi-supervised domain adaptation (SSDA) presents a critical hurdle in computer vision, especially given the frequent scarcity of labeled data in real-world settings. This scarcity often causes foundation models, trained on extensive datasets, to underperform when applied to new domains. AdaEmbed, our newly proposed methodology for SSDA, offers a promising solution to these challenges. Leveraging the potential of unlabeled data, AdaEmbed facilitates the transfer of knowledge from a labeled source domain to an unlabeled target domain by learning a shared embedding space. By generating accurate and uniform pseudo-labels based on the established embedding space, the model overcomes the limitations of conventional SSDA, thus enhancing performance significantly. Our method's effectiveness is validated through extensive experiments on benchmark datasets such as DomainNet, Office-Home, and VisDA-C, where AdaEmbed consistently outperforms all the baselines, setting a new state of the art for SSDA. With its straightforward implementation and high data efficiency, AdaEmbed stands out as a robust and pragmatic solution for real-world scenarios, where labeled data is scarce. To foster further research and application in this area, we are sharing the codebase of our unified framework for semi-supervised domain adaptation.


title: InverseMatrixVT3D: An Efficient Projection Matrix-Based Approach for 3D Occupancy Prediction

abstract: This paper introduces InverseMatrixVT3D, an efficient method for transforming multi-view image features into 3D feature volumes for 3D semantic occupancy prediction. Existing methods for constructing 3D volumes often rely on depth estimation, device-specific operators, or transformer queries, which hinders the widespread adoption of 3D occupancy models. In contrast, our approach leverages two projection matrices to store the static mapping relationships and matrix multiplications to efficiently generate global Bird's Eye View (BEV) features and local 3D feature volumes. Specifically, we achieve this by performing matrix multiplications between multi-view image feature maps and two sparse projection matrices. We introduce a sparse matrix handling technique for the projection matrices to optimize GPU memory usage. Moreover, a global-local attention fusion module is proposed to integrate the global BEV features with the local 3D feature volumes to obtain the final 3D volume. We also employ a multi-scale supervision mechanism to enhance performance further. Extensive experiments performed on the nuScenes and SemanticKITTI datasets reveal that our approach not only stands out for its simplicity and effectiveness but also achieves the top performance in detecting vulnerable road users (VRU), crucial for autonomous driving and road safety. The code has been made available at: https://github.com/DanielMing123/InverseMatrixVT3D


title: Rank, Pack, or Approve: Voting Methods in Participatory Budgeting

abstract: Participatory budgeting is a popular method to engage residents in budgeting decisions by local governments. The Stanford Participatory Budgeting platform is an online platform that has been used to engage residents in more than 150 budgeting processes. We present a data set with anonymized budget opinions from these processes with K-approval, K-ranking or knapsack primary ballots. For a subset of the voters, it includes paired votes with a different elicitation method in the same process. This presents a unique data set, as the voters, projects and setting are all related to real-world decisions that the voters have an actual interest in. With data from primary ballots we find that while ballot complexity (number of projects to choose from, number of projects to select and ballot length) is correlated with a higher median time spent by voters, it is not correlated with a higher abandonment rate. We use vote pairs with different voting methods to analyze the effect of voting methods on the cost of selected projects, more comprehensively than was previously possible. In most elections, voters selected significantly more expensive projects using K-approval than using knapsack, although we also find a small number of examples with a significant effect in the opposite direction. This effect happens at the aggregate level as well as for individual voters, and is influenced both by the implicit constraints of the voting method and the explicit constraints of the voting interface. Finally, we validate the use of K-ranking elicitation to offer a paper alternative for knapsack voting.


title: DALex: Lexicase-like Selection via Diverse Aggregation

abstract: Lexicase selection has been shown to provide advantages over other selection algorithms in several areas of evolutionary computation and machine learning. In its standard form, lexicase selection filters a population or other collection based on randomly ordered training cases that are considered one at a time. This iterated filtering process can be time-consuming, particularly in settings with large numbers of training cases. In this paper, we propose a new method that is nearly equivalent to lexicase selection in terms of the individuals that it selects, but which does so significantly more quickly. The new method, called DALex (for Diversely Aggregated Lexicase), selects the best individual with respect to a weighted sum of training case errors, where the weights are randomly sampled. This allows us to formulate the core computation required for selection as matrix multiplication instead of recursive loops of comparisons, which in turn allows us to take advantage of optimized and parallel algorithms designed for matrix multiplication for speedup. Furthermore, we show that we can interpolate between the behavior of lexicase selection and its "relaxed" variants, such as epsilon or batch lexicase selection, by adjusting a single hyperparameter, named "particularity pressure," which represents the importance granted to each individual training case. Results on program synthesis, deep learning, symbolic regression, and learning classifier systems demonstrate that DALex achieves significant speedups over lexicase selection and its relaxed variants while maintaining almost identical problem-solving performance. Under a fixed computational budget, these savings free up resources that can be directed towards increasing population size or the number of generations, enabling the potential for solving more difficult problems.


title: The Neglected Tails in Vision-Language Models

abstract: Vision-language models (VLMs) excel in zero-shot recognition but their performance varies greatly across different visual concepts. For example, although CLIP achieves impressive accuracy on ImageNet (60-80%), its performance drops below 10% for more than ten concepts like night snake, presumably due to their limited presence in the pretraining data. However, measuring the frequency of concepts in VLMs' large-scale datasets is challenging. We address this by using large language models (LLMs) to count the number of pretraining texts that contain synonyms of these concepts. Our analysis confirms that popular datasets, such as LAION, exhibit a long-tailed concept distribution, yielding biased performance in VLMs. We also find that downstream applications of VLMs, including visual chatbots (e.g., GPT-4V) and text-to-image models (e.g., Stable Diffusion), often fail to recognize or generate images of rare concepts identified by our method. To mitigate the imbalanced performance of zero-shot VLMs, we propose REtrieval-Augmented Learning (REAL). First, instead of prompting VLMs using the original class names, REAL uses their most frequent synonyms found in pretraining texts. This simple change already outperforms costly human-engineered and LLM-enriched prompts over nine benchmark datasets. Second, REAL trains a linear classifier on a small yet balanced set of pretraining data retrieved using concept synonyms. REAL surpasses the previous zero-shot SOTA, using 400x less storage and 10,000x less training time!


title: Pulse Jitter and Single-pulse Variability in Millisecond Pulsars

abstract: Understanding the jitter noise resulting from single-pulse phase and shape variations is important for the detection of gravitational waves using pulsar timing array. We presented measurements of jitter noise and single-pulse variability of 12 millisecond pulsars that are part of the International Pulsar Timing Array sample using the Five-hundred-meter Aperture Spherical radio Telescope (FAST). We found that the levels of jitter noise can vary dramatically among pulsars. A moderate correlation with a correlation coefficient of 0.57 between jitter noise and pulse width is detected. To mitigate jitter noise, we performed matrix template matching using all four Stokes parameters. Our results revealed a reduction in jitter noise ranging from 6.7\% to 39.6\%. By performing longitude-resolved fluctuation spectrum analysis, we identified periodic intensity modulations in 10 pulsars. In PSR J0030+0451, we detected single-pulses with energies more than 10 times the average pulse energy, suggesting the presence of giant pulses. We also observed a periodic mode-changing phenomenon in PSR J0030+0451. We examined the achievable timing precision by selecting a sub-set of pulses with a specific range of peak intensity, but no significant improvement in timing precision is achievable.


title: Order Conditions for Nonlinearly Partitioned Runge-Kutta Methods

abstract: Recently a new class of nonlinearly partitioned Runge-Kutta (NPRK) methods was proposed for nonlinearly partitioned systems of ordinary differential equations, $y' = F(y,y)$. The target class of problems are ones in which different scales, stiffnesses, or physics are coupled in a nonlinear way, wherein the desired partition cannot be written in a classical additive or component-wise fashion. Here we use rooted-tree analysis to derive full order conditions for NPRK$_M$ methods, where $M$ denotes the number of nonlinear partitions. Due to the nonlinear coupling and thereby mixed product differentials, it turns out the standard node-colored rooted-tree analysis used in analyzing ODE integrators does not naturally apply. Instead we develop a new edge-colored rooted-tree framework to address the nonlinear coupling. The resulting order conditions are enumerated, provided directly for up to 4th order with $M=2$ and 3rd-order with $M=3$, and related to existing order conditions of additive and partitioned RK methods.


title: CIM-MLC: A Multi-level Compilation Stack for Computing-In-Memory Accelerators

abstract: In recent years, various computing-in-memory (CIM) processors have been presented, showing superior performance over traditional architectures. To unleash the potential of various CIM architectures, such as device precision, crossbar size, and crossbar number, it is necessary to develop compilation tools that are fully aware of the CIM architectural details and implementation diversity. However, due to the lack of architectural support in current popular open-source compiling stacks, existing CIM designs either manually deploy networks or build their own compilers, which is time-consuming and labor-intensive. Although some works expose the specific CIM device programming interfaces to compilers, they are often bound to a fixed CIM architecture, lacking the flexibility to support the CIM architectures with different computing granularity. On the other hand, existing compilation works usually consider the scheduling of limited operation types (such as crossbar-bound matrix-vector multiplication). Unlike conventional processors, CIM accelerators are featured by their diverse architecture, circuit, and device, which cannot be simply abstracted by a single level if we seek to fully explore the advantages brought by CIM. Therefore, we propose CIM-MLC, a universal multi-level compilation framework for general CIM architectures. We first establish a general hardware abstraction for CIM architectures and computing modes to represent various CIM accelerators. Based on the proposed abstraction, CIM-MLC can compile tasks onto a wide range of CIM accelerators having different devices, architectures, and programming interfaces. More importantly, compared with existing compilation work, CIM-MLC can explore the mapping and scheduling strategies across multiple architectural tiers, which form a tractable yet effective design space, to achieve better scheduling and instruction generation results.


title: A new route to massive hot subdwarfs: common envelope ejection from asymptotic giant branch stars

abstract: The hot subdwarf O/B stars (sdO/Bs) are known as extreme horizontal branch stars, which is of great importance in stellar evolution theory. The sdO/Bs are generally thought to have a helium-burning core and a thin hydrogen envelope $(M_{\rm env }<0.02M_\odot)$. In the canonical binary evolution scenario, sdO/Bs are considered to be the stripped cores of red giants. However, such a scenario cannot explain the recently discovered sdO/B binary, SMSS J1920, where the strong Ca H$\&$K lines in the spectrum are found. It suggests that this binary is likely originated from the recent ejection of common envelope (CE). In this {work}, we proposed a new formation channel of massive sdO/Bs, namely sdO/Bs produced from a CE ejection process with an asymptotic giant branch (AGB) star (hereafter AGB CE channel). We constructed the evolutionary model of sdO/Bs and successfully explained most of the important observed parameters of the sdO/B star in SMSS J1920, including the evolutionary age, sdO/B mass, effective temperature, surface gravity and surface helium abundance. The minimum sdO/B mass produced from the AGB CE channel is about $0.48M_\odot$. The evolutionary tracks in $\log T_{\rm eff}-\log g$ plane {may explain a fraction of the observational samples} with high-$\log T_{\rm eff}$ and low-$\log g$. Considering wind mass-loss of sdO/Bs, the model could produce helium-rich hot subdwarfs with $\log (n_{\rm He}/n_{\rm H})\gtrsim-1$.


title: Enumerating Seating Arrangements that Obey Social Distancing

abstract: We study maximal seating arrangements, either on a line, or in a rectangular auditorium with a fixed number of columns but an arbitrary number of rows, that obey any prescribed set of `social distancing' restrictions. In addition to enumeration, we study the statistical distribution of the density, and give efficient algorithms for generating these at random


title: The shape of the front of multidimensional branching Brownian motion

abstract: We study the shape of the outer envelope of a branching Brownian motion (BBM) in $\mathbb{R}^d$, $d\geq 2$. We focus on the extremal particles: those whose norm is within $O(1)$ of the maximal norm amongst the particles alive at time $t$. Our main result is a scaling limit, with exponent $3/2$, for the outer-envelope of the BBM around each extremal particle (the "front"); the scaling limit is a continuous random surface given explicitly in terms of a Bessel(3) process. Towards this end, we introduce a point process that captures the full landscape around each extremal particle and show convergence in distribution to an explicit point process. This complements the global description of the extremal process given in Berestycki et. al. (Ann. Probab., to appear), where the local behavior at directions transversal to the radial component of the extremal particles is not addressed.


title: Electronic Noise Spectroscopy of Quasi-2D van der Waals Antiferromagnetic Semiconductors

abstract: We investigated low-frequency current fluctuations, i.e. electronic noise, in FePS3 van der Waals, layered antiferromagnetic semiconductor. The noise measurements have been used as noise spectroscopy for advanced materials characterization of the charge carrier dynamics affected by spin ordering and trapping states. Owing to the high resistivity of the material, we conducted measurements on vertical device configuration. The measured noise spectra reveal pronounced Lorentzian peaks of two different origins. One peak is observed only near the Neel temperature and it is attributed to the corresponding magnetic phase transition. The second Lorentzian peak, visible in the entire measured temperature range, has the characteristics of the trap-assisted generation-recombination processes similar to those in conventional semiconductors but shows a clear effect of the spin order reconfiguration near the Neel temperature. The obtained results contribute to understanding the electron and spin dynamics in this type of antiferromagnetic semiconductors and demonstrate the potential of electronic noise spectroscopy for advanced materials characterization.


title: A Novel Garment Transfer Method Supervised by Distilled Knowledge of Virtual Try-on Model

abstract: This paper proposes a novel garment transfer method supervised with knowledge distillation from virtual try-on. Our method first reasons the transfer parsing to provide shape prior to downstream tasks. We employ a multi-phase teaching strategy to supervise the training of the transfer parsing reasoning model, learning the response and feature knowledge from the try-on parsing reasoning model. To correct the teaching error, it transfers the garment back to its owner to absorb the hard knowledge in the self-study phase. Guided by the transfer parsing, we adjust the position of the transferred garment via STN to prevent distortion. Afterward, we estimate a progressive flow to precisely warp the garment with shape and content correspondences. To ensure warping rationality, we supervise the training of the garment warping model using target shape and warping knowledge from virtual try-on. To better preserve body features in the transfer result, we propose a well-designed training strategy for the arm regrowth task to infer new exposure skin. Experiments demonstrate that our method has state-of-the-art performance compared with other virtual try-on and garment transfer methods in garment transfer, especially for preserving garment texture and body features.


title: Efficient near-optimal decoding of the surface code through ensembling

abstract: We introduce harmonization, an ensembling method that combines several "noisy" decoders to generate highly accurate decoding predictions. Harmonized ensembles of MWPM-based decoders achieve lower logical error rates than their individual counterparts on repetition and surface code benchmarks, approaching maximum-likelihood accuracy at large ensemble sizes. We can use the degree of consensus among the ensemble as a confidence measure for a layered decoding scheme, in which a small ensemble flags high-risk cases to be checked by a larger, more accurate ensemble. This layered scheme can realize the accuracy improvements of large ensembles with a relatively small constant factor of computational overhead. We conclude that harmonization provides a viable path towards highly accurate real-time decoding.


title: Quantitative Analysis of Molecular Transport in the Extracellular Space Using Physics-Informed Neural Network

abstract: The brain extracellular space (ECS), an irregular, extremely tortuous nanoscale space located between cells or between cells and blood vessels, is crucial for nerve cell survival. It plays a pivotal role in high-level brain functions such as memory, emotion, and sensation. However, the specific form of molecular transport within the ECS remain elusive. To address this challenge, this paper proposes a novel approach to quantitatively analyze the molecular transport within the ECS by solving an inverse problem derived from the advection-diffusion equation (ADE) using a physics-informed neural network (PINN). PINN provides a streamlined solution to the ADE without the need for intricate mathematical formulations or grid settings. Additionally, the optimization of PINN facilitates the automatic computation of the diffusion coefficient governing long-term molecule transport and the velocity of molecules driven by advection. Consequently, the proposed method allows for the quantitative analysis and identification of the specific pattern of molecular transport within the ECS through the calculation of the Peclet number. Experimental validation on two datasets of magnetic resonance images (MRIs) captured at different time points showcases the effectiveness of the proposed method. Notably, our simulations reveal identical molecular transport patterns between datasets representing rats with tracer injected into the same brain region. These findings highlight the potential of PINN as a promising tool for comprehensively exploring molecular transport within the ECS.


title: Wasserstein Differential Privacy

abstract: Differential privacy (DP) has achieved remarkable results in the field of privacy-preserving machine learning. However, existing DP frameworks do not satisfy all the conditions for becoming metrics, which prevents them from deriving better basic private properties and leads to exaggerated values on privacy budgets. We propose Wasserstein differential privacy (WDP), an alternative DP framework to measure the risk of privacy leakage, which satisfies the properties of symmetry and triangle inequality. We show and prove that WDP has 13 excellent properties, which can be theoretical supports for the better performance of WDP than other DP frameworks. In addition, we derive a general privacy accounting method called Wasserstein accountant, which enables WDP to be applied in stochastic gradient descent (SGD) scenarios containing sub-sampling. Experiments on basic mechanisms, compositions and deep learning show that the privacy budgets obtained by Wasserstein accountant are relatively stable and less influenced by order. Moreover, the overestimation on privacy budgets can be effectively alleviated. The code is available at https://github.com/Hifipsysta/WDP.


title: Convex-Concave Zero-sum Markov Stackelberg Games

abstract: Zero-sum Markov Stackelberg games can be used to model myriad problems, in domains ranging from economics to human robot interaction. In this paper, we develop policy gradient methods that solve these games in continuous state and action settings using noisy gradient estimates computed from observed trajectories of play. When the games are convex-concave, we prove that our algorithms converge to Stackelberg equilibrium in polynomial time. We also show that reach-avoid problems are naturally modeled as convex-concave zero-sum Markov Stackelberg games, and that Stackelberg equilibrium policies are more effective than their Nash counterparts in these problems.


title: Secure Federated Learning Approaches to Diagnosing COVID-19

abstract: The recent pandemic has underscored the importance of accurately diagnosing COVID-19 in hospital settings. A major challenge in this regard is differentiating COVID-19 from other respiratory illnesses based on chest X-rays, compounded by the restrictions of HIPAA compliance which limit the comparison of patient X-rays. This paper introduces a HIPAA-compliant model to aid in the diagnosis of COVID-19, utilizing federated learning. Federated learning is a distributed machine learning approach that allows for algorithm training across multiple decentralized devices using local data samples, without the need for data sharing. Our model advances previous efforts in chest X-ray diagnostic models. We examined leading models from established competitions in this domain and developed our own models tailored to be effective with specific hospital data. Considering the model's operation in a federated learning context, we explored the potential impact of biased data updates on the model's performance. To enhance hospital understanding of the model's decision-making process and to verify that the model is not focusing on irrelevant features, we employed a visualization technique that highlights key features in chest X-rays indicative of a positive COVID-19 diagnosis.


title: MAST: Video Polyp Segmentation with a Mixture-Attention Siamese Transformer

abstract: Accurate segmentation of polyps from colonoscopy videos is of great significance to polyp treatment and early prevention of colorectal cancer. However, it is challenging due to the difficulties associated with modelling long-range spatio-temporal relationships within a colonoscopy video. In this paper, we address this challenging task with a novel Mixture-Attention Siamese Transformer (MAST), which explicitly models the long-range spatio-temporal relationships with a mixture-attention mechanism for accurate polyp segmentation. Specifically, we first construct a Siamese transformer architecture to jointly encode paired video frames for their feature representations. We then design a mixture-attention module to exploit the intra-frame and inter-frame correlations, enhancing the features with rich spatio-temporal relationships. Finally, the enhanced features are fed to two parallel decoders for predicting the segmentation maps. To the best of our knowledge, our MAST is the first transformer model dedicated to video polyp segmentation. Extensive experiments on the large-scale SUN-SEG benchmark demonstrate the superior performance of MAST in comparison with the cutting-edge competitors. Our code is publicly available at https://github.com/Junqing-Yang/MAST.


title: Post-Training Embedding Alignment for Decoupling Enrollment and Runtime Speaker Recognition Models

abstract: Automated speaker identification (SID) is a crucial step for the personalization of a wide range of speech-enabled services. Typical SID systems use a symmetric enrollment-verification framework with a single model to derive embeddings both offline for voice profiles extracted from enrollment utterances, and online from runtime utterances. Due to the distinct circumstances of enrollment and runtime, such as different computation and latency constraints, several applications would benefit from an asymmetric enrollment-verification framework that uses different models for enrollment and runtime embedding generation. To support this asymmetric SID where each of the two models can be updated independently, we propose using a lightweight neural network to map the embeddings from the two independent models to a shared speaker embedding space. Our results show that this approach significantly outperforms cosine scoring in a shared speaker logit space for models that were trained with a contrastive loss on large datasets with many speaker identities. This proposed Neural Embedding Speaker Space Alignment (NESSA) combined with an asymmetric update of only one of the models delivers at least 60% of the performance gain achieved by updating both models in the standard symmetric SID approach.


title: Threading an atom with light

abstract: We propose a ponderomotive trapping mechanism for circular Rydberg atoms that consists in threading the Rydberg orbital with a tightly focused Gaussian laser beam. The trap exhibits remarkable properties: it can be made effectively linear, extremely nonlinear, or have the same trapping frequency, depth, or nonlinearity for distant Rydberg states. The mechanism is capable of trapping efficiently highly excited Rydberg states with a single active electron, as well as ground state atoms using a single beam. Alternatively, the Rydberg atom can be trapped efficiently by the same beam used to excite it, relaxing optical constraints in well-shielded environments.


title: Scale Invariant Extension of the Standard Model: A Nightmare Scenario in Cosmology

abstract: Inflationary observables of a classically scale invariant model, in which the origin of the Planck mass and the electroweak scale including the right-handed neutrino mass is chiral symmetry breaking in a QCD-like hidden sector, are studied. Despite a three-field inflation the initial-value-dependence is strongly suppressed thanks to a river-valley like potential. The model predicts the tensor-to-scalar ratio $r$ of cosmological perturbations smaller than that of the $R^2$ inflation, i.e., $ 0.0044 \gsim r \gsim 0.0017$ for e-foldings between $50$ and $60$: The model will be consistent even with a null detection at LiteBird/CMB-S4. We find that the non-Gaussianity parameter $f_{NL}$ is $O(10^{-2})$, the same size as that of single-field inflation. The dark matter particles are the lightest Nambu-Goldstone bosons associated with chiral symmetry breaking, which are decay products of one of the inflatons and are heavier than $10^9$ GeV with a strongly suppressed coupling with the standard model, implying that the dark matter will be unobservable in direct as well as indirect measurements.


title: Patch2QL: Discover Cognate Defects in Open Source Software Supply Chain With Auto-generated Static Analysis Rules

abstract: In the open source software (OSS) ecosystem, there exists a complex software supply chain, where developers upstream and downstream widely borrow and reuse code. This results in the widespread occurrence of recurring defects, missing fixes, and propagation issues. These are collectively referred to as cognate defects, and their scale and threats have not received extensive attention and systematic research. Software composition analysis and code clone detection methods are unable to cover the various variant issues in the supply chain scenario, while code static analysis, or static application security testing (SAST) techniques struggle to target specific defects. In this paper, we propose a novel technique for detecting cognate defects in OSS through the automatic generation of SAST rules. Specifically, it extracts key syntax and semantic information from pre- and post-patch versions of code through structural comparison and control flow to data flow analysis, and generates rules that matches these key elements. We have implemented a prototype tool called Patch2QL and applied it to fundamental OSS in C/C++. In experiments, we discovered 7 new vulnerabilities with medium to critical severity in the most popular upstream software, as well as numerous potential security issues. When analyzing downstream projects in the supply chain, we found a significant number of representative cognate defects, clarifying the threat posed by this issue. Additionally, compared to general-purpose SAST and signature-based mechanisms, the generated rules perform better at discover all variants of cognate defects.


title: On the atomicity of power monoids of Puiseux monoids

abstract: A submonoid of the additive group $\mathbb{Q}$ is called a Puiseux monoid if it consists of nonnegative rationals. Given a monoid $M$, the set consisting of all nonempty finite subsets of $M$ is also a monoid under the Minkowski sum, and it is called the (finitary) power monoid of $M$. In this paper we study atomicity and factorization properties in power monoids of Puiseux monoids. We specially focus on the ascent of the property of being atomic and both the bounded and the finite factorization properties (the ascending chain on principal ideals and the length-finite factorization properties are also considered here). We prove that both the bounded and the finite factorization properties ascend from any Puiseux monoid to its power monoid. On the other hand, we construct an atomic Puiseux monoid whose power monoid is not atomic. We also prove that the existence of maximal common divisors for nonempty finite subsets is a sufficient condition for the property of being atomic to ascend from a Puiseux monoid to its power monoid.