title: Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions

abstract: Two-player (antagonistic) games on (possibly stochastic) graphs are a prevalent model in theoretical computer science, notably as a framework for reactive synthesis. Optimal strategies may require randomisation when dealing with inherently probabilistic goals, balancing multiple objectives, or in contexts of partial information. There is no unique way to define randomised strategies. For instance, one can use so-called mixed strategies or behavioural ones. In the most general settings, these two classes do not share the same expressiveness. A seminal result in game theory - Kuhn's theorem - asserts their equivalence in games of perfect recall. This result crucially relies on the possibility for strategies to use infinite memory, i.e., unlimited knowledge of all past observations. However, computer systems are finite in practice. Hence it is pertinent to restrict our attention to finite-memory strategies, defined as automata with outputs. Randomisation can be implemented in these in different ways: the initialisation, outputs or transitions can be randomised or deterministic respectively. Depending on which aspects are randomised, the expressiveness of the corresponding class of finite-memory strategies differs. In this work, we study two-player turn-based stochastic games and provide a complete taxonomy of the classes of finite-memory strategies obtained by varying which of the three aforementioned components are randomised. Our taxonomy holds both in settings of perfect and imperfect information, and in games with more than two players.


title: Instrumental variable estimation of dynamic treatment effects on a duration outcome

abstract: This paper considers identification and estimation of the causal effect of the time Z until a subject is treated on a survival outcome T. The treatment is not randomly assigned, T is randomly right censored by a random variable C and the time to treatment Z is right censored by min(T,C). The endogeneity issue is treated using an instrumental variable explaining Z and independent of the error term of the model. We study identification in a fully nonparametric framework. We show that our specification generates an integral equation, of which the regression function of interest is a solution. We provide identification conditions that rely on this identification equation. For estimation purposes, we assume that the regression function follows a parametric model. We propose an estimation procedure and give conditions under which the estimator is asymptotically normal. The estimators exhibit good finite sample properties in simulations. Our methodology is applied to find evidence supporting the efficacy of a therapy for burn-out.


title: Incorporate Day-ahead Robustness and Real-time Incentives for Electricity Market Design

abstract: In this paper, we propose a two-stage electricity market framework to explore the participation of distributed energy resources (DERs) in a day-ahead (DA) market and a real-time (RT) market. The objective is to determine the optimal bidding strategies of the aggregated DERs in the DA market and generate online incentive signals for DER-owners to optimize the social welfare taking into account network operational constraints. Distributionally robust optimization is used to explicitly incorporate data-based statistical information of renewable forecasts into the supply/demand decisions in the DA market. We evaluate the conservativeness of bidding strategies distinguished by different risk aversion settings. In the RT market, a bi-level time-varying optimization problem is proposed to design the online incentive signals to tradeoff the RT imbalance penalty for distribution system operators (DSOs) and the costs of individual DER-owners. This enables tracking their optimal dispatch to provide fast balancing services, in the presence of time-varying network states while satisfying the voltage regulation requirement. Simulation results on both DA wholesale market and RT balancing market demonstrate the necessity of this two-stage design, and its robustness to uncertainties, the performance of convergence, the tracking ability, and the feasibility of the resulting network operations.


title: Reflexivity of Partitions Induced by Weighted Poset Metric and Combinatorial Metric

abstract: Let $\mathbf{H}$ be the Cartesian product of a family of finite abelian groups. Via a polynomial approach, we give sufficient conditions for a partition of $\mathbf{H}$ induced by weighted poset metric to be reflexive, which also become necessary for some special cases. Moreover, by examining the roots of the Krawtchouk polynomials, we establish non-reflexive partitions of $\mathbf{H}$ induced by combinatorial metric. When $\mathbf{H}$ is a vector space over a finite field $\mathbb{F}$, we consider the property of admitting MacWilliams identity (PAMI) and the MacWilliams extension property (MEP) for partitions of $\mathbf{H}$. With some invariance assumptions, we show that two partitions of $\mathbf{H}$ admit MacWilliams identity if and only if they are mutually dual and reflexive, and any partition of $\mathbf{H}$ satisfying the MEP is in fact an orbit partition induced by some subgroup of $\Aut_{\mathbb{F}}(\mathbf{H})$, which is necessarily reflexive. As an application of the aforementioned results, we establish partitions of $\mathbf{H}$ induced by combinatorial metric that do not satisfy the MEP, which further enable us to provide counter-examples to a conjecture proposed by Pinheiro, Machado and Firer in \cite{39}.


title: A Partial Channel Reciprocity-based Codebook for Wideband FDD Massive MIMO

abstract: The acquisition of channel state information (CSI) in Frequency Division Duplex (FDD) massive MIMO has been a formidable challenge. In this paper, we address this problem with a novel CSI feedback framework enabled by the partial reciprocity of uplink and downlink channels in the wideband regime. We first derive the closed-form expression of the rank of the wideband massive MIMO channel covariance matrix for a given angle-delay distribution. A low-rankness property is identified, which generalizes the well-known result of the narrow-band uniform linear array setting. Then we propose a partial channel reciprocity (PCR) codebook, inspired by the low-rankness behavior and the fact that the uplink and downlink channels have similar angle-delay distributions. Compared to the latest codebook in 5G, the proposed PCR codebook scheme achieves higher performance, lower complexity at the user side, and requires a smaller amount of feedback. We derive the feedback overhead necessary to achieve asymptotically error-free CSI feedback. Two low-complexity alternatives are also proposed to further reduce the complexity at the base station side. Simulations with the practical 3GPP channel model show the significant gains over the latest 5G codebook, which prove that our proposed methods are practical solutions for 5G and beyond.


title: MonoDistill: Learning Spatial Features for Monocular 3D Object Detection

abstract: 3D object detection is a fundamental and challenging task for 3D scene understanding, and the monocular-based methods can serve as an economical alternative to the stereo-based or LiDAR-based methods. However, accurately detecting objects in the 3D space from a single image is extremely difficult due to the lack of spatial cues. To mitigate this issue, we propose a simple and effective scheme to introduce the spatial information from LiDAR signals to the monocular 3D detectors, without introducing any extra cost in the inference phase. In particular, we first project the LiDAR signals into the image plane and align them with the RGB images. After that, we use the resulting data to train a 3D detector (LiDAR Net) with the same architecture as the baseline model. Finally, this LiDAR Net can serve as the teacher to transfer the learned knowledge to the baseline model. Experimental results show that the proposed method can significantly boost the performance of the baseline model and ranks the $1^{st}$ place among all monocular-based methods on the KITTI benchmark. Besides, extensive ablation studies are conducted, which further prove the effectiveness of each part of our designs and illustrate what the baseline model has learned from the LiDAR Net. Our code will be released at \url{https://github.com/monster-ghost/MonoDistill}.


title: Tracking on the Web, Mobile and the Internet-of-Things

abstract: `Tracking' is the collection of data about an individual's activity across multiple distinct contexts and the retention, use, or sharing of data derived from that activity outside the context in which it occurred. This paper aims to introduce tracking on the web, smartphones, and the Internet of Things, to an audience with little or no previous knowledge. It covers these topics primarily from the perspective of computer science and human-computer interaction, but also includes relevant law and policy aspects. Rather than a systematic literature review, it aims to provide an over-arching narrative spanning this large research space. Section 1 introduces the concept of tracking. Section 2 provides a short history of the major developments of tracking on the web. Section 3 presents research covering the detection, measurement and analysis of web tracking technologies. Section 4 delves into the countermeasures against web tracking and mechanisms that have been proposed to allow users to control and limit tracking, as well as studies into end-user perspectives on tracking. Section 5 focuses on tracking on `smart' devices including smartphones and the internet of things. Section 6 covers emerging issues affecting the future of tracking across these different platforms.


title: Moment polytopes on Sasaki manifolds and volume minimization

abstract: We show that transverse coupled K\"ahler-Einstein metrics on toric Sasaki manifolds arise as a critical point of a volume functional. As a preparation for the proof, we re-visit the transverse moment polytopes and contact moment polytopes under the change of Reeb vector fields. Then we apply it to a coupled version of the volume minimization by Martelli-Sparks-Yau. This is done assuming the Calabi-Yau condition of the K\"ahler cone, and the non-coupled case leads to a known existence result of a transverse K\"ahler-Einstein metric and a Sasaki-Einstein metric, but the coupled case requires an assumption related to Minkowski sum to obtain transverse coupled K\"ahler-Einstein metrics.


title: Automatic detection of access control vulnerabilities via API specification processing

abstract: Objective. Insecure Direct Object Reference (IDOR) or Broken Object Level Authorization (BOLA) are one of the critical type of access control vulnerabilities for modern applications. As a result, an attacker can bypass authorization checks leading to information leakage, account takeover. Our main research goal was to help an application security architect to optimize security design and testing process by giving an algorithm and tool that allows to automatically analyze system API specifications and generate list of possible vulnerabilities and attack vector ready to be used as security non-functional requirements. Method. We conducted a multivocal review of research and conference papers, bug bounty program reports and other grey sources of literature to outline patterns of attacks against IDOR vulnerability. These attacks are collected in groups proceeding with further analysis common attributes between these groups and what features compose the group. Endpoint properties and attack techniques comprise a group of attacks. Mapping between group features and existing OpenAPI specifications is performed to implement a tool for automatic discovery of potentially vulnerable endpoints. Results and practical relevance. In this work, we provide systematization of IDOR/BOLA attack techniques based on literature review, real cases analysis and derive IDOR/BOLA attack groups. We proposed an approach to describe IDOR/BOLA attacks based on OpenAPI specifications properties. We develop an algorithm of potential IDOR/BOLA vulnerabilities detection based on OpenAPI specification processing. We implemented our novel algorithm using Python and evaluated it. The results show that algorithm is resilient and can be used in practice to detect potential IDOR/BOLA vulnerabilities.


title: PANDA Barrel DIRC: From Design to Component Production

abstract: Excellent particle identification (PID) will be essential for the PANDA experiment at FAIR. The Barrel DIRC will separate kaons and pions with at least 3 s.d. for momenta up to 3.5 GeV/c and polar angles between 22 and 140 deg. After successful validation of the final design in the CERN PS/T9 beam line, the tendering process for the two most time- and cost-intensive items, radiator bars and MCP-PMTs, started in 2018. In Sep. 2019 Nikon was selected to build the fused silica bars and successfully completed the series production of 112 bars in Feb. 2021. Measurements of the mechanical quality of the bars were performed by Nikon and the optical quality was evaluated at GSI. In Dec. 2020, the contract for the fabrication of the MCP-PMTs was awarded to PHOTONIS and the delivery of the first-of-series MCP-PMTs is expected in July 2021. We present the design of the PANDA Barrel DIRC as well as the status of the component series production and the result of the quality assurance measurements.


title: Perfect Matching in Random Graphs is as Hard as Tseitin

abstract: We study the complexity of proving that a sparse random regular graph on an odd number of vertices does not have a perfect matching, and related problems involving each vertex being matched some pre-specified number of times. We show that this requires proofs of degree $\Omega(n / \log n)$ in the Polynomial Calculus (over fields of characteristic $\ne 2$) and Sum-of-Squares proof systems, and exponential size in the bounded-depth Frege proof system. This resolves a question by Razborov asking whether the Lov\'asz-Schrijver proof system requires $n^\delta$ rounds to refute these formulas for some $\delta > 0$. The results are obtained by a worst-case to average-case reduction of these formulas relying on a topological embedding theorem which may be of independent interest.


title: PARS: Pseudo-Label Aware Robust Sample Selection for Learning with Noisy Labels

abstract: Acquiring accurate labels on large-scale datasets is both time consuming and expensive. To reduce the dependency of deep learning models on learning from clean labeled data, several recent research efforts are focused on learning with noisy labels. These methods typically fall into three design categories to learn a noise robust model: sample selection approaches, noise robust loss functions, or label correction methods. In this paper, we propose PARS: Pseudo-Label Aware Robust Sample Selection, a hybrid approach that combines the best from all three worlds in a joint-training framework to achieve robustness to noisy labels. Specifically, PARS exploits all training samples using both the raw/noisy labels and estimated/refurbished pseudo-labels via self-training, divides samples into an ambiguous and a noisy subset via loss analysis, and designs label-dependent noise-aware loss functions for both sets of filtered labels. Results show that PARS significantly outperforms the state of the art on extensive studies on the noisy CIFAR-10 and CIFAR-100 datasets, particularly on challenging high-noise and low-resource settings. In particular, PARS achieved an absolute 12% improvement in test accuracy on the CIFAR-100 dataset with 90% symmetric label noise, and an absolute 27% improvement in test accuracy when only 1/5 of the noisy labels are available during training as an additional restriction. On a real-world noisy dataset, Clothing1M, PARS achieves competitive results to the state of the art.


title: On a canonical polynomial for links of elliptic singularities

abstract: Given an elliptic normal surface singularity with a rational homology sphere link, we prove that the associated elliptic sequence can be determined from the exponents of a canonical polynomial constructed from the topological Poincar\'e series of the link. Furthermore, we study the topology of extensions of elliptic singularities and prove that certain good extensions, defined in this article, can be characterized by a natural recursive formula for the corresponding canonical polynomials.


title: Privacy-Preserving Logistic Regression Training with A Faster Gradient Variant

abstract: Logistic regression training over encrypted data has been an attractive idea to security concerns for years. In this paper, we propose a faster gradient variant called $\texttt{quadratic gradient}$ for privacy-preserving logistic regression training. The core of $\texttt{quadratic gradient}$ can be seen as an extension of the simplified fixed Hessian. We enhance Nesterov's accelerated gradient (NAG) and Adaptive Gradient Algorithm (Adagrad) respectively with $\texttt{quadratic gradient}$ and evaluate the enhanced algorithms on several datasets. %gradient $ascent$ methods with this gradient variant on the gene dataset provided by the 2017 iDASH competition and other datasets. Experiments show that the enhanced methods have a state-of-the-art performance in convergence speed compared to the raw first-order gradient methods. We then adopt the enhanced NAG method to implement homomorphic logistic regression training, obtaining a comparable result by only $3$ iterations. There is a promising chance that $\texttt{quadratic gradient}$ could be used to enhance other first-order gradient methods for general numerical optimization problems.


title: Bifrost: Secure, Scalable and Efficient File Sharing System Using Dual Deduplication

abstract: We consider the problem of sharing sensitive or valuable files across users while partially relying on a common, untrusted third-party, e.g., a Cloud Storage Provider (CSP). Although users can rely on a secure peer-to-peer (P2P) channel for file sharing, this introduces potential delay on the data transfer and requires the sender to remain active and connected while the transfer process occurs. Instead of using the P2P channel for the entire file, users can upload information about the file on a common CSP and share only the essential information that enables the receiver to download and recover the original file. This paper introduces Bifrost, an innovative file sharing system inspired by recent results on dual deduplication. Bifrost achieves the desired functionality and simultaneously guarantees that (1) the CSP can efficiently compress outsourced data; (2) the secure P2P channel is used only to transmit short, but crucial information; (3) users can check for data integrity, i.e., detect if the CSP alters the outsourced data; and (4) only the sender (data owner) and the intended receiver can access the file after sharing, i.e., the cloud or no malicious adversary can infer useful information about the shared file. We analyze compression and bandwidth performance using a proof-of-concept implementation. Our experiments show that secure file sharing can be achieved by sending only 650 bits on the P2P channel, irrespective of file size, while the CSP that aids the sharing can enjoy a compression rate of 86.9 %.


title: Long-time behavior of global solutions of anisotropic quasi-geostrophic equations in Sobolev space

abstract: We study the behavior at infinity in time of the global solution of the anisotropic quasi-geostrophic equation $\theta\in C_b(\mathbb{R}^+,H^s( \mathbb{R}^2))$. We prove that this solution decays to zero as time goes to infinity in $L^p(\mathbb{R}^2)$, $p\in [2,+\infty],$ moreover, we prove also that $\lim\limits_{t\rightarrow +\infty}\|\theta(t)\|_{H^s}=0$.


title: MICROSCOPE Mission scenario, ground segment and data processing

abstract: Testing the Weak Equivalence Principle (WEP) to a precision of $10^{-15}$ requires a quantity of data that give enough confidence on the final result: ideally, the longer the measurement the better the rejection of thestatistical noise. The science sessions had a duration of 120 orbits maximum and were regularly repeated and spaced out to accommodate operational constraints but also in order to repeat the experiment in different conditions and to allow time to calibrate the instrument. Several science sessions were performed over the 2.5 year duration of the experiment. This paper aims to describe how the data have been produced on the basis of a mission scenario and a data flow process, driven by a tradeoff between the science objectives and the operational constraints. The mission was led by the Centre National d'Etudes Spatiales (CNES) which provided the satellite, the launch and the ground operations. The ground segment was distributed between CNES and Office National d'Etudes et de Recherches A\'erospatiales (ONERA). CNES provided the raw data through the Centre d'Expertise de Compensation de Tra\^{i}n\'{e}e (CECT: Drag-free expertise centre). The science was led by the Observatoire de la C\^ote d{'}Azur (OCA) and ONERA was in charge of the data process. The latter also provided the instrument and the Science Mission Centre of MICROSCOPE (CMSM).

categories: astro-ph.IM gr-qc physics.app-ph physics.ins-det


title: Voronoi cell analysis: The shapes of particle systems

abstract: Many physical systems can be studied as collections of particles embedded in space, evolving through deterministic evolution equations. Natural questions arise concerning how to characterize these arrangements - are they ordered or disordered? If they are ordered, how are they ordered and what kinds of defects do they possess? Originally introduced to study problems in pure mathematics, Voronoi tessellations have become a powerful and versatile tool for analyzing countless problems in pure and applied physics. In this paper we explain the basics of Voronoi tessellations and the shapes they produce, and describe how they can be used to study many physical systems.

categories: physics.comp-ph cs.CG cs.NA math.NA physics.app-ph


title: A well-posed First Order System Least Squares formulation of the instationary Stokes equations

abstract: In this paper, a well-posed simultaneous space-time First Order System Least Squares formulation is constructed of the instationary incompressible Stokes equations with slip boundary conditions. As a consequence of this well-posedness, the minimization over any conforming triple of finite element spaces for velocities, pressure and stress tensor gives a quasi-best approximation from that triple. The formulation is practical in the sense that all norms in the least squares functional can be efficiently evaluated. Being of least squares type, the formulation comes with an efficient and reliable a posteriori error estimator. In addition, a priori error estimates are derived, and numerical results are presented.


title: Observation of competing, correlated ground states in the flat band of rhombohedral graphite

abstract: In crystalline solids the interactions of charge and spin can result in a variety of emergent quantum ground states, especially in partially filled, topological flat bands such as Landau levels or in 'magic-angle' bilayer graphene. Much less explored is rhombohedral graphite (RG), perhaps the simplest and structurally most perfect condensed matter system to host a flat band protected by symmetry. By scanning tunneling microscopy we map the flat band charge density of 8, 10 and 17 layers and identify a domain structure emerging from a competition between a sublattice antiferromagnetic insulator and a gapless correlated paramagnet. Our density-matrix renormalization group calculations explain the observed features and demonstrate that the correlations are fundamentally different from graphene based magnetism identified until now, forming the ground state of a quantum magnet. Our work establishes RG as a new platform to study many-body interactions beyond the mean-field approach, where quantum fluctuations and entanglement dominate.


title: Magnetoconductance Anisotropies and Aharonov-Casher Phases

abstract: The spin-orbit interaction is a key tool for manipulating and functionalizing spin-dependent electron transport. However, the precise value of the spin-orbit coupling constant is hard to determine and control. Here we propose a measurement of the geometric (Aharonov-Casher) phase of the electron wavefunction generated by the spin-orbit coupling as a means to deduce the spin-orbit coupling strength in weak links. Unlike other proposed measurements of geometric phases, which rely on interference, we show that the anisotropy of the magnetoconductance, measured at different directions of an external magnetic field,is determined by the geometric phase. Specifically we consider weak links in which the Rashba interaction is caused by an external electric field, but our method is expected to apply also for other forms of the spin-orbit coupling. Measuring this magnetoconductance anisotropy thus allows calibrating Rashba spintronic devices by an external electric field that tunes the spin-orbit interaction.


title: Fat Tails and Optimal Liability Driven Portfolios

abstract: We look at optimal liability-driven portfolios in a family of fat-tailed and extremal risk measures, especially in the context of pension fund and insurance fixed cashflow liability profiles, but also those arising in derivatives books such as delta one books or options books in the presence of stochastic volatilities. In the extremal limit, we recover a new tail risk measure, Extreme Deviation (XD), an extremal risk measure significantly more sensitive to extremal returns than CVaR. Resulting optimal portfolios optimize the return per unit of XD, with portfolio weights consisting of a liability hedging contribution, and a risk contribution seeking to generate positive risk-adjusted return. The resulting allocations are analyzed qualitatively and quantitatively in a number of different limits.


title: A Stallings-Swan theorem for unimodular totally disconnected locally compact groups

abstract: It is shown that a Stallings-Swan theorem holds in a totally disconnected locally compact (= t.d.l.c.) context. More precisely, a compactly generated CO-bounded t.d.l.c. group of rational discrete cohomological dimension less or equal to $1$ must be isomorphic to the fundamental group of a finite graph of profinite groups. This result generalizes Dunwoody's rational version of the classical Stallings-Swan theorem to t.d.l.c. groups. The proof is based on the fact that a compactly generated unimodular t.d.l.c. group with rational discrete cohomological dimension $1$ has necessarily non-positive Euler-Poincar\'e characteristic.


title: Comparison of Depth Estimation Setups from Stereo Endoscopy and Optical Tracking for Point Measurements

abstract: To support minimally-invasive intraoperative mitral valve repair, quantitative measurements from the valve can be obtained using an infra-red tracked stylus. It is desirable to view such manually measured points together with the endoscopic image for further assistance. Therefore, hand-eye calibration is required that links both coordinate systems and is a prerequisite to project the points onto the image plane. A complementary approach to this is to use a vision-based endoscopic stereo-setup to detect and triangulate points of interest, to obtain the 3D coordinates. In this paper, we aim to compare both approaches on a rigid phantom and two patient-individual silicone replica which resemble the intraoperative scenario. The preliminary results indicate that 3D landmark estimation, either labeled manually or through partly automated detection with a deep learning approach, provides more accurate triangulated depth measurements when performed with a tailored image-based method than with stylus measurements.


title: Predicting Knee Osteoarthritis Progression from Structural MRI using Deep Learning

abstract: Accurate prediction of knee osteoarthritis (KOA) progression from structural MRI has a potential to enhance disease understanding and support clinical trials. Prior art focused on manually designed imaging biomarkers, which may not fully exploit all disease-related information present in MRI scan. In contrast, our method learns relevant representations from raw data end-to-end using Deep Learning, and uses them for progression prediction. The method employs a 2D CNN to process the data slice-wise and aggregate the extracted features using a Transformer. Evaluated on a large cohort (n=4,866), the proposed method outperforms conventional 2D and 3D CNN-based models and achieves average precision of $0.58\pm0.03$ and ROC AUC of $0.78\pm0.01$. This paper sets a baseline on end-to-end KOA progression prediction from structural MRI. Our code is publicly available at https://github.com/MIPT-Oulu/OAProgressionMR.


title: Existence of weak solution to volume preserving mean curvature flow in higher dimensions

abstract: In this paper, we construct a family of integral varifolds, which is a global weak solution to the volume preserving mean curvature flow in the sense of $L^2$-flow. This flow is also a distributional BV-solution for a short time, when the perimeter of the initial data is sufficiently close to that of ball with the same volume. To construct the flow, we use the Allen--Cahn equation with non-local term motivated by studies of Mugnai, Seis, and Spadaro, and Kim and Kwon. We prove the convergence of the solution for the Allen--Cahn equation to the family of integral varifolds with only natural assumptions for the initial data.


title: Group actions on local moduli space of holomorphic vector bundles

abstract: We prove that actions of complex reductive Lie groups on a holomorphic vector bundle over a complex compact manifold are locally extendable to its local moduli space.


title: Obtaining fully polarised amplitudes in gauge invariant form

abstract: We describe progress applying the \textit{Worldline Formalism} of quantum field theory to the fermion propagator dressed by $N$-photons to study multi-linear Compton scattering processes, explaining how this approach -- whose calculational advantages are well-known at multi-loop order -- yields compact and manifestly gauge invariant scattering amplitudes.


title: Feminist Perspective on Robot Learning Processes

abstract: As different research works report and daily life experiences confirm, learning models can result in biased outcomes. The biased learned models usually replicate historical discrimination in society and typically negatively affect the less represented identities. Robots are equipped with these models that allow them to operate, performing tasks more complex every day. The learning process consists of different stages depending on human judgments. Moreover, the resulting learned models for robot decisions rely on recorded labeled data or demonstrations. Therefore, the robot learning process is susceptible to bias linked to human behavior in society. This imposes a potential danger, especially when robots operate around humans and the learning process can reflect the social unfairness present today. Different feminist proposals study social inequality and provide essential perspectives towards removing bias in various fields. What is more, feminism allowed and still allows to reconfigure numerous social dynamics and stereotypes advocating for equality across people through their diversity. Consequently, we provide a feminist perspective on the robot learning process in this work. We base our discussion on intersectional feminism, community feminism, decolonial feminism, and pedagogy perspectives, and we frame our work in a feminist robotics approach. In this paper, we present an initial discussion to emphasize the relevance of feminist perspectives to explore, foresee, en eventually correct the biased robot decisions.


title: Double copying Exceptional Field theories

abstract: We examine exceptional field theory through the lens of the generalised double copy formalism. This allows us to construct classical solutions in M-theory using a generalised Kerr-Schild ansatz and along the way indicates hints towards a single copy of M-theory. Based on a talk at the Nankai Symposium given by DSB.


title: $N\times N$ Matrix Time-/Band- Limiting examples

abstract: Time- and band-limiting in the context of orthogonal polynomials has been studied since the 1980's. It involves finding differential or difference operators with special commutative properties. More recently this topic has been generalized to the cases were the orthogonal polynomials are matrix-valued. Leading to differential or difference operators with matrix coefficients. So far the only explicit examples of such operators were $2\times 2$ matrices. In this paper we give a number of $N\times N$ examples and a counterexample to illustrate the role that strong Pearson equations can play in finding such examples.


title: Relativistic origin of Hertz-form and extended Hertz-form equations for Maxwell theory of electromagnetism

abstract: We show explicitly that the Hertz-form Maxwell's equations and their extensions can be obtained from the non-relativistic expansion of Lorentz transformation of Maxwell's equations. The explicit expression for the parameter $\alpha$ in the extended Hertz-form equations can be derived from such a non-relativistic expansion. The extended Hertz-form equations, which do not preserve Galilean invariance, origin from Lorentz transformation of Maxwell's equations and differ from the Galilean-transformed Maxwell equations (the original Hertz equations) by the relative sign differences between the two $\alpha$ terms etc. Especially, the $\alpha$ parameter is of relativistic origin. The superluminal behavior illustrated by the D'Alembert equation from the extended Hertz-form equations should be removed by including all subleading contributions in the $v/c$ expansion, although such a superluminal behavior will not occur in the vacuum because $\alpha=0$. We should note that in the Hertz form and extended Hertz form equations, the electromagnetic fields should take the forms $ \vec{\mathcal{E}}(x)=\vec{E}(\Lambda^{-1}x)$ and $ \vec{\mathcal{B}}(x)=\vec{B}(\Lambda^{-1}x)$. Such a choice of description for the fields is different from the ordinary one with $\vec{E}(x)$ and $\vec{B}(x)$, which are well known to satisfy the ordinary Maxwell's equations. The descriptions of electromagnetic phenomena using the function set $\{\vec{\mathcal{E}}(x),\vec{\mathcal{B}}(x)\}$ and the function set $(\vec{E}(x),\vec{B}(x))$ are equivalent, with the $\{\vec{\mathcal{E}}(x),\vec{\mathcal{B}}(x)\}$ description satisfying the extended Hertz-form Maxwell's equations in the low speed approximation. The solution of (extended) Hertz-form Maxwell's equations describe the traveling wave form electromagnetic field.


title: One dimensional reduced model for ITER relevant energetic particle transport

abstract: We set up a mapping procedure able to translate the evolution of the radial profile of fast ions, interacting with Toroidal Alfv\'en Eigenmodes, into the dynamics of an equivalent one dimensional bump-on-tail system. We apply this mapping technique to reproduce ITER relevant simulations, which clearly outlined deviations from the diffusive quasi-linear (QL) model. Our analysis demonstrates the capability of the one-dimensional beam-plasma dynamics to predict the relevant features of the non-linear hybrid LIGKA/HAGIS simulations. In particular, we clearly identify how the deviation from the QL evolutive profiles is due to the presence of avalanche processes. A detailed analysis regarding the reduced dimensionality is also addressed, by means of phase-space slicing based on constants of motion. In the conclusions, we outline the main criticalities and outcomes of the procedure, which must be satisfactorily addressed to make quantitative prediction on the observed outgoing fluxes in a Tokamak device.


title: On Kirchhoff index and number of spanning trees of linear pentagonal cylinder and Mobius chain graph

abstract: In this paper, we derive closed-form formulas for Kirchhoff index and Wiener index of linear pentagonal cylinder graph and linear pentagonal Mobius chain graph. We also obtain explicit formulas for finding total number of spanning trees for both the graphs.


title: Visualizing the Diversity of Representations Learned by Bayesian Neural Networks

abstract: Explainable Artificial Intelligence (XAI) aims to make learning machines less opaque, and offers researchers and practitioners various tools to reveal the decision-making strategies of neural networks. In this work, we investigate how XAI methods can be used for exploring and visualizing the diversity of feature representations learned by Bayesian Neural Networks (BNNs). Our goal is to provide a global understanding of BNNs by making their decision-making strategies a) visible and tangible through feature visualizations and b) quantitatively measurable with a distance measure learned by contrastive learning. Our work provides new insights into the \emph{posterior} distribution in terms of human-understandable feature information with regard to the underlying decision making strategies. The main findings of our work are the following: 1) global XAI methods can be applied to explain the diversity of decision-making strategies of BNN instances, 2) Monte Carlo dropout with commonly used Dropout rates exhibit increased diversity in feature representations compared to the multimodal posterior approximation of MultiSWAG, 3) the diversity of learned feature representations highly correlates with the uncertainty estimate for the output and 4) the inter-mode diversity of the multimodal posterior decreases as the network width increases, while the intra mode diversity increases. These findings are consistent with the recent Deep Neural Networks theory, providing additional intuitions about what the theory implies in terms of humanly understandable concepts.


title: A deep learning method based on patchwise training for reconstructing temperature field

abstract: Physical field reconstruction is highly desirable for the measurement and control of engineering systems. The reconstruction of the temperature field from limited observation plays a crucial role in thermal management for electronic equipment. Deep learning has been employed in physical field reconstruction, whereas the accurate estimation for the regions with large gradients is still diffcult. To solve the problem, this work proposes a novel deep learning method based on patchwise training to reconstruct the temperature field of electronic equipment accurately from limited observation. Firstly, the temperature field reconstruction (TFR) problem of the electronic equipment is modeled mathematically and transformed as an image-to-image regression task. Then a patchwise training and inference framework consisting of an adaptive UNet and a shallow multilayer perceptron (MLP) is developed to establish the mapping from the observation to the temperature field. The adaptive UNet is utilized to reconstruct the whole temperature field while the MLP is designed to predict the patches with large temperature gradients. Experiments employing finite element simulation data are conducted to demonstrate the accuracy of the proposed method. Furthermore, the generalization is evaluated by investigating cases under different heat source layouts, different power intensities, and different observation point locations. The maximum absolute errors of the reconstructed temperature field are less than 1K under the patchwise training approach.


title: A Tight Three-parameter Correlation and Related Classification on Gamma-Ray Bursts

abstract: Gamma-ray bursts (GRBs) are widely believed to be from massive collapsars and/or compact binary mergers, which accordingly, would generate long and short GRBs, respectively. The details on this classification scheme have been in constant debate given more and more observational data available to us. In this work, we apply a series of data mining methods to studying the potential classification information contained in the prompt emission of GRBs detected by the Fermi Gamma-ray Burst Monitor. A tight global correlation is found between fluence ($f$), peak flux ($F$) and prompt duration ($T_{90}$) which takes the form of $ \log {\it f}= 0.75 \log T_{90} +0.92 \log F -7.14$. Based on this correlation, we can define a new parameter $L = 1.66\log T_{90} + 0.84 \log {\it f} - 0.46 \log F + 3.24$ by linear discriminant analysis that would distinguish between long and short GRBs with much less ambiguity than $T_{90}$. We also discussed the three subclasses scheme of GRB classification derived from clusters analysis based on a Gaussian mixture model, and suggest that, besides SGRBs, LGRBs may be divided into long-bright gamma-ray bursts (LBGRBs) and long-faint gamma-ray bursts (LFGRBs), LBGRBs have statistical higher $f$ and $F$ than LFGRBs; further statistical analysis found that LBGRBs also have higher number of GRB pulses than LFGRBs.


title: Hopf-Galois Realizability of $\mathbb{Z}_n\rtimes\mathbb{Z}_2$

abstract: Let $G$ and $N$ be finite groups of order $2n$ where $n$ is odd. We say the pair $(G,N)$ is Hopf-Galois realizable if $G$ is a regular subgroup of $\h(N)=N\rtimes\au(N)$. In this article we give necessary conditions on $G$ (similarly $N$) when $N$ (similarly $G$) is a group of the form $\mathbb{Z}_n\rtimes\mathbb{Z}_2$. Further we show that this condition is also sufficient if radical of $n$ is a Burnside number. This classifies all the skew braces which has the additive group (or the multiplicative group) to be isomorphic to $\mathbb{Z}_n\rtimes\mathbb{Z}_2$, in this case.


title: Electron spin- and photon polarization-resolved probabilities of strong-field QED processes

abstract: A derivation of fully polarization-resolved probabilities is provided for high-energy photon emission and electron-positron pair production in ultrastrong laser fields. The probabilities resolved in both electron spin and photon polarization of incoming and outgoing particles are indispensable for developing QED Monte Carlo and QED-Particle-in-Cell codes, aimed at the investigation of polarization effects in nonlinear QED processes in ultraintense laser-plasma and laser-electron beam interactions, and other nonlinear QED processes in external ultrastrong fields, which involve multiple elementary processes of a photon emission and pair production. The quantum operator method introduced by Baier and Katkov is employed for the calculation of probabilities within the quasiclassical approach and the local constant field approximation. The probabilities for the ultrarelativistic regime are given in a compact form and are suitable to describe polarization effects in strong laser fields of arbitrary configuration, rendering them very well suited for applications.


title: Quantum mechanical simulations of the radical-radical chemistry on icy surfaces

abstract: The formation of the interstellar complex organic molecules (iCOMs) is a hot topic in astrochemistry. One of the main paradigms trying to reproduce the observations postulates that iCOMs are formed on the ice mantles covering the interstellar dust grains as a result of radical--radical coupling reactions. We investigate iCOMs formation on the icy surfaces by means of computational quantum mechanical methods. In particular, we study the coupling and direct hydrogen abstraction reactions involving the CH$_3$ + X systems (X = NH$_2$, CH$_3$, HCO, CH$_3$O, CH$_2$OH) and HCO + Y (Y = HCO, CH$_3$O, CH$_2$OH), plus the CH$_2$OH + CH$_2$OH and CH$_3$O + CH$_3$O systems. We computed the activation energy barriers of these reactions as well as the binding energies of all the studied radicals, by means of density functional theory (DFT) calculations on two ice water models, made of 33 and 18 water molecules. Then, we estimated the efficiency of each reaction using the reaction activation, desorption and diffusion energies and derived kinetics with the Eyring equations. We find that radical--radical chemistry on surfaces is not as straightforward as usually assumed. In some cases, direct H abstraction reactions can compete with radical--radical couplings, while in others they may contain large activation energies. Specifically, we found that (i) ethane, methylamine and ethylene glycol are the only possible products of the relevant radical--radical reactions; (ii) glyoxal, methyl formate, glycolaldehyde, formamide, dimethyl ether and ethanol formation is likely in competition with the respective H-abstraction products, and (iii) acetaldehyde and dimethyl peroxide do not seem a likely grain surface products.


title: On the Issues of TrueDepth Sensor Data for Computer Vision Tasks Across Different iPad Generations

abstract: In 2017 Apple introduced the TrueDepth sensor with the iPhone X release. Although its primary use case is biometric face recognition, the exploitation of accurate depth data for other computer vision tasks like segmentation, portrait image generation and metric 3D reconstruction seems natural and lead to the development of various applications. In this report, we investigate the reliability of TrueDepth data - accessed through two different APIs - on various devices including different iPhone and iPad generations and reveal two different and significant issues on all tested iPads.


title: CodeRetriever: Unimodal and Bimodal Contrastive Learning for Code Search

abstract: In this paper, we propose the CodeRetriever model, which learns the function-level code semantic representations through large-scale code-text contrastive pre-training. We adopt two contrastive learning schemes in CodeRetriever: unimodal contrastive learning and bimodal contrastive learning. For unimodal contrastive learning, we design an unsupervised learning approach to build semantic-related code pairs based on the documentation and function name. For bimodal contrastive learning, we leverage the documentation and in-line comments of code to build code-text pairs. Both contrastive objectives can fully leverage large-scale code corpus for pre-training. Extensive experimental results show that CodeRetriever achieves new state-of-the-art with significant improvement over existing code pre-trained models, on eleven domain/language-specific code search tasks with six programming languages in different code granularity (function-level, snippet-level and statement-level). These results demonstrate the effectiveness and robustness of CodeRetriever.


title: On Lie algebras associated with a spray

abstract: The Lie algebra of infinitesimal isometries of a Riemannian manifold contains at most two commutative ideals. One coming from the horizontal nullity space of the Nijenhuis tensor of the canonical connection, the other coming from the constant vectors fields independent of the Riemannian metric.


title: On signs of Hecke eigenvalues of Siegel eigenforms

abstract: In this article, we distinguish Siegel cuspidal eigenforms of degree two on the full symplectic group from the signs of their Hecke eigenvalues. To establish our theorem, we obtain a result towards simultaneous sign changes of eigenvalues of two Siegel eigenforms. In the course of the proof, we also prove that the Satake $p$-parameters of two different Siegel eigenforms are distinct for a set of primes $p$ of density 1. The main ingredient to prove the latter result is the theory of Galois representations attached to Siegel eigenforms.


title: Efimov effect for two particles on a semi-infinite line

abstract: The Efimov effect (in a broad sense) refers to the onset of a geometric sequence of many-body bound states as a consequence of the breakdown of continuous scale invariance to discrete scale invariance. While originally discovered in three-body problems in three dimensions, the Efimov effect has now been known to appear in a wide spectrum of many-body problems in various dimensions. Here we introduce a simple, exactly solvable toy model of two identical bosons in one dimension that exhibits the Efimov effect. We consider the situation where the bosons reside on a semi-infinite line and interact with each other through a pairwise $\delta$-function potential with a particular position-dependent coupling strength that makes the system scale invariant. We show that, for sufficiently attractive interaction, the bosons are bound together and a new energy scale emerges. This energy scale breaks continuous scale invariance to discrete scale invariance and leads to the onset of a geometric sequence of two-body bound states. We also study the two-body scattering off the boundary and derive the exact reflection amplitude that exhibits a log-periodicity. This article is intended for students and non-specialists interested in discrete scale invariance.


title: Fractional Klein-Gordon Equation on AdS$_{2+1}$

abstract: We propose a covariant definition of the fractional Klein-Gordon equation with long-range interactions independent of the metric of the underlying manifold. As an example we consider the fractional Klein-Gordon equation on AdS$_{2+1}$, computing the explicit kernel representation of the fractional Laplace-Beltrami operator as well as the two-point propagator of the fractional Klein-Gordon equation. Our results suggest that the propagator only exists if the mass is small compared to the inverse AdS radius, presumably because the AdS space expands faster with distance as a flat space of the same dimension. Our results are expected to be useful in particular for new applications of the AdS/CFT correspondence within statistical mechanics and quantum information.


title: Global fluid simulation of plasma turbulence in a stellarator with an island divertor

abstract: Results of a three-dimensional, flux-driven, electrostatic, global, two-fluid turbulence simulation for a 5-field period stellarator with an island divertor are presented. The numerical simulation is carried out with the GBS code, recently extended to simulate plasma turbulence in non-axisymmetric magnetic equilibria. The vacuum magnetic field used in the simulation is generated with the theory of Dommaschk potentials, and describes a configuration with a central region of nested flux surfaces, surrounded by a chain of magnetic islands, similarly to the diverted configurations of W7-X. The heat outflowing from the core reaches the island region and is transported along the magnetic islands, striking the vessel walls, which correspond to the boundary of the simulation domain. The radial transport of particles and heat is found to be mainly driven by a field-aligned coherent mode with poloidal number $m=4$. The analysis of this mode, based on non-local linear theory considerations, shows its ballooning nature. In contrast to tokamak simulations and experiments, where blobs often contribute to transport, we do not observe the presence of intermittent transport events.


title: A Data-Driven Surrogate Modeling Approach for Time-Dependent Incompressible Navier-Stokes Equations with Dynamic Mode Decomposition and Manifold Interpolation

abstract: This work introduces a novel approach for data-driven model reduction of time-dependent parametric partial differential equations. Using a multi-step procedure consisting of proper orthogonal decomposition, dynamic mode decomposition and manifold interpolation, the proposed approach allows to accurately recover field solutions from a few large-scale simulations. Numerical experiments for the Rayleigh-B\'{e}nard cavity problem show the effectiveness of such multi-step procedure in two parametric regimes, i.e.~medium and high Grashof number. The latter regime is particularly challenging as it nears the onset of turbulent and chaotic behaviour. A major advantage of the proposed method in the context of time-periodic solutions is the ability to recover frequencies that are not present in the sampled data.


title: TransPPG: Two-stream Transformer for Remote Heart Rate Estimate

abstract: Non-contact facial video-based heart rate estimation using remote photoplethysmography (rPPG) has shown great potential in many applications (e.g., remote health care) and achieved creditable results in constrained scenarios. However, practical applications require results to be accurate even under complex environment with head movement and unstable illumination. Therefore, improving the performance of rPPG in complex environment has become a key challenge. In this paper, we propose a novel video embedding method that embeds each facial video sequence into a feature map referred to as Multi-scale Adaptive Spatial and Temporal Map with Overlap (MAST_Mop), which contains not only vital information but also surrounding information as reference, which acts as the mirror to figure out the homogeneous perturbations imposed on foreground and background simultaneously, such as illumination instability. Correspondingly, we propose a two-stream Transformer model to map the MAST_Mop into heart rate (HR), where one stream follows the pulse signal in the facial area while the other figures out the perturbation signal from the surrounding region such that the difference of the two channels leads to adaptive noise cancellation. Our approach significantly outperforms all current state-of-the-art methods on two public datasets MAHNOB-HCI and VIPL-HR. As far as we know, it is the first work with Transformer as backbone to capture the temporal dependencies in rPPGs and apply the two stream scheme to figure out the interference from backgrounds as mirror of the corresponding perturbation on foreground signals for noise tolerating.


title: Fuzzing Class Specifications

abstract: Expressing class specifications via executable constraints is important for various software engineering tasks such as test generation, bug finding and automated debugging, but developers rarely write them. Techniques that infer specifications from code exist to fill this gap, but they are designed to support specific kinds of assertions and are difficult to adapt to support different assertion languages, e.g., to add support for quantification, or additional comparison operators, such as membership or containment. To address the above issue, we present SpecFuzzer, a novel technique that combines grammar-based fuzzing, dynamic invariant detection, and mutation analysis, to automatically produce class specifications. SpecFuzzer uses: (i) a fuzzer as a generator of candidate assertions derived from a grammar that is automatically obtained from the class definition; (ii) a dynamic invariant detector -- Daikon -- to filter out assertions invalidated by a test suite; and (iii) a mutation-based mechanism to cluster and rank assertions, so that similar constraints are grouped and then the stronger prioritized. Grammar-based fuzzing enables SpecFuzzer to be straightforwardly adapted to support different specification languages, by manipulating the fuzzing grammar, e.g., to include additional operators. We evaluate our technique on a benchmark of 43 Java methods employed in the evaluation of the state-of-the-art techniques GAssert and EvoSpex. Our results show that SpecFuzzer can easily support a more expressive assertion language, over which is more effective than GAssert and EvoSpex in inferring specifications, according to standard performance metrics.


title: Bach equation and the matching of spacetimes in conformal cyclic cosmology models

abstract: We consider the problem of matching two spacetimes, the previous and present aeons, in the Conformal Cyclic Cosmology model. The common boundary between them inherits two sets of constraints -- one for each solution of the Einstein field equations extended to the conformal boundaries. The previous aeon is assumed to be an asymptotically de Sitter spacetime, so the standard conformal formulation of the Einstein field equations suffice to derive the constraints on the future null infinity. For the future aeon, which is supposed to evolve from an initial singularity, they are obtained with the use of the Bach equation. This equation is regular at the past conformal infinity for conformally flat and conformally Einstein spacetimes, so we will mostly focus on them here. An example of the electrovacuum spacetime which does not fall into this class and has regular conformal Bach tensor will be discussed in the appendix.


title: On Limits at Infinity of Weighted Sobolev Functions

abstract: We study necessary and sufficient conditions for a Muckenhoupt weight $w \in L^1_{\mathrm{loc}}(\mathbb R^d)$ that yield almost sure existence of radial, and vertical, limits at infinity for Sobolev functions $u \in W^{1,p}_{\mathrm{loc}}(\mathbb R^d,w)$ with a $p$-integrable gradient $|\nabla u|\in L^p(\mathbb R^d,w)$. The question is shown to subtly depend on the sense in which the limit is taken. First, we fully characterize the existence of radial limits. Second, we give essentially sharp sufficient conditions for the existence of vertical limits. In the specific setting of product and radial weights, we give if and only if statements. These generalize and give new proofs for results of Fefferman and Uspenski\u{\i}.


title: Moir\'e-Bose-Hubbard model for interlayer excitons in twisted transition metal dichalcogenide heterostructures

abstract: In bilayers of semiconducting transition metal dichalcogenides, the twist angle between layers can be used to introduce a highly regular periodic potential modulation on a length scale that is large compared to the unit cell. In such structures, correlated states can emerge, in which excitons in the heterostructure are strongly localized to the potential minima due to exciton-exciton interactions. We explore the transition between Mott and extended exciton phases in terms of a moir\'e-Bose-Hubbard Hamiltonian. Hopping and on-site interaction parameters are obtained from a Wannier representation of the interlayer-exciton wave functions, and a non-local Rytova-Keldysh model is used to attribute for the dielectric screening of excitons in the two-dimensional material. For sufficiently small exciton concentrations and substrate screening our model predicts the emergence of Mott-insulating states, establishing twisted TMD heterostructures as possible quantum simulators for bosonic many-body systems.


title: Gopakumar-Vafa type invariants of holomorphic symplectic 4-folds

abstract: Using reduced Gromov-Witten theory, we define new invariants which capture the enumerative geometry of curves on holomorphic symplectic 4-folds. The invariants are analogous to the BPS counts of Gopakumar and Vafa for Calabi-Yau 3-folds, Klemm and Pandharipande for Calabi-Yau 4-folds, Pandharipande and Zinger for Calabi-Yau 5-folds. We conjecture that our invariants are integers and give a sheaf-theoretic interpretation in terms of reduced $4$-dimensional Donaldson-Thomas invariants of one-dimensional stable sheaves. We check our conjectures for the product of two $K3$ surfaces and for the cotangent bundle of $\mathbb{P}^2$. Modulo the conjectural holomorphic anomaly equation, we compute our invariants also for the Hilbert scheme of two points on a $K3$ surface. This yields a conjectural formula for the number of isolated genus $2$ curves of minimal degree on a very general hyperk\"ahler $4$-fold of $K3^{[2]}$-type. The formula may be viewed as a $4$-dimensional analogue of the classical Yau-Zaslow formula concerning counts of rational curves on $K3$ surfaces. In the course of our computations, we also derive a new closed formula for the Fujiki constants of the Chern classes of tangent bundles of both Hilbert schemes of points on $K3$ surfaces and generalized Kummer varieties.


title: S$^3$NN: Time Step Reduction of Spiking Surrogate Gradients for Training Energy Efficient Single-Step Spiking Neural Networks

abstract: As the scales of neural networks increase, techniques that enable them to run with low computational cost and energy efficiency are required. From such demands, various efficient neural network paradigms, such as spiking neural networks (SNNs) or binary neural networks (BNNs), have been proposed. However, they have sticky drawbacks, such as degraded inference accuracy and latency. To solve these problems, we propose a single-step spiking neural network (S$^3$NN), an energy-efficient neural network with low computational cost and high precision. The proposed S$^3$NN processes the information between hidden layers by spikes as SNNs. Nevertheless, it has no temporal dimension so that there is no latency within training and inference phases as BNNs. Thus, the proposed S$^3$NN has a lower computational cost than SNNs that require time-series processing. However, S$^3$NN cannot adopt na\"{i}ve backpropagation algorithms due to the non-differentiability nature of spikes. We deduce a suitable neuron model by reducing the surrogate gradient for multi-time step SNNs to a single-time step. We experimentally demonstrated that the obtained surrogate gradient allows S$^3$NN to be trained appropriately. We also showed that the proposed S$^3$NN could achieve comparable accuracy to full-precision networks while being highly energy-efficient.


title: Non-adiabatic corrections to chiral charge pumping in topological nodal semimetals

abstract: Studying many-body versions of Landau-Zener-like problems of non-interacting electrons in the Slater formalism for several $k \cdot p$ models representing Weyl and Dirac semimetals, we systematically include non-adiabatic corrections to a quantum limit of chiral charge pumping in these models. In this paper, we show that relative homotopy invariant [Sun et al., Phys. Rev. Lett. 121, 106402 (2018)] and Euler class invariant [Bouhon et al., Nat. Phys. 16, 1137 (2020)] non-trivially manifest in the non-adiabatic corrections to the quantum limit of chiral charge pumping. These corrections could affect conductivity channels connected with the presence of chiral anomaly. Moreover, we show that, for non-symmorphic systems, this contribution is sensitive to the direction of the applied magnetic field (in respect to the so-called non-symmorphic nodal loop), suggesting that the conjectured direction-selective chiral anomaly in non-symmorphic systems [Bzdu\v{s}ek et al., Nature (London) 538, 75 (2016)] could lead to a strongly anisotropic longitudinal magnetoresistance. The presented approach can be easily applied to other $k \cdot p$ or tight-binding models.


abstract: The Norwegian Parliamentary Speech Corpus (NPSC) is a speech dataset with recordings of meetings from Stortinget, the Norwegian parliament. It is the first, publicly available dataset containing unscripted, Norwegian speech designed for training of automatic speech recognition (ASR) systems. The recordings are manually transcribed and annotated with language codes and speakers, and there are detailed metadata about the speakers. The transcriptions exist in both normalized and non-normalized form, and non-standardized words are explicitly marked and annotated with standardized equivalents. To test the usefulness of this dataset, we have compared an ASR system trained on the NPSC with a baseline system trained on only manuscript-read speech. These systems were tested on an independent dataset containing spontaneous, dialectal speech. The NPSC-trained system performed significantly better, with a 22.9% relative improvement in word error rate (WER). Moreover, training on the NPSC is shown to have a "democratizing" effect in terms of dialects, as improvements are generally larger for dialects with higher WER from the baseline system.


title: Electron-Phonon Decoupling in Two Dimensions

abstract: In order to observe many-body localisation in electronic systems, decoupling from the lattice phonons is required, which is possible only in out-of-equilibrium systems. We show that such an electron-phonon decoupling may happen in suspended films and it manifests itself via a bistability in the electron temperature. By studying the electron-phonon cooling rate in disordered, suspended films with two-dimensional phonons, we derive the conditions needed for such a bistability, which can be observed experimentally through hysteretic jumps of several orders of magnitude in the nonlinear current-voltage characteristics. We demonstrate that such a regime is achievable in systems with an Arrhenius form of the equilibrium conductivity, while practically unreachable in materials with Mott or Efros-Shklovskii hopping.


title: RBO Hand 3 -- A Platform for Soft Dexterous Manipulation

abstract: We present the RBO Hand 3, a highly capable and versatile anthropomorphic soft hand based on pneumatic actuation. The RBO Hand 3 is designed to enable dexterous manipulation, to facilitate transfer of insights about human dexterity, and to serve as a robust research platform for extensive real-world experiments. It achieves these design goals by combining many degrees of actuation with intrinsic compliance, replicating relevant functioning of the human hand, and by combining robust components in a modular design. The RBO Hand 3 possesses 16 independent degrees of actuation, implemented in a dexterous opposable thumb, two-chambered fingers, an actuated palm, and the ability to spread the fingers. In this work, we derive the design objectives that are based on experimentation with the hand's predecessors, observations about human grasping, and insights about principles of dexterity. We explain in detail how the design features of the RBO Hand 3 achieve these goals and evaluate the hand by demonstrating its ability to achieve the highest possible score in the Kapandji test for thumb opposition, to realize all 33 grasp types of the comprehensive GRASP taxonomy, to replicate common human grasping strategies, and to perform dexterous in-hand manipulation.


title: Floquet topological phases with high Chern numbers in a periodically driven extended Su-Schrieffer-Heeger model

abstract: The high Chern number phases with the Chern number |C| > 1 are observed in this study of a periodically driven extended Su-Schrieffer-Heeger (E-SSH) model with a cyclic parameter. Besides the standard intra-dimer and the nearest-neighbor (NN) inter-dimer hopping of the SSH model, an additional next-nearest-neighbor (NNN) hopping is considered in the E-SSH model. The cyclic parameter, which plays the role of a synthetic dimension, is invoked as a modulation of the hopping strengths. A rigorous analysis of different phase diagrams has shown multiple Floquet topological phase transitions among the high Chern number phases. These phase transitions can be controlled by the strength and frequency of the periodic driving. Instead of applying perturbation theory, the whole analysis is done by Floquet replica technique. This gives a freedom to study high as well as low-frequency effects on the system by considering less or more number of photon sectors. This system can be experimentally realized through a pulse sequence scheme in the optical lattice setup.


title: Hyperparameter Optimization for COVID-19 Chest X-Ray Classification

abstract: Despite the introduction of vaccines, Coronavirus disease (COVID-19) remains a worldwide dilemma, continuously developing new variants such as Delta and the recent Omicron. The current standard for testing is through polymerase chain reaction (PCR). However, PCRs can be expensive, slow, and/or inaccessible to many people. X-rays on the other hand have been readily used since the early 20th century and are relatively cheaper, quicker to obtain, and typically covered by health insurance. With a careful selection of model, hyperparameters, and augmentations, we show that it is possible to develop models with 83% accuracy in binary classification and 64% in multi-class for detecting COVID-19 infections from chest x-rays.


title: MiMeS, the Misalignment Mechanism Solver

abstract: We briefly discuss MiMeS, a C++ library that can solve the axion and axion-like equation of motion in various axion models and cosmological histories.


title: An Attempt of Adaptive Heightfield Rendering with Complex Interpolants Using Ray Casting

abstract: In this technical report, we document our attempt to visualize adaptive heightfields with smooth interpolation using ray casting in real time. The performance of ray casting depends strongly on the used interpolant and its efficient evaluation. Unfortunately, analytical solutions for ray-surface intersections are only given in the literature for very few simple, piece-wise polynomial surfaces. In our use case, we approximate the heightfield with radial basis functions defined on an adaptive grid, for which we propose a two-step solution: First, we reconstruct and discretize the currently visible portion of the surface with smooth approximation into a set of off-screen buffers. In a second step, we interpret these off-screen buffers as regular heightfields that can be rendered efficiently with ray casting using a simple bilinear interpolant. While our approach works, our quantitative evaluation shows that the performance depends strongly on the complexity and size of the heightfield. Real-time performance cannot be achieved for arbitrary heightfields, which is why we report our findings as a failed attempt to use ray casting for practical geospatial visualization in real time.


title: Design and Commissioning of the first two CYRC\'e Extension Beamlines

abstract: CYRC\'e is a TR24 cyclotron installed at the Institut Pluridisciplinaire Hubert Curien (IPHC) of Strasbourg operating at energies of 16-25 MeV and at intensities up to 400 $\mu$A. The accelerator is used to produce and provide radioelements for PET and for SPECT. In 2015, IPHC started to develop a platform with the aim of performing radiobiological experiments. The PRECy platform foresees to contain three-to-five experimental stations linked to beamlines expanded from the second exit port of the cyclotron. This extension allows devoting one of the beamlines for detector studies within the framework of the CMS project. The design, the development and the commissioning of the first two beamlines are discussed in this paper.


title: Nonlinear magnon polaritons

abstract: We experimentally and theoretically demonstrate that nonlinear spin-wave interactions suppress the hybrid magnon-photon quasiparticle or "magnon polariton" in microwave spectra of an yttrium iron garnet film detected by an on-chip split-ring resonator. We observe a strong coupling between the Kittel and microwave cavity modes in terms of an avoided crossing as a function of magnetic fields at low microwave input powers, but a complete closing of the gap at high powers. The experimental results are well explained by a theoretical model including the three-magnon decay of the Kittel magnon into spin waves. The gap closure originates from the saturation of the ferromagnetic resonance above the Suhl instability threshold by a coherent back reaction from the spin waves.


title: One Student Knows All Experts Know: From Sparse to Dense

abstract: Human education system trains one student by multiple experts. Mixture-of-experts (MoE) is a powerful sparse architecture including multiple experts. However, sparse MoE model is easy to overfit, hard to deploy, and not hardware-friendly for practitioners. In this work, inspired by the human education model, we propose a novel task, knowledge integration, to obtain a dense student model (OneS) as knowledgeable as one sparse MoE. We investigate this task by proposing a general training framework including knowledge gathering and knowledge distillation. Specifically, to gather key knowledge from different pre-trained experts, we first investigate four different possible knowledge gathering methods, \ie summation, averaging, Top-K Knowledge Gathering (Top-KG), and Singular Value Decomposition Knowledge Gathering (SVD-KG) proposed in this paper. We then refine the dense student model by knowledge distillation to offset the noise from gathering. On ImageNet, our OneS preserves $61.7\%$ benefits from MoE and achieves $78.4\%$ top-1 accuracy ImageNet with only $15$M parameters. On four natural language processing datasets, OneS obtains $88.2\%$ MoE benefits and outperforms the best baseline by $51.7\%$ using the same architecture and training data. In addition, compared with the MoE counterpart, OneS can achieve $3.7 \times$ inference speedup due to less computation and hardware-friendly architecture.


title: On an error term for the first moment of twisted $L$-functions

abstract: Let $f$ be a Hecke-Maass cusp form for the full modular group and let $\chi$ be a primitive Dirichlet character modulo a prime $q$. Let $s_0=\sigma_0+it_0$ with $\frac{1}{2}\leq\sigma_0<1$. We improve the error term for the first moment of $L(s_0,f\otimes\chi)\overline{L(s_0,\chi)}$ over the family of even primitive Dirichlet characters. As an application, we show that for any $t\in\mathbb{R}$, there exists a primitive Dirichlet character $\chi$ modulo $q$ for which $L(1/2+it,f\otimes\chi)L(1/2+it,\chi)\neq0$ if the prime $q$ satisfies $q\gg (1+|t|)^{\frac{543}{25}+\varepsilon}$.


title: Erd\H{o}s--Ko--Rado and Hilton--Milner theorems for two-forms

abstract: In this short note we show that both generalizations of celebrated Erd\H{o}s--Ko--Rado theorem and Hilton--Milner theorem to the setting of exterior algebra in the simplest non-trivial case of two-forms follow from the folklore puzzle about possible arrangements of an intersecting family of lines.


title: Enhancing the force sensitivity of squeezed light optomechanical interferometer

abstract: Application of frequency-dependent squeezed vacuum improves the force sensitivity of optomechanical interferometer beyond the standard quantum limit by a factor of $e^{-r}$, where $r$ is the squeezing parameter. In this work, we show that the application of squeezed light along with quantum optical restoring force can enhance the sensitivity beyond the standard quantum limit by a factor of $\sqrt{e^{-2r}\zeta/4\Delta}$, where $0< \zeta/\Delta <1$, with $\zeta$ as the optomechanical cavity decay rate and $\Delta$ as the detuning between cavity eigenfrequency and driving field. The technique described in this article is restricted to frequencies much smaller than the resonance frequency of the optomechanical mirror.


title: Nonlinear optical response of Type-II Weyl fermions in two dimensions

abstract: We present a theoretical model to study the nonlinear optical response of materials with a low-energy spectrum characterised by strongly tilted, type-II, Weyl cones in two dimensions, which we call 2D Weyl materials. Our findings reveal that the tilted nature of the Weyl cones is responsible for the appearance of even harmonics in the nonlinear signal, as well as its strong polarisation dependence. We discuss how it is possible to control such nonlinear response and envision how 2D Weyl materials can be used to realise novel photonic devices for sensing applications.


title: A novel sustainable role of compost as a universal protective substitute for fish, chicken, pig, and cattle, and its estimation by structural equation modeling

abstract: Natural decomposition of organic matter is essential in food systems, and compost is used worldwide as an organic fermented fertilizer. However, as a feature of the ecosystem, its effects on the animals are poorly understood. Here we show that oral administration of compost and/or its derived thermophilic Bacillaceae, i.e., Caldibacillus hisashii and Weizmannia coagulans, can modulate the prophylactic activities of various industrial animals. The fecal omics analyses in the modulatory process showed an improving trend dependent upon animal species, environmental conditions, and administration. However, structural equation modeling (SEM) estimated the grouping candidates of bacteria and metabolites as standard key components beyond the animal species. In particular, the SEM model implied a strong relationship among partly digesting fecal amino acids, increasing genus Lactobacillus as inhabitant beneficial bacteria and 2-aminoisobutyric acid involved in lantibiotics. These results highlight the potential role of compost for sustainable protective control in agriculture, fishery, and livestock industries.


title: J-MAC: Japanese multi-speaker audiobook corpus for speech synthesis

abstract: In this paper, we construct a Japanese audiobook speech corpus called "J-MAC" for speech synthesis research. With the success of reading-style speech synthesis, the research target is shifting to tasks that use complicated contexts. Audiobook speech synthesis is a good example that requires cross-sentence, expressiveness, etc. Unlike reading-style speech, speaker-specific expressiveness in audiobook speech also becomes the context. To enhance this research, we propose a method of constructing a corpus from audiobooks read by professional speakers. From many audiobooks and their texts, our method can automatically extract and refine the data without any language dependency. Specifically, we use vocal-instrumental separation to extract clean data, connectionist temporal classification to roughly align text and audio, and voice activity detection to refine the alignment. J-MAC is open-sourced in our project page. We also conduct audiobook speech synthesis evaluations, and the results give insights into audiobook speech synthesis.


title: Numerical Approximation for Stochastic Nonlinear Fractional Diffusion Equation Driven by Rough Noise

abstract: In this work, we are interested in building the fully discrete scheme for stochastic fractional diffusion equation driven by fractional Brownian sheet which is temporally and spatially fractional with Hurst parameters $H_{1}, H_{2} \in(0,\frac{1}{2}]$. We first provide the regularity of the solution. Then we employ the Wong-Zakai approximation to regularize the rough noise and discuss the convergence of the approximation. Next, the finite element and backward Euler convolution quadrature methods are used to discretize spatial and temporal operators for the obtained regularized equation, and the detailed error analyses are developed. Finally, some numerical examples are presented to confirm the theory.


title: Evolved interactions stabilize many coexisting phases in multicomponent liquids

abstract: Phase separation has emerged as an essential concept for the spatial organization inside biological cells. However, despite the clear relevance to virtually all physiological functions, we understand surprisingly little about what phases form in a system of many interacting components, like in cells. Here, we introduce a new numerical method based on physical relaxation dynamics to study the coexisting phases in such systems. We use our approach to optimize interactions between components, similar to how evolution might have optimized the interactions of proteins. These evolved interactions robustly lead to a defined number of phases, despite substantial uncertainties in the initial composition, while random or designed interactions perform much worse. Moreover, the optimized interactions are robust to perturbations and they allow fast adaption to new target phase counts. We thus show that genetically encoded interactions of proteins provide versatile control of phase behavior. The phases forming in our system are also a concrete example of a robust emergent property that does not rely on fine-tuning the parameters of individual constituents.

categories: physics.bio-ph cond-mat.soft cond-mat.stat-mech q-bio.BM


title: Speeding up Heterogeneous Federated Learning with Sequentially Trained Superclients

abstract: Federated Learning (FL) allows training machine learning models in privacy-constrained scenarios by enabling the cooperation of edge devices without requiring local data sharing. This approach raises several challenges due to the different statistical distribution of the local datasets and the clients' computational heterogeneity. In particular, the presence of highly non-i.i.d. data severely impairs both the performance of the trained neural network and its convergence rate, increasing the number of communication rounds requested to reach a performance comparable to that of the centralized scenario. As a solution, we propose FedSeq, a novel framework leveraging the sequential training of subgroups of heterogeneous clients, i.e. superclients, to emulate the centralized paradigm in a privacy-compliant way. Given a fixed budget of communication rounds, we show that FedSeq outperforms or match several state-of-the-art federated algorithms in terms of final performance and speed of convergence. Finally, our method can be easily integrated with other approaches available in the literature. Empirical results show that combining existing algorithms with FedSeq further improves its final performance and convergence speed. We test our method on CIFAR-10 and CIFAR-100 and prove its effectiveness in both i.i.d. and non-i.i.d. scenarios.


title: Gravitational lensing effects of supermassive black holes in cluster environments

abstract: This study explores the gravitational lensing effects of supermassive black holes (SMBHs) in galaxy clusters. While the presence of central SMBHs in galaxies is firmly established, recent work from high-resolution simulations predict the existence of an additional population of wandering SMBHs. Though the masses of these SMBHs are a minor perturbation on the larger scale and individual galaxy scale dark matter components in the cluster, they can impact statistical lensing properties and individual lensed image configurations. Probing for these potentially observable signatures, we find that SMBHs imprint detectable signatures in rare, higher-order strong lensing image configurations although they do not manifest any statistically significant detectable evidence in either the magnification distribution or the integrated shear profile. Investigating specific lensed image geometries, we report that a massive, near point-like, potential of an SMBH causes the following detectable effects: (i) image splitting leading to the generation of extra images; (ii) positional and magnification asymmetries in multiply imaged systems; and (iii) the apparent disappearance of a lensed counter-image. Of these, image splitting inside the cluster tangential critical curve, is the most prevalent notable observational signature. We demonstrate these possibilities in two cases of observed giant arcs in $SGAS\,J003341.5+024217$ and $RX\,J1347.5-1145$, wherein specific image configurations seen can be reproduced with SMBHs. Future observations with high-resolution instrumentation (e.g. MAVIS-Very Large Telescope, MICADO-Extremely Large Telescope, and the upgraded ngVLA, along with data from the \textit{Euclid} \& \textit{Nancy Grace Roman} Space Telescopes and the Rubin LSST Observatory are likely to allow us to probe these unique yet rare SMBHs lensing signatures.


title: Glauber gluons in pion-induced Drell-Yan processes revisited

abstract: We reanalyze the anomalous angular distribution of lepton pairs produced in a pion-induced Drell-Yan process by taking into account the Glauber gluon effect in the $k_T$ factorization theorem. Compared to the previous study, we adopt the realistic parton distribution functions (PDFs) for a proton from the CTEQ and for a pion from the xFitter, include the QCD evolutions of the strong coupling and the PDFs, and integrate the differential cross section over the kinematic regions for the NA10, E615 and COMPASS experiments. These improvements then allow rigorous confrontations of theoretical results with the data. It is shown that the lepton angular distribution and the violation of the Lam-Tung relation measured in all the above experiments can be well accommodated with a single Glauber phase. We illustrate the Glauber effect in the geometric picture for a Drell-Yan process, and its distinction from the conventional Boer-Mulders mechanism. The observables are pointed out, which can be used to discriminate the two proposals, when data become more precise.


title: Charactering instrumental noises and stochastic gravitational wave signals from combined time-delay interferometry

abstract: LISA will detect gravitational waves (GWs) in the milli-Hz frequency band in space. Time-delay interferometry (TDI) is developed to suppress laser frequency noise beneath the acceleration noise and optical metrology noise. To identify stochastic GW signals, it would be required to characterize these noise components entangled in TDI data streams. In this work, we investigate noises characterization by combining the first-generation TDI channels from Michelson and Relay configurations. The Michelson channels are helpful to characterize acceleration noises in the lower frequency band, and the Relay configuration could effectively resolve optical path noises in the higher frequencies. Synergy could be achieved from their combination to determine these instrumental noises. Based on the characterized noises, we further reconstruct the power spectrum of noise in the selected TDI channel. Two cases are performed to characterize the spectrum shape of a stochastic GW signal. For a modeled signal, its parameter(s) could be directly estimated from the TDI data, and its spectrum could be recovered from the inferred values. And for an unexpected signal, its spectrum may be recognized and retrieved from noise-subtracted residual in which its power spectral density surpasses the noise level.


title: Highly stable electronic properties of rippled antimonene under compressive deformation

abstract: Antimonene has attracted much attention for its high carrier mobility and suitable band gap for electronic, optoelectronic, and even spintronic devices. To tailor its properties for such applications, strain engineering may be adopted. However, such 2D crystals may prefer to exist in the rippled form due to the instability of long-range orders, and rippling has been shown to have a contrasting, significant impact on the electronic properties of various 2D materials, which complicates the tuning process. Hence, the effects of rippling on the electronic properties of antimonene under strain are herein investigated by comparing antimonene in its rippled and flat forms. DFT calculations are performed to compute the structural and electronic parameters, where uniaxial compression of up to 7.5% is applied along the armchair and zigzag directions to study the anisotropic behavior of the material. Highly stable properties such as the work function and band gap are obtained for the rippled structures, where they are fully relaxed, regardless of the compression level, and these properties do not deviate much from those of the pristine structure under no strain. In contrast, various changes are observed in their flat counterparts. The mechanisms behind the different results are thoroughly explained by analyses of the density of states and structure geometry. The out-of-plane dipole moments of the rippled structures are also presented to give further insights into potential applications of rippled antimonene in sensors, actuators, triboelectric nanogenerators, etc. This work presents extensive data and thorough analysis on the effect of rippling on antimonene. The identification of optimal ripple amplitudes for which the electronic properties of the pristine condition can be recovered will be highly significant in guiding the rational design and architecture of antimonene-based devices.


title: Statistical theory of structures with extended defects

abstract: Many materials contain extended defects of nanosize scale, such as dislocations, cracks, pores, polymorphic inclusions, and other embryos of competing phases. When one is interested not in the precise internal structure of a sample with such defects, but in its overall properties as a whole, one needs a statistical picture giving a spatially averaged description. In this chapter, an approach is presented for a statistical description of materials with extended nanosize defects. A method is developed allowing for the reduction of the problem to the consideration of a set of system replicas representing homogeneous materials characterized by effective renormalized Hamiltonians. This is achieved by defining a procedure of averaging over heterophase configurations. The method is illustrated by a lattice model with randomly distributed regions of disorder.


title: Boomerang Spectra of Two Classes of Power Functions via Their Differential Spectra

abstract: In EUROCRYPT 2018, Cid $et\;al.$ introduced a new concept on the cryptographic property of S-boxes to evaluate the subtleties of boomerang-style attacks. This concept was named as boomerang connectivity table (BCT for short) . For a power function, the distribution of BCT can be directly determined by its boomerang spectrum. In this paper, we investigate the boomerang spectra of two classes power functions over even characteristic finite fields via their differential spectra. The boomerang spectrum of the power function $ {x^{{2^{m+1}} - 1}} $ over $ {\mathbb{F}_{{2^{2m}}}} $ is determined, where $2^{m+1}-1$ is a kind of Niho exponent. The boomerang spectrum of the Gold function $G(x)=x^{2^t+1}$ over $ {\mathbb{F}_{{2^n}}} $ is also determined. It is shown that the Gold function has two-valued boomerang spectrum.


title: Enhancing dissipative cat-state generation via nonequilibrium pump fields

abstract: Cat states, which were initially proposed to manifest macroscopic superpositions, play an outstanding role in fundamental aspects of quantum dynamics. In addition, they have potential applications in quantum computation and quantum sensing. However, cat states are vulnerable to dissipation, which puts the focus of cat-state generation on higher speed and increased robustness. Dissipative cat-state generation is a common approach based on the nonlinear coupling between a lossy pump field and a half-frequency signal field. In such an approach, the pump field is usually kept in equilibrium, which limits the cat-state generation. We show that the equilibrium requirement can be removed by leveraging a synchronous pump method. In this nonequilibrium regime, the speed of the cat-state generation can be increased by one order of magnitude, and the robustness to single-photon loss can be enhanced. The realization of synchronous pumps is discussed for both time-multiplexed systems and standing modes.


title: Status of the NEXT experiment for neutrinoless double beta decay searches

abstract: NEXT (Neutrino Experiment with a Xenon TPC) is a neutrinoless double beta decay experiment located at the Laboratorio Subterr\'aneo de Canfranc (LSC, Spain). Its aim is to demonstrate that the neutrino is a Majorana particle by detecting the neutrinoless double beta decay process in xenon gas enriched in the $^{136}$Xe isotope. The detector technology used in NEXT is that of radiopure high pressure time projection chambers with electroluminescence amplification, which provide excellent energy resolution better than 1$\%$ FWHM in the energy region of interest, topological reconstruction that allows rejecting single-electron background events and a strong potential for "in situ" tagging of the barium daughter ion. The experiment has been developing in phases. The NEXT-White detector has recently finished operation at the LSC and contained approximately an active Xe mass of 5 kg. Its purpose was to demonstrate the excellent energy resolution, to validate the reconstruction algorithms and the background model, and to make a measurement of the two-neutrino double beta decay of $^{136}$Xe. The 100 kg NEXT-100 detector is under construction and is scheduled to be installed and assembled by the first half of 2022. The predicted 90$\%$ CL sensitivity to the neutrinoless double beta decay half-life will reach $10^{26}$ years for an exposure of about 400 kg $\cdot$ year. A vigorous program towards the development of ton-scale detectors is also under way, including extensive R$\&$D towards the realization of in-situ Ba$^{2+}$ tagging as means to achieve virtually zero-background detection. A first module with a mass of at least 500 kg may be operating as early as 2026 at the LSC. In this manuscript, recent results obtained with the NEXT-White detector will be presented, as well as the NEXT-100 construction status and on the prospects of future NEXT detectors.


title: Improving robustness and calibration in ensembles with diversity regularization

abstract: Calibration and uncertainty estimation are crucial topics in high-risk environments. We introduce a new diversity regularizer for classification tasks that uses out-of-distribution samples and increases the overall accuracy, calibration and out-of-distribution detection capabilities of ensembles. Following the recent interest in the diversity of ensembles, we systematically evaluate the viability of explicitly regularizing ensemble diversity to improve calibration on in-distribution data as well as under dataset shift. We demonstrate that diversity regularization is highly beneficial in architectures, where weights are partially shared between the individual members and even allows to use fewer ensemble members to reach the same level of robustness. Experiments on CIFAR-10, CIFAR-100, and SVHN show that regularizing diversity can have a significant impact on calibration and robustness, as well as out-of-distribution detection.


title: Ambient Forcing: Sampling Local Perturbations in Constrained Phase Spaces

abstract: Ambient Forcing is a novel method to sample random states from manifolds of differential-algebraic equations (DAE). These states can represent local perturbations of nodes in power systems with loads, which introduces constraints into the system. These states must be valid initial conditions to the DAE, meaning that they fulfill the algebraic equations. Additionally, these states should represent perturbations of individual variables in the power grid, such as a perturbation of the voltage at a load. These initial states enable the calculation of probabilistic stability measures of power systems with loads, which was not yet possible, but is important as these measures have become a crucial tool in studying power systems. To verify that these perturbations are network local, i.e. that the initial perturbation only targets a single node in the power grid, a new measure, the spreadability, related to the closeness centrality, is presented. The spreadability is evaluated for an ensemble of typical power grids. The ensemble depicts a set of future power grids where consumers, as well as producers, are connected to the grid via inverters. For this power grid ensemble, we additionally calculate the basin stability as well as the survivability, two probabilistic measures which provide statements about asymptotic and transient stability. We also revisit topological classes, that have been shown to predict the basin stability of grids and explore if they still hold for grids with constraints and voltage dynamics. We find that the degree of the nodes is a better predictor than the topological classes for our ensemble. Finally, ambient forcing is applied to calculate probabilistic stability measures of the IEEE 96 test case.


title: A Bayesian Based Deep Unrolling Algorithm for Single-Photon Lidar Systems

abstract: Deploying 3D single-photon Lidar imaging in real world applications faces multiple challenges including imaging in high noise environments. Several algorithms have been proposed to address these issues based on statistical or learning-based frameworks. Statistical methods provide rich information about the inferred parameters but are limited by the assumed model correlation structures, while deep learning methods show state-of-the-art performance but limited inference guarantees, preventing their extended use in critical applications. This paper unrolls a statistical Bayesian algorithm into a new deep learning architecture for robust image reconstruction from single-photon Lidar data, i.e., the algorithm's iterative steps are converted into neural network layers. The resulting algorithm benefits from the advantages of both statistical and learning based frameworks, providing best estimates with improved network interpretability. Compared to existing learning-based solutions, the proposed architecture requires a reduced number of trainable parameters, is more robust to noise and mismodelling effects, and provides richer information about the estimates including uncertainty measures. Results on synthetic and real data show competitive results regarding the quality of the inference and computational complexity when compared to state-of-the-art algorithms.


title: On threefolds with the smallest nontrivial monodromy group

abstract: Using an adjunction-theoretic result due to A.J.Sommese together with a proposition from SGA7, we obtain a complete list of smooth threefolds for which the monodromy group acting on $H^2$ of its smooth hyperplane section is $\mathbb Z/2\mathbb Z$. The possibility of such a classification was announced by F.L.Zak in 1991.


title: Dynamic wavefront transformer based on a two-degree-of-freedom control system for 6-kHz mechanically actuated beam steering

abstract: Vast tunable optical components are realized based on dynamic reconfigurations of the incident wavefronts, such as beam steering and tunable lens. However, the dominant paradigm of current wavefront reconfiguration technologies relies on complex control systems with degrees of freedom much larger than output wavefronts, e.g. beam steering based on spatial light modulator or phased array antennas. Here, we propose a new paradigm for dynamic reconfiguration of arbitrary output wavefronts using control systems with the same degrees of freedom. As an example, a wavefront transformer is demonstrated using an in-plane two-degree-of-freedom (2DOF) mechanical actuation system of metasurface doublet for semi-omnidirectional beam steering, which measured a 6-kHz modulation speed and a "+-65.6 degree" field of view. This paradigm can be applied to metasurface transformers for dynamic wavefront reconfiguration with any control system for vast applications, such as tunable lens, beam steering, and dynamic beam profiler, just to name a few.