title: Structural fluctuations in thin cohesive particle layers in powder-based additive manufacturing

abstract: Producing dense and homogeneous powder layers with smooth free surface is challenging in additive manufacturing, as interparticle cohesion can strongly affect the powder packing structure and therefore influence the quality of the end product. We use the Discrete Element Method to simulate the spreading process of spherical powders and examine how cohesion influences the characteristics of the packing structure with a focus on the fluctuation of the local morphology. As cohesion increases, the overall packing density decreases, and the free surface roughness increases, which is calculated from digitized surface height distributions. Local structural fluctuations for both quantities are examined through the local packing anisotropy on the particle scale, obtained from Vorono\"{\i} tessellation. The distributions of these particle-level metrics quantify the increasingly heterogeneous packing structure with clustering and changing surface morphology.


title: Reduction of Couplings in the Type-II 2HDM

abstract: The idea of reduction of couplings consists in the search for relations between seemingly independent couplings of a renormalizable theory that are renormalization group invariant. In this article, we demonstrate the existence of such 1-loop relations among the top Yukawa, the Higgs quartic and the gauge colour couplings of the Type-II Two Higgs Doublet Model at a high-energy boundary. The phenomenological viability of the reduced theory suggests the value of $\tan\beta$ and the scale in which new physics may appear.


title: A note on the tensor and vector exchange contributions to $K \bar K \to K \bar K, D \bar D \to D \bar D $ and $\pi^+ \pi^-\to \pi^+ \pi^-$ reactions

abstract: In this note we study the tensor and vector exchange contributions to the elastic reactions involving the pseudoscalars mesons $\pi^+ \pi^-$, $K^{+}K^{-}$ and $D^{+}D^{-}$. In the case of the tensor-exchange contributions we assume that an intermediate tensor $f_2(1270)$ is dynamically generated from the interaction of two virtual $\rho$ mesons, with the use of a pole approximation. The calculation of the two-loop amplitude is facilitated since the triangle loops can be factorized and computed separately. The results show very small contributions coming from the tensor-exchange mechanisms when compared with those from the vector-exchange processes. We compare our results for $\pi \pi$ and $K\bar{K}$ scattering with those obtained in other works where the $f_2(1270)$ is considered as an ordinary $q\bar{q}$ meson. Our picture provides a smaller contribution but of similar order of magnitude for pion scattering and stabilizes the results in the case of $K\bar{K}$, allowing us to make estimates for $D\bar{D}$ scattering.


title: SwG-former: A Sliding-Window Graph Convolutional Network for Simultaneous Spatial-Temporal Information Extraction in Sound Event Localization and Detection

abstract: Sound event localization and detection (SELD) involves sound event detection (SED) and direction of arrival (DoA) estimation tasks. SED mainly relies on temporal dependencies to distinguish different sound classes, while DoA estimation depends on spatial correlations to estimate source directions. This paper addresses the need to simultaneously extract spatial-temporal information in audio signals to improve SELD performance. A novel block, the sliding-window graph-former (SwG-former), is designed to learn temporal context information of sound events based on their spatial correlations. The SwG-former block transforms audio signals into a graph representation and constructs graph vertices to capture higher abstraction levels for spatial correlations. It uses different-sized sliding windows to adapt various sound event durations and aggregates temporal features with similar spatial information while incorporating multi-head self-attention (MHSA) to model global information. Furthermore, as the cornerstone of message passing, a robust Conv2dAgg function is proposed and embedded into the block to aggregate the features of neighbor vertices. As a result, a SwG-former model, which stacks the SwG-former blocks, demonstrates superior performance compared to recent advanced SELD models. The SwG-former block is also integrated into the event-independent network version 2 (EINV2), called SwG-EINV2, which surpasses the state-of-the-art (SOTA) methods under the same acoustic environment.


title: Contrast Everything: A Hierarchical Contrastive Framework for Medical Time-Series

abstract: Contrastive representation learning is crucial in medical time series analysis as it alleviates dependency on labor-intensive, domain-specific, and scarce expert annotations. However, existing contrastive learning methods primarily focus on one single data level, which fails to fully exploit the intricate nature of medical time series. To address this issue, we present COMET, an innovative hierarchical framework that leverages data consistencies at all inherent levels in medical time series. Our meticulously designed model systematically captures data consistency from four potential levels: observation, sample, trial, and patient levels. By developing contrastive loss at multiple levels, we can learn effective representations that preserve comprehensive data consistency, maximizing information utilization in a self-supervised manner. We conduct experiments in the challenging patient-independent setting. We compare COMET against six baselines using three diverse datasets, which include ECG signals for myocardial infarction and EEG signals for Alzheimer's and Parkinson's diseases. The results demonstrate that COMET consistently outperforms all baselines, particularly in setup with 10% and 1% labeled data fractions across all datasets. These results underscore the significant impact of our framework in advancing contrastive representation learning techniques for medical time series. The source code is available at https://github.com/DL4mHealth/COMET.


title: Temporal convolutional neural networks to generate a head-related impulse response from one direction to another

abstract: Virtual sound synthesis is a technology that allows users to perceive spatial sound through headphones or earphones. However, accurate virtual sound requires an individual head-related transfer function (HRTF), which can be difficult to measure due to the need for a specialized environment. In this study, we proposed a method to generate HRTFs from one direction to the other. To this end, we used temporal convolutional neural networks (TCNs) to generate head-related impulse responses (HRIRs). To train the TCNs, publicly available datasets in the horizontal plane were used. Using the trained networks, we successfully generated HRIRs for directions other than the front direction in the dataset. We found that the proposed method successfully generated HRIRs for publicly available datasets. To test the generalization of the method, we measured the HRIRs of a new dataset and tested whether the trained networks could be used for this new dataset. Although the similarity evaluated by spectral distortion was slightly degraded, behavioral experiments with human participants showed that the generated HRIRs were equivalent to the measured ones. These results suggest that the proposed TCNs can be used to generate personalized HRIRs from one direction to another, which could contribute to the personalization of virtual sound.


title: You Only Condense Once: Two Rules for Pruning Condensed Datasets

abstract: Dataset condensation is a crucial tool for enhancing training efficiency by reducing the size of the training dataset, particularly in on-device scenarios. However, these scenarios have two significant challenges: 1) the varying computational resources available on the devices require a dataset size different from the pre-defined condensed dataset, and 2) the limited computational resources often preclude the possibility of conducting additional condensation processes. We introduce You Only Condense Once (YOCO) to overcome these limitations. On top of one condensed dataset, YOCO produces smaller condensed datasets with two embarrassingly simple dataset pruning rules: Low LBPE Score and Balanced Construction. YOCO offers two key advantages: 1) it can flexibly resize the dataset to fit varying computational constraints, and 2) it eliminates the need for extra condensation processes, which can be computationally prohibitive. Experiments validate our findings on networks including ConvNet, ResNet and DenseNet, and datasets including CIFAR-10, CIFAR-100 and ImageNet. For example, our YOCO surpassed various dataset condensation and dataset pruning methods on CIFAR-10 with ten Images Per Class (IPC), achieving 6.98-8.89% and 6.31-23.92% accuracy gains, respectively. The code is available at: https://github.com/he-y/you-only-condense-once.


title: Dimension Reduction for Positively Curved Steady Solitons

abstract: We consider noncollapsed steady gradient Ricci solitons with nonnegative sectional curvature. We show that such solitons always dimension reduce at infinity. This generalizes an earlier result in [CDM22] to higher dimensions. In dimension four, we classify possible reductions at infinity, which lays foundation for possible classifications of steady solitons. Moreover, we show that any tangent flow at infinity of a general noncollapsed steady soliton must split off a line. This generalizes an earlier result in [BCDMZ21] to higher dimensions. While this article is under preparation, we realized that part of our main results are proved independently in a recent post [ZZ23] under different assumptions.


title: Survey of Vector Database Management Systems

abstract: There are now over 20 commercial vector database management systems (VDBMSs), all produced within the past five years. But embedding-based retrieval has been studied for over ten years, and similarity search a staggering half century and more. Driving this shift from algorithms to systems are new data intensive applications, notably large language models, that demand vast stores of unstructured data coupled with reliable, secure, fast, and scalable query processing capability. A variety of new data management techniques now exist for addressing these needs, however there is no comprehensive survey to thoroughly review these techniques and systems. We start by identifying five main obstacles to vector data management, namely vagueness of semantic similarity, large size of vectors, high cost of similarity comparison, lack of natural partitioning that can be used for indexing, and difficulty of efficiently answering hybrid queries that require both attributes and vectors. Overcoming these obstacles has led to new approaches to query processing, storage and indexing, and query optimization and execution. For query processing, a variety of similarity scores and query types are now well understood; for storage and indexing, techniques include vector compression, namely quantization, and partitioning based on randomization, learning partitioning, and navigable partitioning; for query optimization and execution, we describe new operators for hybrid queries, as well as techniques for plan enumeration, plan selection, and hardware accelerated execution. These techniques lead to a variety of VDBMSs across a spectrum of design and runtime characteristics, including native systems specialized for vectors and extended systems that incorporate vector capabilities into existing systems. We then discuss benchmarks, and finally we outline research challenges and point the direction for future work.


title: Trocq: Proof Transfer for Free, With or Without Univalence

abstract: Libraries of formalized mathematics use a possibly broad range of different representations for a same mathematical concept. Yet light to major manual input from users remains most often required for obtaining the corresponding variants of theorems, when such obvious replacements are typically left implicit on paper. This article presents Trocq, a new proof transfer framework for dependent type theory. Trocq is based on a novel formulation of type equivalence, used to generalize the univalent parametricity translation. This framework takes care of avoiding dependency on the axiom of univalence when possible, and may be used with more relations than just equivalences. We have implemented a corresponding plugin for the Coq proof assistant, in the CoqElpi meta-language. We use this plugin on a gallery of representative examples of proof transfer issues in interactive theorem proving, and illustrate how Trocq covers the spectrum of several existing tools, used in program verification as well as in formalized mathematics in the broad sense.


title: Search for narrow trijet resonances in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: The first search for narrow resonances decaying to three well-separated hadronic jets is presented. The search uses proton-proton collision data corresponding to an integrated luminosity of 138 fb$^{-1}$ at $\sqrt{s}$ = 13 TeV, collected at the CERN LHC. No significant deviations from the background predictions are observed between 1.75-9.00 TeV. The results provide the first mass limits on a right-handed boson Z$_{\mathrm{R}}$ decaying to three gluons, an excited quark decaying via a vector boson to three quarks, as well as updated limits on a Kaluza-Klein gluon decaying via a radion to three gluons.


title: Observation and quantification of pseudogap in unitary Fermi gases

abstract: The nature of pseudogap lies at the heart of strongly-interacting superconductivity and superfluidity. With known pairing interactions, unitary Fermi gases provide an ideal testbed to verify whether a pseudogap can arise from many-body pairing. Here we report the observation of the long-sought pair-fluctuation-driven pseudogap in homogeneous unitary Fermi gases of lithium-6 atoms, by precisely measuring the spectral function through momentum-resolved microwave spectroscopy without the serious effects of final-state effect. We find a large pseudogap above the superfluid transition. The inverse pair lifetime exhibits a thermally-activated exponential behavior, uncovering the microscopic virtual pair breaking and recombination mechanism. The obtained large, T-independent single-particle scattering rate is comparable with that set by the Planckian limit. Our findings quantitatively characterize the pseudogap in strongly-interacting Fermi gases, highlighting the role of preformed pairing as a precursor to superfluidity.


title: Large Language Models and Multimodal Retrieval for Visual Word Sense Disambiguation

abstract: Visual Word Sense Disambiguation (VWSD) is a novel challenging task with the goal of retrieving an image among a set of candidates, which better represents the meaning of an ambiguous word within a given context. In this paper, we make a substantial step towards unveiling this interesting task by applying a varying set of approaches. Since VWSD is primarily a text-image retrieval task, we explore the latest transformer-based methods for multimodal retrieval. Additionally, we utilize Large Language Models (LLMs) as knowledge bases to enhance the given phrases and resolve ambiguity related to the target word. We also study VWSD as a unimodal problem by converting to text-to-text and image-to-image retrieval, as well as question-answering (QA), to fully explore the capabilities of relevant models. To tap into the implicit knowledge of LLMs, we experiment with Chain-of-Thought (CoT) prompting to guide explainable answer generation. On top of all, we train a learn to rank (LTR) model in order to combine our different modules, achieving competitive ranking results. Extensive experiments on VWSD demonstrate valuable insights to effectively drive future directions.


title: Casimir Effect Invalidates the Drude Model for Transverse Electric Evanescent Waves

abstract: We consider the Casimir pressure between two metallic plates and calculate the four contributions to it determined by the propagating and evanescent waves and by the transverse magnetic and transverse electric polarizations of the electromagnetic field. The range of interplate separations is considered where nearly the whole pressure has its origin in the electromagnetic response of conduction electrons. In the Casimir physics, this response is described either by the dissipative Drude model resulting in contradictions with the measurement data or by the experimentally consistent but dissipationless plasma model. It is shown that the total transverse magnetic contribution to the Casimir pressure due to both the propagating and evanescent waves and the transverse electric contribution due to only the propagating waves, computed by means of the Drude model, correlate well with the corresponding results obtained using the plasma model. The conclusion is made that a disagreement between the theoretical predictions obtained using the Drude model and precision measurements of the Casimir force is not caused by the account of dissipation in itself, but arises from an incorrect description of the response of metals to the low-frequency transverse electric evanescent waves by this model. It is demonstrated that the Drude model has no supporting experimental evidence in the range of transverse electric evanescent waves, so that the above conclusion is consistent with all available information. The alternative test of the Drude model for the transverse electric evanescent waves suggested in the framework of classical electrodynamics is discussed.


title: On the solvability of the mixed problem for a fractional-order equation with a time-delay argument and pseudodifferential operators with non-local boundary conditions in Sobolev classes

abstract: In this work, a mixed problem for a time-fractional equation with a delayed argument and pseudodifferential operators related to Laplace operators with non-local boundary conditions in Sobolev classes is studied. The solutions to the initial-boundary problem are constructed as a series of the eigenfunctions of a multidimensional spectral problem. The eigenvalues of the spectral problem are found, and the corresponding system of eigenfunctions is constructed. It is shown that this system of eigenfunctions is complete and forms a Riesz basis in the Sobolev subspaces. Based on the completeness of the system of eigenfunctions, the uniqueness theorem for the solution of the problem is proven. The existence of a regular solution to the posed initial-boundary problem in the Sobolev subspaces is also demonstrated.


title: GASCOM: Graph-based Attentive Semantic Context Modeling for Online Conversation Understanding

abstract: Online conversation understanding is an important yet challenging NLP problem which has many useful applications (e.g., hate speech detection). However, online conversations typically unfold over a series of posts and replies to those posts, forming a tree structure within which individual posts may refer to semantic context from higher up the tree. Such semantic cross-referencing makes it difficult to understand a single post by itself; yet considering the entire conversation tree is not only difficult to scale but can also be misleading as a single conversation may have several distinct threads or points, not all of which are relevant to the post being considered. In this paper, we propose a Graph-based Attentive Semantic COntext Modeling (GASCOM) framework for online conversation understanding. Specifically, we design two novel algorithms that utilise both the graph structure of the online conversation as well as the semantic information from individual posts for retrieving relevant context nodes from the whole conversation. We further design a token-level multi-head graph attention mechanism to pay different attentions to different tokens from different selected context utterances for fine-grained conversation context modeling. Using this semantic conversational context, we re-examine two well-studied problems: polarity prediction and hate speech detection. Our proposed framework significantly outperforms state-of-the-art methods on both tasks, improving macro-F1 scores by 4.5% for polarity prediction and by 5% for hate speech detection. The GASCOM context weights also enhance interpretability.


title: LLM-Prop: Predicting Physical And Electronic Properties Of Crystalline Solids From Their Text Descriptions

abstract: The prediction of crystal properties plays a crucial role in the crystal design process. Current methods for predicting crystal properties focus on modeling crystal structures using graph neural networks (GNNs). Although GNNs are powerful, accurately modeling the complex interactions between atoms and molecules within a crystal remains a challenge. Surprisingly, predicting crystal properties from crystal text descriptions is understudied, despite the rich information and expressiveness that text data offer. One of the main reasons is the lack of publicly available data for this task. In this paper, we develop and make public a benchmark dataset (called TextEdge) that contains text descriptions of crystal structures with their properties. We then propose LLM-Prop, a method that leverages the general-purpose learning capabilities of large language models (LLMs) to predict the physical and electronic properties of crystals from their text descriptions. LLM-Prop outperforms the current state-of-the-art GNN-based crystal property predictor by about 4% in predicting band gap, 3% in classifying whether the band gap is direct or indirect, and 66% in predicting unit cell volume. LLM-Prop also outperforms a finetuned MatBERT, a domain-specific pre-trained BERT model, despite having 3 times fewer parameters. Our empirical results may highlight the current inability of GNNs to capture information pertaining to space group symmetry and Wyckoff sites for accurate crystal property prediction.


title: Visual Tracking Nonlinear Model Predictive Control Method for Autonomous Wind Turbine Inspection

abstract: Automated visual inspection of on-and offshore wind turbines using aerial robots provides several benefits, namely, a safe working environment by circumventing the need for workers to be suspended high above the ground, reduced inspection time, preventive maintenance, and access to hard-to-reach areas. A novel nonlinear model predictive control (NMPC) framework alongside a global wind turbine path planner is proposed to achieve distance-optimal coverage for wind turbine inspection. Unlike traditional MPC formulations, visual tracking NMPC (VT-NMPC) is designed to track an inspection surface, instead of a position and heading trajectory, thereby circumventing the need to provide an accurate predefined trajectory for the drone. An additional capability of the proposed VT-NMPC method is that by incorporating inspection requirements as visual tracking costs to minimize, it naturally achieves the inspection task successfully while respecting the physical constraints of the drone. Multiple simulation runs and real-world tests demonstrate the efficiency and efficacy of the proposed automated inspection framework, which outperforms the traditional MPC designs, by providing full coverage of the target wind turbine blades as well as its robustness to changing wind conditions. The implementation codes are open-sourced.


title: DEM simulation of the powder application in powder bed fusion

abstract: The packing behavior of powders is significantly influenced by various types of inter-particle attractive forces, including adhesion and non-bonded van der Waals forces [1, 2, 3, 4, 5, 6]. Alongside particle size and shape distributions, the inter-particle interactions, in particular frictional and adhesive forces, play a crucial role in determining the flow behavior and consequently the packing density of the powder layer. The impact of various types of attractive forces on the packing density of powders with different materials and particle size distributions remains largely unexplored and requires further investigation. Accurately comprehending these effects through experiments while considering specific particle size distributions and material properties poses significant challenges. To address these challenges, we employ Discrete Element Method (DEM) simulations to characterize the packing behavior of fine powders. We can demonstrate quantitative agreement with experimental results by incorporating the appropriate particle size distribution and using an adequate model of attractive particle interactions. Furthermore, our findings indicate that both adhesion, which is modeled using the Johnson-Kendall-Roberts (JKR) model [7], and van der Waals interactions are crucial factors that must be taken into account in DEM simulations.


title: Analysing State-Backed Propaganda Websites: a New Dataset and Linguistic Study

abstract: This paper analyses two hitherto unstudied sites sharing state-backed disinformation, Reliable Recent News (rrn.world) and WarOnFakes (waronfakes.com), which publish content in Arabic, Chinese, English, French, German, and Spanish. We describe our content acquisition methodology and perform cross-site unsupervised topic clustering on the resulting multilingual dataset. We also perform linguistic and temporal analysis of the web page translations and topics over time, and investigate articles with false publication dates. We make publicly available this new dataset of 14,053 articles, annotated with each language version, and additional metadata such as links and images. The main contribution of this paper for the NLP community is in the novel dataset which enables studies of disinformation networks, and the training of NLP tools for disinformation detection.


title: Linking solar bosonic dark matter halos and active neutrinos

abstract: Our study investigates the complex interaction between active neutrinos and the ultralight bosonic dark matter halo surrounding the Sun. This halo extends over several solar radii due to the Sun's gravitational field, and we represent it as a coherent oscillating classical field configuration of bosonic dark matter particles that vary in time. Our investigation has revealed that, based on the available solar neutrino flux data, these novel models do not surpass the performance of the conventional neutrino flavour oscillation model. Furthermore, we discuss how next-generation solar neutrino detectors have the potential to provide evidence for the existence or absence of the ultralight dark matter halo.

categories: hep-ph astro-ph.CO astro-ph.SR hep-ex hep-th


title: Tree Prompting: Efficient Task Adaptation without Fine-Tuning

abstract: Prompting language models (LMs) is the main interface for applying them to new tasks. However, for smaller LMs, prompting provides low accuracy compared to gradient-based finetuning. Tree Prompting is an approach to prompting which builds a decision tree of prompts, linking multiple LM calls together to solve a task. At inference time, each call to the LM is determined by efficiently routing the outcome of the previous call using the tree. Experiments on classification datasets show that Tree Prompting improves accuracy over competing methods and is competitive with fine-tuning. We also show that variants of Tree Prompting allow inspection of a model's decision-making process.


title: Topological phases induced by charge fluctuations in Majorana wires

abstract: One of the problems concerning topological phases in solid-state systems which still remains urgent is an issue of many-body effects. In this study we address it within perturbative theory framework by considering topological phase transitions related to charge correlations in the extended Kitaev chain model that belongs to the BDI symmetry class. Obtained corrections to a zero-frequency quasiparticle Green's function allow to separate the mean-field and fluctuation contributions to a total winding number. As a result, the phase transitions caused solely by the latter are unveiled. We thoroughly analyze the mechanism of such transitions in terms of fluctuation-induced nodal points and spectrum renormalization. Additionally, features of other quasiparticle properties such as effective mass and damping are discussed in the context of topological phase transitions.


title: On discretisation drift and smoothness regularisation in neural network training

abstract: The deep learning recipe of casting real-world problems as mathematical optimisation and tackling the optimisation by training deep neural networks using gradient-based optimisation has undoubtedly proven to be a fruitful one. The understanding behind why deep learning works, however, has lagged behind its practical significance. We aim to make steps towards an improved understanding of deep learning with a focus on optimisation and model regularisation. We start by investigating gradient descent (GD), a discrete-time algorithm at the basis of most popular deep learning optimisation algorithms. Understanding the dynamics of GD has been hindered by the presence of discretisation drift, the numerical integration error between GD and its often studied continuous-time counterpart, the negative gradient flow (NGF). To add to the toolkit available to study GD, we derive novel continuous-time flows that account for discretisation drift. Unlike the NGF, these new flows can be used to describe learning rate specific behaviours of GD, such as training instabilities observed in supervised learning and two-player games. We then translate insights from continuous time into mitigation strategies for unstable GD dynamics, by constructing novel learning rate schedules and regularisers that do not require additional hyperparameters. Like optimisation, smoothness regularisation is another pillar of deep learning's success with wide use in supervised learning and generative modelling. Despite their individual significance, the interactions between smoothness regularisation and optimisation have yet to be explored. We find that smoothness regularisation affects optimisation across multiple deep learning domains, and that incorporating smoothness regularisation in reinforcement learning leads to a performance boost that can be recovered using adaptions to optimisation methods.


title: MARVEL: Unlocking the Multi-Modal Capability of Dense Retrieval via Visual Module Plugin

abstract: This paper proposes Multi-modAl Retrieval model via Visual modulE pLugin (MARVEL), which learns an embedding space for queries and multi-modal documents to conduct retrieval. MARVEL encodes queries and multi-modal documents with a unified encoder model, which helps to alleviate the modality gap between images and texts. Specifically, we enable the image understanding ability of the well-trained dense retriever, T5-ANCE, by incorporating the visual module's encoded image features as its inputs. To facilitate the multi-modal retrieval tasks, we build the ClueWeb22-MM dataset based on the ClueWeb22 dataset, which regards anchor texts as queries, and extracts the related text and image documents from anchor-linked web pages. Our experiments show that MARVEL significantly outperforms the state-of-the-art methods on the multi-modal retrieval dataset WebQA and ClueWeb22-MM. MARVEL provides an opportunity to broaden the advantages of text retrieval to the multi-modal scenario. Besides, we also illustrate that the language model has the ability to extract image semantics and partly map the image features to the input word embedding space. All codes are available at https://github.com/OpenMatch/MARVEL.


title: Risk-Aware Wasserstein Distributionally Robust Control of Vessels in Natural Waterways

abstract: In the realm of maritime transportation, autonomous vessel navigation in natural inland waterways faces persistent challenges due to unpredictable natural factors. Existing scheduling algorithms fall short in handling these uncertainties, compromising both safety and efficiency. Moreover, these algorithms are primarily designed for non-autonomous vessels, leading to labor-intensive operations vulnerable to human error. To address these issues, this study proposes a risk-aware motion control approach for vessels that accounts for the dynamic and uncertain nature of tide islands in a distributionally robust manner. Specifically, a model predictive control method is employed to follow the reference trajectory in the time-space map while incorporating a risk constraint to prevent grounding accidents. To address uncertainties in tide islands, a novel modeling technique represents them as stochastic polytopes. Additionally, potential inaccuracies in waterway depth are addressed through a risk constraint that considers the worst-case uncertainty distribution within a Wasserstein ambiguity set around the empirical distribution. Using sensor data collected in the Guadalquivir River, we empirically demonstrate the performance of the proposed method through simulations on a vessel. As a result, the vessel successfully navigates the waterway while avoiding grounding accidents, even with a limited dataset of observations. This stands in contrast to existing non-robust controllers, highlighting the robustness and practical applicability of the proposed approach.


title: Deformation of singular curves on surfaces

abstract: In this paper, we consider deformations of singular complex curves on complex surfaces. Despite the fundamental nature of the problem, little seems to be known for curves on general surfaces. Let $C\subset S$ be a complete integral curve on a smooth surface. Let $\tilde C$ be a partial normalization of $C$, and $\varphi\colon \tilde C\to S$ be the induced map. In this paper, we consider deformations of $\varphi$. The problem of the existence of deformations will be reduced to solving a certain explicit system of polynomial equations. This system is universal in the sense that it is determined solely by simple local data of the singularity of $C$, and does not depend on the global geometry of $C$ or $S$. Under a relatively mild assumption on the properties of these equations, we will show that the map $\varphi$ has virtually optimal deformation property.


title: Fast Diffusion GAN Model for Symbolic Music Generation Controlled by Emotions

abstract: Diffusion models have shown promising results for a wide range of generative tasks with continuous data, such as image and audio synthesis. However, little progress has been made on using diffusion models to generate discrete symbolic music because this new class of generative models are not well suited for discrete data while its iterative sampling process is computationally expensive. In this work, we propose a diffusion model combined with a Generative Adversarial Network, aiming to (i) alleviate one of the remaining challenges in algorithmic music generation which is the control of generation towards a target emotion, and (ii) mitigate the slow sampling drawback of diffusion models applied to symbolic music generation. We first used a trained Variational Autoencoder to obtain embeddings of a symbolic music dataset with emotion labels and then used those to train a diffusion model. Our results demonstrate the successful control of our diffusion model to generate symbolic music with a desired emotion. Our model achieves several orders of magnitude improvement in computational cost, requiring merely four time steps to denoise while the steps required by current state-of-the-art diffusion models for symbolic music generation is in the order of thousands.


title: On the Geometry of the Birkhoff Polytope. I. The operator $\ell^p_n$-norms

abstract: The geometry of the Birkhoff polytope, i.e., the compact convex set of all $n \times n$ doubly stochastic matrices, has been an active subject of research. While its faces, edges and facets as well as its volume have been intensely studied, other geometric characteristics such as the center and radius were left off, despite their natural uses in some areas of mathematics. In this paper, we completely characterize the Chebyshev center and the Chebyshev radius of the Birkhoff polytope associated with the metrics induced by the operator $\ell^p_n$-norms for the range $1 \leq p \leq \infty$.


title: Numerical algorithm and complexity analysis for diagonalization of multivariate homogeneous polynomials

abstract: We study the computational complexity of a criterion and an algorithm for diagonalization of multivariate homogeneous polynomials, that is, expressing them as sums of powers of independent linear forms. They are based on Harrison's center theory and only require solving linear and quadratic systems of equations. Detailed descriptions and computational complexity of each step of the algorithm are provided. The complexity analysis focuses on the impacts of problem sizes, including the number of variables and the degree of given polynomials. We show that this algorithm runs in polynomial time and validate it through numerical experiments. Other diagonalization algorithms are reviewed and compared in terms of complexity.


title: On the Geometry of the Birkhoff Polytope. II. The Schatten $p$-norms

abstract: In the first of this series of two articles, we studied some geometrical aspects of the Birkhoff polytope, the compact convex set of all $n \times n$ doubly stochastic matrices, namely the Chebyshev center, and the Chebyshev radius of the Birkhoff polytope associated with metrics induced by the operator norms from $\ell_n^p$ to $\ell_n^p$ for $1 \leq p \leq \infty$. In the present paper, we take another look at those very questions, but for a different family of matrix norms, namely the Schatten $p$-norms, for $1 \leq p < \infty$. While studying these properties, the intrinsic connection to the minimal trace, which naturally appears in the assignment problem, is also established.


title: Composer Style-specific Symbolic Music Generation Using Vector Quantized Discrete Diffusion Models

abstract: Emerging Denoising Diffusion Probabilistic Models (DDPM) have become increasingly utilised because of promising results they have achieved in diverse generative tasks with continuous data, such as image and sound synthesis. Nonetheless, the success of diffusion models has not been fully extended to discrete symbolic music. We propose to combine a vector quantized variational autoencoder (VQ-VAE) and discrete diffusion models for the generation of symbolic music with desired composer styles. The trained VQ-VAE can represent symbolic music as a sequence of indexes that correspond to specific entries in a learned codebook. Subsequently, a discrete diffusion model is used to model the VQ-VAE's discrete latent space. The diffusion model is trained to generate intermediate music sequences consisting of codebook indexes, which are then decoded to symbolic music using the VQ-VAE's decoder. The results demonstrate our model can generate symbolic music with target composer styles that meet the given conditions with a high accuracy of 72.36%.


title: Training Image Derivatives: Increased Accuracy and Universal Robustness

abstract: Derivative training is a known method that significantly improves the accuracy of neural networks in some low-dimensional applications. In this paper, a similar improvement is obtained for an image analysis problem: reconstructing the vertices of a cube from its image. By training the derivatives with respect to the 6 degrees of freedom of the cube, we obtain 25 times more accurate results for noiseless inputs. The derivatives also offer insight into the robustness problem, which is currently understood in terms of two types of network vulnerabilities. The first type involves small perturbations that dramatically change the output, and the second type relates to substantial image changes that the network erroneously ignores. Defense against each is possible, but safeguarding against both while maintaining the accuracy defies conventional training methods. The first type is analyzed using the network's gradient, while the second relies on human input evaluation, serving as an oracle substitute. For the task at hand, the nearest neighbor oracle can be defined and expanded into Taylor series using image derivatives. This allows for a robustness analysis that unifies both types of vulnerabilities and enables training where accuracy and universal robustness are limited only by network capacity.


title: Least p-Variances Theory

abstract: As a result of a rather long-time research started in 2016, this theory whose structure is based on a fixed variable and an algebraic inequality, improves and somehow generalizes the well-known least squares theory. In fact, the fixed variable has a fundamental role in constituting the least p-variances theory. In this sense, some new concepts such as p-covariances with respect to a fixed variable, p-correlation coefficient with respect to a fixed variable and p-uncorrelatedness with respect to a fixed variable are first defined in order to establish least p-variance approximations. Then, we obtain a specific system called p-covariances linear system and apply the p-uncorrelatedness condition on its elements to find a general representation for p-uncorrelated variables. Afterwards, we apply the concept of p-uncorrelatedness for continuous functions particularly for polynomial sequences and find some new sequences such as a generic two-parameter hypergeometric polynomial of 4F3 type that satisfy such a p-uncorrelatedness property. In the sequel, we obtain an upper bound for 1-covariances, an approximation for p-variances, an improvement for the approximate solutions of over-determined systems and an improvement for the Bessel inequality and Parseval identity. Finally, we generalize the notion of least p-variance approximations based on several fixed orthogonal variables.


title: MeaeQ: Mount Model Extraction Attacks with Efficient Queries

abstract: We study model extraction attacks in natural language processing (NLP) where attackers aim to steal victim models by repeatedly querying the open Application Programming Interfaces (APIs). Recent works focus on limited-query budget settings and adopt random sampling or active learning-based sampling strategies on publicly available, unannotated data sources. However, these methods often result in selected queries that lack task relevance and data diversity, leading to limited success in achieving satisfactory results with low query costs. In this paper, we propose MeaeQ (Model extraction attack with efficient Queries), a straightforward yet effective method to address these issues. Specifically, we initially utilize a zero-shot sequence inference classifier, combined with API service information, to filter task-relevant data from a public text corpus instead of a problem domain-specific dataset. Furthermore, we employ a clustering-based data reduction technique to obtain representative data as queries for the attack. Extensive experiments conducted on four benchmark datasets demonstrate that MeaeQ achieves higher functional similarity to the victim model than baselines while requiring fewer queries. Our code is available at https://github.com/C-W-D/MeaeQ.


title: Liouville-type results for the CR Yamabe equation in the Heisenberg group

abstract: We obtain Liouville-type results for solutions to the CR Yamabe equation in $\mathbb{H}^n$, which extend a result obtained by Jerison and Lee for solutions in $L^{2+2/n}(\mathbb{H}^n)$. We obtain our results under either pointwise conditions or integral conditions at infinity. In particular, our results hold for all bounded solutions when $n=2$ and solutions satisfying a pointwise decay assumption when $n\ge3$. The proofs rely on integral estimates combined with a suitable divergence formula.


title: Post-Layout Simulation Driven Analog Circuit Sizing

abstract: Post-layout simulation provides accurate guidance for analog circuit design, but post-layout performance is hard to be directly optimized at early design stages. Prior work on analog circuit sizing often utilizes pre-layout simulation results as the optimization objective. In this work, we propose a post-layout-simulation-driven (post-simulation-driven for short) analog circuit sizing framework that directly optimizes the post-layout simulation performance. The framework integrates automated layout generation into the optimization loop of transistor sizing and leverages a coupled Bayesian optimization algorithm to search for the best post-simulation performance. Experimental results demonstrate that our framework can achieve over 20% better post-layout performance in competitive time than manual design and the method that only considers pre-layout optimization.


title: Code-Switching with Word Senses for Pretraining in Neural Machine Translation

abstract: Lexical ambiguity is a significant and pervasive challenge in Neural Machine Translation (NMT), with many state-of-the-art (SOTA) NMT systems struggling to handle polysemous words (Campolungo et al., 2022). The same holds for the NMT pretraining paradigm of denoising synthetic "code-switched" text (Pan et al., 2021; Iyer et al., 2023), where word senses are ignored in the noising stage -- leading to harmful sense biases in the pretraining data that are subsequently inherited by the resulting models. In this work, we introduce Word Sense Pretraining for Neural Machine Translation (WSP-NMT) - an end-to-end approach for pretraining multilingual NMT models leveraging word sense-specific information from Knowledge Bases. Our experiments show significant improvements in overall translation quality. Then, we show the robustness of our approach to scale to various challenging data and resource-scarce scenarios and, finally, report fine-grained accuracy improvements on the DiBiMT disambiguation benchmark. Our studies yield interesting and novel insights into the merits and challenges of integrating word sense information and structured knowledge in multilingual pretraining for NMT.


title: Existence of minimizers for a two-phase free boundary problem with coherent and incoherent interfaces

abstract: A variational model for describing the morphology of two-phase continua by allowing for the interplay between coherent and incoherent interfaces is introduced. Coherent interfaces are characterized by the microscopical arrangement of atoms of the two materials in a homogeneous lattice, with deformation being the solely stress relief mechanism, while at incoherent interfaces delamination between the two materials occurs. The model is designed in the framework of the theory of Stress Driven Rearrangement Instabilities, which are characterized by the competition between elastic and surface effects. The existence of energy minimizers is established in the plane by means of the direct method of the calculus of variations under a constraint on the number of boundary connected components of the underlying phase, whose exterior boundary is prescribed to satify a graph assumption, and of the two-phase composite region. Both the wetting and the dewetting regimes are included in the analysis.


title: CTMaaS: An innovative platform for C-ITS-enabled dynamic Traffic and Fleet Management as a Service

abstract: Fleet management systems have been one of the most important research fields in transportation science. Nowadays the enhancement of fleet management systems with technologies such as the Cooperative Intelligent Transport System (CITS) that allows fleets to communicate with their environment, with other vehicles or with the road infrastructure, resulting in safer and more efficient road travel. This paper aims to present the CTMaaS platform, a tool which integrates CITS services and traffic management processes to manage vehicle fleets. Starting with a literature review, the paper presents various fleet management systems, that have been developed in the last years, and the most typical CITS services. The next chapters present the CTMaaS platform, use cases, and methodology.


title: Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain

abstract: Code Large Language Models (Code LLMs) are being increasingly employed in real-life applications, so evaluating them is critical. While the conventional accuracy evaluates the performance of Code LLMs on a set of individual tasks, their self-consistency across different tasks is overlooked. Intuitively, a trustworthy model should be self-consistent when generating natural language specifications for its own code and generating code for its own specifications. Failure to preserve self-consistency reveals a lack of understanding of the shared semantics underlying natural language and programming language, and therefore undermines the trustworthiness of a model. In this paper, we first formally define the self-consistency of Code LLMs and then design a framework, IdentityChain, which effectively and efficiently evaluates the self-consistency and conventional accuracy of a model at the same time. We study eleven Code LLMs and show that they fail to preserve self-consistency, which is indeed a distinct aspect from conventional accuracy. Furthermore, we show that IdentityChain can be used as a model debugging tool to expose weaknesses of Code LLMs by demonstrating three major weaknesses that we identify in current models using IdentityChain. Our code is available at https://github.com/marcusm117/IdentityChain.


title: All you need is data: the added value of National Access Points as backbone European ITS data exchange infrastructures

abstract: Intelligent Transport Systems are crucial in the digital transformation of transportation. The EC mandates the establishment of National Access Points (NAPs) in each Member State, serving as common national interfaces for ITS data exchange. While progress has been made in standardizing NAP data, integration with operational ITS practices remain limited. This paper presents five NAP use cases from the NAPCORE (National Access Point Coordination Organization for Europe) CEF funded project. The first one outlines a National Virtual Traffic Management Center offering real time visualized KPIs supporting motorway traffic operations. The second focuses on NAP enabled Cooperative ITS and dynamic traffic management services. Next use case involves a Pan European interface, providing visualizations of data availability. The fourth use case enhances the digitization of traffic management plans, among different TMC. Finally, the fifth use case demonstrates a technical interface combining NAP traffic data with meteorological information for KPIs on extreme weather impacts on traffic.


title: Spectral Phase Transitions in Non-Linear Wigner Spiked Models

abstract: We study the asymptotic behavior of the spectrum of a random matrix where a non-linearity is applied entry-wise to a Wigner matrix perturbed by a rank-one spike with independent and identically distributed entries. In this setting, we show that when the signal-to-noise ratio scale as $N^{\frac{1}{2} (1-1/k_\star)}$, where $k_\star$ is the first non-zero generalized information coefficient of the function, the non-linear spike model effectively behaves as an equivalent spiked Wigner matrix, where the former spike before the non-linearity is now raised to a power $k_\star$. This allows us to study the phase transition of the leading eigenvalues, generalizing part of the work of Baik, Ben Arous and Pech\'e to these non-linear models.


title: With a Few Square Roots, Quantum Computing is as Easy as {\Pi}

abstract: Rig groupoids provide a semantic model of \PiLang, a universal classical reversible programming language over finite types. We prove that extending rig groupoids with just two maps and three equations about them results in a model of quantum computing that is computationally universal and equationally sound and complete for a variety of gate sets. The first map corresponds to an $8^{\text{th}}$ root of the identity morphism on the unit $1$. The second map corresponds to a square root of the symmetry on $1+1$. As square roots are generally not unique and can sometimes even be trivial, the maps are constrained to satisfy a nondegeneracy axiom, which we relate to the Euler decomposition of the Hadamard gate. The semantic construction is turned into an extension of \PiLang, called \SPiLang, that is a computationally universal quantum programming language equipped with an equational theory that is sound and complete with respect to the Clifford gate set, the standard gate set of Clifford+T restricted to $\le 2$ qubits, and the computationally universal Gaussian Clifford+T gate set.


title: Ab Initio Studies on Interactions in K$_3$C$_{60}$ under High Pressure

abstract: Fullerene solids doped with alkali metals (A$_3$C$_{60}$, A = K, Rb, Cs) exhibit a superconducting transition temperature ($T_c$) as high as 40 K, and their unconventional superconducting properties have been a subject of debate. With application of high pressure on K$_3$C$_{60}$ and Rb$_3$C$_{60}$, the experiments demonstrate the decrease of $T_c$. In this paper, we focus on K$_3$C$_{60}$ and derive the structure of K$_3$C$_{60}$ under different pressures based on first-principles calculations, exploring the trends of Coulomb interactions at various pressures. By utilizing the Maximally Localized Wannier function approach, Constrained Density Functional Perturbation Theory (cDFPT), and Constrained Random Phase Approximation (cRPA), we construct a microscopic low-energy model near the Fermi level. Our results strongly indicate that, in the K$_3$C$_{60}$ system, as pressure increases, the effect of phonons is the key to intraorbital electron pairing. There is a dominance of the phonon-driven superconducting mechanism at high pressure.


title: Caching Connections in Matchings

abstract: Motivated by the desire to utilize a limited number of configurable optical switches by recent advances in Software Defined Networks (SDNs), we define an online problem which we call the Caching in Matchings problem. This problem has a natural combinatorial structure and therefore may find additional applications in theory and practice. In the Caching in Matchings problem our cache consists of $k$ matchings of connections between servers that form a bipartite graph. To cache a connection we insert it into one of the $k$ matchings possibly evicting at most two other connections from this matching. This problem resembles the problem known as Connection Caching, where we also cache connections but our only restriction is that they form a graph with bounded degree $k$. Our results show a somewhat surprising qualitative separation between the problems: The competitive ratio of any online algorithm for caching in matchings must depend on the size of the graph. Specifically, we give a deterministic $O(nk)$ competitive and randomized $O(n \log k)$ competitive algorithms for caching in matchings, where $n$ is the number of servers and $k$ is the number of matchings. We also show that the competitive ratio of any deterministic algorithm is $\Omega(\max(\frac{n}{k},k))$ and of any randomized algorithm is $\Omega(\log \frac{n}{k^2 \log k} \cdot \log k)$. In particular, the lower bound for randomized algorithms is $\Omega(\log n)$ regardless of $k$, and can be as high as $\Omega(\log^2 n)$ if $k=n^{1/3}$, for example. We also show that if we allow the algorithm to use at least $2k-1$ matchings compared to $k$ used by the optimum then we match the competitive ratios of connection catching which are independent of $n$. Interestingly, we also show that even a single extra matching for the algorithm allows to get substantially better bounds.


title: The Sun within: active processes from two-temperature models

abstract: We propose an embedding of standard active particle models in terms of two-temperature processes. One temperature refers to an ambient thermal bath, and the other temperature effectively describes ``hot spots,'' i.e., systems with few degrees of freedom showing important population homogenization or even inversion of energy levels as a result of activation. As a result, the effective Carnot efficiency would get much higher than for our standard macroscopic thermal engines, making connection with the recent conundrum of hot mitochondria. Moreover, that setup allows to quantitatively specify the resulting nonequilibrium driving, useful in particular for bringing the notion of heat into play, and making easy contact with thermodynamic features. Finally, we observe that the shape transition in the steady low-temperature behavior of run-and-tumble particles (with the interesting emergence of edge states at high persistence) is stable and occurs for all temperature differences, including close-to-equilibrium.


title: An Offer you Cannot Refuse? Trends in the Coerciveness of Amazon Book Recommendations

abstract: Recommender systems can be a helpful tool for recommending content but they can also influence users' preferences. One sociological theory for this influence is that companies are incentivised to influence preferences to make users easier to predict and thus more profitable by making it harder to change preferences. This paper seeks to test that theory empirically. We use \textit{Barrier-to-Exit}, a metric for how difficult it is for users to change preferences, to analyse a large dataset of Amazon Book Ratings from 1998 to 2018. We focus the analysis on users who have changed preferences according to Barrier-to-Exit. To assess the growth of Barrier-to-Exit over time, we developed a linear mixed-effects model with crossed random effects for users and categories. Our findings indicate a highly significant growth of Barrier-to-Exit over time, suggesting that it has become more difficult for the analysed subset of users to change their preferences. However, it should be noted that these findings come with several statistical and methodological caveats including sample bias and construct validity issues related to Barrier-to-Exit. We discuss the strengths and limitations of our approach and its implications. Additionally, we highlight the challenges of creating context-sensitive and generalisable measures for complex socio-technical concepts such as "difficulty to change preferences." We conclude with a call for further research: to curb the potential threats of preference manipulation, we need more measures that allow us to compare commercial as well as non-commercial systems.


title: Discovery of a collimated jet from the low luminosity protostar IRAS 16253$-$2429 in a quiescent accretion phase with the JWST

abstract: Investigating Protostellar Accretion (IPA) is a JWST Cycle~1 GO program that uses NIRSpec IFU and MIRI MRS to obtain 2.9--28~$\mu$m spectral cubes of young, deeply embedded protostars with luminosities of 0.2 to 10,000~L$_{\odot}$ and central masses of 0.15 to 12~M$_{\odot}$. In this Letter, we report the discovery of a highly collimated atomic jet from the Class~0 protostar IRAS~16253$-$2429, the lowest luminosity source ($L_\mathrm{bol}$ = 0.2 $L_\odot$) in the IPA program. The collimated jet is detected in multiple [Fe~II] lines, [Ne~II], [Ni~II], and H~I lines, but not in molecular emission. The atomic jet has a velocity of about 169~$\pm$~15~km\,s$^{-1}$, after correcting for inclination. The width of the jet increases with distance from the central protostar from 23 to~60 au, corresponding to an opening angle of 2.6~$\pm$~0.5\arcdeg. By comparing the measured flux ratios of various fine structure lines to those predicted by simple shock models, we derive a shock {speed} of 54~km\,s$^{-1}$ and a preshock density of 2.0$\times10^{3}$~cm$^{-3}$ at the base of the jet. {From these quantities and using a suite of jet models and extinction laws we compute a mass loss rate between $0.4 -1.1\times10^{-10}~M_{\odot}$~yr~$^{-1}$.} The low mass loss rate is consistent with simultaneous measurements of low mass accretion rate ($2.4~\pm~0.8~\times~10^{-9}~M_{\odot}$~yr$^{-1}$) for IRAS~16253$-$2429 from JWST observations (Watson et al. in prep), indicating that the protostar is in a quiescent accretion phase. Our results demonstrate that very low-mass protostars can drive highly collimated, atomic jets, even during the quiescent phase.


title: On the Neural Tangent Kernel of Equilibrium Models

abstract: This work studies the neural tangent kernel (NTK) of the deep equilibrium (DEQ) model, a practical ``infinite-depth'' architecture which directly computes the infinite-depth limit of a weight-tied network via root-finding. Even though the NTK of a fully-connected neural network can be stochastic if its width and depth both tend to infinity simultaneously, we show that contrarily a DEQ model still enjoys a deterministic NTK despite its width and depth going to infinity at the same time under mild conditions. Moreover, this deterministic NTK can be found efficiently via root-finding.


title: Concept-based Anomaly Detection in Retail Stores for Automatic Correction using Mobile Robots

abstract: Tracking of inventory and rearrangement of misplaced items are some of the most labor-intensive tasks in a retail environment. While there have been attempts at using vision-based techniques for these tasks, they mostly use planogram compliance for detection of any anomalies, a technique that has been found lacking in robustness and scalability. Moreover, existing systems rely on human intervention to perform corrective actions after detection. In this paper, we present Co-AD, a Concept-based Anomaly Detection approach using a Vision Transformer (ViT) that is able to flag misplaced objects without using a prior knowledge base such as a planogram. It uses an auto-encoder architecture followed by outlier detection in the latent space. Co-AD has a peak success rate of 89.90% on anomaly detection image sets of retail objects drawn from the RP2K dataset, compared to 80.81% on the best-performing baseline of a standard ViT auto-encoder. To demonstrate its utility, we describe a robotic mobile manipulation pipeline to autonomously correct the anomalies flagged by Co-AD. This work is ultimately aimed towards developing autonomous mobile robot solutions that reduce the need for human intervention in retail store management.


title: Counterfactual Prediction Under Selective Confounding

abstract: This research addresses the challenge of conducting interpretable causal inference between a binary treatment and its resulting outcome when not all confounders are known. Confounders are factors that have an influence on both the treatment and the outcome. We relax the requirement of knowing all confounders under desired treatment, which we refer to as Selective Confounding, to enable causal inference in diverse real-world scenarios. Our proposed scheme is designed to work in situations where multiple decision-makers with different policies are involved and where there is a re-evaluation mechanism after the initial decision to ensure consistency. These assumptions are more practical to fulfill compared to the availability of all confounders under all treatments. To tackle the issue of Selective Confounding, we propose the use of dual-treatment samples. These samples allow us to employ two-step procedures, such as Regression Adjustment or Doubly-Robust, to learn counterfactual predictors. We provide both theoretical error bounds and empirical evidence of the effectiveness of our proposed scheme using synthetic and real-world child placement data. Furthermore, we introduce three evaluation methods specifically tailored to assess the performance in child placement scenarios. By emphasizing transparency and interpretability, our approach aims to provide decision-makers with a valuable tool. The source code repository of this work is located at https://github.com/sohaib730/CausalML.


title: POVNav: A Pareto-Optimal Mapless Visual Navigator

abstract: Mapless navigation has emerged as a promising approach for enabling autonomous robots to navigate in environments where pre-existing maps may be inaccurate, outdated, or unavailable. In this work, we propose an image-based local representation of the environment immediately around a robot to parse navigability. We further develop a local planning and control framework, a Pareto-optimal mapless visual navigator (POVNav), to use this representation and enable autonomous navigation in various challenging and real-world environments. In POVNav, we choose a Pareto-optimal sub-goal in the image by evaluating all the navigable pixels, finding a safe visual path, and generating actions to follow the path using visual servo control. In addition to providing collision-free motion, our approach enables selective navigation behavior, such as restricting navigation to select terrain types, by only changing the navigability definition in the local representation. The ability of POVNav to navigate a robot to the goal using only a monocular camera without relying on a map makes it computationally light and easy to implement on various robotic platforms. Real-world experiments in diverse challenging environments, ranging from structured indoor environments to unstructured outdoor environments such as forest trails and roads after a heavy snowfall, using various image segmentation techniques demonstrate the remarkable efficacy of our proposed framework.


title: Topological lower bounds for the R\"ossler System

abstract: The R\"ossler System is one of the best known chaotic dynamical systems, exhibiting a plethora of complex phenomena - and yet, only a few studies tackled its complexity analytically. Building on previous work by the author, in this paper we characterize the dynamical complexity for the R\"ossler System at parameter values at which the flow satisfies a certain heteroclinic condition. This will allow us to characterize the knot type of infinitely many periodic trajectories for the flow - and reduce the R\"ossler system to a simpler hyperbolic flow, capturing its essential dynamics.


title: Theory of hypersurfaces of a Finsler space with generalized square metric

abstract: The emergence of generalized square metrics in Finsler geometry can be attributed to various classification concerning ({\alpha}, \beta})-metrics. They have excellent geometric properties in Finsler geometry. Within the scope of this research paper, we have conducted an investigation into the generalized square metric denoted as F(x,y)=({\alpha}(x,y)+\beta}(x,y))^(n+1)/({\alpha}^n (x,y)) focusing specifically on its application to the Finslerian hypersurface. Furthermore, the classification and existence of first, second, and third kind of hyperplanes of the Finsler manifold has been established.


title: Unobserved Grouped Heteroskedasticity and Fixed Effects

abstract: This paper extends the linear grouped fixed effects (GFE) panel model to allow for heteroskedasticity from a discrete latent group variable. Key features of GFE are preserved, such as individuals belonging to one of a finite number of groups and group membership is unrestricted and estimated. Ignoring group heteroskedasticity may lead to poor classification, which is detrimental to finite sample bias and standard errors of estimators. I introduce the "weighted grouped fixed effects" (WGFE) estimator that minimizes a weighted average of group sum of squared residuals. I establish $\sqrt{NT}$-consistency and normality under a concept of group separation based on second moments. A test of group homoskedasticity is discussed. A fast computation procedure is provided. Simulations show that WGFE outperforms alternatives that exclude second moment information. I demonstrate this approach by considering the link between income and democracy and the effect of unionization on earnings.


title: Convolutional Bidirectional Variational Autoencoder for Image Domain Translation of Dotted Arabic Expiration

abstract: THIS paper proposes an approach of Ladder Bottom-up Convolutional Bidirectional Variational Autoencoder (LCBVAE) architecture for the encoder and decoder, which is trained on the image translation of the dotted Arabic expiration dates by reconstructing the Arabic dotted expiration dates into filled-in expiration dates. We employed a customized and adapted version of Convolutional Recurrent Neural Network CRNN model to meet our specific requirements and enhance its performance in our context, and then trained the custom CRNN model with the filled-in images from the year of 2019 to 2027 to extract the expiration dates and assess the model performance of LCBVAE on the expiration date recognition. The pipeline of (LCBVAE+CRNN) can be then integrated into an automated sorting systems for extracting the expiry dates and sorting the products accordingly during the manufacture stage. Additionally, it can overcome the manual entry of expiration dates that can be time-consuming and inefficient at the merchants. Due to the lack of the availability of the dotted Arabic expiration date images, we created an Arabic dot-matrix True Type Font (TTF) for the generation of the synthetic images. We trained the model with unrealistic synthetic dates of 59902 images and performed the testing on a realistic synthetic date of 3287 images from the year of 2019 to 2027, represented as yyyy/mm/dd. In our study, we demonstrated the significance of latent bottleneck layer with improving the generalization when the size is increased up to 1024 in downstream transfer learning tasks as for image translation. The proposed approach achieved an accuracy of 97% on the image translation with using the LCBVAE architecture that can be generalized for any downstream learning tasks as for image translation and reconstruction.


title: Anionic Character of the Conduction Band of Sodium Chloride

abstract: The alkali halides are ionic compounds. Each alkali atom donates an electron to a halogen atom, leading to ions with full shells. The valence band is mainly located on halogen atoms, while, in a traditional picture, the conduction band is mainly located on alkali atoms. Scanning tunnelling microscopy of NaCl at 4 K actually shows that the conduction band is located on Cl$^-$ because the strong Madelung potential reverses the order of the Na$^+$ 3s and Cl$^-$ 4s levels. We verify this reversal is true for both atomically thin and bulk NaCl, and discuss implications for II-VI and I-VII compounds.


title: An Alternative Proof for the Expected Number of Distinct Consecutive Patterns in a Random Permutation

abstract: Let $\pi_n$ be a uniformly chosen random permutation on $[n]$. Using an analysis of the probability that two overlapping consecutive $k$-permutations are order isomorphic, the authors of a recent paper showed that the expected number of distinct consecutive patterns of all lengths $k\in\{1,2,\ldots,n\}$ in $\pi_n$ is $\frac{n^2}{2}(1-o(1))$ as $n\to\infty$. This exhibited the fact that random permutations pack consecutive patterns near-perfectly. We use entirely different methods, namely the Stein-Chen method of Poisson approximation, to reprove and slightly improve their result.


title: Observation of multiple attractors and diffusive transport in a periodically driven Klein-Gordon chain

abstract: We consider a Klein-Gordon chain that is periodically driven at one end and has dissipation at one or both boundaries. An interesting numerical observation in a recent study~[arXiv:2209.03977] was that for driving frequency in the phonon band, there is a range of values of the driving amplitude $F_d\in (F_1, F_2)$ over which the energy current remains constant. In this range, the system exhibits a "resonant nonlinear wave" (RNW) mode of energy transmission which is a time and space periodic solution. It was noted that the range $(F_1,F_2)$, for which the RNW mode occurs, shrinks with increasing system size $N$ and disappears eventually. Remarkably, we find that the RNW mode is in fact a stable solution even for $F_d$ much larger than $F_2$ and quite large $N$ ($\approx 1000$). For $F_d>F_{2}$, there exists a second attractor which is chaotic. Both attractors have finite basins of attraction and can be reached by appropriate choice of initial conditions. Corresponding to the two attractors for large $F_d$, the system can now be in two nonequilibrium steady states. We improve the perturbative treatment of [arXiv:2209.03977] for the RNW mode by including the contributions of the third harmonics. We also consider the effect of thermal noise at the boundaries and find that the RNW mode is stable for small temperatures. Finally, we present results for a different driving protocol studied in [arXiv:2205.03839] where $F_d$ is taken to scale with system size as $N^{-1/2}$ and there is dissipation only at the non-driven end. We find that the steady state can be characterized by Fourier's law as in [arXiv:2205.03839] for a stochastic model. We point out interesting differences that occur since our dynamics is nonlinear and Hamiltonian. Our results suggest the intriguing possibility of observing the high current carrying RNW phase in experiments by careful preparation of initial conditions.


title: Exact Asymptotic Estimation of Unknown Parameters of Perturbed LRE with Application to State Observation

abstract: Most identification laws of unknown parameters of linear regression equations (LRE) ensure only boundedness of a parametric error in the presence of additive perturbations, which is almost always unacceptable for practical scenarios. In this paper, a new identification law is proposed to overcome this drawback and guarantee asymptotic convergence of the unknown parameters estimation error to zero in case the mentioned additive perturbation meets special averaging conditions. Such law is successfully applied to state reconstruction problem. Theoretical results are illustrated by numerical simulations.


title: Localization renormalization and quantum Hall systems

abstract: The obstruction to constructing localized degrees of freedom is a signature of several interesting condensed matter phases. We introduce a localization renormalization procedure that harnesses this property, and apply our method to distinguish between topological and trivial phases in quantum Hall and Chern insulators. By iteratively removing a fraction of maximally-localized orthogonal basis states, we find that the localization length in the residual Hilbert space exhibits a power-law divergence as the fraction of remaining states approaches zero, with an exponent of $\nu=0.5$. In sharp contrast, the localization length converges to a system-size-independent constant in the trivial phase. We verify this scaling using a variety of algorithms to truncate the Hilbert space, and show that it corresponds to a statistically self-similar expansion of the real-space projector. This result accords with a renormalization group picture and motivates the use of localization renormalization as a versatile numerical diagnostic for quantum Hall systems.


title: Unsupervised Sim-to-Real Adaptation of Soft Robot Proprioception using a Dual Cross-modal Autoencoder

abstract: Soft robotics is a modern robotic paradigm for performing dexterous interactions with the surroundings via morphological flexibility. The desire for autonomous operation requires soft robots to be capable of proprioception and makes it necessary to devise a calibration process. These requirements can be greatly benefited by adopting numerical simulation for computational efficiency. However, the gap between the simulated and real domains limits the accurate, generalized application of the approach. Herein, we propose an unsupervised domain adaptation framework as a data-efficient, generalized alignment of these heterogeneous sensor domains. A dual cross-modal autoencoder was designed to match the sensor domains at a feature level without any extensive labeling process, facilitating the computationally efficient transferability to various tasks. As a proof-of-concept, the methodology was adopted to the famous soft robot design, a multigait soft robot, and two fundamental perception tasks for autonomous robot operation, involving high-fidelity shape estimation and collision detection. The resulting perception demonstrates the digital-twinned calibration process in both the simulated and real domains. The proposed design outperforms the existing prevalent benchmarks for both perception tasks. This unsupervised framework envisions a new approach to imparting embodied intelligence to soft robotic systems via blending simulation.


title: On the Relationship Between Relevance and Conflict in Online Social Link Recommendations

abstract: In an online social network, link recommendations are a way for users to discover relevant links to people they may know, thereby potentially increasing their engagement on the platform. However, the addition of links to a social network can also have an effect on the level of conflict in the network -- expressed in terms of polarization and disagreement. To this date, however, we have very little understanding of how these two implications of link formation relate to each other: are the goals of high relevance and conflict reduction aligned, or are the links that users are most likely to accept fundamentally different from the ones with the greatest potential for reducing conflict? Here we provide the first analysis of this question, using the recently popular Friedkin-Johnsen model of opinion dynamics. We first present a surprising result on how link additions shift the level of opinion conflict, followed by explanation work that relates the amount of shift to structural features of the added links. We then characterize the gap in conflict reduction between the set of links achieving the largest reduction and the set of links achieving the highest relevance. The gap is measured on real-world data, based on instantiations of relevance defined by 13 link recommendation algorithms. We find that some, but not all, of the more accurate algorithms actually lead to better reduction of conflict. Our work suggests that social links recommended for increasing user engagement may not be as conflict-provoking as people might have thought.


title: Structural, electronic, and magnetic properties of ZnTe doped with transition metal Mn

abstract: In this article, we examine the structure and the electronic, optical, and magnetic properties of ZnTe before and after doping with the transition metal Mn. The ab initio calculations of this compound were performed using the full potential linearized extended full potential planar waveform (FP-LAPW) in the context of density functional theory (DFT) implemented in the Wien2K code. The potential for exchange and correlation was addressed by the generalized gradient approximation (GGA) approximation. The electronic properties show that the ZnTe material exhibits semiconductor behavior before doping. As a result, it becomes semimetal after doping. The findings attained by Monte Carlo simulations display that the ZnMnTe material goes from an antiferromagnetic phase to the paramagnetic phase at the Neel temperature value TN =159.31 K.


title: Online Duet between Metric Embeddings and Minimum-Weight Perfect Matchings

abstract: Low-distortional metric embeddings are a crucial component in the modern algorithmic toolkit. In an online metric embedding, points arrive sequentially and the goal is to embed them into a simple space irrevocably, while minimizing the distortion. Our first result is a deterministic online embedding of a general metric into Euclidean space with distortion $O(\log n)\cdot\min\{\sqrt{\log\Phi},\sqrt{n}\}$ (or, $O(d)\cdot\min\{\sqrt{\log\Phi},\sqrt{n}\}$ if the metric has doubling dimension $d$), solving a conjecture by Newman and Rabinovich (2020), and quadratically improving the dependence on the aspect ratio $\Phi$ from Indyk et al.\ (2010). Our second result is a stochastic embedding of a metric space into trees with expected distortion $O(d\cdot \log\Phi)$, generalizing previous results (Indyk et al.\ (2010), Bartal et al.\ (2020)). Next, we study the \emph{online minimum-weight perfect matching} problem, where a sequence of $2n$ metric points arrive in pairs, and one has to maintain a perfect matching at all times. We allow recourse (as otherwise the order of arrival determines the matching). The goal is to return a perfect matching that approximates the \emph{minimum-weight} perfect matching at all times, while minimizing the recourse. Our third result is a randomized algorithm with competitive ratio $O(d\cdot \log \Phi)$ and recourse $O(\log \Phi)$ against an oblivious adversary, this result is obtained via our new stochastic online embedding. Our fourth result is a deterministic algorithm against an adaptive adversary, using $O(\log^2 n)$ recourse, that maintains a matching of weight at most $O(\log n)$ times the weight of the MST, i.e., a matching of lightness $O(\log n)$. We complement our upper bounds with a strategy for an oblivious adversary that, with recourse $r$, establishes a lower bound of $\Omega(\frac{\log n}{r \log r})$ for both competitive ratio and lightness.


title: To Copy, or not to Copy; That is a Critical Issue of the Output Softmax Layer in Neural Sequential Recommenders

abstract: Recent studies suggest that the existing neural models have difficulty handling repeated items in sequential recommendation tasks. However, our understanding of this difficulty is still limited. In this study, we substantially advance this field by identifying a major source of the problem: the single hidden state embedding and static item embeddings in the output softmax layer. Specifically, the similarity structure of the global item embeddings in the softmax layer sometimes forces the single hidden state embedding to be close to new items when copying is a better choice, while sometimes forcing the hidden state to be close to the items from the input inappropriately. To alleviate the problem, we adapt the recently-proposed softmax alternatives such as softmax-CPR to sequential recommendation tasks and demonstrate that the new softmax architectures unleash the capability of the neural encoder on learning when to copy and when to exclude the items from the input sequence. By only making some simple modifications on the output softmax layer for SASRec and GRU4Rec, softmax-CPR achieves consistent improvement in 12 datasets. With almost the same model size, our best method not only improves the average NDCG@10 of GRU4Rec in 5 datasets with duplicated items by 10% (4%-17% individually) but also improves 7 datasets without duplicated items by 24% (8%-39%)!


title: New extremal Type II $\mathbb{Z}_4$-codes of length 64 by the doubling method

abstract: Extremal Type II $\mathbb{Z}_4$-codes are a class of self-dual $\mathbb{Z}_4$-codes with Euclidean weights divisible by eight and the largest possible minimum Euclidean weight for a given length. A small number of such codes is known for lengths greater than or equal to $48.$ The doubling method is a method for constructing Type II $\mathbb{Z}_4$-codes from a given Type II $\mathbb{Z}_4$-code. Based on the doubling method, in this paper we develop a method to construct new extremal Type II $\mathbb{Z}_4$-codes starting from an extremal Type II $\mathbb{Z}_4$-code of type $4^k$ with an extremal residue code and length $48, 56$ or $64$. Using this method, we construct three new extremal Type II $\mathbb{Z}_4$-codes of length $64$ and type $4^{31}2^2$. Extremal Type II $\mathbb{Z}_4$-codes of length $64$ of this type were not known before. Moreover, the residue codes of the constructed extremal $\mathbb{Z}_4$-codes are new best known $[64,31]$ binary codes and the supports of the minimum weight codewords of the residue code and the torsion code of one of these codes form self-orthogonal $1$-designs.


title: Unleashing Modified Deep Learning Models in Efficient COVID19 Detection

abstract: The COVID19 pandemic, a unique and devastating respiratory disease outbreak, has affected global populations as the disease spreads rapidly. Recent Deep Learning breakthroughs may improve COVID19 prediction and forecasting as a tool of precise and fast detection, however, current methods are still being examined to achieve higher accuracy and precision. This study analyzed the collection contained 8055 CT image samples, 5427 of which were COVID cases and 2628 non COVID. The 9544 Xray samples included 4044 COVID patients and 5500 non COVID cases. The most accurate models are MobileNet V3 (97.872 percent), DenseNet201 (97.567 percent), and GoogleNet Inception V1 (97.643 percent). High accuracy indicates that these models can make many accurate predictions, as well as others, are also high for MobileNetV3 and DenseNet201. An extensive evaluation using accuracy, precision, and recall allows a comprehensive comparison to improve predictive models by combining loss optimization with scalable batch normalization in this study. Our analysis shows that these tactics improve model performance and resilience for advancing COVID19 prediction and detection and shows how Deep Learning can improve disease handling. The methods we suggest would strengthen healthcare systems, policymakers, and researchers to make educated decisions to reduce COVID19 and other contagious diseases. CCS CONCEPTS Covid,Deep Learning, Image Processing KEYWORDS Covid, Deep Learning, DenseNet201, MobileNet, ResNet, DenseNet, GoogleNet, Image Processing, Disease Detection.


title: Exact Solutions for Nonlinear Partial Differential Equations: A Fusion of Classical Methods and Innovative Approaches

abstract: This article demonstrates how variation of parameters can be successfully implemented in combination with other classical techniques, such as the method of characteristics, to derive novel classes of solutions to nonlinear partial differential equations (NLPDES) by considering specific initial conditions. This innovative approach offers the advantage of generating exact solutions. The results underscore this method's potential to address additional NLPDE classes.


title: Nowcasting ETAS Earthquakes: Information Entropy of Earthquake Catalogs

abstract: Earthquake nowcasting has been proposed as a means of tracking the change in large earthquake potential in a seismically active area. The method was developed using observable seismic data, in which probabilities of future large earthquakes can be computed using Receiver Operating Characteristic (ROC) methods. Furthermore, analysis of the Shannon information content of the earthquake catalogs has been used to show that there is information contained in the catalogs, and that it can vary in time. So an important question remains, where does the information originate? In this paper, we examine this question using statistical simulations of earthquake catalogs computed using Epidemic Type Aftershock Sequence (ETAS) simulations. ETAS earthquake simulations are currently in widespread use for a variety of tasks, in modeling, analysis and forecasting. After examining several of the standard ETAS models, we propose a version of the ETAS model that conforms to the standard ETAS statistical relations of magnitude-frequency scaling, aftershock scaling, Bath's law, and the productivity relation, but with an additional property. We modify the model to introduce variable non-Poisson aftershock clustering, inasmuch as we test the hypothesis that the information in the catalogs originates from aftershock clustering. We find that significant information in the catalogs arises from the non-Poisson aftershock clustering, implying that the common practice of de-clustering catalogs may remove information that would otherwise be useful in forecasting and nowcasting. We also show that the nowcasting method provides similar results with the the ETAS models as it does with observed seismicity.


title: Graph Neural Networks and Applied Linear Algebra

abstract: Sparse matrix computations are ubiquitous in scientific computing. With the recent interest in scientific machine learning, it is natural to ask how sparse matrix computations can leverage neural networks (NN). Unfortunately, multi-layer perceptron (MLP) neural networks are typically not natural for either graph or sparse matrix computations. The issue lies with the fact that MLPs require fixed-sized inputs while scientific applications generally generate sparse matrices with arbitrary dimensions and a wide range of nonzero patterns (or matrix graph vertex interconnections). While convolutional NNs could possibly address matrix graphs where all vertices have the same number of nearest neighbors, a more general approach is needed for arbitrary sparse matrices, e.g. arising from discretized partial differential equations on unstructured meshes. Graph neural networks (GNNs) are one approach suitable to sparse matrices. GNNs define aggregation functions (e.g., summations) that operate on variable size input data to produce data of a fixed output size so that MLPs can be applied. The goal of this paper is to provide an introduction to GNNs for a numerical linear algebra audience. Concrete examples are provided to illustrate how many common linear algebra tasks can be accomplished using GNNs. We focus on iterative methods that employ computational kernels such as matrix-vector products, interpolation, relaxation methods, and strength-of-connection measures. Our GNN examples include cases where parameters are determined a-priori as well as cases where parameters must be learned. The intent with this article is to help computational scientists understand how GNNs can be used to adapt machine learning concepts to computational tasks associated with sparse matrices. It is hoped that this understanding will stimulate data-driven extensions of classical sparse linear algebra tasks.


title: Adaptive, Doubly Optimal No-Regret Learning in Strongly Monotone and Exp-Concave Games with Gradient Feedback

abstract: Online gradient descent (OGD) is well known to be doubly optimal under strong convexity or monotonicity assumptions: (1) in the single-agent setting, it achieves an optimal regret of $\Theta(\log T)$ for strongly convex cost functions; and (2) in the multi-agent setting of strongly monotone games, with each agent employing OGD, we obtain last-iterate convergence of the joint action to a unique Nash equilibrium at an optimal rate of $\Theta(\frac{1}{T})$. While these finite-time guarantees highlight its merits, OGD has the drawback that it requires knowing the strong convexity/monotonicity parameters. In this paper, we design a fully adaptive OGD algorithm, \textsf{AdaOGD}, that does not require a priori knowledge of these parameters. In the single-agent setting, our algorithm achieves $O(\log^2(T))$ regret under strong convexity, which is optimal up to a log factor. Further, if each agent employs \textsf{AdaOGD} in strongly monotone games, the joint action converges in a last-iterate sense to a unique Nash equilibrium at a rate of $O(\frac{\log^3 T}{T})$, again optimal up to log factors. We illustrate our algorithms in a learning version of the classical newsvendor problem, where due to lost sales, only (noisy) gradient feedback can be observed. Our results immediately yield the first feasible and near-optimal algorithm for both the single-retailer and multi-retailer settings. We also extend our results to the more general setting of exp-concave cost functions and games, using the online Newton step (ONS) algorithm.


title: Entropic partial orderings of quantum measurements

abstract: We investigate four partial orderings on the space of quantum measurements (i.e on POVMs or positive operator valued measures), describing four notions of coarse/fine-ness of measurement. These are the partial orderings induced by: (1) classical post-processing, (2) measured relative entropy, (3) observational entropy, and (4) linear relation of POVMs. The orderings form a hierarchy of implication, where e.g. post-processing relation implies all the others. We show that this hierarchy is strict for general POVMs, with examples showing that all four orderings are strictly inequivalent. Restricted to projective measurements, all are equivalent. Finally we show that observational entropy equality $S_M = S_N$ (for all $\rho$) holds if and only if $M \equiv N$ are post-processing equivalent, which shows that the first three orderings induce identical equivalence classes.


title: A Specialized Semismooth Newton Method for Kernel-Based Optimal Transport

abstract: Kernel-based optimal transport (OT) estimators offer an alternative, functional estimation procedure to address OT problems from samples. Recent works suggest that these estimators are more statistically efficient than plug-in (linear programming-based) OT estimators when comparing probability measures in high-dimensions~\citep{Vacher-2021-Dimension}. Unfortunately, that statistical benefit comes at a very steep computational price: because their computation relies on the short-step interior-point method (SSIPM), which comes with a large iteration count in practice, these estimators quickly become intractable w.r.t. sample size $n$. To scale these estimators to larger $n$, we propose a nonsmooth fixed-point model for the kernel-based OT problem, and show that it can be efficiently solved via a specialized semismooth Newton (SSN) method: We show, exploring the problem's structure, that the per-iteration cost of performing one SSN step can be significantly reduced in practice. We prove that our SSN method achieves a global convergence rate of $O(1/\sqrt{k})$, and a local quadratic convergence rate under standard regularity conditions. We show substantial speedups over SSIPM on both synthetic and real datasets.


title: MedEval: A Multi-Level, Multi-Task, and Multi-Domain Medical Benchmark for Language Model Evaluation

abstract: Curated datasets for healthcare are often limited due to the need of human annotations from experts. In this paper, we present MedEval, a multi-level, multi-task, and multi-domain medical benchmark to facilitate the development of language models for healthcare. MedEval is comprehensive and consists of data from several healthcare systems and spans 35 human body regions from 8 examination modalities. With 22,779 collected sentences and 21,228 reports, we provide expert annotations at multiple levels, offering a granular potential usage of the data and supporting a wide range of tasks. Moreover, we systematically evaluated 10 generic and domain-specific language models under zero-shot and finetuning settings, from domain-adapted baselines in healthcare to general-purposed state-of-the-art large language models (e.g., ChatGPT). Our evaluations reveal varying effectiveness of the two categories of language models across different tasks, from which we notice the importance of instruction tuning for few-shot usage of large language models. Our investigation paves the way toward benchmarking language models for healthcare and provides valuable insights into the strengths and limitations of adopting large language models in medical domains, informing their practical applications and future advancements.


title: Quantitative Sobolev regularity of quasiregular maps

abstract: We quantify the Sobolev space norm of the Beltrami resolvent $(I- \mu \mathcal S)^{-1}$, where $\mathcal S$ is the Beurling-Ahlfors transform, in terms of the corresponding Sobolev space norm of the dilatation $\mu$ in the critical and supercrticial ranges. Our estimate entails as a consequence quantitative self-improvement inequalities of Caccioppoli type for quasiregular distributions with dilatations in $W^{1,p}$, $p \ge 2$. Our proof strategy is then adapted to yield quantitative estimates for the resolvent $(I-\mu \mathcal S_\Omega)^{-1}$ of the Beltrami equation on a sufficiently regular domain $\Omega$, with $\mu\in W^{1,p}(\Omega)$. Here, $\mathcal S_\Omega$ is the compression of $\mathcal S$ to a domain $\Omega$. Our proofs do not rely on the compactness or commutator arguments previously employed in related literature. Instead, they leverage the weighted Sobolev estimates for compressions of Calder\'on-Zygmund operators to domains, recently obtained by the authors, to extend the Astala-Iwaniec-Saksman technique to higher regularities.


title: A case study on latency, bandwidth and energy efficiency of mobile 5G and YouTube Edge service in London. Why the 5G ecosystem and energy efficiency matter?

abstract: The advancements in 5G mobile networks and Edge computing offer great potential for services like augmented reality and Cloud gaming, thanks to their low latency and high bandwidth capabilities. However, the practical limitations of achieving optimal latency on real applications remain uncertain. This paper aims to investigate the actual latency and bandwidth provided by 5G Networks and YouTube Edge service in London, UK. We analyze how latency and bandwidth differ between 4G LTE and 5G networks and how the location of YouTube Edge servers impacts these metrics. Our research reveals over 10 significant observations and implications, indicating that the primary constraints on 4G LTE and 5G capabilities are the ecosystem and energy efficiency of mobile devices down-streaming data. Our study demonstrates that to fully unlock the potential of 5G and it's applications, it is crucial to prioritize efforts aimed at improving the ecosystem and enhancing the energy efficiency.


title: Deep hole lattices and isogenies of elliptic curves

abstract: Given a lattice $L$ in the plane, we define the affiliated deep hole lattice $H(L)$ to be spanned by a shortest vector of $L$ and a deep hole of $L$ contained in the triangle with sides corresponding to the shortest basis vectors. We study the geometric and arithmetic properties of deep hole lattices. In particular we investigate conditions on $L$ under which $H(L)$ is well-rounded and prove that $H(L)$ is defined over the same field as $L$. For the period lattice corresponding to an isomorphism class of elliptic curves, we produce a finite sequence of deep hole lattices ending with a well-rounded lattice which corresponds to a point on the boundary arc of the fundamental strip under the action of $\operatorname{SL}_2(\mathbb{Z})$ on the upper halfplane. In the case of CM elliptic curves, we prove that all elliptic curves generated by this sequence are isogenous to each other and produce bounds on the degree of isogeny. Finally, we produce a counting estimate for the planar lattices with a prescribed deep hole lattice.