title: Shotgun Assembly of Linial-Meshulam Model

abstract: In a recent paper [6], J. Gaudio and E. Mossel studied the shotgun assembly of the Erd\H{o}s-R\'enyi graph $\mathcal G(n,p_n)$ with $p_n=n^{-\alpha}$, and showed that the graph is reconstructable form its $1$-neighbourhoods if $0<\alpha < 1/3$ and not reconstructable from its $1$-neighbourhoods if $1/2 <\alpha<1$. In this article, we generalise the notion of reconstruction of graphs to the reconstruction of simplicial complexes. We show that the Linial-Meshulam model $Y_{d}(n,p_n)$ on $n$ vertices with $p_n=n^{-\alpha}$ is reconstructable from its $1$-neighbourhoods when $0< \alpha < 1/3$ and is not reconstructable form its $1$-neighbourhoods when $1/2 < \alpha < 1$.


title: Enhanced robustness and dimensional crossover of superradiance in cuboidal nanocrystal superlattices

abstract: Cooperative emission of coherent radiation from multiple emitters (known as superradiance) has been predicted and observed in various physical systems, most recently in CsPbBr$_3$ nanocrystal superlattices. Superradiant emission is coherent and occurs on timescales faster than the emission from isolated nanocrystals. Theory predicts cooperative emission being faster by a factor of up to the number of nanocrystals ($N$). However, superradiance is strongly suppressed due to the presence of energetic disorder, stemming from nanocrystal size variations and thermal decoherence. Here, we analyze superradiance from superlattices of different dimensionalities (one-, two- and three-dimensional) with variable nanocrystal aspect ratios. We predict as much as a 15-fold enhancement in robustness against realistic values of energetic disorder in three-dimensional (3D) superlattices composed of cuboid-shaped, as opposed to cube-shaped, nanocrystals. Superradiance from small $(N\lesssim 10^3)$ two-dimensional (2D) superlattices is up to ten times more robust to static disorder and up to twice as robust to thermal decoherence than 3D superlattices with the same $N$. As the number of $N$ increases, a crossover in the robustness of superradiance occurs from 2D to 3D superlattices. For large $N\ (> 10^3)$, the robustness in 3D superlattices increases with $N$, showing cooperative robustness to disorder. This opens the possibility of observing superradiance even at room temperature in large 3D superlattices, if nanocrystal size fluctuations can be kept small.


title: Learning Invariant Representations for Equivariant Neural Networks Using Orthogonal Moments

abstract: The convolutional layers of standard convolutional neural networks (CNNs) are equivariant to translation. However, the convolution and fully-connected layers are not equivariant or invariant to other affine geometric transformations. Recently, a new class of CNNs is proposed in which the conventional layers of CNNs are replaced with equivariant convolution, pooling, and batch-normalization layers. The final classification layer in equivariant neural networks is invariant to different affine geometric transformations such as rotation, reflection and translation, and the scalar value is obtained by either eliminating the spatial dimensions of filter responses using convolution and down-sampling throughout the network or average is taken over the filter responses. In this work, we propose to integrate the orthogonal moments which gives the high-order statistics of the function as an effective means for encoding global invariance with respect to rotation, reflection and translation in fully-connected layers. As a result, the intermediate layers of the network become equivariant while the classification layer becomes invariant. The most widely used Zernike, pseudo-Zernike and orthogonal Fourier-Mellin moments are considered for this purpose. The effectiveness of the proposed work is evaluated by integrating the invariant transition and fully-connected layer in the architecture of group-equivariant CNNs (G-CNNs) on rotated MNIST and CIFAR10 datasets.


title: Tachyonic production of dark relics: a non-perturbative quantum study

abstract: We study production of dark relics during reheating after the end of inflation in a system consisting of a non-minimally coupled spectator scalar field and the inflaton. We derive a set of renormalized quantum transport equations for the one-point function and the two-point function of the spectator field and solve them numerically. We find that our system can embody both tachyonic and parametric instabilities. The former is an expected result due to the non-minimal coupling, but the latter displays new features driven by a novel interplay of the two-point function with the Ricci scalar. We find that when the parametric instability driven by the two-point function takes place, it dominates the total particle production. The quantitative results are also found to be highly sensitive to the model parameters.


title: Inverse Moment Matching Based Analysis of Cooperative HARQ-IR over Time-Correlated Nakagami Fading Channels

abstract: This paper analyzes the performance of cooperative hybrid automatic repeat request with incremental redundancy (HARQ-IR) and proposes a new approach of outage probability approximation for performance analysis. A general time-correlated Nakagami fading channel covering fast fading and Rayleigh fading as special cases is considered here. An efficient inverse moment matching method is proposed to approximate the outage probability in closed-form. The effect of approximation degree is theoretically analyzed to ease its selection. Moreover, diversity order of cooperative HARQ-IR is analyzed. It is proved that diversity order is irrelevant to the time correlation coefficient $\rho$ as long as $\rho<1$ and full diversity from both spatial and time domains can be achieved by cooperative HARQ-IR under time-correlated fading channels. The accuracy of the analytical results is verified by computer simulations and the results reveal that cooperative HARQ-IR scheme can benefit from high fading order and low channel time correlation. Optimal rate selection to maximize the long term average throughput given a maximum allowable outage probability is finally discussed as one application of the analytical results.


title: A system of inhomogeneous NLS arising in optical media with a $\chi^{(2)}$ nonlinearity, part I : Dynamics

abstract: We study a system of inhomogeneous nonlinear Schr\"odinger equations that emerge in optical media with a $\chi^{(2)}$ nonlinearity. This nonlinearity, whose local strength is subject to a cusp-shaped spatial modulation, $\chi^{(2)}\sim |x|^{-\alpha}$ where $\alpha > 0$, can be induced by spatially non-uniform poling. Our first step is to establish a vectorial Gagliardo--Nirenberg type inequality related to the system. This allows us to identify the necessary conditions on the initial data that lead to the existence of global in time solutions. By exploiting the spatial decay at infinity of the nonlinearity, we demonstrate the non-radial energy scattering in the mass-supercritical regime for global solutions. These solutions have initial data that lie below a mass-energy threshold, regardless of whether the system is mass-resonant or non-mass resonant. Lastly, we provide the criteria for the existence of non-radial blow-up solutions with mass-critical and mass-supercritical nonlinearities in both mass and non-mass resonance cases.


title: Implementing and Experimenting with Diffusion Models for Text-to-Image Generation

abstract: Taking advantage of the many recent advances in deep learning, text-to-image generative models currently have the merit of attracting the general public attention. Two of these models, DALL-E 2 and Imagen, have demonstrated that highly photorealistic images could be generated from a simple textual description of an image. Based on a novel approach for image generation called diffusion models, text-to-image models enable the production of many different types of high resolution images, where human imagination is the only limit. However, these models require exceptionally large amounts of computational resources to train, as well as handling huge datasets collected from the internet. In addition, neither the codebase nor the models have been released. It consequently prevents the AI community from experimenting with these cutting-edge models, making the reproduction of their results complicated, if not impossible. In this thesis, we aim to contribute by firstly reviewing the different approaches and techniques used by these models, and then by proposing our own implementation of a text-to-image model. Highly based on DALL-E 2, we introduce several slight modifications to tackle the high computational cost induced. We thus have the opportunity to experiment in order to understand what these models are capable of, especially in a low resource regime. In particular, we provide additional and analyses deeper than the ones performed by the authors of DALL-E 2, including ablation studies. Besides, diffusion models use so-called guidance methods to help the generating process. We introduce a new guidance method which can be used in conjunction with other guidance methods to improve image quality. Finally, the images generated by our model are of reasonably good quality, without having to sustain the significant training costs of state-of-the-art text-to-image models.


title: Turbulence observations using moored temperature sensors in weakly stratified deep West-Mediterranean waters

abstract: In the stably stratified ocean, small-scale turbulence is important for vertical exchange and hence for the mixing of water masses and suspended matter. To observationally study turbulent motions and the buoyancy- and shear-generators behind them, a 100-m tall array of high-resolution temperature (T) sensors was moored at a 2480-m deep seafloor near the steep continental slope of the Western Mediterranean Sea. The area is dominated by boundary flow, (sub-)mesoscale eddies, internal waves, wintertime dense water formation, and very weak vertical density stratification. Various physical oceanographic processes are observed in detail through a seasonal cycle, including: Low shear-driven turbulence in weak stratification in late-summer and autumn, large buoyancy-driven turbulence by geothermal heating from below alternated with inertial internal wave motions in winter, and moderate buoyancy-like turbulence pushed with stratified waters from above in late-winter and spring.


title: DELight: a Direct search Experiment for Light dark matter with superfluid helium

abstract: To reach ultra-low detection thresholds necessary to probe unprecedentedly low Dark Matter masses, target material alternatives and novel detector designs are essential. One such target material is superfluid $^4$He which has the potential to probe so far uncharted light Dark Matter parameter space at sub-GeV masses. The new ``Direct search Experiment for Light dark matter'', DELight, will be using superfluid helium as active target, instrumented with magnetic micro-calorimeters. It is being designed to reach sensitivity to masses well below 100\,MeV in Dark Matter-nucleus scattering interactions.


title: An Information Minimization Based Contrastive Learning Model for Unsupervised Sentence Embeddings Learning

abstract: Unsupervised sentence embeddings learning has been recently dominated by contrastive learning methods (e.g., SimCSE), which keep positive pairs similar and push negative pairs apart. The contrast operation aims to keep as much information as possible by maximizing the mutual information between positive instances, which leads to redundant information in sentence embedding. To address this problem, we present an information minimization based contrastive learning (InforMin-CL) model to retain the useful information and discard the redundant information by maximizing the mutual information and minimizing the information entropy between positive instances meanwhile for unsupervised sentence representation learning. Specifically, we find that information minimization can be achieved by simple contrast and reconstruction objectives. The reconstruction operation reconstitutes the positive instance via the other positive instance to minimize the information entropy between positive instances. We evaluate our model on fourteen downstream tasks, including both supervised and unsupervised (semantic textual similarity) tasks. Extensive experimental results show that our InforMin-CL obtains a state-of-the-art performance.


title: Flare Quasi-Periodic Pulsation Associated with Recurrent Jets

abstract: Quasi-periodic pulsations (QPPs), which carry time features and plasma characteristics of flare emissions, are frequently observed in light curves of solar/stellar flares. In this paper, we investigated non-stationary QPPs associated with recurrent jets during an M1.2 flare on 2022 July 14. A quasi-period of about 45$\pm$10 s, determined by the wavelet transform technique, is simultaneously identified at wavelengths of soft/hard X-ray and microwave emissions, which are recorded by the Gravitational wave high-energy Electromagnetic Counterpart All-sky Monitor, Fermi, and the Nobeyama Radio Polarimeters, respectively. A group of recurrent jets with an intermittent cadence of about 45$\pm$10 s are found in Atmospheric Imaging Assembly (AIA) image series at 304 {\AA}, but they are 180-s earlier than the flare QPP. All observational facts suggest that the flare QPP could be excited by recurrent jets, and they should be associated with nonthermal electrons that are periodically accelerated by a repeated energy release process, like repetitive magnetic reconnection. Moreover, the same quasi-period is discovered at double footpoints connected by a hot flare loop in AIA 94 {\AA}, and the phase speed is measured to 1420 km/s. Based on the differential emission measure, the average temperatures, number densities, and magnetic field strengths at the loop top and footpoint are estimated to 7.7/6.7 MK, 7.5/3.6*10^{10} cm ^{-3}, and 143/99 G, respectively. Our measurements indicate that the 45-s QPP is probably modulated by the kink-mode wave of the flare loop.


title: The structure of the generalized Vaidya spacetime containing the eternal naked singularity

abstract: In this paper the structure of the generalized Vaidya spacetime when the type-II of the matter field satisfies the equation of the state $P=\rho$ is investigated. Satisfying all energy conditions we show that this spacetime contains the 'eternal' naked singularity. It means that once the singularity is formed it will never be covered with the apparent horizon. However, in the case of the apparent horizon formation the resulting object is a white hole. We also prove that this spacetime contains only null naked singularity.


title: Locally unidentifiable subset of quantum states and its resourcefulness in secret password distribution

abstract: We introduce a hitherto unexplored form of quantum nonlocality, termed local subset unidentifiability, that arises from the limitation of spatially separated parties to perfectly identify a subset of mutually orthogonal multipartite quantum states, randomly chosen from a larger known set, using Local Operations and Classical Communication (LOCC). We show that this nonlocality is stronger than other existing forms of quantum nonlocality, such as local indistinguishability and local unmarkability. If more than one multipartite states from a locally indistinguishable set are distributed between spatially separated parties in a sequentially ordered fashion, then they may or may not mark which state is which using LOCC. However, we show that even when the parties cannot mark the states, they may still locally identify the particular states given to them, though not their order -- i.e., they can identify the elements of the given subset of states. Then we prove the existence of such subsets that are not even locally identifiable, thereby manifesting a stronger nonlocality. We also present the genuine version of this nonlocality -- genuine subset unidentifiability -- where the provided subset remains unidentifiable unless all the parties come together in a common location and perform global measurements. We anticipate potential applications of this nonlocality for future quantum technologies. We discuss one such application in a certain secret password distribution protocol, where this nonlocality outperforms its predecessors as a resource.


title: Ghost stabilisation of the Material Point Method for stable quasi-static and dynamic analysis of large deformation problems

abstract: The unstable nature of the material point method is widely documented and is a barrier to the method being used for routine engineering analyses of large deformation problems. The vast majority of papers concerning this issue are focused on the instabilities that manifest when a material point crosses between background grid cells. However, there are other issues related to the stability of material point methods. This paper focuses on the issue of the conditioning of the global system of equations caused by the arbitrary nature of the position of the physical domain relative to the background computational grid. The issue is remedied here via the use of a Ghost stabilisation technique that penalises variations in the gradient of the solution field near the boundaries of the physical domain. This technique transforms the stability of the material point method, providing a robust computational framework for large deformation dynamic and quasi-static analysis.


title: XClusters: Explainability-first Clustering

abstract: We study the problem of explainability-first clustering where explainability becomes a first-class citizen for clustering. Previous clustering approaches use decision trees for explanation, but only after the clustering is completed. In contrast, our approach is to perform clustering and decision tree training holistically where the decision tree's performance and size also influence the clustering results. We assume the attributes for clustering and explaining are distinct, although this is not necessary. We observe that our problem is a monotonic optimization where the objective function is a difference of monotonic functions. We then propose an efficient branch-and-bound algorithm for finding the best parameters that lead to a balance of cluster distortion and decision tree explainability. Our experiments show that our method can improve the explainability of any clustering that fits in our framework.


title: The hidden hand of lipids in the amyloid cascade

abstract: Intrinsically disordered proteins (IDPs), such as amyloid polypeptide (IAPP), beta-amyloid (A\b{eta}), and {\alpha}-synuclein are linked to the insurgence of type 2 diabetes, Alzheimer's, and Parkinson's diseases, respectively. Common molecular mechanisms have been explored to elucidate the toxicity pathway of these proteins. For many years, the amyloid hypothesis was believed to explain the toxicity. According to this hypothesis, the misfolding of these proteins and the further aggregation into mature and insoluble fibrils rich in the \b{eta}-sheet lead to cell death. However, this theory fails to explain much of the experimental evidence, which led to the hypothesis of soluble small-oligomer toxicity and pore-like activity. Recently, the lipid-chaperone model was proposed to explain the effect of lipid compositions on IDPs toxicity in vitro. In this work, we summarize the different toxicity models and discuss the possible relevance of the lipid-chaperone model in a biological context, such as protein overexpression and lipid oxidation. Furthermore, we briefly explore how the model can be incorporated into the framework that explains IDPs toxicity, such as fibril formation and secondary nucleation.


title: Developing, Evaluating and Scaling Learning Agents in Multi-Agent Environments

abstract: The Game Theory & Multi-Agent team at DeepMind studies several aspects of multi-agent learning ranging from computing approximations to fundamental concepts in game theory to simulating social dilemmas in rich spatial environments and training 3-d humanoids in difficult team coordination tasks. A signature aim of our group is to use the resources and expertise made available to us at DeepMind in deep reinforcement learning to explore multi-agent systems in complex environments and use these benchmarks to advance our understanding. Here, we summarise the recent work of our team and present a taxonomy that we feel highlights many important open challenges in multi-agent research.


title: Strange magnetars admixed with fermionic dark matter

abstract: We discuss strange stars admixed with fermionic dark matter in the presence of a strong magnetic field using the two-fluid Tolman-Oppenheimer-Volkov equations. We describe strange quark matter using the MIT bag model and consider magnetic fields in the range $\sim 10^{17}-10^{18}$ G. For the fermionic dark matter, we consider the cases of free particles and strongly self-interacting particles, with dark fermion masses $m=5, 100, 500$ GeV. We discuss the effects of dark matter and a strong magnetic field on the masses and radii of the stars, as well as on its tidal deformability. Even though strong magnetic fields contribute to decreasing the total mass of the star, they attenuate the rate of decrease in the maximum mass brought about by increasing the dark matter fraction in the admixed system. The most intensely affected observable, however, is the tidal deformability, with variations on the range of $70\%-90\%$ for reasonable values of the magnetic field or dark matter central energy density.


title: Variational Field Equations of a Majorana Neutrino Coupled to Einstein's Theory of General Relativity

abstract: A consistent variational derivation of the Majorana 4-spinor field equations coupled to Einstein's theory of gravitation is given. The equivalence of the first and the second order variational field equations is explicitly demonstrated. The Lagrange multiplier 2-forms we use turn out to be precisely the Belinfante-Rosenfeld 2-forms that are needed to symmetrize the canonical energy-momentum tensor of the Majorana spinor.


title: Towards testing the Fr\"ohlich-Morchio-Strocchi mechanism in quantum gravity

abstract: Physics in (canonical) quantum gravity needs to be manifestly diffeomorphism-invariant. Consequently, physical observables need to be formulated in terms of manifestly diffeomorphism-invariant operators, which are necessarily composite. This makes an evaluation in general involved, even if the concrete implementation of quantum gravity should be treatable (semi-)perturbatively in general. A mechanism developed by Fr\"ohlich, Morchio and Strocchi for flat-space-time quantum field theory may also be applicable in this case. It may be possible to test this mechanism with methods like dynamical triangulation.


title: Algorithms for minimal Picard-Fuchs operators of Feynman integrals

abstract: In even space-time dimensions the multi-loop Feynman integrals are integrals of rational function in projective space. By using an algorithm that extends the Griffiths--Dwork reduction for the case of projective hypersurfaces with singularities, we derive Fuchsian linear differential equations, the Picard--Fuchs equations, with respect to kinematic parameters for a large class of massive multi-loop Feynman integrals. With this approach we obtain the differential operator for Feynman integrals to high multiplicities and high loop orders. Using recent factorisation algorithms we give the minimal order differential operator in most of the cases studied in this paper. Amongst our results are that the order of Picard--Fuchs operator for the generic massive two-point $n-1$-loop sunset integral in two-dimensions is $2^{n}-\binom{n+1}{\left\lfloor \frac{n+1}{2}\right\rfloor }$ supporting the conjecture that the sunset Feynman integrals are relative periods of Calabi--Yau of dimensions $n-2$. We have checked this explicitly till six loops. As well, we obtain a particular Picard--Fuchs operator of order 11 for the massive five-point tardigrade non-planar two-loop integral in four dimensions for generic mass and kinematic configurations, suggesting that it arises from $K3$ surface with Picard number 11. We determine as well Picard--Fuchs operators of two-loop graphs with various multiplicities in four dimensions, finding Fuchsian differential operators with either Liouvillian or elliptic solutions.


title: COVID-19 Detection and Analysis From Lung CT Images using Novel Channel Boosted CNNs

abstract: In December 2019, the global pandemic COVID-19 in Wuhan, China, affected human life and the worldwide economy. Therefore, an efficient diagnostic system is required to control its spread. However, the automatic diagnostic system poses challenges with a limited amount of labeled data, minor contrast variation, and high structural similarity between infection and background. In this regard, a new two-phase deep convolutional neural network (CNN) based diagnostic system is proposed to detect minute irregularities and analyze COVID-19 infection. In the first phase, a novel SB-STM-BRNet CNN is developed, incorporating a new channel Squeezed and Boosted (SB) and dilated convolutional-based Split-Transform-Merge (STM) block to detect COVID-19 infected lung CT images. The new STM blocks performed multi-path region-smoothing and boundary operations, which helped to learn minor contrast variation and global COVID-19 specific patterns. Furthermore, the diverse boosted channels are achieved using the SB and Transfer Learning concepts in STM blocks to learn texture variation between COVID-19-specific and healthy images. In the second phase, COVID-19 infected images are provided to the novel COVID-CB-RESeg segmentation CNN to identify and analyze COVID-19 infectious regions. The proposed COVID-CB-RESeg methodically employed region-homogeneity and heterogeneity operations in each encoder-decoder block and boosted-decoder using auxiliary channels to simultaneously learn the low illumination and boundaries of the COVID-19 infected region. The proposed diagnostic system yields good performance in terms of accuracy: 98.21 %, F-score: 98.24%, Dice Similarity: 96.40 %, and IOU: 98.85 % for the COVID-19 infected region. The proposed diagnostic system would reduce the burden and strengthen the radiologist's decision for a fast and accurate COVID-19 diagnosis.


title: Stationary Charge Radiation in Anisotropic Photonic Time Crystals

abstract: Time metamaterials exhibit a great potential for wave manipulation, drawing increasing attention in recent years. Here, we explore the exotic wave dynamics in an anisotropic photonic time crystal (APTC), formed by an anisotropic medium whose optical properties are uniformly and periodically changed in time. Based on a temporal transfer matrix formalism, we show that a stationary charge embedded in an APTC can emit radiation, in contrast to the case of an isotropic photonic time crystal, and its distribution in momentum space is controlled by the APTC band structure. Our approach extends the functionalities of time metamaterials, offering new opportunities for simultaneous radiation generation and control, with implications for both classical and quantum applications.


title: On the Multi-Robber Damage Number

abstract: We study a variant of the Cops and Robbers game on graphs in which the robbers damage the visited vertices, aiming to maximise the number of damaged vertices. For that game with one cop against $s$ robbers a conjecture was made in~\cite{carlson2022multi} that the cop can save three vertices from being damaged as soon as the maximum degree of the base graph is at least $\binom{s}{2} + 2$. We are able to verify the conjecture and prove that it is tight once we add the assumption that the base graph is triangle-free. We also study the game without that assumption, disproving the conjecture in full generality and further attempting to locate the smallest maximum degree of a base graph which guarantees that the cop can save three vertices against $s$ robbers. We show that this number if between $2\binom{s}{2} - 3$ and $2\binom{s}{2} + 1$.


title: Adaptation of domain-specific transformer models with text oversampling for sentiment analysis of social media posts on Covid-19 vaccines

abstract: Covid-19 has spread across the world and several vaccines have been developed to counter its surge. To identify the correct sentiments associated with the vaccines from social media posts, we fine-tune various state-of-the-art pre-trained transformer models on tweets associated with Covid-19 vaccines. Specifically, we use the recently introduced state-of-the-art pre-trained transformer models RoBERTa, XLNet and BERT, and the domain-specific transformer models CT-BERT and BERTweet that are pre-trained on Covid-19 tweets. We further explore the option of text augmentation by oversampling using Language Model based Oversampling Technique (LMOTE) to improve the accuracies of these models, specifically, for small sample datasets where there is an imbalanced class distribution among the positive, negative and neutral sentiment classes. Our results summarize our findings on the suitability of text oversampling for imbalanced small sample datasets that are used to fine-tune state-of-the-art pre-trained transformer models, and the utility of domain-specific transformer models for the classification task.


title: Software Product Line for Metaverse: Preliminary Results

abstract: The Metaverse is a network of eXtended Reality applications (XR apps) connected to each other, over the Internet infrastructure, allowing network users, systems, and devices to access them. It is very challenging to implement solutions for XR apps, due to the combination of complex concerns that should be addressed: multiple users with non-traditional input and output devices, different hardware platforms that should be addressed, forceful interactive rates, and experimental interaction techniques, among other issues. Therefore, this work aims to present a Software Product Line (SPL)-based approach to support the development of Web XR apps. More specifically, we define a features model that represents similarities and variables (domain analysis); we defined a core composed of generic and reusable software artifacts (domain project); and we developed an interface to support the instantiation of a Web XR app family, named MetaSee Features Model Editor (domain implementation). This approach integrates with a component of the MetaSEE architecture (Metaverse for Software Engineering Education). A preliminary assessment found that Features Model has conceptual consistency from the point of view of the complexity of Web XR Apps multimodal interaction. As future work, features model and artifacts will be increased with improvements and an evaluation with a significant number of participants will be made.


title: Proximal Point Imitation Learning

abstract: This work develops new algorithms with rigorous efficiency guarantees for infinite horizon imitation learning (IL) with linear function approximation without restrictive coherence assumptions. We begin with the minimax formulation of the problem and then outline how to leverage classical tools from optimization, in particular, the proximal-point method (PPM) and dual smoothing, for online and offline IL, respectively. Thanks to PPM, we avoid nested policy evaluation and cost updates for online IL appearing in the prior literature. In particular, we do away with the conventional alternating updates by the optimization of a single convex and smooth objective over both cost and Q-functions. When solved inexactly, we relate the optimization errors to the suboptimality of the recovered policy. As an added bonus, by re-interpreting PPM as dual smoothing with the expert policy as a center point, we also obtain an offline IL algorithm enjoying theoretical guarantees in terms of required expert trajectories. Finally, we achieve convincing empirical performance for both linear and neural network function approximation.


title: Electric Control of Spin Transitions at the Atomic Scale

abstract: Electric control of spins has been a longstanding goal in the field of solid state physics due to the potential for increased efficiency in information processing. This efficiency can be optimized by transferring spintronics to the atomic scale. We present electric control of spin resonance transitions in single molecules by employing electron spin resonance scanning tunneling microscopy (ESR-STM). We find strong bias voltage dependent shifts in the ESR signal of about ten times its linewidth, which is due to the electric field induced displacement of the spin system in the tunnel junction. This opens up new avenues for ultrafast control of coupled spin systems, even towards atomic scale quantum computing, and expands on understanding and optimizing spin electric coupling in bulk materials.


title: Maths, Computation and Flamenco: overview and challenges

abstract: Flamenco is a rich performance-oriented art music genre from Southern Spain which attracts a growing community of aficionados around the globe. Due to its improvisational and expressive nature, its unique musical characteristics, and the fact that the genre is largely undocumented, flamenco poses a number of interesting mathematical and computational challenges. Most existing approaches in Musical Information Retrieval (MIR) were developed in the context of popular or classical music and do often not generalize well to non-Western music traditions, in particular when the underlying music theoretical assumptions do not hold for these genres. Over the recent decade, a number of computational problems related to the automatic analysis of flamenco music have been defined and several methods addressing a variety of musical aspects have been proposed. This paper provides an overview of the challenges which arise in the context of computational analysis of flamenco music and outlines an overview of existing approaches.


title: Tuning SMSI Kinetics on Pt-loaded TiO$_2$(110) by Choosing the Pressure: A Combined UHV / Near-Ambient Pressure XPS Study

abstract: Pt catalyst particles on reducible oxide supports often change their activity significantly at elevated temperatures due to the strong metal-support interaction (SMSI), which induces the formation of an encapsulation layer around the noble metal particles. However, the impact of oxidizing and reducing treatments at elevated pressures on this encapsulation layer remains controversial, partly due to the 'pressure gap' between surface science studies and applied catalysis. In the present work, we employ synchrotron-based near-ambient pressure X-ray photoelectron spectroscopy (NAP-XPS) to study the effect of O$_2$ and H$_2$ on the SMSI-state of well-defined Pt/TiO$_2$(110) catalysts at pressures of up to 0.1 Torr. By tuning the O$_2$ pressure, we can either selectively oxidize the TiO$_2$ support or both the support and the Pt particles. Catalyzed by metallic Pt, the encapsulating oxide overlayer grows rapidly in 1x10$^{-5}$ Torr O$_2$, but orders of magnitudes less effective at higher O$_2$ pressures, where Pt is in an oxidic state. While the oxidation/reduction of Pt particles is reversible, they remain embedded in the support once encapsulation has occurred.


title: Sharply o-minimal structures and sharp cellular decomposition

abstract: Sharply o-minimal structures (denoted \so-minimal) are a strict subclass of the o-minimal structures, aimed at capturing some finer features of structures arising from algebraic geometry and Hodge theory. Sharp o-minimality associates to each definable set a pair of integers known as \emph{format} and \emph{degree}, similar to the ambient dimension and degree in the algebraic case; gives bounds on the growth of these quantities under the logical operations; and allows one to control the geometric complexity of a set in terms of its format and degree. These axioms have significant implications on arithmetic properties of definable sets -- for example, \so-minimality was recently used by the authors to settle Wilkie's conjecture on rational points in $\mathbb{R}_{{\exp}}$-definable sets. In this paper we develop some basic theory of sharply o-minimal structures. We introduce the notions of reduction and equivalence on the class of \so-minimal structures. We give three variants of the definition of \so-minimality, of increasing strength, and show that they all agree up to reduction. We also consider the problem of ``sharp cell decomposition'', i.e. cell decomposition with good control on the number of the cells and their formats and degrees. We show that every \so-minimal structure can be reduced to one admitting sharp cell decomposition, and use this to prove bounds on the Betti numbers of definable sets in terms of format and degree.


title: Distributed architecture for resource description and discovery in the IoT

abstract: Nowadays, the Internet of Things (IoT) creates a vast ecosystem of intelligent objects interconnected via the Internet, allowing them to exchange information and to interact. This paradigm has been extended to a new concept, called the Web of Things (WoT), considering that every physical object can be accessed and controlled using Web-based languages and protocols, such as: the CoAP protocol which is becoming the most accepted and suitable protocol in this context. Moreover, the architectures currently proposed for the creation of IoT environments lack efficient and standard support for the discovery, selection and composition of IoT services and their integration in a scalable and interoperable way. To overcome this, in this work, we propose a hybrid and distributed CoAP-based architecture, considering all these aspects by combining the Fog Computing paradigm and structured P2P overlay networks. Furthermore, we describe the different components of our architecture and explain the interaction between them.


title: Identifiability and generalizability from multiple experts in Inverse Reinforcement Learning

abstract: While Reinforcement Learning (RL) aims to train an agent from a reward function in a given environment, Inverse Reinforcement Learning (IRL) seeks to recover the reward function from observing an expert's behavior. It is well known that, in general, various reward functions can lead to the same optimal policy, and hence, IRL is ill-defined. However, (Cao et al., 2021) showed that, if we observe two or more experts with different discount factors or acting in different environments, the reward function can under certain conditions be identified up to a constant. This work starts by showing an equivalent identifiability statement from multiple experts in tabular MDPs based on a rank condition, which is easily verifiable and is shown to be also necessary. We then extend our result to various different scenarios, i.e., we characterize reward identifiability in the case where the reward function can be represented as a linear combination of given features, making it more interpretable, or when we have access to approximate transition matrices. Even when the reward is not identifiable, we provide conditions characterizing when data on multiple experts in a given environment allows to generalize and train an optimal agent in a new environment. Our theoretical results on reward identifiability and generalizability are validated in various numerical experiments.


title: Liesel: A Probabilistic Programming Framework for Developing Semi-Parametric Regression Models and Custom Bayesian Inference Algorithms

abstract: Liesel is a new probabilistic programming framework developed with the aim of supporting research on Bayesian inference based on Markov chain Monte Carlo (MCMC) simulations in general and semi-parametric regression specifications in particular. Its three main components are (i) an R interface (RLiesel) for the configuration of an initial semi-parametric regression model, (ii) a graph-based model building library, where the initial model graph can be manipulated to incorporate new research ideas, and (iii) an MCMC library for designing modular inference algorithms combining multiple types of well-tested and possibly customized MCMC kernels. The graph builder as well as the MCMC library are implemented in Python, relying on JAX as a numerical computing library, and can therefore benefit from the latest machine learning technology such as automatic differentiation, just-in-time (JIT) compilation, and the use of high-performance computing devices such as tensor processing units (TPUs). Liesel provides all required tools for efficient and reliable statistical research on complex models and estimation algorithms. Its modular design allows users to expand the model library and inference algorithms, offering the flexibility and customization options to tailor the software to any specific research needs.


title: The Negative Energy in Generalized Vaidya Spacetime

abstract: In this paper we consider the negative energy problem in generalized Vaidya spacetime. We consider several models when we have the naked singularity as a result of the gravitational collapse. In these models we investigate the geodesics for particles with negative energy when the II type of the matter field satisfies the equation of the state $P=\alpha \rho$ ($\alpha \in [0\,, 1]$).


title: Deep Learning for Uplink CSI-based Downlink Precoding in FDD massive MIMO Evaluated on Indoor Measurements

abstract: When operating massive multiple-input multiple-output (MIMO) systems with uplink (UL) and downlink (DL) channels at different frequencies (frequency division duplex (FDD) operation), acquisition of channel state information (CSI) for downlink precoding is a major challenge. Since, barring transceiver impairments, both UL and DL CSI are determined by the physical environment surrounding transmitter and receiver, it stands to reason that, for a static environment, a mapping from UL CSI to DL CSI may exist. First, we propose to use various neural network (NN)-based approaches that learn this mapping and provide baselines using classical signal processing. Second, we introduce a scheme to evaluate the performance and quality of generalization of all approaches, distinguishing between known and previously unseen physical locations. Third, we evaluate all approaches on a real-world indoor dataset collected with a 32-antenna channel sounder.


title: A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL

abstract: We formalize a multivariate quantifier elimination (QE) algorithm in the theorem prover Isabelle/HOL. Our algorithm is complete, in that it is able to reduce any quantified formula in the first-order logic of real arithmetic to a logically equivalent quantifier-free formula. The algorithm we formalize is a hybrid mixture of Tarski's original QE algorithm and the Ben-Or, Kozen, and Reif algorithm, and it is the first complete multivariate QE algorithm formalized in Isabelle/HOL.


title: Cross effects in spin hydrodynamics: A revisit Entropy analysis and statistical operator

abstract: We revisit the construction of first-order spin hydrodynamics and find that the constitution relations receive the corrections from the cross effects resulting from spin-orbit coupling. Starting from a routine entropy analysis, we show how to identify cross effects and new cross transport coefficients from the second law of thermodynamics. Interestingly, the conventional transport coefficient heat conductivity $\kappa$ is bounded from below by the product of cross transport coefficients, which means the threshold of heat conduction is changed. With recourse to Zubarev's non-equilibrium statistical operator, we reproduce the construction of first-order spin hydrodynamics and identification of cross effects in a more rigorous way. By seeking the dispersion relations of normal modes, we find that these cross effects suppress the attenuation of sound modes and heat mode appearing in conventional hydrodynamics and also have impacts on the damping of non-hydrodynamic spin modes.


title: Chiral restoration of strange baryons

abstract: We review the results of a phenomenological model for cold and dense nuclear matter exhibiting a chiral phase transition. The idea is to model the quark-hadron phase transition under neutron star conditions within a single model, but without adding quark degrees of freedom by hand. To this end, strangeness is included in the form of hyperonic degrees of freedom, whose light counterparts provide the strangeness in the chirally restored phase. In the future, the model can be used for instance to compute the surface tension at the (first-order) chiral phase transition and to study the possible existence of inhomogeneous phases.


title: Inferring neutron star properties with continuous gravitational waves

abstract: Detection of continuous gravitational waves from rapidly-spinning neutron stars opens up the possibility of examining their internal physics. We develop a framework that leverages a future continuous gravitational wave detection to infer a neutron star's moment of inertia, equatorial ellipticity, and the component of the magnetic dipole moment perpendicular to its rotation axis. We assume that the neutron star loses rotational kinetic energy through both gravitational wave and electromagnetic radiation, and that the distance to the neutron star can be measured, but do not assume electromagnetic pulsations are observable or a particular neutron star equation of state. We use the Fisher information matrix and Monte Carlo simulations to estimate errors in the inferred parameters, assuming a population of gravitational-wave-emitting neutron stars consistent with the typical parameter domains of continuous gravitational wave searches. After an observation time of one year, the inferred errors for many neutron stars are limited chiefly by the error in the distance to the star. The techniques developed here will be useful if continuous gravitational waves are detected from a radio, X-ray, or gamma-ray pulsar, or else from a compact object with known distance, such as a supernova remnant.


title: Long-time behaviour of solutions to a nonlinear system of fluid-structure interaction

abstract: We consider a non-linear system modelling the dynamics of a linearly elastic body immersed in an incompressible viscous fluid. We prove local existence of strong solutions and global existence and uniqueness for small data. The main result is the characterization of long-time behaviour of the elastic displacement. We show convergence either to a rest state or rigid motion, or to a time-periodic pressure wave that may occur only in specific geometric settings.


title: Catastrophic failure of quantum annealing owing to non-stoquastic Hamiltonian and its avoidance by decoherence

abstract: Quantum annealing (QA) is a promising method for solving combinatorial optimization problems whose solutions are embedded into a ground state of the Ising Hamiltonian. This method employs two types of Hamiltonians: a driver Hamiltonian and a problem Hamiltonian. After a sufficiently slow change from the driver Hamiltonian to the problem Hamiltonian, we can obtain the target ground state that corresponds to the solution. The inclusion of non-stoquastic terms in the driver Hamiltonian is believed to enhance the efficiency of the QA. Meanwhile, decoherence is regarded as of the main obstacles for QA. Here, we present examples showing that non-stoaquastic Hamiltonians can lead to catastrophic failure of QA, whereas a certain decoherence process can be used to avoid such failure. More specifically, when we include anti-ferromagnetic interactions (i.e., typical non-stoquastic terms) in the Hamiltonian, we are unable to prepare the target ground state even with an infinitely long annealing time for some specific cases. In our example, owing to a symmetry, the Hamiltonian is block-diagonalized, and a crossing occurs during the QA, which leads to a complete failure of the ground-state search. Moreover, we show that, when we add a certain type of decoherence, we can obtain the ground state after QA for these cases. This is because, even when symmetry exists in isolated quantum systems, the environment breaks the symmetry. Our counter intuitive results provide a deep insight into the fundamental mechanism of QA.


title: DLUNet: Semi-supervised Learning based Dual-Light UNet for Multi-organ Segmentation

abstract: The manual ground truth of abdominal multi-organ is labor-intensive. In order to make full use of CT data, we developed a semi-supervised learning based dual-light UNet. In the training phase, it consists of two light UNets, which make full use of label and unlabeled data simultaneously by using consistent-based learning. Moreover, separable convolution and residual concatenation was introduced light UNet to reduce the computational cost. Further, a robust segmentation loss was applied to improve the performance. In the inference phase, only a light UNet is used, which required low time cost and less GPU memory utilization. The average DSC of this method in the validation set is 0.8718. The code is available in https://github.com/laihaoran/Semi-SupervisednnUNet.


title: Investigating shock wave propagation, evolution, and anisotropy using a moving window concurrent atomistic-continuum framework

abstract: Despite their success in microscale modeling of materials, atomistic methods are still limited by short time scales, small domain sizes, and high strain rates. Multiscale formulations can capture the continuum-level response of solids over longer runtimes, but using such schemes to model highly dynamic, nonlinear phenomena is very challenging and an active area of research. In this work, we develop novel techniques within the concurrent atomistic-continuum multiscale framework to simulate shock wave propagation through a two-dimensional, single-crystal lattice. The technique is described in detail, and two moving window methods are incorporated to track the shock front through the domain and thus prevent spurious wave reflections at the atomistic-continuum interfaces. We compare our simulation results to analytical models as well as previous atomistic and CAC data and discuss the apparent effects of lattice orientation on the shock response of FCC crystals. We then use the moving window techniques to perform parametric studies which analyze the shock front's structure and planarity. Finally we compare the efficiency of our model to molecular dynamics simulations. This work showcases the power of using a moving window concurrent multiscale framework to simulate dynamic shock evolution over long runtimes and opens the door to more complex studies involving shock propagation through composites and high-entropy alloys.


title: Learning to Simulate Realistic LiDARs

abstract: Simulating realistic sensors is a challenging part in data generation for autonomous systems, often involving carefully handcrafted sensor design, scene properties, and physics modeling. To alleviate this, we introduce a pipeline for data-driven simulation of a realistic LiDAR sensor. We propose a model that learns a mapping between RGB images and corresponding LiDAR features such as raydrop or per-point intensities directly from real datasets. We show that our model can learn to encode realistic effects such as dropped points on transparent surfaces or high intensity returns on reflective materials. When applied to naively raycasted point clouds provided by off-the-shelf simulator software, our model enhances the data by predicting intensities and removing points based on the scene's appearance to match a real LiDAR sensor. We use our technique to learn models of two distinct LiDAR sensors and use them to improve simulated LiDAR data accordingly. Through a sample task of vehicle segmentation, we show that enhancing simulated point clouds with our technique improves downstream task performance.


title: Coupled oscillators model for hybridized optical phonon modes in contacting nanosized particles and quantum dot molecules

abstract: Modification of optical phonon spectra in contacting nanoparticles as compared to the single ones is studied. Optical phonons in dielectric and semiconducting particles obey the Euclidean metric Klein-Fock-Gordon equation with Dirichlet boundary conditions. The latter is supposed to be solved numerically for manifolds of interpenetrating spheres. It is proposed to replace this problem with the simpler-to-solve coupled oscillators model (COM), where an oscillator is attributed to each phonon mode of a particle and the particles overlap leads to appearance of additional couplings for these oscillators with the magnitude proportional to the overlapped volume. For not too big overlaps this model describes solutions of the original eigenvalue problem on a good level of accuracy. In particular, it works beyond isotropic s modes, which has been demonstrated for p modes in dimer and also for tetramer. It is proposed to apply COM for the description of recently manufactured dimer nanoparticles and quantum dots. The obtained results are in agreement with the dynamical matrix method for optical phonons in nanodiamonds. The latter is used to demonstrate that the van der Waals contacts between faceted particles lead to very small modifications of the optical phonon spectra, which therefore could be neglected when discussing the propagation of vibrational excitations via a nanopowder. The possibility to distinguish between dimerized and size-distributed single particles from their Raman spectra is also considered.


title: Low-ionization structures in planetary nebulae -- II. Densities, temperatures, abundances and excitation of 6 PNe

abstract: Here we present the spatially resolved study of six Galactic planetary nebulae (PNe), namely IC 4593, Hen 2-186, Hen 2-429, NGC 3918, NGC 6543 and NGC 6905, from intermediate-resolution spectra of the 2.5 m Isaac Newton Telescope and the 1.54 m Danish telescope. The physical conditions (electron densities, N$_{e}$, and temperatures, T$_{e}$), chemical compositions and dominant excitation mechanisms for the different regions of these objects are derived, in an attempt to go deeper on the knowledge of the low-ionization structures (LISs) hosted by these PNe. We reinforce the previous conclusions that LISs are characterized by lower (or at most equal) N$_{e}$ than their associated rims and shells. As for the T$_{e}$, we point out a \textit{possible} different trend between the N and O diagnostics. T$_e$[NII] does not show significant variations throughout the nebular components, whereas T$_e$[OIII] appears to be slightly higher for LISs. The much larger uncertainties associated with the T$_e$[OIII] of LISs do not allow robust conclusions. Moreover, the chemical abundances show no variation from one to another PN components, not even contrasting LISs with rims and shells, as also found in a number of other works. By discussing the ionization photon flux due to shocks and stellar radiation, we explore the possible mechanisms responsible for the excitation of LISs. We argue that the presence of shocks in LISs is not negligible, although there is a strong dependence on the orientation of the host PNe and LISs.


title: Parameterisations of thermal bomb explosions for core-collapse supernovae and 56Ni production

abstract: Thermal bombs are a widely used method to artificially trigger explosions of core-collapse supernovae (CCSNe) to determine their nucleosynthesis or ejecta and remnant properties. Recently, their use in spherically symmetric (1D) hydrodynamic simulations led to the result that {56,57}Ni and 44Ti are massively underproduced compared to observational estimates for Supernova 1987A, if the explosions are slow, i.e., if the explosion mechanism of CCSNe releases the explosion energy on long timescales. It was concluded that rapid explosions are required to match observed abundances, i.e., the explosion mechanism must provide the CCSN energy nearly instantaneously on timescales of some ten to order 100 ms. This result, if valid, would disfavor the neutrino-heating mechanism, which releases the CCSN energy on timescales of seconds. Here, we demonstrate by 1D hydrodynamic simulations and nucleosynthetic post-processing that these conclusions are a consequence of disregarding the initial collapse of the stellar core in the thermal-bomb modelling before the bomb releases the explosion energy. We demonstrate that the anti-correlation of 56Ni yield and energy-injection timescale vanishes when the initial collapse is included and that it can even be reversed, i.e., more 56Ni is made by slower explosions, when the collapse proceeds to small radii similar to those where neutrino heating takes place in CCSNe. We also show that the 56Ni production in thermal-bomb explosions is sensitive to the chosen mass cut and that a fixed mass layer or fixed volume for the energy deposition cause only secondary differences. Moreover, we propose a most appropriate setup for thermal bombs.


title: Polynomial Moments with a weighted Zeta Square measure on the critical line

abstract: We prove closed-form identities for the sequence of moments $\int t^{2n}|\Gamma(s)\zeta(s)|^2dt$ on the whole critical line $s=1/2+it$. They are finite sums involving binomial coefficients, Bernoulli numbers, Stirling numbers and $\pi$, especially featuring the numbers $\zeta(n)B_n/n$ unveiled by Bettin and Conrey. Their main power series identity, together with our previous work, allows for a short proof of an auxiliary result: the computation of the $k$-th derivatives at $1$ of the "exponential auto-correlation" function studied in \cite{DH21a}. We also provide an elementary and self-contained proof of this secondary result. The starting point of our work is a remarkable identity proven by Ramanujan in 1915. %today interpreted as a Mellin-Plancherel isometry involving the $\Gamma$ and $\zeta$ functions. The sequence of moments studied here, not to be confused with the moments of the Riemann zeta function, entirely characterizes $|\zeta|$ on the critical line. They arise in some generalizations of the Nyman-Beurling criterion, but might be of independent interest for %various other applications, as well as for the numerous connections concerning the above mentioned numbers.


title: Joint Communication, Sensing and Localization for Airborne Applications

abstract: With the upcoming trends in autonomous driving and urban air mobility, the number of self-navigating vehicles will increase, since they are foreseen for deliveries as well as autonomous taxis among other applications. To this end, a multitude of on-board systems for wireless communication, environment sensing, and localization will become mandatory. This is particularly true for unmanned aerial vehicles (UAVs), since participation in the airspace requires compatibility to and safe interaction with established users. A certain number of systems are already in-use and occupy defined spectra as well as installation space, which limits the freedom in the design of new systems. The miniaturization of aerial vehicles like drones for delivery services further reduces the degrees of freedom, especially in terms of size and weight of any additional equipment. Hence, in this paper a joint approach of the design of joint communication, sensing and localization for UAVs is discussed. Towards this goal, multi-mode multi-port antennas and joint waveform design are proposed as a part of the solution, when elevating autonomous driving to the third dimension.


title: Modeling cognitive load as a self-supervised brain rate with electroencephalography and deep learning

abstract: The principal reason for measuring mental workload is to quantify the cognitive cost of performing tasks to predict human performance. Unfortunately, a method for assessing mental workload that has general applicability does not exist yet. This research presents a novel self-supervised method for mental workload modelling from EEG data employing Deep Learning and a continuous brain rate, an index of cognitive activation, without requiring human declarative knowledge. This method is a convolutional recurrent neural network trainable with spatially preserving spectral topographic head-maps from EEG data to fit the brain rate variable. Findings demonstrate the capacity of the convolutional layers to learn meaningful high-level representations from EEG data since within-subject models had a test Mean Absolute Percentage Error average of 11%. The addition of a Long-Short Term Memory layer for handling sequences of high-level representations was not significant, although it did improve their accuracy. Findings point to the existence of quasi-stable blocks of learnt high-level representations of cognitive activation because they can be induced through convolution and seem not to be dependent on each other over time, intuitively matching the non-stationary nature of brain responses. Across-subject models, induced with data from an increasing number of participants, thus containing more variability, obtained a similar accuracy to the within-subject models. This highlights the potential generalisability of the induced high-level representations across people, suggesting the existence of subject-independent cognitive activation patterns. This research contributes to the body of knowledge by providing scholars with a novel computational method for mental workload modelling that aims to be generally applicable, does not rely on ad-hoc human-crafted models supporting replicability and falsifiability.


title: Reconstruction of Point Events in Liquid-Scintillator Detectors Subjected to Total Reflection

abstract: The outer water buffer is an economic option to shield the external radiative backgrounds for liquid-scintillator neutrino detectors. However, the consequential total reflection of scintillation light at the media boundary introduces extra complexity to the detector optics. This paper develops a precise detector-response model by investigating how total reflection complicates photon propagation and degrades reconstruction. We first parameterize the detector response by regression, providing an unbiased energy and vertex reconstruction in the total reflection region while keeping the number of parameters under control. From the experience of event degeneracy at the Jinping prototype, we then identify the root cause as the multimodality in the reconstruction likelihood function, determined by the refractive index of the buffer, detector scale and PMT coverage. To avoid multimodality, we propose a straightforward criterion based on the expected photo-electron-count ratios between neighboring PMTs. The criterion will be used to ensure success in future liquid-scintillator detectors by guaranteeing the effectiveness of event reconstruction.


title: The Arecibo Galaxy Environment Survey XII : Optically dark HI clouds in the Leo I Group

abstract: Using data from the Arecibo Galaxy Environment Survey, we report the discovery of five HI clouds in the Leo I group without detected optical counterparts. Three of the clouds are found midway between M96 and M95, one is only 10$^{\prime}$ from the south-east side of the well-known Leo Ring, and the fifth is relatively isolated. HI masses range from 2.6$\times$10$^{6}$ - 9.0$\times$10$^{6}$M$_{\odot}$ and velocity widths (W50) from 16 - 42 km/s. Although a tidal origin is the most obvious explanation, this formation mechanism faces several challenges. For the most isolated cloud, the difficulties are its distance from neighbouring galaxies and the lack of any signs of disturbance in the HI discs of those systems. Some of the clouds also appear to follow the baryonic Tully-Fisher relation between mass and velocity width for normal, stable galaxies which is not expected if they are tidal in origin. Three clouds are found between M96 and M95 which have no optical counterparts, but have otherwise similar properties and location to the optically detected galaxy LeG 13. While overall we favour a tidal debris scenario to explain the clouds, we cannot rule out a primordial origin. If the clouds were produced in the same event that gave rise to the Leo Ring, they may provide important constraints on any model attempting to explain that structure


title: Challenges in Visual Anomaly Detection for Mobile Robots

abstract: We consider the task of detecting anomalies for autonomous mobile robots based on vision. We categorize relevant types of visual anomalies and discuss how they can be detected by unsupervised deep learning methods. We propose a novel dataset built specifically for this task, on which we test a state-of-the-art approach; we finally discuss deployment in a real scenario.


title: Two-Real-Singlet-Model Benchmark Planes

abstract: In this manuscript, I briefly review the Benchmark Planes in the Two-Real-Singlet Model (TRSM), a model that enhances the Standard Model (SM) scalar sector by two real singlets that obey a Z2 x Z2' symmetry. In this model, all fields acquire a vacuum expectation value, such that the model contains in total 3 CP-even neutral scalars that can interact with each other. All interactions with SM-like particles are inherited from the SM-like doublet via mixing. I remind the readers of the previously proposed benchmark planes, and briefly discuss possible production at future Higgs factories, as well as regions in a more generic scan of the model. For these, I also discuss the use of the W-boson mass as a precision observable to determine allowed/ excluded regions in the models parameter space. This work builds on a whitepaper submitted to the Snowmass process.


title: Counterfactual Explanations Using Optimization With Constraint Learning

abstract: To increase the adoption of counterfactual explanations in practice, several criteria that these should adhere to have been put forward in the literature. We propose counterfactual explanations using optimization with constraint learning (CE-OCL), a generic and flexible approach that addresses all these criteria and allows room for further extensions. Specifically, we discuss how we can leverage an optimization with constraint learning framework for the generation of counterfactual explanations, and how components of this framework readily map to the criteria. We also propose two novel modeling approaches to address data manifold closeness and diversity, which are two key criteria for practical counterfactual explanations. We test CE-OCL on several datasets and present our results in a case study. Compared against the current state-of-the-art methods, CE-OCL allows for more flexibility and has an overall superior performance in terms of several evaluation metrics proposed in related work.


title: Efficient variational approach to the Fermi polaron problem in two dimensions, both in and out of equilibrium

abstract: We develop a non-Gaussian variational approach that enables us to study both equilibrium and far-from-equilibrium physics of the two-dimensional Fermi polaron. This method provides an unbiased analysis of the polaron-to-molecule phase transition without relying on truncations in the total number of particle-hole excitations. Our results -- which include the ground state energy and quasiparticle residue -- are in qualitative agreement with the known Monte Carlo calculations. The main advantage of the non-Gaussian states compared to conventional numerical methods is that they enable us to explore long-time polaron evolution and, in particular, study various spectral properties accessible to both solid-state and ultracold atom experiments. We design two types of radiofrequency spectroscopies to measure polaronic and molecular spectral functions. Depending on the parameter regime, we find that these spectral functions and fermionic density profiles near the impurity display either long-lived oscillations between the repulsive and attractive polaron branches or exhibit fast relaxational dynamics to the molecular state.


title: Quasilinear elliptic problem in anisotrpic Orlicz-Sobolev space on unbounded domain

abstract: We study a quasilinear elliptic problem $-\text{div} (\nabla \Phi(\nabla u))+V(x)N'(u)=f(u)$ with anisotropic convex function $\Phi$ on whole $\mathbb{R}^n$. To prove existence of a nontrivial weak solution we use mountain pass theorem for a functional defined on anisotropic Orlicz-Sobolev space $W^1 L^{\Phi}(\mathbb{R}^n)$. As the domain is unbounded we need to use Lions type lemma formulated for Young functions. Our assumptions broaden the class of considered functions $\Phi$ so our result generalizes earlier analogous results proved in isotropic setting.


title: Selecting Better Samples from Pre-trained LLMs: A Case Study on Question Generation

abstract: Large Language Models (LLMs) have in recent years demonstrated impressive prowess in natural language generation. A common practice to improve generation diversity is to sample multiple outputs from the model. However, there lacks a simple and robust way of selecting the best output from these stochastic samples. As a case study framed in the context of question generation, we propose two prompt-based approaches to selecting high-quality questions from a set of LLM-generated candidates. Our method works under the constraints of 1) a black-box (non-modifiable) question generation model and 2) lack of access to human-annotated references -- both of which are realistic limitations for real-world deployment of LLMs. With automatic as well as human evaluations, we empirically demonstrate that our approach can effectively select questions of higher qualities than greedy generation.


title: On the unknown proteins of eukaryotic proteomes

abstract: In order to study unknown proteins on a large scale, a reference system has been set up for the three major eukaryotic lineages, built with 36 proteomes as taxonomically diverse as possible. Proteins from 362 eukaryotic proteomes with no known homologue in this set were then analyzed, focusing noteworthy on singletons, that is, on unknown proteins with no known homologue in their own proteome. Consistently, according to Uniprot, for a given species, no more than 12% of the singletons thus found are known at the protein level. Also, since they rely on the information found in the alignment of homologous sequences, predictions of AlphaFold2 for their tridimensional structure are usually poor. In the case of metazoan species, the number of singletons seems to increase as a function of the evolutionary distance from the reference system. Interestingly, no such trend is found in the cases of viridiplantae and fungi, as if the timescale on which singletons are added to proteomes were different in metazoa and in other eukaryotic kingdoms. In order to confirm this phenomenon, further studies of proteomes closer to those of the reference system are however needed.


title: Entropic Descent Archetypal Analysis for Blind Hyperspectral Unmixing

abstract: In this paper, we introduce a new algorithm based on archetypal analysis for blind hyperspectral unmixing, assuming linear mixing of endmembers. Archetypal analysis is a natural formulation for this task. This method does not require the presence of pure pixels (i.e., pixels containing a single material) but instead represents endmembers as convex combinations of a few pixels present in the original hyperspectral image. Our approach leverages an entropic gradient descent strategy, which (i) provides better solutions for hyperspectral unmixing than traditional archetypal analysis algorithms, and (ii) leads to efficient GPU implementations. Since running a single instance of our algorithm is fast, we also propose an ensembling mechanism along with an appropriate model selection procedure that make our method robust to hyper-parameter choices while keeping the computational complexity reasonable. By using six standard real datasets, we show that our approach outperforms state-of-the-art matrix factorization and recent deep learning methods. We also provide an open-source PyTorch implementation: https://github.com/inria-thoth/EDAA.


title: Predicting pairwise preferences between TTS audio stimuli using parallel ratings data and anti-symmetric twin neural networks

abstract: Automatically predicting the outcome of subjective listening tests is a challenging task. Ratings may vary from person to person even if preferences are consistent across listeners. While previous work has focused on predicting listeners' ratings (mean opinion scores) of individual stimuli, we focus on the simpler task of predicting subjective preference given two speech stimuli for the same text. We propose a model based on anti-symmetric twin neural networks, trained on pairs of waveforms and their corresponding preference scores. We explore both attention and recurrent neural nets to account for the fact that stimuli in a pair are not time aligned. To obtain a large training set we convert listeners' ratings from MUSHRA tests to values that reflect how often one stimulus in the pair was rated higher than the other. Specifically, we evaluate performance on data obtained from twelve MUSHRA evaluations conducted over five years, containing different TTS systems, built from data of different speakers. Our results compare favourably to a state-of-the-art model trained to predict MOS scores.


title: Over-the-Air Computation over Balanced Numerals

abstract: In this study, a digital over-the-air computation (OAC) scheme for achieving continuous-valued gradient aggregation is proposed. It is shown that the average of a set of real-valued parameters can be calculated approximately by using the average of the corresponding numerals, where the numerals are obtained based on a balanced number system. By using this property, the proposed scheme encodes the local gradients into a set of numerals. It then determines the positions of the activated orthogonal frequency division multiplexing (OFDM) subcarriers by using the values of the numerals. To eliminate the need for a precise sample-level time synchronization, channel estimation overhead, and power instabilities due to the channel inversion, the proposed scheme also uses a non-coherent receiver at the edge server (ES) and does not utilize a pre-equalization at the edge devices (EDs). Finally, the theoretical mean squared error (MSE) performance of the proposed scheme is derived and its performance for federated edge learning (FEEL) is demonstrated.


title: Choked jets in expanding envelope as the origin of the neutrino emission associated with Tidal Disruption Events

abstract: Three tidal disruption event (TDE) candidates (AT2019dsg, AT2019fdr, AT2019aalc) have been found to be coincident with high-energy astrophysical neutrinos in multi-messenger follow-ups. Recent studies suggest the presence of a quasi-spherical, optically thick envelope around the supermassive black holes in TDEs, resulted from stellar debris after the disruption. The envelope may expand outwardly with a velocity of $\sim 10^4\, {\rm km/s}$, as indicated by the emission line widths. We study whether the neutrino signal can be explained by choked relativistic jets inside the expanding envelope. While powerful jets, such as that in Swift J1644+57, can successfully break out from the envelope, those with relatively weak power could be choked by the envelope. Choked jets can still accelerate cosmic rays and produce high-energy neutrinos via interaction with the thermal photons in the envelope. We explore the parameter space of the jets that can produce detectable neutrino flux while being choked in the expanding envelope. We find that the cumulative neutrino numbers of AT2019fdr and AT2019aalc are consistent with the expected range imposed by observations, while the allowed parameter space for AT2019dsg is small.The neutrino time delay relative to the optical peak time of TDEs can be explained as the jet propagation time in the envelope before being choked. The discovery of TDE-associated neutrino events may suggest that jets might have been commonly formed in TDEs, as expected from super-Eddington accretion, but most of them are too weak to break out from the expanding envelopes.


title: Uniform $C^{1,\alpha}$-regularity for almost-minimizers of some nonlocal perturbations of the perimeter

abstract: In this paper, we establish a $C^{1,\alpha}$-regularity theorem for almost-minimizers of the functional $\mathcal{F}_{\varepsilon,\gamma}=P-\gamma P_{\varepsilon}$, where $\gamma\in(0,1)$ and $P_{\varepsilon}$ is a nonlocal energy converging to the perimeter as $\varepsilon$ vanishes. Our theorem provides a criterion for $C^{1,\alpha}$-regularity at a point of the boundary which is uniform as the parameter $\varepsilon$ goes to $0$. As a consequence we obtain that volume-constrained minimizers of $\mathcal{F}_{\varepsilon,\gamma}$ are balls for any $\varepsilon$ small enough. For small $\varepsilon$, this minimization problem corresponds to the large mass regime for a Gamow-type problem where the nonlocal repulsive term is given by an integrable kernel $G$ with sufficiently fast decay at infinity.


title: Avoiding Post-Processing with Event-Based Detection in Biomedical Signals

abstract: Objective: Finding events of interest is a common task in biomedical signal processing. The detection of epileptic seizures and signal artefacts are two key examples. Epoch-based classification is the typical machine learning framework to detect such signal events because of the straightforward application of classical machine learning techniques. Usually, post-processing is required to achieve good performance and enforce temporal dependencies. Designing the right post-processing scheme to convert these classification outputs into events is a tedious, and labor-intensive element of this framework. Methods: We propose an event-based modeling framework that directly works with events as learning targets, stepping away from ad-hoc post-processing schemes to turn model outputs into events. We illustrate the practical power of this framework on simulated data and real-world data, comparing it to epoch-based modeling approaches. Results: We show that event-based modeling (without post-processing) performs on par with or better than epoch-based modeling with extensive post-processing. Conclusion: These results show the power of treating events as direct learning targets, instead of using ad-hoc post-processing to obtain them, severely reducing design effort. Significance: The event-based modeling framework can easily be applied to other event detection problems in signal processing, removing the need for intensive task-specific post-processing.


title: 7Be detection in the 2021 outburst of RS Oph

abstract: The recurrent nova RS Oph underwent a new outburst on August 8, 2021, reaching a visible brightness of V = 4.8 mag. Observations of the 2021 outburst made with the high resolution UVES spectrograph at the Kueyen-UT2 telescope of ESO-VLT in Paranal enabled detection of the possible presence of 7Be freshly made in the thermonuclear runaway reactions. The 7Be yields can be estimated in N(Be)/N(H) = 5.7 x 10^(-6), which are close to the lowest yields measured in classical novae so far. 7Be is short-lived and decays only into 7Li. By means of a spectrum taken during the nebular phase we estimated an ejected mass of about 1.1 x 10^(-5) Msun, providing an amount of about 4.4x 10^(-10) Msun of 7Li created in the 2021 event. Recurrent novae of the kind of RS Oph may synthesize slightly lower amount of 7Li per event as classical novae, but occur 10^3 times more frequently. The recurrent novae fraction is in the range of 10-30% and they could have contributed to the making of 7Li we observe today. The detection of 7Be in RS Oph provides further support to the recent suggestion that novae are the most effective source of 7Li in the Galaxy.


title: Exterior extension problems for strongly elliptic operators: solvability and approximation using fundamental solutions

abstract: In this work we study three exterior extension problems for strongly elliptic partial equations: the Cauchy problem (in a special statement), the "analytical" continuation problem and the so called "inner" Dirichlet problem in the scale of the Sobolev spaces over a domain with relatively smooth boundaries. We consider the existence of solutions to these problems, the dense solvability and conditional well-posedness of these problems for a wide class of strongly elliptic systems. We also consider the approximation of solutions to these problems by a single layer potential and by a linear combination of "discrete" fundamental solutions in relation to a narrower class of strongly elliptic operators of the second order. The obtained results justify the applicability of the indirect method of boundary integral equations and for numerical solving the exterior extension problems.


title: Linear and Circular Single Change Covering Designs Re-visited

abstract: A \textbf{single change covering design} is a $v$-set $X$ and an ordered list $\cL$ of $b$ blocks of size $k$ where every $t$-set must occur in at least one block. Each pair of consecutive blocks differs by exactly one element. A single change covering design is circular when the first and last blocks also differ by one element. A single change covering design is minimum if no other smaller design can be constructed for a given $v, k$. In this paper we use a new recursive construction to solve the existence of circular \sccd($v,4,b$) for all $v$ and three residue classes of circular \sccd($v,5,b$) modulo 16. We solve the existence of three residue classes of \sccd$(v,5,b)$ modulo 16. We prove the existence of circular \sccd$(2c(k-1)+1,k,c^2(2k-2)+c)$, for all $c\geq 1, k\geq2 $, using difference methods.


title: Stationary black holes and stars in the Brans-Dicke theory with $\Lambda >0$ revisited

abstract: It was shown a few years back that for a stationary regular black hole or star solution in the Brans-Dicke theory with a positive cosmological constant $\Lambda$, endowed with a de Sitter or cosmological event horizon in the asymptotic region, not only there exists no non-trivial field configurations, but also the inverse Brans-Dicke parameter $\omega^{-1}$ must be vanishing. This essentially reduces the theory to Einstein's General Relativity. The assumption of the existence of the cosmological horizon was crucial for this proof. However, since the Brans-Dicke field $\phi$, couples directly to the $\Lambda$-term in the energy-momentum tensor as well as $\Lambda$ acts as a source in $\phi$'s equation of motion, it seems reasonable to ask : can $\phi$ become strong instead and screen the effect of $\Lambda$, at very large scales, so that the asymptotic de Sitter structure is replaced by some alternative, yet still acceptable boundary condition? In this work we analytically argue that no such alternative exists, as long as the spacetime is assumed to be free of any naked curvature singularity. We further support this result by providing explicit numerical computations. Thus we conclude that in the presence of a positive $\Lambda$, irrespective of whether the asymptotic de Sitter boundary condition is imposed or not, a regular stationary black hole or even a star solution in the Brans-Dicke theory always necessitates $\omega^{-1}=0$, and thereby reducing the theory to General Relativity. The qualitative differences of this result with that of the standard no hair theorems are also pointed out.


title: Bypassing the quadrature exactness assumption of hyperinterpolation on the sphere

abstract: This paper focuses on the approximation of continuous functions on the unit sphere by spherical polynomials of degree $n$ via hyperinterpolation. Hyperinterpolation of degree $n$ is a discrete approximation of the $L^2$-orthogonal projection of degree $n$ with its Fourier coefficients evaluated by a positive-weight quadrature rule that exactly integrates all spherical polynomials of degree at most $2n$. This paper aims to bypass this quadrature exactness assumption by replacing it with the Marcinkiewicz--Zygmund property proposed in a previous paper. Consequently, hyperinterpolation can be constructed by a positive-weight quadrature rule (not necessarily with quadrature exactness). This scheme is referred to as unfettered hyperinterpolation. This paper provides a reasonable error estimate for unfettered hyperinterpolation. The error estimate generally consists of two terms: a term representing the error estimate of the original hyperinterpolation of full quadrature exactness and another introduced as compensation for the loss of exactness degrees. A guide to controlling the newly introduced term in practice is provided. In particular, if the quadrature points form a quasi-Monte Carlo (QMC) design, then there is a refined error estimate. Numerical experiments verify the error estimates and the practical guide.


title: Unlikely Intersections with Bruhat Strata

abstract: Let $\mathcal{A}_{g}$ be the moduli space of $g$-dimensional principally polarized abelian varieties over $\mathbb{Z}$, and let $\mathcal{T} \subset \mathcal{A}_{g}$ be a closed locus, also defined over $\mathbb{Z}$. Motivated by unlikely intersection conjectures, we study the intersection of $\mathcal{T}_{\mathbb{F}_{p}}$ with the Bruhat strata in $\mathcal{A}_{g,\mathbb{F}_{p}}$ as $p$-varies; these are strata characterized by the existence of certain subgroup schemes inside the $p$-torsion of the fibres. We find that, away from a finite set of primes, positive-dimensional ``unlikely'' intersections of $\mathcal{T}_{\mathbb{F}_{p}}$ with such strata are all accounted for by intersections of $\mathcal{T}$ with special loci inside $\mathcal{A}_{g}$. This result generalizes to all abelian-type Shimura varieties, and variations of Hodge structures equipped with certain motivic data. It moreover gives another example of how functional transcendence principles in characteristic zero can be used to study unlikely intersections in positive characteristic, building on recent work by the author.


title: Steady state behavior of the free recall dynamics of working memory

abstract: This paper studies a dynamical system that models the free recall dynamics of working memory. This model is a modular neural network with n modules, named hypercolumns, and each module consists of m minicolumns. Under mild conditions on the connection weights between minicolumns, we investigate the long-term evolution behavior of the model, namely the existence and stability of equilibriums and limit cycles. We also give a critical value in which Hopf bifurcation happens. Finally, we give a sufficient condition under which this model has a globally asymptotically stable equilibrium with synchronized minicolumn states in each hypercolumn, which implies that in this case recalling is impossible. Numerical simulations are provided to illustrate our theoretical results. A numerical example we give suggests that patterns can be stored in not only equilibriums and limit cycles, but also strange attractors (or chaos).


title: Structure Guided Manifolds for Discovery of Disease Characteristics

abstract: In medical image analysis, the subtle visual characteristics of many diseases are challenging to discern, particularly due to the lack of paired data. For example, in mild Alzheimer's Disease (AD), brain tissue atrophy can be difficult to observe from pure imaging data, especially without paired AD and Cognitively Normal ( CN ) data for comparison. This work presents Disease Discovery GAN ( DiDiGAN), a weakly-supervised style-based framework for discovering and visualising subtle disease features. DiDiGAN learns a disease manifold of AD and CN visual characteristics, and the style codes sampled from this manifold are imposed onto an anatomical structural "blueprint" to synthesise paired AD and CN magnetic resonance images (MRIs). To suppress non-disease-related variations between the generated AD and CN pairs, DiDiGAN leverages a structural constraint with cycle consistency and anti-aliasing to enforce anatomical correspondence. When tested on the Alzheimer's Disease Neuroimaging Initiative ( ADNI) dataset, DiDiGAN showed key AD characteristics (reduced hippocampal volume, ventricular enlargement, and atrophy of cortical structures) through synthesising paired AD and CN scans. The qualitative results were backed up by automated brain volume analysis, where systematic pair-wise reductions in brain tissue structures were also measured


title: Approaching English-Polish Machine Translation Quality Assessment with Neural-based Methods

abstract: This paper presents our contribution to the PolEval 2021 Task 2: Evaluation of translation quality assessment metrics. We describe experiments with pre-trained language models and state-of-the-art frameworks for translation quality assessment in both nonblind and blind versions of the task. Our solutions ranked second in the nonblind version and third in the blind version.


title: Biskyrmion-based artificial neuron with refractory period

abstract: Magnetic skyrmions are nanoscale magnetic whirls that are highly stable and can be moved by currents which has led to the prediction of a skyrmion-based artificial neuron device with leak-integrate-fire functionality. However, so far, these devices lack a refractory process, estimated to be crucial for neuronal dynamics. Here we demonstrate that a biskyrmion-based artificial neuron overcomes this insufficiency. When driven by spin-orbit torques, a single biskyrmion splits into two subskyrmions that move towards a designated location and can be detected electrically, resembling the excitation process of a neuron that fires ultimately. The attractive interaction of the two skyrmions leads to a unique trajectory: Once they reach the detector area, they automatically return to the center to reform the biskyrmion but on a different path. During this reset period, the neuron cannot fire again. Our suggested device resembles a biological neuron with the leak, integrate, fire and refractory characteristics better than all existing artificial devices so far.


title: Knot surgery formulae for instanton Floer homology II: applications

abstract: This is a companion paper to earlier work of the authors, which proved an integral surgery formula for framed instanton homology. First, we present an enhancement of the large surgery formula, a rational surgery formula for null-homologous knots in any 3-manifold, and a formula encoding a large portion of $I^\sharp(S^3_0(K))$. Second, we use the integral surgery formula to study the framed instanton homology of many 3-manifolds: Seifert fibered spaces with nonzero orbifold degrees, especially nontrivial circle bundles over any orientable surface, surgeries on a family of alternating knots and all twisted Whitehead doubles, and splicings with twist knots. Finally, we use the previous techniques and computations to study almost L-space knots, ${\it i.e.}$, the knots $K\subset S^3$ with $\dim I^\sharp(S_n^3(K))=n+2$ for some $n\in\mathbb{N}_+$. We show that an almost L-space knot of genus at least $2$ is fibered and strongly quasi-positive, and a genus-one almost L-space knot must be either the figure eight or the mirror of the $5_2$ knot in Rolfsen's knot table.


title: Search for the Pair Production of Dark Particles $X$ with $K_L^0 \to XX$, $X \to \gamma\gamma$

abstract: We present the first search for the pair production of dark particles $X$ via $K_L^0\to XX$ with $X$ decaying into two photons using the data collected by the KOTO experiment. No signal was observed in the mass range of 40 - 110 MeV/c$^2$ and 210 - 240 MeV/c$^2$. This sets upper limits on the branching fractions as $\mathcal{B}(K_L^0 \to XX)$ $<$ (1-4) $\times$ 10$^{-7}$ and $\mathcal{B}(K_L^0 \to XX)$ $<$ (1-2) $\times$ 10$^{-6}$ at the 90% confidence level for the two mass regions, respectively.


title: Privacy Attacks Against Biometric Models with Fewer Samples: Incorporating the Output of Multiple Models

abstract: Authentication systems are vulnerable to model inversion attacks where an adversary is able to approximate the inverse of a target machine learning model. Biometric models are a prime candidate for this type of attack. This is because inverting a biometric model allows the attacker to produce a realistic biometric input to spoof biometric authentication systems. One of the main constraints in conducting a successful model inversion attack is the amount of training data required. In this work, we focus on iris and facial biometric systems and propose a new technique that drastically reduces the amount of training data necessary. By leveraging the output of multiple models, we are able to conduct model inversion attacks with 1/10th the training set size of Ahmad and Fuller (IJCB 2020) for iris data and 1/1000th the training set size of Mai et al. (Pattern Analysis and Machine Intelligence 2019) for facial data. We denote our new attack technique as structured random with alignment loss. Our attacks are black-box, requiring no knowledge of the weights of the target neural network, only the dimension, and values of the output vector. To show the versatility of the alignment loss, we apply our attack framework to the task of membership inference (Shokri et al., IEEE S&P 2017) on biometric data. For the iris, membership inference attack against classification networks improves from 52% to 62% accuracy.


title: Generalized Langevin dynamics simulation with non-stationary memory kernels: How to make noise

abstract: We present a numerical method to produce stochastic dynamics according to the generalized Langevin equation with a non-stationary memory kernel. This type of dynamics occurs when a microscopic system with an explicitly time-dependent Liouvillian is coarse-grained by means of a projection operator formalism. We show how to replace the deterministic fluctuating force in the generalized Langevin equation by a stochastic process, such that the distributions of the observables are reproduced up to moments of a given order. Thus, in combination with a method to extract the memory kernel from simulation data of the underlying microscopic model, the method introduced here allows to construct and simulate a coarse-grained model for a driven process.


title: The Fano variety of lines of a cuspidal cyclic cubic fourfold

abstract: We prove that the Fano variety of lines of a cuspidal cyclic cubic fourfold is a symplectic variety with transversal A2-singularities and we study the properties of the nonsymplectic order three automorphism induced by the covering automorphism on the irreducible holomorphic symplectic manifold obtained by blowing up the singular locus.


title: Randomized low-rank approximation of monotone matrix functions

abstract: This work is concerned with computing low-rank approximations of a matrix function $f(A)$ for a large symmetric positive semi-definite matrix $A$, a task that arises in, e.g., statistical learning and inverse problems. The application of popular randomized methods, such as the randomized singular value decomposition or the Nystr\"om approximation, to $f(A)$ requires multiplying $f(A)$ with a few random vectors. A significant disadvantage of such an approach, matrix-vector products with $f(A)$ are considerably more expensive than matrix-vector products with $A$, even when carried out only approximately via, e.g., the Lanczos method. In this work, we present and analyze funNystr\"om, a simple and inexpensive method that constructs a low-rank approximation of $f(A)$ directly from a Nystr\"om approximation of $A$, completely bypassing the need for matrix-vector products with $f(A)$. It is sensible to use funNystr\"om whenever $f$ is monotone and satisfies $f(0) = 0$. Under the stronger assumption that $f$ is operator monotone, which includes the matrix square root $A^{1/2}$ and the matrix logarithm $\log(I+A)$, we derive probabilistic bounds for the error in the Frobenius, nuclear, and operator norms. These bounds confirm the numerical observation that funNystr\"om tends to return an approximation that compares well with the best low-rank approximation of $f(A)$. Furthermore, compared to existing methods, funNystr\"om requires significantly fewer matrix-vector products with $A$ to obtain a low-rank approximation of $f(A)$, without sacrificing accuracy or reliability. Our method is also of interest when estimating quantities associated with $f(A)$, such as the trace or the diagonal entries of $f(A)$. In particular, we propose and analyze funNystr\"om++, a combination of funNystr\"om with the recently developed Hutch++ method for trace estimation.


title: Google Coral-based edge computing person reidentification using human parsing combined with analytical method

abstract: Person reidentification (re-ID) is becoming one of the most significant application areas of computer vision due to its importance for science and social security. Due to enormous size and scale of camera systems it is beneficial to develop edge computing re-ID applications where at least part of the analysis could be performed by the cameras. However, conventional re-ID relies heavily on deep learning (DL) computationally demanding models which are not readily applicable for edge computing. In this paper we adapt a recently proposed re-ID method that combines DL human parsing with analytical feature extraction and ranking schemes to be more suitable for edge computing re-ID. First, we compare parsers that use ResNet101, ResNet18, MobileNetV2, and OSNet backbones and show that parsing can be performed using compact backbones with sufficient accuracy. Second, we transfer parsers to tensor processing unit (TPU) of Google Coral Dev Board and show that it can act as a portable edge computing re-ID station. We also implement the analytical part of re-ID method on Coral CPU to ensure that it can perform a complete re-ID cycle. For quantitative analysis we compare inference speed, parsing masks, and re-ID accuracy on GPU and Coral TPU depending on parser backbone. We also discuss possible application scenarios of edge computing in re-ID taking into account known limitations mainly related to memory and storage space of portable devices.