title: Unruh deWitt probe of late time revival of quantum correlations in Friedmann spacetimes

abstract: Unruh deWitt detectors are important constructs in studying the dynamics of quantum fields in any geometric background. Curvature also plays an important role in setting up the correlations of a quantum field in a given spacetime. For instance, massless fields are known to have large correlations in de Sitter space as well as in certain class of Friedmann-Robertson-Walker (FRW) universes. However, some of the correlations are secular in nature while some are dynamic and spacetime dependent. An Unruh deWitt detector responds to such divergences differently in different spacetimes. In this work, we study the response rate of Unruh deWitt detectors which interact with quantum fields in FRW spacetimes. We consider both conventionally as well as derivatively coupled Unruh deWitt detectors. Particularly, we consider their interaction with massless scalar fields in FRW spacetimes and nearly massless scalar fields in de Sitter spacetime. We discuss how the term which gives rise to the infrared divergence in the massless limit in de Sitter spacetime manifests itself at the level of the response rate of these Unruh deWitt detectors in a wide class of Friedmann spacetimes. To carry out this study, we use an equivalence between massless scalar fields in FRW spacetimes with massive scalar fields in de Sitter spacetime. Further, we show that while the derivative coupling regulates the divergence appearing in de Sitter spacetime, it does not completely remove them in matter dominated universe. This gives rise to large transitions in the detector which can be used as a probe of setting up of large correlations in late time era of the universe as well. We show that the coupling of hydrogen atoms with gravitational waves takes a form that is similar to derivatively coupled UdW detectors and hence has significant observational implications as a probe of late time revival of quantum correlators.


title: Singlet Mesons in Dark $Sp(4)$ Theories

abstract: We explore some aspects of $Sp(4)$ gauge theory with two fundamental fermions in the context of composite Goldstone Dark Matter. We present preliminary lattice results for the mass of the pseudoscalar iso-singlet meson $\eta'$ using unimproved Wilson fermions and the standard plaquette action. We find that the $\eta'$ is slightly heavier than the pseudoscalar non-singlets $\pi$ and lighter than the vector mesons $\rho$ for multiple ensembles with $m_\pi/m_\rho \geq 0.77$. This pattern is potentially relevant for Beyond the Standard Model physics model building. Furthermore, we show that for $N_f=1+1$ flavours the disconnected contributions to the unflavoured pseudoscalar $\pi^0$ are small. We supplement this measurement by a calculation of the $\pi\pi$ scattering length $a_0$ which shows that the ensemble studied might be phenomenologically relevant for Dark Matter models such as the Strongly Interacting Massive Particles paradigm.


title: On new $k_\perp$-dependent (quasi)parton distribution functions

abstract: We advocate the existence of a new type of $k_\perp$-dependent functions. In contrast to the well-known Boer-Mulders function, the presented new functions can be associated with the collective alignment of quark spin vectors. Moreover, the new functions are sensitive to the transverse motion of partons inside hadrons, which are linked to the spin alignment of partons, and they are initiated by the interactions encoded in the corresponding correlators.


title: $L^2$-stability near equilibrium for the $4$ waves kinetic equation

abstract: We consider the four waves spatial homogeneous kinetic equation arising in wave turbulence theory. We study the long-time behaviour and existence of solutions around the Rayleigh-Jeans equilibrium solutions. For cut-off'd frequencies, we show that for dispersion relations weakly perturbed around the quadratic case, the linearized operator around the Rayleigh-Jeans equilibria is coercive. We then pass to the fully nonlinear operator, showing an $L^2$ - stability for initial data close to Rayleigh-Jeans.


title: Integration of Neuromorphic AI in Event-Driven Distributed Digitized Systems: Concepts and Research Directions

abstract: Increasing complexity and data-generation rates in cyber-physical systems and the industrial Internet of things are calling for a corresponding increase in AI capabilities at the resource-constrained edges of the Internet. Meanwhile, the resource requirements of digital computing and deep learning are growing exponentially, in an unsustainable manner. One possible way to bridge this gap is the adoption of resource-efficient brain-inspired "neuromorphic" processing and sensing devices, which use event-driven, asynchronous, dynamic neurosynaptic elements with colocated memory for distributed processing and machine learning. However, since neuromorphic systems are fundamentally different from conventional von Neumann computers and clock-driven sensor systems, several challenges are posed to large-scale adoption and integration of neuromorphic devices into the existing distributed digital-computational infrastructure. Here, we describe the current landscape of neuromorphic computing, focusing on characteristics that pose integration challenges. Based on this analysis, we propose a microservice-based framework for neuromorphic systems integration, consisting of a neuromorphic-system proxy, which provides virtualization and communication capabilities required in distributed systems of systems, in combination with a declarative programming approach offering engineering-process abstraction. We also present concepts that could serve as a basis for the realization of this framework, and identify directions for further research required to enable large-scale system integration of neuromorphic devices.


title: Culf maps and edgewise subdivision

abstract: We show that, for any simplicial space $X$, the $\infty$-category of culf maps over $X$ is equivalent to the $\infty$-category of right fibrations over $\operatorname{sd}(X)$, the edgewise subdivision of $X$ (when $X$ is a Rezk complete Segal space or 2-Segal space, this is the twisted arrow category of $X$). We give two proofs of independent interest; one exploiting comprehensive factorization and the natural transformation from the edgewise subdivision to the nerve of the category of elements, and another exploiting a new factorization system of ambifinal and culf maps, together with the right adjoint to edgewise subdivision. Using this main theorem, we show that the $\infty$-category of decomposition spaces and culf maps is locally an $\infty$-topos.


title: Free decomposition spaces

abstract: We introduce the notion of free decomposition spaces: they are simplicial spaces freely generated by their inert maps. We show that left Kan extension along the inclusion $j \colon \Delta_{\operatorname{inert}} \to \Delta$ takes general objects to M\"obius decomposition spaces and general maps to CULF maps. We establish an equivalence of $\infty$-categories $\mathbf{PrSh}(\Delta_{\operatorname{inert}}) \simeq \mathbf{Decomp}_{/B\mathbb{N}}$. Although free decomposition spaces are rather simple objects, they abound in combinatorics: it seems that all comultiplications of deconcatenation type arise from free decomposition spaces. We give an extensive list of examples, including quasi-symmetric functions.


title: Efficient inference in the transverse field Ising model

abstract: In this paper we introduce an approximate method to solve the quantum cavity equations for transverse field Ising models. The method relies on a projective approximation of the exact cavity distributions of imaginary time trajectories (paths). A key feature, novel in the context of similar algorithms, is the explicit separation of the classical and quantum parts of the distributions. Numerical simulations show accurate results in comparison with the sampled solution of the cavity equations, the exact diagonalization of the Hamiltonian (when possible) and other approximate inference methods in the literature. The computational complexity of this new algorithm scales linearly with the connectivity of the underlying lattice, enabling the study of highly connected networks, as the ones often encountered in quantum machine learning problems.


title: Controller-Guided Partial Label Consistency Regularization with Unlabeled Data

abstract: Partial label learning (PLL) learns from training examples each associated with multiple candidate labels, among which only one is valid. In recent years, benefiting from the strong capability of dealing with ambiguous supervision and the impetus of modern data augmentation methods, consistency regularization-based PLL methods have achieved a series of successes and become mainstream. However, as the partial annotation becomes insufficient, their performances drop significantly. In this paper, we leverage easily accessible unlabeled examples to facilitate the partial label consistency regularization. In addition to a partial supervised loss, our method performs a controller-guided consistency regularization at both the label-level and representation-level with the help of unlabeled data. To minimize the disadvantages of insufficient capabilities of the initial supervised model, we use the controller to estimate the confidence of each current prediction to guide the subsequent consistency regularization. Furthermore, we dynamically adjust the confidence thresholds so that the number of samples of each class participating in consistency regularization remains roughly equal to alleviate the problem of class-imbalance. Experiments show that our method achieves satisfactory performances in more practical situations, and its modules can be applied to existing PLL methods to enhance their capabilities.


title: Rob\'otica M\'ovel e Intelig\^encia Artificial para Investiga\c{c}\~ao, Competi\c{c}\~ao e Automatiza\c{c}\~ao de Sistemas Industriais

abstract: The implementation of robots to enhance some processes has become popular in recent years due to the accelerated way of production in some factories. Within this context was where robotics has emerged, firstly with stationary robots and more recently mobile robots, namely aerial and terrestrial robots. They can be used for delimited processes within a function, mainly the stationary robots, but also for research in wider areas and even competition. This work summarizes the construction of a model of terrestrial mobile robot that makes the use of artificial intelligence for the purpose of research and competitions, all of that with the basic sensing that can be used in industry.


title: Vine copula based knockoff generation for high-dimensional controlled variable selection

abstract: Vine copulas are a flexible tool for high-dimensional dependence modeling. In this article, we discuss the generation of approximate model-X knockoffs with vine copulas. It is shown how Gaussian knockoffs can be generalized to Gaussian copula knockoffs. A convenient way to parametrize Gaussian copulas are partial correlation vines. We discuss how completion problems for partial correlation vines are related to Gaussian knockoffs. A natural generalization of partial correlation vines are vine copulas which are well suited for the generation of approximate model-X knockoffs. We discuss a specific D-vine structure which is advantageous to obtain vine copula knockoff models. In a simulation study, we demonstrate that vine copula knockoff models are effective and powerful for high-dimensional controlled variable selection.


title: Noisy Tree Data Structures and Quantum Applications

abstract: The paper presents a technique for constructing noisy data structures called a walking tree. We apply it for a Red-Black tree (an implementation of a Self-Balanced Binary Search Tree) and a segment tree. We obtain the same complexity of the main operations for these data structures as in the case without noise (asymptotically). We present several applications of the data structures for quantum algorithms. Finally, we suggest new quantum solution for strings sorting problem and show the lower bound. The upper and lower bounds are the same up to a log factor. At the same time, it is more effective than classical counterparts.


title: Geodesic (in)completeness in general metric frames

abstract: The geometric concept of geodesic completeness depends on the choice of the metric field or "metric frame". We develop a frame-invariant concept of "generalised geodesic completeness" or "time completeness". It is based on the notion of physical time defined by counting oscillations for some physically allowed process. Oscillating solutions of wave functions for particles with varying mass permit the derivation of generalised geodesics and the associated notion of completeness. Time completeness involves aspects of particle physics and is no longer a purely geometric concept.


title: Drones e Inteligencia Artificial para Investigaci\'on y Competici\'on

abstract: This work focuses on drones or UAVs (Unmanned Aerial Vehicles) for use in industry in general. These vehicles have a large number of uses and potential in the industry, as a tool for civil engineering, medicine, mining, among others. However, this vehicle is limited for use indoors due to the need for GPS and it does not work indoors. In this way, this work presents a UAV that works without GPS, thus being able to be used in closed spaces for example and have good precision. The work is based on an approach that uses computer vision and GPS.


title: Removing grid structure in angle-resolved photoemission spectra via deep learning method

abstract: Spectroscopic data may often contain unwanted extrinsic signals. For example, in ARPES experiment, a wire mesh is typically placed in front of the CCD to block stray photo-electrons, but could cause a grid-like structure in the spectra during quick measurement mode. In the past, this structure was often removed using the mathematical Fourier filtering method by erasing the periodic structure. However, this method may lead to information loss and vacancies in the spectra because the grid structure is not strictly linearly superimposed. Here, we propose a deep learning method to effectively overcome this problem. Our method takes advantage of the self-correlation information within the spectra themselves and can greatly optimize the quality of the spectra while removing the grid structure and noise simultaneously. It has the potential to be extended to all spectroscopic measurements to eliminate other extrinsic signals and enhance the spectral quality based on the self-correlation of the spectra solely.


title: Robust Imitation via Mirror Descent Inverse Reinforcement Learning

abstract: Recently, adversarial imitation learning has shown a scalable reward acquisition method for inverse reinforcement learning (IRL) problems. However, estimated reward signals often become uncertain and fail to train a reliable statistical model since the existing methods tend to solve hard optimization problems directly. Inspired by a first-order optimization method called mirror descent, this paper proposes to predict a sequence of reward functions, which are iterative solutions for a constrained convex problem. IRL solutions derived by mirror descent are tolerant to the uncertainty incurred by target density estimation since the amount of reward learning is regulated with respect to local geometric constraints. We prove that the proposed mirror descent update rule ensures robust minimization of a Bregman divergence in terms of a rigorous regret bound of $\mathcal{O}(1/T)$ for step sizes $\{\eta_t\}_{t=1}^{T}$. Our IRL method was applied on top of an adversarial framework, and it outperformed existing adversarial methods in an extensive suite of benchmarks.


title: Theory of resonant Raman scattering due to spin-flips of resident charge carries and excitons in perovskite semiconductors

abstract: We have developed a theory of Raman scattering with single and double spin flips of localized resident electrons and holes as well as nonequilibrium localized excitons in semiconductor perovskite crystals under optical excitation in the resonant exciton region. Scattering mechanisms involving localized excitons, biexcitons and exciton polaritons as intermediate states has been examined, the spin-flip Raman scattering by polaritons being a novel mechanism. The derived equations are presented in the invariant form allowing one for the analysis of the dependence of scattering efficiency on the polarization of the initial and scattered light and on the orientation of the external magnetic field.


title: Voter Coalitions and democracy in Decentralized Finance: Evidence from MakerDAO

abstract: Decentralized Autonomous Organization (DAO) provides a decentralized governance solution through blockchain, where decision-making process relies on on-chain voting and follows majority rule. This paper focuses on MakerDAO, and we find three voter coalitions after applying clustering algorithm to voting history. The emergence of a dominant voter coalition is a signal of governance centralization in DAO, and voter coalitions have complicated influence on Maker protocol, which is governed by MakerDAO. This paper presents empirical evidence of multicoalition democracy in DAO and further contributes to the contemporary debate on whether decentralized governance is possible.


title: PalGAN: Image Colorization with Palette Generative Adversarial Networks

abstract: Multimodal ambiguity and color bleeding remain challenging in colorization. To tackle these problems, we propose a new GAN-based colorization approach PalGAN, integrated with palette estimation and chromatic attention. To circumvent the multimodality issue, we present a new colorization formulation that estimates a probabilistic palette from the input gray image first, then conducts color assignment conditioned on the palette through a generative model. Further, we handle color bleeding with chromatic attention. It studies color affinities by considering both semantic and intensity correlation. In extensive experiments, PalGAN outperforms state-of-the-arts in quantitative evaluation and visual comparison, delivering notable diverse, contrastive, and edge-preserving appearances. With the palette design, our method enables color transfer between images even with irrelevant contexts.


title: Mathematical modelling of adjuvant-enhanced active ingredient leaf uptake of pesticides

abstract: The global importance of effective and affordable pesticides to optimise crop yield and to support health of our growing population cannot be understated. But to develop new products or refine existing ones in response to climate and environmental changes is both time-intensive and expensive which is why the agrochemical industry is increasingly interested in using mechanistic models as part of their formulation development toolbox. In this work, we develop such a model to describe uptake of pesticide spray droplets across the leaf surface. We simplify the leaf structure by identifying the outer cuticle as the main barrier to uptake; the result is a novel, hybrid model in which two well-mixed compartments are separated by a membrane in which we describe the spatio-temporal distribution of the pesticide. This leads to a boundary value partial differential equation problem coupled to a pair of ordinary differential equation systems which we solve numerically. We also simplify the pesticide formulation into two key components: the Active Ingredient which produces the desired effect of the pesticide and an Adjuvant which is present in the formulation to facilitate effective absorption of the Active Ingredient into the leaf. This approach gives rise to concentration-dependent diffusion. We take an intuitive approach to parameter estimation using a small experimental data set and subsequently demonstrate the importance of the concentration-dependent diffusion in replicating the data. Finally, we demonstrate the need for further work to identify how the physicochemical properties of pesticides affect flow into and across the leaf surface.


title: Data analysis and the metric evolution of hypergraphs

abstract: In this paper we aim to use different metrics in the Euclidean space and Sobolev type metrics in function spaces in order to produce reliable parameters for the differentiation of point distributions and dynamical systems. The main tool is the analysis of the geometrical evolution of the hypergraphs generated by the growth of the radial parameters for a choice of an appropriate metric in the space containing the data points. Once this geometric dynamics is obtained we use Lebesque and Sobolev type norms in order to compare the basic geometric signals obtained.

categories: cs.IT cs.DB math-ph math.DS math.IT math.MP


title: $\tt{KOBEsim}$: a Bayesian observing strategy algorithm for planet detection in radial velocity blind-search surveys

abstract: Ground-based observing time is precious in the era of exoplanet follow-up and characterization, especially in high-precision radial velocity instruments. Blind-search radial velocity surveys thus require a dedicated observational strategy in order to optimize the observing time, which is particularly crucial for the detection of small rocky worlds at large orbital periods. We develop an algorithm with the purpose of improving the efficiency of radial velocity observations in the context of exoplanet searches, and we apply it to the K-dwarfs Orbited By habitable Exoplanets (KOBE) experiment. We aim at accelerating exoplanet confirmations or, alternatively, rejecting false signals as early as possible in order to save telescope time and increase the efficiency of both blind-search surveys and follow-up of transiting candidates. Once a minimum initial number of radial velocity datapoints is reached in such a way that a periodicity starts to emerge according to generalized Lomb-Scargle (GLS) periodograms, that period is targeted with the proposed algorithm, named $\texttt{KOBEsim}$. The algorithm selects the next observing date that maximizes the Bayesian evidence for such periodicity in comparison with a model with no Keplerian orbits. By means of simulated data, we prove that the algorithm accelerates the exoplanet detection, needing $29 - 33\,\%$ less observations and $41 - 47\,\%$ less timespan of the full dataset for low-mass planets ($m_{\rm p}\,<\,10\,M_{\oplus}$) in comparison with a conventional monotonic cadence strategy. The enhancement in the number of datapoints for $20\,M_{\oplus}$ planets is also appreciable, $16\,\%$. We also test $\texttt{KOBEsim}$ with real data for a particular KOBE target, and for the confirmed planet $HD~102365\,b$. Both of them demonstrate that the strategy is capable of speeding up the detection up to a factor of $2$.


title: Power-law density of states in organic solar cells revealed by the open-circuit voltage dependence of the ideality factor

abstract: The density of states (DOS) is fundamentally important for understanding physical processes in organic disordered semiconductors, yet hard to determine experimentally. We evaluated the DOS by considering recombination via tail states and using the temperature and open-circuit voltage ($V_\mathrm{oc}$) dependence of the ideality factor in organic solar cells. By performing Suns-$V_\mathrm{oc}$ measurements, we find that gaussian and exponential distributions describe the DOS only at a given quasi-Fermi level splitting. The DOS width increases linearly with the DOS depth, revealing the power-law DOS in these materials.


title: Hund bands in spectra of multiorbital systems

abstract: Spectroscopy experiments are routinely used to characterize the behavior of strongly correlated systems. An in-depth understanding of the different spectral features is thus essential. Here, we show that the spectrum of the multiorbital Hubbard model exhibits unique Hund \ms{bands} that occur at energies given only by the Hund coupling $J_\mathrm{H}$, as distinct from the Hubbard satellites following the interaction $U$. We focus on experimentally relevant single-particle and optical spectra that we calculate for a model related to iron chalcogenide ladders. The calculations are performed via the density-matrix renormalization group and Lanczos methods. The generality of the implications is verified by considering a generic multiorbital model within dynamical mean-field theory.


title: River interlinking alters land-atmosphere feedback and changes the Indian summer monsoon

abstract: Massive river interlinking projects are proposed to offset observed increasing trends of extremes, such as droughts and floods in India, the second highest populated country.These river interlinking projects involve water transfer from surplus to deficit river basins through reservoirs and canals, but without an in-depth understanding of the hydro-meteorological consequences. Using information theory-based causal delineation techniques, a coupled regional climate model, and multiple reanalysis datasets, we show that causal pathways exist across different basins in India due to strong land-atmosphere feedback, which disputes the generally practiced assumption of hydrological independence between river basins. The causal information from one basin's land crosses the basin boundary through the atmosphere. We further find that increased irrigation from the transferred water reduces mean rainfall in September by up to 12% in many parts of India most of which are already water stressed.We observe more drying in La Nina years as compared to El Nino years. Reduced September precipitation can lead to drying of rivers post monsoon augmenting the water stress across country rendering interlinking dysfunctional. These findings demand model-guided impact assessment studies of large scale hydrological projects across the globe considering land-atmosphere interactions.


title: Horn maps of holomorphic functions locally pseudo-conjugate on their local parabolic basin

abstract: The lifted horn map $h$ of a holomorphic function $f$ with a simple parabolic point at $z_0$ is well known to be a local conjugacy complete invariant at $z_0$; this is a classical result proved independently by \'Ecalle, Voronin, Martinet and Ramis. Landford and Yampolski have shown that, if two functions $f_1, f_2$ with simple parabolic points at $z_1, z_2$ are globally conjugate over their immediate parabolic basins, with the conjugacy and its inverse continuous at $z_1$, resp. $z_2$, their horn maps must be equal as analytic ramified coverings. In this article, we introduce a notion of local conjugacy over immediate parabolic basins, and show that two functions $f_1, f_2$ with simple parabolic points are locally conjugate over parabolic basins (without the hypothesis of continuity) if and only if the non-lifted horn maps $\mathbf{h}_i$ are equivalent as ramified coverings. This result is a first step to understand better invariant classes by parabolic renormalization.


title: Robust prescribed-time coordination control of cooperative-antagonistic networks with disturbances

abstract: This article targets at addressing the robust prescribed-time coordination control (PTCC) problems for single-integrator cooperative-antagonistic networks (CANs) with external disturbances under arbitrary fixed signed digraphs without any structural constraints. Toward this end, the PTCC problems for nominal single-integrator CANs without disturbances are first investigated and a fully distributed control protocol with a time-varying gain, which grows to infinity as the time approaches the settling time, is proposed utilizing the relative states of neighboring agents. Then, based on the proposed control protocol for the nominal single-integrator CANs, a new second-order prescribed-time sliding mode control protocol is constructed to achieve accurate PTCC for single-integrator CANs in the presence of external disturbances. Using Lyapunov based analysis, sufficient conditions to guarantee the prescribed-time stability, bipartite consensus, interval bipartite consensus, and bipartite containment of single-integrator CANs without or with disturbances are, respectively, derived. In the end, numerical simulations are given to confirm the derived results.


title: Automated Control and Simulation of Dynamic Robot Teams in the Domain of CFK Production

abstract: This paper is concerned with the automation and simulation of pick and place processes in the domain of CFK aircraft production. We introduce a workflow which starts from a CAD construction, extracts relevant data out of it, assigns grippers to the CFK pieces and schedules the single steps using a PDDL solver. Finally, the result is visualized in Blender where also prior mistakes can be identified.


title: Expectation of a random submanifold: the zonoid section

abstract: We develop a calculus based on zonoids - a special class of convex bodies - for the expectation of functionals related to a random submanifold $Z$ defined as the zero set of a smooth vector valued random field on a Riemannian manifold. We identify a convenient set of hypotheses on the random field under which we define its zonoid section, an assignment of a zonoid $\zeta(p)$ in the exterior algebra of the cotangent space at each point $p$ of the manifold. We prove that the first intrinsic volume of $\zeta(p)$ is the Kac-Rice density of the expected volume of $Z$, while its center computes the expected current of integration over $Z$. We show that the intersection of random submanifolds corresponds to the wedge product of the zonoid sections and that the preimage corresponds to the pull-back. Combining this with the recently developed zonoid algebra, it allows to give a multiplication structure to the Kac-Rice formulas, resembling that of the cohomology ring of a manifold. Moreover, it establishes a connection with the theory of convex bodies and valuations, which includes very deep and difficult results such as the Alexandrov-Fenchel inequality and the Brunn-Minkowsky inequality. We export them to this context to prove two analogous new inequalities for random submanifolds. Applying our results in the context of Finsler geometry, we prove some new Crofton formulas for the length of curves and the Holmes-Thompson volumes of submanifolds in a Finsler manifold.


title: CLT for random quadratic forms based on sample means and sample covariance matrices

abstract: In this paper, we use the dimensional reduction technique to study the central limit theory (CLT) random quadratic forms based on sample means and sample covariance matrices. Specifically, we use a matrix denoted by $U_{p\times q}$, to map $q$-dimensional sample vectors to a $p$ dimensional subspace, where $q\geq p$ or $q\gg p$. Under the condition of $p/n\rightarrow 0$ as $(p,n)\rightarrow \infty$, we obtain the CLT of random quadratic forms for the sample means and sample covariance matrices.


title: Partial deconfinement: a brief overview

abstract: The confinement/deconfinement transition in gauge theory plays important roles in physics, including the description of thermal phase transitions in the dual gravitational theory. Partial deconfinement implies an intermediate phase in which color degrees of freedom split into the confined and deconfined sectors. The partially-deconfined phase is dual to the small black hole that lies between the large black hole and graviton gas. Better understandings of partial deconfinement may provide us with a clue how gravity emerges from the field theory degrees of freedom. In this article, we briefly review the basic properties of partial deconfinement and discuss applications.


title: Modelling and Explaining Legal Case-based Reasoners through Classifiers

abstract: This paper brings together two lines of research: factor-based models of case-based reasoning (CBR) and the logical specification of classifiers. Logical approaches to classifiers capture the connection between features and outcomes in classifier systems. Factor-based reasoning is a popular approach to reasoning by precedent in AI & Law. Horty (2011) has developed the factor-based models of precedent into a theory of precedential constraint. In this paper we combine the modal logic approach (binary-input classifier, BLC) to classifiers and their explanations given by Liu & Lorini (2021) with Horty's account of factor-based CBR, since both a classifier and CBR map sets of features to decisions or classifications. We reformulate case bases of Horty in the language of BCL, and give several representation results. Furthermore, we show how notions of CBR, e.g. reason, preference between reasons, can be analyzed by notions of classifier system.


title: Explainable Multi-Agent Recommendation System for Energy-Efficient Decision Support in Smart Homes

abstract: Understandable and persuasive recommendations support the electricity consumers' behavioral change to tackle the energy efficiency problem. Generating load shifting recommendations for household appliances as explainable increases the transparency and trustworthiness of the system. This paper proposes an explainable multi-agent recommendation system for load shifting for household appliances. First, we provide agents with enhanced predictive capacity by including weather data, applying state-of-the-art models, and tuning the hyperparameters. Second, we suggest an Explainability Agent providing transparent recommendations. We also provide an overview of the predictive and explainability performance. Third, we discuss the impact and scaling potential of the suggested approach.


title: YOWO-Plus: An Incremental Improvement

abstract: In this technical report, we would like to introduce our updates to YOWO, a real-time method for spatio-temporal action detection. We make a bunch of little design changes to make it better. For network structure, we use the same ones of official implemented YOWO, including 3D-ResNext-101 and YOLOv2, but we use a better pretrained weight of our reimplemented YOLOv2, which is better than the official YOLOv2. We also optimize the label assignment used in YOWO. To accurately detection action instances, we deploy GIoU loss for box regression. After our incremental improvement, YOWO achieves 84.9\% frame mAP and 50.5\% video mAP on the UCF101-24, significantly higher than the official YOWO. On the AVA, our optimized YOWO achieves 20.6\% frame mAP with 16 frames, also exceeding the official YOWO. With 32 frames, our YOWO achieves 21.6 frame mAP with 25 FPS on an RTX 3090 GPU. We name the optimized YOWO as YOWO-Plus. Moreover, we replace the 3D-ResNext-101 with the efficient 3D-ShuffleNet-v2 to design a lightweight action detector, YOWO-Nano. YOWO-Nano achieves 81.0 \% frame mAP and 49.7\% video frame mAP with over 90 FPS on the UCF101-24. It also achieves 18.4 \% frame mAP with about 90 FPS on the AVA. As far as we know, YOWO-Nano is the fastest state-of-the-art action detector. Our code is available on https://github.com/yjh0410/PyTorch_YOWO.


title: Wait-info Policy: Balancing Source and Target at Information Level for Simultaneous Machine Translation

abstract: Simultaneous machine translation (SiMT) outputs the translation while receiving the source inputs, and hence needs to balance the received source information and translated target information to make a reasonable decision between waiting for inputs or outputting translation. Previous methods always balance source and target information at the token level, either directly waiting for a fixed number of tokens or adjusting the waiting based on the current token. In this paper, we propose a Wait-info Policy to balance source and target at the information level. We first quantify the amount of information contained in each token, named info. Then during simultaneous translation, the decision of waiting or outputting is made based on the comparison results between the total info of previous target outputs and received source inputs. Experiments show that our method outperforms strong baselines under and achieves better balance via the proposed info.


title: Lagrange multipliers and adiabatic limits I

abstract: Critical points of a function subject to a constraint can be either detected by restricting the function to the constraint or by looking for critical points of the Lagrange multiplier functional. Although the critical points of the two functionals, namely the restriction and the Lagrange multiplier functional are in natural one-to-one correspondence this does not need to be true for their gradient flow lines. We consider a singular deformation of the metric and show by an adiabatic limit argument that close to the singularity we have a one-to-one correspondence between gradient flow lines connecting critical points of Morse index difference one. We present a general overview of the adiabatic limit technique in the article [FW22b]. The proof of the correspondence is carried out in two parts. The current part I deals with linear methods leading to a singular version of the implicit function theorem. We also discuss possible infinite dimensional generalizations in Rabinowitz-Floer homology. In part II [FW22a] we apply non-linear methods and prove, in particular, a compactness result and uniform exponential decay independent of the deformation parameter.


title: Learning-Augmented Private Algorithms for Multiple Quantile Release

abstract: When applying differential privacy to sensitive data, we can often improve performance using external information such as other sensitive data, public data, or human priors. We propose to use the learning-augmented algorithms (or algorithms with predictions) framework -- previously applied largely to improve time complexity or competitive ratios -- as a powerful way of designing and analyzing privacy-preserving methods that can take advantage of such external information to improve utility. This idea is instantiated on the important task of multiple quantile release, for which we derive error guarantees that scale with a natural measure of prediction quality while (almost) recovering state-of-the-art prediction-independent guarantees. Our analysis enjoys several advantages, including minimal assumptions about the data, a natural way of adding robustness, and the provision of useful surrogate losses for two novel ``meta" algorithms that learn predictions from other (potentially sensitive) data. We conclude with experiments on challenging tasks demonstrating that learning predictions across one or more instances can lead to large error reductions while preserving privacy.


title: A Dialogue Robot System to Improve Credibility in Sightseeing Spot Recommendations

abstract: Various studies have been conducted on human-supporting robot systems. These systems have been put to practical use over the years and are now seen in our daily lives. In particular, robots communicating smoothly with people are expected to play an active role in customer service and guidance. In this case, it is essential to determine whether the customer is satisfied with the dialog robot or not. However, it is not easy to satisfy all of the customer's requests due to the diversity of the customer's speech. In this study, we developed a dialog mechanism that prevents dialog breakdowns and keeps the customer satisfied by providing multiple scenarios for the robot to take control of the dialog. We tested it in a travel destination recommendation task at a travel agency.


title: Sensitivity of an antineutrino monitor for remote nuclear reactor discovery

abstract: Antineutrinos from a nuclear reactor comprise an unshieldable signal which carries information about the core. A gadolinium-doped, water-based Cherenkov detector could detect reactor antineutrinos for mid- to far-field remote reactor monitoring for non-proliferation applications. Two novel and independent reconstruction and analysis pathways have been developed and applied to a number of representative reactor signals to evaluate the sensitivity of a kiloton-scale, gadolinium-doped Cherenkov detector as a remote monitor. The sensitivity of four detector configurations to nine reactor signal combinations was evaluated for a detector situated in Boulby Mine, close to the Boulby Underground Laboratory in the UK. It was found that a 22~m detector with a gadolinium-doped, water-based liquid scintillator fill is sensitive to a $\rm \sim 3~GW_{th}$ reactor at a standoff of $\rm \sim150~km$ within two years in the current reactor landscape. A larger detector would be required to achieve a more timely detection or to monitor smaller or more distant reactors.


title: Dirichlet Heat kernel estimates for a large class of anisotropic Markov processes

abstract: Let $Z=(Z^{1}, \ldots, Z^{d})$ be the d-dimensional L\'evy {process} where {$Z^i$'s} are independent 1-dimensional L\'evy {processes} with identical jumping kernel $ \nu^1(r) =r^{-1}\phi(r)^{-1}$. Here $\phi$ is {an} increasing function with weakly scaling condition of order $\underline \alpha, \overline \alpha\in (0, 2)$. We consider a symmetric function $J(x,y)$ comparable to \begin{align*} \begin{cases} \nu^1(|x^i - y^i|)\qquad&\text{ if $x^i \ne y^i$ for some $i$ and $x^j = y^j$ for all $j \ne i$}\\ 0\qquad&\text{ if $x^i \ne y^i$ for more than one index $i$}. \end{cases} \end{align*} Corresponding to the jumping kernel $J$, there exists an anisotropic Markov process $X$, see \cite{KW22}. In this article, we establish sharp two-sided Dirichlet heat kernel estimates for $X$ in $C^{1,1}$ open set, under certain regularity conditions. As an application of the main results, we derive the Green function estimates.


title: Comparing Machine Learning Techniques for Alfalfa Biomass Yield Prediction

abstract: The alfalfa crop is globally important as livestock feed, so highly efficient planting and harvesting could benefit many industries, especially as the global climate changes and traditional methods become less accurate. Recent work using machine learning (ML) to predict yields for alfalfa and other crops has shown promise. Previous efforts used remote sensing, weather, planting, and soil data to train machine learning models for yield prediction. However, while remote sensing works well, the models require large amounts of data and cannot make predictions until the harvesting season begins. Using weather and planting data from alfalfa variety trials in Kentucky and Georgia, our previous work compared feature selection techniques to find the best technique and best feature set. In this work, we trained a variety of machine learning models, using cross validation for hyperparameter optimization, to predict biomass yields, and we showed better accuracy than similar work that employed more complex techniques. Our best individual model was a random forest with a mean absolute error of 0.081 tons/acre and R{$^2$} of 0.941. Next, we expanded this dataset to include Wisconsin and Mississippi, and we repeated our experiments, obtaining a higher best R{$^2$} of 0.982 with a regression tree. We then isolated our testing datasets by state to explore this problem's eligibility for domain adaptation (DA), as we trained on multiple source states and tested on one target state. This Trivial DA (TDA) approach leaves plenty of room for improvement through exploring more complex DA techniques in forthcoming work.


title: Efficient Chebyshev polynomial approach to quantum conductance calculations: Application to twisted bilayer graphene

abstract: In recent years, Chebyshev polynomial expansions of tight-binding Green's functions have been successfully applied to the study of a wide range of spectral and transport properties of materials. However, the application of the Chebyshev approach to the study of quantum transport properties of noninteracting mesoscopic systems with leads has been hampered by the lack of a suitable Chebyshev expansion of Landaeur's formula or one of its equivalent formulations in terms of Green's functions in Keldysh's perturbation theory. Here, we tackle this issue by means of a hybrid approach that combines the efficiency of Chebyshev expansions with the convenience of complex absorbing potentials to calculate the conductance of two-terminal devices in a computationally expedient and accurate fashion. The versatility of the approach is demonstrated for mesoscopic twisted bilayer graphene (TBG) devices with up to $2.3\times10^6$ atomic sites. Our results highlight the importance of moir\'e effects, interlayer scattering events and twist-angle disorder in determining the conductance curves in devices with a small twist angle near the TBG magic angle $\theta_m \approx 1.1^\circ$.


title: Intramorphic Testing: A New Approach to the Test Oracle Problem

abstract: A test oracle determines whether a system behaves correctly for a given input. Automatic testing techniques rely on an automated test oracle to test the system without user interaction. Important families of automated test oracles include Differential Testing and Metamorphic Testing, which are both black-box approaches; that is, they provide a test oracle that is oblivious to the system's internals. In this work, we propose Intramorphic Testing as a white-box methodology to tackle the test oracle problem. To realize an Intramorphic Testing approach, a modified version of the system is created, for which, given a single input, a test oracle can be provided that relates the output of the original and modified systems. As a concrete example, by replacing a greater-equals operator in the implementation of a sorting algorithm with smaller-equals, it would be expected that the output of the modified implementation is the reverse output of the original implementation. In this paper, we introduce the methodology and illustrate it via a set of use cases.


title: Non-reciprocal interactions spatially propagate fluctuations in a 2D Ising model

abstract: Motivated by the anisotropic interactions between fish, we implement spatially anisotropic and therefore non-reciprocal interactions in the 2D Ising model. First, we show that the model with non-reciprocal interactions alters the system critical temperature away from that of the traditional 2D Ising model. Further, local perturbations to the magnetization in this out-of-equilibrium system manifest themselves as traveling waves of spin states along the lattice, also seen in a mean-field model of our system. The speed and directionality of these traveling waves are controllable by the orientation and magnitude of the non-reciprocal interaction kernel as well as the proximity of the system to the critical temperature.


title: Response of open two-band systems to a momentum-carrying single-mode quantized field

abstract: As a new quantum state, topological insulators have become the focus of condensed matter and material science. The open system research of topological insulators has aroused the interest of many researchers. Recently, many aspects, especially experimental aspects, have been developed rapidly, such as prediction and discovery of many novel quantum effects and applications of topological properties of new materials, but the theoretical research is slightly tough. In this paper, we study the response of topological insulator driven by momentum-carrying single-mode field. We solve the ground state of the system after the addition of a single mode light field with adjustable photon momentum. Specifically, We show that from the analytical solution of hall conductance compared with the closed system, there is an extra correction term, and hall conductance can no longer be expressed in terms of the chern number or the weighted sum of the chern number. Furthermore, the topological properties are analyzed and discussed through the results of different instance with their illustration. Such as, the phase transition point of topological phase is robust to the environment, and the system still has topological phase transition. It is expected to be realized or controlled by experiments, and our observations may contribute to its application and extension in condensed matter physics and quantum statistical physics.


abstract: Recently, knowledge-enhanced methods leveraging auxiliary knowledge graphs have emerged in relation extraction, surpassing traditional text-based approaches. However, to our best knowledge, there is currently no public dataset available that encompasses both evidence sentences and knowledge graphs for knowledge-enhanced relation extraction. To address this gap, we introduce the Knowledge-Enhanced Relation Extraction Dataset (KERED). KERED annotates each sentence with a relational fact, and it provides knowledge context for entities through entity linking. Using our curated dataset, We compared contemporary relation extraction methods under two prevalent task settings: sentence-level and bag-level. The experimental result shows the knowledge graphs provided by KERED can support knowledge-enhanced relation extraction methods. We believe that KERED offers high-quality relation extraction datasets with corresponding knowledge graphs for evaluating the performance of knowledge-enhanced relation extraction methods. Our dataset is available at: \url{https://figshare.com/projects/KERED/134459}


title: Strongly anisotropic strain-tunability of excitons in exfoliated ZrSe$_3$

abstract: We study the effect of uniaxial strain on the band structure of ZrSe$_3$, a semiconducting material with a marked in-plane structural anisotropy. By using a modified 3-point bending test apparatus, thin ZrSe$_3$ flakes were subjected to uniaxial strain along different crystalline orientations monitoring the effect of strain on their optical properties through micro-reflectance spectroscopy. The obtained spectra showed excitonic features that blueshift upon uniaxial tension. This shift is strongly dependent on the direction along which the strain is being applied. When the flakes are strained along the b-axis, the exciton peak shifts at ~ 60-95 meV/%, while along the a-axis, the shift only reaches ~ 0-15 meV/%. Ab initio calculations were conducted to study the influence of uniaxial strain, applied along different crystal directions, on the band structure and reflectance spectra of ZrSe$_3$, exhibiting a remarkable agreement with the experimental results.


title: Context-driven Visual Object Recognition based on Knowledge Graphs

abstract: Current deep learning methods for object recognition are purely data-driven and require a large number of training samples to achieve good results. Due to their sole dependence on image data, these methods tend to fail when confronted with new environments where even small deviations occur. Human perception, however, has proven to be significantly more robust to such distribution shifts. It is assumed that their ability to deal with unknown scenarios is based on extensive incorporation of contextual knowledge. Context can be based either on object co-occurrences in a scene or on memory of experience. In accordance with the human visual cortex which uses context to form different object representations for a seen image, we propose an approach that enhances deep learning methods by using external contextual knowledge encoded in a knowledge graph. Therefore, we extract different contextual views from a generic knowledge graph, transform the views into vector space and infuse it into a DNN. We conduct a series of experiments to investigate the impact of different contextual views on the learned object representations for the same image dataset. The experimental results provide evidence that the contextual views influence the image representations in the DNN differently and therefore lead to different predictions for the same images. We also show that context helps to strengthen the robustness of object recognition models for out-of-distribution images, usually occurring in transfer learning tasks or real-world scenarios.


title: Development of a hardware-In-the-Loop (HIL) testbed for cyber-physical security in smart buildings

abstract: As smart buildings move towards open communication technologies, providing access to the Building Automation System (BAS) through the intranet, or even remotely through the Internet, has become a common practice. However, BAS was historically developed as a closed environment and designed with limited cyber-security considerations. Thus, smart buildings are vulnerable to cyber-attacks with the increased accessibility. This study introduces the development and capability of a Hardware-in-the-Loop (HIL) testbed for testing and evaluating the cyber-physical security of typical BASs in smart buildings. The testbed consists of three subsystems: (1) a real-time HIL emulator simulating the behavior of a virtual building as well as the Heating, Ventilation, and Air Conditioning (HVAC) equipment via a dynamic simulation in Modelica; (2) a set of real HVAC controllers monitoring the virtual building operation and providing local control signals to control HVAC equipment in the HIL emulator; and (3) a BAS server along with a web-based service for users to fully access the schedule, setpoints, trends, alarms, and other control functions of the HVAC controllers remotely through the BACnet network. The server generates rule-based setpoints to local HVAC controllers. Based on these three subsystems, the HIL testbed supports attack/fault-free and attack/fault-injection experiments at various levels of the building system. The resulting test data can be used to inform the building community and support the cyber-physical security technology transfer to the building industry.


title: Application of Explainable Machine Learning in Detecting and Classifying Ransomware Families Based on API Call Analysis

abstract: Ransomware has appeared as one of the major global threats in recent days. The alarming increasing rate of ransomware attacks and new ransomware variants intrigue the researchers to constantly examine the distinguishing traits of ransomware and refine their detection strategies. Application Programming Interface (API) is a way for one program to collaborate with another; API calls are the medium by which they communicate. Ransomware uses this strategy to interact with the OS and makes a significantly higher number of calls in different sequences to ask for taking action. This research work utilizes the frequencies of different API calls to detect and classify ransomware families. First, a Web-Crawler is developed to automate collecting the Windows Portable Executable (PE) files of 15 different ransomware families. By extracting different frequencies of 68 API calls, we develop our dataset in the first phase of the two-phase feature engineering process. After selecting the most significant features in the second phase of the feature engineering process, we deploy six Supervised Machine Learning models: Na"ive Bayes, Logistic Regression, Random Forest, Stochastic Gradient Descent, K-Nearest Neighbor, and Support Vector Machine. Then, the performances of all the classifiers are compared to select the best model. The results reveal that Logistic Regression can efficiently classify ransomware into their corresponding families securing 99.15% overall accuracy. Finally, instead of relying on the 'Black box' characteristic of the Machine Learning models, we present the post-hoc analysis of our best-performing model using 'SHapley Additive exPlanations' or SHAP values to ascertain the transparency and trustworthiness of the model's prediction.


title: Optical turbulence forecast over short timescales using machine learning techniques

abstract: Forecast of optical turbulence and atmospheric parameters relevant for ground-based astronomy is becoming an important goal for telescope planning and AO instruments optimization in several major telescope. Such detailed and accurate forecast is typically performed with numerical atmospheric models. Recently short-term forecasts (a few hours in advance) are also being provided (ALTA project) using a technique based on an autoregression approach, as part of a strategy that aims to increase the forecast accuracy. It has been proved that such a technique is able to achieve unprecedented performances so far. Such short-term predictions make use of the numerical model forecast and real-time observations. In recent years machine learning (ML) techniques also started to be used to provide an atmospheric and turbulence forecast. Preliminary results indicate however an accuracy not really competitive with respect to the autoregressive method or even prediction by persistence. This technique might be applicable joint to atmospheric model. It is therefore interesting to investigate the main features of their performances and characteristics (also because there is a great number of algorithms potentially accessible) to understand if results achieved so far can be further improved using ML. In this study we focus on a purely machine learning application to short term forecast (1-2 hours) of astroclimatic and other atmospheric parameters above VLT.


title: Emerging Threats in Deep Learning-Based Autonomous Driving: A Comprehensive Survey

abstract: Since the 2004 DARPA Grand Challenge, the autonomous driving technology has witnessed nearly two decades of rapid development. Particularly, in recent years, with the application of new sensors and deep learning technologies extending to the autonomous field, the development of autonomous driving technology has continued to make breakthroughs. Thus, many carmakers and high-tech giants dedicated to research and system development of autonomous driving. However, as the foundation of autonomous driving, the deep learning technology faces many new security risks. The academic community has proposed deep learning countermeasures against the adversarial examples and AI backdoor, and has introduced them into the autonomous driving field for verification. Deep learning security matters to autonomous driving system security, and then matters to personal safety, which is an issue that deserves attention and research.This paper provides an summary of the concepts, developments and recent research in deep learning security technologies in autonomous driving. Firstly, we briefly introduce the deep learning framework and pipeline in the autonomous driving system, which mainly include the deep learning technologies and algorithms commonly used in this field. Moreover, we focus on the potential security threats of the deep learning based autonomous driving system in each functional layer in turn. We reviews the development of deep learning attack technologies to autonomous driving, investigates the State-of-the-Art algorithms, and reveals the potential risks. At last, we provides an outlook on deep learning security in the autonomous driving field and proposes recommendations for building a safe and trustworthy autonomous driving system.


title: Analysis of Smooth Pursuit Assessment in Virtual Reality and Concussion Detection using BiLSTM

abstract: The sport-related concussion (SRC) battery relies heavily upon subjective symptom reporting in order to determine the diagnosis of a concussion. Unfortunately, athletes with SRC may return-to-play (RTP) too soon if they are untruthful of their symptoms. It is critical to provide accurate assessments that can overcome underreporting to prevent further injury. To lower the risk of injury, a more robust and precise method for detecting concussion is needed to produce reliable and objective results. In this paper, we propose a novel approach to detect SRC using long short-term memory (LSTM) recurrent neural network (RNN) architectures from oculomotor data. In particular, we propose a new error metric that incorporates mean squared error in different proportions. The experimental results on the smooth pursuit test of the VR-VOMS dataset suggest that the proposed approach can predict concussion symptoms with higher accuracy compared to symptom provocation on the vestibular ocular motor screening (VOMS).


title: The State-of-the-Art in AI-Based Malware Detection Techniques: A Review

abstract: Artificial Intelligence techniques have evolved rapidly in recent years, revolutionising the approaches used to fight against cybercriminals. But as the cyber security field has progressed, so has malware development, making it an economic imperative to strengthen businesses' defensive capability against malware attacks. This review aims to outline the state-of-the-art AI techniques used in malware detection and prevention, providing an in-depth analysis of the latest studies in this field. The algorithms investigated consist of Shallow Learning, Deep Learning and Bio-Inspired Computing, applied to a variety of platforms, such as PC, cloud, Android and IoT. This survey also touches on the rapid adoption of AI by cybercriminals as a means to create ever more advanced malware and exploit the AI algorithms designed to defend against them.


title: Strong Normalization for the Calculus of Constructions

abstract: The calculus of constructions (CC) is a core theory for dependently typed programming and higher-order constructive logic. Originally introduced in Coquand's 1985 thesis, CC has inspired 25 years of research in programming languages and type theory. Today, extensions of CC form the basis of languages like Coq and Agda. This survey reviews three proofs of CC's strong normalization property (the fact that there are no infinite reduction sequences from well-typed expressions). It highlights the similarities in the structure of the proofs while showing how their differences are motivated by the varying goals of their authors.


title: SMEFT effects on gravitational wave spectrum from electroweak phase transition

abstract: Future gravitational wave observations are potentially sensitive to new physics corrections to the Higgs potential once the first-order electroweak phase transition arises. We study the SMEFT dimension-six operator effects on the Higgs potential, where three types of effects are taken into account: (i) SMEFT tree level effect on $\varphi^6$ operator, (ii) SMEFT tree level effect on the wave function renormalization of the Higgs field, and (iii) SMEFT top-quark one-loop level effect. The sensitivity of future gravitational wave observations to these effects is numerically calculated by performing a Fisher matrix analysis. We find that the future gravitational wave observations can be sensitive to (ii) and (iii) once the first-order electroweak phase transition arises from (i). The dimension-eight $\varphi^8$ operator effects on the first-order electroweak phase transition are also discussed. The sensitivities of the future gravitational wave observations are also compared with those of future collider experiments.


title: Attacking Motion Estimation with Adversarial Snow

abstract: Current adversarial attacks for motion estimation (optical flow) optimize small per-pixel perturbations, which are unlikely to appear in the real world. In contrast, we exploit a real-world weather phenomenon for a novel attack with adversarially optimized snow. At the core of our attack is a differentiable renderer that consistently integrates photorealistic snowflakes with realistic motion into the 3D scene. Through optimization we obtain adversarial snow that significantly impacts the optical flow while being indistinguishable from ordinary snow. Surprisingly, the impact of our novel attack is largest on methods that previously showed a high robustness to small L_p perturbations.


title: Robust one-sided self-testing of two-qubit states via quantum steering

abstract: Entangled two-qubit states are the core building blocks for constructing quantum communication networks. Their accurate verification is crucial to the functioning of the networks, especially for untrusted networks. In this work we study the self-testing of two-qubit entangled states via steering inequalities, with robustness analysis against noise. More precisely, steering inequalities are constructed from the tilted Clauser-Horne-Shimony-Holt inequality and its general form, to verify the general two-qubit entangled states. The study provides a good robustness bound, using both local extraction map and numerical semidefinite-programming methods. In particular, optimal local extraction maps are constructed in the analytical method, which yields the theoretical optimal robustness bound. To further improve the robustness of one-sided self-testing, we propose a family of three measurement settings steering inequalities. The result shows that three-setting steering inequality demonstrates an advantage over two-setting steering inequality on robust self-testing with noise. Moreover, to construct a practical verification protocol, we clarify the sample efficiency of our protocols in the one-sided device-independent scenario.


title: PSF nowcast using PASSATA simulations -- Towards a PSF forecast

abstract: Characterizing the PSF of adaptive optics instruments is of paramount importance both for instrument design and observation planning/optimization. Simulation software, such as PASSATA, have been successfully utilized for PSF characterization in instrument design, which make use of standardized atmospheric turbulence profiles to produce PSFs that represent the typical instrument performance. In this contribution we study the feasibility of using such tool for nowcast application (present-time forecast), such as the characterization of an on-sky measured PSF in real observations. Specifically we will analyze the performance of the simulation software in characterizing the real-time PSF of two different state-of-the-art SCAO adaptive optics instruments: SOUL at the LBT, and SAXO at the VLT. The study will make use of on-sky measurements of the atmospheric turbulence and compare the results of the simulations to the measured PSF figures of merit (namely the FHWM and the Strehl Ratio) retrieved from the instrument telemetry in real observations. Our main goal in this phase is to quantify the level of uncertainly of the AO simulations in reproducing real on-sky observed PSFs with an end-to-end code (PASSATA). In a successive phase we intend to use a faster analytical code (TIPTOP). This work is part of a wider study which aims to use simulation tools joint to atmospheric turbulence forecasts performed nightly to forecast in advance the PSF and support science operations of ground-based telescopes facilities. The 'PSF forecast' option might therefore be added to ALTA Center or the operational forecast system that will be implemented soon at ESO.


title: Neural ODEs as Feedback Policies for Nonlinear Optimal Control

abstract: Neural ordinary differential equations (Neural ODEs) define continuous time dynamical systems with neural networks. The interest in their application for modelling has sparked recently, spanning hybrid system identification problems and time series analysis. In this work we propose the use of a neural control policy capable of satisfying state and control constraints to solve nonlinear optimal control problems. The control policy optimization is posed as a Neural ODE problem to efficiently exploit the availability of a dynamical system model. We showcase the efficacy of this type of deterministic neural policies in two constrained systems: the controlled Van der Pol system and a bioreactor control problem. This approach represents a practical approximation to the intractable closed-loop solution of nonlinear control problems.


title: Pomeron and Reggeon contributions to elastic proton-proton and proton-antiproton scattering in holographic QCD

abstract: The total and differential cross sections of elastic proton-proton and proton-antiproton scattering are studied in a holographic QCD model, considering the Pomeron and Reggeon exchanges in the Regge regime. In our model setup, the Pomeron and Reggeon exchanges are described by the Reggeized spin-2 glueball and vector meson propagators, respectively. How those contributions change with the energy is explicitly shown, focusing on the contribution ratios. The adjustable parameters included in the model are determined with the experimental data, and it is presented that the resulting total and differential cross sections are consistent with the data in a wide kinematic region.


title: Characterization of LBT atmospheric and turbulence conditions in the context of ALTA project

abstract: ALTA project has been active since 2016, providing, at LBT observatory site, forecasts of atmospheric parameters, such as temperature, wind speed and direction, relative humidity and precipitable water vapor, and optical turbulence parameters, such as seeing, wavefront coherence time and isoplanatic angle with the final goal to support nightly the science operation of the LBT. Besides to the forecasts, during the years ALTA has been collecting statistics on the atmospheric conditions which can be used to draw a very accurate characterization of the climatology of the telescope site located on top of Mount Graham, Arizona. Such characterization can be used both for the optimization and calibration of the forecast model and as a reference for a model validation. The climatology of these parameters is conceived to be a further output of ALTA that will be upgraded on the website with time and it will be able to put in evidence trends at short as well as long time scales. In this contribution we present a climatological description of all the atmospheric parameters relevant for ground-based astronomy in order to provide to the scientific community a robust reference of the bserving conditions at LBT. The study is performed using on-site measurements provided by DIMM and atmospheric sensors over several years and made available in the telescope telemetry data.


title: OCR-VQGAN: Taming Text-within-Image Generation

abstract: Synthetic image generation has recently experienced significant improvements in domains such as natural image or art generation. However, the problem of figure and diagram generation remains unexplored. A challenging aspect of generating figures and diagrams is effectively rendering readable texts within the images. To alleviate this problem, we present OCR-VQGAN, an image encoder, and decoder that leverages OCR pre-trained features to optimize a text perceptual loss, encouraging the architecture to preserve high-fidelity text and diagram structure. To explore our approach, we introduce the Paper2Fig100k dataset, with over 100k images of figures and texts from research papers. The figures show architecture diagrams and methodologies of articles available at arXiv.org from fields like artificial intelligence and computer vision. Figures usually include text and discrete objects, e.g., boxes in a diagram, with lines and arrows that connect them. We demonstrate the effectiveness of OCR-VQGAN by conducting several experiments on the task of figure reconstruction. Additionally, we explore the qualitative and quantitative impact of weighting different perceptual metrics in the overall loss function. We release code, models, and dataset at https://github.com/joanrod/ocr-vqgan.


title: Two-dimensional Lifshitz-like AdS black holes in $F(R)$ gravity

abstract: Two-dimensional ($2D$) Lifshitz-like black holes in special $F(R)$ gravity cases are extracted. We indicate an essential singularity at $r=0$, covered with an event horizon. Then conserved and thermodynamic quantities such as temperature, mass, entropy, and the heat capacity of $2D$ Lifshitz-like black holes in $F(R)$ gravity are evaluated. Our analysis shows that $2D$ Lifshitz-like black hole solutions can be physical solutions, provided that the cosmological constant is negative ($\Lambda<0$). Indeed, there is a phase transition between stable and unstable cases by increasing the radius of AdS black holes. In other words, the $2D$ Lifshitz-like AdS black holes with large radii are physical and enjoy thermal stability. The obtained $2D$ Lifshitz-like AdS-black holes in $F(R)$ gravity turn to the well-known $2D$ Schwarzschild AdS-black holes when the Lifshitz-like parameter is zero ($s=0$). Also, correspondence between these black hole solutions and the $2D$ rotating black hole solutions is found by adjusting the Lifshitz-like parameter.


title: Structure-based drug design with geometric deep learning

abstract: Structure-based drug design uses three-dimensional geometric information of macromolecules, such as proteins or nucleic acids, to identify suitable ligands. Geometric deep learning, an emerging concept of neural-network-based machine learning, has been applied to macromolecular structures. This review provides an overview of the recent applications of geometric deep learning in bioorganic and medicinal chemistry, highlighting its potential for structure-based drug discovery and design. Emphasis is placed on molecular property prediction, ligand binding site and pose prediction, and structure-based de novo molecular design. The current challenges and opportunities are highlighted, and a forecast of the future of geometric deep learning for drug discovery is presented.


title: Optimal Markovian coupling for finite activity L\'evy processes

abstract: We study optimal Markovian couplings of Markov processes, where the optimality is understood in terms of minimization of concave transport costs between the time-marginal distributions of the coupled processes. We provide explicit constructions of such optimal couplings for one-dimensional finite-activity L\'evy processes (continuous-time random walks) whose jump distributions are unimodal but not necessarily symmetric. Remarkably, the optimal Markovian coupling does not depend on the specific concave transport cost. To this end, we combine McCann's results on optimal transport and Rogers' results on random walks with a novel uniformization construction that allows us to characterize all Markovian couplings of finite-activity L\'evy processes. In particular, we show that the optimal Markovian coupling for finite-activity L\'evy processes with non-symmetric unimodal L\'evy measures has to allow for non-simultaneous jumps of the two coupled processes.


title: Single-Projection Procedure for Infinite Dimensional Convex Optimization Problems

abstract: In this work, we consider a class of convex optimization problems in a real Hilbert space that can be solved by performing a single projection, i.e., by projecting an infeasible point onto the feasible set. Our results improve those established for the linear programming setting in Nurminski (2015) by considering problems that: (i) may have multiple solutions, (ii) do not satisfy strict complementary conditions, and (iii) possess non-linear convex constraints. As a by-product of our analysis, we provide a quantitative estimate on the required distance between the infeasible point and the feasible set in order for its projection to be a solution of the problem. Our analysis relies on a "sharpness" property of the constraint set; a new property we introduce here.


title: Image Semantic Relation Generation

abstract: Scene graphs provide structured semantic understanding beyond images. For downstream tasks, such as image retrieval, visual question answering, visual relationship detection, and even autonomous vehicle technology, scene graphs can not only distil complex image information but also correct the bias of visual models using semantic-level relations, which has broad application prospects. However, the heavy labour cost of constructing graph annotations may hinder the application of PSG in practical scenarios. Inspired by the observation that people usually identify the subject and object first and then determine the relationship between them, we proposed to decouple the scene graphs generation task into two sub-tasks: 1) an image segmentation task to pick up the qualified objects. 2) a restricted auto-regressive text generation task to generate the relation between given objects. Therefore, in this work, we introduce image semantic relation generation (ISRG), a simple but effective image-to-text model, which achieved 31 points on the OpenPSG dataset and outperforms strong baselines respectively by 16 points (ResNet-50) and 5 points (CLIP).


title: Nanowire bolometer using a 2D high-temperature superconductor

abstract: Superconducting nanowires are very important due to their applications ranging from quantum technology to astronomy. In this work, we implement a non-invasive process to fabricate nanowires of high-$T_\text{c}$ superconductor Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ (BSCCO). We demonstrate that our nanowires can be used as bolometers in the visible range with very high responsivity of 9.7 $\times$ 10$^{3}$ V/W. Interestingly, in a long (30 $\mu$m) nanowire of 9 nm thickness and 700 nm width, we observe bias current-dependent localized spots of maximum photovoltage. Moreover, the scalability of the bolometer responsivity with the normal state resistance of the nanowire could allow further performance improvement by increasing the nanowire length in a meander geometry. We observe phase slip events in nanowires with small cross-sections (12 nm thick, 300 nm wide, and 3 $\mu$m long) at low temperatures. Our study presents a scalable method for realizing sensitive bolometers working near the liquid-nitrogen temperature.


title: Evidence > Intuition: Transferability Estimation for Encoder Selection

abstract: With the increase in availability of large pre-trained language models (LMs) in Natural Language Processing (NLP), it becomes critical to assess their fit for a specific target task a priori - as fine-tuning the entire space of available LMs is computationally prohibitive and unsustainable. However, encoder transferability estimation has received little to no attention in NLP. In this paper, we propose to generate quantitative evidence to predict which LM, out of a pool of models, will perform best on a target task without having to fine-tune all candidates. We provide a comprehensive study on LM ranking for 10 NLP tasks spanning the two fundamental problem types of classification and structured prediction. We adopt the state-of-the-art Logarithm of Maximum Evidence (LogME) measure from Computer Vision (CV) and find that it positively correlates with final LM performance in 94% of the setups. In the first study of its kind, we further compare transferability measures with the de facto standard of human practitioner ranking, finding that evidence from quantitative metrics is more robust than pure intuition and can help identify unexpected LM candidates.


title: High-temperature Josephson diode

abstract: Symmetry plays a critical role in determining various properties of a material. Semiconducting p-n junction diode exemplifies the engineered skew electronic response and is at the heart of contemporary electronic circuits. The non-reciprocal charge transport in a diode arises from doping-induced breaking of inversion symmetry. Breaking of time-reversal, in addition to inversion symmetry in some superconducting systems, leads to an analogous device - the superconducting diode. Following the pioneering first demonstration of the superconducting diode effect (SDE), a plethora of new systems showing similar effects have been reported. SDE lays the foundation for realizing ultra-low dissipative circuits, while Josephson phenomena-based diode effect (JDE) can enable realization of protected qubits. However, SDE and JDE reported thus far are at low temperatures ($\sim$ 4 K or lower) and impede their adaptation to technological applications. Here we demonstrate a Josephson diode working up to 77 K using an artificial Josephson junction (AJJ) of twisted layers of Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$ (BSCCO). The non-reciprocal response manifests as an asymmetry in the magnitude of switching currents and their distributions and appears for all twist angles. The asymmetry is induced by and tunable with a very small magnetic field applied perpendicular to the junction. We report a record asymmetry of 60 % at 20 K. We explain our results within a vortex-based scenario. Our results provide a path toward realizing superconducting quantum circuits at liquid nitrogen temperature.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: A note on diffusion limits for stochastic gradient descent

abstract: In the machine learning literature stochastic gradient descent has recently been widely discussed for its purported implicit regularization properties. Much of the theory, that attempts to clarify the role of noise in stochastic gradient algorithms, has widely approximated stochastic gradient descent by a stochastic differential equation with Gaussian noise. We provide a novel rigorous theoretical justification for this practice that showcases how the Gaussianity of the noise arises naturally.


title: Thermal robustness of the quantum spin Hall phase in monolayer WTe$_2$

abstract: Monolayer 1T'-WTe$_2$ has been the first two-dimensional crystal where a quantum spin Hall phase was experimentally observed. In addition, recent experiments and theoretical modeling reported the presence of a robust excitonic insulating phase. While first-principles calculations with hybrid functionals and several measurements at low temperatures suggest the presence of a band gap of the order of 50 meV, experiments could confirm the presence of the helical edge states only up to 100 K. Here, we study with first-principle simulations the temperature effects on the electronic structure of monolayer 1T'-WTe$_2$ and consider the contributions of both thermal expansion and electron-phonon coupling. First, we show that thermal expansion is weak but tends to increase the indirect band gap. Then, we calculate the effect of electron-phonon coupling on the band structure with non-perturbative methods and observe a small reduction of the band inversion with increasing temperature. Notably, the topological phase and the presence of a finite gap are found to be particularly robust to thermal effects up to and above room temperature.


title: Safe Policy Improvement in Constrained Markov Decision Processes

abstract: The automatic synthesis of a policy through reinforcement learning (RL) from a given set of formal requirements depends on the construction of a reward signal and consists of the iterative application of many policy-improvement steps. The synthesis algorithm has to balance target, safety, and comfort requirements in a single objective and to guarantee that the policy improvement does not increase the number of safety-requirements violations, especially for safety-critical applications. In this work, we present a solution to the synthesis problem by solving its two main challenges: reward-shaping from a set of formal requirements and safe policy update. For the former, we propose an automatic reward-shaping procedure, defining a scalar reward signal compliant with the task specification. For the latter, we introduce an algorithm ensuring that the policy is improved in a safe fashion with high-confidence guarantees. We also discuss the adoption of a model-based RL algorithm to efficiently use the collected data and train a model-free agent on the predicted trajectories, where the safety violation does not have the same impact as in the real world. Finally, we demonstrate in standard control benchmarks that the resulting learning procedure is effective and robust even under heavy perturbations of the hyperparameters.


title: An Efficient Merge Search Matheuristic for Maximising the Net Present Value of Project Schedules

abstract: Resource constrained project scheduling is an important combinatorial optimisation problem with many practical applications. With complex requirements such as precedence constraints, limited resources, and finance-based objectives, finding optimal solutions for large problem instances is very challenging even with well-customised meta-heuristics and matheuristics. To address this challenge, we propose a new math-heuristic algorithm based on Merge Search and parallel computing to solve the resource constrained project scheduling with the aim of maximising the net present value. This paper presents a novel matheuristic framework designed for resource constrained project scheduling, Merge search, which is a variable partitioning and merging mechanism to formulate restricted mixed integer programs with the aim of improving an existing pool of solutions. The solution pool is obtained via a customised parallel ant colony optimisation algorithm, which is also capable of generating high quality solutions on its own. The experimental results show that the proposed method outperforms the current state-of-the-art algorithms on known benchmark problem instances. Further analyses also demonstrate that the proposed algorithm is substantially more efficient compared to its counterparts in respect to its convergence properties when considering multiple cores.


title: Possible Evidence for Lorentz Invariance Violation in Gamma-ray Burst 221009A

abstract: The preliminary detections of the gamma-ray burst 221009A up to 18 TeV by LHAASO and up to 251 TeV by Carpet 2 have been reported through Astronomer's Telegrams and Gamma-ray Coordination Network circulars. Since this burst is at redshift $z=0.1505$, these photons may at first seem to have a low probability to avoid pair production off of background radiation fields and survive to reach detectors on Earth. By extrapolating the reported $0.1-1.0$\ GeV LAT spectrum from this burst to higher energies and using this to limit the intrinsic spectrum of the burst, we show that the survival of the 18 TeV photon detected by LHAASO is not unlikely with many recent extragalactic background light models, although the detection of a 251 TeV event is still very unlikely. This can be resolved if Lorentz invariance is violated at an energy scale $E_{\rm QG}< 49 E_{\rm Planck}$\ in the linear ($n=1$) case, and $E_{\rm QG}< 10^{-6}E_{\rm Planck}$\ in the quadratic ($n=2$) case (95\% confidence limits), where $E_{\rm Planck}$ is the Planck energy. This could potentially be the first evidence for subluminal Lorentz invariance violation.


title: RMBench: Benchmarking Deep Reinforcement Learning for Robotic Manipulator Control

abstract: Reinforcement learning is applied to solve actual complex tasks from high-dimensional, sensory inputs. The last decade has developed a long list of reinforcement learning algorithms. Recent progress benefits from deep learning for raw sensory signal representation. One question naturally arises: how well do they perform concerning different robotic manipulation tasks? Benchmarks use objective performance metrics to offer a scientific way to compare algorithms. In this paper, we present RMBench, the first benchmark for robotic manipulations, which have high-dimensional continuous action and state spaces. We implement and evaluate reinforcement learning algorithms that directly use observed pixels as inputs. We report their average performance and learning curves to show their performance and stability of training. Our study concludes that none of the studied algorithms can handle all tasks well, soft Actor-Critic outperforms most algorithms in average reward and stability, and an algorithm combined with data augmentation may facilitate learning policies. Our code is publicly available at https://github.com/xiangyanfei212/RMBench-2022, including all benchmark tasks and studied algorithms.


title: Phase-Space Ab-Initio Direct and Reverse Ballistic-Electron Emission Spectroscopy: Schottky Barriers Determination for Au/Ge(100)

abstract: We develop a phase-space ab-initio formalism to compute Ballistic Electron Emission Spectroscopy current-voltage I(V)'s in a metal-semiconductor interface. We consider injection of electrons into the conduction band for direct bias ($V>0$) and injection of holes into the valence band or injection of secondary Auger electrons into the conduction band for reverse bias ($V<0$). Here, an ab-initio description of the semiconductor inversion layer (spanning hundreds of Angstroms) is needed. Such formalism is helpful to get parameter-free best-fit values for the Schottky barrier, a key technological characteristic for metal-semiconductor rectifying interfaces. We have applied the theory to characterize the Au/Ge(001) interface; a double barrier is found for electrons injected into the conduction band -- either directly or created by the Auger process -- while only a single barrier has been identified for holes injected into the valence band.


title: Detecting Backdoors in Deep Text Classifiers

abstract: Deep neural networks are vulnerable to adversarial attacks, such as backdoor attacks in which a malicious adversary compromises a model during training such that specific behaviour can be triggered at test time by attaching a specific word or phrase to an input. This paper considers the problem of diagnosing whether a model has been compromised and if so, identifying the backdoor trigger. We present the first robust defence mechanism that generalizes to several backdoor attacks against text classification models, without prior knowledge of the attack type, nor does our method require access to any (potentially compromised) training resources. Our experiments show that our technique is highly accurate at defending against state-of-the-art backdoor attacks, including data poisoning and weight poisoning, across a range of text classification tasks and model architectures. Our code will be made publicly available upon acceptance.


title: Disentangling Reasoning Capabilities from Language Models with Compositional Reasoning Transformers

abstract: This paper presents ReasonFormer, a unified reasoning framework for mirroring the modular and compositional reasoning process of humans in complex decision-making. Inspired by dual-process theory in cognitive science, the representation module (automatic thinking) and reasoning modules (controlled thinking) are decoupled to capture different levels of cognition. Upon the top of the representation module, the pre-trained reasoning modules are modular and professional in specific and fundamental reasoning skills (e.g., logic, simple QA, etc). To mimic the controlled compositional thinking process, different reasoning modules are dynamically activated and composed in both parallel and cascaded manners to control what reasoning skills are activated and how deep the reasoning process will be reached to solve the current problems. The unified reasoning framework solves multiple tasks with a single model, and is trained and inferred in an end-to-end manner. Evaluated on 11 datasets requiring different reasoning skills and complexity, ReasonFormer demonstrates substantial performance boosts, revealing the compositional reasoning ability. Few-shot experiments exhibit better generalization ability by learning to compose pre-trained skills for new tasks with limited data, and decoupling the representation module and the reasoning modules. Further analysis shows the modularity of reasoning modules as different tasks activate distinct reasoning skills at different reasoning depths.


title: Knowledge Management Skills for 21st Century Library Professionals in India A Study

abstract: In any kind of educational institute and organization, libraries are playing a crucial role. For the development of library services, skillful library professionals are indispensable. Without knowledge management skills, no one can provide essential services to the users. Library is a growing organism by S.R. Ranganathan 1931, based on his law, as library professionals have to adopt futuristic skills for better user services. The study investigates knowledge management skills and the chief strengths of library and information science professionals in India. For this study, data collected from the Institute of National Importance and Central Universities around India. The principal aim of this study is to understand the current scenario and data literacy skills of library professionals.


title: A Study of Teacher Educators Skill and ICT Integration in Online Teaching during the Pandemic Situation in India

abstract: Information and communication technology prompted the sharing of information over the world. For its impact on education the government and the authorities like the University Grants Commission in India have energized the higher education institutions in India to implement online education during the pandemic situation. This paper attempts to know the teaching faculties ICT skills and related online class skills in higher educational institutions in India. In India like developing countries quick as the lightning change in traditional to fully online classes are like a rumble of thunder because faculties are adopting this situation but students are challenging to adopt.


title: Digital Publishing Habits, Perceptions of Open Access Publishing and Other Access Publishing: Across Continents Survey Study

abstract: In this transformative world, changes are happening in all the fields, including scholarly communications are trending in the academic area of publication and access to the resources, especially emerging the wave of open access, open science and open research. The study aims to investigate the digital publishing behaviour of manuscript authors. This study applied a quantitative approach and survey questionnaire method. The researcher collected the data from 251 authors, editors, and peer-reviewers from 45 countries worldwide. The research mainly focuses on the importance, need, and author preference for open access journals. Everyone cannot use and access subscription-based journals; the critical reason is the cost of purchasing a tremendous amount. As an independent researcher, developing countries and other impoverished countries, researchers can give the utmost importance to open access journals. The author also wishes to publish a journal in open access only. The findings reveal that most authors like to publish digital and print in both formats, with chargeless publications. Open access publishing has a vital role with researchers, scholars, and students because accessing the articles is costless. The researcher publishing the manuscript is more important than the quality of the content also important in scholarly publication. Nowadays, open-access peer-reviewed journals are also equal to the paid journals.


title: Inference from Real-World Sparse Measurements

abstract: Real-world problems often involve complex and unstructured sets of measurements, which occur when sensors are sparsely placed in either space or time. Being able to model this irregular spatiotemporal data and extract meaningful forecasts is crucial. Deep learning architectures capable of processing sets of measurements with positions varying from set to set, and extracting readouts anywhere are methodologically difficult. Current state-of-the-art models are graph neural networks and require domain-specific knowledge for proper setup. We propose an attention-based model focused on robustness and practical applicability, with two key design contributions. First, we adopt a ViT-like transformer that takes both context points and read-out positions as inputs, eliminating the need for an encoder-decoder structure. Second, we use a unified method for encoding both context and read-out positions. This approach is intentionally straightforward and integrates well with other systems. Compared to existing approaches, our model is simpler, requires less specialized knowledge, and does not suffer from a problematic bottleneck effect, all of which contribute to superior performance. We conduct in-depth ablation studies that characterize this problematic bottleneck in the latent representations of alternative models that inhibit information utilization and impede training efficiency. We also perform experiments across various problem domains, including high-altitude wind nowcasting, two-day weather forecasting, fluid dynamics, and heat diffusion. Our attention-based model consistently outperforms state-of-the-art models in handling irregularly sampled data. Notably, our model reduces the root mean square error (RMSE) for wind nowcasting from 9.24 to 7.98 and for heat diffusion tasks from 0.126 to 0.084.


title: Factorisation in the semiring of finite dynamical systems

abstract: Finite dynamical systems (FDSs) are commonly used to model systems with a finite number of states that evolve deterministically and at discrete time steps. Considered up to isomorphism, those correspond to functional graphs. As such, FDSs have a sum and product operation, which correspond to the direct sum and direct product of their respective graphs; the collection of FDSs endowed with these operations then forms a semiring. The algebraic structure of the product of FDSs is particularly interesting. For instance, an FDS can be factorised if and only if it is composed of two sub-systems running in parallel. In this work, we further the understanding of the factorisation, division, and root finding problems for FDSs. Firstly, an FDS $A$ is cancellative if one can divide by it unambiguously, i.e. $AX = AY$ implies $X = Y$. We prove that an FDS $A$ is cancellative if and only if it has a fixpoint. Secondly, we prove that if an FDS $A$ has a $k$-th root (i.e. $B$ such that $B^k = A$), then it is unique. Thirdly, unlike integers, the monoid of FDS product does not have unique factorisation into irreducibles. We instead exhibit a large class of monoids of FDSs with unique factorisation. To obtain our main results, we introduce the unrolling of an FDS, which can be viewed as a space-time expansion of the system. This allows us to work with (possibly infinite) trees, where the product is easier to handle than its counterpart for FDSs.


title: In-Vehicle Interface Adaptation to Environment-Induced Cognitive Workload

abstract: Many car accidents are caused by human distractions, including cognitive distractions. In-vehicle human-machine interfaces (HMIs) have evolved throughout the years, providing more and more functions. Interaction with the HMIs can, however, also lead to further distractions and, as a consequence, accidents. To tackle this problem, we propose using adaptive HMIs that change according to the mental workload of the driver. In this work, we present the current status as well as preliminary results of a user study using naturalistic secondary tasks while driving (i.e., the primary task) that attempt to understand the effects of one such interface.