title: Sequence Selection with Dispersion-Aware Metric for Long-Haul Transmission Systems

abstract: We introduce a novel sign-dependent metric: the energy dispersion index (EDI) of sequences that endured chromatic dispersion, denoted as D-EDI, which exhibits a more accurate opposite variations with the transmission performance compared to the standard EDI metric. Then, by applying D-EDI and EDI to the sequence selection (SS) process, %with enumerative sphere shaping (ESS) for $M$-QAM signaling, we present two signaling approaches denoted as D-SS and E-SS respectively. These approaches are designed to minimize rate loss and enhance transmission performance in nonlinear optical fiber transmission systems, catering to both short-distance and long-haul scenarios. With enumerative sphere shaping (ESS) as distribution matcher (DM), our simulation results reveal significant performance gains over ESS without sequence selection (SS), with improvements up to $0.4$~bits/4D-symbol. These improvements were observed over a $205$-km single-span standard single mode fiber link in WDM transmission, with five dual-polarization channels, each operating at a net rate of $400$~Gbit/s. Furthermore, we demonstrate that D-SS surpasses ESS without SS by $0.03$~bits/4D-symbol in achievable information rate over a $30\times80$~km link in a single-wavelength, with 8 discrete multi-band (DMB) transmission, and an $880$~Gbit/s net rate. Notably, our proposed D-SS scheme achieves similar performance to a sequence selection based on a full split-step Fourier method (SSFM) simulation and it consistently delivers throughput enhancements across various block lengths and selected sequence lengths.


title: Signal shapes in multiwire proportional chamber-based TPCs

abstract: A large-volume Time Projection Chamber (TPC) is the main tracking and particle identification (PID) detector of the ALICE experiment at the CERN LHC. PID in the TPC is performed via specific energy-loss measurements (dE/dx), which are derived from the average pulse-height distribution of ionization generated by charged-particle tracks traversing the TPC volume. During Runs 1 and 2, until 2018, the gas amplification stage was based on multiwire proportional chambers (MWPC). Signals from the MWPC show characteristic long negative tails after an initial positive peak due to the long ion drift times in the MWPC amplification region. This so-called ion tail can lead to a significant amplitude loss in subsequently measured signals, especially in the high-multiplicity environment of high-energy Pb-Pb collisions, which results in a degradation of the dE/dx resolution. A detailed study of the signal shapes measured with the ALICE TPC with the Ne-CO2 (90-10) and Ar-CO2 (90-10) gas mixtures is presented, and the results are compared with three-dimensional Garfield simulations. The impact of the ion tail on the PID performance is studied employing the ALICE simulation framework and the feasibility of an offline correction procedure to account for the ion tail is demonstrated.


title: One-nodal Fano threefolds with Picard number one

abstract: We classify all 1-nodal degenerations of smooth Fano threefolds with Picard number 1 (both nonfactorial and factorial) and describe their geometry. In particular, we describe a relation between such degenerations and smooth Fano threefolds of higher Picard rank and with unprojections of complete intersection varieties.


title: Few Shot Part Segmentation Reveals Compositional Logic for Industrial Anomaly Detection

abstract: Logical anomalies (LA) refer to data violating underlying logical constraints e.g., the quantity, arrangement, or composition of components within an image. Detecting accurately such anomalies requires models to reason about various component types through segmentation. However, curation of pixel-level annotations for semantic segmentation is both time-consuming and expensive. Although there are some prior few-shot or unsupervised co-part segmentation algorithms, they often fail on images with industrial object. These images have components with similar textures and shapes, and a precise differentiation proves challenging. In this study, we introduce a novel component segmentation model for LA detection that leverages a few labeled samples and unlabeled images sharing logical constraints. To ensure consistent segmentation across unlabeled images, we employ a histogram matching loss in conjunction with an entropy loss. As segmentation predictions play a crucial role, we propose to enhance both local and global sample validity detection by capturing key aspects from visual semantics via three memory banks: class histograms, component composition embeddings and patch-level representations. For effective LA detection, we propose an adaptive scaling strategy to standardize anomaly scores from different memory banks in inference. Extensive experiments on the public benchmark MVTec LOCO AD reveal our method achieves 98.1% AUROC in LA detection vs. 89.6% from competing methods.


title: Benchmarking Evolutionary Community Detection Algorithms in Dynamic Networks

abstract: In dynamic complex networks, entities interact and form network communities that evolve over time. Among the many static Community Detection (CD) solutions, the modularity-based Louvain, or Greedy Modularity Algorithm (GMA), is widely employed in real-world applications due to its intuitiveness and scalability. Nevertheless, addressing CD in dynamic graphs remains an open problem, since the evolution of the network connections may poison the identification of communities, which may be evolving at a slower pace. Hence, naively applying GMA to successive network snapshots may lead to temporal inconsistencies in the communities. Two evolutionary adaptations of GMA, sGMA and $\alpha$GMA, have been proposed to tackle this problem. Yet, evaluating the performance of these methods and understanding to which scenarios each one is better suited is challenging because of the lack of a comprehensive set of metrics and a consistent ground truth. To address these challenges, we propose (i) a benchmarking framework for evolutionary CD algorithms in dynamic networks and (ii) a generalised modularity-based approach (NeGMA). Our framework allows us to generate synthetic community-structured graphs and design evolving scenarios with nine basic graph transformations occurring at different rates. We evaluate performance through three metrics we define, i.e. Correctness, Delay, and Stability. Our findings reveal that $\alpha$GMA is well-suited for detecting intermittent transformations, but struggles with abrupt changes; sGMA achieves superior stability, but fails to detect emerging communities; and NeGMA appears a well-balanced solution, excelling in responsiveness and instantaneous transformations detection.


title: Floquet engineering Higgs dynamics in time-periodic superconductors

abstract: Higgs modes emerge in superconductors as collective excitations of the order parameter amplitude when periodically driven by electromagnetic radiation. In this work, we develop a Floquet approach to study Higgs modes in superconductors under time-periodic driving, where the dynamics of the order parameter is captured by anomalous Floquet Green's functions. We show that the Floquet description is particularly powerful as it allows one to exploit the time-periodic nature of the driving, thus considerably reducing the complexity of the time-dependent problem. Interestingly, the Floquet approach is also enlightening because it naturally offers a physical explanation for the renormalized steady-state order parameter as a result of photon processes between Floquet sidebands. We demonstrate the usefulness of Floquet engineering Higgs modes in time-periodic $s$-wave superconductors.


title: Retrograde Ring Formed Around Eccentric Extrasolar Giant Planet

abstract: We investigate the accretion flow around a giant planet using two-dimensional hydrodynamical simulations by studying the local region of accretion disk around the planet. The results show that, when the initial orbit of the planet embedded in protoplanetary disk is eccentric, the accretion disk formed around the planet is retrograde during the evolution and may be a possible origin of the retrograde ring around eccentric extrasolar giant planet.


title: User-adaptive Tourist Information Dialogue System with Yes/No Classifier and Sentiment Estimator

abstract: We introduce our system developed for Dialogue Robot Competition 2023 (DRC2023). First, rule-based utterance selection and utterance generation using a large language model (LLM) are combined. We ensure the quality of system utterances while also being able to respond to unexpected user utterances. Second, dialogue flow is controlled by considering the results of the BERT-based yes/no classifier and sentiment estimator. These allow the system to adapt state transitions and sightseeing plans to the user.


title: Open-Source Reinforcement Learning Environments Implemented in MuJoCo with Franka Manipulator

abstract: This paper presents three open-source reinforcement learning environments developed on the MuJoCo physics engine with the Franka Emika Panda arm in MuJoCo Menagerie. Three representative tasks, push, slide, and pick-and-place, are implemented through the Gymnasium Robotics API, which inherits from the core of Gymnasium. Both the sparse binary and dense rewards are supported, and the observation space contains the keys of desired and achieved goals to follow the Multi-Goal Reinforcement Learning framework. Three different off-policy algorithms are used to validate the simulation attributes to ensure the fidelity of all tasks, and benchmark results are also given. Each environment and task are defined in a clean way, and the main parameters for modifying the environment are preserved to reflect the main difference. The repository, including all environments, is available at https://github.com/zichunxx/panda_mujoco_gym.


title: TinySAM: Pushing the Envelope for Efficient Segment Anything Model

abstract: Recently segment anything model (SAM) has shown powerful segmentation capability and has drawn great attention in computer vision fields. Massive following works have developed various applications based on the pretrained SAM and achieved impressive performance on downstream vision tasks. However, SAM consists of heavy architectures and requires massive computational capacity, which hinders the further application of SAM on computation constrained edge devices. To this end, in this paper we propose a framework to obtain a tiny segment anything model (TinySAM) while maintaining the strong zero-shot performance. We first propose a full-stage knowledge distillation method with hard prompt sampling and hard mask weighting strategy to distill a lightweight student model. We also adapt the post-training quantization to the promptable segmentation task and further reduce the computational cost. Moreover, a hierarchical segmenting everything strategy is proposed to accelerate the everything inference by $2\times$ with almost no performance degradation. With all these proposed methods, our TinySAM leads to orders of magnitude computational reduction and pushes the envelope for efficient segment anything task. Extensive experiments on various zero-shot transfer tasks demonstrate the significantly advantageous performance of our TinySAM against counterpart methods. Pre-trained models and codes are available at https://github.com/xinghaochen/TinySAM and https://gitee.com/mindspore/models/tree/master/research/cv/TinySAM.


title: From Past to Future: Digital Methods Towards Artefact Analysis

abstract: Over the past two decades, Digital Humanities has transformed the landscape of humanities and social sciences, enabling advanced computational analysis and interpretation of extensive datasets. Notably, recent initiatives in Southeast Asia, particularly in Singapore, focus on categorising and archiving historical data such as artwork, literature and, most notably archaeological artefacts. This study illustrates the profound potential of Digital Humanities through the application of statistical methods on two distinct artefact datasets. Specifically, we present the results of an automated die study on mid-1st millennium AD "Rising Sun" coinage from mainland Southeast Asia, while subsequently utilising unsupervised statistical methods on 2D images of 13th-14th century earthenware ceramics excavated from the precolonial St. Andrew's Cathedral site in central Singapore. This research offers a comparative assessment showcasing the transformative impact of statistics-based approaches on the interpretation and analysis of diverse archaeological materials and within Digital Humanities overall.


title: Parameterized Guarantees for Almost Envy-Free Allocations

abstract: We study fair allocation of indivisible goods among agents with additive valuations. We obtain novel approximation guarantees for three of the strongest fairness notions in discrete fair division, namely envy-free up to the removal of any positively-valued good (EFx), pairwise maximin shares (PMMS), and envy-free up to the transfer of any positively-valued good (tEFx). Our approximation guarantees are in terms of an instance-dependent parameter $\gamma \in (0,1]$ that upper bounds, for each indivisible good in the given instance, the multiplicative range of nonzero values for the good across the agents. First, we consider allocations wherein, between any pair of agents and up to the removal of any positively-valued good, the envy is multiplicatively bounded. Specifically, the current work develops a polynomial-time algorithm that computes a $\left( \frac{2\gamma}{\sqrt{5+4\gamma}-1}\right)$-approximately EFx allocation for any given fair division instance with range parameter $\gamma \in (0,1]$. For instances with $\gamma \geq 0.511$, the obtained approximation guarantee for EFx surpasses the previously best-known approximation bound of $(\phi-1) \approx 0.618$, here $\phi$ denotes the golden ratio. Furthermore, for $\gamma \in (0,1]$, we develop a polynomial-time algorithm for finding allocations wherein the PMMS requirement is satisfied, between every pair of agents, within a multiplicative factor of $\frac{5}{6} \gamma$. En route to this result, we obtain novel existential and computational guarantees for $\frac{5}{6}$-approximately PMMS allocations under restricted additive valuations. Finally, we develop an algorithm that efficiently computes a $2\gamma$-approximately tEFx allocation. Specifically, we obtain existence and efficient computation of exact tEFx allocations for all instances with $\gamma \in [0.5, 1]$.


title: An Approach to Colour Morphological Supremum Formation using the LogSumExp Approximation

abstract: Mathematical morphology is a part of image processing that has proven to be fruitful for numerous applications. Two main operations in mathematical morphology are dilation and erosion. These are based on the construction of a supremum or infimum with respect to an order over the tonal range in a certain section of the image. The tonal ordering can easily be realised in grey-scale morphology, and some morphological methods have been proposed for colour morphology. However, all of these have certain limitations. In this paper we present a novel approach to colour morphology extending upon previous work in the field based on the Loewner order. We propose to consider an approximation of the supremum by means of a log-sum exponentiation introduced by Maslov. We apply this to the embedding of an RGB image in a field of symmetric $2\times2$ matrices. In this way we obtain nearly isotropic matrices representing colours and the structural advantage of transitivity. In numerical experiments we highlight some remarkable properties of the proposed approach.


title: Machine learning for viscoelastic constitutive model identification and parameterisation using Large Amplitude Oscillatory Shear

abstract: Identification and parameterisation of constitutive models can be a challenging task in rheology. We investigate the use of Random Forest (RF) regression to estimate viscoelastic constitutive model parameters using Large Amplitude Oscillatory Shear (LAOS) data. Specifically, we deploy the RF to predict constitutive model parameters using the spectra of Chebyshev coefficients pertaining to the stress-strain-strain rate Lissajous curves. As far as we know, this is the first time Machine Learning (ML) has been utilised for this predictive task. We test three constitutive models: the linear and exponential Phan-Thien-Tanner (PTT) models, and the RoLiE-Poly model. For both PTT models, the RF estimator predicts the model parameters from the Chebyshev spectra with high accuracy. For the RoLiE-Poly model, the RF estimator demonstrates lower accuracy in model validation, however the predicted parameters still accurately capture the rheological behaviour in both oscillatory shear and oscillatory extensional flow. This is because multiple sets of RoLiE-Poly model parameters can yield very similar rheological responses and indicates practical identifiability issues under the investigated conditions. This does not represent an inadequacy of the framework, but rather a fundamental challenge in estimating model parameters using rheometric data. Overall, the study highlights the strong potential ML has to offer for selecting and parametrising constitutive models based on rheometry data. Our results can help in allowing for widespread robust, modelling of viscoelastic fluid flows.


title: Noise Modulation

abstract: Instead of treating the noise as a detrimental effect, can we use it as an information carrier? In this letter, we provide the conceptual and mathematical foundations of wireless communication utilizing noise and random signals in general. Mainly, the concept of noise modulation (NoiseMod) is introduced to cover information transmission by both thermal noise and externally generated noise signals. The performance of underlying NoiseMod schemes is evaluated under both additive white Gaussian and fading channels and alternative NoiseMod designs exploiting non-coherent detection and time diversity are proposed. Extensive numerical and computer simulation results are presented to validate our designs and theoretical derivations.


title: Sparse Training for Federated Learning with Regularized Error Correction

abstract: Federated Learning (FL) has attracted much interest due to the significant advantages it brings to training deep neural network (DNN) models. However, since communications and computation resources are limited, training DNN models in FL systems face challenges such as elevated computational and communication costs in complex tasks. Sparse training schemes gain increasing attention in order to scale down the dimensionality of each client (i.e., node) transmission. Specifically, sparsification with error correction methods is a promising technique, where only important updates are sent to the parameter server (PS) and the rest are accumulated locally. While error correction methods have shown to achieve a significant sparsification level of the client-to-PS message without harming convergence, pushing sparsity further remains unresolved due to the staleness effect. In this paper, we propose a novel algorithm, dubbed Federated Learning with Accumulated Regularized Embeddings (FLARE), to overcome this challenge. FLARE presents a novel sparse training approach via accumulated pulling of the updated models with regularization on the embeddings in the FL process, providing a powerful solution to the staleness effect, and pushing sparsity to an exceptional level. The performance of FLARE is validated through extensive experiments on diverse and complex models, achieving a remarkable sparsity level (10 times and more beyond the current state-of-the-art) along with significantly improved accuracy. Additionally, an open-source software package has been developed for the benefit of researchers and developers in related fields.


title: Reconstructing algebra objects from NIM-reps in pointed, near-group and quantum group-like fusion categories

abstract: In this article we study the possible Morita equivalence classes of algebras in three families of fusion categories (pointed, near-group and $A \left( 1,l \right)_{\frac{1}{2}}$) by studying the Non-negative Integer Matrix representations (NIM-reps) of their underlying fusion ring, and compare these results with existing classification results of algebra objects. Also, in an appendix we include a test of the exponents conjecture for modular tensor categories of rank up to 4.


title: Optimal Beamforming for Secure Integrated Sensing and Communication Exploiting Target Location Distribution

abstract: In this paper, we study a secure integrated sensing and communication (ISAC) system where one multi-antenna base station (BS) simultaneously communicates with one single-antenna user and senses the location parameter of a target which serves as a potential eavesdropper via its reflected echo signals. In particular, we consider a challenging scenario where the target's location is unknown and random, while its distribution information is known a priori. First, we derive the posterior Cram\'er-Rao bound (PCRB) of the mean-squared error (MSE) in target location sensing, which has a complicated expression. To draw more insights, we derive a tight approximation of it in closed form, which indicates that the transmit beamforming should achieve a "probability-dependent power focusing" effect over possible target locations, with more power focused on highly-probable locations. Next, considering an artificial noise based beamforming structure, we formulate the transmit beamforming optimization problem to maximize the worst-case secrecy rate among all possible target (eavesdropper) locations, subject to a threshold on the sensing PCRB. The formulated problem is non-convex and difficult to solve. We show that the problem can be solved via a two-stage method, by first obtaining the optimal beamforming corresponding to any given threshold on the signal-to-interference-plus-noise ratio (SINR) at the eavesdropper, and then obtaining the optimal threshold via one-dimensional search. By applying the semi-definite relaxation (SDR) technique, we relax the first problem into a convex form and further prove that the relaxation is tight, based on which the optimal solution of the original beamforming optimization problem can be obtained with polynomial-time complexity. Then, we further propose two suboptimal solutions with lower complexity. Numerical results validate the effectiveness of our designs.


title: Variational Quantum Circuit Design for Quantum Reinforcement Learning on Continuous Environments

abstract: Quantum Reinforcement Learning (QRL) emerged as a branch of reinforcement learning (RL) that uses quantum submodules in the architecture of the algorithm. One branch of QRL focuses on the replacement of neural networks (NN) by variational quantum circuits (VQC) as function approximators. Initial works have shown promising results on classical environments with discrete action spaces, but many of the proposed architectural design choices of the VQC lack a detailed investigation. Hence, in this work we investigate the impact of VQC design choices such as angle embedding, encoding block architecture and postprocessesing on the training capabilities of QRL agents. We show that VQC design greatly influences training performance and heuristically derive enhancements for the analyzed components. Additionally, we show how to design a QRL agent in order to solve classical environments with continuous action spaces and benchmark our agents against classical feed-forward NNs.


title: Expanding the Pressure Frontier in Gr\"uneisen Parameter Measurement: Study of Sodium Chloride

abstract: The Gr\"uneisen parameter ({\gamma}) is crucial for determining many thermal properties, including the anharmonic effect, thermostatistics, and equation of state (EOS) of materials. However, the isentropic adiabatic compression conditions required to measure the Gr\"uneisen parameter under high pressure are difficult to achieve. Thus, direct experimental Gr\"uneisen parameter data in a wide range of pressures is sparse. In this work, we developed a new device that can apply pressure (up to tens of GPa) with an extremely short time about 0.5 ms, confidently achieving isentropic adiabatic compression. Then, we applied our new technique to sodium chloride and measured its Gr\"uneisen parameter, which conforms to previous theoretical predictions. According to our obtained sodium chloride Gr\"uneisen parameters, the calculated Hugoniot curve of the NaCl B1 phase appears up to 20 GPa and 960 K, which compares very well with the shock compression experiment data by Fritz et al. and other calculation works. Our results suggest that this new method can reliably measure the Gr\"uneisen parameter of even more materials, which is significant for researching the equation of state in substances.


title: Parabolic Fractal Geometry of Stable L\'evy Processes with Drift

abstract: We explicitly calculate the Hausdorff dimension of the graph and range of an isotropic stable L\'{e}vy process $X$ plus deterministic drift function $f$. For that purpose we use a restricted version of the genuine Hausdorff dimension which is called the parabolic Hausdorff dimension. It turns out that covers by parabolic cylinders are optimal for treating self-similar processes, since their distinct non-linear scaling between time and space geometrically matches the self-similarity of the processes. We provide explicit formulas for the Hausdorff dimension of the graph and the range of $X+f$. In sum the parabolic Hausdorff dimension of the drift term $f$ alone contributes to the Hausdorff dimension of $X+f$. Further, we derive some formulas and bounds for the parabolic Hausdorff dimension.


title: Systematic studies of $DDKK$ and $D\bar{D}K\bar{K}$ four-hadron molecules

abstract: Assuming that $D_{s0}^{*}(2317)$ is a $DK$ molecular state with a binding energy of 45 MeV, we investigate the existence of four-hadron molecules, $DDKK$ and $D\Bar{D}K\Bar{K}$, with the Gaussian expansion method. Their binding energies are $138\sim155$ MeV and $123\sim163$ MeV below the mass thresholds of $DDKK$ and $D\Bar{D}K\Bar{K}$. The $D\Bar{D}K\Bar{K}$ state has a decay width of $36\sim54$ MeV due to the complex $K\Bar{K}$ interaction. Further theoretical studies of and experimental searches for such four-hadron molecules can help deepen the understanding of the nonperturbative strong interaction in a nontrivial way.


title: A Dense Subframe-based SLAM Framework with Side-scan Sonar

abstract: Side-scan sonar (SSS) is a lightweight acoustic sensor that is commonly deployed on autonomous underwater vehicles (AUVs) to provide high-resolution seafloor images. However, leveraging side-scan images for simultaneous localization and mapping (SLAM) presents a notable challenge, primarily due to the difficulty of establishing sufficient amount of accurate correspondences between these images. To address this, we introduce a novel subframe-based dense SLAM framework utilizing side-scan sonar data, enabling effective dense matching in overlapping regions of paired side-scan images. With each image being evenly divided into subframes, we propose a robust estimation pipeline to estimate the relative pose between each paired subframes, by using a good inlier set identified from dense correspondences. These relative poses are then integrated as edge constraints in a factor graph to optimize the AUV pose trajectory. The proposed framework is evaluated on three real datasets collected by a Hugin AUV. Among one of them includes manually-annotated keypoint correspondences as ground truth and is used for evaluation of pose trajectory. We also present a feasible way of evaluating mapping quality against multi-beam echosounder (MBES) data without the influence of pose. Experimental results demonstrate that our approach effectively mitigates drift from the dead-reckoning (DR) system and enables quasi-dense bathymetry reconstruction. An open-source implementation of this work is available.


title: The Subtle Simplicity of Cosmological Correlators

abstract: We investigate cosmological correlators for conformally coupled $\phi^4$ theory in four-dimensional de Sitter space. These \textit{in-in} correlators differ from scattering amplitudes for massless particles in flat space due to the spacelike structure of future infinity in de Sitter. They also require a regularization which preserves de Sitter-invariance, which makes the flat space limit subtle to define at loop-level. Nevertheless we find that up to two loops, the \textit{in-in} correlators are structurally simpler than the wave function and have the same transcendentality as flat space amplitudes. Moreover, we show that their loop integrands can be recast in terms of flat space integrands and can be derived from a novel recursion relation.


title: On the ensemble Kalman inversion under inequality constraints

abstract: The ensemble Kalman inversion (EKI), a recently introduced optimisation method for solving inverse problems, is widely employed for the efficient and derivative-free estimation of unknown parameters. Specifically in cases involving ill-posed inverse problems and high-dimensional parameter spaces, the scheme has shown promising success. However, in its general form, the EKI does not take constraints into account, which are essential and often stem from physical limitations or specific requirements. Based on a log-barrier approach, we suggest adapting the continuous-time formulation of EKI to incorporate convex inequality constraints. We underpin this adaptation with a theoretical analysis that provides lower and upper bounds on the ensemble collapse, as well as convergence to the constraint optimum for general nonlinear forward models. Finally, we showcase our results through two examples involving partial differential equations (PDEs).


title: Revisiting the identification problem of a function by the ratio of Laplace transforms of powers

abstract: The ratio of Laplace transforms of powers of a function arises in the context of auction theory. The question whether a function is uniquely identified by this ratio has been answered affirmatively, if the function is non-negative, non-decreasing and right analytic.This paper extends the result to a larger class of functions without monotonicity.A conjecture in the literature says that all c\`adl\`ag functions can be identified by the ratio. We disprove this conjecture by providing simple functions that cannot be identified.


title: Magnetic monopoles in extensions of Georgi-Glashow model

abstract: We discuss a class of effective extensions of the $SU(2)$ Georgi-Glashow model and discuss its Bogomol'nyi-Prasad-Sommerfield (BPS) limit. We identify a specific subclass of these models that admit analytical solutions of the monopole type. We present some concrete examples and find that the resulting monopoles tend to have their energy concentrated not in their center, but rather in a spherical shell around it.


title: Optimized classification with neural ODEs via separability

abstract: Classification of $N$ points becomes a simultaneous control problem when viewed through the lens of neural ordinary differential equations (neural ODEs), which represent the time-continuous limit of residual networks. For the narrow model, with one neuron per hidden layer, it has been shown that the task can be achieved using $O(N)$ neurons. In this study, we focus on estimating the number of neurons required for efficient cluster-based classification, particularly in the worst-case scenario where points are independently and uniformly distributed in $[0,1]^d$. Our analysis provides a novel method for quantifying the probability of requiring fewer than $O(N)$ neurons, emphasizing the asymptotic behavior as both $d$ and $N$ increase. Additionally, under the sole assumption that the data are in general position, we propose a new constructive algorithm that simultaneously classifies clusters of $d$ points from any initial configuration, effectively reducing the maximal complexity to $O(N/d)$ neurons.


title: Positive links with arrangements of pseudocircles as shadows

abstract: An arrangement of pseudocircles $\mathcal{A}$ is a collection of Jordan curves in the plane that pairwise intersect (transversally) at exactly two points. How many non-equivalent links have $\mathcal{A}$ as their shadow? Motivated by this question, we study the number of non-equivalent positive oriented links that have an arrangement of pseudocircles as their shadow. We give sharp estimates on this number when $\mathcal{A}$ is one of the three unavoidable arrangements of pseudocircles.


title: Unitary rational best approximations to the exponential function

abstract: Rational best approximations (in a Chebyshev sense) to real functions are characterized by an equioscillating approximation error. Similar results do not hold true for rational best approximations to complex functions in general. In the present work, we consider unitary rational approximations to the exponential function on the imaginary axis, which map the imaginary axis to the unit circle. In the class of unitary rational functions, best approximations are shown to exist, to be uniquely characterized by equioscillation of a phase error, and to possess a super-linear convergence rate. Furthermore, the best approximations have full degree (i.e., non-degenerate), achieve their maximum approximation error at points of equioscillation, and interpolate at intermediate points. Asymptotic properties of poles, interpolation nodes, and equioscillation points of these approximants are studied. Three algorithms, which are found very effective to compute unitary rational approximations including candidates for best approximations, are sketched briefly. Some consequences to numerical time-integration are discussed. In particular, time propagators based on unitary best approximants are unitary, symmetric and A-stable.


title: A Multi-objective Perspective on the Cable-Trench Problem

abstract: The cable-trench problem is defined as a linear combination of the shortest path and the minimum spanning tree problem. In particular, the goal is to find a spanning tree that simultaneously minimizes its total length and the total path length from a pre-defined root to all other vertices. Both, the minimum spanning tree and the shortest path problem are known to be efficiently solvable. However, a linear combination of these two objectives results in a highly complex problem. In this article we consider bi-objective cable-trench problem which separating the two cost functions. We show that in general the bi-objective formulation has additional compromise solutions compared to the cable-trench problem in its original formulation. In order to determine the set of non-dominated points and efficient solutions, we use epsilon-constraint scalarizations in combination with a problem specific cutting plane. Moreover, we present numerical results on different types of graphs analyzing the impact of density and cost structure on the cardinality of the non-dominated set and the solution time.


title: The left tail of the subcritical derivative martingale in a branching random walk

abstract: We obtain in this work a sharp estimate on the left tail of the distribution of the so-called derivative martingale in the $L^4$ phase, answering a conjecture by H. Lacoin, R. Rhodes & V. Vargas in the framework of the Gaussian branching random walk.


title: Gain enhanced metal nanoshells: below and above the emission threshold

abstract: Nanotechnology has revolutionized our ability to control matter at the nanoscale, with metallic nanostructures offering remarkable versatility. Metallic nanoparticles (MNs) find compelling applications when metal losses are balanced by optical gain elements, including visible-frequency metamaterial cloaking and sensitive bio-molecular sensors. Prior studies of the electromagnetic response of these nano-systems have focused on single spherical MNs within infinite gain media, facing non-uniformity challenges beyond emission thresholds. To overcome this issue, we propose transitioning to spherical nanoshells incorporating gain elements, facilitating field homogeneity and offering a comprehensive spectral description using a hybrid quasi-static model. This system enables us to describe the electromagnetic behavior of the MN below as well as above the emission threshold. Interestingly, we found that the steady-state emission of a gain enhanced nanoshell is not the single line emission predicted by other authors, but instead it involves a range of frequencies whose span is governed by physical and morphological parameters that can be chosen at the stage of synthesis to design an optimal emitter.


title: How Does Connecting Online Activities to Advertising Inferences Impact Privacy Perceptions?

abstract: Data dashboards are designed to help users manage data collected about them. However, prior work showed that exposure to some dashboards, notably Google's My Activity dashboard, results in significant decreases in perceived concern and increases in perceived benefit from data collection, contrary to expectations. We theorize that this result is due to the fact that data dashboards currently do not sufficiently "connect the dots" of the data food chain, that is, by connecting data collection with the use of that data. To evaluate this, we designed a study where participants assigned advertising interest labels to their own real activities, effectively acting as a behavioral advertising engine to "connect the dots." When comparing pre- and post-labeling task responses, we find no significant difference in concern with Google's data collection practices, which indicates that participants' priors are maintained after more exposure to the data food chain (differing from prior work), suggesting that data dashboards that offer deeper perspectives of how data collection is used have potential. However, these gains are offset when participants are exposed to their true interest labels inferred by Google. Concern for data collection dropped significantly as participants viewed Google's labeling as generic compared to their own more specific labeling. This presents a possible new paradox that must be overcome when designing data dashboards, the generic paradox, which occurs when users misalign individual, generic inferences from collected data as benign compared to the totality and specificity of many generic inferences made about them.


title: Compressing continuous variable quantum measurements

abstract: We generalize the notion of joint measurability to continuous variable systems by extending a recently introduced compression algorithm of quantum measurements to this realm. The extension results in a property that asks for the minimal dimensional quantum system required for representing a given set of quantum measurements. To illustrate the concept, we show that the canonical pair of position and momentum is completely incompressible. We translate the concept of measurement compression to the realm of quantum correlations, where it results in a generalisation of continuous variable quantum steering. In contrast to the steering scenario, which detects entanglement, the generalisation detects the dimensionality of entanglement. We illustrate the bridge between the concepts by showing that an analogue of the original EPR argument is genuinely infinite-dimensional with respect to our figure of merit, and that a fundamental discrete variable result on preparability of unsteerable state assemblages with separable states does not directly carry over to the continuous variable setting. We further prove a representation result for partially entanglement breaking channels that can be of independent interest.


title: Eigenvalues of quantum Gelfand invariants

abstract: We consider the quantum Gelfand invariants which first appeared in a landmark paper by Reshetikhin, Takhtadzhyan and Faddeev (1989). We calculate the eigenvalues of the invariants acting in irreducible highest weight representations of the quantized enveloping algebra for ${\mathfrak {gl}}_n$. The calculation is based on Liouville-type formulas relating two families of central elements in the quantum affine algebras of type $A$.


title: Team Flow at DRC2023: Building Common Ground and Text-based Turn-taking in a Travel Agent Spoken Dialogue System

abstract: At the Dialogue Robot Competition 2023 (DRC2023), which was held to improve the capability of dialogue robots, our team developed a system that could build common ground and take more natural turns based on user utterance texts. Our system generated queries for sightseeing spot searches using the common ground and engaged in dialogue while waiting for user comprehension.


title: Limits of Mallows trees

abstract: This article studies the limit of binary search trees drawn from Mallows permutations under various topologies. The main result, pertaining to the standard local topology for graphs, requires the introduction of a generalization of binary search trees to two-sided infinite sequences, referred to as \textit{redwood trees}. We then show that the almost-sure local limit of finite Mallows trees is the redwood tree drawn from the two-sided infinite Mallows permutation, thus corresponding to swapping the local limit and the binary search tree structure. Building off this result, we study various other natural topologies: the rooted topology of the local structure around the root, the Gromov-Hausdorff-Prokhorov topology of the tree seen as a metric space, and the subtree size topology of the ratio of nodes split between left and right subtrees. The limit of Mallows trees under these three topologies combined with the case of the local topology allow us to draw a global picture of what large Mallows trees look like from different perspective and further strengthen the relation between finite and infinite Mallows permutations.


title: Hyperuniformity on Mars: Pebbles scattered on sand

abstract: In Gale Crater near Mars' equator, dunes and ripples of sand stand out from the general orderless, rocky terrain. In addition, images from Curiosity, the Mars Science Laboratory rover, reveal more subtle orderly forms: widespread, meter-scale domains of evenly spaced, pebble-size rocks (termed clasts) on wind-blown sand in scattered locations. Here, we examine quantitatively several clast domains on both Mars and Earth, and compare their geometry with that of random points. The clast distributions are more orderly than expected by chance; they differ significantlty from those associated with uniform (Poisson) random processes. Moreover, they are hyperuniform, a self-organized state recently recognized in diverse active materials and biological systems but that appears novel for planetary surfaces. These patches are often surrounded by recent wind-borne ripples, suggesting an interplay between sand transport, ripple activity and clasts. Using numerical simulations, we show that clast displacements induced by gravity, combined with the evolution of the sand surface caused by aeolian sand transport and ripple migration, can produce realistic hyperuniform and random clast distributions, as well as distinct clast alignements. Our findings highlight the existence of easily overlooked disordered hyperuniform states on ground surfaces, suggesting novel self-organized states beyond distinct geometric patterns.


title: Coorbital homoclinic and chaotic dynamics in the Restricted 3-Body Problem

abstract: The description of unstable motions in the Restricted Planar Circular 3-Body Problem, modeling the dynamics of a Sun-Planet-Asteriod system, is one of the fundamental problems in Celestial Mechanics. The goal of this paper is to analyze homoclinic and instability phenomena at coorbital motions, that is when the negligible mass Asteroid is at 1:1 mean motion resonance with the Planet (i.e. nearly equal periods) and performs close to circular motions. Several bodies in our Solar system belong to such regimes. In this paper, we obtain the following results. First, we prove that, for a sequence of ratios between the masses of the Planet and the Sun going to 0, there exist a 2-round homoclinic orbit to the Lagrange point L3, i.e. homoclinic orbits that approach the critical point twice. Second, we construct chaotic motions (hyperbolic sets with symbolic dynamics) as a consequence of the existence of transverse homoclinic orbits to Lyapunov periodic orbits associated to L3. Finally, we prove that the RPC3BP possesses Newhouse domains by proving that the energy level unfolds generically a quadratic homoclinic tangency to a periodic orbit.


title: Super-resolution of THz time-domain images based on low-rank representation

abstract: Terahertz time-domain spectroscopy (THz-TDS) employs sub-picosecond pulses to probe dielectric properties of materials giving as a result a 3-dimensional hyperspectral data cube. The spatial resolution of THz images is primarily limited by two sources: a non-zero THz beam waist and the acquisition step size. Acquisition with a small step size allows for the visualisation of smaller details in images at the expense of acquisition time, but the frequency-dependent point-spread function remains the biggest bottleneck for THz imaging. This work presents a super-resolution approach to restore THz time-domain images acquired with medium-to-big step sizes. The results show the optimized and robust performance for different frequency bands (from 0.5 to 3.5 THz) obtaining higher resolution and additionally removing effects of blur at lower frequencies and noise at higher frequencies.


title: Testing Axionic Dark Matter during Gravitational Reheating

abstract: Assuming axions are potential dark matter (DM) candidate that make up all of the DM abundance, we discuss production of axions via (i) standard misalignment mechanism during the period of reheating and (ii) graviton-mediated 2-to-2 scattering of the inflaton and bath particles, where the inflaton $\phi$ oscillates in a monomial potential $V(\phi)\propto\phi^k$ with a general equation of state. Considering reheating takes place purely gravitationally, mediated by massless gravitons, we explore the viable region of the parameter space that agrees with the observed DM relic abundance, satisfying bounds from big bang nucleosynthesis (BBN) and cosmic microwave background radiation (CMB). We also discuss complementarity between dedicated axion search experiments and futuristic gravitational wave search facilities in probing the viable parameter space.


title: Universal Noise Annotation: Unveiling the Impact of Noisy annotation on Object Detection

abstract: For object detection task with noisy labels, it is important to consider not only categorization noise, as in image classification, but also localization noise, missing annotations, and bogus bounding boxes. However, previous studies have only addressed certain types of noise (e.g., localization or categorization). In this paper, we propose Universal-Noise Annotation (UNA), a more practical setting that encompasses all types of noise that can occur in object detection, and analyze how UNA affects the performance of the detector. We analyzed the development direction of previous works of detection algorithms and examined the factors that impact the robustness of detection model learning method. We open-source the code for injecting UNA into the dataset and all the training log and weight are also shared.


title: Uncovering a graph

abstract: Uncover the vertices of a given graph, deterministic or random, in random order; we consider both a discrete-time and a continuous-time version. We study the evolution of the number of visible edges, and show convergence after normalization to a Gaussian process. This problem was studied by Hackl, Panholzer, and Wagner for the case when the graph is a random labelled tree; we generalize their result to more general graphs, including both other classes of random and non-random trees, and denser graphs. The results are similar in all cases, but some differences can be seen depending on the size of the average degree and of the variance of the vertex degrees.


title: Deuteron production in a combined thermal and coalescence framework for heavy-ion collisions in the few-GeV energy regime

abstract: A recently formulated thermal model for hadron production in heavy-ion collisions in the few-GeV energy regime is combined with the idea that some part of protons and neutrons present in the original thermal system forms deuterons via the coalescence mechanism. Using realistic parametrizations of the freeze-out conditions, which reproduce well the spectra of protons and pions, we make predictions for deuteron transverse-momentum and rapidity spectra. The best agreement with the experimentally known deuteron yield is obtained if the freeze-out temperature is relatively high and, accordingly, the system size at freeze-out is rather small. In addition, the standard Gaussian distribution of the relative distance between nucleons is replaced by the distribution resulting from their independent and approximately uniform production inside the initial thermal system.


title: Flowers in graph-like spaces

abstract: One perspective on tree decompositions is that they display (low-order) separations of the underlying graph or matroid. The separations displayed by a tree decomposition are necessarily nested. In 2013, Clark and Whittle proved the existence of tree decompositions with flowers added in which, up to a natural equivalence, all low-order separations are displayed. An important step in that proof is to show that flowers can be extended to maximal flowers. In this paper we generalise the notion of a flower to pseudoflowers in graph-like spaces and show for our generalisation, flowers can be extended to maximal flowers.


title: Resolution of the quadratic Littlewood--Offord problem

abstract: Consider a quadratic polynomial $Q(\xi_{1},\dots,\xi_{n})$ of independent Rademacher random variables $\xi_{1},\dots,\xi_{n}$. To what extent can $Q(\xi_{1},\dots,\xi_{n})$ concentrate on a single value? This quadratic version of the classical Littlewood--Offord problem was popularised by Costello, Tao and Vu in their study of symmetric random matrices. In this paper, we obtain an essentially optimal bound for this problem, as conjectured by Nguyen and Vu. Specifically, if $Q(\xi_{1},\dots,\xi_{n})$ "robustly depends on at least $m$ of the $\xi_{i}$" in the sense that there is no way to pin down the value of $Q(\xi_{1},\dots,\xi_{n})$ by fixing values for fewer than $m$ of the variables $\xi_{i}$, then we have $\Pr[Q(\xi_{1},\dots,\xi_{n})=0]\le O(1/\sqrt{m})$. This also implies a similar result in the case where $\xi_{1},\dots,\xi_{n}$ have arbitrary distributions. Our proof combines a number of ideas that may be of independent interest, including an inductive decoupling scheme that reduces quadratic anticoncentration problems to high-dimensional linear anticoncentration problems. Also, one application of our main result is the resolution of a conjecture of Alon, Hefetz, Krivelevich and Tyomkyn related to graph inducibility.


title: Cairo lattice with time-reversal non-invariant vertex couplings

abstract: We analyze the spectrum of a periodic quantum graph of the Cairo lattice form. The used vertex coupling violates the time reversal invariance and its high-energy behavior depends on the vertex degree parity; in the considered example both odd and even parities are involved. The presence of the former implies that the spectrum is dominated by gaps. In addition, we discuss two modifications of the model in which this is not the case, the zero limit of the length parameter in the coupling, and the sign switch of the coupling matrix at the vertices of degree three; while different they both yield the same probability that a randomly chosen positive energy lies in the spectrum.


title: Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version)

abstract: Software Transactional Memory (STM) is an extensively studied paradigm that provides an easy-to-use mechanism for thread safety and concurrency control. With the recent advent of byte-addressable persistent memory, a natural question to ask is whether STM systems can be adapted to support failure atomicity. In this article, we answer this question by showing how STM can be easily integrated with Intel's Persistent Memory Development Kit (PMDK) transactional library (which we refer to as txPMDK) to obtain STM systems that are both concurrent and persistent. We demonstrate this approach using known STM systems, TML and NOrec, which when combined with txPMDK result in persistent STM systems, referred to as PMDK-TML and PMDK-NORec, respectively. However, it turns out that existing correctness criteria are insufficient for specifying the behaviour of txPMDK and our concurrent extensions. We therefore develop a new correctness criterion, dynamic durable opacity, that extends the previously defined notion of durable opacity with dynamic memory allocation. We provide a model of txPMDK, then show that this model satisfies dynamic durable opacity. Moreover, dynamic durable opacity supports concurrent transactions, thus we also use it to show correctness of both PMDK-TML and PMDK-NORec.


title: Wigner representation of Andreev-reflected charge pulses

abstract: Recent experiments have shown that the edge states of a quantum Hall sample can be coupled to a superconductor, so that incoming electrons in the edge states can be Andreev converted on the superconductor as coherent superpositions of an electron and a hole. In addition to this, single-electron emitters that operate in the gigahertz regime have been realized. Motivated by this remarkable experimental progress, we here analyze the Andreev reflections of incoming charge pulses on the interface with a superconductor. To this end, we employ a Wigner function representation that allows us to visualize the response function of the interface both in the time and in the frequency domain. We analyze the response of an interface between a normal-metal and a singlet or triplet superconductor with and without an insulating barrier in between them. As a special case, we analyze the Andreev reflections of clean single-particle excitations that are generated by the application of lorentzian-shaped voltage pulses to the contacts of the inputs. Our predictions may be tested in future experiments with edge states coupled to superconductors.


title: Supernova environments in J-PLUS. Normalized Cumulative Rank distributions and stellar population synthesis, combining narrow- and broad-band filters

abstract: We study the local environmental properties of 418 supernovae (SNe) of all types using data from the Javalambre Photometric Local Universe Survey (J-PLUS), which includes 5 broad- and 7 narrow-band imaging filters, using two independent analyses: 1) the Normalized Cumulative Rank (NCR) method, utilizing all 12 single bands along with five continuum-subtracted narrow-band emission and absorption bands, and 2) simple stellar population (SSP) synthesis, where we build spectral energy distributions (SED) of the surrounding SN environment using the 12 filters. Improvements over previous works include: (i) the extension of the NCR technique to other filters using a set of homogeneous data; (ii) a correction for extinction to all bands based on the relation between the g-i color and the color excess; and (iii) a correction for the [NII] line contamination that falls within the H$\alpha$ filter. All NCR distributions in the broad-band filters, tracing the overall light distribution in each galaxy, are similar to each other, being type Ia, II and IIb SNe are preferably located in redder environments than the other SN types. The radial distribution of the SNe shows that type IIb SNe seem to have a preference for occurring in the inner regions of galaxies. All core-collapse SN (CC) types are strongly correlated to the [OII] emission, which traces SFR. The NCR distributions of the Ca II triplet show a clear division between II/IIb/Ia and Ib/Ic/IIn subtypes, which is interpreted as a difference in the environmental metallicity. Regarding the SSP synthesis, we found that including the 7 J-PLUS narrow filters in the fitting process has a more significant effect for the CC SN environmental parameters than for SNe Ia, shifting their values towards more extinct, younger, and more star-forming environments, due to the presence of strong emission-lines and stellar absorptions in those narrow-bands.


title: Blown-up boundaries associated with ample cones of K3 surfaces

abstract: In this paper, we apply the Bestvina-Mess type formula for relatively hyperbolic groups, which is established by Tomohiro Fukaya, to automorphism groups of K3 surfaces, and we show that the virtual cohomological dimension of automorphism groups of K3 surfaces determined by the covering dimension of the blown-up boundaries associated with their ample cones.


title: SyncDreamer for 3D Reconstruction of Endangered Animal Species with NeRF and NeuS

abstract: The main aim of this study is to demonstrate how innovative view synthesis and 3D reconstruction techniques can be used to create models of endangered species using monocular RGB images. To achieve this, we employed SyncDreamer to produce unique perspectives and NeuS and NeRF to reconstruct 3D representations. We chose four different animals, including the oriental stork, frog, dragonfly, and tiger, as our subjects for this study. Our results show that the combination of SyncDreamer, NeRF, and NeuS techniques can successfully create 3D models of endangered animals. However, we also observed that NeuS produced blurry images, while NeRF generated sharper but noisier images. This study highlights the potential of modeling endangered animals and offers a new direction for future research in this field. By showcasing the effectiveness of these advanced techniques, we hope to encourage further exploration and development of techniques for preserving and studying endangered species.


title: Andreev bound states and supercurrent in disordered spin-orbit-coupled nanowire SNS-junctions

abstract: We use a single-channel scattering formalism to derive general expressions for the Andreev bound-state energies and resulting current--phase relationship in a one-dimensional semiconductor-based SNS-junction, including arbitrarily oriented effective spin--orbit and Zeeman fields and taking into account disorder in the junction in by including a single scatterer with transmission probability $0 \leq T^2 \leq 1$, arbitrarily located in the normal region. We first corroborate our results by comparing them to the known analytic limiting-case expressions. Then we simplify our general result in several additional limits, including the case of the scatterer being at a specific location and the cases of small and large spin--orbit fields compared to the Zeeman splitting, assuming low transparency ($T\ll 1$). We believe that our results could be helpful for disentangling the main spin-mixing processes in experiments on low-dimensional semiconductor-based SNS-junctions.


title: Fairy: Fast Parallelized Instruction-Guided Video-to-Video Synthesis

abstract: In this paper, we introduce Fairy, a minimalist yet robust adaptation of image-editing diffusion models, enhancing them for video editing applications. Our approach centers on the concept of anchor-based cross-frame attention, a mechanism that implicitly propagates diffusion features across frames, ensuring superior temporal coherence and high-fidelity synthesis. Fairy not only addresses limitations of previous models, including memory and processing speed. It also improves temporal consistency through a unique data augmentation strategy. This strategy renders the model equivariant to affine transformations in both source and target images. Remarkably efficient, Fairy generates 120-frame 512x384 videos (4-second duration at 30 FPS) in just 14 seconds, outpacing prior works by at least 44x. A comprehensive user study, involving 1000 generated samples, confirms that our approach delivers superior quality, decisively outperforming established methods.


title: Adaptive Reconciliation for Experimental Continuous-Variable Quantum Key Distribution Over a Turbulent Free-Space Optical Channel

abstract: We experimentally demonstrate adaptive reconciliation for continuous-variable quantum key distribution over a turbulent free-space optical channel. Additionally, we propose a method for optimising the reconciliation efficiency, increasing secret key rates by up to 8.1%.


title: Effect of the equation of state for dilute neutron matter on the composition of the inner crust of neutron stars

abstract: The composition of the inner crust of neutron stars is usually studied using phenomenological interactions such as Skyrme energy-density functionals. But most of these functionals do not agree well with ab-initio calculations of very dilute neutron matter. In this work, we study the inner crust of neutron stars in the model of phase coexistence of dense neutron-rich nuclear clusters and dilute neutron gas, and we investigate how employing a realistic microscopic equation of state to the neutron gas alters the composition. Our results indicate that with a functional that reproduces the correct equation of state of neutron matter at moderate densities, one can obtain a good description of the crust even if the functional does not have the correct behavior at extremely low density.


title: UHZ1 and the other three most distant quasars observed: possible evidence for Supermassive Dark Stars

abstract: The James Webb Space Telescope (JWST) has recently uncovered a new record-breaking quasar, UHZ1, at a redshift of $z\sim10$. This discovery continues JWST's trend of confronting the expectations from the standard $\Lambda$CDM model of cosmology with challenges. Namely, too many very massive galaxies and quasars have been observed at very high redshifts, when the universe was only a few hundred million years old. We have previously shown that Supermassive Dark Stars (SMDSs) may offer a solution to this puzzle. These fascinating objects would be the first stars in the universe, growing to be $\sim 10^5-10^7 M_{\odot}$ and shining as bright as $10^9$ suns. Unlike Population III stars (the major alternative proposed model for the first stars in the universe, which would also have zero metallicity and would be powered by nuclear fusion), SMDSs would be powered by dark matter heating (e.g. dark matter annihilation) and would be comparatively cooler. At the ends of their lives (when they run out of dark matter fuel), SMDSs would directly collapse into black holes, thus providing possible seeds for the first quasars. Previous papers have shown that to form at $z\sim10$, UHZ1 would require an incredibly massive seed ($\sim 10^4 -10^5 M_{\odot}$), which was assumed to be a Direct Collapse Black Hole (DCBH). In this paper, we demonstrate that Supermassive Dark Stars (SMDSs) offer an equally valid solution to the mystery of the first quasars, by examining the four most distant known quasars: UHZ1, J0313-1806, J1342+0928, and J1007+2115, with particular emphasis on UHZ1.


title: Phases of Matrix Product States with Symmetric Quantum Circuits and Symmetric Measurements with Feedforward

abstract: Two matrix product states (MPS) are in the same phase in the presence of symmetries if they can be transformed into one another via symmetric short-depth circuits. We consider how symmetry-preserving measurements with feedforward alter the phase classification of MPS in the presence of global on-site symmetries. We demonstrate that, for all finite abelian symmetries, any two symmetric MPS belong to the same phase. We give an explicit protocol that achieves a transformation between any two phases and that uses only a depth-two symmetric circuit, two rounds of symmetric measurements, and a constant number of auxiliary systems per site. In the case of non-abelian symmetries, symmetry protection prevents one from deterministically transforming symmetry-protected topological (SPT) states to product states directly via measurements, thereby complicating the analysis. Nonetheless, we provide protocols that allow for asymptotically deterministic transformations between the trivial phase and certain SPT phases.


title: Q-SENN: Quantized Self-Explaining Neural Networks

abstract: Explanations in Computer Vision are often desired, but most Deep Neural Networks can only provide saliency maps with questionable faithfulness. Self-Explaining Neural Networks (SENN) extract interpretable concepts with fidelity, diversity, and grounding to combine them linearly for decision-making. While they can explain what was recognized, initial realizations lack accuracy and general applicability. We propose the Quantized-Self-Explaining Neural Network Q-SENN. Q-SENN satisfies or exceeds the desiderata of SENN while being applicable to more complex datasets and maintaining most or all of the accuracy of an uninterpretable baseline model, out-performing previous work in all considered metrics. Q-SENN describes the relationship between every class and feature as either positive, negative or neutral instead of an arbitrary number of possible relations, enforcing more binary human-friendly features. Since every class is assigned just 5 interpretable features on average, Q-SENN shows convincing local and global interpretability. Additionally, we propose a feature alignment method, capable of aligning learned features with human language-based concepts without additional supervision. Thus, what is learned can be more easily verbalized. The code is published: https://github.com/ThomasNorr/Q-SENN


title: One Dimensional Dynamics and the R\"ossler attractor

abstract: The R\"ossler system is one of the best known chaotic dynamical systems, generating a chaotic attractor which, by the numerical evidence, arises by a period-doubling route to chaos. In this paper we state and prove a topological criterion for the existence of an attractor for the R\"ossler system - and then analyze the dynamics of the non-wandering set by reducing the flow to the dynamics of a well-known one dimensional model: the Quadratic Family, $x^2+c$, $-2\leq c\leq\frac{1}{4}$.


title: Towards Efficient Time Stepping for Numerical Shape Correspondence

abstract: The computation of correspondences between shapes is a principal task in shape analysis. To this end, methods based on partial differential equations (PDEs) have been established, encompassing e.g. the classic heat kernel signature as well as numerical solution schemes for geometric PDEs. In this work we focus on the latter approach. We consider here several time stepping schemes. The goal of this investigation is to assess, if one may identify a useful property of methods for time integration for the shape analysis context. Thereby we investigate the dependence on time step size, since the class of implicit schemes that are useful candidates in this context should ideally yield an invariant behaviour with respect to this parameter. To this end we study integration of heat and wave equation on a manifold. In order to facilitate this study, we propose an efficient, unified model order reduction framework for these models. We show that specific $l_0$ stable schemes are favourable for numerical shape analysis. We give an experimental evaluation of the methods at hand of classical TOSCA data sets.


title: Statistical learning theory and Occam's razor: The argument from empirical risk minimization

abstract: This paper considers the epistemic justification for a simplicity preference in inductive inference that may be obtained from the machine learning framework of statistical learning theory. Uniting elements from both earlier arguments suggesting and rejecting such a justification, the paper spells out a qualified means-ends and model-relative justificatory argument, built on statistical learning theory's central mathematical learning guarantee for the method of empirical risk minimization.


title: Self-diffusion coefficient as a function of the thermodynamic factor

abstract: Much effort has been put into developing theories for dense fluids, as a result of these efforts many theories work for a certain type of particle or in a certain concentration regime. Rosenfeld proposed a dependence of the self-diffusion coefficient on the excess entropy. Our proposal is similar to Rosenfeld's in that it also attempts to describe diffusion in terms of a thermodynamic function but, instead of the excess entropy, we use the thermodynamic factor, or the excess chemical potential. Simulations were taken for hard spheres and our model was fitted with two free parameters. Simulations were then carried out for a Lennard Jones gas and our model correctly described the new data with the value of the free parameters that we had obtained for hard spheres. This is a feature of our model that we wish to emphasize, since the usual situation is that parameters have to be re-adjusted for different interaction potentials. An experimental xenon self-diffusion data set was used as an example where the model can be applied, especially in the high-density regime.


title: Dynamics and fluid-structure interaction in turbulent flows within and above flexible canopies

abstract: Flexible canopy flows are often encountered in natural scenarios, e.g., when crops sway in the wind or when submerged kelp forests are agitated by marine currents. Here, we provide a detailed characterisation of the turbulent flow developed above and between the flexible filaments of a fully submerged dense canopy and we describe their dynamical response to the turbulent forcing. We investigate a wide range of flexibilities, encompassing the case in which the filaments are completely rigid and standing upright as well as that where they are fully compliant to the flow and deflected in the streamwise direction. We are thus able to isolate the effect of the canopy flexibility on the drag and on the inner-outer flow interactions, as well as the two flapping regimes of the filaments already identified for a single fiber. Furthermore, we offer a detailed description of the Reynolds stresses throughout the wall-normal direction resorting to the Lumley triangle formalism, and we show the multi-layer nature of turbulence inside and above the canopy. The relevance of our investigation is thus twofold: the fundamental physical understanding developed here paves the way towards the investigation of more complex and realistic scenarios, while we also provide a thorough characterisation of the turbulent state that can prove useful in the development of accurate turbulence models for RANS and LES.


title: Image Clustering using Restricted Boltzman Machine

abstract: In various verification systems, Restricted Boltzmann Machines (RBMs) have demonstrated their efficacy in both front-end and back-end processes. In this work, we propose the use of RBMs to the image clustering tasks. RBMs are trained to convert images into image embeddings. We employ the conventional bottom-up Agglomerative Hierarchical Clustering (AHC) technique. To address the challenge of limited test face image data, we introduce Agglomerative Hierarchical Clustering based Method for Image Clustering using Restricted Boltzmann Machine (AHC-RBM) with two major steps. Initially, a universal RBM model is trained using all available training dataset. Subsequently, we train an adapted RBM model using the data from each test image. Finally, RBM vectors which is the embedding vector is generated by concatenating the visible-to-hidden weight matrices of these adapted models, and the bias vectors. These vectors effectively preserve class-specific information and are utilized in image clustering tasks. Our experimental results, conducted on two benchmark image datasets (MS-Celeb-1M and DeepFashion), demonstrate that our proposed approach surpasses well-known clustering algorithms such as k-means, spectral clustering, and approximate Rank-order.


title: Enhanced elastic stability of a topologically disordered crystalline metal--organic framework

abstract: By virtue of their open network structures and low densities, metal--organic frameworks (MOFs) are soft materials that exhibit elastic instabilities at low applied stresses. The conventional strategy for improving elastic stability is to increase the connectivity of the underlying MOF network, which necessarily increases material density and reduces porosity. Here we demonstrate an alternative paradigm, whereby elastic stability is enhanced in a MOF with an aperiodic network topology. We use a combination of variable-pressure single-crystal X-ray diffraction measurements and coarse-grained lattice-dynamical calculations to interrogate the high-pressure behaviour of the topologically aperiodic system TRUMOF-1, which we compare against that of its ordered congener MOF-5. We show that the topology of the former quenches the elastic instability responsible for pressure-induced framework collapse in the latter, much as irregularity in the shapes and sizes of stones acts to prevent cooperative mechanical failure in drystone walls. Our results establish aperiodicity as a counterintuitive design motif in engineering the mechanical properties of framework structures, relevant to MOFs and larger-scale architectures alike.


title: Lecture notes on current-current deformations

abstract: These are pedagogical lecture notes discussing current-current deformations of 2-dimensional field theories. The deformations that are considered here are generated infinitesimally by bilinears of Noether currents corresponding to internal global symmetries of the "seed" theory. When the seed theory is conformal, these deformations are marginal and are often known as $J\bar J$-deformations. In this context, we review the criterion for marginal operators due to Chaudhuri and Schwartz. When the seed theory is an integrable $\sigma$-model (in the sense that it possesses a Lax connection), these deformations preserve the integrability. Here we review this fact by viewing the deformations as maps that leave the equations of motion and the Poisson brackets of the 2-dimensional $\sigma$-models invariant. The reinterpretation as undeformed theories with twisted boundary conditions is also discussed, as well as the effect of the deformation at the level of the S-matrix of the quantum theory. The finite (or integrated) form of the deformations is equivalent to sequences of T-duality--shift--T-duality transformations (TsT's), and here we review the $O(d,d)$-covariant formalism that is useful to describe them. The presentation starts with pedagogical examples of deformations of free massless scalars in 2 dimensions, and minimal prerequisites on conformal field theories or integrability are needed to understand later sections. Moreover, guided exercises are proposed to the reader. These notes were prepared for the Young Researchers Integrability School and Workshop (YRISW) held in Durham from 17 to 21 July 2023.


title: Reducing Hallucinations: Enhancing VQA for Flood Disaster Damage Assessment with Visual Contexts

abstract: The zero-shot performance of visual question answering (VQA) models relies heavily on prompts. For example, a zero-shot VQA for disaster scenarios could leverage well-designed Chain of Thought (CoT) prompts to stimulate the model's potential. However, using CoT prompts has some problems, such as causing an incorrect answer in the end due to the hallucination in the thought process. In this paper, we propose a zero-shot VQA named Flood Disaster VQA with Two-Stage Prompt (VQA-TSP). The model generates the thought process in the first stage and then uses the thought process to generate the final answer in the second stage. In particular, visual context is added in the second stage to relieve the hallucination problem that exists in the thought process. Experimental results show that our method exceeds the performance of state-of-the-art zero-shot VQA models for flood disaster scenarios in total. Our study provides a research basis for improving the performance of CoT-based zero-shot VQA.


title: Lectures on classical Affine Gaudin models

abstract: These lecture notes present an introduction to classical Affine Gaudin models, which provide a general framework for the systematic construction and study of a large class of integrable two-dimensional field theories. A key role is played by Kac-Moody currents, which are fields satisfying a particular Poisson bracket. After reviewing this notion, we discuss in detail the construction of Affine Gaudin models in the language of Hamiltonian field theories. Special emphasis is placed on their symmetries and conserved quantities, including the construction of infinite families of local and non-local Poisson-commuting charges in terms of Kac-Moody currents. Moreover, we study explicit examples of affine Gaudin models, making the link with the realm of integrable sigma-models. Finally, we mention briefly various perspectives concerning these theories, including the question of their quantisation. Minimal prerequisites on classical Hamiltonian field theories and integrability are required to follow the presentation and a brief reminder of these notions is given at the beginning of the notes. Moreover, various exercises are included throughout the document. These notes were prepared for the Young Researchers Integrability School and Workshop held in Durham from 17 to 21 July 2023.


title: On AdS/CFT duality in the twisted sector of string theory on $AdS_5 \times S^5/\mathbb{Z}_2$ orbifold background

abstract: We consider type IIB string theory on an $AdS_5 \times S^5/\mathbb{Z}_2$ orbifold background, which should be dual to 4d $\mathcal{N}=2$ superconformal $SU(N)\times SU(N)$ gauge theory with two bi-fundamental hypermultiplets. The correlator of two chiral BPS operators from the twisted sector of this quiver CFT exhibits non-trivial dependence on the 't Hooft coupling $\lambda$ already in the planar limit. This dependence was recently determined using localisation and the expansion at large $\lambda$ contains a subleading contribution proportional to $\zeta(3) \lambda^{-3/2}$. We address the question of how to reproduce this correction on the string theory side by starting with the $\zeta(3) \alpha'^3$ term in the type IIB string effective action. We find a regular solution of type IIB supergravity which represents a resolution of the $AdS_5 \times S^5/\mathbb{Z}_2$ orbifold and demonstrate that the relevant light twisted sector states may be identified as additional supergravity 2-form modes ``wrapping" a finite 2-cycle in the resolution space. Reproducing the structure of the gauge theory result becomes more transparent in the large R-charge or BMN-like limit in which the resolved background takes a pp-wave form with the transverse space being a product of $\mathbb R^4$ and the Eguchi-Hanson space.


title: Visible metalenses with high focusing efficiency fabricated using nanoimprint lithography

abstract: Metasurfaces enable precise control over the properties of light and hold promise for commercial applications. However, fabricating visible metasurfaces suitable for high-volume production is challenging and requires scalable processes. Nanoimprint lithography is a cost-effective and high-throughput technique that can meet this scalability requirement. This work presents a mask-templating nanoimprint lithography process for fabricating metasurfaces with varying fill factors and negligible wavefront aberrations using composite stamps. As a proof-of-concept, a 6 mm diameter metalens formed of silicon nitride nano-posts with a numerical aperture of 0.2 that operates at 550 nm is demonstrated. The nanoimprinted metalens achieves a peak focusing efficiency of ($81\pm1$)%, comparable to the control metalens made with electron beam lithography with a focusing efficiency of ($89\pm1$)%. Spatially resolved deflection efficiency and wavefront data, which informs design and process optimization, is also presented. These results highlight nanoimprint lithography as a cost-effective, scalable method for visible metasurface fabrication that has the potential for widespread adoption in consumer electronics and imaging systems.


title: Nonautonomous maximal parabolic regularity for nonsmooth quasilinear parabolic systems

abstract: In this paper we are concerned with $L^p$-maximal parabolic regularity for abstract nonautonomous parabolic systems and their quasilinear counterpart in negative Sobolev spaces incorporating mixed boundary conditions. Our results are derived in the setting of nonsmooth domains with mixed boundary conditions by an extrapolation technique which also yields uniform estimates for the parabolic solution operators. We require only very mild boundary regularity, not in the Lipschitz-class, and generally only bounded and measurable complex coefficients. The nonlinear functions in the quasilinear formulation can be nonlocal-in-time; this allows also to consider certain systems whose stationary counterpart fails to satisfy the usual ellipticity conditions.


title: Quantum Wave Function Collapse for Procedural Content Generation

abstract: Quantum computers exhibit an inherent randomness, so it seems natural to consider them for procedural content generation. In this work, a quantum version of the famous (classical) wave function collapse algorithm is proposed. This quantum wave function collapse algorithm is based on the idea that a quantum circuit can be prepared in such a way that it acts as a special-purpose random generator for content of a desired form. The proposed method is presented theoretically and investigated experimentally on simulators and actual IBM Quantum devices.


title: Super-biderivations and linear super-commuting maps on simple Lie superalgebras

abstract: Let L be a finite dimensional simple Lie superalgebra over an algebraically closed field of characteristic different from 2. In this paper, we prove that each skew-supersymmtric super-biderivation of L is inner. Furthermore, we prove that each linear super-commuting map on L is a scalar multiplication map.


title: Upper Bound on Thermal Gravitational Wave Backgrounds from Hidden Sectors

abstract: Hot viscous plasmas unavoidably emit a gravitational wave background, similar to the electromagnetic black body radiation. We study the contribution from hidden particles to the diffuse background emitted by the primordial plasma in the early universe. While this contribution can easily dominate over that from Standard Model particles, we find that both are capped by a generic upper bound that makes them difficult to detect with interferometers in the foreseeable future. However, resonant cavity experiments could potentially observe backgrounds that saturate the upper bound. We illustrate our results for axions and heavy neutral leptons. Finally, our results suggest that previous works overestimated the gravitational wave background from particle decays out of thermal equilibrium.


title: Polarization multistates in antiferroelectric van der Waals materials

abstract: The bistability of charge polarization in ferroelectric materials has long been the basis of ferroelectric devices. However, the ferroelectricity tends to be vanishing as the thickness of materials is reduced to a few nanometers or thinner due to the depolarization field. Instead, they show a paraelectric or an antiferroelectric ordering in the ultra-thin limit, which is unfavorable for their applications in devices. Here we uncover polarization multistates in thin films of van der Waals materials, in which the individual monolayers have an antiferroelectric ordering with out-of-plane polarizations. This property results from a unique combination of the polarization and layer degrees of freedom. Using first-principles calculations, we demonstrate that bilayers and trilayers of the CuInP$_2$S$_6$ family possess quintuple and septuple polarization states., respectively. Our climbing image nudged elastic band calculations for the bilayers and trilayers of CuInP$_2$S$_6$ and CuCrP$_2$S$_6$ further show that the states can be transformed into each other under appropriate external electric fields, for which a unique layer-selective half-layer-by-half-layer flipping mechanism governs the transformings. Our study opens up a door to design unusual polarization states using intrinsic degrees of freedom of layered antiferroelectrics for the next-generation ferroelectric devices that go beyond the bistability paradigm.


title: Superconducting diodes from magnetization gradients

abstract: The superconducting diode effect may exist in bulk systems as well as in junctions when time-reversal and inversion symmetries are simultaneously broken. Magnetization gradients and textures satisfy both requirements and therefore also allow for superconducting diodes. We concretely demonstrate such possibilities in two-dimensional superconductors. We first consider superconducting Rashba metals in the presence of an inhomogeneous out-of-plane exchange field. Using analytical arguments, we reveal that such magnetization gradients stabilize a helical superconducting ground state, similar to homogeneous in-plane magnetic fields. Our predictions are confirmed by employing self-consistent real-space numerical lattice simulations exemplified through the cases of a uniform magnetization gradient or a ferromagnetic domain wall. Furthermore, by considering a phase difference, we determine the nonreciprocal current-phase relations and explore their parameter dependence. Our calculations show that planar devices with out-of-plane magnetization gradients may be as efficient supercurrent rectifiers as their analogs induced by uniform in-plane fields. In addition, they feature the advantage that by means of tailoring the spatial profile of the out-of-plane magnetization, one may optimize and spatially control the diode effect. Finally, we show that superconducting diodes may become also accessible even in the absence of spin-orbit coupling by means of suitable spatially-varying magnetization fields.


title: Geometry of teleparallel theories

abstract: I give a brief introduction to and explain the geometry of teleparallel models of modified gravity. In particular I explain why, in my opinion, the covariantised approaches are not needed and the Weitzenb\"ock connection is the most natural representation of the parallel transport structure. An interesting point is that it also applies to the symmetric teleparallel case. I also share my thoughts on why the teleparallel framework does not seem to be a next rung in the ladder of understanding the real worlds' gravity. At the same time, these theories do have a clear and justified academic interest to them.


title: Nonlinear Functional Estimation: Functional Detectability and Full Information Estimation

abstract: We consider the design of functional estimators, i.e., approaches to compute an estimate of a nonlinear function of the state of a general nonlinear dynamical system subject to process noise based on noisy output measurements. To this end, we introduce a novel functional detectability notion in the form of incremental input/output-to-output stability ($\delta$-IOOS). We show that $\delta$-IOOS is a necessary condition for the existence of a functional estimator satisfying an input-to-output type stability property. Additionally, we prove that a system is functional detectable if and only if it admits a corresponding $\delta$-IOOS Lyapunov function. Furthermore, $\delta$-IOOS is shown to be a sufficient condition for the design of a stable functional estimator by introducing the design of a full information estimation (FIE) approach for functional estimation. Together, we present a unified framework to study functional estimation with a detectability condition, which is necessary and sufficient for the existence of a stable functional estimator, and a corresponding functional estimator design. The practical need for and applicability of the proposed functional estimator design is illustrated with a numerical example of a power system.


title: Loss free shaping of few-cycle terawatt laser pulses

abstract: We demonstrate loss-free generation of 3 mJ, 1 kHz, few-cycle (5 fs at 750 nm central wavelength) double pulses with separation from 10 fs to 100 fs, using a helium filled hollow core fiber (HCF) and chirped mirror compressor. Crucial to our scheme are simulation-based modifications to the spectral phase and amplitude of the oscillator seed pulse to eliminate the deleterious effects of self-focusing and nonlinear phase pickup in the chirped pulse amplifier. The shortest pulse separations are enabled by spectral reshaping and pulse splitting in the HCF compressor.


title: Graph partition method based on finite projective planes

abstract: We present a novel graph partition algorithm with a theoretical bound for the replication factor of \sqrt(n), which improves known constrained approaches (grid: 2* \sqrt(n)-1, torus: 1.5*\sqrt(n)+1) and provides better performance


title: Electric dipole spin resonance in single and two electron quantum dot defined in two-dimensional electron gas at the SrTiO$_3$/LaAlO$_3$ interface

abstract: We investigate the energy spectrum of a single and two electron quantum dot (QD) embedded in two dimensional electron gas at the interface between SrTiO$_3$ and LaAlO$_3$, in the presence of the external magnetic field. For this purpose the three band model of $3d$-electrons defined on the square lattice of Ti ions was utilized. We demonstrate that, for the weak parabolic confinement potential, the low energy spectrum is sufficiently well described by the effective Hamiltonian reduced to the one $d_{xy}$ orbital with the spin-orbit interaction originating from the coupling to the $d_{xz}$, $d_{yz}$ bands. This is not the case for stronger confinement where contribution of the states related to the $d_{xz/yz}$ orbital is relevant. Based on the time depended calculations we discuss in details the manipulation of the electron spin in QD by external AC voltages, in the context of the electric dipole spin resonance. The allowed and forbidden transitions are discussed in details with respect to the parity selection rule. Our calculations show that for a single electron QD the spin-flip in the ground-state has a character of a Rabi resonance while for two electrons the singlet-triplet transition is forbidden by the parity symmetry. For the two electrons QD, we demonstrate that the spin-flip transition can still be accomplished via a second-order, two-photon process that has a two-state Rabi character for low AC field amplitude. The violation of the parity symmetry on the spin-flip transitions is also analyzed.


title: Manipulating Trajectory Prediction with Backdoors

abstract: Autonomous vehicles ought to predict the surrounding agents' trajectories to allow safe maneuvers in uncertain and complex traffic situations. As companies increasingly apply trajectory prediction in the real world, security becomes a relevant concern. In this paper, we focus on backdoors - a security threat acknowledged in other fields but so far overlooked for trajectory prediction. To this end, we describe and investigate four triggers that could affect trajectory prediction. We then show that these triggers (for example, a braking vehicle), when correlated with a desired output (for example, a curve) during training, cause the desired output of a state-of-the-art trajectory prediction model. In other words, the model has good benign performance but is vulnerable to backdoors. This is the case even if the trigger maneuver is performed by a non-casual agent behind the target vehicle. As a side-effect, our analysis reveals interesting limitations within trajectory prediction models. Finally, we evaluate a range of defenses against backdoors. While some, like simple offroad checks, do not enable detection for all triggers, clustering is a promising candidate to support manual inspection to find backdoors.


title: Orbits of Jacobi forms and Theta relations

abstract: Jacobi theta functions with rational characteristics can be viewed as vector-valued Jacobi forms. Theta relations usually correspond to different constructions of certain Jacobi forms. From this observation, we extract a new approach, which is called orbits of Jacobi forms, to produce identities on Jacobi theta functions. Our approach not only provides simple proofs of many known theta relations but also produces a large number of new identities, which can be considered as generalizations of Riemann's theta relations.


title: Images of polynomial maps with constants

abstract: Let $K$ be an algebraically closed field and $\mathrm{M}(2,K)$ be the $2\times 2$ matrix algebra over $K$ and $\mathrm{GL}(2,K)$ be the invertible elements in $\mathrm{M}(2,K)$. We explore the image of polynomials with constants, namely from the free algebra $\mathrm{M}(2,K)\langle x, y\rangle$. In this article, we compute the images of the polynomial maps given by (a) generalized sum of powers $Ax^{k_1} + By^{k_2}$ and (b) generalized commutator map $Axy -Byx$, where $A$, $B$ are non-zero elements of $\mathrm{M}(2,K)$. We compute this in the first case by fixing a simultaneous conjugate pair for $A, B$ and it turns out that it is surjective in most of the cases. In the second case, we show that the image of the map is always a vector space.


title: Understanding Inter-Session Intentions via Complex Logical Reasoning

abstract: Understanding user intentions is essential for improving product recommendations, navigation suggestions, and query reformulations. However, user intentions can be intricate, involving multiple sessions and attribute requirements connected by logical operators such as And, Or, and Not. For instance, a user may search for Nike or Adidas running shoes across various sessions, with a preference for purple. In another example, a user may have purchased a mattress in a previous session and is now looking for a matching bed frame without intending to buy another mattress. Existing research on session understanding has not adequately addressed making product or attribute recommendations for such complex intentions. In this paper, we present the task of logical session complex query answering (LS-CQA), where sessions are treated as hyperedges of items, and we frame the problem of complex intention understanding as an LS-CQA task on an aggregated hypergraph of sessions, items, and attributes. This is a unique complex query answering task with sessions as ordered hyperedges. We also introduce a new model, the Logical Session Graph Transformer (LSGT), which captures interactions among items across different sessions and their logical connections using a transformer structure. We analyze the expressiveness of LSGT and prove the permutation invariance of the inputs for the logical operators. By evaluating LSGT on three datasets, we demonstrate that it achieves state-of-the-art results.


title: How to make log structures

abstract: We introduce the concept of a viable generically toroidal crossing (gtc) Deligne--Mumford stack $Y$. This generalizes the concept of Gorenstein toroidal crossing space, which in turn generalizes that of a simple normal crossing scheme. On such a space $Y$, we define by explicit construction a natural sheaf $\mathcal{LS}_Y$, intrinsic to $Y$. Our main theorem states that the set of nowhere vanishing sections $\Gamma(Y,\mathcal{LS}_Y^\times)$ is canonically bijective to the set of isomorphism classes of log structures on $Y$ over $k^\dagger$ compatible with the gtc structure. The definition of $\mathcal{LS}_Y$ by explicit construction permits the effective construction of log structures on $Y$; it also enables logarithmic birational geometry, in particular the construction -- in some cases -- of resolutions of singular log structures. Our work generalizes Theorem 3.22 in GS06 and our proof follows closely the proof of that theorem as given in GS06.


title: Data-driven path collective variables

abstract: Identifying optimal collective variables to model transformations, using atomic-scale simulations, is a long-standing challenge. We propose a new method for the generation, optimization, and comparison of collective variables, which can be thought of as a data-driven generalization of the path collective variable concept. It consists in a kernel ridge regression of the committor probability, which encodes a transformation's progress. The resulting collective variable is one-dimensional, interpretable, and differentiable, making it appropriate for enhanced sampling simulations requiring biasing. We demonstrate the validity of the method on two different applications: a precipitation model, and the association of Li$^+$ and F$^-$ in water. For the former, we show that global descriptors such as the permutation invariant vector allow to reach an accuracy far from the one achieved \textit{via} simpler, more intuitive variables. For the latter, we show that information correlated with the transformation mechanism is contained in the first solvation shell only, and that inertial effects prevent the derivation of optimal collective variables from the atomic positions only.