title: Final state observability estimates and cost-uniform approximate null-controllability for bi-continuous semigroups

abstract: We consider final state observability estimates for bi-continuous semigroups on Banach spaces, i.e. for every initial value, estimating the state at a final time $T>0$ by taking into account the orbit of the initial value under the semigroup for $t\in [0,T]$, measured in a suitable norm. We state a sufficient criterion based on an uncertainty relation and a dissipation estimate and provide two examples of bi-continuous semigroups which share a final state observability estimate, namely the Gauss-Weierstrass semigroup and the Ornstein-Uhlenbeck semigroup on the space of bounded continuous functions. Moreover, we generalise the duality between cost-uniform approximate null-controllability and final state observability estimates to the setting of locally convex spaces for the case of bounded and continuous control functions, which seems to be new even for the Banach spaces case.


title: Simulating Majorana zero modes on a noisy quantum processor

abstract: The simulation of systems of interacting fermions is one of the most anticipated applications of quantum computers. The most interesting simulations will require a fault-tolerant quantum computer, and building such a device remains a long-term goal. However, the capabilities of existing noisy quantum processors have steadily improved, sparking an interest in running simulations that, while not necessarily classically intractable, may serve as device benchmarks and help elucidate the challenges to achieving practical applications on near-term devices. Systems of non-interacting fermions are ideally suited to serve these purposes. While they display rich physics and generate highly entangled states when simulated on a quantum processor, their classical tractability enables experimental results to be verified even at large system sizes that would typically defy classical simulation. In this work, we use a noisy superconducting quantum processor to prepare Majorana zero modes as eigenstates of the Kitaev chain Hamiltonian, a model of non-interacting fermions. Our work builds on previous experiments with non-interacting fermionic systems. Previous work demonstrated error mitigation techniques applicable to the special case of Slater determinants. Here, we show how to extend these techniques to the case of general fermionic Gaussian states, and demonstrate them by preparing Majorana zero modes on systems of up to 7 qubits.


title: Exploring Diversity in Back Translation for Low-Resource Machine Translation

abstract: Back translation is one of the most widely used methods for improving the performance of neural machine translation systems. Recent research has sought to enhance the effectiveness of this method by increasing the 'diversity' of the generated translations. We argue that the definitions and metrics used to quantify 'diversity' in previous work have been insufficient. This work puts forward a more nuanced framework for understanding diversity in training data, splitting it into lexical diversity and syntactic diversity. We present novel metrics for measuring these different aspects of diversity and carry out empirical analysis into the effect of these types of diversity on final neural machine translation model performance for low-resource English$\leftrightarrow$Turkish and mid-resource English$\leftrightarrow$Icelandic. Our findings show that generating back translation using nucleus sampling results in higher final model performance, and that this method of generation has high levels of both lexical and syntactic diversity. We also find evidence that lexical diversity is more important than syntactic for back translation performance.


title: LiYbSe2: Frustrated Magnetism in a New Pyrochlore Lattice

abstract: Three-dimensionally (3D) frustrated magnets generally exist in the magnetic diamond and pyrochlore lattices, in which quantum fluctuations suppress magnetic orders and generate highly entangled ground states (GS). LiYbSe2 in a previously unreported pyrochlore lattice was discovered from LiCl flux growth. Distinct from the quantum spin liquid (QSL) candidate NaYbSe2 hosting a perfect triangular lattice of Yb3+, LiYbSe2 crystallizes in the cubic pyrochlore structure with space group Fd-3m (No. 227). The Yb3+ ions in LiYbSe2 are arranged on a network of corner-sharing tetrahedra, which is particularly susceptible to geometrical frustration. According to our temperature-dependent magnetic susceptibility measurements, the dominant antiferromagnetic interaction in LiYbSe2 is expected to appear around 8 K. However, no long-range magnetic order is detected in thermomagnetic measurements above 70 mK. Specific heat measurements also show magnetic correlations shifting with applied magnetic field with a degree of missing entropy that may be related to the slight mixture of Yb3+ on the Li site. Such magnetic frustration of Yb3+ is rare in pyrochlore structures. Thus, LiYbSe2 shows promises in intrinsically realizing disordered quantum states like QSL in pyrochlore structures.


title: The Fully Convolutional Transformer for Medical Image Segmentation

abstract: We propose a novel transformer model, capable of segmenting medical images of varying modalities. Challenges posed by the fine grained nature of medical image analysis mean that the adaptation of the transformer for their analysis is still at nascent stages. The overwhelming success of the UNet lay in its ability to appreciate the fine-grained nature of the segmentation task, an ability which existing transformer based models do not currently posses. To address this shortcoming, we propose The Fully Convolutional Transformer (FCT), which builds on the proven ability of Convolutional Neural Networks to learn effective image representations, and combines them with the ability of Transformers to effectively capture long-term dependencies in its inputs. The FCT is the first fully convolutional Transformer model in medical imaging literature. It processes its input in two stages, where first, it learns to extract long range semantic dependencies from the input image, and then learns to capture hierarchical global attributes from the features. FCT is compact, accurate and robust. Our results show that it outperforms all existing transformer architectures by large margins across multiple medical image segmentation datasets of varying data modalities without the need for any pre-training. FCT outperforms its immediate competitor on the ACDC dataset by 1.3%, on the Synapse dataset by 4.4%, on the Spleen dataset by 1.2% and on ISIC 2017 dataset by 1.1% on the dice metric, with up to five times fewer parameters. Our code, environments and models will be available via GitHub.


title: Weak Ramanujan property of the standard non-uniform arithmetic quotient of $PGL_4$

abstract: Let $F$ be a field of formal series over a finite field and $\mathcal{B}_d$ be the affine building associated to $PGL_d(F)$. Given a lattice $\Gamma$ in $PGL_d(F)$, the complex arising as a quotient $\Gamma\backslash \mathcal{B}_d$ is called weakly Ramanujan if every non-tivial discrete simultaneous spectrum of the colored adjacency operators $A_1,A_2,\ldots,A_{d-1}$ acting on $L^2(\Gamma\backslash \mathcal{B}_d)$ is contained in the simultaneous spectrum of those operators acting on $L^2(\mathcal{B})$. In this paper, we prove that the standard non-uniform arithmetic quotient $PGL_4(\mathbb{F}_q[t])\backslash \mathcal{B}_4$ of $PGL_4(F)$ is weakly Ramanujan.


title: RMT-Net: Reject-aware Multi-Task Network for Modeling Missing-not-at-random Data in Financial Credit Scoring

abstract: In financial credit scoring, loan applications may be approved or rejected. We can only observe default/non-default labels for approved samples but have no observations for rejected samples, which leads to missing-not-at-random selection bias. Machine learning models trained on such biased data are inevitably unreliable. In this work, we find that the default/non-default classification task and the rejection/approval classification task are highly correlated, according to both real-world data study and theoretical analysis. Consequently, the learning of default/non-default can benefit from rejection/approval. Accordingly, we for the first time propose to model the biased credit scoring data with Multi-Task Learning (MTL). Specifically, we propose a novel Reject-aware Multi-Task Network (RMT-Net), which learns the task weights that control the information sharing from the rejection/approval task to the default/non-default task by a gating network based on rejection probabilities. RMT-Net leverages the relation between the two tasks that the larger the rejection probability, the more the default/non-default task needs to learn from the rejection/approval task. Furthermore, we extend RMT-Net to RMT-Net++ for modeling scenarios with multiple rejection/approval strategies. Extensive experiments are conducted on several datasets, and strongly verifies the effectiveness of RMT-Net on both approved and rejected samples. In addition, RMT-Net++ further improves RMT-Net's performances.


title: Hard superconducting gap in germanium

abstract: The co-integration of spin, superconducting, and topological systems is emerging as an exciting pathway for scalable and high-fidelity quantum information technology. High-mobility planar germanium is a front-runner semiconductor for building quantum processors with spin-qubits, but progress with hybrid superconductor-semiconductor devices is hindered because obtaining a superconducting gap free of subgap states (hard gap) has proven difficult. Here we solve this challenge by developing a low-disorder, oxide-free interface between high-mobility planar germanium and a germanosilicide parent superconductor. This superconducting contact is formed by the thermally-activated solid phase reaction between a metal (Pt) and the semiconductor heterostructure (Ge/SiGe). Electrical characterization reveals near-unity transparency in Josephson junctions and, importantly, a hard induced superconducting gap in quantum point contacts. Furthermore, we demonstrate phase control of a Josephson junction and study transport in a gated two-dimensional superconductor-semiconductor array towards scalable architectures. These results expand the quantum technology toolbox in germanium and provide new avenues for exploring monolithic superconductor-semiconductor quantum circuits towards scalable quantum information processing.


title: Improved bounds on Lorentz violation from composite-pulse Ramsey spectroscopy in a trapped ion

abstract: In attempts to unify the four known fundamental forces in a single quantum-consistent theory, it is suggested that Lorentz symmetry may be broken at the Planck scale. Here we search for Lorentz violation at the low-energy limit by comparing orthogonally oriented atomic orbitals in a Michelson-Morley-type experiment. We apply a robust radiofrequency composite pulse sequence in the $^2F_{7/2}$ manifold of an Yb$^+$ ion, extending the coherence time from 200 $\mu$s to more than 1 s. In this manner, we fully exploit the high intrinsic susceptibility of the $^2F_{7/2}$ state and take advantage of its exceptionally long lifetime. We match the stability of the previous best Lorentz symmetry test nearly an order of magnitude faster and improve the constraints on the symmetry breaking coefficients to the 10$^{-21}$ level. These results represent the most stringent test of this type of Lorentz violation. The demonstrated method can be further extended to ion Coulomb crystals.


title: The Reverse Mathematics of CAC for trees

abstract: CAC for trees is the statement asserting that any infinite subtree of $\mathbb{N}^{<\mathbb{N}}$ has an infinite path or an infinite antichain. In this paper, we study the computational strength of this theorem from a reverse mathematical viewpoint. We prove that TAC for trees is robust, that is, there exist several characterizations, some of which already appear in the literature, namely, the tree antichain theorem (TCAC) introduced by Conidis, and the statement SHER introduced by Dorais et al. We show that CAC for trees is computationally very weak, in that it admits probabilistic solutions.


title: Discrete-velocity-direction models of BGK-type with minimum entropy: I. Basic idea

abstract: In this series of works, we develop a discrete-velocity-direction model (DVDM) with collisions of BGK-type for simulating rarefied flows. Unlike the conventional kinetic models (both BGK and discrete-velocity models), the new model restricts the transport to finite fixed directions but leaves the transport speed to be a 1-D continuous variable. Analogous to the BGK equation, the discrete equilibriums of the model are determined by minimizing a discrete entropy. In this first paper, we introduce the DVDM and investigate its basic properties, including the existence of the discrete equilibriums and the $H$-theorem. We also show that the discrete equilibriums can be efficiently obtained by solving a convex optimization problem. The proposed model provides a new way in choosing discrete velocities for the computational practice of the conventional discrete-velocity methodology. It also facilitates a convenient multidimensional extension of the extended quadrature method of moments. We validate the model with numerical experiments for two benchmark problems at moderate computational costs.


title: Sub-radiant states for imperfect quantum emitters coupled by a nanophotonic waveguide

abstract: Coherent interactions between quantum emitters in tailored photonic structures is a fundamental building block for future quantum technologies, but remains challenging to observe in complex solid-state environments, where the role of decoherence must be considered. Here, we investigate the optical interaction between two quantum emitters mediated by one-dimensional waveguides in a realistic solid-state environment, focusing on the creation, population and detection of a sub-radiant state, in the presence of dephasing. We show that as dephasing increases, the signatures of sub-radiance quickly vanish in intensity measurements yet remain pronounced in photon correlation measurements, particularly when the two emitters are pumped separately so as to populate the sub-radiant state efficiently. The applied Green's tensor approach is used to model a photonic crystal waveguide, including the dependence on the spatial position of the integrated emitter. The work lays out a route to the experimental realization of sub-radiant states in nanophotonic waveguides containing solid-state emitters.


title: Human Wellbeing and Machine Learning

abstract: There is a vast literature on the determinants of subjective wellbeing. International organisations and statistical offices are now collecting such survey data at scale. However, standard regression models explain surprisingly little of the variation in wellbeing, limiting our ability to predict it. In response, we here assess the potential of Machine Learning (ML) to help us better understand wellbeing. We analyse wellbeing data on over a million respondents from Germany, the UK, and the United States. In terms of predictive power, our ML approaches do perform better than traditional models. Although the size of the improvement is small in absolute terms, it turns out to be substantial when compared to that of key variables like health. We moreover find that drastically expanding the set of explanatory variables doubles the predictive power of both OLS and the ML approaches on unseen data. The variables identified as important by our ML algorithms - $i.e.$ material conditions, health, and meaningful social relations - are similar to those that have already been identified in the literature. In that sense, our data-driven ML results validate the findings from conventional approaches.


title: The virtual fundamental class for the moduli space of surfaces of general type

abstract: We suggest a construction of obstruction theory on the moduli stack of index one covers over semi-log-canonical surfaces of general type. Comparing with the index one covering Deligne-Mumford stack of a semi-log-canonical surface, we define the $\lci$ covering Deligne-Mumford stack. The $\lci$ covering Deligne-Mumford stack only has locally complete intersection singularities. We construct the moduli stack of $\lci$ covers over the moduli stack of surfaces of general type and a perfect obstruction theory. The perfect obstruction theory induces a virtual fundamental class on the Chow group of the moduli stack of surfaces of general type. Thus our construction proves a conjecture of Sir Simon Donaldson for the existence of virtual fundamental class. A tautological invariant is defined by taking integration of the power of first Chern class for the CM line bundle on the moduli stack over the virtual fundamental class. This can be taken as a generalization of the tautological invariants defined by the integration of tautological classes over the moduli space $\overline{M}_g$ of stable curves to the moduli space of stable surfaces.


title: Interpolation, Prekopa and Brunn-Minkowski for $F$-subharmonicity

abstract: We extend Prekopa's Theorem and the Brunn-Minkowski Theorem from convexity to $F$-subharmonicity. We apply this to the interpolation problem of convex functions and convex sets introducing a new notion of "harmonic interpolation" that we view as a generalization of Minkowski-addition.


title: An unstable mode of the stratified atmosphere under the non-traditional Coriolis acceleration

abstract: The traditional approximation neglects the cosine components of the Coriolis acceleration, and this approximation has been widely used in the study of geophysical phenomena. However, the justification of the traditional approximation is questionable under a few circumstances. In particular, dynamics with substantial vertical velocities or geophysical phenomena in the tropics have non-negligible cosine Coriolis terms. Such cases warrant investigations with the non-traditional setting, i.e., the full Coriolis acceleration. In this manuscript, we study the effect of the non-traditional setting on an isothermal, hydrostatic and compressible atmosphere assuming a meridionally homogeneous flow. Employing linear stability analysis, we show that, given appropriate boundary conditions, i.e., a bottom boundary condition that allows for a vertical energy flux and non-reflecting boundary at the top, the atmosphere at rest becomes prone to a novel unstable mode. The validity of assuming a meridionally homogeneous flow is investigated via scale analysis. Numerical experiments were conducted, and Rayleigh damping was used as a numerical approximation for the non-reflecting top boundary. Our three main results are as follows. 1) Experiments involving the full Coriolis terms exhibit an exponentially growing instability, yet experiments subjected to the traditional approximation remain stable. 2) The experimental instability growth rate is close to the theoretical value. 3) A perturbed version of the unstable mode arises even under sub-optimal bottom boundary conditions. Finally, we conclude our study by discussing the limitations, implications, and remaining open questions. Specifically, the influence on numerical deep-atmosphere models and possible physical interpretations of the unstable mode are discussed.


title: Extending OpenKIM with an Uncertainty Quantification Toolkit for Molecular Modeling

abstract: Atomistic simulations are an important tool in materials modeling. Interatomic potentials (IPs) are at the heart of such molecular models, and the accuracy of a model's predictions depends strongly on the choice of IP. Uncertainty quantification (UQ) is an emerging tool for assessing the reliability of atomistic simulations. The Open Knowledgebase of Interatomic Models (OpenKIM) is a cyberinfrastructure project whose goal is to collect and standardize the study of IPs to enable transparent, reproducible research. Part of the OpenKIM framework is the Python package, KIM-based Learning-Integrated Fitting Framework (KLIFF), that provides tools for fitting parameters in an IP to data. This paper introduces a UQ toolbox extension to KLIFF. We focus on two sources of uncertainty: variations in parameters and inadequacy of the functional form of the IP. Our implementation uses parallel-tempered Markov chain Monte Carlo (PTMCMC), adjusting the sampling temperature to estimate the uncertainty due to the functional form of the IP. We demonstrate on a Stillinger--Weber potential that makes predictions for the atomic energies and forces for silicon in a diamond configuration. Finally, we highlight some potential subtleties in applying and using these tools with recommendations for practitioners and IP developers.


title: Subexponential mixing for partition chains on grid-like graphs

abstract: We consider the problem of generating uniformly random partitions of the vertex set of a graph such that every piece induces a connected subgraph. For the case where we want to have partitions with linearly many pieces of bounded size, we obtain approximate sampling algorithms based on Glauber dynamics which are fixed-parameter tractable with respect to the bandwidth of $G$, with simple-exponential dependence on the bandwidth. For example, for rectangles of constant or logarithmic width this gives polynomial-time sampling algorithms. More generally, this gives sub-exponential algorithms for bounded-degree graphs without large expander subgraphs (for example, we obtain $O(2^{\sqrt n})$ time algorithms for square grids). In the case where we instead want partitions with a small number of pieces of linear size, we show that Glauber dynamics can have exponential mixing time, even just for the case of 2 pieces, and even for 2-connected subgraphs of the grid with bounded bandwidth.


title: Dog nose print matching with dual global descriptor based on Contrastive Learning

abstract: Recent studies in biometric-based identification tasks have shown that deep learning methods can achieve better performance. These methods generally extract the global features as descriptor to represent the original image. Nonetheless, it does not perform well for biometric identification under fine-grained tasks. The main reason is that the single image descriptor contains insufficient information to represent image. In this paper, we present a dual global descriptor model, which combines multiple global descriptors to exploit multi level image features. Moreover, we utilize a contrastive loss to enlarge the distance between image representations of confusing classes. The proposed framework achieves the top2 on the CVPR2022 Biometrics Workshop Pet Biometric Challenge. The source code and trained models are publicly available at: https://github.com/flyingsheepbin/pet-biometrics


title: Zeptosecond Angular Streak Camera

abstract: Time-resolved electronic processes on the attosecond scale have recently become experimentally accessible through the development of laser-based pump-probe interrogation techniques such as the attosecond streak camera, the reconstruction of attosecond beating by interference of two-photon transitions, and the attoclock. In this work, we demonstrate that by combining the concepts of the attosecond streak camera and the attoclock, time resolved processes down to the time scale of tens of zeptoseconds come into reach. Key to advancing to this remarkable level of time precision by this method termed the zeptosecond angular streak camera (ZASC) is its substantial intrinsic time-information redundancy. The ZASC results in a remarkably simple streaking trace, which is largely independent of the precise temporal structure of the streaking pulse, thereby bypassing the need for detailed characterization of the streaking field. Moreover, it is capable of retrieving information on the duration of the pump pulse. It is also capable of reaching attosecond-level precision in a single-shot mode that may be useful for free-electron-laser experiments. This concept promises to open pathways towards the chronoscopy of zeptosecond-level ultrafast processes.


title: The elements of flexibility for task-performing systems

abstract: What makes living systems flexible so that they can react quickly and adapt easily to changing environments? This question has not only engaged biologists for decades but is also of great interest to computer scientists and engineers who seek inspiration from nature to increase the flexibility of task-performing systems such as machine learning systems, robots, or manufacturing systems. In this paper, we give a broad overview of design features of living systems that are known to promote flexibility. We call these design features the "elements of flexibility". Moreover, to facilitate interdisciplinary, bio-inspired research that brings the elements of flexibility to man-made task-performing systems, we introduce a general formalism for system flexibility optimization. The formalism is intended to (i) provide a common language to communicate ideas about system flexibility among researchers with different backgrounds, (ii) help to understand and compare existing research on system flexibility, e.g., in transfer learning or manufacturing flexibility, and (iii) provide a basis for a general theory of system flexibility optimization.


title: Calibrate and Debias Layer-wise Sampling for Graph Convolutional Networks

abstract: Multiple sampling-based methods have been developed for approximating and accelerating node embedding aggregation in graph convolutional networks (GCNs) training. Among them, a layer-wise approach recursively performs importance sampling to select neighbors jointly for existing nodes in each layer. This paper revisits the approach from a matrix approximation perspective, and identifies two issues in the existing layer-wise sampling methods: suboptimal sampling probabilities and estimation biases induced by sampling without replacement. To address these issues, we accordingly propose two remedies: a new principle for constructing sampling probabilities and an efficient debiasing algorithm. The improvements are demonstrated by extensive analyses of estimation variance and experiments on common benchmarks. Code and algorithm implementations are publicly available at https://github.com/ychen-stat-ml/GCN-layer-wise-sampling .


title: Possible unconventional order parameter in single crystals of SrPt$_3$P superconductor

abstract: Anisotropic properties of single crystals of SrPt$_{3}$P were studied using London penetration depth and electrical resistivity measurements. The upper critical field, $H_{c2}(T)$, was determined from four-probe electrical resistivity measurements for three orthogonal directions of a magnetic field with respect to the crystal. The London penetration depth, $\lambda(T)$, was determined from the magnetic susceptibility of the Meissner-London state measured using a tunnel-diode resonator technique. Whereas $H_{c2}(T)$ and the normal-state $\rho(T)$ are practically identical for all three magnetic field orientations, the London penetration depth shows significant unidirectional anisotropy. The low-temperature $\lambda(T)$ is exponentially attenuated when a small excitation radiofrequency magnetic field, $H_{rf}$, is applied along the $c"-$direction, in which case screening currents flow in the $a"b"-$ plane, while for the other two orientations, $H_{rf}\parallel a"$ and $H_{rf}\parallel b"$, the London penetration depth shows a much weaker, $\lambda(T)\sim T^{2}$, variation. Such unusual and contrasting behavior of the two anisotropies, $\gamma_{H}\left(T\right)=H_{c2,ab}/H_{c2,c}=\xi_{ab}/\xi_{c}$ and $\gamma_{\lambda}\left(T\right)=\lambda_{c}/\lambda_{ab}$, imposes significant constraints on the possible order parameter. Although our measurements are insufficient to derive conclusively the superconducting gap anisotropy, qualitatively, order parameter with two point nodes and a modulation in the perpendicular direction is consistent with the experimental observations.


title: Convergence rates of individual Ritz values in block preconditioned gradient-type eigensolvers

abstract: Many popular eigensolvers for large and sparse Hermitian matrices or matrix pairs can be interpreted as accelerated block preconditioned gradient (BPG) iterations in order to analyze their convergence behavior by composing known estimates. An important feature of BPG is the cluster robustness, i.e., reasonable performance for computing clustered eigenvalues is ensured by a sufficiently large block size. This feature can easily be explained for exact-inverse (exact shift-inverse) preconditioning by adapting classical estimates on nonpreconditioned eigensolvers, whereas the existing results for more general preconditioning are still improvable. We expect to extend certain sharp estimates for the corresponding vector iterations to BPG where proper bounds of convergence rates of individual Ritz values are to be derived. Such an extension has been achieved for BPG with fixed step sizes in [Math. Comp. 88 (2019), 2737--2765]. The present paper deals with the more practical case that the step sizes are implicitly optimized by the Rayleigh-Ritz method. Our new estimates improve some previous ones in view of concise and more flexible bounds.


title: Multi-Armed Bandit Problem with Temporally-Partitioned Rewards: When Partial Feedback Counts

abstract: There is a rising interest in industrial online applications where data becomes available sequentially. Inspired by the recommendation of playlists to users where their preferences can be collected during the listening of the entire playlist, we study a novel bandit setting, namely Multi-Armed Bandit with Temporally-Partitioned Rewards (TP-MAB), in which the stochastic reward associated with the pull of an arm is partitioned over a finite number of consecutive rounds following the pull. This setting, unexplored so far to the best of our knowledge, is a natural extension of delayed-feedback bandits to the case in which rewards may be dilated over a finite-time span after the pull instead of being fully disclosed in a single, potentially delayed round. We provide two algorithms to address TP-MAB problems, namely, TP-UCB-FR and TP-UCB-EW, which exploit the partial information disclosed by the reward collected over time. We show that our algorithms provide better asymptotical regret upper bounds than delayed-feedback bandit algorithms when a property characterizing a broad set of reward structures of practical interest, namely alpha-smoothness, holds. We also empirically evaluate their performance across a wide range of settings, both synthetically generated and from a real-world media recommendation problem.


title: A Geometry-Sensitive Quorum Sensing Algorithm for the Best-of-N Site Selection Problem

abstract: The house hunting behavior of the Temnothorax albipennis ant allows the colony to explore several nest choices and agree on the best one. Their behavior serves as the basis for many bio-inspired swarm models to solve the same problem. However, many of the existing site selection models in both insect colony and swarm literature test the model's accuracy and decision time only on setups where all potential site choices are equidistant from the swarm's starting location. These models do not account for the geographic challenges that result from site choices with different geometry. For example, although actual ant colonies are capable of consistently choosing a higher quality, further site instead of a lower quality, closer site, existing models are much less accurate in this scenario. Existing models are also more prone to committing to a low quality site if it is on the path between the agents' starting site and a higher quality site. We present a new model for the site selection problem and verify via simulation that is able to better handle these geographic challenges. Our results provide insight into the types of challenges site selection models face when distance is taken into account. Our work will allow swarms to be robust to more realistic situations where sites could be distributed in the environment in many different ways.


title: VTOL Failure Detection and Recovery by Utilizing Redundancy

abstract: Offering vertical take-off and landing (VTOL) capabilities and the ability to travel great distances are crucial for Urban Air Mobility (UAM) vehicles. These capabilities make hybrid VTOLs the clear front-runners among UAM platforms. On the other hand, concerns regarding the safety and reliability of autonomous aircraft have grown in response to the recent growth in aerial vehicle usage. As a result, monitoring the aircraft status to report any failures and recovering to prevent the loss of control when a failure happens are becoming increasingly important. Hybrid VTOLs can withstand some degree of actuator failure due to their intrinsic redundancy. Their aerodynamic performance, design, modeling, and control have all been addressed in the previous studies. However, research on their potential fault tolerance is still a less investigated field. In this workshop, we will present a summary of our work on aircraft fault detection and the recovery of our hybrid VTOL. First, we will go over our real-time aircraft-independent system for detecting actuator failures and abnormal behaviors. Then, in the context of our custom tiltrotor VTOL aircraft design, we talk about our optimization-based control allocation system, which utilizes the vehicle's configuration redundancy to recover from different actuation failures. Finally, we explore the ideas of how these parts can work together to provide a fail-safe system. We present our simulation and real-life experiments.


title: Elementary Proofs of Representation by Ternary Quadratic Forms

abstract: Mordell in 1958 gave a new proof of the three squares theorem. Those techniques were generalized by Blackwell, et al., in 2016 to characterize the integers represented by the remaining six "Ramanujan-Dickson ternaries". We continue the generalization of these techniques to four additional forms.


title: A validation of the short-form classroom community scale for undergraduate mathematics and statistics students

abstract: This study examines Cho and Demmans Epp's short-form adaptation of Rovai's well-known Classroom Community Scale (CCS-SF) as a measure of classroom community among introductory undergraduate math and statistics students. A series of statistical analyses were conducted to investigate the validity of the CCS-SF for this new population. Data were collected from 351 students enrolled in 21 online classes, offered for credit in Fall 2020 and Spring 2021 at a private university in the United States. Further confirmatory analysis was conducted with data from 128 undergraduates enrolled in 13 in-person and hybrid classes, offered for credit in Fall 2021 at the same institution. Following Rovai's original 20-item CCS, the 8-item CCS-SF yields two interpretable factors, connectedness and learning. This study confirms the two-factor structure of the CCS-SF, and concludes that it is a valid measure of classroom community among undergraduate students enrolled in remote, hybrid, and in-person introductory mathematics and statistics courses.


title: Commutation simulator for open quantum dynamics

abstract: Recent progress in quantum simulation and algorithms has demonstrated a rapid expansion in capabilities. The search continues for new techniques and applications to exploit quantum advantage. Here we propose an innovative method to investigate directly the properties of a time-dependent density operator $\hat{\rho}(t)$. Using generalised quantum commutation simulators, we can directly compute the expectation value of the commutation relation and thus of the rate of change of $\hat{\rho}(t)$. The approach can be utilised as a quantum eigen-vector solver for the von Neumann equation and a decoherence investigator for the Lindblad equation, by using just the statistics of single-qubit measurements. A simple but important example is demonstrated in the single-qubit case and we discuss extension of the method for practical quantum simulation with many qubits, towards investigation of more realistic quantum systems.


title: Stopping Silent Sneaks: Defending against Malicious Mixes with Topological Engineering

abstract: Mixnets provide strong meta-data privacy and recent academic research and industrial projects have made strides in making them more secure, performance, and scalable. In this paper, we focus our work on stratified Mixnets -- a popular design with real-world adoption -- and identify that there still exist heretofore inadequately explored practical aspects such as: relay sampling and topology placement, network churn, and risks due to real-world usage patterns. We show that, due to the lack of incorporating these aspects, Mixnets of this type are far more susceptible to user deanonymization than expected. In order to reason and resolve these issues, we model Mixnets as a three-stage ``Sample-Placement-Forward'' pipeline, and using the results of our evaluation propose a novel Mixnet design, Bow-Tie. Bow-Tie mitigates user deanonymization through a novel adaption of Tor's guard design with an engineered guard layer and client guard-logic for stratified mixnets. We show that Bow-Tie has significantly higher user anonymity in the dynamic setting, where the Mixnet is used over a period of time, and is no worse in the static setting, where the user only sends a single message. We show the necessity of both the guard layer and client guard-logic in tandem as well as their individual effect when incorporated into other reference designs. Ultimately, Bow-Tie is a significant step towards addressing the gap between the design of Mixnets and practical deployment and wider adoption because it directly addresses real-world user and Mixnet operator concerns.


title: Design Study of a Dielectric Laser Undulator

abstract: Dielectric laser acceleration (DLA) achieves remarkable gradients from the optical near fields of a grating structure. Tilting the dielectric grating with respect to the electron beam leads to deflection forces and the DLA structure can be utilized as a microchip undulator. We investigate the beam dynamics in such structures analytically and by numerical simulations. A crucial challenge is to keep the beam focused, especially in direction of the narrow channel. An alternating phase focusing scheme is optimized for this purpose and matched lattice functions are obtained. We distinguish synchronous operation with phase jumps in the grating and asynchronous operation with a strictly periodic grating and well-designed synchronicity mismatch. Especially the asynchronous DLA undulator is a promising approach, since a simple, commercially available grating suffices for the focusing lattice design. We pave the way towards experiments of radiation generation in these structures and provide estimates of the emitted radiation wavelength and power. The analytical models are validated by numerical simulations in the dedicated DLA simulation tool DLAtrack6D and Astra, where the underlying laser fields are computed by CST Studio.


title: Sparse graphs with bounded induced cycle packing number have logarithmic treewidth

abstract: A graph is $\mathcal{O}_k$-free if it does not contain $k$ pairwise vertex-disjoint and non-adjacent cycles. We prove that "sparse" (here, not containing large complete bipartite graphs as subgraphs) $\mathcal{O}_k$-free graphs have treewidth (even, feedback vertex set number) at most logarithmic in the number of vertices. This is optimal, as there is an infinite family of $\mathcal{O}_2$-free graphs without $K_{2,3}$ as a subgraph and whose treewidth is (at least) logarithmic. Using our result, we show that Maximum Independent Set and 3-Coloring in $\mathcal{O}_k$-free graphs can be solved in quasi-polynomial time. Other consequences include that most of the central NP-complete problems (such as Maximum Independent Set, Minimum Vertex Cover, Minimum Dominating Set, Minimum Coloring) can be solved in polynomial time in sparse $\mathcal{O}_k$-free graphs, and that deciding the $\mathcal{O}_k$-freeness of sparse graphs is polynomial time solvable.


title: Logic-Based Ethical Planning

abstract: In this paper we propose a framework for ethical decision making in the context of planning, with intended application to robotics. We put forward a compact but highly expressive language for ethical planning that combines linear temporal logic with lexicographic preference modelling. This original combination allows us to assess plans both with respect to an agent's values and their desires, introducing the novel concept of the morality level of an agent and moving towards multigoal, multivalue planning. We initiate the study of computational complexity of planning tasks in our setting, and we discuss potential applications to robotics.


title: Families of skew-symmetric matrices of even size

abstract: The main result of the paper is a classification of singularities of complex skew-symmetric matrix families of even size which are simple under a natural equivalence relation. The classification is obtained by appropriate suspensions of simple families of arbitrary square matrices classified by Bruce and Tari. The suspensions we are using are based on the embedding of a space of arbitrary square matrices into the space of skew-symmetric matrices of twice the size. We also show that similar relations embed Bruce's classification of simple symmetric matrix families into the Bruce-Tari simple list. Our constructions introduce a unified approach to all three simple classifications.


title: Post-Disaster Repair Crew Assignment Optimization Using Minimum Latency

abstract: Across infrastructure domains, physical damage caused by storms and other weather events often requires costly and time-sensitive repairs to restore services as quickly as possible. While recent studies have used agent-based models to estimate the cost of repairs, the implemented strategies for assignment of repair crews to different locations are generally human-driven or based on simple rules. In order to find performant strategies, we continue with an agent-based model, but approach this problem as a combinational optimization problem known as the Minimum Weighted Latency Problem for multiple repair crews. We apply a partitioning algorithm that balances the assignment of targets amongst all the crews using two different heuristics that optimize either the importance of repair locations or the travel time between them. We benchmark our algorithm on both randomly generated graphs as well as data derived from a real-world urban environment, and show that our algorithm delivers significantly better assignments than existing methods.


title: Buckling in a rotationally invariant spin-elastic model

abstract: Scanning tunneling microscopy experiments have revealed an spontaneous rippled-to-buckled transition in heated graphene sheets, in absence of any mechanical load. Several models relying on a simplified picture of the interaction between elastic and internal, electronic, degrees of freedom have been proposed to understand this phenomenon. Nevertheless, these models are not fully consistent with the classical theory of elasticity, since they do not preserve rotational invariance. Herein, we develop and analyse an alternative classical spin-elastic model that preserves rotational invariance while giving a qualitative account of the rippled-to-buckled transition. By integrating over the internal degrees of freedom, an effective free energy for the elastic modes is derived, which only depends on the curvature. Minimisation of this free energy gives rise to the emergence of different mechanical phases, whose thermodynamic stability is thoroughly analysed, both analytically and numerically. All phases are characterised by a spatially homogeneous curvature, which plays the role of the order parameter for the rippled-to-buckled transition, in both the one- and two-dimensional cases. In the latter, our focus is put on the honeycomb lattice, which is representative of actual graphene.


title: Cooling Down FaaS: Towards Getting Rid of Warm Starts

abstract: Serverless execution and most notably the Function as a Service (FaaS) model got quite some attention during the recent years. As of today, all commercial and open source implementations follow the common practice of keeping the execution environments running to achieve low function execution latency. In this paper we compare the startup latency of different available virtualization technologies, then we implement and benchmark an FaaS prototype system using IncludeOS unikernels for function execution. We show that our system can start and execute functions with essentially the same latency as AWS Lambda with its continuously running executor units. Due to the low overhead, this approach opens the possibility for simplified FaaS platforms without the resource waste and extensive monitoring requirements of existing solutions.


title: The Random First Order Transition Theory of Glasses in Real Space-Time: Instantons, Strings, Flames and Flows

abstract: Understanding structural glasses using the Random First Order Transition theory requires a description in both real space and in time, taking into account sample history. A variety of nonlinear objects enter this description, in field theory terms, when there is replica symmetry breaking: instantons, strings, flames and flows. We focus on this real space description and use it to describe the crossover to the energy landscape regime, dynamical heterogeneity, aging and the formation of shear bands in glasses under stress.


title: Quantitative invertibility of non-Hermitian random matrices

abstract: The problem of estimating the smallest singular value of random square matrices is important in connection with matrix computations and analysis of the spectral distribution. In this survey, we consider recent developments in the study of quantitative invertibility in the non-Hermitian setting, and review some applications of this line of research.


title: Recent Progress in the Theory of Bulk Photovoltaic Effect

abstract: The bulk photovoltaic effect (BPVE) occurs in solids with broken inversion symmetry and refers to DC current generation due to uniform illumination, without the need of heterostructures or interfaces, a feature that is distinct from the traditional photovoltaic effect. Its existence has been demonstrated almost 50 years ago, but predictive theories only appeared in the last ten years, allowing for the identification of different mechanisms and the determination of their relative importance in real materials. It is now generally accepted that there is an intrinsic mechanism that is insensitive to scattering, called shift current, where first-principles calculations can now give highly accurate predictions. Another important but more extrinsic mechanism, called ballistic current, is also attracting a lot of attention, but due to the complicated scattering processes, its numerical calculation for real materials is only made possible quite recently. In addition, an intrinsic ballistic current, usually referred to as injection current, will appear under circularly-polarized light and has wide application in experiments. In this article, experiments that are pertinent to the theory development are reviewed, and a significant portion is devoted to discussing the recent progress in the theories of BPVE and their numerical implementations. As a demonstration of the capability of the newly developed theories, a brief review of the materials design strategies enabled by the theory development is given. Finally, remaining questions in the BPVE field and possible future directions are discussed to inspire further investigations.


title: Close Encounters of Stars with Stellar-mass Black Hole Binaries

abstract: Many astrophysical environments, from star clusters and globular clusters to the disks of Active Galactic Nuclei, are characterized by frequent interactions between stars and the compact objects that they leave behind. Here, using a suite of $3-D$ hydrodynamics simulations, we explore the outcome of close interactions between $1M_{\odot}$ stars and binary black holes (BBHs) in the gravitational wave regime, resulting in a tidal disruption event (TDE) or a pure scattering, focusing on the accretion rates, the back reaction on the BH binary orbital parameters and the increase in the binary BH effective spin. We find that TDEs can make a significant impact on the binary orbit, which is often different from that of pure scattering. Binaries experiencing a prograde (retrograde) TDE tend to be widened (hardened) by up to $\simeq 20\%$. Initially circular binaries become more eccentric by $\lesssim 10\%$ by a prograde or retrograde TDE, whereas the eccentricity of initially eccentric binaries increases (decreases) by a retrograde (prograde) TDE by $\lesssim 5\%$. Overall a single TDE can generally result in changes of the gravitational wave-driven merger time scale by order unity. The accretion rates of both black holes are very highly super-Eddington, showing modulations (preferentially for retrograde TDEs) on a time scale of the orbital period, which can be a characteristic feature of BBH-driven TDEs. Prograde TDEs result in the effective spin parameter $\chi$ to vary by $\lesssim 0.02$ while $\chi\gtrsim -0.005$ for retrograde TDEs.


title: Visual binary stars with known orbits in Gaia EDR3

abstract: 3350 objects from the Sixth catalog of orbits of visual binary stars (ORB6) are investigated to validate Gaia EDR3 parallaxes and provide mass estimates for the systems. We show that 2/3 of binaries with 0.2 - 0.5 arcsec separation are left without a parallax solution in EDR3. A special attention is paid to 521 pairs with parallax known separately for both components. We find 16 entries that are deemed to be chance alignments of unrelated stars. At once we show examples of high-confidence binary systems with significant differences in the reported parallaxes of their components. Next we conclude that the reported Gaia EDR3 parallax errors are underestimated, at least by a factor of 3 for sources with large RUWE. Parallaxes are needed to estimate stellar masses. Since nearly 30\% of ORB6 entries lack 5 or 6-parameter solution in EDR3, we attempt to enrich the astrometric data. Distant companions of ORB6 entries are revealed in EDR3 by analysis of stellar proper motions and Hipparcos parallaxes. Notably, in 28 cases intrinsic EDR3 parallaxes of the binary components appear to be less reliable than the parallax of the outer companions. Gaia DR2, TGAS and Hipparcos parallaxes are used when EDR3 data is unavailable. Synthetic mass-luminosity relation in the G band for main sequence stars is obtained to provide mass estimates along with dynamical masses calculated via Kepler's Third Law.


title: Averaging and mixing for stochastic perturbations of linear conservative systems

abstract: We study stochastic perturbations of linear systems of the form $$ dv(t)+Av(t)dt = \epsilon P(v(t))dt+\sqrt{\epsilon}B(v(t)) dW (t), v\in\mathbb{R}^{D}, (*) $$ where $A$ is a linear operator with non-zero imaginary spectrum. It is assumed that the vector field $P(v)$ and the matrix-function $B(v)$ are locally Lipschitz with at most a polynomial growth at infinity, that the equation is well posed and first few moments of norms of solutions $v(t)$ are bounded uniformly in $\epsilon$. We use the Khasminski approach to stochastic averaging to show that as $\epsilon\to0$, a solution $v(t)$, written in the interaction representation in terms of operator $A$, for $0\le t \le Const\,\epsilon^{-1}$ converges in distribution to a solution of an effective equation. The latter is obtained from (*) by means of certain averaging. Assuming that eq.(*) and/or the effective equation are mixing, we examine this convergence further.


title: Topological Deep Learning: Going Beyond Graph Data

abstract: Topological deep learning is a rapidly growing field that pertains to the development of deep learning models for data supported on topological domains such as simplicial complexes, cell complexes, and hypergraphs, which generalize many domains encountered in scientific computations. In this paper, we present a unifying deep learning framework built upon a richer data structure that includes widely adopted topological domains. Specifically, we first introduce combinatorial complexes, a novel type of topological domain. Combinatorial complexes can be seen as generalizations of graphs that maintain certain desirable properties. Similar to hypergraphs, combinatorial complexes impose no constraints on the set of relations. In addition, combinatorial complexes permit the construction of hierarchical higher-order relations, analogous to those found in simplicial and cell complexes. Thus, combinatorial complexes generalize and combine useful traits of both hypergraphs and cell complexes, which have emerged as two promising abstractions that facilitate the generalization of graph neural networks to topological spaces. Second, building upon combinatorial complexes and their rich combinatorial and algebraic structure, we develop a general class of message-passing combinatorial complex neural networks (CCNNs), focusing primarily on attention-based CCNNs. We characterize permutation and orientation equivariances of CCNNs, and discuss pooling and unpooling operations within CCNNs in detail. Third, we evaluate the performance of CCNNs on tasks related to mesh shape analysis and graph learning. Our experiments demonstrate that CCNNs have competitive performance as compared to state-of-the-art deep learning models specifically tailored to the same tasks. Our findings demonstrate the advantages of incorporating higher-order relations into deep learning models in different applications.


title: Performance Study of Low Inertia Magnetorheological Actuators for Kinesthetic Haptic Devices

abstract: A challenge to high quality virtual reality (VR) simulations is the development of high-fidelity haptic devices that can render a wide range of impedances at both low and high frequencies. To this end, a thorough analytical and experimental assessment of the performance of magnetorheological (MR) actuators is performed and compared to electric motor (EM) actuation. A 2 degrees-of-freedom dynamic model of a kinesthetic haptic device is used to conduct the analytical study comparing the rendering area, rendering bandwidth, gearing and scaling of both technologies. Simulation predictions are corroborated by experimental validation over a wide range of operating conditions. Results show that, for a same output force, MR actuators can render a bandwidth over 52.9% higher than electric motors due to their low inertia. Unlike electric motors, the performance of MR actuators for use in haptic devices are not limited by their output inertia but by their viscous damping, which must be carefully addressed at the design stage.


title: On the Choice of Data for Efficient Training and Validation of End-to-End Driving Models

abstract: The emergence of data-driven machine learning (ML) has facilitated significant progress in many complicated tasks such as highly-automated driving. While much effort is put into improving the ML models and learning algorithms in such applications, little focus is put into how the training data and/or validation setting should be designed. In this paper we investigate the influence of several data design choices regarding training and validation of deep driving models trainable in an end-to-end fashion. Specifically, (i) we investigate how the amount of training data influences the final driving performance, and which performance limitations are induced through currently used mechanisms to generate training data. (ii) Further, we show by correlation analysis, which validation design enables the driving performance measured during validation to generalize well to unknown test environments. (iii) Finally, we investigate the effect of random seeding and non-determinism, giving insights which reported improvements can be deemed significant. Our evaluations using the popular CARLA simulator provide recommendations regarding data generation and driving route selection for an efficient future development of end-to-end driving models.


title: Fractal properties of particle paths due to generalised uncertainty relations

abstract: We determine the Hausdorff dimension of a particle path, $D_{\rm H}$, in the recently proposed `smeared space' model of quantum geometry. The model introduces additional degrees of freedom to describe the quantum state of the background and gives rise to both the generalised uncertainty principle (GUP) and extended uncertainty principle (EUP) without introducing modified commutation relations. We compare our results to previous studies of the Hausdorff dimension in GUP models based on modified commutators and show that the minimum length enters the relevant formulae in a different way. We then determine the Hausdorff dimension of the particle path in smeared momentum space, $\tilde{D}_{\rm H}$, and show that the minimum momentum is dual to the minimum length. For sufficiently coarse grained paths, $D_{\rm H} = \tilde{D}_{\rm H} = 2$, as in canonical quantum mechanics. However, as the resolutions approach the minimum scales, the dimensions of the paths in each representation differ, in contrast to their counterparts in the canonical theory. The GUP-induced corrections increase $D_{\rm H}$ whereas the EUP-induced corrections decrease $\tilde{D}_{\rm H}$, relative to their canonical values, and the extremal case corresponds to $D_{\rm H} = 3$, $\tilde{D}_{\rm H} = 1$. These results show that the GUP and the EUP affect the fractal properties of the particle path in fundamentally different, yet complimentary, ways.


title: Intra-strand symmetries and asymmetries in bacterial DNA: Evolutive features or relics of primordial genomes?

abstract: In this work we analyze some models used to explain the origins of intra-strand parity and strand compositional asymmetries in bacterial genomes. Due to the particular way that these two features emerge in bacterial DNA, we performed our analysis from the perspective that they are complementary phenomena that should be addressed together. Although most of the models for these features try to explain them as consequence of evolutionary mechanisms, recently it was proposed that they could be `relics' of some primordial genome that were conserved thorough out the genome evolution. We shall pay special attention to the S-H model, which is, up to the date, the unique model proposed as a possible explanation for intra-strand parity and strand compositional asymmetries in primordial genomes as mere consequence of randomness under chemical/physical constraints. In particular, we shall discuss possible directions to test some of the hypotheses of the S-H model, and we will present a possible formulation of the S-H model as an evolutive model too.


title: EISA-Score: Element Interactive Surface Area Score for Protein-Ligand Binding Affinity Prediction

abstract: Molecular surface representations have been advertised as a great tool to study protein structure and functions, including protein-ligand binding affinity modeling. However, the conventional surface-area-based methods fail to deliver a competitive performance on the energy scoring tasks. The main reason is the lack of crucial physical and chemical interactions encoded in the molecular surface generations. We present novel molecular surface representations embedded in different scales of the element interactive manifolds featuring the dramatically dimensional reduction and accurately physical and biological properties encoders. Those low-dimensional surface-based descriptors are ready to be paired with any advanced machine learning algorithms to explore the essential structure-activity relationships that give rise to the element interactive surface area-based scoring functions (EISA-score). The newly developed EISA-score has outperformed many state-of-the-art models, including various well-established surface-related representations, in standard PDBbind benchmarks.


title: Specialising Trees With Small Approximations II

abstract: We show that the existence of a well-known type of ideals on a regular cardinal $\lambda$ implies a compactness property concerning the specialisability of a tree of height $\lambda$ with no cofinal branches. We also use Neeman's method of side conditions to show that the existence of such ideals is consistent with stationarily many appropriate guessing models. These objects suffice to extend the main theorem of \cite{mhpr_spe}: one can generically specialise any branchless tree of height $\kappa^{++}$ with a ${<}\kappa$-closed, $\kappa^{+}$-proper, and $\kappa^{++}$-preserving forcing, which has the $\kappa^+$-approximation property.


title: A simple planning problem for COVID-19 lockdown: a dynamic programming approach

abstract: A large number of recent studies consider a compartmental SIR model to study optimal control policies aimed at containing the diffusion of COVID-19 while minimizing the economic costs of preventive measures. Such problems are non-convex and standard results need not to hold. We use a Dynamic Programming approach and prove some continuity properties of the value function of the associated optimization problem. We study the corresponding Hamilton-Jacobi-Bellman equation and show that the value function solves it in the viscosity sense. Finally, we discuss some optimality conditions. Our paper represents a first contribution towards a complete analysis of non-convex dynamic optimization problems, within a Dynamic Programming approach.


title: Dual-stream spatiotemporal networks with feature sharing for monitoring animals in the home cage

abstract: This paper presents a spatiotemporal deep learning approach for mouse behavioural classification in the home-cage. Using a series of dual-stream architectures with assorted modifications to increase performance, we introduce a novel feature sharing approach that jointly processes the streams at regular intervals throughout the network. To investigate the efficacy of this approach, models were evaluated by dissociating the streams and training/testing in the same rigorous manner as the main classifiers. Using an annotated, publicly available dataset of a singly-housed mice, we achieve prediction accuracy of 86.47% using an ensemble of a Inception-based network and an attention-based network, both of which utilize this feature sharing. We also demonstrate through ablation studies that for all models, the feature-sharing architectures consistently perform better than conventional ones having separate streams. The best performing models were further evaluated on other activity datasets, both mouse and human. Future work will investigate the effectiveness of feature sharing to behavioural classification in the unsupervised anomaly detection domain.


title: Light Trajectories and Thermal Shadows casted by Black Holes in a Cavity

abstract: We explore the shadows and the photon rings casted by black holes in cavity. Placing the observer inside such an isothermal background, we examine the influence of the cavity temperature T_{cav} and the charge Q on the involved optical aspect. After studying the effect of the horizon radius by varying Q, we investigate the thermal behaviors of the black hole shadows in a cavity. For fixed charge values, we find that the shadow radius r_s increases by decreasing T_{cav}. Varying such a temperture, we discuss the associated energy emission rate. After that, we show that the curves in the r_s-T_{cav} plane share similarities with the G-T curves of the Anti de Sitter (AdS) black holes. Then, we study the trajectory of the light rays casted by black holes in a cavity. We further observe that the light trajectory behaviors are different than the ones of the non rotating black holes due to the cavity effect. Finally, we provide evidence for the existence of an universal ratio defined in terms of the photon sphere radius and the impact parameter. Concretely, we obtain a optical ratio \frac{b_{sp}}{r_{sp}} \sim \sqrt 3.


title: Diffusion coefficient and power spectrum of active particles with a microscopically reversible mechanism of self-propelling

abstract: Catalytically active macromolecules are envisioned as key building blocks in development of artificial nanomotors. However, theory and experiments report conflicting findings regarding their dynamics. The lack of consensus is mostly caused by a limited understanding of specifics of self-propulsion mechanisms at the nanoscale. Here, we study a generic model of a self-propelled nanoparticle that does not rely on a particular mechanism. Instead, its main assumption is the fundamental symmetry of microscopic dynamics of chemical reactions: the principle of microscopic reversibility. Significant consequences of this assumption arise if we subject the particle to an action of an external time-periodic force. The particle diffusion coefficient is then enhanced compared to the unbiased dynamics. The enhancement can be controlled by the force amplitude and frequency. We also derive the power spectrum of particle trajectories. Among new effects stemming from the microscopic reversibility are the enhancement of the spectrum at all frequencies and sigmoid-shaped transitions and a peak at characteristic frequencies of rotational diffusion and external forcing. The microscopic reversibility is a generic property of a broad class of chemical reactions, therefore we expect that the presented results will motivate new experimental studies aimed at testing of our predictions. This could provide new insights into dynamics of catalytic macromolecules.


title: A note about extension of functions belonging to Sobolev-Grand Lebesgue Spaces

abstract: We deduce an extension theorem for the so-called Sobolev-Grand Lebesgue Spaces defined on the suitable subsets of the whole finite-dimensional Euclidean space, and estimate the norms of correspondent extension operator, which may be choosed as linear.


title: Finding global solutions for a class of possibly nonconvex QCQP problems through the S-lemma

abstract: In this paper we provide necessary and sufficient (KKT) conditions for global optimality for a new class of possibly nonconvex quadratically constrained quadratic programming (QCQP) problems, denoted by S-QCQP. The class consists of QCQP problems where the matrices of the quadratic components are formed by a scalar times the identity matrix. Our result relies on a generalized version of the S-Lemma, stated in the context of general QCQP problems. Moreover, we prove the exactness of the SDP and the SOCP relaxations for S-QCQP.


title: Graph Machine Learning for Design of High-Octane Fuels

abstract: Fuels with high-knock resistance enable modern spark-ignition engines to achieve high efficiency and thus low CO2 emissions. Identification of molecules with desired autoignition properties indicated by a high research octane number and a high octane sensitivity is therefore of great practical relevance and can be supported by computer-aided molecular design (CAMD). Recent developments in the field of graph machine learning (graph-ML) provide novel, promising tools for CAMD. We propose a modular graph-ML CAMD framework that integrates generative graph-ML models with graph neural networks and optimization, enabling the design of molecules with desired ignition properties in a continuous molecular space. In particular, we explore the potential of Bayesian optimization and genetic algorithms in combination with generative graph-ML models. The graph-ML CAMD framework successfully identifies well-established high-octane components. It also suggests new candidates, one of which we experimentally investigate and use to illustrate the need for further auto-ignition training data.


title: Tail estimations for normed sums of centered exchangeable random variables

abstract: We derive in this short report the exponential as well as power decreasing tail estimations for the sums of centered exchangeable random variables, alike ones for the sums of the centered independent ones.


title: Cross-View Language Modeling: Towards Unified Cross-Lingual Cross-Modal Pre-training

abstract: In this paper, we introduce Cross-View Language Modeling, a simple and effective pre-training framework that unifies cross-lingual and cross-modal pre-training with shared architectures and objectives. Our approach is motivated by a key observation that cross-lingual and cross-modal pre-training share the same goal of aligning two different views of the same object into a common semantic space. To this end, the cross-view language modeling framework considers both multi-modal data (i.e., image-caption pairs) and multi-lingual data (i.e., parallel sentence pairs) as two different views of the same object, and trains the model to align the two views by maximizing the mutual information between them with conditional masked language modeling and contrastive learning. We pre-train CCLM, a Cross-lingual Cross-modal Language Model, with the cross-view language modeling framework. Empirical results on IGLUE, a multi-lingual multi-modal benchmark, and two multi-lingual image-text retrieval datasets show that while conceptually simpler, CCLM significantly outperforms the prior state-of-the-art with an average absolute improvement of over 10%. Moreover, CCLM is the first multi-lingual multi-modal pre-trained model that surpasses the translate-test performance of representative English vision-language models by zero-shot cross-lingual transfer.


title: Acoustic Full Waveform Inversion with Hamiltonian Monte Carlo Method

abstract: Full-Waveform Inversion (FWI) is a high-resolution technique used in geophysics to evaluate the physical parameters and construct subsurface models in a noisy and limited data scenario. The ill-posed nature of the FWI turns this a challenging problem since more than one model can match the observations. In a probabilistic way, solving the FWI problem demands efficient sampling techniques to infer information on parameters and to estimate the uncertainties in high-dimensional model spaces. We investigate the feasibility of applying the Hamiltonian Monte Carlo (HMC) method in the acoustic FWI by a reflection setup containing different noise level data. We propose a new strategy for tuning the mass matrix based on the acquisition geometry of the seismic survey. Our methodology significantly improves the ability of the HMC method in reconstructing reasonable seismic models with affordable computational efforts.


title: P4DB -- The Case for In-Network OLTP (Extended Technical Report)

abstract: In this paper we present a new approach for distributed DBMSs called P4DB, that uses a programmable switch to accelerate OLTP workloads. The main idea of P4DB is that it implements a transaction processing engine on top of a P4-programmable switch. The switch can thus act as an accelerator in the network, especially when it is used to store and process hot (contended) tuples on the switch. In our experiments, we show that P4DB hence provides significant benefits compared to traditional DBMS architectures and can achieve a speedup of up to 8x.


title: Moments and tail reciprocal connections for the random variables having generalized Gamma-Weibull distributions

abstract: We establish the one-to one bilateral interrelations between an asymptotic behavior for the tail of distributions for random variables and its great moments evaluation. Our results generalize the famous Richter's ones.


title: SN 2021foa, a transitional event between a Type IIn (SN 2009ip-like) and a Type Ibn supernova

abstract: We present photometric and spectroscopic data of the unusual interacting supernova (SN) 2021foa. It rose to an absolute magnitude peak of $M_r=-18$ mag in 20 days. The initial light curve decline shows some luminosity fluctuations before a long-lasting flattening. A faint source ($M_r\sim -14$ mag) was detected in the weeks preceding the main event, showing a slow-rising luminosity trend. The $r$-band absolute light curve is very similar to those of SN 2009ip-like events, with a faint and shorter duration brightening (`Event A') followed by a much brighter peak (`Event B'). The early spectra of SN 2021foa show a blue continuum with narrow ($v_{FWHM}\sim$400 km s$^{-1}$) H emission lines, that, two weeks later, reveal a complex profile, with a narrow P Cygni on top of an intermediate-width ($v_{FWHM}\sim$2700 km s$^{-1}$) component. At +12 days metal lines in emission appear, while \Hei lines become very strong, with \Hei~$\lambda$5876 reaching half of the \Ha luminosity, much higher than in previous SN 2009ip-like objects. We propose SN 2021foa to be a transitional event between the H-rich SN 2009ip-like SNe and the He-rich Type Ibn SNe.


title: Regular Convergence and Finite Element Methods for Eigenvalue Problems

abstract: Regular convergence, together with various other types of convergence, has been studied since the 1970s for the discrete approximations of linear operators. In this paper, we consider the eigenvalue approximation of compact operators whose spectral problem can be written as the eigenvalue problem of some holomophic Fredholm operator function. Focusing on the finite element methods (conforming, discontinuous Galerkin, etc.), we show that the regular convergence of discrete holomorphic operator functions follows from the approximation property of the finite element spaces and the compact convergence of the discrete operators in some suitable Sobolev space. The convergence for eigenvalues is then obtained using the discrete approximation theory for the eigenvalue problems of holomorphic Fredholm operator functions. The result can be used to show the convergence of various finite element methods for eigenvalue problems such as the Dirhcilet eigenvalue problem and the biharmonic eigenvalue problem.


title: Symplectic methods in the numerical search of orbits in real-life planetary systems

abstract: The intention of this article is to illustrate the use of methods from symplectic geometry for practical purposes. Our intended audience is scientists interested in orbits of Hamiltonian systems (e.g. the three-body problem). The main directions pursued in this article are: (1) given two periodic orbits, decide when they can be connected by a regular family; (2) use numerical invariants from Floer theory which help predict the existence of orbits in the presence of a bifurcation; (3) attach a sign +/- to each elliptic or hyperbolic Floquet multiplier of a closed symmetric orbit, generalizing the classical Krein--Moser sign to also include the hyperbolic case; and (4) do all of the above in a visual, easily implementable and resource-efficient way. The mathematical framework is provided by the first and third authors, where the ``Broucke stability diagram'' was rediscovered, but further refined with the above signs, and algebraically reformulated in terms of GIT quotients of the symplectic group. The advantage of the above framework is that it applies to the study of closed orbits of an arbitrary Hamiltonian system. Moreover, in the case where the system admits symmetries in the form of ``reflections'', i.e. anti-symplectic involutions, which is the case for many systems of interest, the information provided for orbits which are symmetric is richer, and one may distinguish more symmetric orbits. This is the case for several well-known families in the space mission design industry, such as the Halo orbits, which are ubiquitous in real-life space missions. We will carry out numerical work based on the cell-mapping method, for the Jupiter-Europa and the Saturn-Enceladus systems. These are currently systems of interest, falling in the agenda of space agencies like NASA, as these icy moons are considered candidates for harbouring conditions suitable for extraterrestrial life.


title: Reducing smooth functions to normal forms near critical points

abstract: The paper is devoted to "uniform" reduction of smooth functions on 2-manifolds to canonical form near critical points by some coordinate changes in some neighbourhoods of these points. For singularity types $E_6,E_8$ and $A_n$, we explicitly construct such coordinate changes and estimate from below (in terms of $C^r$-norm of the function) the radius of a required neighbourhood.


title: CLIP4IDC: CLIP for Image Difference Captioning

abstract: Image Difference Captioning (IDC) aims at generating sentences to describe differences between two similar-looking images. Conventional approaches learn an IDC model with a pre-trained and usually frozen visual feature extractor. Accordingly, two major issues may arise: (1) a large domain gap usually exists between the pre-training datasets used for training such a visual encoder and that of the downstream IDC task, and (2) the visual feature extractor, when separately encoding two images, often does not effectively encode the visual changes between two images. Due to the excellent zero-shot performance of the recently proposed CLIP, we thus propose CLIP4IDC to transfer a CLIP model for the IDC task to address those issues. Different from directly fine-tuning CLIP to generate sentences, we introduce an adaptation training process to adapt CLIP's visual encoder to capture and align differences in image pairs based on the textual descriptions. Experiments on three IDC benchmark datasets, CLEVR-Change, Spot-the-Diff, and Image-Editing-Request, demonstrate the effectiveness of CLIP4IDC.


title: Unifying Voxel-based Representation with Transformer for 3D Object Detection

abstract: In this work, we present a unified framework for multi-modality 3D object detection, named UVTR. The proposed method aims to unify multi-modality representations in the voxel space for accurate and robust single- or cross-modality 3D detection. To this end, the modality-specific space is first designed to represent different inputs in the voxel feature space. Different from previous work, our approach preserves the voxel space without height compression to alleviate semantic ambiguity and enable spatial connections. To make full use of the inputs from different sensors, the cross-modality interaction is then proposed, including knowledge transfer and modality fusion. In this way, geometry-aware expressions in point clouds and context-rich features in images are well utilized for better performance and robustness. The transformer decoder is applied to efficiently sample features from the unified space with learnable positions, which facilitates object-level interactions. In general, UVTR presents an early attempt to represent different modalities in a unified framework. It surpasses previous work in single- or multi-modality entries. The proposed method achieves leading performance in the nuScenes test set for both object detection and the following object tracking task. Code is made publicly available at https://github.com/dvlab-research/UVTR.


title: Unifying Quantum Verification and Error-Detection: Theory and Tools for Optimisations

abstract: With the advent of cloud-based quantum computing, it has become vital to provide strong guarantees that computations delegated by clients to quantum service providers have been executed faithfully. Secure - blind and verifiable - Delegated Quantum Computing (SDQC) has emerged as one of the key approaches to address this challenge, yet current protocols lack at least one of the following three ingredients: composability, noise-robustness and modularity. To tackle this question, our paper lays out the fundamental structure of SDQC protocols, namely mixing two components: the computation which the client would like the server to perform and tests that are designed to detect a server's malicious behaviour. Using this abstraction, our main technical result is a set of sufficient conditions on these components which imply the security and noise-robustness of generic SDQC protocols in the composable Abstract Cryptography framework. This is done by establishing a correspondence between these security properties and the error-detection capabilities of the test computations. Changing the types of tests and how they are mixed with the client's computation automatically yields new SDQC protocols with different security and noise-robustness capabilities. This approach thereby provides the desired modularity as our sufficient conditions on test computations simplify the steps required to prove the security of the protocols and allows to focus on the design and optimisation of test rounds to specific situations. We showcase this by systematising the search for improved SDQC protocols for Bounded-error Quantum Polynomial-time computations. The resulting protocols do not require more hardware on the server's side than what is necessary to blindly delegate the computation without verification, and they outperform all previously known results.


title: Computing the Variance of Shuffling Stochastic Gradient Algorithms via Power Spectral Density Analysis

abstract: When solving finite-sum minimization problems, two common alternatives to stochastic gradient descent (SGD) with theoretical benefits are random reshuffling (SGD-RR) and shuffle-once (SGD-SO), in which functions are sampled in cycles without replacement. Under a convenient stochastic noise approximation which holds experimentally, we study the stationary variances of the iterates of SGD, SGD-RR and SGD-SO, whose leading terms decrease in this order, and obtain simple approximations. To obtain our results, we study the power spectral density of the stochastic gradient noise sequences. Our analysis extends beyond SGD to SGD with momentum and to the stochastic Nesterov's accelerated gradient method. We perform experiments on quadratic objective functions to test the validity of our approximation and the correctness of our findings.


title: Refrigeration via purification through repeated measurements

abstract: We design a measurement-based quantum refrigerator with an arbitrary number of qubits situated in a one-dimensional array that interact through variable-range XY interactions. The method proposed is based on repeated evolution followed by a measurement on the single accessible qubit, which has the potential to reduce the temperature in the rest of the subsystems, thereby demonstrating cooling in the device. The performance of the refrigerator is quantified by the fidelity of each local subsystem with the ground state of the local Hamiltonian and the corresponding probability of success. We identify system parameters, which include the interaction strength, range of interactions, initial temperature of each qubit, and the position of the measured qubit, so that the fidelities of all the unmeasured qubits approach unity with a nonvanishing probability. We observe that although strong interactions during evolution are required to achieve cooling, the long-range interactions typically deteriorate the performance of the refrigerator, which indicates that interactions are not ubiquitous. We report the scalability and the saturation property of the success probability with respect to the system size, which turns out to be independent of the involved system parameters and the number of repeated measurements. Furthermore, we show that the number of subsystems which can be cooled changes depending on the odd or even number of sites in the refrigerator. We argue that the distribution of entanglement between unmeasured qubits can give a possible explanation of the dependence of cooling process on the measured and unmeasured sites.


title: Hybrid electrostatic-atomic accelerometer for future space gravity missions

abstract: Long term observation of temporal Earth's gravity field with enhanced temporal and spatial resolution is a major objective for future satellite gravity missions. Improving the performance of the accelerometers present in such missions is one of the main path to explore. In this context, we propose to study an original concept of a hybrid accelerometer associating a state-of-the-art electrostatic accelerometer (EA) and a promising quantum sensor based on cold atom interferometry. To assess the performance potential of such instrument, numerical simulations have been performed to determine its impact in term of gravity field retrieval. Taking advantage of the long term stability of the cold atom interferometer (CAI), it has been shown that the reduced drift of the hybrid sensor could lead to improved gravity field retrieval. Nevertheless this gain vanishes once temporal variations of the gravity field and related aliasing effects are taken into account. Improved de-aliasing models or some specific satellite constellations are then required to maximize the impact of the accelerometer performance gain. To evaluate the achievable acceleration performance in orbit, a numerical simulator of the hybrid accelerometer has been developed and preliminary results are given. The instrument simulator has been in part validated by reproducing the performance achieved with a hybrid lab prototype operating on ground. The problematic of satellite rotation impact on the CAI has been also investigated both with instrument performance simulations and experimental demonstrations. It has been shown that the proposed configuration, where the EA's proof-mass acts as the reference mirror for the CAI, seems a promising approach to allow the mitigation of satellite rotation. A preliminary design has been elaborated along with a preliminary error, mass, volume and electrical power consumption budget.


title: Speech Artifact Removal from EEG Recordings of Spoken Word Production with Tensor Decomposition

abstract: Research about brain activities involving spoken word production is considerably underdeveloped because of the undiscovered characteristics of speech artifacts, which contaminate electroencephalogram (EEG) signals and prevent the inspection of the underlying cognitive processes. To fuel further EEG research with speech production, a method using three-mode tensor decomposition (time x space x frequency) is proposed to perform speech artifact removal. Tensor decomposition enables simultaneous inspection of multiple modes, which suits the multi-way nature of EEG data. In a picture-naming task, we collected raw data with speech artifacts by placing two electrodes near the mouth to record lip EMG. Based on our evaluation, which calculated the correlation values between grand-averaged speech artifacts and the lip EMG, tensor decomposition outperformed the former methods that were based on independent component analysis (ICA) and blind source separation (BSS), both in detecting speech artifact (0.985) and producing clean data (0.101). Our proposed method correctly preserved the components unrelated to speech, which was validated by computing the correlation value between the grand-averaged raw data without EOG and cleaned data before the speech onset (0.92-0.94).


title: A modular architecture for creating multimodal agents

abstract: The paper describes a flexible and modular platform to create multimodal interactive agents. The platform operates through an event-bus on which signals and interpretations are posted in a sequence in time. Different sensors and interpretation components can be integrated by defining their input and output as topics, which results in a logical workflow for further interpretations. We explain a broad range of components that have been developed so far and integrated into a range of interactive agents. We also explain how the actual interaction is recorded as multimodal data as well as in a so-called episodic Knowledge Graph. By analysing the recorded interaction, we can analyse and compare different agents and agent components.


title: Graph Neural Networks with Precomputed Node Features

abstract: Most Graph Neural Networks (GNNs) cannot distinguish some graphs or indeed some pairs of nodes within a graph. This makes it impossible to solve certain classification tasks. However, adding additional node features to these models can resolve this problem. We introduce several such augmentations, including (i) positional node embeddings, (ii) canonical node IDs, and (iii) random features. These extensions are motivated by theoretical results and corroborated by extensive testing on synthetic subgraph detection tasks. We find that positional embeddings significantly outperform other extensions in these tasks. Moreover, positional embeddings have better sample efficiency, perform well on different graph distributions and even outperform learning with ground truth node positions. Finally, we show that the different augmentations perform competitively on established GNN benchmarks, and advise on when to use them.


title: Towards the Development of A Three-Dimensional SBP-SAT FDTD Method: Theory and Validation

abstract: To enhance the scalability and performance of the traditional finite-difference time-domain (FDTD) methods, a three-dimensional summation-by-parts simultaneous approximation term (SBP-SAT) FDTD method is developed to solve complex electromagnetic problems. It is theoretically stable and can be further used for multiple mesh blocks with different mesh sizes. This paper mainly focuses on the fundamental theoretical aspects upon its three-dimensional implementation, the SAT for various boundary conditions, and the numerical dispersion properties and the comparison with the FDTD method. The proposed SBP-SAT FDTD method inherits all the merits of the FDTD method, which is matrix-free, easy to implement, and has the same level of accuracy with a negligible overhead of runtime (0.13\%) and memory usage (1.2\%). Four numerical examples are carried out to validate the effectiveness of the proposed method.


title: Essential Fierz identities for a fermionic field

abstract: For a single fermionic field, an interpretation of the Fierz identities (which establish relations between the bilinear field observables) is given. They appear closely related to the algebraic class (regular or singular) of the spin 2-form $S$ associated to the spinor field. If $S \neq 0$, the Fierz identities follow from the 3+1 decomposition of the eigenvector equations for $S$ with respect to an inertial laboratory, which makes this interpretation suitable for fermionic particle physics models. When $S= 0$, the Fierz identities reduce to three constraints on the current densities associated with the spinor field, saying that they are orthogonal, equimodular, the vector current being timelike and the axial one being spacelike.


title: The Evolution of Investor Activism in Japan

abstract: Activist investors have gradually become a catalyst for change in Japanese companies. This study examines the impact of activist board representation on firm performance in Japan. I focus on the only two Japanese companies with activist board representation: Kawasaki Kisen Kaisha, Ltd. ("Kawasaki") and Olympus Corporation ("Olympus"). Overall, I document significant benefits from the decision to engage with activists at these companies. The target companies experience greater short- and long-term abnormal stock returns following the activist engagement. Moreover, I show operational improvements as measured by return on assets and return on equity. Activist board members also associate with important changes in payout policy that help explain the positive stock returns. My findings support the notion that Japanese companies should consider engagements with activist investors to transform and improve their businesses. Such interactions can lead to innovative and forward-thinking policies that create value for Japanese businesses and their stakeholders.


title: Energy-twisted boundary condition and response in one-dimensional quantum many-body systems

abstract: Thermal transport in condensed matter systems is traditionally formulated as a response to a background gravitational field. In this work, we seek a twisted-boundary-condition formalism for thermal transport in analogy to the $U(1)$ twisted boundary condition for electrical transport. Specifically, using the transfer matrix formalism, we introduce what we call the energy-twisted boundary condition, and study the response of the system to the boundary condition. As specific examples, we obtain the thermal Meissner stiffness of (1+1)-dimensional CFT, the Ising model, and disordered fermion models. We also identify the boost deformation of integrable systems as a bulk counterpart of the energy-twisted boundary condition. We show that the boost deformation of the free fermion chain can be solved explicitly by solving the inviscid Burgers equation. We also discuss the boost deformation of the XXZ model, and its nonlinear thermal Drude weights, by studying the boost-deformed Bethe ansatz equations.


title: Finite field models of Raleigh-Akiyama polynomials for Hecke groups

abstract: Following work of Raleigh and Akiyama (\cite{raleigh1962fourier, akiyama1992note}), in \cite{interpolating} we considered (among other objects) families of weight zero meromorphic modular forms $J_m$ for Hecke groups $G(\lambda_m)$. We conjectured in \cite{interpolating} that, for a certain uniformizing variable $X_m$, the $J_m$ have Fourier expansions $J_m = 1/X_m + \sum_{n = 0}^{\infty} A_n(m) X_m^n$, where the $A_n(x)$ are polynomials in $\mathbb{Q}[x]$. The present article is concerned with models $\mathcal{A}_n[p](x)$ of the $A_n(x)$: polynomials representing self-maps of finite fields with characteristic $p$. The main content is a conjecture specifying $\mathcal{A}_n[p](x)$ up to a multiplicative constant for certain families of $n$ and $p$, based on numerical experiments.


title: Quantifying the dust in SN 2012aw and iPTF14hls with ORBYTS

abstract: Core-collapse supernovae (CCSNe) are potentially capable of producing large quantities of dust, with strong evidence that ejecta dust masses can grow significantly over extended periods of time. Red-blue asymmetries in the broad emission lines of CCSNe can be modelled using the Monte Carlo radiative transfer code DAMOCLES, to determine ejecta dust masses. To facilitate easier use of DAMOCLES, we present a Tkinter graphical user interface (GUI) running DAMOCLES. The GUI was tested by high school students as part of the Original Research By Young Twinkle Students (ORBYTS) programme, who used it to measure the dust masses formed at two epochs in two Type IIP CCSNe: SN 2012aw and iPTF14hls, demonstrating that a wide range of people can contribute significantly to scientific advancement. Bayesian methods were used to quantify uncertainties on our model parameters. From the presence of a red scattering wing in the day 1863 H$\alpha$ profile of SN 2012aw, we were able to constrain the dust composition to large (radius $>0.1 \mu$m) silicate grains, with a dust mass of $6.0^{+21.9}_{-3.6}\times10^{-4} M_\odot$. From the day 1158 H$\alpha$ profile of SN 2012aw, we found a dust mass of $3.0^{+14}_{-2.5}\times10^{-4}$ M$_\odot$. For iPTF14hls, we found a day 1170 dust mass of 8.1 $^{+81}_{-7.6}\times10^{-5}$ M$_{\odot}$ for a dust composition consisting of 50% amorphous carbon and 50% astronomical silicate. At 1000 days post explosion, SN 2012aw and iPTF14hls have formed less dust than SN 1987A, suggesting that SN 1987A could form larger dust masses than other Type IIP's.


title: An extraction method for mobility degradation and contact resistance of graphene transistors

abstract: The intrinsic mobility degradation coefficient, contact resistance and the transconductance parameter of graphene field-effect transistors (GFETs) are extracted for different technologies by considering a novel transport model embracing mobility degradation effects within the charge channel control description. By considering the mobility degradation-based model, a straightforward extraction methodology, not provided before, is enabled by applying the concept of the well-known Y-function to the \textit{I-V} device characteristics. The method works regardless the gate device architecture. An accurate description of experimental data of fabricated devices is achieved with the underlying transport equation by using the extracted parameters. An evaluation of the channel resistance, enabled by the extracted parameters here, has been also provided.


title: Floorplan Restoration by Structure Hallucinating Transformer Cascades

abstract: This paper presents an extreme floorplan reconstruction task, a new benchmark for the task, and a neural architecture as a solution. Given a partial floorplan reconstruction inferred or curated from panorama images, the task is to reconstruct a complete floorplan including invisible architectural structures. The proposed neural network 1) encodes an input partial floorplan into a set of latent vectors by convolutional neural networks and a Transformer; and 2) reconstructs an entire floorplan while hallucinating invisible rooms and doors by cascading Transformer decoders. Qualitative and quantitative evaluations demonstrate effectiveness of our approach over the benchmark of 701 houses, outperforming the state-of-the-art reconstruction techniques. We will share our code, models, and data.


title: Importance sampling for stochastic reaction-diffusion equations in the moderate deviation regime

abstract: We develop a provably efficient importance sampling scheme that estimates exit probabilities of solutions to small-noise stochastic reaction-diffusion equations from scaled neighborhoods of a stable equilibrium. The moderate deviation scaling allows for a local approximation of the nonlinear dynamics by their linearized version. In addition, we identify a finite-dimensional subspace where exits take place with high probability. Using stochastic control and variational methods we show that our scheme performs well both in the zero noise limit and pre-asymptotically. Simulation studies for stochastically perturbed bistable dynamics illustrate the theoretical results.