title: Neutron calibrations in dark matter searches: the ANAIS-112 case

abstract: ANAIS is a direct dark matter detection experiment whose goal is to confirm or refute in a model independent way the positive annual modulation signal claimed by DAMA/LIBRA. Consisting of 112.5 kg of NaI(Tl) scintillators, ANAIS-112 is taking data at the Canfranc Underground Laboratory in Spain since August, 2017. Results corresponding to the analysis of three years of data are compatible with the absence of modulation and incompatible with DAMA/LIBRA. However, testing this signal relies on the knowledge of the scintillation quenching factors (QF), which measure the relative efficiency for the conversion into light of the nuclear recoil energy with respect to the same energy deposited by electrons. Previous measurements of the QF in NaI(Tl) show a large dispersion. Consequently, in order to better understand the response of the ANAIS-112 detectors to nuclear recoils, a specific neutron calibration program has been developed. This program combines two different approaches: on the one hand, QF measurements were carried out in a monoenergetic neutron beam; on the other hand, the study presented here aims at the evaluation of the QF by exposing directly the ANAIS-112 crystals to neutrons from low activity $^{252}$Cf sources, placed outside the lead shielding. Comparison between these onsite neutron measurements and detailed GEANT4 simulations will be presented, confirming that this approach allows testing different QF models.


title: LiLO: Lightweight and low-bias LiDAR Odometry method based on spherical range image filtering

abstract: In unstructured outdoor environments, robotics requires accurate and efficient odometry with low computational time. Existing low-bias LiDAR odometry methods are often computationally expensive. To address this problem, we present a lightweight LiDAR odometry method that converts unorganized point cloud data into a spherical range image (SRI) and filters out surface, edge, and ground features in the image plane. This substantially reduces computation time and the required features for odometry estimation in LOAM-based algorithms. Our odometry estimation method does not rely on global maps or loop closure algorithms, which further reduces computational costs. Experimental results generate a translation and rotation error of 0.86\% and 0.0036{\deg}/m on the KITTI dataset with an average runtime of 78ms. In addition, we tested the method with our data, obtaining an average closed-loop error of 0.8m and a runtime of 27ms over eight loops covering 3.5Km.


title: Investigating the influence of divertor baffles on nitrogen-seeded detachment in TCV with SOLPS-ITER simulations and TCV experiments

abstract: Plasma edge simulation with the SOLPS-ITER code are performed to study the influence of divertor baffles on nitrogen-seeded detachment in L-mode TCV discharges. Simulations of nitrogen seeding with baffles is found to yield lower target temperatures and heat fluxes than in baffle-only and seeding-only simulations. The neutral compression increases with both baffles and seeding, but due to different mechanism according to the proposed neutral transport model. The nitrogen retention, defined as the divertor-to-main chamber nitrogen density ratio, increases with the seeding rate if baffled. Baffled nitrogen retentions are lower than the unbaffled retentions at low seeding levels and are higher at high seeding levels. The baffled carbon retentions are always above the unbaffled retentions due to increased target particle flux and sputtering by baffling. Baffles also relocate more impurity radiations from the main chamber region into the divertor. The predicted trends of target parameters, radiation and neutral distributions are well supported by TCV experiments, though discrepancies in absolute values remain. The simulations generally yield a colder and denser divertor, consistent with previous SOLPS-ITER simulations of Ohmically heated L-modes in TCV. The comparison of simulation and experiment, together with the proposed neutral transport model, suggest the necessity of sufficient baffling in future TCV divertor upgrade, and a combination of baffling and seeding to facilitate the access to detachment.


title: Microwave-to-Optical Quantum Transduction Utilizing the Topological Faraday Effect of Topological Insulator Heterostructures

abstract: The quantum transduction between microwave and optical photons is essential for realizing scalable quantum computers with superconducting qubits. Due to the large frequency difference between microwave and optical ranges, the transduction needs to be done via intermediate bosonic modes or nonlinear processes. So far, the transduction efficiency $\eta$ via the magneto-optic Faraday effect (i.e., the light-magnon interaction) in the ferromagnet YIG has been demonstrated to be small as $\eta\sim 10^{-8} \mathrm{-} 10^{-15}$ due to the sample size limitation inside the cavity. Here, we take advantage of the fact that three-dimensional topological insulator thin films exhibit a topological Faraday effect that is independent of the sample thickness. This leads to a large Faraday rotation angle and therefore enhanced light-magnon interaction in the thin film limit. We show theoretically that the transduction efficiency can be greatly improved to $\eta\sim10^{-4}$ by utilizing the heterostructures consisting of topological insulator thin films such as Bi$_2$Se$_3$ and ferromagnetic insulator thin films such as YIG.

categories: cond-mat.mes-hall cond-mat.str-el physics.optics quant-ph


title: BMS-supertranslation charges at the critical sets of null infinity

abstract: For asymptotically flat spacetimes, a conjecture by Strominger states that asymptotic BMS-supertranslations and their associated charges at past null infinity $\mathscr{I}^{-}$ can be related to those at future null infinity $\mathscr{I}^{+}$ via an antipodal map at spatial infinity $i^{0}$. We analyse the validity of this conjecture using Friedrich's formulation of spatial infinity, which gives rise to a regular initial value problem for the conformal field equations at spatial infinity. A central structure in this analysis is the cylinder at spatial infinity representing a blow-up of the standard spatial infinity point $i^{0}$ to a 2-sphere. The cylinder touches past and future null infinities $\mathscr{I}^{\pm}$ at the critical sets. We show that for a generic class of asymptotically Euclidean and regular initial data, BMS-supertranslation charges are not well-defined at the critical sets unless the initial data satisfies an extra regularity condition. We also show that given initial data that satisfy the regularity condition, BMS-supertranslation charges at the critical sets are fully determined by the initial data and that the relation between the charges at past null infinity and those at future null infinity directly follows from our regularity condition.


title: SOLPS-ITER simulation of an X-point radiator in TCV

abstract: SOLPS-ITER simulation is performed to reproduce the X-point radiator recently observed in nitrogen-seeded TCV experiments, which is a scenario that may be favorable to solve the power exhaust problems in future fusion devices. The simulations reveal the transition from the detached regime without XPR to the XPR regime, when increasing the nitrogen seeding rate. A cold X-point core surrounded by ionizing and radiative mentals is formed inside the separatrix and slightly above the X-point, where more than 90% of the total input power is dissipated. The cold X-point core exhibits a temperature of approximately 1eV and features high recombination rate to host the convective fluxes from the ionizing mental. Increasing nitrogen seeding rate also moves the nitrogen ionization front away from the target faster than the nitrogen stagnation point, which enhances the divertor nitrogen leakage to the main chamber and benefits the XPR region cooling. Carbon radiation decreases as the nitrogen seeding increases, and carbon radiation contributes to above 5% of the core impurity radiation before entering the XPR, which decreases to 2.8% when reaching the XPR. Both baffled and unbaffled divertor geometries are simulated and compared, showing that baffles facilitate the access to XPR by increasing the X-point neutral density, but requires higher seeding rate to enter the XPR regime.


title: BIDRN: A Method of Bidirectional Recurrent Neural Network for Sentiment Analysis

abstract: Text mining research has grown in importance in recent years due to the tremendous increase in the volume of unstructured textual data. This has resulted in immense potential as well as obstacles in the sector, which may be efficiently addressed with adequate analytical and study methods. Deep Bidirectional Recurrent Neural Networks are used in this study to analyze sentiment. The method is categorized as sentiment polarity analysis because it may generate a dataset with sentiment labels. This dataset can be used to train and evaluate sentiment analysis models capable of extracting impartial opinions. This paper describes the Sentiment Analysis-Deep Bidirectional Recurrent Neural Networks (SA-BDRNN) Scheme, which seeks to overcome the challenges and maximize the potential of text mining in the context of Big Data. The current study proposes a SA-DBRNN Scheme that attempts to give a systematic framework for sentiment analysis in the context of student input on institution choice. The purpose of this study is to compare the effectiveness of the proposed SA- DBRNN Scheme to existing frameworks to establish a robust deep neural network that might serve as an adequate classification model in the field of sentiment analysis.


title: Performance of new Kuraray wavelength-shifting fibers with short decay time

abstract: We measure the decay time and the attenuation length of newly developed wavelength-shifting fibers, YS series from Kuraray, which have fast response. Using a 405 nm laser, the decay times of the YS-2, 4, and 6 are measured to be $3.64 \pm 0.04$ ns, $2.15 \pm 0.03$ ns, and $1.47 \pm 0.02$ ns, respectively, for the light injection distance of 10 cm. The decay time of Y-11 is measured to be $7.10 \pm 0.09$ ns using the same system. All fibers are found to have similar attenuation lengths of more than 4 meters. When combined with the plastic scintillators EJ-200 and EJ-204, the YS series have better time resolution than Y-11, with light yields of 60-100% of Y-11.


title: Energy and Time Complexity for Sorting Algorithms in Java

abstract: The article investigates the relationship between time complexity and energy consumption in sorting algorithms, focusing on commonly-used algorithms implemented in Java: Bubble Sort, Counting Sort, Merge Sort, and Quick Sort. The significance of understanding this relationship is driven by the increasing energy demands of Information and Communication Technology systems and the potential for software optimization to contribute to energy efficiency. If we find a strong correlation between time complexity and energy usage, it would enhance the ability of software developers to create energy-efficient applications. This quantitative study researches the execution of four selected sorting algorithms with input varying over input sizes (25000 to 1 million) and input order types (best, worst, and random cases) on a single kernel in a Java-enabled system. The input size is adjusted according to the type's maximum execution time, resulting in 136 combinations, totalling 12960 measurements. Wall time and the CPU energy consumption is measured using Intel's RAPL. Statistical analysis are used to examine the correlations between time complexity, wall time, and energy consumption. The study finds a strong correlation between time complexity and energy consumption for the sorting algorithms tested. More than 99% of the variance in energy consumption for Counting Sort, Merge Sort, and Quick Sort depend on their time complexities. More than 94% of the variance in energy consumption for Bubble Sort depends on its time complexity. The results affirm that time complexity can serve as a reliable predictor of energy consumption in sequential sorting algorithms. This discovery could guide software developers in choosing energy-efficient algorithms by considering time complexities.


title: Enhancing NAC-ABE to Support Access Control for mHealth Applications and Beyond

abstract: Name-based access control (NAC) over NDN provides fine-grained data confidentiality and access control by encrypting and signing data at the time of data production. NAC utilizes specially crafted naming conventions to define and enforce access control policies. NAC-ABE, an extension to NAC, uses an attribute-based encryption (ABE) scheme to support access control with improved scalability and flexibility. However, existing NAC-ABE libraries are based on ciphertext-policy ABE (CP-ABE), which requires knowledge of the access policy when encrypting data packets. In some applications, including mHealth, the data access policy is unknown at the time of data generation, while data attributes and properties are known. In this paper, we present an extension to the existing NDN-ABE library which can be used by mHealth and other applications to enforce fine-granularity access control in data sharing. We also discuss the challenges we encountered during the application deployment, and remaining open issues together with potential solution directions.


title: Fragmentation of Colliding Liquid Rims

abstract: We present direct numerical simulations of the splashing process between two cylindrical liquid rims. This belongs to a class of impact and collision problems with a wide range of applications in science and engineering, and motivated here by splashing of breaking ocean waves. Interfacial perturbations with a truncated white noise frequency profile are introduced to the rims before their collision, whose subsequent morphological development is simulated by solving the two-phase incompressible Navier-Stokes equation with the adaptive mesh refinement (AMR) technique, within the Basilisk software environment. We first derive analytical solutions predicting the unsteady interfacial and velocity profiles of the expanding sheet forming between the two rims, and develop scaling laws for the evolution of the lamella rim under capillary deceleration. We then analyse the formation and growth of transverse ligaments ejected from the lamella rims, which we find to originate from the initial corrugated geometry of the perturbed rim surface. Novel scaling models are proposed for predicting the decay of the ligament number density due to the ongoing ligament merging phenomenon, and found to agree well with the numerical results presented here. The role of the mechanism in breaking waves is discussed further and necessary next steps in the problem are identified.


title: Geo-Localization Based on Dynamically Weighted Factor-Graph

abstract: Feature-based geo-localization relies on associating features extracted from aerial imagery with those detected by the vehicle's sensors. This requires that the type of landmarks must be observable from both sources. This lack of variety of feature types generates poor representations that lead to outliers and deviations produced by ambiguities and lack of detections, respectively. To mitigate these drawbacks, in this paper, we present a dynamically weighted factor graph model for the vehicle's trajectory estimation. The weight adjustment in this implementation depends on information quantification in the detections performed using a LiDAR sensor. Also, a prior (GNSS-based) error estimation is included in the model. Then, when the representation becomes ambiguous or sparse, the weights are dynamically adjusted to rely on the corrected prior trajectory, mitigating outliers and deviations in this way. We compare our method against state-of-the-art geo-localization ones in a challenging and ambiguous environment, where we also cause detection losses. We demonstrate mitigation of the mentioned drawbacks where the other methods fail.


title: Continuous Coherent Quantum Feedback with Time Delays: Tensor Network Solution

abstract: In this paper we develop a novel method to solve problems involving quantum optical systems coupled to coherent quantum feedback loops featuring time delays. Our method is based on exact mappings of such non-Markovian problems to equivalent Markovian driven dissipative quantum many-body problems. In this work we show that the resulting Markovian quantum many-body problems can be solved (numerically) exactly and efficiently using tensor network methods for a series of paradigmatic examples, consisting of driven quantum systems coupled to waveguides at several distant points. In particular, we show that our method allows solving problems in so far inaccessible regimes, including problems with arbitrary long time delays and arbitrary numbers of excitations in the delay lines. We obtain solutions for the full real-time dynamics as well as the steady state in all these regimes. Finally, motivated by our results, we develop a novel mean-field approach, which allows us to find the solution semi-analytically and identify parameter regimes where this approximation is in excellent agreement with our exact tensor network results.


title: Soliton confinement in the double sine-Gordon model

abstract: The double sine-Gordon field theory in the weak confinement regime is studied. It represents the small non-integrable deformation of the standard sine-Gordon model caused by the cosine perturbation with the frequency reduced by the factor of 2. This perturbation leads to the confinement of the sine-Gordon solitons, which become coupled into the 'meson' bound states. We classify the meson states in the weak confinement regime, and obtain three asymptotic expansions for their masses, which can be used in different regions of the model parameters. It is shown, that the sine-Gordon breathers, slightly deformed by the perturbation term, transform into the mesons upon increase of the sine-Gordon coupling constant.


title: Dynamics of stress propagation in anharmonic crystals: MD simulations

abstract: Anharmonic inter-atomic potential x to power of n, n>1, has been used in molecular dynamics (MD) simulations of stress dynamics of FCC oriented crystal. The model of the chain of masses and springs is found as a convenient and accurate description of simulation results, with masses representing the crystallographic planes. The dynamics of oscillations of two planes is found analytically to be given by Euler beta functions, and its scaling with non-linearity parameter and amplitude of oscillations, or applied shear pressure is discussed on examples of time dependencies of displacements, velocities, and forces acting on masses (planes). The dynamics of stress penetration from the surface of the sample with multiply-planes (an anharmonic crystal) towards its interior is confirmed to be given exactly as a series of Bessel functions, when n=2 (Schrodinger and Pater solutions). When n<>2 the stress dynamics (wave propagation) in bulk material remains qualitatively of the same nature as in the linear case. In particular, results suggest that the quasi-linear relationship between frequency and wave number is preserved. Speed of the transverse sound component, dependent on sound wave amplitude, is found to be a strongly decreasing function of n. The results are useful in the analysis of any MD simulations under pressure, as they help to understand the dynamics of pressure retarded effects, as well help design the proper methodology of performing MD simulations, such as studies of dynamics of dislocations.


title: Weak expansion properties and a large deviation principle for coarse expanding conformal systems

abstract: Coarse expanding conformal systems were introduced by P. Ha\"issinsky and K. M. Pilgrim to study the essential dynamical properties of certain rational maps on the Riemann sphere in complex dynamics from the point of view of Sullivan's dictionary. In this paper, we prove that for a metric coarse expanding conformal system $f\colon(\mathfrak{X}_1,X)\rightarrow (\mathfrak{X}_0,X)$ with repellor $X$, the map $f|_X\colon X\rightarrow X$ is asymptotically $h$-expansive. Moreover, we show that $f|_X$ is not $h$-expansive if there exists at least one branch point in the repellor. As a consequence of asymptotic $h$-expansiveness, for $f|_X$ and each real-valued continuous potential on $X$, there exists at least one equilibrium state. For such maps, if some additional assumptions are satisfied, we can furthermore establish a level-$2$ large deviation principle for iterated preimages, followed by an equidistribution result.


title: What Large Language Models Bring to Text-rich VQA?

abstract: Text-rich VQA, namely Visual Question Answering based on text recognition in the images, is a cross-modal task that requires both image comprehension and text recognition. In this work, we focus on investigating the advantages and bottlenecks of LLM-based approaches in addressing this problem. To address the above concern, we separate the vision and language modules, where we leverage external OCR models to recognize texts in the image and Large Language Models (LLMs) to answer the question given texts. The whole framework is training-free benefiting from the in-context ability of LLMs. This pipeline achieved superior performance compared to the majority of existing Multimodal Large Language Models (MLLM) on four text-rich VQA datasets. Besides, based on the ablation study, we find that LLM brings stronger comprehension ability and may introduce helpful knowledge for the VQA problem. The bottleneck for LLM to address text-rich VQA problems may primarily lie in visual part. We also combine the OCR module with MLLMs and pleasantly find that the combination of OCR module with MLLM also works. It's worth noting that not all MLLMs can comprehend the OCR information, which provides insights into how to train an MLLM that preserves the abilities of LLM.


title: Drops on polymer brushes -- advances in thin-film modelling of adaptive substrates

abstract: We briefly review recent advances in the hydrodynamic modeling of the dynamics of droplets on adaptive substrates, in particular, solids that are covered by polymer brushes. Thereby, the focus are long-wave and full-curvature variants of mesoscopic hydrodynamic models in gradient dynamics form. After introducing the approach for films/drops of nonvolatile simple liquids on rigid smooth solid substrate, it is first expanded to an arbitrary number of coupled degrees of freedom, before considering the specific case of drops of volatile liquids on brush-covered solids. After presenting the model its usage is illustrated by briefly considering the natural and forced spreading of drops of nonvolatile liquids on a horizontal brush-covered substrate as well as drops sliding down a brush-covered incline. Finally, also volatile liquids are considered.


title: Graded Betti numbers of a hyperedge ideal associated to join of graphs

abstract: Let $G$ be a finite simple graph on the vertex set $V(G)$ and let $r$ be a positive integer. We consider the hypergraph $\mathrm{Con}_r(G)$ whose vertices are the vertices of $G$ and the (hyper)edges are all $A\subseteq V(G)$ such that $|A|=r+1$ and the induced subgraph $G[A]$ is connected. The (hyper)edge ideal $I_r(G)$ of $\mathrm{Con}_r(G)$ is also the Stanley-Reisner ideal of a generalisation of the independence complex of $G$, called the $r$-independence complex $\mathrm{Ind}_r(G)$. In this article we make extensive use of the Mayer-Vietoris sequence to find the graded Betti numbers of $I_r(G_1*G_2)$ in terms of the graded Betti numbers of $I_r(G_1)$ and $I_r(G_2)$, where $G_1*G_2$ is the join of $G_1$ and $G_2$. Moreover, we find formulas for all the graded Betti numbers of $I_r(G)$, when $G$ is a complete graph, complete multipartite graph, cycle graph and the wheel graph.


title: Non-singular extensions of circle-valued Morse functions

abstract: In this paper, we consider the non-singular extension problem of circle-valued Morse functions on closed orientable surfaces. The problem is when can a submersion from a collaring of a closed orientable surface to a circle, which is a circle-valued Morse function on the boundary, be extended to a submersion from a 3-dimensional manifold to a circle. We provide necessary and sufficient conditions for the existence of a non-singular extension of a circle-valued Morse function as the main theorem. After that, we consider a special case that the surface is a torus as one application of the theorem.


title: Dynamic Optimization on Quantum Hardware: Feasibility for a Process Industry Use Case

abstract: The quest for real-time dynamic optimization solutions in the process industry represents a formidable computational challenge, particularly within the realm of applications like model-predictive control, where rapid and reliable computations are critical. Conventional methods can struggle to surmount the complexities of such tasks. Quantum computing and quantum annealing emerge as \textit{avant-garde} contenders to transcend conventional computational constraints. We convert a dynamic optimization problem, {characterized by an optimization problem with a system of differential-algebraic equations embedded}, into a Quadratic Unconstrained Binary Optimization problem, enabling quantum computational approaches. The empirical findings synthesized from classical methods, simulated annealing, quantum annealing via D-Wave's quantum annealer, and hybrid solver methodologies, illuminate the intricate landscape of computational prowess essential for tackling complex and high-dimensional dynamic optimization problems. Our findings suggest that while quantum annealing is a maturing technology that currently does not outperform state-of-the-art classical solvers, continuous improvements could eventually aid in increasing efficiency within the chemical process industry.


title: Do large language models and humans have similar behaviors in causal inference with script knowledge?

abstract: Recently, large pre-trained language models (LLMs) have demonstrated superior language understanding abilities, including zero-shot causal reasoning. However, it is unclear to what extent their capabilities are similar to human ones. We here study the processing of an event $B$ in a script-based story, which causally depends on a previous event $A$. In our manipulation, event $A$ is stated, negated, or omitted in an earlier section of the text. We first conducted a self-paced reading experiment, which showed that humans exhibit significantly longer reading times when causal conflicts exist ($\neg A \rightarrow B$) than under logical conditions ($A \rightarrow B$). However, reading times remain similar when cause A is not explicitly mentioned, indicating that humans can easily infer event B from their script knowledge. We then tested a variety of LLMs on the same data to check to what extent the models replicate human behavior. Our experiments show that 1) only recent LLMs, like GPT-3 or Vicuna, correlate with human behavior in the $\neg A \rightarrow B$ condition. 2) Despite this correlation, all models still fail to predict that $nil \rightarrow B$ is less surprising than $\neg A \rightarrow B$, indicating that LLMs still have difficulties integrating script knowledge. Our code and collected data set are available at https://github.com/tony-hong/causal-script.


title: C-Procgen: Empowering Procgen with Controllable Contexts

abstract: We present C-Procgen, an enhanced suite of environments on top of the Procgen benchmark. C-Procgen provides access to over 200 unique game contexts across 16 games. It allows for detailed configuration of environments, ranging from game mechanics to agent attributes. This makes the procedural generation process, previously a black-box in Procgen, more transparent and adaptable for various research needs.The upgrade enhances dynamic context management and individualized assignments, while maintaining computational efficiency. C-Procgen's controllable contexts make it applicable in diverse reinforcement learning research areas, such as learning dynamics analysis, curriculum learning, and transfer learning. We believe that C-Procgen will fill a gap in the current literature and offer a valuable toolkit for future works.


title: Fibroblast mediated dynamics in diffusively uncoupled myocytes -- a simulation study using 2-cell motifs

abstract: In healthy hearts myocytes are typically coupled to nearest neighbours through gap junctions. Under pathological conditions such as fibrosis, or in scar tissue, or across ablation lines myocytes can uncouple from their neighbours. Electrical conduction may still occur via fibroblasts that not only couple proximal myocytes but can also couple otherwise unconnected regions. We hypothesise that such coupling can alter conduction between myocytes via introduction of delays or by initiation of premature stimuli that can potentially result in reentry or conduction blocks. To test this hypothesis we have developed several $2$-cell motifs and investigated the effect of fibroblast mediated electrical coupling between uncoupled myocytes. We have identified various regimes of myocyte behaviour that depend on the strength of gap-junctional conductance, connection topology, and parameters of the myocyte and fibroblast models. These motifs are useful in developing a mechanistic understanding of long-distance coupling on myocyte dynamics and enable the characterisation of interaction between different features such as myocyte and fibroblast properties, coupling strengths and pacing period. They are computationally inexpensive and allow for incorporation of spatial effects such as conduction velocity. They provide a framework for constructing scar tissue boundaries and enable linking of cellular level interactions with scar induced arrhythmia.


title: Semi-automatic Data Enhancement for Document-Level Relation Extraction with Distant Supervision from Large Language Models

abstract: Document-level Relation Extraction (DocRE), which aims to extract relations from a long context, is a critical challenge in achieving fine-grained structural comprehension and generating interpretable document representations. Inspired by recent advances in in-context learning capabilities emergent from large language models (LLMs), such as ChatGPT, we aim to design an automated annotation method for DocRE with minimum human effort. Unfortunately, vanilla in-context learning is infeasible for document-level relation extraction due to the plenty of predefined fine-grained relation types and the uncontrolled generations of LLMs. To tackle this issue, we propose a method integrating a large language model (LLM) and a natural language inference (NLI) module to generate relation triples, thereby augmenting document-level relation datasets. We demonstrate the effectiveness of our approach by introducing an enhanced dataset known as DocGNRE, which excels in re-annotating numerous long-tail relation types. We are confident that our method holds the potential for broader applications in domain-specific relation type definitions and offers tangible benefits in advancing generalized language semantic comprehension.


title: An introduction to reinforcement learning for neuroscience

abstract: Reinforcement learning has a rich history in neuroscience, from early work on dopamine as a reward prediction error signal for temporal difference learning (Schultz et al., 1997) to recent work suggesting that dopamine could implement a form of 'distributional reinforcement learning' popularized in deep learning (Dabney et al., 2020). Throughout this literature, there has been a tight link between theoretical advances in reinforcement learning and neuroscientific experiments and findings. As a result, the theories describing our experimental data have become increasingly complex and difficult to navigate. In this review, we cover the basic theory underlying classical work in reinforcement learning and build up to an introductory overview of methods used in modern deep reinforcement learning that have found applications in systems neuroscience. We start with an overview of the reinforcement learning problem and classical temporal difference algorithms, followed by a discussion of 'model-free' and 'model-based' reinforcement learning together with methods such as DYNA and successor representations that fall in between these two categories. Throughout these sections, we highlight the close parallels between the machine learning methods and related work in both experimental and theoretical neuroscience. We then provide an introduction to deep reinforcement learning with examples of how these methods have been used to model different learning phenomena in the systems neuroscience literature, such as meta-reinforcement learning (Wang et al., 2018) and distributional reinforcement learning (Dabney et al., 2020). Code that implements the methods discussed in this work and generates the figures is also provided.


title: Role of crystal-field-splitting and longe-range-hoppings on superconducting pairing symmetry of La$_3$Ni$_2$O$_7$

abstract: We study the bilayer two-orbital model for superconducting pairing symmetry of La$_3$Ni$_2$O$_7$ under pressure. By combining density-functional-theory (DFT), maximally-localized-Wannier-function, and linearized Eliashberg equation with random-phase-approximation, we find that the superconducting pairing symmetry of La$_3$Ni$_2$O$_7$ is robustly $d_{xy}$ if its DFT band structure is accurately reproduced in the downfolded model. We further show that fine-tuning of crystal-field-splitting between two Ni-$e_g$ orbitals qualitatively affects superconducting pairing symmetry of the bilayer two-orbital model, which changes from $d_{xy}$ to $s_{\pm}$ as the crystal-field-splitting exceeds a critical value. When the model only includes nearest-neighbor and second-nearest-neighbor hoppings, the crystal-field-splitting obtained by fitting to the DFT band structure is larger than the critical value and thus leads to $s_{\pm}$ superconducting pairing symmetry. When all nonzero long-range-hoppings are also included in the model, the fitted crystal-field-splitting is reduced and smaller than the critical value, which makes $d_{xy}$ superconducting pairing symmetry more favorable than $s_{\pm}$ symmetry. Our work demonstrates that in downfolded effective models, the details of band structure can play a crucial role in determining pairing symmetry in multi-orbital unconventional superconductors (such as La$_3$Ni$_2$O$_7$).


title: Singular del Pezzo surfaces over finite fields

abstract: If $X$ is a singular del Pezzo surface of degree $d$ over a finite field $\mathbb{F}_{q}$ with only rational double point singularities, does there always exist a smooth $\mathbb{F}_{q}$-point on $X$? We show that this is true for $d\geq 3$ and give counterexamples in the case of $d=2$.


title: Detector development for the CRESST experiment

abstract: Recently low-mass dark matter direct searches have been hindered by a low energy background, drastically reducing the physics reach of the experiments. In the CRESST-III experiment, this signal is characterised by a significant increase of events below 200 eV. As the origin of this background is still unknown, it became necessary to develop new detector designs to reach a better understanding of the observations. Within the CRESST collaboration, three new different detector layouts have been developed and they are presented in this contribution.


title: Banach-Saks Theorem for $L^1$ revisited

abstract: The Banach-Saks property is an important tool in analysis with applications ranging from partial differential equations (PDEs) to calculus of variations and probability theory. We survey the Banach-Saks property for $L^p$-spaces, with a particular emphasis on the case where $p=1$. In other words, we revisit the celebrated result by W. Szlenk (1965) in a more general context, demonstrating that $L^1$-spaces possess the weak Banach-Saks property.


title: Model structures on operads and algebras from a global perspective

abstract: This paper studies the homotopy theory of the Grothendieck construction using model categories and semi-model categories, provides a unifying framework for the homotopy theory of operads and their algebras and modules, and uses this framework to produce model structures, rectification results, and properness results in new settings. In contrast to previous authors, we begin with a global (semi-)model structure on the Grothendieck and induce (semi-)model structures on the base and fibers. In a companion paper, we show how to produce such global model structures in general settings. Applications include numerous flavors of operads encoded by polynomial monads and substitudes (symmetric, non-symmetric, cyclic, modular, higher operads, dioperads, properads, and PROPs), (commutative) monoids and their modules, and twisted modular operads. We also prove a general result for upgrading a semi-model structure to a full model structure.


title: Connecting the Dots: Graph Neural Network Powered Ensemble and Classification of Medical Images

abstract: Deep learning models have demonstrated remarkable results for various computer vision tasks, including the realm of medical imaging. However, their application in the medical domain is limited due to the requirement for large amounts of training data, which can be both challenging and expensive to obtain. To mitigate this, pre-trained models have been fine-tuned on domain-specific data, but such an approach can suffer from inductive biases. Furthermore, deep learning models struggle to learn the relationship between spatially distant features and their importance, as convolution operations treat all pixels equally. Pioneering a novel solution to this challenge, we employ the Image Foresting Transform to optimally segment images into superpixels. These superpixels are subsequently transformed into graph-structured data, enabling the proficient extraction of features and modeling of relationships using Graph Neural Networks (GNNs). Our method harnesses an ensemble of three distinct GNN architectures to boost its robustness. In our evaluations targeting pneumonia classification, our methodology surpassed prevailing Deep Neural Networks (DNNs) in performance, all while drastically cutting down on the parameter count. This not only trims down the expenses tied to data but also accelerates training and minimizes bias. Consequently, our proposition offers a sturdy, economically viable, and scalable strategy for medical image classification, significantly diminishing dependency on extensive training data sets.


title: Quasi-tame substitudes and the Grothendieck construction

abstract: This paper continues the study of the homotopy theory of algebras over polynomial monads initiated by the first author and Clemens Berger. We introduce the notion of a quasi-tame polynomial monad (generalizing tame ones) and produce transferred model structures (left proper in many settings) on algebras over such a monad. Our motivating application is to produce model structures on Grothendieck categories, which are used in a companion paper to give a unified approach to the study of operads, their algebras, and their modules. We prove a general result regarding when a Grothendieck construction can be realized as a category of algebras over a polynomial monad, examples illustrating that quasi-tameness is necessary as well as sufficient for admissibility, and an extension of classifier methods to a non-polynomial situation, namely the case of commutative monoids.


title: A Voting Approach for Explainable Classification with Rule Learning

abstract: State-of-the-art results in typical classification tasks are mostly achieved by unexplainable machine learning methods, like deep neural networks, for instance. Contrarily, in this paper, we investigate the application of rule learning methods in such a context. Thus, classifications become based on comprehensible (first-order) rules, explaining the predictions made. In general, however, rule-based classifications are less accurate than state-of-the-art results (often significantly). As main contribution, we introduce a voting approach combining both worlds, aiming to achieve comparable results as (unexplainable) state-of-the-art methods, while still providing explanations in the form of deterministic rules. Considering a variety of benchmark data sets including a use case of significant interest to insurance industries, we prove that our approach not only clearly outperforms ordinary rule learning methods, but also yields results on a par with state-of-the-art outcomes.


title: DAGC: Data-Volume-Aware Adaptive Sparsification Gradient Compression for Distributed Machine Learning in Mobile Computing

abstract: Distributed machine learning (DML) in mobile environments faces significant communication bottlenecks. Gradient compression has emerged as an effective solution to this issue, offering substantial benefits in environments with limited bandwidth and metered data. Yet, they encounter severe performance drop in non-IID environments due to a one-size-fits-all compression approach, which does not account for the varying data volumes across workers. Assigning varying compression ratios to workers with distinct data distributions and volumes is thus a promising solution. This study introduces an analysis of distributed SGD with non-uniform compression, which reveals that the convergence rate (indicative of the iterations needed to achieve a certain accuracy) is influenced by compression ratios applied to workers with differing volumes. Accordingly, we frame relative compression ratio assignment as an $n$-variables chi-square nonlinear optimization problem, constrained by a fixed and limited communication budget. We propose DAGC-R, which assigns the worker handling larger data volumes the conservative compression. Recognizing the computational limitations of mobile devices, we DAGC-A, which are computationally less demanding and enhances the robustness of the absolute gradient compressor in non-IID scenarios. Our experiments confirm that both the DAGC-A and DAGC-R can achieve better performance when dealing with highly imbalanced data volume distribution and restricted communication.


title: Expressing an integer as a sum of cubes of polynomials

abstract: In this paper we prove that there exist infinitely many integers which can be expressed as a sum of four cubes of polynomials with integer coefficients. We give several identities that express the integers 1 and 2 as a sum of four cubes of polynomials. We also show that every integer can be expressed as a sum of five cubes of polynomials with integer coefficients.


title: MetaSymNet: A Dynamic Symbolic Regression Network Capable of Evolving into Arbitrary Formulations

abstract: Mathematical formulas serve as the means of communication between humans and nature, encapsulating the operational laws governing natural phenomena. The concise formulation of these laws is a crucial objective in scientific research and an important challenge for artificial intelligence (AI). While traditional artificial neural networks (MLP) excel at data fitting, they often yield uninterpretable black box results that hinder our understanding of the relationship between variables x and predicted values y. Moreover, the fixed network architecture in MLP often gives rise to redundancy in both network structure and parameters. To address these issues, we propose MetaSymNet, a novel neural network that dynamically adjusts its structure in real-time, allowing for both expansion and contraction. This adaptive network employs the PANGU meta function as its activation function, which is a unique type capable of evolving into various basic functions during training to compose mathematical formulas tailored to specific needs. We then evolve the neural network into a concise, interpretable mathematical expression. To evaluate MetaSymNet's performance, we compare it with four state-of-the-art symbolic regression algorithms across more than 10 public datasets comprising 222 formulas. Our experimental results demonstrate that our algorithm outperforms others consistently regardless of noise presence or absence. Furthermore, we assess MetaSymNet against MLP and SVM regarding their fitting ability and extrapolation capability, these are two essential aspects of machine learning algorithms. The findings reveal that our algorithm excels in both areas. Finally, we compared MetaSymNet with MLP using iterative pruning in network structure complexity. The results show that MetaSymNet's network structure complexity is obviously less than MLP under the same goodness of fit.


title: Generation of ultrashort light pulses carrying orbital angular momentum using a vortex plate retarder-based approach

abstract: We use a vortex retarder-based approach to generate few optical cycles light pulses carrying orbital angular momentum (known also as twisted light or optical vortex) from a Yb:KGW oscillator pumping a noncollinear optical parametric amplifier generating sub-10 fs linearly polarized light pulses in the near infrared spectral range (central wavelength 850 nm). We characterize such vortices both spatially and temporally by using astigmatic imaging technique and second harmonic generation-based frequency resolved optical gating, respectively. The generation of optical vortices is analyzed, and its structure reconstructed by estimating the spatio-spectral field and Fourier transforming it into the temporal domain. As a proof of concept, we show that we can also generate sub-20 fs light pulses carrying orbital angular momentum and with arbitrary polarization on the first-order Poincar\'e sphere.


title: Factorization structures, cones, and polytopes

abstract: Factorization structures occur in toric differential and discrete geometry, and can be viewed in multiple ways, e.g., as objects determining substantial classes of explicit toric Sasaki and K\"ahler geometries, as special coordinates on such, or as an apex generalisation of cyclic polytopes featuring a generalised Gale's evenness condition. This article presents a comprehensive study of factorization structures. It establishes their structure theory and introduces their use in the geometry of cones and polytopes. The article explains the construction of polytopes and cones compatible with a given factorization structure, and exemplifies it for product Segre-Veronese and Veronese factorization structures, where the latter case includes cyclic polytopes. Further, it derives the generalised Gale's evenness condition for compatible cones, polytopes and their duals, and explicitly describes faces of these. Factorization structures naturally provide generalised Vandermonde identities, which relate normals of any compatible polytope, and which are used for Veronese factorization structure to find examples of Delzant and rational Delzant compatible polytopes. The article offers a myriad of factorization structure examples, which are later characterised to be precisely factorization structures with decomposable curves, and raises the question if these encompass all factorization structures, i.e., the existence of an indecomposable factorization curve.


title: When Distributed Consensus Meets Wireless Connected Autonomous Systems: A Review and A DAG-based Approach

abstract: The connected and autonomous systems (CAS) and auto-driving era is coming into our life. To support CAS applications such as AI-driven decision-making and blockchain-based smart data management platform, data and message exchange/dissemination is a fundamental element. The distributed message broadcast and forward protocols in CAS, such as vehicular ad hoc networks (VANET), can suffer from significant message loss and uncertain transmission delay, and faulty nodes might disseminate fake messages to confuse the network. Therefore, the consensus mechanism is essential in CAS with distributed structure to guaranteed correct nodes agree on the same parameter and reach consistency. However, due to the wireless nature of CAS, traditional consensus cannot be directly deployed. This article reviews several existing consensus mechanisms, including average/maximum/minimum estimation consensus mechanisms that apply on quantity, Byzantine fault tolerance consensus for request, state machine replication (SMR) and blockchain, as well as their implementations in CAS. To deploy wireless-adapted consensus, we propose a Directed Acyclic Graph (DAG)-based message structure to build a non-equivocation data dissemination protocol for CAS, which has resilience against message loss and unpredictable forwarding latency. Finally, we enhance this protocol by developing a two-dimension DAG-based strategy to achieve partial order for blockchain and total order for the distributed service model SMR.


title: Status update: $\pi^0\to \gamma^\ast \gamma^\ast$ transition form factor on CLS ensembles

abstract: In this report we present the status of the Mainz group's lattice QCD calculation of the pion transition form factor, which describes the interaction of an on-shell pion with two off-shell photons. This form factor is the main ingredient in the calculation of the pion-pole contribution to hadronic light-by-light scattering in the muon $g-2$. We use the $N_f = 2 + 1$ CLS gauge ensembles, and we update our previous work by including a physical pion mass ensemble (E250). We compute the transition form factor in a moving frame as well as in the pion rest frame in order to have access to a wider range of photon virtualities. In addition to the quark-line connected correlator we also compute the quark-line disconnected diagrams that contribute to the form factor. At the final stage of the analysis, the result on E250 will be combined with the previous work published in 2019 to extrapolate the form factor to the continuum and to physical quark masses.


title: Geometric Tracking Control of a Multi-rotor UAV for Partially Known Trajectories

abstract: This paper presents a trajectory-tracking controller for multi-rotor unmanned aerial vehicles (UAVs) in scenarios where only the desired position and heading are known without the higher-order derivatives. The proposed solution modifies the state-of-the-art geometric controller, effectively addressing challenges related to the non-existence of the desired attitude and ensuring positive total thrust input for all time. We tackle the additional challenge of the non-availability of the higher derivatives of the trajectory by introducing novel nonlinear filter structures. We formalize theoretically the effect of these filter structures on the system error dynamics. Subsequently, through a rigorous theoretical analysis, we demonstrate that the proposed controller leads to uniformly ultimately bounded system error dynamics.


title: Multi-wavelength observations of the lensed quasar PKS 1830$-$211 during the 2019 $\gamma$-ray flare

abstract: PKS 1830$-$211 is a $\gamma$-ray emitting, high-redshift (z $= 2.507 \pm 0.002$), lensed flat-spectrum radio quasar. During the period mid-February to mid-April 2019, this source underwent a series of strong $\gamma$-ray flares that were detected by both AGILE-GRID and Fermi-LAT, reaching a maximum $\gamma$-ray flux of $F_{\rm E>100 MeV}\approx 2.3\times10^{-5}$ ph cm$^{-2}$ s$^{-1}$. Here we report on a coordinated campaign from both on-ground (Medicina, OVRO, REM, SRT) and orbiting facilities (AGILE, Fermi, INTEGRAL, NuSTAR, Swift, Chandra), with the aim of investigating the multi-wavelength properties of PKS 1830$-$211 through nearly simultaneous observations presented here for the first time. We find a possible break in the radio spectra in different epochs above 15 GHz, and a clear maximum of the 15 GHz data approximately 110 days after the $\gamma$-ray main activity periods. The spectral energy distribution shows a very pronounced Compton dominance (> 200) which challenges the canonical one-component emission model. Therefore we propose that the cooled electrons of the first component are re-accelerated to a second component by, e.g., kink or tearing instability during the $\gamma$-ray flaring periods. We also note that PKS 1830$-$211 could be a promising candidate for future observations with both Compton satellites (e.g., e-ASTROGAM) and Cherenkov arrays (CTAO) which will help, thanks to their improved sensitivity, in extending the data availability in energy bands currently uncovered.


title: Large $N_c$ QCD phase diagram at $\mu_B = 0$

abstract: Lattice studies suggest that at zero baryon chemical potential and increasing temperature there are three characteristic regimes in QCD that are connected by smooth analytical crossovers: a hadron gas regime at T < T_ch ~ 155 MeV, an intermediate regime, called stringy fluid, at T_ch < T < ~ 3 T_ch, and a quark-gluon plasma regime at higher temperatures. These regimes have been interpreted to reflect different approximate symmetries and effective degrees of freedom. In the hadron gas the effective degrees of freedom are hadrons and the approximate chiral symmetry of QCD is spontaneously broken. The intermediate regime has been interpreted as lacking spontaneous chiral symmetry breaking along with the emergence of new approximate symmetry, chiral spin symmetry, that is not a symmetry of the Dirac Lagrangian, but is a symmetry of the confining part of the QCD Lagrangian. While the high temperature regime is the usual quark-gluon plasma which is often considered to reflect "deconfinement" in some way. This paper explores the behavior of these regimes of QCD as the number of colors in the theory, N_c, gets large. In the large N_c limit the theory is center-symmetric and notions of confinement and deconfinement are unambiguous. The energy density is O(N_c^0) in the meson gas, O(N_c^1) in the intermediate regime and O(N_c^2) in the quark-gluon plasma regime. In the large N_c limit these regimes may become distinct phases separated by first order phase transitions. The intermediate phase has the peculiar feature that glueballs should exist and have properties that are unchanged from what is seen in the vacuum (up to 1/N_c corrections), while the ordinary dilute gas of mesons with broken chiral symmetry disappears and approximate chiral spin symmetry should emerge.


title: The topology and isochronicity on complex Hamiltonian systems with homogeneous nonlinearities

abstract: In this paper, we study the Hamiltonian differential systems with a homogeneous nonlinearity part on $\mathbb{C}^2$. Firstly, we give a series of topological properties of the polynomial Hamiltonian function, especially the information on the singular points and the non-trivial cycles vanishing at infinity. Secondly, by using those topological properties, we successfully provide a complete set of the necessary and sufficient conditions of isochronous centers for such systems with any degree. Our method avoids tedious computation of the coefficients of normalization occurring in the usual tools to deal with the isochronicity problem.


title: Throughput Maximization in Multi-Band Optical Networks with Column Generation

abstract: Multi-band transmission is a promising technical direction for spectrum and capacity expansion of existing optical networks. Due to the increase in the number of usable wavelengths in multi-band optical networks, the complexity of resource allocation problems becomes a major concern. Moreover, the transmission performance, spectrum width, and cost constraint across optical bands may be heterogeneous. Assuming a worst-case transmission margin in U, L, and C-bands, this paper investigates the problem of throughput maximization in multi-band optical networks, including the optimization of route, wavelength, and band assignment. We propose a low-complexity decomposition approach based on Column Generation (CG) to address the scalability issue faced by traditional methodologies. We numerically compare the results obtained by our CG-based approach to an integer linear programming model, confirming the near-optimal network throughput. Our results also demonstrate the scalability of the CG-based approach when the number of wavelengths increases, with the computation time in the magnitude order of 10 s for cases varying from 75 to 1200 wavelength channels per link in a 14-node network. Code of this publication is available at github.com/cchen000/CG-Multi-Band.


title: Synchronization and oscillation quenching in interacting metronomes on a movable platform: simple model and bifurcation analysis

abstract: Various oscillatory phenomena occur in the world. Because some oscillations are related to abnormal states (e.g., particular diseases), establishing state-transition methods from an oscillatory to a resting state is important. In this study, we construct a simple metronome model and analyze the oscillation-quenching phenomenon of metronomes on a platform as an example of such state transitions. Although numerous studies were conducted on the metronome dynamics, most of them focused on the synchronization, and few studies treated the oscillation quenching because of the difficulty in analysis. To facilitate the analysis, we model a metronome as a linear spring pendulum with an impulsive force (escapement mechanism) described by a fifth-order polynomial. By performing an averaging approximation, we obtain a phase diagram for the in-phase synchronization, anti-phase synchronization, and oscillation quenching. We also numerically integrate the equation of motion and confirm the agreement between the analytical and numerical results. Despite the simplicity, our model successfully reproduces essential phenomena in interacting mechanical clocks, such as the bistability of in-phase and anti-phase synchrony and oscillation quenching occurring for a large mass ratio between the oscillator and the platform. We believe that our simple model will contribute to future analyses of other dynamics observed in metronomes.


title: Gate-Compatible Circuit Quantum Electrodynamics in a Three-Dimensional Cavity Architecture

abstract: Semiconductor-based superconducting qubits offer a versatile platform for studying hybrid quantum devices in circuit quantum electrodynamics (cQED) architecture. Most of these cQED experiments utilize coplanar waveguides, where the incorporation of DC gate lines is straightforward. Here, we present a technique for probing gate-tunable hybrid devices using a three-dimensional (3D) microwave cavity. A recess is machined inside the cavity wall for the placement of devices and gate lines. We validate this design using a hybrid device based on an InAs-Al nanowire Josephson junction. The coupling between the device and the cavity is facilitated by a long superconducting strip, the antenna. The Josephson junction and the antenna together form a gatemon qubit. We further demonstrate the gate-tunable cavity shift and two-tone qubit spectroscopy. This technique could be used to probe various quantum devices and materials in a 3D cQED architecture that requires DC gate voltages.


title: A mathematical model of the visual MacKay effect

abstract: This paper investigates the intricate connection between visual perception and the mathematical modelling of neural activity in the primary visual cortex (V1). The focus is on modelling the visual MacKay effect [Mackay, Nature 1957]. While bifurcation theory has been a prominent mathematical approach for addressing issues in neuroscience, especially in describing spontaneous pattern formations in V1 due to parameter changes, it faces challenges in scenarios with localized sensory inputs. This is evident, for instance, in Mackay's psychophysical experiments, where the redundancy of visual stimuli information results in irregular shapes, making bifurcation theory and multi-scale analysis less effective. To address this, we follow a mathematical viewpoint based on the input-output controllability of an Amari-type neural fields model. In this framework, we consider sensory input as a control function, a cortical representation via the retino-cortical map of the visual stimulus that captures its distinct features. This includes highly localized information in the center of MacKay's funnel pattern "MacKay rays". From a control theory point of view, the Amari-type equation's exact controllability property is discussed for linear and nonlinear response functions. For the visual MacKay effect modelling, we adjust the parameter representing intra-neuron connectivity to ensure that cortical activity exponentially stabilizes to the stationary state in the absence of sensory input. Then, we perform quantitative and qualitative studies to demonstrate that they capture all the essential features of the induced after-image reported by MacKay.


title: Pseudo-Anosov autoquivalances arising from Symplectic topology and their hyperbolic actions on stability conditions

abstract: Within $N$-Calabi-Yau categories associated with quivers whose base graphs form trees, we delve into the study of the asymptotic behaviors of autoequivalences of a specific type. These autoequivalences, which we call "Penner type," exhibit straightforward asymptotic characteristics, making them noteworthy exemplars of "pseudo-Anosov" autoequivalences in the sense of \cite{Fan-Filip-Haiden-Katzarkov-Liu21}, and also in a stronger sense that we define in the present paper. In addition, we provide a practical methodology for calculating the stretching factors of Penner type autoequivalences. We expect that this computational approach can have applications. As an example, we establish a positive lower bound on the translation length of the induced action these autoequivalences have on the space of stability conditions. Our anticipation is that this lower bound is, in fact, exact. Notably, we have observed instances of Penner type $\Phi$ where the induced actions align precisely with this lower bound. In other words, these examples induce hyperbolic actions on the space of stability conditions.


title: Performance of a First Full-Size WOM-Based Liquid Scintillator Detector Cell as Prototype for the SHiP Surrounding Background Tagger

abstract: As a prototype detector for the SHiP Surrounding Background Tagger (SBT), we constructed a cell (120 cm x 80 cm x 25 cm) made from corten steel that is filled with liquid scintillator (LS) composed of linear alkylbenzene (LAB) and 2,5-diphenyloxazole (PPO). The detector is equipped with two Wavelength-shifting Optical Modules (WOMs) for light collection of the primary scintillation photons. Each WOM consists of an acrylic tube that is dip-coated with a wavelength-shifting layer on its surface. Via internal total reflection, the secondary photons emitted by the molecules of the wavelength shifter are guided to a ring-shaped array of 40 silicon photomultipliers (SiPMs) coupled to the WOM for light detection. The granularity of these SiPM arrays provides an innovative method to gain spatial information on the particle crossing point. Several improvements in the detector design significantly increased the light yield with respect to earlier proof-of-principle detectors. We report on the performance of this prototype detector during an exposure to high-energy positrons at the DESY II test beam facility by measuring the collected integrated yield and the signal time-of-arrival in each of the SiPM arrays. The resulting detection efficiency and reconstructed energy deposition of the incident positrons are presented, as well as the spatial and time resolution of the detector. These results are then compared to Monte Carlo simulations.


title: A KP-mKP Hierarchy via Operators with Two Derivations

abstract: By using pseudo-differential operators containing two derivations, we extend the Kadomtsev-Petviashvili (KP) hierarchy to a certain KP-mKP hierarchy. For the KP-mKP hierarchy, we obtain its B\"{a}cklund transformations, bilinear equations of Baker-Akhiezer functions and Hirota equations of tau functions. Moreover, we show that this hierarchy is equivalent to a subhierarchy of the dispersive Whitham hierarchy associated to the Riemann sphere with its infinity point and one movable point marked.


title: Birkhoff attractors of dissipative billiards

abstract: We study the dynamics of dissipative billiard maps within planar convex domains. Such maps have a global attractor. We are interested in the topological and dynamical complexity of the attractor, in terms both of the geometry of the billiard table and of the strength of the dissipation. We focus on the study of an invariant subset of the attractor, the so-called Birkhoff attractor. On the one hand, we show that for a generic convex table with "pinched" curvature, the Birkhoff attractor is a normally contracted manifold when the dissipation is strong. On the other hand, for a mild dissipation, we prove that generically the Birkhoff attractor is complicated, both from the topological and the dynamical point of view.


title: Fine-Tuning the Retrieval Mechanism for Tabular Deep Learning

abstract: While interests in tabular deep learning has significantly grown, conventional tree-based models still outperform deep learning methods. To narrow this performance gap, we explore the innovative retrieval mechanism, a methodology that allows neural networks to refer to other data points while making predictions. Our experiments reveal that retrieval-based training, especially when fine-tuning the pretrained TabPFN model, notably surpasses existing methods. Moreover, the extensive pretraining plays a crucial role to enhance the performance of the model. These insights imply that blending the retrieval mechanism with pretraining and transfer learning schemes offers considerable potential for advancing the field of tabular deep learning.


title: Missing Value Imputation for Multi-attribute Sensor Data Streams via Message Propagation (Extended Version)

abstract: Sensor data streams occur widely in various real-time applications in the context of the Internet of Things (IoT). However, sensor data streams feature missing values due to factors such as sensor failures, communication errors, or depleted batteries. Missing values can compromise the quality of real-time analytics tasks and downstream applications. Existing imputation methods either make strong assumptions about streams or have low efficiency. In this study, we aim to accurately and efficiently impute missing values in data streams that satisfy only general characteristics in order to benefit real-time applications more widely. First, we propose a message propagation imputation network (MPIN) that is able to recover the missing values of data instances in a time window. We give a theoretical analysis of why MPIN is effective. Second, we present a continuous imputation framework that consists of data update and model update mechanisms to enable MPIN to perform continuous imputation both effectively and efficiently. Extensive experiments on multiple real datasets show that MPIN can outperform the existing data imputers by wide margins and that the continuous imputation framework is efficient and accurate.


title: Zero-Shot Duet Singing Voices Separation with Diffusion Models

abstract: In recent studies, diffusion models have shown promise as priors for solving audio inverse problems. These models allow us to sample from the posterior distribution of a target signal given an observed signal by manipulating the diffusion process. However, when separating audio sources of the same type, such as duet singing voices, the prior learned by the diffusion process may not be sufficient to maintain the consistency of the source identity in the separated audio. For example, the singer may change from one to another occasionally. Tackling this problem will be useful for separating sources in a choir, or a mixture of multiple instruments with similar timbre, without acquiring large amounts of paired data. In this paper, we examine this problem in the context of duet singing voices separation, and propose a method to enforce the coherency of singer identity by splitting the mixture into overlapping segments and performing posterior sampling in an auto-regressive manner, conditioning on the previous segment. We evaluate the proposed method on the MedleyVox dataset and show that the proposed method outperforms the naive posterior sampling baseline. Our source code and the pre-trained model are publicly available at https://github.com/yoyololicon/duet-svs-diffusion.


title: Goal-oriented Estimation of Multiple Markov Sources in Resource-constrained Systems

abstract: This paper investigates goal-oriented communication for remote estimation of multiple Markov sources in resource-constrained networks. An agent decides the updating times of the sources and transmits the packet to a remote destination over an unreliable channel with delay. The destination is tasked with source reconstruction for actuation. We utilize the metric \textit{cost of actuation error} (CAE) to capture the state-dependent actuation costs. We aim for a sampling policy that minimizes the long-term average CAE subject to an average resource constraint. We formulate this problem as an average-cost constrained Markov Decision Process (CMDP) and relax it into an unconstrained problem by utilizing \textit{Lyapunov drift} techniques. Then, we propose a low-complexity \textit{drift-plus-penalty} (DPP) policy for systems with known source/channel statistics and a Lyapunov optimization-based deep reinforcement learning (LO-DRL) policy for unknown environments. Our policies significantly reduce the number of uninformative transmissions by exploiting the timing of the important information.


title: General bubble expansion at strong coupling

abstract: The strongly coupled system like the quark-hadron transition (if it is of first order) is becoming an active play yard for the physics of cosmological first-order phase transitions. However, the traditional field theoretic approach to strongly coupled first-order phase transitions is of great challenge, driving recent efforts from holographic dual theories with explicit numerical simulations. These holographic numerical simulations have revealed an intriguing linear correlation between the phase pressure difference (pressure difference away from the wall) to the nonrelativistic terminal velocity of an expanding planar wall, which has been reproduced analytically alongside both cylindrical and spherical walls from perfect-fluid hydrodynamics in our previous study but only for a bag equation of state. We also found, in our previous study, a universal quadratic correlation between the wall pressure difference (pressure difference near the bubble wall) to the nonrelativistic terminal wall velocity regardless of wall geometries. In this paper, we will generalize these analytic relations between the phase/wall pressure difference and terminal wall velocity into a more realistic equation of state beyond the simple bag model, providing the most general predictions so far for future tests from holographic numerical simulations of strongly coupled first-order phase transitions


title: Deformable Groupwise Registration Using a Locally Low-Rank Dissimilarity Metric for Myocardial Strain Estimation from Cardiac Cine MRI Images

abstract: Objective: Cardiovascular magnetic resonance-feature tracking (CMR-FT) represents a group of methods for myocardial strain estimation from cardiac cine MRI images. Established CMR-FT methods are mainly based on optical flow or pairwise registration. However, these methods suffer from either inaccurate estimation of large motion or drift effect caused by accumulative tracking errors. In this work, we propose a deformable groupwise registration method using a locally low-rank (LLR) dissimilarity metric for CMR-FT. Methods: The proposed method (Groupwise-LLR) tracks the feature points by a groupwise registration-based two-step strategy. Unlike the globally low-rank (GLR) dissimilarity metric, the proposed LLR metric imposes low-rankness on local image patches rather than the whole image. We quantitatively compared Groupwise-LLR with the Farneback optical flow, a pairwise registration method, and a GLR-based groupwise registration method on simulated and in vivo datasets. Results: Results from the simulated dataset showed that Groupwise-LLR achieved more accurate tracking and strain estimation compared with the other methods. Results from the in vivo dataset showed that Groupwise-LLR achieved more accurate tracking and elimination of the drift effect in late-diastole. Inter-observer reproducibility of strain estimates was similar between all studied methods. Conclusion: The proposed method estimates myocardial strains more accurately due to the application of a groupwise registration-based tracking strategy and an LLR-based dissimilarity metric. Significance: The proposed CMR-FT method may facilitate more accurate estimation of myocardial strains, especially in diastole, for clinical assessments of cardiac dysfunction.


title: Vehicle-to-grid for car sharing -- A simulation study for 2030

abstract: The proliferation of car sharing services in recent years presents a promising avenue for advancing sustainable transportation. Beyond merely reducing car ownership rates, these systems can play a pivotal role in bolstering grid stability through the provision of ancillary services via vehicle-to-grid (V2G) technologies - a facet that has received limited attention in previous research. In this study, we analyze the potential of V2G in car sharing by designing future scenarios for a national-scale service in Switzerland. We propose an agent-based simulation pipeline that considers population changes as well as different business strategies of the car sharing service, and we demonstrate its successful application for simulating scenarios for 2030. To imitate car sharing user behavior, we develop a data-driven mode choice model. Our analysis reveals important differences in the examined scenarios, such as higher vehicle utilization rates for a reduced fleet size as well as in a scenario featuring new car sharing stations. These disparities translate into variations in the power flexibility of the fleet available for ancillary services, ranging from 12 to 50 MW, depending on the scenario and the time of the day. Furthermore, we conduct a case study involving a subset of the car sharing fleet, incorporating real-world electricity pricing data. The case study substantiates the existence of a sweet spot involving monetary gains for both power grid operators and fleet owners. Our findings provide guidelines to decision makers and underscore the pressing need for regulatory enhancements concerning power trading within the realm of car sharing.


title: Magnetoresistive detection of perpendicular switching in a magnetic insulator

abstract: Spintronics offers promising routes for efficient memory, logic, and computing technologies. The central challenge in spintronics is electrically manipulating and detecting magnetic states in devices. The electrical control of magnetization via spin-orbit torques is effective in both conducting and insulating magnetic layers. However, the electrical readout of magnetization in the latter is inherently difficult, limiting its use in practical applications. Here, we demonstrate magnetoresistive detection of perpendicular magnetization reversal in an electrically insulating ferrimagnet, terbium iron garnet (TbIG). To do so, we use TbIG|Cu|TbCo, where TbCo is a conducting ferrimagnet and serves as the reference layer, and Cu is a nonmagnetic spacer. Current injection through Cu|TbCo allows us to detect the magnetization reversal of TbIG with a simple resistance readout during an external magnetic field sweep. By examining the effect of measurement temperature, TbCo composition, and Cu thickness on the sign and amplitude of the magnetoresistance, we conclude that the spin-dependent electron scattering at the TbIG|Cu interface is the underlying cause. Technologically-feasible magnetoresistive detection of perpendicular switching in a ferrimagnetic garnet is a breakthrough, as it opens broad avenues for novel insulating spintronic devices and concepts.


title: Symplectic capacities of disc cotangent bundles of flat tori

abstract: We show that on the unit disc cotangent bundle of flat Riemannian tori, all normalized capacities coincide with twice the systole. The same result holds for flat, reversible Finsler tori and normalized capacities that are greater than or equal to the Hofer-Zehnder capacity.


title: Analytic Hardy fields

abstract: We show that maximal analytic Hardy fields are $\eta_1$ in the sense of Hausdorff. We also prove various embedding theorems about analytic Hardy fields. For example, the ordered differential field $\mathbb T$ of transseries is shown to be isomorphic to an analytic Hardy field.


title: Superconductivity in trilayer nickelate La$_4$Ni$_3$O$_{10}$ single crystals

abstract: The pursuit of discovering new high-temperature superconductors that diverge from the copper-based paradigm carries profound implications for elucidating mechanisms behind superconductivity and may also enable new applications. Here, our investigation reveals that application of pressure effectively suppresses the spin and charge order in trilayer nickelate La$_4$Ni$_3$O$_{10}$ single crystals, leading to the emergence of superconductivity with a maximum critical temperature (Tc) of around 30 K. In the normal state, we observe a "strange metal" behavior, characterized by a linear temperature-dependent resistance extending up to 300 K. These results could be interpreted as the pressure's influence, inducing damping on the density-wave gap and spin order, while promoting spin fluctuations and bringing the associated flat dz2 band into close proximity with the Fermi surface. This, in turn, fosters strong correlations and "strange metal" behavior, thus setting the stage for the eventual emergence of superconductivity. Furthermore, the layer-dependent superconductivity observed hints at a unique interlayer coupling mechanism specific to nickelates, setting them apart from cuprates in this regard. Our findings provide crucial insights into the fundamental mechanisms underpinning superconductivity, while also introducing a new material platform to explore the intricate interplay between the spin/charge order, flat band structures, interlayer coupling, strange metal behavior and high-temperature superconductivity.


title: Mid infrared near-field fingerprint spectroscopy of the 2D electron gas in LaAlO$_3$/SrTiO$_3$ at low temperatures

abstract: Confined electron systems, such as 2D electron gases (2DEGs), 2D materials, or topological insulators show great technological promise but their susceptibility to defects often results in nanoscale inhomogeneities with unclear origins. Scattering-type scanning near-field optical microscopy (s-SNOM) is useful to investigate buried confined electron systems non-destructively with nanoscale resolution, however, a clear separation of carrier concentration and mobility was often impossible in s-SNOM. Here, we predict a previously inaccessible characteristic "fingerprint" response of the prototypical LaAlO$_3$/SrTiO$_3$ 2DEG, and verify this using a state-of-the-art tunable narrow-band laser in mid-infrared cryo-s-SNOM at 8 K. Our modelling allows us to separate the influence of carrier concentration and mobility on fingerprint spectra and to characterize 2DEG inhomogeneities on the nanoscale. This spatially resolved information about the local electronic properties can be used to identify the origin of inhomogeneities in confined electron systems, making the s-SNOM fingerprint response a valuable tool for nanoelectronics and quantum technology.


title: ADAMM: Anomaly Detection of Attributed Multi-graphs with Metadata: A Unified Neural Network Approach

abstract: Given a complex graph database of node- and edge-attributed multi-graphs as well as associated metadata for each graph, how can we spot the anomalous instances? Many real-world problems can be cast as graph inference tasks where the graph representation could capture complex relational phenomena (e.g., transactions among financial accounts in a journal entry), along with metadata reflecting tabular features (e.g. approver, effective date, etc.). While numerous anomaly detectors based on Graph Neural Networks (GNNs) have been proposed, none are capable of directly handling directed graphs with multi-edges and self-loops. Furthermore, the simultaneous handling of relational and tabular features remains an unexplored area. In this work we propose ADAMM, a novel graph neural network model that handles directed multi-graphs, providing a unified end-to-end architecture that fuses metadata and graph-level representation learning through an unsupervised anomaly detection objective. Experiments on datasets from two different domains, namely, general-ledger journal entries from different firms (accounting) as well as human GPS trajectories from thousands of individuals (urban mobility) validate ADAMM's generality and detection effectiveness of expert-guided and ground-truth anomalies. Notably, ADAMM outperforms existing baselines that handle the two data modalities (graph and metadata) separately with post hoc synthesis efforts.


title: Sums of even powers of polynomials

abstract: We show that the higher Pythagoras numbers for the polynomial ring are infinite $p_{2s}(K[x_1,x_2,\dots,x_n])=\infty$ provided that $K$ is a real field, $n\geq2$ and $s\geq 1$. This almost fully solves an old question [16, Problem 8]. Moreover, we study in detail the cone of binary octics that are sums of fourth powers of quadratic forms. We determine its facial structure as well as its algebraic boundary. This can also be seen as sums of fourth powers of linear forms on the second Veronese of $\mathbb{P}^1$. As a result, we disprove a conjecture of Reznick [38, Conjecture 7.1].


title: Registered and Segmented Deformable Object Reconstruction from a Single View Point Cloud

abstract: In deformable object manipulation, we often want to interact with specific segments of an object that are only defined in non-deformed models of the object. We thus require a system that can recognize and locate these segments in sensor data of deformed real world objects. This is normally done using deformable object registration, which is problem specific and complex to tune. Recent methods utilize neural occupancy functions to improve deformable object registration by registering to an object reconstruction. Going one step further, we propose a system that in addition to reconstruction learns segmentation of the reconstructed object. As the resulting output already contains the information about the segments, we can skip the registration process. Tested on a variety of deformable objects in simulation and the real world, we demonstrate that our method learns to robustly find these segments. We also introduce a simple sampling algorithm to generate better training data for occupancy learning.


title: Limits of stochastic Volterra equations driven by Gaussian noise

abstract: We study stochastic Volterra equations in Hilbert spaces driven by cylindrical Gaussian noise. We derive a mild formulation for the stochastic Volterra equation, prove the equivalence of mild and strong solutions, the existence and uniqueness of mild solutions, and study space-time regularity. Furthermore, we establish the stability of mild solutions in $L^q(\R_+)$, prove the existence of limit distributions in the Wasserstein $p$-distance with $p \in [1,\infty)$, and characterise when these limit distributions are independent of the initial state of the process despite the presence of memory. While our techniques allow for a general class of Volterra kernels, they are particularly suited for completely monotone kernels and fractional Riemann-Liouville kernels in the full range $\alpha \in (0,2)$.


title: A simple electronic ladder model harboring $\mathbb{Z}_4$ parafermions

abstract: Parafermions are anyons with the potential for realizing non-local qubits that are resilient to local perturbations. Compared to Majorana zero modes, braiding of parafermions implements an extended set of topologically protected quantum gates. This, however, comes at the price that parafermionic zero modes can not be realized in the absence of strong interactions whose theoretical description is challenging. In the present work, we construct a simple lattice model for interacting spinful electrons with parafermionic zero energy modes. The explicit microscopic nature of the considered model highlights new realization avenues for these exotic excitations in recently fabricated quantum dot arrays. By density matrix renormalization group calculations, we identify a broad range of parameters, with well-localized zero modes, whose parafermionic nature is substantiated by their unique $8\pi$ periodic Josephson spectrum.


title: Algebroid functions on complex manifolds

abstract: We build a basic theory for algebroid functions on complex manifolds including several closely related topics such as uniformization problems, Nevanlinna theory, propagation of algebraic dependence and unicity problems, which is a development of the classical theory for algebroid functions on the complex plane. To the best of our knowledge, it is the first result for algebroid functions on a nontrivial complex manifold after H. Poincar\'e proposed the notion of algebroid functions.


title: The Impact of Large Language Models on Scientific Discovery: a Preliminary Study using GPT-4

abstract: In recent years, groundbreaking advancements in natural language processing have culminated in the emergence of powerful large language models (LLMs), which have showcased remarkable capabilities across a vast array of domains, including the understanding, generation, and translation of natural language, and even tasks that extend beyond language processing. In this report, we delve into the performance of LLMs within the context of scientific discovery, focusing on GPT-4, the state-of-the-art language model. Our investigation spans a diverse range of scientific areas encompassing drug discovery, biology, computational chemistry (density functional theory (DFT) and molecular dynamics (MD)), materials design, and partial differential equations (PDE). Evaluating GPT-4 on scientific tasks is crucial for uncovering its potential across various research domains, validating its domain-specific expertise, accelerating scientific progress, optimizing resource allocation, guiding future model development, and fostering interdisciplinary research. Our exploration methodology primarily consists of expert-driven case assessments, which offer qualitative insights into the model's comprehension of intricate scientific concepts and relationships, and occasionally benchmark testing, which quantitatively evaluates the model's capacity to solve well-defined domain-specific problems. Our preliminary exploration indicates that GPT-4 exhibits promising potential for a variety of scientific applications, demonstrating its aptitude for handling complex problem-solving and knowledge integration tasks. Broadly speaking, we evaluate GPT-4's knowledge base, scientific understanding, scientific numerical calculation abilities, and various scientific prediction capabilities.


title: Volcano: Mitigating Multimodal Hallucination through Self-Feedback Guided Revision

abstract: Large multimodal models suffer from multimodal hallucination, where they provide incorrect responses misaligned with the given visual information. Recent works have conjectured that one of the reasons behind multimodal hallucination is due to the vision encoder failing to ground on the image properly. To mitigate this issue, we propose a novel approach that leverages self-feedback as visual cues. Building on this approach, we introduce Volcano, a multimodal self-feedback guided revision model. Volcano generates natural language feedback to its initial response based on the provided visual information and utilizes this feedback to self-revise its initial response. Volcano effectively reduces multimodal hallucination and achieves state-of-the-art on MMHal-Bench, POPE, and GAVIE. It also improves on general multimodal abilities and outperforms previous models on MM-Vet and MMBench. Through qualitative analysis, we show that Volcano's feedback is properly grounded on the image than the initial response. This indicates that Volcano can provide itself with richer visual information through feedback generation, leading to self-correct hallucinations. We publicly release our model, data, and code at https://github.com/kaistAI/Volcano}{github.com/kaistAI/Volcano


title: Efficient bandwidth extension of musical signals using a differentiable harmonic plus noise model

abstract: The task of bandwidth extension addresses the generation of missing high frequencies of audio signals based on knowledge of the low-frequency part of the sound. This task applies to various problems, such as audio coding or audio restoration. In this article, we focus on efficient bandwidth extension of monophonic and polyphonic musical signals using a differentiable digital signal processing (DDSP) model. Such a model is composed of a neural network part with relatively few parameters trained to infer the parameters of a differentiable digital signal processing model, which efficiently generates the output full-band audio signal. We first address bandwidth extension of monophonic signals, and then propose two methods to explicitely handle polyphonic signals. The benefits of the proposed models are first demonstrated on monophonic and polyphonic synthetic data against a baseline and a deep-learning-based resnet model. The models are next evaluated on recorded monophonic and polyphonic data, for a wide variety of instruments and musical genres. We show that all proposed models surpass a higher complexity deep learning model for an objective metric computed in the frequency domain. A MUSHRA listening test confirms the superiority of the proposed approach in terms of perceptual quality.


title: Weak condition for the existence of control sets with a nonempty interior of linear control systems on nilpotent groups

abstract: In this paper, we show that for a linear control system on a nilpotent Lie group, the Lie algebra rank condition is enough to assure the existence of a control set with a nonempty interior, as soon as the set of singularities of the drift is compact. Moreover, this control set is unique and contains the singularities of the drift in its closure.


title: Coupling haze and cloud microphysics in WASP-39b's atmosphere based on JWST observations

abstract: We present a study on the coupling of haze and clouds in the atmosphere of WASP-39b. We developed a cloud microphysics model simulating the formation of Na2S and MgSiO3 condensates over photochemical hazes in gas giant atmospheres. We apply this model to WASP-39b, recently observed with the JWST to study how these heterogeneous components may affect the transit spectrum. We simulate both morning and evening terminators independently and average their transit spectra. While MgSiO3 formation has negligible impact on the spectrum, Na2S condensates produce gray opacities in the water band, in agreement with HST and JWST observations. Moreover, the formation of Na2S on the morning side depletes the atmosphere of its sodium content, decreasing the strength of the Na line. Combining morning and evening profiles results in a good fit of the Na observations. These nominal results assume a small Na2S/haze contact angle (5.7{\deg}). Using a larger value (61{\deg}) reduces the cloud density and opacity, but the effect on the Na profile and spectral line remains identical. In addition, the presence of haze in the upper atmosphere reproduces the UV-visible slope observed in the HST and VLT data and contributes to the opacity between the water bands at wavelengths below 2 microns. The averaged spectra are rather insensitive to the variation of eddy diffusion and haze mass flux tested in this study, though the UV-visible slope, probing the haze layer above the clouds, is affected. Finally, our disequilibrium chemistry model, including photochemistry, reproduces the SO2 and CO2 absorption features observed.


title: arfpy: A python package for density estimation and generative modeling with adversarial random forests

abstract: This paper introduces $\textit{arfpy}$, a python implementation of Adversarial Random Forests (ARF) (Watson et al., 2023), which is a lightweight procedure for synthesizing new data that resembles some given data. The software $\textit{arfpy}$ equips practitioners with straightforward functionalities for both density estimation and generative modeling. The method is particularly useful for tabular data and its competitive performance is demonstrated in previous literature. As a major advantage over the mostly deep learning based alternatives, $\textit{arfpy}$ combines the method's reduced requirements in tuning efforts and computational resources with a user-friendly python interface. This supplies audiences across scientific fields with software to generate data effortlessly.


title: SL(2, $\mathbb C$) quartic vertex for closed string field theory

abstract: We construct the $\mathrm{SL}(2, \mathbb C)$ quartic vertex with a generic stub parameter for the bosonic closed string field theory by characterizing the vertex region in the moduli space of 4-punctured sphere, and providing the necessary and sufficient constraints for the local coordinate maps. While $\mathrm{SL}(2, \mathbb C)$ vertices are not known to have a nice geometric recursive construction like the minimal area or hyperbolic vertices, they can be studied analytically which makes them more convenient for simple computations. In particular, we obtain exact formulas for the parametrization and volume of the vertex region as a function of the stub parameter. The main objective of having an explicit quartic vertex is to later study its decomposition using auxiliary fields.


title: Classification of anisotropic local Hardy spaces and inhomogeneous Triebel-Lizorkin spaces

abstract: This paper provides a characterization of when two expansive matrices yield the same anisotropic local Hardy and inhomogeneous Triebel-Lizorkin spaces. The characterization is in terms of the coarse equivalence of certain quasi-norms associated to the matrices. For nondiagonal matrices, these conditions are strictly weaker than those classifying the coincidence of the corresponding homogeneous function spaces. The obtained results complete the classification of anisotropic Besov and Triebel-Lizorkin spaces associated to general expansive matrices.


title: Unboxed data constructors -- or, how cpp decides a halting problem

abstract: We propose a new language feature for ML-family languages, the ability to selectively unbox certain data constructors, so that their runtime representation gets compiled away to just the identity on their argument. Unboxing must be statically rejected when it could introduce confusions, that is, distinct values with the same representation. We discuss the use-case of big numbers, where unboxing allows to write code that is both efficient and safe, replacing either a safe but slow version or a fast but unsafe version. We explain the static analysis necessary to reject incorrect unboxing requests. We present our prototype implementation of this feature for the OCaml programming language, discuss several design choices and the interaction with advanced features such as Guarded Algebraic Datatypes. Our static analysis requires expanding type definitions in type expressions, which is not necessarily normalizing in presence of recursive type definitions. In other words, we must decide normalization of terms in the first-order lambda-calculus with recursion. We provide an algorithm to detect non-termination on-the-fly during reduction, with proofs of correctness and completeness. Our termination-monitoring algorithm turns out to be closely related to the normalization strategy for macro expansion in the `cpp` preprocessor.


title: Classification of developmental and brain disorders via graph convolutional aggregation

abstract: While graph convolution based methods have become the de-facto standard for graph representation learning, their applications to disease prediction tasks remain quite limited, particularly in the classification of neurodevelopmental and neurodegenerative brain disorders. In this paper, we introduce an aggregator normalization graph convolutional network by leveraging aggregation in graph sampling, as well as skip connections and identity mapping. The proposed model learns discriminative graph node representations by incorporating both imaging and non-imaging features into the graph nodes and edges, respectively, with the aim of augmenting predictive capabilities and providing a holistic perspective on the underlying mechanisms of brain disorders. Skip connections enable the direct flow of information from the input features to later layers of the network, while identity mapping helps maintain the structural information of the graph during feature learning. We benchmark our model against several recent baseline methods on two large datasets, Autism Brain Imaging Data Exchange (ABIDE) and Alzheimer's Disease Neuroimaging Initiative (ADNI), for the prediction of autism spectrum disorder and Alzheimer's disease, respectively. Experimental results demonstrate the competitive performance of our approach in comparison with recent baselines in terms of several evaluation metrics, achieving relative improvements of 50% and 13.56% in classification accuracy over graph convolutional networks on ABIDE and ADNI, respectively.