title: The linear viscoelastic fracture theory applies to soft solids better when they are... viscoelastic

abstract: Over the last half-century, linear viscoelastic models for crack growth in soft solids have flourished but comparisons of these models to experiments have remained scarce. In fact, most available models are either very approximate or cast in forms which are quite unsuitable for the analysis of actual data. Here we propose a version of the linear viscoelastic rupture theory which is quite amenable to data analysis. We then apply this approach to four sets of data documenting fracture in soft solids. For elastomers, the results reproduce the known process zone size inconsistency. However, in two more viscoelastic systems, the linear viscoelastic prediction was found to consistently match the measured velocity dependence of the rupture energy with physically acceptable process zone sizes. They even reasonably match the measured damage zone size. Consequences for more insightful analyzes of rupture data in soft solids are discussed.


title: Evaluation Metrics for Automated Typographic Poster Generation

abstract: Computational Design approaches facilitate the generation of typographic design, but evaluating these designs remains a challenging task. In this paper, we propose a set of heuristic metrics for typographic design evaluation, focusing on their legibility, which assesses the text visibility, aesthetics, which evaluates the visual quality of the design, and semantic features, which estimate how effectively the design conveys the content semantics. We experiment with a constrained evolutionary approach for generating typographic posters, incorporating the proposed evaluation metrics with varied setups, and treating the legibility metrics as constraints. We also integrate emotion recognition to identify text semantics automatically and analyse the performance of the approach and the visual characteristics outputs.


title: Full Quantum Process Tomography of a Universal Entangling Gate on an IBM's Quantum Computer

abstract: Characterizing quantum dynamics is a cornerstone pursuit across quantum physics, quantum information science, and quantum computation. The precision of quantum gates in manipulating input basis states and their intricate superpositions is paramount. In this study, we conduct a thorough analysis of the SQSCZ gate, a universal two-qubit entangling gate, using real quantum hardware. This gate is a fusion of the square root of SWAP ($\sqrt{SWAP}$) and the square root of controlled-Z ($\sqrt{CZ}$) gates, serves as a foundational element for constructing universal gates, including the controlled-NOT gate. we begin by explaining the theory behind quantum process tomography (QPT), exploring the \textit{Choi-Jamiolkowski} isomorphism or the Choi matrix representation of the quantum process, along with a QPT algorithm utilizing Choi representation. Subsequently, we provide detailed insights into the experimental realization of the SQSCZ gate using a transmon-based superconducting qubit quantum computer. To comprehensively assess the gate's performance on a noisy intermediate-scale quantum (NISQ) computer, we conduct QPT experiments across diverse environments, employing both IBM Quantum's simulators and IBM Quantum's real quantum computer. Leveraging the Choi matrix in our QPT experiments allows for a comprehensive characterization of our quantum operations. Our analysis unveils commendable fidelities and noise properties of the SQSCZ gate, with process fidelities reaching $97.27098\%$ and $88.99383\%$, respectively. These findings hold promising implications for advancing both theoretical understanding and practical applications in the realm of quantum computation.


title: Interacting Chiral Form Field Theories and $T\overline T$-like Flows in Six and Higher Dimensions

abstract: In this paper we initiate the study of six-dimensional non-linear chiral two-form gauge theories as deformations of free chiral two-form gauge theories driven by stress-tensor $T\overline T$-like flows. To lay the background for this study, we elaborate on the relationship between different Lagrangian formulations of duality-invariant p-form theories and corresponding $T\overline T$-like flows in various dimensions. To this end we propose a new formulation which (i) is a generalization of the four-dimensional construction by Ivanov, Nurmagambetov and Zupnik (INZ) and (ii) turns into the PST formulation upon integrating out an auxiliary self-dual field. We elucidate space-time covariant properties of the PST formulation by clarifying and making use of its relation to the INZ-type formulation and to a so-called ``clone" construction.


title: Should I try multiple optimizers when fine-tuning pre-trained Transformers for NLP tasks? Should I tune their hyperparameters?

abstract: NLP research has explored different neural model architectures and sizes, datasets, training objectives, and transfer learning techniques. However, the choice of optimizer during training has not been explored as extensively. Typically, some variant of Stochastic Gradient Descent (SGD) is employed, selected among numerous variants, using unclear criteria, often with minimal or no tuning of the optimizer's hyperparameters. Experimenting with five GLUE datasets, two models (DistilBERT and DistilRoBERTa), and seven popular optimizers (SGD, SGD with Momentum, Adam, AdaMax, Nadam, AdamW, and AdaBound), we find that when the hyperparameters of the optimizers are tuned, there is no substantial difference in test performance across the five more elaborate (adaptive) optimizers, despite differences in training loss. Furthermore, tuning just the learning rate is in most cases as good as tuning all the hyperparameters. Hence, we recommend picking any of the best-behaved adaptive optimizers (e.g., Adam) and tuning only its learning rate. When no hyperparameter can be tuned, SGD with Momentum is the best choice.


title: Bipolaron in one-dimensional $SU(3)$ fermions with three-body interaction

abstract: The properties of the one-dimensional $SU(3)$ population-imbalanced fermions are discussed. The system is assumed to be in the two-body resonance where all two-body scattering lengths diverge, and the only interaction between fermions that is taken into account is the short-range three-body one. In particular, we consider the situation when only one `flavor' of fermions is macroscopically occupied, and there are exactly two atoms of two others. This system supports the trimer and the medium-induced dimer states studied here in detail and shows evidence of color superfluidity.


title: Lifetime of vertical giant soap films: role of the relative humidity and film dimensions

abstract: We consider the lifetime of rectangular vertical soap films and we explore the influence of relative humidity and both dimensions on the stability of large soap films, reaching heights of up to 1.2 m. Using an automated rupture detection system, we achieve a robust statistical measurement of their lifetimes and we also measure the film thinning dynamics. We demonstrate that drainage has a negligible impact on the film stability as opposed to evaporation. To do so, we compare the measured lifetimes with predictions from the Boulogne \& Dollet model \cite{BoulogneDollet2018}, originally designed to describe the convective evaporation of hydrogels. Interestingly, we show that this model can predict a maximum film lifetime for all sizes.


title: Semantic Object-level Modeling for Robust Visual Camera Relocalization

abstract: Visual relocalization is crucial for autonomous visual localization and navigation of mobile robotics. Due to the improvement of CNN-based object detection algorithm, the robustness of visual relocalization is greatly enhanced especially in viewpoints where classical methods fail. However, ellipsoids (quadrics) generated by axis-aligned object detection may limit the accuracy of the object-level representation and degenerate the performance of visual relocalization system. In this paper, we propose a novel method of automatic object-level voxel modeling for accurate ellipsoidal representations of objects. As for visual relocalization, we design a better pose optimization strategy for camera pose recovery, to fully utilize the projection characteristics of 2D fitted ellipses and the 3D accurate ellipsoids. All of these modules are entirely intergrated into visual SLAM system. Experimental results show that our semantic object-level mapping and object-based visual relocalization methods significantly enhance the performance of visual relocalization in terms of robustness to new viewpoints.


title: Estimating the Effect of Crosstalk Error on Circuit Fidelity Using Noisy Intermediate-Scale Quantum Devices

abstract: Current advancements in technology have focused the attention of the quantum computing community toward exploring the potential of near-term devices whose computing power surpasses that of classical computers in practical applications. An unresolved central question revolves around whether the inherent noise in these devices can be overcome or whether any potential quantum advantage would be limited. There is no doubt that crosstalk is one of the main sources of noise in noisy intermediate-scale quantum (NISQ) systems, and it poses a fundamental challenge to hardware designs. Crosstalk between parallel instructions can corrupt quantum states and cause incorrect program execution. In this study, we present a necessary analysis of the crosstalk error effect on NISQ devices. Our approach is extremely straightforward and practical to estimate the crosstalk error of various multi-qubit devices. In particular, we combine the randomized benchmarking (RB) and simultaneous randomized benchmarking (SRB) protocol to estimate the crosstalk error from the correlation controlled-NOT (CNOT) gate. We demonstrate this protocol experimentally on 5-, 7-, \& 16-qubit devices. Our results demonstrate the crosstalk error model of three different IBM quantum devices over the experimental week and compare the error variation against the machine, number of qubits, quantum volume, processor, and topology. We then confirm the improvement in the circuit fidelity on different benchmarks by up to 3.06x via inserting an instruction barrier, as compared with an IBM quantum noisy device which offers near-optimal crosstalk mitigation in practice. Finally, we discuss the current system limitation, its tradeoff on fidelity and depth, noise beyond the NISQ system, and mitigation opportunities to ensure that the quantum operation can perform its quantum magic undisturbed.


title: The Star Formation History in Local Group Galaxies. I. Ten Dwarf Galaxies

abstract: The star formation histories (SFHs) of galaxies provide valuable insights into galaxy evolution and stellar physics. Understanding the SFHs enables the study of chemical enrichment of galaxies, star formation triggered by interactions, and the behavior of various stellar populations. This work investigates the SFHs of ten dwarf galaxies in the Local Group (LG), which spans a wide range of types, masses, luminosities, and metallicities. The analysis is based on our new sample of the member stars in the LG after removing the foreground dwarf stars by the near-infrared color-color diagram and the Gaia astrometric information. The samples include the most complete and pure red supergiants and asymptotic giant branch stars to gain valuable insights into the recent SFHs of the galaxies. The CMD fitting method is introduced to measure the SFH. The Padova isochrones are used to generate initial model CMDs, accounting for photometric errors and completeness through star field simulations to match the completeness and error distributions of the observed CMDs. Subsequently, the SFHs, distance modulus, and metallicity of the ten dwarf galaxies are determined by fitting the CMDs. The results indicate that the star formation rates (SFRs) of dwarf irregulars show a gradual increase, while those of dwarf ellipticals exhibit a gradual decrease from the past to the present. Furthermore, this work shows that the star formation activity in dwarf ellipticals persisted up to 30 Myr ago. A significant increasing feature in the SFH of NGC 6822 reveals star formation activity triggered by an interaction event.


title: OpenFedLLM: Training Large Language Models on Decentralized Private Data via Federated Learning

abstract: Trained on massive publicly available data, large language models (LLMs) have demonstrated tremendous success across various fields. While more data contributes to better performance, a disconcerting reality is that high-quality public data will be exhausted in a few years. In this paper, we offer a potential next step for contemporary LLMs: collaborative and privacy-preserving LLM training on the underutilized distributed private data via federated learning (FL), where multiple data owners collaboratively train a shared model without transmitting raw data. To achieve this, we build a concise, integrated, and research-friendly framework/codebase, named OpenFedLLM. It covers federated instruction tuning for enhancing instruction-following capability, federated value alignment for aligning with human values, and 7 representative FL algorithms. Besides, OpenFedLLM supports training on diverse domains, where we cover 8 training datasets; and provides comprehensive evaluations, where we cover 30+ evaluation metrics. Through extensive experiments, we observe that all FL algorithms outperform local training on training LLMs, demonstrating a clear performance improvement across a variety of settings. Notably, in a financial benchmark, Llama2-7B fine-tuned by applying any FL algorithm can outperform GPT-4 by a significant margin while the model obtained through individual training cannot, demonstrating strong motivation for clients to participate in FL. The code is available at https://github.com/rui-ye/OpenFedLLM.


title: Feature Mapping in Physics-Informed Neural Networks (PINNs)

abstract: In this paper, the training dynamics of PINNs with a feature mapping layer via the limiting Conjugate Kernel and Neural Tangent Kernel is investigated, shedding light on the convergence of PINNs; Although the commonly used Fourier-based feature mapping has achieved great success, we show its inadequacy in some physics scenarios. Via these two scopes, we propose conditionally positive definite Radial Basis Function as a better alternative. Lastly, we explore the feature mapping numerically in a wide neural networks. Our empirical results reveal the efficacy of our method in diverse forward and inverse problem sets. Composing feature functions is found to be a practical way to address the expressivity and generalisability trade-off, viz., tuning the bandwidth of the kernels and the surjectivity of the feature mapping function. This simple technique can be implemented for coordinate inputs and benefits the broader PINNs research.


title: Uniform enclosures for the phase and zeros of Bessel functions and their derivatives

abstract: We prove explicit uniform two-sided bounds for the phase functions of Bessel functions and of their derivatives. As a consequence, we obtain new enclosures for the zeros of Bessel functions and their derivatives in terms of inverse values of some elementary functions. These bounds are valid, with a few exceptions, for all zeros and all Bessel functions with non-negative indices. We provide numerical evidence showing that our bounds either improve or closely match the best previously known ones.


title: Architectural Neural Backdoors from First Principles

abstract: While previous research backdoored neural networks by changing their parameters, recent work uncovered a more insidious threat: backdoors embedded within the definition of the network's architecture. This involves injecting common architectural components, such as activation functions and pooling layers, to subtly introduce a backdoor behavior that persists even after (full re-)training. However, the full scope and implications of architectural backdoors have remained largely unexplored. Bober-Irizar et al. [2023] introduced the first architectural backdoor; they showed how to create a backdoor for a checkerboard pattern, but never explained how to target an arbitrary trigger pattern of choice. In this work we construct an arbitrary trigger detector which can be used to backdoor an architecture with no human supervision. This leads us to revisit the concept of architecture backdoors and taxonomise them, describing 12 distinct types. To gauge the difficulty of detecting such backdoors, we conducted a user study, revealing that ML developers can only identify suspicious components in common model definitions as backdoors in 37% of cases, while they surprisingly preferred backdoored models in 33% of cases. To contextualize these results, we find that language models outperform humans at the detection of backdoors. Finally, we discuss defenses against architectural backdoors, emphasizing the need for robust and comprehensive strategies to safeguard the integrity of ML systems.


title: Simulating the Quantum Rabi Model in Superconducting Qubits at Deep Strong Coupling

abstract: The Quantum Rabi model serves as a pivotal theoretical framework for elucidating the nuanced interplay between light and matter. Utilizing circuit quantum electrodynamics on a chip, we address the challenge of achieving deep strong coupling in Quantum Cavity Electrodynamics (cQED). Despite progress in superconducting circuits and trapped ions, experimental realization has been limited to spectroscopy. Our focus is on a transformative digital quantum simulation, employing Trotterization with an augmented number of steps to deconstruct a complex unitary Hamiltonian. This approach showcases the benefits of digital techniques within superconducting circuits, offering universality, flexibility, scalability, and high fidelity. Our goal is to demonstrate deep strong coupling in cQED and understand the advantages of digital methods, particularly in coherent measurement during time evolution with varying photon counts in resonators. This opens avenues to leverage quantum mechanics for overcoming hardware limitations.


title: SpeechCLIP+: Self-supervised multi-task representation learning for speech via CLIP and speech-image data

abstract: The recently proposed visually grounded speech model SpeechCLIP is an innovative framework that bridges speech and text through images via CLIP without relying on text transcription. On this basis, this paper introduces two extensions to SpeechCLIP. First, we apply the Continuous Integrate-and-Fire (CIF) module to replace a fixed number of CLS tokens in the cascaded architecture. Second, we propose a new hybrid architecture that merges the cascaded and parallel architectures of SpeechCLIP into a multi-task learning framework. Our experimental evaluation is performed on the Flickr8k and SpokenCOCO datasets. The results show that in the speech keyword extraction task, the CIF-based cascaded SpeechCLIP model outperforms the previous cascaded SpeechCLIP model using a fixed number of CLS tokens. Furthermore, through our hybrid architecture, cascaded task learning boosts the performance of the parallel branch in image-speech retrieval tasks.


title: Zepyros: A webserver to evaluate the shape complementarity of protein-protein interfaces

abstract: Shape complementarity of molecular surfaces at the interfaces is a well-known characteristic of protein-protein binding regions, and it is critical in influencing the stability of the complex. Measuring such complementarity is at the basis of methods for both the prediction of possible interactions and for the design/optimization of speficic ones. However, only a limited number of tools are currently available to efficiently and rapidly assess it. Here, we introduce Zepyros, a webserver for fast measuring of the shape complementarity between two molecular interfaces of a given protein-protein complex using structural information. Zepyros is implemented as a publicly available tool with a user-friendly interface. Our server can be found at the following link (all major browser supported): https://zepyros.bio-groups.com


title: The matrix $A_2$ conjecture fails, i.e. $3/2>1$

abstract: We show that the famous matrix $A_2$ conjecture is false: the norm of the Hilbert Transform in the space $L^2(W)$ with matrix weight $W$ is estimated below by $C[W]_{{A}_2}^{3/2}$.


title: Photonic quantum information processing using the frequency continuous-variable of single photons

abstract: The celebrated Hong--Ou--Mandel effect illustrates the richness of two-photon interferometry. In this work, we show that this richness extends to the realm of time-frequency interferometry. Taking advantage of the mathematical analogy which can be drawn between the frequency and quadrature degrees of freedom of light when there is a single photon in each auxiliary mode, we consider the equivalent of the Hong--Ou--Mandel effect in the frequency domain. In this setting, the $n$-Fock state becomes equivalent to a single-photon state with a spectral wave function given by the $n^{th}$ Hermite--Gauss function and destructive interference corresponds to vanishing probability of detecting single photons with an order one Hermite--Gauss spectral profile. This intriguing analogy leads us to introduce an interferometric strategy using a frequency engineered two-photon state allowing to reach Heisenberg scaling for phase estimation, and to generalise the Gaussian Boson Sampling model to time-frequency degrees of freedom of single photons.


title: Tree Ensembles for Contextual Bandits

abstract: We propose a novel framework for contextual multi-armed bandits based on tree ensembles. Our framework integrates two widely used bandit methods, Upper Confidence Bound and Thompson Sampling, for both standard and combinatorial settings. We demonstrate the effectiveness of our framework via several experimental studies, employing XGBoost, a popular tree ensemble method. Compared to state-of-the-art methods based on neural networks, our methods exhibit superior performance in terms of both regret minimization and computational runtime, when applied to benchmark datasets and the real-world application of navigation over road networks.


title: NLP for Knowledge Discovery and Information Extraction from Energetics Corpora

abstract: We present a demonstration of the utility of NLP for aiding research into energetic materials and associated systems. The NLP method enables machine understanding of textual data, offering an automated route to knowledge discovery and information extraction from energetics text. We apply three established unsupervised NLP models: Latent Dirichlet Allocation, Word2Vec, and the Transformer to a large curated dataset of energetics-related scientific articles. We demonstrate that each NLP algorithm is capable of identifying energetic topics and concepts, generating a language model which aligns with Subject Matter Expert knowledge. Furthermore, we present a document classification pipeline for energetics text. Our classification pipeline achieves 59-76\% accuracy depending on the NLP model used, with the highest performing Transformer model rivaling inter-annotator agreement metrics. The NLP approaches studied in this work can identify concepts germane to energetics and therefore hold promise as a tool for accelerating energetics research efforts and energetics material development.


title: Modeling of fluid-rigid body interaction in an electrically conducting fluid

abstract: We derive a mathematical model for the motion of several insulating rigid bodies through an electrically conducting fluid. Starting from a universal model describing this phenomenon in generality, we elaborate (simplifying) physical assumptions under which a mathematical analysis of the model becomes feasible. Our main focus lies on the derivation of the boundary and interface conditions for the electromagnetic fields as well as the derivation of the magnetohydrodynamic approximation carried out via a nondimensionalization of the system.


title: DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction

abstract: Recurrent neural networks (RNNs) have emerged as powerful tools for processing sequential data in various fields, including natural language processing and speech recognition. However, the lack of explainability in RNN models has limited their interpretability, posing challenges in understanding their internal workings. To address this issue, this paper proposes a methodology for extracting a state machine (SM) from an RNN-based model to provide insights into its internal function. The proposed SM extraction algorithm was assessed using four newly proposed metrics: Purity, Richness, Goodness, and Scale. The proposed methodology along with its assessment metrics contribute to increasing explainability in RNN models by providing a clear representation of their internal decision making process through the extracted SM. In addition to improving the explainability of RNNs, the extracted SM can be used to advance testing and and monitoring of the primary RNN-based model. To enhance RNN testing, we introduce six model coverage criteria based on the extracted SM, serving as metrics for evaluating the effectiveness of test suites designed to analyze the primary model. We also propose a tree-based model to predict the error probability of the primary model for each input based on the extracted SM. We evaluated our proposed online error prediction approach using the MNIST dataset and Mini Speech Commands dataset, achieving an area under the curve (AUC) exceeding 80\% for the receiver operating characteristic (ROC) chart.


title: Instruct Once, Chat Consistently in Multiple Rounds: An Efficient Tuning Framework for Dialogue

abstract: Tuning language models for dialogue generation has been a prevalent paradigm for building capable dialogue agents. Yet, traditional tuning narrowly views dialogue generation as resembling other language generation tasks, ignoring the role disparities between two speakers and the multi-round interactive process that dialogues ought to be. Such a manner often leads to unsatisfactory chat consistency for the built agent. In this work, we emphasize the interactive, communicative nature of dialogue and argue that it is more feasible to model the speaker roles of agent and user separately, enabling the agent to adhere to its role consistently. With this in mind, we propose an efficient Multi-round Interactive Dialogue Tuning (Midi-Tuning) framework. It models the agent and user individually with two adapters built upon large language models. The adapters make use of respective utterances round by round in alternating order and they are tuned via a round-level memory caching mechanism. Extensive experiments demonstrate that, our framework performs superior to traditional fine-tuning and harbors the tremendous potential for improving dialogue consistency.


title: Contextual Stochastic Vehicle Routing with Time Windows

abstract: We study the vehicle routing problem with time windows (VRPTW) and stochastic travel times, in which the decision-maker observes related contextual information, represented as feature variables, before making routing decisions. Despite the extensive literature on stochastic VRPs, the integration of feature variables has received limited attention in this context. We introduce the contextual stochastic VRPTW, which minimizes the total transportation cost and expected late arrival penalties conditioned on the observed features. Since the joint distribution of travel times and features is unknown, we present novel data-driven prescriptive models that use historical data to provide an approximate solution to the problem. We distinguish the prescriptive models between point-based approximation, sample average approximation, and penalty-based approximation, each taking a different perspective on dealing with stochastic travel times and features. We develop specialized branch-price-and-cut algorithms to solve these data-driven prescriptive models. In our computational experiments, we compare the out-of-sample cost performance of different methods on instances with up to one hundred customers. Our results show that, surprisingly, a feature-dependent sample average approximation outperforms existing and novel methods in most settings.


title: Synthesizing CTA Image Data for Type-B Aortic Dissection using Stable Diffusion Models

abstract: Stable Diffusion (SD) has gained a lot of attention in recent years in the field of Generative AI thus helping in synthesizing medical imaging data with distinct features. The aim is to contribute to the ongoing effort focused on overcoming the limitations of data scarcity and improving the capabilities of ML algorithms for cardiovascular image processing. Therefore, in this study, the possibility of generating synthetic cardiac CTA images was explored by fine-tuning stable diffusion models based on user defined text prompts, using only limited number of CTA images as input. A comprehensive evaluation of the synthetic data was conducted by incorporating both quantitative analysis and qualitative assessment, where a clinician assessed the quality of the generated data. It has been shown that Cardiac CTA images can be successfully generated using using Text to Image (T2I) stable diffusion model. The results demonstrate that the tuned T2I CTA diffusion model was able to generate images with features that are typically unique to acute type B aortic dissection (TBAD) medical conditions.


title: Index theory for H-elliptic and transversally H-elliptic operators from $KK$-theoretic viewpoint

abstract: This research comprehensively describes the transversally H-elliptic operators and investigates the index theorem of H-elliptic and transversally H-elliptic operators from the perspective of $KK$-theory, applying Kasparov's methodology. Moreover, the analysis methodically examines specific conditions, with a focus on the Fourier transform of the nilpotent group $C^{\ast}$-algebra. The findings demonstrate enhanced methods for analyzing the hypoellipticity of operators, presenting a robust framework for defining and understanding transversal H-ellipticity in a $KK$-theoretic context. This work provides a solid foundation for future research into the properties of differential operators in complex manifolds.


title: In-Context Data Distillation with TabPFN

abstract: Foundation models have revolutionized tasks in computer vision and natural language processing. However, in the realm of tabular data, tree-based models like XGBoost continue to dominate. TabPFN, a transformer model tailored for tabular data, mirrors recent foundation models in its exceptional in-context learning capability, being competitive with XGBoost's performance without the need for task-specific training or hyperparameter tuning. Despite its promise, TabPFN's applicability is hindered by its data size constraint, limiting its use in real-world scenarios. To address this, we present in-context data distillation (ICD), a novel methodology that effectively eliminates these constraints by optimizing TabPFN's context. ICD efficiently enables TabPFN to handle significantly larger datasets with a fixed memory budget, improving TabPFN's quadratic memory complexity but at the cost of a linear number of tuning steps. Notably, TabPFN, enhanced with ICD, demonstrates very strong performance against established tree-based models and modern deep learning methods on 48 large tabular datasets from OpenML.


title: Impurities in graphene and their influence on the Casimir interaction

abstract: We study the influence of impurities in graphene described by a scattering rate $\Gamma$ on the Casimir interaction between graphene and an ideal conductor or between two identical sheets of graphene at zero temperature and chemical potential. To this end, we compute the polarization tensor of quasiparticles in graphene and corresponding conductivities for TE and TM channels. The Casimir energy density is evaluated with the help of the Lifshitz formula. We find that depending on the value of mass gap parameter the presence of $\Gamma$ may lead to a slight damping or to a considerable enhancement of the Casimir interaction.


title: Event-Keyed Summarization

abstract: We introduce event-keyed summarization (EKS), a novel task that marries traditional summarization and document-level event extraction, with the goal of generating a contextualized summary for a specific event, given a document and an extracted event structure. We introduce a dataset for this task, MUCSUM, consisting of summaries of all events in the classic MUC-4 dataset, along with a set of baselines that comprises both pretrained LM standards in the summarization literature, as well as larger frontier models. We show that ablations that reduce EKS to traditional summarization or structure-to-text yield inferior summaries of target events and that MUCSUM is a robust benchmark for this task. Lastly, we conduct a human evaluation of both reference and model summaries, and provide some detailed analysis of the results.


title: Hypernetwork-Driven Model Fusion for Federated Domain Generalization

abstract: Federated Learning (FL) faces significant challenges with domain shifts in heterogeneous data, degrading performance. Traditional domain generalization aims to learn domain-invariant features, but the federated nature of model averaging often limits this due to its linear aggregation of local learning. To address this, we propose a robust framework, coined as hypernetwork-based Federated Fusion (hFedF), using hypernetworks for non-linear aggregation, facilitating generalization to unseen domains. Our method employs client-specific embeddings and gradient alignment techniques to manage domain generalization effectively. Evaluated in both zero-shot and few-shot settings, hFedF demonstrates superior performance in handling domain shifts. Comprehensive comparisons on PACS, Office-Home, and VLCS datasets show that hFedF consistently achieves the highest in-domain and out-of-domain accuracy with reliable predictions. Our study contributes significantly to the under-explored field of Federated Domain Generalization (FDG), setting a new benchmark for performance in this area.


title: Quantum size effects of Pb overlayers at high coverages

abstract: We have studied Pb thin films as a function of the thickness up to 60 monolayers (MLs) using ab initio first principles and model calculations. Magic heights corresponding to a modulated oscillatory pattern of the energy of Pb(111) films have been measured up to about 30 MLs. We demonstrate that this behaviour continues even for higher thickness due to an extra second modulation pattern in the energetics of the metal film as a function of the number of atomic layers. The origin of this second modulation is the nesting of two close values of the Fermi wavelength in the (111) direction.


title: Neural Rearrangement Planning for Object Retrieval from Confined Spaces Perceivable by Robot's In-hand RGB-D Sensor

abstract: Rearrangement planning for object retrieval tasks from confined spaces is a challenging problem, primarily due to the lack of open space for robot motion and limited perception. Several traditional methods exist to solve object retrieval tasks, but they require overhead cameras for perception and a time-consuming exhaustive search to find a solution and often make unrealistic assumptions, such as having identical, simple geometry objects in the environment. This paper presents a neural object retrieval framework that efficiently performs rearrangement planning of unknown, arbitrary objects in confined spaces to retrieve the desired object using a given robot grasp. Our method actively senses the environment with the robot's in-hand camera. It then selects and relocates the non-target objects such that they do not block the robot path homotopy to the target object, thus also aiding an underlying path planner in quickly finding robot motion sequences. Furthermore, we demonstrate our framework in challenging scenarios, including real-world cabinet-like environments with arbitrary household objects. The results show that our framework achieves the best performance among all presented methods and is, on average, two orders of magnitude computationally faster than the best-performing baselines.


title: Superfluid transition of disordered dipolar Fermi gases in a 2D lattice

abstract: We consider a superfluid transition in two-component dipolar Fermi gases in a two-dimensional lattice with a weak on-site disorder. The momentum dependent dipole-dipole interaction amplitude violates the Anderson theorem and in the weakly interacting regime this leads to an increase of the superfluid transition temperature. We find that in a sufficiently deep lattice (tight-binding regime) and in the low momentum limit superfluid properties can be considered in the same way as in free space replacing the mass of atoms by an effective mass in the lattice. The disorder-induced increase of the critical temperature can be significantly more pronounced than in free space.


title: Sophia-in-Audition: Virtual Production with a Robot Performer

abstract: We present Sophia-in-Audition (SiA), a new frontier in virtual production, by employing the humanoid robot Sophia within an UltraStage environment composed of a controllable lighting dome coupled with multiple cameras. We demonstrate Sophia's capability to replicate iconic film segments, follow real performers, and perform a variety of motions and expressions, showcasing her versatility as a virtual actor. Key to this process is the integration of facial motion transfer algorithms and the UltraStage's controllable lighting and multi-camera setup, enabling dynamic performances that align with the director's vision. Our comprehensive user studies indicate positive audience reception towards Sophia's performances, highlighting her potential to reduce the uncanny valley effect in virtual acting. Additionally, the immersive lighting in dynamic clips was highly rated for its naturalness and its ability to mirror professional film standards. The paper presents a first-of-its-kind multi-view robot performance video dataset with dynamic lighting, offering valuable insights for future enhancements in humanoid robotic performers and virtual production techniques. This research contributes significantly to the field by presenting a unique virtual production setup, developing tools for sophisticated performance control, and providing a comprehensive dataset and user study analysis for diverse applications.


title: Trapped-ion toolbox to simulate quantum Otto heat engines

abstract: We present a scheme that utilizes an ion confined within a bi-dimensional trap to simulate a quantum Otto heat engine whose working substance is a two-level system. In this scheme, the electronic component of the ion (the two-level system) can interact with effective heat reservoirs of different types. We specifically focus on effective thermal reservoirs (those with positive temperatures), effective heat reservoirs with apparent negative temperatures, and effective squeezed thermal reservoirs. We show how to generate these effective reservoirs and provide numerical results to illustrate the applicability of the presented scheme. Finally, considering the same types of effective heat reservoirs, we briefly discuss the simulation of a quantum Otto heat engine where a quantum harmonic oscillator serves as the working substance.


title: Partial duality for ribbon graphs

abstract: This is an expository paper extending the tutorial talk at the MATRIX Workshop on Uniqueness and Discernment in Graph Polynomials in October 2023. The explanation is mainly based on the paper "Partial Duality of Hypermaps" by S.Chmutov and F.Vignes-Tourneret with maximal possible simplifications.


title: Structures vibration control via tuned mass dampers using a co-evolution coral reefs optimization algorithm

abstract: In this paper we tackle a problem of optimal design and location of Tuned Mass Dampers (TMDs) for structures subjected to earthquake ground motions, using a novel meta-heuristic algorithm. Specifically, the Coral Reefs Optimization (CRO) with Substrate Layer (CRO-SL) is proposed as a competitive co-evolution algorithm with different exploration procedures within a single population of solutions. The proposed approach is able to solve the TMD design and location problem, by exploiting the combination of different types of searching mechanisms. This promotes a powerful evolutionary-like algorithm for optimization problems, which is shown to be very effective in this particular problem of TMDs tuning. The proposed algorithm's performance has been evaluated and compared with several reference algorithms in two building models with two and four floors, respectively.


title: Treatment-wise Glioblastoma Survival Inference with Multi-parametric Preoperative MRI

abstract: In this work, we aim to predict the survival time (ST) of glioblastoma (GBM) patients undergoing different treatments based on preoperative magnetic resonance (MR) scans. The personalized and precise treatment planning can be achieved by comparing the ST of different treatments. It is well established that both the current status of the patient (as represented by the MR scans) and the choice of treatment are the cause of ST. While previous related MR-based glioblastoma ST studies have focused only on the direct mapping of MR scans to ST, they have not included the underlying causal relationship between treatments and ST. To address this limitation, we propose a treatment-conditioned regression model for glioblastoma ST that incorporates treatment information in addition to MR scans. Our approach allows us to effectively utilize the data from all of the treatments in a unified manner, rather than having to train separate models for each of the treatments. Furthermore, treatment can be effectively injected into each convolutional layer through the adaptive instance normalization we employ. We evaluate our framework on the BraTS20 ST prediction task. Three treatment options are considered: Gross Total Resection (GTR), Subtotal Resection (STR), and no resection. The evaluation results demonstrate the effectiveness of injecting the treatment for estimating GBM survival.


title: Cylindrical compression of thin wires by irradiation with a Joule-class short pulse laser

abstract: Equation of state measurements at Jovian or stellar conditions are currently conducted by dynamic shock compression driven by multi-kilojoule multi-beam nanosecond-duration lasers. These experiments require precise design of the target and specific tailoring of the spatial and temporal laser profiles to reach the highest pressures. At the same time, the studies are limited by the low repetition rate of the lasers. Here, we show that by the irradiation of a thin wire with single beam Joule-class short-pulse laser, a converging cylindrical shock is generated compressing the wire material to conditions relevant for the above applications. The shockwave was observed using Phase Contrast Imaging employing a hard X-ray Free Electron Laser with unprecedented temporal and spatial sensitivity. The data collected for Cu wires is in agreement with hydrodynamic simulations of an ablative shock launched by a highly-impulsive and transient resistive heating of the wire surface. The subsequent cylindrical shockwave travels towards the wire axis and is predicted to reach a compression factor of 9 and pressures above 800 Mbar. Simulations for astrophysical relevant materials underline the potential of this compression technique as a new tool for high energy density studies at high repetition rates.


title: Speech motion anomaly detection via cross-modal translation of 4D motion fields from tagged MRI

abstract: Understanding the relationship between tongue motion patterns during speech and their resulting speech acoustic outcomes -- i.e., articulatory-acoustic relation -- is of great importance in assessing speech quality and developing innovative treatment and rehabilitative strategies. This is especially important when evaluating and detecting abnormal articulatory features in patients with speech-related disorders. In this work, we aim to develop a framework for detecting speech motion anomalies in conjunction with their corresponding speech acoustics. This is achieved through the use of a deep cross-modal translator trained on data from healthy individuals only, which bridges the gap between 4D motion fields obtained from tagged MRI and 2D spectrograms derived from speech acoustic data. The trained translator is used as an anomaly detector, by measuring the spectrogram reconstruction quality on healthy individuals or patients. In particular, the cross-modal translator is likely to yield limited generalization capabilities on patient data, which includes unseen out-of-distribution patterns and demonstrates subpar performance, when compared with healthy individuals.~A one-class SVM is then used to distinguish the spectrograms of healthy individuals from those of patients. To validate our framework, we collected a total of 39 paired tagged MRI and speech waveforms, consisting of data from 36 healthy individuals and 3 tongue cancer patients. We used both 3D convolutional and transformer-based deep translation models, training them on the healthy training set and then applying them to both the healthy and patient testing sets. Our framework demonstrates a capability to detect abnormal patient data, thereby illustrating its potential in enhancing the understanding of the articulatory-acoustic relation for both healthy individuals and patients.


title: OSSAR: Towards Open-Set Surgical Activity Recognition in Robot-assisted Surgery

abstract: In the realm of automated robotic surgery and computer-assisted interventions, understanding robotic surgical activities stands paramount. Existing algorithms dedicated to surgical activity recognition predominantly cater to pre-defined closed-set paradigms, ignoring the challenges of real-world open-set scenarios. Such algorithms often falter in the presence of test samples originating from classes unseen during training phases. To tackle this problem, we introduce an innovative Open-Set Surgical Activity Recognition (OSSAR) framework. Our solution leverages the hyperspherical reciprocal point strategy to enhance the distinction between known and unknown classes in the feature space. Additionally, we address the issue of over-confidence in the closed set by refining model calibration, avoiding misclassification of unknown classes as known ones. To support our assertions, we establish an open-set surgical activity benchmark utilizing the public JIGSAWS dataset. Besides, we also collect a novel dataset on endoscopic submucosal dissection for surgical activity tasks. Extensive comparisons and ablation experiments on these datasets demonstrate the significant outperformance of our method over existing state-of-the-art approaches. Our proposed solution can effectively address the challenges of real-world surgical scenarios. Our code is publicly accessible at https://github.com/longbai1006/OSSAR.


title: Cacophony: An Improved Contrastive Audio-Text Model

abstract: Despite recent advancements in audio-text modeling, audio-text contrastive models still lag behind their image-text counterparts in scale and performance. We propose a method to improve both the scale and the training of audio-text contrastive models. Specifically, we craft a large-scale audio-text dataset containing 13,000 hours of text-labeled audio, using pretrained language models to process noisy text descriptions and automatic captioning to obtain text descriptions for unlabeled audio samples. We first train on audio-only data with a masked autoencoder (MAE) objective, which allows us to benefit from the scalability of unlabeled audio datasets. We then, initializing our audio encoder from the MAE model, train a contrastive model with an auxiliary captioning objective. Our final model, which we name Cacophony, achieves state-of-the-art performance on audio-text retrieval tasks, and exhibits competitive results on the HEAR benchmark and other downstream tasks such as zero-shot classification.


title: Groups Acting Generically Multiply Transitively on Solvable Groups

abstract: In this work, we complete the classification of generically multiply transitive actions of groups on solvable groups in the finite Morley rank setting. We prove that if $G$ is a connected group of finite Morley rank acting definably, faithfully and generically $m$-transitively on a connected solvable group $V$ of finite Morley rank where $\operatorname{rk}(V)\leqslant m$, then $\operatorname{rk}(V)=m$, $V$ is a vector space of dimension $m$ over an algebraically closed field $F$, $G\cong \operatorname{GL}_m(F)$, and the action is equivalent to the natural action of $\operatorname{GL}_m(F)$ on $F^m$. This generalises our previous work arXiv:2107.09997. As an application of our result, we classify definably primitive groups of finite Morley rank and affine type acting on a set $X$ with a generic transitivity degree of $\operatorname{rk}(X)+1$.


title: Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)

abstract: Session types are a type discipline for describing and specifying communication behaviours of concurrent processes. Session subtyping, firstly introduced by Gay and Hole, is widely used for enlarging typability of session programs. This paper gives the complexity analysis of three algorithms for subtyping of synchronous binary session types. First, we analyse the complexity of the algorithm from the original paper, which is based on an inductive tree search. We then introduce its optimised version, which improves the complexity, but is still exponential against the size of the two types. Finally, we propose a new quadratic algorithm based on a graph search using the concept of $\mathcal{XYZW}$-simulation, recently introduced by Silva et al.


title: Designing for Work with Intelligent Entities: A Review of Perspectives

abstract: As the power of Artificial Intelligence (AI) continues to advance, there is increased interest in how best to combine AI-based agents with humans to achieve mission effectiveness. Three perspectives have emerged. The first stems from more conventional human factors traditions and views these entities as highly capable tools that humans can use to accomplish increasingly sophisticated tasks. The second "camp" believes that as the sophistication of these entities increases, it becomes increasingly appropriate to talk about them as "teammates" and use the research on human teams as a foundation for further exploration. The third perspective is emerging and finds both the "tools" and "teammate" metaphors flawed and limiting. This perspective emphasizes "joint activity," "joint cognitive activity," or something similar. In this article, we briefly review these three perspectives.


title: Guided Sketch-Based Program Induction by Search Gradients

abstract: Many tasks can be easily solved using machine learning techniques. However, some tasks cannot readily be solved using statistical models, requiring a symbolic approach instead. Program induction is one of the ways that such tasks can be solved by means of capturing an interpretable and generalizable algorithm through training. However, contemporary approaches to program induction are not sophisticated enough to readily be applied to various types of tasks as they tend to be formulated as a single, all-encompassing model, usually parameterized by neural networks. In an attempt to make program induction a viable solution for many scenarios, we propose a framework for learning parameterized programs via search gradients using evolution strategies. This formulation departs from traditional program induction as it allows for the programmer to impart task-specific code to the program 'sketch', while also enjoying the benefits of accelerated learning through end-to-end gradient-based optimization.


title: Reciprocal Visibility

abstract: We propose a guidance strategy to optimize real-time synthetic aperture sampling for occlusion removal with drones by pre-scanned point-cloud data. Depth information can be used to compute visibility of points on the ground for individual drone positions in the air. Inspired by Helmholtz reciprocity, we introduce reciprocal visibility to determine the dual situation - the visibility of potential sampling position in the air from given points of interest on the ground. The resulting visibility map encodes which point on the ground is visible by which magnitude from any position in the air. Based on such a map, we demonstrate a first greedy sampling optimization.


title: A Rational Analysis of the Speech-to-Song Illusion

abstract: The speech-to-song illusion is a robust psychological phenomenon whereby a spoken sentence sounds increasingly more musical as it is repeated. Despite decades of research, a complete formal account of this transformation is still lacking, and some of its nuanced characteristics, namely, that certain phrases appear to transform while others do not, is not well understood. Here we provide a formal account of this phenomenon, by recasting it as a statistical inference whereby a rational agent attempts to decide whether a sequence of utterances is more likely to have been produced in a song or speech. Using this approach and analyzing song and speech corpora, we further introduce a novel prose-to-lyrics illusion that is purely text-based. In this illusion, simply duplicating written sentences makes them appear more like song lyrics. We provide robust evidence for this new illusion in both human participants and large language models.


title: 2d (0,2) Gauge Theories from Branes: Recent Progress in Brane Brick Models

abstract: We discuss the realization of $2d$ $(0,2)$ gauge theories in terms of branes focusing on Brane Brick Models, which are T-dual to D1-branes probing toric Calabi-Yau 4-folds. These brane setups fully encode the infinite class of $2d$ $(0,2)$ quiver gauge theories on the worldvolume of the D1-branes and substantially streamline their connection to the probed geometries. We review various methods for efficiently generating Brane Brick Models. These algorithms are then used to construct $2d$ $(0,2)$ gauge theories for the cones over all the smooth Fano 3-folds and two infinite families of Sasaki-Einstein 7-manifolds with known metrics. This note is based on the author's talk at the Gauged Linear Sigma Models @ 30 conference at the Simons Center for Geometry and Physics.


title: A Change Detection Reality Check

abstract: In recent years, there has been an explosion of proposed change detection deep learning architectures in the remote sensing literature. These approaches claim to offer state-of-the-art performance on different standard benchmark datasets. However, has the field truly made significant progress? In this paper we perform experiments which conclude a simple U-Net segmentation baseline without training tricks or complicated architectural changes is still a top performer for the task of change detection.


title: Self-induced transparency of long water waves over bathymetry: the dispersive shock mechanism

abstract: Dispersive shock waves (DSW) are a salient feature of long water waves often observed in tidal bores and tsunami/meteotsunami contexts. Their interaction with bathymetry is poorly understood. The shoreline hazard from tsunamis and meteotsunamis critically depends on the fraction of incoming energy flux transmitted across the shallow nearshore shelf. Here, by considering nonlinear dynamics of waves over variable depth within the framework of the Boussinesq equations we show that the transmitted energy flux fraction can strongly depend on the initial amplitude of the incoming wave and the distance it travels. The phenomenon is similar to self-induced transparency in nonlinear optics: small amplitude waves are reflected by bathymetry inhomogeneity, while a larger amplitude ones pass through. The mechanism of self-induced transparency of long water waves can be explained as follows. In linear setting a bathymetry inhomogeneity, of length comparable to that of the incident wavelength, by transmitting high wavenumber components acts as a high-pass filter. The DSW evolution efficiently transfers wave energy into high wavenumber band, where reflection is negligible. By examining an idealized model of bathymetry we show that this is an order one effect and explore its dependence on parameters in the range relevant for meteotsunamis. The role of wave energy transfer into high wavenumber band owing to the growth of bound harmonics unrelated to the DSW was found to be small.


title: Transport coefficients of transient hydrodynamics for the hadron-resonance gas and thermal-mass quasiparticle models

abstract: We calculate all transport coefficients of second order transient hydrodynamics in two effective kinetic theory models: a hadron-resonance gas and a quasiparticle model with thermal masses tuned to reproduce QCD thermodynamics. We compare the corresponding results with calculations for an ultrarelativistic single-component gas, that are widely employed in hydrodynamic simulations of heavy ion collisions. We find that both of these effective models display a qualitatively different normalized bulk viscosity, when compared to the calculation for the single-component gas. Indeed, $\zeta/[\tau_{\Pi}(\varepsilon_{0} + P_{0})] \simeq 16.91(1/3-c_{s}^{2})^{2}$, for the hadron-resonance gas model, and $\zeta/[\tau_{\Pi}(\varepsilon_{0} + P_{0})] \simeq 5 (1/3-c_{s}^{2})$ for the quasiparticle model. Differences are also observed for many second-order transport coefficients, specially those related to the bulk viscous pressure. The transport coefficients derived are shown to be consistent with fundamental linear stability and causality conditions.


title: Double-Mode RR Lyrae Stars Observed by K2: Analysis of High-Precision Kepler Photometry

abstract: The results of a Fourier analysis of high-precision Kepler photometry of 75 double-mode RR~Lyrae (RRd) stars observed during NASA's K2 Mission (2014-18) are presented. Seventy-two of the stars are `classical' RRd (cRRd) stars lying along a well-defined curve in the Petersen diagram and showing no evidence of Blazhko modulations. The remaining three stars are `anomalous' RRd (aRRd) stars that lie well below the cRRd curve in the Petersen diagram. These stars have larger fundamental-mode amplitudes than first-overtone amplitudes and exhibit Blazhko variations. Period-amplitude relations for the individual pulsation components of the cRRd stars are examined, as well as correlations involving Fourier phase-difference and amplitude-ratio parameters that characterize the light curves for the two radial modes. A simple statistical model relating the fundamental (P0) and first-overtone (P1) periods to [Fe/H] provides insight into the functional form of the Petersen diagram. A calibration equation for estimating [Fe/H]phot abundances of `classical' RRd stars is derived by inverting the model and using 211 field and 57 globular cluster cRRd stars with spectroscopic metallicities to estimate the model coefficients. The equation is used to obtain [Fe/H]phot for the full sample of 72 K2 cRRd stars and for 2130 cRRd stars observed by the ESA Gaia Mission. Of the 49 K2 cRRd stars that are in the Gaia DR3 catalogue only five were found to be correctly classified, the remainder having been misclassified `RRc' or `RRab'.


title: Phase Separation Kinetics and Cluster Dynamics in Two-Dimensional Active Dumbbell Systems

abstract: Molecular dynamics simulations were employed to investigate the phase separation process of a two-dimensional active Brownian dumbbell model. We evaluated the time dependence of the typical size of the dense component using the scaling properties of the structure factor, along with the averaged number of clusters and their radii of gyration. The growth observed is faster than in active particle (disk) models, and this effect is further enhanced under stronger activity. Next, we focused on studying the hexatic order of the clusters. The length associated to the orientational order grows algebraically and faster than for active Brownian particles. Under weak active forces, most clusters exhibit a uniform internal orientational order. However, under strong forcing, large clusters consist of domains with different orientational orders. We demonstrated that the latter configurations are not stable, and given sufficient time to evolve, they eventually reach homogeneous configurations as well. No gas bubbles are formed within the clusters, even when there are patches of different hexatic order. Finally, attention was directed towards the geometry and motion of the clusters themselves. By employing a tracking algorithm, we showed that clusters smaller than the typical size at the observation time exhibit regular shapes, while larger ones display fractal characteristics. In between collisions or break-ups, the clusters behave as solid bodies. Their centers of mass undergo circular motion, with radii increasing with the cluster size. The center of mass angular velocity equals that of the constituents with respect to their center of mass. These observations were rationalised with a simple mechanical model.


title: Under Pressure: Comparative Statics for Optimal Stopping Problems in Nonstationary Environments

abstract: We present a general optimal stopping problem accommodating a broad spectrum of nonstationary environments. These include scenarios where the decision maker's patience (i.e., discount rate), time pressure (i.e., arrival rate of a stochastic deadline), learning speed (i.e., volatility of the diffusion process) can change over time both gradually and abruptly. Our paper offers three main contributions. First, we prove this general problem has a well-defined solution under mild regularity conditions. Second, we develop comprehensive comparative statics results that are crucial to characterize the shape of the stopping region in the broad class of \textit{monotone environments}. Finally, we leverage these comparative statics to examine the speed-accuracy tradeoffs in various information acquisition problems, revealing how decision accuracy varies over time in response to changes in the discount rate, learning speed, or deadline-induced time pressure. Notably, our main comparative static results hold locally and thus can also capture non-monotone relations.


title: Artificial Intelligence-Enabled Optimization of Battery-Grade Lithium Carbonate Production

abstract: By 2035, the need for battery-grade lithium is expected to quadruple. About half of this lithium is currently sourced from brines and must be converted from a chloride into lithium carbonate (Li2CO3) through a process called softening. Conventional softening methods using sodium or potassium salts contribute to carbon emissions during reagent mining and battery manufacturing, exacerbating global warming. This study introduces an alternative approach using carbon dioxide (CO2(g)) as the carbonating reagent in the lithium softening process, offering a carbon capture solution. We employed an active learning-driven high-throughput method to rapidly capture CO2(g) and convert it to lithium carbonate. The model was simplified by focusing on the elemental concentrations of C, Li, and N for practical measurement and tracking, avoiding the complexities of ion speciation equilibria. This approach led to an optimized lithium carbonate process that capitalizes on CO2(g) capture and improves the battery metal supply chain's carbon efficiency.


title: Dimension of equilibrium measures for complex maps

abstract: For certain families of complex maps, we give a formula for the Hausdorff dimension of the equilibrium measure. In particular, given an endomorphism $f$ of $\mathbb C\mathbb P^k$ of algebraic degree $d \ge2$, and given the equilibrium measure $\mu$ with Lyapunov exponents $\chi_1\geq \ldots\geq \chi_k$, we show $\dim_\mathrm{H}(\mu) = \log d\sum_{i\leq k}\frac{1}{\chi_i}$ where $\dim_\mathrm{H}(\mu)$ is the Hausdorff dimension of the measure $\mu$. This gives an answer to the question of Forn{\ae}ss and Sibony, and proves the Binder-DeMarco Conjecture.


title: Clients Collaborate: Flexible Differentially Private Federated Learning with Guaranteed Improvement of Utility-Privacy Trade-off

abstract: To defend against privacy leakage of user data, differential privacy is widely used in federated learning, but it is not free. The addition of noise randomly disrupts the semantic integrity of the model and this disturbance accumulates with increased communication rounds. In this paper, we introduce a novel federated learning framework with rigorous privacy guarantees, named FedCEO, designed to strike a trade-off between model utility and user privacy by letting clients ''Collaborate with Each Other''. Specifically, we perform efficient tensor low-rank proximal optimization on stacked local model parameters at the server, demonstrating its capability to flexibly truncate high-frequency components in spectral space. This implies that our FedCEO can effectively recover the disrupted semantic information by smoothing the global semantic space for different privacy settings and continuous training processes. Moreover, we improve the SOTA utility-privacy trade-off bound by an order of $\sqrt{d}$, where $d$ is the input dimension. We illustrate our theoretical results with experiments on representative image datasets. It observes significant performance improvements and strict privacy guarantees under different privacy settings.


title: Zeta functions of dynamically tame Liouville domains

abstract: We define a dynamical zeta function for nondegenerate Liouville domains, in terms of Reeb dynamics on the boundary. We use filtered equivariant symplectic homology to (i) extend the definition of the zeta function to a more general class of "dynamically tame" Liouville domains, and (ii) show that the zeta function of a dynamically tame Liouville domain is invariant under exact symplectomorphism of the interior. As an application, we find examples of open domains in R^4, arbitrarily close to a ball, which are not symplectomorphic to open star-shaped toric domains.


title: Min-Max transformation for the measurement of sports performance through PIR

abstract: The objective of this work is to analyze the usefulness to transform the information to measure sports performance. This analysis is carried out within the field of basketball due to the existing tradition in this sport in data collection, although it is easily adaptable to any other sport. As a result, a modification of the Performance Index Rating (PIR) is proposed to measure sports performance. The results obtained are illustrated from the statistics of Larry Bird, Earvin Johnson, Michael Jordan and Kobe Bryant throughout their careers and can serve to optimize the process of player renewal/firing/hiring in the design of a roster or to aid decision-making in awarding individual awards as best player of a season.


title: The Dirichlet-Neumann Operator for Taylor's Cone

abstract: The aim of this paper is to analyse the Dirichlet-Neumann operator in axially symmetric conical domains. We provide a constructive treatment of the generic singularity at the vertex by using a new coordinate system that maps the conical domain to a strip. Building upon the paradifferential theory, we then establish our main Sobolev estimates. We also find the shape derivative, the linearization formula, and the cancellation property for the Dirichlet-Neumann operator. Our results can be viewed as the first step towards establishing the mathematical framework for the perturbations of Taylor's cone which appears in the jet break-up control.


title: Low frequency coherent Raman imaging robust to optical scattering

abstract: We demonstrate low-frequency interferometric impulsive stimulated Raman scattering (ISRS) imaging with high robustness to distortions by optical scattering. ISRS is a pump-probe coherent Raman spectroscopy that can capture Raman vibrational spectra. Recording of ISRS spectra requires isolation of a probe pulse from the pump pulse. While this separation is simple in non-scattering specimens, such as liquids, scattering leads to significant pump pulse contamination and prevent the extraction of a Raman spectrum. We introduce a robust method for ISRS microscopy that works in complex scattering samples. High signal-to-noise ISRS spectra are obtained even when the pump and probe pulses pass through many scattering layers.


title: Nonlinear electro-elastic finite element analysis with neural network constitutive models

abstract: In the present work, the applicability of physics-augmented neural network (PANN) constitutive models for complex electro-elastic finite element analysis is demonstrated. For the investigations, PANN models for electro-elastic material behavior at finite deformations are calibrated to different synthetically generated datasets, including an analytical isotropic potential, a homogenised rank-one laminate, and a homogenised metamaterial with a spherical inclusion. Subsequently, boundary value problems inspired by engineering applications of composite electro-elastic materials are considered. Scenarios with large electrically induced deformations and instabilities are particularly challenging and thus necessitate extensive investigations of the PANN constitutive models in the context of finite element analyses. First of all, an excellent prediction quality of the model is required for very general load cases occurring in the simulation. Furthermore, simulation of large deformations and instabilities poses challenges on the stability of the numerical solver, which is closely related to the constitutive model. In all cases studied, the PANN models yield excellent prediction qualities and a stable numerical behavior even in highly nonlinear scenarios. This can be traced back to the PANN models excellent performance in learning both the first and second derivatives of the ground truth electro-elastic potentials, even though it is only calibrated on the first derivatives. Overall, this work demonstrates the applicability of PANN constitutive models for the efficient and robust simulation of engineering applications of composite electro-elastic materials.


title: An Optimization Framework for Processing and Transfer Learning for the Brain Tumor Segmentation

abstract: Tumor segmentation from multi-modal brain MRI images is a challenging task due to the limited samples, high variance in shapes and uneven distribution of tumor morphology. The performance of automated medical image segmentation has been significant improvement by the recent advances in deep learning. However, the model predictions have not yet reached the desired level for clinical use in terms of accuracy and generalizability. In order to address the distinct problems presented in Challenges 1, 2, and 3 of BraTS 2023, we have constructed an optimization framework based on a 3D U-Net model for brain tumor segmentation. This framework incorporates a range of techniques, including various pre-processing and post-processing techniques, and transfer learning. On the validation datasets, this multi-modality brain tumor segmentation framework achieves an average lesion-wise Dice score of 0.79, 0.72, 0.74 on Challenges 1, 2, 3 respectively.


title: Triple Roman Domination in Graphs

abstract: The Roman domination in graphs is well-studied in graph theory. The topic is related to a defensive strategy problem in which the Roman legions are settled in some secure cities of the Roman Empire. The deployment of the legions around the Empire is designed in such a way that a sudden attack to any undefended city could be quelled by a legion from a strong neighbour. There is an additional condition: no legion can move if doing so leaves its base city defenceless. In this manuscript we start the study of a variant of Roman domination in graphs: the triple Roman domination. We consider that any city of the Roman Empire must be able to be defended by at least three legions. These legions should be either in the attacked city or in one of its neighbours. We determine various bounds on the triple Roman domination number for general graphs, and we give exact values for some graph families. Moreover, complexity results are also obtained.


title: Impact of Voice Fidelity on Decision Making: A Potential Dark Pattern?

abstract: Manipulative design in user interfaces (conceptualized as dark patterns) has emerged as a significant impediment to the ethical design of technology and a threat to user agency and freedom of choice. While previous research focused on exploring these patterns in the context of graphical user interfaces, the impact of speech has largely been overlooked. We conducted a listening test (N = 50) to elicit participants' preferences regarding different synthetic voices that varied in terms of synthesis method (concatenative vs. neural) and prosodic qualities (speech pace and pitch variance), and then evaluated their impact in an online decision-making study (N = 101). Our results indicate a significant effect of voice qualities on the participant's choices, independently from the content of the available options. Our results also indicate that the voice's perceived engagement, ease of understanding, and domain fit directly translate to its impact on participants' behaviour in decision-making tasks.


title: FedImpro: Measuring and Improving Client Update in Federated Learning

abstract: Federated Learning (FL) models often experience client drift caused by heterogeneous data, where the distribution of data differs across clients. To address this issue, advanced research primarily focuses on manipulating the existing gradients to achieve more consistent client models. In this paper, we present an alternative perspective on client drift and aim to mitigate it by generating improved local models. First, we analyze the generalization contribution of local training and conclude that this generalization contribution is bounded by the conditional Wasserstein distance between the data distribution of different clients. Then, we propose FedImpro, to construct similar conditional distributions for local training. Specifically, FedImpro decouples the model into high-level and low-level components, and trains the high-level portion on reconstructed feature distributions. This approach enhances the generalization contribution and reduces the dissimilarity of gradients in FL. Experimental results show that FedImpro can help FL defend against data heterogeneity and enhance the generalization performance of the model.


title: Modelling the role of flux density and coating on nanoparticle internalization by tumor cells under centrifugation

abstract: Nanoparticle (NP)-based applications are becoming increasingly important in the biomedical field. However, understanding the interactions of NPs with biofluids and cells is a major issue in order to develop novel approaches aimed at boosting their internalization and, therefore, their translation into the clinic. To this end, we put forward a transport mathematical model to describe the spatio-temporal dynamics of iron oxide NPs and their interaction with cells under moderate centrifugation. Our numerical simulations allowed us to quantify the relevance of the flux density as one of the unavoidable key features driving NPs interaction with the media as well as for cell internalization processes. These findings will help to increase the efficiency of cell labelling for biomedical applications.


title: Maximal double Roman domination in graphs

abstract: A maximal double Roman dominating function (MDRDF) on a graph $G=(V,E)$ is a function $f:V(G)\rightarrow \{0,1,2,3\}$ such that \textrm{(i) }every vertex $v$ with $f(v)=0$ is adjacent to least two vertices { assigned $2$ or to at least one vertex assigned $3,$} \textrm{(ii) }every vertex $v$ with $f(v)=1$ is adjacent to at least one { vertex assigned $2$ or $3$} and \textrm{(iii) }the set $\{w\in V|~f(w)=0\}$ is not a dominating set of $G $. The weight of a MDRDF is the sum of its function values over all vertices, and the maximal double Roman domination number $\gamma _{dR}^{m}(G) $ is the minimum weight of an MDRDF on $G$. {In this paper, we initiate the study of maximal double Roman domination. We first show that the problem of determining }$\gamma _{dR}^{m}(G)$ {is NP-complete for bipartite, chordal and planar graphs. But it is solvable in linear time for bounded clique-width graphs including trees, cographs and distance-hereditary graphs. Moreover, we establish various relationships relating }$\gamma _{dR}^{m}(G)$ to some domination parameters. {For the class of trees, we show that for every tree }$T$ {of order }$n\geq 4,$ $\gamma _{dR}^{m}(T)\leq \frac{5}{4}n$ {and we characterize all trees attaining the bound. Finally, the exact values of }$\gamma _{dR}^{m}(G) $ {are given for paths and cycles.


title: Boosting energy levels in graphene magnetic quantum dots through magnetic flux and inhomogeneous gap

abstract: We study the effects of a magnetic flux and an inhomogeneous gap on the energy spectrum of graphene magnetic quantum dots (GMQDs). By considering the Dirac equation in the infinite mass framework, we can analytically obtain eigenspinor expressions. By applying boundary conditions, we obtain an energy spectrum equation in terms of system parameters such as radius, magnetic field, energy, flux, and gap. In the infinite limit, we recover Landau levels for graphene in a magnetic field. We show that the energy spectrum increases significantly in the presence of flux and a gap inside the GMQDs, which prolongs the lifetime of the trapped electron states. We show that higher flux also produces new Landau levels of negative angular momentum. Meanwhile, we find that the gap increases the separation between the electron and hole energy bands. As shown in the radial probability analysis, flux and gap emerge as influential factors in controlling electron mobility, affecting confinement, and prolonging the presence of quasi-bound states.


title: To Symbolic Dynamics Through The Thue-Morse Sequence

abstract: The celebrated Thue-Morse sequence, or the Prouhet-Thue-Morse sequence (A010060 in the OEIS), has a number of interesting properties and is a rich source to many (counter)examples. We introduce two different square-free sequences on three letters with one of them is equivalent (up-to permutations of letters) to Thue's original square-free sequence on three letters. Then we use them to introduce an explicit method to construct infinitely many number of recurrent points in ${\{0,1\}^{\mathbb{N}}}$ whose orbit closures under the shift map is minimal, uncountable, and for any two distinct such points their orbit closures are disjoint.


title: REALM: RAG-Driven Enhancement of Multimodal Electronic Health Records Analysis via Large Language Models

abstract: The integration of multimodal Electronic Health Records (EHR) data has significantly improved clinical predictive capabilities. Leveraging clinical notes and multivariate time-series EHR, existing models often lack the medical context relevent to clinical tasks, prompting the incorporation of external knowledge, particularly from the knowledge graph (KG). Previous approaches with KG knowledge have primarily focused on structured knowledge extraction, neglecting unstructured data modalities and semantic high dimensional medical knowledge. In response, we propose REALM, a Retrieval-Augmented Generation (RAG) driven framework to enhance multimodal EHR representations that address these limitations. Firstly, we apply Large Language Model (LLM) to encode long context clinical notes and GRU model to encode time-series EHR data. Secondly, we prompt LLM to extract task-relevant medical entities and match entities in professionally labeled external knowledge graph (PrimeKG) with corresponding medical knowledge. By matching and aligning with clinical standards, our framework eliminates hallucinations and ensures consistency. Lastly, we propose an adaptive multimodal fusion network to integrate extracted knowledge with multimodal EHR data. Our extensive experiments on MIMIC-III mortality and readmission tasks showcase the superior performance of our REALM framework over baselines, emphasizing the effectiveness of each module. REALM framework contributes to refining the use of multimodal EHR data in healthcare and bridging the gap with nuanced medical context essential for informed clinical predictions.


title: Space-time shape optimization of rotating electric machines

abstract: This article is devoted to the shape optimization of the internal structure of an electric motor, and more precisely of the arrangement of air and ferromagnetic material inside the rotor part with the aim to increase the torque of the machine. The governing physical problem is the time-dependent, non linear magneto-quasi-static version of Maxwell's equations. This multiphase problem can be reformulated on a 2d section of the real cylindrical 3d configuration; however, due to the rotation of the machine, the geometry of the various material phases at play (the ferromagnetic material, the permanent magnets, air, etc.) undergoes a prescribed motion over the considered time period. This original setting raises a number of issues. From the theoretical viewpoint, we prove the well-posedness of this unusual non linear evolution problem featuring a moving geometry. We then calculate the shape derivative of a performance criterion depending on the shape of the ferromagnetic phase via the corresponding magneto-quasi-static potential. Our numerical framework to address this problem is based on a shape gradient algorithm. The non linear time periodic evolution problems for the magneto-quasi-static potential is solved in the time domain, with a Newton-Raphson method. The discretization features a space-time finite element method, applied on a precise, meshed representation of the space-time region of interest, which encloses a body-fitted representation of the various material phases of the motor at all the considered stages of the time period. After appraising the efficiency of our numerical framework on an academic problem, we present a quite realistic example of optimal design of the ferromagnetic phase of the rotor of an electric machine.


title: Study of solar brightness profiles in the 18-26 GHz frequency range with INAF radio telescopes II. Evidence for coronal emission

abstract: One of the most important objectives of solar physics is the physical understanding of the solar atmosphere, the structure of which is also described in terms of the density (N) and temperature (T) distributions of the atmospheric matter. Several multi-frequency analyses show that the characteristics of these distributions are still debated, especially for the outer coronal emission. We aim to constrain the T and N distributions of the solar atmosphere through observations in the centimetric radio domain. We employ single-dish observations from two of the INAF radio telescopes at the K-band frequencies (18 - 26 GHz). We investigate the origin of the significant brightness temperature ($T_B$) level that we detected up to the upper corona ($\sim 800$ Mm of altitude with respect to the photospheric solar surface). To probe the physical origin of the atmospheric emission and to constrain instrumental biases, we reproduced the solar signal by convolving specific 2D antenna beam models. The analysis of the solar atmosphere is performed by adopting a physical model that assumes the thermal bremsstrahlung as the emission mechanism, with specific T and N distributions. The modelled $T_B$ profiles are compared with those observed by averaging solar maps obtained during the minimum of solar activity (2018 - 2020). The T and N distributions are compatible (within $25\%$ of uncertainty) with the model up to $\sim 60$ Mm and $\sim 100$ Mm of altitude, respectively. The analysis of the role of the antenna beam pattern on our solar maps proves the physical nature of the atmospheric emission in our images up to the coronal tails seen in our $T_B$ profiles. The challenging analysis of the coronal radio emission at higher altitudes, together with the data from satellite instruments will require further multi-frequency measurements.


title: Informativeness of Reward Functions in Reinforcement Learning

abstract: Reward functions are central in specifying the task we want a reinforcement learning agent to perform. Given a task and desired optimal behavior, we study the problem of designing informative reward functions so that the designed rewards speed up the agent's convergence. In particular, we consider expert-driven reward design settings where an expert or teacher seeks to provide informative and interpretable rewards to a learning agent. Existing works have considered several different reward design formulations; however, the key challenge is formulating a reward informativeness criterion that adapts w.r.t. the agent's current policy and can be optimized under specified structural constraints to obtain interpretable rewards. In this paper, we propose a novel reward informativeness criterion, a quantitative measure that captures how the agent's current policy will improve if it receives rewards from a specific reward function. We theoretically showcase the utility of the proposed informativeness criterion for adaptively designing rewards for an agent. Experimental results on two navigation tasks demonstrate the effectiveness of our adaptive reward informativeness criterion.


title: On the outer independent total double Roman dominating functions

abstract: Let $\{0,1,\dots, t\}$ be abbreviated by $[t].$ A double Roman dominating function (DRDF) on a graph $\Gamma=(V,E)$ is a map $l:V\rightarrow [3]$ satisfying \textrm{(i)} if $l(r)=0$ then there must be at least two neighbors labeled 2 under $l$ or a neighbor $r'$ with $l(r')=3$; and \textrm{(ii)} if $l(r)=1$ then $r$ must be adjacent to a vertex $r'$ such that $l(r')\geq2$. A DRDF is an outer-independent total double Roman dominating function (OITDRDF) on $\Gamma$ if the set of vertices labeled $0$ induces an edgeless subgraph and the subgraph induced by the vertices with a non-zero label has no isolated vertices. The weight of an OITDRDF is the sum of its map values over all vertices, and the outer independent total Roman dominating number $\gamma_{tdR}^{oi}(\Gamma)$ is the minimum weight of an OITDRDF on $\Gamma$. First, we prove that the problem of determining $\gamma _{tdR}^{oi}(\Gamma)$ is NP-complete for bipartite and chordal graphs, after that, we prove that it is solvable in linear time when we are restricting to bounded clique-width graphs. Moreover, we present some tight bounds on $\gamma _{tdR}^{oi}(\Gamma)$ as well as the exact values for several graph families.


title: Bayesian Optimization with Adaptive Kernels for Robot Control

abstract: Active policy search combines the trial-and-error methodology from policy search with Bayesian optimization to actively find the optimal policy. First, policy search is a type of reinforcement learning which has become very popular for robot control, for its ability to deal with complex continuous state and action spaces. Second, Bayesian optimization is a sample efficient global optimization method that uses a surrogate model, like a Gaussian process, and optimal decision making to carefully select each sample during the optimization process. Sample efficiency is of paramount importance when each trial involves the real robot, expensive Monte Carlo runs, or a complex simulator. Black-box Bayesian optimization generally assumes a cost function from a stationary process, because nonstationary modeling is usually based on prior knowledge. However, many control problems are inherently nonstationary due to their failure conditions, terminal states and other abrupt effects. In this paper, we present a kernel function specially designed for Bayesian optimization, that allows nonstationary modeling without prior knowledge, using an adaptive local region. The new kernel results in an improved local search (exploitation), without penalizing the global search (exploration), as shown experimentally in well-known optimization benchmarks and robot control scenarios. We finally show its potential for the design of the wing shape of a UAV.


title: A product-limit estimator of the conditional survival function when cure status is partially known

abstract: We introduce a nonparametric estimator of the conditional survival function in the mixture cure model for right censored data when cure status is partially known. The estimator is developed for the setting of a single continuous covariate but it can be extended to multiple covariates. It extends the estimator of Beran (1981), which ignores cure status information. We obtain an almost sure representation, from which the strong consistency and asymptotic normality of the estimator are derived. Asymptotic expressions of the bias and variance demonstrate a reduction in the variance with respect to Beran's estimator. A simulation study shows that, if the bandwidth parameter is suitably chosen, our estimator performs better than others for an ample range of covariate values. A bootstrap bandwidth selector is proposed. Finally, the proposed estimator is applied to a real dataset studying survival of sarcoma patients.


title: Gemini Goes to Med School: Exploring the Capabilities of Multimodal Large Language Models on Medical Challenge Problems & Hallucinations

abstract: Large language models have the potential to be valuable in the healthcare industry, but it's crucial to verify their safety and effectiveness through rigorous evaluation. For this purpose, we comprehensively evaluated both open-source LLMs and Google's new multimodal LLM called Gemini across Medical reasoning, hallucination detection, and Medical Visual Question Answering tasks. While Gemini showed competence, it lagged behind state-of-the-art models like MedPaLM 2 and GPT-4 in diagnostic accuracy. Additionally, Gemini achieved an accuracy of 61.45\% on the medical VQA dataset, significantly lower than GPT-4V's score of 88\%. Our analysis revealed that Gemini is highly susceptible to hallucinations, overconfidence, and knowledge gaps, which indicate risks if deployed uncritically. We also performed a detailed analysis by medical subject and test type, providing actionable feedback for developers and clinicians. To mitigate risks, we applied prompting strategies that improved performance. Additionally, we facilitated future research and development by releasing a Python module for medical LLM evaluation and establishing a dedicated leaderboard on Hugging Face for medical domain LLMs. Python module can be found at https://github.com/promptslab/RosettaEval


title: Finding safe 3D robot grasps through efficient haptic exploration with unscented Bayesian optimization and collision penalty

abstract: Robust grasping is a major, and still unsolved, problem in robotics. Information about the 3D shape of an object can be obtained either from prior knowledge (e.g., accurate models of known objects or approximate models of familiar objects) or real-time sensing (e.g., partial point clouds of unknown objects) and can be used to identify good potential grasps. However, due to modeling and sensing inaccuracies, local exploration is often needed to refine such grasps and successfully apply them in the real world. The recently proposed unscented Bayesian optimization technique can make such exploration safer by selecting grasps that are robust to uncertainty in the input space (e.g., inaccuracies in the grasp execution). Extending our previous work on 2D optimization, in this paper we propose a 3D haptic exploration strategy that combines unscented Bayesian optimization with a novel collision penalty heuristic to find safe grasps in a very efficient way: while by augmenting the search-space to 3D we are able to find better grasps, the collision penalty heuristic allows us to do so without increasing the number of exploration steps.


title: Generalization Error of Graph Neural Networks in the Mean-field Regime

abstract: This work provides a theoretical framework for assessing the generalization error of graph neural networks in the over-parameterized regime, where the number of parameters surpasses the quantity of data points. We explore two widely utilized types of graph neural networks: graph convolutional neural networks and message passing graph neural networks. Prior to this study, existing bounds on the generalization error in the over-parametrized regime were uninformative, limiting our understanding of over-parameterized network performance. Our novel approach involves deriving upper bounds within the mean-field regime for evaluating the generalization error of these graph neural networks. We establish upper bounds with a convergence rate of $O(1/n)$, where $n$ is the number of graph samples. These upper bounds offer a theoretical assurance of the networks' performance on unseen data in the challenging over-parameterized regime and overall contribute to our understanding of their performance.


title: Influence of retardation and dispersive surfaces on the regimes of the lateral Casimir-Polder force

abstract: We investigate, by means of the scattering approach, the Casimir-Polder interaction between a neutral anisotropic polarizable particle and a corrugated surface made of a realistic material. By focusing on the lateral force (arising from the presence of corrugation on the surface), we investigate the conditions for the particle to be attracted to the nearest corrugation peak, valley, or to an intermediate point between a peak and a valley, with such behaviors called peak, valley and intermediate regimes, respectively. Such regimes of the lateral force were recently predicted in the literature, but in the context of the van der Waals interaction and considering the surface made of some ideal material (a perfectly conducting or a nondispersive dielectric). Here, we investigate how the occurrence of the mentioned regimes is affected by the consideration of realistic dielectric properties for the surface and also of the retardation in the interaction. In this context, we show that the consideration of a dispersive surface, when compared to the mentioned idealized materials, can amplify the occurrence of the valley and intermediate regimes. Moreover, regarding the consideration of retardation, we show that it has a small influence on the occurrence of the valley regime, but, for the intermediate ones, can either amplify or inhibit them. Such investigation provides a preciser description of the interaction between an anisotropic particle and a corrugated surface, giving a better understanding of the nontrivial aspects of the lateral Casimir-Polder force.


title: Quantum Speedup for Spectral Approximation of Kronecker Products

abstract: Given its widespread application in machine learning and optimization, the Kronecker product emerges as a pivotal linear algebra operator. However, its computational demands render it an expensive operation, leading to heightened costs in spectral approximation of it through traditional computation algorithms. Existing classical methods for spectral approximation exhibit a linear dependency on the matrix dimension denoted by $n$, considering matrices of size $A_1 \in \mathbb{R}^{n \times d}$ and $A_2 \in \mathbb{R}^{n \times d}$. Our work introduces an innovative approach to efficiently address the spectral approximation of the Kronecker product $A_1 \otimes A_2$ using quantum methods. By treating matrices as quantum states, our proposed method significantly reduces the time complexity of spectral approximation to $O_{d,\epsilon}(\sqrt{n})$.


title: Semi-Supervised Learning for Bilingual Lexicon Induction

abstract: We consider the problem of aligning two sets of continuous word representations, corresponding to languages, to a common space in order to infer a bilingual lexicon. It was recently shown that it is possible to infer such lexicon, without using any parallel data, by aligning word embeddings trained on monolingual data. Such line of work is called unsupervised bilingual induction. By wondering whether it was possible to gain experience in the progressive learning of several languages, we asked ourselves to what extent we could integrate the knowledge of a given set of languages when learning a new one, without having parallel data for the latter. In other words, while keeping the core problem of unsupervised learning in the latest step, we allowed the access to other corpora of idioms, hence the name semi-supervised. This led us to propose a novel formulation, considering the lexicon induction as a ranking problem for which we used recent tools of this machine learning field. Our experiments on standard benchmarks, inferring dictionary from English to more than 20 languages, show that our approach consistently outperforms existing state of the art benchmark. In addition, we deduce from this new scenario several relevant conclusions allowing a better understanding of the alignment phenomenon.


title: Using Mathlink Cubes to Introduce Data Wrangling with Examples in R

abstract: This paper explores an innovative approach to teaching data wrangling skills to students through hands-on activities before transitioning to coding. Data wrangling, a critical aspect of data analysis, involves cleaning, transforming, and restructuring data. We introduce the use of a physical tool, mathlink cubes, to facilitate a tangible understanding of data sets. This approach helps students grasp the concepts of data wrangling before implementing them in coding languages such as R. We detail a classroom activity that includes hands-on tasks paralleling common data wrangling processes such as filtering, selecting, and mutating, followed by their coding equivalents using R's `dplyr` package.


title: Nontrivial single axiom-schemata and their quasi-nontriviality of Le\'{s}niewski-Ishimoto's propositional ontology $\bf L_1$

abstract: On March 8, 1995, was found the following nontrivial single axiom-schema characteristic of Le\'{s}niewski-Ishimoto's propositional ontology $\bf L_1$ (Inou\'{e} \cite{inoue16}). $$(\mbox{$\mathrm{A_{M8}}$)} \enspace \epsilon ab \wedge \epsilon cd . \supset . \epsilon aa \wedge \epsilon cc \wedge (\epsilon bc \supset . \epsilon ad \wedge \epsilon ba).$$ In this paper, we shall present the progress about the above axiom-schema from 1995 and conjectures about it. Here we shall give two criteria \it nontiriviality \rm and \it quasi-nontriviality \rm in order to distinguish two axiom-schemata.