title: Zero-shot Sim2Real Adaptation Across Environments

abstract: Simulation based learning often provides a cost-efficient recourse to reinforcement learning applications in robotics. However, simulators are generally incapable of accurately replicating real-world dynamics, and thus bridging the sim2real gap is an important problem in simulation based learning. Current solutions to bridge the sim2real gap involve hybrid simulators that are augmented with neural residual models. Unfortunately, they require a separate residual model for each individual environment configuration (i.e., a fixed setting of environment variables such as mass, friction etc.), and thus are not transferable to new environments quickly. To address this issue, we propose a Reverse Action Transformation (RAT) policy which learns to imitate simulated policies in the real-world. Once learnt from a single environment, RAT can then be deployed on top of a Universal Policy Network to achieve zero-shot adaptation to new environments. We empirically evaluate our approach in a set of continuous control tasks and observe its advantage as a few-shot and zero-shot learner over competing baselines.


title: Extension of Hodge norms at infinity

abstract: It is a long-standing problem in Hodge theory to generalize the Satake--Baily--Borel (SBB) compactification of a locally Hermitian symmetric space to arbitrary period maps. A proper topological SBB-type completion has been constructed, and the problem of showing that the construction is algebraic has been reduced to showing that the compact fibres A of the completion admit neighborhoods X satisfying certain properties. All but one of those properties has been established; the outstanding problem is to show that holomorphic functions on certain divisors "at infinity" extend to $X$. Extension theorems of this type require that the complex manifold X be pseudoconvex; that is, admit a plurisubharmonic exhaustion function. The neighborhood X is stratified, and the strata admit Hodge norms which are may be used to produce plurisubharmonic functions on the strata. One would like to extend these norms to X so that they may be used to construct the desired plurisubharmonic exhaustion of X. The purpose of this paper is show that there exists a function that simultaneously extends all the Hodge norms along the strata that intersect the fibre A nontrivially.


title: The appearance of a merging binary black hole very close to a spinning supermassive black hole

abstract: The mass and distance of a binary black hole (BBH) are fundamental parameters to measure in gravitational-wave (GW) astronomy. It is well-known that the measurement is affected by cosmological redshift, and recent works also showed that Doppler and gravitational redshifts could further affect the result if the BBH coalesces close to a supermassive black hole (SMBH). Here we consider the additional lensing effect induced by the nearby SMBH on the measurement. We compute the null geodesics originating within $10$ gravitational radii of a Kerr SMBH to determine the redshift and magnification of the GWs emitted by the BBH. We find a positive correlation between redshift and demagnification, which results in a positive correlation between the mass and distance of the BBH in the detector frame. More importantly, we find a higher probability for the signal to appear redshifted and demagnified to a distant observer, rather than blueshifted and magnified. Based on these results, we show that a binary at a cosmological redshift of $z_{\rm cos}=(10^{-2}-10^{-1})$ and composed of BHs of $(10-20)M_\odot$ could masquerade as a BBH at a redshift of $z_{\rm cos}\sim1$ and containing BHs as large as $(44-110)M_\odot$. In the case of extreme demagnification, we also find that the same BBH could appear to be at $z_{\rm cos}>10$ and contain subsolar-mass BHs. Such an effect, if not accounted for, could bias our understanding of the origin of the BHs detected via GWs.


title: Burer-Monteiro ADMM for Large-scale SDPs

abstract: We propose a bilinear decomposition for the Burer-Monteiro method and combine it with the standard Alternating Direction Method of Multipliers algorithm for semidefinite programming. Bilinear decomposition reduces the degree of the augmented Lagrangian from four to two, which makes each of the subproblems a quadratic programming and hence computationally efficient. Our approach is able to solve a class of large-scale SDPs with diagonal constraints. We prove that our ADMM algorithm converges globally to a first-order stationary point, and show by exploiting the negative curvature that the algorithm converges to a point within $O(1-1/r)$ of the optimal objective value. Additionally, the proximal variant of the algorithm can solve block-diagonally constrained SDPs with global convergence to a first-order stationary point. Numerical results show that both our ADMM algorithm and the proximal variant outperform the state-of-art Riemannian manifold algorithms and can reach the global optimum empirically.


title: Heights and transcendence of $p$--adic continued fractions

abstract: Special kinds of continued fractions have been proved to converge to transcendental real numbers by means of the celebrated Subspace Theorem. In this paper we study the analogous $p$--adic problem. More specifically, we deal with Browkin $p$--adic continued fractions. First we give some new remarks about the Browkin algorithm in terms of a $p$--adic Euclidean algorithm. Then, we focus on the heights of some $p$--adic numbers having a periodic $p$--adic continued fraction expansion and we obtain some upper bounds. Finally, we exploit these results, together with $p$--adic Roth-like results, in order to prove the transcendence of two families of $p$--adic continued fractions.


title: A Survey on Event Prediction Methods from a Systems Perspective: Bringing Together Disparate Research Areas

abstract: Event prediction is the ability of anticipating future events, i.e., future real-world occurrences, and aims to support the user in deciding on actions that change future events towards a desired state. An event prediction method learns the relation between features of past events and future events. It is applied to newly observed events to predict corresponding future events that are evaluated with respect to the user's desired future state. If the predicted future events do not comply with this state, actions are taken towards achieving desirable future states. Evidently, event prediction is valuable in many application domains such as business and natural disasters. The diversity of application domains results in a diverse range of methods that are scattered across various research areas which, in turn, use different terminology for event prediction methods. Consequently, sharing methods and knowledge for developing future event prediction methods is restricted. To facilitate knowledge sharing on account of a comprehensive classification, integration, and assessment of event prediction methods, we combine taxonomies and take a systems perspective to integrate event prediction methods into a single system, elicit requirements and assess existing work with respect to the requirements. Based on the assessment, we identify open challenges and discuss future research directions.


title: Fortuna: A Library for Uncertainty Quantification in Deep Learning

abstract: We present Fortuna, an open-source library for uncertainty quantification in deep learning. Fortuna supports a range of calibration techniques, such as conformal prediction that can be applied to any trained neural network to generate reliable uncertainty estimates, and scalable Bayesian inference methods that can be applied to Flax-based deep neural networks trained from scratch for improved uncertainty quantification and accuracy. By providing a coherent framework for advanced uncertainty quantification methods, Fortuna simplifies the process of benchmarking and helps practitioners build robust AI systems.


title: On the polynomiality conjecture of cluster realization of quantum groups

abstract: In this paper, we give a sufficient and necessary condition for a regular element of a quantum cluster algebra $\mathcal{O}_q(\mathcal{X})$ to be universally polynomial. This resolves several conjectures by the first author on the polynomiality of the cluster realization of quantum group generators in different families of positive representations.


title: Diffusionless relaxation of half-skyrmion liquid, hexatic, and crystalline states in a chiral molecular crystal

abstract: Particles in a crowded environment exhibit slow anomalous diffusion, as seen in biological systems, polymer solutions, glass-forming liquids and granular materials, and our daily experiences. In crystals, constituent particles do not diffuse, but skyrmions and half-skyrmions, spatially localised quasiparticles, exhibit normal diffusion in dilute conditions. However, the cooperative dynamics and diffusion of (half-)skyrmions in liquid, hexatic, and crystalline phases are elusive. Here we show that the fusion and fission of half-skyrmions, not their diffusion, are responsible for the primary structural relaxation in these condensed phases. The diffusion, which contributes to the secondary structural relaxation, is suppressed by cages formed by surrounding half-skyrmions, whereas enhanced by Mermin-Wagner fluctuation characteristic to two-dimensional systems, leading to subdiffusive motion. Large displacement of half-skyrmions is locally induced by fusion-fission and bond-breaking between adjacent half-skyrmions. Furthermore, the motion of half-skyrmions couples with transverse and longitudinal sound wave excitation differently. Our result provides a qualitative difference in dynamical properties between skyrmion gaseous and condensed phases, suggesting the efficient manipulation of high-density (half-)skyrmions in molecular crystals, liquid crystals, and magnets.


title: The second largest eigenvalue of normal Cayley graphs on symmetric groups generated by cycles

abstract: We study the normal Cayley graphs $\mathrm{Cay}(S_n, C(n,I))$ on the symmetric group $S_n$, where $I\subseteq \{2,3,\ldots,n\}$ and $C(n,I)$ is the set of all cycles in $S_n$ with length in $I$. We prove that the strictly second largest eigenvalue of $\mathrm{Cay}(S_n,C(n,I))$ can only be achieved by at most four irreducible representations of $S_n$, and we determine further the multiplicity of this eigenvalue in several special cases. As a corollary, in the case when $I$ contains neither $n-1$ nor $n$ we know exactly when $\mathrm{Cay}(S_n, C(n,I))$ has the Aldous property, namely the strictly second largest eigenvalue is attained by the standard representation of $S_n$, and we obtain that $\mathrm{Cay}(S_n, C(n,I))$ does not have the Aldous property whenever $n \in I$. As another corollary of our main results, we prove a recent conjecture on the second largest eigenvalue of $\mathrm{Cay}(S_n, C(n,\{k\}))$ where $2 \le k \le n-2$.


title: A Multitask, Multilingual, Multimodal Evaluation of ChatGPT on Reasoning, Hallucination, and Interactivity

abstract: This paper proposes a framework for quantitatively evaluating interactive LLMs such as ChatGPT using publicly available data sets. We carry out an extensive technical evaluation of ChatGPT using 23 data sets covering 8 different common NLP application tasks. We evaluate the multitask, multilingual and multi-modal aspects of ChatGPT based on these data sets and a newly designed multimodal dataset. We find that ChatGPT outperforms LLMs with zero-shot learning on most tasks and even outperforms fine-tuned models on some tasks. We find that it is better at understanding non-Latin script languages than generating them. It is able to generate multimodal content from textual prompts, via an intermediate code generation step. Moreover, we find that ChatGPT is 63.41% accurate on average in 10 different reasoning categories under logical reasoning, non-textual reasoning, and commonsense reasoning, hence making it an unreliable reasoner. It is, for example, better at deductive than inductive reasoning. ChatGPT suffers from hallucination problems like other LLMs and it generates more extrinsic hallucinations from its parametric memory as it does not have access to an external knowledge base. Finally, the interactive feature of ChatGPT enables human collaboration with the underlying LLM to improve its performance, i.e, 8% ROUGE-1 on summarization and 2% ChrF++ on machine translation, in a multi-turn "prompt engineering" fashion. We also release codebase for evaluation set extraction.


title: InMyFace: Inertial and Mechanomyography-Based Sensor Fusion for Wearable Facial Activity Recognition

abstract: Recognizing facial activity is a well-understood (but non-trivial) computer vision problem. However, reliable solutions require a camera with a good view of the face, which is often unavailable in wearable settings. Furthermore, in wearable applications, where systems accompany users throughout their daily activities, a permanently running camera can be problematic for privacy (and legal) reasons. This work presents an alternative solution based on the fusion of wearable inertial sensors, planar pressure sensors, and acoustic mechanomyography (muscle sounds). The sensors were placed unobtrusively in a sports cap to monitor facial muscle activities related to facial expressions. We present our integrated wearable sensor system, describe data fusion and analysis methods, and evaluate the system in an experiment with thirteen subjects from different cultural backgrounds (eight countries) and both sexes (six women and seven men). In a one-model-per-user scheme and using a late fusion approach, the system yielded an average F1 score of 85.00% for the case where all sensing modalities are combined. With a cross-user validation and a one-model-for-all-user scheme, an F1 score of 79.00% was obtained for thirteen participants (six females and seven males). Moreover, in a hybrid fusion (cross-user) approach and six classes, an average F1 score of 82.00% was obtained for eight users. The results are competitive with state-of-the-art non-camera-based solutions for a cross-user study. In addition, our unique set of participants demonstrates the inclusiveness and generalizability of the approach.


title: WAT: Improve the Worst-class Robustness in Adversarial Training

abstract: Deep Neural Networks (DNN) have been shown to be vulnerable to adversarial examples. Adversarial training (AT) is a popular and effective strategy to defend against adversarial attacks. Recent works (Benz et al., 2020; Xu et al., 2021; Tian et al., 2021) have shown that a robust model well-trained by AT exhibits a remarkable robustness disparity among classes, and propose various methods to obtain consistent robust accuracy across classes. Unfortunately, these methods sacrifice a good deal of the average robust accuracy. Accordingly, this paper proposes a novel framework of worst-class adversarial training and leverages no-regret dynamics to solve this problem. Our goal is to obtain a classifier with great performance on worst-class and sacrifice just a little average robust accuracy at the same time. We then rigorously analyze the theoretical properties of our proposed algorithm, and the generalization error bound in terms of the worst-class robust risk. Furthermore, we propose a measurement to evaluate the proposed method in terms of both the average and worst-class accuracies. Experiments on various datasets and networks show that our proposed method outperforms the state-of-the-art approaches.


title: An Empirical Comparison of Pre-Trained Models of Source Code

abstract: While a large number of pre-trained models of source code have been successfully developed and applied to a variety of software engineering (SE) tasks in recent years, our understanding of these pre-trained models is arguably fairly limited. With the goal of advancing our understanding of these models, we perform the first systematic empirical comparison of 19 recently-developed pre-trained models of source code on 13 SE tasks. To gain additional insights into these models, we adopt a recently-developed 4-dimensional categorization of pre-trained models, and subsequently investigate whether there are correlations between different categories of pre-trained models and their performances on different SE tasks.


title: Nearly Gorenstein projective monomial curves of small codimension

abstract: In this paper, we characterize nearly Gorenstein projective monomial curves of codimension 2 and 3.


title: The interplay of geometry and coarsening in multicomponent lipid vesicles under the influence of hydrodynamics

abstract: We consider the impact of surface hydrodynamics on the interplay between curvature and composition in coarsening processes on model systems for biomembranes. This includes scaling laws and equilibrium configurations, which are investigated by computational studies of a surface two-phase flow problem with additional phase-depending bending terms. These additional terms geometrically favor specific configurations. We find that as in 2D the effect of hydrodynamics strongly depends on the composition. In situations where the composition allows a realization of a geometrically favored configuration, the hydrodynamics enhances the evolution into this configuration. We restrict our model and numerics to stationary surfaces and validate the numerical approach with various benchmark problems and convergence studies.


title: Geometrical optics of first-passage functionals of random acceleration

abstract: Random acceleration is a fundamental stochastic process encountered in many applications. In the one-dimensional version of the process a particle is randomly accelerated according to the Langevin equation $\ddot{x}(t) = \sqrt{2D} \xi(t)$, where $x(t)$ is the particle's coordinate, $\xi(t)$ is Gaussian white noise with zero mean, and $D$ is the particle velocity diffusion constant. Here we evaluate the $A\to 0$ tail of the distribution $P_n(A|L)$ of the functional $I[x(t)]=\int_0^{T} x^n(t) dt=A$, where $T$ is the first-passage time of the particle from a specified point $x=L$ to the origin, and $n\geq 0$. We employ the optimal fluctuation method akin to geometrical optics. Its crucial element is determination of the optimal path -- the most probable realization of the random acceleration process $x(t)$, conditioned on specified $A\to 0$, $n$ and $L$. This realization dominates the probability distribution $P_n(A|L)$. We show that the $A\to 0$ tail of this distribution has a universal essential singularity, $P_n(A\to 0|L) \sim \exp\left(-\frac{\alpha_n L^{3n+2}}{DA^3}\right)$, where $\alpha_n$ is an $n$-dependent number which we calculate analytically for $n=0,1$ and $2$ and numerically for other $n$. For $n=0$ our result agrees with the asymptotic of the previously found first-passage time distribution.


title: CrossCodeBench: Benchmarking Cross-Task Generalization of Source Code Models

abstract: Despite the recent advances showing that a model pre-trained on large-scale source code data is able to gain appreciable generalization capability, it still requires a sizeable amount of data on the target task for fine-tuning. And the effectiveness of the model generalization is largely affected by the size and quality of the fine-tuning data, which is detrimental for target tasks with limited or unavailable resources. Therefore, cross-task generalization, with the goal of improving the generalization of the model to unseen tasks that have not been seen before, is of strong research and application value. In this paper, we propose a large-scale benchmark that includes 216 existing code-related tasks. Then, we annotate each task with the corresponding meta information such as task description and instruction, which contains detailed information about the task and a solution guide. This also helps us to easily create a wide variety of ``training/evaluation'' task splits to evaluate the various cross-task generalization capabilities of the model. Then we perform some preliminary experiments to demonstrate that the cross-task generalization of models can be largely improved by in-context learning methods such as few-shot learning and learning from task instructions, which shows the promising prospects of conducting cross-task learning research on our benchmark. We hope that the collection of the datasets and our benchmark will facilitate future work that is not limited to cross-task generalization.


title: FR-LIO: Fast and Robust Lidar-Inertial Odometry by Tightly-Coupled Iterated Kalman Smoother and Robocentric Voxels

abstract: This paper presents a fast lidar-inertial odometry (LIO) that is robust to aggressive motion. To achieve robust tracking in aggressive motion scenes, we exploit the continuous scanning property of lidar to adaptively divide the full scan into multiple partial scans (named sub-frames) according to the motion intensity. And to avoid the degradation of sub-frames resulting from insufficient constraints, we propose a robust state estimation method based on a tightly-coupled iterated error state Kalman smoother (ESKS) framework. Furthermore, we propose a robocentric voxel map (RC-Vox) to improve the system's efficiency. The RC-Vox allows efficient maintenance of map points and k nearest neighbor (k-NN) queries by mapping local map points into a fixed-size, two-layer 3D array structure. Extensive experiments are conducted on 27 sequences from 4 public datasets and our own dataset. The results show that our system can achieve stable tracking in aggressive motion scenes (angular velocity up to 21.8 rad/s) that cannot be handled by other state-of-the-art methods, while our system can achieve competitive performance with these methods in general scenes. Furthermore, thanks to the RC-Vox, our system is much faster than the most efficient LIO system currently published.


title: A Systematic Performance Analysis of Deep Perceptual Loss Networks: Breaking Transfer Learning Conventions

abstract: Deep perceptual loss is a type of loss function in computer vision that aims to mimic human perception by using the deep features extracted from neural networks. In recent years, the method has been applied to great effect on a host of interesting computer vision tasks, especially for tasks with image or image-like outputs, such as image synthesis, segmentation, depth prediction, and more. Many applications of the method use pretrained networks, often convolutional networks, for loss calculation. Despite the increased interest and broader use, more effort is needed toward exploring which networks to use for calculating deep perceptual loss and from which layers to extract the features. This work aims to rectify this by systematically evaluating a host of commonly used and readily available, pretrained networks for a number of different feature extraction points on four existing use cases of deep perceptual loss. The use cases of perceptual similarity, super-resolution, image segmentation, and dimensionality reduction, are evaluated through benchmarks. The benchmarks are implementations of previous works where the selected networks and extraction points are evaluated. The performance on the benchmarks, and attributes of the networks and extraction points are then used as a basis for an in-depth analysis. This analysis uncovers insight regarding which architectures provide superior performance for deep perceptual loss and how to choose an appropriate extraction point for a particular task and dataset. Furthermore, the work discusses the implications of the results for deep perceptual loss and the broader field of transfer learning. The results show that deep perceptual loss deviates from two commonly held conventions in transfer learning, which suggests that those conventions are in need of deeper analysis.


title: Adaptive Massively Parallel Connectivity in Optimal Space

abstract: We study the problem of finding connected components in the Adaptive Massively Parallel Computation (AMPC) model. We show that when we require the total space to be linear in the size of the input graph the problem can be solved in $O(\log^* n)$ rounds in forests (with high probability) and $2^{O(\log^* n)}$ expected rounds in general graphs. This improves upon an existing $O(\log \log_{m/n} n)$ round algorithm. For the case when the desired number of rounds is constant we show that both problems can be solved using $\Theta(m + n \log^{(k)} n)$ total space in expectation (in each round), where $k$ is an arbitrarily large constant and $\log^{(k)}$ is the $k$-th iterate of the $\log_2$ function. This improves upon existing algorithms requiring $\Omega(m + n \log n)$ total space.


title: Risk sharing, measuring variability, and distortion riskmetrics

abstract: We address the problem of sharing risk among agents with preferences modelled by a general class of comonotonic additive and law-based functionals that need not be either monotone or convex. Such functionals are called distortion riskmetrics, which include many statistical measures of risk and variability used in portfolio optimization and insurance. The set of Pareto-optimal allocations is characterized under various settings of general or comonotonic risk sharing problems. We solve explicitly Pareto-optimal allocations among agents using the Gini deviation, the mean-median deviation, or the inter-quantile difference as the relevant variability measures. The latter is of particular interest, as optimal allocations are not comonotonic in the presence of inter-quantile difference agents; instead, the optimal allocation features a mixture of pairwise counter-monotonic structures, showing some patterns of extremal negative dependence.


title: Revisit the Algorithm Selection Problem for TSP with Spatial Information Enhanced Graph Neural Networks

abstract: Algorithm selection is a well-known problem where researchers investigate how to construct useful features representing the problem instances and then apply feature-based machine learning models to predict which algorithm works best with the given instance. However, even for simple optimization problems such as Euclidean Traveling Salesman Problem (TSP), there lacks a general and effective feature representation for problem instances. The important features of TSP are relatively well understood in the literature, based on extensive domain knowledge and post-analysis of the solutions. In recent years, Convolutional Neural Network (CNN) has become a popular approach to select algorithms for TSP. Compared to traditional feature-based machine learning models, CNN has an automatic feature-learning ability and demands less domain expertise. However, it is still required to generate intermediate representations, i.e., multiple images to represent TSP instances first. In this paper, we revisit the algorithm selection problem for TSP, and propose a novel Graph Neural Network (GNN), called GINES. GINES takes the coordinates of cities and distances between cities as input. It is composed of a new message-passing mechanism and a local neighborhood feature extractor to learn spatial information of TSP instances. We evaluate GINES on two benchmark datasets. The results show that GINES outperforms CNN and the original GINE models. It is better than the traditional handcrafted feature-based approach on one dataset. The code and dataset will be released in the final version of this paper.


title: Derived Symplectic Reduction and L-Equivariant Geometry

abstract: Motivated by the cohomological construction for the BV formalism from physics, this thesis asks how to perform the intersections and quotients appearing in the BV construction. This leads to the study of the derived symplectic reduction and the extension of these classical notions for group action and infinitesimal actions of Lie algebroids. In this context, we generalize the classical notion of moment maps for global and infinitesimal actions. We then study examples of such moment maps and their derived reductions and produce new shifted examples through a procedure of derived Lagrangian intersection. We then motivate why these new examples can bring a new geometric understanding of the BV complex as a generalized shifted symplectic reduction.


title: Prime numbers as a uniqueness set of the parallelogram equation via the Goldbach's conjecture

abstract: Multiplicative arithmetic functions satisfying the parallelogram functional equation on prime numbers are investigated. It is derived that the unique solution is a quadratic function by the Goldbach's conjecture.


title: The Thin Ideology of Populist Advertising on Facebook during the 2019 EU Elections

abstract: Social media has been an important tool in the expansion of the populist message, and it is thought to have contributed to the electoral success of populist parties in the past decade. This study compares how populist parties advertised on Facebook during the 2019 European Parliamentary election. In particular, we examine commonalities and differences in which audiences they reach and on which issues they focus. By using data from Meta (previously Facebook) Ad Library, we analyze 45k ad campaigns by 39 parties, both populist and mainstream, in Germany, United Kingdom, Italy, Spain, and Poland. While populist parties represent just over 20% of the total expenditure on political ads, they account for 40% of the total impressions$\unicode{x2013}$most of which from Eurosceptic and far-right parties$\unicode{x2013}$thus hinting at a competitive advantage for populist parties on Facebook. We further find that ads posted by populist parties are more likely to reach male audiences, and sometimes much older ones. In terms of issues, populist politicians focus on monetary policy, state bureaucracy and reforms, and security, while the focus on EU and Brexit is on par with non-populist, mainstream parties. However, issue preferences are largely country-specific, thus supporting the view in political science that populism is a "thin ideology", that does not have a universal, coherent policy agenda. This study illustrates the usefulness of publicly available advertising data for monitoring the populist outreach to, and engagement with, millions of potential voters, while outlining the limitations of currently available data.


title: Quantum anomalous Hall effect induced by circularly polarized light on samarium hexaboride surface

abstract: We examine a time-dependent, surface Hamiltonian for the 3D compound samarium hexaboride based on the slave boson protocol linked version of the periodic Anderson model reported earlier. The problem of large on-site electron-electron repulsion was reformulated in terms of a holonomic constraint involving a term representing the spatially-independent Slave boson-condensate. In this communication, we show the possible access to the quantum anomalous Hall state due to the normal incidence of circularly polarized light on the surface of the compound in the high frequency limit within the framework of the Floquet theory. The value of the term is mildly affected by the intensity of incident radiation. The chern number is found to be unity for the right-handed as well as the left-handed circularly polarized light.


title: Sample-efficient Multi-objective Molecular Optimization with GFlowNets

abstract: Many crucial scientific problems involve designing novel molecules with desired properties, which can be formulated as a black-box optimization problem over the discrete chemical space. In practice, multiple conflicting objectives and costly evaluations (e.g., wet-lab experiments) make the diversity of candidates paramount. Computational methods have achieved initial success but still struggle with considering diversity in both objective and search space. To fill this gap, we propose a multi-objective Bayesian optimization (MOBO) algorithm leveraging the hypernetwork-based GFlowNets (HN-GFN) as an acquisition function optimizer, with the purpose of sampling a diverse batch of candidate molecular graphs from an approximate Pareto front. Using a single preference-conditioned hypernetwork, HN-GFN learns to explore various trade-offs between objectives. We further propose a hindsight-like off-policy strategy to share high-performing molecules among different preferences in order to speed up learning for HN-GFN. We empirically illustrate that HN-GFN has adequate capacity to generalize over preferences. Moreover, experiments in various real-world MOBO settings demonstrate that our framework predominantly outperforms existing methods in terms of candidate quality and sample efficiency. The code is available at https://github.com/violet-sto/HN-GFN.


title: Testing Discrete Symmetries in Ortho-Positronium Decays with the J-PET Detector

abstract: A first result related to a CPT test in the decay of ortho-positronium based on data collected by means of the J-PET detector is already available, and a new test of CP symmetry is under investigation. Both results are based on the determination of angular correlations between momenta of gamma rays and other vector properties of the investigated system. Here, arguments for the possible usage of data collected by the J-PET group to test CPT symmetry within the Standard-Model Extension framework are shortly presented.


title: Data-driven control and transfer learning using neural canonical control structures*

abstract: An indirect data-driven control and transfer learning approach based on a data-driven feedback linearization with neural canonical control structures is proposed. An artificial neural network auto-encoder structure trained on recorded sensor data is used to approximate state and input transformations for the identification of the sampled-data system in Brunovsky canonical form. The identified transformations, together with a designed trajectory controller, can be transferred to a system with varied parameters, where the neural network weights are adapted using newly collected recordings. The proposed approach is demonstrated using an academic and an industrially motivated example.


title: Effects of an Electric Charge on Casimir Wormholes: Changing the Throat Size

abstract: In this paper we continue the investigation about the connection between Casimir energy and the traversability of a wormhole. In addition to the negative energy density obtained by a Casimir device, we include the effect of an electromagnetic field generated by an electric charge. This combination defines an electrovacuum source which has an extra parameter related to the size of the throat. Even if the electromagnetic energy density is positive the Null Energy Condition is still violated. The main reason is that the electromagnetic field satisfies the property $\rho=-p_{r}$. As a consequence the Traversable Wormhole throat can be changed as a function of the electric charge. This means that the throat is no more Planckian and the traversability is little less in principle but little more in practice.


title: Three Fibonacci-Chain Aperiodic Algebras

abstract: Aperiodic algebras are infinite dimensional algebras with generators corresponding to an element of the aperiodic set. These algebras proved to be an useful tool in studying elementary excitations that can propagate in multilayered structures and in the construction of some integrable models in quantum mechanics. Starting from the works of Patera and Twarock we present three aperiodic algebras based on Fibonacci-chain quasicrystals: a quasicrystal Lie algebra, an aperiodic Witt algebra and, finally, an aperiodic Jordan algebra. While a quasicrystal Lie algebra was already constructed from a modification of the Fibonacci chain, we here present an aperiodic algebra that matches exactly the original quasicrystal. Moreover, this is the first time to our knowledge, that an aperiodic Jordan algebra is presented leaving room for both theoretical and applicative developments.


title: Revisiting Offline Compression: Going Beyond Factorization-based Methods for Transformer Language Models

abstract: Recent transformer language models achieve outstanding results in many natural language processing (NLP) tasks. However, their enormous size often makes them impractical on memory-constrained devices, requiring practitioners to compress them to smaller networks. In this paper, we explore offline compression methods, meaning computationally-cheap approaches that do not require further fine-tuning of the compressed model. We challenge the classical matrix factorization methods by proposing a novel, better-performing autoencoder-based framework. We perform a comprehensive ablation study of our approach, examining its different aspects over a diverse set of evaluation settings. Moreover, we show that enabling collaboration between modules across layers by compressing certain modules together positively impacts the final model performance. Experiments on various NLP tasks demonstrate that our approach significantly outperforms commonly used factorization-based offline compression methods.


title: Rover: An online Spark SQL tuning service via generalized transfer learning

abstract: Distributed data analytic engines like Spark are common choices to process massive data in industry. However, the performance of Spark SQL highly depends on the choice of configurations, where the optimal ones vary with the executed workloads. Among various alternatives for Spark SQL tuning, Bayesian optimization (BO) is a popular framework that finds near-optimal configurations given sufficient budget, but it suffers from the re-optimization issue and is not practical in real production. When applying transfer learning to accelerate the tuning process, we notice two domain-specific challenges: 1) most previous work focus on transferring tuning history, while expert knowledge from Spark engineers is of great potential to improve the tuning performance but is not well studied so far; 2) history tasks should be carefully utilized, where using dissimilar ones lead to a deteriorated performance in production. In this paper, we present Rover, a deployed online Spark SQL tuning service for efficient and safe search on industrial workloads. To address the challenges, we propose generalized transfer learning to boost the tuning performance based on external knowledge, including expert-assisted Bayesian optimization and controlled history transfer. Experiments on public benchmarks and real-world tasks show the superiority of Rover over competitive baselines. Notably, Rover saves an average of 50.1% of the memory cost on 12k real-world Spark SQL tasks in 20 iterations, among which 76.2% of the tasks achieve a significant memory reduction of over 60%.


title: Iterating skew evolutes and skew involutes: a linear analog of the bicycle kinematics

abstract: The evolute of a plane curve is the envelope of its normals. Replacing the normals by the lines that make a fixed angle with the curve yields a new curve, called the evolutoid. We prefer the term ``skew evolute", and we study the geometry and dynamics of the skew evolute map and of its inverse, the skew involute map. The relation between a curve and its skew evolute is analogous to the relation between the rear and front bicycle tracks, and this connections with the bicycle kinematics (a considerably more complicated subject) is our motivation for this study.


title: Automating Code-Related Tasks Through Transformers: The Impact of Pre-training

abstract: Transformers have gained popularity in the software engineering (SE) literature. These deep learning models are usually pre-trained through a self-supervised objective, meant to provide the model with basic knowledge about a language of interest (e.g., Java). A classic pre-training objective is the masked language model (MLM), in which a percentage of tokens from the input (e.g., a Java method) is masked, with the model in charge of predicting them. Once pre-trained, the model is then fine-tuned to support the specific downstream task of interest (e.g., code summarization). While there is evidence suggesting the boost in performance provided by pre-training, little is known about the impact of the specific pre-training objective(s) used. Indeed, MLM is just one of the possible pre-training objectives and recent work from the natural language processing field suggest that pre-training objectives tailored for the specific downstream task of interest may substantially boost the model's performance. In this study, we focus on the impact of pre-training objectives on the performance of transformers when automating code-related tasks. We start with a systematic literature review aimed at identifying the pre-training objectives used in SE. Then, we pre-train 32 transformers using both (i) generic pre-training objectives usually adopted in SE; and (ii) pre-training objectives tailored to specific code-related tasks subject of our experimentation, namely bug-fixing, code summarization, and code completion. We also compare the pre-trained models with non pre-trained ones. Our results show that: (i) pre-training helps in boosting performance only if the amount of fine-tuning data available is small; (ii) the MLM objective is usually sufficient to maximize the prediction performance of the model, even when comparing it with pre-training objectives specialized for the downstream task at hand.


title: On a Gross conjecture over imaginary quadratic fields

abstract: Let $k$ be an imaginary quadratic number field, and $F/k$ a finite abelian extension of Galois group $G$. We show that a Gross conjecture concerning the leading terms of Artin $L$-series holds for $F/k$ and all rational primes which are split in $k$ and which do not divide $6$.


title: Optimal bisections of directed graphs

abstract: In this paper, motivated by a problem of Scott and a conjecture of Lee, Loh and Sudakov we consider bisections of directed graphs. We prove that every directed graph with $m$ arcs and minimum semidegree at least $d$ admits a bisection in which at least $\left(\frac{d}{2(2d+1)}+o(1)\right)m$ arcs cross in each direction. This provides an optimal bound as well as a positive answer to a question of Hou and Wu in a stronger form.


title: Focusing of a Long Relativistic Proton Bunch in Underdense Plasma

abstract: We discuss the focusing effect experienced by a long relativistic proton bunch, when propagating in underdense plasma. We show with 2D quasi-static simulations that the response of the plasma to the presence of the bunch provides a focusing force for the protons. We discuss the impact of the finite transverse size of the plasma on the dynamics of the process and we introduce the measurements performed at the AWAKE experiment at CERN.


title: Finding Short Signals in Long Irregular Time Series with Continuous-Time Attention Policy Networks

abstract: Irregularly-sampled time series (ITS) are native to high-impact domains like healthcare, where measurements are collected over time at uneven intervals. However, for many classification problems, only small portions of long time series are often relevant to the class label. In this case, existing ITS models often fail to classify long series since they rely on careful imputation, which easily over- or under-samples the relevant regions. Using this insight, we then propose CAT, a model that classifies multivariate ITS by explicitly seeking highly-relevant portions of an input series' timeline. CAT achieves this by integrating three components: (1) A Moment Network learns to seek relevant moments in an ITS's continuous timeline using reinforcement learning. (2) A Receptor Network models the temporal dynamics of both observations and their timing localized around predicted moments. (3) A recurrent Transition Model models the sequence of transitions between these moments, cultivating a representation with which the series is classified. Using synthetic and real data, we find that CAT outperforms ten state-of-the-art methods by finding short signals in long irregular time series.


title: Gatemon qubit based on a thin InAs-Al hybrid nanowire

abstract: We study a gate-tunable superconducting qubit (gatemon) based on a thin InAs-Al hybrid nanowire. Using a gate voltage to control its Josephson energy, the gatemon can reach the strong coupling regime to a microwave cavity. In the dispersive regime, we extract the energy relaxation time $T_1\sim$0.56 $\mu$s and the dephasing time $T_2^* \sim$0.38 $\mu$s. Since thin InAs-Al nanowires can have fewer or single sub-band occupation and recent transport experiment shows the existence of nearly quantized zero-bias conductance peaks, our result holds relevancy for detecting Majorana zero modes in thin InAs-Al nanowires using circuit quantum electrodynamics.


title: Towards Inferential Reproducibility of Machine Learning Research

abstract: Reliability of machine learning evaluation -- the consistency of observed evaluation scores across replicated model training runs -- is affected by several sources of nondeterminism which can be regarded as measurement noise. Current tendencies to remove noise in order to enforce reproducibility of research results neglect inherent nondeterminism at the implementation level and disregard crucial interaction effects between algorithmic noise factors and data properties. This limits the scope of conclusions that can be drawn from such experiments. Instead of removing noise, we propose to incorporate several sources of variance, including their interaction with data properties, into an analysis of significance and reliability of machine learning evaluation, with the aim to draw inferences beyond particular instances of trained models. We show how to use linear mixed effects models (LMEMs) to analyze performance evaluation scores, and to conduct statistical inference with a generalized likelihood ratio test (GLRT). This allows us to incorporate arbitrary sources of noise like meta-parameter variations into statistical significance testing, and to assess performance differences conditional on data properties. Furthermore, a variance component analysis (VCA) enables the analysis of the contribution of noise sources to overall variance and the computation of a reliability coefficient by the ratio of substantial to total variance.


title: The qualitative accuracy of the Becker-DeGroot-Marshak method

abstract: The Becker DeGroot Marshak method is widely used to elicit the valuation that an individual assigns to an object. Theoretically, the second-price structure of the method gives individuals the incentive to state their true valuation. Yet, the elicitation methods empirical accuracy is subject to debate. With this paper, I provide a clear verification of the qualitative accuracy of the method. Participants of an incentivized laboratory experiment can sell a virtual object. The value of the object is publicly known and experimentally varied in a between-subjects design. Replicating previous findings on the low quantitative accuracy, I observe a very small share of individuals placing a payoff-optimal stated valuation. However, the analysis shows that the stated valuation increases with the value of the object. This result shows the qualitative accuracy of the BDM method and suggests that the method can be applied in comparative studies.


title: Analysis of Orthogonal Matching Pursuit for Compressed Sensing in Practical Settings

abstract: Orthogonal matching pursuit (OMP) is a widely used greedy algorithm for sparse signal recovery in compressed sensing (CS). Prior work on OMP, however, has only provided reconstruction guarantees under the assumption that the columns of the CS matrix have equal norms, which is unrealistic in many practical CS applications due to hardware constraints. In this paper, we derive sparse recovery guarantees with OMP, when the CS matrix has unequal column norms. Finally, we show that CS matrices whose column norms are comparable achieve tight guarantees for the successful recovery of the support of a sparse signal and a low mean squared error in the estimate.


title: Development of Classroom Management Based on Student Learning Style Database

abstract: This study aims to produce a classroom management application based on a database of student learning styles to identify and analyze student learning styles and match them with appropriate learning methods and media. This application is expected to facilitate classroom management according to student preferences. This research was research and development. Respondents were 198 people consisting of 30 teachers and 168 students at a Junior High School in South Bangka Indonesia. The data analysis used quantitative data analysis techniques using descriptive statistics. The results showed that the application developed was feasible to be used to identify and analyze student learning styles and provide suggestions for learning methods and media that teachers should use in classroom management. The level of application eligibility in terms of technical aspects reaches 4.75 and the content aspect reaches 4.80. This application proved to be useful for teachers in class management as evidenced by the achievement of the usability test score by the teacher reaching 4.40. The usefulness of the application from the students perspective can be seen from the increase in the attractiveness of learning that occurs after the teacher uses this application compared to before.


title: All Sky Modelling Requirements for Bayesian 21 cm Power Spectrum Estimation with BayesEoR

abstract: We present a comprehensive simulation-based study of the BayesEoR code for 21 cm power spectrum recovery when analytically marginalizing over foreground parameters. To account for covariance between the 21 cm signal and contaminating foreground emission, BayesEoR jointly constructs models for both signals within a Bayesian framework. Due to computational constraints, the forward model is constructed using a restricted field-of-view (FoV) in the image domain. When the only EoR contaminants are noise and foregrounds, we demonstrate that BayesEoR can accurately recover the 21 cm power spectrum when the component of sky emission outside this forward-modelled region is downweighted by the beam at the level of the dynamic range between the foreground and 21 cm signals. However, when all-sky foreground emission is included along with a realistic instrument primary beam with sidelobes above this threshold extending to the horizon, the recovered power spectrum is contaminated by unmodelled sky emission outside the restricted FoV model. Expanding the combined cosmological and foreground model to cover the whole sky is computationally prohibitive. To address this, we present a modified version of BayesEoR that allows for an all-sky foreground model, while the modelled 21 cm signal remains only within the primary FoV of the telescope. With this modification, it will be feasible to run an all-sky BayesEoR analysis on a sizeable compute cluster. We also discuss several future directions for further reducing the need to model all-sky foregrounds, including wide-field foreground subtraction, an image-domain likelihood utilizing a tapering function, and instrument primary beam design.


title: Entanglement in Resonance Fluorescence

abstract: Particle entanglement is a fundamental resource upon which are based many quantum technologies. However, the up-to-now best sources of entangled photons rely on parametric down-conversion processes, which are optimal only at certain frequencies, which rarely match the energies of condensed-matter systems that can benefit from entanglement. In this Article, we show a way to circumvent this issue, and we introduce a new source of entangled photons based on resonance fluorescence delivering photon pairs as a superposition of vacuum and the Bell state $|\Phi^-\rangle$. Our proposal relies on the emission from the satellite peaks of a two-level system driven by a strong off-resonant laser, whose intensity controls the frequencies of the entangled photons. Furthermore, the degree of entanglement can be optimized for every pair of frequencies, thus demonstrating a clear advantage over existing technologies. Finally, we illustrate the power of our novel source of entangled single-photon pairs by exciting a system of polaritons and showing that they are left in a maximally entangled steady state.


title: A Systematic Evaluation and Benchmark for Embedding-Aware Generative Models: Features, Models, and Any-shot Scenarios

abstract: Embedding-aware generative model (EAGM) addresses the data insufficiency problem for zero-shot learning (ZSL) by constructing a generator between semantic and visual feature spaces. Thanks to the predefined benchmark and protocols, the number of proposed EAGMs for ZSL is increasing rapidly. We argue that it is time to take a step back and reconsider the embedding-aware generative paradigm. The main work of this paper is two-fold. First, the embedding features in benchmark datasets are somehow overlooked, which potentially limits the performance of EAGMs, while most researchers focus on how to improve EAGMs. Therefore, we conduct a systematic evaluation of ten representative EAGMs and prove that even embarrassedly simple modifications on the embedding features can improve the performance of EAGMs for ZSL remarkably. So it's time to pay more attention to the current embedding features in benchmark datasets. Second, based on five benchmark datasets, each with six any-shot learning scenarios, we systematically compare the performance of ten typical EAGMs for the first time, and we give a strong baseline for zero-shot learning (ZSL) and few-shot learning (FSL). Meanwhile, a comprehensive generative model repository, namely, generative any-shot learning (GASL) repository, is provided, which contains the models, features, parameters, and scenarios of EAGMs for ZSL and FSL. Any results in this paper can be readily reproduced with only one command line based on GASL.


title: Probabilistic Attention based on Gaussian Processes for Deep Multiple Instance Learning

abstract: Multiple Instance Learning (MIL) is a weakly supervised learning paradigm that is becoming increasingly popular because it requires less labeling effort than fully supervised methods. This is especially interesting for areas where the creation of large annotated datasets remains challenging, as in medicine. Although recent deep learning MIL approaches have obtained state-of-the-art results, they are fully deterministic and do not provide uncertainty estimations for the predictions. In this work, we introduce the Attention Gaussian Process (AGP) model, a novel probabilistic attention mechanism based on Gaussian Processes for deep MIL. AGP provides accurate bag-level predictions as well as instance-level explainability, and can be trained end-to-end. Moreover, its probabilistic nature guarantees robustness to overfitting on small datasets and uncertainty estimations for the predictions. The latter is especially important in medical applications, where decisions have a direct impact on the patient's health. The proposed model is validated experimentally as follows. First, its behavior is illustrated in two synthetic MIL experiments based on the well-known MNIST and CIFAR-10 datasets, respectively. Then, it is evaluated in three different real-world cancer detection experiments. AGP outperforms state-of-the-art MIL approaches, including deterministic deep learning ones. It shows a strong performance even on a small dataset with less than 100 labels and generalizes better than competing methods on an external test set. Moreover, we experimentally show that predictive uncertainty correlates with the risk of wrong predictions, and therefore it is a good indicator of reliability in practice. Our code is publicly available.


title: Machine Learning for Synthetic Data Generation: A Review

abstract: Machine learning heavily relies on data, but real-world applications often encounter various data-related issues. These include data of poor quality, insufficient data points leading to under-fitting of machine learning models, and difficulties in data access due to concerns surrounding privacy, safety, and regulations. In light of these challenges, the concept of synthetic data generation emerges as a promising alternative that allows for data sharing and utilization in ways that real-world data cannot facilitate. This paper presents a comprehensive systematic review of existing studies that employ machine learning models for the purpose of generating synthetic data. The review encompasses various perspectives, starting with the applications of synthetic data generation, spanning computer vision, speech, natural language processing, healthcare, and business domains. Additionally, it explores different machine learning methods, with particular emphasis on neural network architectures and deep generative models. The paper also addresses the crucial aspects of privacy and fairness concerns related to synthetic data generation. Furthermore, this study identifies the challenges and opportunities prevalent in this emerging field, shedding light on the potential avenues for future research. By delving into the intricacies of synthetic data generation, this paper aims to contribute to the advancement of knowledge and inspire further exploration in synthetic data generation.


title: Comparison of behavioral systems theory and conventional linear models for predicting building zone temperature in long-term in situ measurements

abstract: The potential of Model Predictive Control in buildings has been shown many times, being successfully used to achieve various goals, such as minimizing energy consumption or maximizing thermal comfort. However, mass deployment has thus far failed, in part because of the high engineering cost of obtaining and maintaining a sufficiently accurate model. This can be addressed by using adaptive data-driven approaches. The idea of using behavioral systems theory for this purpose has recently found traction in the academic community. In this study, we compare variations thereof with different amounts of data used, different regularization weights, and different methods of data selection. Autoregressive models with exogenous inputs (ARX) are used as a well-established reference. All methods are evaluated by performing iterative system identification on two long-term data sets from real occupied buildings, neither of which include artificial excitation for the purpose of system identification. We find that: (1) Sufficient prediction accuracy is achieved with all methods. (2) The ARX models perform slightly better, while having the additional advantages of fewer tuning parameters and faster computation. (3) Adaptive and non-adaptive schemes perform similarly. (4) The regularization weights of the behavioral systems theory methods show the expected trade-off characteristic with an optimal middle value. (5) Using the most recent data yields better performance than selecting data with similar weather as the day to be predicted. (6) More data improves the model performance.


title: Weakly-supervised Representation Learning for Video Alignment and Analysis

abstract: Many tasks in video analysis and understanding boil down to the need for frame-based feature learning, aiming to encapsulate the relevant visual content so as to enable simpler and easier subsequent processing. While supervised strategies for this learning task can be envisioned, self and weakly-supervised alternatives are preferred due to the difficulties in getting labeled data. This paper introduces LRProp -- a novel weakly-supervised representation learning approach, with an emphasis on the application of temporal alignment between pairs of videos of the same action category. The proposed approach uses a transformer encoder for extracting frame-level features, and employs the DTW algorithm within the training iterations in order to identify the alignment path between video pairs. Through a process referred to as ``pair-wise position propagation'', the probability distributions of these correspondences per location are matched with the similarity of the frame-level features via KL-divergence minimization. The proposed algorithm uses also a regularized SoftDTW loss for better tuning the learned features. Our novel representation learning paradigm consistently outperforms the state of the art on temporal alignment tasks, establishing a new performance bar over several downstream video analysis applications.


title: Monge, Bregman and Occam: Interpretable Optimal Transport in High-Dimensions with Feature-Sparse Maps

abstract: Optimal transport (OT) theory focuses, among all maps $T:\mathbb{R}^d\rightarrow \mathbb{R}^d$ that can morph a probability measure onto another, on those that are the ``thriftiest'', i.e. such that the averaged cost $c(x, T(x))$ between $x$ and its image $T(x)$ be as small as possible. Many computational approaches have been proposed to estimate such Monge maps when $c$ is the $\ell_2^2$ distance, e.g., using entropic maps [Pooladian'22], or neural networks [Makkuva'20, Korotin'20]. We propose a new model for transport maps, built on a family of translation invariant costs $c(x, y):=h(x-y)$, where $h:=\tfrac{1}{2}\|\cdot\|_2^2+\tau$ and $\tau$ is a regularizer. We propose a generalization of the entropic map suitable for $h$, and highlight a surprising link tying it with the Bregman centroids of the divergence $D_h$ generated by $h$, and the proximal operator of $\tau$. We show that choosing a sparsity-inducing norm for $\tau$ results in maps that apply Occam's razor to transport, in the sense that the displacement vectors $\Delta(x):= T(x)-x$ they induce are sparse, with a sparsity pattern that varies depending on $x$. We showcase the ability of our method to estimate meaningful OT maps for high-dimensional single-cell transcription data, in the $34000$-$d$ space of gene counts for cells, without using dimensionality reduction, thus retaining the ability to interpret all displacements at the gene level.


title: Time varying gratings model Hawking radiation

abstract: Diffraction gratings synthetically moving at trans-luminal velocities contain points where wave and grating velocities are equal. We show these points can be understood as a series of optical event horizons where wave energy can be trapped and amplified, leading to radiation from the quantum vacuum state. We calculate the spectrum of this emitted radiation, finding a quasi-thermal spectrum with features that depend on the grating profile, and an effective temperature that scales exponentially with the length of the grating, emitting a measurable flux even for very small grating contrast.


title: A Unified Approach to Unimodality of Gaussian Polynomials

abstract: In 2013, Pak and Panova proved the strict unimodality property of $q$-binomial coefficients $\binom{\ell+m}{m}_q$ (as polynomials in $q$) based on the combinatorics of Young tableaux and the semigroup property of Kronecker coefficients. They showed it to be true for all $\ell,m\geq 8$ and a few other cases. We propose a different approach to this problem based on computer algebra, where we establish a closed form for the coefficients of these polynomials and then use cylindrical algebraic decomposition to identify exactly the range of coefficients where strict unimodality holds. This strategy allows us to tackle generalizations of the problem, e.g., to show unimodality with larger gaps or unimodality of related sequences. In particular, we present proofs of two additional cases of a conjecture by Stanley and Zanello.


title: Short Squeeze in DeFi Lending Market: Decentralization in Jeopardy?

abstract: Anxiety levels in the Aave community spiked in November 2022 as Avi Eisenberg performed an attack on Aave. Eisenberg attempted to short the CRV token by using funds borrowed on the protocol to artificially deflate the value of CRV. While the attack was ultimately unsuccessful, it left the Aave community scared and even raised question marks regarding the feasibility of large lending platforms under decentralized governance. In this work, we analyze Avi Eisenberg's actions and show how he was able to artificially lower the price of CRV by selling large quantities of borrowed CRV for stablecoins on both decentralized and centralized exchanges. Despite the failure of his attack, it still led to irretrievable debt worth more than 1.5 Mio USD at the time and, thereby, quadrupled the protocol's irretrievable debt. Furthermore, we highlight that his attack was enabled by the vast proportion of CRV available to borrow as well as Aave's lending protocol design hindering rapid intervention. We stress Eisenberg's attack exposes a predicament of large DeFi lending protocols: limit the scope or compromise on 'decentralization'.


title: The sheaves-spectrum adjunction

abstract: This paper attempts to demystify the notion of the smashing spectrum of a presentably symmetric monoidal stable $\infty$-category, which is a locale whose opens correspond to smashing localizations. It has been studied in tensor-triangular geometry in the compactly generated rigid case. Our main result states that the smashing spectrum functor is right adjoint to the spectral sheaves functor; it in particular gives an external definition using neither objects, ideals, nor localizations. This sheaves-spectrum adjunction informally means that the smashing spectrum gives the best approximation of a given $\infty$-category by $\infty$-categories of sheaves. We in fact prove the unstable version of this result by finding a correct unstable extension of smashing spectrum, which instead parameterizes smashing colocalizations. As an application, we give a categorical presentation of Clausen--Scholze's categorified locales.


title: Order bounds for $C^2$-finite sequences

abstract: A sequence is called $C$-finite if it satisfies a linear recurrence with constant coefficients. We study sequences which satisfy a linear recurrence with $C$-finite coefficients. Recently, it was shown that such $C^2$-finite sequences satisfy similar closure properties as $C$-finite sequences. In particular, they form a difference ring. In this paper we present new techniques for performing these closure properties of $C^2$-finite sequences. These methods also allow us to derive order bounds which were not known before. Additionally, they provide more insight in the effectiveness of these computations. The results are based on the exponent lattice of algebraic numbers. We present an iterative algorithm which can be used to compute bases of such lattices.


title: Taming Local Effects in Graph-based Spatiotemporal Forecasting

abstract: Spatiotemporal graph neural networks have shown to be effective in time series forecasting applications, achieving better performance than standard univariate predictors in several settings. These architectures take advantage of a graph structure and relational inductive biases to learn a single (global) inductive model to predict any number of the input time series, each associated with a graph node. Despite the gain achieved in computational and data efficiency w.r.t. fitting a set of local models, relying on a single global model can be a limitation whenever some of the time series are generated by a different spatiotemporal stochastic process. The main objective of this paper is to understand the interplay between globality and locality in graph-based spatiotemporal forecasting, while contextually proposing a methodological framework to rationalize the practice of including trainable node embeddings in such architectures. We ascribe to trainable node embeddings the role of amortizing the learning of specialized components. Moreover, embeddings allow for 1) effectively combining the advantages of shared message-passing layers with node-specific parameters and 2) efficiently transferring the learned model to new node sets. Supported by strong empirical evidence, we provide insights and guidelines for specializing graph-based models to the dynamics of each time series and show how this aspect plays a crucial role in obtaining accurate predictions.


title: Orbitally driven spin reorientation in Mn doped YBaCuFeO$_{5}$

abstract: Oxygen-deficient layered perovskite YBaCuFeO$_{5}$ (YBCFO) is one rare type-II multiferroic material where ferroelectricity, driven by incommensurate spiral magnetic order, is believed to be achievable up to temperatures higher than room temperature. A cycloidal spiral rather than helical spiral order is essential ingredient for the existence of ferroelectricity in this material. Motivated by a recent experimental work on Mn-doped YBCFO where the spiral plane is observed to cant more towards the crystallographic $c$ axis upon Mn doping at Fe sites compared to that in the parent compound, we performed a detailed theoretical investigation using the density functional theory calculations to understand the mechanism behind such spin reorientation. Our total energy calculations, within GGA+U+SO approximation, reveal that Fe/Cu spin moments indeed align more towards $c$ axis in the Mn-doped compounds than they were in parent compound YBCFO. Largest exchange interaction (Cu-Cu in the $ab$-plane) is observed to decrease systematically with Mn doping concentration reflecting the lowering of transition temperature seen in experiment. Further, the inter-bilayer Cu-Mn exchange interaction becomes ferromagnetic in the doped compound whereas the corresponding Cu-Fe exchange was antiferromagnetic in the parent compound giving rise to frustration in the commensurate magnetic order. Most importantly, our electronic structure calculations reveal that in the doped compounds because of hybridization with the d$_{z^2}$ orbital of Mn, the highest occupied Cu orbital becomes d$_{z^2}$ as opposed to the parent compound where the highest occupied Cu orbital is d$_{x^2-y^2}$. Therefore, we believe that the occupancy of out of plane oriented Cu d$_{z^2}$ orbital in place of planar d$_{x^2-y^2}$ orbital along with the frustrating exchange interaction drive the spins to align along $c$ in doped compound.


title: Superalgebra deformations of web categories: finite webs

abstract: Let $\mathbb{k}$ be a characteristic zero domain. For a locally unital $\mathbb{k}$-superalgebra $A$ with distinguished idempotents $I$and even subalgebra $a \subseteq A_{\bar 0}$, we define and study an associated diagrammatic monoidal $\mathbb{k}$-linear supercategory $\mathbf{Web}^{A,a}_I$. This supercategory yields a diagrammatic description of the generalized Schur algebras $T^A_a(n,d)$. We also show there is an asymptotically faithful functor from $\mathbf{Web}^{A,a}_I$ to the monoidal supercategory of $\mathfrak{gl}_n(A)$-modules generated by symmetric powers of the natural module. When this functor is full, the single diagrammatic supercategory $\mathbf{Web}^{A,a}_I$ provides a combinatorial description of this module category for all $n \geq 1$. We also use these results to establish Howe dualities between $\mathfrak{gl}_{m}(A)$ and $\mathfrak{gl}_{n}(A)$ when $A$ is semisimple.


title: Fine Polyhedral Adjunction Theory

abstract: Originally introduced by Fine and Reid in the study of plurigenera of toric hypersurfaces, the Fine interior of a lattice polytope got recently into the focus of research. It is has been used for constructing canonical models in the sense of Mori Theory [arXiv:2008.05814]. Based on the Fine interior, we propose here a modification of the original adjoint polytopes as defined in [arXiv:1105.2415], by defining the Fine adjoint polytope $P^{F(s)}$ of $P$ as consisting of the points in $P$ that have lattice distance at least $s$ to all valid inequalities for $P$. We obtain a Fine Polyhedral Adjunction Theory that is, in many respects, better behaved than its original analogue. Many existing results in Polyhedral Adjunction Theory carry over, some with stronger conclusions, as decomposing polytopes into Cayley sums, and most with simpler, more natural proofs as in the case of the finiteness of the Fine spectrum.


title: Best Practices in Active Learning for Semantic Segmentation

abstract: Active learning is particularly of interest for semantic segmentation, where annotations are costly. Previous academic studies focused on datasets that are already very diverse and where the model is trained in a supervised manner with a large annotation budget. In contrast, data collected in many driving scenarios is highly redundant, and most medical applications are subject to very constrained annotation budgets. This work investigates the various types of existing active learning methods for semantic segmentation under diverse conditions across three dimensions - data distribution w.r.t. different redundancy levels, integration of semi-supervised learning, and different labeling budgets. We find that these three underlying factors are decisive for the selection of the best active learning approach. As an outcome of our study, we provide a comprehensive usage guide to obtain the best performance for each case. We also propose an exemplary evaluation task for driving scenarios, where data has high redundancy, to showcase the practical implications of our research findings.


title: Origins of parameters in adimensional models

abstract: We explore the origins of parameters in adimensional theories -- fundamental theories with no classical massive scales. If the parameters originate as draws from a distribution, it should be possible to write a distribution for them that doesn't depend on or introduce any massive scales. These distributions are the invariant distributions for the renormalization group (RG). If there exist RG invariant combinations of parameters, the RG invariant distributions are specified up to arbitrary functions of the RG invariants. If such distributions can be constructed, adimensional theories could predict the values of their parameters through distributions that are constrained by the RG. If they can't be constructed, the parameters must originate in a different way. We demonstrate the RG invariant distributions in QCD, the Coleman-Weinberg model and a totally asymptotically free theory.


title: MGProx: A nonsmooth multigrid proximal gradient method with adaptive restriction for strongly convex optimization

abstract: We study the combination of proximal gradient descent with multigrid for solving a class of possibly nonsmooth strongly convex optimization problems. We propose a multigrid proximal gradient method called MGProx, which accelerates the proximal gradient method by multigrid, based on using hierarchical information of the optimization problem. MGProx applies a newly introduced adaptive restriction operator to simplify the Minkowski sum of subdifferentials of the nondifferentiable objective function across different levels. We provide a theoretical characterization of MGProx. First we show that the MGProx update operator exhibits a fixed-point property. Next, we show that the coarse correction is a descent direction for the fine variable of the original fine level problem in the general nonsmooth case. Lastly, under some assumptions we provide the convergence rate for the algorithm. In the numerical tests on the Elastic Obstacle Problem, which is an example of nonsmooth convex optimization problem where multigrid method can be applied, we show that MGProx has a faster convergence speed than competing methods.


title: Generalisations of Thompson's group V arising from purely infinite groupoids

abstract: We study a class of generalisations of Thompson's group $V$ arising naturally as topological full groups of purely infinite, minimal groupoids. In the process, we show that the derived subgroup of such a group is 2-generated whenever it is finitely generated and has no proper characters in full generality. We characterise this class of groupoids through a number of group-theoretic conditions on their full groups including vigor, the existence of suitable embeddings of $V$, and compressibility. We moreover give a complete abstract characterisation of those groups that arise as either topological full groups or derived subgroups of purely infinite, minimal groupoids. As an application, we describe all proper characters of the Brin-Higman-Thompson groups.


title: Investigating Mechanisms of State Localization in Highly-Ionized Dense Plasmas

abstract: We present the first experimental observation of K$_{\beta}$ emission from highly charged Mg ions at solid density, driven by intense x-rays from a free electron laser. The presence of K$_{\beta}$ emission indicates the $n=3$ atomic shell is relocalized for high charge states, providing an upper constraint on the depression of the ionization potential. We explore the process of state relocalization in dense plasmas from first principles using finite-temperature density functional theory alongside a wavefunction localization metric, and find excellent agreement with experimental results.


title: Link between the Optical and Radio Frames from Gaia DR3 Data and VLBI Measurements

abstract: Based on published data, we have assembled a sample of 126 radio stars with the trigonometric parallaxes and proper motions measured by VLBI and available in the Gaia DR3 catalogue (in fact, Gaia EDR3). Our analysis of the Gaia--VLBI proper motion differences for 84 radio stars based on the model of solid-body mutual rotation has revealed no rotation components differing significantly from zero, $(\omega_x,\omega_y,\omega_z)=(0.06,0.08,-0.10)\pm(0.06,0.07,0.08)$ mas yr$^{-1}.$ Based on the trigonometric parallax differences for 90 stars, we have obtained a new estimate of the systematic offset between the optical and radio frames, $\Delta\pi=-0.022\pm0.017$~mas, and showed that the parallax scale factor is close to unity, $b=1.001\pm0.002$.


title: Decision trees compensate for model misspecification

abstract: The best-performing models in ML are not interpretable. If we can explain why they outperform, we may be able to replicate these mechanisms and obtain both interpretability and performance. One example are decision trees and their descendent gradient boosting machines (GBMs). These perform well in the presence of complex interactions, with tree depth governing the order of interactions. However, interactions cannot fully account for the depth of trees found in practice. We confirm 5 alternative hypotheses about the role of tree depth in performance in the absence of true interactions, and present results from experiments on a battery of datasets. Part of the success of tree models is due to their robustness to various forms of mis-specification. We present two methods for robust generalized linear models (GLMs) addressing the composite and mixed response scenarios.


title: Reversible stepwise condensation polymerization with cyclization: strictly alternating co-polymerization and homopolymerization based upon two orthogonal reactions

abstract: In a preceding work [M. Lang, K. Kumar, A simple and general approach for reversible condensation polymerization with cyclization, Macromolecules 54 (2021) 7021], we have introduced a simple recursive scheme that allows to treat stepwise linear reversible polymerizations of any kind with cyclization. This approach is used to discuss the polymerization of linear Gaussian strands (LGS) with two different reactive groups $A$ and $B$ on either chain end that participate in two orthogonal reactions and the strictly alternating copolymerization of LGS that carry $A$ reactive groups with LGS equipped with type $B$ reactive groups. The former of these cases has not been discussed theoretically in literature, the latter only regarding some special cases. We provide either analytical expressions or exact numerical solutions for the general cases with and without cyclization. Weight distributions, averages, polydispersity, and the weight fractions of cyclic and linear species are computed. All numerical solutions were tested by Monte-Carlo simulations.


title: Improving the Model Consistency of Decentralized Federated Learning

abstract: To mitigate the privacy leakages and communication burdens of Federated Learning (FL), decentralized FL (DFL) discards the central server and each client only communicates with its neighbors in a decentralized communication network. However, existing DFL suffers from high inconsistency among local clients, which results in severe distribution shift and inferior performance compared with centralized FL (CFL), especially on heterogeneous data or sparse communication topology. To alleviate this issue, we propose two DFL algorithms named DFedSAM and DFedSAM-MGS to improve the performance of DFL. Specifically, DFedSAM leverages gradient perturbation to generate local flat models via Sharpness Aware Minimization (SAM), which searches for models with uniformly low loss values. DFedSAM-MGS further boosts DFedSAM by adopting Multiple Gossip Steps (MGS) for better model consistency, which accelerates the aggregation of local flat models and better balances communication complexity and generalization. Theoretically, we present improved convergence rates $\small \mathcal{O}\big(\frac{1}{\sqrt{KT}}+\frac{1}{T}+\frac{1}{K^{1/2}T^{3/2}(1-\lambda)^2}\big)$ and $\small \mathcal{O}\big(\frac{1}{\sqrt{KT}}+\frac{1}{T}+\frac{\lambda^Q+1}{K^{1/2}T^{3/2}(1-\lambda^Q)^2}\big)$ in non-convex setting for DFedSAM and DFedSAM-MGS, respectively, where $1-\lambda$ is the spectral gap of gossip matrix and $Q$ is the number of MGS. Empirically, our methods can achieve competitive performance compared with CFL methods and outperform existing DFL methods.


title: Reception Reader: Exploring Text Reuse in Early Modern British Publications

abstract: The Reception Reader is a web tool for studying text reuse in the Early English Books Online (EEBO-TCP) and Eighteenth Century Collections Online (ECCO) data. Users can: 1) explore a visual overview of the reception of a work, or its incoming connections, across time based on shared text segments, 2) interactively survey the details of connected documents, and 3) examine the context of reused text for "close reading". We show examples of how the tool streamlines research and exploration tasks, and discuss the utility and limitations of the user interface along with its current data sources.


title: Ultrafast optical control of polariton energy in an organic semiconductor microcavity

abstract: The manipulation of exciton-polaritons and their condensates is of great interest due to their applications in polariton simulators and high-speed, all-optical logic devices. Until now, methods of trapping and manipulating such condensates are not dynamically reconfigurable or result in an undesirable reduction in the exciton-photon coupling strength. Here, we present a new strategy for the ultrafast control of polariton resonances via transient modification of an optical cavity mode. We have constructed multilayer organic semiconductor microcavities that contain two absorbers: one strongly- and one weakly-coupled to the cavity photon mode. By selectively exciting the weakly-coupled absorber with ultrashort laser pulses, we modulate the cavity refractive index and generate fully-reversible blueshifts of the lower polariton branch by up to 8 meV in sub-ps timescales with no corresponding reduction in the exciton-photon coupling strength. Our work demonstrates the ability to manipulate polariton energy landscapes over ultrafast timescales with important applications in emerging computing technologies.


title: Block Diagonalization of Quaternion Circulant Matrices with Applications

abstract: It is well-known that a complex circulant matrix can be diagonalized by a discrete Fourier matrix with imaginary unit $\mathtt{i}$. The main aim of this paper is to demonstrate that a quaternion circulant matrix cannot be diagonalized by a discrete quaternion Fourier matrix with three imaginary units $\mathtt{i}$, $\mathtt{j}$ and $\mathtt{k}$. Instead, a quaternion circulant matrix can be block-diagonalized into 1-by-1 block and 2-by-2 block matrices by permuted discrete quaternion Fourier transform matrix. With such a block-diagonalized form, the inverse of a quaternion circulant matrix can be determined efficiently similar to the inverse of a complex circulant matrix. We make use of this block-diagonalized form to study quaternion tensor singular value decomposition of quaternion tensors where the entries are quaternion numbers. The applications including computing the inverse of a quaternion circulant matrix, and solving quaternion Toeplitz system arising from linear prediction of quaternion signals are employed to validate the efficiency of our proposed block diagonalized results. A numerical example of color video as third-order quaternion tensor is employed to validate the effectiveness of quaternion tensor singular value decomposition.


title: B\"uchi-like characterizations for Parikh-recognizable omega-languages

abstract: B\"uchi's theorem states that $\omega$-regular languages are characterized as languages of the form $\bigcup_i U_i V_i^\omega$, where $U_i$ and $V_i$ are regular languages. Parikh automata are automata on finite words whose transitions are equipped with vectors of positive integers, whose sum can be tested for membership in a given semi-linear set. We give an intuitive automata theoretic characterization of languages of the form $U_i V_i^\omega$, where $U_i$ and $V_i$ are Parikh-recognizable. Furthermore, we show that the class of such languages, where $U_i$ is Parikh-recognizable and $V_i$ is regular is exactly captured by a model proposed by Klaedtke and Ruess [Automata, Languages and Programming, 2003], which again is equivalent to (a small modification of) reachability Parikh automata introduced by Guha et al. [FSTTCS, 2022]. We finish this study by introducing a model that captures exactly such languages for regular $U_i$ and Parikh-recognizable $V_i$.


title: FFHR: Fully and Flexible Hyperbolic Representation for Knowledge Graph Completion

abstract: Learning hyperbolic embeddings for knowledge graph (KG) has gained increasing attention due to its superiority in capturing hierarchies. However, some important operations in hyperbolic space still lack good definitions, making existing methods unable to fully leverage the merits of hyperbolic space. Specifically, they suffer from two main limitations: 1) existing Graph Convolutional Network (GCN) methods in hyperbolic space rely on tangent space approximation, which would incur approximation error in representation learning, and 2) due to the lack of inner product operation definition in hyperbolic space, existing methods can only measure the plausibility of facts (links) with hyperbolic distance, which is difficult to capture complex data patterns. In this work, we contribute: 1) a Full Poincar\'{e} Multi-relational GCN that achieves graph information propagation in hyperbolic space without requiring any approximation, and 2) a hyperbolic generalization of Euclidean inner product that is beneficial to capture both hierarchical and complex patterns. On this basis, we further develop a \textbf{F}ully and \textbf{F}lexible \textbf{H}yperbolic \textbf{R}epresentation framework (\textbf{FFHR}) that is able to transfer recent Euclidean-based advances to hyperbolic space. We demonstrate it by instantiating FFHR with four representative KGC methods. Extensive experiments on benchmark datasets validate the superiority of our FFHRs over their Euclidean counterparts as well as state-of-the-art hyperbolic embedding methods.


title: ZipLM: Inference-Aware Structured Pruning of Language Models

abstract: The breakthrough performance of large language models (LLMs) comes with major computational footprints and high deployment costs. In this paper, we progress towards resolving this problem by proposing a novel structured compression approach for LLMs, called ZipLM. ZipLM achieves state-of-the-art accuracy-vs-speedup, while matching a set of desired target runtime speedups in any given inference environment. Specifically, given a model, a dataset, an inference environment, as well as a set of speedup targets, ZipLM iteratively identifies and removes components with the worst loss-runtime trade-off. Unlike prior methods that specialize in either the post-training/one-shot or the gradual compression setting, and only for specific families of models such as BERT (encoder) or GPT (decoder), ZipLM produces state-of-the-art compressed models across all these settings. Furthermore, ZipLM achieves superior results for a fraction of the computational cost relative to prior distillation and pruning techniques, making it a cost-effective approach for generating an entire family of smaller, faster, and highly accurate models, guaranteed to meet the desired inference specifications. In particular, ZipLM outperforms all prior BERT-base distillation and pruning techniques, such as CoFi, MiniLM, and TinyBERT. Moreover, it matches the performance of the heavily optimized MobileBERT model, obtained via extensive architecture search, by simply pruning the baseline BERT-large model. When compressing GPT2, ZipLM outperforms DistilGPT2 while being 60% smaller and 30% faster. Our code is available at: https://github.com/IST-DASLab/ZipLM.


title: Laser-assisted Fano resonance: attosecond quantum control and dynamical imaging

abstract: A Fano resonance arises from the pathway interference between discrete and continuum states, playing a fundamental role in many branches of physics, chemistry and material science. Here, we introduce the concept of a laser-assisted Fano resonance, created from two interferometric pathways that are coupled together by an additional laser field, which introduces a controllable phase delay between them and results in a generalized Fano lineshape that can be actively controlled on the {\it attosecond} time scale. Based on our experimental results of unprecedented resolution, we dynamically image a resonant electron wave packet during its evolution directly in the time domain, extracting both the amplitude and the phase, which allows for the measurement of the {\it resonant} photoionization time delay. Ab-initio calculations and simulations employing a physically transparent two-level model agree with our experimental results, laying the groundwork for extending our concepts into attosecond quantum control of complex systems.


title: Layer sliding and twisting induced electronic transitions in correlated magnetic 1T-NbSe2 bilayers

abstract: Correlated two-dimensional (2D) layers, like 1T-phases of TaS2, TaSe2 and NbSe2, exhibit rich tunability through varying interlayer couplings, which promotes the understanding of electron-correlation in the 2D limit. However, the coupling mechanism is, so far, poorly understood and was tentatively ascribed to interactions among the d_(z^2 ) orbitals of Ta or Nb atoms. Here, we theoretically show that the interlayer hybridization and localization strength of interfacial Se pz orbitals, rather than Nb d_(z^2 ) orbitals, govern the variation of electron-correlated properties upon interlayer sliding or twisting in correlated magnetic 1T-NbSe2 bilayers. Each of the both layers is in a star-of-David (SOD) charge-density-wave phase. Geometric and electronic structures, and magnetic properties of 28 different stacking configurations were examined and analyzed using density-functional-theory calculations. We found that the SOD contains a localized region (Reg-L), in which interlayer Se pz hybridization plays a paramount role in varying the energy levels of the two Hubbard bands. These variations lead to three electronic transitions among four insulating states, which demonstrated the effectiveness of interlayer interactions to modulate correlated magnetic properties in a prototypical correlated magnetic insulator.


title: The Ricci decomposition of the inertia tensor for a rigid body in arbitrary spatial dimensions

abstract: The rotations of rigid bodies in Euclidean space are characterized by their instantaneous angular velocity and angular momentum. In an arbitrary number of spatial dimensions, these quantities are represented by bivectors (antisymmetric rank-2 tensors), and they are related by a rank-4 inertia tensor. Remarkably, this inertia tensor belongs to a well-studied class of algebraic curvature tensors that have the same index symmetries as the Riemann curvature tensor used in general relativity. Any algebraic curvature tensor can be decomposed into irreducible representations of the orthogonal group via the Ricci decomposition. We calculate the Ricci decomposition of the inertia tensor for a rigid body in any number of dimensions, and we find that (unlike for the Riemann curvature tensor) its Weyl tensor is always zero, so the inertia tensor is completely characterized by its (rank-2) Ricci contraction. So unlike in general relativity, the Weyl tensor does not cause any qualitatively new phenomenology for rigid-body dynamics in $n \geq 4$ dimensions.


title: The Effect of Structural Equation Modeling on Chatbot Usage: An Investigation of Dialogflow

abstract: This study aims to understand users' perceptions of using the Dialogflow framework and verify the relationships among service awareness, task-technology fit, output quality, and TAM variables. Generalized Structured Component Analysis was employed to experiment with six hypotheses. Two hundred twenty-seven participants were recruited through the purposive non-random sampling technique. Google Forms was utilized as a medium to develop and distribute survey questionnaires to subjects of interest. The experimental results indicated that perceived ease of use and usefulness had a statistically significant and positive influence on behavioral intention. Awareness of service and output quality was considered reliable predictors of perceived usefulness. Also, perceived task-technology fit positively affected perceived ease of use. The model specification accounted for 50.04% of the total variation. The findings can be leveraged to reinforce TAM in future research in a comparative academic context to validate the hypothesis. Several practitioner recommendations and the study's limitations have been presented.


title: Learning Graph-Enhanced Commander-Executor for Multi-Agent Navigation

abstract: This paper investigates the multi-agent navigation problem, which requires multiple agents to reach the target goals in a limited time. Multi-agent reinforcement learning (MARL) has shown promising results for solving this issue. However, it is inefficient for MARL to directly explore the (nearly) optimal policy in the large search space, which is exacerbated as the agent number increases (e.g., 10+ agents) or the environment is more complex (e.g., 3D simulator). Goal-conditioned hierarchical reinforcement learning (HRL) provides a promising direction to tackle this challenge by introducing a hierarchical structure to decompose the search space, where the low-level policy predicts primitive actions in the guidance of the goals derived from the high-level policy. In this paper, we propose Multi-Agent Graph-Enhanced Commander-Executor (MAGE-X), a graph-based goal-conditioned hierarchical method for multi-agent navigation tasks. MAGE-X comprises a high-level Goal Commander and a low-level Action Executor. The Goal Commander predicts the probability distribution of goals and leverages them to assign each agent the most appropriate final target. The Action Executor utilizes graph neural networks (GNN) to construct a subgraph for each agent that only contains crucial partners to improve cooperation. Additionally, the Goal Encoder in the Action Executor captures the relationship between the agent and the designated goal to encourage the agent to reach the final target. The results show that MAGE-X outperforms the state-of-the-art MARL baselines with a 100% success rate with only 3 million training steps in multi-agent particle environments (MPE) with 50 agents, and at least a 12% higher success rate and 2x higher data efficiency in a more complicated quadrotor 3D navigation task.


title: Scanning Reflectance Anisotropy Microscopy for Multi-Material Strain Mapping

abstract: Strain-engineering of materials encompasses significant elastic deformation and leads to breaking of the lattice symmetry and as a consequence to the emergence of optical anisotropy. However, the capability to image and map local strain fields by optical microscopy is currently limited to specific materials. Here, we introduce a broadband scanning reflectance anisotropy microscope as a phase-sensitive multi-material optical platform for strain mapping. The microscope produces hyperspectral images with diffraction-limited sub-micron resolution of the near-normal incidence ellipsometric response of the sample, which is related to elastic strain by means of the elasto-optic effect. We demonstrate cutting edge strain sensitivity using a variety of materials, such as metasurfaces, semiconductors and metals. The versatility of the method to study the breaking of the lattice symmetry by simple reflectance measurements opens up the possibility to carry out non-destructive mechanical characterization of multi-material components, such as wearable electronics and optical semiconductor devices.


title: Real-Word Error Correction with Trigrams: Correcting Multiple Errors in a Sentence

abstract: Spelling correction is a fundamental task in Text Mining. In this study, we assess the real-word error correction model proposed by Mays, Damerau and Mercer and describe several drawbacks of the model. We propose a new variation which focuses on detecting and correcting multiple real-word errors in a sentence, by manipulating a Probabilistic Context-Free Grammar (PCFG) to discriminate between items in the search space. We test our approach on the Wall Street Journal corpus and show that it outperforms Hirst and Budanitsky's WordNet-based method and Wilcox-O'Hearn, Hirst, and Budanitsky's fixed windows size method.-O'Hearn, Hirst, and Budanitsky's fixed windows size method.