title: A Diagnostic Approach to Assess the Quality of Data Splitting in Machine Learning

abstract: In machine learning, a routine practice is to split the data into a training and a test data set. A proposed model is built based on the training data, and then the performance of the model is assessed using test data. Usually, the data is split randomly into a training and a test set on an ad hoc basis. This approach, pivoted on random splitting, works well but more often than not, it fails to gauge the generalizing capability of the model with respect to perturbations in the input of training and test data. Experimentally, this sensitive aspect of randomness in the input data is realized when a new iteration of a fixed pipeline, from model building to training and testing, is executed, and an overly optimistic performance estimate is reported. Since the consistency in a model's performance predominantly depends on the data splitting, any conclusions on the robustness of the model are unreliable in such a scenario. We propose a diagnostic approach to quantitatively assess the quality of a given split in terms of its true randomness, and provide a basis for inferring model insensitivity towards the input data. We associate model robustness with random splitting using a self-defined data-driven distance metric based on the Mahalanobis squared distance between a train set and its corresponding test set. The probability distribution of the distance metric is simulated using Monte Carlo simulations, and a threshold is calculated from one-sided hypothesis testing. We motivate and showcase the performance of the proposed approach using various real data sets. We also compare the performance of the existing data splitting methods using the proposed method.


title: Recent Progress in Pencil Beam Scanning FLASH Proton Therapy: A Narrative Review

abstract: Background and Objective: Recent experimental studies using ultra-high dose rate radiation therapy (FLASH-RT) have shown improved normal tissue sparing and comparable tumor control compared to conventional dose rate RT. Pencil beam scanning (PBS) proton therapy with superior dosimetry characteristics has begun to draw attention to the delivery of conformal FLASH-RT for preclinical studies. This review aims to provide recent updates on the development of PBS FLASH-RT. Methods: The information summarized in this review article is based on search results in databases such as PubMed and search engines like Google Scholar, with keywords including pencil beam scanning, proton therapy, proton FLASH, Bragg peak FLASH, etc., with English articles from the year of 2014-2022. Content and Findings: This review summarizes of recent developments in PBS FLASH proton therapy (FLASH-PT), including PBS dose rate characterization, current delivery limitations, treatment planning, and biological investigations. Conclusions: As PBS FLASH delivery has enabled successful biological studies using transmission beams, the further improvement in PBS Bragg peak FLASH technologies will result in more advanced treatment plans associated with potentially improved outcomes.


title: Self-Supervised Training with Autoencoders for Visual Anomaly Detection

abstract: We focus on a specific use case in anomaly detection where the distribution of normal samples is supported by a lower-dimensional manifold. Here, regularized autoencoders provide a popular approach by learning the identity mapping on the set of normal examples, while trying to prevent good reconstruction on points outside of the manifold. Typically, this goal is implemented by controlling the capacity of the model, either directly by reducing the size of the bottleneck layer or implicitly by imposing some sparsity (or contraction) constraints on parts of the corresponding network. However, neither of these techniques does explicitly penalize the reconstruction of anomalous signals often resulting in poor detection. We tackle this problem by adapting a self-supervised learning regime that exploits discriminative information during training but focuses on the submanifold of normal examples. Informally, our training objective regularizes the model to produce locally consistent reconstructions, while replacing irregularities by acting as a filter that removes anomalous patterns. To support this intuition, we perform a rigorous formal analysis of the proposed method and provide a number of interesting insights. In particular, we show that the resulting model resembles a non-linear orthogonal projection of partially corrupted images onto the submanifold of uncorrupted samples. On the other hand, we identify the orthogonal projection as an optimal solution for a number of regularized autoencoders including the contractive and denoising variants. We support our theoretical analysis by empirical evaluation of the resulting detection and localization performance of the proposed method. In particular, we achieve a new state-of-the-art result on the MVTec AD dataset -- a challenging benchmark for visual anomaly detection in the manufacturing domain.


title: BERT Rankers are Brittle: a Study using Adversarial Document Perturbations

abstract: Contextual ranking models based on BERT are now well established for a wide range of passage and document ranking tasks. However, the robustness of BERT-based ranking models under adversarial inputs is under-explored. In this paper, we argue that BERT-rankers are not immune to adversarial attacks targeting retrieved documents given a query. Firstly, we propose algorithms for adversarial perturbation of both highly relevant and non-relevant documents using gradient-based optimization methods. The aim of our algorithms is to add/replace a small number of tokens to a highly relevant or non-relevant document to cause a large rank demotion or promotion. Our experiments show that a small number of tokens can already result in a large change in the rank of a document. Moreover, we find that BERT-rankers heavily rely on the document start/head for relevance prediction, making the initial part of the document more susceptible to adversarial attacks. More interestingly, we find a small set of recurring adversarial words that when added to documents result in successful rank demotion/promotion of any relevant/non-relevant document respectively. Finally, our adversarial tokens also show particular topic preferences within and across datasets, exposing potential biases from BERT pre-training or downstream datasets.


title: Tropical Representations and Identities of the Stylic Monoid

abstract: We exhibit a faithful representation of the stylic monoid of every finite rank as a monoid of upper unitriangular matrices over the tropical semiring. Thus, we show that the stylic monoid of finite rank $n$ generates the pseudovariety $\boldsymbol{\mathcal{J}}_n$, which corresponds to the class of all piecewise testable languages of height $n$, in the framework of Eilenberg's correspondence. From this, we obtain the equational theory of the stylic monoids of finite rank, show that they are finitely based if and only if $n \leq 3$, and that their identity checking problem is decidable in linearithmic time. We also establish connections between the stylic monoids and other plactic-like monoids, and solve the finite basis problem for the stylic monoid with involution.


title: Longest Common Subsequence: Tabular vs. Closed-Form Equation Computation of Subsequence Probability

abstract: The Longest Common Subsequence Problem (LCS) deals with finding the longest subsequence among a given set of strings. The LCS problem is an NP-hard problem which makes it a target for lots of effort to find a better solution with heuristics methods. The baseline for most famous heuristics functions is a tabular random, probabilistic approach. This approach approximates the length of the LCS in each iteration. The combination of beam search and tabular probabilistic-based heuristics has led to a large number of proposals and achievements in algorithms for solving the LCS problem. In this work, we introduce a closed-form equation of the probabilistic table calculation for the first time. Moreover, we present other corresponding forms of the closed-form equation and prove all of them. The closed-form equation opens new ways for analysis and further approximations. Using the theorems and beam search, we propose an analytic method for estimating the length of the LCS of the remaining subsequence. Furthermore, we present another heuristic function based on the Coefficient of Variation. The results show that our proposed methods outperform the state-of-the-art methods on the LCS problem.


title: Sequential Detection of Common Change in High-dimensional Data Stream

abstract: After obtaining an accurate approximation for $ARL_0$, we first consider the optimal design of weight parameter for a multivariate EWMA chart that minimizes the stationary average delay detection time (SADDT). Comparisons with moving average (MA), CUSUM, generalized likelihood ratio test (GLRT), and Shiryayev-Roberts (S-R) charts after obtaining their $ARL_0$ and SADDT's are conducted numerically. To detect the change with sparse signals, hard-threshold and soft-threshold EWMA charts are proposed. Comparisons with other charts including adaptive techniques show that the EWMA procedure should be recommended for its robust performance and easy design.


title: There Ain't No Such Thing as a Free Custom Memory Allocator

abstract: Using custom memory allocators is an efficient performance optimization technique. However, dependency on a custom allocator can introduce several maintenance-related issues. We present lessons learned from the industry and provide critical guidance for using custom memory allocators and enumerate various challenges associated with integrating them. These recommendations are based on years of experience incorporating custom allocators into different industrial software projects.


title: Half-isolated zeros and zero-density estimates

abstract: We introduce a new method to detect the zeros of the Riemann zeta function which is sensitive to the vertical distribution of the zeros. This allows us to prove there are few `half-isolated' zeros. By combining this with classical methods, we improve the Ingham-Huxley zero-density estimate under the assumption that the non-trivial zeros of the zeta function are restricted to lie on a finite number of fixed vertical lines. This has new consequences for primes in short intervals under the same assumption.


title: Dynamics of Topological Defects in the noisy Kuramoto Model in two dimensions

abstract: We consider the two-dimensional (2D) noisy Kuramoto model of synchronization with short-range coupling and a Gaussian distribution of intrinsic frequencies, and investigate its ordering dynamics following a quench. We consider both underdamped (inertial) and over-damped dynamics, and show that the long-term properties of this intrinsically out-of-equilibrium system do not depend on the inertia of individual oscillators. The model does not exhibit any phase transition as its correlation length remains finite, scaling as the inverse of the standard deviation of the distribution of intrinsic frequencies. The quench dynamics proceeds via domain growth, with a characteristic length that initially follows the growth law of the 2D XY model, although is not given by the mean separation between defects. Topological defects are generically free, breaking the Berezinskii-Kosterlitz-Thouless scenario of the 2D XY model. Vortices perform a random walk reminiscent of the self-avoiding random walk, advected by the dynamic network of boundaries between synchronised domains; featuring long-time super-diffusion, with the anomalous exponent $\alpha=3/2$.


title: Sequential Detection of Transient Signals in High Dimensional Data Stream

abstract: Motivated by sequential detection of transient signals in high dimensional data stream, we study the performance of EWMA, MA, CUSUM, and GLRT charts for detecting a transient signal in multivariate data streams in terms of the power of detection (POD) under the constraint of false detecting probability (FDP) at the stationary state. Approximations are given for FDP and POD. Comparisons show that the EWMA chart performs equally well as the GLRT chart when the signal strength is unknown, while its design is free of signal length and easy to update. In addition, the MEWMA chart with hard-threshold performs better when the signal only appears in a small portion of the channels. Dow Jones 30 industrial stock prices are used for illustration.


title: Size-dependent Failure Behavior of Lithium-Iron Phosphate Battery under Mechanical Abuse

abstract: Under mechanical abuse conditions, the failure of lithium-ion batteries occurs in various stages characterized by different force, temperature and voltage response which require it's in-situ measurements for analysis. Firstly, four sizes of commercially available lithium-iron phosphate batteries (LFPB) viz. 18650, 22650, 26650, and 32650 are subjected to quasi static lateral, longitudinal compression, and nail penetration tests. The failure, characterized by the voltage drop and temperature rise, at the onset of the first internal short-circuit (ISC), is identified by Aurdino-based voltage sensor module and temperature measurement module, respectively. The battery failure load and peak temperature at the onset of ISC are found to rely on the battery size strongly. The failure is observed to be delayed for small-sized 18650 batteries during lateral compression, unlike longitudinal compression and nail penetration test. At the onset of the short circuit, the temperature rise above the ambient value is different for different LFPBs. It is found to be maximum (64.4 degree C ) for LFPB 32650 under longitudinal compression and minimum (29.5 degree C) under lateral compression tests amongst the considered geometries. Further, LFPB 26650 exhibited a balanced thermal behavior during the considered abused condition. Such data can be sensed timely for effective thermal management and improved safety of lithium-ion batteries.


title: Walk the Random Walk: Learning to Discover and Reach Goals Without Supervision

abstract: Learning a diverse set of skills by interacting with an environment without any external supervision is an important challenge. In particular, obtaining a goal-conditioned agent that can reach any given state is useful in many applications. We propose a novel method for training such a goal-conditioned agent without any external rewards or any domain knowledge. We use random walk to train a reachability network that predicts the similarity between two states. This reachability network is then used in building goal memory containing past observations that are diverse and well-balanced. Finally, we train a goal-conditioned policy network with goals sampled from the goal memory and reward it by the reachability network and the goal memory. All the components are kept updated throughout training as the agent discovers and learns new goals. We apply our method to a continuous control navigation and robotic manipulation tasks.


title: Axion induced angular momentum reversal in Kerr-like black holes

abstract: We consider a pseudoscalar axion-like field coupled to a Chern-Simons gravitational anomaly term. The axion field backreacts on a rotating Kerr black hole background, resulting in modifications in the spacetime. In an attempt to determine potentially observable signatures, we study the angular momentum of the system of the modified Kerr-like black hole and the axionic matter outside the horizon of the black hole. As the strength of the coupling of the axion field to the Chern-Simons term is increasing, the requirement that the total angular momentum of the system remain constant forces the black hole angular momentum to decrease. There exists a critical value of this coupling beyond which the black hole starts to rotate in the opposite direction, with an increasing magnitude of its angular momentum. We interpret this effect as a consequence of the exchange of energy between the axionic matter and the gravitational anomaly, which is sourced by the rotating black hole.


title: Optimal Covariance Steering for Continuous-Time Linear Stochastic Systems With Multiplicative Noise

abstract: In this paper we study the finite-horizon optimal covariance steering problem for a continuous-time linear stochastic system subject to both additive and multiplicative noise. The noise can be continuous or it may contain jumps. Additive noise does not depend on the state or the control, whereas multiplicative noise has a magnitude proportional to the current state. The cost is assumed to be quadratic in both the state and the control. First, the controllability of the state covariance is established under mild assumptions. Then, the optimal control for steering the covariance is provided. Lastly, the existence and uniqueness of the optimal control is shown. In the process, we provide a result of independent interest regarding the maximal interval of existence of the solution to a matrix Riccati differential equation.


title: NovelCraft: A Dataset for Novelty Detection and Discovery in Open Worlds

abstract: In order for artificial agents to successfully perform tasks in changing environments, they must be able to both detect and adapt to novelty. However, visual novelty detection research often only evaluates on repurposed datasets such as CIFAR-10 originally intended for object classification, where images focus on one distinct, well-centered object. New benchmarks are needed to represent the challenges of navigating the complex scenes of an open world. Our new NovelCraft dataset contains multimodal episodic data of the images and symbolic world-states seen by an agent completing a pogo stick assembly task within a modified Minecraft environment. In some episodes, we insert novel objects of varying size within the complex 3D scene that may impact gameplay. Our visual novelty detection benchmark finds that methods that rank best on popular area-under-the-curve metrics may be outperformed by simpler alternatives when controlling false positives matters most. Further multimodal novelty detection experiments suggest that methods that fuse both visual and symbolic information can improve time until detection as well as overall discrimination. Finally, our evaluation of recent generalized category discovery methods suggests that adapting to new imbalanced categories in complex scenes remains an exciting open problem.


title: $\mathcal{C}^{\infty}$-symmetries of distributions and integrability

abstract: An extension of the notion of solvable structure for involutive distributions of vector fields is introduced. The new structures are based on a generalization of the concept of symmetry of a distribution of vector fields, inspired in the extension of Lie point symmetries to $\mathcal{C}^{\infty}$-symmetries for ODEs developed in the recent years. These new objects, named $\mathcal{C}^{\infty}$-structures, play a fundamental role in the integrability of the distribution: the knowledge of a $\mathcal{C}^{\infty}$-structure for a corank $k$ involutive distribution permits to find its integral manifolds by solving $k$ successive completely integrable Pfaffian equations. These results have important consequences for the integrability of differential equations. In particular, we derive a new procedure to integrate an $m$th-order ordinary differential equation by splitting the problem into $m$ completely integrable Pfaffian equations. This step-by-step integration procedure is applied to integrate completely several equations that cannot be solved by standard procedures.


title: On Convergence of a Truncation Scheme for Approximating Stationary Distributions of Continuous State Space Markov Chains and Processes

abstract: In the analysis of Markov chains and processes, it is sometimes convenient to replace an unbounded state space with a "truncated" bounded state space. When such a replacement is made, one often wants to know whether the equilibrium behavior of the truncated chain or process is close to that of the untruncated system. For example, such questions arise naturally when considering numerical methods for computing stationary distributions on unbounded state space. In this paper, we use the principle of "regeneration" to show that the stationary distributions of "fixed state" truncations converge in great generality (in total variation norm) to the stationary distribution of the untruncated limit, when the untruncated chain is positive Harris recurrent. Even in countable state space, our theory extends known results by showing that the augmentation can correspond to an $r$-regular measure. In addition, we extend our theory to cover an important subclass of Harris recurrent Markov processes that include non-explosive Markov jump processes on countable state space.


title: Evidence fusion with contextual discounting for multi-modality medical image segmentation

abstract: As information sources are usually imperfect, it is necessary to take into account their reliability in multi-source information fusion tasks. In this paper, we propose a new deep framework allowing us to merge multi-MR image segmentation results using the formalism of Dempster-Shafer theory while taking into account the reliability of different modalities relative to different classes. The framework is composed of an encoder-decoder feature extraction module, an evidential segmentation module that computes a belief function at each voxel for each modality, and a multi-modality evidence fusion module, which assigns a vector of discount rates to each modality evidence and combines the discounted evidence using Dempster's rule. The whole framework is trained by minimizing a new loss function based on a discounted Dice index to increase segmentation accuracy and reliability. The method was evaluated on the BraTs 2021 database of 1251 patients with brain tumors. Quantitative and qualitative results show that our method outperforms the state of the art, and implements an effective new idea for merging multi-information within deep neural networks.


title: Classical surrogates for quantum learning models

abstract: The advent of noisy intermediate-scale quantum computers has put the search for possible applications to the forefront of quantum information science. One area where hopes for an advantage through near-term quantum computers are high is quantum machine learning, where variational quantum learning models based on parametrized quantum circuits are discussed. In this work, we introduce the concept of a classical surrogate, a classical model which can be efficiently obtained from a trained quantum learning model and reproduces its input-output relations. As inference can be performed classically, the existence of a classical surrogate greatly enhances the applicability of a quantum learning strategy. However, the classical surrogate also challenges possible advantages of quantum schemes. As it is possible to directly optimize the ansatz of the classical surrogate, they create a natural benchmark the quantum model has to outperform. We show that large classes of well-analyzed re-uploading models have a classical surrogate. We conducted numerical experiments and found that these quantum models show no advantage in performance or trainability in the problems we analyze. This leaves only generalization capability as possible point of quantum advantage and emphasizes the dire need for a better understanding of inductive biases of quantum learning models.


title: Observation of strong backscattering in valley-Hall photonic topological interface modes

abstract: The unique properties of light underpin the visions of photonic quantum technologies, optical interconnects, and a wide range of novel sensors, but a key limiting factor today is losses due to either absorption or backscattering on defects. Recent developments in topological photonics have fostered the vision of backscattering-protected waveguides made from topological interface modes, but, surprisingly, measurements of their propagation losses were so far missing. Here we report on measurements of losses in the slow-light regime of valley-Hall topological waveguides and find no indications of topological protection against backscattering on ubiquitous structural defects. We image the light scattered out from the topological waveguides and find that the propagation losses are due to Anderson localization. The only photonic topological waveguides proposed for materials without intrinsic absorption in the optical domain are quantum spin-Hall and valley-Hall interface states, but the former exhibits strong out-of-plane losses, and our work therefore raises fundamental questions about the real-world value of topological protection in reciprocal photonics.


title: Inclusive and semi-inclusive production of spin-3/2 hadrons in $e^+e^-$ annihilation

abstract: We investigate the inclusive and semi-inclusive productions of spin-3/2 hadrons, such as $\Omega$, in unpolarized $e^+ e^-$ annihilation. The general differential cross sections are expressed in terms of structure functions in accordance to the polarization of the hadron and the azimuthal modulations. We derive a complete definition of quark transverse momentum dependent (TMD) fragmentation functions (FFs) to spin-3/2 hadrons for the first time from the decomposition of the quark-quark correlation matrix at leading twist, 14 of which are newly defined corresponding to rank-3 tensor polarized hadron. The collinear FFs are obtained from the $k_T$-integrated correlation matrix, and only two TMD FFs with rank-3 tensor polarization have nonvanishing collinear counterparts. Then we perform a leading order calculation of the unpolarized differential cross sections. In the single-hadron inclusive production, only two structure functions are found nonzero and none of the rank-3 tensor polarized FFs contributes. For the nearly back-to-back two-hadron production, half of the 48 structure functions are found nonzero even if the spin of the second hadron is not analyzed, and ten of the rank-3 tensor polarized TMD FFs contribute. Therefore, one can study the rank-3 tensor polarized FFs via the production of a spin-3/2 hadron and an unpolarized hadron in unpolarized $e^+ e^-$ collision experiments. These newly defined FFs can be further applied in semi-inclusive deep inelastic scattering processes for the study of nucleon structures.


title: LightFR: Lightweight Federated Recommendation with Privacy-preserving Matrix Factorization

abstract: Federated recommender system (FRS), which enables many local devices to train a shared model jointly without transmitting local raw data, has become a prevalent recommendation paradigm with privacy-preserving advantages. However, previous work on FRS performs similarity search via inner product in continuous embedding space, which causes an efficiency bottleneck when the scale of items is extremely large. We argue that such a scheme in federated settings ignores the limited capacities in resource-constrained user devices (i.e., storage space, computational overhead, and communication bandwidth), and makes it harder to be deployed in large-scale recommender systems. Besides, it has been shown that transmitting local gradients in real-valued form between server and clients may leak users' private information. To this end, we propose a lightweight federated recommendation framework with privacy-preserving matrix factorization, LightFR, that is able to generate high-quality binary codes by exploiting learning to hash technique under federated settings, and thus enjoys both fast online inference and economic memory consumption. Moreover, we devise an efficient federated discrete optimization algorithm to collaboratively train model parameters between the server and clients, which can effectively prevent real-valued gradient attacks from malicious parties. Through extensive experiments on four real-world datasets, we show that our LightFR model outperforms several state-of-the-art FRS methods in terms of recommendation accuracy, inference efficiency and data privacy.


title: Nonlinear Landau damping for the 2d Vlasov-Poisson system with massless electrons around Penrose-stable equilibria

abstract: In this paper, we prove the nonlinear asymptotic stability of the Penrose-stable equilibria among solutions of the $2d$ Vlasov-Poisson system with massless electrons.


title: Probabilistic load forecasting for the low voltage network: forecast fusion and daily peaks

abstract: Short-term forecasts of energy consumption are invaluable for the operation of energy systems, including low voltage electricity networks. However, network loads are challenging to predict when highly desegregated to small numbers of customers, which may be dominated by individual behaviours rather than the smooth profiles associated with aggregate consumption. Furthermore, distribution networks are challenged almost entirely by peak loads, and tasks such as scheduling storage and/or demand flexibility maybe be driven by predicted peak demand, a feature that is often poorly characterised by general-purpose forecasting methods. Here we propose an approach to predict the timing and level of daily peak demand, and a data fusion procedure for combining conventional and peak forecasts to produce a general-purpose probabilistic forecast with improved performance during peaks. The proposed approach is demonstrated using real smart meter data and a hypothetical low voltage network hierarchy comprising feeders, secondary and primary substations. Fusing state-of-the-art probabilistic load forecasts with peak forecasts is found to improve performance overall, particularly at smart-meter and feeder levels and during peak hours, where improvement in terms of CRPS exceeds 10%.


title: The unfairness of the revenue distribution system used in the UEFA club competitions

abstract: The Union of European Football Associations (UEFA) distributes commercial revenue from its club competitions according to a complex mechanism. Coefficient-based amounts are paid such that the participating teams are ranked on the basis of performances over the last 10 years. Due to the non-anonymity of this allocation rule, all clubs are interested in qualification together with lower-ranked teams, which makes the procedure incentive incompatible. In particular, the English club Arsenal is found to lose 132 thousand Euros prize money in the 2022/23 UEFA Europa League because of exerting full effort in its domestic championship. Two strategy-proof alternatives are proposed to divide fairly this pillar of the revenue distribution system.


title: The equivariant cohomology for cyclic group actions on some polyhedral products

abstract: The equivariant cohomology for actions of compact connected abelian groups and elementary abelian p-groups have been widely studied in the last decades. We study some of these results on actions of finite cyclic groups over a field of positive characteristic. In particular, we study the module structure of the equivariant cohomology over the cohomology of the classifying space and we provide a criterion for freeness over this ring and the polynomial subring of it. We apply these results to canonical actions of finite cyclic groups on polyhedral products arising from the boundary of a polygo


title: Effects of dipolar coupling on an entanglement storage device

abstract: Quantum computation requires efficient long-term storage devices to preserve quantum states. An attractive candidate for such storage devices is qubits connected to a common dissipative environment. The common environment gives rise to persistent entanglements in these qubit systems. Hence these systems act efficiently as a storage device of entanglement. However, the existence of a common environment often requires the physical proximity of the qubits and hence results in direct dipolar coupling between the qubits. In this work, we investigate the total effect of the dipolar coupling on the environment-induced entanglement using a recently-proposed fluctuation-regulated quantum master equation [A. Chakrabarti and R. Bhattacharyya, Phys. Rev. A 97, 063837 (2018)]. We show that nonsecular part of the dipolar coupling results in reduced entanglement and hence less efficiency of the storage devices. We also discuss the properties of efficient storage that mitigates the detrimental effects of the dipolar coupling on the stored entanglement.


title: Flexible and disposable paper- and plastic-based gel micropads for nematode handling, imaging, and chemical testing

abstract: Today, the area of point-of-care diagnostics is synonymous with paper microfluidics where cheap, disposable, and on-the-spot detection toolkits are being developed for a variety of chemical tests. In this work, we present a novel application of microfluidic paper-based analytical devices (microPADs) to study the behavior of a small model nematode, Caenorhabditis elegans. We describe schemes of microPAD fabrication on paper and plastic substrates where membranes are created in agarose and Pluronic gel. Methods are demonstrated for loading, visualizing, and transferring single and multiple nematodes. Using an anthelmintic drug, levamisole, we show that chemical testing on C. elegans is easily performed because of the open device structure. A custom program is written to automatically recognize individual worms on the microPADs and extract locomotion parameters in real-time. The combination of microPADs and the nematode tracking program provides a relatively low-cost, simple-to-fabricate imaging and screening assay (compared to standard agarose plates or polymeric microfluidic devices) for non-microfluidic, nematode laboratories.


title: Towards End-to-End Private Automatic Speaker Recognition

abstract: The development of privacy-preserving automatic speaker verification systems has been the focus of a number of studies with the intent of allowing users to authenticate themselves without risking the privacy of their voice. However, current privacy-preserving methods assume that the template voice representations (or speaker embeddings) used for authentication are extracted locally by the user. This poses two important issues: first, knowledge of the speaker embedding extraction model may create security and robustness liabilities for the authentication system, as this knowledge might help attackers in crafting adversarial examples able to mislead the system; second, from the point of view of a service provider the speaker embedding extraction model is arguably one of the most valuable components in the system and, as such, disclosing it would be highly undesirable. In this work, we show how speaker embeddings can be extracted while keeping both the speaker's voice and the service provider's model private, using Secure Multiparty Computation. Further, we show that it is possible to obtain reasonable trade-offs between security and computational cost. This work is complementary to those showing how authentication may be performed privately, and thus can be considered as another step towards fully private automatic speaker recognition.


title: Towards a Model Theory of Ordered Logics: Expressivity and Interpolation (Extended version)

abstract: We consider the family of guarded and unguarded ordered logics, that constitute a recently rediscovered family of decidable fragments of first-order logic (FO), in which the order of quantification of variables coincides with the order in which those variables appear as arguments of predicates. While the complexities of their satisfiability problems are now well-established, their model theory, however, is poorly understood. Our paper aims to provide some insight into it. We start by providing suitable notions of bisimulation for ordered logics. We next employ bisimulations to compare the relative expressive power of ordered logics, and to characterise our logics as bisimulation-invariant fragments of FO a la van Benthem. Afterwards, we study the Craig Interpolation Property~(CIP). We refute yet another claim from the infamous work by Purdy, by showing that the fluted and forward fragments do not enjoy CIP. We complement this result by showing that the ordered fragment and the guarded ordered logics enjoy CIP. These positive results rely on novel and quite intricate model constructions, which take full advantage of the "forwardness" of our logics.


title: CLAMP: Prompt-based Contrastive Learning for Connecting Language and Animal Pose

abstract: Animal pose estimation is challenging for existing image-based methods because of limited training data and large intra- and inter-species variances. Motivated by the progress of visual-language research, we propose that pre-trained language models (e.g., CLIP) can facilitate animal pose estimation by providing rich prior knowledge for describing animal keypoints in text. However, we found that building effective connections between pre-trained language models and visual animal keypoints is non-trivial since the gap between text-based descriptions and keypoint-based visual features about animal pose can be significant. To address this issue, we introduce a novel prompt-based Contrastive learning scheme for connecting Language and AniMal Pose (CLAMP) effectively. The CLAMP attempts to bridge the gap by adapting the text prompts to the animal keypoints during network training. The adaptation is decomposed into spatial-aware and feature-aware processes, and two novel contrastive losses are devised correspondingly. In practice, the CLAMP enables the first cross-modal animal pose estimation paradigm. Experimental results show that our method achieves state-of-the-art performance under the supervised, few-shot, and zero-shot settings, outperforming image-based methods by a large margin.


title: Measuring the Feasibility of Analogical Transfer using Complexity

abstract: Analogies are 4-ary relations of the form "A is to B as C is to D". While focus has been mostly on how to solve an analogy, i.e. how to find correct values of D given A, B and C, less attention has been drawn on whether solving such an analogy was actually feasible. In this paper, we propose a quantification of the transferability of a source case (A and B) to solve a target problem C. This quantification is based on a complexity minimization principle which has been demonstrated to be efficient for solving analogies. We illustrate these notions on morphological analogies and show its connections with machine learning, and in particular with Unsupervised Domain Adaptation.


title: Eight-vertex criticality in the interacting Kitaev chain

abstract: We show that including pairing and repulsion into the description of 1D spinless fermions, as in the domain wall theory of commensurate melting or the interacting Kitaev chain, leads, for strong enough repulsion, to a line of critical points in the eight vertex universality class terminating floating phases with emergent U(1) symmetry. For nearest-neighbor repulsion and pairing, the variation of the critical exponents along the line that can be extracted from Baxter's exact solution of the XYZ chain at $J_x=-J_z$ is fully confirmed by extensive DMRG simulations of the entire phase diagram, and the qualitative features of the phase diagram are shown to be independent of the precise form of the interactions.


abstract: Let $\Lambda$ be an Artin algebra and $K^b(proj(\Lambda))$ be the triangulated category of bounded co-chain complexes in $proj(\Lambda).$ It is well known that two-terms silting complexes in $K^b(proj(\Lambda))$ are described by the $\tau$-tilting theory. The aim of this paper is to give a characterization of certain $n$-term silting complexes in $K^b(proj(\Lambda))$ which are induced by $\Lambda$-modules. In order to do that, we introduce the notions of $\tau_n$-rigid, $\tau_n$-tilting and $\tau_{n,m}$-tilting $\Lambda$-modules. The latter is both a generalization of $\tau$-tilting and tilting in $mod(\Lambda).$ It is also stated and proved some variant, for $\tau_n$-tilting modules, of the well known Bazzoni's characterization for tilting modules. We give some connections between $n$-terms presilting complexes in $K^b(proj(\Lambda))$ and $\tau_n$-rigid $\Lambda$-modules. Moreover, a characterization is given to know when a $\tau_n$-tilting $\Lambda$-module is $n$-tilting. We also study more deeply the properties of the $\tau_{n,m}$-tilting $\Lambda$-modules and their connections of being $m$-tilting in some quotient algebras. We apply the developed $\tau_{n,m}$-tilting theory to the finitistic dimension of $\Lambda.$ Finally, at the end of the paper we discuss and state some open questions (conjectures) that we consider crucial for the future develop of the $\tau_{n,m}$-tilting theory.


title: Membership Problems in Finite Groups

abstract: We show that the subset sum problem, the knapsack problem and the rational subset membership problem for permutation groups are NP-complete. Concerning the knapsack problem we obtain NP-completeness for every fixed $n \geq 3$, where $n$ is the number of permutations in the knapsack equation. In other words: membership in products of three cyclic permutation groups is NP-complete. This sharpens a result of Luks, which states NP-completeness of the membership problem for products of three abelian permutation groups. We also consider the context-free membership problem in permutation groups and prove that it is PSPACE-complete but NP-complete for a restricted class of context-free grammars where acyclic derivation trees must have constant Horton-Strahler number. Our upper bounds hold for black box groups. The results for context-free membership problems in permutation groups yield new complexity bounds for various intersection non-emptiness problems for DFAs and a single context-free grammar.


title: Gapless spin-excitations in the superconducting state of a quasi-one-dimensional spin-triplet superconductor

abstract: Majorana zero modes form as intrinsic defects in an odd-orbital one-dimensional superconductor thus motivating the search for such materials in the pursuit of Majorana physics. Here, we present combined experimental results and first principles calculations which suggest that quasi-one-dimensional K$_2$Cr$_3$As$_3$ may be such a superconductor. Using inelastic neutron scattering we probe the dynamic spin-susceptibilities of K$_2$Cr$_3$As$_3$ and K$_2$Mo$_3$As$_3$ and show the presence of antiferromagnetic spin-fluctuations in both compounds. Below the superconducting transition, these fluctuations gap in K$_2$Mo$_3$As$_3$ but not in K$_2$Cr$_3$As$_3$. Using first principles calculations, we show that these fluctuations likely arise from nesting on one dimensional features of the Fermi surface. Considering these results we propose that while K$_2$Mo$_3$As$_3$ is a conventional superconductor, K$_2$Cr$_3$As$_3$ is likely a spin-triplet, and consequently, topological superconductor.


title: Blow-up for semilinear parabolic equations in cones of the hyperbolic space

abstract: We investigate existence and nonexistence of global in time nonnegative solutions to the semilinear heat equation, with a reaction term of the type $e^{\mu t}u^p$ ($\mu\in\mathbb{R}, p>1$), posed on cones of the hyperbolic space. Under a certain assumption on $\mu$ and $p$, related to the bottom of the spectrum of $-\Delta$ in $\mathbb H^n$, we prove that any solution blows up in finite time, for any nontrivial nonnegative initial datum. Instead, if the parameters $\mu$ and $p$ satisfy the opposite condition we have: (a) blow-up when the initial datum is large enough, (b) existence of global solutions when the initial datum is small enough. Hence our conditions on the parameters $\mu$ and $p$ are optimal. We see that blow-up and global existence do not depend on the amplitude of the cone. This is very different from what happens in the Euclidean setting, and it is essentially due to a specific geometric feature of $\mathbb H^n$.


title: What makes you, you? Analyzing Recognition by Swapping Face Parts

abstract: Deep learning advanced face recognition to an unprecedented accuracy. However, understanding how local parts of the face affect the overall recognition performance is still mostly unclear. Among others, face swap has been experimented to this end, but just for the entire face. In this paper, we propose to swap facial parts as a way to disentangle the recognition relevance of different face parts, like eyes, nose and mouth. In our method, swapping parts from a source face to a target one is performed by fitting a 3D prior, which establishes dense pixels correspondence between parts, while also handling pose differences. Seamless cloning is then used to obtain smooth transitions between the mapped source regions and the shape and skin tone of the target face. We devised an experimental protocol that allowed us to draw some preliminary conclusions when the swapped images are classified by deep networks, indicating a prominence of the eyes and eyebrows region. Code available at https://github.com/clferrari/FacePartsSwap


title: Some consequences of the valley Delta conjectures

abstract: In (Haglund, Remmel, Wilson 2018) Haglund, Remmel and Wilson introduced their Delta conjectures, which give two different combinatorial interpretations of the symmetric function $\Delta'_{e_{n-k-1}} e_n$ in terms of rise-decorated or valley-decorated labelled Dyck paths respectively. While the rise version has been recently proved (D'Adderio, Mellit 2021; Blasiak, Haiman, Morse, Pun, Seelinger preprint 2021), not much is known about the valley version. In this work we prove the Schr\"oder case of the valley Delta conjecture, the Schr\"oder case of its square version (Iraci, Vanden Wyngaerd 2021), and the Catalan case of its extended version (Qiu, Wilson 2020). Furthermore, assuming the symmetry of (a refinement of) the combinatorial side of the extended valley Delta conjecture, we deduce also the Catalan case of its square version (Iraci, Vanden Wyngaerd 2021).


title: Zipper Entanglement Renormalization for Free Fermions

abstract: Entanglement renormalization refers to a sequence of real-space coarse-graining transformations in which short-range entanglement on successively longer length scales are distilled out. In this work, we introduce a state-based approach, "zipper entanglement renormalization" (ZER), for free-fermion systems. The name derives from a unitary we construct at every renormalization step, dubbed the zipper, which unzips the state into an approximate tensor product between a short-range entangled state and a renormalized one carrying the longer-range entanglement. By successively performing ZER on the renormalized states, we obtain a unitary transformation of the input state into a state that is approximately factorized over the emergent renormalization spacetime. As a demonstration, we apply ZER to one-dimensional models and show that it efficiently disentangles the ground states of the Su-Schrieffer-Heeger model, a scale-invariant critical state, as well as a more general gapless state with two sets of Fermi points.


title: sparse-ir: optimal compression and sparse sampling of many-body propagators

abstract: We introduce sparse-ir, a collection of libraries to efficiently handle imaginary-time propagators, a central object in finite-temperature quantum many-body calculations. We leverage two concepts: firstly, the intermediate representation (IR), an optimal compression of the propagator with robust a-priori error estimates, and secondly, sparse sampling, near-optimal grids in imaginary time and imaginary frequency from which the propagator can be reconstructed and on which diagrammatic equations can be solved. IR and sparse sampling are packaged into stand-alone, easy-to-use Python, Julia and Fortran libraries, which can readily be included into existing software. We also include an extensive set of sample codes showcasing the library for typical many-body and ab initio methods.


title: The quarter median

abstract: We introduce and discuss a multivariate version of the classical median that is based on an equipartition property with respect to quarter spaces. These arise as pairwise intersections of the half-spaces associated with the coordinate hyperplanes of an orthogonal basis. We obtain results on existence, equivariance, and asymptotic normality.


title: Regularising the JNW and JMN naked singularities

abstract: We extend the method of Simpson and Visser (SV) of regularising a black hole spacetime, to cases where the initial metric represents a globally naked singularity. We choose two particular geometries, the Janis-Newman-Winicour (JNW) metric representing the solution of an Einstein-scalar field system, and the Joshi-Malafarina-Narayan (JMN) metric that represents the asymptotic equilibrium configuration of a collapsing star supported by tangential pressures as the starting configuration. We illustrate several novel features for the modified versions of the JNW and JMN spacetimes. In particular, we show that, depending on the values of the parameters involved the modified JNW metric may represents either a two way traversable wormhole or it may retain the original naked singularity. On the other hand, the SV modified JMN geometry is always a wormhole. Particle motion and observational aspects of these new geometries are investigated and are shown to posses interesting features. We also study the quasinormal modes of different branches of the regularised spacetime and explore their stability properties.


title: Cataloguing MoSi$_2$N$_4$ and WSi$_2$N$_4$ van der Waals Heterostructures: An Exceptional Material Platform for Excitonic Solar Cell Applications

abstract: Two-dimensional (2D) materials van der Waals heterostructures (vdWHs) provides a revolutionary route towards high-performance solar energy conversion devices beyond the conventional silicon-based pn junction solar cells. Despite tremendous research progress accomplished in recent years, the searches of vdWHs with exceptional excitonic solar cell conversion efficiency and optical properties remain an open theoretical and experimental quest. Here we show that the vdWH family composed of MoSi$_2$N$_4$ and WSi$_2$N$_4$ monolayers provides a compelling material platform for developing high-performance ultrathin excitonic solar cells and photonics devices. Using first-principle calculations, we construct and classify 51 types of MoSi$_2$N$_4$ and WSi$_2$N$_4$-based [(Mo,W)Si$_2$N$_4$] vdWHs composed of various metallic, semimetallic, semiconducting, insulating and topological 2D materials. Intriguingly, MoSi$_2$N$_4$/(InSe, WSe$_2$) are identified as Type-II vdWHs with exceptional excitonic solar cell power conversion efficiency reaching well over 20%, which are competitive to state-of-art silicon solar cells. The (Mo,W)Si$_2$N$_4$ vdWH family exhibits strong optical absorption in both the visible and ultraviolet regimes. Exceedingly large peak ultraviolet absorptions over 40%, approaching the maximum absorption limit of a free-standing 2D material, can be achieved in (Mo,W)Si$_2$N$_4$/$\alpha_2$-(Mo,W)Ge$_2$P$_4$ vdWHs. Our findings unravel the enormous potential of (Mo,W)Si$_2$N$_4$ vdWHs in designing ultimately compact excitonic solar cell device technology.


title: Physics-Informed Statistical Modeling for Wildfire Aerosols Process Using Multi-Source Geostationary Satellite Remote-Sensing Data Streams

abstract: Increasingly frequent wildfires significantly affect solar energy production as the atmospheric aerosols generated by wildfires diminish the incoming solar radiation to the earth. Atmospheric aerosols are measured by Aerosol Optical Depth (AOD), and AOD data streams can be retrieved and monitored by geostationary satellites. However, multi-source remote-sensing data streams often present heterogeneous characteristics, including different data missing rates, measurement errors, systematic biases, and so on. To accurately estimate and predict the underlying AOD propagation process, there exist practical needs and theoretical interests to propose a physics-informed statistical approach for modeling wildfire AOD propagation by simultaneously utilizing, or fusing, multi-source heterogeneous satellite remote-sensing data streams. Leveraging a spectral approach, the proposed approach integrates multi-source satellite data streams with a fundamental advection-diffusion equation that governs the AOD propagation process. A bias correction process is included in the statistical model to account for the bias of the physics model and the truncation error of the Fourier series. The proposed approach is applied to California wildfires AOD data streams obtained from the National Oceanic and Atmospheric Administration. Comprehensive numerical examples are provided to demonstrate the predictive capabilities and model interpretability of the proposed approach. Computer code has been made available on GitHub.


title: Artin-Hasse formula for $p^m-$primary elements

abstract: Using Borevich's system of generators and relations, the classical Artin-Hasse formula is obtained from scratch in the case when taking $p$-th root of the second argument of the Hilbert symbol gives an unramified $p$-extension of the same degree of irregularity. Under the same assumptions, in the case of Lubin-Tate formal groups, an expression for the Hilbert symbol is obtained in terms of the expansion of elements by the same system of generators.


title: FitGAN: Fit- and Shape-Realistic Generative Adversarial Networks for Fashion

abstract: Amidst the rapid growth of fashion e-commerce, remote fitting of fashion articles remains a complex and challenging problem and a main driver of customers' frustration. Despite the recent advances in 3D virtual try-on solutions, such approaches still remain limited to a very narrow - if not only a handful - selection of articles, and often for only one size of those fashion items. Other state-of-the-art approaches that aim to support customers find what fits them online mostly require a high level of customer engagement and privacy-sensitive data (such as height, weight, age, gender, belly shape, etc.), or alternatively need images of customers' bodies in tight clothing. They also often lack the ability to produce fit and shape aware visual guidance at scale, coming up short by simply advising which size to order that would best match a customer's physical body attributes, without providing any information on how the garment may fit and look. Contributing towards taking a leap forward and surpassing the limitations of current approaches, we present FitGAN, a generative adversarial model that explicitly accounts for garments' entangled size and fit characteristics of online fashion at scale. Conditioned on the fit and shape of the articles, our model learns disentangled item representations and generates realistic images reflecting the true fit and shape properties of fashion articles. Through experiments on real world data at scale, we demonstrate how our approach is capable of synthesizing visually realistic and diverse fits of fashion items and explore its ability to control fit and shape of images for thousands of online garments.


title: Single-phase deep learning in cortico-cortical networks

abstract: The error-backpropagation (backprop) algorithm remains the most common solution to the credit assignment problem in artificial neural networks. In neuroscience, it is unclear whether the brain could adopt a similar strategy to correctly modify its synapses. Recent models have attempted to bridge this gap while being consistent with a range of experimental observations. However, these models are either unable to effectively backpropagate error signals across multiple layers or require a multi-phase learning process, neither of which are reminiscent of learning in the brain. Here, we introduce a new model, Bursting Cortico-Cortical Networks (BurstCCN), which solves these issues by integrating known properties of cortical networks namely bursting activity, short-term plasticity (STP) and dendrite-targeting interneurons. BurstCCN relies on burst multiplexing via connection-type-specific STP to propagate backprop-like error signals within deep cortical networks. These error signals are encoded at distal dendrites and induce burst-dependent plasticity as a result of excitatory-inhibitory top-down inputs. First, we demonstrate that our model can effectively backpropagate errors through multiple layers using a single-phase learning process. Next, we show both empirically and analytically that learning in our model approximates backprop-derived gradients. Finally, we demonstrate that our model is capable of learning complex image classification tasks (MNIST and CIFAR-10). Overall, our results suggest that cortical features across sub-cellular, cellular, microcircuit and systems levels jointly underlie single-phase efficient deep learning in the brain.


title: Asymptotic flocking for the Cucker-Smale model with time variable time delays

abstract: In this paper, we investigate a Cucker-Smale flocking model with varying time delay. We establish exponential asymptotic flocking without requiring smallness assumptions on the time delay size and the monotonicity of the influence function.


title: The muon $g-2$ and $W$-mass anomalies explained and the electroweak vacuum stabilised by extending the minimal Type-II seesaw

abstract: The recent precise measurement of the $W$-mass by the CDF II collaboration is indicative of new physics beyond the Standard Model. On the other hand, a resolution of the longstanding muon $g-2$ anomaly also calls for additional dynamics. In this work, we accommodate the two aforementioned anomalies in an extension of the minimal Type-II seesaw model. That is, the minimal Type-II model is augmented with an additional doubly charged scalar and vector leptons. While a chirality-flip of the vector leptons can predict the observed value of muon $g-2$, the value of the recently reported $W$-mass can also be simultaneously achieved through the oblique parameters of the model. In addition, we further show that the parameter region allowing for the simultaneous resolution of the two anomalies complies with the neutrino mass data, lepton flavour violation and electroweak vacuum stability up to the Planck scale.


title: Double-bracket quantum algorithms for diagonalization

abstract: This work proposes double-bracket iterations as a framework for obtaining diagonalizing quantum circuits. Their implementation on a quantum computer consists of interlacing evolutions generated by the input Hamiltonian with diagonal evolutions which can be chosen variationally. No qubit overheads or controlled-unitary operations are needed but the method is recursive which makes the circuit depth grow exponentially with the number of recursion steps. To make near-term implementations viable, the proposal includes optimization of diagonal evolution generators and of recursion step durations. Indeed, thanks to this numerical examples show that the expressive power of double-bracket iterations suffices to approximate eigenstates of relevant quantum models with few recursion steps. Compared to brute-force optimization of unstructured circuits double-bracket iterations do not suffer from the same trainability limitations. Moreover, with an implementation cost lower than required for quantum phase estimation they are more suitable for near-term quantum computing experiments. More broadly, this work opens a pathway for constructing purposeful quantum algorithms based on so-called double-bracket flows also for tasks different from diagonalization and thus enlarges the quantum computing toolkit geared towards practical physics problems.


title: Weak radiative hyperon decays in covariant baryon chiral perturbation theory

abstract: Weak radiative hyperon decays, important to test the strong interaction and relevant in searches for beyond the standard model physics, have remained puzzling both experimentally and theoretically for a long time. The recently updated branching fraction and first measurement of the asymmetry parameter of $\Lambda\to n\gamma$ by the BESIII Collaboration further exacerbate the issue, as none of the existing predictions can describe the data. We show in this letter that the covariant baryon chiral perturbation theory, with constraints from the latest measurements of hyperon non-leptonic decays, can well describe the BESIII data. The predicted branching fraction and asymmetry parameter for $\Xi^-\to\Sigma^-\gamma$ are also in agreement with the experimental data. We note that a more precise measurement of the asymmetry parameter, which is related with that of $\Sigma^+\to p\gamma$, is crucial to test Hara's theorem. We further predict the branching fraction and asymmetry parameter of $\Sigma^0\to n\gamma$, whose future measurement can serve as a highly nontrivial check on our understanding of weak radiative hyperon decay and on the covariant baryon chiral perturbation theory.


title: Mechanically-tunable bandgap closing in 2D graphene phononic crystals

abstract: We present a tunable phononic crystal which undergoes a phase transition from mechanically insulating to mechanically transmissive (metallic). Specifically, in our simulations for a phononic lattice under biaxial tension ($\sigma_{xx} =\sigma_{yy}$ = 0.01 N$/$m), we find a bandgap for out-of-plane phonons in the range of 48.8 - 56.4 MHz, which we can close by increasing the degree of tension uniaxiality ($\sigma_{xx} / \sigma_{yy}$) to 1.7. To manipulate the tension distribution, we design a realistic device of finite size, where $\sigma_{xx} / \sigma_{yy}$ is tuned by applying a gate voltage to a phononic crystal made from suspended graphene. We show that the phase transition can be probed via acoustic transmission measurements and that the phononic bandgap persists even after the inclusion surface contaminants and random tension variations present in realistic devices. The proposed system acts as a transistor for phonons with an on/off ratio of $10^5$ (100 dB suppression) and is thus a valuable extension for phonon logic applications. In addition, this mechanical analogue to a metal-insulator transition (mMIT) allows tunable coupling between mechanical entities (e.g. mechanical qubits).


title: Regression with Label Permutation in Generalized Linear Model

abstract: The assumption that response and predictor belong to the same statistical unit may be violated in practice. Unbiased estimation and recovery of true label ordering based on unlabeled data are challenging tasks and have attracted increasing attentions in the recent literature. In this paper, we present a relatively complete analysis of label permutation problem for the generalized linear model with multivariate responses. The theory is established under different scenarios, with knowledge of true parameters, with partial knowledge of underlying label permutation matrix and without any knowledge. Our results remove the stringent conditions required by the current literature and are further extended to the missing observation setting which has never been considered in the field of label permutation problem. On computational side, we propose two methods, "maximum likelihood estimation" algorithm and "two-step estimation" algorithm, to accommodate for different settings. When the proportion of permuted labels is moderate, both methods work effectively. Multiple numerical experiments are provided and corroborate our theoretical findings.


title: Graph Neural Networks for Temperature-Dependent Activity Coefficient Prediction of Solutes in Ionic Liquids

abstract: Ionic liquids (ILs) are important solvents for sustainable processes and predicting activity coefficients (ACs) of solutes in ILs is needed. Recently, matrix completion methods (MCMs), transformers, and graph neural networks (GNNs) have shown high accuracy in predicting ACs of binary mixtures, superior to well-established models, e.g., COSMO-RS and UNIFAC. GNNs are particularly promising here as they learn a molecular graph-to-property relationship without pretraining, typically required for transformers, and are, unlike MCMs, applicable to molecules not included in training. For ILs, however, GNN applications are currently missing. Herein, we present a GNN to predict temperature-dependent infinite dilution ACs of solutes in ILs. We train the GNN on a database including more than 40,000 AC values and compare it to a state-of-the-art MCM. The GNN and MCM achieve similar high prediction performance, with the GNN additionally enabling high-quality predictions for ACs of solutions that contain ILs and solutes not considered during training.


title: Fluctuating kinetic theory and fluctuating hydrodynamics of aligning active particles: the dilute limit

abstract: Kinetic and hydrodynamic theories are widely employed for describing the collective behaviour of active matter systems. At the fluctuating level, these have been obtained from explicit coarse-graining procedures in the limit where each particle interacts weakly with many others, so that the total forces and torques exerted on each of them is of order unity at all times. Such limit is however not relevant for dilute systems that mostly interact via alignment; there, collisions are rare and make the self-propulsion direction to change abruptly. We derive a fluctuating kinetic theory, and the corresponding fluctuating hydrodynamics, for aligning self-propelled particles in the limit of dilute systems. We discover that fluctuations at kinetic level are not Gaussian and depend on the interactions among particles, but that only their Gaussian part survives in the hydrodynamic limit. At variance with fluctuating hydrodynamics for weakly interacting particles, we find that the noise variance at hydrodynamic level depends on the interaction rules among particles and is proportional to the square of the density, reflecting the binary nature of the aligning process. The results of this paper, which are derived for polar self-propelled particles with polar alignment, could be straightforwardly extended to polar particles with nematic alignment or to fully nematic systems.


title: On the arithmetic of generalized Fekete polynomials

abstract: For each prime number $p$ one can associate a Fekete polynomial with coefficients $-1$ or $1$ except the constant term, which is 0. These are classical polynomials that have been studied extensively in the framework of analytic number theory. In a recent paper, we showed that these polynomials also encode interesting arithmetic information. In this paper, we define generalized Fekete polynomials associated with quadratic characters whose conductors could be a composite number. We then investigate the appearance of cyclotomic factors of these generalized Fekete polynomials. Based on this investigation, we introduce a compact version of Fekete polynomials as well as their trace polynomials. We then study the Galois groups of these Fekete polynomials using modular techniques. In particular, we discover some surprising extra symmetries which imply some restrictions on the corresponding Galois groups. Finally, based on both theoretical and numerical data, we propose a precise conjecture on the structure of these Galois groups.


title: Theta-type congruences for colored partitions

abstract: We investigate congruence relations of the form $p_r(\ell m n + t) \equiv 0 \pmod{\ell}$ for all $n$, where $p_r(n)$ is the number of $r$-colored partitions of $n$ and $m,\ell$ are distinct primes.


title: Chasing Convex Bodies and Functions with Black-Box Advice

abstract: We consider the problem of convex function chasing with black-box advice, where an online decision-maker aims to minimize the total cost of making and switching between decisions in a normed vector space, aided by black-box advice such as the decisions of a machine-learned algorithm. The decision-maker seeks cost comparable to the advice when it performs well, known as $\textit{consistency}$, while also ensuring worst-case $\textit{robustness}$ even when the advice is adversarial. We first consider the common paradigm of algorithms that switch between the decisions of the advice and a competitive algorithm, showing that no algorithm in this class can improve upon 3-consistency while staying robust. We then propose two novel algorithms that bypass this limitation by exploiting the problem's convexity. The first, INTERP, achieves $(\sqrt{2}+\epsilon)$-consistency and $\mathcal{O}(\frac{C}{\epsilon^2})$-robustness for any $\epsilon > 0$, where $C$ is the competitive ratio of an algorithm for convex function chasing or a subclass thereof. The second, BDINTERP, achieves $(1+\epsilon)$-consistency and $\mathcal{O}(\frac{CD}{\epsilon})$-robustness when the problem has bounded diameter $D$. Further, we show that BDINTERP achieves near-optimal consistency-robustness trade-off for the special case where cost functions are $\alpha$-polyhedral.


title: Local stress and elastic properties of lipid membranes obtained from elastic energy variation

abstract: A theory and computational method are provided for the calculation of lipid membranes elastic parameters, which overcomes the difficulties of the existing approaches and can be applied not only to single-component but also to multi-component membranes. It is shown that the major elastic parameters can be determined as the derivatives of the stress-profile moments with respect to stretching. The more general assumption of the global incompressibility, instead of the local one, is employed, which allows the measurement of the local Poisson's ratio from the response of the stress profile to the isotropic ambient pressure. In the case of the local incompressibility and quadratic energy law, a direct relation between the bending modulus and Gaussian curvature modulus is established.


title: Supersymmetric black holes with a single axial symmetry in five dimensions

abstract: We present a classification of asymptotically flat, supersymmetric black hole and soliton solutions of five-dimensional minimal supergravity that admit a single axial symmetry which `commutes' with the supersymmetry. This includes the first examples of five-dimensional black hole solutions with exactly one axial Killing field that are smooth on and outside the horizon. The solutions have similar properties to the previously studied class with biaxial symmetry, in particular, they have a Gibbons-Hawking base and the harmonic functions must be of multi-centred type with the centres corresponding to the connected components of the horizon or fixed points of the axial symmetry. We find a large moduli space of black hole and soliton spacetimes with non-contractible 2-cycles and the horizon topologies are $S^3$, $S^1\times S^2$ and lens spaces $L(p,1)$.


title: Kirkwood-Dirac quasiprobability approach to the statistics of incompatible observables

abstract: Recent work has revealed the central role played by the Kirkwood-Dirac quasiprobability (KDQ) as a tool to properly account for non-classical features in the context of condensed matter physics (scrambling, dynamical phase transitions) metrology (standard and post-selected), thermodynamics (power output and fluctuation theorems), foundations (contextuality, anomalous weak values) and more. Given the growing relevance of the KDQ across the quantum sciences, our aim is two-fold: First, we highlight the role played by quasiprobabilities in characterizing the statistics of quantum observables and processes in the presence of measurement incompatibility. In this way, we show how the KDQ naturally underpins and unifies quantum correlators, quantum currents, Loschmidt echoes, and weak values. Second, we provide novel theoretical and experimental perspectives by discussing a wide variety of schemes to access the KDQ and its non-classicality features.


title: The role of open data in the transformation to Society 5.0: a resource or a tool for SDG-compliant Smart Living?

abstract: Open data are characterized by a number of economic, technological, innovative and social benefits. They are seen as a significant contributor to the city's transformation into Smart City. This is all the more so when the society is on the border of Society 5.0, i.e., shift from the information society to a super smart society or society of imagination takes place. However, the question constantly asked by open data experts is, what are the key factors to be met and satisfied in order to achieve promised benefits? The current trend of openness suggests that the principle of openness should be followed not only by data but also research, education, software, standard, hardware etc., it should become a philosophy to be followed at different levels, in different domains. This should ensure greater transparency, eliminating inequalities, promoting, and achieving sustainable development goals. Therefore, many agendas now have openness as a prerequisite. This chapter deals with concepts of open (government) data and Society 5.0 pointing to their common objectives, providing some success stories of open data use in smart cities or transformation of cities towards smart cities, mapping them to the features of the Society 5.0. We believe that this trend develops a new form of society, which we refer to as "open data-driven society". It forms a bridge from Society 4.0 to Society 5.0. This Chapter attempts to identify the role of openness in promoting human-centric Smart Society, Smart city, and Smart Living.


title: Negative Compressability of Non-Equilibrium Non-Ideal Bose--Einstein Condensate

abstract: An ideal equilibrium Bose--Einstein condensate (BEC) is usually considered in the grand canonical ($\mu V T$) ensemble, which implies the presence of the chemical equilibrium with the environment. However, in most experimental scenarios, the total amount of particles in BEC is determined either by the initial conditions or by the balance between dissipation and pumping. As a result, BEC may possess the thermal equilibrium but almost never the chemical equilibrium. In addition, many experimentally achievable BECs are non-ideal due to interaction between particles. In the recent work [10.1103/PhysRevLett.128.065301], it has been shown that invariant subspaces in the system Hilbert space appear in non-equilibrium BEC in the fast thermalization limit. In each of these subspaces, Gibbs distribution is established with a certain number of particles that makes it possible to investigate properties of non-ideal non-equilibrium BEC independently in each invariant subspace. In this work, we analyze the BEC stability due to change in dispersion curve caused by non-ideal interactions in BEC. Generally, non-ideal interactions lead to the redshift or blueshift of the dispertion curve and to the change in the effective mass of the particles. We show that the redshift of the dispersion curve can lead to the negative compressibility of BEC, whereas the change in the effective mass always makes BEC more stable. We find the explicit condition for the particle density in BEC, at which the negative compressibility appears.


title: SVSHI: Secure and Verified Smart Home Infrastructure

abstract: Smart infrastructures uses are growing and with them the need for dependability and correctness. To provide better correctness guarantees and bring formal verification into the equation, we present SVSHI, a platform for developing, verifying, and running Python applications in KNX installations, one of the most used smart buildings standards. SVSHI leverages abstract syntax tree (AST) manipulation, code generation, symbolic execution, and static configuration verification to make writing advanced apps easy, quick, and safe. With SVSHI, the reliability and compatibility of the applications are guaranteed without foregoing users' productivity.


title: NoSQL security: can my data-driven decision-making be influenced from outside?

abstract: Nowadays, there are billions interconnected devices forming Cyber-Physical Systems, Internet of Things (IoT) and Industrial Internet of Things (IIoT) ecosystems. With an increasing number of devices and systems in use, amount and the value of data, the risks of security breaches increase. One of these risks is posed by open data sources, by which are meant databases, which are not properly protected. These poorly protected databases are accessible to external actors, which poses a serious risk to the data holder and the results of data-related activities such as analysis, forecasting, monitoring, decision-making, policy development, and the whole contemporary society. This chapter aims at examining the state of the security of open data databases representing both relational databases and NoSQL, with a particular focus on a later category.


title: Partial lifting of degeneracy in the $J_1-J_2-J_3$ Ising antiferromagnet on the kagome lattice

abstract: Motivated by dipolar-coupled artificial spin systems, we present a theoretical study of the classical $J_1-J_2-J_3$ Ising antiferromagnet on the kagome lattice. We establish the ground-state phase diagram of this model for $J_1 > |J_2|, |J_3|$ based on exact results for the ground-state energies. When all the couplings are antiferromagnetic, the model has three macroscopically degenerate ground-state phases, and using tensor networks, we can calculate the entropies of these phases and of their boundaries very accurately. In two cases, the entropy appears to be a fraction of that of the triangular lattice Ising antiferromagnet, and we provide analytical arguments to support this observation. We also notice that, surprisingly enough, the dipolar ground state is not a ground state of the truncated model, but of the model with smaller $J_3$ interactions, an indication of a very strong competition between low-energy states in this model.


title: Probabilistically Resilient Multi-Robot Informative Path Planning

abstract: In this paper, we solve a multi-robot informative path planning (MIPP) task under the influence of uncertain communication and adversarial attackers. The goal is to create a multi-robot system that can learn and unify its knowledge of an unknown environment despite the presence of corrupted robots sharing malicious information. We use a Gaussian Process (GP) to model our unknown environment and define informativeness using the metric of mutual information. The objectives of our MIPP task is to maximize the amount of information collected by the team while maximizing the probability of resilience to attack. Unfortunately, these objectives are at odds especially when exploring large environments which necessitates disconnections between robots. As a result, we impose a probabilistic communication constraint that allows robots to meet intermittently and resiliently share information, and then act to maximize collected information during all other times. To solve our problem, we select meeting locations with the highest probability of resilience and use a sequential greedy algorithm to optimize paths for robots to explore. Finally, we show the validity of our results by comparing the learning ability of well-behaving robots applying resilient vs. non-resilient MIPP algorithms.


title: The Super-Massive Black Hole close environment in Active Galactic Nuclei

abstract: Active Galactic Nuclei are powered by accretion of matter onto a supermassive black hole (SMBH) of mass Mbh ~ 10^{5}-10^{9} Msun. The accretion process is indeed the most efficient mechanism for energy release we currently know of, with up to ~30-40% of the gravitational rest mass energy that can be converted into radiation. The vast majority of this energy is released at high energy (UV-X-rays) within the central $100$ gravitational radii from the central SMBH. This energy release occurs through a variety of emission and absorption mechanisms, spanning the entire electromagnetic spectrum. The UV emission being commonly explained by the presence of an optically thick accretion flow, while the X-rays generally require a hotter, optically thinner, plasma, the so-called X-ray corona. If outflows are present, they can also extract a significant part of the gravitational power. With an origin in the deep potential well of the SMBH, the study of the high-energy emission of AGN give a direct insight into the physical properties of the accretion, ejection and radiative mechanisms occurring in the SMBH close environment. While not exhaustive, we discuss in this chapter our present understanding of these mechanisms, the limitations we are currently facing and the expected advances in the future.


title: Open-source FPGA-ML codesign for the MLPerf Tiny Benchmark

abstract: We present our development experience and recent results for the MLPerf Tiny Inference Benchmark on field-programmable gate array (FPGA) platforms. We use the open-source hls4ml and FINN workflows, which aim to democratize AI-hardware codesign of optimized neural networks on FPGAs. We present the design and implementation process for the keyword spotting, anomaly detection, and image classification benchmark tasks. The resulting hardware implementations are quantized, configurable, spatial dataflow architectures tailored for speed and efficiency and introduce new generic optimizations and common workflows developed as a part of this work. The full workflow is presented from quantization-aware training to FPGA implementation. The solutions are deployed on system-on-chip (Pynq-Z2) and pure FPGA (Arty A7-100T) platforms. The resulting submissions achieve latencies as low as 20 $\mu$s and energy consumption as low as 30 $\mu$J per inference. We demonstrate how emerging ML benchmarks on heterogeneous hardware platforms can catalyze collaboration and the development of new techniques and more accessible tools.


title: Two-dimensional total absorption spectroscopy with conditional generative adversarial networks

abstract: We explore the use of machine learning techniques to remove the response of large volume $\gamma$-ray detectors from experimental spectra. Segmented $\gamma$-ray total absorption spectrometers (TAS) allow for the simultaneous measurement of individual $\gamma$-ray energy (E$_\gamma$) and total excitation energy (E$_x$). Analysis of TAS detector data is complicated by the fact that the E$_x$ and E$_\gamma$ quantities are correlated, and therefore, techniques that simply unfold using E$_x$ and E$_\gamma$ response functions independently are not as accurate. In this work, we investigate the use of conditional generative adversarial networks (cGANs) to simultaneously unfold $E_{x}$ and $E_{\gamma}$ data in TAS detectors. Specifically, we employ a \texttt{Pix2Pix} cGAN, a generative modeling technique based on recent advances in deep learning, to treat \rawmatrix~ matrix unfolding as an image-to-image translation problem. We present results for simulated and experimental matrices of single-$\gamma$ and double-$\gamma$ decay cascades. Our model demonstrates characterization capabilities within detector resolution limits for upwards of 93% of simulated test cases.


title: Authentication of Copy Detection Patterns under Machine Learning Attacks: A Supervised Approach

abstract: Copy detection patterns (CDP) are an attractive technology that allows manufacturers to defend their products against counterfeiting. The main assumption behind the protection mechanism of CDP is that these codes printed with the smallest symbol size (1x1) on an industrial printer cannot be copied or cloned with sufficient accuracy due to data processing inequality. However, previous works have shown that Machine Learning (ML) based attacks can produce high-quality fakes, resulting in decreased accuracy of authentication based on traditional feature-based authentication systems. While Deep Learning (DL) can be used as a part of the authentication system, to the best of our knowledge, none of the previous works has studied the performance of a DL-based authentication system against ML-based attacks on CDP with 1x1 symbol size. In this work, we study such a performance assuming a supervised learning (SL) setting.


title: A non-linear solution to the $S_8$ tension?

abstract: Weak galaxy lensing surveys have consistently reported a lower amplitude for the matter fluctuation spectrum, as measured by the $S_8$ parameter, than expected in the $\Lambda{\rm CDM}$ cosmology favoured by $Planck$. However, the expansion history follows the predictions of the $Planck$ $\Lambda{\rm CDM}$ cosmology to high accuracy, as do measurements of lensing of the cosmic microwave background anisotropies. Redshift space distortion measurements also appear to be consistent with $Planck$ $\Lambda{\rm CDM}$. In this paper, we argue that these observations can be reconciled with the $Planck$ $\Lambda{\rm CDM}$ cosmology if the matter power spectrum is suppressed more strongly on non-linear scales than assumed in analyses of weak galaxy lensing. We demonstrate this point by fitting a one-parameter model, characterising a suppression of the non-linear power spectrum, to the KiDS-1000 weak lensing measurements. Such a suppression could be attributed to new properties of the dark matter that affect non-linear scales, or to a response of the matter fluctuations to baryonic feedback processes that are stronger than expected from recent cosmological simulations. Our proposed explanation can be tested using measurements of the amplitude of the matter fluctuation spectrum on linear scales, in particular via high precision redshift space distortion measurements from forthcoming galaxy and quasar redshift surveys.


title: Video PreTraining (VPT): Learning to Act by Watching Unlabeled Online Videos

abstract: Pretraining on noisy, internet-scale datasets has been heavily studied as a technique for training models with broad, general capabilities for text, images, and other modalities. However, for many sequential decision domains such as robotics, video games, and computer use, publicly available data does not contain the labels required to train behavioral priors in the same way. We extend the internet-scale pretraining paradigm to sequential decision domains through semi-supervised imitation learning wherein agents learn to act by watching online unlabeled videos. Specifically, we show that with a small amount of labeled data we can train an inverse dynamics model accurate enough to label a huge unlabeled source of online data -- here, online videos of people playing Minecraft -- from which we can then train a general behavioral prior. Despite using the native human interface (mouse and keyboard at 20Hz), we show that this behavioral prior has nontrivial zero-shot capabilities and that it can be fine-tuned, with both imitation learning and reinforcement learning, to hard-exploration tasks that are impossible to learn from scratch via reinforcement learning. For many tasks our models exhibit human-level performance, and we are the first to report computer agents that can craft diamond tools, which can take proficient humans upwards of 20 minutes (24,000 environment actions) of gameplay to accomplish.


title: Lipschitz rigidity for scalar curvature

abstract: Let $M$ be a closed smooth connected spin manifold of even dimension $n$, let $g$ be a Riemannian metric of regularity $W^{1,p}$, $p > n$, on $M$ whose distributional scalar curvature in the sense of Lee-LeFloch is bounded below by $n(n-1)$, and let $f \colon (M,g) \to \mathbb{S}^n$ be a $1$-Lipschitz continuous (not necessarily smooth) map of non-zero degree to the unit $n$-sphere. Then $f$ is a metric isometry. This generalizes a result of Llarull (1998) and answers in the affirmative a question of Gromov (2019) in his "Four lectures". Our proof is based on spectral properties of Dirac operators for low regularity Riemannian metrics and twisted with Lipschitz bundles. We argue that the existence of a non-zero harmonic spinor field forces $f$ to be quasiregular in the sense of Reshetnyak, and in this way connect the powerful theory for quasiregular maps to the Atiyah-Singer index theorem.


title: Secondary Hochschild homology and differentials

abstract: In this paper we study a generalization of K\"ahler differentials, which correspond to the secondary Hochschild homology associated to a triple $(A,B,\varepsilon)$. We establish computations in low dimension, while also showing how this connects with the kernel of a multiplication map.


title: Stationary, Markov, stochastic processes with polynomial conditional moments and continuous paths

abstract: We are studying stationary random processes with conditional polynomial moments that allow a continuous path modification. Processes with continuous path modification, are important because they are relatively easy to simulate. One does not have to care about the distribution of their jumps which is always difficult to find. Among them are the Ornstein-Uhlenbeck process, the Gamma process, the process with Arcsin margins and the Theta function transition densities and others. We give a simple criterion for the stationary process to have a continuous path modification expressed in terms of skewness and excess kurtosis of the marginal distribution.


title: Emergence of Interlayer Coherence in Twist-Controlled Graphene Double Layers

abstract: We report enhanced interlayer tunneling with reduced linewidth at zero interlayer bias in a twist-controlled double monolayer graphene heterostructure in the quantum Hall regime, when the top ($\nu_{\mathrm{T}}$) and bottom ($\nu_{\mathrm{B}}$) layer filling factors are near $\nu_{\mathrm{T}}=\pm1/2, \pm3/2$ and $\nu_{\mathrm{B}}=\pm1/2, \pm3/2$, and the total filling factor $\nu = \pm1$ or $\pm3$. The zero-bias interlayer conductance peaks are stable against variations of layer filling factor, and signal the emergence of interlayer phase coherence. Our results highlight twist control as a key attribute in revealing interlayer coherence using tunneling.


title: Lagrangian stretching reveals stress topology in viscoelastic flows

abstract: Viscoelastic flows are pervasive in a host of natural and industrial processes, where the emergence of nonlinear and time-dependent dynamics regulate flow resistance, energy consumption, and particulate dispersal. Polymeric stress induced by the advection and stretching of suspended polymers feeds back on the underlying fluid flow, which ultimately dictates the dynamics, instability, and transport properties of viscoelastic fluids. However, direct experimental quantification of the stress field is challenging, and a fundamental understanding of how Lagrangian flow structure regulates the distribution of polymeric stress is lacking. In this work, we show that the topology of the polymeric stress field precisely mirrors the Lagrangian stretching field, where the latter depends solely on flow kinematics. We develop a general analytical expression that directly relates the polymeric stress and stretching in weakly viscoelastic fluids for both nonlinear and unsteady flows, which is also extended to special cases characterized by strong kinematics. Furthermore, numerical simulations reveal a clear correlation between the stress and stretching field topologies for unstable viscoelastic flows across a broad range of geometries. Ultimately, our results establish a connection between the Eulerian stress field and the Lagrangian structure of viscoelastic flows. This work provides a simple framework to determine the topology of polymeric stress directly from readily measurable flow field data and lays the foundation for directly linking the polymeric stress to flow transport properties.


title: A Database for Reduced-Complexity Modeling of Fluid Flows

abstract: We present a publicly accessible database designed to aid in the conception, training, demonstration, evaluation, and comparison of reduced-complexity models for fluid mechanics. Availability of high-quality flow data is essential for all of these aspects of model development for both data-driven and physics-based methods. The database contains time-resolved data for six distinct datasets: a large eddy simulation of a turbulent jet, direct numerical simulations of a zero-pressure-gradient turbulent boundary layer, particle-image-velocimetry measurements for the same boundary layer at several Reynolds numbers, direct numerical simulations of laminar stationary and pitching flat-plate airfoils, particle-image-velocimetry and force measurements of an airfoil encountering a gust, and a large eddy simulation of the separated, turbulent flow over an airfoil. These six cases span several key flow categories: laminar and turbulent, statistically stationary and transient, tonal and broadband spectral content, canonical and application-oriented, wall-bounded and free-shear flow, and simulation and experimental measurements. For each dataset, we describe the flow setup and computational/experimental methods, catalog the data available in the database, and provide examples of how these data can be used for reduced-complexity modeling. All data can be downloaded using a browser interface or Globus. Our vision is that the common testbed provided by this database will aid the fluid mechanics community in clarifying the distinct capabilities of new and existing methods.


title: Steenrod closed parameter ideals in the mod-$2$ cohomology of $A_4$ and $SO(3)$

abstract: In this paper, we classify the parameter ideals in $H^*(BA_4;\mathbb{F}_2)$ and in the Dickson algebra $H^*(BSO(3);\mathbb{F}_2)$ that are closed under Steenrod operations. Consequently, we obtain restrictions on the dimensions $m,n$ for which $A_4$ can act freely on $S^m\times S^n$. We construct free $A_4$-actions on finite CW-complexes homotopy equivalent to a product of two spheres realizing some of the ideals from our classification.


title: Are pulsar halos rare ?

abstract: Extended gamma-ray emission, interpreted as halos formed by the inverse-Compton scattering of ambient photons by electron-positron pairs, is observed toward a number of middle-aged pulsars. The physical origin and actual commonness of the phenomenon in the Galaxy remain unclear. The conditions of pair confinement seem extreme compared to what can be achieved in recent theoretical models. We searched for scenarios minimizing as much as possible the extent and magnitude of diffusion suppression in the halos in J0633+1746 and B0656+14, and explored the implications on the local positron flux if they are applied to all nearby middle-aged pulsars. We used a phenomenological static two-zone diffusion framework and compared its predictions with Fermi-LAT and HAWC observations of the two halos, and with the local positron flux measured with AMS-02. While strong diffusion suppression by 2-3 orders of magnitude at ~100TeV is required by the data, it is possible to find solutions with diffusion suppression extents as small as 30pc for both objects. If all nearby middle-aged pulsars develop such halos, their combined positron flux including the contribution from Geminga would saturate the >100GeV AMS-02 measurement for injection efficiencies that are much smaller than those inferred for the canonical halos in J0633+1746 and B0656+14, and more generally with the values typical of younger pulsar wind nebulae. Conversely, if positrons from other nearby pulsars are released in the interstellar medium without any confinement around the source, their total positron flux fits into the observed spectrum for the same injection efficiencies of a few tens of percent for all pulsars, from kyr-old objects powering pulsar wind nebulae to 100kyr-old objects like J0633+1746 and B0656+14. It seems a simpler scenario to assume that most middle-aged pulsars do not develop halos (abridged).


title: Rethinking Surgical Instrument Segmentation: A Background Image Can Be All You Need

abstract: Data diversity and volume are crucial to the success of training deep learning models, while in the medical imaging field, the difficulty and cost of data collection and annotation are especially huge. Specifically in robotic surgery, data scarcity and imbalance have heavily affected the model accuracy and limited the design and deployment of deep learning-based surgical applications such as surgical instrument segmentation. Considering this, we rethink the surgical instrument segmentation task and propose a one-to-many data generation solution that gets rid of the complicated and expensive process of data collection and annotation from robotic surgery. In our method, we only utilize a single surgical background tissue image and a few open-source instrument images as the seed images and apply multiple augmentations and blending techniques to synthesize amounts of image variations. In addition, we also introduce the chained augmentation mixing during training to further enhance the data diversities. The proposed approach is evaluated on the real datasets of the EndoVis-2018 and EndoVis-2017 surgical scene segmentation. Our empirical analysis suggests that without the high cost of data collection and annotation, we can achieve decent surgical instrument segmentation performance. Moreover, we also observe that our method can deal with novel instrument prediction in the deployment domain. We hope our inspiring results will encourage researchers to emphasize data-centric methods to overcome demanding deep learning limitations besides data shortage, such as class imbalance, domain adaptation, and incremental learning. Our code is available at https://github.com/lofrienger/Single_SurgicalScene_For_Segmentation.


title: Monogamy of entanglement between cones

abstract: A separable quantum state shared between parties $A$ and $B$ can be symmetrically extended to a quantum state shared between party $A$ and parties $B_1,\ldots ,B_k$ for every $k\in\mathbf{N}$. Quantum states that are not separable, i.e., entangled, do not have this property. This phenomenon is known as "monogamy of entanglement". We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones $\mathsf{C}_A$ and $\mathsf{C}_B$: The elements of the minimal tensor product $\mathsf{C}_A\otimes_{\min} \mathsf{C}_B$ are precisely the tensors that can be symmetrically extended to elements in the maximal tensor product $\mathsf{C}_A\otimes_{\max} \mathsf{C}^{\otimes_{\max} k}_B$ for every $k\in\mathbf{N}$. Equivalently, the minimal tensor product of two cones is the intersection of the nested sets of $k$-extendible tensors. It is a natural question when the minimal tensor product $\mathsf{C}_A\otimes_{\min} \mathsf{C}_B$ coincides with the set of $k$-extendible tensors for some finite $k$. We show that this is universally the case for every cone $\mathsf{C}_A$ if and only if $\mathsf{C}_B$ is a polyhedral cone with a base given by a product of simplices. Our proof makes use of a new characterization of products of simplices up to affine equivalence that we believe is of independent interest.