title: A nice two-loop next-to-next-to-MHV amplitude in ${\cal N}=4$ super-Yang-Mills

abstract: We study a scalar component of the 8-point next-to-next-to-maximally-helicity-violating (N${}^2$MHV) amplitude at two-loop level in ${\cal N}=4$ super-Yang-Mills theory; it has a leading singularity proportional to the inverse of the four-mass-box square root and receives contributions from only two types of non-trivial integrals with one-loop infrared (IR) divergences. We compute such two-loop 8-point integrals by taking (double-)collinear limits of certain finite, dual-conformal-invariant integrals, and they nicely give the IR-safe ratio function after subtracting divergences. As the first genuine two-loop N${}^2$MHV amplitude computed explicitly, we find remarkable structures in its symbol and alphabet: similar to the next-to-MHV (NMHV) case, there are still 9 algebraic letters associated with the square root, and the latter also becomes a letter for the first time; unlike the NMHV case, such algebraic letters appear at either one or all of the second, third and last entry, and the part with three odd letters is particularly simple.


title: On the C*-algebra associated with the full adele ring of a number field

abstract: The multiplicative group of a number field acts by multiplication on the full adele ring of the field. Generalising a theorem of Laca and Raeburn, we explicitly describe the primitive ideal space of the crossed product C*-algebra associated with this action. We then distinguish real, complex, and finite places of the number field using K-theoretic invariants. Combining these results with a recent rigidity theorem of the authors implies that any *-isomorphism between two such C*-algebras gives rise to an isomorphism of the underlying number fields that is constructed from the *-isomorphism.


title: Normal integral bases of Lehmer's cyclic quintic fields

abstract: Let $K_n$ be a tamely ramified cyclic quintic field generated by a root of Emma Lehmer's parametric polynomial. We give all normal integral bases for $K_n$ only by the roots of the polynomial, which is a generalization of the work of Lehmer in the case that $n^4+5n^3+15n^2+25n+25$ is prime number, and Spearman-Willliams in the case that $n^4+5n^3+15n^2+25n+25$ is square-free.


title: Detection of a Pair Density Wave State in UTe$_2$

abstract: Spin-triplet topological superconductors should exhibit many unprecedented electronic properties including fractionalized electronic states relevant to quantum information processing. Although UTe$_2$ may embody such bulk topological superconductivity, its superconductive order-parameter $\Delta(\mathbf{k})$ remains unknown. Many diverse forms for $\Delta(\mathbf{k})$ are physically possible in such heavy fermion materials. Moreover, intertwined density waves of spin (SDW), charge (CDW) and pairs (PDW) may interpose, with the latter state exhibiting spatially modulating superconductive order-parameter $\Delta(\mathbf{r})$, electron pair density and pairing energy-gap. Hence, the newly discovered CDW state in UTe$_2$ motivates the prospect that a PDW state may exist in this material. To search for it, we visualize the pairing energy-gap with $\mu$$eV$-scale energy-resolution using superconductive STM tips. We detect three PDWs, each with peak-peak gap modulations circa 10 $\mu$$eV$ and at incommensurate wavevectors $\mathbf{P}_{i=1,2,3}$ that are indistinguishable from the wavevectors $\mathbf{Q}_{i=1,2,3}$ of the prevenient CDW. Concurrent visualization of the UTe$_2$ superconductive PDWs and the non-superconductive CDWs reveals that every $\mathbf{P}_i$ : $\mathbf{Q}_i$ pair exhibits a relative phase $\delta\phi \approx \pi$. From these observations, and given UTe$_2$ as a spin-triplet superconductor, this PDW state should be a spin-triplet pair density wave. While such states do exist in superfluid $^{3}$He, for superconductors they are unprecedented.


title: SCALES: From Fairness Principles to Constrained Decision-Making

abstract: This paper proposes SCALES, a general framework that translates well-established fairness principles into a common representation based on the Constraint Markov Decision Process (CMDP). With the help of causal language, our framework can place constraints on both the procedure of decision making (procedural fairness) as well as the outcomes resulting from decisions (outcome fairness). Specifically, we show that well-known fairness principles can be encoded either as a utility component, a non-causal component, or a causal component in a SCALES-CMDP. We illustrate SCALES using a set of case studies involving a simulated healthcare scenario and the real-world COMPAS dataset. Experiments demonstrate that our framework produces fair policies that embody alternative fairness principles in single-step and sequential decision-making scenarios.


title: A novel corrective-source term approach to modeling unknown physics in aluminum extraction process

abstract: With the ever-increasing availability of data, there has been an explosion of interest in applying modern machine learning methods to fields such as modeling and control. However, despite the flexibility and surprising accuracy of such black-box models, it remains difficult to trust them. Recent efforts to combine the two approaches aim to develop flexible models that nonetheless generalize well; a paradigm we call Hybrid Analysis and modeling (HAM). In this work we investigate the Corrective Source Term Approach (CoSTA), which uses a data-driven model to correct a misspecified physics-based model. This enables us to develop models that make accurate predictions even when the underlying physics of the problem is not well understood. We apply CoSTA to model the Hall-H\'eroult process in an aluminum electrolysis cell. We demonstrate that the method improves both accuracy and predictive stability, yielding an overall more trustworthy model.


title: Volatile-rich comets ejected early on during Solar System formation

abstract: Comet C/2016 R2 PanSTARRS (hereafter C/2016 R2) presents an unusually high N2/CO abundance ratio, as well as a heavy depletion in H2O, making it the only known comet of its kind. Understanding its dynamical history is therefore of essential importance as it would allow us to gain a clearer understanding of the evolution of planetesimal formation in our Solar System. Two studies have independently estimated the possible origin of this comet from building blocks formed in a peculiar region of the protoplanetary disk, near the ice line of CO and N2. We intend to investigate the fates of objects formed from the building blocks in these regions. We hope to find a possible explanation for the lack of C/2016 R2-like comets in our Solar System. Using a numerical simulation of the early stages of Solar System formation, we track the dynamics of these objects in the Jumping Neptune scenario based on five different initial conditions for the protosolar disk. We integrate the positions of 250 000 planetesimals over time in order to analyze the evolution of their orbits and create a statistical profile of their expected permanent orbit. Results. We find that objects formed in the region of the CO- and N2- ice lines are highly likely to be sent towards the Oort Cloud or possibly ejected from the Solar System altogether on a relatively short timescale. In all our simulations, over 90% of clones formed in this region evolved into a hyperbolic trajectory, and between 1% and 10% were potentially captured by the Oort Cloud. The handful of comets that remained were either on long-period, highly eccentric orbits like C/2016 R2, or absorbed into the Edgeworth-Kuiper belt. Comets formed <15 au were predominantly ejected early in the formation timeline. As this is the formation zone likely to produce comets of this composition, this process could explain the lack of similar comets observed in the Solar System


title: On the Equivalence, Stabilisers, and Feet of Buekenhout-Tits Unitals

abstract: This paper addresses a number of problems concerning Buekenhout-Tits unitals in $PG(2,q^2)$, where $q = 2^{e+1}$ and $e \geq 1$. We show that all Buekenhout-Tits unitals are $PGL$-equivalent (addressing an open problem in [S. Barwick and G. L. Ebert. Unitals in projective planes. Springer Monographs in Mathematics. Springer, New York, 2008.]), explicitly describe their $P\Gamma L$-stabiliser (expanding Ebert's work in [G.L. Ebert. Buekenhout-Tits unitals. J. Algebraic. Combin. 6.2 (1997), 133-140], and show that lines meet the feet of points no on $\ell_\infty$ in at most four points. Finally, we show that feet of points not on $\ell_\infty$ are not always a $\{0,1,2,4\}$-set, in contrast to what happens for Buekenhout-Metz unitals [N. Abarz\'ua, R. Pomareda, and O. Vega. Feet in orthogonal-Buekenhout-Metz unitals. Adv. Geom. 18.2 (2018), 229-236].


title: A terahertz vibrational molecular clock with systematic uncertainty at the $10^{-14}$ level

abstract: Neutral quantum absorbers in optical lattices have emerged as a leading platform for achieving clocks with exquisite spectroscopic resolution. However, the studies of these clocks and their systematic shifts have so far been limited to atoms. Here, we extend this architecture to an ensemble of diatomic molecules and experimentally realize an accurate lattice clock based on pure molecular vibration. We evaluate the leading systematics, including the characterization of nonlinear trap-induced light shifts, achieving a total systematic uncertainty of $4.6\times10^{-14}$. The absolute frequency of the vibrational splitting is measured to be 31 825 183 207 592.8(5.1) Hz, enabling the dissociation energy of our molecule to be determined with record accuracy. Our results represent an important milestone in molecular spectroscopy and THz-frequency standards, and may be generalized to other neutral molecular species with applications for fundamental physics, including tests of molecular quantum electrodynamics and the search for new interactions.


title: Efficient CNN with uncorrelated Bag of Features pooling

abstract: Despite the superior performance of CNN, deploying them on low computational power devices is still limited as they are typically computationally expensive. One key cause of the high complexity is the connection between the convolution layers and the fully connected layers, which typically requires a high number of parameters. To alleviate this issue, Bag of Features (BoF) pooling has been recently proposed. BoF learns a dictionary, that is used to compile a histogram representation of the input. In this paper, we propose an approach that builds on top of BoF pooling to boost its efficiency by ensuring that the items of the learned dictionary are non-redundant. We propose an additional loss term, based on the pair-wise correlation of the items of the dictionary, which complements the standard loss to explicitly regularize the model to learn a more diverse and rich dictionary. The proposed strategy yields an efficient variant of BoF and further boosts its performance, without any additional parameters.


title: A One-shot Framework for Distributed Clustered Learning in Heterogeneous Environments

abstract: The paper proposes a family of communication efficient methods for distributed learning in heterogeneous environments in which users obtain data from one of $K$ different distributions. In the proposed setup, the grouping of users (based on the data distributions they sample), as well as the underlying statistical properties of the distributions, are apriori unknown. A family of One-shot Distributed Clustered Learning methods (ODCL-$\mathcal{C}$) is proposed, parametrized by the set of admissible clustering algorithms $\mathcal{C}$, with the objective of learning the true model at each user. The admissible clustering methods include $K$-means (KM) and convex clustering (CC), giving rise to various one-shot methods within the proposed family, such as ODCL-KM and ODCL-CC. The proposed one-shot approach, based on local computations at the users and a clustering based aggregation step at the server is shown to provide strong learning guarantees. In particular, for strongly convex problems it is shown that, as long as the number of data points per user is above a threshold, the proposed approach achieves order-optimal mean-squared error (MSE) rates in terms of the sample size. An explicit characterization of the threshold is provided in terms of problem parameters. The trade-offs with respect to selecting various clustering methods (ODCL-CC, ODCL-KM) are discussed and significant improvements over state-of-the-art are demonstrated. Numerical experiments illustrate the findings and corroborate the performance of the proposed methods.


title: Maximum Likelihood Channel Estimation for RIS-Aided Communications With LOS Channels

abstract: A reconfigurable intelligent surface (RIS) reflects incoming signals in different ways depending on the phase-shift pattern assigned to its elements. The most promising use case is to aid the communication between a base station and a user when the user has a line-of-sight (LOS) channel to the RIS but the direct channel is blocked. The main challenge is to estimate the channel with limited resources because non-parametric estimation methods require a pilot length proportional to the large number of RIS elements. In this paper, we develop a parametric maximum likelihood (ML) channel estimation framework for estimating the LOS channel to the RIS. We demonstrate that the proposed algorithm can accurately obtain the channel and preferred RIS configuration using only a few pilots. A key novelty is that the RIS configurations used during pilot transmission are selected to progressively improve the estimation accuracy.


title: Answer Summarization for Technical Queries: Benchmark and New Approach

abstract: Prior studies have demonstrated that approaches to generate an answer summary for a given technical query in Software Question and Answer (SQA) sites are desired. We find that existing approaches are assessed solely through user studies. There is a need for a benchmark with ground truth summaries to complement assessment through user studies. Unfortunately, such a benchmark is non-existent for answer summarization for technical queries from SQA sites. To fill the gap, we manually construct a high-quality benchmark to enable automatic evaluation of answer summarization for technical queries for SQA sites. Using the benchmark, we comprehensively evaluate the performance of existing approaches and find that there is still a big room for improvement. Motivated by the results, we propose a new approach TechSumBot with three key modules:1) Usefulness Ranking module, 2) Centrality Estimation module, and 3) Redundancy Removal module. We evaluate TechSumBot in both automatic (i.e., using our benchmark) and manual (i.e., via a user study) manners. The results from both evaluations consistently demonstrate that TechSumBot outperforms the best performing baseline approaches from both SE and NLP domains by a large margin, i.e., 10.83%-14.90%, 32.75%-36.59%, and 12.61%-17.54%, in terms of ROUGE-1, ROUGE-2, and ROUGE-L on automatic evaluation, and 5.79%-9.23% and 17.03%-17.68%, in terms of average usefulness and diversity score on human evaluation. This highlights that the automatic evaluation of our benchmark can uncover findings similar to the ones found through user studies. More importantly, automatic evaluation has a much lower cost, especially when it is used to assess a new approach. Additionally, we also conducted an ablation study, which demonstrates that each module in TechSumBot contributes to boosting the overall performance of TechSumBot.


title: Enskog kinetic theory of binary granular suspensions: heat flux and stability analysis of the homogeneous steady state

abstract: The Enskog kinetic theory of multicomponent granular suspensions employed previously [G\'omez Gonz\'alez, Khalil, and Garz\'o, Phys. Rev. E \textbf{101}, 012904 (2020)] is considered further to determine the four transport coefficients associated with the heat flux. These transport coefficients are obtained by solving the Enskog equation by means of the application of the Chapman--Enskog method around the local version of the homogeneous state. Explicit forms of the heat flux transport coefficients are provided in steady-state conditions by considering the so-called second Sonine approximation to the distribution function of each species. Their quantitative variation on the control parameters of the mixture (masses and diameters, coefficients of restitution, concentration, volume fraction, and the background temperature) is demonstrated and the results show that in general the dependence of the heat flux transport coefficients on inelasticity is clearly different from that found in the absence of the gas phase (\emph{dry} granular mixtures). As an application of the general results, the stability of the homogeneous steady state is analyzed by solving the linearized Navier--Stokes hydrodynamic equations. The linear stability analysis (which holds for wavelengths long compared with the mean free path) shows that the transversal and longitudinal modes are always stable with respect to long-enough wavelength excitations. This conclusion agrees with previous results derived for monocomponent and (dilute) bidisperse granular suspensions but contrasts with the instabilities found in previous works in dry (no gas phase) granular mixtures.


title: On the sampling complexity of open quantum systems

abstract: Open quantum systems are ubiquitous in the physical sciences, with widespread applications in the areas of chemistry, condensed matter physics, material science, optics, and many more. Not surprisingly, there is significant interest in their efficient simulation. However, direct classical simulation quickly becomes intractable with coupling to an environment whose effective dimension grows exponentially. This raises the question: can quantum computers help model these complex dynamics? A first step in answering this question requires understanding the computational complexity of this task. Here, we map the temporal complexity of a process to the spatial complexity of a many-body state using a computational model known as the process tensor framework. With this, we are able to explore the simulation complexity of an open quantum system as a dynamic sampling problem: a system coupled to an environment can be probed at successive points in time -- accessing multi-time correlations. The complexity of multi-time sampling, which is an important and interesting problem in its own right, contains the complexity of master equations and stochastic maps as a special case. Our results show how the complexity of the underlying quantum stochastic process corresponds to the complexity of the associated family of master equations for the dynamics. We present both analytical and numerical examples whose multi-time sampling is as complex as sampling from a many-body state that is classically hard. This also implies that the corresponding family of master equations are classically hard. Our results pave the way for studying open quantum systems from a complexity-theoretic perspective, highlighting the role quantum computers will play in our understanding of quantum dynamics.


title: On Conditional Chisini Means and Risk Measures

abstract: Given a real valued functional T on the space of bounded random variables, we investigate the problem of the existence of a conditional version of nonlinear means. We follow a seminal idea by Chisini (1929), defining a mean as the solution of a functional equation induced by T. We provide sufficient conditions which guarantee the existence of a (unique) solution of a system of infinitely many functional equations, which will provide the so called Conditional Chisini mean. We apply our findings in characterizing the scalarization of conditional Risk Measures, an essential tool originally adopted by Detlefsen and Scandolo (2005) to deduce the robust dual representation.


title: Wave equation with hyperbolic boundary condition: a frequency domain approach

abstract: In this paper, we investigate the stability of the linear wave equation where one part of the boundary, which is seen as a lower-dimensional Riemannian manifold, is governed by a coupled wave equation, while the other part is subject to a dissipative Robin velocity feedback. We prove that the closed-loop equations generate a semi-uniformly stable semigroup of linear contractions on a suitable energy space. Furthermore, under multiplier-related geometrical conditions, we establish a polynomial decay rate for strong solutions. This is achieved by estimating the growth of the resolvent operator on the imaginary axis.


title: Turning Normalizing Flows into Monge Maps with Geodesic Gaussian Preserving Flows

abstract: Normalizing Flows (NF) are powerful likelihood-based generative models that are able to trade off between expressivity and tractability to model complex densities. A now well established research avenue leverages optimal transport (OT) and looks for Monge maps, i.e. models with minimal effort between the source and target distributions. This paper introduces a method based on Brenier's polar factorization theorem to transform any trained NF into a more OT-efficient version without changing the final density. We do so by learning a rearrangement of the source (Gaussian) distribution that minimizes the OT cost between the source and the final density. We further constrain the path leading to the estimated Monge map to lie on a geodesic in the space of volume-preserving diffeomorphisms thanks to Euler's equations. The proposed method leads to smooth flows with reduced OT cost for several existing models without affecting the model performance.


title: Angular-based Edge Bundled Parallel Coordinates Plot for the Visual Analysis of Large Ensemble Simulation Data

abstract: With the continuous increase in the computational power and resources of modern high-performance computing (HPC) systems, large-scale ensemble simulations have become widely used in various fields of science and engineering, and especially in meteorological and climate science. It is widely known that the simulation outputs are large time-varying, multivariate, and multivalued datasets which pose a particular challenge to the visualization and analysis tasks. In this work, we focused on the widely used Parallel Coordinates Plot (PCP) to analyze the interrelations between different parameters, such as variables, among the members. However, PCP may suffer from visual cluttering and drawing performance with the increase on the data size to be analyzed, that is, the number of polylines. To overcome this problem, we present an extension to the PCP by adding B\'{e}zier curves connecting the angular distribution plots representing the mean and variance of the inclination of the line segments between parallel axes. The proposed Angular-based Parallel Coordinates Plot (APCP) is capable of presenting a simplified overview of the entire ensemble data set while maintaining the correlation information between the adjacent variables. To verify its effectiveness, we developed a visual analytics prototype system and evaluated by using a meteorological ensemble simulation output from the supercomputer Fugaku.


title: Semantically Consistent Data Augmentation for Neural Machine Translation via Conditional Masked Language Model

abstract: This paper introduces a new data augmentation method for neural machine translation that can enforce stronger semantic consistency both within and across languages. Our method is based on Conditional Masked Language Model (CMLM) which is bi-directional and can be conditional on both left and right context, as well as the label. We demonstrate that CMLM is a good technique for generating context-dependent word distributions. In particular, we show that CMLM is capable of enforcing semantic consistency by conditioning on both source and target during substitution. In addition, to enhance diversity, we incorporate the idea of soft word substitution for data augmentation which replaces a word with a probabilistic distribution over the vocabulary. Experiments on four translation datasets of different scales show that the overall solution results in more realistic data augmentation and better translation quality. Our approach consistently achieves the best performance in comparison with strong and recent works and yields improvements of up to 1.90 BLEU points over the baseline.


title: An Attention Matrix for Every Decision: Faithfulness-based Arbitration Among Multiple Attention-Based Interpretations of Transformers in Text Classification

abstract: Transformers are widely used in natural language processing, where they consistently achieve state-of-the-art performance. This is mainly due to their attention-based architecture, which allows them to model rich linguistic relations between (sub)words. However, transformers are difficult to interpret. Being able to provide reasoning for its decisions is an important property for a model in domains where human lives are affected. With transformers finding wide use in such fields, the need for interpretability techniques tailored to them arises. We propose a new technique that selects the most faithful attention-based interpretation among the several ones that can be obtained by combining different head, layer and matrix operations. In addition, two variations are introduced towards (i) reducing the computational complexity, thus being faster and friendlier to the environment, and (ii) enhancing the performance in multi-label data. We further propose a new faithfulness metric that is more suitable for transformer models and exhibits high correlation with the area under the precision-recall curve based on ground truth rationales. We validate the utility of our contributions with a series of quantitative and qualitative experiments on seven datasets.


title: Beyond Voxel Prediction Uncertainty: Identifying brain lesions you can trust

abstract: Deep neural networks have become the gold-standard approach for the automated segmentation of 3D medical images. Their full acceptance by clinicians remains however hampered by the lack of intelligible uncertainty assessment of the provided results. Most approaches to quantify their uncertainty, such as the popular Monte Carlo dropout, restrict to some measure of uncertainty in prediction at the voxel level. In addition not to be clearly related to genuine medical uncertainty, this is not clinically satisfying as most objects of interest (e.g. brain lesions) are made of groups of voxels whose overall relevance may not simply reduce to the sum or mean of their individual uncertainties. In this work, we propose to go beyond voxel-wise assessment using an innovative Graph Neural Network approach, trained from the outputs of a Monte Carlo dropout model. This network allows the fusion of three estimators of voxel uncertainty: entropy, variance, and model's confidence; and can be applied to any lesion, regardless of its shape or size. We demonstrate the superiority of our approach for uncertainty estimate on a task of Multiple Sclerosis lesions segmentation.


title: Gaussian Agency problems with memory and Linear Contracts

abstract: Can a principal still offer optimal dynamic contracts that are linear in end-of-period outcomes when the agent controls a process that exhibits memory? We provide a positive answer by considering a general Gaussian setting where the output dynamics are not necessarily semi-martingales or Markov processes. We introduce a rich class of principal-agent models that encompasses dynamic agency models with memory. From the mathematical point of view, we develop a methodology to deal with the possible non-Markovianity and non-semimartingality of the control problem, which can no longer be directly solved by means of the usual Hamilton-Jacobi-Bellman equation. Our main contribution is to show that, for one-dimensional models, this setting always allows for optimal linear contracts in end-of-period observable outcomes with a deterministic optimal level of effort. In higher dimension, we show that linear contracts are still optimal when the effort cost function is radial and we quantify the gap between linear contracts and optimal contracts for more general quadratic costs of efforts.


title: The geodesics for Poincar\'e's half-plane: a nonstandard derivation

abstract: Constants of motion are usually derived from groups of symmetry transformation of the system. Here we show that useful properties of the system can be deduced from a family of Noether-like transformations that are not inspired by any symmetry whatsoever. The system here is the Lagrangian interpretation of Poincar\'e's half plane, and the property is the shape of the geodesics.


title: Unified Mechanical Erosion Model for Multi-phase Mass Flows

abstract: Erosion poses a great challenge in multi-phase mass flows as it drastically changes flow behavior and deposition pattern by dramatically increasing their masses, adversely affecting population and civil structures. There exists no mechanically-explained, unified multi-phase erosion model. We constitute a novel, unified and comprehensive mechanical erosion rates for solid and fluid phases and demonstrate their richness and urgency. This is achieved by seminally introducing interacting stresses across erosion-interface. Shear resistances from the bed against shear stresses from the landslide are based on consistent physical principles. Proposed multi-phase interactive shear structures are mechanically superior and dynamically flexible. Total erosion rate is the sum of solid and fluid erosion rates which are mechanically extensive and compact. Erosion rates consistently take solid and fluid fractions from the bed and customarily supply to solid and fluid components in the flow. This overcomes severe limitations inherited by existing models. For the first time, we physically correctly construct composite, intricate erosion velocities of particle and fluid from the bed and architect the complete net momentum productions that include all interactions between solids and fluids in the landslide and bed. We invent stress correction, erosive-shear-velocity, super-erosion-drift and erosion-matrix characterizing complex erosion processes. By embedding well constrained extensive erosion velocities, unified erosion rates and net momentum productions including erosion-induced inertia into mass and momentum balances, we develop a novel, mechanically-explained, comprehensive multi-phase model for erosive mass flows. As new model covers a broad spectrum of natural processes it offers great opportunities for practitioners in solving technical, engineering problems related to erosive multi-phase mass flows.


title: Non-Negative Matrix Factorization with Scale Data Structure Preservation

abstract: The model described in this paper belongs to the family of non-negative matrix factorization methods designed for data representation and dimension reduction. In addition to preserving the data positivity property, it aims also to preserve the structure of data during matrix factorization. The idea is to add, to the NMF cost function, a penalty term to impose a scale relationship between the pairwise similarity matrices of the original and transformed data points. The solution of the new model involves deriving a new parametrized update scheme for the coefficient matrix, which makes it possible to improve the quality of reduced data when used for clustering and classification. The proposed clustering algorithm is compared to some existing NMF-based algorithms and to some manifold learning-based algorithms when applied to some real-life datasets. The obtained results show the effectiveness of the proposed algorithm.


title: HyperGal: hyperspectral scene modeling for supernova typing with the Integral Field Spectrograph SEDmachine

abstract: Recent developments in time domain astronomy, like the Zwicky Transient Facility, have made possible a daily scan of the entire visible sky, leading to the discovery of hundreds of new transients every night. Among them, 10 to 15 are supernovae (SNe), which have to be classified prior to cosmological use. The Spectral Energy Distribution machine (SEDm), a low resolution Integral Field Spectrograph, has been designed, built, and operated to spectroscopically classify targets detected by the ZTF main camera. The current Pysedm pipeline is limited by contamination when the transient is too close to its host galaxy core; this can lead to an incorrect typing and ultimately bias the cosmological analyses, and affect the SN sample homogeneity in terms of local environment properties. We present a new scene modeler to extract the transient spectrum from its structured background, aiming at improving the typing efficiency of the SEDm. HyperGal is a fully chromatic scene modeler, which uses pre-transient photometric images to generate a hyperspectral model of the host galaxy; it is based on the CIGALE SED fitter used as a physically-motivated spectral interpolator. The galaxy model, complemented by a point source and a diffuse background component, is projected onto the SEDm spectro-spatial observation space and adjusted to observations. The full procedure is validated on 5000 simulated cubes. We introduce the contrast as the transient-to-total flux ratio at SN location. From estimated contrast distribution of real SEDm observations, we show that HyperGal correctly classifies ~95% of SNe Ia. Compared to the standard extraction method, HyperGal correctly classifies 10% more SNe Ia. The false positive rate is less than 2%, half as much as the standard extraction method. Assuming a similar contrast distribution for core-collapse SNe, HyperGal classifies 14% (11%) additional SNe II (Ibc).


title: On weighted spectral radius of unraveled balls and normalized Laplacian eigenvalues

abstract: For a graph $G$, the unraveled ball of radius $r$ centered at a vertex $v$ is the ball of radius $r$ centered at $v$ in the universal cover of $G$. We obtain a lower bound on the weighted spectral radius of unraveled balls of fixed radius in a graph with positive weights on edges, which is used to present an upper bound on the $s$-th (where $s\ge 2$) smallest normalized Laplacian eigenvalue of irregular graphs under minor assumptions. Moreover, when $s=2$, the result may be regarded as an Alon--Boppana type bound for a class of irregular graphs.


title: Deterministic particle approximation of aggregation diffusion equations with nonlinear mobility

abstract: We consider a class of aggregation-diffusion equations on unbounded one dimensional domains with Lipschitz nonincreasing mobility function. We show strong $L^1$-convergence of a suitable deterministic particle approximation to weak solutions of a class aggregation-diffusion PDEs (coinciding with the classical ones in the no vacuum regions) for any bounded initial data of finite energy. In order to prove well-posedness and convergence of the scheme with no BV or no vacuum assumptions and overcome the issues posed in this setting by the presence of a mobility function, we improve and strengthen the techniques introduced in arXiv:2012.01966(2).


title: Molecular-Beam Spectroscopy with an Infinite Interferometer: Spectroscopic Resolution and Accuracy

abstract: An interferometer with effectively infinite maximum optical path difference removes the dominant resolution limitation for interferometric spectroscopy. We present mass-correlated rotational Raman spectra that represent the world's highest resolution scanned interferometric data and discuss the current and expected future limitations in achievable spectroscopic performance.


title: A Block Jacobi Sweeping Preconditioner for the Helmholtz Equation

abstract: In recent research, the parallel performances of sweeping-type algorithms for high-frequency time-harmonic wave problems have been improved by departing from standard layer-type domain decomposition and introducing a new sweeping strategy on a checkerboard-type domain decomposition, where sweeps can be performed more flexibly. These sweeps can be done by a certain number of steps, each of which provides the necessary information from subdomains solved at the current iteration to their next neighboring subdomains. Although, subproblems in these subdomains can be solved concurrently at each step, the sequential nature of the process of the sweeping approaches still exists, which limits their potential for parallelization. We propose a block Jacobi sweeping preconditioner, which is an improved variant of sweeping-type preconditioners. The new feature of these improved variants can be interpreted as several partial sweeps, which can be thought of as sweeps that operate on a subset of the subdomains in parallel. We present several two-dimensional finite element results to study and compare the sweeping preconditioner and the block Jacobi sweeping preconditioner.


title: A Multi-Stage Multi-Codebook VQ-VAE Approach to High-Performance Neural TTS

abstract: We propose a Multi-Stage, Multi-Codebook (MSMC) approach to high-performance neural TTS synthesis. A vector-quantized, variational autoencoder (VQ-VAE) based feature analyzer is used to encode Mel spectrograms of speech training data by down-sampling progressively in multiple stages into MSMC Representations (MSMCRs) with different time resolutions, and quantizing them with multiple VQ codebooks, respectively. Multi-stage predictors are trained to map the input text sequence to MSMCRs progressively by minimizing a combined loss of the reconstruction Mean Square Error (MSE) and "triplet loss". In synthesis, the neural vocoder converts the predicted MSMCRs into final speech waveforms. The proposed approach is trained and tested with an English TTS database of 16 hours by a female speaker. The proposed TTS achieves an MOS score of 4.41, which outperforms the baseline with an MOS of 3.62. Compact versions of the proposed TTS with much less parameters can still preserve high MOS scores. Ablation studies show that both multiple stages and multiple codebooks are effective for achieving high TTS performance.


title: Amortized Variational Inference: A Systematic Review

abstract: The core principle of Variational Inference (VI) is to convert the statistical inference problem of computing complex posterior probability densities into a tractable optimization problem. This property enables VI to be faster than several sampling-based techniques. However, the traditional VI algorithm is not scalable to large data sets and is unable to readily infer out-of-bounds data points without re-running the optimization process. Recent developments in the field, like stochastic-, black box-, and amortized-VI, have helped address these issues. Generative modeling tasks nowadays widely make use of amortized VI for its efficiency and scalability, as it utilizes a parameterized function to learn the approximate posterior density parameters. In this paper, we review the mathematical foundations of various VI techniques to form the basis for understanding amortized VI. Additionally, we provide an overview of the recent trends that address several issues of amortized VI, such as the amortization gap, generalization issues, inconsistent representation learning, and posterior collapse. Finally, we analyze alternate divergence measures that improve VI optimization.


title: Asymptotic symmetries and soft theorems in higher-dimensional gravity

abstract: Soft theorems can be recast as Ward identities of asymptotic symmetries. We review such relation for the leading and subleading soft graviton theorems in arbitrary even dimensions. While soft theorems are trivially generalized to dimensions higher than four, the charges of asymptotic symmetries are plagued by divergences requiring a renormalization. We argue that the renormalized charges of these symmetries can be determined by rewriting soft theorems as Ward identities. In order to show that the charges of such identities generate asymptotic symmetries, we propose a suitable commutation relation among certain components of the metric fields


title: EPIC TTS Models: Empirical Pruning Investigations Characterizing Text-To-Speech Models

abstract: Neural models are known to be over-parameterized, and recent work has shown that sparse text-to-speech (TTS) models can outperform dense models. Although a plethora of sparse methods has been proposed for other domains, such methods have rarely been applied in TTS. In this work, we seek to answer the question: what are the characteristics of selected sparse techniques on the performance and model complexity? We compare a Tacotron2 baseline and the results of applying five techniques. We then evaluate the performance via the factors of naturalness, intelligibility and prosody, while reporting model size and training time. Complementary to prior research, we find that pruning before or during training can achieve similar performance to pruning after training and can be trained much faster, while removing entire neurons degrades performance much more than removing parameters. To our best knowledge, this is the first work that compares sparsity paradigms in text-to-speech synthesis.


title: Simplicity of the automorphism group of fields with operators

abstract: We adapt a proof of Lascar in order to show the simplicity of the group of automorphisms fixing pointwise all non-generic elements for a class of uncountable models of suitable theories of fields with operators.


title: Online Ridesharing with Meeting Points [Technical Report]

abstract: Nowadays, ridesharing becomes a popular commuting mode. Dynamically arriving riders post their origins and destinations, then the platform assigns drivers to serve them. In ridesharing, different groups of riders can be served by one driver if their trips can share common routes. Recently, many ridesharing companies (e.g., Didi and Uber) further propose a new mode, namely "ridesharing with meeting points". Specifically, with a short walking distance but less payment, riders can be picked up and dropped off around their origins and destinations, respectively. In addition, meeting points enables more flexible routing for drivers, which can potentially improve the global profit of the system. In this paper, we first formally define the Meeting-Point-based Online Ridesharing Problem (MORP). We prove that MORP is NP-hard and there is no polynomial-time deterministic algorithm with a constant competitive ratio for it. We notice that a structure of vertex set, $k$-skip cover, fits well to the MORP. $k$-skip cover tends to find the vertices (meeting points) that are convenient for riders and drivers to come and go. With meeting points, MORP tends to serve more riders with these convenient vertices. Based on the idea, we introduce a convenience-based meeting point candidates selection algorithm. We further propose a hierarchical meeting-point oriented graph (HMPO graph), which ranks vertices for assignment effectiveness and constructs $k$-skip cover to accelerate the whole assignment process. Finally, we utilize the merits of $k$-skip cover points for ridesharing and propose a novel algorithm, namely SMDB, to solve MORP. Extensive experiments on real and synthetic datasets validate the effectiveness and efficiency of our algorithms.


title: Fingerprints of carbon defects in vibrational spectra of gallium nitride (GaN) consider-ing the isotope effect

abstract: This work examines the carbon defects associated with recently reported and novel peaks of infrared (IR) absorption and Raman scattering appearing in GaN crystals at carbon ($^{12}C$) doping in the range of concentrations from $3.2*10^{17}$ to $3.5*10^{19} cm^{-3}$. 14 unique vibrational modes of defects are observed in GaN samples grown by hydride vapor phase epitaxy (HVPE) and then compared with defect properties predicted from first-principles calculations. The vibrational frequency shift in two $^{13}C$ enriched samples related to the effect of the isotope mass indicates six distinct configurations of the carbon-containing point defects. The effect of the isotope replacement is well reproduced by the density functional theory (DFT) calculations. Specific attention is paid to the most pronounced defects, namely tri-carbon complexes($C_N=C=C_N$) and carbon substituting for nitrogen $C_N$. The position of the transition level (+/0) in the bandgap found for $C_N=C=C_N$ defects by DFT at 1.1 eV above the valence band maximum, suggest that $(C_N=C=C_N)^+$ provides compensation of ${C_N}^-$. $C_N=C=C_N$ defects are observed to be prominent, yet have high formation energies in DFT calculations. Regarding ${C_N}$ defects, it is shown that the host Ga and N atoms are involved in the defect's delocalized vibrations and significantly affect the isotopic frequency shift. Much more faint vibrational modes are found from di-atomic carbon-carbon and carbon-hydrogen (C-H) complexes. Also, we note changes of vibrational mode intensities of $C_N$, $C_N=C=C_N$, C-H, and $C_N-C_i$ defects in the IR absorption spectra upon irradiation in the defect-related UV/visible absorption range. Finally, it is demonstrated that the resonant enhancement of the Raman process in the range of defect absorption above 2.5 eV enables the detection of defects at carbon doping concentrations as low as $3.2*10^{17} cm^{-3}$.


title: Kaonic Hanbury-Brown-Twiss radii at 200 GeV and 5.02 TeV

abstract: We use 3+1D quasiparticle anisotropic hydrodynamics (aHydroQP) to make predictions for kaon Hanbury-Brown-Twiss (HBT) radii in 200 GeV and 5.02 TeV heavy-ion collisions. Using previously determined aHydroQP parameters, we compute kaonic HBT radii and their ratios as a function of the mean transverse momentum of the pair $k_T$. We first consider Au-Au collisions at 200 GeV, finding good agreement between aHydroQP predictions and experimental data up to $k_T \sim 0.8$ GeV. We then present predictions for kaonic HBT radii and their ratios in 5.02 TeV Pb-Pb collisions. Our aHydroQP predictions do not exhibit a clear $k_T$ scaling of the pion and kaon source radii, however, an approximate transverse mass $m_T$ scaling is observed, particularly at 200 GeV.


title: Theory of the Loschmidt echo and dynamical quantum phase transitions in disordered Fermi systems

abstract: In this work we develop the theory of the Loschmidt echo and dynamical phase transitions in non-interacting strongly disordered Fermi systems after a quench. In finite systems the Loschmidt echo displays zeros in the complex time plane that depend on the random potential realization. Remarkably, the zeros coalesce to form a 2D manifold in the thermodynamic limit, atypical for 1D systems, crossing the real axis at a sharply-defined critical time. We show that this dynamical phase transition can be understood as a transition in the distribution function of the smallest eigenvalue of the Loschmidt matrix, and develop a finite-size scaling theory. Contrary to expectations, the notion of dynamical phase transitions in disordered systems becomes decoupled from the equilibrium Anderson localization transition. Our results highlight the striking qualitative differences of quench dynamics in disordered and non-disordered many-fermion systems.


title: mini-ELSA: using Machine Learning to improve space efficiency in Edge Lightweight Searchable Attribute-based encryption for Industry 4.0

abstract: In previous work a novel Edge Lightweight Searchable Attribute-based encryption (ELSA) method was proposed to support Industry 4.0 and specifically Industrial Internet of Things applications. In this paper, we aim to improve ELSA by minimising the lookup table size and summarising the data records by integrating Machine Learning (ML) methods suitable for execution at the edge. This integration will eliminate records of unnecessary data by evaluating added value to further processing. Thus, resulting in the minimization of both the lookup table size, the cloud storage and the network traffic taking full advantage of the edge architecture benefits. We demonstrate our mini-ELSA expanded method on a well-known power plant dataset. Our results demonstrate a reduction of storage requirements by 21% while improving execution time by 1.27x.


title: Process Modeling and Conformance Checking in Healthcare: A COVID-19 Case Study

abstract: The discipline of process mining has a solid track record of successful applications to the healthcare domain. Within such research space, we conducted a case study related to the Intensive Care Unit (ICU) ward of the Uniklinik Aachen hospital in Germany. The aim of this work is twofold: developing a normative model representing the clinical guidelines for the treatment of COVID-19 patients, and analyzing the adherence of the observed behavior (recorded in the information system of the hospital) to such guidelines. We show that, through conformance checking techniques, it is possible to analyze the care process for COVID-19 patients, highlighting the main deviations from the clinical guidelines. The results provide physicians with useful indications for improving the process and ensuring service quality and patient satisfaction. We share the resulting model as an open-source BPMN file.


title: Can the Higgs Still Account for the g-2 Anomaly?

abstract: We use an Effective Field Theory (EFT) approach to evaluate the viability of the Higgs to account for the $g-2$ anomaly. Although the SM contribution of the Higgs to the muon's magnetic dipole moment is negligible, using a \textit{bottom-up} EFT, we show that given the current level of experimental limits on the Higgs sector, the Higgs can still yield a viable solution to the $g-2$ anomaly if its couplings to the rest of the SM particles are allowed to deviate from their SM predictions. Further, applying unitarity arguments, we show that such a solution would indicate a scale of New Physics (NP) of $\sim 10 -18$ TeV, which could be lowered to $\sim 5$ TeV if the Higgs couplings to the $W$ and $Z$ are assumed to conform to their SM predictions. We show that such a scenario could yield significant enhancement to the di-Higgs production in muon colliders, thus providing further motivation for its consideration. A key takeaway of this study is to highlight the importance of measuring the $\bar{\mu} \mu hh$ coupling in future experiments.


title: Single-crystal elastic moduli, anisotropy and the B1-B2 phase transition of NaCl at high pressures: Experiment vs. ab-initio calculations

abstract: Single-crystal elastic moduli, Cij, and the B1-B2 phase transition of NaCl were investigated experimentally, using time-domain Brillouin scattering (TDBS), and theoretically, via density-functional-theory (DFT), to 41 GPa. Thus, we largely extended pressure range where Cij and elastic anisotropy of the solid are measured, including the first experimental data for the high-pressure B2 phase, NaCl-B2. NaCl-B1 exhibits a strong and growing with pressure anisotropy, in contrast to NaCl-B2. Theoretical values obtained using different advanced DFT functionals were compared with our measurements but no one could satisfactorily reproduce our experimental data for NaCl-B1 and NaCl-B2 simultaneously. For all available DFT results on the principal shear moduli and anisotropy, the deviation became pronounced when the degree of compression increased significantly. Similar deviations could be also recognized for other cubic solids having the same B1-type structure and similar bonding, such as CaO, MgO, or (Mg1-x,Fex)O. Furthermore, the available experimental data suggest that the B1-B2 phase transition of NaCl and the above mentioned compounds are governed by the Born stability criterion C44(P) - P > 0.


title: A Capability and Skill Model for Heterogeneous Autonomous Robots

abstract: Teams of heterogeneous autonomous robots become increasingly important due to their facilitation of various complex tasks. For such heterogeneous robots, there is currently no consistent way of describing the functions that each robot provides. In the field of manufacturing, capability modeling is considered a promising approach to semantically model functions provided by different machines. This contribution investigates how to apply and extend capability models from manufacturing to the field of autonomous robots and presents an approach for such a capability model.


title: Pretraining the Vision Transformer using self-supervised methods for vision based Deep Reinforcement Learning

abstract: The Vision Transformer architecture has shown to be competitive in the computer vision (CV) space where it has dethroned convolution-based networks in several benchmarks. Nevertheless, convolutional neural networks (CNN) remain the preferential architecture for the representation module in reinforcement learning. In this work, we study pretraining a Vision Transformer using several state-of-the-art self-supervised methods and assess the quality of the learned representations. To show the importance of the temporal dimension in this context we propose an extension of VICReg to better capture temporal relations between observations by adding a temporal order verification task. Our results show that all methods are effective in learning useful representations and avoiding representational collapse for observations from Atari Learning Environment (ALE) which leads to improvements in data efficiency when we evaluated in reinforcement learning (RL). Moreover, the encoder pretrained with the temporal order verification task shows the best results across all experiments, with richer representations, more focused attention maps and sparser representation vectors throughout the layers of the encoder, which shows the importance of exploring such similarity dimension. With this work, we hope to provide some insights into the representations learned by ViT during a self-supervised pretraining with observations from RL environments and which properties arise in the representations that lead to the best-performing agents. The source code will be available at: https://github.com/mgoulao/TOV-VICReg


title: Halo-Independent Dark Matter Electron Scattering Analysis with In-Medium Effects

abstract: Dark matter (DM)-electron scattering is a prime target of a number of direct DM detection experiments and constitutes a promising avenue for exploring interactions of DM in the sub-GeV mass-range, challenging to probe with nuclear recoils. We extend the recently proposed halo-independent analysis method for DM-electron scattering, which allows to infer the local DM halo properties without any additional assumptions about them, to include in-medium effects through dielectric functions of the target material. We show that in-medium effects could significantly affect halo-independent analysis response functions for germanium and silicon and thus are essential for proper inference of local DM halo characteristics from direct DM detection data.


title: Higher order topology in a Creutz ladder

abstract: A Creutz ladder, is a quasi one dimensional system hosting robust topological phases with localized edge modes protected by different symmetries such as inversion, chiral and particle-hole symmetries. Non-trivial topology is observed in a large region of the parameter space defined by the horizontal, diagonal and vertical hopping ampitudes and a transverse magnetic flux that threads through the ladder. In this work, we investigate higher order topology in a two dimensional extrapolated version of the Creutz ladder. To explore the topological phases, we consider two different configurations, namely a torus (periodic boundary) and a ribbon (open boundary) to look for hints of gap closing phase transitions. We also associate suitable topological invariants to characterize the non-trivial sectors. Further, we find that the resultant phase diagram hosts two different topological phases, one where the higher order topological excitations are realized in the form of robust corner modes, along with (usual) first order excitations demonstrated via the presence of edge modes in a finite lattice, for the other.


title: AcroFOD: An Adaptive Method for Cross-domain Few-shot Object Detection

abstract: Under the domain shift, cross-domain few-shot object detection aims to adapt object detectors in the target domain with a few annotated target data. There exists two significant challenges: (1) Highly insufficient target domain data; (2) Potential over-adaptation and misleading caused by inappropriately amplified target samples without any restriction. To address these challenges, we propose an adaptive method consisting of two parts. First, we propose an adaptive optimization strategy to select augmented data similar to target samples rather than blindly increasing the amount. Specifically, we filter the augmented candidates which significantly deviate from the target feature distribution in the very beginning. Second, to further relieve the data limitation, we propose the multi-level domain-aware data augmentation to increase the diversity and rationality of augmented data, which exploits the cross-image foreground-background mixture. Experiments show that the proposed method achieves state-of-the-art performance on multiple benchmarks.


title: The effects of self-interacting bosonic dark matter on neutron star properties

abstract: We propose a model of asymmetric bosonic dark matter (DM) with self-repulsion mediated by the vector field coupled to the complex scalar particles. By adopting the two-fluid formalism, we study different DM distribution regimes, either, fully condensed inside the core of a star or, otherwise, distributed in a dilute halo around a neutron star (NS). We show that DM condensed in a core leads to a decrease of the total gravitational mass, radius and tidal deformability compared to a pure baryonic star with the same central density, which we will perceive as an effective softening of the equation of state (EoS). On the other hand, the presence of a DM halo increases the tidal deformability and total gravitational mass. As a result, an accumulated DM inside compact stars could mimic an apparent stiffening of strongly interacting matter equation of state and constraints we impose on it at high densities. From the performed analysis of the effect of DM particles in a MeV-GeV mass-scale, interaction strength, and relative DM fractions inside NSs we obtained a rigorous constraint on model parameters. Finally, we discuss several smoking guns of the presence of DM that are free from the above mentioned apparent modification of the strongly interacting matter equation of state. With this we could be probed with the future astrophysical and gravitational wave (GW) surveys.


title: Spin wave study of magnetic perpendicular surface anisotropy in single crystalline MgO$\text{/}$Fe$\text{/}$MgO films

abstract: Broadband ferromagnetic resonance is measured in single crystalline Fe films of varying thickness sandwiched between MgO layers. An exhaustive magnetic characterization of the films (exchange constant, cubic, uniaxial and surface anisotropies) is enabled by the study of the uniform and the first perpendicular standing spin wave modes as a function of applied magnetic field and film thickness. Additional measurements of non-reciprocal spin wave propagation allow us to separate each of the two interface contributions to the total surface anisotropy. The results are consistent with the model of a quasi-bulk film interior and two magnetically different top and bottom interfaces, a difference ascribed to different oxidation states.


title: DRKF: Distilled Rotated Kernel Fusion for Efficient Rotation Invariant Descriptors in Local Feature Matching

abstract: The performance of local feature descriptors degrades in the presence of large rotation variations. To address this issue, we present an efficient approach to learning rotation invariant descriptors. Specifically, we propose Rotated Kernel Fusion (RKF) which imposes rotations on the convolution kernel to improve the inherent nature of CNN. Since RKF can be processed by the subsequent re-parameterization, no extra computational costs will be introduced in the inference stage. Moreover, we present Multi-oriented Feature Aggregation (MOFA) which aggregates features extracted from multiple rotated versions of the input image and can provide auxiliary knowledge for the training of RKF by leveraging the distillation strategy. We refer to the distilled RKF model as DRKF. Besides the evaluation on a rotation-augmented version of the public dataset HPatches, we also contribute a new dataset named DiverseBEV which is collected during the drone's flight and consists of bird's eye view images with large viewpoint changes and camera rotations. Extensive experiments show that our method can outperform other state-of-the-art techniques when exposed to large rotation variations.


title: Improving Utility for Privacy-Preserving Analysis of Correlated Columns using Pufferfish Privacy

abstract: Surveys are an important tool for many areas of social science research, but privacy concerns can complicate the collection and analysis of survey data. Differentially private analyses of survey data can address these concerns, but at the cost of accuracy - especially for high-dimensional statistics. We present a novel privacy mechanism, the Tabular DDP Mechanism, designed for high-dimensional statistics with incomplete correlation. The Tabular DDP Mechanism satisfies dependent differential privacy, a variant of Pufferfish privacy; it works by building a causal model of the sensitive data, then calibrating noise to the level of correlation between statistics. An empirical evaluation on survey data shows that the Tabular DDP Mechanism can significantly improve accuracy over the Laplace mechanism.


title: Vanilla feedforward neural networks as a discretization of dynamic systems

abstract: Deep learning has made significant applications in the field of data science and natural science. Some studies have linked deep neural networks to dynamic systems, but the network structure is restricted to the residual network. It is known that residual networks can be regarded as a numerical discretization of dynamic systems. In this paper, we back to the classical network structure and prove that the vanilla feedforward networks could also be a numerical discretization of dynamic systems, where the width of the network is equal to the dimension of the input and output. Our proof is based on the properties of the leaky-ReLU function and the numerical technique of splitting method to solve differential equations. Our results could provide a new perspective for understanding the approximation properties of feedforward neural networks.


title: Search for resonant and non-resonant Higgs boson pair production in the $b\bar b\tau^+\tau^-$ decay channel using 13 TeV $pp$ collision data from the ATLAS detector

abstract: A search for Higgs boson pair production in events with two $b$-jets and two $\tau$-leptons is presented, using a proton-proton collision dataset with an integrated luminosity of 139 fb$^{-1}$ collected at $\sqrt{s}=13$ TeV by the ATLAS experiment at the LHC. Higgs boson pairs produced non-resonantly or in the decay of a narrow scalar resonance in the mass range from 251 to 1600 GeV are targeted. Events in which at least one $\tau$-lepton decays hadronically are considered, and multivariate discriminants are used to reject the backgrounds. No significant excess of events above the expected background is observed in the non-resonant search. The largest excess in the resonant search is observed at a resonance mass of 1 TeV, with a local (global) significance of $3.1\sigma$ ($2.0\sigma$). Observed (expected) 95% confidence-level upper limits are set on the non-resonant Higgs boson pair-production cross-section at 4.7 (3.9) times the Standard Model prediction, assuming Standard Model kinematics, and on the resonant Higgs boson pair-production cross-section at between 21 and 900 fb (12 and 840 fb), depending on the mass of the narrow scalar resonance.


title: Scattering Dominated Spatial Coherence and Phase Correlation Properties in Plasmonic Lattice Lasers

abstract: We present a comprehensive study of the polarization and spatial coherence properties of the lasing modes supported by a 4-fold symmetric plasmonic lattice. By modifying only, the scattering properties of the individual particles while keeping the lattice geometry constant, we are able to distinguish the scattering induced effects from the lattice geometry induced effects. Customized interferometric measurements reveal that the lasing emission undergoes a drastic change from 1D to 2D spatial coherence with increasing particle size, accompanied with dramatic changes in the far field polarization and beaming properties. By utilizing T-matrix scattering simulations, we reveal the physical mechanism governing this transition. In particular, we find that there exists increased radiative coupling in the diagonal directions at the plane of the lattice when the particle diameter is increased. Finally, we demonstrate that the x- and y-polarized (degenerate) lasing modes become phase locked with sufficiently large particles.


title: Numerical solution of fractional Fredholm integro-differential equations by spectral method with fractional basis functions

abstract: This paper presents an efficient spectral method for solving the fractional Fredholm integro-differential equations. The non-smoothness of the solutions to such problems leads to the performance of spectral methods based on the classical polynomials such as Chebyshev, Legendre, Laguerre, etc, with a low order of convergence. For this reason, the development of classic numerical methods to solve such problems becomes a challenging issue. Since the non-smooth solutions have the same asymptotic behavior with polynomials of fractional powers, therefore, fractional basis functions are the best candidate to overcome the drawbacks of the accuracy of the spectral methods. On the other hand, the fractional integration of the fractional polynomials functions is in the class of fractional polynomials and this is one of the main advantages of using the fractional basis functions. In this paper, an implicit spectral collocation method based on the fractional Chelyshkov basis functions is introduced. The framework of the method is to reduce the problem into a nonlinear system of equations utilizing the spectral collocation method along with the fractional operational integration matrix. The obtained algebraic system is solved using Newton's iterative method. Convergence analysis of the method is studied. The numerical examples show the efficiency of the method on the problems with smooth and non-smooth solutions in comparison with other existing methods.


title: How Good Is Neural Combinatorial Optimization? A Systematic Evaluation on the Traveling Salesman Problem

abstract: Traditional solvers for tackling combinatorial optimization (CO) problems are usually designed by human experts. Recently, there has been a surge of interest in utilizing deep learning, especially deep reinforcement learning, to automatically learn effective solvers for CO. The resultant new paradigm is termed neural combinatorial optimization (NCO). However, the advantages and disadvantages of NCO relative to other approaches have not been empirically or theoretically well studied. This work presents a comprehensive comparative study of NCO solvers and alternative solvers. Specifically, taking the traveling salesman problem as the testbed problem, the performance of the solvers is assessed in five aspects, i.e., effectiveness, efficiency, stability, scalability, and generalization ability. Our results show that the solvers learned by NCO approaches, in general, still fall short of traditional solvers in nearly all these aspects. A potential benefit of NCO solvers would be their superior time and energy efficiency for small-size problem instances when sufficient training instances are available. Hopefully, this work would help with a better understanding of the strengths and weaknesses of NCO and provide a comprehensive evaluation protocol for further benchmarking NCO approaches in comparison to other approaches.


title: Morpheus: Extending the Last Level Cache Capacity in GPU Systems Using Idle GPU Core Resources

abstract: Graphics Processing Units (GPUs) are widely-used accelerators for data-parallel applications. In many GPU applications, GPU memory bandwidth bottlenecks performance, causing underutilization of GPU cores. Hence, disabling many cores does not affect the performance of memory-bound workloads. While simply power-gating unused GPU cores would save energy, prior works attempt to better utilize GPU cores for other applications (ideally compute-bound), which increases the GPU's total throughput. In this paper, we introduce Morpheus, a new hardware/software co-designed technique to boost the performance of memory-bound applications. The key idea of Morpheus is to exploit unused core resources to extend the GPU last level cache (LLC) capacity. In Morpheus, each GPU core has two execution modes: compute mode and cache mode. Cores in compute mode operate conventionally and run application threads. However, for the cores in cache mode, Morpheus invokes a software helper kernel that uses the cores' on-chip memories (i.e., register file, shared memory, and L1) in a way that extends the LLC capacity for a running memory-bound workload. Morpheus adds a controller to the GPU hardware to forward LLC requests to either the conventional LLC (managed by hardware) or the extended LLC (managed by the helper kernel). Our experimental results show that Morpheus improves the performance and energy efficiency of a baseline GPU architecture by an average of 39% and 58%, respectively, across several memory-bound workloads. Morpheus' performance is within 3% of a GPU design that has a quadruple-sized conventional LLC. Morpheus can thus contribute to reducing the hardware dedicated to a conventional LLC by exploiting idle cores' on-chip memory resources as additional cache capacity.


title: NMPC in Active Subspaces: Dimensionality Reduction with Recursive Feasibility Guarantees

abstract: Dimensionality reduction of decision variables is a practical and classic method to reduce the computational burden in linear and Nonlinear Model Predictive Control (NMPC). Available results range from early move-blocking ideas to singular-value decomposition. For schemes more complex than move-blocking it is seemingly not straightforward to guarantee recursive feasibility of the receding-horizon optimization. Decomposing the space of decision variables related to the inputs into active and inactive complements, this paper proposes a general framework for effective feasibility-preserving dimensionality reduction in NMPC. We show how -- independently of the actual choice of the subspaces -- recursive feasibility can be established. Moreover, we propose the use of global sensitivity analysis to construct the active subspace in data-driven fashion based on user-defined criteria. Numerical examples illustrate the efficacy of the proposed scheme. Specifically, for a chemical reactor we obtain a significant reduction by factor $20-40$ at a closed-loop performance decay of less than $0.05\%$.


title: Symmetry-restoring crossover from defect-free to defect-laden turbulence in polar active matter

abstract: Coherent flows of self-propelled particles are characterized by vortices and jets that sustain chaotic flows, referred to as active turbulence. Here, we reveal a crossover between defect-free active turbulence and active turbulence laden with topological defects. Interestingly, we show that concurrent to the crossover from defect-free to defect-laden active turbulence is the restoration of the previously broken $\SO(2)$-symmetry signaled by the fast decay of the two-point correlations. By stability analyses of the topological charge density field, we provide theoretical insights on the criterion for the crossover to the defect-laden active turbulent state. Despite the distinct symmetry features between these two active turbulence regimes, the flow fluctuations exhibit universal statistical scaling behaviors at large scales, while the spectrum of polarity fluctuations decays exponentially at small length scales compared to the active energy injection length. These findings reveal a new dynamical crossover between distinct spatiotemporal organization patterns in polar active mater.


title: Dynamic Gardner crossover in a simple structural glass

abstract: The criticality of the jamming transition responsible for amorphous solidification has been theoretically linked to the marginal stability of a thermodynamic Gardner phase. While the critical exponents of jamming appear independent of the preparation history, the pertinence of Gardner physics far from equilibrium is an open question. To fill this gap, we numerically study the nonequilibrium dynamics of hard disks compressed towards the jamming transition using a broad variety of protocols. We show that dynamic signatures of Gardner physics can be disentangled from the aging relaxation dynamics. We thus define a generic dynamic Gardner crossover regardless of the history. Our results show that the jamming transition is always accessed by exploring increasingly complex landscape, resulting in the anomalous microscopic relaxation dynamics that remains to be understood theoretically.


title: CONE: An Efficient COarse-to-fiNE Alignment Framework for Long Video Temporal Grounding

abstract: This paper tackles an emerging and challenging problem of long video temporal grounding~(VTG) that localizes video moments related to a natural language (NL) query. Compared with short videos, long videos are also highly demanded but less explored, which brings new challenges in higher inference computation cost and weaker multi-modal alignment. To address these challenges, we propose CONE, an efficient COarse-to-fiNE alignment framework. CONE is a plug-and-play framework on top of existing VTG models to handle long videos through a sliding window mechanism. Specifically, CONE (1) introduces a query-guided window selection strategy to speed up inference, and (2) proposes a coarse-to-fine mechanism via a novel incorporation of contrastive learning to enhance multi-modal alignment for long videos. Extensive experiments on two large-scale long VTG benchmarks consistently show both substantial performance gains (e.g., from 3.13% to 6.87% on MAD) and state-of-the-art results. Analyses also reveal higher efficiency as the query-guided window selection mechanism accelerates inference time by 2x on Ego4D-NLQ and 15x on MAD while keeping SOTA results. Codes have been released at https://github.com/houzhijian/CONE.


title: Compatibility of theta lifts and tempered condition

abstract: In this note, we show that the metaplectic theta correspondence is compatible with the tempered condition by directly estimating the matrix coefficients, without using the classification theorem.


title: CAMRI Loss: Improving Recall of a Specific Class without Sacrificing Accuracy

abstract: In real-world applications of multi-class classification models, misclassification in an important class (e.g., stop sign) can be significantly more harmful than in other classes (e.g., speed limit). In this paper, we propose a loss function that can improve the recall of an important class while maintaining the same level of accuracy as the case using cross-entropy loss. For our purpose, we need to make the separation of the important class better than the other classes. However, existing methods that give a class-sensitive penalty for cross-entropy loss do not improve the separation. On the other hand, the method that gives a margin to the angle between the feature vectors and the weight vectors of the last fully connected layer corresponding to each feature can improve the separation. Therefore, we propose a loss function that can improve the separation of the important class by setting the margin only for the important class, called Class-sensitive Additive Angular Margin Loss (CAMRI Loss). CAMRI loss is expected to reduce the variance of angles between features and weights of the important class relative to other classes due to the margin around the important class in the feature space by adding a penalty to the angle. In addition, concentrating the penalty only on the important classes hardly sacrifices the separation of the other classes. Experiments on CIFAR-10, GTSRB, and AwA2 showed that the proposed method could improve up to 9% recall improvement on cross-entropy loss without sacrificing accuracy.


title: Some remarks on invariant subspaces in real Banach spaces (revised version)

abstract: It is proved that a commutative algebra $A$ of operators on a reflexive real Banach space has an invariant subspace if each operator $T\in A$ satisfies the condition $$\|1- \varepsilon T^2\|_e \le 1 + o(\varepsilon) \text{ when } \varepsilon\searrow 0,$$ where $\|\cdot\|_e$ is the essential norm. This implies the existence of an invariant subspace for every commutative family of essentially selfadjoint operators on a real Hilbert space.


title: Learning to Write with Coherence From Negative Examples

abstract: Coherence is one of the critical factors that determine the quality of writing. We propose writing relevance (WR) training method for neural encoder-decoder natural language generation (NLG) models which improves coherence of the continuation by leveraging negative examples. WR loss regresses the vector representation of the context and generated sentence toward positive continuation by contrasting it with the negatives. We compare our approach with Unlikelihood (UL) training in a text continuation task on commonsense natural language inference (NLI) corpora to show which method better models the coherence by avoiding unlikely continuations. The preference of our approach in human evaluation shows the efficacy of our method in improving coherence.


title: Effects of Initial Density Fluctuations on Cumulants in Au + Au Collisions at $\sqrt{s_{NN}}$ = 7.7 GeV

abstract: Within the ultrarelativistic quantum molecular dynamics (UrQMD) model, the effect of initial density fluctuations on cumulants of the net-proton multiplicity distribution in Au + Au Collisions at $\sqrt{s_{NN}}$ = 7.7 GeV was investigated by varying the minimum distance $d_{\rm min}$ between two nucleons in the initialization. It was found that the initial density fluctuations increased with the decrease of $d_{\rm min}$ from 1.6 fm to 1.0 fm, and the influence of $d_{\rm min}$ on the magnitude of the net-proton number fluctuation in a narrow pseudorapidity window ($\Delta \eta \leq$ 4) was negligible even if it indeed affected the density evolution during the collision. At a broad pseudorapidity window ($\Delta \eta \geq$ 4), the cumulant ratios were enlarged when the initial density fluctuations were increased with the smaller value of $d_{\rm min}$, and this enhancement was comparable to that observed in the presence of the nuclear mean-field potential. Moreover, the enhanced cumulants were more evident in collisions with a larger impact parameter. The present work demonstrates that the fingerprint of the initial density fluctuations on the cumulants in a broad pseudorapidity window is clearly visible, while it is not obvious as the pseudorapidity window becomes narrow.


title: Diffusion and velocity correlations of the phase transitions in a system of macroscopic rolling spheres

abstract: We study an air-fluidized granular monolayer, composed of plastic spheres which roll on a metallic grid. The air current is adjusted so that the spheres never loose contact with the grid, so that the dynamics may be regarded as pseudo two-dimensional (or two-dimensional, if the effects of sphere rolling are not taken into account). We find two surprising continuous transitions, both of them displaying two coexisting phases. Moreover, in all cases, we found the coexisting phases display strong energy non-equipartition. In the first transition, at weak fludization, a glassy phase coexists with a disordered fluid-like phase. In the second transition, a hexagonal crystal coexists with the fluid phase. We analyze, for these two-phase systems, the specific diffusive properties of each phase, as well as the velocity correlations. Surprisingly, we find a glass phase at very low packing fraction and for a wide range of granular temperatures. Both phases are characterized also by a strong anti-correlated velocities upon collision. Thus, the dynamics observed for this quasi two-dimensional system unveils phase transitions with peculiar properties, very different from the predicted behavior in well know theories for their equilibrium counterparts.


title: Quantum entanglement of anyon composites

abstract: Studying quantum entanglement in systems of indistinguishable particles, in particular anyons, poses subtle challenges. Here, we investigate a model of one-dimensional anyons defined by a generalized algebra. This algebra has the special property that fermions in this model are composites of anyons. A Hubbad-like Hamiltonian is considered that allows hopping between nearest neighbour sites not just for the fundamental anyons, but for the fermionic anyon composites. Some interesting results regarding the quantum entanglement of these particles are obtained.


title: Equivariant Transduction through Invariant Alignment

abstract: The ability to generalize compositionally is key to understanding the potentially infinite number of sentences that can be constructed in a human language from only a finite number of words. Investigating whether NLP models possess this ability has been a topic of interest: SCAN (Lake and Baroni, 2018) is one task specifically proposed to test for this property. Previous work has achieved impressive empirical results using a group-equivariant neural network that naturally encodes a useful inductive bias for SCAN (Gordon et al., 2020). Inspired by this, we introduce a novel group-equivariant architecture that incorporates a group-invariant hard alignment mechanism. We find that our network's structure allows it to develop stronger equivariance properties than existing group-equivariant approaches. We additionally find that it outperforms previous group-equivariant networks empirically on the SCAN task. Our results suggest that integrating group-equivariance into a variety of neural architectures is a potentially fruitful avenue of research, and demonstrate the value of careful analysis of the theoretical properties of such architectures.


title: Delivering Ultra-Reliable Low-Latency Communications via Statistical Radio Maps

abstract: High reliability guarantees for Ultra-Reliable Low-Latency Communications (URLLC) require accurate knowledge of channel statistics, used as an input for rate selection. Exploiting the spatial consistency of channel statistics arises as a promising solution, allowing a base station to predict the propagation conditions and select the communication parameters for a new user from samples collected from previous users of the network. Based on this idea, this article provides a timely framework to exploit long-range channel spatial correlation through so-called statistical radio maps, enabling URLLC communications with given statistical guarantees. The framework is exemplified by predicting the channel capacity distribution both in a location-based radio map and in a latent space rendered by a channel chart, the latter being a localization-free approach based on channel state information (CSI). It is also shown how to use the maps to select the transmission rate in a new location that achieves a target level of reliability. Finally, several future directions and research challenges are also discussed.


title: Introduction to the theory of open quantum systems

abstract: This manuscript is an edited and refined version of the lecture script for a one-semester graduate course given originally at the PhD school in the Institute of Physics of Polish Academy of Sciences in the Spring/Summer semester of 2022. The course expects from the student only a basic knowledge on graduate-level quantum mechanics. The script itself is largely self-contained and could be used as a textbook on the topic of open quantum systems. The program of this course is based on a novel approach to the description of the open system dynamics: It is showed how the environmental degrees of freedom coupled to the system can be represented by a multi-component quasi-stochastic process. Using this representation one constructs the super-quasi-cumulant (or super-qumulant) expansion for the system's dynamical map -- a parametrization that naturally lends itself for the development of a robust and practical perturbation theory. Thus, even an experienced researcher might find this manuscript of some interest.


title: Peptide Bonds in the Interstellar Medium: Facile Autocatalytic Formation from Nitriles on Water-Ice Grains

abstract: A recent suggestion that acetamide, \ce{CH3C(O)NH2}, could be readily formed on water-ice grains by the acid induced addition of water across the \ce{CN} bond is now shown to be valid. Computational modelling of the reaction between \ce{R-CN} (R = H, \ce{CH3}) and a cluster of 32 molecules of water and one \ce{H3O+} proceeds auto-catalytically to form firstly a hydroxy imine \ce{R-C(OH)=NH} and secondly an amide \ce{R-C(O)NH2}. Quantum mechanical tunnelling, computed from small-curvature estimates, plays a key role in the rates of these reactions. This work represents the first credible effort to show how amides can be formed from abundant substrates, namely nitriles and water, reacting on a water-ice cluster containing catalytic amounts of hydrons in the interstellar medium with consequential implications towards the origins of life.


title: MGTR: End-to-End Mutual Gaze Detection with Transformer

abstract: People's looking at each other or mutual gaze is ubiquitous in our daily interactions, and detecting mutual gaze is of great significance for understanding human social scenes. Current mutual gaze detection methods focus on two-stage methods, whose inference speed is limited by the two-stage pipeline and the performance in the second stage is affected by the first one. In this paper, we propose a novel one-stage mutual gaze detection framework called Mutual Gaze TRansformer or MGTR to perform mutual gaze detection in an end-to-end manner. By designing mutual gaze instance triples, MGTR can detect each human head bounding box and simultaneously infer mutual gaze relationship based on global image information, which streamlines the whole process with simplicity. Experimental results on two mutual gaze datasets show that our method is able to accelerate mutual gaze detection process without losing performance. Ablation study shows that different components of MGTR can capture different levels of semantic information in images. Code is available at https://github.com/Gmbition/MGTR


title: Robust Collaborative Learning with Linear Gradient Overhead

abstract: Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been proposed to enhance the robustness of D-SGD to such machines, previous works either resort to strong assumptions (trusted server, homogeneous data, specific noise model) or impose a gradient computational cost that is several orders of magnitude higher than that of D-SGD. We present MoNNA, a new algorithm that (a) is provably robust under standard assumptions and (b) has a gradient computation overhead that is linear in the fraction of faulty machines, which is conjectured to be tight. Essentially, MoNNA uses Polyak's momentum of local gradients for local updates and nearest-neighbor averaging (NNA) for global mixing, respectively. While MoNNA is rather simple to implement, its analysis has been more challenging and relies on two key elements that may be of independent interest. Specifically, we introduce the mixing criterion of $(\alpha, \lambda)$-reduction to analyze the non-linear mixing of non-faulty machines, and present a way to control the tension between the momentum and the model drifts. We validate our theory by experiments on image classification and make our code available at https://github.com/LPD-EPFL/robust-collaborative-learning.


title: Gravitational coupling of QED and QCD: 3- and 4- point functions in momentum space

abstract: Conformal symmetry has important consequences for strong interactions at short distances and provides powerful tools for practical calculations. Even if the Lagrangians of Quantum Chromodynamics (QCD) and Electrodynamics (QED) are invariant under conformal transformations, this symmetry is broken by quantum corrections. The signature of the symmetry breaking is encoded in the presence of massless poles in correlators involving stress-energy tensors. We present a general study of the correlation functions $\langle TJJ\rangle$ and $\langle TTJJ\rangle$ of conformal field theory (CFT) in the flat background limit in momentum space, following a reconstruction method for tensor correlators. Furthermore, our analysis also focuses on studying the dimensional degeneracies of the tensor structures related to these correlators.


title: Degenerate wave-like solutions to the Dirac equation for massive particles

abstract: In this work we provide a novel class of degenerate solutions to the Dirac equation for massive particles, where the rotation of the spin of the particles is synchronized with the rotation of the magnetic field of the wave-like electromagnetic fields corresponding to these solutions. We show that the state of the particles does not depend on the intensity of the electromagnetic fields but only on their frequency, which is proportional to the mass of the particles and lies in the region of Gamma/X-rays for typical elementary charged particles, such as electrons and protons. These novel theoretical results could play an important role in plasma physics, astrophysics, and other fields of physics, involving the interaction of charged particles with high energy photons.


title: Detecting Entanglement by Pure Bosonic Extension

abstract: In the realm of quantum information theory, the detection and quantification of quantum entanglement stand as paramount tasks. The relative entropy of entanglement (REE) serves as a prominent measure of entanglement, with extensive applications spanning numerous related fields. The positive partial transpose (PPT) criterion, while providing an efficient method for the computation of REE, unfortunately, falls short when dealing with bound entanglement. In this study, we propose a method termed "pure bosonic extension" to enhance the practicability of $k$-bosonic extensions, which approximates the set of separable states from the "outside", through a hierarchical structure. It enables efficient characterization of the set of $k$-bosonic extendible states, facilitating the derivation of accurate lower bounds for REE. Compared to the Semi-Definite Programming (SDP) approach, such as the symmetric/bosonic extension function in QETLAB, our algorithm supports much larger dimensions and higher values of extension $k$.


title: Learning swimming via deep reinforcement learning

abstract: For decades, people have been seeking for fishlike flapping motions that can realize underwater propulsion with low energy cost. Complexity of the nonstationary flow field around the flapping body makes this problem very difficult. In earlier studies, motion patterns are usually prescribed as certain periodic functions which constrains the following optimization process in a small subdomain of the whole motion space. In this work, to avoid this motion constraint, a variational autoencoder (VAE) is designed to compress various flapping motions into a simple action vector. Then we let a flapping airfoil continuously interact with water tunnel environment and adjust its action accordingly through a reinforcement learning (RL) framework. By this automatic close-looped experiment, we obtain several motion patterns that can result in high hydrodynamic efficiency comparing to pure harmonic motions with the same thrust level. And we find that, after numerous trials and errors, RL trainings in current experiment always converge to motion patterns that are close to harmonic motions. In other words, current work proves that harmonic motion with appropriate amplitude and frequency is always an optimal choice for efficient underwater propulsion. Furthermore, the RL framework proposed here can be also extended to the study of other complex swimming problems, which might pave the way for the creation of a robotic fish that can swim like a real fish.


title: Some benefits of standardisation for conditional extremes

abstract: A key aspect where extreme values methods differ from standard statistical models is through having asymptotic theory to provide a theoretical justification for the nature of the models used for extrapolation. In multivariate extremes many different asymptotic theories have been proposed, partly as a consequence of the lack of ordering property with vector random variables. One class of multivariate models, based on conditional limit theory as one variable becomes extreme, developed by Heffernan and Tawn (2004), has developed wide practical usage. The underpinning value of this approach has been supported by further theoretical characterisations of the limiting relationships by Heffernan and Resnick (2007) and Resnick and Zeber (2014). However Drees and Jan{\ss}en (2017) provided a number of counterexamples of their results, which potentially undermine the trust in these statistical methods. Here we show that in the Heffernan and Tawn (2004) framework, which involves marginal standardisation to a common exponentially decaying tailed marginal distribution, the problems in these examples are removed.


title: Cherenkov Diffraction Radiation Emissions from Single Electrons and Positrons on a Fused Silica Radiator

abstract: Beam diagnostics are crucial for smooth accelerator operations. Many techniques rely on instrumentation in which the beam properties are significantly affected by the measurement. Novel approaches aim to use Cherenkov Diffraction Radiation (ChDR) for non-invasive diagnostics. Unlike regular Cherenkov Radiation, the charged particles do not have to move inside of the medium, but it is sufficient for them to move in its vicinity as long as they are faster than the speed of light in the medium. Changes to the beam properties due to ChDR measurements are consequently negligible. To examine ChDR emission under different conditions, we placed a fused silica radiator in the DESY II Test Beam. We observed a linear increase in ChDR intensity for electron and positron momenta between 1 GeV/c and 5 GeV/c. Additionally, we found that electrons produce significantly more ChDR than positrons for increasing particle momenta. The results suggest a need for further research into the ChDR generation by electrons and positrons and may find application in the design of future beam diagnostic devices.


title: Combined Unbalanced Distribution System State and Line Impedance Matrix Estimation

abstract: To address the challenges that the decarbonization of the energy sector is bringing about, advanced distribution network management and operation strategies are being developed. Many of these strategies require accurate network models to work effectively. However, distribution network data are known to contain errors, and attention has been given to techniques that allow to derive improved network information. This paper presents a novel method to derive line impedance values from smart meter measurement time series, with realistic assumptions in terms of meter accuracy, resolution and penetration. The method is based on unbalanced state estimation and is cast as a non-convex quadratically constrained optimization problem. Both line lengths and impedance matrix models can be estimated based on an exact nonlinear formulation of the steady-state three-phase network physics. The method is evaluated on the IEEE European Low Voltage feeder (906 buses) and shows promising results.


title: Understandable Robots

abstract: Finally, the work will include an investigation of the contextual form of explanations. In this study, we will include a time-bounded scenario in which the different levels of understanding will be tested to enable us to evaluate suitable and comprehensible explanations. For this we have proposed different levels of understanding (LOU). A user study will be designed to compare different LOU for different contexts of interaction. A user study simultating a hospital environment will be investigated.


title: On certain constructive predicate calculus

abstract: Constructive arithmetic, or the Markov arithmetic MA, is obtained from intuitionistic arithmetic HA by adding the following two principles: the Markov principle M which distinguishes constructivism from intuitionism, and the so-called extended Church thesis ECT, which distinguishes constructive semantics from classical semantics. The first principle is expressed by a predicate formula, but ECT is formulated as a scheme in the arithmetical language. Some earlier results of the authors make possible to replace the scheme ECT by a pure predicate formula. This gives a predicate calculus MQC which can serve as a logical basis for constructive arithmetic. Namely, arithmetical theory based on MQC and Peano axioms proves all formulas deducible in MA. Note that MQC is not an intermediate calculus between intuitionistic and classical logics: it proves some formulas that are not deducible in the classical predicate calculus. Bibliography: 12 items.


title: Embedding generic monadic transformer into Scala

abstract: Dotty-cps-async is an open-source package that consists of scala macro, which implements generic async/await via monadic cps transform, and library, which provides monadic substitutions for higher-order functions from the standard library. It allows developers to use direct control flow constructions of the base language instead of monadic DSL for various applications. Behind well-known async/await operations, the package provides options for transforming higher-order function applications, generating call-chain proxies, and automatic coloring.