title: Overview of AuTexTification at IberLEF 2023: Detection and Attribution of Machine-Generated Text in Multiple Domains

abstract: This paper presents the overview of the AuTexTification shared task as part of the IberLEF 2023 Workshop in Iberian Languages Evaluation Forum, within the framework of the SEPLN 2023 conference. AuTexTification consists of two subtasks: for Subtask 1, participants had to determine whether a text is human-authored or has been generated by a large language model. For Subtask 2, participants had to attribute a machine-generated text to one of six different text generation models. Our AuTexTification 2023 dataset contains more than 160.000 texts across two languages (English and Spanish) and five domains (tweets, reviews, news, legal, and how-to articles). A total of 114 teams signed up to participate, of which 36 sent 175 runs, and 20 of them sent their working notes. In this overview, we present the AuTexTification dataset and task, the submitted participating systems, and the results.


title: Surface activity of rapidly rotating stars from simultaneous X-ray and UV observations with AstroSat

abstract: Our study focuses on analysing the coronal, transition and chromospheric activity of four rapidly rotating stars located within 50 pc in the solar neighbourhood. We have used the multi-wavelength capabilities of AstroSat, to investigate the outer atmospheres of AB Dor, BO Mic, DG CVn and GJ 3331. These stars, classified as M and K type active stars, are known for their short rotation periods, leading to increased surface magnetic activity. Our soft X-ray observations provide the coronal properties such as emission measures, temperatures and elemental coronal abundances. We report the detection of X-ray flares from AB Dor, BO Mic, and DG CVn, while UV light curves reveal flares in both BO Mic and DG CVn.


title: Three-qubit Parity Gate via Simultaneous Cross Resonance Drives

abstract: Native multi-qubit parity gates have various potential quantum computing applications, such as entanglement creation, logical state encoding and parity measurement in quantum error correction. Here, using simultaneous cross-resonance drives on two control qubits with a common target, we demonstrate an efficient implementation of a three-qubit parity gate. We have developed a calibration procedure based on the one for the echoed cross-resonance gate. We confirm that our use of simultaneous drives leads to higher interleaved randomized benchmarking fidelities than a naive implementation with two consecutive CNOT gates. We also demonstrate that our simultaneous parity gates can significantly improve the parity measurement error probability for the heavy-hexagon code on an IBM Quantum processor using seven superconducting qubits with all-microwave control.


title: Transient and asymmetric dust structures in the TeV-bright nova RS Oph revealed by spectropolarimetry

abstract: A long-standing question related to nova eruptions is how these eruptions can lead to the formation of dust despite the ostensibly inhospitable environment for dust within the hot, irradiated ejecta. Novae in systems such as the symbiotic binary RS Oph offers a articularly clear view of some nova shocks and any associated dust production. Here we use spectropolarimetric monitoring of the RS Oph starting two days after its eruption in 2021 Aug. to show that: dust was present in the RS Oph system as early as two days into the 2021 eruption; the spatial distribution of this early dust was asymmetric, with components both aligned with and perpendicular to the orbital plane of the binary; between two and nine days after the start of the eruption, this early dust was gradually destroyed; and dust was again created, aligned roughly with the orbital plane of the binary, more than 80 days after the start of the outburst, most likely as a result of shocks that arose as the ejecta interacted with circumbinary material concentrated in the orbital plane. Modelling of X-rays and very-high energy GeV and TeV emission from RS Oph days to months into the 2021 eruption suggests that collisions between the ejecta and the circumbinary material may have led to shock formation in two regions: the polar - perpendicular to the orbital plane where collimated outflows have been observed after prior eruptions, and a circumbinary torus in the orbital plane. The observations described here indicate that dust formed in approximately the same two regions, supporting the connection between shocks and dust in novae and revealing a very early onset of asymmetry. The spectropolarimetric signatures of RS Oph in the first week into the 2021 outburst indicate: polarized flux across the H{\alpha} emission line and position angle orientation relative to the radio axis are similar to the spectropolarimetric signatures of AGNs.


title: Policy Patterns for Usage Control in Data Spaces

abstract: Data-driven technologies have the potential to initiate a transportation related revolution in the way we travel, commute and navigate within cities. As a major effort of this transformation relies on Mobility Data Spaces for the exchange of mobility data, the necessity to protect valuable data and formulate conditions for data exchange arises. This paper presents key contributions to the development of automated contract negotiation and data usage policies in the Mobility Data Space. A comprehensive listing of policy patterns for usage control is provided, addressing common requirements and scenarios in data sharing and governance. The use of the Open Digital Rights Language (ODRL) is proposed to formalize the collected policies, along with an extension of the ODRL vocabulary for data space-specific properties.


title: On the Rapoport-Zink space for $\mathrm{GU}(2, 4)$ over a ramified prime

abstract: In this work, we study the supersingular locus of the Shimura variety associated to the unitary group $\mathrm{GU}(2,4)$ over a ramified prime. We show that the associated Rapoport-Zink space is flat, and we give an explicit description of the irreducible components of the reduction modulo $p$ of the basic locus. In particular, we show that these are universally homeomorphic to either a generalized Deligne-Lusztig variety for a symplectic group or to the closure of a vector bundle over a classical Deligne-Lusztig variety for an orthogonal group. Our results are confirmed in the group-theoretical setting by the reduction method \`a la Deligne and Lusztig and the study of the admissible set.


title: A Non-Integrable Ohsawa-Takegoshi-Type $L^2$ Extension Theorem

abstract: Given a complete K\"ahler manifold $(X,\,\omega)$ with finite second Betti number, a smooth complex hypersurface $Y\subset X$ and a smooth real $d$-closed $(1,\,1)$-form $\alpha$ on $X$ with arbitrary, possibly non-rational, De Rham cohomology class $\{\alpha\}$ satisfying a certain assumption, we obtain extensions to $X$, with control of their $L^2$-norms, of smooth sections of the canonical bundle of $Y$ twisted by the restriction to $Y$ of any $C^\infty$ complex line bundle $L_k$ in a sequence of asymptotically holomorphic line bundles whose first Chern classes approximate the positive integer multiples $k\{\alpha\}$ of the original class. Besides a known non-integrable $(0,\,1)$-connection $\bar\partial_k$ on $L_k$, the proof uses two twisted Laplace-type elliptic differential operators that are introduced and investigated, leading to Bochner-Kodaira-Nakano-type (in-)equalities, a spectral gap result and an a priori $L^2$-estimate. The main difference from the classical Ohsawa-Takegoshi extension theorem is that the objects need not be holomorphic, but only asymptotically holomorphic as $k\to\infty$. The possibility that $\bar\partial_k$ does not square to $0$ accounts for its lack of commutation with the Laplacian $\Delta''_k$ it induces. We hope this study is a possible first step in a future attack on Siu's conjecture predicting the invariance of the plurigenera in K\"ahler families of compact complex manifolds.


title: Multivariate Dirichlet Moments and a Polychromatic Ewens Sampling Formula

abstract: We present an elementary non-recursive formula for the multivariate moments of the Dirichlet distribution on the standard simplex, in terms of the pattern inventory of the moments' exponents. We obtain analog formulas for the multivariate moments of the Dirichlet-Ferguson and Gamma measures. We further introduce a polychromatic analogue of Ewens sampling formula on colored integer partitions, discuss its relation with suitable extensions of Hoppe's urn model and of the Chinese restaurant process, and prove that it satisfies an adapted notion of consistency in the sense of Kingman.


title: Relativistic Shock Reflection using Integral Conservation Laws

abstract: Shock wave reflection from a rigid wall has been thoroughly studied in the Newtonian limit, simplifying the problem by analyzing it in a steady-state frame, $S'$, where the point $P$ of the shock's intersection with the wall is at rest. However, a "super-luminal" regime emerges when the velocity of point $P$ ($v_p$) exceeds the speed of light ($v_p>c$), where no steady-state frame $S'$ exists. It occurs predominantly in the relativistic regime, relevant in astrophysics, where it encompasses nearly all of the shock incidence angles. To study this regime, we introduce a new approach. We formulate integral conservation laws in the lab frame $S$ (where the unshocked fluid is at rest) for regular reflection (RR), using two methods: a. fixed volume analysis and b. fixed fluid analysis. We show the equivalence between the two methods, and also to the steady-state oblique shock jump conditions in frame $S'$ in the sub-luminal regime ($v_p<c$). Applying this framework, we find that both the weak and strong shock RR solutions are bounded in the parameter space by the detachment line on the higher incidence angles side. The strong shock solution is also bounded by the luminal line on the lower incidence angles side, and exists only between these two critical lines, in the sub-luminal attachment region.


title: Beyond Accuracy: Measuring Representation Capacity of Embeddings to Preserve Structural and Contextual Information

abstract: Effective representation of data is crucial in various machine learning tasks, as it captures the underlying structure and context of the data. Embeddings have emerged as a powerful technique for data representation, but evaluating their quality and capacity to preserve structural and contextual information remains a challenge. In this paper, we address this need by proposing a method to measure the \textit{representation capacity} of embeddings. The motivation behind this work stems from the importance of understanding the strengths and limitations of embeddings, enabling researchers and practitioners to make informed decisions in selecting appropriate embedding models for their specific applications. By combining extrinsic evaluation methods, such as classification and clustering, with t-SNE-based neighborhood analysis, such as neighborhood agreement and trustworthiness, we provide a comprehensive assessment of the representation capacity. Additionally, the use of optimization techniques (bayesian optimization) for weight optimization (for classification, clustering, neighborhood agreement, and trustworthiness) ensures an objective and data-driven approach in selecting the optimal combination of metrics. The proposed method not only contributes to advancing the field of embedding evaluation but also empowers researchers and practitioners with a quantitative measure to assess the effectiveness of embeddings in capturing structural and contextual information. For the evaluation, we use $3$ real-world biological sequence (proteins and nucleotide) datasets and performed representation capacity analysis of $4$ embedding methods from the literature, namely Spike2Vec, Spaced $k$-mers, PWM2Vec, and AutoEncoder.


title: CPLLM: Clinical Prediction with Large Language Models

abstract: We present Clinical Prediction with Large Language Models (CPLLM), a method that involves fine-tuning a pre-trained Large Language Model (LLM) for clinical disease and readmission prediction. We utilized quantization and fine-tuned the LLM using prompts. For diagnosis prediction, we predict whether patients will be diagnosed with a target disease during their next visit or in the subsequent diagnosis, leveraging their historical diagnosis records. We compared our results to various baselines, including RETAIN, and Med-BERT, the current state-of-the-art model for disease prediction using temporal structured EHR data. In addition, We also evaluated CPLLM for patient hospital readmission prediction and compared our method's performance with benchmark baselines. Our experiments have shown that our proposed method, CPLLM, surpasses all the tested models in terms of PR-AUC and ROC-AUC metrics, showing state-of-the-art results for diagnosis prediction and patient hospital readmission prediction. Such a method can be easily implemented and integrated into the clinical process to help care providers estimate the next steps of patients


title: On the monotonicity of non-local perimeter of convex bodies

abstract: Under mild assumptions on the kernel $K\ge0$, the non-local $K$-perimeter $P_K$ satisfies the monotonicity property on nested convex bodies, i.e., if $A\subset B\subset\mathbb{R}^n$ are two convex bodies, then $P_K(A)\le P_K(B)$. In this note, we prove quantitative lower bounds on the difference of the $K$-perimeters of $A$ and $B$ in terms of their Hausdorff distance, provided that $K$ satisfies suitable symmetry properties.


title: Deep generative model conditioned by phase picks for synthesizing labeled seismic waveforms with limited data

abstract: Shortage of labeled seismic field data poses a significant challenge for deep-learning related applications in seismology. One approach to mitigate this issue is to use synthetic waveforms as a complement to field data. However, traditional physics-driven methods for synthesizing data are computationally expensive and often fail to capture complex features in real seismic waveforms. In this study, we develop a deep-learning-based generative model, PhaseGen, for synthesizing realistic seismic waveforms dictated by provided P- and S-wave arrival labels. Contrary to previous generative models which require a large amount of data for training, the proposed model can be trained with only 100 seismic events recorded by a single seismic station. The fidelity, diversity and alignment for waveforms synthesized by PhaseGen with diverse P- and S-wave arrival labels are quantitatively evaluated. Also, PhaseGen is used to augment a labelled seismic dataset used for training a deep neural network for the phase picking task, and it is found that the picking capability trained with the augmented dataset is unambiguously improved. It is expected that PhaseGen can offer a valuable alternative for synthesizing realistic waveforms and provide a promising solution for the lack of labeled seismic data.


title: Parameterized Algorithms for Scalable Interprocedural Data-flow Analysis

abstract: Data-flow analysis is a general technique used to compute information of interest at different points of a program and is considered to be a cornerstone of static analysis. In this thesis, we consider interprocedural data-flow analysis as formalized by the standard IFDS framework, which can express many widely-used static analyses such as reaching definitions, live variables, and null-pointer. We focus on the well-studied on-demand setting in which queries arrive one-by-one in a stream and each query should be answered as fast as possible. While the classical IFDS algorithm provides a polynomial-time solution to this problem, it is not scalable in practice. Specifically, it either requires a quadratic-time preprocessing phase or takes linear time per query, both of which are untenable for modern huge codebases with hundreds of thousands of lines. Previous works have already shown that parameterizing the problem by the treewidth of the program's control-flow graph is promising and can lead to significant gains in efficiency. Unfortunately, these results were only applicable to the limited special case of same-context queries. In this work, we obtain significant speedups for the general case of on-demand IFDS with queries that are not necessarily same-context. This is achieved by exploiting a new graph sparsity parameter, namely the treedepth of the program's call graph. Our approach is the first to exploit the sparsity of control-flow graphs and call graphs at the same time and parameterize by both treewidth and treedepth. We obtain an algorithm with a linear preprocessing phase that can answer each query in constant time with respect to the input size. Finally, we show experimental results demonstrating that our approach significantly outperforms the classical IFDS and its on-demand variant.


title: A Cost-Aware Mechanism for Optimized Resource Provisioning in Cloud Computing

abstract: Due to the recent wide use of computational resources in cloud computing, new resource provisioning challenges have been emerged. Resource provisioning techniques must keep total costs to a minimum while meeting the requirements of the requests. According to widely usage of cloud services, it seems more challenging to develop effective schemes for provisioning services cost-effectively; we have proposed a novel learning based resource provisioning approach that achieves cost-reduction guarantees of demands. The contributions of our optimized resource provisioning (ORP) approach are as follows. Firstly, it is designed to provide a cost-effective method to efficiently handle the provisioning of requested applications; while most of the existing models allow only workflows in general which cares about the dependencies of the tasks, ORP performs based on services of which applications comprised and cares about their efficient provisioning totally. Secondly, it is a learning automata-based approach which selects the most proper resources for hosting each service of the demanded application; our approach considers both cost and service requirements together for deploying applications. Thirdly, a comprehensive evaluation is performed for three typical workloads: data-intensive, process-intensive and normal applications. The experimental results show that our method adapts most of the requirements efficiently, and furthermore the resulting performance meets our design goals.


title: Partial monoid actions on objects in categories with pullbacks and their globalizations

abstract: Let $M$ be a monoid, $\mathscr{C}$ a category with pullbacks and $X$ an object of $\mathscr{C}$. We introduce the notion of a partial action $\alpha$ of $M$ on $X$ and study the globalization question for $\alpha$. If $\alpha$ admits a reflection in the subcategory of global actions, then we reduce the problem to the verification that a certain diagram is a pullback in $\mathscr{C}$. We then give a construction of such a reflection in terms of a colimit of a certain functor with values in $\mathscr{C}$. We specify this construction to the case of categories admitting certain coproducts and coequalizers.


title: Generalizing Across Domains in Diabetic Retinopathy via Variational Autoencoders

abstract: Domain generalization for Diabetic Retinopathy (DR) classification allows a model to adeptly classify retinal images from previously unseen domains with various imaging conditions and patient demographics, thereby enhancing its applicability in a wide range of clinical environments. In this study, we explore the inherent capacity of variational autoencoders to disentangle the latent space of fundus images, with an aim to obtain a more robust and adaptable domain-invariant representation that effectively tackles the domain shift encountered in DR datasets. Despite the simplicity of our approach, we explore the efficacy of this classical method and demonstrate its ability to outperform contemporary state-of-the-art approaches for this task using publicly available datasets. Our findings challenge the prevailing assumption that highly sophisticated methods for DR classification are inherently superior for domain generalization. This highlights the importance of considering simple methods and adapting them to the challenging task of generalizing medical images, rather than solely relying on advanced techniques.


title: Extending a result of Chen, Erchenko and Gogolev

abstract: In a recent paper, Chen, Erchenko and Gogolev have proven that if a Riemannian manifold with boundary has hyperbolic geodesic trapped set, then it can be embedded into a compact manifold whose geodesic flow is Anosov. They have to introduce some assumptions that we discuss here. We explain how some can be removed, obtaining in particular a result applicable to all reasonable 3 dimensional examples.


title: Qutrit state discrimination with mid-circuit measurements

abstract: Qutrit state readout is an important technology not only for execution of qutrit algorithms but also for erasure detection in error correction circuits and leakage error characterization of the gate set. Conventional technique using a specialized IQ discriminator requires memory intensive IQ data for input, and has difficulty in scaling up the system size. In this study, we propose the mid-circuit measurement based discrimination technique which exploits a binary discriminator for qubit readout. Our discriminator shows comparable performance with the IQ discriminator, and readily available for standard quantum processors calibrated for qubit control. We also demonstrate our technique can reimplement typical benchmarking and characterization experiments such as leakage randomized benchmarking and state population decay measurement.


title: A new quantum computational set-up for algebraic topology via simplicial sets

abstract: In this paper, a quantum computational framework for algebraic topology based on simplicial set theory is presented. This extends previous work, which was limited to simplicial complexes and aimed mostly to topological data analysis. The proposed set--up applies to any parafinite simplicial set and proceeds by associating with it a finite dimensional simplicial Hilbert space, whose simplicial operator structure is studied in some depth. It is shown in particular how the problem of determining the simplicial set's homology can be solved within the simplicial Hilbert framework. Further, the conditions under which simplicial set theoretic algorithms can be implemented in a quantum computational setting with finite resources are examined. Finally a quantum algorithmic scheme capable to compute the simplicial homology spaces and Betti numbers of a simplicial set combining a number of basic quantum algorithms is outlined.


title: Create and Find Flatness: Building Flat Training Spaces in Advance for Continual Learning

abstract: Catastrophic forgetting remains a critical challenge in the field of continual learning, where neural networks struggle to retain prior knowledge while assimilating new information. Most existing studies emphasize mitigating this issue only when encountering new tasks, overlooking the significance of the pre-task phase. Therefore, we shift the attention to the current task learning stage, presenting a novel framework, C&F (Create and Find Flatness), which builds a flat training space for each task in advance. Specifically, during the learning of the current task, our framework adaptively creates a flat region around the minimum in the loss landscape. Subsequently, it finds the parameters' importance to the current task based on their flatness degrees. When adapting the model to a new task, constraints are applied according to the flatness and a flat space is simultaneously prepared for the impending task. We theoretically demonstrate the consistency between the created and found flatness. In this manner, our framework not only accommodates ample parameter space for learning new tasks but also preserves the preceding knowledge of earlier tasks. Experimental results exhibit C&F's state-of-the-art performance as a standalone continual learning approach and its efficacy as a framework incorporating other methods. Our work is available at https://github.com/Eric8932/Create-and-Find-Flatness.


title: FaceDiffuser: Speech-Driven 3D Facial Animation Synthesis Using Diffusion

abstract: Speech-driven 3D facial animation synthesis has been a challenging task both in industry and research. Recent methods mostly focus on deterministic deep learning methods meaning that given a speech input, the output is always the same. However, in reality, the non-verbal facial cues that reside throughout the face are non-deterministic in nature. In addition, majority of the approaches focus on 3D vertex based datasets and methods that are compatible with existing facial animation pipelines with rigged characters is scarce. To eliminate these issues, we present FaceDiffuser, a non-deterministic deep learning model to generate speech-driven facial animations that is trained with both 3D vertex and blendshape based datasets. Our method is based on the diffusion technique and uses the pre-trained large speech representation model HuBERT to encode the audio input. To the best of our knowledge, we are the first to employ the diffusion method for the task of speech-driven 3D facial animation synthesis. We have run extensive objective and subjective analyses and show that our approach achieves better or comparable results in comparison to the state-of-the-art methods. We also introduce a new in-house dataset that is based on a blendshape based rigged character. We recommend watching the accompanying supplementary video. The code and the dataset will be publicly available.


title: Rating Prediction in Conversational Task Assistants with Behavioral and Conversational-Flow Features

abstract: Predicting the success of Conversational Task Assistants (CTA) can be critical to understand user behavior and act accordingly. In this paper, we propose TB-Rater, a Transformer model which combines conversational-flow features with user behavior features for predicting user ratings in a CTA scenario. In particular, we use real human-agent conversations and ratings collected in the Alexa TaskBot challenge, a novel multimodal and multi-turn conversational context. Our results show the advantages of modeling both the conversational-flow and behavioral aspects of the conversation in a single model for offline rating prediction. Additionally, an analysis of the CTA-specific behavioral features brings insights into this setting and can be used to bootstrap future systems.


title: Transient events in the near-nuclear regions of AGNs and quasars as the sources of the proper motion imitations

abstract: We present a sample of SRG/eROSITA X-ray sources located in the eastern Galactic hemisphere (0<l<180 deg), with significant proper motions according to GAIA eDR3 measurements and whose extragalactic nature has been confirmed. The catalog consists of 248 extragalactic sources with spectroscopically measured redshifts. It includes all objects available in the Simbad database and matched to the identified optical component within a radius of 0.5 arcsec. Additionally, the catalog includes 18 sources with the spectral redshift measurements based on observations at the Russian-Turkish 1.5-m telescope RTT-150. The sources of the catalog are AGNs of various types (Sy1, Sy2, LINER), quasars, radio galaxies, and star-forming galaxies. The imitation of significant proper motions can be explained (previously known in astrometry as the VIM effect) by the presence of transient events on the line of sight in the field of view of AGN nuclei and quasars (within the GAIA resolution element). Such astrophysical phenomena may be the supernovae outbursts, tidal destruction events in AGNs with double nuclei, variability of large-mass supergiants, the presence of O-B associations in field of view of variable brightness AGN, etc. A model of flares with a fast rise and exponential decay profile allows to describe the variable positional parameters of most similar sources observed in GAIA. This cross-matching approach of the X-ray source catalogs of the SRG/eROSITA observatory and the optical catalog of the GAIA observatory can be used as an independent technique for detecting transient events in the neighborhood of AGN core (on scales of several hundred parsecs in the picture plane).


title: Pseudo $s$-Numbers of Embeddings of Gaussian Weighted Sobolev Spaces

abstract: In this paper, we study the approximation problem for functions in the Gaussian-weighted Sobolev space $W^\alpha_p(\mathbb{R}^d, \gamma)$ of mixed smoothness $\alpha \in \mathbb{N}$ with error measured in the Gaussian-weighted space $L_q(\mathbb{R}^d, \gamma)$. We obtain the exact asymptotic order of pseudo $s$-numbers for the cases $1 \leq q< p < \infty$ and $p=q=2$. Additionally, we also obtain an upper bound and a lower bound for pseudo $s$-numbers of the embedding of $W^\alpha_2(\mathbb{R}^d, \gamma)$ into $L_{\infty}^{\sqrt{g}}(\mathbb{R}^d)$. Our result is an extension of that obtained in Dinh D\~ung and Van Kien Nguyen (IMA Journal of Numerical Analysis, 2023) for approximation and Kolmogorov numbers.


title: Social interactions for a sustainable lifestyle: The design of an experimental case study

abstract: Every day we face numerous lifestyle decisions, some dictated by habits and some more conscious, which may or may not promote sustainable living. Aided by digital technology, sustainable behaviors can diffuse within social groups and inclusive communities. This paper outlines a longitudinal experimental study of social influence in behavioral changes toward sustainability, in the context of smart residential homes. Participants are residing in the housing on campus referred to as KTH Live-In Lab, whose behaviors are observed w.r.t. key lifestyle choices, such as food, resources, mobility, consumption, and environmental citizenship. The focus is on the preparatory phase of the case study and the challenges and limitations encountered during its setup. In particular, this work proposes a definition of sustainability indicators for environmentally significant behaviors, and hypothesizes that, through digitalization of a household into a social network of interacting tenants, sustainable living can be promoted. Preliminary results confirm the feasibility of the proposed experimental methodology.


title: Ropes, fractions, and moduli spaces

abstract: This is an exposition of John H. Conway's tangle trick. We discuss what the trick is, how to perform it, why it works mathematically, and finally offer a conceptual explanation for why a trick like this should exist in the first place. The mathematical centerpiece is the relationship between braids on three strands and elliptic curves, and we a draw a line from the tangle trick back to work of Weierstrass, Abel, and Jacobi in the 19th century. For the most part we assume only a familiarity with the language of group actions, but some prior exposure to the fundamental group is beneficial in places.


title: A Competition-based Pricing Strategy in Cloud Markets using Regret Minimization Techniques

abstract: Cloud computing as a fairly new commercial paradigm, widely investigated by different researchers, already has a great range of challenges. Pricing is a major problem in Cloud computing marketplace; as providers are competing to attract more customers without knowing the pricing policies of each other. To overcome this lack of knowledge, we model their competition by an incomplete-information game. Considering the issue, this work proposes a pricing policy related to the regret minimization algorithm and applies it to the considered incomplete-information game. Based on the competition based marketplace of the Cloud, providers update the distribution of their strategies using the experienced regret. The idea of iteratively applying the algorithm for updating probabilities of strategies causes the regret get minimized faster. The experimental results show much more increase in profits of the providers in comparison with other pricing policies. Besides, the efficiency of a variety of regret minimization techniques in a simulated marketplace of Cloud are discussed which have not been observed in the studied literature. Moreover, return on investment of providers in considered organizations is studied and promising results appeared.


title: Tetraquark mixing model is superior to meson molecules in explaining two light-meson nonets

abstract: In this work, we compare the tetraquark mixing model and meson molecules in describing the two physical nonets in the $J^P=0^+$ channel, the light nonet [$a_0 (980)$, $K_0^* (700)$, $f_0 (500)$, $f_0 (980)$] and the heavy nonet [$a_0 (1450)$, $K_0^* (1430)$, $f_0 (1370)$, $f_0 (1500)$]. In particular, we focus on whether successful aspects of the tetraquark mixing model that apply to all members of each nonet can be reproduced from a model of meson molecules. By combining two mesons in the lowest-lying pseudoscalar nonet, we construct SU$_f$(3) molecular nonets that can be tested for the two physical nonets. This molecular approach can make two flavor nonets just as the tetraquark mixing model but this model has some difficulties in describing the universal features of the two nonets %Because of this, this molecular model cannot reproduce successful aspects of the tetraquark mixing model, such as mass splitting between the two nonets, and enhancement or suppression of the coupling strengths of the two nonets into two pseudoscalar mesons. We also compare the fall-apart modes of the tetraquark mixing model and the two-meson modes from the molecular model. A clear distinction can be seen by the two-pion modes in the isovector resonances. The two-pion modes appear in the molecular model, but not in the tetraquark mixing model. The absence of the two-pion modes is supported by the experimental decay modes of the isovector resonances.


title: 1D-confined crystallization routes for tungsten phosphides

abstract: Topological materials confined in one-dimension (1D) can transform computing technologies, such as 1D topological semimetals for nanoscale interconnects and 1D topological superconductors for fault-tolerant quantum computing. As such, understanding crystallization of 1D-confined topological materials is critical. Here, we demonstrate 1D-confined crystallization routes during template-assisted nanowire synthesis where we observe diameter-dependent phase selectivity for topological metal tungsten phosphides. A phase bifurcation occurs to produce tungsten monophosphide and tungsten diphosphide at the cross-over nanowire diameter of ~ 35 nm. Four-dimensional scanning transmission electron microscopy was used to identify the two phases and to map crystallographic orientations of grains at a few nm resolution. The 1D-confined phase selectivity is attributed to the minimization of the total surface energy, which depends on the nanowire diameter and chemical potentials of precursors. Theoretical calculations were carried out to construct the diameter-dependent phase diagram, which agrees with experimental observations. Our find-ings suggest a new crystallization route to stabilize topological materials confined in 1D.


title: Performance of the Large-Sized Telescope prototype of the Cherenkov Telescope Array

abstract: The next-generation ground-based gamma-ray Cherenkov Telescope Array Observatory (CTAO) will consist of imaging atmospheric Cherenkov telescopes (IACTs) of three different sizes distributed in two sites. The Large-Sized Telescopes will cover the low-energy end of the CTA energy range, starting at about 20 GeV. After its first years of operation at the CTA northern site, the Large-Sized Telescope prototype (LST-1) is in the final stage of its commissioning phase, having collected a significant amount of scientific data to date. In this contribution, we present the physics performance of the telescope using low-zenith Crab Nebula observations and Monte Carlo simulations fine-tuned accordingly. We show performance figures of merit such as the energy threshold, effective area, energy and angular resolution, and sensitivity based on the standard Hillas-parameters approach and following the source-independent and dependent analysis methods. The analysis threshold is estimated at 30 GeV. The energy resolution is around 30%, and the angular resolution is 0.3 degrees at 100 GeV. The best integral sensitivity of LST-1 is about 1.1% of the Crab Nebula flux above 250 GeV for 50 hours of observations. We also show the spectral energy distribution and light curve from Crab Nebula observations, which agree with results from other IACTs and link smoothly with Fermi-LAT when considering statistical and systematic uncertainties near the energy threshold.


title: Dynamic Pricing of Applications in Cloud Marketplaces using Game Theory

abstract: The competitive nature of Cloud marketplaces as new concerns in delivery of services makes the pricing policies a crucial task for firms. so that, pricing strategies has recently attracted many researchers. Since game theory can handle such competing well this concern is addressed by designing a normal form game between providers in current research. A committee is considered in which providers register for improving their competition based pricing policies. The functionality of game theory is applied to design dynamic pricing policies. The usage of the committee makes the game a complete information one, in which each player is aware of every others payoff functions. The players enhance their pricing policies to maximize their profits. The contribution of this paper is the quantitative modeling of Cloud marketplaces in form of a game to provide novel dynamic pricing strategies; the model is validated by proving the existence and the uniqueness of Nash equilibrium of the game.


title: Lazy Contracts: Alleviating High Gas Costs by Secure and Trustless Off-chain Execution of Smart Contracts

abstract: Smart contracts are programs that are executed on the blockchain and can hold, manage and transfer assets in the form of cryptocurrencies. The contract's execution is then performed on-chain and is subject to consensus, i.e. every node on the blockchain network has to run the function calls and keep track of their side-effects. In most programmable blockchains, such as Ethereum, the notion of gas is introduced to prevent DoS attacks by malicious parties who might try to slow down the network by performing heavy computations. A fixed cost to each atomic operation, and the initiator of a function call pays the total gas cost as a transaction fee. This helps prevent DoS attacks, but the resulting fees are extremely high. For example, in 2022, on Ethereum alone, there has been a total gas usage of 1.77 Million ETH ~ 4.3 Billion USD. This thesis proposes "lazy contracts" as a solution to alleviate these costs. Our solution moves most of the computation off-chain, ensuring that each function call incurs only a tiny amount of gas usage, while preserving enough data on-chain to guarantee an implicit consensus about the state of the contract variables and ownership of funds. A complete on-chain execution of the functions will only be triggered in case two parties to the contract are in disagreement about the current state, which in turn can only happen if at least one party is dishonest. In such cases, our protocol can identify the dishonest party and penalize them by having them pay for the entire gas usage. Hence, no rational party has an incentive to act dishonestly. Finally, we perform extensive experiments over 160,735 real-world Solidity contracts that were involved in 9,055,492 transactions in January 2022--January 2023 on Ethereum and show that our approach reduces the overall gas usage by 55.4%, which amounts to an astounding saving of 109.9 Million USD in gas fees.


title: Uncovering the effects of model initialization on deep model generalization: A study with adult and pediatric Chest X-ray images

abstract: Model initialization techniques are vital for improving the performance and reliability of deep learning models in medical computer vision applications. While much literature exists on non-medical images, the impacts on medical images, particularly chest X-rays (CXRs) are less understood. Addressing this gap, our study explores three deep model initialization techniques: Cold-start, Warm-start, and Shrink and Perturb start, focusing on adult and pediatric populations. We specifically focus on scenarios with periodically arriving data for training, thereby embracing the real-world scenarios of ongoing data influx and the need for model updates. We evaluate these models for generalizability against external adult and pediatric CXR datasets. We also propose novel ensemble methods: F-score-weighted Sequential Least-Squares Quadratic Programming (F-SLSQP) and Attention-Guided Ensembles with Learnable Fuzzy Softmax to aggregate weight parameters from multiple models to capitalize on their collective knowledge and complementary representations. We perform statistical significance tests with 95% confidence intervals and p-values to analyze model performance. Our evaluations indicate models initialized with ImageNet-pre-trained weights demonstrate superior generalizability over randomly initialized counterparts, contradicting some findings for non-medical images. Notably, ImageNet-pretrained models exhibit consistent performance during internal and external testing across different training scenarios. Weight-level ensembles of these models show significantly higher recall (p<0.05) during testing compared to individual models. Thus, our study accentuates the benefits of ImageNet-pretrained weight initialization, especially when used with weight-level ensembles, for creating robust and generalizable deep learning solutions.


title: WFTNet: Exploiting Global and Local Periodicity in Long-term Time Series Forecasting

abstract: Recent CNN and Transformer-based models tried to utilize frequency and periodicity information for long-term time series forecasting. However, most existing work is based on Fourier transform, which cannot capture fine-grained and local frequency structure. In this paper, we propose a Wavelet-Fourier Transform Network (WFTNet) for long-term time series forecasting. WFTNet utilizes both Fourier and wavelet transforms to extract comprehensive temporal-frequency information from the signal, where Fourier transform captures the global periodic patterns and wavelet transform captures the local ones. Furthermore, we introduce a Periodicity-Weighted Coefficient (PWC) to adaptively balance the importance of global and local frequency patterns. Extensive experiments on various time series datasets show that WFTNet consistently outperforms other state-of-the-art baseline. Code is available at https://github.com/Hank0626/WFTNet.


title: Consistency of Pantheon+ supernovae with a large-scale isotropic universe

abstract: We investigate the possible anisotropy of the universe using the most up-to-date type Ia supernovae, i.e. the Pantheon+ compilation. We fit the full Pantheon+ data with the dipole-modulated $\Lambda$CDM model, and find that it is well consistent with a null dipole. We further divide the full sample into several subsamples with different high-redshift cutoff $z_c$. It is shown that the dipole appears at $2\sigma$ confidence level only if $z_c\leq 0.1$, and in this redshift region the dipole is very stable, almost independent of the specific value of $z_c$. For $z_c=0.1$, the dipole amplitude is $D=1.0_{-0.4}^{+0.4}\times 10^{-3}$, pointing towards $(l,b)=(334.5_{\ -21.6^{\circ}}^{\circ +25.7^{\circ}},16.0_{\ -16.8^{\circ}}^{\circ +27.1^{\circ}})$, which is about $65^{\circ}$ away from the CMB dipole. This implies that the full Pantheon+ is consistent with a large-scale isotropic universe, but the low-redshift anisotropy couldn't be purely explained by the peculiar motion of the local universe.


title: Face Aging via Diffusion-based Editing

abstract: In this paper, we address the problem of face aging: generating past or future facial images by incorporating age-related changes to the given face. Previous aging methods rely solely on human facial image datasets and are thus constrained by their inherent scale and bias. This restricts their application to a limited generatable age range and the inability to handle large age gaps. We propose FADING, a novel approach to address Face Aging via DIffusion-based editiNG. We go beyond existing methods by leveraging the rich prior of large-scale language-image diffusion models. First, we specialize a pre-trained diffusion model for the task of face age editing by using an age-aware fine-tuning scheme. Next, we invert the input image to latent noise and obtain optimized null text embeddings. Finally, we perform text-guided local age editing via attention control. The quantitative and qualitative analyses demonstrate that our method outperforms existing approaches with respect to aging accuracy, attribute preservation, and aging quality.


title: Vector database management systems: Fundamental concepts, use-cases, and current challenges

abstract: Vector database management systems have emerged as an important component in modern data management, driven by the growing importance for the need to computationally describe rich data such as texts, images and video in various domains such as recommender systems, similarity search, and chatbots. These data descriptions are captured as numerical vectors that are computationally inexpensive to store and compare. However, the unique characteristics of vectorized data, including high dimensionality and sparsity, demand specialized solutions for efficient storage, retrieval, and processing. This narrative literature review provides an accessible introduction to the fundamental concepts, use-cases, and current challenges associated with vector database management systems, offering an overview for researchers and practitioners seeking to facilitate effective vector data management.


title: Quantifying nematic order in evaporation-driven self-assembly of Halloysite nanotubes: Nematic islands and critical aspect ratio

abstract: Halloysite nanotubes (HNTs) are naturally occurring clay minerals found in Earth's crust that typically exist in the form of high aspect-ratio nanometers-long rods. Here, we investigate the evaporation-driven self-assembly process of HNTs and show that a highly polydisperse collection of HNTs self-sort into a spatially inhomogeneous structure, displaying a systematic variation in the resulting nematic order. Through detailed quantification using nematic order parameter $S$ and nematic correlation functions, we show the existence of well-defined isotropic-nematic transitions in the emerging structures. We also show that the onset of these transitions gives rise to the formation of nematic islands - phase coexisting ordered nematic domains surrounded by isotropic phase - which grow in size with $S$. Detailed image analysis indicates a strong correlation between local $S$ and the local aspect ratio, $L/D$, with nematic order possible only for rods with $L/D \ge 6.5 \pm 1$. Finally, we conclude that observed phenomena directly result from aspect ratio-based sorting in our system. Altogether, our results provide a unique method of tuning the local microscopic structure in self-assembled HNTs using $L/D$ as an external parameter.


title: Building Semi-Analytic Black Hole Seeding Models Using IllustrisTNG Host Galaxies

abstract: Because early black holes (BHs) grew to $\sim10^{9} ~M_\odot$ in less than 1 Gyr of cosmic time, BH seeding models face stringent constraints. To efficiently constrain the parameter space of possible seeding criteria, we combine the advantages of the cosmological IllustrisTNG (TNG) simulations with the flexibility of semi-analytic modeling. We identify TNG galaxies as BH seeding sites based on various criteria including a minimum gas mass of $10^7$-$10^9~M_\odot$, total host mass of $10^{8.5}$-$10^{10.5}~M_\odot$, and a maximum gas metallicity of $0.01 - 0.1 ~Z_\odot$. Each potential host is assigned a BH seed with a probability of $0.01 - 1$; these BHs are then traced through the TNG galaxy merger tree. This approach improves upon the predictive power of the simple TNG BH seeding prescription, especially in the low-mass regime at high redshift, and it is readily adaptable to other cosmological simulations. Most of our seed models predict $z\lesssim4$ BH mass densities that are consistent with empirical data as well as the TNG BHs. However, high-redshift BH number densities can differ by factors of $\sim$ 10 - 100 between models. In most models, $\lesssim10^5~M_\odot$ BHs substantially outnumber heavier BHs at high redshifts. Mergers between such BHs are prime targets for gravitational-wave detection with LISA. The $z=0$ BH mass densities in most models agree well with observations, but our strictest seeding criteria fail at high redshift. Our findings strongly motivate the need for better empirical constraints on high-$z$ BHs, and they underscore the significance of recent AGN discoveries with JWST.


title: DISC-LawLLM: Fine-tuning Large Language Models for Intelligent Legal Services

abstract: We propose DISC-LawLLM, an intelligent legal system utilizing large language models (LLMs) to provide a wide range of legal services. We adopt legal syllogism prompting strategies to construct supervised fine-tuning datasets in the Chinese Judicial domain and fine-tune LLMs with legal reasoning capability. We augment LLMs with a retrieval module to enhance models' ability to access and utilize external legal knowledge. A comprehensive legal benchmark, DISC-Law-Eval, is presented to evaluate intelligent legal systems from both objective and subjective dimensions. Quantitative and qualitative results on DISC-Law-Eval demonstrate the effectiveness of our system in serving various users across diverse legal scenarios. The detailed resources are available at https://github.com/FudanDISC/DISC-LawLLM.


title: How to turn your camera into a perfect pinhole model

abstract: Camera calibration is a first and fundamental step in various computer vision applications. Despite being an active field of research, Zhang's method remains widely used for camera calibration due to its implementation in popular toolboxes. However, this method initially assumes a pinhole model with oversimplified distortion models. In this work, we propose a novel approach that involves a pre-processing step to remove distortions from images by means of Gaussian processes. Our method does not need to assume any distortion model and can be applied to severely warped images, even in the case of multiple distortion sources, e.g., a fisheye image of a curved mirror reflection. The Gaussian processes capture all distortions and camera imperfections, resulting in virtual images as though taken by an ideal pinhole camera with square pixels. Furthermore, this ideal GP-camera only needs one image of a square grid calibration pattern. This model allows for a serious upgrade of many algorithms and applications that are designed in a pure projective geometry setting but with a performance that is very sensitive to nonlinear lens distortions. We demonstrate the effectiveness of our method by simplifying Zhang's calibration method, reducing the number of parameters and getting rid of the distortion parameters and iterative optimization. We validate by means of synthetic data and real world images. The contributions of this work include the construction of a virtual ideal pinhole camera using Gaussian processes, a simplified calibration method and lens distortion removal.


title: Leveraging Data Collection and Unsupervised Learning for Code-switched Tunisian Arabic Automatic Speech Recognition

abstract: Crafting an effective Automatic Speech Recognition (ASR) solution for dialects demands innovative approaches that not only address the data scarcity issue but also navigate the intricacies of linguistic diversity. In this paper, we address the aforementioned ASR challenge, focusing on the Tunisian dialect. First, textual and audio data is collected and in some cases annotated. Second, we explore self-supervision, semi-supervision and few-shot code-switching approaches to push the state-of-the-art on different Tunisian test sets; covering different acoustic, linguistic and prosodic conditions. Finally, and given the absence of conventional spelling, we produce a human evaluation of our transcripts to avoid the noise coming from spelling inadequacies in our testing references. Our models, allowing to transcribe audio samples in a linguistic mix involving Tunisian Arabic, English and French, and all the data used during training and testing are released for public use and further improvements.


title: Transport-based fusion that distinguishes between Majorana and Andreev bound states

abstract: It has proven difficult to distinguish between topological Majorana bound states and nontopological Andreev bound states and to measure the unique properties of the former. In this work, we aim to alleviate this problem by proposing and theoretically analyzing a new type of fusion protocol based on transport measurements in a Majorana box coupled to normal leads. The protocol is based on switching between different nanowire pairs being tunnel coupled to one of the leads. For a Majorana system, this leads to switching between different states associated with parity blockade. The charge being transmitted at each switch provides a measurement of the Majorana fusion rules. Importantly, the result is different for a system with nontopological Andreev bound states. The proposed protocol only requires measuring a DC current combined with fast gate-control of the tunnel couplings.


title: Isoperimetric inequalities vs. upper curvature bounds

abstract: The Dehn function of a metric space measures the area necessary in order to fill a closed curve of controlled length by a disc. As a main result, we prove that a length space has curvature bounded above by $\kappa$ in the sense of Alexandrov if and only if its Dehn function is bounded above by the Dehn function of the model surface of constant curvature $\kappa$. This extends work of Lytchak and the second author from locally compact spaces to the general case. A key ingredient in the proof is the construction of minimal discs with suitable properties in certain ultralimits. Our arguments also yield quantitative local and stable versions of our main result. The latter has implications on the geometry of asymptotic cones.


title: On Jang's equation and the Positive Mass Theorem for asymptotically hyperbolic initial data sets with dimensions above three and below eight

abstract: We solve the Jang equation with respect to asymptotically hyperbolic "hyperboloidal" initial data in dimensions n = 4, 5, 6, 7. This gives a non-spinor proof of the positive mass theorem in the asymptotically hyperbolic setting in these dimensions. Our work extends an earlier result of [Sak21] obtained in dimension n = 3.


title: Gold-YOLO: Efficient Object Detector via Gather-and-Distribute Mechanism

abstract: In the past years, YOLO-series models have emerged as the leading approaches in the area of real-time object detection. Many studies pushed up the baseline to a higher level by modifying the architecture, augmenting data and designing new losses. However, we find previous models still suffer from information fusion problem, although Feature Pyramid Network (FPN) and Path Aggregation Network (PANet) have alleviated this. Therefore, this study provides an advanced Gatherand-Distribute mechanism (GD) mechanism, which is realized with convolution and self-attention operations. This new designed model named as Gold-YOLO, which boosts the multi-scale feature fusion capabilities and achieves an ideal balance between latency and accuracy across all model scales. Additionally, we implement MAE-style pretraining in the YOLO-series for the first time, allowing YOLOseries models could be to benefit from unsupervised pretraining. Gold-YOLO-N attains an outstanding 39.9% AP on the COCO val2017 datasets and 1030 FPS on a T4 GPU, which outperforms the previous SOTA model YOLOv6-3.0-N with similar FPS by +2.4%. The PyTorch code is available at https://github.com/huawei-noah/Efficient-Computing/tree/master/Detection/Gold-YOLO, and the MindSpore code is available at https://gitee.com/mindspore/models/tree/master/research/cv/Gold_YOLO.


title: Software Compartmentalization Trade-Offs with Hardware Capabilities

abstract: Compartmentalization is a form of defensive software design in which an application is broken down into isolated but communicating components. Retrofitting compartmentalization into existing applications is often thought to be expensive from the engineering effort and performance overhead points of view. Still, recent years have seen proposals of compartmentalization methods with promises of low engineering efforts and reduced performance impact. ARM Morello combines a modern ARM processor with an implementation of Capability Hardware Enhanced RISC Instructions (CHERI) aiming to provide efficient and secure compartmentalization. Past works exploring CHERI-based compartmentalization were restricted to emulated/FPGA prototypes. In this paper, we explore possible compartmentalization schemes with CHERI on the Morello chip. We propose two approaches representing different trade-offs in terms of engineering effort, security, scalability, and performance impact. We describe and implement these approaches on a prototype OS running bare metal on the Morello chip, compartmentalize two popular applications, and investigate the performance overheads. Furthermore, we show that compartmentalization can be achieved with an engineering cost that can be quite low if one is willing to trade off on scalability and security, and that performance overheads are similar to other intra-address space isolation mechanisms.


title: You can have your ensemble and run it too -- Deep Ensembles Spread Over Time

abstract: Ensembles of independently trained deep neural networks yield uncertainty estimates that rival Bayesian networks in performance. They also offer sizable improvements in terms of predictive performance over single models. However, deep ensembles are not commonly used in environments with limited computational budget -- such as autonomous driving -- since the complexity grows linearly with the number of ensemble members. An important observation that can be made for robotics applications, such as autonomous driving, is that data is typically sequential. For instance, when an object is to be recognized, an autonomous vehicle typically observes a sequence of images, rather than a single image. This raises the question, could the deep ensemble be spread over time? In this work, we propose and analyze Deep Ensembles Spread Over Time (DESOT). The idea is to apply only a single ensemble member to each data point in the sequence, and fuse the predictions over a sequence of data points. We implement and experiment with DESOT for traffic sign classification, where sequences of tracked image patches are to be classified. We find that DESOT obtains the benefits of deep ensembles, in terms of predictive and uncertainty estimation performance, while avoiding the added computational cost. Moreover, DESOT is simple to implement and does not require sequences during training. Finally, we find that DESOT, like deep ensembles, outperform single models for out-of-distribution detection.


title: Constraining the spatial curvature of the local Universe with deep learning

abstract: We use the distance sum rule (DSR) method to constrain the spatial curvature of the Universe with a large sample of 161 strong gravitational lensing (SGL) systems, whose distances are calibrated from the Pantheon compilation of type Ia supernovae (SNe Ia) using deep learning. To investigate the possible influence of mass model of the lens galaxy on constraining the curvature parameter $\Omega_k$, we consider three different lens models. Results show that a flat Universe is supported in the singular isothermal sphere (SIS) model with the parameter $\Omega_k=0.049^{+0.147}_{-0.125}$. While in the power-law (PL) model, a closed Universe is preferred at $\sim 3\sigma$ confidence level, with the parameter $\Omega_k=-0.245^{+0.075}_{-0.071}$. In extended power-law (EPL) model, the 95$\%$ confidence level upper limit of $\Omega_k$ is $<0.011$. As for the parameters of the lens models, constrains on the three models indicate that the mass profile of the lens galaxy could not be simply described by the standard SIS model.


title: 2D-3D Pose Tracking with Multi-View Constraints

abstract: Camera localization in 3D LiDAR maps has gained increasing attention due to its promising ability to handle complex scenarios, surpassing the limitations of visual-only localization methods. However, existing methods mostly focus on addressing the cross-modal gaps, estimating camera poses frame by frame without considering the relationship between adjacent frames, which makes the pose tracking unstable. To alleviate this, we propose to couple the 2D-3D correspondences between adjacent frames using the 2D-2D feature matching, establishing the multi-view geometrical constraints for simultaneously estimating multiple camera poses. Specifically, we propose a new 2D-3D pose tracking framework, which consists: a front-end hybrid flow estimation network for consecutive frames and a back-end pose optimization module. We further design a cross-modal consistency-based loss to incorporate the multi-view constraints during the training and inference process. We evaluate our proposed framework on the KITTI and Argoverse datasets. Experimental results demonstrate its superior performance compared to existing frame-by-frame 2D-3D pose tracking methods and state-of-the-art vision-only pose tracking algorithms. More online pose tracking videos are available at \url{https://youtu.be/yfBRdg7gw5M}


title: High-pressure Phase Transition of Olivine-type Mg$_2$GeO$_4$ to a Metastable Forsterite-III type Structure and their Equation of States

abstract: Germanates are often used as structural analogs of planetary silicates. We have explored the high-pressure phase relations in Mg$_2$GeO$_4$ using diamond anvil cell experiments combined with synchrotron x-ray diffraction and computations based on density functional theory. Upon room temperature compression, forsterite-type Mg$_2$GeO$_4$ remains stable up to 30 GPa. At higher pressures, a phase transition to a forsterite-III type (Cmc21) structure was observed, which remained stable to the peak pressure of 105 GPa. Using a 3rd order Birch Murnaghan fit to the experimental data, we obtained V0 = 305.1 (3) {\AA}3, K0 = 124.6 (14) GPa and K0' = 3.86 (fixed) for forsterite- and V0 = 263.5 (15) {\AA}3, K0 = 175 (7) GPa and K0' = 4.2 (fixed) for the forsterite-III type phase. The forsterite-III type structure was found to be metastable when compared to the stable assemblage of perovskite/post-perovskite + MgO, as observed during laser-heating experiments. Understanding the phase relations and physical properties of metastable phases is crucial for studying the mineralogy of impact sites, understanding metastable wedges in subducting slabs and interpreting the results of shock compression experiments.


title: Memory-Anonymous Starvation-Free Mutual Exclusion: Possibility and Impossibility Results

abstract: In an anonymous shared memory system, all inter-process communications are via shared objects; however, unlike in standard systems, there is no a priori agreement between processes on the names of shared objects [14,15]. Furthermore, the algorithms are required to be symmetric; that is, the processes should execute precisely the same code, and the only way to distinguish processes is by comparing identifiers for equality. For such a system, read/write registers are called anonymous registers. It is known that symmetric deadlock-free mutual exclusion is solvable for any finite number of processes using anonymous registers [1]. The main question left open in [14,15] is the existence of starvation-free mutual exclusion algorithms for two or more processes. We resolve this open question for memoryless algorithms, in which a process that tries to enter its critical section does not use any information about its previous attempts. Almost all known mutual exclusion algorithms are memoryless. We show that (1) there is a symmetric memoryless starvation-free mutual exclusion algorithm for two processes using $m \geq 7$ anonymous registers if and only if $m$ is odd; and (2) there is no symmetric memoryless starvation-free mutual exclusion algorithm for $n\geq 3$ processes using (any number of) anonymous registers. Our impossibility result is the only example of a system with fault-free processes, where global progress (i.e., deadlock-freedom) can be ensured, while individual progress to each process (i.e., starvation-freedom) cannot. It complements a known result for systems with failure-prone processes, that there are objects with lock-free implementations but without wait-free implementations [2,5].


title: TRAVID: An End-to-End Video Translation Framework

abstract: In today's globalized world, effective communication with people from diverse linguistic backgrounds has become increasingly crucial. While traditional methods of language translation, such as written text or voice-only translations, can accomplish the task, they often fail to capture the complete context and nuanced information conveyed through nonverbal cues like facial expressions and lip movements. In this paper, we present an end-to-end video translation system that not only translates spoken language but also synchronizes the translated speech with the lip movements of the speaker. Our system focuses on translating educational lectures in various Indian languages, and it is designed to be effective even in low-resource system settings. By incorporating lip movements that align with the target language and matching them with the speaker's voice using voice cloning techniques, our application offers an enhanced experience for students and users. This additional feature creates a more immersive and realistic learning environment, ultimately making the learning process more effective and engaging.


title: Floquet engineering of black phosphorus upon below-gap pumping

abstract: Time-periodic light field can dress the electronic states and lead to light-induced emergent properties in quantum materials. While below-gap pumping is regarded favorable for Floquet engineering, so far direct experimental evidence of momentum-resolved band renormalization still remains missing. Here, we report experimental evidence of light-induced band renormalization in black phosphorus by pumping at photon energy of 160 meV which is far below the band gap, and the distinction between below-gap pumping and near-resonance pumping is revealed. Our work demonstrates light-induced band engineering upon below-gap pumping, and provides insights for extending Floquet engineering to more quantum materials.


title: GW190425: Pan-STARRS and ATLAS coverage of the skymap and limits on optical emission associated with FRB190425

abstract: GW190425 is the second of only two binary neutron star (BNS) merger events to be significantly detected by the LIGO-Virgo- Kagra gravitational wave detectors. With a detection only in LIGO Livingston, the skymap containing the source was large and no plausible electromagnetic counterpart was found in real time searching in 2019. Here we summarise our ATLAS and Pan-STARRS wide-field optical coverage of the skymap beginning within 1 hour and 3 hours respectively of the GW190425 merger time. More recently, a potential coincidence between GW190425 and a fast radio burst FRB 190425 has been suggested, given their spatial and temporal coincidence. The smaller sky localisation area of FRB 190425 and its dispersion measure have led to the identification of a likely host galaxy, UGC 10667 at a distance of 141 +/- 10 Mpc. Our optical imaging covered the galaxy 6.0 hrs after GW190425 was detected and 3.5 hrs after the FRB 190425. No optical emission was detected and further imaging at +1.2 and +13.2 days also revealed no emission. If the FRB 190425 and GW190425 association were real, we highlight our limits on kilonova emission from a BNS merger in UGC 10667. The model for producing FRB 190425 from a BNS merger involves a supramassive magnetised neutron star spinning down by dipole emission on the timescale of hours. We show that magnetar enhanced kilonova emission is ruled out by optical upper limits. The lack of detected optical emission from a kilonova in UGC 10667 disfavours, but does not disprove, the FRB-GW link for this source.


title: Article Classification with Graph Neural Networks and Multigraphs

abstract: Classifying research output into context-specific label taxonomies is a challenging and relevant downstream task, given the volume of existing and newly published articles. We propose a method to enhance the performance of article classification by enriching simple Graph Neural Network (GNN) pipelines with multi-graph representations that simultaneously encode multiple signals of article relatedness, e.g. references, co-authorship, shared publication source, shared subject headings, as distinct edge types. Fully supervised transductive node classification experiments are conducted on the Open Graph Benchmark OGBN-arXiv dataset and the PubMed diabetes dataset, augmented with additional metadata from Microsoft Academic Graph and PubMed Central, respectively. The results demonstrate that multi-graphs consistently improve the performance of a variety of GNN models compared to the default graphs. When deployed with SOTA textual node embedding methods, the transformed multi-graphs enable simple and shallow 2-layer GNN pipelines to achieve results on par with more complex architectures.


title: The Magnetic Gradient Scale Length Explains Why Certain Plasmas Require Close External Magnetic Coils

abstract: The separation between the last closed flux surface of a plasma and the external coils that magnetically confine it is a limiting factor in the construction of fusion-capable plasma devices. This plasma-coil separation must be large enough so that components such as a breeding blanket and neutron shielding can fit between the plasma and the coils. Plasma-coil separation affects reactor size, engineering complexity, and particle loss due to field ripple. For some plasmas it can be difficult to produce the desired flux surface shaping with distant coils, and for other plasmas it is infeasible altogether. Here, we seek to understand the underlying physics that limits plasma-coil separation and explain why some configurations require close external coils. In this paper, we explore the hypothesis that the limiting plasma-coil separation is set by the shortest scale length of the magnetic field as expressed by the $\nabla$B tensor. We tested this hypothesis on a database of > 40 stellarator and tokamak configurations. Within this database, the coil-to-plasma distance compared to the minor radius varies by over an order of magnitude. The magnetic scale length is well correlated to the coil-to-plasma distance of actual coil designs generated using the REGCOIL method [Landreman, Nucl. Fusion 57, 046003 (2017)]. Additionally, this correlation reveals a general trend that larger plasma-coil separation is possible with a small number of field periods.


title: Using Property Elicitation to Understand the Impacts of Fairness Regularizers

abstract: Predictive algorithms are often trained by optimizing some loss function, to which regularization functions are added to impose a penalty for violating constraints. As expected, the addition of such regularization functions can change the minimizer of the objective. It is not well-understood which regularizers change the minimizer of the loss, and, when the minimizer does change, how it changes. We use property elicitation to take first steps towards understanding the joint relationship between the loss and regularization functions and the optimal decision for a given problem instance. In particular, we give a necessary and sufficient condition on loss and regularizer pairs for when a property changes with the addition of the regularizer, and examine some regularizers satisfying this condition standard in the fair machine learning literature. We empirically demonstrate how algorithmic decision-making changes as a function of both data distribution changes and hardness of the constraints.


title: Energetics of twisted elastic filament pairs

abstract: We investigate the elastic energy stored in a filament pair as a function of applied twist by measuring torque under prescribed end-to-end separation conditions. We show that the torque increases rapidly to a peak with applied twist when the filaments are initially separate, then decreases to a minimum as the filaments cross and come into contact. The torque then increases again while the filaments form a double helix with increasing twist. A nonlinear elasto-geometric model that combines the effect of geometrical nonlinearities with large stretching and self-twist is shown to capture the evolution of the helical geometry, the torque profile, and the stored energy with twist. We find that a large fraction of the total energy is stored in stretching the filaments, which increases with separation distance and applied tension. We find that only a small fraction of energy is stored in the form of bending energy, and that the contribution due to contact energy is negligible. Our study highlights the consequences of stretchablility on filament twisting which is a fundamental topological transformation relevant to making ropes, tying shoelaces, actuating robots, and the physical properties of entangled polymers.


title: Einstein-Cartan pseudoscalaron inflation

abstract: We study a class of early universe cosmological models based on Einstein-Cartan gravity and including a higher derivative term corresponding to a power of the Holst scalar curvature. The resulting effective action is basically given by General Relativity and an additional neutral pseudoscalar field (the pseudoscalaron), unequivocally related to the corresponding components of the torsion, that necessarily acquire a dynamics. The induced pseudoscalaron potential provides a realistic inflationary phase together with a very rich postinflationary epoch, resulting by the coupling of the pseudoscalaron to ordinary matter.


title: GECTurk: Grammatical Error Correction and Detection Dataset for Turkish

abstract: Grammatical Error Detection and Correction (GEC) tools have proven useful for native speakers and second language learners. Developing such tools requires a large amount of parallel, annotated data, which is unavailable for most languages. Synthetic data generation is a common practice to overcome the scarcity of such data. However, it is not straightforward for morphologically rich languages like Turkish due to complex writing rules that require phonological, morphological, and syntactic information. In this work, we present a flexible and extensible synthetic data generation pipeline for Turkish covering more than 20 expert-curated grammar and spelling rules (a.k.a., writing rules) implemented through complex transformation functions. Using this pipeline, we derive 130,000 high-quality parallel sentences from professionally edited articles. Additionally, we create a more realistic test set by manually annotating a set of movie reviews. We implement three baselines formulating the task as i) neural machine translation, ii) sequence tagging, and iii) prefix tuning with a pretrained decoder-only model, achieving strong results. Furthermore, we perform exhaustive experiments on out-of-domain datasets to gain insights on the transferability and robustness of the proposed approaches. Our results suggest that our corpus, GECTurk, is high-quality and allows knowledge transfer for the out-of-domain setting. To encourage further research on Turkish GEC, we release our datasets, baseline models, and the synthetic data generation pipeline at https://github.com/GGLAB-KU/gecturk.


title: Joint continuity in semitopological monoids and semilattices

abstract: In this paper we study the separately continuous actions of semitopological monoids on pseudocompact spaces. The main aim of this paper is to generalize Lawson's results to some class of pseudocompact spaces. Also, we introduce a concept of a weak $q_D$-space and prove that a pseudocompact space and a weak $q_D$-space form a Grothendieck pair. As an application of the main result, we investigate the continuity of multiplication and taking inverses in subgroups of semitopological semigroups. In particular, we get that if $(S,\bullet)$ is a Tychonoff pseudocompact semitopological monoid with a quasicontinuous multiplication $\bullet$ and $G$ is a subgroup of $S$, then $G$ is a topological group. Also, we study the continuity of operations in semitopological semilattices.


title: Quantitative Phase Imaging with a Metalens

abstract: Quantitative phase imaging (QPI) recovers the exact wavefront of light from the intensity measured by a camera. Topographical maps of translucent microscopic bodies can be extracted from these quantified phase shifts. We demonstrate quantitative phase imaging at the tip of an optical fiber endoscope with a chromatic silicon nitride metalens. Our method leverages spectral multiplexing to recover phase from multiple defocus planes in a single capture. The half millimeter wide metalens shows phase imaging capability with a 280 field of view and 0.1{\lambda} sensitivity in experiments with an endoscopic fiber bundle. Since the spectral functionality is encoded directly in the imaging lens, no additional filters are needed. Key limitations in the scaling of a phase imaging system, such as multiple acquisition, interferometric alignment or mechanical scanning are completely mitigated in the proposed scheme


title: Inference-based statistical network analysis uncovers star-like brain functional architectures for internalizing psychopathology in children

abstract: To improve the statistical power for imaging biomarker detection, we propose a latent variable-based statistical network analysis (LatentSNA) that combines brain functional connectivity with internalizing psychopathology, implementing network science in a generative statistical process to preserve the neurologically meaningful network topology in the adolescents and children population. The developed inference-focused generative Bayesian framework (1) addresses the lack of power and inflated Type II errors in current analytic approaches when detecting imaging biomarkers, (2) allows unbiased estimation of biomarkers' influence on behavior variants, (3) quantifies the uncertainty and evaluates the likelihood of the estimated biomarker effects against chance and (4) ultimately improves brain-behavior prediction in novel samples and the clinical utilities of neuroimaging findings. We collectively model multi-state functional networks with multivariate internalizing profiles for 5,000 to 7,000 children in the Adolescent Brain Cognitive Development (ABCD) study with sufficiently accurate prediction of both children internalizing traits and functional connectivity, and substantially improved our ability to explain the individual internalizing differences compared with current approaches. We successfully uncover large, coherent star-like brain functional architectures associated with children's internalizing psychopathology across multiple functional systems and establish them as unique fingerprints for childhood internalization.


title: Better Sooner Rather Than Later

abstract: This article unifies and generalizes fundamental results related to $n$-process asynchronous crash-prone distributed computing. More precisely, it proves that for every $0\leq k \leq n$, assuming that process failures occur only before the number of participating processes bypasses a predefined threshold that equals $n-k$ (a participating process is a process that has executed at least one statement of its code), an asynchronous algorithm exists that solves consensus for $n$ processes in the presence of $f$ crash failures if and only if $f \leq k$. In a very simple and interesting way, the "extreme" case $k=0$ boils down to the celebrated FLP impossibility result (1985, 1987). Moreover, the second extreme case, namely $k=n$, captures the celebrated mutual exclusion result by E.W. Dijkstra (1965) that states that mutual exclusion can be solved for $n$ processes in an asynchronous read/write shared memory system where any number of processes may crash (but only) before starting to participate in the algorithm (that is, participation is not required, but once a process starts participating it may not fail). More generally, the possibility/impossibility stated above demonstrates that more failures can be tolerated when they occur earlier in the computation (hence the title).


title: C$\cdot$ASE: Learning Conditional Adversarial Skill Embeddings for Physics-based Characters

abstract: We present C$\cdot$ASE, an efficient and effective framework that learns conditional Adversarial Skill Embeddings for physics-based characters. Our physically simulated character can learn a diverse repertoire of skills while providing controllability in the form of direct manipulation of the skills to be performed. C$\cdot$ASE divides the heterogeneous skill motions into distinct subsets containing homogeneous samples for training a low-level conditional model to learn conditional behavior distribution. The skill-conditioned imitation learning naturally offers explicit control over the character's skills after training. The training course incorporates the focal skill sampling, skeletal residual forces, and element-wise feature masking to balance diverse skills of varying complexities, mitigate dynamics mismatch to master agile motions and capture more general behavior characteristics, respectively. Once trained, the conditional model can produce highly diverse and realistic skills, outperforming state-of-the-art models, and can be repurposed in various downstream tasks. In particular, the explicit skill control handle allows a high-level policy or user to direct the character with desired skill specifications, which we demonstrate is advantageous for interactive character animation.


title: Principal component analysis in Bayes spaces for sparsely sampled density functions

abstract: This paper presents a novel approach to functional principal component analysis (FPCA) in Bayes spaces in the setting where densities are the object of analysis, but only few individual samples from each density are observed. We use the observed data directly to account for all sources of uncertainty, instead of relying on prior estimation of the underlying densities in a two-step approach, which can be inaccurate if small or heterogeneous numbers of samples per density are available. To account for the constrained nature of densities, we base our approach on Bayes spaces, which extend the Aitchison geometry for compositional data to density functions. For modeling, we exploit the isometric isomorphism between the Bayes space and the $\mathbb{L}^2$ subspace $\mathbb{L}_0^2$ with integration-to-zero constraint through the centered log-ratio transformation. As only discrete draws from each density are observed, we treat the underlying functional densities as latent variables within a maximum likelihood framework and employ a Monte Carlo Expectation Maximization (MCEM) algorithm for model estimation. Resulting estimates are useful for exploratory analyses of density data, for dimension reduction in subsequent analyses, as well as for improved preprocessing of sparsely sampled density data compared to existing methods. The proposed method is applied to analyze the distribution of maximum daily temperatures in Berlin during the summer months for the last 70 years, as well as the distribution of rental prices in the districts of Munich.


title: Prospects for searches of $b \to s \nu \bar{\nu}$ decays at FCC-ee

abstract: We investigate the physics reach and potential for the study of various decays involving a $b \to s \nu \bar{\nu}$ transition at the Future Circular Collider running electron-positron collisions at the $Z$-pole (FCC-ee). Signal and background candidates, which involve inclusive $Z$ contributions from $b\bar{b}$, $c\bar{c}$ and $uds$ final states, are simulated for a proposed multi-purpose detector. Signal candidates are selected using two Boosted Decision Tree algorithms. We determine expected relative sensitivities of $0.53\%$, $1.20\%$, $3.37\%$ and $9.86\%$ for the branching fractions of the $B^{0} \to K^{*0} \nu \bar{\nu}$, $B^{0}_{s} \to \phi \nu \bar{\nu}$, $B^{0} \to K^{0}_{S} \nu \bar{\nu}$ and $\Lambda_{b}^{0} \to \Lambda^{0} \nu \bar{\nu}$ decays, respectively. In addition, we investigate the impact of detector design choices related to particle-identification and vertex resolution. The phenomenological impact of such measurements on the extraction of Standard Model and new physics parameters is also studied.


title: Self-supervised learning unveils change in urban housing from street-level images

abstract: Cities around the world face a critical shortage of affordable and decent housing. Despite its critical importance for policy, our ability to effectively monitor and track progress in urban housing is limited. Deep learning-based computer vision methods applied to street-level images have been successful in the measurement of socioeconomic and environmental inequalities but did not fully utilize temporal images to track urban change as time-varying labels are often unavailable. We used self-supervised methods to measure change in London using 15 million street images taken between 2008 and 2021. Our novel adaptation of Barlow Twins, Street2Vec, embeds urban structure while being invariant to seasonal and daily changes without manual annotations. It outperformed generic embeddings, successfully identified point-level change in London's housing supply from street-level images, and distinguished between major and minor change. This capability can provide timely information for urban planning and policy decisions toward more liveable, equitable, and sustainable cities.


title: Scalar quasi-normal modes of accelerating Kerr-Newman-AdS black holes

abstract: We study linear scalar perturbations of slowly accelerating Kerr-Newman-anti-de Sitter black holes using the method of isomonodromic deformations. The conformally coupled Klein-Gordon equation separates into two second-order ordinary differential equations with five singularities. Nevertheless, the angular equation can be transformed into a Heun equation, for which we provide an asymptotic expansion for the angular eigenvalues in the small acceleration and rotation limit. In the radial case, we recast the boundary value problem in terms of a set of initial conditions for the isomonodromic tau function of Fuchsian systems with five regular singular points. For the sake of illustration, we compute the quasi-normal modes frequencies.


title: A Comprehensive Survey on Rare Event Prediction

abstract: Rare event prediction involves identifying and forecasting events with a low probability using machine learning and data analysis. Due to the imbalanced data distributions, where the frequency of common events vastly outweighs that of rare events, it requires using specialized methods within each step of the machine learning pipeline, i.e., from data processing to algorithms to evaluation protocols. Predicting the occurrences of rare events is important for real-world applications, such as Industry 4.0, and is an active research area in statistical and machine learning. This paper comprehensively reviews the current approaches for rare event prediction along four dimensions: rare event data, data processing, algorithmic approaches, and evaluation approaches. Specifically, we consider 73 datasets from different modalities (i.e., numerical, image, text, and audio), four major categories of data processing, five major algorithmic groupings, and two broader evaluation approaches. This paper aims to identify gaps in the current literature and highlight the challenges of predicting rare events. It also suggests potential research directions, which can help guide practitioners and researchers.


title: 3D Face Reconstruction: the Road to Forensics

abstract: 3D face reconstruction algorithms from images and videos are applied to many fields, from plastic surgery to the entertainment sector, thanks to their advantageous features. However, when looking at forensic applications, 3D face reconstruction must observe strict requirements that still make its possible role in bringing evidence to a lawsuit unclear. An extensive investigation of the constraints, potential, and limits of its application in forensics is still missing. Shedding some light on this matter is the goal of the present survey, which starts by clarifying the relation between forensic applications and biometrics, with a focus on face recognition. Therefore, it provides an analysis of the achievements of 3D face reconstruction algorithms from surveillance videos and mugshot images and discusses the current obstacles that separate 3D face reconstruction from an active role in forensic applications. Finally, it examines the underlying data sets, with their advantages and limitations, while proposing alternatives that could substitute or complement them.


title: On Green's function embedding using sum-over-pole representations

abstract: In Green's function theory, the total energy of an interacting many-electron system can be expressed in a variational form using the Klein or Luttinger-Ward functionals. Green's function theory also naturally addresses the case where the interacting system is embedded into a bath. This latter can then act as a dynamical (i.e., frequency-dependent) potential, providing a more general framework than that of conventional static external potentials. Notably, the Klein functional includes a term of the form $\text{Tr}_\omega \text{Ln}\left\{G_0^{-1}G\right\}$, where $\text{Tr}_\omega$ is the frequency integration of the trace operator. Here, we show that using a sum-over-pole representation for the Green's functions and the algorithmic-inversion method one can obtain in full generality an explicit analytical expression for $\text{Tr}_\omega \text{Ln}\left\{G_0^{-1}G\right\}$. This allows one, e.g., to derive a variational expression for the Klein functional in the presence of an embedding bath, or to provide an explicit expression of the RPA correlation energy in the framework of the optimized effective potential.


title: Prompt, Plan, Perform: LLM-based Humanoid Control via Quantized Imitation Learning

abstract: In recent years, reinforcement learning and imitation learning have shown great potential for controlling humanoid robots' motion. However, these methods typically create simulation environments and rewards for specific tasks, resulting in the requirements of multiple policies and limited capabilities for tackling complex and unknown tasks. To overcome these issues, we present a novel approach that combines adversarial imitation learning with large language models (LLMs). This innovative method enables the agent to learn reusable skills with a single policy and solve zero-shot tasks under the guidance of LLMs. In particular, we utilize the LLM as a strategic planner for applying previously learned skills to novel tasks through the comprehension of task-specific prompts. This empowers the robot to perform the specified actions in a sequence. To improve our model, we incorporate codebook-based vector quantization, allowing the agent to generate suitable actions in response to unseen textual commands from LLMs. Furthermore, we design general reward functions that consider the distinct motion features of humanoid robots, ensuring the agent imitates the motion data while maintaining goal orientation without additional guiding direction approaches or policies. To the best of our knowledge, this is the first framework that controls humanoid robots using a single learning policy network and LLM as a planner. Extensive experiments demonstrate that our method exhibits efficient and adaptive ability in complicated motion tasks.


title: The norm of the backward shift on $H^1$ is $\frac{2}{\sqrt{3}}$

abstract: We show that the norm of the backward shift operator on $H^1$ is $2/\sqrt{3}$, and we identify the functions for which the norm is attained.


title: Knowledge Graph Question Answering for Materials Science (KGQA4MAT): Developing Natural Language Interface for Metal-Organic Frameworks Knowledge Graph (MOF-KG) Using LLM

abstract: We present a comprehensive benchmark dataset for Knowledge Graph Question Answering in Materials Science (KGQA4MAT), with a focus on metal-organic frameworks (MOFs). A knowledge graph for metal-organic frameworks (MOF-KG) has been constructed by integrating structured databases and knowledge extracted from the literature. To enhance MOF-KG accessibility for domain experts, we aim to develop a natural language interface for querying the knowledge graph. We have developed a benchmark comprised of 161 complex questions involving comparison, aggregation, and complicated graph structures. Each question is rephrased in three additional variations, resulting in 644 questions and 161 KG queries. To evaluate the benchmark, we have developed a systematic approach for utilizing the LLM, ChatGPT, to translate natural language questions into formal KG queries. We also apply the approach to the well-known QALD-9 dataset, demonstrating ChatGPT's potential in addressing KGQA issues for different platforms and query languages. The benchmark and the proposed approach aim to stimulate further research and development of user-friendly and efficient interfaces for querying domain-specific materials science knowledge graphs, thereby accelerating the discovery of novel materials.


title: BBBW on the spindle

abstract: We study the spindle compactification of families of AdS$_5$ consistent truncations corresponding to M5 branes wrapped on complex curves in Calabi-Yau three-folds. From the AdS/CFT correspondence these models are dual to $\mathcal{N}=1$ SCFTs obtained by gluing of $T_N$ blocks. The truncations considered here have both vector and hyper multiplets and the analysis of the BPS equations on the spindle allows to extract the central charges. Such analysis gives also consistency conditions for the existence of the solutions. The solutions are then found both analytically and numerically for opportune choices of the charges for some sub-families of truncations. We then compare our results with the one expected from the field theory side, by integrating the anomaly polynomial.


title: Robert's theorem and graphs on complete lattices

abstract: Automata networks, and in particular Boolean networks, are used to model diverse networks of interacting entities. The interaction graph of an automata network is its most important parameter, as it represents the overall architecture of the network. A continuous amount of work has been devoted to infer dynamical properties of the automata network based on its interaction graph only. Robert's theorem is the seminal result in this area; it states that automata networks with an acyclic interaction graph converge to a unique fixed point. The feedback bound can be viewed as an extension of Robert's theorem; it gives an upper bound on the number of fixed points of an automata network based on the size of a minimum feedback vertex set of its interaction graph. Boolean networks can be viewed as self-mappings on the power set lattice of the set of entities. In this paper, we consider self-mappings on a general complete lattice. We make two conceptual contributions. Firstly, we can view a digraph as a residuated mapping on the power set lattice; as such, we define a graph on a complete lattice as a residuated mapping on that lattice. We extend and generalise some results on digraphs to our setting. Secondly, we introduce a generalised notion of dependency whereby any mapping $\phi$ can depend on any other mapping $\alpha$. In fact, we are able to give four kinds of dependency in this case. We can then vastly expand Robert's theorem to self-mappings on general complete lattices; we similarly generalise the feedback bound. We then obtain stronger results in the case where the lattice is a complete Boolean algebra. We finally show how our results can be applied to prove the convergence of automata networks.


title: Rational extensions of an oscillator-shaped quantum well potential in a position-dependent mass background

abstract: We show that a recently proposed oscillator-shaped quantum well model associated with a position-dependent mass can be solved by applying a point canonical transformation to the constant-mass Schr\"odinger equation for the Scarf I potential. On using the known rational extension of the latter connected with $X_1$-Jacobi exceptional orthogonal polynomials, we build a rationally-extended position-dependent mass model with the same spectrum as the starting one. Some more involved position-dependent mass models associated with $X_2$-Jacobi exceptional orthogonal polynomials are also considered.


title: Automated Lyapunov Analysis of Primal-Dual Optimization Algorithms: An Interpolation Approach

abstract: Primal-dual algorithms are frequently used for iteratively solving large-scale convex optimization problems. The analysis of such algorithms is usually done on a case-by-case basis, and the resulting guaranteed rates of convergence can be conservative. Here we consider a class of first-order algorithms for linearly constrained convex optimization problems, and provide a linear matrix inequality (LMI) analysis framework for certifying worst-case exponential convergence rates. Our approach builds on recent results for interpolation of convex functions and linear operators, and our LMI directly constructs a Lyapunov function certifying the guaranteed convergence rate. By comparing to rates established in the literature, we show that our approach can certify significantly faster convergence for this family of algorithms.