title: Ecmas: Efficient Circuit Mapping and Scheduling for Surface Code

abstract: As the leading candidate of quantum error correction codes, surface code suffers from significant overhead, such as execution time. Reducing the circuit's execution time not only enhances its execution efficiency but also improves fidelity. However, finding the shortest execution time is NP-hard. In this work, we study the surface code mapping and scheduling problem. To reduce the execution time of a quantum circuit, we first introduce two novel metrics: Circuit Parallelism Degree and Chip Communication Capacity to quantitatively characterize quantum circuits and chips. Then, we propose a resource-adaptive mapping and scheduling method, named Ecmas, with customized initialization of chip resources for each circuit. Ecmas can dramatically reduce the execution time in both double defect and lattice surgery models. Furthermore, we provide an additional version Ecmas-ReSu for sufficient qubits, which is performance-guaranteed and more efficient. Extensive numerical tests on practical datasets show that Ecmas outperforms the state-of-the-art methods by reducing the execution time by 51.5% on average for double defect model. Ecmas can reach the optimal result in most benchmarks, reducing the execution time by up to 13.9% for lattice surgery model.


title: A fixed point theorem for mappings in partial metric spaces

abstract: In this paper we are going to prove a very general fixed point theorem for mappings acting in partial metric spaces. In that theorem we impose some conditions on behavior of considered mappings on orbits and a condition relating orbits of points of small size.


title: Adaptive Reduced Multilevel Splitting

abstract: This paper considers the classical problem of sampling with Monte Carlo methods a target probability distribution obtained by conditioning on a rare event defined by the level set of a real-valued score function that is very expensive to compute. We also consider a context where, with each new evaluation of the true score function, a method that iteratively builds a sequence of reduced scores is available; these reduced scores being moreover certified with pointwise error bounds. This work proposes a fully adaptive algorithm that iteratively: i) builds a sequence of proposal distributions obtained by conditioning on the reduced score above an adaptively well-chosen level, and ii) draws from the latter both for importance sampling of the true target rare events, as well as for proposing relevant (expensive) updates to the reduced score. An essential contribution consists in the adaptive choice of the level in i) and ii). The latter is calculated solely from the reduced score and its error bound, and is interpreted as the first non-achievable level as quantified by a given cost (in a pessimistic scenario) of importance sampling of the associated true target distribution. From a practical point of view, sampling the proposal sequence is performed by extending the framework of the popular Adaptive Multilevel Splitting (AMS) algorithm to the use of score function reduction. Numerical experiments evaluate the proposed importance sampling algorithm in terms of computational complexity versus squared error. In particular, we investigate the performance of the algorithm when simulating rare events related to the solution of a parametric PDE approximated by a reduced basis.


title: Geometric frustration and pairing order transition in confined bacterial vortices

abstract: Dense systems of active matter exhibit highly dynamic collective motion characterized by intermingled vortices, referred to as active turbulence. The interaction between these vortices is key to controlling turbulent dynamics, and a promising approach for revealing the rules governing their interaction is geometric confinement. In this study, we investigate the vortex-pairing patterns in confined bacterial suspensions as a model frustrated system in which a perfect antiferromagnetic state is prohibited. We found that three-body vortex interactions exhibited anomalous pairing-order transition from co-rotational vortex-pairing to counter-rotating patterns with frustration. Although an active matter system is in non-equilibrium, our theory based on bending energy accounts for significant features including pattern transition and shift of the transition point in frustrated systems. Moreover, the interplay between the chirality in collective motion and frustration in vortex pairing creates a collective rotational flow under the broad geometric conditions of a confined space. Our results show that frustrated vortex patterning promotes a geometric approach for arranging active turbulence in microfluidic systems.


title: Human101: Training 100+FPS Human Gaussians in 100s from 1 View

abstract: Reconstructing the human body from single-view videos plays a pivotal role in the virtual reality domain. One prevalent application scenario necessitates the rapid reconstruction of high-fidelity 3D digital humans while simultaneously ensuring real-time rendering and interaction. Existing methods often struggle to fulfill both requirements. In this paper, we introduce Human101, a novel framework adept at producing high-fidelity dynamic 3D human reconstructions from 1-view videos by training 3D Gaussians in 100 seconds and rendering in 100+ FPS. Our method leverages the strengths of 3D Gaussian Splatting, which provides an explicit and efficient representation of 3D humans. Standing apart from prior NeRF-based pipelines, Human101 ingeniously applies a Human-centric Forward Gaussian Animation method to deform the parameters of 3D Gaussians, thereby enhancing rendering speed (i.e., rendering 1024-resolution images at an impressive 60+ FPS and rendering 512-resolution images at 100+ FPS). Experimental results indicate that our approach substantially eclipses current methods, clocking up to a 10 times surge in frames per second and delivering comparable or superior rendering quality. Code and demos will be released at https://github.com/longxiang-ai/Human101.


title: Room temperature ferromagnetic semiconductors through metal-semiconductor transition in monolayer MnSe2

abstract: To realize room temperature ferromagnetic semiconductors is still a challenge in spintronics. Recent experiments have obtained two-dimensional (2D) room temperature ferromagnetic metals, such as monolayer MnSe2. In this paper, we proposed a way to obtain room temperature ferromagnetic semiconductors through metal-semiconductor transition. By the density functional theory calculations, a room temperature ferromagnetic semiconductor is obtained in monolayer MnSe2 with a few percent tensile strains, where a metal-semiconductor transition occurs with 2.2% tensile stain. The tensile stains raise the energy of d orbitals of Mn atoms and p orbitals of Se atoms near the Fermi level, making the Fermi level sets in the energy gap of bonding and antibonding states of these p and d orbitals, and opening a small band gap. The room temperature ferromagnetic semiconductors are also obtained in the heterostructures MnSe2/X (X = Al2Se3, GaSe, SiH, and GaP), where metal-semiconductor transition happens due to the tensile strains by interface of heterostructures. In addition, a large magneto-optical Kerr effect (MOKE) is obtained in monolayer MnSe2 with tensile strain and MnSe2-based heterostructures. Our theoretical results pave a way to obtain room temperature magnetic semiconductors from experimentally obtained 2D room temperature ferromagnetic metals through metal-semiconductor transitions.


title: Surveying the ice condensation period at southern polar Mars using a CNN

abstract: Before the seasonal polar ice cap starts to expand towards lower latitudes on Mars, small frost patches may condensate out during the cold night and they may remain on the surface even during the day in shady areas. If ice in these areas can persist before the arrival of the contiguous ice cap, they may remain after the recession of it too, until the irradiation increases and the ice is met with direct sunlight. In case these small patches form periodically at the same location, slow chemical changes might occur as well. To see the spatial and temporal occurrence of such ice patches, large number of optical images should be searched for and checked. The aim of this study is to survey the ice condensation period on the surface with an automatized method using a Convolutional Neural Network (CNN) applied to High-Resolution Imaging Science Experiment (HiRISE) imagery from the Mars Reconnaissance Orbiter mission. The CNN trained to recognise small ice patches is automatizing the search, making it feasible to analyse large datasets. Previously a manual image analysis was conducted on 110 images from the southern hemisphere, captured by the HiRISE camera. Out of these, 37 images were identified with smaller ice patches, which were used to train the CNN. This approach is applied now to find further images with potential water ice patches in the latitude band between -40{\deg} and -60{\deg}, but contrarily to the training dataset recorded between 140-200{\deg} solar longitude, the images were taken from the condensation period between Ls = 0{\deg} to 90{\deg}. The model was ran on 171 new HiRISE images randomly picked from the given period between -40{\deg} and -60{\deg} latitude band, creating 73155 small image chunks. The model classified 2 images that show small, probably recently condensed frost patches and 327 chunks were predicted to show ice with more than 60% probability.


title: Commutativity of Cofinal Types

abstract: We developed the theory of deterministic ideals and present a systematic study of the pseudo-intersection property with respect to an ideal introduced in \cite{TomNatasha2}. We apply this theory to prove that for any two ultrafilters $U,V$ on $\omega$, $U\cdot V\equiv_T V\cdot U$. Additionally, we analyze the class of ultrafilters which are Tukey above $\omega^\omega$. Our theory applies the study of the Tukey types of a general sum of ultrafilters, which, as evidenced by the results of this paper, can be quite complex. Finally, we introduce the hierarchy of $\alpha$-almost rapid ultrafilters. We prove that it is consistent for them to form a strictly wider class than the rapid ultrafilters, and give an example of a non-rapid $p$-point which is Tukey above $\omega^\omega$. This answers several questions from previous papers on the subject.


title: Robust Hamiltonicity

abstract: We study conditions under which a given hypergraph is randomly robust Hamiltonian, which means that a random sparsification of the host graph contains a Hamilton cycle with high probability. Our main contribution provides nearly optimal results whenever the host graph is Hamilton connected in a locally robust sense, which translates to a typical induced subgraph of constant order containing Hamilton paths between any pair of suitable ends. The proofs are based on the recent breakthrough on Talagrand's conjecture, which reduces the problem to specifying a distribution on the desired guest structure in the (deterministic) host structure. We find such a distribution via a new argument that reduces the problem to the case of perfect matchings in a higher uniformity. As an application, we obtain asymptotically optimal results for perfect tilings in graphs and hypergraphs both in the minimum degree and uniformly dense setting. We also prove random robustness for powers of cycles under asymptotically optimal minimum degrees and degree sequences. We solve the problem for loose and tight Hamilton cycles in hypergraphs under a range of asymptotic minimum degree conditions. This includes in particular the case of $3$-uniform tight Hamilton cycles under vertex degree conditions. In all cases, our bounds on the sparseness are essentially best-possible.


title: Self-Supervised Depth Completion Guided by 3D Perception and Geometry Consistency

abstract: Depth completion, aiming to predict dense depth maps from sparse depth measurements, plays a crucial role in many computer vision related applications. Deep learning approaches have demonstrated overwhelming success in this task. However, high-precision depth completion without relying on the ground-truth data, which are usually costly, still remains challenging. The reason lies on the ignorance of 3D structural information in most previous unsupervised solutions, causing inaccurate spatial propagation and mixed-depth problems. To alleviate the above challenges, this paper explores the utilization of 3D perceptual features and multi-view geometry consistency to devise a high-precision self-supervised depth completion method. Firstly, a 3D perceptual spatial propagation algorithm is constructed with a point cloud representation and an attention weighting mechanism to capture more reasonable and favorable neighboring features during the iterative depth propagation process. Secondly, the multi-view geometric constraints between adjacent views are explicitly incorporated to guide the optimization of the whole depth completion model in a self-supervised manner. Extensive experiments on benchmark datasets of NYU-Depthv2 and VOID demonstrate that the proposed model achieves the state-of-the-art depth completion performance compared with other unsupervised methods, and competitive performance compared with previous supervised methods.


title: The Covariant Stone-von Neumann Theorem for Locally Compact Quantum Groups

abstract: The Stone-von Neumann Theorem is a fundamental result which unified the competing quantum mechanical models of matrix mechanics and wave mechanics. It's mechanism of proof ultimately involved the study of unitary group representations on a Hilbert space. In this article, we continue the broad generalization set out in arxiv:1903.09351 and arxiv:2109.08997, analyzing representations of locally compact quantum dynamical systems defined on Hilbert modules, of which the classical result is a special case. We introduce a pair of modular representations which subsume numerous models which appear in the literature, and for certain coactions (G, A, {\alpha}) recover the multiplicity results of arxiv:2109.08997. As a corollary, we develop a new criterion for identifying strongly regular locally compact quantum groups, related to the study of their dynamics on elementary C*-algebras.


title: Monitoring the Evolution of Behavioural Embeddings in Social Media Recommendation

abstract: Emerging short-video platforms like TikTok, Instagram Reels, and ShareChat present unique challenges for recommender systems, primarily originating from a continuous stream of new content. ShareChat alone receives approximately 2 million pieces of fresh content daily, complicating efforts to assess quality, learn effective latent representations, and accurately match content with the appropriate user base, especially given limited user feedback. Embedding-based approaches are a popular choice for industrial recommender systems because they can learn low-dimensional representations of items, leading to effective recommendation that can easily scale to millions of items and users. Our work characterizes the evolution of such embeddings in short-video recommendation systems, comparing the effect of batch and real-time updates to content embeddings. We investigate \emph{how} embeddings change with subsequent updates, explore the relationship between embeddings and popularity bias, and highlight their impact on user engagement metrics. Our study unveils the contrast in the number of interactions needed to achieve mature embeddings in a batch learning setup versus a real-time one, identifies the point of highest information updates, and explores the distribution of $\ell_2$-norms across the two competing learning modes. Utilizing a production system deployed on a large-scale short-video app with over 180 million users, our findings offer insights into designing effective recommendation systems and enhancing user satisfaction and engagement in short-video applications.


title: On a Subclass of Starlike Functions Associated with a Strip Domain

abstract: In the present investigation, we introduce a new subclass of starlike functions defined by $\mathcal{S}^{*}_{\tau}:=\{f\in \mathcal{A}:zf'(z)/f(z) \prec 1+\arctan z=:\tau(z)\}$, where $\tau(z)$ maps the unit disk $\mathbb {D}:= \{z\in \mathbb{C}:|z|<1\}$ onto a strip domain. We derive structural formulae, growth, and distortion theorems for $\mathcal{S}^{*}_{\tau}$. Also, inclusion relations with some well-known subclasses of $\mathcal{S}$ are established and obtain sharp radius estimates, as well as sharp coefficient bounds for the initial five coefficients and the second and third-order Hankel determinants of $\mathcal{S}^{*}_{\tau}$.


title: A new type of window functions constructed with exponential function

abstract: The Discrete Fourier Transform (DFT) is widely utilized for signal analysis but is plagued by spectral leakage, leading to inaccuracies in signal approximation. Window functions play a crucial role in mitigating spectral leakage by providing weighting mechanisms for discrete signals. In this paper, we introduce a novel window type based on exponential function, allowing for adjustable parameters and diverse variations. We present the formulation, properties, and motivation behind the design of the new window functions. Additionally, we analyze their behavior and evaluate their performance by comparing them with mainstream window functions using six parameters. Our findings demonstrate that these new window functions exhibit outstanding flexibility and versatility in signal analysis.


title: MGDepth: Motion-Guided Cost Volume For Self-Supervised Monocular Depth In Dynamic Scenarios

abstract: Despite advancements in self-supervised monocular depth estimation, challenges persist in dynamic scenarios due to the dependence on assumptions about a static world. In this paper, we present MGDepth, a Motion-Guided Cost Volume Depth Net, to achieve precise depth estimation for both dynamic objects and static backgrounds, all while maintaining computational efficiency. To tackle the challenges posed by dynamic content, we incorporate optical flow and coarse monocular depth to create a novel static reference frame. This frame is then utilized to build a motion-guided cost volume in collaboration with the target frame. Additionally, to enhance the accuracy and resilience of the network structure, we introduce an attention-based depth net architecture to effectively integrate information from feature maps with varying resolutions. Compared to methods with similar computational costs, MGDepth achieves a significant reduction of approximately seven percent in root-mean-square error for self-supervised monocular depth estimation on the KITTI-2015 dataset.


title: Study of the magnetoelastic effect in nickel and cobalt thin films at GHz range using X-ray microscopy

abstract: We use surface acoustic waves of 1 and 3 GHz in hybrid piezoelectric-magnetic systems with either cobalt or nickel as a magnetic layer to generate magnetoacoustic waves and directly image them using stroboscopic X-ray magnetic circular dichroism imaging. Our measurements visualize and quantify the amplitudes of both acoustic and magnetic components of the magnetoacoustic waves, which are generated in the ferromagnetic layer and can propagate over millimeter distances. Additionally, we quantifiedy the magnetoelastic strain component for cobalt and nickel through micromagnetic simulations. We obtained a drop in the magnetoacoustic signal at 3 GHz suggesting a speed limit for the efficient magnetoelastic coupling in our hybrid devices.


title: Anticipating dengue outbreaks using a novel hybrid ARIMA-ARNN model with exogenous variables

abstract: Dengue incidence forecasting using hybrid models has been surging in the data rich world. Hybridization of statistical time series forecasting models and machine learning models are explored for dengue forecasting with different degrees of success. In this paper, we propose a multivariate expansion of the hybrid ARIMA-ARNN model. The main motivation is to propose a novel hybridization and apply it to dengue outbreak prediction. The asymptotic stationarity of the proposed model has been established. We check the forecasting capability and robustness of the forecasts through numerical experiments. State-of-the-art forecasting models for multivariate time series data are compared with the proposed model using accuracy metrics. Dengue incidence data from San Juan and Iquitos are utilized along with rainfall as an exogenous variable. Results indicate that the proposed model improves the ARIMAX forecasts in some situations and closely follows it otherwise. The theoretical as well as experimental results reinforce that the proposed model has the potential to act as a candidate for early warning of dengue outbreaks. The proposed model can be readily generalized to incorporate more exogenous variables and also applied to other time series forecasting problems wherever exogenous variable(s) are available.


title: SSFlowNet: Semi-supervised Scene Flow Estimation On Point Clouds With Pseudo Label

abstract: In the domain of supervised scene flow estimation, the process of manual labeling is both time-intensive and financially demanding. This paper introduces SSFlowNet, a semi-supervised approach for scene flow estimation, that utilizes a blend of labeled and unlabeled data, optimizing the balance between the cost of labeling and the precision of model training. SSFlowNet stands out through its innovative use of pseudo-labels, mainly reducing the dependency on extensively labeled datasets while maintaining high model accuracy. The core of our model is its emphasis on the intricate geometric structures of point clouds, both locally and globally, coupled with a novel spatial memory feature. This feature is adept at learning the geometric relationships between points over sequential time frames. By identifying similarities between labeled and unlabeled points, SSFlowNet dynamically constructs a correlation matrix to evaluate scene flow dependencies at individual point level. Furthermore, the integration of a flow consistency module within SSFlowNet enhances its capability to consistently estimate flow, an essential aspect for analyzing dynamic scenes. Empirical results demonstrate that SSFlowNet surpasses existing methods in pseudo-label generation and shows adaptability across varying data volumes. Moreover, our semi-supervised training technique yields promising outcomes even with different smaller ratio labeled data, marking a substantial advancement in the field of scene flow estimation.


title: Detecting anxiety from short clips of free-form speech

abstract: Barriers to accessing mental health assessments including cost and stigma continues to be an impediment in mental health diagnosis and treatment. Machine learning approaches based on speech samples could help in this direction. In this work, we develop machine learning solutions to diagnose anxiety disorders from audio journals of patients. We work on a novel anxiety dataset (provided through collaboration with Kintsugi Mindful Wellness Inc.) and experiment with several models of varying complexity utilizing audio, text and a combination of multiple modalities. We show that the multi-modal and audio embeddings based approaches achieve good performance in the task achieving an AUC ROC score of 0.68-0.69.


title: Benefit from public unlabeled data: A Frangi filtering-based pretraining network for 3D cerebrovascular segmentation

abstract: The precise cerebrovascular segmentation in time-of-flight magnetic resonance angiography (TOF-MRA) data is crucial for clinically computer-aided diagnosis. However, the sparse distribution of cerebrovascular structures in TOF-MRA results in an exceedingly high cost for manual data labeling. The use of unlabeled TOF-MRA data holds the potential to enhance model performance significantly. In this study, we construct the largest preprocessed unlabeled TOF-MRA datasets (1510 subjects) to date. We also provide three additional labeled datasets totaling 113 subjects. Furthermore, we propose a simple yet effective pertraining strategy based on Frangi filtering, known for enhancing vessel-like structures, to fully leverage the unlabeled data for 3D cerebrovascular segmentation. Specifically, we develop a Frangi filtering-based preprocessing workflow to handle the large-scale unlabeled dataset, and a multi-task pretraining strategy is proposed to effectively utilize the preprocessed data. By employing this approach, we maximize the knowledge gained from the unlabeled data. The pretrained model is evaluated on four cerebrovascular segmentation datasets. The results have demonstrated the superior performance of our model, with an improvement of approximately 3\% compared to state-of-the-art semi- and self-supervised methods. Furthermore, the ablation studies also demonstrate the generalizability and effectiveness of the pretraining method regarding the backbone structures. The code and data have been open source at: \url{https://github.com/shigen-StoneRoot/FFPN}.


title: Two-phase flows through porous media described by a Cahn--Hilliard--Brinkman model with dynamic boundary conditions

abstract: We investigate a new diffuse-interface model that describes creeping two-phase flows (i.e., flows exhibiting a low Reynolds number), especially flows that permeate a porous medium. The system of equations consists of a Brinkman equation for the volume averaged velocity field as well as a convective Cahn--Hilliard equation with dynamic boundary conditions for the phase-field, which describes the location of the two fluids within the domain. The dynamic boundary conditions are incorporated to model the interaction of the fluids with the wall of the container more precisely. In particular, they allow for a dynamic evolution of the contact angle between the interface separating the fluids and the boundary, and also for a convection-induced motion of the corresponding contact line. For our model, we first prove the existence of global-in-time weak solutions in the case where regular potentials are used in the Cahn--Hilliard subsystem. In this case, we can further show the uniqueness of the weak solution under suitable additional assumptions. Moreover, we further prove the existence of weak solutions in the case of singular potentials. Therefore, we regularize such singular potentials by a Yosida approximation, such that the results for regular potentials can be applied, and eventually pass to the limit in this approximation scheme.


title: MARS: Multi-Scale Adaptive Robotics Vision for Underwater Object Detection and Domain Generalization

abstract: Underwater robotic vision encounters significant challenges, necessitating advanced solutions to enhance performance and adaptability. This paper presents MARS (Multi-Scale Adaptive Robotics Vision), a novel approach to underwater object detection tailored for diverse underwater scenarios. MARS integrates Residual Attention YOLOv3 with Domain-Adaptive Multi-Scale Attention (DAMSA) to enhance detection accuracy and adapt to different domains. During training, DAMSA introduces domain class-based attention, enabling the model to emphasize domain-specific features. Our comprehensive evaluation across various underwater datasets demonstrates MARS's performance. On the original dataset, MARS achieves a mean Average Precision (mAP) of 58.57\%, showcasing its proficiency in detecting critical underwater objects like echinus, starfish, holothurian, scallop, and waterweeds. This capability holds promise for applications in marine robotics, marine biology research, and environmental monitoring. Furthermore, MARS excels at mitigating domain shifts. On the augmented dataset, which incorporates all enhancements (+Domain +Residual+Channel Attention+Multi-Scale Attention), MARS achieves an mAP of 36.16\%. This result underscores its robustness and adaptability in recognizing objects and performing well across a range of underwater conditions. The source code for MARS is publicly available on GitHub at https://github.com/LyesSaadSaoud/MARS-Object-Detection/


title: VIOLET: Visual Analytics for Explainable Quantum Neural Networks

abstract: With the rapid development of Quantum Machine Learning, quantum neural networks (QNN) have experienced great advancement in the past few years, harnessing the advantages of quantum computing to significantly speed up classical machine learning tasks. Despite their increasing popularity, the quantum neural network is quite counter-intuitive and difficult to understand, due to their unique quantum-specific layers (e.g., data encoding and measurement) in their architecture. It prevents QNN users and researchers from effectively understanding its inner workings and exploring the model training status. To fill the research gap, we propose VIOLET, a novel visual analytics approach to improve the explainability of quantum neural networks. Guided by the design requirements distilled from the interviews with domain experts and the literature survey, we developed three visualization views: the Encoder View unveils the process of converting classical input data into quantum states, the Ansatz View reveals the temporal evolution of quantum states in the training process, and the Feature View displays the features a QNN has learned after the training process. Two novel visual designs, i.e., satellite chart and augmented heatmap, are proposed to visually explain the variational parameters and quantum circuit measurements respectively. We evaluate VIOLET through two case studies and in-depth interviews with 12 domain experts. The results demonstrate the effectiveness and usability of VIOLET in helping QNN users and developers intuitively understand and explore quantum neural networks


title: Student similarity network clustering -- Does the time it takes for an answer to be selected follow a power-law?

abstract: This article uses a dataset of answers to questions to generate student similarity networks. Two similarity functions to determine the weights between each pair of students are used, one that assumes a power-law distribution of answers response times, and one that does not. The resulting networks are then clustered using different community finding algorithms and their resulting modularity is compared.


title: Cyclic duality between BV algebras and BV modules

abstract: We show that if an operad is at the same time a cosimplicial object such that the respective structure maps are compatible with the operadic composition in a natural way, then one obtains a Gerstenhaber algebra structure on cohomology, and if the operad is cyclic, even that of a BV algebra. In particular, if a cyclic opposite module over an operad with multiplication is itself a cyclic operad that meets the cosimplicial compatibility conditions, the cohomology of its cyclic dual turns into a BV algebra. This amounts to conditions for when the cyclic dual of a BV module is endowed with a BV algebra structure, a result we exemplify by looking at classical and less classical (co)homology groups in Hopf algebra theory.


title: Hamiltonian for Weyl Transverse Gravity

abstract: In this short note we determine Hamiltonian for Weyl transverse gravity. We find primary, secondary and tertiary constraints and calculate Poisson brackets between them. We also show that gauge fixing in Weyl transverse gravity leads to the Hamiltonian for unimodular gravity.


title: A Hybrid Image Encryption Scheme based on Chaos and a DPA-Resistant Sbox

abstract: Image encryption is one of the most common and effective methods to secure digital images. Recently, Khalid M. Hosny presented an image encryption scheme based on 6D hyper chaotic mapping and Q-Fibonacci matrix, which, despite its remarkable theoretical and practical properties, has several weaknesses, including inaccuracy of black image encryption, inappropriate white image encryption (improper entropy parameters, correlation, chi-square test, histogram, UACI, and NPCR), weak keys, inappropriate key usage. In this paper, based on Khaled Hosny's design, a new effective design is presented that has improved encryption security and efficiency. In addition, in the proposed design, a secure key and a substitution box with a high degree of transparency order, which is resistant to DPA attacks, have been added. Also, a method to improve transferring chaos parameters is also proposed. The test results show the improvement of the resistance of the proposed design against the common attacks of image encryption schemes and improvement in bandwidth consumption. Also it has been shown that the proposed scheme has produced better results in terms of both security and efficiency compared to other similar new schemes.


title: Ultra Reliable Low Latency Routing in LEO Satellite Constellations: A Stochastic Geometry Approach

abstract: In recent years, LEO satellite constellations have become envisioned as a core component of the next-generation wireless communication networks. The successive establishment of mega satellite constellations has triggered further demands for satellite communication advanced features: high reliability and low latency. In this article, we first establish a multi-objective optimization problem that simultaneously maximizes reliability and minimizes latency, then we solve it by two methods. According to the optimal solution, ideal upper bounds for reliability and latency performance of LEO satellite routing can be derived. Next, we design an algorithm for relay satellite subset selection, which can approach the ideal upper bounds in terms of performance. Furthermore, we derive analytical expressions for satellite availability, coverage probability, and latency under the stochastic geometry (SG) framework, and the accuracy is verified by Monte Carlo simulation. In the numerical results, we study the routing performance of three existing mega constellations and the impact of different constellation parameter configurations on performance. By comparing with existing routing strategies, we demonstrate the advantages of our proposed routing strategy and extend the scope of our research.


title: Causal Forecasting for Pricing

abstract: This paper proposes a novel method for demand forecasting in a pricing context. Here, modeling the causal relationship between price as an input variable to demand is crucial because retailers aim to set prices in a (profit) optimal manner in a downstream decision making problem. Our methods bring together the Double Machine Learning methodology for causal inference and state-of-the-art transformer-based forecasting models. In extensive empirical experiments, we show on the one hand that our method estimates the causal effect better in a fully controlled setting via synthetic, yet realistic data. On the other hand, we demonstrate on real-world data that our method outperforms forecasting methods in off-policy settings (i.e., when there's a change in the pricing policy) while only slightly trailing in the on-policy setting.


title: Impact of discontinuous grain size distributions on the spectral energy distribution of debris disks

abstract: The collisional evolution of debris disks is expected to result in a characteristic wavy pattern of the grain size distributions, i.e., an under/overabundance of particles of specific sizes. This perturbed grain size distribution potentially leaves characteristic patterns in the spectral energy distribution (SED) of the disk system. We aim to quantify and understand the specific influence of discontinuous particle size distributions on the appearance of debris disks. For this purpose, we consider dust emission models based on two different grain size distributions, i.e., once with a single and once with a broken power law. We compare the spectral index $\alpha$ ($F_{\nu}\,\propto \nu^{\rm{\,\alpha}}$) in the case of a continuous grain size distribution with that of a discontinuous grain size distribution. We perform this comparison for central stars with different spectral types and two different disk structures (e.g., slim and broad debris dust rings). Within the considered parameter space, we find a characteristic difference between the spectral slopes of the SED in the different scenarios. More specifically, the overabundance of small grains leads to a steeper slope in the far-infrared/submillimeter regime, while the spectral index in the mm regime is hardly affected. On the other hand, the underabundance of medium-sized grains results in a slight steepening of the far-infrared slope of SED, while its primary effect is on the mm slope of SED, causing it to become shallower. We also find that the impact of an overabundance of small dust particles is more pronounced than that of an underabundance of medium-sized dust particles. Furthermore, we find that the difference between the spectral indices for the two different grain size distributions is largest for debris disks around brighter central stars and broader disks.


title: Global attraction to solitons for 2D Maxwell--Lorentz equations with spinning particle

abstract: We consider the 2D Maxwell--Lorentz system which describes a rotating particle coupled to the Maxwell field. The system admits stationary soliton-type solutions. We prove the attraction to solitons for any finite energy solution relying on the conservation of angular momentum.


title: Pseudorandom and Pseudoentangled States from Subset States

abstract: Pseudorandom states (PRS) are an important primitive in quantum cryptography. In this paper, we show that subset states can be used to construct PRSs. A subset state with respect to $S$, a subset of the computational basis, is \[ \frac{1}{\sqrt{|S|}}\sum_{i\in S} |i\rangle. \] As a technical centerpiece, we show that for any fixed subset size $|S|=s$ such that $s = 2^n/\omega(\mathrm{poly}(n))$ and $s=\omega(\mathrm{poly}(n))$, where $n$ is the number of qubits, a random subset state is information-theoretically indistinguishable from a Haar random state even provided with polynomially many copies. This range of parameter is tight. Our work resolves a conjecture by Ji, Liu and Song. Since subset states of small size have small entanglement across all cuts, this construction also illustrates a pseudoentanglement phenomenon.


title: Markdown Pricing Under an Unknown Parametric Demand Model

abstract: Consider a single-product revenue-maximization problem where the seller monotonically decreases the price in $n$ rounds with an unknown demand model coming from a given family. Without monotonicity, the minimax regret is $\tilde O(n^{2/3})$ for the Lipschitz demand family and $\tilde O(n^{1/2})$ for a general class of parametric demand models. With monotonicity, the minimax regret is $\tilde O(n^{3/4})$ if the revenue function is Lipschitz and unimodal. However, the minimax regret for parametric families remained open. In this work, we provide a complete settlement for this fundamental problem. We introduce the crossing number to measure the complexity of a family of demand functions. In particular, the family of degree-$k$ polynomials has a crossing number $k$. Based on conservatism under uncertainty, we present (i) a policy with an optimal $\Theta(\log^2 n)$ regret for families with crossing number $k=0$, and (ii) another policy with an optimal $\tilde \Theta(n^{k/(k+1)})$ regret when $k\ge 1$. These bounds are asymptotically higher than the $\tilde O(\log n)$ and $\tilde \Theta(\sqrt n)$ minimax regret for the same families without the monotonicity constraint.


title: On Malyshev's method of automorphic functions in diffraction by wedges

abstract: We describe Malyshev's method of automorphic functions in application to boundary value problems in angles and to diffraction by wedges. We give a consize survey of related results of A. Sommerfeld, S.L. Sobolev, J.B. Keller, G.E. Shilov and others.


title: Understanding normalization in contrastive representation learning and out-of-distribution detection

abstract: Contrastive representation learning has emerged as an outstanding approach for anomaly detection. In this work, we explore the $\ell_2$-norm of contrastive features and its applications in out-of-distribution detection. We propose a simple method based on contrastive learning, which incorporates out-of-distribution data by discriminating against normal samples in the contrastive layer space. Our approach can be applied flexibly as an outlier exposure (OE) approach, where the out-of-distribution data is a huge collective of random images, or as a fully self-supervised learning approach, where the out-of-distribution data is self-generated by applying distribution-shifting transformations. The ability to incorporate additional out-of-distribution samples enables a feasible solution for datasets where AD methods based on contrastive learning generally underperform, such as aerial images or microscopy images. Furthermore, the high-quality features learned through contrastive learning consistently enhance performance in OE scenarios, even when the available out-of-distribution dataset is not diverse enough. Our extensive experiments demonstrate the superiority of our proposed method under various scenarios, including unimodal and multimodal settings, with various image datasets.


title: Fr\'echet Wavelet Distance: A Domain-Agnostic Metric for Image Generation

abstract: Modern metrics for generative learning like Fr\'echet Inception Distance (FID) demonstrate impressive performance. However, they suffer from various shortcomings, like a bias towards specific generators and datasets. To address this problem, we propose the Fr\'echet Wavelet Distance (FWD) as a domain-agnostic metric based on Wavelet Packet Transform ($W_p$). FWD provides a sight across a broad spectrum of frequencies in images with a high resolution, along with preserving both spatial and textural aspects. Specifically, we use Wp to project generated and dataset images to packet coefficient space. Further, we compute Fr\'echet distance with the resultant coefficients to evaluate the quality of a generator. This metric is general-purpose and dataset-domain agnostic, as it does not rely on any pre-trained network while being more interpretable because of frequency band transparency. We conclude with an extensive evaluation of a wide variety of generators across various datasets that the proposed FWD is able to generalize and improve robustness to domain shift and various corruptions compared to other metrics.


title: Superfluid rings as quantum pendulums

abstract: A feasible experimental proposal to realize a non-dispersive quantum pendulum is presented. The proposed setup consists of an ultracold atomic cloud, featuring attractive interatomic interactions, loaded into a tilted ring potential. The classical and quantum domains are switched on by tuned interactions, and the classical dynamical stabilization of unstable states, i.e. {\it a la} Kapitza, is shown to be driven by quantum phase imprinting. The potential use of this system as a gravimeter is discussed.


title: Reverse Multi-Choice Dialogue Commonsense Inference with Graph-of-Thought

abstract: With the proliferation of dialogic data across the Internet, the Dialogue Commonsense Multi-choice Question Answering (DC-MCQ) task has emerged as a response to the challenge of comprehending user queries and intentions. Although prevailing methodologies exhibit effectiveness in addressing single-choice questions, they encounter difficulties in handling multi-choice queries due to the heightened intricacy and informational density. In this paper, inspired by the human cognitive process of progressively excluding options, we propose a three-step Reverse Exclusion Graph-of-Thought (ReX-GoT) framework, including Option Exclusion, Error Analysis, and Combine Information. Specifically, our ReX-GoT mimics human reasoning by gradually excluding irrelevant options and learning the reasons for option errors to choose the optimal path of the GoT and ultimately infer the correct answer. By progressively integrating intricate clues, our method effectively reduces the difficulty of multi-choice reasoning and provides a novel solution for DC-MCQ. Extensive experiments on the CICERO and CICERO$_{v2}$ datasets validate the significant improvement of our approach on DC-MCQ task. On zero-shot setting, our model outperform the best baseline by 17.67% in terms of F1 score for the multi-choice task. Most strikingly, our GPT3.5-based ReX-GoT framework achieves a remarkable 39.44% increase in F1 score.


title: Formalism for Anatomy-Independent Projection and Optimization of Transcranial Magnetic Stimulation Coils

abstract: Transcranial magnetic stimulation (TMS) is a popular method for the noninvasive stimulation of neurons in the brain. It has become a standard instrument in experimental brain research and is approved for a range of diagnostic and therapeutic applications. Various applications have been established or approved for specific coil designs with their corresponding spatial electric field distributions. However, the specific coil implementation may no longer be appropriate from the perspective of material and manufacturing opportunities or considering the latest understanding of how to achieve induced electric fields in the head most efficiently. Furthermore, in some cases, field measurements of coils with unknown winding or a user-defined field are available and require an actual implementation. Similar applications exist for magnetic resonance imaging coils. This work aims at introducing a formalism that is completely free from heuristics, iterative optimization, and ad-hoc or manual steps to form practical stimulation coils with a winding consisting of individual turns to either equivalently match an existing coil or produce a given field. The target coil can reside on practically any sufficiently large or closed surface adjacent to or around the head. The method derives an equivalent field through vector projection. In contrast to other coil design or optimization approaches recently presented, the procedure is an explicit forward Hilbert-space vector projection or basis change. For demonstration, we map a commercial figure-of-eight coil as one of the most widely used devices and a more intricate coil recently approved clinically for addiction treatment (H4) onto a bent surface close to the head for highest efficiency and lowest field energy. The resulting projections are within 4% of the target field and reduce the necessary pulse energy by more than 40%.


title: Differentiable programming for inverse estimation of soil permeability and design of duct banks

abstract: Underground duct banks carrying power cables dissipate heat to the surrounding soil. The amount of heat dissipated determines the current rating of cables, which in turn affects the sizing of the cables. The dissipation of heat through the surrounding soils happens through conduction and convection. The mode of heat transfer depends on the soil's thermal and hydraulic properties like diffusivity and permeability. The soil surrounding the cables could be designed to have maximum heat dissipation to have an improved current rating of cables. Differentiable programming is a novel technique that combines automatic differentiation with gradient-based optimization to minimize a loss function. Hence, differentiable programming can be used to evaluate input parameters based on output results. Given a desired heat distribution in the soil and a temperature source, we use differentiable programming to solve the inverse problem of estimating the soil permeability. In the present study, we employ differentiable programming to optimize the design of the buried duck bank and the backfill soil to improve heat dissipation. The design involves optimizing the permeability and size of the fill material compared to the surrounding natural soil. To implement automatic differentiation, we develop an inverse finite difference code in the Julia programming language and ForwardDiff package. We demonstrate the design capabilities of the differentiable programming technique to obtain the optimum permeability of the backfill material from the norm of the temperature distribution in the surrounding soil.


title: On orbital stability of solitons for 2D Maxwell-Lorentz equations

abstract: We prove the orbital stability of soliton solutions for 2D Maxwell--Lorentz system with extended charged particle. The solitons corresponds to the uniform motion and rotation of the particle. We reduce the corresponding Hamilton system by the canonical transformation via transition to a comoving frame. The solitons are the critical points of the reduced Hamiltonian. The key point of the proof is a lower bound for the Hamiltonian.


title: AdamL: A fast adaptive gradient method incorporating loss function

abstract: Adaptive first-order optimizers are fundamental tools in deep learning, although they may suffer from poor generalization due to the nonuniform gradient scaling. In this work, we propose AdamL, a novel variant of the Adam optimizer, that takes into account the loss function information to attain better generalization results. We provide sufficient conditions that together with the Polyak-Lojasiewicz inequality, ensure the linear convergence of AdamL. As a byproduct of our analysis, we prove similar convergence properties for the EAdam, and AdaBelief optimizers. Experimental results on benchmark functions show that AdamL typically achieves either the fastest convergence or the lowest objective function values when compared to Adam, EAdam, and AdaBelief. These superior performances are confirmed when considering deep learning tasks such as training convolutional neural networks, training generative adversarial networks using vanilla convolutional neural networks, and long short-term memory networks. Finally, in the case of vanilla convolutional neural networks, AdamL stands out from the other Adam's variants and does not require the manual adjustment of the learning rate during the later stage of the training.


title: A nebular origin for the persistent radio emission of fast radio bursts

abstract: Fast radio bursts (FRBs) are millisecond-duration, bright ($\sim$Jy) extragalactic bursts, whose production mechanism is still unclear. Recently, two repeating FRBs were found to have a physically associated persistent radio source of non-thermal origin. These two FRBs have unusually large Faraday rotation measure values likely tracing a dense magneto-ionic medium, consistent with synchrotron radiation originating from a nebula surrounding the FRB source. Recent theoretical arguments predict that, if the observed Faraday rotation measure mostly arises from the persistent radio source region, there should be a simple relation between the luminosity of the latter and the first. We report here the detection of a third, less luminous persistent radio source associated with the repeating FRB source FRB20201124A at a distance of 413 Mpc, significantly expanding the predicted relation into the low luminosity - low Faraday rotation measure regime ($<$1000 rad m-2). At lower values of the Faraday rotation measure, the expected radio luminosity falls below the limit of detection threshold for present-day radio telescopes. These findings support the idea that the persistent radio sources observed so far are generated by a nebula in the FRB environment, and that FRBs with low Faraday rotation measure may not show a persistent radio source because of a weaker magneto-ionic medium. This is generally consistent with models invoking a young magnetar as the central engine of the FRB, where the surrounding ionized nebula - or the interacting shock in a binary system - powers the persistent radio source.


title: Make Me a BNN: A Simple Strategy for Estimating Bayesian Uncertainty from Pre-trained Models

abstract: Deep Neural Networks (DNNs) are powerful tools for various computer vision tasks, yet they often struggle with reliable uncertainty quantification - a critical requirement for real-world applications. Bayesian Neural Networks (BNN) are equipped for uncertainty estimation but cannot scale to large DNNs that are highly unstable to train. To address this challenge, we introduce the Adaptable Bayesian Neural Network (ABNN), a simple and scalable strategy to seamlessly transform DNNs into BNNs in a post-hoc manner with minimal computational and training overheads. ABNN preserves the main predictive properties of DNNs while enhancing their uncertainty quantification abilities through simple BNN adaptation layers (attached to normalization layers) and a few fine-tuning steps on pre-trained models. We conduct extensive experiments across multiple datasets for image classification and semantic segmentation tasks, and our results demonstrate that ABNN achieves state-of-the-art performance without the computational budget typically associated with ensemble methods.


title: 10 kT axial magnetic field generated using multiple conventional laser beams

abstract: Strong laser-generated magnetic fields have important applications in high energy density science and laboratory astrophysics. Although the inverse Faraday effect provides a mechanism for generating strong magnetic fields by absorbing angular momentum from a high-intensity laser pulse, it is not applicable to conventional linearly polarized (LP) Gaussian laser beams. We have dmeveloped a spatial arrangement that overcomes this difficulty by using multiple laser beams arranged to have a twist in the pointing direction. Using three-dimensional kinetic particle-in-cell simulations, we show that this arrangement is the key to generating a strong magnetic field. The resulting multi-kT picosecond axial magnetic field occupies tens of thousands of cubic microns of space and can be realized under a wide range of laser parameters and plasma conditions. Our scheme is well suited for implementation at PW-class laser facilities with multiple conventional LP laser beams.


title: Rupture of a surfactant-laden draining thin film

abstract: Surfactant-laden thin liquid films overlaid on solid substrates are encountered in a variety of industrial and biological settings. As these films reach submicron thickness, they tend to become unstable owing to the influence of long-range dispersion forces. In the current study, we investigate how gravitational drainage affects the stability attributes of such thin liquid films. Using scaling arguments, we demonstrate that gravity and dispersion forces can exert their influence simultaneously over a wide range of film thicknesses. In the lubrication limit, we carry out linear stability analysis and nonlinear simulations to understand the evolution of draining thin films. Linear stability indicates the existence of two unstable modes and two cut-off wavenumbers, as opposed to a single unstable mode and a unique cut-off wavenumber observed in stationary films. It is also found that surfactant-laden flowing films are more stable than stationary films with surfactants as well as draining films with clean interfaces. The origin of stabilization is identified as the enhanced surfactant perturbations generated due to drainage. We demonstrate that films exhibiting intermediate levels of surfactant activity and significant drainage exhibit the lowest rates of disturbance growth, leading to extending the time of rupture.


title: Q-Boost: On Visual Quality Assessment Ability of Low-level Multi-Modality Foundation Models

abstract: Recent advancements in Multi-modality Large Language Models (MLLMs) have demonstrated remarkable capabilities in complex high-level vision tasks. However, the exploration of MLLM potential in visual quality assessment, a vital aspect of low-level vision, remains limited. To address this gap, we introduce Q-Boost, a novel strategy designed to enhance low-level MLLMs in image quality assessment (IQA) and video quality assessment (VQA) tasks, which is structured around two pivotal components: 1) Triadic-Tone Integration: Ordinary prompt design simply oscillates between the binary extremes of $positive$ and $negative$. Q-Boost innovates by incorporating a `middle ground' approach through $neutral$ prompts, allowing for a more balanced and detailed assessment. 2) Multi-Prompt Ensemble: Multiple quality-centric prompts are used to mitigate bias and acquire more accurate evaluation. The experimental results show that the low-level MLLMs exhibit outstanding zeros-shot performance on the IQA/VQA tasks equipped with the Q-Boost strategy.


title: Inverting the Kohn-Sham equations with physics-informed machine learning

abstract: Electronic structure theory calculations offer an understanding of matter at the quantum level, complementing experimental studies in materials science and chemistry. One of the most widely used methods, density functional theory (DFT), maps a set of real interacting electrons to a set of fictitious non-interacting electrons that share the same probability density. Ensuring that the density remains the same depends on the exchange-correlation (XC) energy and, by a derivative, the XC potential. Inversions provide a method to obtain exact XC potentials from target electronic densities, in hopes of gaining insights into accuracy-boosting approximations. Neural networks provide a new avenue to perform inversions by learning the mapping from density to potential. In this work, we learn this mapping using physics-informed machine learning (PIML) methods, namely physics informed neural networks (PINNs) and Fourier neural operators (FNOs). We demonstrate the capabilities of these two methods on a dataset of one-dimensional atomic and molecular models. The capabilities of each approach are discussed in conjunction with this proof-of-concept presentation. The primary finding of our investigation is that the combination of both approaches has the greatest potential for inverting the Kohn-Sham equations at scale.


title: GenMorph: Automatically Generating Metamorphic Relations via Genetic Programming

abstract: Metamorphic testing is a popular approach that aims to alleviate the oracle problem in software testing. At the core of this approach are Metamorphic Relations (MRs), specifying properties that hold among multiple test inputs and corresponding outputs. Deriving MRs is mostly a manual activity, since their automated generation is a challenging and largely unexplored problem. This paper presents GenMorph, a technique to automatically generate MRs for Java methods that involve inputs and outputs that are boolean, numerical, or ordered sequences. GenMorph uses an evolutionary algorithm to search for effective test oracles, i.e., oracles that trigger no false alarms and expose software faults in the method under test. The proposed search algorithm is guided by two fitness functions that measure the number of false alarms and the number of missed faults for the generated MRs. Our results show that GenMorph generates effective MRs for 18 out of 23 methods (mutation score >20%). Furthermore, it can increase Randoop's fault detection capability in 7 out of 23 methods, and Evosuite's in 14 out of 23 methods. When compared with AutoMR, a state-of-the-art MR generator, GenMorph also outperformed its fault detection capability in 9 out of 10 methods.


title: The log moments of smallest denominators

abstract: This paper studies the logarithmic moments of the smallest denominator of all rationals in a shrinking interval with random center. Convergence follows from the more general results in [arXiv:2310.11251, Bull. Lond. Math. Soc., to appear], and the key point of this note is the derivation of explicit formulas for the moments of the limit distribution in dimension one. This answers questions raised by Meiss and Sander in their numerical study of minimal resonance orders for torus maps with random rotation vectors [arXiv:2310.11600].


title: Exploring the Capabilities of ChatGPT in Ancient Chinese Translation and Person Name Recognition

abstract: ChatGPT's proficiency in handling modern standard languages suggests potential for its use in understanding ancient Chinese. This paper explores ChatGPT's capabilities on ancient Chinese via two tasks: translating ancient Chinese to modern Chinese and recognizing ancient Chinese names. A comparison of ChatGPT's output with human translations serves to evaluate its comprehension of ancient Chinese. The findings indicate that: (1.)the proficiency of ancient Chinese by ChatGPT is yet to reach a satisfactory level; (2.) ChatGPT performs the best on ancient-to-modern translation when feeding with three context sentences. To help reproduce our work, we display the python code snippets used in this study.


title: Efficient training of Gaussian processes with tensor product structure

abstract: To determine the optimal set of hyperparameters of a Gaussian process based on a large number of training data, both a linear system and a trace estimation problem must be solved. In this paper, we focus on establishing numerical methods for the case where the covariance matrix is given as the sum of possibly multiple Kronecker products, i.e., can be identified as a tensor. As such, we will represent this operator and the training data in the tensor train format. Based on the AMEn method and Krylov subspace methods, we derive an efficient scheme for computing the matrix functions required for evaluating the gradient and the objective function in hyperparameter optimization.


title: Reconstructing High-Dimensional Datasets From Their Bivariate Projections

abstract: This paper deals with developing techniques for the reconstruction of high-dimensional datasets given each bivariate projection, as would be found in a matrix scatterplot. A graph-based solution is introduced, involving clique-finding, providing a set of possible rows that might make up the original dataset. Complications are discussed, including cases where phantom cliques are found, as well as cases where an exact solution is impossible. Additional methods are shown, with some dealing with fully deducing rows and others dealing with having to creatively produce methods that find some possibilities to be more likely than others. Results show that these methods are highly successful in recreating a significant portion of the original dataset in many cases - for randomly generated and real-world datasets - with the factors leading to a greater rate of failure being lower dimension, higher n, and lower interval.


title: Mitigating Algorithmic Bias on Facial Expression Recognition

abstract: Biased datasets are ubiquitous and present a challenge for machine learning. For a number of categories on a dataset that are equally important but some are sparse and others are common, the learning algorithms will favor the ones with more presence. The problem of biased datasets is especially sensitive when dealing with minority people groups. How can we, from biased data, generate algorithms that treat every person equally? This work explores one way to mitigate bias using a debiasing variational autoencoder with experiments on facial expression recognition.


title: The hull variation problem for projective Reed-Muller codes and quantum error-correcting codes

abstract: Long quantum codes using projective Reed-Muller codes are constructed. Projective Reed-Muller are evaluation codes obtained by evaluating homogeneous polynomials at the projective space. We obtain asymmetric and symmetric quantum codes by using the CSS construction and the Hermitian construction, respectively. We provide entanglement-assisted quantum error-correcting codes from projective Reed-Muller codes with flexible amounts of entanglement by considering equivalent codes. Moreover, we also construct quantum codes from subfield subcodes of projective Reed-Muller codes.


title: Dynamic Runtime Assertions in Quantum Ternary Systems

abstract: With the rapid advancement of quantum computing technology, there is a growing need for new debugging tools for quantum programs. Recent research has highlighted the potential of assertions for debugging quantum programs. In this paper, we investigate assertions in quantum ternary systems, which are more challenging than those in quantum binary systems due to the complexity of ternary logic. We propose quantum ternary circuit designs to assert classical, entanglement, and superposition states, specifically geared toward debugging quantum ternary programs.


title: Towards Generalization in Subitizing with Neuro-Symbolic Loss using Holographic Reduced Representations

abstract: While deep learning has enjoyed significant success in computer vision tasks over the past decade, many shortcomings still exist from a Cognitive Science (CogSci) perspective. In particular, the ability to subitize, i.e., quickly and accurately identify the small (less than 6) count of items, is not well learned by current Convolutional Neural Networks (CNNs) or Vision Transformers (ViTs) when using a standard cross-entropy (CE) loss. In this paper, we demonstrate that adapting tools used in CogSci research can improve the subitizing generalization of CNNs and ViTs by developing an alternative loss function using Holographic Reduced Representations (HRRs). We investigate how this neuro-symbolic approach to learning affects the subitizing capability of CNNs and ViTs, and so we focus on specially crafted problems that isolate generalization to specific aspects of subitizing. Via saliency maps and out-of-distribution performance, we are able to empirically observe that the proposed HRR loss improves subitizing generalization though it does not completely solve the problem. In addition, we find that ViTs perform considerably worse compared to CNNs in most respects on subitizing, except on one axis where an HRR-based loss provides improvement.


title: Pixel-Level Change Detection Pseudo-Label Learning for Remote Sensing Change Captioning

abstract: The existing methods for Remote Sensing Image Change Captioning (RSICC) perform well in simple scenes but exhibit poorer performance in complex scenes. This limitation is primarily attributed to the model's constrained visual ability to distinguish and locate changes. Acknowledging the inherent correlation between change detection (CD) and RSICC tasks, we believe pixel-level CD is significant for describing the differences between images through language. Regrettably, the current RSICC dataset lacks readily available pixel-level CD labels. To address this deficiency, we leverage a model trained on existing CD datasets to derive CD pseudo-labels. We propose an innovative network with an auxiliary CD branch, supervised by pseudo-labels. Furthermore, a semantic fusion augment (SFA) module is proposed to fuse the feature information extracted by the CD branch, thereby facilitating the nuanced description of changes. Experiments demonstrate that our method achieves state-of-the-art performance and validate that learning pixel-level CD pseudo-labels significantly contributes to change captioning. Our code will be available at: https://github.com/Chen-Yang-Liu/Pix4Cap


title: A dynamical neural network approach for distributionally robust chance constrained Markov decision process

abstract: In this paper, we study the distributionally robust joint chance constrained Markov decision process. {Utilizing the logarithmic transformation technique,} we derive its deterministic reformulation with bi-convex terms under the moment-based uncertainty set. To cope with the non-convexity and improve the robustness of the solution, we propose a dynamical neural network approach to solve the reformulated optimization problem. Numerical results on a machine replacement problem demonstrate the efficiency of the proposed dynamical neural network approach when compared with the sequential convex approximation approach.


title: Human-Centric Resource Allocation for the Metaverse With Multiaccess Edge Computing

abstract: Multi-access edge computing (MEC) is a promising solution to the computation-intensive, low-latency rendering tasks of the metaverse. However, how to optimally allocate limited communication and computation resources at the edge to a large number of users in the metaverse is quite challenging. In this paper, we propose an adaptive edge resource allocation method based on multi-agent soft actor-critic with graph convolutional networks (SAC-GCN). Specifically, SAC-GCN models the multi-user metaverse environment as a graph where each agent is denoted by a node. Each agent learns the interplay between agents by graph convolutional networks with self-attention mechanism to further determine the resource usage for one user in the metaverse. The effectiveness of SAC-GCN is demonstrated through the analysis of user experience, balance of resource allocation, and resource utilization rate by taking a virtual city park metaverse as an example. Experimental results indicate that SAC-GCN outperforms other resource allocation methods in improving overall user experience, balancing resource allocation, and increasing resource utilization rate by at least 27%, 11%, and 8%, respectively.


title: Exact ground state of interacting electrons in magic angle graphene

abstract: One of the most remarkable theoretical findings in magic angle twisted bilayer graphene (TBG) is the emergence of ferromagnetic Slater determinants as exact ground states for the interacting Hamiltonian at the chiral limit. This discovery provides an explanation for the correlated insulating phase which has been experimentally observed at half filling. This work is the first mathematical study of interacting models in magic angle graphene systems. These include not only TBG but also TBG-like systems featuring four flat bands per valley, and twisted trilayer graphene (TTG) systems with equal twist angles. We identify symmetries of the Bistritzer-MacDonald Hamiltonian that are responsible for characterizing the Hartree-Fock ground states as zero energy many-body ground states. Furthermore, for a general class of Hamiltonian, we establish criteria that the ferromagnetic Slater determinants are the unique ground states within the class of uniformly half-filled, translation invariant Slater determinants. We then demonstrate that these criteria can be explicitly verified for TBG and TBG-like systems at the chiral limit, using properties of Jacobi-$\theta$ and Weierstrass-$\wp$ functions.

categories: math-ph cond-mat.mes-hall cond-mat.str-el math.MP


title: Chance constrained nonlinear fractional programming with random benchmark

abstract: This paper studies the chance constrained fractional programming with a random benchmark. We assume that the random variables on the numerator follow the Gaussian distribution, and the random variables on the denominator and the benchmark follow a joint discrete distribution. Under some mild assumptions, we derive a convex reformulation of chance constrained fractional programming. For practical use, we apply piecewise linear and tangent approximations to the quantile function. We conduct numerical experiments on a main economic application problem.


title: Paralinguistics-Enhanced Large Language Modeling of Spoken Dialogue

abstract: Large Language Models (LLMs) have demonstrated superior abilities in tasks such as chatting, reasoning, and question-answering. However, standard LLMs may ignore crucial paralinguistic information, such as sentiment, emotion, and speaking style, which are essential for achieving natural, human-like spoken conversation, especially when such information is conveyed by acoustic cues. We therefore propose Paralinguistics-enhanced Generative Pretrained Transformer (ParalinGPT), an LLM that utilizes text and speech modalities to better model the linguistic content and paralinguistic attributes of spoken dialogue. The model takes the conversational context of text, speech embeddings, and paralinguistic attributes as input prompts within a serialized multitasking multimodal framework. Specifically, our framework serializes tasks in the order of current paralinguistic attribute prediction, response paralinguistic attribute prediction, and response text generation with autoregressive conditioning. We utilize the Switchboard-1 corpus, including its sentiment labels as the paralinguistic attribute, as our spoken dialogue dataset. Experimental results indicate the proposed serialized multitasking method outperforms typical sequence classification techniques on current and response sentiment classification. Furthermore, leveraging conversational context and speech embeddings significantly improves both response text generation and sentiment prediction. Our proposed framework achieves relative improvements of 6.7%, 12.0%, and 3.5% in current sentiment accuracy, response sentiment accuracy, and response text BLEU score, respectively.


title: The Fano variety of lines on singular cyclic cubic fourfolds

abstract: We study the symplectic resolution of the Fano variety of lines on some singular cyclic cubic fourfolds, i.e. cubic fourfolds arising as cyclic 3:1 cover of $\mathbb{P}^4$ branched along a cubic threefold. In particular we are interested in the geometry of these varieties in the case of cyclic cubic fourfolds branched along a cubic threefold having one isolated singularity of type $A_i$ for $i=2,3,4$. On these symplectic resolutions we find a non-symplectic automorphism of order three induced by the covering automorphism.


title: Toward Rapid Bug Resolution for Android Apps

abstract: Bug reports document unexpected behaviors in software, enabling developers to understand, validate, and fix bugs. Unfortunately, a significant portion of bug reports is of low quality, which poses challenges for developers in terms of addressing these issues. Prior research has delved into the information needed for documenting high-quality bug reports and expediting bug report management. Furthermore, researchers have explored the challenges associated with bug report management and proposed various automated techniques. Nevertheless, these techniques exhibit several limitations, including a lexical gap between developers and reporters, difficulties in bug reproduction, and identifying bug locations. Therefore, there is a pressing need for additional efforts to effectively manage bug reports and enhance the quality of both desktop and mobile applications. In this paper, we describe the existing limitations of bug reports and identify potential strategies for addressing them. Our vision encompasses a future where the alleviation of these limitations and successful execution of our proposed new research directions can benefit both reporters and developers, ultimately making the entire software maintenance faster.


title: TMAP: A Threat Modeling and Attack Path Analysis Framework for Industrial IoT Systems (A Case Study of IoM and IoP)

abstract: Industrial cyber-physical systems (ICPS) are gradually integrating information technology and automating industrial processes, leading systems to become more vulnerable to malicious actors. Thus, to deploy secure Industrial Control and Production Systems (ICPS) in smart factories, cyber threats and risks must be addressed. To identify all possible threats, Threat Modeling is a promising solution. Despite the existence of numerous methodological solutions for threat modeling in cyber-physical systems (CPS), current approaches are ad hoc and inefficient in providing clear insights to researchers and organizations involved in IIoT technologies. These approaches lack a comprehensive analysis of cyber threats and fail to facilitate effective path analysis across the ICPS lifecycle, incorporating smart manufacturing technologies and tools. To address these gaps, a novel quantitative threat modeling approach is proposed, aiming to identify probable attack vectors, assess the path of attacks, and evaluate the magnitude of each vector. This paper also explains the execution of the proposed approach with two case studies, namely the industrial manufacturing line, i.e., the Internet of Manufacturing (IoM), and the power and industry, i.e., the Internet of Production (IoP).


title: GestaltMML: Enhancing Rare Genetic Disease Diagnosis through Multimodal Machine Learning Combining Facial Images and Clinical Texts

abstract: Individuals with suspected rare genetic disorders often undergo multiple clinical evaluations, imaging studies, laboratory tests and genetic tests, to find a possible answer over a prolonged period of time. Addressing this "diagnostic odyssey" thus has substantial clinical, psychosocial, and economic benefits. Many rare genetic diseases have distinctive facial features, which can be used by artificial intelligence algorithms to facilitate clinical diagnosis, in prioritizing candidate diseases to be further examined by lab tests or genetic assays, or in helping the phenotype-driven reinterpretation of genome/exome sequencing data. Existing methods using frontal facial photos were built on conventional Convolutional Neural Networks (CNNs), rely exclusively on facial images, and cannot capture non-facial phenotypic traits and demographic information essential for guiding accurate diagnoses. Here we introduce GestaltMML, a multimodal machine learning (MML) approach solely based on the Transformer architecture. It integrates facial images, demographic information (age, sex, ethnicity), and clinical notes (optionally, a list of Human Phenotype Ontology terms) to improve prediction accuracy. Furthermore, we also evaluated GestaltMML on a diverse range of datasets, including 528 diseases from the GestaltMatcher Database, several in-house datasets of Beckwith-Wiedemann syndrome (BWS, over-growth syndrome with distinct facial features), Sotos syndrome (overgrowth syndrome with overlapping features with BWS), NAA10-related neurodevelopmental syndrome, Cornelia de Lange syndrome (multiple malformation syndrome), and KBG syndrome (multiple malformation syndrome). Our results suggest that GestaltMML effectively incorporates multiple modalities of data, greatly narrowing candidate genetic diagnoses of rare diseases and may facilitate the reinterpretation of genome/exome sequencing data.


title: Greedy Grammar Induction with Indirect Negative Evidence

abstract: This paper offers a fresh look at the pumping lemma constant as an upper bound for the finite structural information of a Context Free Grammar. An objective function based on indirect negative evidence considers the occurrences, and non-occurrences, of a finite number of trees, encountered after a sufficiently long non-adversial input presentation. This objective function has optimal substructure in the hypotheses space, giving rise to a greedy search learner. With this learner, a range of classes of Context Free Languages is shown to be learnable (identifiable in the limit) on an otherwise intractable hypotheses space.


title: Hardware-Aware DNN Compression via Diverse Pruning and Mixed-Precision Quantization

abstract: Deep Neural Networks (DNNs) have shown significant advantages in a wide variety of domains. However, DNNs are becoming computationally intensive and energy hungry at an exponential pace, while at the same time, there is a vast demand for running sophisticated DNN-based services on resource constrained embedded devices. In this paper, we target energy-efficient inference on embedded DNN accelerators. To that end, we propose an automated framework to compress DNNs in a hardware-aware manner by jointly employing pruning and quantization. We explore, for the first time, per-layer fine- and coarse-grained pruning, in the same DNN architecture, in addition to low bit-width mixed-precision quantization for weights and activations. Reinforcement Learning (RL) is used to explore the associated design space and identify the pruning-quantization configuration so that the energy consumption is minimized whilst the prediction accuracy loss is retained at acceptable levels. Using our novel composite RL agent we are able to extract energy-efficient solutions without requiring retraining and/or fine tuning. Our extensive experimental evaluation over widely used DNNs and the CIFAR-10/100 and ImageNet datasets demonstrates that our framework achieves $39\%$ average energy reduction for $1.7\%$ average accuracy loss and outperforms significantly the state-of-the-art approaches.


title: Towards a Microservice-based Middleware for a Multi-hazard Early Warning System

abstract: Environmental hazards like water and air pollution, extreme weather, or chemical exposures can affect human health in a number of ways, and it is a persistent apprehension in communities surrounded by mining operations. The application of modern technologies in the environmental monitoring of these Human-made hazards is critical, because while not immediately health-threatening may turn out detrimental with unwanted negative effects. Enabling technologies needed to realise this concept is multifaceted and most especially involves deploying interconnected Internet of Things (IoT) sensors, existing legacy systems, enterprise networks, multi layered software architecture (middleware), and event processing engines, amongst others. Currently, the integration of several early warning systems has inherent challenges, mostly due to the heterogeneity of components. This paper proposes transversal microservice-based middleware aiming at increasing data integration, interoperability, scalability, high availability, and reusability of adopted systems using a container orchestration framework for a multi-hazard early warning system. Devised within the scope of the ICMHEWS project, the proposed platform aims at improving known challenges.


title: A mixed perturbative-nonperturbative treatment for strong light-matter interactions

abstract: The full information about the interaction between a quantum emitter and an arbitrary electromagnetic environment is encoded in the so-called spectral density. We present an approach for describing such interaction in any coupling regime, providing a Lindblad-like master equation for the emitter dynamics when coupled to a general nanophotonic structure. Our framework is based on the splitting of the spectral density into two terms. On the one hand, a spectral density responsible for the non-Markovian and strong-coupling-based dynamics of the quantum emitter. On the other hand, a residual spectral density including the remaining weak-coupling terms. The former is treated nonperturbatively with a collection of lossy interacting discrete modes whose parameters are determined by a fit to the original spectral density in a frequency region encompassing the quantum emitter transition frequencies. The latter is treated perturbatively under a Markovian approximation. We illustrate the power and validity of our approach through numerical simulations in three different setups, thus offering a variety of scenarios for a full test, including the ultra-strong coupling regime.


title: Swap cosystolic expansion

abstract: We introduce and study swap cosystolic expansion, a new expansion property of simplicial complexes. We prove lower bounds for swap coboundary expansion of spherical buildings and use them to lower bound swap cosystolic expansion of the LSV Ramanujan complexes. Our motivation is the recent work (in a companion paper) showing that swap cosystolic expansion implies agreement theorems. Together the two works show that these complexes support agreement tests in the low acceptance regime. Swap cosystolic expansion is defined by considering, for a given complex $X$, its faces complex $F^r X$, whose vertices are $r$-faces of $X$ and where two vertices are connected if their disjoint union is also a face in $X$. The faces complex $F^r X$ is a derandomizetion of the product of $X$ with itself $r$ times. The graph underlying $F^rX$ is the swap walk of $X$, known to have excellent spectral expansion. The swap cosystolic expansion of $X$ is defined to be the cosystolic expansion of $F^r X$. Our main result is a $\exp(-O(\sqrt r))$ lower bound on the swap coboundary expansion of the spherical building and the swap cosystolic expansion of the LSV complexes. For more general coboundary expanders we show a weaker lower bound of $exp(-O(r))$.


title: On Connected Strongly-Proportional Cake-Cutting

abstract: We investigate the problem of fairly dividing a divisible heterogeneous resource, also known as a cake, among a set of agents. We characterize the existence of an allocation in which every agent receives a contiguous piece worth strictly more than their proportional share, also known as a *strongly-proportional allocation*. The characterization is supplemented with an algorithm that determines the existence of a connected strongly-proportional allocation using at most $n \cdot 2^{n-1}$ queries. We provide a simpler characterization for agents with strictly positive valuations, and show that the number of queries required to determine the existence of a connected strongly-proportional allocation is in $\Theta(n^2)$. Our proofs are constructive and yield a connected strongly-proportional allocation, when it exists, using a similar number of queries.


title: Polytope realization of cluster structures

abstract: Based on the construction of polytope functions and several results about them in [LP], we take a deep look on their mutation behaviors to find a link between a face of a polytope and a sub-cluster algebra of the corresponding cluster algebra. This find provides a way to induce a mutation sequence in a sub-cluster algebra from that in the cluster algebra in totally sign-skew-symmetric case analogous to that achieved via cluster scattering diagram in skew-symmetrizable case by [GHKK] and [M]. With this, we are able to generalize compatibility degree in [CL] and then obtain an equivalent condition of compatibility which does not rely on clusters and thus can be generalized for all polytope functions. Therefore, we could regard compatibility as an intrinsic property of variables, which explains the unistructurality of cluster algebras. According to such cluster structure of polytope functions, we construct a fan $\mathcal{C}$ containing all cones in the $g$-fan. On the other hand, we also find a realization of $G$-matrices and $C$-matrices in polytopes by the mutation behaviors of polytopes, which helps to generalize the dualities between $G$-matrices and $C$-matrices introduced in [NZ] and leads to another polytope explanation of cluster structures. This allows us to construct another fan $\mathcal{N}$ which also contains all cones in the $g$-fan.


title: The Parallel Compact Object CALculator: An Efficient General Relativistic Initial Data Solver for Compact Objects

abstract: Every numerical general relativistic investigation starts from the solution of the initial value equations at a given time. Astrophysically relevant initial values for different systems lead to distinct set of equations that obey specific assumptions tied to the particular problem. Therefore a robust and efficient solver for a variety of strongly gravitating sources is needed. In this work we present the OpenMP version of the Compact Object CALculator (COCAL) on shared memory processors. We performed extensive profiling of the core COCAL modules in order to identify bottlenecks in efficiency which we addressed. Using modest resources, the new parallel code achieves speedups approximately one order of magnitude relative to the original serial COCAL code, which is crucial for parameter studies of computationally expensive systems, such as magnetized neutron stars, as well as its further development towards more realistic scenarios. As a novel example of our new code we compute a binary quark system where each companion has a dimensionless spin of $0.43$ aligned with the orbital angular momentum.


title: Stability of convective rolls in a horizontal layer rotating about an inclined axis

abstract: We present three results on stability of rolls in Boussinesq convection in a plane horizontal layer with rigid boundaries that is rotating about an inclined axis with the angular velocity $\Omega=(\Omega_1,\Omega_2,\Omega_3)$. i. We call the full problem the set of equations governing the temporal behaviour of the flow and temperature for an arbitrary $\Omega$, and by the reduced problem the set of equations for the angular velocity $(\Omega_1,0,\Omega_3)$. Here $x,y$ are horizontal Cartesian coordinates in the layer and $z$ is the vertical one. We prove that a $y$-independent solution to one of the two problems is also a solution to the second one. ii. We calculate the critical Rayleigh number for the monotonic onset of convection. The instability mode in the form of rolls (a flow independent of a horizontal direction) is assumed. Let $\beta$ be the angle between the horizontal projection of $\Omega$ and the rolls axes. We show that $\beta=0$ for the least stable mode. Taking i into account, we conclude that the critical Rayleigh number for the onset of convection is independent of $\Omega_1$ and $\Omega_2$ and the emerging flow are rolls with axis aligned with the horizontal component of the rotation vector. iii. We study the behaviour of convective flows by integrating numerically the three-dimensional equations of convection for $\Omega=(0,\Omega_2,\Omega_3)$ and a range of the Rayleigh numbers, other parameters of the problem being fixed. We assume square horizontal periodicity cells, whose sides are equal to the period of the most unstable mode. The computations indicate that, in general, in the nonlinear regime convective rolls become more stable as $\Omega_2$ increases. Namely, on increasing $\Omega_2$, the interval of the Rayleigh numbers for which convective rolls are stable increases.


title: Isomorphisms and commensurability of surface Houghton groups

abstract: We classify surface Houghton groups, as well as their pure subgroups, up to isomorphism, commensurability, and quasi-isometry.


title: Thermal transport in thermoelectric materials of SnSSe and SnS$_2$: a non-equilibrium Monte-Carlo simulation of Boltzmann transport equation

abstract: In the present work, thermal transport and energy conversation in two thermoelectrically efficient candidates of Janus SnSSe and SnS$_2$ are investigated within the non-equilibrium Monte Carlo simulation of phonon Boltzmann equation. The phonon analysis is performed to determine the contributed phonons in heat transport. The results present that the dominant participating phonons are longitudinal acoustic ones while the least belongs to the transverse acoustic (TA) mode. Both materials reached the very high maximum temperature in response to the implied wasted heat. This is attributed to the low presence of the critical TA phonons. Also, the temperature profile achieved during the heating and cooling of the materials is studied. It is obtained that the heat propagation through the SnS$_2$ is, at first, swifter, which results in a temperature gradient through the whole material which is less than that of the SnSSe. As the time passes, the heat transfer that is directly related to the material thermal conductivity, slows down. So, the behavior of the SnS$_2$ and SnSSe, in case of the heat propagation status, becomes similar. More, the behavior of the thermoelectric figure of merit (zT), the efficiency ($\eta$), and the generated voltage have been figured out. It is stated that the higher zT and $\eta$ do not guarantee a larger generated Seebeck voltage. This is true, while the generated Seebeck voltage is related to the temperature difference between the heated and the cold junction. Accordingly, how far the temperature of matter rises in response to the implied wasted heat is related to the obtained voltage. Mainly, it is presented that the maximum temperature that a material achieves, alongside the temperature gradient and material property Seebeck coefficient, are essential in introducing thermoelectrically efficient materials with reasonable thermal to electrical energy conversion.


title: Benign Nonconvex Landscapes in Optimal and Robust Control, Part I: Global Optimality

abstract: Direct policy search has achieved great empirical success in reinforcement learning. Many recent studies have revisited its theoretical foundation for continuous control, which reveals elegant nonconvex geometry in various benchmark problems, especially in fully observable state-feedback cases. This paper considers two fundamental optimal and robust control problems with partial observability: the Linear Quadratic Gaussian (LQG) control with stochastic noises, and $\mathcal{H}_\infty$ robust control with adversarial noises. In the policy space, the former problem is smooth but nonconvex, while the latter one is nonsmooth and nonconvex. We highlight some interesting and surprising ``discontinuity'' of LQG and $\mathcal{H}_\infty$ cost functions around the boundary of their domains. Despite the lack of convexity (and possibly smoothness), our main results show that for a class of non-degenerate policies, all Clarke stationary points are globally optimal and there is no spurious local minimum for both LQG and $\mathcal{H}_\infty$ control. Our proof techniques rely on a new and unified framework of Extended Convex Lifting (ECL), which reconciles the gap between nonconvex policy optimization and convex reformulations. This ECL framework is of independent interest, and we will discuss its details in Part II of this paper.


title: Induced subgraph density. VII. The five-vertex path

abstract: We prove the Erd\H{o}s-Hajnal conjecture for the five-vertex path $P_5$; that is, there exists $c>0$ such that every $n$-vertex graph with no induced $P_5$ has a clique or stable set of size at least $n^c$. This completes the verification of the Erd\H{o}s-Hajnal property of all five-vertex graphs. Indeed, we show a stronger statement, that $P_5$ satisfies the polynomial version of a theorem of R\"odl. To achieve this, we combine simple probabilistic and structural ideas with the iterative sparsification framework introduced in the series.


title: Cheat sites and artificial intelligence usage in online introductory physics courses: what is the extent and what effect does it have on assessments?

abstract: As a result of the pandemic, many physics courses moved online. Alongside, the popularity of internet-based problem-solving sites and forums rose. With the emergence of Large Language Models, another shift occurred. One year into the public availability of these models, how has online help-seeking behavior among introductory physics students changed, and what is the effect of different patterns of online-resource usage? In a mixed-method approach, we investigate student choices and their impact on assessment components of an online introductory physics course for scientists and engineers. We find that students still mostly rely on traditional internet resources, and that their usage strongly influences the outcome of low-stake unsupervised quizzes. However, we also find that the impact of different help-seeking patterns on the supervised assessment components of the course is non-significant.


title: Global stability for McKean-Vlasov equations on large networks

abstract: We investigate the mean-field dynamics of stochastic McKean differential equations with heterogeneous particle interactions described by large network structures. To express a wide range of graphs, from dense and sparse structures, we incorporate the recently developed graph limit theory of graphops into the limiting McKean-Vlasov equations. Global stability of the splay steady state is proven via a generalized entropy method, leading to explicit graph-structure dependent decay rates. We further analyze the limitations of the methodology and provided examples of random graphs such as power law graphs.


title: The Gray graph is a unit-distance graph

abstract: In this note we give a construction proving that the Gray graph, which is the smallest cubic semi-symmetric graph, is a unit-distance graph.


title: An efficient Galerkin method for problems with physically realistic boundary conditions

abstract: The Galerkin method is often employed for numerical integration of evolutionary equations, such as the Navier-Stokes equation or the magnetic induction equation. Application of the method requires solving an equation of the form $P(Av-f)=0$ at each time step, where $v$ is an element of a finite-dimensional space $V$ with a basis satisfying boundary conditions, $P$ is the orthogonal projection on this space and $A$ is a linear operator. Usually the coefficients of $v$ expanded in the basis are found by calculating the matrix of $PA$ acting on $V$ and solving the respective system of linear equations. For physically realistic boundary conditions (such as the no-slip boundary conditions for the velocity, or for a dielectric outside the fluid volume for the magnetic field) the basis is often not orthogonal and solving the problem can be computationally demanding. We propose an algorithm giving an opportunity to reduce the computational cost for such a problem. Suppose there exists a space $W$ that contains $V$, the difference between the dimensions of $W$ and $V$ is small relative to the dimension of $V$, and solving the problem $P(Aw-f)=0$, where $w$ is an element of $W$, requires less operations than solving the original problem. The equation $P(Av-f)=0$ is then solved in two steps: we solve the problem $P(Aw-f)=0$ in $W$, find a correction $h=v-w$ that belongs to a complement to $V$ in $W$, and obtain the solution $w+h$. When the dimension of the complement is small the proposed algorithm is more efficient than the traditional one.


title: A Spigot-Algorithm for Square-Roots: Explained and Extended

abstract: This work presents and extends a known spigot-algorithm for computing square-roots, digit-by-digit, that is suitable for calculation by hand or an abacus, using only addition and subtraction. We offer an elementary proof of correctness for the original algorithm, then present a corresponding spigot-algorithm for computing cube-roots. Finally, we generalize the algorithm, so as to find $r$-th roots, and show how to optimize the algorithm for any $r$. The resulting algorithms require only integer addition and subtraction.