title: Efficient Model Personalization in Federated Learning via Client-Specific Prompt Generation

abstract: Federated learning (FL) emerges as a decentralized learning framework which trains models from multiple distributed clients without sharing their data to preserve privacy. Recently, large-scale pre-trained models (e.g., Vision Transformer) have shown a strong capability of deriving robust representations. However, the data heterogeneity among clients, the limited computation resources, and the communication bandwidth restrict the deployment of large-scale models in FL frameworks. To leverage robust representations from large-scale models while enabling efficient model personalization for heterogeneous clients, we propose a novel personalized FL framework of client-specific Prompt Generation (pFedPG), which learns to deploy a personalized prompt generator at the server for producing client-specific visual prompts that efficiently adapts frozen backbones to local data distributions. Our proposed framework jointly optimizes the stages of personalized prompt adaptation locally and personalized prompt generation globally. The former aims to train visual prompts that adapt foundation models to each client, while the latter observes local optimization directions to generate personalized prompts for all clients. Through extensive experiments on benchmark datasets, we show that our pFedPG is favorable against state-of-the-art personalized FL methods under various types of data heterogeneity, allowing computation and communication efficient model personalization.


title: RED: A Systematic Real-Time Scheduling Approach for Robotic Environmental Dynamics

abstract: Intelligent robots are designed to effectively navigate dynamic and unpredictable environments laden with moving mechanical elements and objects. Such environment-induced dynamics, including moving obstacles, can readily alter the computational demand (e.g., the creation of new tasks) and the structure of workloads (e.g., precedence constraints among tasks) during runtime, thereby adversely affecting overall system performance. This challenge is amplified when multi-task inference is expected on robots operating under stringent resource and real-time constraints. To address such a challenge, we introduce RED, a systematic real-time scheduling approach designed to support multi-task deep neural network workloads in resource-limited robotic systems. It is designed to adaptively manage the Robotic Environmental Dynamics (RED) while adhering to real-time constraints. At the core of RED lies a deadline-based scheduler that employs an intermediate deadline assignment policy, effectively managing to change workloads and asynchronous inference prompted by complex, unpredictable environments. This scheduling framework also facilitates the flexible deployment of MIMONet (multi-input multi-output neural networks), which are commonly utilized in multi-tasking robotic systems to circumvent memory bottlenecks. Building on this scheduling framework, RED recognizes and leverages a unique characteristic of MIMONet: its weight-shared architecture. To further accommodate and exploit this feature, RED devises a novel and effective workload refinement and reconstruction process. This process ensures the scheduling framework's compatibility with MIMONet and maximizes efficiency.


title: Two Hundred Years After Hamilton: The Simple Axiom That Underlies Classical Mechanics

abstract: In 1834-1835, Hamilton published two papers that revolutionized classical mechanics. In these papers, he introduced the Hamilton-Jacobi equation, Hamilton's equations of motion and the principle of least action. These three formulations of classical mechanics became the forerunners of quantum mechanics, but none of these is what Hamilton was looking for: he was looking for what he called the principal function, $S(q',q'',T)$, from which the entire trajectory history can be obtained just by differentiation. Here we show that all of Hamilton's formulations can be derived just by assuming that the principal function is additive, $S(q',q'',T)=S(q',Q,t_1)+S(Q,q'',t_2)$ with $t_1+t_2=T$. This simple additivity axiom can be considered the fundamental principle of classical mechanics and shows that analytical mechanics is essentially just a footnote to the problem of finding the shortest path between two points. The simplicity of the formulation could provide new perspectives on some of the major themes in classical mechanics including symplectic geometry, periodic orbit theory and Morse theory, as well as giving new perspectives on quantum mechanics. Moreover, it could potentially provide a unified description of different areas of physics, leading to insight for example, into the transition from deterministic dynamics to statistical mechanics.


title: Multi-Response Heteroscedastic Gaussian Process Models and Their Inference

abstract: Despite the widespread utilization of Gaussian process models for versatile nonparametric modeling, they exhibit limitations in effectively capturing abrupt changes in function smoothness and accommodating relationships with heteroscedastic errors. Addressing these shortcomings, the heteroscedastic Gaussian process (HeGP) regression seeks to introduce flexibility by acknowledging the variability of residual variances across covariates in the regression model. In this work, we extend the HeGP concept, expanding its scope beyond regression tasks to encompass classification and state-space models. To achieve this, we propose a novel framework where the Gaussian process is coupled with a covariate-induced precision matrix process, adopting a mixture formulation. This approach enables the modeling of heteroscedastic covariance functions across covariates. To mitigate the computational challenges posed by sampling, we employ variational inference to approximate the posterior and facilitate posterior predictive modeling. Additionally, our training process leverages an EM algorithm featuring closed-form M-step updates to efficiently evaluate the heteroscedastic covariance function. A notable feature of our model is its consistent performance on multivariate responses, accommodating various types (continuous or categorical) seamlessly. Through a combination of simulations and real-world applications in climatology, we illustrate the model's prowess and advantages. By overcoming the limitations of traditional Gaussian process models, our proposed framework offers a robust and versatile tool for a wide array of applications.


title: Influence of dark matter equation of state on the axial gravitational ringing of supermassive black holes

abstract: In this work, we explore the effects of surrounding dark matter featuring different equations of state on the axial gravitational quasinormal modes of supermassive black holes situated at the center of galaxies. Our attention primarily rests on dark matter exhibiting a spike structure, originating from relativistic Bondi accretion through an adiabatic process, which diminishes at a certain distance from the black hole. We analyze how varying the equation of state of the dark matter influences the properties of the spacetime in the black hole's vicinity. Our findings reveal that different states of dark matter spikes correspondingly affect the black hole's quasinormal modes. In particular, we identify deviations in both the ringing frequency and damping time, reaching magnitudes of up to $10^{-3}$ for certain parameter values. These variations can potentially be detected by upcoming space-borne detectors. Our findings thus indicate the feasibility of discerning and limiting the essential properties of dark matter surrounding supermassive black holes using future gravitational wave detections, particularly in the case of extreme mass ratio inspiral systems.


title: Theory of Fractionally-magnetized Quantum Ferromagnet

abstract: We present a theory to realize entangled quantum spin states with fractional magnetization. The origin of magnetization reduction is partly emergent antiferromagnetism, that is, spin-liquefaction of ferromagnetism. We study a ferromagnetic bilinear coupling region of the spin-$S$ $({\geqq} 1)$ bilinear-biquadratic spin chain based on (i) a rigorous eigenstate correspondence between the spin-$S$ model and spin-$\frac12$ model and (ii) a numerical exact-diagonalization calculation up to $S=3$. As a result, we obtain a fractional magnetized $M=1-1/(2S)$ phase, where ground states have quantum entanglement-reflecting corresponding spin-$\frac12$ antiferromagnetic ground states in a ferromagnetic background. This spin-liquefaction theory of ferromagnets can be generalized to any-dimensional lattices even under a magnetic field. This fractional ferromagnetism opens the new research field of quantum ferromagnets.


title: High Energy Physics in Africa, Latin America and other developing regions

abstract: We summarize the current status of high energy physics (HEP) in Africa, Latin America, and other developing regions


title: Relativistic and Spin-Orbit Dynamics at Non-Relativistic Intensities in Strong-Field Ionization

abstract: Spin-orbit dynamics and relativistic corrections to the kinetic energy in strong-field dynamics, have long been ignored for near- and mid-IR fields with intensities $10^{13}$--$10^{14}$ W/cm$^2$, as the final photoelectron energies are considered too low for these effects to play a role. However, using a precise and flexible path-integral formalism, we include all correction terms from the fine-structure, Breit-Pauli Hamiltonian. This enables a treatment of spin, through coherent spin-states, which is the first model to use this approach in strong-field physics. We are able to show that the most energetically rescattered wavepackets, undergo huge momentum transfer and briefly reach relativistic velocities, which warrants relativistic kinetic energy corrections. We probe these effects and show that they yield notable differences for a $1600$ nm wavelength laser field on the dynamics and the photoelectron spectra. Furthermore, we find that the dynamical spin-orbit coupling is strongly overestimated if relativistic corrections to kinetic energy are not considered. Finally, we derive a new condition that demonstrates that relativistic effects begin to play a role at intensities orders of magnitude lower than expected. Our findings may have important implication for imaging processes such as laser-induced electron diffraction, which includes high-energy photoelectron recollisions.


title: A Reduced-Order Model for Nonlinear Radiative Transfer Problems Based on Moment Equations and POD-Petrov-Galerkin Projection of the Normalized Boltzmann Transport Equation

abstract: A data-driven projection-based reduced-order model (ROM) for nonlinear thermal radiative transfer (TRT) problems is presented. The TRT ROM is formulated by (i) a hierarchy of low-order quasidiffusion (aka variable Eddington factor) equations for moments of the radiation intensity and (ii) the normalized Boltzmann transport equation (BTE). The multilevel system of moment equations is derived by projection of the BTE onto a sequence of subspaces which represent elements of the phase space of the problem. Exact closure for the moment equations is provided by the Eddington tensor. A Petrov-Galerkin (PG) projection of the normalized BTE is formulated using a proper orthogonal decomposition (POD) basis representing the normalized radiation intensity over the whole phase space and time. The Eddington tensor linearly depends on the solution of the normalized BTE. By linear superposition of the POD basis functions, a low-rank expansion of the Eddington tensor is constructed with coefficients defined by the PG projected normalized BTE. The material energy balance (MEB) equation is coupled with the effective grey low-order equations which exist on the same dimensional scale as the MEB equation. The resulting TRT ROM is structure and asymptotic preserving. A detailed analysis of the ROM is performed on the classical Fleck-Cummings (F-C) TRT multigroup test problem in 2D geometry. Numerical results are presented to demonstrate the ROM's effectiveness in the simulation of radiation wave phenomena. The ROM is shown to produce solutions with sufficiently high accuracy while using low-rank approximation of the normalized BTE solution. Essential physical characteristics of supersonic radiation wave are preserved in the ROM solutions.


title: Isoperimetry in Finitely Generated Groups

abstract: We revisit the isoperimetric inequalities for finitely generated groups introduced and studied by N. Varopoulos, T. Coulhon and L. Saloff-Coste. Namely we show that a lower bound on the isoperimetric quotient of finite subsets in a finitely generated group is given by the $\U-$transform of its growth function, which is a variant of the Legendre transform. From this lower bound, we obtain some asymptotic estimates for the F{\o}lner function of the group. The paper also includes a discussion of some basic definitions from Geometric Group Theory and some basic properties of the $\U$-transform, including some computational techniques and its relation with the Legendre transform.


title: Unraveling anomalies in Deeply Virtual Compton Scattering

abstract: We calculate the one-loop quark box diagrams relevant to polarized and unpolarized Deeply Virtual Compton Scattering by introducing an off-forward momentum $l^\mu$ as an infrared regulator. This regularization approach allows us to reveal the poles associated with the chiral anomaly in the polarized scenario, as well as the trace anomaly in the unpolarized case. We provide an interpretation of our findings in the context of pertinent Generalized Parton Distributions (GPDs). Furthermore, we discuss the implications of these poles on the QCD factorization pertaining to Compton amplitudes.


title: On the Robustness of Object Detection Models in Aerial Images

abstract: The robustness of object detection models is a major concern when applied to real-world scenarios. However, the performance of most object detection models degrades when applied to images subjected to corruptions, since they are usually trained and evaluated on clean datasets. Enhancing the robustness of object detection models is of utmost importance, especially for those designed for aerial images, which feature complex backgrounds, substantial variations in scales and orientations of objects. This paper addresses the challenge of assessing the robustness of object detection models in aerial images, with a specific emphasis on scenarios where images are affected by clouds. In this study, we introduce two novel benchmarks based on DOTA-v1.0. The first benchmark encompasses 19 prevalent corruptions, while the second focuses on cloud-corrupted images-a phenomenon uncommon in natural pictures yet frequent in aerial photography. We systematically evaluate the robustness of mainstream object detection models and perform numerous ablation experiments. Through our investigations, we find that enhanced model architectures, larger networks, well-crafted modules, and judicious data augmentation strategies collectively enhance the robustness of aerial object detection models. The benchmarks we propose and our comprehensive experimental analyses can facilitate research on robust object detection in aerial images. Codes and datasets are available at: (https://github.com/hehaodong530/DOTA-C)


title: Multiterminal Nonreciprocal Routing in an Optomechanical Plaquette via Synthetic Magnetism

abstract: Optomechanical systems with parametric coupling between optical (photon) and mechanical (phonon) modes provide a useful platform to realize various magnetic-free nonreciprocal devices, such as isolators, circulators, and directional amplifiers. However, nonreciprocal router with multiaccess channels has not been extensively studied yet. Here, we propose a nonreciprocal router with one transmitter, one receiver, and two output terminals, based on an optomechanical plaquette composing of two optical modes and two mechanical modes. The time-reversal symmetry of the system is broken via synthetic magnetism induced by driving the two optical modes with phase-correlated laser fields. The prerequisites for nonreciprocal routing are obtained both analytically and numerically, and the robustness of the nonreciprocity is demonstrated numerically. Multi-terminal nonreciprocal router in optomechanical plaquette provides a useful quantum node for development of quantum network information security and realization of quantum secure communication.


title: Non-thermal WIMP Production from Higher Order Moduli Decay

abstract: In a non-standard cosmological scenario, heavy, long-lived particles, which we call moduli, dominate the energy density prior to Big Bang Nucleosynthesis. Weakly Interacting Massive Particles (WIMPs) may be produced non-thermally from moduli decays. The final relic abundance then depends on additional parameters such as the branching ratio of moduli to WIMPs and the modulus mass. This is of interest for WIMP candidates, such as a bino-like neutralino, where thermal production in standard cosmology leads to an overdensity. Previous works have shown that the correct dark matter (DM) relic density can then still be obtained if the moduli, with mass less than $10^{7}$ GeV, decay to WIMPs with a branching ratio of less than $10^{-4}$. This upper bound could easily be violated once higher order corrections, involving final states with more than two particles, are included. We compute the branching ratios of three- and four-body decays of a modulus into final states involving two DM particles for general couplings. We then apply these expressions to sparticle production within the Minimal Supersymmetric Standard Model (MSSM) with neutralino DM. We find that this upper bound on the branching ratio can be satisfied in simplified models through an appropriate choice of as yet undetermined couplings. However, in the MSSM, it requires sparticle masses to be very close to half the modulus mass, in contrast to the idea of weak-scale supersymmetry.


title: A search for pulsars around Sgr A* in the first Event Horizon Telescope dataset

abstract: The Event Horizon Telescope (EHT) observed in 2017 the supermassive black hole at the center of the Milky Way, Sagittarius A* (Sgr A*), at a frequency of 228.1 GHz ($\lambda$=1.3 mm). The fundamental physics tests that even a single pulsar orbiting Sgr A* would enable motivate searching for pulsars in EHT datasets. The high observing frequency means that pulsars - which typically exhibit steep emission spectra - are expected to be very faint. However, it also negates pulse scattering, an effect that could hinder pulsar detections in the Galactic Center. Additionally, magnetars or a secondary inverse Compton emission could be stronger at millimeter wavelengths than at lower frequencies. We present a search for pulsars close to Sgr A* using the data from the three most-sensitive stations in the EHT 2017 campaign: the Atacama Large Millimeter/submillimeter Array, the Large Millimeter Telescope and the IRAM 30 m Telescope. We apply three detection methods based on Fourier-domain analysis, the Fast-Folding-Algorithm and single pulse search targeting both pulsars and burst-like transient emission; using the simultaneity of the observations to confirm potential candidates. No new pulsars or significant bursts were found. Being the first pulsar search ever carried out at such high radio frequencies, we detail our analysis methods and give a detailed estimation of the sensitivity of the search. We conclude that the EHT 2017 observations are only sensitive to a small fraction ($\lesssim$2.2%) of the pulsars that may exist close to Sgr A*, motivating further searches for fainter pulsars in the region.


title: Third order QCD predictions for fiducial W-boson production

abstract: Measurements of W-boson production at the LHC have reached percent-level precision and impose challenging demands on theoretical predictions. Such predictions directly limit the precision of measurements of fundamental quantities such as the W-boson mass and the weak mixing angle. A dominant source of uncertainty in predictions is from higher-order QCD effects. We present a calculation of W-boson production at the level of $\alpha_s^3$ at fixed order and including transverse-momentum resummation. We further show predictions for a direct comparison with low-pileup ATLAS transverse-momentum and fiducial cross-section measurements at $\sqrt{s}=5.02\text{ TeV}$. We discuss in detail the impact of modern PDFs. Our calculation including the matching to W+jet production at NNLO will be publicly available the upcoming CuTe-MCFM release and allows for theory-data comparison at the state-of-the-art level.


title: Obstructions to topological relaxation for generic magnetic fields

abstract: For any axisymmetric toroidal domain $\Omega \subset \mathbf{R}^3$ we prove that there is a locally generic set of divergence-free vector fields that are not topologically equivalent to any magnetohydrostatic (MHS) equilibrium in $\Omega$. Each vector field in this set is Morse-Smale on the boundary, does not admit a nonconstant first integral, and exhibits fast growth of periodic orbits; in particular this set is residual in the Newhouse domain. The key dynamical idea behind this result is that a vector field with a dense set of nondegenerate periodic orbits cannot be topologically equivalent to a generic MHS equilibrium. On the analytic side, this geometric obstruction is implemented by means of a novel rigidity theorem for the relaxation of generic magnetic fields with a suitably complex orbit structure.


title: Hedging Forecast Combinations With an Application to the Random Forest

abstract: This papers proposes a generic, high-level methodology for generating forecast combinations that would deliver the optimal linearly combined forecast in terms of the mean-squared forecast error if one had access to two population quantities: the mean vector and the covariance matrix of the vector of individual forecast errors. We point out that this problem is identical to a mean-variance portfolio construction problem, in which portfolio weights correspond to forecast combination weights. We allow negative forecast weights and interpret such weights as hedging over and under estimation risks across estimators. This interpretation follows directly as an implication of the portfolio analogy. We demonstrate our method's improved out-of-sample performance relative to standard methods in combining tree forecasts to form weighted random forests in 14 data sets.


title: Double Forms, Curvature Integrals and the Gauss-Bonnet Formula

abstract: The Gauss-Bonnet Formula is a significant achievement in 19th century differential geometry for the case of surfaces and the 20th century cumulative work of H. Hopf, W. Fenchel, C. B. Allendoerfer, A. Weil and S.S. Chern for higher-dimensional Riemannian manifolds. It relates the Euler characteristic of a Riemannian manifold to a curvature integral over the manifold plus a somewhat enigmatic boundary term. In this paper, we revisit the formula using the formalism of double forms, a tool introduced by de Rham, and further developed by Kulkarni, Thorpe, and Gray. We explore the geometric nature of the boundary term and provide some examples and applications.


title: Shape-Margin Knowledge Augmented Network for Thyroid Nodule Segmentation and Diagnosis

abstract: Thyroid nodule segmentation is a crucial step in the diagnostic procedure of physicians and computer-aided diagnosis systems. Mostly, current studies treat segmentation and diagnosis as independent tasks without considering the correlation between these tasks. The sequence steps of these independent tasks in computer-aided diagnosis systems may lead to the accumulation of errors. Therefore, it is worth combining them as a whole through exploring the relationship between thyroid nodule segmentation and diagnosis. According to the thyroid imaging reporting and data system (TI-RADS), the assessment of shape and margin characteristics is the prerequisite for the discrimination of benign and malignant thyroid nodules. These characteristics can be observed in the thyroid nodule segmentation masks. Inspired by the diagnostic procedure of TI-RADS, this paper proposes a shape-margin knowledge augmented network (SkaNet) for simultaneously thyroid nodule segmentation and diagnosis. Due to the similarity in visual features between segmentation and diagnosis, SkaNet shares visual features in the feature extraction stage and then utilizes a dual-branch architecture to perform thyroid nodule segmentation and diagnosis tasks simultaneously. To enhance effective discriminative features, an exponential mixture module is devised, which incorporates convolutional feature maps and self-attention maps by exponential weighting. Then, SkaNet is jointly optimized by a knowledge augmented multi-task loss function with a constraint penalty term. It embeds shape and margin characteristics through numerical computation and models the relationship between the thyroid nodule diagnosis results and segmentation masks.


title: The power of many colours

abstract: A classical problem, due to Gerencs\'er and Gy\'arf\'as from 1967, asks how large a monochromatic connected component can we guarantee in any $r$-edge colouring of $K_n$? We consider how big a connected component can we guarantee in any $r$-edge colouring of $K_n$ if we allow ourselves to use up to $s$ colours. This is actually an instance of a more general question of Bollob\'as from about 20 years ago which asks for a $k$-connected subgraph in the same setting. We complete the picture in terms of the approximate behaviour of the answer by determining it up to a logarithmic term, provided $n$ is large enough. We obtain more precise results for certain regimes which solve a problem of Liu, Morris and Prince from 2007, as well as disprove a conjecture they pose in a strong form. We also consider a generalisation in a similar direction of a question first considered by Erd\H{o}s and R\'enyi in 1956, who considered given $n$ and $m$, what is the smallest number of $m$-cliques which can cover all edges of $K_n$? This problem is essentially equivalent to the question of what is the minimum number of vertices that are certain to be incident to at least one edge of some colour in any $r$-edge colouring of $K_n$. We consider what happens if we allow ourselves to use up to $s$ colours. We obtain a more complete understanding of the answer to this question for large $n$, in particular determining it up to a constant factor for all $1\le s \le r$, as well as obtaining much more precise results for various ranges including the correct asymptotics for essentially the whole range.


title: Are there any extragalactic high speed dark matter particles in the Solar neighborhood?

abstract: We use the APOSTLE suite of cosmological hydrodynamical simulations of the Local Group to examine the high speed tail of the local dark matter velocity distribution in simulated Milky Way analogues. The velocity distribution in the Solar neighborhood is well approximated by a generalized Maxwellian distribution sharply truncated at a well-defined maximum ``escape" speed. The truncated generalized Maxwellian distribution accurately models the local dark matter velocity distribution of all our Milky Way analogues, with no evidence for any separate extragalactic high-speed components. The local maximum speed is well approximated by the terminal velocity expected for particles able to reach the Solar neighborhood in a Hubble time from the farthest confines of the Local Group. This timing constraint means that the local dark matter velocity distribution is unlikely to contain any high-speed particles contributed by the Virgo Supercluster ``envelope", as argued in recent works. Particles in the Solar neighborhood with speeds close to the local maximum speed can reach well outside the virial radius of the Galaxy, and, in that sense, belong to the Local Group envelope posited in earlier work. The local manifestation of such envelope is thus not a distinct high-speed component, but rather simply the high-speed tail of the truncated Maxwellian distribution.


title: Progress on the Kretschmann-Schlingemann-Werner Conjecture

abstract: Given any pair of quantum channels $\Phi_1,\Phi_2$ such that at least one of them has Kraus rank one, as well as any respective Stinespring isometries $V_1,V_2$, we prove that there exists a unitary $U$ on the environment such that $\|V_1-({\bf1}\otimes U)V_2\|_\infty\leq\sqrt{2\|\Phi_1-\Phi_2\|_\diamond}$. Moreover, we provide a simple example which shows that the factor $\sqrt2$ on the right-hand side is optimal, and we conjecture that this inequality holds for every pair of channels.


title: Bayesian Integration of Information Using Top-Down Modulated WTA Networks

abstract: Winner Take All (WTA) circuits a type of Spiking Neural Networks (SNN) have been suggested as facilitating the brain's ability to process information in a Bayesian manner. Research has shown that WTA circuits are capable of approximating hierarchical Bayesian models via Expectation Maximization (EM). So far, research in this direction has focused on bottom up processes. This is contrary to neuroscientific evidence that shows that, besides bottom up processes, top down processes too play a key role in information processing by the human brain. Several functions ascribed to top down processes include direction of attention, adjusting for expectations, facilitation of encoding and recall of learned information, and imagery. This paper explores whether WTA circuits are suitable for further integrating information represented in separate WTA networks. Furthermore, it explores whether, and under what circumstances, top down processes can improve WTA network performance with respect to inference and learning. The results show that WTA circuits are capable of integrating the probabilistic information represented by other WTA networks, and that top down processes can improve a WTA network's inference and learning performance. Notably, it is able to do this according to key neuromorphic principles, making it ideal for low-latency and energy efficient implementation on neuromorphic hardware.


title: Entanglement Verification with Deep Semi-supervised Machine Learning

abstract: Quantum entanglement lies at the heart in quantum information processing tasks. Although many criteria have been proposed, efficient and scalable methods to detect the entanglement of generally given quantum states are still not available yet, particularly for high-dimensional and multipartite quantum systems. Based on FixMatch and Pseudo-Label method, we propose a deep semi-supervised learning model with a small portion of labeled data and a large portion of unlabeled data. The data augmentation strategies are applied in this model by using the convexity of separable states and performing local unitary operations on the training data. We verify that our model has good generalization ability and gives rise to better accuracies compared to traditional supervised learning models by detailed examples.


title: Revealing quasi-excitations in the low-density homogeneous electron gas with model exchange-correlation kernels

abstract: Time-dependent density functional theory (TDDFT) within the linear response regime provides a solid mathematical framework to capture excitations. The accuracy of the theory, however, largely depends on the approximations for the exchange-correlation (xc) kernels. Away from the long-wavelength (or $q=0$ short wave-vector) and zero-frequency ($\omega=0$) limit, the correlation contribution to the kernel becomes more relevant and dominant over exchange. The dielectric function in principle can encompass xc effects relevant to describe low-density physics. Furthermore, besides collective plasmon excitations, the dielectric function can reveal collective electron-hole excitations, often dubbed ``ghost excitons.'' Beside collective excitons, the physics in the low-density regime is rich, as exemplified by a static charge-density wave that was recently found for $r_\mathrm{s} > 69$, and was shown to be associated with softening of the plasmon mode. These excitations are seen to be present in much higher density 2D HEGs, of $r_\mathrm{s} \geq 4$. In this work we perform a thorough analysis with xc model kernels for excitations of various nature. The uniform electron gas as a useful model of real metallic systems is used as a platform of our analysis. We highlight the relevance of exact constraints as we display and explain screening and excitations in the low-density region.


title: Shape coexistence in even-even nuclei: A theoretical overview

abstract: The last decade has seen a rapid growth of our understanding of the microscopic origins of shape coexistence, assisted by the new data provided by the modern radioactive ion beam facilities built worldwide. Islands of the nuclear chart in which shape coexistence can occur have been identified, and the different microscopic particle-hole excitation mechanisms leading to neutron-induced or proton-induced shape coexistence have been clarified. The relation of shape coexistence to the islands of inversion, appearing in light nuclei, to the new spin-aligned phase appearing in N=Z nuclei, as well as to shape/phase transitions occurring in medium mass and heavy nuclei, has been understood. In the present review, these developments are considered within the shell model and mean field approaches, as well as by symmetry methods. In addition, based on systematics of data, as well as on symmetry considerations, quantitative rules are developed, predicting regions in which shape coexistence can appear, as a possible guide for further experimental efforts, which can help in improving our understanding of the details of the nucleon-nucleon interaction, as well as of its modifications occurring far from stability.


title: Decentralized Multi-agent Reinforcement Learning based State-of-Charge Balancing Strategy for Distributed Energy Storage System

abstract: This paper develops a Decentralized Multi-Agent Reinforcement Learning (Dec-MARL) method to solve the SoC balancing problem in the distributed energy storage system (DESS). First, the SoC balancing problem is formulated into a finite Markov decision process with action constraints derived from demand balance, which can be solved by Dec-MARL. Specifically, the first-order average consensus algorithm is utilized to expand the observations of the DESS state in a fully-decentralized way, and the initial actions (i.e., output power) are decided by the agents (i.e., energy storage units) according to these observations. In order to get the final actions in the allowable range, a counterfactual demand balance algorithm is proposed to balance the total demand and the initial actions. Next, the agents execute the final actions and get local rewards from the environment, and the DESS steps into the next state. Finally, through the first-order average consensus algorithm, the agents get the average reward and the expended observation of the next state for later training. By the above procedure, Dec-MARL reveals outstanding performance in a fully-decentralized system without any expert experience or constructing any complicated model. Besides, it is flexible and can be extended to other decentralized multi-agent systems straightforwardly. Extensive simulations have validated the effectiveness and efficiency of Dec-MARL.


title: The CausalBench challenge: A machine learning contest for gene network inference from single-cell perturbation data

abstract: In drug discovery, mapping interactions between genes within cellular systems is a crucial early step. This helps formulate hypotheses regarding molecular mechanisms that could potentially be targeted by future medicines. The CausalBench Challenge was an initiative to invite the machine learning community to advance the state of the art in constructing gene-gene interaction networks. These networks, derived from large-scale, real-world datasets of single cells under various perturbations, are crucial for understanding the causal mechanisms underlying disease biology. Using the framework provided by the CausalBench benchmark, participants were tasked with enhancing the capacity of the state of the art methods to leverage large-scale genetic perturbation data. This report provides an analysis and summary of the methods submitted during the challenge to give a partial image of the state of the art at the time of the challenge. The winning solutions significantly improved performance compared to previous baselines, establishing a new state of the art for this critical task in biology and medicine.


title: Layer-dependent magnetism and spin fluctuations in atomically thin van der Waals magnet CrPS4

abstract: van der Waals (vdW) magnets, an emerging family of two-dimensional (2D) materials, have received tremendous attention due to their rich fundamental physics and significant potential for cutting-edge technological applications. In contrast to the conventional bulk counterparts, vdW magnets exhibit significant tunability of local material properties, such as stacking engineered interlayer coupling and layer-number dependent magnetic and electronic interactions, which promise to deliver previously unavailable merits to develop multifunctional microelectronic devices. As a further ingredient of this emerging topic, here we report nanoscale quantum sensing and imaging of atomically thin vdW magnet chromium thiophosphate CrPS4, revealing its characteristic layer-dependent 2D static magnetism and dynamic spin fluctuations. We also show a large tunneling magnetoresistance in CrPS4-based spin filter vdW heterostructures. The excellent material stability, robust strategy against environmental degradation, in combination with tailored magnetic properties highlight the potential of CrPS4 in developing state-of-the-art 2D spintronic devices for next-generation information technologies.


title: Color Aesthetics: Fuzzy based User-driven Method for Harmony and Preference Prediction

abstract: Color is the most important intrinsic sensory feature that has a powerful impact on product sales. Color is even responsible for raising the aesthetic senses in our brains. Account for individual differences is crucial in color aesthetics. It requires user-driven mechanisms for various e-commerce applications. We propose a method for quantitative evaluation of all types of perceptual responses to color(s): distinct color preference, color harmony, and color combination preference. Preference for color schemes can be predicted by combining preferences for the basic colors and ratings of color harmony. Harmonious pallets are extracted from big data set using comparison algorithms based on fuzzy similarity and grouping. The proposed model results in useful predictions of harmony and preference of multicolored images. For example, in the context of apparel coordination, it allows predicting a preference for a look based on clothing colors. Our approach differs from standard aesthetic models, since in accounts for a personal variation. In addition, it can process not only lower-order color pairs, but also groups of several colors.


title: Vortex core radius in baroclinic turbulence: Implications for scaling predictions

abstract: We revisit the vortex-gas scaling theory for heat transport by baroclinic turbulence based on the empirical observation that the vortex core radius departs from the Rossby deformation radius for very low bottom drag coefficient. We derive a scaling prediction for the vortex-core radius. For linear bottom drag this scaling dependence for the vortex-core radius does not affect the vortex-gas predictions for the eddy diffusivity and mixing-length, which remain identical to those in Gallet and Ferrari (Proc. Nat. Acad. Sci. USA, 117, 2020). By contrast, for quadratic drag the scaling dependence of the core radius induces new scaling-laws for the eddy diffusivity and mixing length when the quadratic-drag coefficient becomes asymptotically low. We validate the modified scaling predictions through numerical simulations of the two-layer model with very low quadratic-drag coefficient.


title: Rethinking Machine Ethics -- Can LLMs Perform Moral Reasoning through the Lens of Moral Theories?

abstract: Making moral judgments is an essential step toward developing ethical AI systems. Prevalent approaches are mostly implemented in a bottom-up manner, which uses a large set of annotated data to train models based on crowd-sourced opinions about morality. These approaches have been criticized for potentially overgeneralizing a limited group of annotators' moral stances and lacking explainability. In contrast, top-down approaches make moral judgments grounded in a set of principles. However, it remains conceptual due to the incapability of previous language models and the unsolved debate among moral principles. In this study, we propose a flexible framework to steer Large Language Models (LLMs) to perform moral reasoning with well-established moral theories from interdisciplinary research. The theory-guided top-down framework can incorporate various moral theories. Our experiments demonstrate the effectiveness of the proposed framework on datasets derived from moral theories. Furthermore, we show the alignment between different moral theories and existing morality datasets. Our analysis exhibits the potentials and flaws in existing resources (models and datasets) in developing explainable moral judgment-making systems.


title: A coupled high-accuracy phase-field fluid-structure interaction framework for Stokes fluid-filled fracture surrounded by an elastic medium

abstract: In this work, we couple a high-accuracy phase-field fracture reconstruction approach iteratively to fluid-structure interaction. The key motivation is to utilize phase-field modelling to compute the fracture path. A mesh reconstruction allows a switch from interface-capturing to interface-tracking in which the coupling conditions can be realized in a highly accurate fashion. Consequently, inside the fracture, a Stokes flow can be modelled that is coupled to the surrounding elastic medium. A fully coupled approach is obtained by iterating between the phase-field and the fluid-structure interaction model. The resulting algorithm is demonstrated for several numerical examples of quasi-static brittle fractures. We consider both stationary and quasi-stationary problems. In the latter, the dynamics arise through an incrementally increasing given pressure.


title: Sampling for Remote Estimation of an Ornstein-Uhlenbeck Process through Channel with Unknown Delay Statistics

abstract: In this paper, we consider sampling an Ornstein-Uhlenbeck (OU) process through a channel for remote estimation. The goal is to minimize the mean square error (MSE) at the estimator under a sampling frequency constraint when the channel delay statistics is unknown. Sampling for MSE minimization is reformulated into an optimal stopping problem. By revisiting the threshold structure of the optimal stopping policy when the delay statistics is known, we propose an online sampling algorithm to learn the optimum threshold using stochastic approximation algorithm and the virtual queue method. We prove that with probability 1, the MSE of the proposed online algorithm converges to the minimum MSE that is achieved when the channel delay statistics is known. The cumulative MSE gap of our proposed algorithm compared with the minimum MSE up to the $(k+1)$-th sample grows with rate at most $\mathcal{O}(\ln k)$. Our proposed online algorithm can satisfy the sampling frequency constraint theoretically. Finally, simulation results are provided to demonstrate the performance of the proposed algorithm.


title: Bornil: An open-source sign language data crowdsourcing platform for AI enabled dialect-agnostic communication

abstract: The absence of annotated sign language datasets has hindered the development of sign language recognition and translation technologies. In this paper, we introduce Bornil; a crowdsource-friendly, multilingual sign language data collection, annotation, and validation platform. Bornil allows users to record sign language gestures and lets annotators perform sentence and gloss-level annotation. It also allows validators to make sure of the quality of both the recorded videos and the annotations through manual validation to develop high-quality datasets for deep learning-based Automatic Sign Language Recognition. To demonstrate the system's efficacy; we collected the largest sign language dataset for Bangladeshi Sign Language dialect, perform deep learning based Sign Language Recognition modeling, and report the benchmark performance. The Bornil platform, BornilDB v1.0 Dataset, and the codebases are available on https://bornil.bengali.ai


title: A Near-Cubic Lower Bound for 3-Query Locally Decodable Codes from Semirandom CSP Refutation

abstract: A code $C \colon \{0,1\}^k \to \{0,1\}^n$ is a $q$-locally decodable code ($q$-LDC) if one can recover any chosen bit $b_i$ of the message $b \in \{0,1\}^k$ with good confidence by randomly querying the encoding $x := C(b)$ on at most $q$ coordinates. Existing constructions of $2$-LDCs achieve $n = \exp(O(k))$, and lower bounds show that this is in fact tight. However, when $q = 3$, far less is known: the best constructions achieve $n = \exp(k^{o(1)})$, while the best known results only show a quadratic lower bound $n \geq \tilde{\Omega}(k^2)$ on the blocklength. In this paper, we prove a near-cubic lower bound of $n \geq \tilde{\Omega}(k^3)$ on the blocklength of $3$-query LDCs. This improves on the best known prior works by a polynomial factor in $k$. Our proof relies on a new connection between LDCs and refuting constraint satisfaction problems with limited randomness. Our quantitative improvement builds on the new techniques for refuting semirandom instances of CSPs developed in [GKM22, HKM23] and, in particular, relies on bounding the spectral norm of appropriate Kikuchi matrices.


title: Fundamental charge noise in electro-optic photonic integrated circuits

abstract: Understanding thermodynamical measurement noise is of central importance for electrical and optical precision measurements from mass-fabricated semiconductor sensors, where the Brownian motion of charge carriers poses limits, to optical reference cavities for atomic clocks or gravitational wave detection, which are limited by thermorefractive and thermoelastic noise due to the transduction of temperature fluctuations to the refractive index and length fluctuations. Here, we discover that unexpectedly charge carrier density fluctuations give rise to a novel noise process in recently emerged electro-optic photonic integrated circuits. We show that Lithium Niobate and Lithium Tantalate photonic integrated microresonators exhibit an unexpected Flicker type (i.e. $1/f^{1.2}$) scaling in their noise properties, significantly deviating from the well-established thermorefractive noise theory. We show that this noise is consistent with thermodynamical charge noise, which leads to electrical field fluctuations that are transduced via the strong Pockels effects of electro-optic materials. Our results establish electrical Johnson-Nyquist noise as the fundamental limitation for Pockels integrated photonics, crucial for determining performance limits for both classical and quantum devices, ranging from ultra-fast tunable and low-noise lasers, Pockels soliton microcombs, to quantum transduction, squeezed light or entangled photon-pair generation. Equally, this observation offers optical methods to probe mesoscopic charge fluctuations with exceptional precision.


title: Robust Long-Tailed Learning via Label-Aware Bounded CVaR

abstract: Data in the real-world classification problems are always imbalanced or long-tailed, wherein the majority classes have the most of the samples that dominate the model training. In such setting, the naive model tends to have poor performance on the minority classes. Previously, a variety of loss modifications have been proposed to address the long-tailed leaning problem, while these methods either treat the samples in the same class indiscriminatingly or lack a theoretical guarantee. In this paper, we propose two novel approaches based on CVaR (Conditional Value at Risk) to improve the performance of long-tailed learning with a solid theoretical ground. Specifically, we firstly introduce a Label-Aware Bounded CVaR (LAB-CVaR) loss to overcome the pessimistic result of the original CVaR, and further design the optimal weight bounds for LAB-CVaR theoretically. Based on LAB-CVaR, we additionally propose a LAB-CVaR with logit adjustment (LAB-CVaR-logit) loss to stabilize the optimization process, where we also offer the theoretical support. Extensive experiments on real-world datasets with long-tailed label distributions verify the superiority of our proposed methods.


title: On the existence of small strictly Neumaier graphs

abstract: A Neumaier graph is a non-complete edge-regular graph containing a regular clique. In this work, we prove several results on the existence of small strictly Neumaier graphs. In particular, we present a theoretical proof of the uniqueness of the smallest strictly Neumaier graph with parameters $(16,9,4;2,4)$, we establish the existence of a strictly Neumaier graph with parameters $(25,12,5;2,5)$, and we disprove the existence of strictly Neumaier graphs with parameters $(25,16,9;3,5)$, $(28,18,11;4,7)$, $(33,24,17;6,9)$, $(35,22,12;3,5)$ and $(55,34,18;3,5)$. Our proofs use combinatorial techniques and a novel application of integer programming methods.


title: Bounded flows of dense gases

abstract: Numerical solutions of the Enskog equation obtained employing a Finite-Difference Lattice Boltzmann (FDLB) and a Direct Simulation Monte Carlo (DSMC)-like particle method (PM) are systematically compared to determine the range of applicability of the simplified Enskog collision operator implemented in the Lattice Boltzmann framework. Three types of bounded flows of dense gases - namely the Fourier, the Couette, and the Poiseuille flows - are investigated for a wide range of input parameters. For low to moderate reduced density, the proposed FDLB model exhibits commendable accuracy for all bounded flows tested in this study, with substantially lower computational cost than the PM method.


title: Illposedness for dispersive equations: Degenerate dispersion and Takeuchi--Mizohata condition

abstract: We provide a unified viewpoint on two illposedness mechanisms for dispersive equations in one spatial dimension, namely degenerate dispersion and (the failure of) the Takeuchi--Mizohata condition. Our approach is based on a robust energy- and duality-based method introduced in an earlier work of the authors in the setting of Hall-magnetohydynamics. Concretely, the main results in this paper concern strong illposedness of the Cauchy problem (e.g., non-existence and unboundedness of the solution map) in high-regularity Sobolev spaces for various quasilinear degenerate Schr\"odinger- and KdV-type equations, including the Hunter--Smothers equation, $K(m, n)$ models of Rosenau--Hyman, and the inviscid surface growth model. The mechanism behind these results may be understood in terms of combination of two effects: degenerate dispersion -- which is a property of the principal term in the presence of degenerating coefficients -- and the evolution of the amplitude governed by the Takeuchi--Mizohata condition -- which concerns the subprincipal term. We also demonstrate how the same techniques yield a more quantitative version of the classical $L^{2}$-illposedness result by Mizohata for linear variable-coefficient Schr\"odinger equations with failed Takeuchi--Mizohata condition.


title: An Incremental SVD Method for Non-Fickian Flows in Porous Media: Addressing Storage and Computational Challenges

abstract: It is well known that the numerical solution of the Non-Fickian flows at the current stage depends on all previous time instances. Consequently, the storage requirement increases linearly, while the computational complexity grows quadratically with the number of time steps. This presents a significant challenge for numerical simulations. While numerous existing methods address this issue, our proposed approach stems from a data science perspective and maintains uniformity. Our method relies solely on the rank of the solution data, dissociating itself from dependency on any specific partial differential equation (PDE). In this paper, we make the assumption that the solution data exhibits approximate low rank. Here, we present a memory-free algorithm, based on the incremental SVD technique, that exhibits only linear growth in computational complexity as the number of time steps increases. We prove that the error between the solutions generated by the conventional algorithm and our innovative approach lies within the scope of machine error. Numerical experiments are showcased to affirm the accuracy and efficiency gains in terms of both memory usage and computational expenses.


title: Probabilistic solar flare forecasting using historical magnetogram data

abstract: Solar flare forecasting research using machine learning (ML) has focused on high resolution magnetogram data from the SDO/HMI era covering Solar Cycle 24 and the start of Solar Cycle 25, with some efforts looking back to SOHO/MDI for data from Solar Cycle 23. In this paper, we consider over 4 solar cycles of daily historical magnetogram data from multiple instruments. This is the first attempt to take advantage of this historical data for ML-based flare forecasting. We apply a convolutional neural network (CNN) to extract features from full-disk magnetograms together with a logistic regression model to incorporate scalar features based on magnetograms and flaring history. We use an ensemble approach to generate calibrated probabilistic forecasts of M-class or larger flares in the next 24 hours. Overall, we find that including historical data improves forecasting skill and reliability. We show that single frame magnetograms do not contain significantly more relevant information than can be summarized in a small number of scalar features, and that flaring history has greater predictive power than our CNN-extracted features. This indicates the importance of including temporal information in flare forecasting models.


title: Embedding of a non-Hermitian Hamiltonian to emulate the von Neumann measurement scheme

abstract: The problem of how measurement in quantum mechanics takes place has existed since its formulation. Von Neumann proposed a scheme where he treated measurement as a two-part process -- a unitary evolution in the full system-ancilla space and then a projection onto one of the pointer states of the ancilla (representing the "collapse" of the wavefunction). The Lindblad master equation, which has been extensively used to explain dissipative quantum phenomena in the presence of an environment, can effectively describe the first part of the von Neumann measurement scheme when the jump operators in the master equation are Hermitian. We have proposed a non-Hermitian Hamiltonian formalism to emulate the first part of the von Neumann measurement scheme. We have used the embedding protocol to dilate a non-Hermitian Hamiltonian that governs the dynamics in the system subspace into a higher-dimensional Hermitian Hamiltonian that evolves the full space unitarily. We have obtained the various constraints and the required dimensionality of the ancilla Hilbert space in order to achieve the required embedding. Using this particular embedding and a specific projection operator, one obtains non-Hermitian dynamics in the system subspace that closely follow the Lindblad master equation. This work lends a new perspective to the measurement problem by employing non-Hermitian Hamiltonians.


title: A density functional theory approach to interpret elastowetting of hydrogels

abstract: Sessile hydrogel drops on rigid surfaces exhibit wetting/contact morphology intermediate between liquid drops and glass spheres. Using density functional theory, we reveal the contact forces acting between a hydrogel and a rigid glass surface. We show that while transitioning from liquid-like to solid-like hydrogels, there exists a critical hydrogel elasticity which enables a switch from attractive to repulsive interaction with the underlying rigid glass surface. Our theoretical model is validated by experimental observations of sessile Polyacrylamide (PAAm) hydrogels of varying elasticity on glass surfaces. Further, the proposed model successfully approaches Young's law in the pure liquid limit and work of adhesion in the glassy limit. Lastly, we show a modified contact angle relation taking into account the hydrogel elasticity to explain the features of a distinct hydrogel foot.


title: WrappingNet: Mesh Autoencoder via Deep Sphere Deformation

abstract: There have been recent efforts to learn more meaningful representations via fixed length codewords from mesh data, since a mesh serves as a complete model of underlying 3D shape compared to a point cloud. However, the mesh connectivity presents new difficulties when constructing a deep learning pipeline for meshes. Previous mesh unsupervised learning approaches typically assume category-specific templates, e.g., human face/body templates. It restricts the learned latent codes to only be meaningful for objects in a specific category, so the learned latent spaces are unable to be used across different types of objects. In this work, we present WrappingNet, the first mesh autoencoder enabling general mesh unsupervised learning over heterogeneous objects. It introduces a novel base graph in the bottleneck dedicated to representing mesh connectivity, which is shown to facilitate learning a shared latent space representing object shape. The superiority of WrappingNet mesh learning is further demonstrated via improved reconstruction quality and competitive classification compared to point cloud learning, as well as latent interpolation between meshes of different categories.


title: Duality and Norm Completeness in the Classes of Limitedly--Lwc and Dunford--Pettis--Lwc Operators

abstract: We investigate the duality and norm completeness in the classes of limitedly--L-weakly compact and Dunford--Pettis--L-weakly compact and operators from Banach spaces to Banach lattices.


title: On the variance of the Fibonacci partition function

abstract: We determine the order of magnitude of the variance of the Fibonacci partition function. The answer is different to the most naive guess. The proof involves a diophantine system and an inhomogeneous linear recurrence.


title: The Parametrized Complexity of the Segment Number

abstract: Given a straight-line drawing of a graph, a {\em segment} is a maximal set of edges that form a line segment. Given a planar graph $G$, the {\em segment number} of $G$ is the minimum number of segments that can be achieved by any planar straight-line drawing of $G$. The {\em line cover number} of $G$ is the minimum number of lines that support all the edges of a planar straight-line drawing of $G$. Computing the segment number or the line cover number of a planar graph is $\exists\mathbb{R}$-complete and, thus, NP-hard. We study the problem of computing the segment number from the perspective of parameterized complexity. We show that this problem is fixed-parameter tractable with respect to each of the following parameters: the vertex cover number, the segment number, and the line cover number. We also consider colored versions of the segment and the line cover number.


title: High Resolution Observations of the Low Atmospheric Response to Small Coronal Heating Events in an Active Region Core

abstract: High resolution spectral observations of the lower solar atmosphere (chromosphere and transition region) during coronal heating events, in combination with predictions from models of impulsively heated loops, provide powerful diagnostics of the properties of the heating in active region cores. Here we analyze the first coordinated observations of such events with the Interface Region Imaging Spectrograph (IRIS) and the CHROMospheric Imaging Spectrometer (CHROMIS), at the Swedish 1-m Solar Telescope (SST), which provided extremely high spatial resolution and revealed chromospheric brightenings with spatial dimensions down to ~150km. We use machine learning methods (k-means clustering) and find significant coherence in the spatial and temporal properties of the chromospheric spectra, suggesting, in turn, coherence in the spatial and temporal distribution of the coronal heating. The comparison of IRIS and CHROMIS spectra with simulations suggest that both non-thermal electrons with low energy (low-energy cutoff ~5keV) and direct heating in the corona transported by thermal conduction contribute to the heating of the low atmosphere. This is consistent with growing evidence that non-thermal electrons are not uncommon in small heating events (nano- to micro-flares), and that their properties can be constrained by chromospheric and transition region spectral observations.


title: Electronic structure of GaSb/AlGaSb quantum dots formed by filling droplet-etched nanoholes

abstract: Epitaxially-grown semiconductor quantum dots (QDs) provide an attractive platform for the development of deterministic sources of high-quality quantum states of light. Such non-classical light sources are essential for quantum information processing and quantum communication. QDs emitting in the telecom wavelengths are especially important for ensuring compatibility with optical fiber systems required to implement quantum communication networks. To this end, GaSb QDs fabricated by filling local-droplet etched nanoholes are emerging as a viable approach, yet the electronic properties of such nanostructures have not been studied in detail. In this article, an insight into the electronic structure and carrier dynamics in GaSb/AlGaSb QDs is provided through a systematic experimental analysis of their temperature-dependent photoluminescence behavior. A steady-state rate equation model is used to reveal the relevant energy barriers for thermally activated carrier capture and escape processes. Furthermore, results of detailed theoretical simulations of quantum-confined energy states using the multi-band k.p model and the effective mass method are presented. The purpose of the simulations is to reveal the direct and indirect energy states, carrier wavefunctions, and allowed optical transitions for GaSb QDs with different physical dimensions.


title: Characterizing Learning Curves During Language Model Pre-Training: Learning, Forgetting, and Stability

abstract: How do language models learn to make predictions during pre-training? To study this question, we extract learning curves from five autoregressive English language model pre-training runs, for 1M tokens in context. We observe that the language models generate short repetitive phrases before learning to generate longer and more coherent text. We quantify the final surprisal, within-run variability, age of acquisition, forgettability, and cross-run variability of learning curves for individual tokens in context. More frequent tokens reach lower final surprisals, exhibit less variability within and across pre-training runs, are learned earlier, and are less likely to be "forgotten" during pre-training. Higher n-gram probabilities further accentuate these effects. Independent of the target token, shorter and more frequent contexts correlate with marginally more stable and quickly acquired predictions. Effects of part-of-speech are also small, although nouns tend to be acquired later and less stably than verbs, adverbs, and adjectives. Our work contributes to a better understanding of language model pre-training dynamics and informs the deployment of stable language models in practice.


title: Geometry and unitarity of scalar fields coupled to gravity

abstract: We formulate scalar field theories coupled non-conformally to gravity in a manifestly frame-independent fashion. Physical quantities such as the $S$ matrix should be invariant under field redefinitions, and hence can be represented by the geometry of the target space. This elegant geometric formulation, however, is obscured when considering the coupling to gravity because of the redundancy associated with the Weyl transformation. The well-known example is the Higgs inflation, where the target space of the Higgs fields is flat in the Jordan frame but is curved in the Einstein frame. Furthermore, one can even show that any geometry of O$(N)$ nonlinear $\sigma$ models can be flattened by an appropriate Weyl transformation. In this Letter, we extend the notion of the target space by including the conformal mode of the metric, and show that the extended geometry provides a compact formulation that is manifestly Weyl-transformation/field-redefinition invariant. We identify the cutoff scale with the inverse of square root of the extended target space curvature and confirm that it coincides with that obtained from two-to-two scattering amplitudes based on our formalism.


title: Investigating how to simulate lattice gauge theories on a quantum computer

abstract: Quantum computers have the potential to expand the utility of lattice gauge theory to investigate non-perturbative particle physics phenomena that cannot be accessed using a standard Monte Carlo method due to the sign problem. Thanks to the qubit, quantum computers can store Hilbert space in a more efficient way compared to classical computers. This allows the Hamiltonian approach to be computationally feasible, leading to absolute freedom from the sign-problem. But what the current noisy intermediate scale quantum hardware can achieve is under investigation, and therefore we chose to study the energy spectrum and the time evolution of an SU(2) theory using two kinds of quantum hardware: the D-Wave quantum annealer and the IBM gate-based quantum hardware.


title: A Review of Differentiable Digital Signal Processing for Music & Speech Synthesis

abstract: The term "differentiable digital signal processing" describes a family of techniques in which loss function gradients are backpropagated through digital signal processors, facilitating their integration into neural networks. This article surveys the literature on differentiable audio signal processing, focusing on its use in music & speech synthesis. We catalogue applications to tasks including music performance rendering, sound matching, and voice transformation, discussing the motivations for and implications of the use of this methodology. This is accompanied by an overview of digital signal processing operations that have been implemented differentiably. Finally, we highlight open challenges, including optimisation pathologies, robustness to real-world conditions, and design trade-offs, and discuss directions for future research.


title: Defining and Constraining the Electrical Cardinality of Multiport Converter Mission Profiles

abstract: Mission profiles describe a representative set of conditions that a power converter is designed to operate under, and are known to be more complicated for multiport converter applications due to a wider range of combinations of powers that can be transferred between ports. This paper studies the properties of mission profiles derived from operational optimization of multiport converters in distribution system applications (e.g., soft open points). The electrical cardinality of the mission profile is introduced as a useful, naturally varying property of multiport mission profiles derived from optimal operation within distribution system, with the cardinality equal to the number of non-zero power transfers at a given time. Furthermore, it is shown that the cardinality can be conveniently constrained within the framework of conventional mixed-integer conic optimization problems, yielding a family of mission profiles that can enable converter designers to simplify multiport designs via converter reconfiguration. Results demonstrate the potential to reduce the cardinality in a four-terminal multiport converter from four to two whilst still effectively supporting congestion management and achieving 91.7% of the loss reduction capabilities of a conventional design.


title: Nonequilibrium glass transitions in the spherical $p$-spin model with antisymmetric interactions

abstract: Our theoretical understanding of glassy dynamics is notoriously incomplete, and it is even more so when the glassy systems are driven out of equilibrium. An extreme way to drive a system out of equilibrium is to introduce nonequilibrium dynamics at the microscopic level, e.g., through active forcing of the constituent particles or by having nonreciprocal interactions among the particles. While glassy dynamics under active forcing has been studied by many, the latter nonequilibrium scenario has received little attention. Here, I study the glassy dynamics of the spherical $p$-spin model for $p\geq 3$ with antisymmetric interactions, which generalizes reciprocal interactions in 2-body interactions. The spherical $p$-spin model is an integral tool in the study of dynamical glass transition, and when antisymmetric interactions are added, I show analytically and numerically that glassy behavior is generically suppressed. Moreover, I obtain analytical expressions on the modified dynamical glass transition point and the Edward-Anderson parameter (i.e., the asymptotic plateau height value of the spin-spin correlation function) in the small driving limit.


title: A Quantum Simulation Approach to Implementing Nuclear Density Functional Theory via Imaginary Time Evolution

abstract: The quantum imaginary time evolution (QITE) algorithm is a direct implementation of the classical imaginary time evolution algorithm on quantum computer. We implement the QITE algorithm for the case of nuclear Hartree-Fock equations in a formalism equivalent to nuclear density functional theory. We demonstrate the algorithm in the case of the helium-4 nucleus with a simplified effective interaction of the Skyrme kind and demonstrate that the QITE, as implemented on simulated quantum computer, gives identical results to the classical algorithm.


title: Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE

abstract: The aim of this paper is to combine several Ivlev-like modal systems characterized by 4-valued non-deterministic matrices (Nmatrices) with IDM4, a 4-valued expansion of Belnap-Dunn's logic FDE with an implication introduced by Pynko in 1999. In order to do this, we introduce a new methodology for combining logics which are characterized by means of swap structures, based on what we call superposition of snapshots. In particular, the combination of IDM4 with Tm, the 4-valued Ivlev's version of KT, will be analyzed with more details. From the semantical perspective, the idea is to combine the 4-valued swap structures (Nmatrices) for Tm (and several of its extensions) with the 4-valued twist structure (logical matrix) for IDM4. This superposition produces a universe of 6 snapshots, with 3 of them being designated. The multioperators over the new universe are defined by combining the specifications of the given swap and twist structures. This gives rise to 6 different paradefinite Ivlev-like modal logics, each one of them characterized by a 6-valued Nmatrix, and conservatively extending the original modal logic and IDM4. This important feature allows to consider the proposed construction as a genuine technique for combining logics. In addition, it is possible to define in the combined logics a classicality operator in the sense of logics of evidence and truth (LETs). A sound and complete Hilbert-style axiomatization is also presented for the 6 combined systems, as well as a Prolog program which implements the swap structures semantics for the 6 systems, producing a decision procedure for satisfiability, refutability and validity of formulas in these logics.


title: Complementing Onboard Sensors with Satellite Map: A New Perspective for HD Map Construction

abstract: High-definition (HD) maps play a crucial role in autonomous driving systems. Recent methods have attempted to construct HD maps in real-time using vehicle onboard sensors. Due to the inherent limitations of onboard sensors, which include sensitivity to detection range and susceptibility to occlusion by nearby vehicles, the performance of these methods significantly declines in complex scenarios and long-range detection tasks. In this paper, we explore a new perspective that boosts HD map construction through the use of satellite maps to complement onboard sensors. We initially generate the satellite map tiles for each sample in nuScenes and release a complementary dataset for further research. To enable better integration of satellite maps with existing methods, we propose a hierarchical fusion module, which includes feature-level fusion and BEV-level fusion. The feature-level fusion, composed of a mask generator and a masked cross-attention mechanism, is used to refine the features from onboard sensors. The BEV-level fusion mitigates the coordinate differences between features obtained from onboard sensors and satellite maps through an alignment module. The experimental results on the augmented nuScenes showcase the seamless integration of our module into three existing HD map construction methods. The satellite maps and our proposed module notably enhance their performance in both HD map semantic segmentation and instance detection tasks.


title: Self-biased magnetoelectric Ni/LiNbO3/Ni for body embedded electronic energy harvesters

abstract: In this study, we present the fabrication and characterization of Ni/LiNbO3/Ni trilayers using RF sputtering. These trilayers exhibit thick Ni layers (10 microns) and excellent adherence to the substrate, enabling high magnetoelectric coefficients. By engineering the magnetic anisotropy of Nickel through anisotropic thermal residual stress induced during fabrication, and by selecting a carefully chosen cut angle for the LiNbO3 substrate, we achieved a self-biased behavior. We demonstrate that these trilayers can power medical implant devices remotely using a small AC magnetic field excitation, thereby eliminating the need for a DC magnetic field and bulky magnetic field sources. The results highlight the potential of these trilayers for the wireless and non-invasive powering of medical implants. This work contributes to the advancement of magnetoelectric materials and their applications in healthcare technology.


title: Only YOU Can Make IEEE VIS Environmentally Sustainable

abstract: The IEEE VIS Conference (or VIS) hosts more than 1000 people annually. It brings together visualization researchers and practitioners from across the world to share new research and knowledge. Behind the scenes, a team of volunteers puts together the entire conference and makes sure it runs smoothly. Organizing involves logistics of the conference, ensuring that the attendees have an enjoyable time, allocating rooms to multiple concurrent tracks, and keeping the conference within budget. In recent years, the COVID-19 pandemic has abruptly disrupted plans, forcing organizers to switch to virtual, hybrid, and satellite formats. These alternatives offer many benefits: fewer costs (e.g., travel, venue, institutional), greater accessibility (who can physically travel, who can get visas, who can get child care), and a lower carbon footprint (as people do not need to fly to attend). As many conferences begin to revert to the pre-pandemic status quo of primarily in-person conferences, we suggest that it is an opportune moment to reflect on the benefits and drawbacks of lower-carbon conference formats. To learn more about the logistics of conference organizing, we talked to 6 senior executive-level VIS organizers. We review some of the many considerations that go into planning, particularly with regard to how they influence decisions about alternative formats. We aim to start a discussion about the sustainability of VIS -- including sustainability for finance, volunteers, and, central to this work, the environment -- for the next three years and the next three hundred years.


title: Ratio of $J/\Psi$ and $\Psi(2s)$ exclusive photoproduction cross-sections as an indicator for the presence of non-linear QCD evolution

abstract: We investigate the proposal that the rise with energy of the ratio of the exclusive photo-production cross-sections of vector mesons $\Psi(2s)$ and $J/\Psi$ can serve as an indicator for the presence of high gluon densities and associated non-linear high energy evolution; we study this proposal for both photoproduction on a proton and a lead nucleus. While previous studies were based on unintegrated gluon distributions subject to linear (Balitsky-Fadin-Kuraev-Lipatov) and non-linear (Balitsky-Kovchegov) evolution equations, the current study is based on the Golec-Biernat W\"usthoff (GBW) and Bartels Golec-Biernat Kowalski (BGK) models, which allow assessing more directly the relevance of non-linear corrections for the description of the energy dependence of the photoproduction cross-section. We find that the rise of the ratio is directly related to the presence of a node in the $\Psi(2s)$ wave function and only manifests itself for the complete non-linear models, while it is absent for their linearized versions. We further provide predictions based on leading order collinear factorization and examine to which extent such an approach can mimic a ratio rising with energy. We also provide a description of recent ALICE data on the energy dependence of the photonuclear $J/\Psi$ production cross-section and give predictions for the energy dependence of the ratio of $\Psi(2s)$ and $J/\Psi$ photoproduction cross-sections for both scattering on a proton and a lead nucleus.


title: Sinusoidal Transmission Grating Spectrometer for EUV Measure

abstract: Spectral measurements play a vital role in understanding laser-plasma interactions. The ability to accurately measure the spectrum of radiation sources is crucial for unraveling the underlying physics. In this article, we introduce a novel approach that significantly enhances the efficiency of binary Sinusoidal Transmission Grating Spectrometers (STGS). The grating was tailored especially for Extreme Ultraviolet (EUV) measurements. The new design, High Contrast Sinusoidal Transmission Grating (HCSTG), not only suppresses high diffraction orders and retains the advantageous properties of previous designs but also exhibits a fourfold improvement in first-order efficiency. In addition, the HCSTG offers exceptional purity in the first order due to effectively eliminating half-order contributions from the diffraction pattern. The HCSTG spectrometer was employed to measure the emission of laser-produced Sn plasma in the 1-50 nm spectral range, achieving spectral resolution of $\lambda/\Delta\lambda=60$. We provide a comprehensive analysis comparing the diffraction patterns of different STGs, highlighting the advantages offered by the HCSTG design. This novel, enhanced efficiency HCSTG spectrometer, opens new possibilities for accurate and sensitive EUV spectral measurements.


title: Quantum Algorithm for Computing Distances Between Subspaces

abstract: Geometry and topology have generated impacts far beyond their pure mathematical primitive, providing a solid foundation for many applicable tools. Typically, real-world data are represented as vectors, forming a linear subspace for a given data collection. Computing distances between different subspaces is generally a computationally challenging problem with both theoretical and applicable consequences, as, for example, the results can be used to classify data from different categories. Fueled by the fast-growing development of quantum algorithms, we consider such problems in the quantum context and provide a quantum algorithm for estimating two kinds of distance: Grassmann distance and ellipsoid distance. Under appropriate assumptions and conditions, the speedup of our quantum algorithm is exponential with respect to both the dimension of the given data and the number of data points. Some extensions regarding estimating different kinds of distance are then discussed as a corollary of our main quantum algorithmic method.


title: Continuum limit for interacting systems on adaptive networks

abstract: The article considers systems of interacting particles on networks with adaptively coupled dynamics. Such processes appear frequently in natural processes and applications. Relying on the notion of graph convergence, we prove that for large systems the dynamics can be approximated by the corresponding continuum limit. Well-posedness of the latter is also established.


title: Random feature approximation for general spectral methods

abstract: Random feature approximation is arguably one of the most popular techniques to speed up kernel methods in large scale algorithms and provides a theoretical approach to the analysis of deep neural networks. We analyze generalization properties for a large class of spectral regularization methods combined with random features, containing kernel methods with implicit regularization such as gradient descent or explicit methods like Tikhonov regularization. For our estimators we obtain optimal learning rates over regularity classes (even for classes that are not included in the reproducing kernel Hilbert space), which are defined through appropriate source conditions. This improves or completes previous results obtained in related settings for specific kernel algorithms.


title: Hidden Relaxation Term in Approximate Treatments of Responses to Electric and Magnetic Fields

abstract: Recently a generalization of the ``\textit{modern theory of orbital magnetization}'' to include non-local Hamiltonians (e.g. hybrid functionals of the generalized Kohn-Sham theory) was provided for magnetic response properties. Results indicated inequivalence between sampling of direct and reciprocal spaces for those calculations far from the complete basis set limit. We show that this can be explained by a hidden ``relaxation'' contribution to the reciprocal-space derivatives. The missing relaxation term is shown to (generally) affect the results of calculations of not only magnetic, but also electric response properties, within the context of the ``\textit{modern theory of polarization}''. Necessary conditions are provided to permit avoiding the calculation of the hidden relaxation term.


title: Semi-Riemannian manifolds with linear differential conditions on the curvature

abstract: Semi-Riemannian manifolds that satisfy (homogeneous) linear differential conditions of arbitrary order on the curvature are analyzed. They include, in particular, the spaces with (higher-order) recurrent curvature, (higher-order) symmetric spaces, as well as entire new families of semi-Riemannian manifolds rarely, or never, considered before in the literature --such as the spaces whose derivative of the Riemann tensor field is recurrent, among many others. Definite proof that all types of such spaces do exist is provided by exhibiting explicit examples of all possibilities in all signatures, except in the Riemannian case with a positive definite metric. Several techniques of independent interest are collected and presented. Of special relevance is the case of Lorentzian manifolds, due to its connection to the physics of the gravitational field. This connection is discussed with particular emphasis on Gauss-Bonnet gravity and in relation with Penrose limits. Many new lines of research open up and a handful of conjectures, based on the results found hitherto, is put forward.


title: Existence of Pauli-like stabilizers for every quantum error-correcting code

abstract: The Pauli stabilizer formalism is perhaps the most thoroughly studied means of procuring quantum error-correcting codes, whereby the code is obtained through commutative Pauli operators and ``stabilized'' by them. In this work we will show that every quantum error-correcting code, including Pauli stabilizer codes and subsystem codes, has a similar structure, in that the code can be stabilized by commutative ``Paulian'' operators which share many features with Pauli operators and which form a \textbf{Paulian stabilizer group}. By facilitating a controlled gate we can measure these Paulian operators to acquire the error syndrome. Examples concerning codeword stabilized codes and bosonic codes will be presented; specifically, one of the examples has been demonstrated experimentally and the observable for detecting the error turns out to be Paulian, thereby showing the potential utility of this approach. This work provides a possible approach to implement error-correcting codes and to find new codes.


title: Unboundedness above and below of the Donaldson-Hitchin functionals on $\mathrm{G}_2$- and $\widetilde{\mathrm{G}}_2$-forms

abstract: This paper combines explicit local calculations with covering arguments to prove the unboundedness above and below (in a logarithmic sense) of the Donaldson-Hitchin functionals on $\mathrm{G}_2$ 4-forms, $\widetilde{\mathrm{G}}_2$ 3-forms and $\widetilde{\mathrm{G}}_2$ 4-forms, over compact manifolds (or, more generally, orbifolds) with boundary. In addition, the Donaldson-Hitchin functional on $\mathrm{G}_2$ 3-forms over compact manifolds (or orbifolds) with boundary is shown to be unbounded below. As scholia, the critical points of the functionals on $\mathrm{G}_2$ 4-forms, $\widetilde{\mathrm{G}}_2$ 3-forms and $\widetilde{\mathrm{G}}_2$ 4-forms are shown to be saddles, and initial conditions of the Laplacian coflow which do not lead to convergent solutions are shown to be dense.


title: On the properties of the density matrix of the $\mathfrak{sl}_{n+1}$-invariant model

abstract: We present an ansatz of generalizing the construction of recursion relations for the correlation functions of the $\mathfrak{sl}_2$-invariant fundamental exchange model in the thermodynamic limit by Jimbo, Miwa, Smirnov, Takeyama and one of our present authors in 2004 for higher rank. Due to the structure of the correlators as functions of their inhomogeneity parameters, a recursion formula for the reduced density matrix was proven. In the case of $\mathfrak{sl}_3$ we use the explicit results of Kl\"umper and Ribeiro and Nirov, Hutsalyuk and one of our present authors for the reduced density matrix of up to operator length three to verify whether it is possible to relate the residues of the density matrix of length $n$ to the density matrix of length smaller than $n$ as in $\mathfrak{sl}_2$. This is unclear, since the reduced quantum Knizhnik--Zamolodchikov equation splits into two parts for higher rank. In fact, we show two relations, one of which is analogous to the $\mathfrak{sl}_2$ case and one which is new. This allows us to construct an analogue of the operator $X_k$, which we call Snail Operator. In the $\mathfrak{sl}_2$ case this operator has many nice properties including in particular the fact that only one irreducible representation of the Yangian $Y(\mathfrak{sl}_2)$, the Kirillov--Reshetikhin module $W_k$, contributed the residue at $\lambda_i-\lambda_j=-(k+1)$.


title: Detecting single gravitons with quantum sensing

abstract: The quantization of gravity is widely believed to result in gravitons -- particles of discrete energy that form gravitational waves. But their detection has so far been considered impossible. Here we show that signatures of single gravitons can be observed in laboratory experiments. We show that stimulated and spontaneous single-graviton processes can become relevant for massive quantum acoustic resonators and that stimulated absorption can be resolved through continuous sensing of quantum jumps. We analyze the feasibility of observing the exchange of single energy quanta between matter and gravitational waves. Our results show that single graviton signatures are within reach of experiments. In analogy to the discovery of the photo-electric effect for photons, such signatures can provide the first experimental evidence of the quantization of gravity.


title: Adversarial Low Degree Testing

abstract: In the $t$-online-erasure model in property testing, an adversary is allowed to erase $t$ values of a queried function for each query the tester makes. This model was recently formulated by Kalemaj, Raskhodnikova andVarma, who showed that the properties of linearity of functions as well as quadraticity can be tested in$O_t(1)$ many queries: $O(\log (t))$ for linearity and $2^{2^{O(t)}}$ for quadraticity. They asked whether the more general property of low-degreeness can be tested in the online erasure model, whether better testers exist for quadraticity, and if similar results hold when ``erasures'' are replaced with ``corruptions''. We show that, in the $t$-online-erasure model, for a prime power $q$, given query access to a function $f: \mathbb{F}_q^n \xrightarrow[]{} \mathbb{F}_q$, one can distinguish in $\mathrm{poly}(\log^{d+q}(t)/\delta)$ queries between the case that $f$ is degree at most $d$, and the case that $f$ is $\delta$-far from any degree $d$ function (with respect to the fractional hamming distance). This answers the aforementioned questions and brings the query complexity to nearly match the query complexity of low-degree testing in the classical property testing model. Our results are based on the observation that the property of low-degreeness admits a large and versatile family of query efficient testers. Our testers operates by querying a uniformly random, sufficiently large set of points in a large enough affine subspace, and finding a tester for low-degreeness that only utilizes queries from that set of points. We believe that this tester may find other applications to algorithms in the online-erasure model or other related models, and may be of independent interest.


title: Lower Bounds on Number of QAOA Rounds Required for Guaranteed Approximation Ratios

abstract: The quantum alternating operator ansatz (QAOA) is a heuristic hybrid quantum-classical algorithm for finding high-quality approximate solutions to combinatorial optimization problems, such as Maximum Satisfiability. While QAOA is well-studied, theoretical results as to its runtime or approximation ratio guarantees are still relatively sparse. We provide some of the first lower bounds for the number of rounds (the dominant component of QAOA runtimes) required for QAOA. For our main result, (i) we leverage a connection between quantum annealing times and the angles of QAOA to derive a lower bound on the number of rounds of QAOA with respect to the guaranteed approximation ratio. We apply and calculate this bound with Grover-style mixing unitaries and (ii) show that this type of QAOA requires at least a polynomial number of rounds to guarantee any constant approximation ratios for most problems. We also (iii) show that the bound depends only on the statistical values of the objective functions, and when the problem can be modeled as a $k$-local Hamiltonian, can be easily estimated from the coefficients of the Hamiltonians. For the conventional transverse field mixer, (iv) our framework gives a trivial lower bound to all bounded occurrence local cost problems and all strictly $k$-local cost Hamiltonians matching known results that constant approximation ratio is obtainable with constant round QAOA for a few optimization problems from these classes. Using our novel proof framework, (v) we recover the Grover lower bound for unstructured search and -- with small modification -- show that our bound applies to any QAOA-style search protocol that starts in the ground state of the mixing unitaries.


title: Combining predictive distributions of electricity prices: Does minimizing the CRPS lead to optimal decisions in day-ahead bidding?

abstract: Probabilistic price forecasting has recently gained attention in power trading because decisions based on such predictions can yield significantly higher profits than those made with point forecasts alone. At the same time, methods are being developed to combine predictive distributions, since no model is perfect and averaging generally improves forecasting performance. In this article we address the question of whether using CRPS learning, a novel weighting technique minimizing the continuous ranked probability score (CRPS), leads to optimal decisions in day-ahead bidding. To this end, we conduct an empirical study using hourly day-ahead electricity prices from the German EPEX market. We find that increasing the diversity of an ensemble can have a positive impact on accuracy. At the same time, the higher computational cost of using CRPS learning compared to an equal-weighted aggregation of distributions is not offset by higher profits, despite significantly more accurate predictions.


title: On the hardness of inclusion-wise minimal separators enumeration

abstract: Enumeration problems are often encountered as key subroutines in the exact computation of graph parameters such as chromatic number, treewidth, or treedepth. In the case of treedepth computation, the enumeration of inclusion-wise minimal separators plays a crucial role. However and quite surprisingly, the complexity status of this problem has not been settled since it has been posed as an open direction by Kloks and Kratsch in 1998. Recently at the PACE 2020 competition dedicated to treedepth computation, solvers have been circumventing that by listing all minimal $a$-$b$ separators and filtering out those that are not inclusion-wise minimal, at the cost of efficiency. Naturally, having an efficient algorithm for listing inclusion-wise minimal separators would drastically improve such practical algorithms. In this note, however, we show that no efficient algorithm is to be expected from an output-sensitive perspective, namely, we prove that there is no output-polynomial time algorithm for inclusion-wise minimal separators enumeration unless P = NP.


title: Mixed-Effects Methods for Search and Matching Research

abstract: We study mixed-effects methods for estimating equations containing person and firm effects. In economics such models are usually estimated using fixed-effects methods. Recent enhancements to those fixed-effects methods include corrections to the bias in estimating the covariance matrix of the person and firm effects, which we also consider.


title: A p-adic Poissonian Pair Correlation Concept

abstract: The pair correlation statistic is an important concept in real uniform distribution theory. Therefore, sequences in the unit interval with (weak) Poissonian pair correlations have attracted a lot of attention in recent time. The aim of this paper is to suggest a generalization to the p-adic integers and to prove some of its main properties. In particular, connections to the theory of p-adic discrepancy theory are discussed.


title: The Feynman-Lagerstrom criterion for boundary layers

abstract: We study the boundary layer theory for slightly viscous stationary flows forced by an imposed slip velocity at the boundary. According to the theory of Prandtl (1904) and Batchelor (1956), any Euler solution arising in this limit and consisting of a single ``eddy" must have constant vorticity. Feynman and Lagerstrom (1956) gave a procedure to select the value of this vorticity by demanding a \textit{necessary} condition for the existence of a periodic Prandtl boundary layer description. In the case of the disc, the choice -- known to Batchelor (1956) and Wood (1957) -- is explicit in terms of the slip forcing. For domains with non-constant curvature, Feynman and Lagerstrom give an approximate formula for the choice which is in fact only implicitly defined and must be determined together with the boundary layer profile. We show that this condition is also sufficient for the existence of a periodic boundary layer described by the Prandtl equations. Due to the quasilinear coupling between the solution and the selected vorticity, we devise a delicate iteration scheme coupled with a high-order energy method that captures and controls the implicit selection mechanism.


title: Vulgar Remarks Detection in Chittagonian Dialect of Bangla

abstract: The negative effects of online bullying and harassment are increasing with Internet popularity, especially in social media. One solution is using natural language processing (NLP) and machine learning (ML) methods for the automatic detection of harmful remarks, but these methods are limited in low-resource languages like the Chittagonian dialect of Bangla.This study focuses on detecting vulgar remarks in social media using supervised ML and deep learning algorithms.Logistic Regression achieved promising accuracy (0.91) while simple RNN with Word2vec and fastTex had lower accuracy (0.84-0.90), highlighting the issue that NN algorithms require more data.


title: PEM: Representing Binary Program Semantics for Similarity Analysis via a Probabilistic Execution Model

abstract: Binary similarity analysis determines if two binary executables are from the same source program. Existing techniques leverage static and dynamic program features and may utilize advanced Deep Learning techniques. Although they have demonstrated great potential, the community believes that a more effective representation of program semantics can further improve similarity analysis. In this paper, we propose a new method to represent binary program semantics. It is based on a novel probabilistic execution engine that can effectively sample the input space and the program path space of subject binaries. More importantly, it ensures that the collected samples are comparable across binaries, addressing the substantial variations of input specifications. Our evaluation on 9 real-world projects with 35k functions, and comparison with 6 state-of-the-art techniques show that PEM can achieve a precision of 96% with common settings, outperforming the baselines by 10-20%.