title: Rational cuspidal curves and symplectic fillings

abstract: A symplectic rational cuspidal curve with positive self-intersection number admits a concave neighborhood, and thus a corresponding contact manifold on the boundary. In this article, we study symplectic fillings of such contact manifolds, providing a complementary perspective to our earlier article on symplectic isotopy classes of rational cuspidal curves. We explore aspects of these symplectic fillings through Stein handlebodies and rational blow-downs. We give examples of such contact manifolds which are identifiable as links of normal surface singularities, other examples which admit no symplectic fillings, and further examples where the fillings can be fully classified.


title: Visual design intuition: Predicting dynamic properties of beams from raw cross-section images

abstract: In this work we aim to mimic the human ability to acquire the intuition to estimate the performance of a design from visual inspection and experience alone. We study the ability of convolutional neural networks to predict static and dynamic properties of cantilever beams directly from their raw cross-section images. Using pixels as the only input, the resulting models learn to predict beam properties such as volume maximum deflection and eigenfrequencies with 4.54% and 1.43% Mean Average Percentage Error (MAPE) respectively, compared to the Finite Element Analysis (FEA) approach. Training these models doesn't require prior knowledge of theory or relevant geometric properties, but rather relies solely on simulated or empirical data, thereby making predictions based on "experience" as opposed to theoretical knowledge. Since this approach is over 1000 times faster than FEA, it can be adopted to create surrogate models that could speed up the preliminary optimization studies where numerous consecutive evaluations of similar geometries are required. We suggest that this modeling approach would aid in addressing challenging optimization problems involving complex structures and physical phenomena for which theoretical models are unavailable.


title: Piercing the chessboard

abstract: We consider the minimum number of lines $h_n$ and $p_n$ needed to intersect or pierce, respectively, all the cells of the $n \times n$ chessboard. Determining these values can also be interpreted as a strengthening of the classical plank problem for integer points. Using the symmetric plank theorem of K. Ball, we prove that $h_n = \lceil \frac n 2 \rceil$ for each $n \geq 1$. Studying the piercing problem, we show that $0.7n \leq p_n \leq n-1$ for $n\geq 3$, where the upper bound is conjectured to be sharp. The lower bound is proven by using the linear programming method, whose limitations are also demonstrated.


title: Faithful tracial states on quotients of C*-algebras

abstract: We study the existence of faithful tracial states on C*-algebras as well as the stronger proerty that all quotients admit faithful tracial states. We provide a sufficient and necessary condition for when C*-algebras admit faithful tracial states in terms of the Cuntz semigroup and use this to give an equivalent formulation for all quotients to admit faithful tracial states. We relate this to the notion of strong quasidiagonality, and show that any amenable discrete group with faithful tracial states on all quotients of the corresponding group-C*-algebra is strongly quasidiagonal under the condition that all quotients satisfy the Universal Coefficient Theorem.


title: Coronal Mass Ejections and Exoplanets: A Numerical Perspective

abstract: Coronal mass ejections (CMEs) are more energetic than any other class of solar phenomena. They arise from the rapid release of up to $10^{33}$ erg of magnetic energy mainly in the form of particle acceleration and bulk plasma motion. Their stellar counterparts, presumably involving much larger energies, are expected to play a fundamental role in shaping the environmental conditions around low-mass stars, in some cases perhaps with catastrophic consequences for planetary systems due to processes such as atmospheric erosion and depletion. Despite their importance, the direct observational evidence for stellar CMEs is almost non-existent. In this way, numerical simulations constitute extremely valuable tools to shed some light on eruptive behavior in the stellar regime. Here we review recent results obtained from realistic modeling of CMEs in active stars, highlighting their key role in the interpretation of currently available observational constraints. We include studies performed on M-dwarf stars, focusing on how emerging signatures in different wavelengths related to these events vary as a function of the magnetic properties of the star. Finally, the implications and relevance of these numerical results are discussed in the context of future characterization of host star-exoplanet systems.


title: Learning Free-Surface Flow with Physics-Informed Neural Networks

abstract: The interface between data-driven learning methods and classical simulation poses an interesting field offering a multitude of new applications. In this work, we build on the notion of physics-informed neural networks (PINNs) and employ them in the area of shallow-water equation (SWE) models. These models play an important role in modeling and simulating free-surface flow scenarios such as in flood-wave propagation or tsunami waves. Different formulations of the PINN residual are compared to each other and multiple optimizations are being evaluated to speed up the convergence rate. We test these with different 1-D and 2-D experiments and finally demonstrate that regarding a SWE scenario with varying bathymetry, the method is able to produce competitive results in comparison to the direct numerical simulation with a total relative $L_2$ error of $8.9e-3$.


title: The Euler-Bernoulli limit of thin brittle linearized elastic beams

abstract: We show that the linear brittle Griffith energy on a thin rectangle $\Gamma$-converges after rescaling to the linear one-dimensional brittle Euler-Bernoulli beam energy. In contrast to the existing literature, we prove a corresponding sharp compactness result, namely a suitable weak convergence after subtraction of piecewise rigid motions with the number of jumps bounded by the energy


title: Destination exoplanet: Habitability conditions influenced bystellar winds properties

abstract: The cumulative effect of the magnetized stellar winds on exoplanets dominates over other forms of star-planet interactions. When combined with photoevaporation, these winds will lead to atmospheric erosion. This is directly connected with the concept of Habitable Zone (HZ) planets around late-type stars. Our knowledge of these magnetized winds is limited, making numerical models useful tools to explore them. In this preliminary study, we focus on solar-like stars exploring how different stellar wind properties scale with one another. We used one of the most detailed physics-based models, the 3D Alfv\'en Wave Solar Model part of the Space Weather ModelingFramework, and applied it to the stellar winds domain. Our simulations showed that the magnetic field topology on the star surface plays a fundamental role in shaping the different stellar wind properties (wind speed, mass loss rate, angular momentum loss rate). We conclude that a characterization of the Alfv\'en surface is crucial when studying star-planet interaction as it can serve as an inner-boundary of the HZ


title: A Trainable Spectral-Spatial Sparse Coding Model for Hyperspectral Image Restoration

abstract: Hyperspectral imaging offers new perspectives for diverse applications, ranging from the monitoring of the environment using airborne or satellite remote sensing, precision farming, food safety, planetary exploration, or astrophysics. Unfortunately, the spectral diversity of information comes at the expense of various sources of degradation, and the lack of accurate ground-truth "clean" hyperspectral signals acquired on the spot makes restoration tasks challenging. In particular, training deep neural networks for restoration is difficult, in contrast to traditional RGB imaging problems where deep models tend to shine. In this paper, we advocate instead for a hybrid approach based on sparse coding principles that retains the interpretability of classical techniques encoding domain knowledge with handcrafted image priors, while allowing to train model parameters end-to-end without massive amounts of data. We show on various denoising benchmarks that our method is computationally efficient and significantly outperforms the state of the art.


title: Generalized equipartition for nonlinear multiplicative Langevin dynamics: application to laser-cooled atoms

abstract: The virial theorem, and the equipartition theorem in the case of quadratic degrees of freedom, are handy constraints on the statistics of equilibrium systems. Their violation is instrumental in determining how far from equilibrium a driven system might be. We extend the virial theorem to nonequilibrium conditions for Langevin dynamics with nonlinear friction and multiplicative noise. In particular, we generalize the equipartition theorem for confined laser-cooled atoms in the semi-classical regime. The resulting relation between the lowest moments of the atom position and velocity allows to measure in experiments how dissipative the cooling mechanism is. Moreover, its violation can reveal the departure from a strictly harmonic confinement or from the semi-classical regime.


title: Compression of a pressurized spherical shell by a spherical or flat probe

abstract: Measuring the mechanical properties of cells and tissues often involves indentation with a sphere, or compression between two plates. Previously, different theoretical approaches have been developed to retrieve material parameters (e.g. elastic modulus) or state variables (e.g. pressure) from such experiments. Here, we extend previous theoretical work on indentation of a spherical pressurized shell by a point force to cover indentation by a spherical probe or a plate. We provide formulae that enable the modulus or pressure to be deduced from experimental results with realistic contact geometries, giving different results that are applicable depending on pressure level. We expect our results to be broadly useful when investigating biomechanics or mechanobiology of cells and tissues.


title: Widespread 1-2 MeV Energetic Particles Associated with Slow and Narrow Coronal Mass Ejections: Parker Solar Probe and STEREO Measurements

abstract: Suprathermal ions in the corona are thought to serve as seed particles for large gradual solar energetic particle (SEP) events associated with fast and wide coronal mass ejections (CMEs). A better understanding of the role of suprathermal particles as seed populations for SEP events can be made by using observations close to the Sun. We study a series of SEP events observed by the Integrated Science Investigation of the Sun (IS$\odot$IS) suite on board the Parker Solar Probe (PSP) from 2020 May 27 to June 2, during which PSP was at heliocentric distances between $\sim$0.4 and $\sim$0.2 au. These events were also observed by the Ahead Solar TErrestrial RElations Observatory (STEREO-A) near 1 au, but the particle intensity magnitude was much lower than that at PSP. We find that the SEPs should have spread in space as their source regions were distant from the nominal magnetic footpoints of both spacecraft, and the parent CMEs were slow and narrow. We study the decay phase of the SEP events in the $\sim$1-2 MeV proton energy range at PSP and STEREO-A, and discuss their properties in terms of both continuous injections by successive solar eruptions and the distances where the measurements were made. This study indicates that seed particles can be continuously generated by eruptions associated with slow and narrow CMEs, spread over a large part of the inner heliosphere, and remain there for tens of hours, even if minimal particle intensity enhancements were measured near 1 au.


title: Superlocalization reveals long-range synchronization of vibrating soliton molecules

abstract: We implement a super-localization method in the time domain that allows the observation of the external motion of soliton molecules in a fiber ring cavity laser with unprecedented accuracy. In particular, we demonstrate the synchronization of two oscillating soliton molecules separated by several nanoseconds, with inter-molecules oscillations following the same pattern as the intramolecular motion of the individual molecules. These experimental findings indicate an interplay between the different interaction mechanisms that coexist inside the laser cavity, despite their very different characteristic ranges, timescales, strengths, and physical origins.


title: Prediction of imminent failure using supervised learning in fiber bundle model

abstract: Prediction of breakdown in disordered solids under external loading in a question of paramount importance. Here we use a fiber bundle model for disordered solids and record the time series of the avalanche sizes and energy bursts. The time series contains statistical regularities that not only signify universality in the critical behavior of the process of fracture, but also reflect signals of proximity to a catastrophic failure. A systematic analysis of these series using supervised machine learning can predict the time to failure. Different features of the time series become important in different variants of training samples. We explain the reasons for such switch over of importance among different features. We show that inequality measures for avalanche time series play a crucial role in imminent failure predictions, especially for imperfect training sets i.e., when simulation parameters of training samples differ considerably from those of the testing samples. We also show the variation of predictability of the system as the interaction range and strengths of disorders are varied in the samples, varying the failure mode from brittle to quasi-brittle (with interaction range) and from nucleation to percolation (with disorder strength). The effectiveness of the supervised learning is best when the samples just enter the quasi-brittle mode of failure showing scale-free avalanche size distributions.


title: You Only Sample (Almost) Once: Linear Cost Self-Attention Via Bernoulli Sampling

abstract: Transformer-based models are widely used in natural language processing (NLP). Central to the transformer model is the self-attention mechanism, which captures the interactions of token pairs in the input sequences and depends quadratically on the sequence length. Training such models on longer sequences is expensive. In this paper, we show that a Bernoulli sampling attention mechanism based on Locality Sensitive Hashing (LSH), decreases the quadratic complexity of such models to linear. We bypass the quadratic cost by considering self-attention as a sum of individual tokens associated with Bernoulli random variables that can, in principle, be sampled at once by a single hash (although in practice, this number may be a small constant). This leads to an efficient sampling scheme to estimate self-attention which relies on specific modifications of LSH (to enable deployment on GPU architectures). We evaluate our algorithm on the GLUE benchmark with standard 512 sequence length where we see favorable performance relative to a standard pretrained Transformer. On the Long Range Arena (LRA) benchmark, for evaluating performance on long sequences, our method achieves results consistent with softmax self-attention but with sizable speed-ups and memory savings and often outperforms other efficient self-attention methods. Our code is available at https://github.com/mlpen/YOSO


title: Mid-Frequency Gravitational Waves (0.1-10 Hz): Sources and Detection Methods Summary of the parallel session GW2 of MG16 Meeting

abstract: This article summarizes the talks in the session GW2 of the Sixteenth Marcel Grossmann Meeting on Recent Developments in Theoretical and Experimental General Relativity, Gravitation, and Relativistic Field Theories, 5-10 July, 2021, on Mid-frequency (0.1-10 Hz) gravitational waves: Sources and detection methods with a review on strain power spectral density amplitude of various mid-frequency gravitational wave projects/concepts and with extended summaries on the progress of ZAIGA project and on the conceptual study of AMIGO.


title: Development of NavIC synchronized fully automated inter-building QKD framework and demonstration of quantum secured video calling

abstract: Quantum key distribution (QKD) is a revolutionary communication technology that promises ultimate security assurance by exploiting the fundamental principles of quantum mechanics. In this work, we report design and development of a fully automated inter-building QKD framework for generation and distribution of cryptographic keys, securely and seamlessly, by executing weak coherent pulse based BB84 protocol. This framework is experimentally validated by establishing a quantum communication link between two buildings separated by ~300m of free-space atmospheric channel. A novel synchronization technique enabled with indigenous NavIC (IRNSS) constellation is developed and implemented. This QKD system demonstrates generation of secure key rate as high as 300 Kbps with QBER< 3% for mean photon no. per pulse (${\mu}$) of 0.15. The intercept-resend eavesdropping attack has been emulated within the system and evaluated during experiment. A novel quantum secured end-to-end encrypted video calling app (QuViC) is also developed and integrated with QKD framework to demonstrate unconditionally secure two-way communication over Ethernet, functioning alongside with quantum communication.


title: Homological finiteness of functors on an additive category and applications

abstract: We give sufficient conditions which ensure that a functor of finite length from an additive category to finite-dimensional vector spaces has a projective resolution whose terms are finitely generated. For polynomial functors, we study also a weaker homological finiteness property, which applies to twisted homological stability for matrix monoids. This is inspired by works by Schwartz and Betley-Pirashvili, which are generalised; this also uses decompositions {\`a} la Steinberg over an additive category that we recently got with Vespa. We show also, as an application, a finiteness property for stable homology of linear groups on suitable rings.


title: Dynamical generation of chiral $W$ and Greenberger-Horne-Zeilinger states in laser-controlled Rydberg-atom trimers

abstract: Motivated by the significantly improved scalability of optically-trapped neutral-atom systems, extensive efforts have been devoted in recent years to quantum-state engineering in Rydberg-atom ensembles. Here we investigate the problem of engineering generalized (``twisted'') $W$ states, as well as Greenberger-Horne-Zeilinger (GHZ) states, in the strongly-interacting regime of a neutral-atom system. We assume that each atom in the envisioned system initially resides in its ground state and is subject to several external laser pulses that are close to being resonant with the same internal atomic transition. In particular, in the special case of a three-atom system (Rydberg-atom trimer) we determine configurations of field alignments and atomic positions that enable the realization of chiral $W$ states -- a special type of twisted three-qubit $W$ states of interest for implementing noiseless-subsystem qubit encoding. Using chiral W states as an example we also address the problem of deterministically converting twisted $W$ states into their GHZ counterparts in the same three-atom system, thus significantly generalizing recent works that involve only ordinary $W$ states. We show that starting from twisted -- rather than ordinary -- $W$ states is equivalent to renormalizing downwards the relevant Rabi frequencies. While this leads to somewhat longer state-conversion times, we also demonstrate that those times are at least two orders of magnitude shorter than typical lifetimes of relevant Rydberg states.


title: Functor homology over an additive category

abstract: We uncover several general phenomenas governing functor homology over additive categories. In particular, we generalize the strong comparison theorem of Franjou Friedlander Scorichenko and Suslin to the setting of Fp-linear additive categories. Our results have a strong impact in terms of explicit computations of functor homology, and they open the way to new applications to stable homology of groups or to K-theory. As an illustration, we prove comparison theorems between cohomologies of classical algebraic groups over infinite perfect fields, in the spirit of a celebrated result of Cline, Parshall, Scott et van der Kallen for finite fields.


title: The formation and early evolution of embedded star clusters in spiral galaxies

abstract: We present Ekster, a new method for simulating star clusters from birth in a live galaxy simulation that combines the smoothed-particle hydrodynamics (SPH) method Phantom with the $N$-body method PeTar. With Ekster, it becomes possible to simulate individual stars in a simulation with only moderately high resolution for the gas, allowing us to study whole sections of a galaxy rather than be restricted to individual clouds. We use this method to simulate star and star cluster formation in spiral arms, investigating massive GMCs and spiral arm regions with lower mass clouds, from two galaxy models with different spiral potentials. After selecting these regions from pre-run galaxy simulations, we re-sample the particles to obtain a higher resolution. We then re-simulate these regions for 3 Myr to study where and how star clusters form. We analyse the early evolution of the embedded star clusters in these regions. We find that the massive GMC regions, which are more common with stronger spiral arms, form more massive clusters than the sections of spiral arms containing lower mass clouds. Clusters form both by accreting gas and by merging with other proto-clusters, the latter happening more frequently in the denser GMC regions.


title: Bounds in $L^1$ Wasserstein distance on the normal approximation of general M-estimators

abstract: We derive quantitative bounds on the rate of convergence in $L^1$ Wasserstein distance of general M-estimators, with an almost sharp (up to a logarithmic term) behavior in the number of observations. We focus on situations where the estimator does not have an explicit expression as a function of the data. The general method may be applied even in situations where the observations are not independent. Our main application is a rate of convergence for cross validation estimation of covariance parameters of Gaussian processes.


title: Equivalent characterizations of non-Archimedean uniform spaces

abstract: In this paper, we deal with uniform spaces whose diagonal uniformity admits a basis consisting of equivalence relations. Such non-Archimedean uniform spaces are particularly interesting for applications in commutative ring theory, because uniformities stemming from valuations or directed systems of ideals are of this type. In general, apart from diagonal uniformities, there are two further approaches to the concept of uniform spaces: covering uniformities and systems of pseudo-metrics. For each of these ways of defining a uniformity, we isolate a non-Archimedean special case and show that these special cases themselves are equivalent to the notion of non-Archimedean diagonal uniformities. Moreover, we formulate a seperation axiom for topological spaces that tells exactly when the topology is induced by a non-Archimedean uniformity. In analogy to the classical metrizability theorems, we characterize when a non-Archimedean uniformity comes from a single pseudo-metric.


title: Coproducts in Categories of q-Matroids

abstract: q-Matroids form the q-analogue of classical matroids. In this paper we introduce various types of maps between q-matroids. These maps are not necessarily linear, but they map subspaces to subspaces and respect the q-matroid structure in certain ways. The various types of maps give rise to different categories of q-matroids. We show that only one of these categories possesses a coproduct. This is the category where the morphisms are linear weak maps, that is, the rank of the image of any subspace is not larger than the rank of the subspace itself. The coproduct in this category is the very recently introduced direct sum of q-matroids.


title: From Optimality to Robustness: Dirichlet Sampling Strategies in Stochastic Bandits

abstract: The stochastic multi-arm bandit problem has been extensively studied under standard assumptions on the arm's distribution (e.g bounded with known support, exponential family, etc). These assumptions are suitable for many real-world problems but sometimes they require knowledge (on tails for instance) that may not be precisely accessible to the practitioner, raising the question of the robustness of bandit algorithms to model misspecification. In this paper we study a generic Dirichlet Sampling (DS) algorithm, based on pairwise comparisons of empirical indices computed with re-sampling of the arms' observations and a data-dependent exploration bonus. We show that different variants of this strategy achieve provably optimal regret guarantees when the distributions are bounded and logarithmic regret for semi-bounded distributions with a mild quantile condition. We also show that a simple tuning achieve robustness with respect to a large class of unbounded distributions, at the cost of slightly worse than logarithmic asymptotic regret. We finally provide numerical experiments showing the merits of DS in a decision-making problem on synthetic agriculture data.


title: EDF-Like Scheduling for Self-Suspending Real-Time Tasks

abstract: In real-time systems, schedulability tests are utilized to provide timing guarantees. However, for self-suspending task sets, current suspension-aware schedulability tests are limited to Task-Level Fixed-Priority~(TFP) scheduling or Earliest-Deadline-First~(EDF) with constrained-deadline task systems. In this work we provide a unifying schedulability test for the uniprocessor version of Global EDF-Like (GEL) schedulers and arbitrary-deadline task sets. A large body of existing scheduling algorithms can be considered as EDF-Like, such as EDF, First-In-First-Out~(FIFO), Earliest-Quasi-Deadline-First~(EQDF) and Suspension-Aware EDF~(SAEDF). Therefore, the unifying schedulability test is applicable to those algorithms. Moreover, the schedulability test can be applied to TFP scheduling as well. Our analysis is the first suspension-aware schedulability test applicable to arbitrary-deadline sporadic real-time task systems under Job-Level Fixed-Priority (JFP) scheduling, such as EDF. Moreover, it is the first unifying suspension-aware schedulability test framework that covers a wide range of scheduling algorithms. Through numerical simulations, we show that the schedulability test outperforms the state of the art for EDF under constrained-deadline scenarios. Moreover, we demonstrate the performance of different configurations under EQDF and SAEDF.


title: A Consistent Quasi-Second Order Staggered Scheme for the Two-Dimensional Shallow Water Equations

abstract: A quasi-second order scheme is developed to obtain approximate solutions of the shallow water equationswith bathymetry. The scheme is based on a staggered finite volume scheme for the space discretization:the scalar unknowns are located in the discretisation cells while the vector unknowns are located on theedges (in 2D) or faces (in 3D) of the mesh. A MUSCL-like interpolation for the discrete convectionoperators in the water height and momentum equations is performed in order to improve the precisionof the scheme. The time discretization is performed either by a first order segregated forward Eulerscheme in time or by the second order Heun scheme. Both schemes are shown to preserve the waterheight positivity under a CFL condition and an important state equilibrium known as the lake at rest.Using some recent Lax-Wendroff type results for staggered grids, these schemes are shown to be Lax-consistent with the weak formulation of the continuous equations; besides, the forward Euler schemeis shown to be consistent with a weak entropy inequality. Numerical results confirm the efficiency andaccuracy of the schemes.


title: The Strong Integral Input-to-State Stability Property in Dynamical Flow Networks

abstract: Dynamical flow networks serve as macroscopic models for, e.g., transportation networks, queuing networks, and distribution networks. While the flow dynamics in such networks follow the conservation of mass on the links, the outflow from each link is often non-linear due to, e.g., flow capacity constraints and simultaneous service rate constraints. Such non-linear constraints imply a limit on the magnitude of exogenous inflow that is able to be accommodated by the network before it becomes overloaded and its state trajectory diverges. This paper shows how the Strong integral Input-to-State Stability (Strong iISS) property allows for quantifying the effects of the exogenous inflow on the flow dynamics. The Strong iISS property enables a unified stability analysis of classes of dynamical flow networks that were only partly analyzable before, such as networks with cycles, multi-commodity flow networks and networks with non-monotone flow dynamics. We present sufficient conditions on the maximum magnitude of exogenous inflow to guarantee input-to-state stability for a dynamical flow network, and we also present cases when this sufficient condition is necessary. The conditions are exemplified on a few existing dynamical flow network models, specifically, fluid queuing models with time-varying exogenous inflows and multi-commodity flow models.


title: Measuring source code conciseness across programming languages using compression

abstract: It is well-known, and often a topic of heated debates, that programs in some programming languages are more concise than in others. This is a relevant factor when comparing or aggregating volume-impacted metrics on source code written in a combination of programming languages. In this paper, we present a model for measuring the conciseness of programming languages in a consistent, objective and evidence-based way. We present the approach, explain how it is founded on information theoretical principles, present detailed analysis steps and show the quantitative results of applying this model to a large benchmark of diverse commercial software applications. We demonstrate that our metric for language conciseness is strongly correlated with both an alternative analytical approach, and with a large scale developer survey, and show how its results can be applied to improve software metrics for multi-language applications.


title: A co-design approach for a rehabilitation robot coach for physical rehabilitation based on the error classification of motion errors

abstract: The rising number of the elderly incurs growing concern about healthcare, and in particular rehabilitation healthcare. Assistive technology and assistive robotics in particular may help to improve this process. We develop a robot coach capable of demonstrating rehabilitation exercises to patients, watch a patient carry out the exercises and give him feedback so as to improve his performance and encourage him. The HRI of the system is based on our study with a team of rehabilitation therapists and with the target population.The system relies on human motion analysis. We develop a method for learning a probabilistic representation of ideal movements from expert demonstrations. A Gaussian Mixture Model is employed from position and orientation features captured using a Microsoft Kinect v2. For assessing patients' movements, we propose a real-time multi-level analysis to both temporally and spatially identify and explain body part errors. This analysis combined with a classification algorithm allows the robot to provide coaching advice to make the patient improve his movements. The evaluation on three rehabilitation exercises shows the potential of the proposed approach for learning and assessing kinaesthetic movements.


title: Non-Markovian Dynamics of a Single Excitation within Many-Body Dissipative Systems

abstract: We explore the dynamics of $N$ coupled atoms to a generic bosonic reservoir under specific system symmetries. In the regime of multiple atoms coupled to a single reservoir with identical couplings, we identify remarkable effects, notably that the initial configuration of the atomic excited state amplitudes strongly impacts the dynamics of the system and can even fully sever the system from its environment. Additionally, we find that steady state amplitudes of the excited states become independent of the choice of the reservoir. The framework introduced is applied to a structured photonic reservoir associated with a photonic crystal, where we show it reproduces previous theoretical and experimental results and it predicts superradiant behaviour within the single-excitation regime.


title: Spin transport at finite temperatures: A first-principles study for ferromagnetic$|$nonmagnetic interfaces

abstract: Symmetry lowering at an interface leads to an enhancement of the effect of spin-orbit coupling and to a discontinuity of spin currents passing through the interface. This discontinuity is characterized by a "spin-memory loss" (SML) parameter $\delta$ that has only been determined directly at low temperatures. Although $\delta$ is believed to be significant in experiments involving interfaces between ferromagnetic and nonmagnetic metals, especially heavy metals like Pt, it is more often than not neglected to avoid introducing too many unknown interface parameters in addition to often poorly known bulk parameters like the spin-flip diffusion length $l_{\rm sf}$. In this work, we calculate $\delta$ along with the interface resistance $AR_{\rm I}$ and the spin-asymmetry parameter $\gamma$ as a function of temperature for Co$|$Pt and Py$|$Pt interfaces where Py is the ferromagnetic Ni$_{80}$Fe$_{20}$ alloy, permalloy. We use first-principles scattering theory to calculate the conductance as well as local charge and spin currents, modeling temperature-induced disorder with frozen thermal lattice and, for ferromagnetic materials, spin disorder within the adiabatic approximation. The bulk and interface parameters are extracted from the spin currents using a Valet-Fert model generalized to include SML.


title: A Quantum Algorithm for the Sub-Graph Isomorphism Problem

abstract: We propose a novel variational method for solving the sub-graph isomorphism problem on a gate-based quantum computer. The method relies (1) on a new representation of the adjacency matrices of the underlying graphs, which requires a number of qubits that scales logarithmically with the number of vertices of the graphs; and (2) on a new Ansatz that can efficiently probe the permutation space. Simulations are then presented to showcase the approach on graphs up to 16 vertices, whereas, given the logarithmic scaling, the approach could be applied to realistic sub-graph isomorphism problem instances in the medium term.


title: Perceiving and Modeling Density is All You Need for Image Dehazing

abstract: In the real world, the degradation of images taken under haze can be quite complex, where the spatial distribution of haze is varied from image to image. Recent methods adopt deep neural networks to recover clean scenes from hazy images directly. However, due to the paradox caused by the variation of real captured haze and the fixed degradation parameters of the current networks, the generalization ability of recent dehazing methods on real-world hazy images is not ideal.To address the problem of modeling real-world haze degradation, we propose to solve this problem by perceiving and modeling density for uneven haze distribution. We propose a novel Separable Hybrid Attention (SHA) module to encode haze density by capturing features in the orthogonal directions to achieve this goal. Moreover, a density map is proposed to model the uneven distribution of the haze explicitly. The density map generates positional encoding in a semi-supervised way. Such a haze density perceiving and modeling capture the unevenly distributed degeneration at the feature level effectively. Through a suitable combination of SHA and density map, we design a novel dehazing network architecture, which achieves a good complexity-performance trade-off. The extensive experiments on two large-scale datasets demonstrate that our method surpasses all state-of-the-art approaches by a large margin both quantitatively and qualitatively, boosting the best published PSNR metric from 28.53 dB to 33.49 dB on the Haze4k test dataset and from 37.17 dB to 38.41 dB on the SOTS indoor test dataset.


title: ClipCap: CLIP Prefix for Image Captioning

abstract: Image captioning is a fundamental task in vision-language understanding, where the model predicts a textual informative caption to a given input image. In this paper, we present a simple approach to address this task. We use CLIP encoding as a prefix to the caption, by employing a simple mapping network, and then fine-tunes a language model to generate the image captions. The recently proposed CLIP model contains rich semantic features which were trained with textual context, making it best for vision-language perception. Our key idea is that together with a pre-trained language model (GPT2), we obtain a wide understanding of both visual and textual data. Hence, our approach only requires rather quick training to produce a competent captioning model. Without additional annotations or pre-training, it efficiently generates meaningful captions for large-scale and diverse datasets. Surprisingly, our method works well even when only the mapping network is trained, while both CLIP and the language model remain frozen, allowing a lighter architecture with less trainable parameters. Through quantitative evaluation, we demonstrate our model achieves comparable results to state-of-the-art methods on the challenging Conceptual Captions and nocaps datasets, while it is simpler, faster, and lighter. Our code is available in https://github.com/rmokady/CLIP_prefix_caption.


title: Starlink Satellite Brightness -- Characterized From 100,000 Visible Light Magnitudes

abstract: Magnitudes for the VisorSat and Original-design types were analyzed separately and by time. Mean values are compared with those from other large-scale photometric studies, and some signficant differences are noted. The illumination phase functions for Starlink satellites indicate strong forward scattering of sunlight. They are also time-dependent on a scale of months and years. These phase functions improve the predictability of satellite magnitudes. A Starlink Brightness Function tailored to the satellite shape also improves magnitude predictions. Brightness flares lasting a few seconds are characterized and the mean rate of magnitude variation during a pass is determined. Observation planning tools, including graphs and statistics of predicted magnitudes, are discussed and illustrated.


title: Estimates for the first eigenvalues of Bi-drifted Laplacian on smooth metric measure space

abstract: In this paper, we obtain lower bounds for the first eigenvalue to some kinds of the eigenvalue problems for Bi-drifted Laplacian operator on compact manifolds (also called a smooth metric measure space) with boundary and $m$-Bakry-Emery Ricci curvature or Bakry-Emery Ricci curvature bounded below. We also address the eigenvalue problem with Wentzell-type boundary condition for drifted Laplacian on smooth metric measure space.


title: A Bibliometric Analysis of the BPM Conference Using Computational Data Analytics

abstract: The BPM conference has a long tradition as the premier venue for publishing research on business process management. For exploring the evolution of research topics, we present the findings from a computational bibliometric analysis of the BPM conference proceedings from the past 15 years. We used the publicly available DBLP dataset as a basis for the analysis, which we enriched with data from websites and databases of the relevant publishers. In addition to a detailed analysis of the publication results, we performed a content-based analysis of over 1,200 papers from the BPM conference and its workshops using Latent Dirichlet Allocation. This offers insights into historical developments in Business Process Management research and provides the community with potential future prospects.


title: Quantum magnetic properties and metal-to-insulator transition in chemically doped calcium ruthenate perovskite

abstract: Ruthenates provide comprehensive platform to study a plethora of novel properties, such as quantum magnetism, superconductivity and magnetic fluctuation mediated metal-insulator transition. In this article, we provide an overview of quantum mechanical phenomenology in calcium ruthenium oxide with varying compositions. While the stochiometric composition of CaRuO$_{3}$ exhibits non-Fermi liquid behavior with quasi-criticality, chemically doped compounds depict prominent signatures of quantum magnetic fluctuations at low temperature that in some cases are argued to mediate in metal-insulator transition. In the case of cobalt doped- CaRuO$_{3}$, an unusual continuum fluctuation is found to persist deep inside the glassy phase of the material. These observations reflect the richness of ruthenate research platform in the study of quantum magnetic phenomena of fundamental importance.


title: Learning Ultrasound Scanning Skills from Human Demonstrations

abstract: Recently, the robotic ultrasound system has become an emerging topic owing to the widespread use of medical ultrasound. However, it is still a challenging task to model and to transfer the ultrasound skill from an ultrasound physician. In this paper, we propose a learning-based framework to acquire ultrasound scanning skills from human demonstrations. First, the ultrasound scanning skills are encapsulated into a high-dimensional multi-modal model in terms of interactions among ultrasound images, the probe pose and the contact force. The parameters of the model are learned using the data collected from skilled sonographers' demonstrations. Second, a sampling-based strategy is proposed with the learned model to adjust the extracorporeal ultrasound scanning process to guide a newbie sonographer or a robot arm. Finally, the robustness of the proposed framework is validated with the experiments on real data from sonographers.


title: Interactive segmentation using U-Net with weight map and dynamic user interactions

abstract: Interactive segmentation has recently attracted attention for specialized tasks where expert input is required to further enhance the segmentation performance. In this work, we propose a novel interactive segmentation framework, where user clicks are dynamically adapted in size based on the current segmentation mask. The clicked regions form a weight map and are fed to a deep neural network as a novel weighted loss function. To evaluate our loss function, an interactive U-Net (IU-Net) model which applies both foreground and background user clicks as the main method of interaction is employed. We train and validate on the BCV dataset, while testing on spleen and colon cancer CT images from the MSD dataset to improve the overall segmentation accuracy in comparison to the standard U-Net using our weighted loss function. Applying dynamic user click sizes increases the overall accuracy by 5.60% and 10.39% respectively by utilizing only a single user interaction.


title: Patent Sentiment Analysis to Highlight Patent Paragraphs

abstract: Given a patent document, identifying distinct semantic annotations is an interesting research aspect. Text annotation helps the patent practitioners such as examiners and patent attorneys to quickly identify the key arguments of any invention, successively providing a timely marking of a patent text. In the process of manual patent analysis, to attain better readability, recognising the semantic information by marking paragraphs is in practice. This semantic annotation process is laborious and time-consuming. To alleviate such a problem, we proposed a novel dataset to train Machine Learning algorithms to automate the highlighting process. The contributions of this work are: i) we developed a multi-class, novel dataset of size 150k samples by traversing USPTO patents over a decade, ii) articulated statistics and distributions of data using imperative exploratory data analysis, iii) baseline Machine Learning models are developed to utilize the dataset to address patent paragraph highlighting task, iv) dataset and codes relating to this task are open-sourced through a dedicated GIT web page: https://github.com/Renuk9390/Patent_Sentiment_Analysis and v) future path to extend this work using Deep Learning and domain specific pre-trained language models to develop a tool to highlight is provided. This work assist patent practitioners in highlighting semantic information automatically and aid to create a sustainable and efficient patent analysis using the aptitude of Machine Learning.


title: Simultaneous broadband radio and optical emission of meteor trains imaged by LOFAR / AARTFAAC and CAMS

abstract: We report on simultaneous 30 - 60 MHz LOFAR / AARTFAAC12 radio observations and CAMS low-light video observations of +4 to -10 magnitude meteors at the peak of the Perseid meteor shower on August 12/13, 2020. 204 meteor trains were imaged in both the radio and optical domain. Aside from scattered artificial radio sources, we identify broadband radio emission from many persistent trains, one of which lingered for up to 6 minutes. Unexpectedly, fewer broadband radio meteor trains were recorded when the experiment was repeated during the 2020 Geminids and 2021 Quadrantids. Intrinsic broadband radio emission was reported earlier by the Long Wavelength Array, but for much brighter meteors and observed with lower spatial resolution. The new results offer insight into the unknown radio emission mechanism.


title: Evolutionary Algorithm for Graph Coloring Problem

abstract: The graph coloring problem (GCP) is one of the most studied NP-HARD problems in computer science. Given a graph , the task is to assign a color to all vertices such that no vertices sharing an edge receive the same color and that the number of used colors, is minimal. Different heuristic, meta-heuristic, machine learning and hybrid solution methods have been applied to obtain the solution. To solve this problem we use mutation of evolutionary algorithm. For this purpose we introduce binary encoding for Graph Coloring Problem. This binary encoding help us for mutation, evaluate, immune system and merge color easily and also reduce coloring dynamically. In the traditional evolutionary algorithm (EA) for graph coloring, k-coloring approach is used and the EA is run repeatedly until the lowest possible is reached. In our paper, we start with the theoretical upper bound of chromatic number, that is, maximum out-degree + 1 and in the process of evolution some of the colors are made unused to dynamically reduce the number of color in every generation. We test few standard DIMACS benchmark and compare resent paper. Maximum results are same as expected chromatic color and few data sets are larger than expected chromatic number


title: Covered Information Disentanglement: Model Transparency via Unbiased Permutation Importance

abstract: Model transparency is a prerequisite in many domains and an increasingly popular area in machine learning research. In the medical domain, for instance, unveiling the mechanisms behind a disease often has higher priority than the diagnostic itself since it might dictate or guide potential treatments and research directions. One of the most popular approaches to explain model global predictions is the permutation importance where the performance on permuted data is benchmarked against the baseline. However, this method and other related approaches will undervalue the importance of a feature in the presence of covariates since these cover part of its provided information. To address this issue, we propose Covered Information Disentanglement (CID), a method that considers all feature information overlap to correct the values provided by permutation importance. We further show how to compute CID efficiently when coupled with Markov random fields. We demonstrate its efficacy in adjusting permutation importance first on a controlled toy dataset and discuss its effect on real-world medical data.


title: Quantum Lattice Representation for the Curl Equations of Maxwell Equations

abstract: A quantum lattice representation (QLA) is devised for the initial value problem of one-dimensional (1D) propagation of an electromagnetic disturbance in a scalar dielectric medium satisfying directly only the two curl equations of Maxwell. It si found that only 4 qubits/node are required. The collision, streaming, and potential operators are determined so as to recover the two curl equations to second order. Both polarizations are considered.


title: The Picard Group of Vertex Affinoids in the First Drinfeld Covering

abstract: Let $F$ be a finite extension of $\mathbb{Q}_p$. Let $\Omega$ be the Drinfeld upper half plane, and $\Sigma^1$ the first Drinfeld covering of $\Omega$. We study the affinoid open subset $\Sigma^1_v$ of $\Sigma^1$ above a vertex of the Bruhat-Tits tree for $\text{GL}_2(F)$. Our main result is that $\text{Pic}(\Sigma^1_v)[p] = 0$, which we establish by showing that $\text{Pic}(\mathbf{Y})[p] = 0$ for $\mathbf{Y}$ the Deligne-Lusztig variety of $\text{SL}_2(\mathbb{F}_q)$. One formal consequence is a description of the representation $H^1_{\text{\'{e}t}}(\Sigma^1_v, \mathbb{Z}_p(1))$ of $\text{GL}_2(\mathcal{O}_F)$ as the $p$-adic completion of $\mathcal{O}(\Sigma^1_v)^\times$.


title: Hamming Distance Tolerant Content-Addressable Memory (HD-CAM) for Approximate Matching Applications

abstract: We propose a novel Hamming distance tolerant content-addressable memory (HD-CAM) for energy-efficient in memory approximate matching applications. HD-CAM implements approximate search using matchline charge redistribution rather than its rise or fall time, frequently employed in state of-the-art solutions. HD-CAM was designed in a 65 nm 1.2 V CMOS technology and evaluated through extensive Monte Carlo simulations. Our analysis shows that HD-CAM supports robust operation under significant process variations and changes in the design parameters, enabling a wide range of mismatch threshold (tolerable Hamming distance) levels and pattern lengths. HD-CAM was functionally evaluated for virus DNA classification, which makes HD-CAM suitable for hardware acceleration of genomic surveillance of viral outbreaks such as Covid-19 pandemics.


title: The Way to my Heart is through Contrastive Learning: Remote Photoplethysmography from Unlabelled Video

abstract: The ability to reliably estimate physiological signals from video is a powerful tool in low-cost, pre-clinical health monitoring. In this work we propose a new approach to remote photoplethysmography (rPPG) - the measurement of blood volume changes from observations of a person's face or skin. Similar to current state-of-the-art methods for rPPG, we apply neural networks to learn deep representations with invariance to nuisance image variation. In contrast to such methods, we employ a fully self-supervised training approach, which has no reliance on expensive ground truth physiological training data. Our proposed method uses contrastive learning with a weak prior over the frequency and temporal smoothness of the target signal of interest. We evaluate our approach on four rPPG datasets, showing that comparable or better results can be achieved compared to recent supervised deep learning methods but without using any annotation. In addition, we incorporate a learned saliency resampling module into both our unsupervised approach and supervised baseline. We show that by allowing the model to learn where to sample the input image, we can reduce the need for hand-engineered features while providing some interpretability into the model's behavior and possible failure modes. We release code for our complete training and evaluation pipeline to encourage reproducible progress in this exciting new direction.


title: Detecting Cross-Language Plagiarism using Open Knowledge Graphs

abstract: Identifying cross-language plagiarism is challenging, especially for distant language pairs and sense-for-sense translations. We introduce the new multilingual retrieval model Cross-Language Ontology-Based Similarity Analysis (CL-OSA) for this task. CL-OSA represents documents as entity vectors obtained from the open knowledge graph Wikidata. Opposed to other methods, CL-OSA does not require computationally expensive machine translation, nor pre-training using comparable or parallel corpora. It reliably disambiguates homonyms and scales to allow its application to Web-scale document collections. We show that CL-OSA outperforms state-of-the-art methods for retrieving candidate documents from five large, topically diverse test corpora that include distant language pairs like Japanese-English. For identifying cross-language plagiarism at the character level, CL-OSA primarily improves the detection of sense-for-sense translations. For these challenging cases, CL-OSA's performance in terms of the well-established PlagDet score exceeds that of the best competitor by more than factor two. The code and data of our study are openly available.


title: The self-consistent field iteration for p-spectral clustering

abstract: The self-consistent field (SCF) iteration, combined with its variants, is one of the most widely used algorithms in quantum chemistry. We propose a procedure to adapt the SCF iteration for the p-Laplacian eigenproblem, which is an important problem in the field of unsupervised learning. We formulate the p-Laplacian eigenproblem as a type of nonlinear eigenproblem with one eigenvector nonlinearity , which then allows us to adapt the SCF iteration for its solution after the application of suitable regularization techniques. The results of our numerical experiments confirm the viablity of our approach.


title: Conditional Neural Process for non-parametric modeling of AGN light curve

abstract: The consequences of complex disturbed environments in the vicinity of a supermassive black hole are not well represented by standard statistical models of optical variability in active galactic nuclei (AGN). Thus, developing new methodologies for investigating and modeling AGN light curves is crucial. Conditional Neural Processes (CNPs) are nonlinear function models that forecast stochastic time-series based on a finite amount of known data without the use of any additional parameters or prior knowledge (kernels). We provide a CNP algorithm that is specifically designed for simulating AGN light curves. It was trained using data from the All-Sky Automated Survey for Supernovae, which included 153 AGN. We present CNP modeling performance for a subsample of five AGNs with distinctive difficult-to-model properties. The performance of CNP in predicting temporal flux fluctuation was assessed using a minimizing loss function, and the results demonstrated the algorithm's usefulness. Our preliminary parallelization experiments show that CNP can efficiently handle large amounts of data. These results imply that CNP can be more effective than standard tools in modeling large volumes of AGN data (as anticipated from time-domain surveys such as the Vera C. Rubin Observatory's Legacy Survey of Space and Time).


title: Freezing and Thawing of Entanglement in Lossless Multiparty Systems

abstract: Entanglement freezing has been demonstrated existing in various noisy decoherence mechanisms. Here we explore its universality by investigating freezing behavior in a lossless multiparty system, i.e., an $N$-site optical lattice (or equivalently spin-chain) system. Interesting phenomenon of permanent entanglement freezing is found for the infinite-size case ($N\rightarrow\infty$). As the multiparty system size reduces to finite $N$, the interesting behavior of dynamical entanglement "thawing" start to emerge. Especifically, alternative appearances of "freezing" and "thawing" can be identified as time evolves. Our results may provide useful guidance to entanglement control in quantum tasks.


title: Efficient single-photon pair generation by spontaneous parametric down-conversion in nonlinear plasmonic metasurfaces

abstract: Spontaneous parametric down-conversion (SPDC) is one of the most versatile nonlinear optical techniques for the generation of entangled and correlated single-photon pairs. However, it suffers from very poor efficiency leading to extremely weak photon generation rates. Here we propose a plasmonic metasurface design based on silver nanostripes combined with a bulk lithium niobate (LiNbO3) crystal to realize a new scalable, ultrathin, and efficient SPDC source. By coinciding fundamental and higher order resonances of the metasurface with the generated signal and idler frequencies, respectively, the electric field in the nonlinear media is significantly boosted. This leads to a substantially enhancement in the SPDC process which, subsequently, by using the quantum-classical correspondence principle, translates to very high photon-pair generation rates. The emitted radiation is highly directional and perpendicular to the metasurface on the contrary to relevant dielectric structures. The incorporation of circular polarized excitation further increases the photon-pair generation efficiency. The presented work will lead to the design of new efficient ultrathin SPDC single-photon nanophotonic sources working at room temperature that are expected to be critical components in free-space quantum optical communications. In a more general context, our findings can find various applications in the emerging field of quantum plasmonics.


title: Twin Spotlight Beam Generation in Quadratic Crystals

abstract: Optical rogue waves have been extensively studied in the past two decades. However, observations of multidimensional extreme wave events remain surprisingly scarce. In this work we present the experimental demonstration of the spontaneous generation of spatially localized two-dimensional beams in a quadratic nonlinear crystal, which are composed by twin components at the fundamental and the second-harmonic frequencies. These localized spots of light emerge from a wide background beam, and eventually disappear as the laser beam intensity is progressively increased.


title: Poincar\'e Inequality Meets Brezis--Van Schaftingen--Yung Formula on Metric Measure Spaces

abstract: Let $(\mathcal{X}, \rho, \mu)$ be a metric measure space of homogeneous type which supports a certain Poincar\'e inequality. Denote by the symbol $\mathcal{C}_{\mathrm{c}}^\ast(\mathcal{X})$ the space of all continuous functions $f$ with compact support satisfying that $\operatorname{Lip} f:=\limsup _{r \rightarrow 0} \sup_{y\in B(\cdot, r)} |f(\cdot)-f(y)|/r$ is also a continuous function with compact support and $\operatorname{Lip} f=\lim _{r \rightarrow 0} \sup_{y\in B(\cdot, r)} |f(\cdot)-f(y)|/r$ converges uniformly. Let $p \in[1,\infty)$. In this article, the authors prove that, for any $f\in\mathcal{C}_{\mathrm{c}}^\ast(\mathcal{X})$, \begin{align*} &\sup_{\lambda\in(0,\infty)}\lambda^p\int_{\mathcal{X}} \mu\left(\left\{y\in \mathcal{X}:\ |f(x)-f(y)|>\lambda \rho(x,y) [V(x,y)]^{\frac 1p}\right\}\right)\, d\mu(x)\\ &\quad\sim \int_{{\mathcal{X}}} [\operatorname{Lip}f(x)]^p \,d\mu(x) \end{align*} with the positive equivalence constants independent of $f$, where $V(x,y):=\mu(B(x,\rho(x,y)))$. This generalizes a recent surprising formula of H. Brezis, J. Van Schaftingen, and P.-L. Yung from the $n$-dimensional Euclidean space ${\mathbb R}^n$ to $\mathcal{X}$. Applying this generalization, the authors establish new fractional Sobolev and Gagliardo--Nirenberg inequalities in $\mathcal{X}$. All these results have a wide range of applications. Particularly, when applied to two concrete examples, namely, ${\mathbb R}^n$ with weighted Lebesgue measure and the complete $n$-dimensional Riemannian manifold with non-negative Ricci curvature, all these results are new. The proofs of these results strongly depend on the geometrical relation of differences and derivatives in the metric measure space and the Poincar\'e inequality.


title: Deterministic quantum phase estimation beyond the ideal NOON state limit

abstract: The measurement of physical parameters is one of the main pillars of science. A classic example is the measurement of the optical phase enabled by optical interferometry where the best sensitivity achievable with N photons scales as 1/N - known as the Heisenberg limit . To achieve phase estimation at the Heisenberg limit, it has been common to consider protocols based on highly complex NOON states of light. However, despite decades of research and several experimental explorations, there has been no demonstration of deterministic phase estimation with NOON states reaching the Heisenberg limit or even surpassing the shot noise limit. Here we use a phase estimation scheme based on a deterministic source of Gaussian squeezed vacuum states and high-efficiency homodyne detection to obtain phase estimates with an extreme sensitivity that significantly surpasses the shot noise limit and even beats the performance of an ideal, and thus unrealistic, NOON state protocol. Using a high-efficiency setup with a total loss of about 11% we achieve a Fisher Information of 15.8(6) rad^2 per photon unparalleled by any other optical phase estimation technology. The work represents a fundamental achievement in quantum metrology, and it opens the door to future quantum sensing technologies for the interrogation of light-sensitive biological systems.


title: Resolvent splitting with minimal lifting for composite monotone inclusions

abstract: In this paper we propose a resolvent splitting with minimal lifting for finding a zero of the sum of $n\ge 2$ maximally monotone operators involving the composition with a linear bounded operator. The resolvent of each monotone operator, the linear operator, and its adjoint are computed exactly once in the proposed algorithm. In the case when the linear operator is the identity, we recover the resolvent splitting with minimal lifting developed in Malitsky-Tam (2021). We also derive a new resolvent splitting for solving the composite monotone inclusion in the case $n=2$ with minimal $1-$fold lifting.


title: CSI Clustering with Variational Autoencoding

abstract: The model order of a wireless channel plays an important role for a variety of applications in communications engineering, e.g., it represents the number of resolvable incident wavefronts with non-negligible power incident from a transmitter to a receiver. Areas such as direction of arrival estimation leverage the model order to analyze the multipath components of channel state information. In this work, we propose to use a variational autoencoder to group unlabeled channel state information with respect to the model order in the variational autoencoder latent space in an unsupervised manner. We validate our approach with simulated 3GPP channel data. Our results suggest that, in order to learn an appropriate clustering, it is crucial to use a more flexible likelihood model for the variational autoencoder decoder than it is usually the case in standard applications.


title: The quadric ansatz for the $mn$-dispersionless KP equation, and supersymmetric Einstein-Weyl spaces

abstract: We consider two multi-dimensional generalisations of the dispersionless Kadomtsev-Petviashvili (dKP) equation, both allowing for arbitrary dimensionality, and non-linearity. For one of these generalisations, we characterise all solutions which are constant on a central quadric. The quadric ansatz leads to a second order ODE which is equivalent to Painleve I or II for the dKP equation, but fails to pass the Painlev\'e test in higher dimensions. The second generalisation of the dKP equation leads to a class of Einstein-Weyl structures in an arbitrary dimension, which is characterised by the existence of a weighted parallel vector field, together with further holonomy reduction. We construct and characterise an explicit new family of Einstein-Weyl spaces belonging to this class, and depending on one arbitrary function of one variable.


title: Electron energy loss spectroscopy of bulk gold with ultrasoft pseudopotentials and the Liouville-Lanczos method

abstract: The implementation of ultrasoft pseudopotentials into time-dependent density-functional perturbation theory is detailed for both the Sternheimer approach and the Liouville-Lanczos (LL) method, and equations are presented in the scalar relativistic approximation for periodic solids with finite momentum transfer q. The LL method is applied to calculations of the electron energy loss (EEL) spectrum of face-centered cubic bulk Au both at vanishing and finite q. Our study reveals the richness of the physics underlying the various contributions to the density fluctuation in gold. In particular, our calculations suggest the existence in gold of two quasi-separate 5d and 6s electron gasses, each one oscillating with its own frequency at resp. 5.1 eV and 10.2 eV. We find that the contribution near 2.2 eV comes from 5d to 6s interband transitions modified by the intraband contribution to the real part of the dielectric function, which we call a mixed excitation.


title: Effect of boron nitride defects and charge inhomogeneity on 1/f noise in encapsulated graphene

abstract: Low frequency 1/f noise is investigated in graphene, encapsulated between hexagonal boron nitride (hBN) substrate in dual gated geometry. The overall noise magnitude is smaller as compared to graphene on Si/SiO2 substrate. The noise amplitude in the hole doped region is independent of carrier density while in the electron doped region, a pronounced peak is observed, at Fermi energy, EF ~ 90 meV. The physical mechanism of the anomalous noise peak in the electron doped region is attributed to the impurity states originating from the Carbon atom replacing the Nitrogen site in hBN crystal. Furthermore, the noise study near Dirac point shows characteristic "M-shape", which is found to be strongly correlated with the charge inhomogeneity region near Dirac point.


title: Hybrid Super Intelligence and Polymetric Analysis

abstract: The problem of possible applications Polymetric Analysis for the resolution problems of artificial Intelligence is discussed. As example the hybrid super intelligence system by N. Moiseev type was selected. The bond between polymetric analysis and hybrid super intelligence system was shown. In operational sense polymetric analysis is more general system. Therefore main principles of Moiseev concept may be unify with the help of polymetric analysis. Main peculiarities of this unification are analyzed.


title: Confinement-induced accumulation and spontaneous de-mixing of microscopic active-passive mixtures

abstract: Understanding the out-of-equilibrium properties of noisy microscale systems and the extent to which they can be modulated externally, is a crucial scientific and technological challenge. It holds the promise to unlock disruptive new technologies ranging from targeted delivery of chemicals within the body to directed assembly of new materials. Here we focus on how active matter can be harnessed to transport passive microscopic systems in a statistically predictable way. Using a minimal active-passive system of weakly Brownian particles and swimming microalgae, we show that spatial confinement leads to a complex non-monotonic steady-state distribution of colloids, with a pronounced peak at the boundary. The particles' emergent active dynamics is well captured by a space-dependent Poisson process resulting from the space-dependent motion of the algae. Based on our findings, we then realise experimentally the spontaneous de-mixing of the active-passive suspension, opening the way for manipulating colloidal objects via controlled activity fields.


title: Compositional Studies of Metals with Complex Order by means of the Optical Floating-Zone Technique

abstract: The availability of large high-quality single crystals is an important prerequisite for many studies in solid-state research. The optical floating-zone technique is an elegant method to grow such crystals, offering potential to prepare samples that may be hardly accessible with other techniques. As elaborated in this report, examples include single crystals with intentional compositional gradients, deliberate off-stoichiometry, or complex metallurgy. For the cubic chiral magnets Mn$_{1-x}$Fe$_{x}$Si and Fe$_{1-x}$Co$_{x}$Si, we prepared single crystals in which the composition was varied during growth from $x = 0 - 0.15$ and from $x = 0.1 - 0.3$, respectively. Such samples allowed us to efficiently study the evolution of the magnetic properties as a function of composition, as demonstrated by means of neutron scattering. For the archetypical chiral magnet MnSi and the itinerant antiferromagnet CrB$_{2}$, we grew single crystals with varying initial manganese (0.99 to 1.04) and boron (1.95 to 2.1) content. Measurements of the low-temperature properties addressed the correlation between magnetic transition temperature and sample quality. Furthermore, we prepared single crystals of the diborides ErB$_{2}$, MnB$_{2}$, and VB$_{2}$. In addition to high vapor pressures, these materials suffer from peritectic formation, potential decomposition, and high melting temperature, respectively.


title: Boundary $C^{2, \alpha}$ Regularity for the Oblique Boundary Value Problem of Monge-Amp\`ere Equations

abstract: We study the good shape property of boundary sections of convex solutions of the oblique boundary value problem for Monge-Amp\`ere equations $$\det D^2u =f(x) \text{ in } \Omega , \quad D_{\beta}u = \phi(x) \text{ on } \partial \Omega.$$ In the two-dimensional case, we prove the global $C^{2,\alpha}$ estimate for the solution. When the dimension $n \geq 3$, we show that this estimate still holds if the solution is bounded from above by a quadratic function in the tangent direction. We also obtain an existence result for the convex solution of Monge-Amp\`ere equations with Robin oblique boundary conditions.


title: Untangling Circular Drawings: Algorithms and Complexity

abstract: We consider the problem of untangling a given (non-planar) straight-line circular drawing $\delta_G$ of an outerplanar graph $G=(V, E)$ into a planar straight-line circular drawing by shifting a minimum number of vertices to a new position on the circle. For an outerplanar graph $G$, it is clear that such a crossing-free circular drawing always exists and we define the circular shifting number shift$(\delta_G)$ as the minimum number of vertices that are required to be shifted in order to resolve all crossings of $\delta_G$. We show that the problem Circular Untangling, asking whether shift$(\delta_G) \le K$ for a given integer $K$, is NP-complete. For $n$-vertex outerplanar graphs, we obtain a tight upper bound of shift$(\delta_G) \le n - \lfloor\sqrt{n-2}\rfloor -2$. Based on these results we study Circular Untangling for almost-planar circular drawings, in which a single edge is involved in all the crossings. In this case, we provide a tight upper bound shift$(\delta_G) \le \lfloor \frac{n}{2} \rfloor-1$ and present a constructive polynomial-time algorithm to compute the circular shifting number of almost-planar drawings.


title: Searching for Superconductivity in High Entropy Oxide Ruddlesden-Popper Cuprate Films

abstract: In this work, the high entropy oxide A2CuO4 Ruddlesden-Popper (La0.2Pr0.2Nd0.2Sm0.2Eu0.2)2CuO4 is explored by charge doping with Ce+4 and Sr+2 at concentrations known to induce superconductivity in the simple parent compounds, Nd2CuO4 and La2CuO4. Electron doped (La0.185Pr0.185Nd0.185Sm0.185Eu0.185Ce0.075)2CuO4 and hole doped (La0.18Pr0.18Nd0.18Sm0.18Eu0.18Sr0.1)2CuO4 are synthesized and shown to be single crystal, epitaxially strained, and highly uniform. Transport measurements demonstrate that all as-grown films are insulating regardless of doping. Annealing studies show that resistivity can be tuned by modifying oxygen stoichiometry and inducing metallicity but without superconductivity. These results in turn are connected to extended x-ray absorption fine structure (EXAFS) results indicating that the lack of superconductivity in the high entropy cuprates likely originates from a large distortion within the Cu-O plane ({\sigma}2>0.015 {\AA}2) due to A-site cation size variance, which drives localization of charge carriers. These findings describe new opportunities for controlling charge- and orbital-mediated functional responses in Ruddlesden-Popper crystal structures, driven by balancing of cation size and charge variances that may be exploited for functionally important behaviors such as superconductivity, antiferromagnetism, and metal-insulator transitions, while opening less understood phase spaces hosting doped Mott insulators, strange metals, quantum criticality, pseudogaps, and ordered charge density waves.


title: Complex Terrain Navigation via Model Error Prediction

abstract: Robot navigation traditionally relies on building an explicit map that is used to plan collision-free trajectories to a desired target. In deformable, complex terrain, using geometric-based approaches can fail to find a path due to mischaracterizing deformable objects as rigid and impassable. Instead, we learn to predict an estimate of traversability of terrain regions and to prefer regions that are easier to navigate (e.g., short grass over small shrubs). Rather than predicting collisions, we instead regress on realized error compared to a canonical dynamics model. We train with an on-policy approach, resulting in successful navigation policies using as little as 50 minutes of training data split across simulation and real world. Our learning-based navigation system is a sample efficient short-term planner that we demonstrate on a Clearpath Husky navigating through a variety of terrain including grassland and forest


title: Nijenhuis tensor and invariant polynomials

abstract: We discuss the diagonalization problem of the Nijenhuis tensor in a class of Poisson-Nijenhuis structures defined on compact hermitian symmetric spaces. We study its action on the ring of invariant polynomials of a Thimm chain of subalgebras. The existence of $\phi$-minimal representations defines a suitable basis of invariant polynomials that completely solves the diagonalization problem. We prove that such representations exist in the classical cases AIII, BDI, DIII and CI, and do not exist in the exceptional cases EIII and EVII. We discuss a second general construction that in these two cases computes partially the spectrum and hints at a different behavior with respect to the classical cases.


title: Nonlocal sets of orthogonal multipartite product states with less members

abstract: We study the constructions of nonlocal orthogonal product states in multipartite systems that cannot be distinguished by local operations and classical communication. We first present two constructions of nonlocal orthogonal product states in tripartite systems $\mathcal{C}^{d}\otimes\mathcal{C}^{d}\otimes\mathcal{C}^{d}~(d\geq3)$ and $\mathcal{C}^d\otimes \mathcal{C}^{d+1}\otimes \mathcal{C}^{d+2}~(d\geq 3)$. Then for general tripartite quantum system $\mathcal{C}^{n_{1}}\otimes\mathcal{C}^{n_{2}}\otimes\mathcal{C}^{n_{3}}$ $(3\leq n_{1}\leq n_{2}\leq n_{3})$, we obtain $2(n_{2}+n_{3}-1)-n_{1}$ nonlocal orthogonal product states. Finally, we put forward a new construction approach in $\mathcal{C}^{d_{1}}\otimes \mathcal{C}^{d_{2}}\otimes\cdots\otimes \mathcal{C}^{d_{n}}$ $(d_1,d_2,\cdots d_n\geq3,\, n>6)$ multipartite systems. Remarkably, our indistinguishable sets contain less nonlocal product states than the existing ones, which improves the recent results and highlights their related applications in quantum information processing.


title: Transformer-S2A: Robust and Efficient Speech-to-Animation

abstract: We propose a novel robust and efficient Speech-to-Animation (S2A) approach for synchronized facial animation generation in human-computer interaction. Compared with conventional approaches, the proposed approach utilizes phonetic posteriorgrams (PPGs) of spoken phonemes as input to ensure the cross-language and cross-speaker ability, and introduces corresponding prosody features (i.e. pitch and energy) to further enhance the expression of generated animation. Mixture-of-experts (MOE)-based Transformer is employed to better model contextual information while provide significant optimization on computation efficiency. Experiments demonstrate the effectiveness of the proposed approach on both objective and subjective evaluation with 17x inference speedup compared with the state-of-the-art approach.


title: Robust quantum-network memory based on spin qubits in isotopically engineered diamond

abstract: Quantum networks can enable long-range quantum communication and modular quantum computation. A powerful approach is to use multi-qubit network nodes which provide the quantum memory and computational power to perform entanglement distillation, quantum error correction, and information processing. Nuclear spins associated with optically-active defects in diamond are promising qubits for this role. However, their dephasing during entanglement distribution across the optical network hinders scaling to larger systems. In this work, we show that a single 13C spin in isotopically engineered diamond offers a long-lived quantum memory that is robust to the optical link operation of an NV centre. The memory lifetime is improved by two orders-of-magnitude upon the state-of-the-art, and exceeds the best reported times for remote entanglement generation. We identify ionisation of the NV centre as a newly limiting decoherence mechanism. As a first step towards overcoming this limitation, we demonstrate that the nuclear spin state can be retrieved with high fidelity after a complete cycle of ionisation and recapture. Finally, we use numerical simulations to show that the combination of this improved memory lifetime with previously demonstrated entanglement links and gate operations can enable key primitives for quantum networks, such as deterministic non-local two-qubit logic operations and GHZ state creation across four network nodes. Our results pave the way for test-bed quantum networks capable of investigating complex algorithms and error correction.


title: Mean-Variance-VaR portfolios: MIQP formulation and performance analysis

abstract: Value-at-Risk is one of the most popular risk management tools in the financial industry. Over the past 20 years several attempts to include VaR in the portfolio selection process have been proposed. However, using VaR as a risk measure in portfolio optimization models leads to problems that are computationally hard to solve. In view of this, few practical applications of VaR in portfolio selection have appeared in the literature up to now. In this paper, we propose to add the VaR criterion to the classical Mean-Variance approach in order to better address the typical regulatory constraints of the financial industry. We thus obtain a portfolio selection model characterized by three criteria: expected return, variance, and VaR at a specified confidence level. The resulting optimization problem consists in minimizing variance with parametric constraints on the levels of expected return and VaR. This model can be formulated as a Mixed-Integer Quadratic Programming (MIQP) problem. An extensive empirical analysis on seven real-world datasets demonstrates the practical applicability of the proposed approach. Furthermore, the out-of-sample performance of the optimal Mean-Variance-VaR portfolios seems to be generally better than that of the optimal Mean-Variance and Mean-VaR portfolios.


title: Assessing Gender Bias in Particle Physics and Social Science Recommendations for Academic Jobs

abstract: We investigated gender bias in letters of recommendation as a possible cause of the under-representation of women in Experimental Particle Physics (EPP), where about 15% of faculty are female -- well below the 60% level in psychology and sociology. We analyzed 2,206 letters in EPP and these social sciences using standard lexical measures as well as two new measures: author status and an open-ended search for gendered language. In contrast to former studies, women were not depicted as more communal, less agentic, or less standout. Lexical measures revealed few gender differences in either discipline. The open-ended analysis revealed disparities favoring women in social science and men in EPP. However, female EPP candidates were characterized as "brilliant" in nearly three times as many letters as men.


title: Charged-particle optical potentials tested by first direct measurement of 59Cu(p,alpha)56Ni reaction

abstract: Due consideration of proton optical--model potential (OMP) anomalies at sub-Coulomb energies for medium--weight nuclei is shown to be critical for the analysis of the unprecedented measurement of $^{59}$Cu$(p,\alpha)^{56}$Ni reaction cross section at an energy of $\sim$6 MeV [Phys. Rev. C {\bf 104}, L042801 (2021)]. The variation in predicted cross sections from standard statistical--model calculations and the cross--section range corresponding to the anomalous proton imaginary--potential depth, for target nuclei off the line of stability, are distinct and well separated. Consequently, the new measurement provides, under unique conditions, tests of proton isoscalar and isovector real--potential components, the anomalous imaginary potential, as well as previous alpha-particle OMP, for nuclei off the line of stability.


title: Multidimensional imaging reveals mechanisms controlling label-free biosensing in vertical 2DM-heterostructures

abstract: Two-dimensional materials and their van der Waals heterostructures enable a large range of applications, including label-free biosensing. Lattice mismatch and work function difference in the heterostructure material result in strain and charge transfer, often varying at nanometer scale, that influence device performance. In this work, a multidimensional optical imaging technique is developed in order to map sub-diffractional distributions for doping and strain and understand the role of those for modulation of electronic properties of the material. As an example, vertical heterostructure comprised of monolayer graphene and single layer flakes of transition metal dichalcogenide MoS$_2$ is fabricated and used for biosensing. Herein, an optical label-free detection of doxorubicin, a common cancer drug, is reported via three independent optical detection channels (photoluminescence shift, Raman shift and Graphene Enhanced Raman Scattering). Non-uniform broadening of components of multimodal signal correlates with the statistical distribution of local optical properties of the heterostructure. Multidimensional nanoscale imaging allows one to reveal the physical origin for such a local response and propose the best strategy for mitigation of materials variability and future device fabrication.


title: The $a$-numbers of non-hyperelliptic curves of genus 3 with cyclic automorphism group of order 6

abstract: In this paper, we study non-hyperelliptic curves of genus $3$ with cyclic automorphism group of order $6$. Over an algebraically closed field $K$ of characteristic $\neq 2,3$, such curves are written as plane quartics $C_r: x^3 z + y^4 + r y^2 z^2 + z^4 = 0$ with one parameter $r$. As the first main theorem, we show that $r\neq 0,\pm 2$ and give a necessary and sufficient condition with respect to $r$ and $r'$ such that $C_r \cong C_{r'}$. By describing the Hasse-Witt matrix of $C_r$ in terms of a certain Gauss' hypergeometric series, we obtain the second main theorem, where we determine the possible $a$-number of $C_r$, and give the exact number of isomorphism classes over $K$ of such curves attaining the possible maximal $a$-number.


title: Smooth $\mathbb{Q}$-homology planes satisfying the Negativity Conjecture

abstract: A complex algebraic surface $S$ is a $\mathbb{Q}$-homology plane if $H_{i}(S,\mathbb{Q})=0$ for $i>0$. The Negativity Conjecture of Palka asserts that $\kappa(K_{X}+\tfrac{1}{2}D)=-\infty$, where $(X,D)$ is a log smooth completion of $S$. We give a complete description of smooth $\mathbb{Q}$-homology planes satisfying the Negativity Conjecture. We restrict our attention to those of log general type, as otherwise their geometry is well understood. We show that, as conjectured by tom Dieck and Petrie, they can be arranged in finitely many discrete series, each obtained in a uniform way from an arrangement of lines and conics on $\mathbb{P}^{2}$. We infer that these surfaces satisfy the Rigidity Conjecture of Flenner and Zaidenberg; and a conjecture of Koras, which asserts that $\#\operatorname{Aut}(S)\leq 6$.


title: Wiggling Weights to Improve the Robustness of Classifiers

abstract: Robustness against unwanted perturbations is an important aspect of deploying neural network classifiers in the real world. Common natural perturbations include noise, saturation, occlusion, viewpoint changes, and blur deformations. All of them can be modelled by the newly proposed transform-augmented convolutional networks. While many approaches for robustness train the network by providing augmented data to the network, we aim to integrate perturbations in the network architecture to achieve improved and more general robustness. To demonstrate that wiggling the weights consistently improves classification, we choose a standard network and modify it to a transform-augmented network. On perturbed CIFAR-10 images, the modified network delivers a better performance than the original network. For the much smaller STL-10 dataset, in addition to delivering better general robustness, wiggling even improves the classification of unperturbed, clean images substantially. We conclude that wiggled transform-augmented networks acquire good robustness even for perturbations not seen during training.


title: Locally Learned Synaptic Dropout for Complete Bayesian Inference

abstract: The Bayesian brain hypothesis postulates that the brain accurately operates on statistical distributions according to Bayes' theorem. The random failure of presynaptic vesicles to release neurotransmitters may allow the brain to sample from posterior distributions of network parameters, interpreted as epistemic uncertainty. It has not been shown previously how random failures might allow networks to sample from observed distributions, also known as aleatoric or residual uncertainty. Sampling from both distributions enables probabilistic inference, efficient search, and creative or generative problem solving. We demonstrate that under a population-code based interpretation of neural activity, both types of distribution can be represented and sampled with synaptic failure alone. We first define a biologically constrained neural network and sampling scheme based on synaptic failure and lateral inhibition. Within this framework, we derive drop-out based epistemic uncertainty, then prove an analytic mapping from synaptic efficacy to release probability that allows networks to sample from arbitrary, learned distributions represented by a receiving layer. Second, our result leads to a local learning rule by which synapses adapt their release probabilities. Our result demonstrates complete Bayesian inference, related to the variational learning method of dropout, in a biologically constrained network using only locally-learned synaptic failure rates.


title: Theoretical Distributions of Short-Lived Radionuclides for Star Formation in Molecular Clouds

abstract: Short-lived radioactive nulcei (half-life $\tau_{1/2}\sim1$ Myr) influence the formation of stars and planetary systems by providing sources of heating and ionization. Whereas many previous studies have focused on the possible nuclear enrichment of our own Solar System, the goal of this paper is to estimate the distributions of short-lived radionuclides (SLRs) for the entire population of stars forming within a molecular cloud. Here we focus on the nuclear species $^{60}$Fe and $^{26}$Al, which have the largest impact due to their relatively high abundances. We construct molecular cloud models and include nuclear contributions from both supernovae and stellar winds. The resulting distributions of SLRs are time dependent with widths of $\sim3$ orders of magnitude and mass fractions $\rho_{\scriptstyle SLR}/\rho_\ast\sim10^{-11}-10^{-8}$. Over the range of scenarios explored herein, the SLR distributions show only modest variations with the choice of cloud structure (fractal dimension), star formation history, and cluster distribution. The most important variation arises from the diffusion length scale for the transport of SLRs within the cloud. The expected SLR distributions are wide enough to include values inferred for the abundances in our Solar System, although most of the stars are predicted to have smaller enrichment levels. In addition, the ratio of $^{60}$Fe/$^{26}$Al is predicted to be greater than unity, on average, in contrast to Solar System results. One explanation for this finding is the presence of an additional source for the $^{26}$Al isotope.


title: Survey: Homogeneous Einstein Manifolds

abstract: This survey builds on the two surveys by Wang and Lauret written almost a decade ago to give the current state of affairs regarding homogeneous Einstein spaces.


title: Doubly heavy baryons in Born-Oppenheimer EFT

abstract: We report on the recent progress on the computation of the doubly heavy baryon spectrum in effective field theory. The effective field theory is built upon the heavy-quark mass and adiabatic expansions. The potentials can be expressed as NRQCD Wilson loops with operator insertions. These are nonperturbative objects and so far only the one corresponding to the static potential has been computed with lattice QCD. We review the proposal for a parametrization of the potentials based in an interpolation between the short- and long-distance regimes. The long-distance description is obtained with a newly proposed Effective String Theory which coincides with the previous ones for pure gluodynamics but it is extended to contain a fermion field. We show the doubly heavy baryon spectrum with hyperfine contributions obtained using these parametrizations for the hyperfine potentials.


title: Reflection theorems for number rings generalizing the Ohno-Nakagawa identity

abstract: The Ohno-Nakagawa (O-N) reflection theorem is an unexpectedly simple identity relating the number of $\mathrm{GL}_2 \mathbb{Z}$-classes of binary cubic forms (equivalently, cubic rings) of two different discriminants $D$, $-27D$; it generalizes cubic reciprocity and the Scholz reflection theorem. In this paper, we present a new approach to this theorem using Fourier analysis on the adelic cohomology $H^1(\mathbb{A}_K, M)$ of a finite Galois module, modeled after the celebrated Fourier analysis on $\mathbb{A}_K$ used in Tate's thesis. This method reduces reflection theorems of O-N type to local identities. We establish reflection theorems of O-N type for cubic forms and rings over arbitrary number fields, and also for quadratic forms counting by a peculiar invariant $a(b^2 - 4ac)$. We also find relations for the number of forms over $\mathbb{Z}[1/N]$ and for forms of highly non-squarefree discriminant (discriminant reduction). In a sequel to this paper, we will deal with reflection theorems for quartic rings, $2\times 3\times 3$ symmetric boxes, and binary quartic forms. In these cases the local step is much more involved.


title: DIVA: Dataset Derivative of a Learning Task

abstract: We present a method to compute the derivative of a learning task with respect to a dataset. A learning task is a function from a training set to the validation error, which can be represented by a trained deep neural network (DNN). The "dataset derivative" is a linear operator, computed around the trained model, that informs how perturbations of the weight of each training sample affect the validation error, usually computed on a separate validation dataset. Our method, DIVA (Differentiable Validation) hinges on a closed-form differentiable expression of the leave-one-out cross-validation error around a pre-trained DNN. Such expression constitutes the dataset derivative. DIVA could be used for dataset auto-curation, for example removing samples with faulty annotations, augmenting a dataset with additional relevant samples, or rebalancing. More generally, DIVA can be used to optimize the dataset, along with the parameters of the model, as part of the training process without the need for a separate validation dataset, unlike bi-level optimization methods customary in AutoML. To illustrate the flexibility of DIVA, we report experiments on sample auto-curation tasks such as outlier rejection, dataset extension, and automatic aggregation of multi-modal data.


title: Irreducibility over the Max-Min Semiring

abstract: For sets $A, B\subset \mathbb N$, their sumset is $A + B := \{a+b: a\in A, b\in B\}$. If we cannot write a set $C$ as $C = A+B$ with $|A|, |B|\geq 2$, then we say that $C$ is $\textit{irreducible}$. The question of whether a given set $C$ is irreducible arises naturally in additive combinatorics. Equivalently, we can formulate this question as one about the irreducibility of boolean polynomials, which has been discussed in previous work by K. H. Kim and F. W. Roush (2005) and Y. Shitov (2014). We prove results about the irreducibility of polynomials and power series over the max-min semiring, a natural generalization of the boolean polynomials. We use combinatorial and probabilistic methods to prove that almost all polynomials are irreducible over the max-min semiring, generalizing work of Y. Shitov (2014) and proving a 2011 conjecture by D. L. Applegate, M. Le Brun, and N. J. A. Sloane. Furthermore, we use measure-theoretic methods and apply Borel's result on normal numbers to prove that almost all power series are asymptotically irreducible over the max-min semiring. This result generalizes work of E. Wirsing (1953).


title: Near-Optimal Quantum Algorithms for Multivariate Mean Estimation

abstract: We propose the first near-optimal quantum algorithm for estimating in Euclidean norm the mean of a vector-valued random variable with finite mean and covariance. Our result aims at extending the theory of multivariate sub-Gaussian estimators to the quantum setting. Unlike classically, where any univariate estimator can be turned into a multivariate estimator with at most a logarithmic overhead in the dimension, no similar result can be proved in the quantum setting. Indeed, Heinrich ruled out the existence of a quantum advantage for the mean estimation problem when the sample complexity is smaller than the dimension. Our main result is to show that, outside this low-precision regime, there is a quantum estimator that outperforms any classical estimator. Our approach is substantially more involved than in the univariate setting, where most quantum estimators rely only on phase estimation. We exploit a variety of additional algorithmic techniques such as amplitude amplification, the Bernstein-Vazirani algorithm, and quantum singular value transformation. Our analysis also uses concentration inequalities for multivariate truncated statistics. We develop our quantum estimators in two different input models that showed up in the literature before. The first one provides coherent access to the binary representation of the random variable and it encompasses the classical setting. In the second model, the random variable is directly encoded into the phases of quantum registers. This model arises naturally in many quantum algorithms but it is often incomparable to having classical samples. We adapt our techniques to these two settings and we show that the second model is strictly weaker for solving the mean estimation problem. Finally, we describe several applications of our algorithms, notably in measuring the expectation values of commuting observables and in the field of machine learning.

categories: quant-ph cs.CC cs.DS math.ST stat.ML stat.TH


title: VLA proper motion constraints on the origin, age, and potential magnetar future of PSR J1734$-$3333

abstract: The characteristic age of PSR J1734$-$3333 estimated from its current spin down rate implies that it is a young pulsar ($\tau_c<10$ kyr). But the time derivative of its spin down rate differs markedly from that assumed for normal radio pulsars, meaning its actual age is uncertain. G354.8$-$0.8 is a supernova remnant (SNR) whose centre is located 21 arcmin away of the pulsar, and with a morphology that suggests an association with the pulsar. We want to assess the likelihood of the association between PSR J1734$-$3333 and G354.8$-$0.8 or other nearby supernova remnants quantitatively, with the objective of shedding light on the real age of this pulsar. Observations with the Karl G. Jansky Very Large Array were carried out in 2015 and 2019 that allow precise astrometric measurements and consequently a proper motion estimate for the pulsar. The proper motion was found to be $\mu_\alpha=10\pm10$ mas yr$^{-1}$ and $\mu_\delta=-29\pm11$ mas yr$^{-1}$ (error bars are $1$-$\sigma$). Though marginal, this detection rules out the association with G354.8$-$0.8 because it means the pulsar is not moving away from the centre of the SNR. No SNR consistent with the measured proper motion and an age $\sim\tau_c$ could be found. We also present the first measurement of the spectral index for this pulsar, $\alpha=-1.1\pm0.3$, measured between $1.5$ and $3.0$ GHz. The SNR produced by the birth supernova of PSR J1734$-$3333 could have already faded to undetectable brightness, for which estimates suggest timescales of $10$-$100$ kyr. This and other considerations lead us to conclude that the pulsar is possibly older than $45$-$100$ kyr. PSR J1734$-$3333 is a pulsar with rotational properties that place it between standard radio pulsars and magnetars, and we interpret our result in the context of a possible future life as a magnetar for this pulsar.