title: Towards two-loop automation in OpenLoops

abstract: NLO scattering amplitudes are provided by fully automated numerical tools, such as OpenLoops, for a very wide range of processes. In order to match the numerical precision of current and future collider experiments, the higher precision of NNLO calculations is essential, and their automation in a similar tool a highly desirable goal. In our approach, D-dimensional two-loop amplitudes are decomposed into Feynman integrals with four-dimensional numerators and (D-4)-dimensional remainders. The latter are reconstructed through process-independent rational counterterm insertions into lower-loop diagrams, while the first are expressed as loop momentum tensor integrals contracted with tensor coefficients. In this article, we describe a completely generic algorithm, first presented in [1], for the efficient and numerically stable construction of these tensor coefficients. This algorithm is fully implemented in the OpenLoops framework for QED and QCD corrections to the Standard Model. For this implementation we present performance studies on numerical stability and CPU efficiency.


title: USegScene: Unsupervised Learning of Depth, Optical Flow and Ego-Motion with Semantic Guidance and Coupled Networks

abstract: In this paper we propose USegScene, a framework for semantically guided unsupervised learning of depth, optical flow and ego-motion estimation for stereo camera images using convolutional neural networks. Our framework leverages semantic information for improved regularization of depth and optical flow maps, multimodal fusion and occlusion filling considering dynamic rigid object motions as independent SE(3) transformations. Furthermore, complementary to pure photo-metric matching, we propose matching of semantic features, pixel-wise classes and object instance borders between the consecutive images. In contrast to previous methods, we propose a network architecture that jointly predicts all outputs using shared encoders and allows passing information across the task-domains, e.g., the prediction of optical flow can benefit from the prediction of the depth. Furthermore, we explicitly learn the depth and optical flow occlusion maps inside the network, which are leveraged in order to improve the predictions in therespective regions. We present results on the popular KITTI dataset and show that our approach outperforms other methods by a large margin.


title: Role of Subgradients in Variational Analysis of Polyhedral Functions

abstract: Understanding the role that subgradients play in various second-order variational analysis constructions can help us uncover new properties of important classes of functions in variational analysis. Focusing mainly on the behavior of the second subderivative and subgradient proto-derivative of polyhedral functions, functions with polyhedral epigraphs, we demonstrate that choosing the underlying subgradient, utilized in the definitions of these concepts, from the relative interior of the subdifferential of polyhedral functions ensures stronger second-order variational properties such as strict twice epi-differentiability and strict subgradient proto-differentiability. This allows us to characterize continuous differentiability of the proximal mapping and twice continuous differentiability of the Moreau envelope of polyhedral functions. We close the paper with proving the equivalence of metric regularity and strong metric regularity of a class of generalized equations at their nondegenerate solutions.


title: Rare B decays and Lepton Flavour Non Universality tests at LHCb

abstract: Summary of some of the most recent measurements performed by LHCb on rare decays and lepton favour universality tests.


title: A consistent stochastic large-scale representation of the Navier-Stokes equations

abstract: In this paper we analyze the theoretical properties of a stochastic representation of the incompressible Navier-Stokes equations defined in the framework of the modeling under location uncertainty (LU). This setup built from a stochastic version of the Reynolds transport theorem incorporates a so-called transport noise and involves several specific additional features such as a large scale diffusion term, akin to classical subgrid models, and a modified advection term arising from the spatial inhomogeneity of the small-scale velocity components. This formalism has been numerically evaluated in a series of studies with a particular interest on geophysical flows approximations and data assimilation. In this work we focus more specifically on its theoretical analysis. We demonstrate, through classical arguments, the existence of martingale solutions for the stochastic Navier-Stokes equations in LU form. We show they are pathwise and unique for 2D flows. We then prove that if the noise intensity goes to zero, these solutions converge, up to a subsequence in dimension $3$, to a solution of the deterministic Navier-Stokes equation. similarly to the grid convergence property of well established large-eddies simulation strategies, this result allows us to give some guarantee on the interpretation of the LU Navier-Stokes equations as a consistent large-scale model of the deterministic Navier-Stokes equation.


title: Approximation Theory of Total Variation Minimization for Data Completion

abstract: Total variation (TV) minimization is one of the most important techniques in modern signal/image processing, and has wide range of applications. While there are numerous recent works on the restoration guarantee of the TV minimization in the framework of compressed sensing, there are few works on the restoration guarantee of the restoration from partial observations. This paper is to analyze the error of TV based restoration from random entrywise samples. In particular, we estimate the error between the underlying original data and the approximate solution that interpolates (or approximates with an error bound depending on the noise level) the given data that has the minimal TV seminorm among all possible solutions. Finally, we further connect the error estimate for the discrete model to the sparse gradient restoration problem and to the approximation to the underlying function from which the underlying true data comes.


title: The nonlocal mean curvature flow of periodic graphs

abstract: We establish the well-posedness of the nonlocal mean curvature flow of order ${\alpha\in(0,1)}$ for periodic graphs on $\mathbb{R}^n$ in all subcritical little H\"older spaces ${\rm h}^{1+\beta}(\mathbb{T}^n)$ with $\beta\in(0,1)$. Furthermore, we prove that if the solution is initially sufficiently close to its integral mean in ${\rm h}^{1+\beta}(\mathbb{T}^n)$, then it exists globally in time and converges exponentially fast towards a constant. The proofs rely on the reformulation of the equation as a quasilinear evolution problem, which is shown to be of parabolic type by a direct localization approach, and on abstract parabolic theories for such problems.


title: Stable Invariant Models via Koopman Spectra

abstract: Weight-tied models have attracted attention in the modern development of neural networks. The deep equilibrium model (DEQ) represents infinitely deep neural networks with weight-tying, and recent studies have shown the potential of this type of approach. DEQs are needed to iteratively solve root-finding problems in training and are built on the assumption that the underlying dynamics determined by the models converge to a fixed point. In this paper, we present the stable invariant model (SIM), a new class of deep models that in principle approximates DEQs under stability and extends the dynamics to more general ones converging to an invariant set (not restricted in a fixed point). The key ingredient in deriving SIMs is a representation of the dynamics with the spectra of the Koopman and Perron--Frobenius operators. This perspective approximately reveals stable dynamics with DEQs and then derives two variants of SIMs. We also propose an implementation of SIMs that can be learned in the same way as feedforward models. We illustrate the empirical performance of SIMs with experiments and demonstrate that SIMs achieve comparative or superior performance against DEQs in several learning tasks.


title: Search for a dark leptophilic scalar produced in association with $\tau^+\tau^-$ pair in $e^+e^-$ annihilation at center-of-mass energies near 10.58 GeV

abstract: A dark leptophilic scalar $(\phi_L)$ is a hypothetical particle that couples only to leptons rather than quarks. We report on a search for $\phi_L$ in the $e^+e^- \to \tau^+ \tau^- \phi_L, ~\phi_L \to \ell^+ \ell^- ~(\ell = e, \mu)$ process using 626~\invfb of data collected by the Belle experiment near the \Y4S resonance. We validate the backgrounds with multiple control regions in data, using a novel multiclass multivariate event classifier. In absence of a signal, we quote upper limits at the 90\% confidence level on the coupling between $\phi_L$ and leptons. Our bounds, obtained in a blinded approach, are 19\% more constraining than the previous limits, averaged over the mass range $0.04 \leq m_{\phi_L} \leq 6.5~\gev$. We exclude the parameter space below 4~\gev favored by measurement of the anomalous magnetic moment of the muon.


title: Matching Patterns with Variables Under Edit Distance

abstract: A pattern $\alpha$ is a string of variables and terminal letters. We say that $\alpha$ matches a word $w$, consisting only of terminal letters, if $w$ can be obtained by replacing the variables of $\alpha$ by terminal words. The matching problem, i.e., deciding whether a given pattern matches a given word, was heavily investigated: it is NP-complete in general, but can be solved efficiently for classes of patterns with restricted structure. If we are interested in what is the minimum Hamming distance between $w$ and any word $u$ obtained by replacing the variables of $\alpha$ by terminal words (so matching under Hamming distance), one can devise efficient algorithms and matching conditional lower bounds for the class of regular patterns (in which no variable occurs twice), as well as for classes of patterns where we allow unbounded repetitions of variables, but restrict the structure of the pattern, i.e., the way the occurrences of different variables can be interleaved. Moreover, under Hamming distance, if a variable occurs more than once and its occurrences can be interleaved arbitrarily with those of other variables, even if each of these occurs just once, the matching problem is intractable. In this paper, we consider the problem of matching patterns with variables under edit distance. We still obtain efficient algorithms and matching conditional lower bounds for the class of regular patterns, but show that the problem becomes, in this case, intractable already for unary patterns, consisting of repeated occurrences of a single variable interleaved with terminals.


title: Yourfeed: Towards open science and interoperable systems for social media

abstract: Existing social media platforms (SMPs) make it incredibly difficult for researchers to conduct studies on social media, which in turn has created a knowledge gap between academia and industry about the effects of platform design on user behavior. To close the gap, we introduce Yourfeed, a research tool for conducting ecologically valid social media research. We introduce the platform architecture, as well key opportunities such as assessing the effects of exposure of content on downstream beliefs and attitudes, measuring attentional exposure via dwell time, and evaluating heterogeneous newsfeed algorithms. We discuss the underlying philosophy of interoperability for social media and future developments for the platform.


title: Zone-based verification of timed automata: extrapolations, simulations and what next?

abstract: Timed automata have been introduced by Rajeev Alur and David Dill in the early 90's. In the last decades, timed automata have become the de facto model for the verification of real-time systems. Algorithms for timed automata are based on the traversal of their state-space using zones as a symbolic representation. Since the state-space is infinite, termination relies on finite abstractions that yield a finite representation of the reachable states. The first solution to get finite abstractions was based on extrapolations of zones, and has been implemented in the industry-strength tool Uppaal. A different approach based on simulations between zones has emerged in the last ten years, and has been implemented in the fully open source tool TChecker. The simulation-based approach has led to new efficient algorithms for reachability and liveness in timed automata, and has also been extended to richer models like weighted timed automata, and timed automata with diagonal constraints and updates. In this article, we survey the extrapolation and simulation techniques, and discuss some open challenges for the future.


title: Photometric survey of the red giant V449 Cygni over half a century (1974 to 2022). A semi-regular variable star with a period of ~54 days

abstract: This study sums up a major part of the red giant V449 Cygni measurements for the years 1974 through 2022, obtained by visual and CCD GEOS observers, the Unione Astrofili Italiani, and various automatized telescopes. It appears that the light variations of V449 Cyg in the years 1970-1990 corresponded more to an L-type star according to the GCVS classification, with irregular amplitude variations, sometimes marked by a quasi-periodicity of about 100 days. Since the mid-1990s, these variations have become more regular, with an amplitude of about 0.7 magnitude in V, and a period of about 54,1 days, as shown by various period search routines applied to the best recent CCD series. A longer period of about 2000 days is possible to describe the long term variation of V449 Cyg. Therefore, V449 Cyg appears to be an SRB-type star.


title: Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources

abstract: Worst-Case Execution Time (WCET) is a key component for the verification of critical real-time applications. Yet, even the simplest microprocessors implement pipelines with concurrently-accessed resources, such as the memory bus shared by fetch and memory stages. Although their in-order pipelines are, by nature, very deterministic, the bus can cause out-of-order accesses to the memory and, therefore, timing anomalies: local timing effects that can have global effects but that cannot be easily composed to estimate the global WCET. To cope with this situation, WCET analyses have to generate important over-estimations in order to preserve safety of the computed times or have to explicitly track all possible executions. In the latter case, the presence of out-of-order behavior leads to a combinatorial blowup of the number of pipeline states for which efficient state abstractions are difficult to design. This paper proposes instead a compact and exact representation of the timings in the pipeline, using eXecution Decision Diagram (XDD) [1]. We show how XDD can be used to model pipeline states all along the execution paths by leveraging the algebraic properties of XDD. This computational model allows to compute the exact temporal behavior at control flow graph level and is amenable to efficiently and precisely support WCET calculation in presence of out-of-order bus accesses. This model is finally experimented on the TACLe benchmark suite and we observe good performance making this approach appropriate for industrial applications.


title: The Mechanical Neural Network(MNN) -- A physical implementation of a multilayer perceptron for education and hands-on experimentation

abstract: In this paper the Mechanical Neural Network(MNN) is introduced, a physical implementation of a multilayer perceptron(MLP) with ReLU activation functions, two input neurons, four hidden neurons and two output neurons. This physical model of a MLP is used in education to give a hands on experience and allow students to experience the effect of changing the parameters of the network on the output. Neurons are small wooden levers which are connected by threads. Students can adapt the weights between the neurons by moving the clamps connecting a neuron via a thread to the next. The MNN can model real valued functions and logical operators including XOR.


title: A Systematic Review and Replicability Study of BERT4Rec for Sequential Recommendation

abstract: BERT4Rec is an effective model for sequential recommendation based on the Transformer architecture. In the original publication, BERT4Rec claimed superiority over other available sequential recommendation approaches (e.g. SASRec), and it is now frequently being used as a state-of-the art baseline for sequential recommendations. However, not all subsequent publications confirmed this result and proposed other models that were shown to outperform BERT4Rec in effectiveness. In this paper we systematically review all publications that compare BERT4Rec with another popular Transformer-based model, namely SASRec, and show that BERT4Rec results are not consistent within these publications. To understand the reasons behind this inconsistency, we analyse the available implementations of BERT4Rec and show that we fail to reproduce results of the original BERT4Rec publication when using their default configuration parameters. However, we are able to replicate the reported results with the original code if training for a much longer amount of time (up to 30x) compared to the default configuration. We also propose our own implementation of BERT4Rec based on the Hugging Face Transformers library, which we demonstrate replicates the originally reported results on 3 out 4 datasets, while requiring up to 95% less training time to converge. Overall, from our systematic review and detailed experiments, we conclude that BERT4Rec does indeed exhibit state-of-the-art effectiveness for sequential recommendation, but only when trained for a sufficient amount of time. Additionally, we show that our implementation can further benefit from adapting other Transformer architectures that are available in the Hugging Face Transformers library (e.g. using disentangled attention, as provided by DeBERTa, or larger hidden layer size cf. ALBERT).


title: Multi-AGV's Temporal Memory-based RRT Exploration in Unknown Environment

abstract: With the increasing need for multi-robot for exploring the unknown region in a challenging environment, efficient collaborative exploration strategies are needed for achieving such feat. A frontier-based Rapidly-Exploring Random Tree (RRT) exploration can be deployed to explore an unknown environment. However, its' greedy behavior causes multiple robots to explore the region with the highest revenue, which leads to massive overlapping in exploration process. To address this issue, we present a temporal memory-based RRT (TM-RRT) exploration strategy for multi-robot to perform robust exploration in an unknown environment. It computes adaptive duration for each frontier assigned and calculates the frontier's revenue based on the relative position of each robot. In addition, each robot is equipped with a memory consisting of frontier assigned and share among fleets to prevent repeating assignment of same frontier. Through both simulation and actual deployment, we have shown the robustness of TM-RRT exploration strategy by completing the exploration in a 25.0m x 54.0m (1350.0m2) area, while the conventional RRT exploration strategy falls short.


title: To Multidimensional Mellin Analysis: Besov spaces, $K$-functor, approximations, frames

abstract: In the setting of the multidimensional Mellin analysis we introduce moduli of continuity and use them to define Besov-Mellin spaces. We prove that Besov-Mellin spaces are the interpolation spaces (in the sense of J.Peetre) between two Sobolev-Mellin spaces. We also introduce Bernstein-Mellin spaces and prove corresponding direct and inverse approximation theorems. In the Hilbert case we discuss Laplace-Mellin operaor and define relevant Paley-Wiener-Mellin spaces. Also in the Hilbert case we describe Besov-Mellin spaces in terms of Hilbert frames.


title: Securing name resolution in the IoT: DNS over CoAP

abstract: In this paper, we present the design, implementation, and analysis of DNS over CoAP (DoC), a new proposal for secure and privacy-friendly name resolution of constrained IoT devices. We implement different design choices of DoC in RIOT, an open-source operating system for the IoT, evaluate performance measures in a testbed, compare with DNS over UDP and DNS over DTLS, and validate our protocol design based on empirical DNS IoT data. Our findings indicate that plain DoC is on par with common DNS solutions for the constrained IoT but significantly outperforms when additional standard features of CoAP are used such as caching. With OSCORE, we can save more than 10 kBytes of code memory compared to DTLS, when a CoAP application is already present, and retain the end-to-end trust chain with intermediate proxies, while leveraging features such as group communication or encrypted en-route caching. We also discuss a compression scheme for very restricted links that reduces data by up to 70%.


title: SDSS-IV MaNGA: Global Properties of Kinematically Misaligned Galaxies

abstract: We select 456 gas-star kinematically misaligned galaxies from the internal Product Launch-10 of MaNGA survey, including 74 star-forming (SF), 136 green-valley (GV) and 206 quiescent (QS) galaxies. We find that the distributions of difference between gas and star position angles for galaxies have three local peaks at $\sim0^{\circ}$, $90^{\circ}$, $180^{\circ}$. The fraction of misaligned galaxies peaks at $\log(M_*/M_{\odot})\sim10.5$ and declines to both low and high mass end. This fraction decreases monotonically with increasing SFR and sSFR. We compare the global parameters including gas kinematic asymmetry $V_{\mathrm{asym}}$, HI detection rate and mass fraction of molecular gas, effective radius $R_e$, S\'{e}rsic index $n$ as well as spin parameter $\lambda_{R_e}$ between misaligned galaxies and their control samples. We find that the misaligned galaxies have lower HI detection rate and molecular gas mass fraction, smaller size, higher S\'{e}rsic index and lower spin parameters than their control samples. The SF and GV misaligned galaxies are more asymmetric in gas velocity fields than their controls. These observational evidences point to the gas accretion scenario followed by angular momentum redistribution from gas-gas collision, leading to gas inflow and central star formation for the SF and GV misaligned galaxies. We propose three possible origins of the misaligned QS galaxies: (1) external gas accretion; (2) merger; (3) GV misaligned galaxies evolve into QS galaxies.


title: Iterative solution of spatial network models by subspace decomposition

abstract: We present and analyze a preconditioned conjugate gradient method (PCG) for solving spatial network problems. Primarily, we consider diffusion and structural mechanics simulations for fiber based materials, but the methodology can be applied to a wide range of models, fulfilling a set of abstract assumptions. The proposed method builds on a classical subspace decomposition into a coarse subspace, realized as the restriction of a finite element space to the nodes of the spatial network, and localized subspaces with support on mesh stars. The main contribution of this work is the convergence analysis of the proposed method. The analysis translates results from finite element theory, including interpolation bounds, to the spatial network setting. A convergence rate of the PCG algorithm, only depending on global bounds of the operator and homogeneity, connectivity and locality constants of the network, is established. The theoretical results are confirmed by several numerical experiments.


title: How ornithopters can perch autonomously on a branch

abstract: Flapping wings are a bio-inspired method to produce lift and thrust in aerial robots, leading to quiet and efficient motion. The advantages of this technology are safety and maneuverability, and physical interaction with the environment, humans, and animals. However, to enable substantial applications, these robots must perch and land. Despite recent progress in the perching field, flapping-wing vehicles, or ornithopters, are to this day unable to stop their flight on a branch. In this paper, we present a novel method that defines a process to reliably and autonomously land an ornithopter on a branch. This method describes the joint operation of a flapping-flight controller, a close-range correction system and a passive claw appendage. Flight is handled by a triple pitch-yaw-altitude controller and integrated body electronics, permitting perching at 3 m/s. The close-range correction system, with fast optical branch sensing compensates for position misalignment when landing. This is complemented by a passive bistable claw design can lock and hold 2 Nm of torque, grasp within 25 ms and can re-open thanks to an integrated tendon actuation. The perching method is supplemented by a four-step experimental development process which optimizes for a successful design. We validate this method with a 700 g ornithopter and demonstrate the first autonomous perching flight of a flapping-wing robot on a branch, a result replicated with a second robot. This work paves the way towards the application of flapping-wing robots for long-range missions, bird observation, manipulation, and outdoor flight.


title: Crypto Rewards in Fundraising: Evidence from Crypto Donations to Ukraine

abstract: Extrinsic incentives such as a conditional thank-you gift have shown both positive and negative impacts on charitable fundraising. Leveraging the crypto donations to a Ukrainian fundraising plea that accepts Ether (i.e., the currency of the Ethereum blockchain) and Bitcoin (i.e., the currency of the Bitcoin blockchain) over a seven-day period, we analyze the impact of crypto rewards that lasted for more than 24 hours. Crypto rewards are newly minted tokens that are usually valueless initially and grow in value if the corresponding cause is well received. Separately, we find that crypto rewards have a positive impact on the donation count but a negative impact on the average donation size for donations from both blockchains. Comparatively, we further find that the crypto rewards lead to an 812.48% stronger donation count increase for Ethereum than Bitcoin, given that the crypto rewards are more likely to be issued on the Ethereum blockchain, which has higher programmability to support smart contracts. We also find a 30.1% stronger decrease in average donation amount from Ethereum for small donations ($\leq \$250$); the rewards pose similar impacts on the average donation size for the two blockchains for large donations ($>\$250$). Our study is the first work to look into crypto rewards as incentives for fundraising. Our findings indicate that the positive effect of crypto rewards is more likely to manifest in donation count, and the negative effect of crypto rewards is more likely to manifest in donation size.


title: On the Kinetic Energy Density Functional: The Limit of the Density Derivative Order

abstract: Within ``orbital-free'' density functional theory, it is essential to develop general kinetic energy density (KED), denoted as $t(\mathbf{r})$. This is usually done by empirical corrections and enhancements, gradient expansions, machine learning, or axiomatic approaches to find forms that satisfy physical necessities. In all cases, it is crucial to determine the largest spatial density derivative order, $m$ in, $t(\mathbf{r})$. There have been many efforts to do so, but none have proven general or conclusive and there is no clear guide on how to set $m$. In this work, we found that, by imposing KED finitude, $m=D+1$ for systems of dimension $D$. This is consistent with observations and provides a needed guide for systematically developing more accurate KEDs.


title: Steps Towards Generalization of Tensionless String Theory with Contact Interactions as Wilson loop of Non-Abelian Yang-Mills Theory

abstract: We propose a possible modification to the tensionless string model with contact interactions. The proposed model aims to reproduce an expectation value of the non-Abelian Wilson loop in the Yang-Mills theory when integrating out string degrees of freedom with a fixed worldsheet boundary. Lie algebra-valued fields whose dynamics are determined by the topological BF action are introduced on the string worldsheet to reproduce path-ordering along the worldsheet boundary. Without bulk contributions, we show that the model describes the non-Abelian Wilson loop discarding effects of self-interactions. Finally, a reproduction of the Wilson loop with three-point interaction is tested in the case of $SU(2)$


title: Communication-Efficient Diffusion Strategy for Performance Improvement of Federated Learning with Non-IID Data

abstract: Federated learning (FL) is a novel learning paradigm that addresses the privacy leakage challenge of centralized learning. However, in FL, users with non-independent and identically distributed (non-IID) characteristics can deteriorate the performance of the global model. Specifically, the global model suffers from the weight divergence challenge owing to non-IID data. To address the aforementioned challenge, we propose a novel diffusion strategy of the machine learning (ML) model (FedDif) to maximize the FL performance with non-IID data. In FedDif, users spread local models to neighboring users over D2D communications. FedDif enables the local model to experience different distributions before parameter aggregation. Furthermore, we theoretically demonstrate that FedDif can circumvent the weight divergence challenge. On the theoretical basis, we propose the communication-efficient diffusion strategy of the ML model, which can determine the trade-off between the learning performance and communication cost based on auction theory. The performance evaluation results show that FedDif improves the test accuracy of the global model by 10.37% compared to the baseline FL with non-IID settings. Moreover, FedDif improves the number of consumed sub-frames by 1.28 to 2.85 folds to the latest methods except for the model compression scheme. FedDif also improves the number of transmitted models by 1.43 to 2.67 folds to the latest methods.


title: RESECT-SEG: Open access annotations of intra-operative brain tumor ultrasound images

abstract: Purpose: Registration and segmentation of magnetic resonance (MR) and ultrasound (US) images play an essential role in surgical planning and resection of brain tumors. However, validating these techniques is challenging due to the scarcity of publicly accessible sources with high-quality ground truth information. To this end, we propose a unique annotation dataset of tumor tissues and resection cavities from the previously published RESECT dataset (Xiao et al. 2017) to encourage a more rigorous assessments of image processing techniques. Acquisition and validation methods: The RESECT database consists of MR and intraoperative US (iUS) images of 23 patients who underwent resection surgeries. The proposed dataset contains tumor tissues and resection cavity annotations of the iUS images. The quality of annotations were validated by two highly experienced neurosurgeons through several assessment criteria. Data format and availability: Annotations of tumor tissues and resection cavities are provided in 3D NIFTI formats. Both sets of annotations are accessible online in the \url{https://osf.io/6y4db}. Discussion and potential applications: The proposed database includes tumor tissue and resection cavity annotations from real-world clinical ultrasound brain images to evaluate segmentation and registration methods. These labels could also be used to train deep learning approaches. Eventually, this dataset should further improve the quality of image guidance in neurosurgery.


title: Manifolds with small curvature concentration

abstract: In this work, we construct distance like functions with integral hessian bound on manifolds with small curvature concentration and use it to construct Ricci flows on manifolds with possibly unbounded curvature. As an application, we study the geometric structure of those manifolds without bounded curvature assumption. In particular, we show that manifolds with Ricci lower bound, non-negative scalar curvature, bounded entropy, Ahlfors $n$-regular and small curvature concentration are topologically Euclidean.


title: Investigating Explanations in Conditional and Highly Automated Driving: The Effects of Situation Awareness and Modality

abstract: With the level of automation increases in vehicles, such as conditional and highly automated vehicles (AVs), drivers are becoming increasingly out of the control loop, especially in unexpected driving scenarios. Although it might be not necessary to require the drivers to intervene on most occasions, it is still important to improve drivers' situation awareness (SA) in unexpected driving scenarios to improve their trust in and acceptance of AVs. In this study, we conceptualized SA at the levels of perception (SA L1), comprehension (SA L2), and projection (SA L3), and proposed an SA level-based explanation framework based on explainable AI. Then, we examined the effects of these explanations and their modalities on drivers' situational trust, cognitive workload, as well as explanation satisfaction. A three (SA levels: SA L1, SA L2 and SA L3) by two (explanation modalities: visual, visual + audio) between-subjects experiment was conducted with 340 participants recruited from Amazon Mechanical Turk. The results indicated that by designing the explanations using the proposed SA-based framework, participants could redirect their attention to the important objects in the traffic and understand their meaning for the AV system. This improved their SA and filled the gap of understanding the correspondence of AV's behavior in the particular situations which also increased their situational trust in AV. The results showed that participants reported the highest trust with SA L2 explanations, although the mental workload was assessed higher in this level. The results also provided insights into the relationship between the amount of information in explanations and modalities, showing that participants were more satisfied with visual-only explanations in the SA L1 and SA L2 conditions and were more satisfied with visual and auditory explanations in the SA L3 condition.


title: Low-bit Shift Network for End-to-End Spoken Language Understanding

abstract: Deep neural networks (DNN) have achieved impressive success in multiple domains. Over the years, the accuracy of these models has increased with the proliferation of deeper and more complex architectures. Thus, state-of-the-art solutions are often computationally expensive, which makes them unfit to be deployed on edge computing platforms. In order to mitigate the high computation, memory, and power requirements of inferring convolutional neural networks (CNNs), we propose the use of power-of-two quantization, which quantizes continuous parameters into low-bit power-of-two values. This reduces computational complexity by removing expensive multiplication operations and with the use of low-bit weights. ResNet is adopted as the building block of our solution and the proposed model is evaluated on a spoken language understanding (SLU) task. Experimental results show improved performance for shift neural network architectures, with our low-bit quantization achieving 98.76 \% on the test set which is comparable performance to its full-precision counterpart and state-of-the-art solutions.


title: Cooperative Marine Operations via Ad Hoc Teams

abstract: While research in ad hoc teamwork has great potential for solving real-world robotic applications, most developments so far have been focusing on environments with simple dynamics. In this article, we discuss how the problem of ad hoc teamwork can be of special interest for marine robotics and how it can aid marine operations. Particularly, we present a set of challenges that need to be addressed for achieving ad hoc teamwork in underwater environments and we discuss possible solutions based on current state-of-the-art developments in the ad hoc teamwork literature.


title: Formalising Szemer\'edi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL

abstract: We have formalised Szemer\'edi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions, two major results in extremal graph theory and additive combinatorics, using the proof assistant Isabelle/HOL. For the latter formalisation, we used the former to first show the Triangle Counting Lemma and the Triangle Removal Lemma: themselves important technical results. Here, in addition to showcasing the main formalised statements and definitions, we focus on sensitive points in the proofs, describing how we overcame the difficulties that we encountered.


title: Resolution and simplification of Dombi-fuzzy relational equations and latticized optimization programming on Dombi FREs

abstract: In this paper, we introduce a type of latticized optimization problem whose objective function is the maximum component function and the feasible region is defined as a system of fuzzy relational equalities (FRE) defined by the Dombi t-norm. Dombi family of t-norms includes a parametric family of continuous strict t-norms, whose members are increasing functions of the parameter. This family of t-norms covers the whole spectrum of t-norms when the parameter is changed from zero to infinity. Since the feasible solutions set of FREs is non-convex and the finding of all minimal solutions is an NP-hard problem, designing an efficient solution procedure for solving such problems is not a trivial job. Some necessary and sufficient conditions are derived to determine the feasibility of the problem. The feasible solution set is characterized in terms of a finite number of closed convex cells. An algorithm is presented for solving this nonlinear problem. It is proved that the algorithm can find the exact optimal solution and an example is presented to illustrate the proposed algorithm.


title: Quasiparticle band alignment and stacking-independent exciton in MA$_2$Z$_4$ (M = Mo, W, Ti; A= Si, Ge; Z = N, P, As)

abstract: Motivated by the recently synthesized two-dimensional semiconducting MoSi$_2$N$_4$, we systematically investigate the quasiparticle band alignment and exciton in monolayer MA$_2$Z$_4$ (M = Mo, W, Ti; A= Si, Ge; Z = N, P, As) using ab initio GW and Bethe-Salpeter equation calculations. Compared with the results from density functional theory (DFT), our GW calculations reveal substantially more significant band gaps and different absolute quasiparticle energy but predict the same types of band alignments.


title: Periodically Spaced CaF$_2$ Semi-Insulating Thin Ribbons Growth Study on the Si(100) Surface

abstract: The use and the study of semi-insulating layers on metals and semiconductors surfaces have found continuous interest in the past decades. So far, the control of the sizes and growth location of the insulating islands on the substrate is either ill-defined or usually constrained to the use of evaporation masks which size can easily exceed tenth of nanometers. Here, we show that it is possible to grow self-organized periodically spaced thin ribbons of semi-insulating stripes on the bare Si(100) surface. The epitaxial growth of these structures is obtained by the evaporation of CaF$_2$ molecules on the silicon surface with a coverage of 1.2 monolayers. They are investigated via scanning tunneling techniques at low temperature (9K). The obtained ribbons exhibit a surface bandgap of ~3.2 eV as well as a resonant state at the central part of the ribbons at ~2.0 eV below the Fermi level energy. The use of the density functional theory allows suggesting a model structure of the observed ribbons and reproducing the experimental STM topographies. The formation of the thin ribbons is discussed and we point out the influence of the mechanical forces inside and between the structures that may influence their periodicity.


title: Explainable Sparse Knowledge Graph Completion via High-order Graph Reasoning Network

abstract: Knowledge Graphs (KGs) are becoming increasingly essential infrastructures in many applications while suffering from incompleteness issues. The KG completion task (KGC) automatically predicts missing facts based on an incomplete KG. However, existing methods perform unsatisfactorily in real-world scenarios. On the one hand, their performance will dramatically degrade along with the increasing sparsity of KGs. On the other hand, the inference procedure for prediction is an untrustworthy black box. This paper proposes a novel explainable model for sparse KGC, compositing high-order reasoning into a graph convolutional network, namely HoGRN. It can not only improve the generalization ability to mitigate the information insufficiency issue but also provide interpretability while maintaining the model's effectiveness and efficiency. There are two main components that are seamlessly integrated for joint optimization. First, the high-order reasoning component learns high-quality relation representations by capturing endogenous correlation among relations. This can reflect logical rules to justify a broader of missing facts. Second, the entity updating component leverages a weight-free Graph Convolutional Network (GCN) to efficiently model KG structures with interpretability. Unlike conventional methods, we conduct entity aggregation and design composition-based attention in the relational space without additional parameters. The lightweight design makes HoGRN better suitable for sparse settings. For evaluation, we have conducted extensive experiments-the results of HoGRN on several sparse KGs present impressive improvements (9% MRR gain on average). Further ablation and case studies demonstrate the effectiveness of the main components. Our codes will be released upon acceptance.


title: Non-separability of Physical Systems as a Foundation of Consciousness

abstract: A hypothesis is presented that non-separability of degrees of freedom is the fundamental property underlying consciousness in physical systems. The amount of consciousness in a system is determined by the extent of non-separability and the number of degrees of freedom involved. Non-interacting and feedforward systems have zero consciousness, whereas most systems of interacting particles appear to have low non-separability and consciousness. By contrast, brain circuits exhibit high complexity and weak but tightly coordinated interactions, which appear to support high non-separability and therefore high amount of consciousness. The hypothesis applies to both classical and quantum cases, and we highlight the formalism employing the Wigner function (which in the classical limit becomes the Liouville density function) as a potentially fruitful framework for characterizing non-separability and, thus, the amount of consciousness in a system. The hypothesis appears to be consistent with both the Integrated Information Theory and the Orchestrated Objective Reduction Theory and may help reconcile the two. It offers a natural explanation for the physical properties underlying the amount of consciousness and points to methods of estimating the amount of non-separability as promising ways of characterizing the amount of consciousness.


title: Euclidean integers, Euclidean ultrafilters, and Euclidean numerosities

abstract: We introduce axiomatically the ring $\bf{Z}_\kappa$ of the Euclidean integers, that can be viewed as the ``integral part" of the field $\mathbb{E}$ of Euclidean numbers of [4], where the transfinite sum of ordinal indexed $\kappa$-sequences of integers is well defined. In particular any ordinal might be identified with the transfiite sum of its characteristic function, preserving the so called natural operations. The ordered ring $\bf{Z}_\kappa$ may be obtained as an ultrapower of $\mathbb{Z}$ modulo suitable ultrafilters, thus constituting a \it{ring of nonstandard integers.} Most relevant is the \it{algebraic} characterization of the ordering: a Euclidean integer is \it{positive} if and only if it is \it{the transfinite sum of natural numbers.} This property requires the use of special ultrafilters called Euclidean, here introduced to ths end. The ring $\bf{Z}_\kappa$ allows to assign a ``Euclidean" size (\it{numerosity}) to ``ordinal Punktmengen", i.e. sets of tuples of ordinals, as the transfinite sum of their characteristic functions: so every set becomes equinumerous to a set of ordinals, the Cantorian defiitions of \it{order, addition and multiplication} are maintained, while the Euclidean principle ``the whole is greater than the part" (\it{a set is (strictly) larger than its proper subsets}) is fulfilled.


title: Augmenting Softmax Information for Selective Classification with Out-of-Distribution Data

abstract: Detecting out-of-distribution (OOD) data is a task that is receiving an increasing amount of research attention in the domain of deep learning for computer vision. However, the performance of detection methods is generally evaluated on the task in isolation, rather than also considering potential downstream tasks in tandem. In this work, we examine selective classification in the presence of OOD data (SCOD). That is to say, the motivation for detecting OOD samples is to reject them so their impact on the quality of predictions is reduced. We show under this task specification, that existing post-hoc methods perform quite differently compared to when evaluated only on OOD detection. This is because it is no longer an issue to conflate in-distribution (ID) data with OOD data if the ID data is going to be misclassified. However, the conflation within ID data of correct and incorrect predictions becomes undesirable. We also propose a novel method for SCOD, Softmax Information Retaining Combination (SIRC), that augments softmax-based confidence scores with feature-agnostic information such that their ability to identify OOD samples is improved without sacrificing separation between correct and incorrect ID predictions. Experiments on a wide variety of ImageNet-scale datasets and convolutional neural network architectures show that SIRC is able to consistently match or outperform the baseline for SCOD, whilst existing OOD detection methods fail to do so.


title: Higher-spin gravity's "string": new gauge and proof of holographic duality for the linearized Didenko-Vasiliev solution

abstract: We consider type-A higher-spin gravity in AdS_4, holographically dual to a free U(N) vector model on the boundary. We study the linearized version of the Didenko-Vasiliev "BPS black hole", which we view as this theory's equivalent of the fundamental string. The Didenko-Vasiliev solution consists of gauge fields of all spins generated by a particle-like source along a bulk geodesic, and is holographically dual to a bilocal boundary operator at the geodesic's endpoints. Our first main result is a new gauge for this solution, which makes manifest its behavior under the boundary field equation. It can be viewed as an AdS uplift of flat spacetime's de Donder gauge, but is not de Donder in AdS. To our knowledge, this gauge is novel even in the spin-2 sector, and thus provides a new expression for the linearized gravitational field of a massive point particle in (A)dS_4. Our second main result is a proof of the holographic duality between the mutual bulk action of two Didenko-Vasiliev solutions and the CFT correlator of two boundary bilocals. As an intermediate step, we show that in a bilocal->local limit, the Didenko-Vasiliev solution reproduces the standard boundary-bulk propagators of all spins. We work in the "metric-like" language of Fronsdal fields, and use the embedding-space formalism.


title: Snowmass Early Career: The Key Initiatives Organization

abstract: In April 2020, the 2019 and 2020 American Physical Society's Division of Particles and Fields (APS DPF) Early Career Executive Committee (ECEC) members were tasked with organizing the formation of a representative body for High-Energy Physics (HEP) early career members for the Snowmass process by the DPF Executive Committee. Here, we outline the structure we developed and the process we followed to help provide context and guidance for future early career Snowmass efforts. Our organization was composed of a cross-frontier branch with committees on Inreach, Diversity Equity and Inclusion, Survey, and Long Term Organizational Planning; in addition to the Frontier Coordination branch, formed by committees responsible for liaising with each Frontier. Throughout this document, the authors reflect on the triumphs and pitfalls of a program created from nothing over a very short period of time, by people with good intentions, who had no prior experience in building such an organization. Through this exercise of reflecting, we sometimes find that we would recommend a different path to our future selves. Insomuch as there are things to find fault with, it is in the robustness of the systems we built and refined.


title: Diamond surface engineering for molecular sensing with nitrogen-vacancy centers

abstract: Quantum sensing using optically addressable atomic-scale defects, such as the nitrogen--vacancy (NV) center in diamond, provides new opportunities for sensitive and highly localized characterization of chemical functionality. Notably, near-surface defects facilitate detection of the minute magnetic fields generated by nuclear or electron spins outside of the diamond crystal, such as those in chemisorbed and physisorbed molecules. However, the promise of NV centers is hindered by a severe degradation of critical sensor properties, namely charge stability and spin coherence, near surfaces (< ca. 10 nm deep). Moreover, applications in the chemical sciences require methods for covalent bonding of target molecules to diamond with robust control over density, orientation, and binding configuration. This forward-looking Review provides a survey of the rapidly converging fields of diamond surface science and NV-center physics, highlighting their combined potential for quantum sensing of molecules. We outline the diamond surface properties that are advantageous for NV-sensing applications, and discuss strategies to mitigate deleterious effects while simultaneously providing avenues for chemical attachment. Finally, we present an outlook on emerging applications in which the unprecedented sensitivity and spatial resolution of NV-based sensing could provide unique insight into chemically functionalized surfaces at the single-molecule level.


title: The DKU-OPPO System for the 2022 Spoofing-Aware Speaker Verification Challenge

abstract: This paper describes our DKU-OPPO system for the 2022 Spoofing-Aware Speaker Verification (SASV) Challenge. First, we split the joint task into speaker verification (SV) and spoofing countermeasure (CM), these two tasks which are optimized separately. For ASV systems, four state-of-the-art methods are employed. For CM systems, we propose two methods on top of the challenge baseline to further improve the performance, namely Embedding Random Sampling Augmentation (ERSA) and One-Class Confusion Loss(OCCL). Second, we also explore whether SV embedding could help improve CM system performance. We observe a dramatic performance degradation of existing CM systems on the domain-mismatched Voxceleb2 dataset. Third, we compare different fusion strategies, including parallel score fusion and sequential cascaded systems. Compared to the 1.71% SASV-EER baseline, our submitted cascaded system obtains a 0.21% SASV-EER on the challenge official evaluation set.


title: Repeating tidal disruptions in GSN 069: Long-term evolution and constraints on quasi-periodic eruptions' models

abstract: GSN 069 is the first galactic nucleus where quasi-periodic eruptions (QPEs) have been identified. These are high-amplitude, soft X-ray bursts recurring every ~9 hr, lasting ~1 hr, and during which the X-ray count rate increases by up to two orders of magnitude with respect to an otherwise stable quiescent level. The X-ray spectral properties and the long-term evolution of GSN 069 in the first few years are consistent with a long-lived tidal disruption event (TDE). Here we derive the properties of QPEs and of the long-term X-ray evolution in GSN 069 over the past 12 yr by studying timing and spectral X-ray data from 11 XMM-Newton, one Chandra, and 34 Swift observations on timescales ranging from minutes to years. QPEs in GSN 069 are a transient phenomenon with a lifetime > 1.05 yr. The QPE intensity and recurrence time oscillate and allow for alternating strong-weak QPEs and long-short recurrence times to be defined. In observations with QPEs, the quiescent level exhibits a quasi-periodic oscillation with a period equal to the average separation between consecutive QPEs. The QPE spectral evolution is consistent with thermal emission from a very compact region that heats up quickly and subsequently cools down via X-ray emission while expanding by a factor of ~3 in radius. The long-term evolution of the quiescent level is characterised by two repeating TDEs ~9 yr apart. We detect a precursor X-ray flare prior to the second TDE that may be associated with the circularisation phase during disc formation. A similar precursor flare is tentatively detected just before the first TDE. Future X-ray observations of GSN 069 promise that the QPE origin and the relation between QPEs and repeating TDEs in this galactic nucleus will be constrained, with consequences for the other sources where QPEs have been identified. [abridged]


title: Sparse Relational Reasoning with Object-Centric Representations

abstract: We investigate the composability of soft-rules learned by relational neural architectures when operating over object-centric (slot-based) representations, under a variety of sparsity-inducing constraints. We find that increasing sparsity, especially on features, improves the performance of some models and leads to simpler relations. Additionally, we observe that object-centric representations can be detrimental when not all objects are fully captured; a failure mode to which CNNs are less prone. These findings demonstrate the trade-offs between interpretability and performance, even for models designed to tackle relational tasks.


title: Enumeration of Partitions modulo 4

abstract: The number of standard Young tableaux possible of shape corresponding to a partition $\lambda$ is called the dimension of the partition and is denoted by $f^{\lambda}$. Partitions with odd dimensions were enumerated by McKay and were further classified by Macdonald. Let $a_i(n)$ be the number of partitions of $n$ with dimension congruent to $i$ modulo 4. In this paper, we refine Macdonald's and McKay's results by calculating $a_1(n)$ and $a_3(n)$ when $n$ has no consecutive 1s in its binary expansion or when the sum of binary digits of $n$ is 2 and giving a recursive formula to compute $a_2(n)$ for all $n$.


title: Numerical simulation of a comparative study on heat extraction from Soultz-sous-For\^ets geothermal field using supercritical carbon dioxide and water as a working fluid

abstract: Geothermal energy is an infinite energy source for the present human society. Energy extraction from the deep subsurface requires engineering using a working fluid that circulates between well doublet. Due to its thermal properties, CO2 is an ideal option as a heat transfer fluid. By using CO2, working fluid loss is an advantage compared to other working fluids. This study developed a field-scale hydro-thermal model to examine the heat extraction potential from Soultz-sous-For\^ets with CO2 as the working fluid. Results are compared for the same scenario with water as the working fluid. A better understanding of the heat extraction mechanism is established by considering the reservoir response and the wellbore heat exchange. Sensitivity analyses are performed for different injection temperatures and flow rates for 50 years. Results show that the wellbore effect is multiple times higher than the reservoir response to the production temperature. Furthermore, lowering the injection temperature eventuates to a smaller temperature reduction at the subsurface, enhancing the overall heat extraction potential with a minor impact on thermal breakthrough. The cold region developed around the injection wellbore may affect the production fluid temperature due to its proximity to the production wellbore. To reach higher heat extraction efficiency, it is essential to use sufficient wellbore spacing. CO2 can be used as working fluid for over 50 years as it does not show significant thermal breakthrough and temperature plume evolution in the reservoir under studied conditions. CO2 shows lower temperature reduction for all injection rates and temperatures for 50 years of operation.


title: Abelian reduction in differential-algebraic and bimeromorphic geometry

abstract: A new tool for the model theory of differentially closed fields and of compact complex manifolds is here developed. In such settings, it is shown that a type internal to the field of constants (resp. to the projective line) admits a maximal image whose binding group is an abelian variety. The properties of such "abelian reductions" are investigated in the Galois-theoretic framework provided by stability theory. Several geometric consequences for the birational geometry of algebraic vector fields of characteristic zero are then deduced. In particular, (1) it is shown that if some cartesian power of an algebraic vector field admits a nontrivial rational first integral then already the second power does, (2) two-dimensional isotrivial algebraic vector fields are classified up to birational equivalence, and (3) algebraic vector fields whose finite covers admit no nontrivial factors are studied in arbitrary dimension. Analogues of these results in bimeromorphic geometry are also obtained.


title: Split Hamiltonian Monte Carlo revisited

abstract: We study Hamiltonian Monte Carlo (HMC) samplers based on splitting the Hamiltonian $H$ as $H_0(\theta,p)+U_1(\theta)$, where $H_0$ is quadratic and $U_1$ small. We show that, in general, such samplers suffer from stepsize stability restrictions similar to those of algorithms based on the standard leapfrog integrator. The restrictions may be circumvented by preconditioning the dynamics. Numerical experiments show that, when the $H_0(\theta,p)+U_1(\theta)$ splitting is combined with preconditioning, it is possible to construct samplers far more efficient than standard leapfrog HMC.


title: On the Usefulness of Deep Ensemble Diversity for Out-of-Distribution Detection

abstract: The ability to detect Out-of-Distribution (OOD) data is important in safety-critical applications of deep learning. The aim is to separate In-Distribution (ID) data drawn from the training distribution from OOD data using a measure of uncertainty extracted from a deep neural network. Deep Ensembles are a well-established method of improving the quality of uncertainty estimates produced by deep neural networks, and have been shown to have superior OOD detection performance compared to single models. An existing intuition in the literature is that the diversity of Deep Ensemble predictions indicates distributional shift, and so measures of diversity such as Mutual Information (MI) should be used for OOD detection. We show experimentally that this intuition is not valid on ImageNet-scale OOD detection -- using MI leads to 30-40% worse %FPR@95 compared to single-model entropy on some OOD datasets. We suggest an alternative explanation for Deep Ensembles' better OOD detection performance -- OOD detection is binary classification and we are ensembling diverse classifiers. As such we show that practically, even better OOD detection performance can be achieved for Deep Ensembles by averaging task-specific detection scores such as Energy over the ensemble.


title: Hybrid near-optimum binary receiver with realistic photon-number-resolving detectors

abstract: We propose a near-optimum receiver for the discrimination of binary phase-shift-keyed coherent states employing photon-number-resolving detectors. The receiver exploits a discrimination strategy based on both the so-called homodyne-like and the direct detection, thus resulting in a hybrid scheme. We analyse the performance and the robustness of the proposed scheme under realistic conditions, namely, in the presence of inefficient detection and dark counts. We show that the present hybrid setup is near-optimum and beats both the standard-quantum-limit and the performance of the Kennedy receiver.


title: Dynamic Algorithms for Packing-Covering LPs via Multiplicative Weight Updates

abstract: In the dynamic linear program (LP) problem, we are given an LP undergoing updates and we need to maintain an approximately optimal solution. Recently, significant attention (e.g., [Gupta et al. STOC'17; Arar et al. ICALP'18, Wajc STOC'20]) has been devoted to the study of special cases of dynamic packing and covering LPs, such as the dynamic fractional matching and set cover problems. But until now, there is no non-trivial dynamic algorithm for general packing and covering LPs. In this paper, we settle the complexity of dynamic packing and covering LPs, up to a polylogarithmic factor in update time. More precisely, in the partially dynamic setting (where updates can either only relax or only restrict the feasible region), we give near-optimal deterministic $\epsilon$-approximation algorithms with polylogarithmic amortized update time. Then, we show that both partially dynamic updates and amortized update time are necessary; without any of these conditions, the trivial algorithm that recomputes the solution from scratch after every update is essentially the best possible, assuming SETH. To obtain our results, we initiate a systematic study of the multiplicative weights update (MWU) method in the dynamic setting. As by-products of our techniques, we also obtain the first online $(1+\epsilon)$-competitive algorithms for both covering and packing LPs with polylogarithmic recourse, and the first streaming algorithms for covering and packing LPs with linear space and polylogarithmic passes.


title: Short-Term Trajectory Prediction for Full-Immersive Multiuser Virtual Reality with Redirected Walking

abstract: Full-immersive multiuser Virtual Reality (VR) envisions supporting unconstrained mobility of the users in the virtual worlds, while at the same time constraining their physical movements inside VR setups through redirected walking. For enabling delivery of high data rate video content in real-time, the supporting wireless networks will leverage highly directional communication links that will "track" the users for maintaining the Line-of-Sight (LoS) connectivity. Recurrent Neural Networks (RNNs) and in particular Long Short-Term Memory (LSTM) networks have historically presented themselves as a suitable candidate for near-term movement trajectory prediction for natural human mobility, and have also recently been shown as applicable in predicting VR users' mobility under the constraints of redirected walking. In this work, we extend these initial findings by showing that Gated Recurrent Unit (GRU) networks, another candidate from the RNN family, generally outperform the traditionally utilized LSTMs. Second, we show that context from a virtual world can enhance the accuracy of the prediction if used as an additional input feature in comparison to the more traditional utilization of solely the historical physical movements of the VR users. Finally, we show that the prediction system trained on a static number of coexisting VR users be scaled to a multi-user system without significant accuracy degradation.


title: Statistical fluctuations under resetting: rigorous results

abstract: In this paper we investigate the normal and the large fluctuations of additive functionals associated with a stochastic process under a general non-Poissonian resetting mechanism. Cumulative functionals of regenerative processes are very close to renewal-reward processes and inherit most of the properties of the latter. Here we review and use the classical law of large numbers and central limit theorem for renewal-reward processes to obtain same theorems for additive functionals of a stochastic process under resetting. Then, we establish large deviation principles for these functionals by illustrating and applying a large deviation theory for renewal-reward processes that has been recently developed by the author. We discuss applications of the general results to the positive occupation time, the area, and the absolute area of the reset Brownian motion. While introducing advanced tools from renewal theory, we demonstrate that a rich phenomenology accounting for dynamical phase transitions emerges when one goes beyond Poissonian resetting.


title: Bi-PointFlowNet: Bidirectional Learning for Point Cloud Based Scene Flow Estimation

abstract: Scene flow estimation, which extracts point-wise motion between scenes, is becoming a crucial task in many computer vision tasks. However, all of the existing estimation methods utilize only the unidirectional features, restricting the accuracy and generality. This paper presents a novel scene flow estimation architecture using bidirectional flow embedding layers. The proposed bidirectional layer learns features along both forward and backward directions, enhancing the estimation performance. In addition, hierarchical feature extraction and warping improve the performance and reduce computational overhead. Experimental results show that the proposed architecture achieved a new state-of-the-art record by outperforming other approaches with large margin in both FlyingThings3D and KITTI benchmarks. Codes are available at https://github.com/cwc1260/BiFlow.


title: Approximately Hadamard matrices and Riesz bases in random frames

abstract: An $n \times n$ matrix with $\pm 1$ entries which acts on $\mathbb{R}^n$ as a scaled isometry is called Hadamard. Such matrices exist in some, but not all dimensions. Combining number-theoretic and probabilistic tools we construct matrices with $\pm 1$ entries which act as approximate scaled isometries in $\mathbb{R}^n$ for all $n$. More precisely, the matrices we construct have condition numbers bounded by a constant independent of $n$. Using this construction, we establish a phase transition for the probability that a random frame contains a Riesz basis. Namely, we show that a random frame in $\mathbb{R}^n$ formed by $N$ vectors with independent identically distributed coordinates having a non-degenerate symmetric distribution contains many Riesz bases with high probability provided that $N \ge \exp(Cn)$. On the other hand, we prove that if the entries are subgaussian, then a random frame fails to contain a Riesz basis with probability close to $1$ whenever $N \le \exp(cn)$, where $c<C$ are constants depending on the distribution of the entries.


title: Heuristic-free Optimization of Force-Controlled Robot Search Strategies in Stochastic Environments

abstract: In both industrial and service domains, a central benefit of the use of robots is their ability to quickly and reliably execute repetitive tasks. However, even relatively simple peg-in-hole tasks are typically subject to stochastic variations, requiring search motions to find relevant features such as holes. While search improves robustness, it comes at the cost of increased runtime: More exhaustive search will maximize the probability of successfully executing a given task, but will significantly delay any downstream tasks. This trade-off is typically resolved by human experts according to simple heuristics, which are rarely optimal. This paper introduces an automatic, data-driven and heuristic-free approach to optimize robot search strategies. By training a neural model of the search strategy on a large set of simulated stochastic environments, conditioning it on few real-world examples and inverting the model, we can infer search strategies which adapt to the time-variant characteristics of the underlying probability distributions, while requiring very few real-world measurements. We evaluate our approach on two different industrial robots in the context of spiral and probe search for THT electronics assembly.


title: Analysing the influence of power take-off adaptability on the power extraction of dense wave energy converter arrays

abstract: The aim of this work is to assess the influence of different degrees of adaptability of the power take-off (PTO) system on the power absorption of dense wave energy converter (WEC) arrays. The adaptability is included in simulations through a transmission ratio that scales the force actuating the PTO relative to the force generated by the motion of a floater. A numerical model is used in which hydrodynamic interactions between floaters and nonlinearities in the PTO are considered. The lower computational cost of this numerical model makes it possible to study the power extraction of a dense WEC array in irregular waves to easily create power matrices and other performance metrics. The methodology is applied to the case study of the Ocean Grazer WEC to showcase the potential performance improvements achieved through the inclusion of a transmission ratio. The analysis shows that including a high degree of adaptability and choosing WEC array configurations and PTO designs specific to potential deployment locations early in the design process can lead to an increase in extracted power.


title: High power density energy harvesting devices based on the anomalous Nernst effect of Co/Pt magnetic multilayers

abstract: The anomalous Nernst effect (ANE) is a thermomagnetic phenomenon with potential applications in thermal energy harvesting. While many recent works studied the approaches to increase the ANE coefficient of materials, relatively little effort was devoted to increasing the power supplied by the effect. Here we demonstrate a nanofabricated device with record power density generated by the ANE. To accomplish this, we fabricate micrometer-sized devices in which the thermal gradient is three orders of magnitude higher than conventional macroscopic devices. In addition, we use Co/Pt multilayers, a system characterized by a high ANE thermopower (~1 microV/K), low electrical resistivity, and perpendicular magnetic anisotropy. These innovations allow us to obtain power densities of around 13 W/cm3. We believe that this design may find uses in harvesting wasted energy in e.g. electronic devices.


title: Puret\'e de l'approximation forte sur le corps des fonctions d'une courbe alg\'ebrique complexe

abstract: Over the function field of a complex algebraic curve, strong approximation off a non-empty finite set of places holds for the complement of a codimension $2$ closed subset in a homogeneous space under a semisimple algebraic group, and for the complement of a codimension $2$ closed subset in an affine smooth complete intersection of low degree.


title: Modeling Quality and Machine Learning Pipelines through Extended Feature Models

abstract: The recently increased complexity of Machine Learning (ML) methods, led to the necessity to lighten both the research and industry development processes. ML pipelines have become an essential tool for experts of many domains, data scientists and researchers, allowing them to easily put together several ML models to cover the full analytic process starting from raw datasets. Over the years, several solutions have been proposed to automate the building of ML pipelines, most of them focused on semantic aspects and characteristics of the input dataset. However, an approach taking into account the new quality concerns needed by ML systems (like fairness, interpretability, privacy, etc.) is still missing. In this paper, we first identify, from the literature, key quality attributes of ML systems. Further, we propose a new engineering approach for quality ML pipeline by properly extending the Feature Models meta-model. The presented approach allows to model ML pipelines, their quality requirements (on the whole pipeline and on single phases), and quality characteristics of algorithms used to implement each pipeline phase. Finally, we demonstrate the expressiveness of our model considering the classification problem.


title: Astrophysical observables for regular black holes with sub-Planckian curvature

abstract: We investigate the photon sphere and the extremal stable circular orbit (ESCO) for massive particles over a recently proposed regular black holes with sub-Planckian curvature and Minkowskian core. We derive the effective potential for geodesic orbits and determine the radius of circular photon orbits, with an analysis on the stability of these orbits. We extend our analysis to the background of compact massive object (CMO) without horizon, whose mass is below the lowest bound for the formation of a black hole. For massive particles, the ESCOs become double-valued in CMO phase and we calculate the innermost stable circular orbits (ISCO) and the outermost stable circular orbits (OSCO). By comparing wih Bardeen black hole and Hayward black hole, it is also found that the locations of photon sphere and ESCO in CMO phase with Minkowskian core are evidently different from the ones in CMO phase with dS core, which potentially provides a way to distinguish these two sorts of black holes by astronomical observation.


title: Tokens and Distributed Ledgers in Digital Payment Systems

abstract: In this article, we consider the roles of tokens and distributed ledgers in digital payment systems. We present a brief taxonomy of digital payment systems that use tokens, and we address the different models for how distributed ledger technology can support digital payment systems in general. We offer guidance on the salient features of digital payment systems, which we comprehend in terms of consumer privacy, token issuance, and accountability for system operators.


title: Exact many-body scars based on pairs or multimers in a chain of spinless fermions

abstract: We construct a 1D model Hamiltonian of spinless fermions for which the spinless analogue of $\eta$-pairing states are quantum many-body scars of the model. These states are excited states and display subvolume entanglement entropy scaling; they form a tower of states that are equally spaced in energy (resulting in periodic oscillations in the Loschmidt echo and in the time evolution of observables for initial states prepared in a superposition of them) and are atypical in the sense that they weakly break the eigenstate thermalization hypothesis, while the other excited states are thermal. We extend the approach by presenting models with a tower of scar states generated by multimers located at the edge of the Brillouin zone.


title: Local rainbow colorings for various graphs

abstract: Motivated by a problem in theoretical computer science suggested by Wigderson, Alon and Ben-Eliezer studied the following extremal problem systematically one decade ago. Given a graph $H$, let $C(n,H)$ be the minimum number $k$ such that the following holds. There are $n$ colorings of $E(K_{n})$ with $k$ colors, each associated with one of the vertices of $K_{n}$, such that for every copy $T$ of $H$ in $K_{n}$, at least one of the colorings that are associated with $V(T)$ assigns distinct colors to all the edges of $E(T)$. In this paper, we obtain several new results in this problem including: \begin{itemize} \item For paths of short length, we show that $C(n,P_{4})=\Omega(n^{1/5})$ and $C(n,P_{t})=\Omega(n^{1/3})$ with $t\in\{5,6\}$, which significantly improve the previously known lower bounds $(\log{n})^{\Omega(1)}$. \item We make progress on the problem of Alon and Ben-Eliezer about complete graphs, more precisely, we show that $C(n,K_{r})=\Omega(n^{2/3})$ when $r\geqslant 8$. This provides the first instance of graph for which the lower bound goes beyond the natural barrier $\Omega(n^{1/2})$. Moreover, we prove that $C(n,K_{s,t})=\Omega(n^{2/3})$ for $t\geqslant s\geqslant 7$. \item When $H$ is a star with at least $4$ leaves, a matching of size at least $4$, or a path of length at least $7$, we give the new lower bound for $C(n,H)$. We also show that for any graph $H$ with at least $6$ edges, $C(n,H)$ is polynomial in $n$. All of these improve the corresponding results obtained by Alon and Ben-Eliezer.


title: Selection of the Most Probable Best

abstract: We consider an expected-value ranking and selection (R&S) problem where all k solutions' simulation outputs depend on a common parameter whose uncertainty can be modeled by a distribution. We define the most probable best (MPB) to be the solution that has the largest probability of being optimal with respect to the distribution and design an efficient sequential sampling algorithm to learn the MPB when the parameter has a finite support. We derive the large deviations rate of the probability of falsely selecting the MPB and formulate an optimal computing budget allocation problem to find the rate-maximizing static sampling ratios. The problem is then relaxed to obtain a set of optimality conditions that are interpretable and computationally efficient to verify. We devise a series of algorithms that replace the unknown means in the optimality conditions with their estimates and prove the algorithms' sampling ratios achieve the conditions as the simulation budget increases. Furthermore, we show that the empirical performances of the algorithms can be significantly improved by adopting the kernel ridge regression for mean estimation while achieving the same asymptotic convergence results. The algorithms are benchmarked against a state-of-the-art contextual R&S algorithm and demonstrated to have superior empirical performances.


title: Multispacecraft Remote Sensing and In Situ Observations of the 2020 November 29 Coronal Mass Ejection and Associated Shock: From Solar Source to Heliospheric Impacts

abstract: We investigate the source eruption, propagation and expansion characteristics, and heliospheric impacts of the 2020 November 29 coronal mass ejection (CME) and associated shock, using remote sensing and in situ observations from multiple spacecraft. A potential--field source--surface model is employed to examine the coronal magnetic fields surrounding the source region. The CME and associated shock are tracked from the early stage to the outer corona using extreme ultraviolet and white light observations. Forward models are applied to determine the structures and kinematics of the CME and the shock near the Sun. The shock shows an ellipsoidal structure, expands in all directions, and encloses the whole Sun as viewed from both SOHO and STEREO A, which results from the large expansion of the CME flux rope and its fast acceleration. The structure and potential impacts of the shock are mainly determined by its radial and lateral expansions. The CME and shock arrive at Parker Solar Probe and STEREO A. Only based on the remote sensing observations, it is difficult to predict whether and when the CME/shock would arrive at the Earth. Combining Wind in situ measurements and WSA-ENLIL simulation results, we confirm that the far flank of the CME (or the CME leg) arrives at the Earth with no shock signature. These results highlight the importance of multipoint remote sensing and in situ observations for determining the heliospheric impacts of CMEs.


title: Breakdown of force-free electrodynamics in electric zones

abstract: It is shown that force-free electrodynamics (FFE) breaks down in regions where $B^2 -E^2 <0$ (electric zones) even if $\pmb{E}\cdot\pmb{B} =0$. Spontaneous creation of such regions will inevitably lead to plasma oscillations that will subsequently decay over a few periods via anomalous heating and, under certain conditions, emission of high energy quanta, until the system relaxes to a state in which $B^2-E^2 \sim 0$. For M87, assuming pair plasma with order unity multiplicity, the inverse Compton cooling time is estimated to be shorter than the dynamical time when $E^2/B^2-1 > (10^4/\sigma)^2$ roughly, where $\sigma$ is the magnetization. If the electric zone is weak, the global system will maintain a nearly force-free state, however, the force-free condition, $F^{\mu\nu}J_\nu=0$, will be broken at the order of the access electric field and cannot describe wave dynamics. Our analysis does not support recent claims, that creation of electric zones can trigger a transition to force-free turbulence which, when generated in the ergosphere of a Kerr black hole, can lead to extraction of the black hole rotational energy. Whether some secondary electromagnetic modes produced in the decaying electric zone can extract the BH energy is yet an open question.


title: The Edge-Connectivity of Vertex-Transitive Hypergraphs

abstract: A graph or hypergraph is said to be vertex-transitive if its automorphism group acts transitively upon its vertices. A classic theorem of Mader asserts that every connected vertex-transitive graph is maximally edge-connected. We generalise this result to hypergraphs and show that every connected linear uniform vertex-transitive hypergraph is maximally edge-connected. We also show that if we relax either the linear or uniform conditions in this generalisation, then we can construct examples of vertex-transitive hypergraphs which are not maximally edge-connected.


title: Nature of the $X(6900)$ in partial wave decomposition of $J/\psi J/\psi$ scattering

abstract: In this letter, we perform partial wave decomposition on coupled-channel scattering amplitudes, $J/\psi J/\psi$-$J/\psi \psi(2S)$-$J/\psi \psi(3770)$, to study the resonance appears in these processes. Effective Lagrangians are used to describe the interactions of four charmed vector mesons, and the scattering amplitudes are calculated up to the next-to-leading order. Partial wave projections are performed, and unitarization is implemented by Pad\'e approximation. Then we fit the amplitudes to the $J/\psi J/\psi$ invariant mass spectra measured by LHCb and determine the unknown couplings. The pole parameters of the $X(6900)$ are extracted as $M=6861.0^{+6.3}_{-8.8}$~MeV and $\Gamma=129.0^{+5.6}_{-3.4}$~MeV. Our analysis implies that its quantum number prefers to be $0^{++}$. The pole counting rule and phase shifts show that it is a normal Breit-Wigner resonance and, hence, should be a compact tetraquark.


title: Debt Aversion: Theory and Measurement

abstract: Debt aversion can have severe adverse effects on financial decision-making. We propose a model of debt aversion, and design an experiment involving real debt and saving contracts, to elicit and jointly estimate debt aversion with preferences over time, risk and losses. Structural estimations reveal that the vast majority of participants (89%) are debt averse, and that this has a strong impact on choice. We estimate the "borrowing premium" - the compensation a debt averse person would require to accept getting into debt - to be around 16% of the principal for our average participant.


title: 3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models

abstract: 3D point cloud models are widely applied in safety-critical scenes, which delivers an urgent need to obtain more solid proofs to verify the robustness of models. Existing verification method for point cloud model is time-expensive and computationally unattainable on large networks. Additionally, they cannot handle the complete PointNet model with joint alignment network (JANet) that contains multiplication layers, which effectively boosts the performance of 3D models. This motivates us to design a more efficient and general framework to verify various architectures of point cloud models. The key challenges in verifying the large-scale complete PointNet models are addressed as dealing with the cross-non-linearity operations in the multiplication layers and the high computational complexity of high-dimensional point cloud inputs and added layers. Thus, we propose an efficient verification framework, 3DVerifier, to tackle both challenges by adopting a linear relaxation function to bound the multiplication layer and combining forward and backward propagation to compute the certified bounds of the outputs of the point cloud models. Our comprehensive experiments demonstrate that 3DVerifier outperforms existing verification algorithms for 3D models in terms of both efficiency and accuracy. Notably, our approach achieves an orders-of-magnitude improvement in verification efficiency for the large network, and the obtained certified bounds are also significantly tighter than the state-of-the-art verifiers. We release our tool 3DVerifier via https://github.com/TrustAI/3DVerifier for use by the community.


title: PD/EUP Workshop Proceedings

abstract: People who need robots are often not the same as people who can program them. This key observation in human-robot interaction (HRI) has lead to a number of challenges when developing robotic applications, since developers must understand the exact needs of end-users. Participatory Design (PD), the process of including stakeholders such as end users early in the robot design process, has been used with noteworthy success in HRI, but typically remains limited to the early phases of development. Resulting robot behaviors are often then hardcoded by engineers or utilized in Wizard-of-Oz (WoZ) systems that rarely achieve autonomy. End-User Programming (EUP), i.e., the research of tools allowing end users with limited computer knowledge to program systems, has been widely applied to the design of robot behaviors for interaction with humans, but these tools risk being used solely as research demonstrations only existing for the amount of time required for them to be evaluated and published. In the PD/EUP Workshop, we aim to facilitate mutual learning between these communities and to create communication opportunities that could help the larger HRI community work towards end-user personalized and adaptable interactions. Both PD and EUP will be key requirements if we want robots to be useful for wider society. From this workshop, we expect new collaboration opportunities to emerge and we aim to formalize new methodologies that integrate PD and EUP approaches.


title: On regularity of weighted Sobolev homeomorphisms

abstract: We study the weak regularity of mappings inverse to weighted Sobolev homeomorphisms $\varphi:\Omega\to\widetilde{\Omega}$, where $\Omega$ and $\widetilde{\Omega}$ are domains in $\mathbb R^n$. Using the weak regularity of inverse mappings we obtain the composition duality property of composition operators on weighted Sobolev spaces.


title: Least squares solvers for ill-posed PDEs that are conditionally stable

abstract: This paper is concerned with the design and analysis of least squares solvers for ill-posed PDEs that are conditionally stable. The norms and the regularization term used in the least squares functional are determined by the ingredients of the conditional stability assumption. We are then able to establish a general error bound that, in view of the conditional stability assumption, is qualitatively the best possible, without assuming consistent data. The price for these advantages is to handle dual norms which reduces to verifying suitable inf-sup stability. This, in turn, is done by constructing appropriate Fortin projectors for all sample scenarios. The theoretical findings are illustrated by numerical experiments.


title: Pick your Neighbor: Local Gauss-Southwell Rule for Fast Asynchronous Decentralized Optimization

abstract: In decentralized optimization environments, each agent $i$ in a network of $n$ nodes has its own private function $f_i$, and nodes communicate with their neighbors to cooperatively minimize the aggregate objective $\sum_{i=1}^n f_i$. In this setting, synchronizing the nodes' updates incurs significant communication overhead and computational costs, so much of the recent literature has focused on the analysis and design of asynchronous optimization algorithms, where agents activate and communicate at arbitrary times without needing a global synchronization enforcer. However, most works assume that when a node activates, it selects the neighbor to contact based on a fixed probability (e.g., uniformly at random), a choice that ignores the optimization landscape at the moment of activation. Instead, in this work we introduce an optimization-aware selection rule that chooses the neighbor providing the highest dual cost improvement (a quantity related to a dualization of the problem based on consensus). This scheme is related to the coordinate descent (CD) method with the Gauss-Southwell (GS) rule for coordinate updates; in our setting however, only a subset of coordinates is accessible at each iteration (because each node can communicate only with its neighbors), so the existing literature on GS methods does not apply. To overcome this difficulty, we develop a new analytical framework for smooth and strongly convex $f_i$ that covers the class of set-wise CD algorithms -- a class that directly applies to decentralized scenarios, but is not limited to them -- and we show that the proposed set-wise GS rule achieves a speedup factor of up to the maximum degree in the network (which is in the order of $\Theta(n)$ for highly connected graphs). The speedup predicted by our analysis is validated in numerical experiments with synthetic data.


title: Equivalent Conditions for Weak Continuity of Nonlinear Filters

abstract: This paper studies weak continuity of nonlinear filters. It is well-known that Borel measurability of transition probabilities for problems with incomplete state observations is preserved when the original discrete-time process is replaced with the process whose states are belief probabilities. It is also known that the similar preservation may not hold for weak continuity of transition probabilities. In this paper we show that the sufficient condition for weak continuity of transition probabilities for beliefs introduced by Kara, Saldi, and Yuksel (2019) is a necessary and sufficient condition for semi-uniform Feller continuity of transition probabilities. The property of semi-uniform Feller continuity was introduced in Feinberg, Kasyanov, and Zgurovsky (2021), and, if the original transition probability has this property, then the transition probability of the process, whose state is a pair consisting of the belief probability and observation, also has this property. Thus, this property implies weak continuity of nonlinear filters. This paper also reviews several necessary and sufficient conditions for semi-uniform Feller continuity.


title: Ergodic Risk-Sensitive Control for Regime-Switching Diffusions

abstract: In this article, we study the ergodic risk-sensitive control problem for controlled regime-switching diffusions. Under a blanket stability hypothesis, we solve the associated nonlinear eigenvalue problem for weakly coupled systems and characterize the optimal stationary Markov controls via a suitable verification theorem. We also consider the near-monotone case and obtain the existence of principal eigenfunction and optimal stationary Markov controls.


title: On the construction of quandles of order 3n

abstract: We present methods of constructing examples of quandles of order 3n, where n is greater or equal to 3. The necessary and sufficient conditions for the constructed examples to be (i) connected (ii) group (conjugate) (iii) involutory and (iv) Alexander quandles are examined and presented. Two particular examples from these methods are presented for illustration purpose and their properties are obtained, and these are used in classifying the constructed examples up to isomorphism.


title: Quantum Monte Carlo in the steady-state

abstract: We present a numerically exact steady-state inchworm Monte Carlo method for nonequilibrium quantum impurity models. Rather than propagating an initial state to long times, the method is directly formulated in the steady-state. This eliminates any need to traverse the transient dynamics and grants access to a much larger range of parameter regimes at vastly reduced computational costs. We benchmark the method on equilibrium Green's functions of quantum dots in the noninteracting limit and in the unitary limit of the Kondo regime. We then consider correlated materials described with dynamical mean field theory and driven away from equilibrium by a bias voltage. We show that the response of a correlated material to a bias voltage differs qualitatively from the splitting of the Kondo resonance observed in bias-driven quantum dots.


title: Global existence and singularity formation for the generalized Constantin-Lax-Majda equation with dissipation: The real line vs. periodic domains

abstract: The question of global existence versus finite-time singularity formation is considered for the generalized Constantin-Lax-Majda equation with dissipation $-\Lambda^\sigma$, where $\widehat {{\Lambda}^\sigma}=|k|^\sigma$, both for the problem on the circle $x \in [-\pi,\pi]$ and the real line. In the periodic geometry, two complementary approaches are used to prove global-in-time existence of solutions for $\sigma \geq 1$ and all real values of an advection parameter $a$ when the data is small. We also derive new analytical solutions in both geometries when $a=0$, and on the real line when $a=1/2$, for various values of $ \sigma$. These solutions exhibit self-similar finite-time singularity formation, and the similarity exponents and conditions for singularity formation are fully characterized. We revisit an analytical solution on the real line due to Schochet for $a=0$ and $\sigma=2$, and reinterpret it terms of self-similar finite-time collapse. The analytical solutions on the real line allow finite-time singularity formation for arbitrarily small data, even for values of $\sigma$ that are greater than or equal to one, thereby illustrating a critical difference between the problems on the real line and the circle. The analysis is complemented by accurate numerical simulations, which are able to track the formation and motion singularities in the complex plane. The computations validate and extend the analytical theory.


title: Duality relations in single-file diffusion

abstract: Single-file transport, which corresponds to the diffusion of particles that cannot overtake each other in narrow channels, is an important topic in out-of-equilibrium statistical physics. Various microscopic models of single-file systems have been considered, such as the simple exclusion process, which has reached the status of a paradigmatic model. Several different models of single-file diffusion have been shown to be related by a duality relation, which holds either microscopically or only in the hydrodynamic limit of large time and large distances. Here, we show that, within the framework of fluctuating hydrodynamics, these relations are not specific to these models and that, in the hydrodynamic limit, every single-file system can be mapped onto a dual single-file system, which we characterise. This general duality relation allows us to obtain new results for different models, by exploiting the solutions that are available for their dual model.


title: Effective Electronic Structure of Monoclinic $\beta-(Al_xGa_{1-x})_2O_3$ alloy semiconductor

abstract: In this article, the electronic band structure $\beta-(Al_xGa_{1-x})_2O_3$ alloy system is calculated with $\beta-Ga_2O_3$ as the bulk crystal. The technique of band unfolding is implemented to obtain the effective bandstructure \textit{(EBS)} for aluminium fractions varying between 12.5\% and 62.5\% with respect to the gallium atoms. A 160 atom supercell is used to model the disordered system that is generated using the technique of special quasirandom structures which mimics the site correlation of a truly random alloy and reduces the configurational space that arises due to the vast enumeration of alloy occupation sites. The impact of the disorder is then evaluated on the electron effective mass and bandgap which is calculated under the generalized gradient approximation \textit{(GGA)}. The EBS of disordered systems gives an insight into the effect of the loss of translational symmetry on the band topology which manifests as band broadening and can be used to evaluate disorder induced scattering rates and electron lifetimes. This technique of band unfolding can be further extended to alloy phonon dispersion and subsequently phonon lifetimes can also be evaluated from the band broadening.


title: Ionizing Protoplanetary Disks in Pebble Collisions

abstract: We introduce collisions of solids as a new and efficient ionization mechanism for gas in protoplanetary disks, which especially operates in the dense midplane of protoplanetary disks. This idea is sparked by laboratory experiments where we found that charge, which is exchanged by grains in mutual collision (tribocharging), is not tied to their surfaces alone. As kind of collateral effect, charges also become entrained into the gas phase, i.e. collisions ionize the protoplanetary disk. Therefore, solids are not only sinks of charges in disks but also sources. A first estimate shows that ionization rates in the midplane at 1 AU in the range of $10^{-19} ... 10^{-15} \rm \, s^{-1}$ seem feasible depending on the assumption of rather calm or highly turbulent conditions with radial particle pile up.


title: Negative energy effects in processes involving bound particles: finite nuclear size effects

abstract: Probability of finding negative energy states in a hydrogen atom is decreased when the nucleus is extended. Reduced electron Compton wavelength is the characteristic size of the region around the nucleus where negative energy contributions to the wave function are sizeable.