title: A Stiffness-Oriented Model Order Reduction Method for Low-Inertia Power Systems

abstract: This paper presents a novel model order reduction technique tailored for power systems with a large share of inverter-based energy resources. Such systems exhibit an increased level of dynamic stiffness compared to traditional power systems, posing challenges for time-domain simulations and control design. Our approach involves rotation of the coordinate system of a linearized system using a transformation matrix derived from the real Jordan canonical form, leading to mode decoupling. The fast modes are then truncated in the rotated coordinate system to obtain a lower-order model with reduced stiffness. Applying the same transformation to the original nonlinear system results in an approximate separation of slow and fast states, which can be truncated to reduce the stiffness. The resulting reduced-order model demonstrates an accurate time-domain performance, the slow eigenvalues of the linearized system are correctly preserved, and a reduction in the model stiffness is achieved, allowing for accurate integration with increased step size. Our methodology is assessed in detail for a 3-bus system with generation units involving grid-forming/following converters and synchronous machines, where it allows for a computational speed-up of up to 100x compared to the original system. Several standard larger test systems are also considered.


title: Node-based Knowledge Graph Contrastive Learning for Medical Relationship Prediction

abstract: The embedding of Biomedical Knowledge Graphs (BKGs) generates robust representations, valuable for a variety of artificial intelligence applications, including predicting drug combinations and reasoning disease-drug relationships. Meanwhile, contrastive learning (CL) is widely employed to enhance the distinctiveness of these representations. However, constructing suitable contrastive pairs for CL, especially within Knowledge Graphs (KGs), has been challenging. In this paper, we proposed a novel node-based contrastive learning method for knowledge graph embedding, NC-KGE. NC-KGE enhances knowledge extraction in embeddings and speeds up training convergence by constructing appropriate contrastive node pairs on KGs. This scheme can be easily integrated with other knowledge graph embedding (KGE) methods. For downstream task such as biochemical relationship prediction, we have incorporated a relation-aware attention mechanism into NC-KGE, focusing on the semantic relationships and node interactions. Extensive experiments show that NC-KGE performs competitively with state-of-the-art models on public datasets like FB15k-237 and WN18RR. Particularly in biomedical relationship prediction tasks, NC-KGE outperforms all baselines on datasets such as PharmKG8k-28, DRKG17k-21, and BioKG72k-14, especially in predicting drug combination relationships. We release our code at https://github.com/zhi520/NC-KGE.


title: White paper on cybersecurity in the healthcare sector. The HEIR solution

abstract: The healthcare sector is increasingly vulnerable to cyberattacks due to its growing digitalization. Patient data, including medical records and financial information, are at risk, potentially leading to identity theft and patient safety concerns. The European Union and other organizations identify key areas for healthcare system improvement, yet the industry still grapples with inadequate security practices. In response, the HEIR project offers a comprehensive cybersecurity approach, promoting security features from various regulatory frameworks and introducing tools such as the Secure Healthcare Framework and Risk Assessment for Medical Applications (RAMA). These measures aim to enhance digital health security and protect sensitive patient data while facilitating secure data access and privacy-aware techniques. In a rapidly evolving threat landscape, HEIR presents a promising framework for healthcare cybersecurity.


title: Constraining Ultralight Axions with CSST Weak Gravitational Lensing and Galaxy Clustering Photometric Surveys

abstract: Ultralight axion (ULA) can be one of the potential candidates for dark matter. The extremely low mass of the ULA can lead to a de Broglie wavelength the size of galaxies which results in a suppression of the growth of structure on small scales. In this work, we forecast the constraint on the ULA particle mass $m_{\text{a}}$ and relative fraction to dark matter $f_{\text{a}} = \Omega_{\text{a}}/\Omega_{\text{d}}$ for the forthcoming Stage IV space-based optical survey equipment $\it{CSST}$ (China Space Station Telescope). We focus on the $\it{CSST}$ cosmic shear and galaxy clustering photometric surveys, and forecast the measurements of shear, galaxy, and galaxy-galaxy lensing power spectra (i.e. 3$\times$2pt). The effects of neutrino, baryonic feedback, and uncertainties of intrinsic alignment, shear calibration, galaxy bias, and photometric redshift are also included in the analysis. After performing a joint constraint on all the cosmological and systematical parameters based on the simulated data from the theoretical prediction, we obtain a lower limit of the ULA particle mass $\text{log}_{10}(m_{\text{a}}/\text{eV}) \geqslant -22.5$ and an upper limit of the ULA fraction $f_{\text{a}} \leqslant 0.83$ at 95\% confidence level, and $\text{log}_{10}(m_{\text{a}}/\text{eV}) \geqslant -21.9$ with $f_{\text{a}} \leqslant 0.77$ when ignoring the baryonic feedback. We find that the CSST photometric surveys can improve the constraint on the ULA mass by about one order of magnitude, compared to the current constraints using the same kind of observational data.


title: A Search for Prompts: Generating Structured Answers from Contracts

abstract: In many legal processes being able to action on the concrete implication of a legal question can be valuable to automating human review or signalling certain conditions (e.g., alerts around automatic renewal). To support such tasks, we present a form of legal question answering that seeks to return one (or more) fixed answers for a question about a contract clause. After showing that unstructured generative question answering can have questionable outcomes for such a task, we discuss our exploration methodology for legal question answering prompts using OpenAI's \textit{GPT-3.5-Turbo} and provide a summary of insights. Using insights gleaned from our qualitative experiences, we compare our proposed template prompts against a common semantic matching approach and find that our prompt templates are far more accurate despite being less reliable in the exact response return. With some additional tweaks to prompts and the use of in-context learning, we are able to further improve the performance of our proposed strategy while maximizing the reliability of responses as best we can.


title: Entropic regularised optimal transport in a noncommutative setting

abstract: This survey has been written in occasion of the School and Workshop about Optimal Transport on Quantum Structures at Erd\"os Center in September 2022. We discuss some recent results on noncommutative entropic optimal transport problems and their relation to the study of the ground-state energy of a finite-dimensional composite quantum system at positive temperature, following the work [FGP23]. In the first part, we review some of the classical primal-dual formulations of optimal transport in the commutative setting, including extensions to multimarginal problems and entropic regularisation. We discuss the main features of the entropic problem and show how optimisers can be efficiently computed via the so-called Sinkhorn algorithm. In the second part, we discuss how to apply these ideas to a noncommutative setting, in particular on the space of density matrices over finite dimensional Hilbert spaces. In this framework, we present equivalences between primal and dual formulations, and use them to characterise the optimisers. Despite the lack of explicit formulas due to the noncommutative nature of the problem, one can also show that a suitable quantum version of the Sinkhorn algorithm converges to the minimiser of the entropic problem. In the final part of this work, we discuss similar results for bosonic and fermionic systems.


title: An Empirical Study of Self-supervised Learning with Wasserstein Distance

abstract: In this study, we delve into the problem of self-supervised learning (SSL) utilizing the 1-Wasserstein distance on a tree structure (a.k.a., Tree-Wasserstein distance (TWD)), where TWD is defined as the L1 distance between two tree-embedded vectors. In SSL methods, the cosine similarity is often utilized as an objective function; however, it has not been well studied when utilizing the Wasserstein distance. Training the Wasserstein distance is numerically challenging. Thus, this study empirically investigates a strategy for optimizing the SSL with the Wasserstein distance and finds a stable training procedure. More specifically, we evaluate the combination of two types of TWD (total variation and ClusterTree) and several probability models, including the softmax function, the ArcFace probability model, and simplicial embedding. We propose a simple yet effective Jeffrey divergence-based regularization method to stabilize optimization. Through empirical experiments on STL10, CIFAR10, CIFAR100, and SVHN, we find that a simple combination of the softmax function and TWD can obtain significantly lower results than the standard SimCLR. Moreover, a simple combination of TWD and SimSiam fails to train the model. We find that the model performance depends on the combination of TWD and probability model, and that the Jeffrey divergence regularization helps in model training. Finally, we show that the appropriate combination of the TWD and probability model outperforms cosine similarity-based representation learning.


title: Cosmology based on entropy

abstract: At present, there is practically no doubt that general relativity is closely related to gravity. Moreover, after the work of Jacobson, Padmanabhan and others, it became clear that a thermodynamic interpretation of Einstein's relativistic equations is possible. On the other hand, we are witnessing the conceptual problems of the SCM (the problem of the cosmological constant, the problem of coincidences) and many years of futile attempts to directly fix the main components of the model (dark energy and dark matter). The combination of these two factors gave rise to a natural desire, at least at the phenomenological level, to build a cosmological model that represents the synthesis of gravity and thermodynamics and does not include components of an unknown nature. It is this model\`uentropic cosmology\`uthat is considered in this review. We have set as our goal, omitting the details that can be found in the references given, to present the conceptual foundations of the model.


title: A new method for calculating the soft anomalous dimension matrix for massive particle scattering

abstract: The general structure of infrared divergences in the scattering of massive particles is captured by the soft anomalous dimension matrix. The latter can be computed from a correlation function of multiple Wilson lines. The state-of-the-art two-loop result has a tantalizingly simple structure that is not manifest in the calculations. We argue that the complexity in intermediate steps of the known calculations comes from spurious, regulator-dependent terms. Based on this insight we propose a different infrared regulator that is associated to only one of the Wilson lines. We demonstrate that this streamlines obtaining the two-loop result: computing the required Feynman integrals via the differential equations method, only multiple polylogarithmic functions appear (to all orders in the dimensional regulator), as opposed to elliptic polylogarithms. We show that the new method is promising for higher-loop applications by computing a three-loop diagram of genuine complexity, and provide the answer in terms of multiple polylogarithms. The relatively simple symbol alphabet we obtain may be of interest for bootstrap approaches.


title: A CJ-FEAST GSVDsolver for computing a partial GSVD of a large matrix pair with the generalized singular values in a given interval

abstract: We propose a CJ-FEAST GSVDsolver to compute a partial generalized singular value decomposition (GSVD) of a large matrix pair $(A,B)$ with the generalized singular values in a given interval. The solver is a highly nontrivial extension of the FEAST eigensolver for the (generalized) eigenvalue problem and CJ-FEAST SVDsolver for the SVD problem. For a partial GSVD problem, given three left and right searching subspaces, we propose a general projection method that works on $(A,B)$ {\em directly}, and computes approximations to the desired GSVD components. For the concerning GSVD problem, we exploit the Chebyshev--Jackson (CJ) series to construct an approximate spectral projector of the generalized eigenvalue problem of the matrix pair $(A^TA,B^TB)$ associated with the generalized singular values of interest, and use subspace iteration on it to generate a right subspace. Premultiplying it with $A$ and $B$ constructs two left subspaces. Applying the general projection method to the subspaces constructed leads to the CJ-FEAST GSVDsolver. We derive accuracy estimates for the approximate spectral projector and its eigenvalues, and establish a number of convergence results on the underlying subspaces and the approximate GSVD components obtained by the CJ-FEAST GSVDsolver. We propose general-purpose choice strategies for the series degree and subspace dimension. Numerical experiments illustrate the efficiency of the CJ-FEAST GSVDsolver.


title: Block-missing data in linear systems: An unbiased stochastic gradient descent approach

abstract: Achieving accurate approximations to solutions of large linear systems is crucial, especially when those systems utilize real-world data. A consequence of using real-world data is that there will inevitably be missingness. Current approaches for dealing with missing data, such as deletion and imputation, can introduce bias. Recent studies proposed an adaptation of stochastic gradient descent (SGD) in specific missing-data models. In this work, we propose a new algorithm, $\ell$-tuple mSGD, for the setting in which data is missing in a block-wise, tuple pattern. We prove that our proposed method uses unbiased estimates of the gradient of the least squares objective in the presence of tuple missing data. We also draw connections between $\ell$-tuple mSGD and previously established SGD-type methods for missing data. Furthermore, we prove our algorithm converges when using updating step sizes and empirically demonstrate the convergence of $\ell$-tuple mSGD on synthetic data. Lastly, we evaluate $\ell$-tuple mSGD applied to real-world continuous glucose monitoring (CGM) device data.


title: Non-Hermitian Optical Parametric Systems with Anti-parity-time Symmetry

abstract: The continuous advancements in ultrafast lasers, characterized by high pulse energy, great average power, and ultrashort pulse duration, have opened up new frontiers and applications in various fields such as high-energy-density science. In this study, we investigated the implementation of non-Hermitian nonlinear parametric amplification by introducing anti-parity-time (anti-PT) symmetry to three-wave interaction processes. By exploring the parameter space defined by the coupling coefficient, phase mismatch, and absorption, we categorized the behavior of the non-Hermitian optical parametric system into four distinct quadrants, representing unbroken/broken anti-PT symmetry and amplification/attenuation, and amplification-attenuation boundaries and exceptional lines can be observed in such parametric space. Through simulations of the dynamical behavior of the interacting waves, we demonstrated the rich evolutions of the signal and idler waves in systems belonging to the respective quadrants and near exceptional points, revealed by the unique performance of eigenmodes. Our findings provide insights into the evaluation of energy flow direction in optical parametric amplification engineering by the directly linked parameter space, which contribute to a deeper understanding of photonics and laser science, potentially leading to new applications in these fields.


title: Recursive Segmentation Living Image: An eXplainable AI (XAI) Approach for Computing Structural Beauty of Images or the Livingness of Space

abstract: This study introduces the concept of "structural beauty" as an objective computational approach for evaluating the aesthetic appeal of images. Through the utilization of the Segment anything model (SAM), we propose a method that leverages recursive segmentation to extract finer-grained substructures. Additionally, by reconstructing the hierarchical structure, we obtain a more accurate representation of substructure quantity and hierarchy. This approach reproduces and extends our previous research, allowing for the simultaneous assessment of Livingness in full-color images without the need for grayscale conversion or separate computations for foreground and background Livingness. Furthermore, the application of our method to the Scenic or Not dataset, a repository of subjective scenic ratings, demonstrates a high degree of consistency with subjective ratings in the 0-6 score range. This underscores that structural beauty is not solely a subjective perception, but a quantifiable attribute accessible through objective computation. Through our case studies, we have arrived at three significant conclusions. 1) our method demonstrates the capability to accurately segment meaningful objects, including trees, buildings, and windows, as well as abstract substructures within paintings. 2) we observed that the clarity of an image impacts our computational results; clearer images tend to yield higher Livingness scores. However, for equally blurry images, Livingness does not exhibit a significant reduction, aligning with human visual perception. 3) our approach fundamentally differs from methods employing Convolutional Neural Networks (CNNs) for predicting image scores. Our method not only provides computational results but also offers transparency and interpretability, positioning it as a novel avenue in the realm of Explainable AI (XAI).


title: An application of the nonlinear reciprocal transformations in the theory of DR hierarchies

abstract: We prove that the DR hierarchy corresponding to the family of F-cohomological field theories without unit considered in a previous work of the first author together with D. Gubarevich can be ``trivialized'', i.e. reduced to two copies of the KdV hierarchy, using a simple nonlinear reciprocal transformation. This gives the first manifestation of a role of nonlinear reciprocal transformation in the theory of integrable systems associated to the moduli spaces of stable curves, beyond the dispersionless limit.


title: DNA: Denoised Neighborhood Aggregation for Fine-grained Category Discovery

abstract: Discovering fine-grained categories from coarsely labeled data is a practical and challenging task, which can bridge the gap between the demand for fine-grained analysis and the high annotation cost. Previous works mainly focus on instance-level discrimination to learn low-level features, but ignore semantic similarities between data, which may prevent these models learning compact cluster representations. In this paper, we propose Denoised Neighborhood Aggregation (DNA), a self-supervised framework that encodes semantic structures of data into the embedding space. Specifically, we retrieve k-nearest neighbors of a query as its positive keys to capture semantic similarities between data and then aggregate information from the neighbors to learn compact cluster representations, which can make fine-grained categories more separatable. However, the retrieved neighbors can be noisy and contain many false-positive keys, which can degrade the quality of learned embeddings. To cope with this challenge, we propose three principles to filter out these false neighbors for better representation learning. Furthermore, we theoretically justify that the learning objective of our framework is equivalent to a clustering loss, which can capture semantic similarities between data to form compact fine-grained clusters. Extensive experiments on three benchmark datasets show that our method can retrieve more accurate neighbors (21.31% accuracy improvement) and outperform state-of-the-art models by a large margin (average 9.96% improvement on three metrics). Our code and data are available at https://github.com/Lackel/DNA.


title: Entropy for Monge-Amp\`ere Measures in the Prescribed Singularities Setting

abstract: In this note, we generalize the notion of entropy for potentials in a relative full Monge-Amp\`ere mass $\mathcal{E}(X, \theta, \phi)$, for a model potential $\phi$. We then investigate stability properties of this condition with respect to blow-ups and perturbation of the cohomology class. We also prove a Moser-Trudinger type inequality with general weight and we show that functions with finite entropy lie in a relative energy class $\mathcal{E}^{\frac{n}{n-1}}(X, \theta, \phi)$ (provided $n>1$), while they have the same singularities of $\phi$ when $n=1$.


title: Photoinduced $\eta$-pairing correlation in the Hubbard ladder

abstract: We investigate the staggered correlation of the on-site pairs, the so-called $\eta$-pairing correlation, induced by pump electric fields in the Hubbard model on the ladder lattice. Employing the time-evolution method based on exact diagonalization, we compute the photoinduced $\eta$-pairing correlation with different strengths of the interchain hopping. When the pump field is polarized along the chain direction, the $\eta$-pairing correlation is noticeably induced in the weakly coupled double-chain region, where the pairing property is similar to the $\eta$ pairing in the single-chain Hubbard model. On the other hand, the pump field polarized along the rung direction prominently induces the $\eta$-pairing correlation in the strong interchain coupling regime, where the pair correlations developing across rungs strongly contribute to the $\eta$ pairing. Based on the local rung approximation, which is valid in the strong interchain coupling regime, we discuss the origin of the photoinduced pair.


title: Best approximations in metric spaces with property strongly UC

abstract: In this article, we introduce a geometrical notion, property strongly UC which is stronger than property UC and prove the existence of best approximations for a new class of almost cyclic $\psi$-contraction maps in a metric space. As a particular case, we obtain the main results of [Sadiq Basha, S., Best approximation theorems for almost cyclic contractions. J. Fixed Point Theory Appl. 23 (2021), MR4254305] and [Eldred, A. Anthony; Veeramani, P., Existence and convergence of best proximity points. J. Math. Anal. Appl. 323 (2006), MR2260159]. Moreover, we study the existence of best approximations for almost cyclic contractions in a reflexive Banach space.


title: Analysis and implementation of nanotargeting on LinkedIn based on publicly available non-PII

abstract: The literature has shown that combining a few non-Personal Identifiable Information (non-PII) is enough to make a user unique in a dataset including millions of users. This work demonstrates that a combination of a few non-PII items can be activated to nanotarget users. We demonstrate that the combination of the location and {5} rare ({13} random) skills in a LinkedIn profile is enough to become unique in a user base of {$\sim$970M} users with a probability of 75\%. The novelty is that these attributes are publicly accessible to anyone registered on LinkedIn and can be activated through advertising campaigns. We ran an experiment configuring ad campaigns using the location and skills of three of the paper's authors, demonstrating how all the ads using $\geq13$ skills were delivered exclusively to the targeted user. We reported this vulnerability to LinkedIn, which initially ignored the problem, but fixed it as of November 2023.%This nanotargeting may expose LinkedIn users to privacy and security risks such as malvertising or manipulation.


title: Convergence estimates for the Magnus expansion IA. Uniformly convex algebras

abstract: We review and provide simplified proofs related to the Magnus expansion, and improve convergence estimates. Observations and improvements concerning the Baker--Campbell--Hausdorff expansion are also made. In this Part IA, we consider uniform convexity. Notions of uniformly convex algebras are discussed, and uniform convexity is shown to improve convergence estimates.


title: Adaptive Workload Distribution for Accuracy-aware DNN Inference on Collaborative Edge Platforms

abstract: DNN inference can be accelerated by distributing the workload among a cluster of collaborative edge nodes. Heterogeneity among edge devices and accuracy-performance trade-offs of DNN models present a complex exploration space while catering to the inference performance requirements. In this work, we propose adaptive workload distribution for DNN inference, jointly considering node-level heterogeneity of edge devices, and application-specific accuracy and performance requirements. Our proposed approach combinatorially optimizes heterogeneity-aware workload partitioning and dynamic accuracy configuration of DNN models to ensure performance and accuracy guarantees. We tested our approach on an edge cluster of Odroid XU4, Raspberry Pi4, and Jetson Nano boards and achieved an average gain of 41.52% in performance and 5.2% in output accuracy as compared to state-of-the-art workload distribution strategies.


title: Character-LLM: A Trainable Agent for Role-Playing

abstract: Large language models (LLMs) can be used to serve as agents to simulate human behaviors, given the powerful ability to understand human instructions and provide high-quality generated texts. Such ability stimulates us to wonder whether LLMs can simulate a person in a higher form than simple human behaviors. Therefore, we aim to train an agent with the profile, experience, and emotional states of a specific person instead of using limited prompts to instruct ChatGPT API. In this work, we introduce Character-LLM that teach LLMs to act as specific people such as Beethoven, Queen Cleopatra, Julius Caesar, etc. Our method focuses on editing profiles as experiences of a certain character and training models to be personal simulacra with these experiences. To assess the effectiveness of our approach, we build a test playground that interviews trained agents and evaluates whether the agents \textit{memorize} their characters and experiences. Experimental results show interesting observations that help build future simulacra of humankind.


title: Joint Music and Language Attention Models for Zero-shot Music Tagging

abstract: Music tagging is a task to predict the tags of music recordings. However, previous music tagging research primarily focuses on close-set music tagging tasks which can not be generalized to new tags. In this work, we propose a zero-shot music tagging system modeled by a joint music and language attention (JMLA) model to address the open-set music tagging problem. The JMLA model consists of an audio encoder modeled by a pretrained masked autoencoder and a decoder modeled by a Falcon7B. We introduce preceiver resampler to convert arbitrary length audio into fixed length embeddings. We introduce dense attention connections between encoder and decoder layers to improve the information flow between the encoder and decoder layers. We collect a large-scale music and description dataset from the internet. We propose to use ChatGPT to convert the raw descriptions into formalized and diverse descriptions to train the JMLA models. Our proposed JMLA system achieves a zero-shot audio tagging accuracy of $ 64.82\% $ on the GTZAN dataset, outperforming previous zero-shot systems and achieves comparable results to previous systems on the FMA and the MagnaTagATune datasets.


title: The Poisson boundary of wreath products

abstract: We give a complete description of the Poisson boundary of wreath products $A\wr B= \bigoplus_{B} A\rtimes B$ of countable groups $A$ and $B$, for probability measures $\mu$ with finite entropy where lamp configurations stabilize almost surely. If, in addition, the projection of $\mu$ to $B$ is Liouville, we prove that the Poisson boundary of $(A\wr B,\mu)$ is equal to the space of limit lamp configurations, endowed with the corresponding hitting measure. In particular, this answers an open question asked by Kaimanovich, and Lyons-Peres, for $B=\mathbb{Z}^d$, $d\ge 3$, and measures $\mu$ with a finite first moment.


title: Public Perceptions of Fukushima Food Products in South Korea and Its dispute Resolution: A Comparative Study on East Asia

abstract: This paper analyzes the excessive risk perception of Korea as one of the causes of the international dispute over the import of Fukushima food between Korea and Japan. To do this, it compares the perception of Fukushima food among Koreans and people from other countries through a survey and identifies the factors that affect the perception through a linear regression analysis. As a result, it finds that Koreans have a higher negative perception of Fukushima food than people from other countries and that this is related to the level of knowledge about radiation and the evaluation of the Fukushima nuclear power plant accident response. It also presents the subjective opinion of the author that political conflicts between Korea and Japan may affect the perception gap and international disputes. This paper proposes a model of risk perception and decision-making process for Fukushima food and emphasizes the need to improve the risk perception of Koreans through public education and publicity campaigns.


title: Bent functions satisfying the dual bent condition and permutations with the $(\mathcal{A}_m)$ property

abstract: The concatenation of four Boolean bent functions $f=f_1||f_2||f_3||f_4$ is bent if and only if the dual bent condition $f_1^* + f_2^* + f_3^* + f_4^* =1$ is satisfied. However, to specify four bent functions satisfying this duality condition is in general quite a difficult task. Commonly, to simplify this problem, certain connections between $f_i$ are assumed, as well as functions $f_i$ of a special shape are considered, e.g., $f_i(x,y)=x\cdot\pi_i(y)+h_i(y)$ are Maiorana-McFarland bent functions. In the case when permutations $\pi_i$ of $\mathbb{F}_2^m$ have the $(\mathcal{A}_m)$ property and Maiorana-McFarland bent functions $f_i$ satisfy the additional condition $f_1+f_2+f_3+f_4=0$, the dual bent condition is known to have a relatively simple shape allowing to specify the functions $f_i$ explicitly. In this paper, we generalize this result for the case when Maiorana-McFarland bent functions $f_i$ satisfy the condition $f_1(x,y)+f_2(x,y)+f_3(x,y)+f_4(x,y)=s(y)$ and provide a construction of new permutations with the $(\mathcal{A}_m)$ property from the old ones. Combining these two results, we obtain a recursive construction method of bent functions satisfying the dual bent condition. Moreover, we provide a generic condition on the Maiorana-McFarland bent functions stemming from the permutations of $\mathbb{F}_2^m$ with the $(\mathcal{A}_m)$ property, such that their concatenation does not belong, up to equivalence, to the Maiorana-McFarland class. Using monomial permutations $\pi_i$ of $\mathbb{F}_{2^m}$ with the $(\mathcal{A}_m)$ property and monomial functions $h_i$ on $\mathbb{F}_{2^m}$, we provide explicit constructions of such bent functions. Finally, with our construction method, we explain how one can construct homogeneous cubic bent functions, noticing that only very few design methods of these objects are known.


title: Growth and characterization of the magnetic topological insulator candidate Mn$_2$Sb$_2$Te$_5$

abstract: We report a new member of topological insulator (TI) family i.e., Mn$_2$Sb$_2$Te$_5$, which belongs to MnSb$_2$Te$_4$ family and is a sister compound of Mn$_2$Bi$_2$Te$_5$. An antiferromagnetic layer of (MnTe)$_2$ has been inserted between quintuple layers of Sb$_2$Te$_3$. The crystal structure and chemical composition of as grown Mn$_2$Sb$_2$Te$_5$ crystal is experimentally visualized by single crystal XRD (SCXRD) and field emission scanning electron microscopy (FESEM). The valence states of individual constituents i.e., Mn, Sb and Te are ascertained through X ray photo electron spectroscopy (XPS). Different vibrational modes of Mn$_2$Sb$_2$Te$_5$ are elucidated through Raman spectroscopy. Temperature-dependent resistivity of Mn$_2$Sb$_2$Te$_5$ resulted in metallic behaviour of the same with an up-turn at below around 20K. Further, the magneto-transport R(T) vs H of the same exhibited negative magneto-resistance (MR) at low temperatures below 20K and small positive at higher temperatures. The low Temperature -ve MR starts decreasing at higher fields. The magnetic moment as a function of temperature at 100Oe and 1kOe showed AFM like down turn cusps at around 20K and 10K. The isothermal magnetization (MH) showed AFM like loops with some embedded FM/PM domains at 5K and purely paramagnetic (PM) like at 100K. The studied Mn$_2$Sb$_2$Te$_5$ clearly exhibited the characteristics of a magnetic TI (MTI).


title: Performance Enhancement via XPM Suppression in a Linear all-PM NPE Mode-locked Fiber Oscillator

abstract: We demonstrate strong performance enhancement of an all polarization-maintaining fiber oscillator mode-locked using NPE in a linear self-stabilized fiber interferometer via suppression of cross-phase modulation (XPM). Numerical simulations reveal that XPM significantly affects the saturable absorber dynamics resulting in distortions of mode-locked steady-states. In the experiment, we construct an oscillator with XPM suppression, employing an intra-cavity YVO4 crystal, and compare its characteristics with a reference oscillator in standard configuration. It is shown, that XPM suppression not only lowers the mode-locking threshold by more than 40%, but further results in improved spectral pulse quality at the output ports and reduced nonlinear loss of the artificial saturable absorber.


title: Machine Learning Catalysis of Quantum Tunneling

abstract: Optimizing the probability of quantum tunneling between two states, while keeping the resources of the underlying physical system constant, is a task of key importance due to its critical role in various applications. We show that, by applying Machine Learning techniques when the system is coupled to an ancilla, one optimizes the parameters of both the ancillary component and the coupling, ultimately resulting in the maximization of the tunneling probability. We provide illustrative examples for the paradigmatic scenario involving a two-mode system and a two-mode ancilla in the presence of several interacting particles. Physically, the increase of the tunneling probability is rooted in the decrease of the two-well asymmetry due to the coherent oscillations induced by the coupling to the ancilla. We also argue that the enhancement of the tunneling probability is not hampered by weak coupling to noisy environments.


title: The Road to On-board Change Detection: A Lightweight Patch-Level Change Detection Network via Exploring the Potential of Pruning and Pooling

abstract: Existing satellite remote sensing change detection (CD) methods often crop original large-scale bi-temporal image pairs into small patch pairs and then use pixel-level CD methods to fairly process all the patch pairs. However, due to the sparsity of change in large-scale satellite remote sensing images, existing pixel-level CD methods suffer from a waste of computational cost and memory resources on lots of unchanged areas, which reduces the processing efficiency of on-board platform with extremely limited computation and memory resources. To address this issue, we propose a lightweight patch-level CD network (LPCDNet) to rapidly remove lots of unchanged patch pairs in large-scale bi-temporal image pairs. This is helpful to accelerate the subsequent pixel-level CD processing stage and reduce its memory costs. In our LPCDNet, a sensitivity-guided channel pruning method is proposed to remove unimportant channels and construct the lightweight backbone network on basis of ResNet18 network. Then, the multi-layer feature compression (MLFC) module is designed to compress and fuse the multi-level feature information of bi-temporal image patch. The output of MLFC module is fed into the fully-connected decision network to generate the predicted binary label. Finally, a weighted cross-entropy loss is utilized in the training process of network to tackle the change/unchange class imbalance problem. Experiments on two CD datasets demonstrate that our LPCDNet achieves more than 1000 frames per second on an edge computation platform, i.e., NVIDIA Jetson AGX Orin, which is more than 3 times that of the existing methods without noticeable CD performance loss. In addition, our method reduces more than 60% memory costs of the subsequent pixel-level CD processing stage.


title: Phosphides-based terahertz quantum-cascade laser

abstract: Due to their high optical phonon energies GaInP/AlGaInP heterostructures are a promising active medium to solve the problem of creating compact semiconductor sources with an operating frequency range of 5.5-7 THz. In this work, the temperature dependences of gain and absorption at 6.8 THz have been calculated for a GaInP/AlGaInP-based quantum-cascade laser (QCL) with two quantum wells in the cascade and a metal-metal waveguide. We propose a laser structure that provides a mode gain of over 90 cm-1 with a maximum operating temperature of 104 K. The results of this study open the way to the development of a QCL for operation in a significant part of the GaAs phonon absorption band region, which is inaccessible for existing QCLs.


title: DaPPA: A Data-Parallel Framework for Processing-in-Memory Architectures

abstract: To ease the programmability of PIM architectures, we propose DaPPA(data-parallel processing-in-memory architecture), a framework that can, for a given application, automatically distribute input and gather output data, handle memory management, and parallelize work across the DPUs. The key idea behind DaPPA is to remove the responsibility of managing hardware resources from the programmer by providing an intuitive data-parallel pattern-based programming interface that abstracts the hardware components of the UPMEM system. Using this key idea, DaPPA transforms a data-parallel pattern-based application code into the appropriate UPMEM-target code, including the required APIs for data management and code partition, which can then be compiled into a UPMEM-based binary transparently from the programmer. While generating UPMEM-target code, DaPPA implements several code optimizations to improve end-to-end performance.


title: DemoNSF: A Multi-task Demonstration-based Generative Framework for Noisy Slot Filling Task

abstract: Recently, prompt-based generative frameworks have shown impressive capabilities in sequence labeling tasks. However, in practical dialogue scenarios, relying solely on simplistic templates and traditional corpora presents a challenge for these methods in generalizing to unknown input perturbations. To address this gap, we propose a multi-task demonstration based generative framework for noisy slot filling, named DemoNSF. Specifically, we introduce three noisy auxiliary tasks, namely noisy recovery (NR), random mask (RM), and hybrid discrimination (HD), to implicitly capture semantic structural information of input perturbations at different granularities. In the downstream main task, we design a noisy demonstration construction strategy for the generative framework, which explicitly incorporates task-specific information and perturbed distribution during training and inference. Experiments on two benchmarks demonstrate that DemoNSF outperforms all baseline methods and achieves strong generalization. Further analysis provides empirical guidance for the practical application of generative frameworks. Our code is released at https://github.com/dongguanting/Demo-NSF.


title: Leveraging Knowledge Distillation for Efficient Deep Reinforcement Learning in Resource-Constrained Environments

abstract: This paper aims to explore the potential of combining Deep Reinforcement Learning (DRL) with Knowledge Distillation (KD) by distilling various DRL algorithms and studying their distillation effects. By doing so, the computational burden of deep models could be reduced while maintaining the performance. The primary objective is to provide a benchmark for evaluating the performance of different DRL algorithms that have been refined using KD techniques. By distilling these algorithms, the goal is to develop efficient and fast DRL models. This research is expected to provide valuable insights that can facilitate further advancements in this promising direction. By exploring the combination of DRL and KD, this work aims to promote the development of models that require fewer GPU resources, learn more quickly, and make faster decisions in complex environments. The results of this research have the capacity to significantly advance the field of DRL and pave the way for the future deployment of resource-efficient, decision-making intelligent systems.


title: On permutation symmetries in Bayesian neural network posteriors: a variational perspective

abstract: The elusive nature of gradient-based optimization in neural networks is tied to their loss landscape geometry, which is poorly understood. However recent work has brought solid evidence that there is essentially no loss barrier between the local solutions of gradient descent, once accounting for weight-permutations that leave the network's computation unchanged. This raises questions for approximate inference in Bayesian neural networks (BNNs), where we are interested in marginalizing over multiple points in the loss landscape. In this work, we first extend the formalism of marginalized loss barrier and solution interpolation to BNNs, before proposing a matching algorithm to search for linearly connected solutions. This is achieved by aligning the distributions of two independent approximate Bayesian solutions with respect to permutation matrices. We build on the results of Ainsworth et al. (2023), reframing the problem as a combinatorial optimization one, using an approximation to the sum of bilinear assignment problem. We then experiment on a variety of architectures and datasets, finding nearly zero marginalized loss barriers for linearly connected solutions.


title: Optical properties of anisotropic Dirac semimetals

abstract: The current-dipole conductivity formula for doped three-dimensional Dirac semimetals is derived by using a modified gauge-invariant tight-binding approach. In a heavily doped regime, the effective number of charge carriers $n_{\alpha \alpha}^{\rm eff}$ in the Drude contribution is found to be by a factor of 4 larger than the nominal electron concentration $n$. However, its structure is the same as in standard Fermi liquid theory. In a lightly doped regime, on the other hand, the ratio $n_{\alpha \alpha}^{\rm eff}/n$ is much larger, with much more complex structure of $n_{\alpha \alpha}^{\rm eff}$. It is shown that the dc resistivity and reflectivity date measured in two TlBiSSe samples can be easily understood, even in the relaxation-time approximation, provided that finite quasiparticle lifetime effects in the momentum distribution functions are properly taken into account.


title: Llarull type theorems on complete manifolds with positive scalar curvature

abstract: In this paper, without assuming that manifolds are spin, we prove that if a compact orientable, and connected Riemannian manifold $(M^{n},g)$ with scalar curvature $R_{g}\geq 6$ admits a non-zero degree and $1$-Lipschitz map to $(\mathbb{S}^{3}\times \mathbb{T}^{n-3},g_{\mathbb{S}^{3}}+g_{\mathbb{T}^{n-3}})$, for $4\leq n\leq 7$, then $(M^{n},g)$ is locally isometric to $\mathbb{S}^{3}\times\mathbb{T}^{n-3}$. Similar results are established for noncompact cases as $(\mathbb{S}^{3}\times \mathbb{R}^{n-3},g_{\mathbb{S}^{3}}+g_{\mathbb{R}^{n-3}})$ being model spaces (see Theorem \ref{noncompactrigidity1}, Theorem \ref{noncompactrigidity2}, Theorem \ref{noncompactrigidity3}, Theorem \ref{noncompactrigidity4}). We observe that the results differ significantly when $n=4$ compared to $n\geq 5$. Our results imply that the $\epsilon$-gap length extremality of the standard $\mathbb{S}^3$ is stable under the Riemannian product with $\mathbb{R}^m$, $1\leq m\leq 4$ (see $D_{3}$. Question in Gromov's paper \cite{Gromov2017}, p.153).


title: Analyzing An After-Sales Service Process Using Object-Centric Process Mining: A Case Study

abstract: Process mining, a technique turning event data into business process insights, has traditionally operated on the assumption that each event corresponds to a singular case or object. However, many real-world processes are intertwined with multiple objects, making them object-centric. This paper focuses on the emerging domain of object-centric process mining, highlighting its potential yet underexplored benefits in actual operational scenarios. Through an in-depth case study of Borusan Cat's after-sales service process, this study emphasizes the capability of object-centric process mining to capture entangled business process details. Utilizing an event log of approximately 65,000 events, our analysis underscores the importance of embracing this paradigm for richer business insights and enhanced operational improvements.


title: Dual-Interrogation Method for Suppressing Light Shift in Rb 778 nm Two-Photon Transition Optical Frequency Standard

abstract: In this study, a dual-interrogation (DI) method was used to suppress the light shift in the Rb 778 nm 5S1/2-5D5/2 two-photon transition (TPT) optical frequency standard. The approach used an auxiliary system to calibrate the light shift of the primary system in real time to mitigate the absolute light shift and suppress the sensitivity of the system to the optical power. Results show that after using the DI method, the absolute light shift and light-power sensitivity of the system were reduced by a factor of 10. The proposed method will improve the accuracy of the Rb 778 nm TPT optical frequency standard and increase the mid- and long-term stability. The method can also be applied to other vapor-cell atomic frequency standards that experience light shifts.


title: Large Language Models Meet Open-World Intent Discovery and Recognition: An Evaluation of ChatGPT

abstract: The tasks of out-of-domain (OOD) intent discovery and generalized intent discovery (GID) aim to extend a closed intent classifier to open-world intent sets, which is crucial to task-oriented dialogue (TOD) systems. Previous methods address them by fine-tuning discriminative models. Recently, although some studies have been exploring the application of large language models (LLMs) represented by ChatGPT to various downstream tasks, it is still unclear for the ability of ChatGPT to discover and incrementally extent OOD intents. In this paper, we comprehensively evaluate ChatGPT on OOD intent discovery and GID, and then outline the strengths and weaknesses of ChatGPT. Overall, ChatGPT exhibits consistent advantages under zero-shot settings, but is still at a disadvantage compared to fine-tuned models. More deeply, through a series of analytical experiments, we summarize and discuss the challenges faced by LLMs including clustering, domain-specific understanding, and cross-domain in-context learning scenarios. Finally, we provide empirical guidance for future directions to address these challenges.


title: Hypergraph Echo State Network

abstract: A hypergraph as a generalization of graphs records higher-order interactions among nodes, yields a more flexible network model, and allows non-linear features for a group of nodes. In this article, we propose a hypergraph echo state network (HypergraphESN) as a generalization of graph echo state network (GraphESN) designed for efficient processing of hypergraph-structured data, derive convergence conditions for the algorithm, and discuss its versatility in comparison to GraphESN. The numerical experiments on the binary classification tasks demonstrate that HypergraphESN exhibits comparable or superior accuracy performance to GraphESN for hypergraph-structured data, and accuracy increases if more higher-order interactions in a network are identified.


title: Tensile quantum-to-classical transition of macroscopic entangled states under complete coarse-grained measurements

abstract: The macroscopic limit at which the quantum-to-classical transition occurs remains as one of the long-standing questions in the foundations of quantum theory. There are evidences that the macroscopic limit to which the quantumness of a system persists depends on the degree of interaction due to the measurement processes. For instance, with a system having a considerably large Hilbert space dimension, if the measurement is performed in such a way that the outcome of the measurement only reveals a coarse-grained version of the information about the individual level of the concerned system then the disturbance due to the measurement process can be considered to be infinitesimally small. Based on such coarse-grained measurement the dependence of Bell inequality violation on the degree of coarsening has already been investigated [Phys. Rev. Lett. 112, 010402 (2014)]. In this paper, we first capture the fact that when local-realism is taken to be the defining notion of classicality, the effect of the degree of coarsening on the downfall of quantumness of a macroscopic entangled state can be compensated by testing a Bell-inequality of a higher number of settings from a family of symmetric Bell-inequalities if the number of settings is odd. However, on the contrary, we show that such compensation can not be seen when we witness such quantum-to-classical transition using symmetric Bell inequalities having an even number of settings. Finally, complementing the above result, we show that when unsteerability is taken as the classicality, for both odd and even numbers of settings the degree of coarsening at which the quantum-to-classical transition occurs can be consistently pushed ahead by testing a linear steering inequality of a higher number of settings and observing its violation. We further extend our treatment for mixed macroscopic entangled states


title: Advancing Audio Emotion and Intent Recognition with Large Pre-Trained Models and Bayesian Inference

abstract: Large pre-trained models are essential in paralinguistic systems, demonstrating effectiveness in tasks like emotion recognition and stuttering detection. In this paper, we employ large pre-trained models for the ACM Multimedia Computational Paralinguistics Challenge, addressing the Requests and Emotion Share tasks. We explore audio-only and hybrid solutions leveraging audio and text modalities. Our empirical results consistently show the superiority of the hybrid approaches over the audio-only models. Moreover, we introduce a Bayesian layer as an alternative to the standard linear output layer. The multimodal fusion approach achieves an 85.4% UAR on HC-Requests and 60.2% on HC-Complaints. The ensemble model for the Emotion Share task yields the best rho value of .614. The Bayesian wav2vec2 approach, explored in this study, allows us to easily build ensembles, at the cost of fine-tuning only one model. Moreover, we can have usable confidence values instead of the usual overconfident posterior probabilities.


title: TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

abstract: Automated theorem proving (ATP) has become an appealing domain for exploring the reasoning ability of the recent successful generative language models. However, current ATP benchmarks mainly focus on symbolic inference, but rarely involve the understanding of complex number combination reasoning. In this work, we propose TRIGO, an ATP benchmark that not only requires a model to reduce a trigonometric expression with step-by-step proofs but also evaluates a generative LM's reasoning ability on formulas and its capability to manipulate, group, and factor number terms. We gather trigonometric expressions and their reduced forms from the web, annotate the simplification process manually, and translate it into the Lean formal language system. We then automatically generate additional examples from the annotated samples to expand the dataset. Furthermore, we develop an automatic generator based on Lean-Gym to create dataset splits of varying difficulties and distributions in order to thoroughly analyze the model's generalization ability. Our extensive experiments show our proposed TRIGO poses a new challenge for advanced generative LM's including GPT-4 which is pre-trained on a considerable amount of open-source formal theorem-proving language data, and provide a new tool to study the generative LM's ability on both formal and mathematical reasoning.


title: GAPS contributions to the 38th International Cosmic Ray Conference (Nagoya 2023)

abstract: Compilation of papers presented by the GAPS Collaboration at the 38th International Cosmic Ray Conference (ICRC), held July 26 through August 3, 2023 in Nagoya, Japan.


title: Fisher-Rao geometry of equivalent Gaussian measures on infinite-dimensional Hilbert spaces

abstract: This work presents an explicit description of the Fisher-Rao Riemannian metric on the Hilbert manifold of equivalent centered Gaussian measures on an infinite-dimensional Hilbert space. We show that the corresponding quantities from the finite-dimensional setting of Gaussian densities on Euclidean space, including the Riemannian metric, Levi-Civita connection, curvature, geodesic curve, and Riemannian distance, when properly formulated, directly generalize to this setting. Furthermore, we discuss the connection with the Riemannian geometry of positive definite unitized Hilbert-Schmidt operators on Hilbert space, which can be viewed as a regularized version of the current setting.


title: Toughness and existence of $2$-factors

abstract: A graph is $t$-tough if the deletion of any set of, say, $m$ vertices from the graph leaves a graph with at most $\frac{m}{t}$ components. In 1973, Chv\'{a}tal suggested the problem of relating toughness to factors in graphs. In 1985, Enomoto et al. showed that each $2$-tough graph with at least three vertices has a $2$-factor, but for any $\epsilon>0$, there exists a $(2-\epsilon)$-tough graph on at least $3$ vertices having no $2$-factor. In recent years, the study of sufficient conditions for graphs with toughness less than $2$ having a $2$-factor has received a paramount interest. In this paper, we give new tight sufficient conditions for a $t$-tough graph having a $2$-factor when $1\le t<2$ by involving independence number, minimum degree, connectivity and forbidden forests.


title: Continual Generalized Intent Discovery: Marching Towards Dynamic and Open-world Intent Recognition

abstract: In a practical dialogue system, users may input out-of-domain (OOD) queries. The Generalized Intent Discovery (GID) task aims to discover OOD intents from OOD queries and extend them to the in-domain (IND) classifier. However, GID only considers one stage of OOD learning, and needs to utilize the data in all previous stages for joint training, which limits its wide application in reality. In this paper, we introduce a new task, Continual Generalized Intent Discovery (CGID), which aims to continuously and automatically discover OOD intents from dynamic OOD data streams and then incrementally add them to the classifier with almost no previous data, thus moving towards dynamic intent recognition in an open world. Next, we propose a method called Prototype-guided Learning with Replay and Distillation (PLRD) for CGID, which bootstraps new intent discovery through class prototypes and balances new and old intents through data replay and feature distillation. Finally, we conduct detailed experiments and analysis to verify the effectiveness of PLRD and understand the key challenges of CGID for future research.


title: Hardware requirements for realizing a quantum advantage with deterministic single-photon sources

abstract: Boson sampling is a specialised algorithm native to the quantum photonic platform developed for near-term demonstrations of quantum advantage over classical computers. While clear useful applications for such near-term pre-fault-tolerance devices are not currently known, reaching a quantum advantage regime serves as a useful benchmark for the hardware. Here, we analyse and detail hardware requirements needed to reach quantum advantage with deterministic quantum emitters, a promising platform for photonic quantum computing. We elucidate key steps that can be taken in experiments to overcome practical constraints and establish quantitative hardware-level requirements. We find that quantum advantage is within reach using quantum emitters with an efficiency of 60%-70% and interferometers constructed according to a hybrid-mode-encoding architecture, constituted of Mach-Zehnder interferometers with an insertion loss of 0.0035 (a transmittance of 99.92%) per component.


title: High-resolution spectroscopy of the $\nu_3$ antisymmetric C-H stretch of C$_2$H$_2^+$ using leak-out action spectroscopy

abstract: The antisymmetric C-H stretching vibration $\nu_3$ ($^2\Pi$ $\leftarrow$ $^2\Pi$) of ionized acetylene, C$_2$H$_2^+$, has been revisited using a cryogenic 22-pole ion trap machine. Two action spectroscopic techniques, the novel leak-out spectroscopy (LOS) method and the more established laser-induced reactions (LIR) method, are applied and compared. Mass selectivity and cryogenic temperatures down to 4~K enabled the observation of uncontaminated spectra in which the $\Lambda$-doubling components of this open-shell molecule are mostly well resolved, leading to a slight refinement of the spectroscopic parameters.


title: An Interpretable Deep-Learning Framework for Predicting Hospital Readmissions From Electronic Health Records

abstract: With the increasing availability of patients' data, modern medicine is shifting towards prospective healthcare. Electronic health records contain a variety of information useful for clinical patient description and can be exploited for the construction of predictive models, given that similar medical histories will likely lead to similar progressions. One example is unplanned hospital readmission prediction, an essential task for reducing hospital costs and improving patient health. Despite predictive models showing very good performances especially with deep-learning models, they are often criticized for the poor interpretability of their results, a fundamental characteristic in the medical field, where incorrect predictions might have serious consequences for the patient health. In this paper we propose a novel, interpretable deep-learning framework for predicting unplanned hospital readmissions, supported by NLP findings on word embeddings and by neural-network models (ConvLSTM) for better handling temporal data. We validate our system on the two predictive tasks of hospital readmission within 30 and 180 days, using real-world data. In addition, we introduce and test a model-dependent technique to make the representation of results easily interpretable by the medical staff. Our solution achieves better performances compared to traditional models based on machine learning, while providing at the same time more interpretable results.


title: High-rate, high-resolution single photon X-ray imaging: Medipix4, a large 4-side buttable pixel readout chip with high granularity and spectroscopic capabilities

abstract: The Medipix4 chip is the latest member in the Medipix/Timepix family of hybrid pixel detector chips aimed at high-rate spectroscopic X-ray imaging using high-Z materials. It can be tiled on all 4 sides making it ideal for constructing large-area detectors with minimal dead area. The chip is designed to read out a sensor of 320 x 320 pixels with dimensions of 75 {\mu}m x 75 {\mu}m or 160 x 160 pixels with dimensions of 150 {\mu}m x 150 {\mu}m. The readout architecture features energy binning of the single photons, which includes charge sharing correction for hits with energy spread over adjacent pixels. This paper presents the specifications, architecture, and circuit implementation of the chip, along with the first electrical measurements.


title: Multiflagellate Swimming Controlled by Interflagella Hydrodynamic Interactions

abstract: Many eukaryotic microorganisms propelled by multiple flagella can swim very rapidly with distinct gaits. Here, we model a three-dimensional mutiflagellate swimming strategy, resembling the microalgae, and investigate the effects of interflagella hydrodynamic interactions (iHIs) on the swimming performance. When the flagella are actuated synchronously, the swimming efficiency can be enhanced or reduced by iHIs, determined by the intrinsic tilting angle of the flagella. The asynchronous gait with a phase difference between neighboring flagella is found to be important by both utilizing the iHIs and reducing the oscillatory motion via the basal mechanical coupling. We further demonstrate that an optimal number of flagella could arise when the microswimmer is loaded with a swimmer body. Apart from understanding the role of iHIs in the multiflagellate swimming, this work could also guide laboratory fabrications of novel microswimmers.


title: Battle of the Large Language Models: Dolly vs LLaMA vs Vicuna vs Guanaco vs Bard vs ChatGPT -- A Text-to-SQL Parsing Comparison

abstract: The success of ChatGPT has ignited an AI race, with researchers striving to develop new large language models (LLMs) that can match or surpass the language understanding and generation abilities of commercial ones. In recent times, a number of models have emerged, claiming performance near that of GPT-3.5 or GPT-4 through various instruction-tuning methods. As practitioners of Text-to-SQL parsing, we are grateful for their valuable contributions to open-source research. However, it is important to approach these claims with a sense of scrutiny and ascertain the actual effectiveness of these models. Therefore, we pit six popular large language models against each other, systematically evaluating their Text-to-SQL parsing capability on nine benchmark datasets with five different prompting strategies, covering both zero-shot and few-shot scenarios. Regrettably, the open-sourced models fell significantly short of the performance achieved by closed-source models like GPT-3.5, highlighting the need for further work to bridge the performance gap between these models.


title: VIBE: Topic-Driven Temporal Adaptation for Twitter Classification

abstract: Language features are evolving in real-world social media, resulting in the deteriorating performance of text classification in dynamics. To address this challenge, we study temporal adaptation, where models trained on past data are tested in the future. Most prior work focused on continued pretraining or knowledge updating, which may compromise their performance on noisy social media data. To tackle this issue, we reflect feature change via modeling latent topic evolution and propose a novel model, VIBE: Variational Information Bottleneck for Evolutions. Concretely, we first employ two Information Bottleneck (IB) regularizers to distinguish past and future topics. Then, the distinguished topics work as adaptive features via multi-task training with timestamp and class label prediction. In adaptive learning, VIBE utilizes retrieved unlabeled data from online streams created posterior to training data time. Substantial Twitter experiments on three classification tasks show that our model, with only 3% of data, significantly outperforms previous state-of-the-art continued-pretraining methods.


title: Is Bohr's Correspondence Principle just Hankel's Principle of Permanence?

abstract: No, but the paper argues that Bohr understood his correspondence principle, or at least an aspect of that principle expressed by the notion of rational generalization, as grounded in Hankel's principle of permanence, adapted to new historical and theoretical contexts. This is shown to illuminate some otherwise obscure aspects of Bohr's approach to quantum theory, as well as a seemingly strange criticism against this approach, due to Feyerabend and Bohm.


title: Molecular orbital formation and metastable short-range ordered structure in VO$_2$

abstract: The metal-insulator transition (MIT) in vanadium dioxide VO$_2$ due to V-V dimerization has been extensively discussed for decades. While it is widely acknowledged that electron correlations, Peierls instabilities, and molecular orbital formations are crucial for understanding the MIT of VO$_2$, the primary origin of the MIT remains controversial. In this study, we delve into the crystal structure and orbital state of VO$_2$ through synchrotron x-ray diffraction experiments. The molecular orbital formation corresponding to the V-V dimerization is directly observed in the low-temperature insulating monoclinic phase, called the M1 phase, as indicated by the valence electron density distribution. Moreover, diffuse scattering observed in the high-temperature metal phase of rutile structure suggests the presence of short-range correlation of V displacements, which is not directly attributed to the structural fluctuation of the M1 phase. The short-range order in the rutile phase will be the key to understanding the MIT in this system.


title: Regularizing Effect for a Class of Maxwell-Schr\"odinger Systems

abstract: In this paper we prove the existence and regularity of weak solutions for the following system \begin{align*} \begin{cases} -\mbox{div}(M(x)\nabla u) + g(x,u,v) = f \ \ \mbox{in} \ \ \Omega\\ -\mbox{div}(M(x)\nabla v) = h(x,u,v) \ \ \mbox{in} \ \ \Omega\\ \ \ \ \ \ u=v=0 \ \ \mbox{on} \ \ \partial \Omega, \end{cases} \end{align*} where $\Omega$ is an open bounded subset of $\mathbb{R}^N$, for $N>2$, $f\in L^m(\Omega)$, where $m>1$ and $h,\ g$ are two Carath\'eodory functions. We prove that under appropriate conditions on $g$ and $h$ there exist solutions which escape the predicted regularity by the classical Stampacchia's theory causing the so-called regularizing effect.


title: AdaLomo: Low-memory Optimization with Adaptive Learning Rate

abstract: Large language models have achieved remarkable success, but their extensive parameter size necessitates substantial memory for training, thereby setting a high threshold. While the recently proposed low-memory optimization (LOMO) reduces memory footprint, its optimization technique, akin to stochastic gradient descent, is sensitive to hyper-parameters and exhibits suboptimal convergence, failing to match the performance of the prevailing optimizer for large language models, AdamW. Through empirical analysis of the Adam optimizer, we found that, compared to momentum, the adaptive learning rate is more critical for bridging the gap. Building on this insight, we introduce the low-memory optimization with adaptive learning rate (AdaLomo), which offers an adaptive learning rate for each parameter. To maintain memory efficiency, we employ non-negative matrix factorization for the second-order moment estimation in the optimizer state. Additionally, we suggest the use of a grouped update normalization to stabilize convergence. Our experiments with instruction-tuning and further pre-training demonstrate that AdaLomo achieves results on par with AdamW, while significantly reducing memory requirements, thereby lowering the hardware barrier to training large language models. The code is accessible at https://github.com/OpenLMLab/LOMO.


title: Large Models for Time Series and Spatio-Temporal Data: A Survey and Outlook

abstract: Temporal data, notably time series and spatio-temporal data, are prevalent in real-world applications. They capture dynamic system measurements and are produced in vast quantities by both physical and virtual sensors. Analyzing these data types is vital to harnessing the rich information they encompass and thus benefits a wide range of downstream tasks. Recent advances in large language and other foundational models have spurred increased use of these models in time series and spatio-temporal data mining. Such methodologies not only enable enhanced pattern recognition and reasoning across diverse domains but also lay the groundwork for artificial general intelligence capable of comprehending and processing common temporal data. In this survey, we offer a comprehensive and up-to-date review of large models tailored (or adapted) for time series and spatio-temporal data, spanning four key facets: data types, model categories, model scopes, and application areas/tasks. Our objective is to equip practitioners with the knowledge to develop applications and further research in this underexplored domain. We primarily categorize the existing literature into two major clusters: large models for time series analysis (LM4TS) and spatio-temporal data mining (LM4STD). On this basis, we further classify research based on model scopes (i.e., general vs. domain-specific) and application areas/tasks. We also provide a comprehensive collection of pertinent resources, including datasets, model assets, and useful tools, categorized by mainstream applications. This survey coalesces the latest strides in large model-centric research on time series and spatio-temporal data, underscoring the solid foundations, current advances, practical applications, abundant resources, and future research opportunities.


title: Atomic photoexcitation as a tool for probing purity of twisted light modes

abstract: The twisted light modes used in modern atomic physics experiments can be contaminated by small admixtures of plane wave radiation. Although these admixtures hardly reveal themselves in the beam intensity profile, they may seriously affect the outcome of high precision spectroscopy measurements. In the present study we propose a method for diagnosing such a plane wave contamination, which is based on the analysis of the magnetic sublevel population of atoms or ions interacting with the "twisted + plane wave" radiation. In order to theoretically investigate the sublevel populations, we solve the Liouville-von Neumann equation for the time evolution of atomic density matrix. The proposed method is illustrated for the electric dipole $5s \, {}^{2}\mathrm{S}_{1/2} \, - \, 5p \, {}^{2}\mathrm{P}_{3/2}$ transition in Rb induced by (linearly, radially, or azimuthally polarized) vortex light with just a small contamination. We find that even tiny admixtures of plane wave radiation can lead to remarkable variations in the populations of the ground-state magnetic sublevels. This opens up new opportunities for diagnostics of twisted light in atomic spectroscopy experiments.


title: MoConVQ: Unified Physics-Based Motion Control via Scalable Discrete Representations

abstract: In this work, we present MoConVQ, a novel unified framework for physics-based motion control leveraging scalable discrete representations. Building upon vector quantized variational autoencoders (VQ-VAE) and model-based reinforcement learning, our approach effectively learns motion embeddings from a large, unstructured dataset spanning tens of hours of motion examples. The resultant motion representation not only captures diverse motion skills but also offers a robust and intuitive interface for various applications. We demonstrate the versatility of MoConVQ through several applications: universal tracking control from various motion sources, interactive character control with latent motion representations using supervised learning, physics-based motion generation from natural language descriptions using the GPT framework, and, most interestingly, seamless integration with large language models (LLMs) with in-context learning to tackle complex and abstract tasks.


title: Impact of Data Synthesis Strategies for the Classification of Craniosynostosis

abstract: Introduction: Photogrammetric surface scans provide a radiation-free option to assess and classify craniosynostosis. Due to the low prevalence of craniosynostosis and high patient restrictions, clinical data is rare. Synthetic data could support or even replace clinical data for the classification of craniosynostosis, but this has never been studied systematically. Methods: We test the combinations of three different synthetic data sources: a statistical shape model (SSM), a generative adversarial network (GAN), and image-based principal component analysis for a convolutional neural network (CNN)-based classification of craniosynostosis. The CNN is trained only on synthetic data, but validated and tested on clinical data. Results: The combination of a SSM and a GAN achieved an accuracy of more than 0.96 and a F1-score of more than 0.95 on the unseen test set. The difference to training on clinical data was smaller than 0.01. Including a second image modality improved classification performance for all data sources. Conclusion: Without a single clinical training sample, a CNN was able to classify head deformities as accurate as if it was trained on clinical data. Using multiple data sources was key for a good classification based on synthetic data alone. Synthetic data might play an important future role in the assessment of craniosynostosis.


title: Circular External Difference Families: Construction and Non-Existence

abstract: The circular external difference family and its strong version, which themselves are of independent combinatorial interest, were proposed as variants of the difference family to construct new unconditionally secure non-malleable threshold schemes. In this paper, we present new results regarding the construction and non-existence of (strong) circular external difference families, thereby solving several open problems on this topic.


title: A proposal for realizing Majorana fermions without external magnetic field in strongly correlated nanowires

abstract: We show that one dimensional (1D) topological superconductivity can be placed in the context of phenomena associated with strongly correlated electron systems. Here we propose a system consisting of a one-dimensional chain of strongly correlated fermions placed on a superconducting (SC) substrate that exhibits a spin-singlet extended $s$-wave pairing. Strong electron correlation is shown to transform an extended $s$-wave SC into a topological SC that hosts Majorana fermions. In contrast to the approaches based on mean-field treatments, no Zeeman or exchange magnetic field is needed to produce such an effect.


title: Random models on regularity-integrability structures

abstract: We prove a convergence result for a large class of random models that encompasses the case of the BPHZ models used in the study of singular stochastic PDEs. We introduce for that purpose a useful variation on the notion of regularity structure called a regularity-integrability structure. It allows to deal in a single elementary setting with models on a usual regularity structure and their first order Malliavin derivative.


title: Interpretable Predictive Models to Understand Risk Factors for Maternal and Fetal Outcomes

abstract: Although most pregnancies result in a good outcome, complications are not uncommon and can be associated with serious implications for mothers and babies. Predictive modeling has the potential to improve outcomes through better understanding of risk factors, heightened surveillance for high risk patients, and more timely and appropriate interventions, thereby helping obstetricians deliver better care. We identify and study the most important risk factors for four types of pregnancy complications: (i) severe maternal morbidity, (ii) shoulder dystocia, (iii) preterm preeclampsia, and (iv) antepartum stillbirth. We use an Explainable Boosting Machine (EBM), a high-accuracy glass-box learning method, for prediction and identification of important risk factors. We undertake external validation and perform an extensive robustness analysis of the EBM models. EBMs match the accuracy of other black-box ML methods such as deep neural networks and random forests, and outperform logistic regression, while being more interpretable. EBMs prove to be robust. The interpretability of the EBM models reveals surprising insights into the features contributing to risk (e.g. maternal height is the second most important feature for shoulder dystocia) and may have potential for clinical application in the prediction and prevention of serious complications in pregnancy.


title: Hierarchical MTC User Activity Detection and Channel Estimation with Unknown Spatial Covariance

abstract: This paper addresses the joint user identification and channel estimation (JUICE) problem in machine-type communications under the practical spatially correlated channels model with unknown covariance matrices. Furthermore, we consider an MTC network with hierarchical user activity patterns following an event-triggered traffic mode. Therein the users are distributed over clusters with a structured sporadic activity behaviour that exhibits both cluster-level and intra-cluster sparsity patterns. To solve the JUICE problem, we first leverage the concept of strong priors and propose a hierarchical-sparsity-inducing spike-and-slab prior to model the structured sparse activity pattern. Subsequently, we derive a Bayesian inference scheme by coupling the expectation propagation (EP) algorithm with the expectation maximization (EM) framework. Second, we reformulate the JUICE as a maximum a posteriori (MAP) estimation problem and propose a computationally-efficient solution based on the alternating direction method of multipliers (ADMM). More precisely, we relax the strong spike-and-slab prior with a cluster-sparsity-promoting prior based on the long-sum penalty. We then derive an ADMM algorithm that solves the MAP problem through a sequence of closed-form updates. Numerical results highlight the significant performance significant gains obtained by the proposed algorithms, as well as their robustness against various assumptions on the users sparse activity behaviour.


title: New iterative algorithms for solving split variational inclusions

abstract: In this paper we study a class of split variational inclusion (SVI) and regularized split variational inclusion (RSVI) problems in real Hilbert spaces. We discuss various analytical properties of the net generated by the RSVI and establish the existence and uniqueness of the solution to the RSVI. Using analytical properties of this net and under certain assumptions on the parameters and mappings associated with the SVI, we establish the strong convergence of the sequence generated by our proposed iterative algorithm. We also deduce another iterative algorithm by taking the regularization parameters to be zero in our proposed algorithm. We establish the weak convergence of the sequence generated by our new algorithm under certain assumptions. Moreover, we discuss two special cases of the SVI, namely the split convex minimization and the split variational inequality problems, and give several numerical examples.


title: TANAMI: Tracking Active Galactic Nuclei with Austral Milliarcsecond Interferometry. III. First-epoch S band images

abstract: With the emergence of very high energy astronomy (VHE; E>100 GeV), new open questions were presented to astronomers studying the multi-wavelength emission from blazars. Answers to these open questions, such as the Doppler crisis, and finding the location of the high-energy activity have eluded us thus far. Recently, quasi-simultaneous multi-wavelength monitoring programs have shown considerable success in investigating blazar activity. After the launch of the Fermi Gamma-ray Space Telescope in 2008, such quasi-simultaneous observations across the electromagnetic spectrum became possible. In addition, with very long baseline interferometry (VLBI) observations we can resolve the central parsec region of active galactic nuclei (AGN) and compare morphological changes to the gamma-ray activity to study high-energy emitting blazars. To achieve our goals, we need sensitive, long-term VLBI monitoring of a complete sample of VHE detected AGN. We performed VLBI observations of TeV-detected AGN and high likelihood neutrino associations as of December of 2021 with the Long Baseline Array (LBA) and other southern hemisphere radio telescopes at 2.3 GHz. In this paper we present first light TANAMI S-band images, focusing on the TeV-detected sub-sample of the full TANAMI sample. Apart from these very high energy-detected sources, we also show images of the two flux density calibrators and two additional sources included in the observations. We study the redshift, 0.1-100 GeV photon flux and S-band core brightness temperature distributions of the TeV-detected objects, and find that flat spectrum radio quasars and low synchrotron peaked sources on average show higher brightness temperatures than high-synchrotron-peaked BL Lacs. Sources with bright GeV gamma-ray emission also show higher brightness temperature values than gamma-low sources.


title: Bongard-OpenWorld: Few-Shot Reasoning for Free-form Visual Concepts in the Real World

abstract: We introduce Bongard-OpenWorld, a new benchmark for evaluating real-world few-shot reasoning for machine vision. It originates from the classical Bongard Problems (BPs): Given two sets of images (positive and negative), the model needs to identify the set that query images belong to by inducing the visual concepts, which is exclusively depicted by images from the positive set. Our benchmark inherits the few-shot concept induction of the original BPs while adding the two novel layers of challenge: 1) open-world free-form concepts, as the visual concepts in Bongard-OpenWorld are unique compositions of terms from an open vocabulary, ranging from object categories to abstract visual attributes and commonsense factual knowledge; 2) real-world images, as opposed to the synthetic diagrams used by many counterparts. In our exploration, Bongard-OpenWorld already imposes a significant challenge to current few-shot reasoning algorithms. We further investigate to which extent the recently introduced Large Language Models (LLMs) and Vision-Language Models (VLMs) can solve our task, by directly probing VLMs, and combining VLMs and LLMs in an interactive reasoning scheme. We even conceived a neuro-symbolic reasoning approach that reconciles LLMs & VLMs with logical reasoning to emulate the human problem-solving process for Bongard Problems. However, none of these approaches manage to close the human-machine gap, as the best learner achieves 64% accuracy while human participants easily reach 91%. We hope Bongard-OpenWorld can help us better understand the limitations of current visual intelligence and facilitate future research on visual agents with stronger few-shot visual reasoning capabilities.


title: Image-current mediated sympathetic laser cooling of a single proton in a Penning trap down to 170 mK axial temperature

abstract: We demonstrate a new temperature record for image-current mediated sympathetic cooling of a single proton in a cryogenic Penning trap by laser-cooled $^9$Be$^+$. An axial mode temperature of 170 mK is reached, which is a 15-fold improvement compared to the previous best value. Our cooling technique is applicable to any charged particle, so that the measurements presented here constitute a milestone towards the next generation of high-precision Penning-trap measurements with exotic particles.

categories: physics.atom-ph nucl-ex physics.ins-det quant-ph


title: Self-supervised Fetal MRI 3D Reconstruction Based on Radiation Diffusion Generation Model

abstract: Although the use of multiple stacks can handle slice-to-volume motion correction and artifact removal problems, there are still several problems: 1) The slice-to-volume method usually uses slices as input, which cannot solve the problem of uniform intensity distribution and complementarity in regions of different fetal MRI stacks; 2) The integrity of 3D space is not considered, which adversely affects the discrimination and generation of globally consistent information in fetal MRI; 3) Fetal MRI with severe motion artifacts in the real-world cannot achieve high-quality super-resolution reconstruction. To address these issues, we propose a novel fetal brain MRI high-quality volume reconstruction method, called the Radiation Diffusion Generation Model (RDGM). It is a self-supervised generation method, which incorporates the idea of Neural Radiation Field (NeRF) based on the coordinate generation and diffusion model based on super-resolution generation. To solve regional intensity heterogeneity in different directions, we use a pre-trained transformer model for slice registration, and then, a new regionally Consistent Implicit Neural Representation (CINR) network sub-module is proposed. CINR can generate the initial volume by combining a coordinate association map of two different coordinate mapping spaces. To enhance volume global consistency and discrimination, we introduce the Volume Diffusion Super-resolution Generation (VDSG) mechanism. The global intensity discriminant generation from volume-to-volume is carried out using the idea of diffusion generation, and CINR becomes the deviation intensity generation network of the volume-to-volume diffusion model. Finally, the experimental results on real-world fetal brain MRI stacks demonstrate the state-of-the-art performance of our method.


title: Matrix model correlators from non-Abelian T-dual of $AdS_5 \times S^5 $

abstract: We study various perturbations and their holographic interpretation for non-Abelian T-dual of $ AdS_5 \times S^5 $ where the T-duality is applied along the $ SU(2) $ of $ AdS_5 $. This paper focuses on two types of perturbations, namely the scalar and the vector fields on NATD of $ AdS_5 \times S^5 $. For scalar perturbations, the corresponding solutions could be categorised into two classes. For one of these classes of solutions, we build up the associated holographic dictionary where the asymptotic radial mode sources scalar operators for the $ (0+1) $d matrix model. These scalar operators correspond to either a marginal or an irrelevant deformation of the dual matrix model at strong coupling. We calculate the two point correlation between these scalar operators and explore their high as well as low frequency behaviour. We also discuss the completion of these geometries by setting an upper cut-off along the holographic axis and discuss the corresponding corrections to the scalar correlators in the dual matrix model. Finally, we extend our results for vector perturbations where we obtain asymptotic solutions for a particular class of modes. These are further used to calculate the boundary charge density at finite chemical potential.


title: GEVO-ML: Optimizing Machine Learning Code with Evolutionary Computation

abstract: Parallel accelerators, such as GPUs, are key enablers for large-scale Machine Learning (ML) applications. However, ML model developers often lack detailed knowledge of the underlying system architectures, while system programmers usually do not have a high-level understanding of the ML model that runs on the specific system. To mitigate this gap between two relevant aspects of domain knowledge, this paper proposes GEVO-ML, a tool for automatically discovering optimization opportunities and tuning the performance of ML kernels, where the model and training/prediction processes are uniformly represented in a single intermediate language, the Multiple-Layer Intermediate Representation (MLIR). GEVO-ML uses multi-objective evolutionary search to find edits (mutations) to MLIR code that ultimately runs on GPUs, improving performance on desired criteria while retaining required functionality. We demonstrate GEVO-ML on two different ML workloads for both model training and prediction. GEVO-ML finds significant Pareto improvements for these models, achieving 90.43% performance improvement when model accuracy is relaxed by 2%, from 91.2% to 89.3%. For the training workloads, GEVO-ML finds a 4.88% improvement in model accuracy, from 91% to 96%, without sacrificing training or testing speed. Our analysis of key GEVO-ML mutations reveals diverse code modifications, while might be foreign to human developers, achieving similar effects with how human developers improve model design, for example, by changing learning rates or pruning non-essential layer parameters.


title: The regularity index, Hilbert function of fat points and the embedding

abstract: Let $m \ge n$, $\phi_{n,m}: \mathbb P^n \to \mathbb P^m$, $\phi_{n,m}(a_1, \ldots, a_n)=(a_1, \ldots, a_n, 0, \ldots, 0)$, be the embedding, $Z=m_1P_1+\cdots+m_sP_s$ be fat points in $\mathbb P^n$ and $\phi_{n,m}(Z)=m_1\phi_{n,m}(P_1)+\cdots+m_s\phi_{n,m}(P_s)$ be fat points in $\mathbb P^m$. We show the relation between the regularity index, Hilbert function of the fat points $Z$ and the regularity index, Hilbert function of the fat points $\phi_{n,m}(Z)$.


title: Toward Multi-Connectivity in Beyond 5G Non-Terrestrial Networks: Challenges and Possible Solutions

abstract: Non-terrestrial networks (NTNs) will complement terrestrial networks (TNs) in 5G and beyond, which can be attributed to recent deployment and standardization activities. Maximizing the efficiency of NTN communications is critical to unlock its full potential and reap its numerous benefits. One method to make communications more efficient is by the usage of multi-connectivity (MC), which allows a user to connect to multiple base stations simultaneously. It is standardized and widely used for TNs, but for MC to be used in the NTN environment, several challenges must be overcome. In this article, challenges related to MC in NTNs are discussed, and solutions to the identified challenges are proposed.


title: K-SMPC: Koopman Operator-Based Stochastic Model Predictive Control for Enhanced Lateral Control of Autonomous Vehicles

abstract: This paper proposes Koopman operator-based Stochastic Model Predictive Control (K-SMPC) for enhanced lateral control of autonomous vehicles. The Koopman operator is a linear map representing the nonlinear dynamics in an infinite-dimensional space. Thus, we use the Koopman operator to represent the nonlinear dynamics of a vehicle in dynamic lane-keeping situations. The Extended Dynamic Mode Decomposition (EDMD) method is adopted to approximate the Koopman operator in a finite-dimensional space for practical implementation. We consider the modeling error of the approximated Koopman operator in the EDMD method. Then, we design K-SMPC to tackle the Koopman modeling error, where the error is handled as a probabilistic signal. The recursive feasibility of the proposed method is investigated with an explicit first-step state constraint by computing the robust control invariant set. A high-fidelity vehicle simulator, i.e., CarSim, is used to validate the proposed method with a comparative study. From the results, it is confirmed that the proposed method outperforms other methods in tracking performance. Furthermore, it is observed that the proposed method satisfies the given constraints and is recursively feasible.


title: An Adaptive and Verifiably Proportional Method for Participatory Budgeting

abstract: Participatory Budgeting (PB) is a form of participatory democracy in which citizens select a set of projects to be implemented, subject to a budget constraint. The Method of Equal Shares (MES), introduced in [18], is a simple iterative method for this task, which runs in polynomial time and satisfies a demanding proportionality axiom (Extended Justified Representation) in the setting of approval utilities. However, a downside of MES is that it is non-exhaustive: given an MES outcome, it may be possible to expand it by adding new projects without violating the budget constraint. To complete the outcome, the approach currently used in practice is as follows: given an instance with budget $b$, one searches for a budget $b'\ge b$ such that when MES is executed with budget $b'$, it produces a maximal feasible solution for $b$. The search is greedy, i.e., one has to execute MES from scratch for each value of $b'$. To avoid redundant computation, we introduce a variant of MES, which we call Adaptive Method of Equal Shares (AMES). Our method is budget-adaptive, in the sense that, given an outcome $W$ for a budget $b$ and a new budget $b'>b$, it can compute the outcome $W'$ for budget $b'$ by leveraging similarities between $W$ and $W'$. This eliminates the need to recompute solutions from scratch when increasing virtual budgets. Furthermore, AMES satisfies EJR in a certifiable way: given the output of our method, one can check in time $O(n\log n+mn)$ that it provides EJR (here, $n$ is the number of voters and $m$ is the number of projects). We evaluate the potential of AMES on real-world PB data, showing that small increases in budget typically require only minor modifications of the outcome.


title: Experimental observation of the significant difference between surface and bulk Kondo processes in Kondo lattice YbCu$_2$Si$_2$

abstract: Synchrotron-based angle-resolved photoemission spectroscopy was employed to investigate the temperature evolution of the Yb 4f spectral for surface and bulk in the Kondo lattice YbCu$_2$Si$_2$.Our study quantitatively distinguishes between the surface and bulk hybridization processes, revealing that the onset temperatures for both surface and bulk hybridization processes are significantly higher than the Kondo temperature. Additionally, we found that the effective surface Kondo temperature is much lower than that of the bulk. These findings offer valuable insights into the understanding of heavy fermion physics.


title: Slender Phoretic Loops and Knots

abstract: We present an asymptotic theory for solving the dynamics of slender autophoretic loops and knots. Our formulation is valid for non-intersecting 3D centrelines, with arbitrary chemical patterning and varying (circular) cross-sectional radius, allowing a broad class of slender active loops and knots to be studied. The theory is amenable to closed-form solutions in simpler cases, allowing us to analytically derive the swimming speed of chemically patterned tori, and the pumping strength (stresslet) of a uniformly active slender torus. Using simple numerical solutions of our asymptotic equations, we then elucidate the behaviour of many exotic active particle geometries, such as a bumpy uniformly active torus that spins and a Janus trefoil knot, which rotates as it swims forwards.


title: Orbit determination for the binary Cepheid V1344 Aql

abstract: Context. Binary Cepheids play an important role in investigating the calibration of the classical Cepheid period-luminosity relationship. Therefore a thorough study of individual Cepheids belonging to binary systems is necessary. Aims. Our aim is to determine the orbit of the binary system V1344 Aql using newly observed and earlier published spectroscopic and photometric data. Methods. We collected new radial velocity observations using medium resolution (${R \approx 11000}$ and ${R \lessapprox 20000}$) spectrographs and we updated the pulsation period of the Cepheid based on available photometric observations using $O-C$ diagram. Separating the pulsational and orbital radial velocity variations for each observational season (year), we determined the orbital solution for the system using $\chi^2$ minimisation. Results. The updated pulsation period of the Cepheid estimated for the epoch of HJD 2458955.83 is 7.476826 days. We determined orbital elements for the first time in the literature. The orbital period of the system is about 34.6 years, with an eccentricity e = 0.22.


title: Using Global Land Cover Product as Prompt for Cropland Mapping via Visual Foundation Model

abstract: Data-driven deep learning methods have shown great potential in cropland mapping. However, due to multiple factors such as attributes of cropland (topography, climate, crop type) and imaging conditions (viewing angle, illumination, scale), croplands under different scenes demonstrate a great domain gap. This makes it difficult for models trained in the specific scenes to directly generalize to other scenes. A common way to handle this problem is through the "Pretrain+Fine-tuning" paradigm. Unfortunately, considering the variety of features of cropland that are affected by multiple factors, it is hardly to handle the complex domain gap between pre-trained data and target data using only sparse fine-tuned samples as general constraints. Moreover, as the number of model parameters grows, fine-tuning is no longer an easy and low-cost task. With the emergence of prompt learning via visual foundation models, the "Pretrain+Prompting" paradigm redesigns the optimization target by introducing individual prompts for each single sample. This simplifies the domain adaption from generic to specific scenes during model reasoning processes. Therefore, we introduce the "Pretrain+Prompting" paradigm to interpreting cropland scenes and design the auto-prompting (APT) method based on freely available global land cover product. It can achieve a fine-grained adaptation process from generic scenes to specialized cropland scenes without introducing additional label costs. To our best knowledge, this work pioneers the exploration of the domain adaption problems for cropland mapping under prompt learning perspectives. Our experiments using two sub-meter cropland datasets from southern and northern China demonstrated that the proposed method via visual foundation models outperforms traditional supervised learning and fine-tuning approaches in the field of remote sensing.