title: Lessons Learned from EXMOS User Studies: A Technical Report Summarizing Key Takeaways from User Studies Conducted to Evaluate The EXMOS Platform

abstract: In the realm of interactive machine-learning systems, the provision of explanations serves as a vital aid in the processes of debugging and enhancing prediction models. However, the extent to which various global model-centric and data-centric explanations can effectively assist domain experts in detecting and resolving potential data-related issues for the purpose of model improvement has remained largely unexplored. In this technical report, we summarise the key findings of our two user studies. Our research involved a comprehensive examination of the impact of global explanations rooted in both data-centric and model-centric perspectives within systems designed to support healthcare experts in optimising machine learning models through both automated and manual data configurations. To empirically investigate these dynamics, we conducted two user studies, comprising quantitative analysis involving a sample size of 70 healthcare experts and qualitative assessments involving 30 healthcare experts. These studies were aimed at illuminating the influence of different explanation types on three key dimensions: trust, understandability, and model improvement. Results show that global model-centric explanations alone are insufficient for effectively guiding users during the intricate process of data configuration. In contrast, data-centric explanations exhibited their potential by enhancing the understanding of system changes that occur post-configuration. However, a combination of both showed the highest level of efficacy for fostering trust, improving understandability, and facilitating model enhancement among healthcare experts. We also present essential implications for developing interactive machine-learning systems driven by explanations. These insights can guide the creation of more effective systems that empower domain experts to harness the full potential of machine learning


title: Auction Design for Bidders with Ex Post ROI Constraints

abstract: Motivated by practical constraints in online advertising, we investigate single-parameter auction design for bidders with constraints on their Return On Investment (ROI) -- a targeted minimum ratio between the obtained value and the payment. We focus on ex post ROI constraints, which require the ROI condition to be satisfied for every realized value profile. With ROI-constrained bidders, we first provide a full characterization of the allocation and payment rules of dominant-strategy incentive compatible (DSIC) auctions. In particular, we show that given any monotone allocation rule, the corresponding DSIC payment should be the Myerson payment with a rebate for each bidder to meet their ROI constraints. Furthermore, we also determine the optimal auction structure when the item is sold to a single bidder under a mild regularity condition. This structure entails a randomized allocation scheme and a first-price payment rule, which differs from the deterministic Myerson auction and previous works on ex ante ROI constraints.


title: VENOM: A Vectorized N:M Format for Unleashing the Power of Sparse Tensor Cores

abstract: The increasing success and scaling of Deep Learning models demands higher computational efficiency and power. Sparsification can lead to both smaller models as well as higher compute efficiency, and accelerated hardware is becoming available. However, exploiting it efficiently requires kernel implementations, pruning algorithms, and storage formats, to utilize hardware support of specialized sparse vector units. An example of those are the NVIDIA's Sparse Tensor Cores (SPTCs), which promise a 2x speedup. However, SPTCs only support the 2:4 format, limiting achievable sparsity ratios to 50%. We present the V:N:M format, which enables the execution of arbitrary N:M ratios on SPTCs. To efficiently exploit the resulting format, we propose Spatha, a high-performance sparse-library for DL routines. We show that Spatha achieves up to 37x speedup over cuBLAS. We also demonstrate a second-order pruning technique that enables sparsification to high sparsity ratios with V:N:M and little to no loss in accuracy in modern transformers.


title: De Novo Drug Design with Joint Transformers

abstract: De novo drug design requires simultaneously generating novel molecules outside of training data and predicting their target properties, making it a hard task for generative models. To address this, we propose Joint Transformer that combines a Transformer decoder, Transformer encoder, and a predictor in a joint generative model with shared weights. We formulate a probabilistic black-box optimization algorithm that employs Joint Transformer to generate novel molecules with improved target properties and outperforms other SMILES-based optimization methods in de novo drug design.


title: Content Bias in Deep Learning Image Age Approximation: A new Approach Towards better Explainability

abstract: In the context of temporal image forensics, it is not evident that a neural network, trained on images from different time-slots (classes), exploits solely image age related features. Usually, images taken in close temporal proximity (e.g., belonging to the same age class) share some common content properties. Such content bias can be exploited by a neural network. In this work, a novel approach is proposed that evaluates the influence of image content. This approach is verified using synthetic images (where content bias can be ruled out) with an age signal embedded. Based on the proposed approach, it is shown that a deep learning approach proposed in the context of age classification is most likely highly dependent on the image content. As a possible countermeasure, two different models from the field of image steganalysis, along with three different preprocessing techniques to increase the signal-to-noise ratio (age signal to image content), are evaluated using the proposed method.


title: Well-posedness and numerical analysis of an elapsed time model with strongly coupled neural networks

abstract: The elapsed time equation is an age-structured model that describes dynamics of interconnected spiking neurons through the elapsed time since the last discharge, leading to many interesting questions on the evolution of the system from a mathematical and biological point of view. In this work, we first deal with the case when transmission after a spike is instantaneous and the case when there exists a distributed delay that depends on previous history of the system, which is a more realistic assumption. Then we study the well-posedness and the numerical analysis of the elapsed time models. For existence and uniqueness we improve the previous works by relaxing some hypothesis on the nonlinearity, including the strongly excitatory case, while for the numerical analysis we prove that the approximation given by the explicit upwind scheme converges to the solution of the non-linear problem. We also show some numerical simulations to compare the behavior of the system in the case of instantaneous transmission with the case of distributed delay under different parameters, leading to solutions with different asymptotic profiles.


title: TOaCNN: Adaptive Convolutional Neural Network for Multidisciplinary Topology Optimization

abstract: This paper presents an adaptive convolutional neural network (CNN) architecture that can automate diverse topology optimization (TO) problems having different underlying physics. The architecture uses the encoder-decoder networks with dense layers in the middle which includes an additional adaptive layer to capture complex geometrical features. The network is trained using the dataset obtained from the three open-source TO codes involving different physics. The robustness and success of the presented adaptive CNN are demonstrated on compliance minimization problems with constant and design-dependent loads and material bulk modulus optimization. The architecture takes the user's input of the volume fraction. It instantly generates optimized designs resembling their counterparts obtained via open-source TO codes with negligible performance and volume fraction error.


title: Controlled Quasi-Latitudinal Solutions for ultra-fast Spin-Torque Precessional Magnetization Switching

abstract: The aim of the paper is to present a novel class of time-dependent controls to realize ultra-fast magnetization switching in nanomagnets driven by spin-torques produced by spin-polarized electric currents. Magnetization dynamics in such systems is governed by the Landau-Lifshitz-Slonczewski equation which describes the precessional motion of (dimensionless) magnetization vector on the unit-sphere. The relevant case of nanoparticles with uniaxial anisotropy having in-plane easy and intermediate axes and out-of-plane hard axis is considered. By exploiting the characteristic smallness of damping and spin-torque intensity, the aforementioned controls are constructed via suitable perturbative tools in a way to realise approximate \emph{latitudinal solutions} (i.e. motions on a sphere in which the out-of-plane magnetization component stays constant) with the effect to fast ``switch'' the system from one stationary state to another. The possibility to keep a (``small'') bounded value of the out-of-plane coordinate throughout this process of ``transfer'', turns out to be advantageous in the applications as it sensibly reduces the post-switching relaxation oscillations that may cause the failure of switching in real samples. Further relevant quantitative results on the behaviour of the solutions during the pre- and post-switching stages (termed ``expulsion'' and ``attraction'', respectively), are given as a byproduct. A selection of validating numerical experiments is presented alongside the corresponding theoretical results.


title: Towards End-to-End Embodied Decision Making via Multi-modal Large Language Model: Explorations with GPT4-Vision and Beyond

abstract: In this study, we explore the potential of Multimodal Large Language Models (MLLMs) in improving embodied decision-making processes for agents. While Large Language Models (LLMs) have been widely used due to their advanced reasoning skills and vast world knowledge, MLLMs like GPT4-Vision offer enhanced visual understanding and reasoning capabilities. We investigate whether state-of-the-art MLLMs can handle embodied decision-making in an end-to-end manner and whether collaborations between LLMs and MLLMs can enhance decision-making. To address these questions, we introduce a new benchmark called PCA-EVAL, which evaluates embodied decision-making from the perspectives of Perception, Cognition, and Action. Additionally, we propose HOLMES, a multi-agent cooperation framework that allows LLMs to leverage MLLMs and APIs to gather multimodal information for informed decision-making. We compare end-to-end embodied decision-making and HOLMES on our benchmark and find that the GPT4-Vision model demonstrates strong end-to-end embodied decision-making abilities, outperforming GPT4-HOLMES in terms of average decision accuracy (+3%). However, this performance is exclusive to the latest GPT4-Vision model, surpassing the open-source state-of-the-art MLLM by 26%. Our results indicate that powerful MLLMs like GPT4-Vision hold promise for decision-making in embodied agents, offering new avenues for MLLM research. Code and data are open at https://github.com/pkunlp-icler/PCA-EVAL/.


title: A Variable Eddington Factor Model for Thermal Radiative Transfer with Closure based on Data-Driven Shape Function

abstract: A new variable Eddington factor (VEF) model is presented for nonlinear problems of thermal radiative transfer (TRT). The VEF model is a data-driven one that acts on known (a-priori) radiation-diffusion solutions for material temperatures in the TRT problem. A linear auxiliary problem is constructed for the radiative transfer equation (RTE) with opacities and emission source evaluated at the known material temperatures. The solution to this RTE approximates the specific intensity distribution for the problem in all phase-space and time. It is applied as a shape function to define the Eddington tensor for the presented VEF model. The shape function computed via the auxiliary RTE problem will capture some degree of transport effects within the TRT problem. The VEF moment equations closed with this approximate Eddington tensor will thus carry with them these captured transport effects. In this study, the temperature data comes from multigroup $P_1$, $P_{1/3}$, and flux-limited diffusion radiative transfer (RT) models. The proposed VEF model can be interpreted as a transport-corrected diffusion reduced-order model. Numerical results are presented on the Fleck-Cummings test problem which models a supersonic wavefront of radiation. The presented VEF model is shown to reliably improve accuracy by 1-2 orders of magnitude compared to the considered radiation-diffusion model solutions to the TRT problem.


title: The powerful class of groups

abstract: Pro-$p$ groups of finite powerful class are studied. We prove that these are $p$-adic analytic, and further describe their structure when their powerful class is small. It is also shown that there are only finitely many finite $p$-groups of fixed coclass and powerful class.


title: ACE: A fast, skillful learned global atmospheric model for climate prediction

abstract: Existing ML-based atmospheric models are not suitable for climate prediction, which requires long-term stability and physical consistency. We present ACE (AI2 Climate Emulator), a 200M-parameter, autoregressive machine learning emulator of an existing comprehensive 100-km resolution global atmospheric model. The formulation of ACE allows evaluation of physical laws such as the conservation of mass and moisture. The emulator is stable for 100 years, nearly conserves column moisture without explicit constraints and faithfully reproduces the reference model's climate, outperforming a challenging baseline on over 90% of tracked variables. ACE requires nearly 100x less wall clock time and is 100x more energy efficient than the reference model using typically available resources. Without fine-tuning, ACE can stably generalize to a previously unseen historical sea surface temperature dataset.


title: Learning Quantum Processes with Quantum Statistical Queries

abstract: Learning complex quantum processes is a central challenge in many areas of quantum computing and quantum machine learning, with applications in quantum benchmarking, cryptanalysis, and variational quantum algorithms. This paper introduces the first learning framework for studying quantum process learning within the Quantum Statistical Query (QSQ) model, providing the first formal definition of statistical queries to quantum processes (QPSQs). The framework allows us to propose an efficient QPSQ learner for arbitrary quantum processes accompanied by a provable performance guarantee. We also provide numerical simulations to demonstrate the efficacy of this algorithm. In our new framework, we prove exponential query complexity lower bounds for learning unitary 2-designs, and a doubly exponential lower bound for learning haar-random unitaries. The practical relevance of this framework is exemplified through application in cryptography, highlighting vulnerabilities of a large class of Classical-Readout Quantum Physical Unclonable Functions (CR-QPUFs), addressing an important open question in the field of quantum hardware security. This work marks a significant step towards understanding the learnability of quantum processes and shedding light on their security implications.


title: What Does the Chart Say? Grouping Cues Guide Viewer Comparisons and Conclusions in Bar Charts

abstract: Reading a visualization is like reading a paragraph. Each sentence is a comparison: the mean of these is higher than those; this difference is smaller than that. What determines which comparisons are made first? The viewer's goals and expertise matter, but the way that values are visually grouped together within the chart also impacts those comparisons. Research from psychology suggests that comparisons involve multiple steps. First, the viewer divides the visualization into a set of units. This might include a single bar or a grouped set of bars. Then the viewer selects and compares two of these units, perhaps noting that one pair of bars is longer than another. Viewers might take an additional third step and perform a second-order comparison, perhaps determining that the difference between one pair of bars is greater than the difference between another pair. We create a visual comparison taxonomy that allows us to develop and test a sequence of hypotheses about which comparisons people are more likely to make when reading a visualization. We find that people tend to compare two groups before comparing two individual bars and that second-order comparisons are rare. Visual cues like spatial proximity and color can influence which elements are grouped together and selected for comparison, with spatial proximity being a stronger grouping cue. Interestingly, once the viewer grouped together and compared a set of bars, regardless of whether the group is formed by spatial proximity or color similarity, they no longer consider other possible groupings in their comparisons.


title: Cold atomic gas identified by HI self-absorption. Cold atomic clouds toward giant molecular filaments

abstract: Stars form in the dense interiors of molecular clouds. The dynamics and physical properties of the atomic interstellar medium (ISM) set the conditions under which molecular clouds and eventually stars will form. It is, therefore, critical to investigate the relationship between the atomic and molecular gas phase to understand the global star formation process. Using the high angular resolution data from The HI/OH/Recombination line survey of the Milky Way (THOR), we aim to constrain the kinematic and physical properties of the cold atomic hydrogen gas phase toward the inner Galactic plane. HI self-absorption (HISA) has proven to be a viable method to detect cold atomic hydrogen clouds in the Galactic plane. With the help of a newly developed self-absorption extraction routine (astroSABER), we build upon previous case studies to identify HI self-absorption toward a sample of Giant Molecular Filaments (GMFs). We find the cold atomic gas to be spatially correlated with the molecular gas on a global scale. The column densities of the cold atomic gas traced by HISA are usually of the order of $10^{20}\rm\,cm^{-2}$ whereas those of molecular hydrogen traced by $\rm^{13}CO$ are at least an order of magnitude higher. The HISA column densities are attributed to a cold gas component that accounts for a fraction of $\sim$5% of the total atomic gas budget within the clouds. The HISA column density distributions show pronounced log-normal shapes that are broader than those traced by HI emission. The cold atomic gas is found to be moderately supersonic with Mach numbers of a $\sim$few. In contrast, highly supersonic dynamics drive the molecular gas within most filaments.


title: Polarized K3 surfaces of genus thirteen and curves of genus three

abstract: We describe a general (primitively) polarized K3 surface $(S,h)$ with $(h^2)=24$ as a complete intersection variety with respect to vector bundles on the $6$-dimensional moduli space $\mathcal{N}^-$ of the stable vector bundles of rank two with fixed odd determinant on a curve $C$ of genus $3$. If the curve $C$ is hyperelliptic, then $\mathcal{N}^-$ is a subvariety of the $12$-dimensional Grassmann variety $\operatorname{Gr}(\mathbf{C}^8,2)$ defined by a pencil of quadric forms. In this case, our description implies that a general $(S,h)$ is the intersection of two (7-dimensional) contact homogeneous varieties of $\operatorname{Spin}(7)$ in the Grassmann variety $\operatorname{Gr}(\mathbf{C}^8,2)$.


title: Impact of blending on weak lensing measurements with the Vera C. Rubin Observatory

abstract: Upcoming deep optical surveys such as the Vera C. Rubin Observatory Legacy Survey of Space and Time will scan the sky to unprecedented depths and detect billions of galaxies. This amount of detections will however cause the apparent superposition of galaxies on the images, called blending, and generate a new systematic error due to the confusion of sources. As consequences, the measurements of individual galaxies properties such as their redshifts or shapes will be impacted, and some galaxies will not be detected. However, galaxy shapes are key quantities, used to estimate masses of large scale structures, such as galaxy clusters, through weak gravitational lensing. This work presents a new catalog matching algorithm, called friendly, for the detection and characterization of blends in simulated LSST data for the DESC Data Challenge 2. By identifying a specific type of blends, we show that removing them from the data may partially correct the amplitude of the $\Delta\Sigma$ weak lensing profile that could be biased low by around 20% due to blending. This would result in impacting clusters weak lensing mass estimate and cosmology.


title: Design Considerations for a Phase II platform trial in Major Depressive Disorder

abstract: Major Depressive Disorder (MDD) is one of the most common causes of disability worldwide. Unfortunately, about one-third of patients do not benefit sufficiently from available treatments and not many new drugs have been developed in this area in recent years. We thus need better and faster ways to evaluate many different treatment options quickly. Platform trials are a possible remedy - they facilitate the evaluation of more investigational treatments in a shorter period of time by sharing controls, as well as reducing clinical trial activation and recruitment times. We discuss design considerations for a platform trial in MDD, taking into account the unique disease characteristics, and present the results of extensive simulations to investigate the operating characteristics under various realistic scenarios. To allow the testing of more treatments, interim futility analyses should be performed to eliminate treatments that have either no or negligible treatment effect. Furthermore, we investigate different randomisation and allocation strategies as well as the impact of the per-treatment arm sample size. We compare the operating characteristics of such platform trials to those of traditional randomised controlled trials and highlight the potential advantages of platform trials.


title: Student debt and behavioral bias: a trillion dollar problem

abstract: This literature review elucidates the implications of behavioral biases, particularly those stemming from overconfidence and framing, on the intertemporal choices made by students on their underline demand preferences for student loans. A secondary objective is to understand the potential utility of social media to assist students and young borrowers with the debt repayment process and management of their loan tenures. A close examination of the literature reveals a substantial influence of these behavioral and cognitive principles on the intertemporal choices made by students towards debt repayments. This affects not only the magnitude of loans they acquire but also the anchoring of the terms of loan conditions associated with repayment. Furthermore, I establish that harnessing social media as the potential to cultivate financial literacy and enhanced understanding of loan terms to expedite the process of debt redemption. This review could serve as a valuable repository for students, scholars, and policymakers alike, in order to expound on the cognitive biases that students and consumers often face when applying and entering into loan contract.


title: Polarized photoluminescence and g-factor in an ensemble of quantum dots in magnetic fields

abstract: In this paper, polarized photoluminescence caused by exciton quasi-equilibrium spin orientation on Zeeman sublevels in an ensemble of quantum dots of different sizes is theoretically studied. It is found that: (i) the splitting of the photoluminescence bands in a magnetic field in an ensemble of quantum dots is several orders of magnitude larger than the Zeeman splitting of exciton levels in a single dot, (ii) the sign of the circular polarization of the photoluminescence changes along the contour of the bands, (iii) the change of the sign of the polarization is associated with the change of the sign of the exciton g-factor. A universal formula for the dependence of the exciton g-factor on the quantum dot size is obtained. This dependence is valid for both bulk material and nanostructures of different types and sizes. Comparison of the results obtained with the experimentally measured data has been carried out.


title: Point Neighborhood Embeddings

abstract: Point convolution operations rely on different embedding mechanisms to encode the neighborhood information of each point in order to detect patterns in 3D space. However, as convolutions are usually evaluated as a whole, not much work has been done to investigate which is the ideal mechanism to encode such neighborhood information. In this paper, we provide the first extensive study that analyzes such Point Neighborhood Embeddings (PNE) alone in a controlled experimental setup. From our experiments, we derive a set of recommendations for PNE that can help to improve future designs of neural network architectures for point clouds. Our most surprising finding shows that the most commonly used embedding based on a Multi-layer Perceptron (MLP) with ReLU activation functions provides the lowest performance among all embeddings, even being surpassed on some tasks by a simple linear combination of the point coordinates. Additionally, we show that a neural network architecture using simple convolutions based on such embeddings is able to achieve state-of-the-art results on several tasks, outperforming recent and more complex operations. Lastly, we show that these findings extrapolate to other more complex convolution operations, where we show how following our recommendations we are able to improve recent state-of-the-art architectures.


title: Robust Long-Term Growth Rate of Expected Utility for Leveraged ETFs

abstract: This paper analyzes the robust long-term growth rate of expected utility and expected return from holding a leveraged exchange-traded fund (LETF). When the Markovian model parameters in the reference asset are uncertain, the robust long-term growth rate is derived by analyzing the worst-case parameters among an uncertainty set. We compute the growth rate and describe the optimal leverage ratio maximizing the robust long-term growth rate. To achieve this, the worst-case parameters are analyzed by the comparison principle, and the growth rate of the worst-case is computed using the martingale extraction method. The robust long-term growth rates are obtained explicitly under a number of models for the reference asset, including the geometric Brownian motion (GBM), Cox--Ingersoll--Ross (CIR), 3/2, and Heston and 3/2 stochastic volatility models. Additionally, we demonstrate the impact of stochastic interest rates, such as the Vasicek and inverse GARCH short rate models. This paper is an extended work of \citet{Leung2017}.


title: Fermilab Main Injector and Recycler Operations in the Megawatt Era

abstract: Significant upgrades to Fermilab's accelerator complex have accompanied the development of LBNF (the Long Baseline Neutrino Facility) and DUNE (Deep Underground Neutrino Experiment). These improvements will facilitate 1-MW operation of the NuMI (Neutrinos at the Main Injector) beam for the first time this year through changes to the Recycler slip-stacking procedure and shortening of the Main Injector ramp time. The modifications to the Recycler slip-stacking and efforts to reduce the duration of the Main Injector ramp will be discussed. Additionally, details regarding further shortening of the ramp time and the subsequent impacts on future accelerator operations are presented.


title: Bearing-Based Target Entrapping Control of Multiple Uncertain Agents With Arbitrary Maneuvers

abstract: This paper is concerned with bearing-based cooperative target entrapping control of multiple uncertain agents with arbitrary maneuvers including shape deformation, rotations, scalings, etc. A leader-follower structure is used, where the leaders move with the predesigned trajectories, and the followers are steered by an estimation-based control method, integrating a distance estimator using bearing measurements and a stress matrix-based formation controller. The signum functions are used to compensate for the uncertainties so that the agents' accelerations can be piecewise continuous and bounded to track the desired dynamics. With proper design of the leaders' trajectories and a geometric configuration, an affine matrix is determined so that the persistently exciting conditions of the inter-agent relative bearings can be satisfied since the bearing rates are related to different weighted combinations of the affine matrix vectors. The asymptotic convergence of the estimation error and control error is proved using Filipov properties and cascaded system theories. A sufficient condition for inter-agent collision avoidance is also proposed. Finally, simulation results are given to validate the effectiveness of the method in both 2D and 3D cases.


title: Scaling limit of the cluster size distribution for the random current measure on the complete graph

abstract: We study the percolation configuration arising from the random current representation of the near-critical Ising model on the complete graph. We compute the scaling limit of the cluster size distribution for an arbitrary set of sources in the single and the double current measures. As a byproduct, we compute the tangling probabilities recently introduced by Gunaratnam, Panagiotis, Panis, and Severo in [GPPS22]. This provides a new perspective on the switching lemma for the $\varphi^4$ model introduced in the same paper: in the Gaussian limit we recover Wick's law, while in the Ising limit we recover the corresponding tool for the Ising model.


title: An unbounded operator theory approach to lower frame and Riesz-Fischer sequences

abstract: Frames and orthonormal bases are naturally linked to bounded operators. To tackle unbounded operators those sequences might not be well suited. This has already been noted by von Neumann in the 1920ies. But modern frame theory also investigates other sequences, including those that are not naturally linked to bounded operators. The focus of this manuscript will be two such kind of sequences: lower frame and Riesz-Fischer sequences. We will discuss the inter-relation of those sequences. We will fill a hole existing in the literature regarding the classification of those sequences by their synthesis operator. We will use the idea of generalized frame operator and Gram matrix and extend it. We will use that to show properties for canonical duals for lower frame sequences, like e.g. a minimality condition regarding its coefficients. We will also show that other results that are known for frames can be generalized to lower frame sequences. To be able to tackle these tasks, we had to revisit the concept of invertibility (in particular for non-closed operators). In addition, we are able to define a particular adjoint, which is uniquely defined for any operator.


title: On the number and geometric location of critical points of solutions to a semilinear elliptic equation in annular domains

abstract: In this paper, one of our aims is to investigate the instability of the distribution of the critical point set $\mathcal{C}(u)$ of a solution $u$ to a semilinear equation with Dirichlet boundary condition in the planar annular domains. Precisely, we prove that $\mathcal{C}(u)$ in an eccentric circle annular domain, or a petal-like domain, or an annular domain where the interior and exterior boundaries are equally scaled ellipses contains only finitely many points rather than a Jordan curve. This result indicates that the critical point set $\mathcal{C}(u)$ is unstable when any boundary of planar concentric circle annular domain $\Omega$ has some small deformation or minor perturbation. Based on studying the distribution of the nodal sets $u^{-1}_\theta(0)(u_\theta=\nabla u\cdot \theta)$ and $u^{-1}(0)$, we prove that the solution $u$ on each symmetric axis has exactly two critical points under some conditions. Meanwhile, we further obtain that $\mathcal{C}(u)$ only has two critical points in an eccentric circle annular domain, has four critical points in an exterior petal-like domain with the exterior boundary $\gamma_E$ is an ellipse, and the maximum points are distributed on the long symmetric semi-axis and the saddle points on the short symmetric semi-axis. Moreover, we describe the geometric location of critical points of the solution $u$ by the moving plane method.


title: 1D-CapsNet-LSTM: A Deep Learning-Based Model for Multi-Step Stock Index Forecasting

abstract: Multi-step stock index forecasting is vital in finance for informed decision-making. Current forecasting methods on this task frequently produce unsatisfactory results due to the inherent data randomness and instability, thereby underscoring the demand for advanced forecasting models. Given the superiority of capsule network (CapsNet) over CNN in various forecasting and classification tasks, this study investigates the potential of integrating a 1D CapsNet with an LSTM network for multi-step stock index forecasting. To this end, a hybrid 1D-CapsNet-LSTM model is introduced, which utilizes a 1D CapsNet to generate high-level capsules from sequential data and a LSTM network to capture temporal dependencies. To maintain stochastic dependencies over different forecasting horizons, a multi-input multi-output (MIMO) strategy is employed. The model's performance is evaluated on real-world stock market indices, including S&P 500, DJIA, IXIC, and NYSE, and compared to baseline models, including LSTM, RNN, and CNN-LSTM, using metrics such as RMSE, MAE, MAPE, and TIC. The proposed 1D-CapsNet-LSTM model consistently outperforms baseline models in two key aspects. It exhibits significant reductions in forecasting errors compared to baseline models. Furthermore, it displays a slower rate of error increase with lengthening forecast horizons, indicating increased robustness for multi-step forecasting tasks.


title: Dual-resonance nanostructures for colour down-conversion of colloidal quantum emitters

abstract: Linear colour conversion is a process where an emitter absorbs a photon and then emits another photon with either higher or lower energy, corresponding to up- or down conversion, respectively. In this regard, the presence of a volumetric cavity plays a crucial role in enhancing absorption and photoluminescence (PL), as it allows for large volumes of interaction between the exciting photons and the emissive materials, maximising the colour conversion efficiency. Here, we present a dual resonance nanostructure made of a titanium dioxide (TiO2) subwavelength grating to enhance the colour down-conversion efficiency of green light at ~530 nm emitted by gradient alloyed CdxZn1-xSeyS1-y colloidal quantum dots (QDs) when excited with a blue light at ~460 nm. A large mode volume can be created within the QD layer by the hybridisation of the grating resonances and waveguide modes. This allows increasing mode overlap between the resonances and the QDs, resulting in large absorption and tailored emission enhancements. Particularly, we achieved polarized light emission with maximum photoluminescence enhancement of ~140 times at a specific angular direction, and a total enhancement of ~34 times within 0.55 numerical aperture (NA) of the collecting objective. The enhancement encompasses absorption enhancement, Purcell enhancement and directionality enhancement (i.e., outcoupling). We achieved total absorption of 35% for green QDs with a remarkably thin colour conversion layer of ~ 400 nm (inclusive of the TiO2 layer). This work provides a guideline for designing large-volume cavities for practical application in absorption/fluorescence enhancement, such as down colour conversion in microLED displays, detectors or photovoltaics.


title: Axio-Chameleons: A Novel String-Friendly Multi-field Screening Mechanism

abstract: Scalar-tensor theories with the shift symmetries required by light scalars are well-explored modifications to GR. For these, two-derivative scalar self-interactions usually dominate at low energies and interestingly compete with the two-derivative metric interactions of GR itself. Although much effort has been invested in single scalars (on grounds of simplicity) these happen to have no two-derivative interactions, requiring such models to explore higher-derivative interactions (that usually would be less important at low-energies). This suggests multiple-scalar sigma models as well-motivated candidates for finding new phenomena in tests of gravity. We identify a new multi-field screening mechanism appropriate for two light scalar fields (an axion and a Brans-Dicke style dilaton) that relies on their mutual two-derivative interactions. We show how very weak axion-matter couplings can introduce axion gradients that can reduce the apparent coupling of the Brans-Dicke scalar to macroscopic matter sources. We further identify a relaxation mechanism that allows this reduction to be amplified to a suppression by the ratio of the axion gradient's length scale to the source's radius (similar in size to the suppression found in Chameleon models). Unlike some screening mechanisms our proposal is technically natural and works deep within the regime of control of the low-energy EFT. It uses only ingredients that commonly appear in the low-energy limit of string vacua and so is likely to have wider applications to models that admit UV completions. We briefly discuss phenomenological implications and challenges for this scenario, which suggests re-examination of decay loss bounds and the value of equivalence-principle tests for different-sized objects.


title: Stochastic Gradient Descent with Preconditioned Polyak Step-size

abstract: Stochastic Gradient Descent (SGD) is one of the many iterative optimization methods that are widely used in solving machine learning problems. These methods display valuable properties and attract researchers and industrial machine learning engineers with their simplicity. However, one of the weaknesses of this type of methods is the necessity to tune learning rate (step-size) for every loss function and dataset combination to solve an optimization problem and get an efficient performance in a given time budget. Stochastic Gradient Descent with Polyak Step-size (SPS) is a method that offers an update rule that alleviates the need of fine-tuning the learning rate of an optimizer. In this paper, we propose an extension of SPS that employs preconditioning techniques, such as Hutchinson's method, Adam, and AdaGrad, to improve its performance on badly scaled and/or ill-conditioned datasets.


title: CoNO: Complex Neural Operator for Continuous Dynamical Systems

abstract: Neural operators extend data-driven models to map between infinite-dimensional functional spaces. These models have successfully solved continuous dynamical systems represented by differential equations, viz weather forecasting, fluid flow, or solid mechanics. However, the existing operators still rely on real space, thereby losing rich representations potentially captured in the complex space by functional transforms. In this paper, we introduce a Complex Neural Operator (CoNO), that parameterizes the integral kernel in the complex fractional Fourier domain. Additionally, the model employing a complex-valued neural network along with aliasing-free activation functions preserves the complex values and complex algebraic properties, thereby enabling improved representation, robustness to noise, and generalization. We show that the model effectively captures the underlying partial differential equation with a single complex fractional Fourier transform. We perform an extensive empirical evaluation of CoNO on several datasets and additional tasks such as zero-shot super-resolution, evaluation of out-of-distribution data, data efficiency, and robustness to noise. CoNO exhibits comparable or superior performance to all the state-of-the-art models in these tasks. Altogether, CoNO presents a robust and superior model for modeling continuous dynamical systems, providing a fillip to scientific machine learning.


title: A Survey on the Role of Crowds in Combating Online Misinformation: Annotators, Evaluators, and Creators

abstract: Online misinformation poses a global risk with significant real-world consequences. To combat misinformation, current research relies on professionals like journalists and fact-checkers for annotating and debunking misinformation, and develops automated machine learning methods for detecting misinformation. Complementary to these approaches, recent research has increasingly concentrated on utilizing the power of ordinary social media users, a.k.a. "crowd", who act as eyes-on-the-ground proactively questioning and countering misinformation. Notably, recent studies show that 96% of counter-misinformation responses originate from them. Acknowledging their prominent role, we present the first systematic and comprehensive survey of research papers that actively leverage the crowds to combat misinformation. We first identify 88 papers related to crowd-based efforts, following a meticulous annotation process adhering to the PRISMA framework. We then present key statistics related to misinformation, counter-misinformation, and crowd input in different formats and topics. Upon holistic analysis of the papers, we introduce a novel taxonomy of the roles played by the crowds: (i)annotators who actively identify misinformation; (ii)evaluators who assess counter-misinformation effectiveness; (iii)creators who create counter-misinformation. This taxonomy explores the crowd's capabilities in misinformation detection, identifies prerequisites for effective counter-misinformation, and analyzes crowd-generated counter-misinformation. Then, we delve into (i)distinguishing individual, collaborative, and machine-assisted labeling for annotators; (ii)analyzing the effectiveness of counter-misinformation through surveys, interviews, and in-lab experiments for evaluators; and (iii)characterizing creation patterns and creator profiles for creators. Finally, we outline potential future research in this field.


title: R\'{e}nyi Entropy with Surface Defects in Six Dimensions

abstract: We compute the surface defect contribution to R\'{e}nyi entropy and supersymmetric R\'{e}nyi entropy in six dimensions. We first compute the surface defect contribution to R\'{e}nyi entropy for free fields, which verifies a previous formula about entanglement entropy with surface defect. Using conformal map to $S^1_\beta\times H^{d-1}$ we develop a heat kernel approach to compute the defect contribution to R\'{e}nyi entropy, which is applicable for $p$-dimensional defect in general $d$-dimensional free fields. Using the same geometry $S^1_\beta\times H^5$ with an additional background field, one can construct the supersymmetric refinement of the ordinary R\'{e}nyi entropy for six-dimensional $(2,0)$ theories. We find that the surface defect contribution to supersymmetric R\'{e}nyi entropy has a simple scaling as polynomial of R\'{e}nyi index in the large $N$ limit. We also discuss how to connect the free field results and large $N$ results.

categories: hep-th cond-mat.stat-mech math-ph math.MP quant-ph


title: Leveraging Classic Deconvolution and Feature Extraction in Zero-Shot Image Restoration

abstract: Non-blind deconvolution aims to restore a sharp image from its blurred counterpart given an obtained kernel. Existing deep neural architectures are often built based on large datasets of sharp ground truth images and trained with supervision. Sharp, high quality ground truth images, however, are not always available, especially for biomedical applications. This severely hampers the applicability of current approaches in practice. In this paper, we propose a novel non-blind deconvolution method that leverages the power of deep learning and classic iterative deconvolution algorithms. Our approach combines a pre-trained network to extract deep features from the input image with iterative Richardson-Lucy deconvolution steps. Subsequently, a zero-shot optimisation process is employed to integrate the deconvolved features, resulting in a high-quality reconstructed image. By performing the preliminary reconstruction with the classic iterative deconvolution method, we can effectively utilise a smaller network to produce the final image, thus accelerating the reconstruction whilst reducing the demand for valuable computational resources. Our method demonstrates significant improvements in various real-world applications non-blind deconvolution tasks.


title: Effective lagrangian for the macroscopic motion of fermionic matter

abstract: We consider macroscopic motion of quantum field systems. Zubarev statistical operator allows to describe several types of motion of such systems in thermal equilibrium. We formulate the corresponding effective theory on the language of functional integral. The effective lagrangian is calculated explicitly for the fermionic systems interacting with dynamical gauge fields. Possible applications to physics of quark - gluon plasma are discussed.


title: Re-evaluation of the $^{22}$Ne($p$,$\gamma$)$^{23}$Na reaction rate: $R-$matrix analysis of the non-resonant capture and effect of the 8945 keV (${7/2}^{-}$) resonance strength

abstract: The $^{22}$Ne($p,\gamma$)$^{23}$Na capture reaction is a key member of the Ne-Na cycle of hydrogen burning. The rate of this reaction is critical in classical novae nucleosynthesis and hot bottom burning processes (HBB) in asymptotic giant branch (AGB) stars. Despite its astrophysical importance, significant uncertainty remains in the reaction rate due to several narrow low energy resonances lying near the Gamow window. The present work revisits this reaction by examining the contribution of the 8664 keV subthreshold state and the 151 keV doublet resonance state of 7/2$^-$ configuration in $^{23}$Na. Finite range distorted-wave Born approximation (FRDWBA) analyses of existing $^{22}$Ne($^3$He,$d$)$^{23}$Na transfer reaction data were carried out to extract the peripheral asymptotic normalization coefficients (ANC) of the 8664 keV state. The ANC value obtained in the present work is $\sim 25\%$ higher compared to the previous work by Santra et al.~\cite{SA20}. Systematic $R$-matrix calculations were performed to obtain the non-resonant astrophysical $S$-factor utilizing the enhanced ANC value. The resonance strengths of the 8945 keV doublets were deduced from shell model calculations. The total reaction rate is found to be $\sim 15\%$ higher at temperatures relevant for the HBB processes, compared to the recent rate measured by Williams et al.~\cite{WI20}, and matches the rate by Williams et al.~\cite{WI20} at temperatures of interest for classical novae nucleosynthesis.


title: Simulating polaritonic ground states on noisy quantum devices

abstract: The recent advent of quantum algorithms for noisy quantum devices offers a new route toward simulating strong light-matter interactions of molecules in optical cavities for polaritonic chemistry. In this work, we introduce a general framework for simulating electron-photon coupled systems on small, noisy quantum devices. This method is based on the variational quantum eigensolver (VQE) with the polaritonic unitary coupled cluster (PUCC) ansatz. To achieve chemical accuracy, we exploit various symmetries in qubit reduction methods, such as electron-photon parity, and use recently developed error mitigation schemes, such as the reference zero-noise extrapolation method. We explore the robustness of the VQE-PUCC approach across a diverse set of regimes for the bond length, cavity frequency, and coupling strength of the H$_2$ molecule in an optical cavity. To quantify the performance, we measure two properties: ground-state energy, fundamentally relevant to chemical reactivity, and photon number, an experimentally accessible general indicator of electron-photon correlation.


title: Path Integral Factorization and the Gravitational Effective Action

abstract: We discuss the factorization and continuity properties of fields in the Euclidean gravitational path integral with higher dimension operators constructed from powers of the Riemann tensor. We construct the boundary terms corresponding to the microcanonical ensemble and show that the saddle point approximation to the path integral with a quasilocal energy constraint generally yields a saddle point with discontinuous temperature. This extends a previous result for the Euclidean Schwarzschild-de Sitter geometry in Einstein gravity and shows that it is robust against at least some types of quantum corrections from heavy fields. As an application, we compute the entropy of SdS in $\text{D}=4$ using the BTZ method. Our result matches the entropy calculated using Wald's formula.


title: dFlow: A Domain Specific Language for the Rapid Development of open-source Virtual Assistants

abstract: An increasing number of models and frameworks for Virtual Assistant (VA) development exist nowadays, following the progress in the Natural Language Processing (NLP) and Natural Language Understanding (NLU) fields. Regardless of their performance, popularity, and ease of use, these frameworks require at least basic expertise in NLP and software engineering, even for simple and repetitive processes, limiting their use only to the domain and programming experts. However, since the current state of practice of VA development is a straightforward process, Model-Driven Engineering approaches can be utilized to achieve automation and rapid development in a more convenient manner. To this end, we present \textit{dFlow}, a textual Domain-Specific Language (DSL) that offers a simplified, reusable, and framework-agnostic language for creating task-specific VAs in a low-code manner. We describe a system-agnostic VA meta-model, the developed grammar, and all essential processes for developing and deploying smart VAs. For further convenience, we create a cloud-native architecture and expose it through the Discord platform. We conducted a large-scale empirical evaluation with more than 200 junior software developers and collected positive feedback, indicating that dFlow can accelerate the entire VA development process, while also enabling citizen and software developers with minimum experience to participate.


title: Magnetic phenomena in equiatomic ternary rare earth compounds

abstract: The chapter discusses the structural and magnetic properties of equiatomic ternary RTX compounds, where R represents rare earth, T is transition metal, and X belongs to the p block elements. RTX compounds exhibit a variety of crystal structures, which leads to a range of magnetic phenomenon ranging from long range antiferromagnetic-ferromagnetic ordering, unconventional superconductivity, magnetic frustration to spin ices. Coexistence of various magnetic phenomenon result in many exotic properties, which make these materials promising for next generation technological applications. In RTX family of compounds, most transition metals, except manganese, Mn do not contribute significantly to the magnetic moment and behave as non-magnetic. The lack of magnetic behaviour in the transition metal sublattices of these ternary compounds may be attributed to hybridization between p electron states of X atom and d electron states of the transition metal, resulting in the filling of the d band. The dominant interaction in these compounds is of Ruderman Kittel Kasuya Yosida type due to the localized nature of the 4f electrons in the rare earths. The magnetic transition temperature in these materials varies from ultra-low to high temperatures, making them suitable for integration into devices operating at room temperature. The RTX series discussed here encompasses all rare earth elements, a range of transition metals, and various p-block elements such as Al, Ga, In, Si, Ge, Sn, Sb, and Bi. Most of the materials studied are arc melted polycrystalline materials with some in the form of single crystal or thin films.


title: An empirical study of ChatGPT-3.5 on question answering and code maintenance

abstract: Ever since the launch of ChatGPT in 2022, a rising concern is whether ChatGPT will replace programmers and kill jobs. Motivated by this widespread concern, we conducted an empirical study to systematically compare ChatGPT against programmers in question-answering and software-maintaining. We reused a dataset introduced by prior work, which includes 130 StackOverflow (SO) discussion threads referred to by the Java developers of 357 GitHub projects. We mainly investigated three research questions (RQs). First, how does ChatGPT compare with programmers when answering technical questions? Second, how do developers perceive the differences between ChatGPT's answers and SO answers? Third, how does ChatGPT compare with humans when revising code for maintenance requests? For RQ1, we provided the 130 SO questions to ChatGPT, and manually compared ChatGPT answers with the accepted/most popular SO answers in terms of relevance, readability, informativeness, comprehensiveness, and reusability. For RQ2, we conducted a user study with 30 developers, asking each developer to assess and compare 10 pairs of answers, without knowing the information source (i.e., ChatGPT or SO). For RQ3, we distilled 48 software maintenance tasks from 48 GitHub projects citing the studied SO threads. We queried ChatGPT to revise a given Java file, and to incorporate the code implementation for any prescribed maintenance requirement. Our study reveals interesting phenomena: For the majority of SO questions (97/130), ChatGPT provided better answers; in 203 of 300 ratings, developers preferred ChatGPT answers to SO answers; ChatGPT revised code correctly for 22 of the 48 tasks. Our research will expand people's knowledge of ChatGPT capabilities, and shed light on future adoption of ChatGPT by the software industry.


title: Simulations of two-temperature jets in galaxy clusters: II. X-ray property of forward shock

abstract: Forward shocks by radio jets, driven into the intracluster medium, are one of the indicators that can be used to evaluate the power of the jet. Meanwhile high-angular-resolution X-ray observations show the Mach numbers of powerful radio jets are smaller compared to that of theoretical and numerical studies, $\mathcal{M_{\rm obs}} < 2$. Our aim is to systematically investigate various factors, such as projection effects and temperature non-equilibration between protons and electrons, that influence the Mach number estimate in a powerful jet. Using two-temperature magnetohydrodynamic simulation data for the Cygnus A radio jets, whose Mach number is approximately 6, we construct mock X-ray maps of simulated jets from various viewing angles. Further, we evaluate the shock Mach number from density/temperature jump using the same method of X-ray observations. Our results demonstrate that measurements from density jump significantly underestimate the Mach numbers, $\mathcal{M} < 2$, around the jet head at a low viewing angle, $\lessapprox 50^{\circ}$. The observed post-shock temperature is strongly reduced by the projection effect, as our jet is in the cluster center where the gas density is high. On the other hand, the temperature jump is almost unity, even if thermal electrons are in instant equilibration with protons. Upon comparison, we find that shock property of our model at viewing angle of $<$ $55^{\circ}$ is in a good agreement with that of Cygnus A observations.


title: Permanent Magnets Based on Hard Ferrite Ceramics

abstract: Permanent magnets are integral components in many of the modern technologies that are critical for the transition to a sustainable society. However, most of the high-performance (BHmax > 100 kJ/m3) permanent magnets that are currently employed contain rare earth elements (REE), which have long been classified as critical materials with a high supply risk and concerns regarding pollution in their mining. Therefore, suitable REE-lean/free magnets must be developed in order to ensure the sustainability of clean energy generation and electric mobility. The REE-free hexagonal ferrites (or hexaferrites) are the most used permanent magnets across all applications, with an 85 wt.% pie of the permanent magnet market. They are the dominant lower-grade option (BHmax < 25 kJ/m3) due to their relatively good hard magnetic properties, high Curie temperature (>700 K), low cost and good chemical stability. In recent years, the hexaferrites have also emerged as candidates for substituting REE-based permanent magnets in applications requiring intermediate magnetic performance (25-100 kJ/m3), due to considerable performance improvements achieved through chemical tuning, nanostructuring and compaction/sintering optimization. This chapter reviews the state-of-the-art sintering strategies being investigated with the aim of manufacturing hexaferrite magnets with optimized magnetic properties, identifying key challenges and highlighting the natural future steps to be followed.


title: Instances Need More Care: Rewriting Prompts for Instances with LLMs in the Loop Yields Better Zero-Shot Performance

abstract: Large language models (LLMs) have revolutionized zero-shot task performance, mitigating the need for task-specific annotations while enhancing task generalizability. Despite its advancements, current methods using trigger phrases such as "Let's think step by step" remain limited. This study introduces PRomPTed, an approach that optimizes the zero-shot prompts for individual task instances following an innovative manner of "LLMs in the loop". Our comprehensive evaluation across 13 datasets and 10 task types based on GPT-4 reveals that PRomPTed significantly outperforms both the naive zero-shot approaches and a strong baseline (i.e., "Output Refinement") which refines the task output instead of the input prompt. Our experimental results also confirmed the generalization of this advantage to the relatively weaker GPT-3.5. Even more intriguingly, we found that leveraging GPT-3.5 to rewrite prompts for the stronger GPT-4 not only matches but occasionally exceeds the efficacy of using GPT-4 as the prompt rewriter. Our research thus presents a huge value in not only enhancing zero-shot LLM performance but also potentially enabling supervising LLMs with their weaker counterparts, a capability attracting much interest recently. Finally, our additional experiments confirm the generalization of the advantages to open-source LLMs such as Mistral 7B and Mixtral 8x7B.


title: Towards Effective Human-AI Decision-Making: The Role of Human Learning in Appropriate Reliance on AI Advice

abstract: The true potential of human-AI collaboration lies in exploiting the complementary capabilities of humans and AI to achieve a joint performance superior to that of the individual AI or human, i.e., to achieve complementary team performance (CTP). To realize this complementarity potential, humans need to exercise discretion in following AI 's advice, i.e., appropriately relying on the AI's advice. While previous work has focused on building a mental model of the AI to assess AI recommendations, recent research has shown that the mental model alone cannot explain appropriate reliance. We hypothesize that, in addition to the mental model, human learning is a key mediator of appropriate reliance and, thus, CTP. In this study, we demonstrate the relationship between learning and appropriate reliance in an experiment with 100 participants. This work provides fundamental concepts for analyzing reliance and derives implications for the effective design of human-AI decision-making.


title: Simulations of two-temperature jets in galaxy clusters: I. Effect of jet magnetization on dynamics and electron heating

abstract: Non-radiating protons in the radio lobes have an essential role to form the jet morphology which is shown by recent radio and X-ray observations. However, since protons and electrons are not always in energy equilibrium due to weak Coulomb coupling, it is difficult to estimate the energy contribution of protons for inflation of radio lobes. The main focus of this study is to examine the effect of the variable model for electron heating by turbulence and shock waves on the thermal energy distribution of electron and proton. We performed two-temperature three-dimensional magnetohydrodynamic simulations of sub-relativistic jets in the galaxy cluster while varying jet magnetization parameters. Because the energy partition rate between electrons and protons in shock and turbulence is determined by plasma kinetic scale physics, our global simulations include electron instantaneous heating sub-grid models for shock waves and turbulence. We find that most of the bulk kinetic energy of the jet is converted into thermal energy of protons through both shocks and turbulence. Thus, protons are energetically dominant. Meanwhile, thermal electrons stored in the lobe evolve toward energy equipartition with magnetic energy through turbulent dissipation. We further estimated the radio power and the mechanical jet power of radio lobes following the same method as used for radio and X-ray observations, and compared these powers with that of the observed radio jets. The two-temperature model quantitatively explains the radiatively inefficient radio cavities, but cannot reproduce the radiatively efficient cavity, even for strong magnetized jets. This implies that a significant population of pair-plasma is needed in the radiatively efficient radio cavities.


title: Sieve: Multimodal Dataset Pruning Using Image Captioning Models

abstract: Vision-Language Models (VLMs) are pretrained on large, diverse, and noisy web-crawled datasets. This underscores the critical need for dataset pruning, as the quality of these datasets is strongly correlated with the performance of VLMs on downstream tasks. Using CLIPScore from a pretrained model to only train models using highly-aligned samples is one of the most successful methods for pruning. We argue that this approach suffers from multiple limitations including: false positives and negatives due to CLIP's pretraining on noisy labels. We propose a pruning signal, Sieve, that employs synthetic captions generated by image-captioning models pretrained on small, diverse, and well-aligned image-text pairs to evaluate the alignment of noisy image-text pairs. To bridge the gap between the limited diversity of generated captions and the high diversity of alternative text (alt-text), we estimate the semantic textual similarity in the embedding space of a language model pretrained on unlabeled text corpus. Using DataComp, a multimodal dataset filtering benchmark, when evaluating on 38 downstream tasks, our pruning approach, surpasses CLIPScore by 2.6\% and 1.7\% on medium and large scale respectively. In addition, on retrieval tasks, Sieve leads to a significant improvement of 2.7% and 4.5% on medium and large scale respectively.


title: Lattice studies of Sp(2N) gauge theories using GRID

abstract: Four-dimensional gauge theories based on symplectic Lie groups provide elegant realisations of the microscopic origin of several new physics models. Numerical studies pursued on the lattice provide quantitative information necessary for phenomenological applications. To this purpose, we implemented Sp(2N) gauge theories using Monte Carlo techniques within Grid, a performant framework designed for the numerical study of quantum field theories on the lattice. We show the first results obtained using this library, focusing on the case-study provided by the Sp(4) theory coupled to Nas = 4 Wilson-Dirac fermions transforming in the 2-index antisymmetric representation. In particular, we discuss preliminary tests of the algorithm and we test some of its main functionalities.


title: Real-time Signal Detection for Cyclotron Radiation Emission Spectroscopy Measurements using Antenna Arrays

abstract: Cyclotron Radiation Emission Spectroscopy (CRES) is a technique for precision measurement of the energies of charged particles, which is being developed by the Project 8 Collaboration to measure the neutrino mass using tritium beta-decay spectroscopy. Project 8 seeks to use the CRES technique to measure the neutrino mass with a sensitivity of 40~meV, requiring a large supply of tritium atoms stored in a multi-cubic meter detector volume. Antenna arrays are one potential technology compatible with an experiment of this scale, but the capability of an antenna-based CRES experiment to measure the neutrino mass depends on the efficiency of the signal detection algorithms. In this paper, we develop efficiency models for three signal detection algorithms and compare them using simulations from a prototype antenna-based CRES experiment as a case-study. The algorithms include a power threshold, a matched filter template bank, and a neural network based machine learning approach, which are analyzed in terms of their average detection efficiency and relative computational cost. It is found that significant improvements in detection efficiency and, therefore, neutrino mass sensitivity are achievable, with only a moderate increase in computation cost, by utilizing either the matched filter or machine learning approach in place of a power threshold, which is the baseline signal detection algorithm used in previous CRES experiments by Project 8.


title: FLEDGE: Ledger-based Federated Learning Resilient to Inference and Backdoor Attacks

abstract: Federated learning (FL) is a distributed learning process that uses a trusted aggregation server to allow multiple parties (or clients) to collaboratively train a machine learning model without having them share their private data. Recent research, however, has demonstrated the effectiveness of inference and poisoning attacks on FL. Mitigating both attacks simultaneously is very challenging. State-of-the-art solutions have proposed the use of poisoning defenses with Secure Multi-Party Computation (SMPC) and/or Differential Privacy (DP). However, these techniques are not efficient and fail to address the malicious intent behind the attacks, i.e., adversaries (curious servers and/or compromised clients) seek to exploit a system for monetization purposes. To overcome these limitations, we present a ledger-based FL framework known as FLEDGE that allows making parties accountable for their behavior and achieve reasonable efficiency for mitigating inference and poisoning attacks. Our solution leverages crypto-currency to increase party accountability by penalizing malicious behavior and rewarding benign conduct. We conduct an extensive evaluation on four public datasets: Reddit, MNIST, Fashion-MNIST, and CIFAR-10. Our experimental results demonstrate that (1) FLEDGE provides strong privacy guarantees for model updates without sacrificing model utility; (2) FLEDGE can successfully mitigate different poisoning attacks without degrading the performance of the global model; and (3) FLEDGE offers unique reward mechanisms to promote benign behavior during model training and/or model aggregation.


title: On dual quaternions, dual split quaternions and Cartan-Schouten metrics on perfect Lie groups

abstract: We discuss Cartan-Schouten metrics (Riemannian or pseudo-Riemannian metrics that are parallel with respect to the Cartan-Schouten canonical connection) on perfect Lie groups. Applications are foreseen in Information Geometry. Throughout this work, the tangent bundle TG and the cotangent bundle T*G of a Lie group G, are always endowed with their Lie group structures induced by the right trivialization. We show that TG and T*G are isomorphic if G possesses a biinvariant Riemannian or pseudo-Riemannian metric. We also show that, if on a perfect Lie group, there exists a Cartan-Schouten metric, then it must be biinvariant. We compute all such metrics on the cotangent bundles of simple Lie groups. We further show the following. Endowed with their canonical Lie group structures, the set of unit dual quaternions is isomorphic to TSU(2), the set of unit dual split quaternions is isomorphic to T*SL(2,R). The group SE(3) of special rigid displacements of the Euclidean 3-space is isomorphic to T*SO(3). The group SE(2,1) of special rigid displacements of the Minkowski 3-space is isomorphic to T*SO(2,1). Some results on SE(3) by N. Miolane and X. Pennec, and M. Zefran, V. Kumar and C. Croke, are generalized to SE(2,1) and to T*G, for any simple Lie group G.

categories: math.DG cs.IT math-ph math.IT math.MG math.MP


title: Daytime and Nighttime QKD over an atmospheric free space channel with passive polarisation bases compensation

abstract: Quantum Communication (QC) represents a promising futuristic technology, revolutionizing secure communication. Photon-based Quantum Key Distribution (QKD) is the most widely explored area in QC research, utilizing the polarisation degree of freedom of photons for both fibre and free-space communication. In this work, we investigate and mitigate the challenges posed by fibre birefringence and atmospheric effects on QKD, using a $50$-meter free-space optical link and entanglement-based BBM92 QKD protocol. We implement a passive polarisation correction scheme to address the critical issue of polarisation scrambling induced by fibre birefringence and the difference in the frame of reference between Alice and Bob. This scheme effectively mitigates these adverse effects, ensuring reliable polarisation control over the quantum channel. Furthermore, we conduct QKD experiments in both day and night conditions, encountering challenges such as high background noise levels and dynamic environmental changes. To overcome these issues, we employ various filtering techniques to enhance signal quality and security. Our results demonstrate the successful implementation of QKD over a free-space optical link by producing information-theoretic secure QBER of $<11\%$ on an average and high keyrate, even under varying lighting and weather conditions. Over one 24 hour cycle of data acquisition, we measured an average daylight keyrate and QBER of ($3.9118\pm0.7339 KHz$ and $10.5518\pm1.3428\%$) respectively and night time keyrate and QBER of ($4.6118\pm0.8088 KHz$ and $10.3545\pm1.2501\%$) respectively.


title: Coarse-to-Fine Concept Bottleneck Models

abstract: Deep learning algorithms have recently gained significant attention due to their impressive performance. However, their high complexity and un-interpretable mode of operation hinders their confident deployment in real-world safety-critical tasks. This work targets ante hoc interpretability, and specifically Concept Bottleneck Models (CBMs). Our goal is to design a framework that admits a highly interpretable decision making process with respect to human understandable concepts, on two levels of granularity. To this end, we propose a novel two-level concept discovery formulation leveraging: (i) recent advances in vision-language models, and (ii) an innovative formulation for coarse-to-fine concept selection via data-driven and sparsity-inducing Bayesian arguments. Within this framework, concept information does not solely rely on the similarity between the whole image and general unstructured concepts; instead, we introduce the notion of concept hierarchy to uncover and exploit more granular concept information residing in patch-specific regions of the image scene. As we experimentally show, the proposed construction not only outperforms recent CBM approaches, but also yields a principled framework towards interpetability.


title: Symmetric Single Index Learning

abstract: Few neural architectures lend themselves to provable learning with gradient based methods. One popular model is the single-index model, in which labels are produced by composing an unknown linear projection with a possibly unknown scalar link function. Learning this model with SGD is relatively well-understood, whereby the so-called information exponent of the link function governs a polynomial sample complexity rate. However, extending this analysis to deeper or more complicated architectures remains challenging. In this work, we consider single index learning in the setting of symmetric neural networks. Under analytic assumptions on the activation and maximum degree assumptions on the link function, we prove that gradient flow recovers the hidden planted direction, represented as a finitely supported vector in the feature space of power sum polynomials. We characterize a notion of information exponent adapted to our setting that controls the efficiency of learning.


title: TWIZ-v2: The Wizard of Multimodal Conversational-Stimulus

abstract: In this report, we describe the vision, challenges, and scientific contributions of the Task Wizard team, TWIZ, in the Alexa Prize TaskBot Challenge 2022. Our vision, is to build TWIZ bot as an helpful, multimodal, knowledgeable, and engaging assistant that can guide users towards the successful completion of complex manual tasks. To achieve this, we focus our efforts on three main research questions: (1) Humanly-Shaped Conversations, by providing information in a knowledgeable way; (2) Multimodal Stimulus, making use of various modalities including voice, images, and videos; and (3) Zero-shot Conversational Flows, to improve the robustness of the interaction to unseen scenarios. TWIZ is an assistant capable of supporting a wide range of tasks, with several innovative features such as creative cooking, video navigation through voice, and the robust TWIZ-LLM, a Large Language Model trained for dialoguing about complex manual tasks. Given ratings and feedback provided by users, we observed that TWIZ bot is an effective and robust system, capable of guiding users through tasks while providing several multimodal stimuli.


title: Microscopic model realization of $\boldsymbol{d}$-wave pseudospin current order in Sr$_{\boldsymbol{2}}$IrO$_{\boldsymbol{4}}$

abstract: The $d$-wave pseudospin current order ($d$PSCO) with staggered circulating pseudospin current has been proposed as the hidden electronic order to describe the unexpected breaking of spatial symmetries in stoichiometric Sr$_{2}$IrO$_{4}$ and the unconventional pseudogap phenomena in electron doped Sr$_{2}$IrO$_{4}$. However, a microscopic model for the emergence of $d$PSCO is still lacking. The nearest neighbor Coulomb repulsion $V$, which is expected to be significant in Sr$_{2}$IrO$_{4}$ due to the large spatial extension of the Ir $5d$ orbitals, is capable of driving $d$PSCO on the mean-field level, albeit the latter is energetically degenerate to the staggered flux phase with circulating charge current. We find the in-plane anisotropy $\Gamma_2$ in the effective superexchange interaction between $J_\text{eff}={1\over 2}$ pseudospins, originating from the cooperative interplay between Hund's rule coupling and spin-orbit coupling of Ir $5d$ electrons, is able to lift the degeneracy and stabilize the pseudospin currents. The effective single-orbital model of $J_\text{eff}={1\over 2}$ electrons, including onsite Coulomb repulsion $U$, nearest neighbor Coulomb repulsion $V$, and the in-plane anisotropy $\Gamma_2$, is then studied. We obtain the mean-field ground states, analyze their properties, and determine the phase diagram of stoichiometric Sr$_{2}$IrO$_{4}$ in the plane spanned by $U$ and $V$ at a fixed $\Gamma_2$. We demonstrate the realization of $d$PSCO, and its competition and coexistence with antiferromagnetism. Remarkably, we find the coexistence of $d$PSCO and antiferromagnetism naturally leads to spin bond nematicity, with the spin directions of these three orders forming nontrivial chirality. Furthermore, we show that the emergence of the coexistent state and its chirality can be tuned by carrier doping.


title: HPCClusterScape: Increasing Transparency and Efficiency of Shared High-Performance Computing Clusters for Large-scale AI Models

abstract: The emergence of large-scale AI models, like GPT-4, has significantly impacted academia and industry, driving the demand for high-performance computing (HPC) to accelerate workloads. To address this, we present HPCClusterScape, a visualization system that enhances the efficiency and transparency of shared HPC clusters for large-scale AI models. HPCClusterScape provides a comprehensive overview of system-level (e.g., partitions, hosts, and workload status) and application-level (e.g., identification of experiments and researchers) information, allowing HPC operators and machine learning researchers to monitor resource utilization and identify issues through customizable violation rules. The system includes diagnostic tools to investigate workload imbalances and synchronization bottlenecks in large-scale distributed deep learning experiments. Deployed in industrial-scale HPC clusters, HPCClusterScape incorporates user feedback and meets specific requirements. This paper outlines the challenges and prerequisites for efficient HPC operation, introduces the interactive visualization system, and highlights its contributions in addressing pain points and optimizing resource utilization in shared HPC clusters.


title: Fast algorithm for centralized multi-agent maze exploration

abstract: Recent advancements in robotics have paved the way for robots to replace humans in perilous situations, such as searching for victims in blazing buildings, earthquake-damaged structures, uncharted caves, traversing minefields, or patrolling crime-ridden streets. These challenges can be generalized as problems where agents need to explore unknown mazes. Although various algorithms for single-agent maze exploration exist, extending them to multi-agent systems poses complexities. We propose a solution: a cooperative multi-agent system of automated mobile agents for exploring unknown mazes and locating stationary targets. Our algorithm employs a potential field governing maze exploration, integrating cooperative agent behaviors like collision avoidance, coverage coordination, and path planning. This approach builds upon the Heat Equation Driven Area Coverage (HEDAC) method by Ivi\'c, Crnkovi\'c, and Mezi\'c. Unlike previous continuous domain applications, we adapt HEDAC for discrete domains, specifically mazes divided into nodes. Our algorithm is versatile, easily modified for anti-collision requirements, and adaptable to expanding mazes and numerical meshes over time. Comparative evaluations against alternative maze-solving methods illustrate our algorithm's superiority. The results highlight significant enhancements, showcasing its applicability across diverse mazes. Numerical simulations affirm its robustness, adaptability, scalability, and simplicity, enabling centralized parallel computation in autonomous systems of basic agents/robots.


title: Minimalist Neural Networks training for phase classification in diluted-Ising models

abstract: In this article, we explore the potential of artificial neural networks, which are trained using an exceptionally simplified catalog of ideal configurations encompassing both order and disorder. We explore the generalisation power of these networks to classify phases in complex models that are far from the simplified training context. As a paradigmatic case, we analyse the order-disorder transition of the diluted Ising model on several two-dimensional crystalline lattices, which does not have an exact solution and presents challenges for most of the available analytical and numerical techniques. Quantitative agreement is obtained in the determination of transition temperatures and percolation densities, with comparatively much more expensive methods. These findings highlight the potential of minimalist training in neural networks to describe complex phenomena and have implications beyond condensed matter physics.


title: Geometric re-meshing strategies to simulate contactless rebounds of elastic solids in fluids

abstract: The paper deals with the rebound of an elastic solid off a rigid wall of a container filled with an incompressible Newtonian fluid. Our study focuses on a collision-free bounce, meaning a rebound without topological contact between the elastic solid and the wall. This has the advantage of omitting any artificial bouncing law. In order to capture the contact-free rebound for very small viscosities an adaptive numerical scheme is introduced. The here-introduced scheme is based on a Glowinski time scheme and a localized arbitrary Lagrangian-Eulerian map on finite elements in space. The absence of topological contact requires that very thin liquid channels are solved with sufficient accuracy. It is achieved via newly developed geometrically driven adaptive strategies. Using the numerical scheme, we present here a collection of numerical experiments. A rebound is simulated in the absence of topological contacts. Its physical relevance is demonstrated as, with decreasing viscosities, a free rebound in a vacuum is approached. Further, we compare the dynamics with a second numerical scheme; a here-introduced adaptive purely Eulerian level-set method. The scheme produced the same dynamics for large viscosities. However, as it requires a much higher computational cost, small viscosities can not be reached by this method. The experiments allow for a better understanding of the effect of fluids on the dynamics of elastic objects. Several observations are discussed, such as the amount of elastic and/or kinetic energy loss or the precise connection between the fluid pressure and the rebound of the solid.


title: Exploring Collaboration Mechanisms for LLM Agents: A Social Psychology View

abstract: As Natural Language Processing (NLP) systems are increasingly employed in intricate social environments, a pressing query emerges: Can these NLP systems mirror human-esque collaborative intelligence, in a multi-agent society consisting of multiple large language models (LLMs)? This paper probes the collaboration mechanisms among contemporary NLP systems by melding practical experiments with theoretical insights. We fabricate four unique `societies' comprised of LLM agents, where each agent is characterized by a specific `trait' (easy-going or overconfident) and engages in collaboration with a distinct `thinking pattern' (debate or reflection). Through evaluating these multi-agent societies on three benchmark datasets, we discern that certain collaborative strategies not only outshine previous top-tier approaches, but also optimize efficiency (using fewer API tokens). Moreover, our results further illustrate that LLM agents manifest human-like social behaviors, such as conformity and consensus reaching, mirroring foundational social psychology theories. In conclusion, we integrate insights from social psychology to contextualize the collaboration of LLM agents, inspiring further investigations into the collaboration mechanism for LLMs. We commit to sharing our code and datasets\footnote{\url{https://github.com/zjunlp/MachineSoM}.}, hoping to catalyze further research in this promising avenue.


title: Main sequence companions to white dwarfs II: the age-activity-rotation relation from a sample of Gaia common proper motion pairs

abstract: Magnetic activity and rotation are related to the age of low-mass main sequence stars. To further constrain these relations, we study a sample of 574 main sequence stars members of common proper motion pairs with white dwarfs, identified thanks to Gaia astrometry. We use the white dwarfs as age indicators, while the activity indexes and rotational velocities are obtained from the main sequence companions using standard procedures. We find that stars older than 5 Gyr do not display Halpha nor Caii H&K emission unless they are fast rotators due to tidal locking from the presence of unseen companions and that the rotational velocities tend to decrease over time, thus supporting the so-called gyrochronology. However, we also find moderately old stars (~2-6 Gyr) that are active presumably because they rotate faster than they should for their given ages. This indicates that they may be suffering from weakened magnetic braking or that they possibly evolved through wind accretion processes in the past. The activity fractions that we measure for all stars younger than 5 Gyr range between ~10-40 per cent. This is line with the expectations, since our sample is composed of F, G, K and early M stars, which are thought to have short (<2 Gyr) activity lifetimes. Finally, we observe that the Halpha fractional luminosities and the R'HK indexes for our sample of (slowly rotating) stars show a spread (-4>log(LHalpha/Lbol); log(R'HK)> -5) typically found in inactive M stars or weakly active/inactive F, G, K stars.


title: Light QCD Axion Dark Matter from Double Level Crossings

abstract: The even light QCD axion called the $Z_{\mathcal N}$ axion can both solve the strong CP problem and account for the dark matter (DM). We point out that the single and double level crossings can naturally take place in the mass mixing between the $Z_{\mathcal N}$ axion and axionlike particle (ALP). The first level crossing occurs much earlier than the QCD phase transition, while the second level crossing occurs exactly during the QCD phase transition if it exists. We also find that the single level crossing can transform into the double level crossings, depending on the ALP mass $m_A$ versus the zero-temperature $Z_{\mathcal N}$ axion mass $m_{a,0}$. Compared with the no level crossing case, the $Z_{\mathcal N}$ axion relic density can be suppressed in the single level crossing, and enhanced or suppressed in the double level crossings.


title: Status of the Medium-Sized Telescopes for the Cherenkov Telescope Array Observatory

abstract: The Cherenkov Telescope Array Observatory (CTAO) is a next-generation ground-based gamma-ray observatory that will study the universe at very high energy using atmospheric Cherenkov light. CTAO will comprise over 67 telescopes of three different sizes, located in the northern and southern hemispheres. Among these, the Medium-Sized Telescope (MST) will play a crucial role in CTAO's observations, providing excellent sensitivity and angular resolution for gamma rays in the energy range of 100 GeV to 5 TeV. The MST is based on a modified single-mirror Davies-Cotton design, featuring a segmented mirror with a diameter of 12 meters, a total reflective surface of 88 square meters, and a focal length of 16 meters. It will cover an approximately 8-degree field of view and be equipped with two different cameras: NectarCAM and FlashCam, at the northern and southern CTAO sites, respectively. The MST's design is optimized for efficient observation of extended sources, including supernova remnants and pulsar wind nebulae, as well as the study of gamma-ray bursts and active galactic nuclei. Currently, the MST is in the midst of production and testing stages with the aim of being installed in 2025 for the CTAO Pathfinder project. In this project, one MST telescope will be deployed at each CTAO site to provide on-site experience with pre-production components. This approach facilitates cost and risk reduction before starting serial production. This contribution provides an overview of the current status and plans of the MST's construction at both the northern and southern CTAO sites, as well as details on the telescope and camera designs and their expected performance.


title: Semantic Code Graph -- an information model to facilitate software comprehension

abstract: Software comprehension can be extremely time-consuming due to the ever-growing size of codebases. Consequently, there is an increasing need to accelerate the code comprehension process to facilitate maintenance and reduce associated costs. A crucial aspect of this process is understanding and preserving the high quality of the code dependency structure. While a variety of code structure models already exist, there is a surprising lack of models that closely represent the source code and focus on software comprehension. As a result, there are no readily available and easy-to-use tools to assist with dependency comprehension, refactoring, and quality monitoring of code. To address this gap, we propose the Semantic Code Graph (SCG), an information model that offers a detailed abstract representation of code dependencies with a close relationship to the source code. To validate the SCG model's usefulness in software comprehension, we compare it to nine other source code representation models. Additionally, we select 11 well-known and widely-used open-source projects developed in Java and Scala and perform a range of software comprehension activities on them using three different code representation models: the proposed SCG, the Call Graph (CG), and the Class Collaboration Network (CCN). We then qualitatively analyze the results to compare the performance of these models in terms of software comprehension capabilities. These activities encompass project structure comprehension, identifying critical project entities, interactive visualization of code dependencies, and uncovering code similarities through software mining. Our findings demonstrate that the SCG enhances software comprehension capabilities compared to the prevailing CCN and CG models. We believe that the work described is a step towards the next generation of tools that streamline code dependency comprehension and management.


title: Unveiling the Pitfalls of Knowledge Editing for Large Language Models

abstract: As the cost associated with fine-tuning Large Language Models (LLMs) continues to rise, recent research efforts have pivoted towards developing methodologies to edit implicit knowledge embedded within LLMs. Yet, there's still a dark cloud lingering overhead -- will knowledge editing trigger butterfly effect? since it is still unclear whether knowledge editing might introduce side effects that pose potential risks or not. This paper pioneers the investigation into the potential pitfalls associated with knowledge editing for LLMs. To achieve this, we introduce new benchmark datasets and propose innovative evaluation metrics. Our results underline two pivotal concerns: (1) Knowledge Conflict: Editing groups of facts that logically clash can magnify the inherent inconsistencies in LLMs-a facet neglected by previous methods. (2) Knowledge Distortion: Altering parameters with the aim of editing factual knowledge can irrevocably warp the innate knowledge structure of LLMs. Experimental results vividly demonstrate that knowledge editing might inadvertently cast a shadow of unintended consequences on LLMs, which warrant attention and efforts for future works. Code and data are available at https://github.com/zjunlp/PitfallsKnowledgeEditing.


title: Clustering Graphs of Bounded Treewidth to Minimize the Sum of Radius-Dependent Costs

abstract: We consider the following natural problem that generalizes min-sum-radii clustering: Given is $k\in\mathbb{N}$ as well as some metric space $(V,d)$ where $V=F\cup C$ for facilities $F$ and clients $C$. The goal is to find a clustering given by $k$ facility-radius pairs $(f_1,r_1),\dots,(f_k,r_k)\in F\times\mathbb{R}_{\geq 0}$ such that $C\subseteq B(f_1,r_1)\cup\dots\cup B(f_k,r_k)$ and $\sum_{i=1,\dots,k} g(r_i)$ is minimized for some increasing function $g:\mathbb{R}_{\geq 0}\rightarrow\mathbb{R}_{\geq 0}$. Here, $B(x,r)$ is the radius-$r$ ball centered at $x$. For the case that $(V,d)$ is the shortest-path metric of some edge-weighted graph of bounded treewidth, we present a dynamic program that is tailored to this class of problems and achieves a polynomial running time, establishing that the problem is in $\mathsf{XP}$ with parameter treewidth.


title: Flow Driven Oil Recovery Enhanced with Structural Disjoining Pressure

abstract: Nanofluids have the potential to enhance oil recovery through the structural disjoining pressure, a pressure developed when nanoparticles concentrate at the three-phase contact line. A model microfluidic porous network is used to measure the percentage of oil displaced from this channel as the volume fraction of a Triton X-100 micelle nanofluid is varied from 0 - 30%. The percentage of oil displaced varies nearly linearly with micellar nanoparticle volume fraction starting with 39% using deionized water and 89% using a volume fraction of 30%. While the trend is clear, significant variability between experiments was observed for a fixed nanofluid volume fraction. This indicates that surface energy heterogeneity is important for the nanofluid oil displacement performance.


title: Hypersurface Convexity and Extension of K\"ahler Forms

abstract: The following generalization of a result of S. Nemirovski is proved: if $X$ is either a projective or a Stein manifold and $K\subset X$ is a compact sublevel set of a strictly plurisubharmonic function $\varphi$ defined in a neighborhood of $K$, then $X\setminus K$ is a union of positive divisors if and only if $dd^c\varphi$ extends to a Hodge form on $X$. For an arbitrary compact subset $K\subsetneq X$, this gives that $X\setminus K$ is a union of positive divisors if and only if $K$ admits a neighbourhood basis of sublevel sets of strictly plurisubharmonic functions with the $dd^c$-extension property.


title: Learning Reliable Logical Rules with SATNet

abstract: Bridging logical reasoning and deep learning is crucial for advanced AI systems. In this work, we present a new framework that addresses this goal by generating interpretable and verifiable logical rules through differentiable learning, without relying on pre-specified logical structures. Our approach builds upon SATNet, a differentiable MaxSAT solver that learns the underlying rules from input-output examples. Despite its efficacy, the learned weights in SATNet are not straightforwardly interpretable, failing to produce human-readable rules. To address this, we propose a novel specification method called "maximum equality", which enables the interchangeability between the learned weights of SATNet and a set of propositional logical rules in weighted MaxSAT form. With the decoded weighted MaxSAT formula, we further introduce several effective verification techniques to validate it against the ground truth rules. Experiments on stream transformations and Sudoku problems show that our decoded rules are highly reliable: using exact solvers on them could achieve 100% accuracy, whereas the original SATNet fails to give correct solutions in many cases. Furthermore, we formally verify that our decoded logical rules are functionally equivalent to the ground truth ones.


title: Error estimates for the robust $\alpha$-stable central limit theorem under sublinear expectation by discrete approximation method

abstract: In this work, we develop a numerical method to study the error estimates of the $\alpha$-stable central limit theorem under sublinear expectation with $\alpha \in(0,2)$, whose limit distribution can be characterized by a fully nonlinear integro-differential equation (PIDE). Based on the sequence of independent random variables, we propose a discrete approximation scheme for the fully nonlinear PIDE. With the help of the nonlinear stochastic analysis techniques and numerical analysis tools, we establish the error bounds for the discrete approximation scheme, which in turn provides a general error bound for the robust $\alpha$-stable central limit theorem, including the integrable case $\alpha \in(1,2)$ as well as the non-integrable case $\alpha \in(0,1]$. Finally, we provide some concrete examples to illustrate our main results and derive the precise convergence rates.


title: Automated long-range compensation of an rf quantum dot sensor

abstract: Charge sensing is a sensitive technique for probing quantum devices, of particular importance for spin qubit readout. To achieve good readout sensitivities, the proximity of the charge sensor to the device to be measured is a necessity. However, this proximity also means that the operation of the device affects, in turn, the sensor tuning and ultimately the readout sensitivity. We present an approach for compensating for this cross-talk effect allowing for the gate voltages of the measured device to be swept in a 1 V x 1 V window while maintaining a sensor configuration chosen by a Bayesian optimiser. Our algorithm is a key contribution to the suite of fully automated solutions required for the operation of large quantum device architectures.


title: Security of a Grover's Algorithm-based secret sharing protocol, generalized for an arbitrary number of participants, against interception attacks

abstract: In this work, we study interception attacks against a secret sharing protocol based on Grovers search algorithm. Unlike previous works that only give the algorithm for two and three participants, we have generalized the algorithm for any number of participants. Both reflections used in the algorithm are constructed using a generalized Householder reflection. Our main goal is to obtain the probability for an eavesdropper to break the secret depending on the true initial state and the one assumed by the eavesdropper and on the Householder angle. In cases where there are two and three participants, we give an exact analytical solution. These formulas are consistent with the numerical results. We use simulations for the case of between 4 and 7 participants to extrapolate the analytical formula for any number of participants.


title: Random Diophantine Equations in the Primes II

abstract: Let $d\ge 2$ and $n\ge d$ with $(d,n)\notin \{(2,2),(3,3)\}$. We consider homogeneous Diophantine equations of degree $d$ in $n+1$ variables and whether they have solutions in the primes. In particular, we show that a certain local-global principle holds for almost all such equations, following on from previous work of the author arXiv:2305.06306. We do this by adapting the methods of Browning, Le Boudec and Sawin (Annals, 2023).


title: Discrete anisotropic curve shortening flow in higher codimension

abstract: We introduce a novel formulation for the evolution of parametric curves by anisotropic curve shortening flow in ${\mathbb R}^d$, $d\geq2$. The reformulation hinges on a suitable manipulation of the parameterization's tangential velocity, leading to a strictly parabolic differential equation. Moreover, the derived equation is in divergence form, giving rise to a natural variational numerical method. For a fully discrete finite element approximation based on piecewise linear elements we prove optimal error estimates. Numerical simulations confirm the theoretical results and demonstrate the practicality of the method.