title: A spatial-temporal weight analysis and novel nonlinear weights of weighted essentially non-oscillatory schemes for hyperbolic conservation laws

abstract: In this paper we analyze the weighted essentially non-oscillatory (WENO) schemes in the finite volume framework by examining the first step of the explicit third-order total variation diminishing Runge-Kutta method. The rationale for the improved performance of the finite volume WENO-M, WENO-Z and WENO-ZR schemes over WENO-JS in the first time step is that the nonlinear weights corresponding to large errors are adjusted to increase the accuracy of numerical solutions. Based on this analysis, we propose novel Z-type nonlinear weights of the finite volume WENO scheme for hyperbolic conservation laws. Instead of taking the difference of the smoothness indicators for the global smoothness indicator, we employ the logarithmic function with tuners to ensure that the numerical dissipation is reduced around discontinuities while the essentially non-oscillatory property is preserved. The proposed scheme does not necessitate substantial extra computational expenses. Numerical examples are presented to demonstrate the capability of the proposed WENO scheme in shock capturing.


title: Automated Argument Generation from Legal Facts

abstract: The count of pending cases has shown an exponential rise across nations (e.g., with more than 10 million pending cases in India alone). The main issue lies in the fact that the number of cases submitted to the law system is far greater than the available number of legal professionals present in a country. Given this worldwide context, the utilization of AI technology has gained paramount importance to enhance the efficiency and speed of legal procedures. In this study we partcularly focus on helping legal professionals in the process of analyzing a legal case. Our specific investigation delves into harnessing the generative capabilities of open-sourced large language models to create arguments derived from the facts present in legal cases. Experimental results show that the generated arguments from the best performing method have on average 63% overlap with the benchmark set gold standard annotations.


title: Electronic matrix elements for parity doubling in YbOH molecule

abstract: YbOH molecule is one of the most sensitive systems for the electron electric dipole moment ($e$EDM) searches. The $e$EDM-induced energy shift is proportional to polarization ($P$) of the molecule. In Ref. [A. Petrov and A. Zakharova, Phys. Rev. A 105, L050801 (2022)] was shown that the value of l-doubling and spin-rotation splitting directly influences the maximum value of $P$. Recently in Ref. [Jadbabaie, Y. Takahashi, N. H. Pilgram, C. J. Conn, Y. Zeng, C. Zhang, and N. R. Hutzler, New Journal of Physics 25, 073014 (2023)] the corresponding energy levels was determined experimentally. We introduced electronic matrix elements in Hund's case $c$ coupling scheme to reproduce experimental energy levels and calculated $P$ as function of external electric field.


title: Analysis of Rainfall Variability and Water Extent of Selected Hydropower Reservoir Using Google Earth Engine (GEE): A Case Study from Two Tropical Countries, Sri Lanka and Vietnam

abstract: This study presents a comprehensive remote sensing analysis of rainfall patterns and selected hydropower reservoir water extent in two tropical monsoon countries, Vietnam and Sri Lanka. The aim is to understand the relationship between remotely sensed rainfall data and the dynamic changes (monthly) in reservoir water extent. The analysis utilizes high-resolution optical imagery and Sentinel-1 Synthetic Aperture Radar (SAR) data to observe and monitor water bodies during different weather conditions, especially during the monsoon season. The average annual rainfall for both countries is determined, and spatiotemporal variations in monthly average rainfall are examined at regional and reservoir basin levels using the Climate Hazards Group InfraRed Precipitation with Station (CHIRPS) dataset from 1981 to 2022. Water extents are derived for selected reservoirs using Sentinel-1 SAR Ground Range Detected (GRD) images in Vietnam and Sri Lanka from 2017 to 2022. The images are pre-processed and corrected using terrain correction and refined Lee filter. An automated thresholding algorithm, OTSU, distinguishes water and land, taking advantage of both VV and VH polarization data. The connected pixel count threshold is applied to enhance result accuracy. The results indicate a clear relationship between rainfall patterns and reservoir water extent, with increased precipitation during the monsoon season leading to higher water extents in the later months. This study contributes to understanding how rainfall variability impacts reservoir water resources in tropical monsoon regions. The preliminary findings can inform water resource management strategies and support these countries' decision-making processes related to hydropower generation, flood management, and irrigation.


title: Layer-by-layer phase transformation in Ti$_3$O$_5$ revealed by machine learning molecular dynamics simulations

abstract: Reconstructive phase transitions involving breaking and reconstruction of primary chemical bonds are ubiquitous and important for many technological applications. In contrast to displacive phase transitions, the dynamics of reconstructive phase transitions are usually slow due to the large energy barrier. Nevertheless, the reconstructive phase transformation from $\beta$- to $\lambda$-Ti$_3$O$_5$ exhibits an ultrafast and reversible behavior. Despite extensive studies, the underlying microscopic mechanism remains unclear. Here, we discover a kinetically favorable in-plane nucleated layer-by-layer transformation mechanism through metadynamics and large-scale molecular dynamics simulations. This is enabled by developing an efficient machine learning potential with near first-principles accuracy through an on-the-fly active learning method and an advanced sampling technique. Our results reveal that the $\beta$-$\lambda$ phase transformation initiates with the formation of two-dimensional nuclei in the $ab$-plane and then proceeds layer-by-layer through a multistep barrier-lowering kinetic process via intermediate metastable phases. Our work not only provides important insight into the ultrafast and reversible nature of the $\beta$-$\lambda$ transition, but also presents useful strategies and methods for tackling other complex structural phase transitions.


title: On the expansiveness of coarse maps between Banach spaces and geometry preservation

abstract: We introduce a new notion of embeddability between Banach spaces. By studying the classical Mazur map, we show that it is strictly weaker than the notion of coarse embeddability. We use the techniques from metric cotype introduced by M. Mendel and A. Naor to prove results about cotype preservation and complete our study of embeddability between $\ell_p$ spaces. We confront our notion with nonlinear invariants introduced by N. Kalton, which are defined in terms of concentration properties for Lipschitz maps defined on countably branching Hamming or interlaced graphs. Finally, we address the problem of the embeddability into $\ell_\infty$.


title: Post-Selection Inference for Sparse Estimation

abstract: When the model is not known and parameter testing or interval estimation is conducted after model selection, it is necessary to consider selective inference. This paper discusses this issue in the context of sparse estimation. Firstly, we describe selective inference related to Lasso as per \cite{lee}, and then present polyhedra and truncated distributions when applying it to methods such as Forward Stepwise and LARS. Lastly, we discuss the Significance Test for Lasso by \cite{significant} and the Spacing Test for LARS by \cite{ryan_exact}. This paper serves as a review article. Keywords: post-selective inference, polyhedron, LARS, lasso, forward stepwise, significance test, spacing test.


title: The potential of large language models for improving probability learning: A study on ChatGPT3.5 and first-year computer engineering students

abstract: In this paper, we assess the efficacy of ChatGPT (version Feb 2023), a large-scale language model, in solving probability problems typically presented in introductory computer engineering exams. Our study comprised a set of 23 probability exercises administered to students at Rey Juan Carlos University (URJC) in Madrid. The responses produced by ChatGPT were evaluated by a group of five statistics professors, who assessed them qualitatively and assigned grades based on the same criteria used for students. Our results indicate that ChatGPT surpasses the average student in terms of phrasing, organization, and logical reasoning. The model's performance remained consistent for both the Spanish and English versions of the exercises. However, ChatGPT encountered difficulties in executing basic numerical operations. Our experiments demonstrate that requesting ChatGPT to provide the solution in the form of an R script proved to be an effective approach for overcoming these limitations. In summary, our results indicate that ChatGPT surpasses the average student in solving probability problems commonly presented in introductory computer engineering exams. Nonetheless, the model exhibits limitations in reasoning around certain probability concepts. The model's ability to deliver high-quality explanations and illustrate solutions in any programming language, coupled with its performance in solving probability exercises, suggests that large language models have the potential to serve as learning assistants.


title: A review of the security role of ISP mandated ONUs and ONTs in GPONs

abstract: Home fiber connections are largely realized by using passive optical networks, in their most common form today relying on the GPON standard. Among other things, this standard specifies how the first node inside of customers' homes, the so called ONU or ONT, has to behave, and which security features have to be supported. Currently, customers in some European countries, including Germany, have freedom of choice between using terminal equipment provided by the ISP or a self-selected open market device.We analyze the security implications resulting from this freedom of choice and whether or not ISP-mandated hardware would increase the security of the GPON. Our review reveals that there are no differences between an ISP-mandated ONU/ONT and a standard conforming subscriber-selected ONU/ONT that would justify the security based recommendation of an ISP-mandated ONU/ONT.


title: Larth: Dataset and Machine Translation for Etruscan

abstract: Etruscan is an ancient language spoken in Italy from the 7th century BC to the 1st century AD. There are no native speakers of the language at the present day, and its resources are scarce, as there exist only around 12,000 known inscriptions. To the best of our knowledge, there are no publicly available Etruscan corpora for natural language processing. Therefore, we propose a dataset for machine translation from Etruscan to English, which contains 2891 translated examples from existing academic sources. Some examples are extracted manually, while others are acquired in an automatic way. Along with the dataset, we benchmark different machine translation models observing that it is possible to achieve a BLEU score of 10.1 with a small transformer model. Releasing the dataset can help enable future research on this language, similar languages or other languages with scarce resources.


title: Linear Opinion Dynamics Model with Higher-Order Interactions

abstract: Opinion dynamics is a central subject of computational social science, and various models have been developed to understand the evolution and formulation of opinions. Existing models mainly focus on opinion dynamics on graphs that only capture pairwise interactions between agents. In this paper, we extend the popular Friedkin-Johnsen model for opinion dynamics on graphs to hypergraphs, which describe higher-order interactions occurring frequently on real networks, especially social networks. To achieve this, based on the fact that for linear dynamics the multi-way interactions can be reduced to effective pairwise node interactions, we propose a method to decode the group interactions encoded in hyperedges by undirected edges or directed edges in graphs. We then show that higher-order interactions play an important role in the opinion dynamics, since the overall steady-state expressed opinion and polarization differ greatly from those without group interactions. We also provide an interpretation of the equilibrium expressed opinion from the perspective of the spanning converging forest, based on which we design a fast sampling algorithm to approximately evaluate the overall opinion and opinion polarization on directed weighted graphs. Finally, we conduct experiments on real-world hypergraph datasets, demonstrating the performance of our algorithm.


title: Abstractive Summarization of Large Document Collections Using GPT

abstract: This paper proposes a method of abstractive summarization designed to scale to document collections instead of individual documents. Our approach applies a combination of semantic clustering, document size reduction within topic clusters, semantic chunking of a cluster's documents, GPT-based summarization and concatenation, and a combined sentiment and text visualization of each topic to support exploratory data analysis. Statistical comparison of our results to existing state-of-the-art systems BART, BRIO, PEGASUS, and MoCa using ROGUE summary scores showed statistically equivalent performance with BART and PEGASUS on the CNN/Daily Mail test dataset, and with BART on the Gigaword test dataset. This finding is promising since we view document collection summarization as more challenging than individual document summarization. We conclude with a discussion of how issues of scale are


title: Climate-sensitive Urban Planning through Optimization of Tree Placements

abstract: Climate change is increasing the intensity and frequency of many extreme weather events, including heatwaves, which results in increased thermal discomfort and mortality rates. While global mitigation action is undoubtedly necessary, so is climate adaptation, e.g., through climate-sensitive urban planning. Among the most promising strategies is harnessing the benefits of urban trees in shading and cooling pedestrian-level environments. Our work investigates the challenge of optimal placement of such trees. Physical simulations can estimate the radiative and thermal impact of trees on human thermal comfort but induce high computational costs. This rules out optimization of tree placements over large areas and considering effects over longer time scales. Hence, we employ neural networks to simulate the point-wise mean radiant temperatures--a driving factor of outdoor human thermal comfort--across various time scales, spanning from daily variations to extended time scales of heatwave events and even decades. To optimize tree placements, we harness the innate local effect of trees within the iterated local search framework with tailored adaptations. We show the efficacy of our approach across a wide spectrum of study areas and time scales. We believe that our approach is a step towards empowering decision-makers, urban designers and planners to proactively and effectively assess the potential of urban trees to mitigate heat stress.


title: Based on What We Can Control Artificial Neural Networks

abstract: How can the stability and efficiency of Artificial Neural Networks (ANNs) be ensured through a systematic analysis method? This paper seeks to address that query. While numerous factors can influence the learning process of ANNs, utilizing knowledge from control systems allows us to analyze its system function and simulate system responses. Although the complexity of most ANNs is extremely high, we still can analyze each factor (e.g., optimiser, hyperparameters) by simulating their system response. This new method also can potentially benefit the development of new optimiser and learning system, especially when discerning which components adversely affect ANNs. Controlling ANNs can benefit from the design of optimiser and learning system, as (1) all optimisers act as controllers, (2) all learning systems operate as control systems with inputs and outputs, and (3) the optimiser should match the learning system. Please find codes: \url{https://github.com/RandomUserName2023/Control-ANNs}.


title: CONGRuENTS (COsmic-ray, Neutrino, Gamma-ray and Radio Non-Thermal Spectra). II. Population-level correlations between galactic infrared, radio, and {\gamma}-ray emission

abstract: Galaxies obey a number of empirical correlations between their radio, {\gamma}-ray, and infrared emission, but the physical origins of these correlations remain uncertain. Here we use the CONGRuENTS model for broadband non-thermal emission from star-forming galaxies, which self-consistently calculates energy-dependent transport and non-thermal emission from cosmic ray hadrons and leptons, to predict radio and {\gamma}-ray emission for a synthetic galaxy population with properties drawn from a large deep-field survey. We show that our synthetic galaxies reproduce observed relations such as the FIR-radio correlation, the FIR-{\gamma} correlation, and the distribution of radio spectral indices, and we use the model to explain the physical origins of these relations. Our results show that the FIR-radio correlation arises because the amount of cosmic ray electron power ultimately radiated as synchrotron emission varies only weakly with galaxy star formation rate as a result of the constraints imposed on gas properties by hydrostatic balance and turbulent dynamo action; the same physics dictates the extent of proton calorimetry in different galaxies, and thus sets the FIR-{\gamma}-ray correlation. We further show that galactic radio spectral indices result primarily from competition between thermal free-free emission and energy-dependent loss of cosmic ray electrons to bremsstrahlung and escape into galactic halos, with shaping of the spectrum by inverse Compton, synchrotron, and ionisation processes typically playing a sub-dominant role. In addition to explaining existing observations, we use our analysis to predict a heretofore unseen correlation between the curvature of galaxies' radio spectra and their pion-driven {\gamma}-ray emission, a prediction that will be testable with upcoming facilities.


title: A Survey of Large Language Models for Healthcare: from Data, Technology, and Applications to Accountability and Ethics

abstract: The utilization of large language models (LLMs) in the Healthcare domain has generated both excitement and concern due to their ability to effectively respond to freetext queries with certain professional knowledge. This survey outlines the capabilities of the currently developed LLMs for Healthcare and explicates their development process, with the aim of providing an overview of the development roadmap from traditional Pretrained Language Models (PLMs) to LLMs. Specifically, we first explore the potential of LLMs to enhance the efficiency and effectiveness of various Healthcare applications highlighting both the strengths and limitations. Secondly, we conduct a comparison between the previous PLMs and the latest LLMs, as well as comparing various LLMs with each other. Then we summarize related Healthcare training data, training methods, optimization strategies, and usage. Finally, the unique concerns associated with deploying LLMs in Healthcare settings are investigated, particularly regarding fairness, accountability, transparency and ethics. Our survey provide a comprehensive investigation from perspectives of both computer science and Healthcare specialty. Besides the discussion about Healthcare concerns, we supports the computer science community by compiling a collection of open source resources, such as accessible datasets, the latest methodologies, code implementations, and evaluation benchmarks in the Github. Summarily, we contend that a significant paradigm shift is underway, transitioning from PLMs to LLMs. This shift encompasses a move from discriminative AI approaches to generative AI approaches, as well as a shift from model-centered methodologies to data-centered methodologies. Also, we determine that the biggest obstacle of using LLMs in Healthcare are fairness, accountability, transparency and ethics.


title: Hierarchical Reinforcement Learning for Temporal Pattern Prediction

abstract: In this work, we explore the use of hierarchical reinforcement learning (HRL) for the task of temporal sequence prediction. Using a combination of deep learning and HRL, we develop a stock agent to predict temporal price sequences from historical stock price data and a vehicle agent to predict steering angles from first person, dash cam images. Our results in both domains indicate that a type of HRL, called feudal reinforcement learning, provides significant improvements to training speed and stability and prediction accuracy over standard RL. A key component to this success is the multi-resolution structure that introduces both temporal and spatial abstraction into the network hierarchy.


title: Little is Enough: Improving Privacy by Sharing Labels in Federated Semi-Supervised Learning

abstract: In many critical applications, sensitive data is inherently distributed and cannot be centralized due to privacy concerns. A wide range of federated learning approaches have been proposed in the literature to train models locally at each client without sharing their sensitive local data. Most of these approaches either share local model parameters, soft predictions on a public dataset, or a combination of both. This, however, still discloses private information and restricts local models to those that lend themselves to training via gradient-based methods. To reduce the amount of shared information, we propose to share only hard labels on a public unlabeled dataset, and use a consensus over the shared labels as a pseudo-labeling to be used by clients. The resulting federated co-training approach empirically improves privacy substantially, without compromising on model quality. At the same time, it allows us to use local models that do not lend themselves to the parameter aggregation used in federated learning, such as (gradient boosted) decision trees, rule ensembles, and random forests.


title: Combining recurrent and residual learning for deforestation monitoring using multitemporal SAR images

abstract: With its vast expanse, exceeding that of Western Europe by twice, the Amazon rainforest stands as the largest forest of the Earth, holding immense importance in global climate regulation. Yet, deforestation detection from remote sensing data in this region poses a critical challenge, often hindered by the persistent cloud cover that obscures optical satellite data for much of the year. Addressing this need, this paper proposes three deep-learning models tailored for deforestation monitoring, utilizing SAR (Synthetic Aperture Radar) multitemporal data moved by its independence on atmospheric conditions. Specifically, the study proposes three novel recurrent fully convolutional network architectures-namely, RRCNN-1, RRCNN-2, and RRCNN-3, crafted to enhance the accuracy of deforestation detection. Additionally, this research explores replacing a bitemporal with multitemporal SAR sequences, motivated by the hypothesis that deforestation signs quickly fade in SAR images over time. A comprehensive assessment of the proposed approaches was conducted using a Sentinel-1 multitemporal sequence from a sample site in the Brazilian rainforest. The experimental analysis confirmed that analyzing a sequence of SAR images over an observation period can reveal deforestation spots undetectable in a pair of images. Notably, experimental results underscored the superiority of the multitemporal approach, yielding approximately a five percent enhancement in F1-Score across all tested network architectures. Particularly the RRCNN-1 achieved the highest accuracy and also boasted half the processing time of its closest counterpart.


title: Dual-domain Defenses for Byzantine-resilient Decentralized Resource Allocation

abstract: This paper investigates the problem of decentralized resource allocation in the presence of Byzantine attacks. Such attacks occur when an unknown number of malicious agents send random or carefully crafted messages to their neighbors, aiming to prevent the honest agents from reaching the optimal resource allocation strategy. We characterize these malicious behaviors with the classical Byzantine attacks model, and propose a class of Byzantine-resilient decentralized resource allocation algorithms augmented with dual-domain defenses. The honest agents receive messages containing the (possibly malicious) dual variables from their neighbors at each iteration, and filter these messages with robust aggregation rules. Theoretically, we prove that the proposed algorithms can converge to neighborhoods of the optimal resource allocation strategy, given that the robust aggregation rules are properly designed. Numerical experiments are conducted to corroborate the theoretical results.


title: Uni3DETR: Unified 3D Detection Transformer

abstract: Existing point cloud based 3D detectors are designed for the particular scene, either indoor or outdoor ones. Because of the substantial differences in object distribution and point density within point clouds collected from various environments, coupled with the intricate nature of 3D metrics, there is still a lack of a unified network architecture that can accommodate diverse scenes. In this paper, we propose Uni3DETR, a unified 3D detector that addresses indoor and outdoor 3D detection within the same framework. Specifically, we employ the detection transformer with point-voxel interaction for object prediction, which leverages voxel features and points for cross-attention and behaves resistant to the discrepancies from data. We then propose the mixture of query points, which sufficiently exploits global information for dense small-range indoor scenes and local information for large-range sparse outdoor ones. Furthermore, our proposed decoupled IoU provides an easy-to-optimize training target for localization by disentangling the xy and z space. Extensive experiments validate that Uni3DETR exhibits excellent performance consistently on both indoor and outdoor 3D detection. In contrast to previous specialized detectors, which may perform well on some particular datasets but suffer a substantial degradation on different scenes, Uni3DETR demonstrates the strong generalization ability under heterogeneous conditions (Fig. 1). Codes are available at \href{https://github.com/zhenyuw16/Uni3DETR}{https://github.com/zhenyuw16/Uni3DETR}.


title: Ambient temperature versus ambient acceleration in the circular motion Unruh effect

abstract: It is well known that the experience of a linearly accelerated observer with acceleration $a$, interacting with a massless scalar field in its vacuum state in $3+1$ Minkowski spacetime, is identical to that of a static observer interacting with a massless scalar field in a thermal state of temperature $a/2\pi$ in $3+1$ Minkowski spacetime. We study the robustness of this duality by comparing an observer undergoing circular motion in a thermal bath with an observer that undergoes circular motion around a linearly accelerated trajectory. We find that in most regimes, observers in these two cases experience the field in different ways, and are generally able to tell the difference between the two cases by measuring observables localized along their trajectories.


title: Physical Oscillator Model for Supercomputing

abstract: A parallel program together with the parallel hardware it is running on is not only a vehicle to solve numerical problems, it is also a complex system with interesting dynamical behavior: resynchronization and desynchronization of parallel processes, propagating phases of idleness, and the peculiar effects of noise and system topology are just a few examples. We propose a physical oscillator model (POM) to describe aspects of the dynamics of interacting parallel processes. Motivated by the well-known Kuramoto Model, a process with its regular compute-communicate cycles is modeled as an oscillator which is coupled to other oscillators (processes) via an interaction potential. Instead of a simple all-to-all connectivity, we employ a sparse topology matrix mapping the communication structure and thus the inter-process dependencies of the program onto the oscillator model and propose two interaction potentials that are suitable for different scenarios in parallel computing: resource-scalable and resource-bottlenecked applications. The former are not limited by a resource bottleneck such as memory bandwidth or network contention, while the latter are. Unlike the original Kuramoto model, which has a periodic sinusoidal potential that is attractive for small angles, our characteristic potentials are always attractive for large angles and only differ in the short-distance behavior. We show that the model with appropriate potentials can mimic the propagation of delays and the synchronizing and desynchronizing behavior of scalable and bottlenecked parallel programs, respectively.


title: Condenser capacities and capacitary potentials for unbounded sets, and global $p$-harmonic Green functions on metric spaces

abstract: We study the condenser capacity $\mathrm{cap}_p(E,\Omega)$ on \emph{unbounded} open sets $\Omega$ in a proper connected metric space $X$ equipped with a locally doubling measure supporting a local $p$-Poincar\'e inequality, where $1<p<\infty$. Using a new definition of capacitary potentials, we show that $\mathrm{cap}_p$ is countably subadditive and that it is a Choquet capacity. We next obtain formulas for the capacity of superlevel sets for the capacitary potential. These are then used to show that $p$-harmonic Green functions exist in an unbounded domain $\Omega$ if and only if either $X$ is $p$-hyperbolic or the Sobolev capacity $C_p(X\setminus \Omega)>0$. As an application, we deduce new results for Perron solutions and boundary regularity for the Dirichlet boundary value problem for $p$-harmonic functions in unbounded open sets.


title: An Attribution Method for Siamese Encoders

abstract: Despite the success of Siamese encoder models such as sentence transformers (ST), little is known about the aspects of inputs they pay attention to. A barrier is that their predictions cannot be attributed to individual features, as they compare two inputs rather than processing a single one. This paper derives a local attribution method for Siamese encoders by generalizing the principle of integrated gradients to models with multiple inputs. The solution takes the form of feature-pair attributions, and can be reduced to a token-token matrix for STs. Our method involves the introduction of integrated Jacobians and inherits the advantageous formal properties of integrated gradients: it accounts for the model's full computation graph and is guaranteed to converge to the actual prediction. A pilot study shows that in an ST few token-pairs can often explain large fractions of predictions, and it focuses on nouns and verbs. For accurate predictions, it however needs to attend to the majority of tokens and parts of speech.


title: Migdal effect of Phonon-mediated neutrino nucleus scattering in semiconductor detectors

abstract: In this work, we introduce the theoretical framework of the phonon-mediated Migdal effect for neutrino-nucleus scattering in semiconductors, considering both the Standard Model and the presence of the neutrino magnetic moment. We calculate the rate of electron excitation resulting from the Migdal effect and observe a substantial coherent enhancement compared to ordinary neutrino-electron scattering. Furthermore, we provide numerical sensitivities for detecting the Migdal effect and constraints on the neutrino magnetic moment, utilizing an experimental setup with reactor neutrinos.


title: Non-integrable soliton gas: The Schamel equation framework

abstract: Soliton gas or soliton turbulence is a subject of intense studies due to its great importance to optics, hydrodynamics, electricity, chemistry, biology and plasma physics. Usually, this term is used for integrable models where solitons interact elastically. However, soliton turbulence can also be a part of non-integrable dynamics, where long-lasting solutions in the form of almost solitons may exist. In the present paper, the complex dynamics of ensembles of solitary waves is studied within the Schamel equation using direct numerical simulations. Some important statistical characteristics (distribution functions, moments) are calculated numerically for unipolar and bipolar soliton gases. Comparison of results with integrable Korteweg-de Vries (KdV) and modified KdV (mKdV) models are given qualitatively. Our results agree well with the predictions of the KdV equation in the case of unipolar solitons. However, in the bipolar case, we observed a notable departure from the mKdV model, particularly in the behavior of kurtosis. The observed increase in kurtosis signifies the amplification of distribution function tails, which, in turn, corresponds to the presence of high-amplitude waves.


title: Extensional concepts in intensional type theory, revisited

abstract: Revisiting a classic result from M. Hofmann's dissertation, we give a direct proof of Morita equivalence, in the sense of V. Isaev, between extensional type theory and intensional type theory extended by the principles of functional extensionality and of uniqueness of identity proofs.


title: Guiding Language Model Math Reasoning with Planning Tokens

abstract: Large language models (LLMs) have recently attracted considerable interest for their ability to perform complex reasoning tasks, such as chain-of-thought reasoning. However, most of the existing approaches to enhance this ability rely heavily on data-driven methods, while neglecting the structural aspects of the model's reasoning capacity. We find that while LLMs can manage individual reasoning steps well, they struggle with maintaining consistency across an entire reasoning chain. To solve this, we introduce planning tokens at the start of each reasoning step, serving as a guide for the model, and add their embeddings to the model parameters. Our approach requires a negligible increase in trainable parameters (just 0.001%) and can be applied through either full fine-tuning or a more parameter-efficient scheme. We demonstrate our method's effectiveness by applying it to three different LLMs, showing notable accuracy improvements across three math word problem datasets w.r.t. standard fine-tuning baselines.


title: Betweenness isomorphism classes of circles with finitely many points inside

abstract: We give a necessary and sufficient condition for two circles, each with finitely many points added inside, to be betweenness isomorphic. We fully characterize the betweenness isomorphism classes in the family consisting of all circles with three collinear points inside.


title: Joint Optimization of seismometer arrays for the cancellation of Newtonian noise from seismic body waves in the Einstein Telescope

abstract: Seismic Newtonian noise is predicted to limit the sensitivity of the Einstein Telescope. It can be reduced with coherent noise cancellation techniques using data from seismometers. To achieve the best results, it is important to place the seismic sensors in optimal positions. A preliminary study on this topic was conducted for the Einstein Telescope (ET): it focused on the optimization of the seismic array for the cancellation of Newtonian noise at an isolated test mass. In this paper, we expand the study to include the nested shape of ET, i.e., four test masses of the low-frequency interferometers at each vertex of the detector. Results are investigated in function of the polarization content of the seismic field composed of body waves. The study also examines how performance can be affected by displacing the sensor array from its optimal position or by operating at frequencies other than those used for optimization.


title: DiCE -- A Data Encryption Proxy for the Cloud

abstract: Outsourcing a relational database to the cloud offers several benefits, including scalability, availability, and cost-effectiveness. However, there are concerns about the confidentiality and security of the outsourced data. A general approach here would be to encrypt the data with a standardized encryption algorithm and then store the data only encrypted in the cloud. The problem with this approach, however, is that with encryption, important properties of the data such as sorting, format or comparability, which are essential for the functioning of database queries, are lost. One solution to this problem is the use of (e.g. order-preserving) encryption algorithms, which also preserve these properties in the encrypted data, thus enabling queries to encrypted data. These algorithms range from simple algorithms like Caesar encryption to secure algorithms like mOPE. In order to be able to use these algorithms as easy as possible, ``DiCE'' a JDBC driver was developed, that parses SQL queries as a proxy and transparently encrypts and decrypts these queries. This allows to execute many queries on an encrypted database in the cloud with (nearly) the performance as on unencrypted databases. The DiCE driver can be used with any other JDBC driver and therefore supports a variety of databases. The driver can be configured to support different encryption algorithms. To keep track of the operations, the ``Dice Information Client'' has been developed to track the encryption and decryption of the driver. Although the result of the performance analysis shows a certain overhead due to the parsing and encryption of the SQL queries in the Dice driver, this overhead is significantly reduced by other influencing factors such as the network and parallel queries.


title: Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach

abstract: We address the task of deriving fixpoint equations from modal logics characterizing behavioural equivalences and metrics (summarized under the term conformances). We rely on earlier work that obtains Hennessy-Milner theorems as corollaries to a fixpoint preservation property along Galois connections between suitable lattices. We instantiate this to the setting of coalgebras, in which we spell out the compatibility property ensuring that we can derive a behaviour function whose greatest fixpoint coincides with the logical conformance. We then concentrate on the linear-time case, for which we study coalgebras based on the machine functor living in Eilenberg-Moore categories, a scenario for which we obtain a particularly simple logic and fixpoint equation. The theory is instantiated to concrete examples, both in the branching-time case (bisimilarity and behavioural metrics) and in the linear-time case (trace equivalences and trace distances).


title: Imitator Learning: Achieve Out-of-the-Box Imitation Ability in Variable Environments

abstract: Imitation learning (IL) enables agents to mimic expert behaviors. Most previous IL techniques focus on precisely imitating one policy through mass demonstrations. However, in many applications, what humans require is the ability to perform various tasks directly through a few demonstrations of corresponding tasks, where the agent would meet many unexpected changes when deployed. In this scenario, the agent is expected to not only imitate the demonstration but also adapt to unforeseen environmental changes. This motivates us to propose a new topic called imitator learning (ItorL), which aims to derive an imitator module that can on-the-fly reconstruct the imitation policies based on very limited expert demonstrations for different unseen tasks, without any extra adjustment. In this work, we focus on imitator learning based on only one expert demonstration. To solve ItorL, we propose Demo-Attention Actor-Critic (DAAC), which integrates IL into a reinforcement-learning paradigm that can regularize policies' behaviors in unexpected situations. Besides, for autonomous imitation policy building, we design a demonstration-based attention architecture for imitator policy that can effectively output imitated actions by adaptively tracing the suitable states in demonstrations. We develop a new navigation benchmark and a robot environment for \topic~and show that DAAC~outperforms previous imitation methods \textit{with large margins} both on seen and unseen tasks.


title: Approximations of the Green's Function in Multiple Scattering Theory for Crystalline Systems

abstract: The multiple scattering theory (MST) is a Green's function method that has been widely used in electronic structure calculations for crystalline disordered systems. The key property of the MST method is the scattering path matrix (SPM) that characterizes the Green's function within a local solution representation. This paper studies various approximations of the SPM, under the condition that an appropriate reference is used for perturbation. In particular, we justify the convergence of the SPM approximations with respect to the size of scattering region and scattering length of reference, which are the central numerical parameters to achieve a linear scaling method with MST. We also present some numerical experiments on several typical systems to support the theory.


title: DecAP: Decaying Action Priors for Accelerated Learning of Torque-Based Legged Locomotion Policies

abstract: Optimal Control for legged robots has gone through a paradigm shift from position-based to torque-based control, owing to the latter's compliant and robust nature. In parallel to this shift, the community has also turned to Deep Reinforcement Learning (DRL) as a promising approach to directly learn locomotion policies for complex real-life tasks. However, most end-to-end DRL approaches still operate in position space, mainly because learning in torque space is often sample-inefficient and does not consistently converge to natural gaits. To address these challenges, we propose a two-stage framework. In the first stage, we generate our own imitation data by training a position-based policy, eliminating the need for expert knowledge to design optimal controllers. The second stage incorporates decaying action priors, a novel method to enhance the exploration of torque-based policies aided by imitation rewards. We show that our approach consistently outperforms imitation learning alone and is robust to scaling these rewards from 0.1x to 10x. We further validate the benefits of torque control by comparing the robustness of a position-based policy to a position-assisted torque-based policy on a quadruped (Unitree Go1) without any domain randomization in the form of external disturbances during training.


title: A simple linear algebra identity to optimize Large-Scale Neural Network Quantum States

abstract: Neural network architectures have been increasingly used to represent quantum many-body wave functions. In this context, a large number of parameters is necessary, causing a crisis in traditional optimization methods. The Stochastic Reconfiguration (SR) approach has been widely used in the past for cases with a limited number of parameters $P$, since it involves the inversion of a $P \times P$ matrix and becomes computationally infeasible when $P$ exceeds a few thousands. This is the major limitation in the context of deep learning, where the number of parameters significantly surpasses the number of samples $M$ used for stochastic estimates ($P \gg M$). Here, we show that SR can be applied exactly by leveraging a simple linear algebra identity to reduce the problem to the inversion of a manageable $M \times M$ matrix. We demonstrate the effectiveness of our method by optimizing a Deep Transformer architecture featuring approximately 300,000 parameters without any assumption on the sign structure of the ground state. Our approach achieves state-of-the-art ground-state energy on the $J_1$-$J_2$ Heisenberg model in the challenging point $J_2/J_1=0.5$ on the $10\times10$ square lattice, a demanding benchmark problem in the field of highly-frustrated magnetism. This work marks a significant step forward in the scalability and efficiency of SR for Neural Network Quantum States (NNQS), making them a promising method to investigate unknown phases of matter of quantum systems, where other methods struggle.


title: Direct visualization of quasiparticle concentration around superconducting vortices

abstract: Bogoliubov quasiparticles play a crucial role in understanding the behavior of a superconductor, and in achieving reliable operations of superconducting quantum circuits. Diagnosis of quasiparticle poisoning at the nanoscale provides invaluable benefits in designing superconducting qubits. Here, we use scanning tunneling noise microscopy to locally quantify quasiparticles by measuring the effective charge. Using the vortex lattice as a model system, we directly visualize the spatial variation of the quasiparticle concentration around superconducting vortices, which can be described within the Ginzburg-Landau framework. This shows a direct, noninvasive approach for the atomic-scale detection of relative quasiparticle concentration as small as 10-4 in various superconducting qubit systems. Our results alert of a quick increase in quasiparticle concentration with decreasing intervortex distance in vortex-based Majorana qubits.


title: STOPNet: Multiview-based 6-DoF Suction Detection for Transparent Objects on Production Lines

abstract: In this work, we present STOPNet, a framework for 6-DoF object suction detection on production lines, with a focus on but not limited to transparent objects, which is an important and challenging problem in robotic systems and modern industry. Current methods requiring depth input fail on transparent objects due to depth cameras' deficiency in sensing their geometry, while we proposed a novel framework to reconstruct the scene on the production line depending only on RGB input, based on multiview stereo. Compared to existing works, our method not only reconstructs the whole 3D scene in order to obtain high-quality 6-DoF suction poses in real time but also generalizes to novel environments, novel arrangements and novel objects, including challenging transparent objects, both in simulation and the real world. Extensive experiments in simulation and the real world show that our method significantly surpasses the baselines and has better generalizability, which caters to practical industrial needs.


title: EdVAE: Mitigating Codebook Collapse with Evidential Discrete Variational Autoencoders

abstract: Codebook collapse is a common problem in training deep generative models with discrete representation spaces like Vector Quantized Variational Autoencoders (VQ-VAEs). We observe that the same problem arises for the alternatively designed discrete variational autoencoders (dVAEs) whose encoder directly learns a distribution over the codebook embeddings to represent the data. We hypothesize that using the softmax function to obtain a probability distribution causes the codebook collapse by assigning overconfident probabilities to the best matching codebook elements. In this paper, we propose a novel way to incorporate evidential deep learning (EDL) instead of softmax to combat the codebook collapse problem of dVAE. We evidentially monitor the significance of attaining the probability distribution over the codebook embeddings, in contrast to softmax usage. Our experiments using various datasets show that our model, called EdVAE, mitigates codebook collapse while improving the reconstruction performance, and enhances the codebook usage compared to dVAE and VQ-VAE based models. Our code can be found at https://github.com/ituvisionlab/EdVAE .


title: Transformer Fusion with Optimal Transport

abstract: Fusion is a technique for merging multiple independently-trained neural networks in order to combine their capabilities. Past attempts have been restricted to the case of fully-connected, convolutional, and residual networks. This paper presents a systematic approach for fusing two or more transformer-based networks exploiting Optimal Transport to (soft-)align the various architectural components. We flesh out an abstraction for layer alignment, that can generalize to arbitrary architectures - in principle - and we apply this to the key ingredients of Transformers such as multi-head self-attention, layer-normalization, and residual connections, and we discuss how to handle them via various ablation studies. Furthermore, our method allows the fusion of models of different sizes (heterogeneous fusion), providing a new and efficient way to compress Transformers. The proposed approach is evaluated on both image classification tasks via Vision Transformer and natural language modeling tasks using BERT. Our approach consistently outperforms vanilla fusion, and, after a surprisingly short finetuning, also outperforms the individual converged parent models. In our analysis, we uncover intriguing insights about the significant role of soft alignment in the case of Transformers. Our results showcase the potential of fusing multiple Transformers, thus compounding their expertise, in the budding paradigm of model fusion and recombination. Code is available at https://github.com/graldij/transformer-fusion.


title: HyperLips: Hyper Control Lips with High Resolution Decoder for Talking Face Generation

abstract: Talking face generation has a wide range of potential applications in the field of virtual digital humans. However, rendering high-fidelity facial video while ensuring lip synchronization is still a challenge for existing audio-driven talking face generation approaches. To address this issue, we propose HyperLips, a two-stage framework consisting of a hypernetwork for controlling lips and a high-resolution decoder for rendering high-fidelity faces. In the first stage, we construct a base face generation network that uses the hypernetwork to control the encoding latent code of the visual face information over audio. First, FaceEncoder is used to obtain latent code by extracting features from the visual face information taken from the video source containing the face frame.Then, HyperConv, which weighting parameters are updated by HyperNet with the audio features as input, will modify the latent code to synchronize the lip movement with the audio. Finally, FaceDecoder will decode the modified and synchronized latent code into visual face content. In the second stage, we obtain higher quality face videos through a high-resolution decoder. To further improve the quality of face generation, we trained a high-resolution decoder, HRDecoder, using face images and detected sketches generated from the first stage as input.Extensive quantitative and qualitative experiments show that our method outperforms state-of-the-art work with more realistic, high-fidelity, and lip synchronization. Project page: https://semchan.github.io/HyperLips Project/


title: Stability of $L^2-$invariants on stratified spaces

abstract: Let $\overline{M}$ be a compact smoothly stratified pseudo-manifold endowed with a wedge metric $g$. Let $\overline{M}_\Gamma$ be a Galois $\Gamma$-covering. Under additional assumptions on $\overline{M}$, satisfied for example by Witt pseudo-manifolds, we show that the $L^2$-Betti numbers and the Novikov-Shubin invariants are well defined. We then establish their invariance under a smoothly stratified, strongly stratum preserving homotopy equivalence, thus extending results of Dodziuk, Gromov and Shubin to these pseudo-manifolds.


title: Magnetocaloric effect of nanostructured La0.6Sr0.4CoO3

abstract: In this study, we investigate the magnetic and magnetocaloric properties of nanostructured La0.6Sr0.4CoO3 (LSC) samples synthesized under confinement conditions within porous templates. Using this method, we obtained de-agglomerated nanoparticles, which provide us with the feasibility of applying them in nanoparticle films that can be tailored to intricate geometries. We specifically explored the impact of pore size of the template on key parameters including saturation magnetization (MS), Curie temperature (TC), maximum entropy change ({\Delta}S), and relative cooling power (RCP). Our findings reveal enhancements in those quantities, that are likely to be related with the nanostructure of the samples, indicating the potential of nanostructured LSC as an active material for magnetic refrigeration devices. Our alternative approach of synthesizing magnetocaloric materials under confinement conditions presents an exciting prospect for future research and development in the field.


title: Planning to Go Out-of-Distribution in Offline-to-Online Reinforcement Learning

abstract: Offline pretraining with a static dataset followed by online fine-tuning (offline-to-online, or OtO) is a paradigm well matched to a real-world RL deployment process. In this scenario, we aim to find the best-performing policy within a limited budget of online interactions. Previous work in the OtO setting has focused on correcting for bias introduced by the policy-constraint mechanisms of offline RL algorithms. Such constraints keep the learned policy close to the behavior policy that collected the dataset, but we show this can unnecessarily limit policy performance if the behavior policy is far from optimal. Instead, we forgo constraints and frame OtO RL as an exploration problem that aims to maximize the benefit of online data-collection. We first study the major online RL exploration methods based on intrinsic rewards and UCB in the OtO setting, showing that intrinsic rewards add training instability through reward-function modification, and UCB methods are myopic and it is unclear which learned-component's ensemble to use for action selection. We then introduce an algorithm for planning to go out-of-distribution (PTGOOD) that avoids these issues. PTGOOD uses a non-myopic planning procedure that targets exploration in relatively high-reward regions of the state-action space unlikely to be visited by the behavior policy. By leveraging concepts from the Conditional Entropy Bottleneck, PTGOOD encourages data collected online to provide new information relevant to improving the final deployment policy without altering rewards. We show empirically in several continuous control tasks that PTGOOD significantly improves agent returns during online fine-tuning and avoids the suboptimal policy convergence that many of our baselines exhibit in several environments.


title: Two-loop coefficient functions in deeply virtual Compton scattering: flavor-singlet axial-vector and transversity case

abstract: We calculate the two-loop flavor-singlet axial-vector and gluon transversity coefficient functions for deeply virtual Compton scattering in QCD. We observe interesting properties regarding the transcendentality of the transversity coefficient function. Our results complete the calculation of the full next-to-next-to-leading order coefficient function in deeply virtual Compton scattering. Numerically, the two-loop corrections in the axial-vector and transversity channel are comparable to their vector counterpart at moderate skewness parameter {\xi} and hence indispensable for analyzing the upcoming high-precision data from the Electron-Ion Collider.


title: Post-hoc Bias Scoring Is Optimal For Fair Classification

abstract: We consider a binary classification problem under group fairness constraints, which can be one of Demographic Parity (DP), Equalized Opportunity (EOp), or Equalized Odds (EO). We propose an explicit characterization of Bayes optimal classifier under the fairness constraints, which turns out to be a simple modification rule of the unconstrained classifier. Namely, we introduce a novel instance-level measure of bias, which we call bias score, and the modification rule is a simple linear rule on top of the finite amount of bias scores.Based on this characterization, we develop a post-hoc approach that allows us to adapt to fairness constraints while maintaining high accuracy. In the case of DP and EOp constraints, the modification rule is thresholding a single bias score, while in the case of EO constraints we are required to fit a linear modification rule with 2 parameters. The method can also be applied for composite group-fairness criteria, such as ones involving several sensitive attributes.


title: New Partial Trace Inequalities and Distillability of Werner States

abstract: One of the oldest problems in quantum information theory is to study whether any undistillable state has a positive partial transpose (PPT). This problem has been open for almost 30 years, and still no one has been able to give a complete answer to it. This work presents a new strategy to try to solve this problem by translating the distillability condition on the family of Werner states into a problem of partial trace inequalities. We present our two main results and a new bound for the 2-distillability, $\alpha \geq -\frac{1}{4}$. Moreover, we present throughout this work numerous partial trace inequalities, which are valid for many families of matrices.


title: The Program Testing Ability of Large Language Models for Code

abstract: Recent development of large language models (LLMs) for code like CodeX and CodeT5+ demonstrates tremendous promise in achieving code intelligence. Their ability of synthesizing code that completes a program for performing a pre-defined task has been intensively tested and verified on benchmark datasets including HumanEval and MBPP. Yet, evaluation of these LLMs from more perspectives (than just program synthesis) is also anticipated, considering their broad scope of applications in software engineering. In this paper, we explore the ability of LLMs for testing programs/code. By performing thorough analyses of recent LLMs for code in program testing, we show a series of intriguing properties of these models and demonstrate how program testing ability of LLMs can be improved. Following recent work which utilizes generated test cases to enhance program synthesis, we further leverage our findings in improving the quality of the synthesized programs and show +11.77% and +4.22% higher code pass rates on HumanEval+ comparing with the GPT-3.5-turbo baseline and the recent state-of-the-art, respectively.


title: Hidden Permutations to the Rescue: Multi-Pass Semi-Streaming Lower Bounds for Approximate Matchings

abstract: We prove that any semi-streaming algorithm for $(1-\epsilon)$-approximation of maximum bipartite matching requires \[ \Omega(\frac{\log{(1/\epsilon)}}{{\log{(1/\beta)}}}) \] passes, where $\beta \in (0,1)$ is the largest parameter so that an $n$-vertex graph with $n^{\beta}$ edge-disjoint induced matchings of size $\Theta(n)$ exist (such graphs are referred to as RS graphs). Currently, it is known that \[ \Omega(\frac{1}{\log\log{n}}) \leqslant \beta \leqslant 1-\Theta(\frac{\log^*{n}}{{\log{n}}}) \] and closing this huge gap between upper and lower bounds has remained a notoriously difficult problem in combinatorics. Under the plausible hypothesis that $\beta = \Omega(1)$, our lower bound result provides the first pass-approximation lower bound for (small) constant approximation of matchings in the semi-streaming model, a longstanding open question in the graph streaming literature. Our techniques are based on analyzing communication protocols for compressing (hidden) permutations. Prior work in this context relied on reducing such problems to Boolean domain and analyzing them via tools like XOR Lemmas and Fourier analysis on Boolean hypercube. In contrast, our main technical contribution is a hardness amplification result for permutations through concatenation in place of prior XOR Lemmas. This result is proven by analyzing permutations directly via simple tools from group representation theory combined with detailed information-theoretic arguments, and can be of independent interest.


title: Desalination Performance of Nano porous Mos$_2$ Membrane on Different Salts of Saline Water: A Molecular Dynamics Study

abstract: The freshwater crisis is a growing concern and a pressing problem for the world because of the increasing population, civilization, and rapid industrial growth. The water treatment facilities are able to supply less than 1% of the total water demand. Water desalination can be a potential solution to deal with this alarming issue. Researchers have been exploring for quite some time to find novel nano-enhanced membranes and manufacturing techniques to increase the efficiency of the desalination process. Graphene and graphene modified membranes showed huge potential as desalination membranes for comparatively easier synthesis process and higher ion rejection rate than conventional filter materials. Currently, single-layer Mos$_2$ has been discovered to have the same potential of water permeability and ion rejection rate as graphene membrane in a more energy-efficient way. For almost analogous nano porous structure of the graphene membrane, almost 70% of the higher water flux is obtained from the Mos$_2$ membrane. In this work, it has been shown that nano porous Mos$_2$ membranes provide a promising result for desalinating other salts of seawater alongside NaCl. We have also observed the effect of variations in ions, pore size, and pressure on water permeation and ion rejection rates in the water desalination process. In this study, water permeation increased significantly by increasing the pore area from 20{\AA} to 80{\AA}. The rate of water filtration increases in proportion to both applied pressure and pore size, sacrificing the ion rejection rate for the type of ions studied. A combination of salt ions in the saline water for desalination has also been studied, where the rejection rates for the different ions are separately represented for various applied pressures. For seawater, the Mos$_2$ membrane has showed quite promising performance in the study of ion variation.


title: Clairaut conformal submersions from Ricci solitons

abstract: In the present article, we characterize Clairaut conformal submersions whose total manifolds admit a Ricci soliton and provide a non-trivial example of such Clairaut conformal submersions. We firstly calculate scalar curvature and Ricci tensors of total manifolds of Clairaut conformal submersions and provide necessary conditions for the fibres of such Clairaut conformal submersions to be almost Ricci solitons and Einstein. Further, we provide necessary conditions for the base manifold to be Ricci soliton and Einstein. Then, we find a necessary condition for vector field $\dot{\zeta}$ to be conformal vector field and killing vector field. Besides, we indicate that if total manifolds of Clairaut conformal submersions admit a Ricci soliton with the potential mean curvature vector field $H$ of $Ker\vartheta _{\ast }, $ then the total manifolds of Clairaut conformal submersions admit a gradient Ricci soliton. Finally, by solving Poisson equation, we acquire a necessary and sufficient condition for Clairaut conformal submersions to be harmonic.


title: A Blockchain-driven Architecture for Usage Control in Solid

abstract: Decentralization initiatives like Solid enable data owners to control who has access to their data and to stimulate innovation by creating both application and data markets. Once data owners share their data with others, though, it is no longer possible for them to control how their data are used. To address this issue, we propose a usage control architecture to monitor compliance with usage control policies. To this end, our solution relies on blockchain and trusted execution environments. We demonstrate the potential of the architecture by describing the various workflows needed to realize a motivating use case scenario for data markets. Additionally, we discuss the merits of the approach from privacy, security, integrateability, and affordability perspectives.


title: Improved Scheduling with a Shared Resource

abstract: We consider the following shared-resource scheduling problem: Given a set of jobs $J$, for each $j\in J$ we must schedule a job-specific processing volume of $v_j>0$. A total resource of $1$ is available at any time. Jobs have a resource requirement $r_j\in[0,1]$, and the resources assigned to them may vary over time. However, assigning them less will cause a proportional slowdown. We consider two settings. In the first, we seek to minimize the makespan in an online setting: The resource assignment of a job must be fixed before the next job arrives. Here we give an optimal $e/(e-1)$-competitive algorithm with runtime $\mathcal{O}(n\cdot \log n)$. In the second, we aim to minimize the total completion time. We use a continuous linear programming (CLP) formulation for the fractional total completion time and combine it with a previously known dominance property from malleable job scheduling to obtain a lower bound on the total completion time. We extract structural properties by considering a geometrical representation of a CLP's primal-dual pair. We combine the CLP schedule with a greedy schedule to obtain a $(3/2+\varepsilon)$-approximation for this setting. This improves upon the so far best-known approximation factor of $2$.


title: Polyhedral approach to weighted connected matchings in general graphs

abstract: A connected matching in a graph G consists of a set of pairwise disjoint edges whose covered vertices induce a connected subgraph of G. While finding a connected matching of maximum cardinality is a well-solved problem, it is NP-hard to determine an optimal connected matching in an edge-weighted graph, even in the planar bipartite case. We present two mixed integer programming formulations and a sophisticated branch-and-cut scheme to find weighted connected matchings in general graphs. The formulations explore different polyhedra associated to this problem, including strong valid inequalities both from the matching polytope and from the connected subgraph polytope. We conjecture that one attains a tight approximation of the convex hull of connected matchings using our strongest formulation, and report encouraging computational results over DIMACS Implementation Challenge benchmark instances. The source code of the complete implementation is also made available.


title: Morita equivalence classes of $2$-blocks with abelian defect groups of rank $4$

abstract: We classify all $2$-blocks with abelian defect groups of rank $4$ up to Morita equivalence. The classification holds for blocks over a suitable discrete valuation ring as well as for those over an algebraically closed field. An application is that Brou\'{e}'s abelian defect group conjecture holds for all blocks under consideration here.


title: On left-orderability of involutory quandles of links

abstract: We give a non-left-orderability criterion for involutory quandles of non-split links. We use this criterion to show that the involutory quandle of any non-trivial alternating link is not left-orderable, thus improving Theorem 8.1. proven by Raundal et al. (Proceedings of the Edinburgh Mathematical Society (2021 64), page 646). We also use the criterion to show that the involutory quandles of augmented alternating links are not left-orderable. We introduce a new family of links containing all non-alternating and quasi-alternating 3-braid closures and show that their involutory quandles are not left-orderable. This leads us to conjecture that the involutory quandle of any quasi-alternating link is not left-orderable.


title: LLMLingua: Compressing Prompts for Accelerated Inference of Large Language Models

abstract: Large language models (LLMs) have been applied in various applications due to their astonishing capabilities. With advancements in technologies such as chain-of-thought (CoT) prompting and in-context learning (ICL), the prompts fed to LLMs are becoming increasingly lengthy, even exceeding tens of thousands of tokens. To accelerate model inference and reduce cost, this paper presents LLMLingua, a coarse-to-fine prompt compression method that involves a budget controller to maintain semantic integrity under high compression ratios, a token-level iterative compression algorithm to better model the interdependence between compressed contents, and an instruction tuning based method for distribution alignment between language models. We conduct experiments and analysis over four datasets from different scenarios, i.e., GSM8K, BBH, ShareGPT, and Arxiv-March23; showing that the proposed approach yields state-of-the-art performance and allows for up to 20x compression with little performance loss. Our code is available at https://aka.ms/LLMLingua.


title: Language Model Beats Diffusion -- Tokenizer is Key to Visual Generation

abstract: While Large Language Models (LLMs) are the dominant models for generative tasks in language, they do not perform as well as diffusion models on image and video generation. To effectively use LLMs for visual generation, one crucial component is the visual tokenizer that maps pixel-space inputs to discrete tokens appropriate for LLM learning. In this paper, we introduce MAGVIT-v2, a video tokenizer designed to generate concise and expressive tokens for both videos and images using a common token vocabulary. Equipped with this new tokenizer, we show that LLMs outperform diffusion models on standard image and video generation benchmarks including ImageNet and Kinetics. In addition, we demonstrate that our tokenizer surpasses the previously top-performing video tokenizer on two more tasks: (1) video compression comparable to the next-generation video codec (VCC) according to human evaluations, and (2) learning effective representations for action recognition tasks.


title: Examples of $CD(0,N)$ spaces with non-constant dimension

abstract: In this work, we generalize the results obtained in (J. Geom. Anal., 32(6):Paper No.173, 32, 2022), presenting some examples of $CD(0,N)$ spaces having different dimensions in different regions, deducing in particular that the topological splitting may fail in $CD(0,N)$ spaces. We also observe that any reasonable non-branching condition may fail in $CD(0,N)$ spaces and that the existence of an optimal transport map, between two absolutely continuous marginals, is not guaranteed by the $CD(0,N)$ condition, without requiring a non-branching assumption. Moreover, we show that the strict $CD(0,N)$ condition is strictly stronger than the classical $CD(0,N)$ one and it is not stable with respect to the measured Gromov-Hausdorff convergence.


title: A partially overdetermined problem for $p$-Laplace equation in convex cones

abstract: We consider a partially overdetermined problem for the $p$-Laplace equation in a convex cone $\mathcal{C}$ intersected with the exterior of a smooth bounded domain $\overline{\Omega}$ in $\mathbb{R}^n$($n\geq2$). First, we establish the existence, regularity, and asymptotic behavior of a capacitary potential. Then, based on these properties of the potential, we use a $P$-function, the isoperimetric inequality, and the Heintze-Karcher type inequality in a convex cone to obtain a rigidity result under the assumption of orthogonal intersection.


title: Multicolor Photometry of Tiny Near-Earth Asteroid 2015 RN$_{35}$ Across a Wide Range of Phase Angles: Possible Mission Accessible A-type Asteroid

abstract: Studying small near-Earth asteroids is important to understand their dynamical histories and origins as well as to mitigate the damage of the asteroid impact to the Earth. We report the results of multicolor photometry of the tiny near-Earth asteroid 2015 RN$_{35}$ using the 3.8 m Seimei telescope in Japan and the TRAPPIST-South telescope in Chile over 17 nights in 2022 December and 2023 January. We observed 2015 RN$_{35}$ across a wide range of phase angles from 2$^{\circ}$ to 30$^{\circ}$ in the $g$, $r$, $i$, and $z$ bands in the Pan-STARRS system. These lightcurves show that 2015 RN$_{35}$ is in a non-principal axis spin state with two characteristic periods of $1149.7\pm0.3$ s and $896.01\pm0.01$ s. We found that a slope of a visible spectrum of 2015 RN$_{35}$ is as red as asteroid (269) Justitia, one of the very red objects in the main belt, which indicates that 2015 RN$_{35}$ can be classified as an A- or Z-type asteroid. In conjunction with the shallow slope of the phase curve, we suppose that 2015 RN$_{35}$ is a high-albedo A-type asteroid. We demonstrated that surface properties of tiny asteroids could be well constrained by intensive observations across a wide range of phase angles. 2015 RN$_{35}$ is a possible mission accessible A-type near-Earth asteroid with a small $\Delta v$ of 11.801 km s$^{-1}$ in the launch window between 2030 and 2035.


title: Fictitious Play via Finite Differences for Mean Field Games with Optimal Stopping

abstract: This paper considers mean field games with optimal stopping time (OSMFGs) where agents make optimal exit decisions, the coupled obstacle and Fokker-Planck equations in such models pose challenges versus classic MFGs. This paper proposes a generalized fictitious play algorithm that computes OSMFG mixed equilibria by iteratively solving pure strategy systems, i.e. approximating mixed strategies through averaging pure strategies according to a certain updating rule. The generalized fictitious play allows for a broad family of learning rates and the convergence to the mixed strategy equilibrium can be rigorously justified. The algorithm also incorporates efficient finite difference schemes of the pure strategy system, and numerical experiments demonstrate the effectiveness of the proposed method in robustly and efficiently computing mixed equilibria for OSMFGs.


title: Estimating Shape Distances on Neural Representations with Limited Samples

abstract: Measuring geometric similarity between high-dimensional network representations is a topic of longstanding interest to neuroscience and deep learning. Although many methods have been proposed, only a few works have rigorously analyzed their statistical efficiency or quantified estimator uncertainty in data-limited regimes. Here, we derive upper and lower bounds on the worst-case convergence of standard estimators of shape distance$\unicode{x2014}$a measure of representational dissimilarity proposed by Williams et al. (2021).These bounds reveal the challenging nature of the problem in high-dimensional feature spaces. To overcome these challenges, we introduce a new method-of-moments estimator with a tunable bias-variance tradeoff. We show that this estimator achieves substantially lower bias than standard estimators in simulation and on neural data, particularly in high-dimensional settings. Thus, we lay the foundation for a rigorous statistical theory for high-dimensional shape analysis, and we contribute a new estimation method that is well-suited to practical scientific settings.


title: Mapping between black-hole perturbation theory and numerical relativity: gravitational-wave energy flux

abstract: We investigate the $\alpha$-$\beta$ mapping, as previously introduced by Islam et al.~\cite{Islam:2022laz}, which relates numerical relativity (NR) and adiabatic point-particle black hole perturbation theory (BHPT) waveforms in the comparable mass regime for quasi-circular, non-spinning binary black holes. This mapping involves scaling the amplitude of individual modes with different values of $\alpha$ and the time (and therefore the phase) with a single parameter, $\beta$. In this paper, we demonstrate that this scaling, both in terms of time and orbital frequencies, also extends to the overall gravitational-wave energy flux. This means that we can find a single $\alpha_{\mathcal{F}}$ that scales the BHPT flux and a single $\beta_{\mathcal{F}}$ (which matches the value of $\beta$) that scales the BHPT time such a way that it aligns with NR flux evolution. We then explore the connection between the scaling parameter $\alpha_{\mathcal{F}}$ ($\beta_{\mathcal{F}}$) and the missing finite size correction for the secondary black hole within the BHPT framework.


title: Additional moments and x-space approximations of four-loop splitting functions in QCD

abstract: We have extended our previous computations of the even-N moments of the flavour-singlet four-loop splitting functions to N = 12 for the pure-singlet quark case and N = 10 for all other cases. These results, obtained using physical quantities in inclusive deep-inelastic scattering, have been and will be used to validate conceptionally much more challenging determinations of these splitting functions from off-shell operator matrix elements (OMEs). For the quark-gluon and gluon-gluon splitting functions, which have yet to be computed to higher N using OMEs, we construct approximations based on our moments and endpoint constraints, where we present new large-x results for the gluon-gluon case. These approximations facilitate an approximate N^3LO evolution of parton distributions which are sufficiently accurate outside the region of small momentum fractions x.


title: Impact of the uncertainties of $3 \alpha$ and $^{12}{\rm C}(\alpha,\gamma)^{16}{\rm O}$ reactions on the He-burning phases of low- and intermediate-mass stars

abstract: We estimate the impact on the stellar evolution of the uncertainties in the $3\alpha$ and the $^{12}{\rm C}(\alpha,\gamma)^{16}{\rm O}$ reaction rates [...]. We calculated models of low- and intermediate-mass stars for different values of the rates. The $3\alpha$ reaction rate was varied up to $\pm 24\%$, while the $^{12}{\rm C}(\alpha,\gamma)^{16}{\rm O}$ reaction rate was varied by up to $\pm 35\%$. The models were calculated for two different initial chemical compositions to represent different stellar populations. A $M = 0.67$ $M_{\odot}$ model was chosen as representative of the halo ancient stars, while for disk stars, the $M=1.5$ $M_{\odot}$ and $M=2.5$ $M_{\odot}$ models were considered. The impact of the two reaction rates on the central He-burning lifetime and the asymptotic giant branch (AGB) lifetime, as well as the mass of the C/O core at the central He exhaustion and the internal C and O abundances, was investigated. A variation of the $^{12}{\rm C}(\alpha,\gamma)^{16}{\rm O}$ reaction rates resulted in marginal differences in the analysed features among the three considered stellar masses, except for the C/O abundances. The central He-burning lifetime changed by less than 4%, while the AGB lifetime was affected only at the 1% level. The internal C and O abundances showed greater variation, with a change of about 15%. The uncertainty in the $3\alpha$ reaction rate mainly influences the C and O central abundances (up to 10%) for all the models considered, and the AGB lifetime for intermediate mass stars (up to 5%). Most of the investigated features were affected by less than 2%. The current uncertainty in the two reaction rates has a negligible effect on the predicted evolutionary time scale with respect to other uncertainty sources. The variability in the chemical profile at the end of the shell He-burning phase is still relevant.


title: Put Your Money Where Your Mouth Is: Evaluating Strategic Planning and Execution of LLM Agents in an Auction Arena

abstract: Recent advancements in Large Language Models (LLMs) showcase advanced reasoning, yet NLP evaluations often depend on static benchmarks. Evaluating this necessitates environments that test strategic reasoning in dynamic, competitive scenarios requiring long-term planning. We introduce AucArena, a novel evaluation suite that simulates auctions, a setting chosen for being highly unpredictable and involving many skills related to resource and risk management, while also being easy to evaluate. We conduct controlled experiments using state-of-the-art LLMs to power bidding agents to benchmark their planning and execution skills. Our research demonstrates that LLMs, such as GPT-4, possess key skills for auction participation, such as budget management and goal adherence, which improve with adaptive strategies. This highlights LLMs' potential in modeling complex social interactions in competitive contexts. However, variability in LLM performance and occasional outperformance by simpler methods indicate opportunities for further advancements in LLM design and the value of our simulation environment for ongoing testing and refinement.


title: Probability distribution of classical observables

abstract: In this work, I derive the time-dependent probability density function of classical observables using the Hamiltonian mechanics approach, extending the notion of fluctuation theorems for any observables. In particular, the time-dependent probability density function of the thermodynamic work evolving in the switching time is solved as a special case. From such a relation, I prove Jarzynski's equality and Crook's fluctuation theorem. The particular case of a Gaussian distribution for slowly-varying processes is derived as well at the end.


title: Vem++, a c++ library to handle and play with the Virtual Element Method

abstract: The Virtual Element Method (VEM) is an extension of the Finite Element Method (FEM) used for handling polytopal meshes. This paper provides a brief introduction to the VEM for a two-dimensional Laplacian problem. Additionally, it highlights the differences between a VEM implementation and a FEM code, emphasising the main challenges associated with the VEM. Furthermore, this paper presents a possible approach to address these challenges: vem++, a c++ library specifically developed for working with VEM discretisation. The library is designed to handle various partial differential equations in two or three dimensions, arising from both academic and engineering problems. Its flexible design allows for the seamless integration of new features, such as novel polytopes' quadrature rules, solvers, and virtual element spaces.


title: A new approach to the 3-momentum regularization of the in-medium one and two fermion line integrals with applications to cross sections in the Nambu--Jona-Lasinio model

abstract: We propose the 3-momentum sphere intersection regularization applied to the one and two fermion line integrals at finite temperature and chemical potential. The quark-antiquark polarization function in this new regularization approach is equivalent to the usual 3-momentum regularization, when the absolute value of the external 3-momentum of the polarization is zero. Additionally, it respects the particle-antiparticle symmetry of meson states in the Nambu$-$Jona-Lasinio (NJL) model for all values of temperature and chemical potential. Without this symmetry, in-medium cross sections calculated in the 3-momentum regularized NJL model are not consistent. In order to demonstrate the difference between the usual 3-momentum regularization with the one proposed in this work, we study the quark-quark and quark-antiquark cross sections in both regularization schemes. To this end we use the standard $SU(3)$ NJL model, with four and six quark interactions. We observe major quantitative and qualitative differences when comparing quark-quark cross sections in both schemes. The quark-antiquark cross sections, on the other hand, are very similar in both regularizations, owning to the equivalence between the regularizations when the absolute value of the external 3-momentum is zero.


title: Transportation-cost inequalities for non-linear Gaussian functionals

abstract: We study concentration properties for laws of non-linear Gaussian functionals on metric spaces. Our focus lies on measures with non-Gaussian tail behaviour which are beyond the reach of Talagrand's classical Transportation-Cost Inequalities (TCIs). Motivated by solutions of Rough Differential Equations and relying on a suitable contraction principle, we prove generalised TCIs for functionals that arise in the theory of regularity structures and, in particular, in the cases of rough volatility and the two-dimensional Parabolic Anderson Model. In doing so, we also extend existing results on TCIs for diffusions driven by Gaussian processes.


title: A Review of the Ethics of Artificial Intelligence and its Applications in the United States

abstract: This study is focused on the ethics of Artificial Intelligence and its application in the United States, the paper highlights the impact AI has in every sector of the US economy and multiple facets of the technological space and the resultant effect on entities spanning businesses, government, academia, and civil society. There is a need for ethical considerations as these entities are beginning to depend on AI for delivering various crucial tasks, which immensely influence their operations, decision-making, and interactions with each other. The adoption of ethical principles, guidelines, and standards of work is therefore required throughout the entire process of AI development, deployment, and usage to ensure responsible and ethical AI practices. Our discussion explores eleven fundamental 'ethical principles' structured as overarching themes. These encompass Transparency, Justice, Fairness, Equity, Non- Maleficence, Responsibility, Accountability, Privacy, Beneficence, Freedom, Autonomy, Trust, Dignity, Sustainability, and Solidarity. These principles collectively serve as a guiding framework, directing the ethical path for the responsible development, deployment, and utilization of artificial intelligence (AI) technologies across diverse sectors and entities within the United States. The paper also discusses the revolutionary impact of AI applications, such as Machine Learning, and explores various approaches used to implement AI ethics. This examination is crucial to address the growing concerns surrounding the inherent risks associated with the widespread use of artificial intelligence.


title: The Gulf of Interpretation: From Chart to Message and Back Again

abstract: Charts are used to communicate data visually, but designing an effective chart that a broad set of people can understand is challenging. Usually, we do not know whether a chart's intended message aligns with the message readers perceive. In this mixed-methods study, we investigate how data journalists encode data and how a broad audience engages with, experiences, and understands these data visualizations. We conducted a series of workshops and interviews with school students, university students, job seekers, designers, and senior citizens to collect perceived messages and subjective feedback on a sample of eight real-world charts. We analyzed these messages and compared them to the intended message of the chart producer. Four of the collected messages from consumers were then provided to data journalists (including the ones that created the original charts) as a starting point to re-design the charts accordingly. The results from our work underline the difficulty of complex charts such as stacked bar charts and Sankey diagrams. Consumers are often overwhelmed with the amount of data provided and are easily confused with terms (as text) not well known. Chart producers tend to be faithful with data but are willing to abstract further when asked to transport particular messages visually. There are strong conventions on how to visually encode particular information that might not be to the benefit of many consumers.


title: Large-Scale OD Matrix Estimation with A Deep Learning Method

abstract: The estimation of origin-destination (OD) matrices is a crucial aspect of Intelligent Transport Systems (ITS). It involves adjusting an initial OD matrix by regressing the current observations like traffic counts of road sections (e.g., using least squares). However, the OD estimation problem lacks sufficient constraints and is mathematically underdetermined. To alleviate this problem, some researchers incorporate a prior OD matrix as a target in the regression to provide more structural constraints. However, this approach is highly dependent on the existing prior matrix, which may be outdated. Others add structural constraints through sensor data, such as vehicle trajectory and speed, which can reflect more current structural constraints in real-time. Our proposed method integrates deep learning and numerical optimization algorithms to infer matrix structure and guide numerical optimization. This approach combines the advantages of both deep learning and numerical optimization algorithms. The neural network(NN) learns to infer structural constraints from probe traffic flows, eliminating dependence on prior information and providing real-time performance. Additionally, due to the generalization capability of NN, this method is economical in engineering. We conducted tests to demonstrate the good generalization performance of our method on a large-scale synthetic dataset. Subsequently, we verified the stability of our method on real traffic data. Our experiments provided confirmation of the benefits of combining NN and numerical optimization.


title: Unleashing the power of Neural Collapse for Transferability Estimation

abstract: Transferability estimation aims to provide heuristics for quantifying how suitable a pre-trained model is for a specific downstream task, without fine-tuning them all. Prior studies have revealed that well-trained models exhibit the phenomenon of Neural Collapse. Based on a widely used neural collapse metric in existing literature, we observe a strong correlation between the neural collapse of pre-trained models and their corresponding fine-tuned models. Inspired by this observation, we propose a novel method termed Fair Collapse (FaCe) for transferability estimation by comprehensively measuring the degree of neural collapse in the pre-trained model. Typically, FaCe comprises two different terms: the variance collapse term, which assesses the class separation and within-class compactness, and the class fairness term, which quantifies the fairness of the pre-trained model towards each class. We investigate FaCe on a variety of pre-trained classification models across different network architectures, source datasets, and training loss functions. Results show that FaCe yields state-of-the-art performance on different tasks including image classification, semantic segmentation, and text classification, which demonstrate the effectiveness and generalization of our method.


title: Deep Concept Removal

abstract: We address the problem of concept removal in deep neural networks, aiming to learn representations that do not encode certain specified concepts (e.g., gender etc.) We propose a novel method based on adversarial linear classifiers trained on a concept dataset, which helps to remove the targeted attribute while maintaining model performance. Our approach Deep Concept Removal incorporates adversarial probing classifiers at various layers of the network, effectively addressing concept entanglement and improving out-of-distribution generalization. We also introduce an implicit gradient-based technique to tackle the challenges associated with adversarial training using linear classifiers. We evaluate the ability to remove a concept on a set of popular distributionally robust optimization (DRO) benchmarks with spurious correlations, as well as out-of-distribution (OOD) generalization tasks.


title: The Smale Conjecture and Min-Max Theory

abstract: We give a new proof of the Smale conjecture for $\mathbb{RP}^3$ and all lens spaces using minimal surfaces and min-max theory. For $\mathbb{RP}^3$, the conjecture was first proved in 2019 by Bamler-Kleiner using Ricci flow.


title: Nonlinear Correct and Smooth for Semi-Supervised Learning

abstract: Graph-based semi-supervised learning (GSSL) has been used successfully in various applications. Existing methods leverage the graph structure and labeled samples for classification. Label Propagation (LP) and Graph Neural Networks (GNNs) both iteratively pass messages on graphs, where LP propagates node labels through edges and GNN aggregates node features from the neighborhood. Recently, combining LP and GNN has led to improved performance. However, utilizing labels and features jointly in higher-order graphs has not been explored. Therefore, we propose Nonlinear Correct and Smooth (NLCS), which improves the existing post-processing approach by incorporating non-linearity and higher-order representation into the residual propagation to handle intricate node relationships effectively. Systematic evaluations show that our method achieves remarkable average improvements of 13.71% over base prediction and 2.16% over the state-of-the-art post-processing method on six commonly used datasets. Comparisons and analyses show our method effectively utilizes labels and features jointly in higher-order graphs to resolve challenging graph relationships.


title: Stability of fractional Chern insulators with a non-Landau level continuum limit

abstract: The stability of fractional Chern insulators is widely believed to be predicted by the resemblance of their single-particle spectra to Landau levels. We investigate the scope of this geometric stability hypothesis by analyzing the stability of a set of fractional Chern insulators that explicitly do not have a Landau level continuum limit. By computing the many-body spectra of Laughlin states in a generalized Hofstadter model, we analyze the relationship between single-particle metrics, such as trace inequality saturation, and many-body metrics, such as the magnitude of the many-body and entanglement gaps. We show numerically that the geometric stability hypothesis holds for Chern bands that are not continuously connected to Landau levels, as well as conventional Chern bands, albeit often requiring larger system sizes to converge for these configurations.


title: Hierarchical meta-modelling of stone injected with CNT/cement mortar

abstract: This paper presents an innovative hierarchical meta-modelling approach for predicting the effective elastic properties of stone injected with composite cement grouts containing Carbon NanoTubes (CNTs) for structural rehabilitation purposes. The study first addresses the homogenization of the nano- and micro-scales through numerical representative volume elements. The first numerical model focuses on the cement matrix doped with randomly oriented CNTs, while the second model represents the porous stone with CNT/cement grout filling the pores. However, the computational burden associated with these models poses a significant limitation when analysing large-scale macrostructural elements. To overcome this challenge, a hierarchical meta-modelling approach based on two nested Kriging surrogate models is proposed. This approach offers a fast and accurate alternative to bypass the time-consuming numerical homogenization process. The first surrogate model establishes a connection between the microstructural characteristics of the CNTs and cement and the effective elastic properties of the composite grout. Subsequently, a second meta-model expands over the first one by introducing two additional variables: the elastic modulus of the stone and the porosity, allowing for estimation of the overall elastic properties of CNT/cement/stone composites. The accuracy and efficiency of the proposed hierarchical meta-model is demonstrated through detailed parametric analyses. To showcase its potential for optimizing rehabilitation interventions, the paper is closed with its application to a benchmark case study of a stone column injected with CNT/cement grout.


title: Strong terahertz third-harmonic generation by kinetic heavy quasiparticles in CaRuO$_3$

abstract: We report on time-resolved nonlinear terahertz spectroscopy of a strongly correlated ruthenate, CaRuO$_3$, as a function of temperature, frequency and terahertz field strength. Third-harmonic radiation for frequencies up to 2.1 THz is observed evidently at low temperatures below 80 K, where the low-frequency linear dynamical response deviates from the Drude model and a coherent heavy quasiparticle band emerges by strong correlations associated with the Hund's coupling.Phenomenologically, by taking an experimentally observed frequency-dependent scattering rate, the deviation of the field driven kinetics from the Drude behavior is reconciled in a time-dependent Boltzmann description, which allows an attribution of the observed third-harmonic generation to the terahertz field driven nonlinear kinetics of the heavy quasiparticles.


title: Robust Minimum Distance Inference in Structural Models

abstract: This paper proposes minimum distance inference for a structural parameter of interest, which is robust to the lack of identification of other structural nuisance parameters. Some choices of the weighting matrix lead to asymptotic chi-squared distributions with degrees of freedom that can be consistently estimated from the data, even under partial identification. In any case, knowledge of the level of under-identification is not required. We study the power of our robust test. Several examples show the wide applicability of the procedure and a Monte Carlo investigates its finite sample performance. Our identification-robust inference method can be applied to make inferences on both calibrated (fixed) parameters and any other structural parameter of interest. We illustrate the method's usefulness by applying it to a structural model on the non-neutrality of monetary policy, as in \cite{nakamura2018high}, where we empirically evaluate the validity of the calibrated parameters and we carry out robust inference on the slope of the Phillips curve and the information effect.


title: 3D tomatoes' localisation with monocular cameras using histogram filters

abstract: Performing tasks in agriculture, such as fruit monitoring or harvesting, requires perceiving the objects' spatial position. RGB-D cameras are limited under open-field environments due to lightning interferences. Therefore, in this study, we approach the use of Histogram Filters (Bayesian Discrete Filters) to estimate the position of tomatoes in the tomato plant. Two kernel filters were studied: the square kernel and the Gaussian kernel. The implemented algorithm was essayed in simulation, with and without Gaussian noise and random noise, and in a testbed at laboratory conditions. The algorithm reported a mean absolute error lower than 10 mm in simulation and 20 mm in the testbed at laboratory conditions with an assessing distance of about 0.5 m. So, the results are viable for real environments and should be improved at closer distances.