title: Hardy Spaces Associated with Ball Quasi-Banach Function Spaces on Spaces of Homogeneous Type: Characterizations of Maximal Functions, Decompositions, and Dual Spaces

abstract: Let $({\mathcal X},\rho,\mu)$ be a space of homogeneous type in the sense of Coifman and Weiss, and $Y({\mathcal X})$ a ball quasi-Banach function space on ${\mathcal X}$, which supports a Fefferman--Stein vector-valued maximal inequality, and the boundedness of the powered Hardy--Littlewood maximal operator on its associate space. The authors first introduce the Hardy space $H_{Y}^*({\mathcal X})$, associated with $Y({\mathcal X})$, via the grand maximal function, and then establish its various real-variable characterizations, respectively, in terms of radial or non-tangential maximal functions, atoms or finite atoms, and molecules. As an application, the authors give the dual space of $H_{Y}^*({\mathcal X})$, which proves to be a ball Campanato-type function space associated with $Y({\mathcal X})$. All these results have a wide range of generality and, particularly, even when they are applied to variable Hardy spaces, the obtained results are also new. The major novelties of this article exist in that, to escape the reverse doubling condition of $\mu$ and the triangle inequality of $\rho$, the authors cleverly construct admissible sequences of balls, and fully use the geometrical properties of ${\mathcal X}$ expressed by dyadic reference points or dyadic cubes and, to overcome the difficulty caused by the lack of the good dense subset of $H_{Y}^*({\mathcal X})$, the authors further prove that $Y({\mathcal X})$ can be embedded into the weighted Lebesgue space with certain special weight, and then can fully use the known results of the weighted Lebesgue space.


title: A Feasible Reduced Space Method for Real-Time Optimal Power Flow

abstract: We propose a novel feasible-path algorithm to solve the optimal power flow (OPF) problem for real-time use cases. The method augments the seminal work of Dommel and Tinney with second-order derivatives to work directly in the reduced space induced by the power flow equations. In the reduced space, the optimization problem includes only inequality constraints corresponding to the operational constraints. While the reduced formulation directly enforces the physical constraints, the operational constraints are softly enforced through Augmented Lagrangian penalty terms. In contrast to interior-point algorithms (state-of-the art for solving OPF), our algorithm maintains feasibility at each iteration, which makes it suitable for real-time application. By exploiting accelerator hardware (Graphic Processing Units) to compute the reduced Hessian, we show that the second-order method is numerically tractable and is effective to solve both static and real-time OPF problems.


title: Weakly-supervised Text Classification Based on Keyword Graph

abstract: Weakly-supervised text classification has received much attention in recent years for it can alleviate the heavy burden of annotating massive data. Among them, keyword-driven methods are the mainstream where user-provided keywords are exploited to generate pseudo-labels for unlabeled texts. However, existing methods treat keywords independently, thus ignore the correlation among them, which should be useful if properly exploited. In this paper, we propose a novel framework called ClassKG to explore keyword-keyword correlation on keyword graph by GNN. Our framework is an iterative process. In each iteration, we first construct a keyword graph, so the task of assigning pseudo labels is transformed to annotating keyword subgraphs. To improve the annotation quality, we introduce a self-supervised task to pretrain a subgraph annotator, and then finetune it. With the pseudo labels generated by the subgraph annotator, we then train a text classifier to classify the unlabeled texts. Finally, we re-extract keywords from the classified texts. Extensive experiments on both long-text and short-text datasets show that our method substantially outperforms the existing ones


title: Improving Real-time Score Following in Opera by Combining Music with Lyrics Tracking

abstract: Fully automatic opera tracking is challenging because of the acoustic complexity of the genre, combining musical and linguistic information (singing, speech) in complex ways. In this paper, we propose a new pipeline for complete opera tracking. The pipeline is based on two trackers. A music tracker that has proven to be effective at tracking orchestral parts, will lead the tracking process. In addition, a lyrics tracker, that has recently been shown to reliably track the lyrics of opera songs, will correct the music tracker when tracking parts that have a text dominance over the music. We will demonstrate the efficiency of this method on the opera Don Giovanni, showing that this technique helps improving accuracy and robustness of a complete opera tracker.


title: InterpolationSLAM: A Novel Robust Visual SLAM System in Rotating Scenes

abstract: In recent years, visual SLAM has achieved great progress and development, but in complex scenes, especially rotating scenes, the error of mapping will increase significantly, and the slam system is easy to lose track. In this article, we propose an InterpolationSLAM framework, which is a visual SLAM framework based on ORB-SLAM2. InterpolationSLAM is robust in rotating scenes for Monocular and RGB-D configurations. By detecting the rotation and performing interpolation processing at the rotated position, pose of the system can be estimated more accurately at the rotated position, thereby improving the accuracy and robustness of the SLAM system in the rotating scenes. To the best of our knowledge, it is the first work combining the interpolation network into a Visual SLAM system to improve SLAM system robustness in rotating scenes. We conduct experiments both on KITTI Monocular and TUM RGB-D datasets. The results demonstrate that InterpolationSLAM outperforms the accuracy of standard Visual SLAM baselines.


title: Empowering Citizens by a Blockchain-Based Robinson List

abstract: A Robinson list protects phone subscribers against commercial spam calls. Its least basic functionality is to collect the denial of the subscribers to be contacted by market operators. Nowadays, Robinson lists run as centralised services, which implies that citizens should trust third parties for the management of their choices. In this paper, we show a design that allows us to realise a Robinson list as a decentralised service. Our work leverages the experience developed by Fondazione Ugo Bordoni as the manager of the Italian Robinson list. We present a general solution and a proof-of-concept (PoC) adopting the Algorand technology. We evaluate the performances of our PoC in terms of its scalability and of the latency perceived by the involved actors. We also discuss aspects related to identity management and privacy.


title: Revisiting the origin to bridge a gap between topology and topography optimisation of fluid flow problems

abstract: This paper revisits the origin of topology optimisation for fluid flow problems, namely the Poiseuille-based frictional resistance term used to parametrise regions of solid and fluid. The traditional model only works for true topology optimisation, where it is used to approximate solid regions as areas with very small channel height and, thus, very high frictional resistance. It will be shown that if the channel height is allowed to vary continuously and/or the minimum channel height is relatively large and/or meaning is attributed to intermediate design field values, then the predictions of the traditional model are wrong. To remedy this problem, this work introduces an augmentation of the mass conservation equation to allow for continuously varying channel heights. The proposed planar model accurately describes fully-developed flow between two plates of varying channel height. It allows for a significant reduction in the number of degrees-of-freedom, while generally ensuring a high accuracy for low-to-moderate Reynolds numbers in the laminar regime. The accuracy and limitations of both the traditional and proposed models are explored using in-depth parametric studies. The proposed model is used to optimise the height of the fluid channel between two parallel plates and, thus, the topography of the plates for a flow distribution problem. Lastly, it is observed that the proposed model actually produces better topological designs than the traditional model when applied to the topology optimisation of a flow manifold.


title: Selected Machine Learning of HOMO-LUMO gaps with Improved Data-Efficiency

abstract: Quantum Machine Learning (QML) models of molecular HOMO-LUMO-gaps often struggle to achieve satisfying data-efficiency as measured by decreasing prediction errors for increasing training set sizes. Partitioning training sets of organic molecules (QM7 and QM9-data-sets) into three classes [systems containing either aromatic rings and carbonyl groups, or single unsaturated bonds, or saturated bonds] prior to training results in independently trained QML models with improved learning rates. The selected QML models of band-gaps (at GW, B3LYP, and ZINDO level of theory) reach mean absolute prediction errors of $\sim$0.1 eV for up to an order of magnitude fewer training molecules than for conventionally trained models. Direct comparison to $\Delta$-QML models of band-gaps suggest that selected QML possesses substantially more data-efficiency. The findings suggest that selected QML, e.g. based on simple classifications prior to training, could help to successfully tackle challenging quantum property screening tasks of large libraries with high fidelity and low computational burden.


title: Cookie Banners, What's the Purpose? Analyzing Cookie Banner Text Through a Legal Lens

abstract: A cookie banner pops up when a user visits a website for the first time, requesting consent to the use of cookies and other trackers for a variety of purposes. Unlike prior work that has focused on evaluating the user interface (UI) design of cookie banners, this paper presents an in-depth analysis of what cookie banners say to users to get their consent. We took an interdisciplinary approach to determining what cookie banners should say. Following the legal requirements of the ePrivacy Directive (ePD) and the General Data Protection Regulation (GDPR), we manually annotated around 400 cookie banners presented on the most popular English-speaking websites visited by users residing in the EU. We focused on analyzing the purposes of cookie banners and how these purposes were expressed (e.g., any misleading or vague language, any use of jargon). We found that 89% of cookie banners violated applicable laws. In particular, 61% of banners violated the purpose specificity requirement by mentioning vague purposes, including "user experience enhancement". Further, 30% of banners used positive framing, breaching the freely given and informed consent requirements. Based on these findings, we provide recommendations that regulators can find useful. We also describe future research directions.


title: The $p$-adic Duffin--Schaeffer conjecture

abstract: We prove Haynes' version of the Duffin--Schaeffer conjecture for the $p$-adic numbers. In addition, we prove several results about an associated related but false conjecture, related to $p$-adic approximation in the spirit of Jarn\'ik and Lutz.


title: Modelling the Data at the LHC

abstract: Measurements at hadron colliders rely on large scale quantum chromodynamics (QCD) Monte Carlo (MC) production for interpretation of the data. MC simulations allow testing Standard Model (SM) with more accurate and precise calculations to understand perturbative QCD as well as electroweak effects, and extrapolations of the irreducible backgrounds to signal phase-space regions for new physics searches or for the measurements of rare SM processes. In the MC codes, there are many pieces, approximations, and parameters and settings to compare to the data and tune. Precise experimental measurements at the LHC require similar level of precision in theoretical calculations. Cross sections measured at the LHC both by ATLAS and CMS experiments cover more than 14 orders of magnitude. So far, SM cross section predictions are found to be in very good agreement with the data. These cross sections are measured at different pp collision energies and compared to prediction up to next-to-next-to-leading order (NNLO) for many processes, and recently up to N$^3$LO for some of them. In this note, a few measurements relevant to data modelling are discussed.


title: Sequential Reptile: Inter-Task Gradient Alignment for Multilingual Learning

abstract: Multilingual models jointly pretrained on multiple languages have achieved remarkable performance on various multilingual downstream tasks. Moreover, models finetuned on a single monolingual downstream task have shown to generalize to unseen languages. In this paper, we first show that it is crucial for those tasks to align gradients between them in order to maximize knowledge transfer while minimizing negative transfer. Despite its importance, the existing methods for gradient alignment either have a completely different purpose, ignore inter-task alignment, or aim to solve continual learning problems in rather inefficient ways. As a result of the misaligned gradients between tasks, the model suffers from severe negative transfer in the form of catastrophic forgetting of the knowledge acquired from the pretraining. To overcome the limitations, we propose a simple yet effective method that can efficiently align gradients between tasks. Specifically, we perform each inner-optimization by sequentially sampling batches from all the tasks, followed by a Reptile outer update. Thanks to the gradients aligned between tasks by our method, the model becomes less vulnerable to negative transfer and catastrophic forgetting. We extensively validate our method on various multi-task learning and zero-shot cross-lingual transfer tasks, where our method largely outperforms all the relevant baselines we consider.


title: Radiation-hardened and Repairable MoS$_2$ Field Effect Devices with Polymer Solid Electrolyte Gates

abstract: As human activities expand into naturally or man-made radiation-prone environment, the need for radiation-hardened (Rad-Hard) electronic hardware surged. The state-of-the-art silicon-based and two-dimensional (2D) materials based Rad-Hard transistors can withstand up to 1 Mrad (Si) of total ionization dose (TID), while higher TID tolerance is being heatedly sought after. Here we present few-layer MoS$_2$ Rad-Hard field-effect transistors (FETs) with polymer solid electrolyte (PSE) gate dielectrics. The MoS$_2$ PSE-FETs exhibit a TID tolerance of up to 3.75 Mrad (Si) at a dose rate of 523 rad (Si) s$^{-1}$ and can be repaired with a moderate thermal annealing at 100 $^{\circ}$C for 5 minutes. Combining the excellent intrinsic radiation tolerance and the reparability, the MoS$_2$ PSE-FETs reach a TID tolerance of up to 10 Mrad (Si). Complementary metal-oxide-semiconductor (CMOS)-like MoS$_2$ PSE-inverters have been built and show similar high radiation tolerance. Furthermore, the feasibility of wafer-scale Rad-Hard PSE-inverter array has been demonstrated using chemical vapor deposition (CVD) grown monolayer MoS$_2$. Our studies uncover the potential of 2D materials based PSE devices in future Rad-Hard integrated circuits (ICs).


title: Improved regularity of second derivatives for subharmonic functions

abstract: In this note, we prove that if a subharmonic function $\Delta u\ge 0$ has pure second derivatives $\partial_{ii} u$ that are signed measures, then their negative part $(\partial_{ii} u)_-$ belongs to $L^1$ (in particular, it is not singular). We then show that this improvement of regularity cannot be upgraded to $L^p$ for any $p > 1$. We finally relate this problem to a natural question on the one-sided regularity of solutions to the obstacle problem with rough obstacles.


title: Biased random walk on supercritical percolation: Anomalous fluctuations in the ballistic regime

abstract: We study biased random walk on the infinite connected component of supercritical percolation on the integer lattice $\mathbb{Z}^d$ for $d\geq 2$. For this model, Fribergh and Hammond showed the existence of an exponent $\gamma$ such that: for $\gamma<1$, the random walk is sub-ballistic (i.e. has zero velocity asymptotically), with polynomial escape rate described by $\gamma$; whereas for $\gamma>1$, the random walk is ballistic, with non-zero speed in the direction of the bias. They moreover established, under the usual diffusive scaling about the mean distance travelled by the random walk in the direction of the bias, a central limit theorem when $\gamma>2$. In this article, we explain how Fribergh and Hammond's percolation estimates further allow it to be established that for $\gamma\in(1,2)$ the fluctuations about the mean are of an anomalous polynomial order, with exponent given by $\gamma^{-1}$.


title: Geodesics in the space of $m$-subharmonic functions with bounded energy

abstract: With inspiration from the K\"ahler geometry, we introduce a metric structure on the energy class, $\mathcal{E}_{1,m}$, of $m$-subharmonic functions with bounded energy and show that it is complete. After studying how the metric convergence relates to the accepted convergences in this Caffarelli-Nirenberg-Spruck model, we end by constructing geodesics in a subspace of our complete metric space.


title: Computational lower bounds of the Maxwell eigenvalues

abstract: A method to compute guaranteed lower bounds to the eigenvalues of the Maxwell system in two or three space dimensions is proposed as a generalization of the method of Liu and Oishi [SIAM J. Numer. Anal., 51, 2013] for the Laplace operator. The main tool is the computation of an explicit upper bound to the error of the Galerkin projection. The error is split in two parts: one part is controlled by a hypercircle principle and an auxiliary eigenvalue problem. The second part requires a perturbation argument for the right-hand side replaced by a suitable piecewise polynomial. The latter error is controlled through the use of the commuting quasi-interpolation by Falk--Winther and computational bounds on its stability constant. This situation is different from the Laplace operator where such a perturbation is easily controlled through local Poincar\'e inequalities. The practical viability of the approach is demonstrated in test cases for two and three space dimensions.


title: Vectorial adaptive optics

abstract: Adaptive optics normally concerns the feedback correction of phase aberrations. Such correction has been of benefit in various optical systems, with applications ranging in scale from astronomical telescopes to super-resolution microscopes. Here we extend this powerful tool into the vectorial domain, encompassing higher-dimensional feedback correction of both polarisation and phase. This technique is termed vectorial adaptive optics (V-AO). We show that V-AO can be implemented using sensor feedback, indirectly using sensorless AO, or in hybrid form combining aspects of both. We validate improvements in both vector field state and the focal quality of an optical system, through correction for commonplace vectorial aberration sources, ranging from objective lenses to biological samples. This technique pushes the boundaries of traditional scalar beam shaping by providing feedback control of extra vectorial degrees of freedom. This paves the way for next generation AO functionality by manipulating the complex vectorial field.


title: A note on exponential varieties, statistical manifolds and Frobenius structures

abstract: New relations between algebraic geometry, information theory and Topological Field Theory are developed. One considers models of databases subject to noise i.e. probability distributions on finite sets, related to exponential families. We prove explicitly that these manifolds have the structure of a pre-Frobenius manifold, being a pre-structure appearing in the process of axiomatisation of Topological Field Theory. On one hand, this allows us to develop relations to algebraic geometry, by proving explicitly that a statistical pre-Frobenius manifold forms an algebraic variety over $\mathbb{Q}$ (i.e. $\mathbb{Q}$-toric variety). On the other hand, this allows further developments of recent results concerning the hidden symmetries of those objects. Using classical web theory, it has been shown that those symmetries have the structure of Commutative Moufang Loops. Our result allows to develop more algebraically this statement, in a two-fold way. First, from an algebraic point of view it follows that statistical pre-Frobenius manifolds are equipped with algebraizable webs. Secondly, from the differential geometry point of view, it follows that these webs are hexagonal and isoclinic. This statement is important since it directly impacts the geometric properties of the {\it statistical data}, which are tightly related to the webs. Hence, this allows deeper connections to the branch of algebraic statistics, which is concerned with the development of techniques in algebraic geometry, commutative algebra, to address problems in statistics and its applications. Examples are provided and discussed.


title: Rate-induced tipping and saddle-node bifurcation for a class of quadratic differential equations with nonautonomous asymptotic dynamics

abstract: An in-depth analysis of nonautonomous bifurcations of saddle-node type for scalar differential equations $x'=-x^2+q(t)\,x+p(t)$, where $q\colon\mathbb{R}\to\mathbb{R}$ and $p\colon\mathbb{R}\to\mathbb{R}$ are bounded and uniformly continuous, is fundamental to explain the absence or occurrence of rate-induced tipping for the differential equation $y' =(y-(2/\pi)\arctan(ct))^2+p(t)$ as the rate $c$ varies on $[0,\infty)$. A classical attractor-repeller pair, whose existence for $c=0$ is assumed, may persist for any $c>0$, or disappear for a certain critical rate $c=c_0$, giving rise to rate-induced tipping. A suitable example demonstrates that one can have more than one critical rate, and the existence of the classical attractor-repeller pair may return when $c$ increases.


title: Deep Classifiers with Label Noise Modeling and Distance Awareness

abstract: Uncertainty estimation in deep learning has recently emerged as a crucial area of interest to advance reliability and robustness in safety-critical applications. While there have been many proposed methods that either focus on distance-aware model uncertainties for out-of-distribution detection or on input-dependent label uncertainties for in-distribution calibration, both of these types of uncertainty are often necessary. In this work, we propose the HetSNGP method for jointly modeling the model and data uncertainty. We show that our proposed model affords a favorable combination between these two types of uncertainty and thus outperforms the baseline methods on some challenging out-of-distribution datasets, including CIFAR-100C, ImageNet-C, and ImageNet-A. Moreover, we propose HetSNGP Ensemble, an ensembled version of our method which additionally models uncertainty over the network parameters and outperforms other ensemble baselines.


title: Tackling the DM Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning

abstract: Knowledge-based AI typically depends on a knowledge engineer to construct a formal model of domain knowledge -- but what if domain experts could do this themselves? This paper describes an extension to the Decision Model and Notation (DMN) standard, called Constraint Decision Model and Notation (cDMN). DMN is a user-friendly, table-based notation for decision logic, which allows domain experts to model simple decision procedures without the help of IT staff. cDMN aims to enlarge the expressiveness of DMN in order to model more complex domain knowledge, while retaining DMN's goal of being understandable by domain experts. We test cDMN by solving the most complex challenges posted on the DM Community website. We compare our own cDMN solutions to the solutions that have been submitted to the website and find that our approach is competitive. Moreover, cDMN is able to solve more challenges than any other approach.


title: On a family of quasimetric spaces in generalized potential theory

abstract: We construct a family of quasimetric spaces in generalized potential theory containing $m$-subharmonic functions with finite $(p,m)$-energy. These quasimetric spaces will be viewed both in $\mathbb{C}^n$ and in compact K\"ahler manifolds, and their convergence will be used to improve known stability results for the complex Hessian equations.


title: Joint models for the longitudinal analysis of measurement scales in the presence of informative dropout

abstract: In health cohort studies, repeated measures of markers are often used to describe the natural history of a disease. Joint models allow to study their evolution by taking into account the possible informative dropout usually due to clinical events. However, joint modeling developments mostly focused on continuous Gaussian markers while, in an increasing number of studies, the actual quantity of interest is non-directly measurable; it constitutes a latent variable evaluated by a set of observed indicators from questionnaires or measurement scales. Classical examples include anxiety, fatigue, cognition. In this work,we explain how joint models can be extended to the framework of a latent quantity measured over time by indicators of different nature (e.g. continuous, binary, ordinal). The longitudinal submodel describes the evolution over time of the quantity of interest defined as a latent process in a structural mixed model, and links the latent process to each observation of the indicators through appropriate measurement models. Simultaneously, the risk of multi-cause event is modelled via a proportional cause-specific hazard model that includes a function of the mixed model elements as linear predictor to take into account the association between the latent process and the risk of event. Estimation, carried out in the maximum likelihood framework and implemented in the R-package JLPM, has been validated by simulations. The methodology is illustrated in the French cohort on Multiple-System Atrophy (MSA), a rare and fatal neurodegenerative disease, with the study of dysphagia progression over time stopped by the occurrence of death.


title: Extracting Quantum Dynamical Resources: Consumption of Non-Markovianity for Noise Reduction

abstract: Noise is possibly the most formidable challenge for quantum technologies. As such, a great deal of effort is dedicated to developing methods for noise reduction. One remarkable achievement in this direction is dynamical decoupling; it details a clear set of instructions for counteracting the effects of quantum noise. Yet, the domain of its applicability remains limited to devices where exercising fast control is possible. In practical terms, this is highly limiting and there is a growing need for better noise reduction tools. Here we take a significant step in this direction, by identifying the crucial ingredients required for noise suppression and the development of methods that far outperform traditional dynamical decoupling techniques. Using resource theoretic methods, we show that the key resource responsible for the efficacy of dynamical decoupling, and related protocols, is non-Markovianity (or temporal correlations). Using this insight, we then propose two methods to identify optimal pulse sequences for noise reduction. With an explicit example, we show that our methods enable a more optimal exploitation of temporal correlations, and extend the timescales at which noise suppression is viable by at least two orders of magnitude. Importantly, the corresponding tools are built on operational grounds and are easily implemented in the current generation of quantum devices.


title: On stable quotients

abstract: We solve two problems from the paper "On maximal stable quotients of definable groups in NIP theories" by M. Haskel and A. Pillay, which concern maximal stable quotients of groups type-definable in NIP theories. The first result says that if $G$ is a type-definable group in a distal theory, then $G^{st}=G^{00}$ (where $G^{st}$ is the smallest type-definable subgroup with $G/G^{st}$ stable, and $G^{00}$ is the smallest type-definable subgroup of bounded index). In order to get it, we prove that distality is preserved under passing from $T$ to the hyperimaginary expansion $T^{heq}$. The second result is an example of a group $G$ definable in a non-distal, NIP theory for which $G=G^{00}$ but $G^{st}$ is not an intersection of definable groups. Our example is a saturated extension of $(\mathbb{R},+,[0,1])$. Moreover, we make some observations on the question whether there is such an example which is a group of finite exponent. We also take the opportunity and give several characterizations of stability of hyperdefinable sets, involving continuous logic.


title: On Hecke-type double-sums and general string functions for the affine Lie algebra $A_{1}^{(1)}$

abstract: We demonstrate how formulas that express Hecke-type double-sums in terms of theta functions and Appell--Lerch functions -- the building blocks of Ramanujan's mock theta functions -- can be used to give general string function formulas for the affine Lie algebra $A_{1}^{(1)}$ for levels $N=1,2,3,4$.


title: The equation of state of neutron stars and the role of nuclear experiments

abstract: Neutron stars are unique laboratories to probe matter in extreme conditions, not accessible in terrestrial laboratories. Here, we discuss the modelling of the neutron-star equation of state, particularly in connection with recent constraints coming from both nuclear physics (experiments and ab-initio calculations) and astrophysical observations.


title: NNLO Photon Fragmentation within Antenna Subtraction

abstract: We report on our recent progress towards including the photon fragmentation contribution in next-to-next-to-leading order (NNLO) QCD predictions for photon production cross sections. This extension to previous NNLO calculations requires the identification of the photon in singular parton-photon collinear limits. We discuss how these limits can be subtracted within antenna subtraction using fragmentation antenna functions and we outline their integration.


title: Ultra-fast GHz-range swept-tuned spectrum analyzer with 20 ns temporal resolution based on a spin-torque nano-oscillator with a uniformly magnetized 'free' layer

abstract: The advantage of an ultra-fast frequency-tunability of spin-torque nano-oscillators (STNOs) that have large (> 100MHz) relaxation frequency of amplitude fluctuations is exploited to realize ultra-fast wide-band time-resolved spectral analysis at nanosecond time scale with the frequency resolution limited only by the 'bandwidth' theorem. The demonstration is performed with an STNO generating in the 9 GHz frequency range, and comprised of a perpendicular polarizer and a perpendicularly and uniformly magnetized 'free' layer. It is shown that such a uniform-state STNO-based spectrum analyzer can efficiently perform spectral analysis of frequency-agile signals with rapidly varying frequency components.


title: Focus on the Common Good: Group Distributional Robustness Follows

abstract: We consider the problem of training a classification model with group annotated training data. Recent work has established that, if there is distribution shift across different groups, models trained using the standard empirical risk minimization (ERM) objective suffer from poor performance on minority groups and that group distributionally robust optimization (Group-DRO) objective is a better alternative. The starting point of this paper is the observation that though Group-DRO performs better than ERM on minority groups for some benchmark datasets, there are several other datasets where it performs much worse than ERM. Inspired by ideas from the closely related problem of domain generalization, this paper proposes a new and simple algorithm that explicitly encourages learning of features that are shared across various groups. The key insight behind our proposed algorithm is that while Group-DRO focuses on groups with worst regularized loss, focusing instead, on groups that enable better performance even on other groups, could lead to learning of shared/common features, thereby enhancing minority performance beyond what is achieved by Group-DRO. Empirically, we show that our proposed algorithm matches or achieves better performance compared to strong contemporary baselines including ERM and Group-DRO on standard benchmarks on both minority groups and across all groups. Theoretically, we show that the proposed algorithm is a descent method and finds first order stationary points of smooth nonconvex functions.


title: On the regularity of the complex Hessian equation

abstract: This note aims to investigate the regularity of a solution to the Dirichlet problem for the complex Hessian equation, which has a density of the $m$-Hessian measure that belongs to $L^q$, for $q\leq\frac nm$.


title: Generalised and efficient wall boundary condition treatment in GPU-accelerated smoothed particle hydrodynamics

abstract: This paper presents a generalised and efficient wall boundary treatment in the smoothed particle hydrodynamics (SPH) method for 3-D complex and arbitrary geometries with single- and multi-phase flows to be executed on graphics processing units (GPUs). Using a force balance between the wall and fluid particles with a novel penalty method, a pressure boundary condition is applied on the wall dummy particles which effectively prevents non-physical particle penetration into the wall boundaries also in highly violent impacts and multi-phase flows with high density ratios. A new density reinitialisation scheme is also presented to enhance the accuracy. The proposed method is very simple in comparison with previous wall boundary formulations on GPUs that enforces no additional memory caching and thus is ideally suited for heterogeneous architectures of GPUs. The method is validated in various test cases involving violent single- and multi-phase flows in arbitrary geometries and demonstrates very good robustness, accuracy and performance. The new wall boundary condition treatment is able to improve the high accuracy of its previous version \citep{ADAMI2012wall} also in complex 3-D and multi-phase problems, while it is efficiently executable on GPUs with single precision floating points arithmetic which makes it suitable for a wide range of GPUs, including consumer graphic cards. Therefore, the method is a reliable solution for the long-lasting challenge of the wall boundary condition in the SPH method for a broad range of natural and industrial applications.


title: A note on BV and 1-Sobolev functions on the weighted Euclidean space

abstract: In the setting of the Euclidean space equipped with an arbitrary Radon measure, we prove the equivalence between several notions of function of bounded variation present in the literature. We also study the relation between various definitions of 1-Sobolev function.


title: Is An Image Worth Five Sentences? A New Look into Semantics for Image-Text Matching

abstract: The task of image-text matching aims to map representations from different modalities into a common joint visual-textual embedding. However, the most widely used datasets for this task, MSCOCO and Flickr30K, are actually image captioning datasets that offer a very limited set of relationships between images and sentences in their ground-truth annotations. This limited ground truth information forces us to use evaluation metrics based on binary relevance: given a sentence query we consider only one image as relevant. However, many other relevant images or captions may be present in the dataset. In this work, we propose two metrics that evaluate the degree of semantic relevance of retrieved items, independently of their annotated binary relevance. Additionally, we incorporate a novel strategy that uses an image captioning metric, CIDEr, to define a Semantic Adaptive Margin (SAM) to be optimized in a standard triplet loss. By incorporating our formulation to existing models, a \emph{large} improvement is obtained in scenarios where available training data is limited. We also demonstrate that the performance on the annotated image-caption pairs is maintained while improving on other non-annotated relevant items when employing the full training set. Code with our metrics and adaptive margin formulation will be made public.


title: CLIP-Forge: Towards Zero-Shot Text-to-Shape Generation

abstract: Generating shapes using natural language can enable new ways of imagining and creating the things around us. While significant recent progress has been made in text-to-image generation, text-to-shape generation remains a challenging problem due to the unavailability of paired text and shape data at a large scale. We present a simple yet effective method for zero-shot text-to-shape generation that circumvents such data scarcity. Our proposed method, named CLIP-Forge, is based on a two-stage training process, which only depends on an unlabelled shape dataset and a pre-trained image-text network such as CLIP. Our method has the benefits of avoiding expensive inference time optimization, as well as the ability to generate multiple shapes for a given text. We not only demonstrate promising zero-shot generalization of the CLIP-Forge model qualitatively and quantitatively, but also provide extensive comparative evaluations to better understand its behavior.


title: Moat Regimes in QCD and their Signatures in Heavy-Ion Collisions

abstract: Dense QCD matter can exhibit spatially modulated regimes. They can be characterized by particles with a moat spectrum, where the minimum of the energy is over a sphere at nonzero momentum. Such a moat regime can either be a precursor for the formation inhomogeneous condensates, or signal a quantum pion liquid. We introduce the quantum pion liquid and discuss the underlying physics of the moat regime based on studies in low-energy models and preliminary results in QCD. Heavy-ion collisions at small beam energies have the potential to reveal the rich phase structure of QCD at low temperature and nonzero density. We show how moat regimes can be discovered through such collisions. Particle production is enhanced at the bottom of the moat, resulting in a peak at nonzero momentum, instead of zero, in the particle spectrum. Particle number correlations can even increase by several orders of magnitude at nonzero momentum in the moat regime.


title: A multi-order smoothed particle hydrodynamics method for cardiac electromechanics with the Purkinje network

abstract: In previous work, Zhang et al. (2021) \cite{zhang2021integrative} developed an integrated smoothed particle hydrodynamics (SPH) method to simulate the principle aspects of cardiac function, including electrophysiology, passive and active mechanical response of the myocardium. As the inclusion of the Purkinje network in electrocardiology is recognized as fundamental to accurately describing the electrical activation in the right and left ventricles, in this paper, we present a multi-order SPH method to handle the electrical propagation through the Purkinje system and in the myocardium with monodomain/monodomain coupling strategy. We first propose an efficient algorithm for network generation on arbitrarily complex surface by exploiting level-set geometry representation and cell-linked list neighbor search algorithm. Then, a reduced-order SPH method is developed to solve the one-dimensional monodomain equation to characterize the fast electrical activation through the Purkinje network. Finally, a multi-order coupling paradigm is introduced to capture the coupled nature of potential propagation arising from the interaction between the network and the myocardium. A set of numerical examples are studied to assess the computational performance, accuracy and versatility of the proposed methods. In particular, numerical study performed in realistic left ventricle demonstrates that the present method features all the physiological issues that characterize a heartbeat simulation, including the initiation of the signal in the Purkinje network and the systolic and diastolic phases. As expected, the results underlie the importance of using physiologically realistic Purkinje network for modeling cardiac functions.


title: MovingFashion: a Benchmark for the Video-to-Shop Challenge

abstract: Retrieving clothes which are worn in social media videos (Instagram, TikTok) is the latest frontier of e-fashion, referred to as "video-to-shop" in the computer vision literature. In this paper we present MovingFashion, the first publicly available dataset to cope with this challenge. MovingFashion is composed of 14855 social videos, each one of them associated to e-commerce "shop" images where the corresponding clothing items are clearly portrayed. In addition, we present a network for retrieving the shop images in this scenario, dubbed SEAM Match-RCNN. The model is trained by image-to-video domain adaptation, allowing to use video sequences where only their association with a shop image is given, eliminating the need of millions of annotated bounding boxes. SEAM Match-RCNN builds an embedding, where an attention-based weighted sum of few frames (10) of a social video is enough to individuate the correct product within the first 5 retrieved items in a 14K+ shop element gallery with an accuracy of 80%. This provides the best performance on MovingFashion, comparing exhaustively against the related state-of-the-art approaches and alternative baselines.


title: Characterizing Learning Dynamics of Deep Neural Networks via Complex Networks

abstract: In this paper, we interpret Deep Neural Networks with Complex Network Theory. Complex Network Theory (CNT) represents Deep Neural Networks (DNNs) as directed weighted graphs to study them as dynamical systems. We efficiently adapt CNT measures to examine the evolution of the learning process of DNNs with different initializations and architectures: we introduce metrics for nodes/neurons and layers, namely Nodes Strength and Layers Fluctuation. Our framework distills trends in the learning dynamics and separates low from high accurate networks. We characterize populations of neural networks (ensemble analysis) and single instances (individual analysis). We tackle standard problems of image recognition, for which we show that specific learning dynamics are indistinguishable when analysed through the solely Link-Weights analysis. Further, Nodes Strength and Layers Fluctuations make unprecedented behaviours emerge: accurate networks, when compared to under-trained models, show substantially divergent distributions with the greater extremity of deviations. On top of this study, we provide an efficient implementation of the CNT metrics for both Convolutional and Fully Connected Networks, to fasten the research in this direction.


title: Deep Reinforcement Learning for Solving the Heterogeneous Capacitated Vehicle Routing Problem

abstract: Existing deep reinforcement learning (DRL) based methods for solving the capacitated vehicle routing problem (CVRP) intrinsically cope with homogeneous vehicle fleet, in which the fleet is assumed as repetitions of a single vehicle. Hence, their key to construct a solution solely lies in the selection of the next node (customer) to visit excluding the selection of vehicle. However, vehicles in real-world scenarios are likely to be heterogeneous with different characteristics that affect their capacity (or travel speed), rendering existing DRL methods less effective. In this paper, we tackle heterogeneous CVRP (HCVRP), where vehicles are mainly characterized by different capacities. We consider both min-max and min-sum objectives for HCVRP, which aim to minimize the longest or total travel time of the vehicle(s) in the fleet. To solve those problems, we propose a DRL method based on the attention mechanism with a vehicle selection decoder accounting for the heterogeneous fleet constraint and a node selection decoder accounting for the route construction, which learns to construct a solution by automatically selecting both a vehicle and a node for this vehicle at each step. Experimental results based on randomly generated instances show that, with desirable generalization to various problem sizes, our method outperforms the state-of-the-art DRL method and most of the conventional heuristics, and also delivers competitive performance against the state-of-the-art heuristic method, i.e., SISR. Additionally, the results of extended experiments demonstrate that our method is also able to solve CVRPLib instances with satisfactory performance.


title: A New Conjecture About Identity of Proofs

abstract: A central problem in proof-theory is that of finding criteria for identity of proofs, that is, for when two distinct formal derivations can be taken as denoting the same logical argument. In the literature one finds criteria which are either based on proof normalization (two derivations denote the same proofs when they have the same normal form) or on the association of formal derivations with graph-theoretic structures (two derivations denote they same proof when they are associated with the same graph). In this paper we argue for a new criterion for identity of proofs which arises from the interpretation of formal rules and derivations as natural transformations of a suitable kind. We show that the naturality conditions arising from this interpretation capture in a uniform and elegant ways several forms of "rule-permutations" which are found in proof-systems for propositional, first- and second-order logic.


title: Inference Attacks Against Graph Neural Networks

abstract: Graph is an important data representation ubiquitously existing in the real world. However, analyzing the graph data is computationally difficult due to its non-Euclidean nature. Graph embedding is a powerful tool to solve the graph analytics problem by transforming the graph data into low-dimensional vectors. These vectors could also be shared with third parties to gain additional insights of what is behind the data. While sharing graph embedding is intriguing, the associated privacy risks are unexplored. In this paper, we systematically investigate the information leakage of the graph embedding by mounting three inference attacks. First, we can successfully infer basic graph properties, such as the number of nodes, the number of edges, and graph density, of the target graph with up to 0.89 accuracy. Second, given a subgraph of interest and the graph embedding, we can determine with high confidence that whether the subgraph is contained in the target graph. For instance, we achieve 0.98 attack AUC on the DD dataset. Third, we propose a novel graph reconstruction attack that can reconstruct a graph that has similar graph structural statistics to the target graph. We further propose an effective defense mechanism based on graph embedding perturbation to mitigate the inference attacks without noticeable performance degradation for graph classification tasks. Our code is available at https://github.com/Zhangzhk0819/GNN-Embedding-Leaks.


title: Palatini approach and large-scale magnetogenesis

abstract: Large-scale magnetogenesis is analyzed within the Palatini approach when the gravitational action is supplemented by a contribution that is nonlinear in the Einstein-Hilbert term. While the addition of the nonlinear terms does not affect the scalar modes of the geometry during the inflationary phase, the tensor-to-scalar ratio is nonetheless suppressed. In this context it is plausible to have a stiff phase following the standard inflationary stage provided the potential has a quintessential form. The large-scale magnetic fields can even be a fraction of the nG over typical length scales of the order of the Mpc prior to the gravitational collapse of the protogalaxy.


title: Destructive photon echo formation in six-wave mixing signals of a MoSe$_2$ monolayer

abstract: Monolayers of transition metal dichalcogenides display a strong excitonic optical response. Additionally encapsulating the monolayer with hexagonal boron nitride allows to reach the limit of a purely homogeneously broadened exciton system. On such a MoSe$_{2}$-based system we perform ultrafast six-wave mixing spectroscopy and find a novel destructive photon echo effect. This process manifests as a characteristic depression of the nonlinear signal dynamics when scanning the delay between the applied laser pulses. By theoretically describing the process within a local field model we reach an excellent agreement with the experiment. We develop an effective Bloch vector representation and thereby demonstrate that the destructive photon echo stems from a destructive interference of successive repetitions of the heterodyning experiment.


title: Heterogeneous Attentions for Solving Pickup and Delivery Problem via Deep Reinforcement Learning

abstract: Recently, there is an emerging trend to apply deep reinforcement learning to solve the vehicle routing problem (VRP), where a learnt policy governs the selection of next node for visiting. However, existing methods could not handle well the pairing and precedence relationships in the pickup and delivery problem (PDP), which is a representative variant of VRP. To address this challenging issue, we leverage a novel neural network integrated with a heterogeneous attention mechanism to empower the policy in deep reinforcement learning to automatically select the nodes. In particular, the heterogeneous attention mechanism specifically prescribes attentions for each role of the nodes while taking into account the precedence constraint, i.e., the pickup node must precede the pairing delivery node. Further integrated with a masking scheme, the learnt policy is expected to find higher-quality solutions for solving PDP. Extensive experimental results show that our method outperforms the state-of-the-art heuristic and deep learning model, respectively, and generalizes well to different distributions and problem sizes.


title: Generalization Ability of MOS Prediction Networks

abstract: Automatic methods to predict listener opinions of synthesized speech remain elusive since listeners, systems being evaluated, characteristics of the speech, and even the instructions given and the rating scale all vary from test to test. While automatic predictors for metrics such as mean opinion score (MOS) can achieve high prediction accuracy on samples from the same test, they typically fail to generalize well to new listening test contexts. In this paper, using a variety of networks for MOS prediction including MOSNet and self-supervised speech models such as wav2vec2, we investigate their performance on data from different listening tests in both zero-shot and fine-tuned settings. We find that wav2vec2 models fine-tuned for MOS prediction have good generalization capability to out-of-domain data even for the most challenging case of utterance-level predictions in the zero-shot setting, and that fine-tuning to in-domain data can improve predictions. We also observe that unseen systems are especially challenging for MOS prediction models.


title: Learning Sparse Masks for Diffusion-based Image Inpainting

abstract: Diffusion-based inpainting is a powerful tool for the reconstruction of images from sparse data. Its quality strongly depends on the choice of known data. Optimising their spatial location -- the inpainting mask -- is challenging. A commonly used tool for this task are stochastic optimisation strategies. However, they are slow as they compute multiple inpainting results. We provide a remedy in terms of a learned mask generation model. By emulating the complete inpainting pipeline with two networks for mask generation and neural surrogate inpainting, we obtain a model for highly efficient adaptive mask generation. Experiments indicate that our model can achieve competitive quality with an acceleration by as much as four orders of magnitude. Our findings serve as a basis for making diffusion-based inpainting more attractive for applications such as image compression, where fast encoding is highly desirable.


title: Fundamental parameters and abundance analysis of the components in the SB2 system HD 60803

abstract: We performed a detailed spectroscopic study of the SB2 system HD 60803 based on high-resolution spectra obtained with the different spectrographs. The analysis was done with two independent methods: a) the direct modelling of the observed binary spectrum by a sum of synthetic spectra varying a set of free parameters and minimizing a difference between the observed and theoretical spectra; b) spectrum disentangling and an independent modelling of the individual components. Being applied to binary spectra from different spectrographs both methods converge to a consistent solution for the fundamental parameters of the HD 60803 components: $T_{\rm eff}$=6055$\pm$70 K, $\log{g}$=4.08$\pm$0.12, $\zeta_{\rm RT}$=1.45$\pm$0.18 km s$^{-1}$, [M/H]=0.03$\pm$0.06 (primary), and $T_{\rm eff}$=6069$\pm$70 K, $\log{g}$=4.14$\pm$0.09, $\zeta_{\rm RT}$=1.48$\pm$0.18 km s$^{-1}$, [M/H]=0.03$\pm$0.06 (secondary). Differential abundance analysis of the components did not reveal any significant difference in their chemical composition. Besides Li both components have solar atmospheric abundances. Li abundance exceeds the solar one by $\sim$2 dex, but it agrees with Li abundance in main-sequence late F-stars. Relative-to-solar abundances in both components slightly correlate with the condensation temperature the same way as was found in the solar analogs with/without detected giant planets. The estimated age of the system is 5.5$\pm$0.5 Gyr.


title: 2nd Place Solution to Google Landmark Recognition Competition 2021

abstract: As Transformer-based architectures have recently shown encouraging progresses in computer vision. In this work, we present the solution to the Google Landmark Recognition 2021 Challenge held on Kaggle, which is an improvement on our last year's solution by changing three designs, including (1) Using Swin and CSWin as backbone for feature extraction, (2) Train on full GLDv2, and (3) Using full GLDv2 images as index image set for kNN search. With these modifications, our solution significantly improves last year solution on this year competition. Our full pipeline, after ensembling Swin, CSWin, EfficientNet B7 models, scores 0.4907 on the private leaderboard which help us to get the 2nd place in the competition.


title: On The Transferability of Deep-Q Networks

abstract: Transfer Learning (TL) is an efficient machine learning paradigm that allows overcoming some of the hurdles that characterize the successful training of deep neural networks, ranging from long training times to the needs of large datasets. While exploiting TL is a well established and successful training practice in Supervised Learning (SL), its applicability in Deep Reinforcement Learning (DRL) is rarer. In this paper, we study the level of transferability of three different variants of Deep-Q Networks on popular DRL benchmarks as well as on a set of novel, carefully designed control tasks. Our results show that transferring neural networks in a DRL context can be particularly challenging and is a process which in most cases results in negative transfer. In the attempt of understanding why Deep-Q Networks transfer so poorly, we gain novel insights into the training dynamics that characterizes this family of algorithms.


title: Bach Style Music Authoring System based on Deep Learning

abstract: With the continuous improvement in various aspects in the field of artificial intelligence, the momentum of artificial intelligence with deep learning capabilities into the field of music is coming. The research purpose of this paper is to design a Bach style music authoring system based on deep learning. We use a LSTM neural network to train serialized and standardized music feature data. By repeated experiments, we find the optimal LSTM model which can generate imitation of Bach music. Finally the generated music is comprehensively evaluated in the form of online audition and Turing test. The repertoires which the music generation system constructed in this article are very close to the style of Bach's original music, and it is relatively difficult for ordinary people to distinguish the musics Bach authored and AI created.


title: Anatomy of nanomagnetic switching at a 3D Topological Insulator PN junction

abstract: A P-N junction engineered within a Dirac cone system acts as a gate tunable angular filter based on Klein tunneling. For a 3D topological insulator with substantial bandgap, such a filter can produce a charge-to-spin conversion due to the dual effects of spin-momentum locking and momentum filtering. We analyze how spins filtered at an in-plane topological insulator PN junction (TIPNJ) interact with a nanomagnet, and argue that the intrinsic charge-to-spin conversion does not translate to an external gain if the nanomagnet also acts as the source contact. Regardless of the nanomagnet's position, the spin torque generated on the TIPNJ is limited by the surface current density, which in turn is limited by bulk band gap. {Using quantum kinetic models, we calculate the spatially varying spin potential and quantify the localization of the current vs applied bias}. Additionally, with the magnetodynamic simulation of a soft nanomagnet, we show that the PN junction can offer a critical gate tunability in the switching probability of the nanomagnet, with potential applications in probabilistic neuromorphic computing.


title: Anomaly Transformer: Time Series Anomaly Detection with Association Discrepancy

abstract: Unsupervised detection of anomaly points in time series is a challenging problem, which requires the model to derive a distinguishable criterion. Previous methods tackle the problem mainly through learning pointwise representation or pairwise association, however, neither is sufficient to reason about the intricate dynamics. Recently, Transformers have shown great power in unified modeling of pointwise representation and pairwise association, and we find that the self-attention weight distribution of each time point can embody rich association with the whole series. Our key observation is that due to the rarity of anomalies, it is extremely difficult to build nontrivial associations from abnormal points to the whole series, thereby, the anomalies' associations shall mainly concentrate on their adjacent time points. This adjacent-concentration bias implies an association-based criterion inherently distinguishable between normal and abnormal points, which we highlight through the \emph{Association Discrepancy}. Technically, we propose the \emph{Anomaly Transformer} with a new \emph{Anomaly-Attention} mechanism to compute the association discrepancy. A minimax strategy is devised to amplify the normal-abnormal distinguishability of the association discrepancy. The Anomaly Transformer achieves state-of-the-art results on six unsupervised time series anomaly detection benchmarks of three applications: service monitoring, space & earth exploration, and water treatment.


title: Variable Selection Using a Smooth Information Criterion for Distributional Regression Models

abstract: Modern variable selection procedures make use of penalization methods to execute simultaneous model selection and estimation. A popular method is the LASSO (least absolute shrinkage and selection operator), the use of which requires selecting the value of a tuning parameter. This parameter is typically tuned by minimizing the cross-validation error or Bayesian information criterion (BIC) but this can be computationally intensive as it involves fitting an array of different models and selecting the best one. In contrast with this standard approach, we have developed a procedure based on the so-called "smooth IC" (SIC) in which the tuning parameter is automatically selected in one step. We also extend this model selection procedure to the distributional regression framework, which is more flexible than classical regression modelling. Distributional regression, also known as multiparameter regression (MPR), introduces flexibility by taking account of the effect of covariates through multiple distributional parameters simultaneously, e.g., mean and variance. These models are useful in the context of normal linear regression when the process under study exhibits heteroscedastic behaviour. Reformulating the distributional regression estimation problem in terms of penalized likelihood enables us to take advantage of the close relationship between model selection criteria and penalization. Utilizing the SIC is computationally advantageous, as it obviates the issue of having to choose multiple tuning parameters.


title: Mapping class group orbit closures for non-orientable surfaces

abstract: Let $S$ be a connected non-orientable surface with negative Euler characteristic and of finite type. We describe the possible closures in $\mathcal M\mathcal L$ and $\mathcal P\mathcal M\mathcal L$ of the mapping class group orbits of measured laminations, projective measured laminations and points in Teichm\"uller space. In particular we obtain a characterization of the closure in $\mathcal M\mathcal L$ of the set of weighted two-sided curves.


title: A Weighted Generalized Coherence Approach for Sensing Matrix Design

abstract: As compared to using randomly generated sensing matrices, optimizing the sensing matrix w.r.t. a carefully designed criterion is known to lead to better quality signal recovery given a set of compressive measurements. In this paper, we propose generalizations of the well-known mutual coherence criterion for optimizing sensing matrices starting from random initial conditions. We term these generalizations as bi-coherence or tri-coherence and they are based on a criterion that discourages any one column of the sensing matrix from being close to a sparse linear combination of other columns. We also incorporate training data to further improve the sensing matrices through weighted coherence, weighted bi-coherence, or weighted tri-coherence criteria, which assign weights to sensing matrix columns as per their importance. An algorithm is also presented to solve the optimization problems. Finally, the effectiveness of the proposed algorithm is demonstrated through empirical results.


title: Looking for monopolium excited states with electromagnetic detectors

abstract: We study the detection of particles with magnetic moment and no charge by using coils and solenoids. The detector uses the Faraday-Lenz law to create a current whose energy is measured. Our development can be applied to any particle with magnetic moment. The neutron is ideal to show our detector scheme for particles with long lifetimes and the result is encouraging. However, our interest lies in the detection of monopolium states which decays much faster than neutrons. The accelerator scenario with a relatively low monopole mass $\sim 1000$ GeV requires the generalization of the scheme to finite lifetimes. We use two descriptions, which we have called Dirac and Schwinger, (also $\beta$-coupling), schemes, in our study. The theoretical behavior of excited monopolia in coils teaches us many of their properties. However, their small production cross sections, given the achievable LHC luminosities, makes detection using coils difficult. Therefore, we generalize the discussion to cosmological heavy monopolium. Our scheme becomes useful for those and supplements detectors like MoEDAL and MAPP in distinguishing monopolia from other long lived particles.


title: Entropy Regularised Deterministic Optimal Control: From Path Integral Solution to Sample-Based Trajectory Optimisation

abstract: Sample-based trajectory optimisers are a promising tool for the control of robotics with non-differentiable dynamics and cost functions. Contemporary approaches derive from a restricted subclass of stochastic optimal control where the optimal policy can be expressed in terms of an expectation over stochastic paths. By estimating the expectation with Monte Carlo sampling and reinterpreting the process as exploration noise, a stochastic search algorithm is obtained tailored to (deterministic) trajectory optimisation. For the purpose of future algorithmic development, it is essential to properly understand the underlying theoretical foundations that allow for a principled derivation of such methods. In this paper we make a connection between entropy regularisation in optimisation and deterministic optimal control. We then show that the optimal policy is given by a belief function rather than a deterministic function. The policy belief is governed by a Bayesian-type update where the likelihood can be expressed in terms of a conditional expectation over paths induced by a prior policy. Our theoretical investigation firmly roots sample based trajectory optimisation in the larger family of control as inference. It allows us to justify a number of heuristics that are common in the literature and motivate a number of new improvements that benefit convergence.


title: Measurement of the B- -> D0 l- nubar_l Branching Fraction in 62.8/fb of Belle II data

abstract: We report a measurement of the branching fraction of the semileptonic decay B- -> D0 l- nubar_l (and its charge conjugate) using 62.8/fb of Upsilon(4S) -> B Bbar data recorded by the Belle II experiment at the SuperKEKB asymmetric-energy e+ e- collider. The neutral charm meson is searched for in the decay mode D0 -> K- pi+ and combined with a properly charged identified lepton (electron or muon) to reconstruct this decay. No reconstruction of the second B meson in the Upsilon(4S) event is performed. We obtain Br( B- -> D0 l- nubar_l ) = (2.29 +/- 0.05(stat) +/- 0.08(syst))%, in agreement with the world average of this decay. We also determine the ratio of the electron to muon branching fractions to be R(e/mu) = 1.04 +/- 0.05(stat) +/- 0.03(syst) and observe no deviation from lepton universality.


title: A Bayesian accelerated failure time model for interval censored three-state screening outcomes

abstract: Women infected by the Human papilloma virus are at an increased risk to develop cervical intraepithalial neoplasia lesions (CIN). CIN are classified into three grades of increasing severity (CIN-1, CIN-2, and CIN-3) and can eventually develop into cervical cancer. The main purpose of screening is detecting CIN-2 and CIN-3 cases which are usually surgically removed. Screening data from the POBASCAM trial involving 1,454 HPV-positive women is analyzed with two objectives: estimate (a) the transition time from HPV diagnosis to CIN-3; and (b) the transition time from CIN-2 to CIN-3. The screening data have two key characteristics. First, the CIN state is monitored in an interval-censored sequence of screening times. Second, a woman's progression to CIN-3 is only observed, if the woman progresses to, both, CIN-2 and from CIN-2 to CIN-3 in the same screening interval. We propose a Bayesian accelerated failure time model for the two transition times in this three-state model. To deal with the unusual censoring structure of the screening data, we develop a Metropolis-within-Gibbs algorithm with data augmentation from the truncated transition time distributions.


title: A chiral one-dimensional atom using a quantum dot in an open microcavity

abstract: In nanostructures, the light-matter interaction can be engineered to be chiral. In the fully quantum regime, a chiral one-dimensional atom, a photon propagating in one direction interacts with the atom; a photon propagating in the other direction does not. Chiral quantum optics has applications in creating nanoscopic single-photon routers, circulators, phase-shifters and two-photon gates. Furthermore, the directional photon-exchange between many emitters in a chiral system may enable the creation of highly exotic quantum states. Here, we present a new way of implementing chiral quantum optics $-$ we use a low-noise quantum dot in an open microcavity. Specifically, we demonstrate the non-reciprocal absorption of single photons, a single-photon diode. The non-reciprocity, the ratio of the transmission in the forward-direction to the transmission in the reverse direction, is as high as 10.7 dB, and is optimised $\textit{in situ}$ by tuning the photon-emitter coupling to the optimal operating condition ($\beta = 0.5$). Proof that the non-reciprocity arises from a single quantum emitter lies in the nonlinearity with increasing input laser power, and in the photon statistics $-$ ultralow-power laser light propagating in the diode's reverse direction results in a highly bunched output ($g^{(2)}(0) = 101$), showing that the single-photon component is largely removed. The results pave the way to a single-photon phase shifter, and, by exploiting a quantum dot spin, to two-photon gates and quantum non-demolition single-photon detectors.


title: Weak Novel Categories without Tears: A Survey on Weak-Shot Learning

abstract: Deep learning is a data-hungry approach, which requires massive training data. However, it is time-consuming and labor-intensive to collect abundant fully-annotated training data for all categories. Assuming the existence of base categories with adequate fully-annotated training samples, different paradigms requiring fewer training samples or weaker annotations for novel categories have attracted growing research interest. Among them, zero-shot (resp., few-shot) learning explores using zero (resp., a few) training samples for novel categories, which lowers the quantity requirement for novel categories. Instead, weak-shot learning lowers the quality requirement for novel categories. Specifically, sufficient training samples are collected for novel categories but they only have weak annotations. In different tasks, weak annotations are presented in different forms (e.g., noisy labels for image classification, image labels for object detection, bounding boxes for segmentation), similar to the definitions in weakly supervised learning. Therefore, weak-shot learning can also be treated as weakly supervised learning with auxiliary fully supervised categories. In this paper, we discuss the existing weak-shot learning methodologies in different tasks and summarize the codes at https://github.com/bcmi/Awesome-Weak-Shot-Learning.


title: Structure of the Martian dayside magnetosphere: two types

abstract: The comprehensive suite of scientific instruments with high temporal resolution measurements on the Mars Atmosphere and Volatile Evolution (MAVEN) spacecraft allowed studies of the structure and properties of the dayside magnetosphere of Mars. The dayside plasma envelope was found on first Mars orbiters (Vaisberg et al., 1976, Gringauz et al., 1976), but only the high temporal and mass resolutions of MAVEN instruments allowed investigations of the structure and processes of plasma of the dayside magnetosphere, the plasma layer which exists between shocked solar wind and ionosphere (Vaisberg et al., 2017). It was found that in the different dayside conditions the two different plasma layers form between the magnetosheath and ionosphere: (1) the mixture of heated ionospheric ions and energetic pick-up exospheric ions and (2) the layer of accelerated ionospheric ions population that forms the lower energy part of the plume formation. The first type of dayside magnetosphere of Mars is formed by the interaction of pick-up oxygen ions of exospheric origin with the topside of Mars' ionosphere (Vaisberg and Shuvalov, 2021). The second plasma layer between magnetosheath flow and ionosphere forms from initial lower energy part of the plume that is accelerated and continues in the magnetosheath. In this paper we show typical plasma populations, their properties and conditions that lead to formation of the dayside magnetosphere mainly from the material provided by the upper layer of the ionosphere. As the annex we include 115 dayside magnetosphere crossings of both types that were analyzed in the paper.


title: Proactive Scheduling and Caching for Wireless VR Viewport Streaming

abstract: Virtual Reality (VR) applications require high data rate for a high-quality immersive experience, in addition to low latency to avoid dizziness and motion sickness. One of the key wireless VR challenges is providing seamless connectivity and meeting the stringent latency and bandwidth requirements. This work proposes a proactive wireless VR system that utilizes information about the user's future orientation for proactive scheduling and caching. This is achieved by leveraging deep neural networks to predict users' orientation trained on a real dataset. The 360{\deg} scene is then partitioned using an overlapping viewports scheme so that only portions of the scene covered by the users' perceptive field-of-view are streamed. Furthermore, to minimize the backhaul latency, popular viewports are cached at the edge cloud based on spatial popularity profiles. Through extensive simulations, we show that the proposed system provides significant latency and throughput performance improvement, especially in fluctuating channels and heavy load conditions. The proactive scheduling enabled by the combination of machine learning prediction and the proposed viewport scheme reduces the mean latency by more than 80% while achieving successful delivery rate close to 100%.


title: A dual version of Huppert's rho-sigma conjecture for character codegrees

abstract: We classify the finite groups with the property that any two different character codegrees are coprime. In general, we conjecture that if $k$ is a positive integer such that for any prime $p$ the number of character codegrees of a finite group $G$ that are divisible by $p$ is at most $k$, then the number of prime divisors of $|G|$ is bounded in terms of $k$. We prove this conjecture for solvable groups.


title: A new integral equation for Brownian stopping problems with finite time horizon

abstract: For classical finite time horizon stopping problems driven by a Brownian motion \[V(t,x) = \sup_{t\leq\tau\leq0}E_{(t,x)}[g(\tau,W_{\tau})],\] we derive a new class of Fredholm type integral equations for the stopping set. For large problem classes of interest, we show by analytical arguments that the equation uniquely characterizes the stopping boundary of the problem. Regardless of the uniqueness, we use the representation to rigorously find the limit behavior of the stopping boundary close to the terminal time. Interestingly, it turns out that the leading-order coefficient is universal for wide classes of problems. We also discuss how the representation can be used for numerical purposes.


title: Biharmonic distance of graphs

abstract: Lipman et al. [ACM Transactions on Graphics 29 (3) (2010), 1--11] introduced the concept of biharmonic distance to measure the distances between pairs of points on a 3D surface. Biharmonic distance has some advantages over resistance distance and geodesic distance in some realistic contexts. Nevertheless, limited work has been done on the biharmonic distance in the discrete case. In this paper, we give some characterizations of the biharmonic distance of a graph. Some basic mathematical properties of biharmonic distance and biharmonic index are established.


title: Towards Robotic Knee Arthroscopy: Multi-Scale Network for Tissue-Tool Segmentation

abstract: Tissue awareness has a great demand to improve surgical accuracy in minimally invasive procedures. In arthroscopy, it is one of the challenging tasks due to surgical sites exhibit limited features and textures. Moreover, arthroscopic surgical video shows high intra-class variations. Arthroscopic videos are recorded with endoscope known as arthroscope which records tissue structures at proximity, therefore, frames contain minimal joint structure. As consequences, fully conventional network-based segmentation model suffers from long- and short- term dependency problems. In this study, we present a densely connected shape aware multi-scale segmentation model which captures multi-scale features and integrates shape features to achieve tissue-tool segmentations. The model has been evaluated with three distinct datasets. Moreover, with the publicly available polyp dataset our proposed model achieved 5.09 % accuracy improvement.


title: Rank-2 Toric Code in Two Dimensions

abstract: We study a two-dimensional spin model obtained by "Higgsing" the rank-2 U(1) lattice gauge theory (LGT) with scalar or vector charges on the L_x * L_y square lattice under the periodic boundary condition (PBC). There are p degrees of freedom per orbital and three orbitals per unit cell in the spin model. The resulting spin model is a stabilizer code consisting of three mutually commuting projectors that are, in turn, obtained by Higgsing the mutually commuting Gauss's law operators and the magnetic field operators in the underlying LGT. The spin model thus obtained is exactly solvable, with the ground state degeneracy (GSD) D given by log_p D=2+(1+delta_{L_x mod p,0})(1+delta_{L_y mod p,0}) when p is a prime number. Two types of dipole excitations, pristine and emergent, are identified. Both the monopoles and the dipoles are free to move, with restrictions on monopoles to hop only by p lattice spacing along with certain directions. The monopole-monopole braiding phase depends on the separation of the x or y coordinates of the initial monopole positions, making it distinct from the ordinary anyon braiding statistics. The monopole-dipole braiding obeys the usual anyonic statistics. Despite the oddity, the monopole-monopole braiding phase can be understood as the Aharonov-Bohm phase of some emergent vector potentials.


title: Structural, electrical and energy storage properties of lead-free NaNbO3-BaHfO3 thin films

abstract: Lead-free dielectric thin-film capacitors with desirable energy storage density are gathering attention due to the increasing environmental concern and the integrating electronic devices. We here reported a series of new highly-orientated (1-x)NaNbO3-xBaHfO3 (x<0.15) lead-free thin films prepared by a sol-gel method, and presented the dependence of their structural, electrical and energy storage properties on the x level of BaHfO3. The microstructure, leakage current and breakdown strength of pristine NaNbO3 thin films are significantly improved by addition of BaHfO3. As a result, the superior energy storage performances were obtained at x=0.1 with recoverable energy storage density of 23.1 J/cm3 at 1100 kV/cm, excellent thermal stability from 30 to 210 0C, good fatigue resistance, and the fast charge-discharge rate.


title: Correction of Density-Functional-Theory based polynomial interatomic potentials to reproduce experimental melting properties

abstract: Recently, we developed a method to construct polynomial interatomic potentials from ab-initio calculations in order to accurately describe laser excited solids [PRL 124, 085501 (2020)]. However, ab-initio methods, and therefore analytical potentials derived from them, commonly do not provide an accurate prediction of the melting temperature. In order to reproduce the experimental melting properties, but keeping the accuracy in the laser excited case, we present here an approach to modify few key coefficients of polynomial interatomic potentials constructed from ab-initio data. We show that, with the help of such corrections, the electronic-temperature dependent interatomic potential for silicon can, at the same time, describe nonthermal laser induced effects with ab-initio accuracy and also provide the correct experimental melting temperature and slope $dT/dp$.


title: PlumeCityNet: Multi-Resolution Air Quality Forecasting

abstract: This paper presents an engine able to forecast jointly the concentrations of the main pollutants harming people's health: nitrogen dioxide (NO2), ozone (O3) and particulate matter (PM2.5 and PM10, which are respectively the particles whose diameters are below 2.5um and 10um respectively). The engine is fed with air quality monitoring stations' measurements, weather forecasts, physical models' outputs and traffic estimates to produce forecasts up to 24 hours. The forecasts are produced with several spatial resolutions, from a few dozens of meters to dozens of kilometers, fitting several use-cases needing air quality data. We introduce the Scale-Unit block, which enables to integrate seamlessly all available inputs at a given resolution to return forecasts at the same resolution. Then, the engine is based on a U-Net architecture built with several of those blocks, giving it the ability to process inputs and to output predictions at different resolutions. We have implemented and evaluated the engine on the largest cities in Europe and the United States, and it clearly outperforms other prediction methods. In particular, the out-of-sample accuracy remains high, meaning that the engine can be used in cities which are not included in the training dataset. A valuable advantage of the engine is that it does not need much computing power: the forecasts can be built in a few minutes on a standard CPU. Thus, they can be updated very frequently, as soon as new air quality monitoring stations' measurements are available (generally every hour), which is not the case of physical models traditionally used for air quality forecasting.


title: Magnon Interference Tunneling Spectroscopy as a Probe of 2D Magnetism

abstract: Probing two-dimensional single-layer quantum magnets remains a significant challenge. In this letter, we propose exploiting tunneling spectroscopy in the presence of magnetic impurities to obtain information about the magnon dispersion relations in analogy to quasiparticle interference in non-magnetic materials. We show this technique can be used to establish the dispersion relations even for frustrated magnets, where the presence of an impurity generally leads to a nontrivial spin texture. Finally, we consider the problem of establishing Chern magnon bands in 2D magnets showing how tuneable impurities allow probing the nature of the surface states.


title: Significant enhancement in refrigeration and entanglement in auxiliary-cavity-assisted optomechanical systems

abstract: We propose how to achieve significantly enhanced quantum refrigeration and entanglement by coupling a pumped auxiliary cavity to an optomechanical cavity. We obtain both analytical and numerical results, and find optimal-refrigeration and -entanglement conditions under the auxiliary-cavity-assisted (ACA) mechanism. Our method leads to a giant amplification in the net refrigeration rate, and reveals that the ACA entanglement has a much stronger noise-tolerant ability in comparison with the unassisted case. By appropriately designing the ACA mechanism, an effective mechanical susceptibility can be well adjusted, and a genuine tripartite entanglement of cooling-cavity photons, auxiliary-cavity photons, and phonons could be generated. Specifically, we show that both optomechanical refrigeration and entanglement can be greatly enhanced for the blue-detuned driving of the auxiliary cavity but suppressed for the red-detuned case. Our work paves a way towards further quantum control of macroscopic mechanical systems and the enhancement and protection of fragile quantum resources.


title: Turbulent cascade and energy transfer rate in a solar coronal mass ejection

abstract: Turbulence properties are examined before, during and after a coronal mass ejection (CME) detected by the6Wind spacecraft on July 2012. The power-law scaling of the structure functions, providing information on the7power spectral density and flatness of the velocity, magnetic filed and density fluctuations, were examined. The8third-order moment scaling law for incompressible, isotropic magnetohydrodynamic turbulence was observed9in the preceding and trailing solar wind, as well as in the CME sheath and magnetic cloud. This suggests that10the turbulence could develop sufficiently after the shock, or that turbulence in the sheath and cloud regions11was robustly preserved even during the mixing with the solar wind plasma. The turbulent energy transfer rate12was thus evaluated in each of the regions. The CME sheath shows an increase of energy transfer rate, as13expected from the lower level of Alfv\'enic fluctuations and suggesting the role of the shock-wind interaction as14an additional source of energy for the turbulent cascade.

categories: astro-ph.SR physics.flu-dyn physics.plasm-ph physics.space-ph


title: A structure preserving shift-invert infinite Arnoldi algorithm for a class of delay eigenvalue problems with Hamiltonian symmetry

abstract: In this work we consider a class of delay eigenvalue problems that admit a spectrum similar to that of a Hamiltonian matrix, in the sense that the spectrum is symmetric with respect to both the real and imaginary axis. More precisely, we present a method to iteratively approximate the eigenvalues of such delay eigenvalue problems closest to a given purely real or imaginary shift, while preserving the symmetries of the spectrum. To this end the presented method exploits the equivalence between the considered delay eigenvalue problem and the eigenvalue problem associated with a linear but infinite-dimensional operator. To compute the eigenvalues closest to the given shift, we apply a specifically chosen shift-invert transformation to this linear operator and compute the eigenvalues with the largest modulus of the new shifted and inverted operator using an (infinite) Arnoldi procedure. The advantage of the chosen shift-invert transformation is that the spectrum of the transformed operator has a "real skew-Hamiltonian"-like structure. Furthermore, it is proven that the Krylov space constructed by applying this operator, satisfies an orthogonality property in terms of a specifically chosen bilinear form. By taking this property into account during the orthogonalization process, it is ensured that even in the presence of rounding errors, the obtained approximation for, e.g., a simple, purely imaginary eigenvalue is simple and purely imaginary. The presented work can thus be seen as an extension of [V. Mehrmann and D. Watkins, "Structure-Preserving Methods for Computing Eigenpairs of Large Sparse Skew-Hamiltonian/Hamiltonian Pencils", SIAM J. Sci. Comput. (22.6), 2001], to the considered class of delay eigenvalue problems. Although the presented method is initially defined on function spaces, it can be implemented using finite dimensional linear algebra operations.


title: Perturbations In Some Dark Energy Models

abstract: Dark energy is the candidate that can produce effective negative pressure and make the galaxies and galaxy clusters move away from each other in an accelerated way. The structures of the Universe have evolved from some initial primordial fluctuations and depend on the background dynamics of different components of the Universe like dark matter, dark energy and others. The motivation of this thesis is to investigate how some of the dark energy models manifest themselves in the formation of the structures in the Universe.


title: Attentive Walk-Aggregating Graph Neural Networks

abstract: Graph neural networks (GNNs) have been shown to possess strong representation power, which can be exploited for downstream prediction tasks on graph-structured data, such as molecules and social networks. They typically learn representations by aggregating information from the $K$-hop neighborhood of individual vertices or from the enumerated walks in the graph. Prior studies have demonstrated the effectiveness of incorporating weighting schemes into GNNs; however, this has been primarily limited to $K$-hop neighborhood GNNs so far. In this paper, we aim to design an algorithm incorporating weighting schemes into walk-aggregating GNNs and analyze their effect. We propose a novel GNN model, called AWARE, that aggregates information about the walks in the graph using attention schemes. This leads to an end-to-end supervised learning method for graph-level prediction tasks in the standard setting where the input is the adjacency and vertex information of a graph, and the output is a predicted label for the graph. We then perform theoretical, empirical, and interpretability analyses of AWARE. Our theoretical analysis in a simplified setting identifies successful conditions for provable guarantees, demonstrating how the graph information is encoded in the representation, and how the weighting schemes in AWARE affect the representation and learning performance. Our experiments demonstrate the strong performance of AWARE in graph-level prediction tasks in the standard setting in the domains of molecular property prediction and social networks. Lastly, our interpretation study illustrates that AWARE can successfully capture the important substructures of the input graph. The code is available on $\href{https://github.com/mehmetfdemirel/aware}{GitHub}$.


title: Nematic Quantum Criticality in Dirac Systems

abstract: We investigate nematic quantum phase transitions in two different Dirac fermion models. The models feature twofold and fourfold, respectively, lattice rotational symmetries that are spontaneously broken in the ordered phase. Using negative-sign-free quantum Monte Carlo simulations and an $\epsilon$-expansion renormalization group analysis, we show that both models exhibit continuous phase transitions. In contrast to generic Gross-Neveu dynamical mass generation, the quantum critical regime is characterized by large velocity anisotropies, with fixed-point values being approached very slowly. Hence both experimental and numerical investigations will not be representative of the infrared fixed point, but of a crossover regime characterized by drifting exponents.


title: Digital Divide and Social Dilemma of Privacy Preservation

abstract: While digital divide studies primarily focused on access to information and communications technology (ICT) in the past, its influence on other associated dimensions such as privacy is becoming critical with a far-reaching impact on the people and society. For example, the various levels of government legislation and compliance on information privacy worldwide have created a new era of digital divide in the privacy preservation domain. In this article, the concept "digital privacy divide (DPD)" is introduced to describe the perceived gap in the privacy preservation of individuals based on the geopolitical location of different countries. To better understand the DPD phenomenon, we created an online questionnaire and collected answers from more than 700 respondents from four different countries (the United States, Germany, Bangladesh, and India) who come from two distinct cultural orientations as per Hofstede's individualist vs. collectivist society. However, our results revealed some interesting findings. DPD does not depend on Hofstede's cultural orientation of the countries. For example, individuals residing in Germany and Bangladesh share similar privacy concerns, while there is a significant similarity among individuals residing in the United States and India. Moreover, while most respondents acknowledge the importance of privacy legislation to protect their digital privacy, they do not mind their governments to allow domestic companies and organizations collecting personal data on individuals residing outside their countries, if there are economic, employment, and crime prevention benefits. These results suggest a social dilemma in the perceived privacy preservation, which could be dependent on many other contextual factors beyond government legislation and countries' cultural orientation.


title: S-Extension Patch: A simple and efficient way to extend an object detection model

abstract: While building convolutional network-based systems, the toll it takes to train the network is something that cannot be ignored. In cases where we need to append additional capabilities to the existing model, the attention immediately goes towards retraining techniques. In this paper, I show how to leverage knowledge about the dataset to append the class faster while maintaining the speed of inference as well as the accuracies; while reducing the amount of time and data required. The method can extend a class in the existing object detection model in 1/10th of the time compared to the other existing methods. S-Extension patch not only offers faster training but also speed and ease of adaptation, as it can be appended to any existing system, given it fulfills the similarity threshold condition.


title: Relaxation dynamics of half-quantum vortices in a two-dimensional two-component Bose-Einstein condensate

abstract: We study the relaxation dynamics of quantum turbulence in a two-component Bose-Einstein condensate containing half-quantum vortices. We find a temporal scaling regime for the number of vortices and the correlation lengths that at early times is strongly dependent on the relative strength of the inter-species interaction. At later times we find that the scaling becomes universal, independent of the inter-species interaction, and approaches that numerically observed in a scalar Bose-Einstein condensate.


title: Physics-Informed Neural Networks for AC Optimal Power Flow

abstract: This paper introduces, for the first time to our knowledge, physics-informed neural networks to accurately estimate the AC-OPF result and delivers rigorous guarantees about their performance. Power system operators, along with several other actors, are increasingly using Optimal Power Flow (OPF) algorithms for a wide number of applications, including planning and real-time operations. However, in its original form, the AC Optimal Power Flow problem is often challenging to solve as it is non-linear and non-convex. Besides the large number of approximations and relaxations, recent efforts have also been focusing on Machine Learning approaches, especially neural networks. So far, however, these approaches have only partially considered the wide number of physical models available during training. And, more importantly, they have offered no guarantees about potential constraint violations of their output. Our approach (i) introduces the AC power flow equations inside neural network training and (ii) integrates methods that rigorously determine and reduce the worst-case constraint violations across the entire input domain, while maintaining the optimality of the prediction. We demonstrate how physics-informed neural networks achieve higher accuracy and lower constraint violations than standard neural networks, and show how we can further reduce the worst-case violations for all neural networks.


title: Scaling Up Machine Learning For Quantum Field Theory with Equivariant Continuous Flows

abstract: We propose a continuous normalizing flow for sampling from the high-dimensional probability distributions of Quantum Field Theories in Physics. In contrast to the deep architectures used so far for this task, our proposal is based on a shallow design and incorporates the symmetries of the problem. We test our model on the $\phi^4$ theory, showing that it systematically outperforms a realNVP baseline in sampling efficiency, with the difference between the two increasing for larger lattices. On the largest lattice we consider, of size $32\times 32$, we improve a key metric, the effective sample size, from 1% to 66% w.r.t. the realNVP baseline.


title: Unveiling and veiling a Schr\"odinger cat state from the vacuum

abstract: Deep in the ultrastrong light-matter coupling regime, it has been predicted that the ground state of a two-level atom interacting with a cavity mode takes the form of a "virtual" Schr\"odinger cat entangled state between light and matter. We propose a method to convert this Schr\"odinger cat state from virtual to real, and back again, by driving the atom with optimally chosen pulses. Our system consists of a four-level atom, with two of these levels ultrastrongly coupled to a cavity mode. We show that the Schr\"odinger cat state can be converted between virtual and real by making use of either an ideal ultrafast pulse or a multi-tone {\pi}-pulse. In addition to allowing us to observe these unusual virtual states this method could also be used to generate entangled cat states on demand for quantum information processing.


title: The number of solutions of diagonal cubic equations over finite fields

abstract: Let $\mathbb{F}_q$ be a finite field of $q=p^k$ elements. For any $z\in \mathbb{F}_q$, let $A_n(z)$ and $B_n(z)$ denote the number of solutions of the equations $x_1^3+x_2^3+\cdots+x_n^3=z$ and $x_1^3+x_2^3+\cdots+x_n^3+zx_{n+1}^3=0$ respectively. Recently, using the generator of $\mathbb{F}^{\ast}_q$, Hong and Zhu gave the generating functions $\sum_{n=1}^{\infty}A_n(z)x^n$ and $\sum_{n=1}^{\infty}B_n(z)x^n$. In this paper, we give the generating functions $\sum_{n=1}^{\infty}A_n(z)x^n$ and $\sum_{n=1}^{\infty}B_n(z)x^n$ immediately by the coefficient $z$. Moreover, we gave the formulas of the number of solutions of equation $a_1x_1^3+a_2x_2^3+a_3x_3^3=0$ and our formulas are immediately determined by the coefficients $a_1,a_2$ and $a_3$. These extend and improve earlier results.


title: Testing the new QSM-6M optical module with the NEVOD Cherenkov water detector

abstract: The method for studying characteristics of the response of optical modules of neutrino telescopes to various classes of events registered in the volume of the Cherenkov water detector NEVOD is discussed. Results of testing of an optical module with Hamamatsu R877 photomultiplier in single muon events and in events with high energy deposit are presented.