title: Superconductivity above 80 K in polyhydrides of hafnium

abstract: Studies on polyhydrides are attracting growing attentions recently due to their potential high temperature superconductivity (SC). We here report the discovery of SC in hafnium polyhydrides at high pressures. The hafnium superhydrides are synthesized at high pressure and high temperature conditions using diamond anvil cell in combination with in-situ high pressure laser heating technique. The SC was investigated by in-situ high pressure resistance measurements in applied magnetic fields. A superconducting transition with onset Tc ~83 K was observed at 243 GPa. The upper critical field Hc2(0) was estimated to be 24 Tesla by GL theory and the consequent superconducting coherent length to be ~37 angstrom. Our results suggest that the superconducting phase is from C2/m-HfH14. This is the first 5d transition metal polyhydride superconductor with Tc above the liquid nitrogen temperature.


title: On the Modeling of Reliability in Extreme Edge Computing Systems

abstract: Extreme edge computing (EEC) refers to the endmost part of edge computing wherein computational tasks and edge services are deployed only on extreme edge devices (EEDs). EEDs are consumer or user-owned devices that offer computational resources, which may consist of wearable devices, personal mobile devices, drones, etc. Such devices are opportunistically or naturally present within the proximity of other user devices. Hence, utilizing EEDs to deploy edge services or perform computational tasks fulfills the promise of edge computing of bringing the services and computation as close as possible to the end-users. However, the lack of knowledge and control over the EEDs computational resources raises a red flag, since executing the computational tasks successfully becomes doubtful. To this end, we aim to study the EEDs randomness from the computational perspective, and how reliable is an EED in terms of executing the tasks on time. Specifically, we provide a reliability model for the EEDs that takes into account the probabilistic nature of the availability of the EEDs' computational resources. Moreover, we study the reliability of executing different types of computational tasks in EEC systems that are distributed across the EEDs. Lastly, we carry out experimental results to analyze the EEDs and the EEC systems' reliability behavior in different scenarios.


title: HERO: HiErarchical spatio-tempoRal reasOning with Contrastive Action Correspondence for End-to-End Video Object Grounding

abstract: Video Object Grounding (VOG) is the problem of associating spatial object regions in the video to a descriptive natural language query. This is a challenging vision-language task that necessitates constructing the correct cross-modal correspondence and modeling the appropriate spatio-temporal context of the query video and caption, thereby localizing the specific objects accurately. In this paper, we tackle this task by a novel framework called HiErarchical spatio-tempoRal reasOning (HERO) with contrastive action correspondence. We study the VOG task at two aspects that prior works overlooked: (1) Contrastive Action Correspondence-aware Retrieval. Notice that the fine-grained video semantics (e.g., multiple actions) is not totally aligned with the annotated language query (e.g., single action), we first introduce the weakly-supervised contrastive learning that classifies the video as action-consistent and action-independent frames relying on the video-caption action semantic correspondence. Such a design can build the fine-grained cross-modal correspondence for more accurate subsequent VOG. (2) Hierarchical Spatio-temporal Modeling Improvement. While transformer-based VOG models present their potential in sequential modality (i.e., video and caption) modeling, existing evidence also indicates that the transformer suffers from the issue of the insensitive spatio-temporal locality. Motivated by that, we carefully design the hierarchical reasoning layers to decouple fully connected multi-head attention and remove the redundant interfering correlations. Furthermore, our proposed pyramid and shifted alignment mechanisms are effective to improve the cross-modal information utilization of neighborhood spatial regions and temporal frames. We conducted extensive experiments to show our HERO outperforms existing techniques by achieving significant improvement on two benchmark datasets.


title: Empty Triangles in Generalized Twisted Drawings of $K_n$

abstract: Simple drawings are drawings of graphs in the plane or on the sphere such that vertices are distinct points, edges are Jordan arcs connecting their endpoints, and edges intersect at most once (either in a proper crossing or in a shared endpoint). Simple drawings are generalized twisted if there is a point $O$ such that every ray emanating from $O$ crosses every edge of the drawing at most once and there is a ray emanating from $O$ which crosses every edge exactly once. We show that all generalized twisted drawings of $K_n$ contain exactly $2n-4$ empty triangles, by this making a substantial step towards proving the conjecture that this is the case for every simple drawing of $K_n$.


title: Hybrid Transformer Network for Deepfake Detection

abstract: Deepfake media is becoming widespread nowadays because of the easily available tools and mobile apps which can generate realistic looking deepfake videos/images without requiring any technical knowledge. With further advances in this field of technology in the near future, the quantity and quality of deepfake media is also expected to flourish, while making deepfake media a likely new practical tool to spread mis/disinformation. Because of these concerns, the deepfake media detection tools are becoming a necessity. In this study, we propose a novel hybrid transformer network utilizing early feature fusion strategy for deepfake video detection. Our model employs two different CNN networks, i.e., (1) XceptionNet and (2) EfficientNet-B4 as feature extractors. We train both feature extractors along with the transformer in an end-to-end manner on FaceForensics++, DFDC benchmarks. Our model, while having relatively straightforward architecture, achieves comparable results to other more advanced state-of-the-art approaches when evaluated on FaceForensics++ and DFDC benchmarks. Besides this, we also propose novel face cut-out augmentations, as well as random cut-out augmentations. We show that the proposed augmentations improve the detection performance of our model and reduce overfitting. In addition to that, we show that our model is capable of learning from considerably small amount of data.


title: HiTailor: Interactive Transformation and Visualization for Hierarchical Tabular Data

abstract: Tabular visualization techniques integrate visual representations with tabular data to avoid additional cognitive load caused by splitting users' attention. However, most of the existing studies focus on simple flat tables instead of hierarchical tables, whose complex structure limits the expressiveness of visualization results and affects users' efficiency in visualization construction. We present HiTailor, a technique for presenting and exploring hierarchical tables. HiTailor constructs an abstract model, which defines row/column headings as biclustering and hierarchical structures. Based on our abstract model, we identify three pairs of operators, Swap/Transpose, ToStacked/ToLinear, Fold/Unfold, for transformations of hierarchical tables to support users' comprehensive explorations. After transformation, users can specify a cell or block of interest in hierarchical tables as a TableUnit for visualization, and HiTailor recommends other related TableUnits according to the abstract model using different mechanisms. We demonstrate the usability of the HiTailor system through a comparative study and a case study with domain experts, showing that HiTailor can present and explore hierarchical tables from different viewpoints. HiTailor is available at https://github.com/bitvis2021/HiTailor.


title: Fundamental Membranes and the String Dilaton

abstract: We study the quantization of the bosonic sector of supermembrane theory in double dimensional reduction, in order to extract the dependence of the resulting world-sheet action on the string dilaton (which cannot be obtained from a purely kinematic reduction). Our construction relies on a Polyakov-type approach with all six metric components on the world-volume as independent quantum fields, and shows that the correct and unique answer is only obtained if the target-space dimension of the theory is restricted to the critical value ($D=11$ for the supermembrane). As a corollary, our analysis implies that there are no analogs of the non-critical string for (super-)membrane theory.


title: Searching for Propionamide (C2H5CONH2) Toward Sagittarius B2 at Centimeter Wavelengths

abstract: The formation of molecules in the interstellar medium (ISM) remains a complex and unresolved question in astrochemistry. A group of molecules of particular interest involves the linkage between a -carboxyl and -amine group, similar to that of a peptide bond. The detection of molecules containing these peptide-like bonds in the ISM can help elucidate possible formation mechanisms, as well as indicate the level of molecular complexity available within certain regions of the ISM. Two of the simplest molecules containing a peptide-like bond, formamide (NH2CHO) and acetamide (CH3CONH2), have previously been detected toward the star forming region Sagittarius B2 (Sgr B2). Recently, the interstellar detection of propionamide (C2H5CONH2) was reported toward Sgr B2(N) with ALMA observations at millimeter wavelengths. Yet, this detection has been questioned by others from the same set of ALMA observations as no statistically significant line emission was identified from any uncontaminated transitions. Using the PRrbiotic Interstellar MOlecule Survey (PRIMOS) observations, we report an additional search for C2H5CONH2 at centimeter wavelengths conducted with the Green Bank Telescope. No spectral signatures of C2H5CONH2 were detected. An upper limit for C2H5CONH2 at centimeter wavelengths was determined to be less than 1.8e14 cm-2 and an upper limit to the C2H5CONH2/CH3CONH2 ratio is found to be less than 2.34. This work again questions the initial detection of C2H5CONH2 and indicates that more complex peptide-like structures may have difficulty forming in the ISM or are below the detection limits of current astronomical facilities. Additional structurally related species are provided to aid in future laboratory and astronomical searches.


title: Consistency of potential energy in the dynamical vertex approximation

abstract: In the last decades, dynamical mean-field theory (DMFT) and its diagrammatic extensions have been successfully applied to describe local and nonlocal correlation effects in correlated electron systems. Unfortunately, except for the exact solution, it is impossible to fulfill both the Pauli principle and conservation laws at the same time. Consequently, fundamental observables such as the kinetic and potential energies are ambiguously defined. In this work, we propose an approach to overcome the ambiguity in the calculation of the potential energy within the ladder dynamical vertex approximation (D$\Gamma$A) by introducing an effective mass renormalization parameter in both the charge and the spin susceptibility of the system. We then apply our method to the half-filled single-band Hubbard model on a three-dimensional bipartite cubic lattice. We find that: (i) at weak-to-intermediate coupling, a reasonable modification of the transition temperature $\TN$ to the antiferromagnetically ordered state with respect to previous ladder D$\Gamma$A calculations without charge renormalization. This is in good agreement with dual fermion and Monte Carlo results; (ii) the renormalization of charge fluctuations in our new approach leads to a unique value for the potential energy which is substantially lower than corresponding ones from DMFT and non-self-consistent ladder D$\Gamma$A; and (iii) the hierarchy of the kinetic energies between the DMFT and the ladder D$\Gamma$A in the weak coupling regime is restored by the consideration of charge renormalization.


title: Evidencing the interaction between science fiction enthusiasm and career aspirations in the UK astronomy community

abstract: The anecdotal connection between an interest in science fiction and career aspirations in astrophysics is well established. However strong statistical evidence for such a connection, and a quantitative assessment of its prevalence, has been missing. Here I report the results of two surveys examining the connection between science fiction enthusiasm and astronomical careers - first a case study of the University of Warwick Astronomy and Astrophysics group, carried out in February 2021, and second a larger survey of attendees at the UK National Astronomy Meeting in July 2022. In both surveys, a significant majority of respondents expressed an interest in science fiction. In the larger survey, 93% of UK astronomers (223 of 239 respondents) expressed an interest in science fiction, while 69% (164) stated that it had influenced their life or career choices. This study provides strong statistical evidence for the role of science fiction in influencing the adoption of astronomical careers.


title: Assessments in Education

abstract: Assessments such as standardized tests and teacher evaluations of students' classroom participation are central elements of most educational systems. Assessments inform the student, parent, teacher, and school about the student learning progress. Individuals use the information to adjust their study efforts and to make guide their course choice. Schools and teachers use the information to evaluate effectiveness and inputs. Assessments are also used to sort students into tracks, educational programmes, and on the labor market. Policymakers use assessments to reward or penalise schools and parents use assessment results to select schools. Consequently, assessments incentivize the individual, the teacher, and the school to do well. Because assessments play an important role in individuals' educational careers, either through the information or the incentive channel, they are also important for efficiency, equity, and well-being. The information channel is important for ensuring the most efficient human capital investments: students learn about the returns and costs of effort investments and about their abilities and comparative advantages. However, because students are sorted into educational programs and on the labor market based on assessment results, students optimal educational investment might not equal their optimal human capital investment because of the signaling value. Biases in assessments and heterogeneity in access to assessments are sources of inequality in education according to gender, origin, and socioeconomic background. These sources have long-running implications for equality and opportunity. Finally, because assessment results also carry important consequences for individuals' educational opportunities and on the labor market, they are a source of stress and reduced well-being.


title: K-UNN: k-Space Interpolation With Untrained Neural Network

abstract: Recently, untrained neural networks (UNNs) have shown satisfactory performances for MR image reconstruction on random sampling trajectories without using additional full-sampled training data. However, the existing UNN-based approach does not fully use the MR image physical priors, resulting in poor performance in some common scenarios (e.g., partial Fourier, regular sampling, etc.) and the lack of theoretical guarantees for reconstruction accuracy. To bridge this gap, we propose a safeguarded k-space interpolation method for MRI using a specially designed UNN with a tripled architecture driven by three physical priors of the MR images (or k-space data), including sparsity, coil sensitivity smoothness, and phase smoothness. We also prove that the proposed method guarantees tight bounds for interpolated k-space data accuracy. Finally, ablation experiments show that the proposed method can more accurately characterize the physical priors of MR images than existing traditional methods. Additionally, under a series of commonly used sampling trajectories, experiments also show that the proposed method consistently outperforms traditional parallel imaging methods and existing UNNs, and even outperforms the state-of-the-art supervised-trained k-space deep learning methods in some cases.


title: Differential Galoisian approach to Jacobi integrability of general analytic dynamical systems and its application

abstract: The Morales-Ramis theory provides an effective and powerful non-integrability criterion for complex analytical Hamiltonian systems via the differential Galoisian obstruction. In this paper we give a new Morales-Ramis type theorem on the meromorphic Jacobi non-integrability of general analytic dynamical systems. The key point is to show the existence of Jacobian multiplier of a nonlinear system implies the existence of common Jacobian multiplier of Lie algebra associated with the identity component. In addition, we apply our results to the polynomial integrability of Karabut systems for stationary gravity waves in finite depth.


title: Fan-complete Ramsey numbers

abstract: We consider Ramsey numbers $r(G,H)$ with tight lower bounds, namely, \begin{align*} r(G,H) \geq (\chi(G)-1)(|H|-1)+1, \end{align*} where $\chi(G)$ denotes the chromatic number of $G$ and $|H|$ denotes the number of vertices in $H$. We say $H$ is $G$-good if the equality holds. In this paper, we prove that the fan-graph $F_n=K_1 + n K_2$ is $K_p$-good if $n\geq 27p^2$, improving previous tower-type lower bounds for $n$ due to Li and Rousseau (1996). The join graph $G+H$ is defined by adding all edges between the disjoint vertex sets of $G$ and $H$. Let $nH$ denote the union graph of $n$ disjoint copies of $H$. We show that $K_1+nH$ is $K_p$-good if $n$ is sufficiently large. We give a stronger lower bound inequality for Ramsey number $r(G, K_1+F)$ for the case of $G=K_p(a_1, a_2, \dots, a_p)$, the complete $p$-partite graph with $a_1=1$ and $a_i \leq a_{i+1}$. In particular, using a stability-supersaturation lemma by Fox, He and Wigderson (2021), we show that for any fixed graph $H$, \begin{align*} r(G,K_1+nH) = \left\{ \begin{array}{ll} (p-1)(n |H|+a_2-1)+1 & \textrm{if $n|H|+a_2-1$ or $a_2-1$ is even,}\\ (p-1)(n |H|+a_2-2)+1 & \textrm{otherwise,} \end{array} \right. \end{align*} where $G=K_p(1,a_2, \dots, a_p)$ with $a_i$'s satisfying some mild conditions and $n$ is sufficiently large. The special case of $H=K_1$ gives an answer to Burr's question (1981) about the discrepancy of $r(G, K_{1,n})$ from $G$-goodness for sufficiently large $n$. All bounds of $n$ we obtain are not of tower-types.


title: Speech Enhancement and Dereverberation with Diffusion-based Generative Models

abstract: In this work, we build upon our previous publication and use diffusion-based generative models for speech enhancement. We present a detailed overview of the diffusion process that is based on a stochastic differential equation and delve into an extensive theoretical examination of its implications. Opposed to usual conditional generation tasks, we do not start the reverse process from pure Gaussian noise but from a mixture of noisy speech and Gaussian noise. This matches our forward process which moves from clean speech to noisy speech by including a drift term. We show that this procedure enables using only 30 diffusion steps to generate high-quality clean speech estimates. By adapting the network architecture, we are able to significantly improve the speech enhancement performance, indicating that the network, rather than the formalism, was the main limitation of our original approach. In an extensive cross-dataset evaluation, we show that the improved method can compete with recent discriminative models and achieves better generalization when evaluating on a different corpus than used for training. We complement the results with an instrumental evaluation using real-world noisy recordings and a listening experiment, in which our proposed method is rated best. Examining different sampler configurations for solving the reverse process allows us to balance the performance and computational speed of the proposed method. Moreover, we show that the proposed method is also suitable for dereverberation and thus not limited to additive background noise removal. Code and audio examples are available online, see https://github.com/sp-uhh/sgmse


title: Shapovalov Elements For $U_q(\mathfrak{sl}(N+1))

abstract: For a simple Lie algebra, Shapovalov elements give rise to highest weight vectors in Verma modules. The usual construction of these elements uses induction on the length of a certain Weyl group element. If $\mathfrak{g}= \mathfrak{sl}(N+1)$ explicit expressions for Shapovalov elements were given in [Mus22a]. Here we adapt the argument to the quantized enveloping algebra of $\mathfrak{g}$.


title: Strong surface termination dependence of the electronic structure of polar superconductor LaFeAsO revealed by nano-ARPES

abstract: The electronic structures of the iron-based superconductors have been intensively studied by using angleresolved photoemission spectroscopy (ARPES). A considerable amount of research has been focused on the LaFeAsO family, showing the highest transition temperatures, where previous ARPES studies have found much larger Fermi surfaces than bulk theoretical calculations would predict. The discrepancy has been attributed to the presence of termination-dependent surface states. Here, using photoemission spectroscopy with a sub-micron focused beam spot (nano-ARPES) we have successfully measured the electronic structures of both the LaO and FeAs terminations in LaFeAsO. Our data reveal very different band dispersions and core-level spectra for different surface terminations, showing that previous macro-focus ARPES measurements were incomplete. Our results give direct evidence for the surface-driven electronic structure reconstruction in LaFeAsO, including formation of the termination-dependent surface states at the Fermi level. This new experimental technique, which we have shown to be very powerful when applied to this prototypical compound, can now be used to study various materials with different surface terminations.


title: Algebraic cones of LCK manifolds with potential

abstract: A complex manifold $X$ is called "LCK manifolds with potential" if it can be realized as a complex submanifold of a Hopf manifold. Let $Y$ its $\Z$-covering, considered as a complex submanifold in $C^n \backslash 0$. We prove that $Y$ is algebraic. We call the manifolds obtained this way the algebraic cones, and show that the affine algebraic structure on $Y$ is independent from the choice of $X$. We give several intrinsic definitions of an algebraic cone, and prove that these definitions are equivalent.


title: Joint reconstruction-segmentation on graphs

abstract: Practical image segmentation tasks concern images which must be reconstructed from noisy, distorted, and/or incomplete observations. A recent approach for solving such tasks is to perform this reconstruction jointly with the segmentation, using each to guide the other. However, this work has so far employed relatively simple segmentation methods, such as the Chan--Vese algorithm. In this paper, we present a method for joint reconstruction-segmentation using graph-based segmentation methods, which have been seeing increasing recent interest. Complications arise due to the large size of the matrices involved, and we show how these complications can be managed. We then analyse the convergence properties of our scheme. Finally, we apply this scheme to distorted versions of ``two cows'' images familiar from previous graph-based segmentation literature, first to a highly noised version and second to a blurred version, achieving highly accurate segmentations in both cases. We compare these results to those obtained by sequential reconstruction-segmentation approaches, finding that our method competes with, or even outperforms, those approaches in terms of reconstruction and segmentation accuracy.


title: Burnside groups and orbifold invariants of birational maps

abstract: We construct new invariants of equivariant birational isomorphisms taking values in equivariant Burnside groups.


title: HyperTime: Implicit Neural Representation for Time Series

abstract: Implicit neural representations (INRs) have recently emerged as a powerful tool that provides an accurate and resolution-independent encoding of data. Their robustness as general approximators has been shown in a wide variety of data sources, with applications on image, sound, and 3D scene representation. However, little attention has been given to leveraging these architectures for the representation and analysis of time series data. In this paper, we analyze the representation of time series using INRs, comparing different activation functions in terms of reconstruction accuracy and training convergence speed. We show how these networks can be leveraged for the imputation of time series, with applications on both univariate and multivariate data. Finally, we propose a hypernetwork architecture that leverages INRs to learn a compressed latent representation of an entire time series dataset. We introduce an FFT-based loss to guide training so that all frequencies are preserved in the time series. We show that this network can be used to encode time series as INRs, and their embeddings can be interpolated to generate new time series from existing ones. We evaluate our generative method by using it for data augmentation, and show that it is competitive against current state-of-the-art approaches for augmentation of time series.


title: Three-loop master integrals for the Higgs boson self-energy with internal top-quarks and W-bosons

abstract: We consider the full set of master integrals with internal top-and $W$-propagators contributing to the three-loop Higgs self-energy diagrams of order ${\mathcal O}(\alpha^2 \alpha_s)$. We split the master integrals into a system relevant to the Feynman diagrams proportional to the product of Yukawa couplings $y_b y_t$ and the complement. For both systems we define master integrals of uniform weight, such that the associated differential equation is in $\varepsilon$-factorised form. The occurring square roots are rationalised and all master integrals are expressible in multiple polylogarithms.


title: Differencing based Self-supervised pretraining for Scene Change Detection

abstract: Scene change detection (SCD), a crucial perception task, identifies changes by comparing scenes captured at different times. SCD is challenging due to noisy changes in illumination, seasonal variations, and perspective differences across a pair of views. Deep neural network based solutions require a large quantity of annotated data which is tedious and expensive to obtain. On the other hand, transfer learning from large datasets induces domain shift. To address these challenges, we propose a novel \textit{Differencing self-supervised pretraining (DSP)} method that uses feature differencing to learn discriminatory representations corresponding to the changed regions while simultaneously tackling the noisy changes by enforcing temporal invariance across views. Our experimental results on SCD datasets demonstrate the effectiveness of our method, specifically to differences in camera viewpoints and lighting conditions. Compared against the self-supervised Barlow Twins and the standard ImageNet pretraining that uses more than a million additional labeled images, DSP can surpass it without using any additional data. Our results also demonstrate the robustness of DSP to natural corruptions, distribution shift, and learning under limited labeled data.


title: Yukawa interactions at Large Charge

abstract: We extend the fixed-charge semiclassical method by computing anomalous dimensions of fixed-charge scalar operators in models with Yukawa interactions. In particular, we discuss the Nambu-Jona-Lasinio-Yukawa theory as well as an asymptotically safe gauge-Yukawa model in four dimensions. In the weakly coupled regime, we cross-check our results to the respective maximum known orders of perturbation theory in these models and predict higher order terms for future comparisons with other computational methods. In the strongly coupled regime, we match our results to the predictions of the large-charge effective field theory which can be compared to future Monte Carlo and lattice studies.


title: Collinear functions for QCD resummations

abstract: The singular behaviour of QCD squared amplitudes in the collinear limit is factorized and controlled by splitting kernels with a process-independent structure. We use these kernels to define collinear functions that can be used in QCD resummation formulae of hard-scattering observables. Different collinear functions are obtained by integrating the splitting kernels over different phase-space regions that depend on the hard-scattering observables of interest. The collinear functions depend on an auxiliary vector $n^\mu$ that can be either light-like $(n^2=0)$ or time-like $(n^2 > 0)$. In the case of transverse-momentum dependent (TMD) collinear functions, we show that the use of a time-like auxiliary vector avoids the rapidity divergences, which are instead present if $n^2=0$. The perturbative computation of the collinear functions lead to infrared (IR) divergences that can be properly factorized with respect to IR finite functions that embody the logarithmically-enhanced collinear contributions to hard-scattering cross sections. We evaluate various collinear functions and their $n^\mu$ dependence at ${\cal O}(\alpha_{\rm S})$. We compute the azimuthal-correlation component of the TMD collinear functions at ${\cal O}(\alpha_{\rm S}^2)$, and we present the results of the ${\cal O}(\alpha_{\rm S}^2)$ contribution of linearly-polarized gluons to transverse-momentum resummation formulae. Beyond ${\cal O}(\alpha_{\rm S}^2)$ the collinear functions of initial-state colliding partons are process dependent, as a consequence of the violation of strict collinear factorization of QCD squared amplitudes.


title: Optical Non-Reciprocity in Coupled Resonators Inspired by Photosynthetic Energy Transfer

abstract: Inspired by the photosynthetic energy transfer process, we theoretically propose a method to realize non-reciprocal optical transmission in an array of coupled resonators. The optical non-reciprocity of the coupled resonators arises from the frequency gradient between adjacent cavities and the interaction with the environment, which is similar to photosynthetic energy transfer. An increase in the frequency gradient or the number of the cavities can lead to better non-reciprocity. However, although a higher environment temperature will increase the total photon number in the coupled cavities, non-reciprocity will be weakened. All these findings can be well described by the detailed balance. Our discovery reveals the similarity between the noise-induced optical non-reciprocity and exciton energy transfer in natural photosynthesis.


title: On $12$-congruences of elliptic curves

abstract: We construct infinite families of pairs of (geometrically non-isogenous) elliptic curves defined over $\mathbb{Q}$ with $12$-torsion subgroups that are isomorphic as Galois modules. This extends previous work of Chen and Fisher where it is assumed that the underlying isomorphism of $12$-torsion subgroups respects the Weil pairing. Our approach is to compute explicit birational models for the modular diagonal quotient surfaces which parametrise such pairs of elliptic curves. A key ingredient in the proof is to construct simple (algebraic) conditions for the $2$, $3$, or $4$-torsion subgroups of a pair of elliptic curves to be isomorphic as Galois modules. These conditions are given in terms of the $j$-invariants of the pair of elliptic curves.


title: Stability and electronic properties of CsK$_2$Sb surface facets

abstract: First-principles methods have recently established themselves in the field of photocathode research to provide microscopic, quantum-mechanical characterization of relevant materials for electron sources. While most of the existing studies are focused on bulk crystals, the knowledge of surface properties is essential to assess the photoemission performance of the samples. In the framework of density-functional theory, we investigate stability and electronic properties of surface slabs of CsK$_2$Sb, an emerging semiconducting photocathode material for particle accelerators. Considering surfaces with Miller indices 0 and 1, and accounting for all possible terminations, we find that, at the interface with vacuum, the atomic layers may rearrange considerably to minimize the electrostatic repulsion between neighboring alkali species. From the analysis of the surface energy as a function of the chemical potential, we find a striking preference for surfaces oriented along the (111) direction. Yet, at large and intermediate concentrations of Cs and K, respectively, (100) and (110) slabs are energetically most favorable. The considered surfaces exhibit either semiconducting or metallic character. Of the former kind is the most stable (111) slab which has a band gap of about 1.3 eV, in excellent agreement with experimental values for CsK$_2$Sb samples. Metallic surfaces have lower work function, on the order of 2.5 eV, in line with the emission threshold measured for CsK$_2$Sb photocathodes. All in all these results contribute to the fundamental understanding of the microscopic properties of CsK$_2$Sb in particular and of multi-alkali antimonides in general, and represent an useful complement to the ongoing experimental efforts in the characterization of this emerging class of photocathode materials.


title: Adaptive Identification of Populations with Treatment Benefit in Clinical Trials: Machine Learning Challenges and Solutions

abstract: We study the problem of adaptively identifying patient subpopulations that benefit from a given treatment during a confirmatory clinical trial. This type of adaptive clinical trial has been thoroughly studied in biostatistics, but has been allowed only limited adaptivity so far. Here, we aim to relax classical restrictions on such designs and investigate how to incorporate ideas from the recent machine learning literature on adaptive and online experimentation to make trials more flexible and efficient. We find that the unique characteristics of the subpopulation selection problem -- most importantly that (i) one is usually interested in finding subpopulations with any treatment benefit (and not necessarily the single subgroup with largest effect) given a limited budget and that (ii) effectiveness only has to be demonstrated across the subpopulation on average -- give rise to interesting challenges and new desiderata when designing algorithmic solutions. Building on these findings, we propose AdaGGI and AdaGCPI, two meta-algorithms for subpopulation construction. We empirically investigate their performance across a range of simulation scenarios and derive insights into their (dis)advantages across different settings.


title: Analyzing Fairness in Deepfake Detection With Massively Annotated Databases

abstract: In recent years, image and video manipulations with Deepfake have become a severe concern for security and society. Many detection models and datasets have been proposed to detect Deepfake data reliably. However, there is an increased concern that these models and training databases might be biased and, thus, cause Deepfake detectors to fail. In this work, we investigate factors causing biased detection in public Deepfake datasets by (a) creating large-scale demographic and non-demographic attribute annotations with 47 different attributes for five popular Deepfake datasets and (b) comprehensively analysing attributes resulting in AI-bias of three state-of-the-art Deepfake detection backbone models on these datasets. The analysis shows how various attributes influence a large variety of distinctive attributes (from over 65M labels) on the detection performance which includes demographic (age, gender, ethnicity) and non-demographic (hair, skin, accessories, etc.) attributes. The results examined datasets show limited diversity and, more importantly, show that the utilised Deepfake detection backbone models are strongly affected by investigated attributes making them not fair across attributes. The Deepfake detection backbone methods trained on such imbalanced/biased datasets result in incorrect detection results leading to generalisability, fairness, and security issues. Our findings and annotated datasets will guide future research to evaluate and mitigate bias in Deepfake detection techniques. The annotated datasets and the corresponding code are publicly available.


title: Fair opportunistic schedulers for Lossy Polling systems

abstract: Polling systems with losses are useful mathematical objects that can model many practical systems like travelling salesman problem with recurrent requests. One of the less studied yet an important aspect in such systems is the disparity in the utilities derived by the individual stations. Further, the random fluctuations of the travel conditions can have significant impact on the performance. This calls for a scheduler that caters to the fairness aspect, depends upon the travel conditions and the dynamic system state. Inspired by the generalized alpha-fair schedulers of wireless networks, we propose a family of schedulers that further considers binary knowledge of the travel conditions. These schedulers are opportunistic, allocate the server to a station with bad travel condition only when the station has accumulated too little a utility by the decision epoch. We illustrate that the disparities among the individual utilities diminish to zero, as fairness factor increases, and further that the price of fairness decreases as the number of stations increase.


title: Entanglement-Enhanced Quantum Metrology in Colored Noise by Quantum Zeno Effect

abstract: In open quantum systems, the precision of metrology inevitably suffers from the noise. {In Markovian open quantum dynamics, the precision can not be improved by using entangled probes although the measurement time is effectively shortened.} However, it was predicted over one decade ago that in a non-Markovian one, the error can be significantly reduced by the quantum Zeno effect (QZE) [Chin, Huelga, and Plenio, Phys. Rev. Lett. \textbf{109}, 233601 (2012)]. In this work, we apply a recently-developed quantum simulation approach to experimentally verify that entangled probes can improve the precision of metrology by the QZE. Up to $n=7$ qubits, we demonstrate that the precision has been improved by a factor of $n^{1/4}$, which is consistent with the theoretical prediction. Our quantum simulation approach may provide an intriguing platform for experimental verification of various quantum metrology schemes.


title: Fundamental Reference AGN Monitoring Experiment (FRAMEx) III: Radio Emission in the Immediate Vicinity of Radio Quiet AGNs

abstract: We present follow-up results from the first Fundamental Reference AGN Monitoring Experiment (FRAMEx) X-ray/radio snapshot program of a volume-complete sample of local hard X-ray-selected active galactic nuclei (AGNs). Here, we added 9 new sources to our previous volume-complete snapshot campaign, two of which are detected in the 6 cm Very Long Baseline Array (VLBA) observations. We also obtained deeper VLBA observations for a sample of 9 AGNs not detected by our previous snapshot campaign. We recovered 3 sources with approximately twice the observing sensitivity. In contrast with lower angular resolution Very Large Array (VLA) studies, the majority of our sources continue to be undetected with the VLBA. The sub-parsec radio (6 cm) and X-ray (2-10 keV) emission show no significant correlation, with L_R/L_X ranging from 10^-8 to 10^-4, and the majority of our sample lies well below the fiducial 10^-5 relationship for coronal synchrotron emission. Additionally, our sources are not aligned with any of the proposed "fundamental" planes of black hole activity, which purport to unify black hole accretion in the M_BH-L_X-L_R parameter space. The new detections in our deeper observations suggest that the radio emission may be produced by the synchrotron radiation of particles accelerated in low luminosity outflows. Non-detections may be a result of synchrotron self-absorption at 6 cm in the radio core, similar to what has been observed in X-ray binaries (XRBs) transitioning from the radiatively inefficient state to a radiatively efficient state.


title: Nearby active galactic nuclei and starburst galaxies as sources of the measured UHECRs anisotropy signal

abstract: The Pierre Auger and the Telescope Array observatories have measured independent and statistical significant anisotropy in the arrival direction of ultra-high-energy cosmic rays (UHECR). Three hotspot regions with relative excess of events and a dipole signal have been identified in different regions of the sky and energy ranges. In this paper, we investigate the conditions under which these anisotropy signal could be generated by nearby (<23 Mpc) active galactic nuclei (AGN) and/or starburst galaxies (SBG). We studied a wide range of possibilities including injected nuclei (p, He, N, Si, and Fe), three UHECR luminosity proxies and three extragalactic magnetic field models. The results shows that both local AGN and SBG are needed to describe all the anisotropy signal. The contribution of AGN to hotspots and to the generation of the dipole is dominant in most cases. SBG is required only to explain the hotspot measured by the Telescope Array Observatory.


title: A Deformation-based Edit Distance for Merge Trees

abstract: In scientific visualization, scalar fields are often compared through edit distances between their merge trees. Typical tasks include ensemble analysis, feature tracking and symmetry or periodicity detection. Tree edit distances represent how one tree can be transformed into another through a sequence of simple edit operations: relabeling, insertion and deletion of nodes. In this paper, we present a new set of edit operations working directly on the merge tree as an geometrical or topological object: the represented operations are deformation retractions and inverse transformations on merge trees, which stands in contrast to other methods working on branch decomposition trees. We present a quartic time algorithm for the new edit distance, which is branch decomposition-independent and a metric on the set of all merge trees.


title: All noncommutative spaces of $\kappa$-Poincar\'e geodesics

abstract: Noncommutative spaces of geodesics provide an alternative way of introducing noncommutative relativistic kinematics endowed with quantum group symmetry. In this paper we present explicitly the seven noncommutative spaces of time-, space- and light-like geodesics that can be constructed from the time-, space- and light- versions of the $\kappa$-Poincar\'e quantum symmetry in (3+1) dimensions. Remarkably enough, only for the light-like (or null-plane) $\kappa$-Poincar\'e deformation the three types of noncommutative spaces of geodesics can be constructed, while for the time-like and space-like deformations both the quantum time-like and space-like geodesics can be defined, but not the light-like one. This obstruction comes from the constraint imposed by the coisotropy condition for the corresponding deformation with respect to the isotropy subalgebra associated to the given space of geodesics, since all these quantum spaces are constructed as quantizations of the corresponding classical coisotropic Poisson homogeneous spaces. The known quantum space of geodesics on the light cone is given by a five-dimensional homogeneous quadratic algebra, and the six nocommutative spaces of time-like and space-like geodesics are explicitly obtained as six-dimensional nonlinear algebras. Five out of these six spaces are here presented for the first time, and Darboux generators for all of them are found, thus showing that the quantum deformation parameter $\kappa^{-1}$ plays exactly the same algebraic role on quantum geodesics as the Planck constant $\hbar$ plays in the usual phase space description of quantum mechanics.


title: Language Tokens: A Frustratingly Simple Approach Improves Zero-Shot Performance of Multilingual Translation

abstract: This paper proposes a simple yet effective method to improve direct (X-to-Y) translation for both cases: zero-shot and when direct data is available. We modify the input tokens at both the encoder and decoder to include signals for the source and target languages. We show a performance gain when training from scratch, or finetuning a pretrained model with the proposed setup. In the experiments, our method shows nearly 10.0 BLEU points gain on in-house datasets depending on the checkpoint selection criteria. In a WMT evaluation campaign, From-English performance improves by 4.17 and 2.87 BLEU points, in the zero-shot setting, and when direct data is available for training, respectively. While X-to-Y improves by 1.29 BLEU over the zero-shot baseline, and 0.44 over the many-to-many baseline. In the low-resource setting, we see a 1.5~1.7 point improvement when finetuning on X-to-Y domain data.


title: MultiMatch: Multi-task Learning for Semi-supervised Domain Generalization

abstract: Domain generalization (DG) aims at learning a model on source domains to well generalize on the unseen target domain. Although it has achieved great success, most of existing methods require the label information for all training samples in source domains, which is time-consuming and expensive in the real-world application. In this paper, we resort to solving the semi-supervised domain generalization (SSDG) task, where there are a few label information in each source domain. To address the task, we first analyze the theory of the multi-domain learning, which highlights that 1) mitigating the impact of domain gap and 2) exploiting all samples to train the model can effectively reduce the generalization error in each source domain so as to improve the quality of pseudo-labels. According to the analysis, we propose MultiMatch, i.e., extending FixMatch to the multi-task learning framework, producing the high-quality pseudo-label for SSDG. To be specific, we consider each training domain as a single task (i.e., local task) and combine all training domains together (i.e., global task) to train an extra task for the unseen test domain. In the multi-task framework, we utilize the independent BN and classifier for each task, which can effectively alleviate the interference from different domains during pseudo-labeling. Also, most of parameters in the framework are shared, which can be trained by all training samples sufficiently. Moreover, to further boost the pseudo-label accuracy and the model's generalization, we fuse the predictions from the global task and local task during training and testing, respectively. A series of experiments validate the effectiveness of the proposed method, and it outperforms the existing semi-supervised methods and the SSDG method on several benchmark DG datasets.


title: Sensitivity Analysis of G-estimators to Invalid Instrumental Variables

abstract: Instrumental variables regression is a tool that is commonly used in the analysis of observational data. The instrumental variables are used to make causal inference about the effect of a certain exposure in the presence of unmeasured confounders. A valid instrumental variable is a variable that is associated with the exposure, affects the outcome only through the exposure (exclusion criterion), and is not confounded with the outcome (exogeneity). These assumptions are generally untestable and rely on subject-matter knowledge. Therefore, a sensitivity analysis is desirable to assess the impact of assumptions violation on the estimated parameters. In this paper, we propose and demonstrate a new method of sensitivity analysis for G-estimators in causal linear and non-linear models. We introduce two novel aspects of sensitivity analysis in instrumental variables studies. The first is a single sensitivity parameter that captures violations of exclusion and exogeneity assumptions. The second is an application of the method to non-linear models. The introduced framework is theoretically justified and is illustrated via a simulation study. Finally, we illustrate the method by application to real-world data and provide practitioners with guidelines on conducting sensitivity analysis.


title: Predicting Tornadoes days ahead with Machine Learning

abstract: Developing methods to predict disastrous natural phenomena is more important than ever, and tornadoes are among the most dangerous ones in nature. Due to the unpredictability of the weather, counteracting them is not an easy task and today it is mainly carried out by expert meteorologists, who interpret meteorological models. In this paper we propose a system for the early detection of a tornado, validating its effectiveness in a real-world context and exploiting meteorological data collection systems that are already widespread throughout the world. Our system was able to predict tornadoes with a maximum probability of 84% up to five days before the event on a novel dataset of more than 5000 tornadic and non-tornadic events. The dataset and the code to reproduce our results are available at: https://tinyurl.com/3brsfwpk


title: QCD sum rule analysis of Heavy Quarkonium states in magnetized matter -- effects of (inverse) magnetic catalysis

abstract: The masses of the $1S$ and $1P$ states of heavy quarkonia are investigated in the magnetized, asymmetric nuclear medium, accounting for the Dirac sea effects, using a combined approach of chiral effective model and QCD sum rule method. These are calculated from the in-medium scalar and twist-2 gluon condensates, calculated within the chiral model. The gluon condensate is simulated through the scalar dilaton field, $\chi$ introduced in the model through a scale-invariance breaking logarithmic potential. Considering the scalar fields to be classical, the dilaton field, $\chi$, the non-strange isoscalar, $\sigma (\sim (\langle \bar u u\rangle +\langle \bar d d\rangle ))$, strange isoscalar, $\zeta (\sim \langle \bar s s\rangle)$ and non-strange isovector, $\delta (\sim (\langle\bar u u\rangle-\langle\bar d d\rangle)$) fields, are obtained by solving their coupled equations of motion, as derived from the chiral model Lagrangian. The effects of magnetic field due to the Dirac sea as well as the Landau energy levels of protons, and the non-zero anomalous magnetic moments of the nucleons are considered in the present study. In presence of an external magnetic field, there is also mixing between the longitudinal component of the vector meson and pseudoscalar meson (PV mixing) in both quarkonia sectors, leading to a rise (drop) of the masses of $J/\psi^{||}\ (\eta_c$) and $\Upsilon^{||}(1S)\ (\eta_b$) states. These might show in the experimental observables, e.g., the dilepton spectra in the non-central, ultra-relativistic heavy ion collision experiments at RHIC and LHC, where the produced magnetic field is huge.


title: Computation of Admissible Arakelov-Green Functions on Metrized Graphs

abstract: Metrized graphs are nonarchimedean analogues of Riemann surfaces, and Arakelov-Green functions on these graphs are of fundamental importance for some aspects of arithmetic geometry. In the present paper, we give an explicit formula for an admissible Arakelov-Green function on a metrized graph, extending Cinkir's formula for the canonical Arakelov-Green function. Based on our formula, we present and implement an algorithm in the computer algebra system SageMath for explicitly computing such functions. We illustrate our algorithm with computational examples.


title: Search for LBVs in the Local Volume galaxies: study of two stars in NGC 1156

abstract: We continue the search for luminous blue variables (LBVs) in Local Volume galaxies in order to study their fundamental parameters. In this paper, we report the discovery of two new LBVs in the dwarf irregular galaxy NGC 1156. Both stars exhibit spectral variability simultaneously with strong brightness variations: $\Delta \text{R}_c = 0.84 \pm 0.23^m$ for J025941.21+251412.2 and $\Delta \text{R}_c = 2.59 \pm 0.10^m$ for J025941.54+251421.8. The bolometric luminosities of the stars are in the range of L$_\text{Bol} \approx (0.8 - 1.6) \times 10^6$ L$_\odot$. These values are corrected for reddening A$_\text{V} \approx 0.9$ and are given for the distance to the galaxy D=7.0$\pm$0.4 Mpc, which we have measured by the TRGB method. Both stars are above the Humphreys-Davidson limit in the region of relatively low temperatures, T$_\text{eff} \lesssim 10$ kK on the temperature-luminosity diagram. J025941.54+251421.8 had a temperature below the hydrogen ionisation threshold at maximum brightness, exhibiting behaviour very similar to that of the known LBV R71 during its 2012 outburst. We have estimated the masses of the detected LBVs and studied the properties of their stellar environment. We discuss our results within the framework of both a single star and a binary system evolution scenario for LBVs.


title: Post-Inflationary Dark Matter Bremsstrahlung

abstract: Dark matter may only interact with the visible sector efficiently at energy scales above the inflaton mass, such as the Planck scale or the grand unification scale. In such a scenario, the dark matter is mainly produced out of equilibrium during the period of reheating, often referred to as UV freeze-in. We evaluate the abundance of the dark matter generated from bremsstrahlung off the inflaton decay products assuming no direct coupling between the inflaton and the dark matter. This process generally dominates the production of dark matter for low reheating temperatures where the production through the annihilations of particle in the thermal plasma becomes inefficient. We find that the bremsstrahlung process dominates for reheating temperatures $T_{\mathrm{RH}} \lesssim 10^{10}$ GeV, and produces the requisite density of dark matter for a UV scale $\simeq 10^{16}$ GeV. As examples, we calculate numerically the yield of the dark matter bremsstrahlung through gravitation and dimension-6 vector portal effective interactions.


title: Achievement Unlocked: A Case Study on Gamifying DevOps Practices in Industry

abstract: Gamification is the use of game elements such as points, leaderboards, and badges in a non-game context to encourage a desired behavior from individuals interacting with an environment. Recently, gamification has found its way into software engineering contexts as a means to promote certain activities to practitioners. Previous studies investigated the use of gamification to promote the adoption of a variety of tools and practices, however, these studies were either performed in an educational environment or in small to medium-sized teams of developers in the industry. We performed a large-scale mixed-methods study on the effects of badge-based gamification in promoting the adoption of DevOps practices in a very large company and evaluated how practice adoption is associated with changes in key delivery, quality, and throughput metrics of 333 software projects. We observed an accelerated adoption of some gamified DevOps practices by at least 60%, with increased adoption rates up to 6x. We found mixed results when associating badge adoption and metric changes: teams that earned testing badges showed an increase in bug fixing commits but output fewer commits and pull requests; teams that earned code review and quality tooling badges exhibited faster delivery metrics. Finally, our empirical study was supplemented by a survey with 45 developers where 73% of respondents found badges to be helpful for learning about and adopting new standardized practices. Our results contribute to the rich knowledge on gamification with a unique and important perspective from real industry practitioners.


title: Quantitative assessment of the microstructural factors controlling the fatigue crack initiation mechanisms in AZ31 Mg alloy

abstract: The deformation and fatigue crack nucleation mechanisms were studied by means of slip trace analysis and secondary electron microscopy in a textured AZ31B-O Mg alloy subjected to fully-reversed cyclic deformation at two different cyclic strain semi-amplitudes. Samples were deformed in two orientations leading to symmetric and non-symmetric cyclic stress-strain curves due to the activation of different deformation mechanisms. They were ascertained in longitudinal sections of the specimens, which included a large number of grains (from 1500 to 4500 for each specimen), to obtain statistically significant results. If the dominant deformation mechanisms were basal slip and tensile twinning/detwinning, the most damaging fatigue cracks were nucleated along twins in large grains, together with cracks parallel to basal slip bands associated with the localization of deformation in clusters of small grains suitably oriented for basal slip. If the main deformation mechanisms were tensile twinning/detwinning and pyramidal slip, the longest fatigue cracks were nucleated along pyramidal slip bands in large grains. Grain boundary cracks around small grains were found in all cases, but they were not critical from the viewpoint of fatigue failure. This information is relevant to assess the effect of the microstructural features on the fatigue life of Mg alloys and as input to simulate the fatigue behavior of Mg alloys using fatigue indicator parameters.


title: Network Emulation in Large-Scale Virtual Edge Testbeds: A Note of Caution and the Way Forward

abstract: The growing research and industry interest in the Internet of Things and the edge computing paradigm has increased the need for cost-efficient virtual testbeds for large-scale distributed applications. Researchers, students, and practitioners need to test and evaluate the interplay of hundreds or thousands of real software components and services connected with a realistic edge network without access to physical infrastructure. While advances in virtualization technologies have enabled parts of this, network emulation as a crucial part in the development of edge testbeds is lagging behind: As we show in this paper, NetEm, the current state-of-the-art network emulation tooling included in the Linux kernel, imposes prohibitive scalability limits. We quantify these limits, investigate possible causes, and present a way forward for network emulation in large-scale virtual edge testbeds based on eBPFs.


title: GEM-2: Next Generation Molecular Property Prediction Network by Modeling Full-range Many-body Interactions

abstract: Molecular property prediction is a fundamental task in the drug and material industries. Physically, the properties of a molecule are determined by its own electronic structure, which is a quantum many-body system and can be exactly described by the Schr"odinger equation. Full-range many-body interactions between electrons have been proven effective in obtaining an accurate solution of the Schr"odinger equation by classical computational chemistry methods, although modeling such interactions consumes an expensive computational cost. Meanwhile, deep learning methods have also demonstrated their competence in molecular property prediction tasks. Inspired by the classical computational chemistry methods, we design a novel method, namely GEM-2, which comprehensively considers full-range many-body interactions in molecules. Multiple tracks are utilized to model the full-range interactions between the many-bodies with different orders, and a novel axial attention mechanism is designed to approximate the full-range interaction modeling with much lower computational cost. Extensive experiments demonstrate the overwhelming superiority of GEM-2 over multiple baseline methods in quantum chemistry and drug discovery tasks. The ablation studies also verify the effectiveness of the full-range many-body interactions.


title: Face Morphing Attacks and Face Image Quality: The Effect of Morphing and the Unsupervised Attack Detection by Quality

abstract: Morphing attacks are a form of presentation attacks that gathered increasing attention in recent years. A morphed image can be successfully verified to multiple identities. This operation, therefore, poses serious security issues related to the ability of a travel or identity document to be verified to belong to multiple persons. Previous works touched on the issue of the quality of morphing attack images, however, with the main goal of quantitatively proofing the realistic appearance of the produced morphing attacks. We theorize that the morphing processes might have an effect on both, the perceptual image quality and the image utility in face recognition (FR) when compared to bona fide samples. Towards investigating this theory, this work provides an extensive analysis of the effect of morphing on face image quality, including both general image quality measures and face image utility measures. This analysis is not limited to a single morphing technique, but rather looks at six different morphing techniques and five different data sources using ten different quality measures. This analysis reveals consistent separability between the quality scores of morphing attack and bona fide samples measured by certain quality measures. Our study goes further to build on this effect and investigate the possibility of performing unsupervised morphing attack detection (MAD) based on quality scores. Our study looks intointra and inter-dataset detectability to evaluate the generalizability of such a detection concept on different morphing techniques and bona fide sources. Our final results point out that a set of quality measures, such as MagFace and CNNNIQA, can be used to perform unsupervised and generalized MAD with a correct classification accuracy of over 70%.


title: Transparent and Tamper-Proof Event Ordering in the Internet of Things Platforms

abstract: Today, the audit and diagnosis of the causal relationships between the events in a trigger-action-based event chain (e.g., why is a light turned on in a smart home?) in the Internet of Things (IoT) platforms are untrustworthy and unreliable. The current IoT platforms lack techniques for transparent and tamper-proof ordering of events due to their device-centric logging mechanism. In this paper, we develop a framework that facilitates tamper-proof transparency and event order in an IoT platform by proposing a Blockchain protocol and adopting the vector clock system, both tailored for the resource-constrained heterogeneous IoT devices, respectively. To cope with the unsuited storage (e.g., ledger) and computing power (e.g., proof of work puzzle) requirements of the Blockchain in the commercial off-the-shelf IoT devices, we propose a partial consistent cut protocol and engineer a modular arithmetic-based lightweight proof of work puzzle, respectively. To the best of our knowledge, this is the first Blockchain designed for resource-constrained heterogeneous IoT platforms. Our event ordering protocol based on the vector clock system is also novel for the IoT platforms. We implement our framework using an IoT gateway and 30 IoT devices. We experiment with 10 concurrent trigger-action-based event chains while each chain involves 20 devices, and each device participates in 5 different chains. The results show that our framework may order these events in 2.5 seconds while consuming only 140 mJ of energy per device. The results hence demonstrate the proposed platform as a practical choice for many IoT applications such as smart home, traffic monitoring, and crime investigation.


title: The RFOT Theory of Glasses: Recent Progress and Open Issues

abstract: The Random First Order Transition (RFOT) theory started with the pioneering work of Kirkpatrick, Thirumalai and Wolynes. It leverages the methods and advances of the theory of disordered systems. It fares remarkably well at reproducing the salient experimental facts of super-cooled liquids. Yet, direct and indisputable experimental validations are missing. In this short survey, we will review recent investigations that broadly support all static aspects of RFOT, but also those for which the standard dynamical extension of the theory appears to be struggling, in particular in relation with facilitation effects. We discuss possible solutions and open issues.


title: W boson mass in minimal Dirac gaugino scenarios

abstract: We investigate the conditions for alignment in Dirac Gaugino models with minimal matter content. This leads to several scenarios, including an aligned Dirac Gaugino NMSSM that allows a light singlet scalar. We then investigate the compatibility of minimal Dirac Gaugino models with an enhanced W boson mass, using a new precise computation of the quantum corrections included in the code SARAH 4.15.0.


title: TotalSegmentator: robust segmentation of 104 anatomical structures in CT images

abstract: We present a deep learning segmentation model that can automatically and robustly segment all major anatomical structures in body CT images. In this retrospective study, 1204 CT examinations (from the years 2012, 2016, and 2020) were used to segment 104 anatomical structures (27 organs, 59 bones, 10 muscles, 8 vessels) relevant for use cases such as organ volumetry, disease characterization, and surgical or radiotherapy planning. The CT images were randomly sampled from routine clinical studies and thus represent a real-world dataset (different ages, pathologies, scanners, body parts, sequences, and sites). The authors trained an nnU-Net segmentation algorithm on this dataset and calculated Dice similarity coefficients (Dice) to evaluate the model's performance. The trained algorithm was applied to a second dataset of 4004 whole-body CT examinations to investigate age dependent volume and attenuation changes. The proposed model showed a high Dice score (0.943) on the test set, which included a wide range of clinical data with major pathologies. The model significantly outperformed another publicly available segmentation model on a separate dataset (Dice score, 0.932 versus 0.871, respectively). The aging study demonstrated significant correlations between age and volume and mean attenuation for a variety of organ groups (e.g., age and aortic volume; age and mean attenuation of the autochthonous dorsal musculature). The developed model enables robust and accurate segmentation of 104 anatomical structures. The annotated dataset (https://doi.org/10.5281/zenodo.6802613) and toolkit (https://www.github.com/wasserth/TotalSegmentator) are publicly available.


title: Factorization under Local Finiteness Conditions

abstract: It has been recently observed that fundamental aspects of the classical theory of factorization can be greatly generalized by combining the languages of monoids and preorders. This has led to various theorems on the existence of certain factorizations, herein called $\preceq$-factorizations, for the $\preceq$-non-units of a (multiplicatively written) monoid $H$ endowed with a preorder $\preceq$, where an element $u \in H$ is a $\preceq$-unit if $u \preceq 1_H \preceq u$ and a $\preceq$-non-unit otherwise. The ``building blocks'' of these factorizations are the $\preceq$-irreducibles of $H$ (i.e., the $\preceq$-non-units $a \in H$ that cannot be written as a product of two $\preceq$-non-units each of which is strictly $\preceq$-smaller than $a$); and it is interesting to look for sufficient conditions for the $\preceq$-factorizations of a $\preceq$-non-unit to be bounded in length or finite in number (if measured or counted in a suitable way). This is precisely the kind of questions addressed in the present work, whose main novelty is the study of the interaction between minimal $\preceq$-factorizations (i.e., a refinement of $\preceq$-factorizations used to counter the ``blow-up phenomena'' that are inherent to factorization in non-commutative or non-cancellative monoids) and some finiteness conditions describing the ``local behaviour'' of the pair $(H, \preceq)$. Besides a number of examples and remarks, the paper includes many arithmetic results, a part of which are new already in the basic case where $\preceq$ is the divisibility preorder on $H$ (and hence in the setup of the classical theory).


title: Constrained and unconstrained stable discrete minimizations for p-robust local reconstructions in vertex patches in the de Rham complex

abstract: We analyze constrained and unconstrained minimization problems on patches of tetrahedra sharing a common vertex with discontinuous piecewise polynomial data of degree p. We show that the discrete minimizers in the spaces of piecewise polynomials of degree p conforming in the H1, H(curl), or H(div) spaces are as good as the minimizers in these entire (infinite-dimensional) Sobolev spaces, up to a constant that is independent of p. These results are useful in the analysis and design of finite element methods, namely for devising stable local commuting projectors and establishing local-best/global-best equivalences in a priori analysis and in the context of a posteriori error estimation. Unconstrained minimization in H1 and constrained minimization in H(div) have been previously treated in the literature. Along with improvement of the results in the H1 and H(div) cases, our key contribution is the treatment of the H(curl) framework. This enables us to cover the whole De Rham diagram in three space dimensions in a single setting.


title: The Non-commutative Robertson-Schr\"{o}dinger Uncertainty Principle

abstract: We investigate properties of the covariance matrix in the framework of non-commutative quantum mechanics for an one-parameter family of transformations between the familiar Heisenberg-Weyl algebra and a particular extension of it. Employing as a measure of the Robertson-Schr\"{o}dinger uncertainty principle the linear symplectic capacity of the Weyl ellipsoid (and its dual), we determine its corresponding bounds. Inequalities between the capacities for non-commutative phase-spaces are established. We also present a constructive example based on a simple model to justify our theoretical predictions.


title: Optimizing Irregular-Shaped Matrix-Matrix Multiplication on Multi-Core DSPs

abstract: General Matrix Multiplication (GEMM) has a wide range of applications in scientific simulation and artificial intelligence. Although traditional libraries can achieve high performance on large regular-shaped GEMMs, they often behave not well on irregular-shaped GEMMs, which are often found in new algorithms and applications of high-performance computing (HPC). Due to energy efficiency constraints, low-power multi-core digital signal processors (DSPs) have become an alternative architecture in HPC systems. Targeting multi-core DSPs in FT-m7032, a prototype CPU-DSPs heterogeneous processor for HPC, an efficient implementation - ftIMM - for three types of irregular-shaped GEMMs is proposed. FtIMM supports automatic generation of assembly micro-kernels, two parallelization strategies, and auto-tuning of block sizes and parallelization strategies. The experiments show that ftIMM can get better performance than the traditional GEMM implementations on multi-core DSPs in FT-m7032, yielding on up to 7.2x performance improvement, when performing on irregular-shaped GEMMs. And ftIMM on multi-core DSPs can also far outperform the open source library on multi-core CPUs in FT-m7032, delivering up to 3.1x higher efficiency.


title: Predictive Angular Potential Field-based Obstacle Avoidance for Dynamic UAV Flights

abstract: In recent years, unmanned aerial vehicles (UAVs) are used for numerous inspection and video capture tasks. Manually controlling UAVs in the vicinity of obstacles is challenging, however, and poses a high risk of collisions. Even for autonomous flight, global navigation planning might be too slow to react to newly perceived obstacles. Disturbances such as wind might lead to deviations from the planned trajectories. In this work, we present a fast predictive obstacle avoidance method that does not depend on higher-level localization or mapping and maintains the dynamic flight capabilities of UAVs. It directly operates on LiDAR range images in real time and adjusts the current flight direction by computing angular potential fields within the range image. The velocity magnitude is subsequently determined based on a trajectory prediction and time-to-contact estimation. Our method is evaluated using Hardware-in-the-Loop simulations. It keeps the UAV at a safe distance to obstacles, while allowing higher flight velocities than previous reactive obstacle avoidance methods that directly operate on sensor data.


title: Misaligned circumbinary disks as efficient progenitors of interstellar asteroids

abstract: Gaseous circumbinary disks (CBDs) that are highly inclined to the binary orbit are commonly observed in nature. These disks harbor particles that can reach large mutual inclinations as a result of nodal precession once the gas disk has dissipated. With n-body simulations that include fragmentation we demonstrate that misaligned disks of particles can be efficient progenitors of interstellar asteroids (ISAs). Collisions that take place between particles with large mutual inclinations have large impact velocities which can result in mass ejection, with a wide range of fragment sizes and ejection velocities. We explore the binary parameters for which the majority of the terrestrial planet forming material is ejected rather than accreted into planets. The misalignment required to eject significant material decreases with binary eccentricity. If the distribution of binary eccentricity is uniform and the initial particle CBD orientation relative to the binary orbit is isotropic, about 59% of binaries are more likely to eject the majority of their CBD terrestrial planet disk mass through high velocity body-body collisions rather than retain this material and build terrestrial planets. However, binary--disk interactions during the gas disk phase with non-zero disk viscosity will reduce this fraction. The composition, small size, highly elongated shape, and tumbling motion of `Oumuamua is consistent with ISAs generated by misaligned CBDs.


title: Uncertainty Quantification for Traffic Forecasting: A Unified Approach

abstract: Uncertainty is an essential consideration for time series forecasting tasks. In this work, we specifically focus on quantifying the uncertainty of traffic forecasting. To achieve this, we develop Deep Spatio-Temporal Uncertainty Quantification (DeepSTUQ), which can estimate both aleatoric and epistemic uncertainty. We first leverage a spatio-temporal model to model the complex spatio-temporal correlations of traffic data. Subsequently, two independent sub-neural networks maximizing the heterogeneous log-likelihood are developed to estimate aleatoric uncertainty. For estimating epistemic uncertainty, we combine the merits of variational inference and deep ensembling by integrating the Monte Carlo dropout and the Adaptive Weight Averaging re-training methods, respectively. Finally, we propose a post-processing calibration approach based on Temperature Scaling, which improves the model's generalization ability to estimate uncertainty. Extensive experiments are conducted on four public datasets, and the empirical results suggest that the proposed method outperforms state-of-the-art methods in terms of both point prediction and uncertainty quantification.


title: Foliated and compactly supported isotopies of regular neighborhoods

abstract: Let $\mathcal{F}$ be a foliation with a "singular" submanifold $B$ on a smooth manifold $M$ and $p:E \to B$ be a regular neighborhood of $B$ in $M$. Under certain "homogeneity" assumptions on $\mathcal{F}$ near $B$ we prove that every leaf preserving diffeomorphism $h$ of $M$ is isotopic via a leaf preserving isotopy to a diffeomorphism which coincides with some vector bundle morphism of $E$ near $B$. This result is mutually a foliated and compactly supported variant of a well known statement that every diffeomorphism $h$ of $\mathbb{R}^n$ fixing the origin is isotopic to the linear isomorphism induced by its Jacobi matrix of $h$ at $0$. We also present applications to the computations of the homotopy type of the group of leaf preserving diffeomorphisms of $\mathcal{F}$.


title: Design and Evaluation of IPFS: A Storage Layer for the Decentralized Web

abstract: Recent years have witnessed growing consolidation of web operations. For example, the majority of web traffic now originates from a few organizations, and even micro-websites often choose to host on large pre-existing cloud infrastructures. In response to this, the "Decentralized Web" attempts to distribute ownership and operation of web services more evenly. This paper describes the design and implementation of the largest and most widely used Decentralized Web platform - the InterPlanetary File System (IPFS) - an open-source, content-addressable peer-to-peer network that provides distributed data storage and delivery. IPFS has millions of daily content retrievals and already underpins dozens of third-party applications. This paper evaluates the performance of IPFS by introducing a set of measurement methodologies that allow us to uncover the characteristics of peers in the IPFS network. We reveal presence in more than 2700 Autonomous Systems and 152 countries, the majority of which operate outside large central cloud providers like Amazon or Azure. We further evaluate IPFS performance, showing that both publication and retrieval delays are acceptable for a wide range of use cases. Finally, we share our datasets, experiences and lessons learned.


title: Covert Beamforming Design for Integrated Radar Sensing and Communication Systems

abstract: We propose covert beamforming design frameworks for integrated radar sensing and communication (IRSC) systems, where the radar can covertly communicate with legitimate users under the cover of the probing waveforms without being detected by the eavesdropper. Specifically, by jointly designing the target detection beamformer and communication beamformer, we aim to maximize the radar detection mutual information (MI) (or the communication rate) subject to the covert constraint, the communication rate constraint (or the radar detection MI constraint), and the total power constraint. For the perfect eavesdropper's channel state information (CSI) scenario, we transform the covert beamforming design problems into a series of convex subproblems, by exploiting semidefinite relaxation, which can be solved via the bisection search method. Considering the high complexity of iterative optimization, we further propose a single-iterative covert beamformer design scheme based on the zero-forcing criterion. For the imperfect eavesdropper's CSI scenario, we develop a relaxation and restriction method to tackle the robust covert beamforming design problems. Simulation results demonstrate the effectiveness of the proposed covert beamforming schemes for perfect and imperfect CSI scenarios.


title: Transmon qubit readout fidelity at the threshold for quantum error correction without a quantum-limited amplifier

abstract: High-fidelity and rapid readout of a qubit state is key to quantum computing and communication, and it is a prerequisite for quantum error correction. We present a readout scheme for superconducting qubits that combines two microwave techniques: applying a shelving technique to the qubit that effectively increases the energy-relaxation time, and a two-tone excitation of the readout resonator to distinguish among qubit populations in higher energy levels. Using a machine-learning algorithm to post-process the two-tone measurement results further improves the qubit-state assignment fidelity. We perform single-shot frequency-multiplexed qubit readout, with a 140ns readout time, and demonstrate 99.5% assignment fidelity for two-state readout and 96.9% for three-state readout - without using a quantum-limited amplifier.


title: Automatic Hybrid-Precision Quantization for MIMO Detectors

abstract: In the design of wireless systems, quantization plays a critical role in hardware, which directly affects both area efficiency and energy efficiency. Being an enabling technique, the wide applications of multiple-input multiple-output (MIMO) heavily relies on efficient implementations balancing both performance and complexity. However, most of the existing detectors uniformly quantize all variables, resulting in high redundancy and low flexibility. Requiring both expertise and efforts, an in-depth tailored quantization usually asks for prohibitive costs and is not considered by conventional MIMO detectors. In this paper, a general framework named the automatic hybrid-precision quantization (AHPQ) is proposed with two parts: integral quantization determined by probability density function (PDF), and fractional quantization by deep reinforcement learning (DRL). Being automatic, AHPQ demonstrates high efficiency in figuring out good quantizations for a set of algorithmic parameters. For the approximate message passing (AMP) detector, AHPQ achieves up to $58.7\%$ lower average bitwidth than the unified quantization (UQ) one with almost no performance sacrifice. The feasibility of AHPQ has been verified by implementation with $65$ nm CMOS technology. Compared with its UQ counterpart, AHPQ exhibits $2.97\times$ higher throughput-to-area ratio (TAR) with $19.3\%$ lower energy dissipation. Moreover, by node compression and strength reduction, the AHPQ detector outperforms the state-of-the-art (SOA) in both throughput ($17.92$ Gb/s) and energy efficiency ($7.93$ pJ/b). The proposed AHPQ framework is also applicable for other digital signal processing algorithms.


title: Uncertainty-Aware Blob Detection with an Application to Integrated-Light Stellar Population Recoveries

abstract: Context. Blob detection is a common problem in astronomy. One example is in stellar population modelling, where the distribution of stellar ages and metallicities in a galaxy is inferred from observations. In this context, blobs may correspond to stars born in-situ versus those accreted from satellites, and the task of blob detection is to disentangle these components. A difficulty arises when the distributions come with significant uncertainties, as is the case for stellar population recoveries inferred from modelling spectra of unresolved stellar systems. There is currently no satisfactory method for blob detection with uncertainties. Aims. We introduce a method for uncertainty-aware blob detection developed in the context of stellar population modelling of integrated-light spectra of stellar systems. Methods. We develop theory and computational tools for an uncertainty-aware version of the classic Laplacian-of-Gaussians method for blob detection, which we call ULoG. This identifies significant blobs considering a variety of scales. As a prerequisite to apply ULoG to stellar population modelling, we introduce a method for efficient computation of uncertainties for spectral modelling. This method is based on the truncated Singular Value Decomposition and Markov Chain Monte Carlo sampling (SVD-MCMC). Results. We apply the methods to data of the star cluster M54. We show that the SVD-MCMC inferences match those from standard MCMC, but are a factor 5-10 faster to compute. We apply ULoG to the inferred M54 age/metallicity distributions, identifying between 2 or 3 significant, distinct populations amongst its stars.

categories: astro-ph.GA astro-ph.IM cs.CV cs.NA math.NA


title: Family based HLA imputation and optimization of haplo-identical transplants

abstract: Recently, haplo-identical transplantation with multiple HLA mismatches has become a viable option for system cell transplants. Haplotype sharing detection requires imputation of donor and recipient. We show that even in high-resolution typing when all alleles are known, there is a 15% error rate in haplotype phasing, and even more in low resolution typings. Similarly, in related donors, parents haplotypes should be imputed to determine what haplotype each child inherited. We propose GRAMM (GRaph bAsed FaMilly iMputation) to phase alleles in family pedigree HLA typing data, and in mother-cord blood unit pairs. We show that GRAMM has practically no phasing errors when pedigree data are available. We apply GRAMM to simulations with different typing resolutions as well as paired cord-mother typings, and show very high phasing accuracy, and improved alleles imputation accuracy. We use GRAMM to detect recombination events and show that the rate of falsely detected recombination events (False Positive Rate) in simulations is very low. We then apply recombination detection to typed families to estimate the recombination rate in Israeli and Australian population datasets. The estimated recombination rate has an upper bound of 10-20% per family (1-4% per individual). GRAMM is available at: https://gramm.math.biu.ac.il/.


title: Painlev\'{e} IV, Chazy II, and Asymptotics for Recurrence Coefficients of Semi-classical Laguerre Polynomials and Their Hankel Determinants

abstract: This paper studies the monic semi-classical Laguerre polynomials based on previous work by Boelen and Van Assche \cite{Boelen}, Filipuk et al. \cite{Filipuk} and Clarkson and Jordaan \cite{Clarkson}. Filipuk, Van Assche and Zhang proved that the diagonal recurrence coefficient $\alpha_n(t)$ satisfies the fourth Painlev\'{e} equation. In this paper we show that the off-diagonal recurrence coefficient $\beta_n(t)$ fulfills the first member of Chazy II system. We also prove that the sub-leading coefficient of the monic semi-classical Laguerre polynomials satisfies both the continuous and discrete Jimbo-Miwa-Okamoto $\sigma$-form of Painlev\'{e} IV. By using Dyson's Coulomb fluid approach together with the discrete system for $\alpha_n(t)$ and $\beta_n(t)$, we obtain the large $n$ asymptotic expansions of the recurrence coefficients and the sub-leading coefficient. The large $n$ asymptotics of the associate Hankel determinant (including the constant term) is derived from its integral representation in terms of the sub-leading coefficient.


title: Generalization of Powell's results to population out of steady state

abstract: Since the seminal work of Powell, the relationships between the population growth rate, the probability distributions of generation time, and the distribution of cell age have been known for the bacterial population in a steady state of exponential growth. Here, we generalize these relationships to include an unsteady (transient) state for both the batch culture and the mother machine experiment. In particular, we derive a time-dependent Euler-Lotka equation (relating the generation time distributions to the population growth rate) and a generalization of the inequality between the mean generation time and the population doubling time. To do this, we use a model proposed by Lebowitz and Rubinow, in which each cell is described by its age and generation time. We show that our results remain valid for a class of more complex models that use other state variables in addition to cell age and generation time, as long as the integration of these additional variables reduces the model to Lebowitz-Rubinow form. As an application of this formalism, we calculate the fitness landscapes for phenotypic traits (cell age, generation time) in a population that is not growing exponentially. We clarify that the known fitness landscape formula for the cell age as a phenotypic trait is an approximation to the exact time-dependent formula.


title: Surrogate-based global sensitivity analysis with statistical guarantees via floodgate

abstract: Computational models are utilized in many scientific domains to simulate complex systems. Sensitivity analysis is an important practice to aid our understanding of the mechanics of these models and the processes they describe, but performing a sufficient number of model evaluations to obtain accurate sensitivity estimates can often be prohibitively expensive. In order to reduce the computational burden, a common solution is to use a surrogate model that approximates the original model reasonably well but at a fraction of the cost. However, in exchange for the computational benefits of surrogate-based sensitivity analysis, this approach comes with the price of a loss in accuracy arising from the difference between the surrogate and the original model. To address this issue, we adapt the floodgate method of Zhang and Janson (2020) to provide valid surrogate-based confidence intervals rather than a point estimate, allowing for the benefit of the computational speed-up of using a surrogate that is especially pronounced for high-dimensional models, while still retaining rigorous and accurate bounds on the global sensitivity with respect to the original (non-surrogate) model. Our confidence interval is asymptotically valid with almost no conditions on the computational model or the surrogate. Additionally, the accuracy (width) of our confidence interval shrinks as the surrogate's accuracy increases, so when an accurate surrogate is used, the confidence interval we report will correspondingly be quite narrow, instilling appropriately high confidence in its estimate. We demonstrate the properties of our method through numerical simulations on the small Hymod hydrological model, and also apply it to the more complex CBM-Z meteorological model with a recent neural-network-based surrogate.


title: Amplitudes, Hopf algebras and the colour-kinematics duality

abstract: It was recently proposed that the kinematic algebra featuring in the colour-kinematics duality for scattering amplitudes in heavy-mass effective field theory (HEFT) and Yang-Mills theory is a quasi-shuffle Hopf algebra. The associated fusion product determines the structure of the Bern-Carrasco-Johansson (BCJ) numerators, which are manifestly gauge invariant and with poles corresponding to heavy-particle exchange. In this work we explore the deep connections between the quasi-shuffle algebra and general physical properties of the scattering amplitudes. First, after proving the double-copy form for gravitational HEFT amplitudes, we show that the coproducts of the kinematic algebra are in correspondence with factorisations of BCJ numerators on massive poles. We then study an extension of the standard quasi-shuffle Hopf algebra to a non-abelian version describing BCJ numerators with all possible gluon orderings. This is achieved by tensoring the original algebra with a particular Hopf algebra of orderings. In this extended version, a specific choice of the coproduct in the algebra of orderings leads to an antipode in the resulting Hopf algebra that has the interpretation of reversing the gluons' order within each BCJ numerator.


title: Study of bounds on non-equilibrium fluctuations for asymmetrically driven quantum Otto engine

abstract: For a four-stroke asymmetrically driven quantum Otto engine with working medium modeled by a single qubit, we study the bounds on non-equilibrium fluctuations of work and heat. We find strict relations between the fluctuations of work and individual heat for hot and cold reservoirs in arbitrary operational regimes. Focusing on the engine regime, we show that the ratio of non-equilibrium fluctuations of output work to input heat from the hot reservoir is both upper and lower bounded. As a consequence, we establish hierarchical relation between the relative fluctuations of work and heat for both cold and hot reservoirs and further make a connection with the thermodynamic uncertainty relations. We discuss the fate of these bounds also in the refrigerator regime. The reported bounds, for such asymmetrically driven engines, emerge once both the time-forward and the corresponding reversed cycles of the engine are considered on an equal footing. We also extend our study and report bounds for a parametrically driven harmonic oscillator Otto engine.


title: Super-Universal Regularized Newton Method

abstract: We analyze the performance of a variant of Newton method with quadratic regularization for solving composite convex minimization problems. At each step of our method, we choose regularization parameter proportional to a certain power of the gradient norm at the current point. We introduce a family of problem classes characterized by H\"older continuity of either the second or third derivative. Then we present the method with a simple adaptive search procedure allowing an automatic adjustment to the problem class with the best global complexity bounds, without knowing specific parameters of the problem. In particular, for the class of functions with Lipschitz continuous third derivative, we get the global $O(1/k^3)$ rate, which was previously attributed to third-order tensor methods. When the objective function is uniformly convex, we justify an automatic acceleration of our scheme, resulting in a faster global rate and local superlinear convergence. The switching between the different rates (sublinear, linear, and superlinear) is automatic. Again, for that, no a priori knowledge of parameters is needed.


title: Cosmic ray interactions in the atmosphere: QGSJET-III and other models

abstract: The physics content of the QGSJET-III Monte Carlo generator of high energy hadronic collisions is discussed. New theoretical approaches implemented in QGSJET-III are addressed in some detail and a comparison to alternative treatments of other cosmic ray interaction models is performed. Calculated characteristics of cosmic ray-induced extensive air showers are presented and differences between the respective results of QGSJET-III and other models are analyzed. In particular, it is demonstrated that those differences are partly caused by severe deficiencies of the other interaction models.


title: Speech Synthesis with Mixed Emotions

abstract: Emotional speech synthesis aims to synthesize human voices with various emotional effects. The current studies are mostly focused on imitating an averaged style belonging to a specific emotion type. In this paper, we seek to generate speech with a mixture of emotions at run-time. We propose a novel formulation that measures the relative difference between the speech samples of different emotions. We then incorporate our formulation into a sequence-to-sequence emotional text-to-speech framework. During the training, the framework does not only explicitly characterize emotion styles, but also explores the ordinal nature of emotions by quantifying the differences with other emotions. At run-time, we control the model to produce the desired emotion mixture by manually defining an emotion attribute vector. The objective and subjective evaluations have validated the effectiveness of the proposed framework. To our best knowledge, this research is the first study on modelling, synthesizing, and evaluating mixed emotions in speech.


title: Optimal Transport Features for Morphometric Population Analysis

abstract: Brain pathologies often manifest as partial or complete loss of tissue. The goal of many neuroimaging studies is to capture the location and amount of tissue changes with respect to a clinical variable of interest, such as disease progression. Morphometric analysis approaches capture local differences in the distribution of tissue or other quantities of interest in relation to a clinical variable. We propose to augment morphometric analysis with an additional feature extraction step based on unbalanced optimal transport. The optimal transport feature extraction step increases statistical power for pathologies that cause spatially dispersed tissue loss, minimizes sensitivity to shifts due to spatial misalignment or differences in brain topology, and separates changes due to volume differences from changes due to tissue location. We demonstrate the proposed optimal transport feature extraction step in the context of a volumetric morphometric analysis of the OASIS-1 study for Alzheimer's disease. The results demonstrate that the proposed approach can identify tissue changes and differences that are not otherwise measurable.


title: Search for LBVs in the Local Volume galaxies: study of four stars in NGC 4449

abstract: We continue to search for LBV stars in galaxies outside the Local Group. In this work, we have investigated four luminous stars in NGC 4449. Multiple spectral observations carried out for J122810.94+440540.6, J122811.70+440550.9, and J122809.72+440514.8 revealed the emission features in their spectra that are characteristic of LBVs. Photometry showed noticeable brightness changes of J122809.72+440514.8 ($\Delta I=0.69\pm0.13^m$) and J122817.83+440630.8 ($\Delta R=2.15\pm0.13^m$), while the variability of J122810.94+440540.6 and J122811.70+440550.9 does not exceed $0.3^m$ regardless of the filter. We have obtained estimates of the interstellar reddening, photosphere temperatures, and bolometric luminosities $\log(\text{L}_\text{Bol}/\text{L}_{\odot}) \approx 5.24-6.42$. Using the CMFGEN code, we have modelled the spectrum of the cold state of J122809.72+440514.8 ($T_{\text{eff}}=9300\,$K) and have obtained possible value of the mass loss rate $\dot{M} = 5.2\times10^{-3}\,M_{\odot}\,yr^{-1}$. Based on the observational properties, J122809.72+440514.8 and J122817.83+440630.8 were classified as LBVs, while the other two stars were classified as LBV candidates or B[e]-supergiants candidates