title: Exploring phases of the Su-Schrieffer-Heeger model with tSNE

abstract: T-distributed stochastic neighborhood embedding (tSNE) is used as a tool to reveal the phase diagram of the Su-Schrieffer-Heeger model and some of its extended and non-Hermitian variants. Bloch vectors calculated at different points in the parameter space are mapped to a two-dimensional reduced space. The clusters in the reduced space are used to visualize different phase regions included in the input. The tSNE mapping is shown to be effective even in the challenging case of the non-Hermitian extended model where five different phases are present. An example of using wavefunction input, instead of Bloch vectors, is presented also.


title: Assessing the Benefits of Model Ensembles in Neural Re-Ranking for Passage Retrieval

abstract: Our work aimed at experimentally assessing the benefits of model ensembling within the context of neural methods for passage reranking. Starting from relatively standard neural models, we use a previous technique named Fast Geometric Ensembling to generate multiple model instances from particular training schedules, then focusing or attention on different types of approaches for combining the results from the multiple model instances (e.g., averaging the ranking scores, using fusion methods from the IR literature, or using supervised learning-to-rank). Tests with the MS-MARCO dataset show that model ensembling can indeed benefit the ranking quality, particularly with supervised learning-to-rank although also with unsupervised rank aggregation.


title: Robust Output Regulation and Reinforcement Learning-based Output Tracking Design for Unknown Linear Discrete-Time Systems

abstract: In this paper, we investigate the optimal output tracking problem for linear discrete-time systems with unknown dynamics using reinforcement learning and robust output regulation theory. This output tracking problem only allows to utilize the outputs of the reference system and the controlled system, rather than their states, and differs from most existing tracking results that depend on the state of the system. The optimal tracking problem is formulated into a linear quadratic regulation problem by proposing a family of dynamic discrete-time controllers. Then, it is shown that solving the output tracking problem is equivalent to solving output regulation equations, whose solution, however, requires the knowledge of the complete and accurate system dynamics. To remove such a requirement, an off-policy reinforcement learning algorithm is proposed using only the measured output data along the trajectories of the system and the reference output. By introducing re-expression error and analyzing the rank condition of the parameterization matrix, we ensure the uniqueness of the proposed RL based optimal control via output feedback.


title: A submetric characterization of Rolewicz's property ($\beta$)

abstract: The main result is a submetric characterization of the class of Banach spaces admitting an equivalent norm with Rolewicz's property ($\beta$). As applications we prove that up to renorming, property ($\beta$) is stable under coarse Lipschitz embeddings and coarse quotients.


title: Van der Waals Cascade in Supercritical Turbulence near a Critical Point

abstract: We investigate a quite strong turbulence in a supercritical fluid near a gas-liquid critical point. Specifically, we consider a case in which the Kolmogorov scale is much smaller than the equilibrium correlation length $\xi$. Although equilibrium critical fluctuations are destroyed by turbulence, $\xi$ still provides a crossover length scale between two types of energy cascade. At scales much larger than $\xi$, the Richardson cascade becomes dominant, whereas at scales much smaller than $\xi$, another type of cascade, which we call the van der Waals cascade, is induced by density fluctuations. Experimental conditions required to observe the van der Waals cascade are also discussed.


title: Polaritonic non-locality in ultrastrong light-matter coupling

abstract: Sub-wavelength electromagnetic field localization has been central in photonic research in the last decade, allowing to enhance sensing capabilities as well as increasing the coupling between photons and material excitations. The ultrastrong light-matter coupling regime in the THz range with split-ring resonators coupled to magnetoplasmons has been widely investigated, achieving successive world-records for the largest light-matter coupling ever achieved. Ever shrinking resonators have allowed to approach the regime of few electrons strong coupling, in which single-dipole properties can be modified by the vacuum field. Here we demonstrate, theoretically and experimentally, the existence of a limit to the possibility of arbitrarily increasing electromagnetic confinement in polaritonic systems. Strongly sub-wavelength fields can excite a continuum of high-momenta propagative magnetoplasmons. This leads to peculiar nonlocal polaritonic effects, as certain polaritonic features disappear and the system enters in the regime of bound-to-continuum strong coupling. Emerging nonlinearities due to the local breaking of Kohn's theorem are also reported.


title: Gr\"obner-nice pairs of ideals

abstract: We introduce the concept of a Gr\"obner nice pair of ideals in a polynomial ring and we present some applications.


title: Lifetime Measurements in the Even-Even $^{102-108}$Cd Isotopes

abstract: The heaviest N=Z doubly-magic nucleus, $^{100}$Sn, and the neighboring nuclei offer unique opportunities to investigate the properties of nuclear interaction in extreme conditions. In particular, the Cd isotopes are expected to present features similar to those found in the Sn isotopic chain, since they have only two proton holes in the Z=50 shell. In this manuscript, the lifetime measurements of low-lying states in the even-mass $^{102-108}$Cd is presented. Thanks to the powerful detection capabilities of AGATA array and VAMOS++ spectrometer, the unusual employment of multi-nucleon transfer reactions permitted to investigate the first 2$^+$ and 4$^+$ states in all these nuclei, together with various deformed bands in $^{106}$Cd. The results were interpreted in the context of new state-of-the-art beyond-mean-field calculations, using the symmetry-conserving configuration-mixing approach. Despite the similarities in the electromagnetic properties of the low-lying states, there is a fundamental structural difference between the ground-state bands in the Z=48 and Z=50 isotopes. The comparison between experimental and theoretical results revealed a rotational character of the Cd nuclei, which have prolate-deformed ground states with $\beta_2 \approx 0.2$. At this deformation Z=48 becomes a closed-shell configuration, which is favored with respect to the spherical one.


title: A variational discrete element method for the computation of Cosserat elasticity

abstract: The variational discrete element method developed in [28] for dynamic elasto-plastic computations is adapted to compute the deformation of elastic Cosserat materials. In addition to cellwise displacement degrees of freedom (dofs), cellwise rotational dofs are added. A reconstruction is devised to obtain P 1 non-conforming polynomials in each cell and thus constant strains and stresses in each cell. The method requires only the usual macroscopic parameters of a Cosserat material and no microscopic parameter. Numerical examples show the robustness of the method for both static and dynamic computations in two and three dimensions.


title: Calculating the polarization in bi-partite lattice models: application to an extended Su-Schrieffer-Heeger model

abstract: We address the question of different representation of Bloch states for lattices with a basis, with a focus on topological systems. The representations differ in the relative phase of the Wannier functions corresponding to the diffferent basis members. We show that the phase can be chosen in such a way that the Wannier functions for the different sites in the basis both become eigenstates of the position operator in a particular band. A key step in showing this is the extension of the Brillouin zone. When the distance between sites within a unit cell is a rational number, $p/q$, the Brillouin extends by a factor of $q$. For irrational numbers, the Brillouin zone extends to infinity. In the case of rational distance, $p/q$, the Berry phase "lives" on a cyclic curve in the parameter space of the Hamiltonian, on the Brillouin zone extended by a factor of $q$. For irrational distances the most stable way to calculate the polarization is to approximate the distance as a rational sequence, and use the formulas derived here for rational numbers. The use of different bases are related to unitary transformations of the Hamiltonian, as such, the phase diagrams of topological systems are not altered, but each phase can acquire different topological characteristics when the basis is changed. In the example we use, an extended Su-Schrieffer-Heeger model, the use of the diagonal basis leads to toroidal knots in the Hamiltonian space, whose winding numbers give the polarization.


title: Toroidic and antitoroidic orders in hexagonal arrays of dielectric trimers: magnetic group approach

abstract: Herein, we investigate the symmetry-protected toroidal dipole resonances and conditions of their excitation in a new type of electromagnetic metamaterials. These metamaterials are all-dielectric planar periodic arrays of dielectric disks disposed on a dielectric substrate. The elementary building blocks of the array are trimers which are distributed in hexagonal unit supercells. The highest geometrical symmetry of the unit supercell is C6v. The analysis is fulfilled by using the representation theory of groups with the application of the magnetic group theory, which is a new approach in solving such problems. We have shown that to get access to the toroidal supermodes of the array, the unit supercell symmetry must be broken twice: firstly, the C3v symmetry of the trimer, and secondly, the C6v symmetry of the unit supercell needs to be reduced. Selection rules for the symmetric and antisymmetric orders of the toroidal dipole moments in the arrays are defined. In particular, we have shown that with the reduction of the unit supercell symmetry to the C2v group, the array exhibits the toroidal dipole resonance with an antitoroidic order. The arrays with the lower Cs symmetry can provide the resonances with both toroidic and antitoroidic orders. It is also shown that these arrays are always polarization sensitive. Full-wave simulations and experiments confirm the theoretical predictions. The suggested metamaterials can provide an enhanced light-matter interaction due to the spatially and temporally confined light in resonant systems with very high quality factors.


title: Cain: Automatic Code Generation for Simultaneous Convolutional Kernels on Focal-plane Sensor-processors

abstract: Focal-plane Sensor-processors (FPSPs) are a camera technology that enable low power, high frame rate computation, making them suitable for edge computation. Unfortunately, these devices' limited instruction sets and registers make developing complex algorithms difficult. In this work, we present Cain - a compiler that targets SCAMP-5, a general-purpose FPSP - which generates code from multiple convolutional kernels. As an example, given the convolutional kernels for an MNIST digit recognition neural network, Cain produces code that is half as long, when compared to the other available compilers for SCAMP-5.


title: Spectral properties of a three body atom-ion hybrid system

abstract: We consider a hybrid atom-ion system consisting of a pair of bosons interacting with a single ion in a quasi-one-dimensional trapping geometry. Building upon a model potential for the atom-ion interaction developed in earlier theoretical works, we investigate the behaviour of the low-energy eigenstates for varying contact interaction strength $g$ among the atoms. In particular, we contrast the two cases of a static and a mobile ion. Our study is carried out by means of the Multi-Layer Multi-Configuration Time-Dependent Hartree method for Bosons, a numerically-exact $\textit{ab initio}$ method for the efficient simulation of entangled mixtures. We find that repulsive atom interactions induce locally-distinct modifications of the atomic probability distribution unique to each eigenstate. Whilst the atoms on average separate from each other with increasing $g$, they do not necessarily separate from the ion. The mobility of the ion leads in general to greater separations among the atoms as well as between the atoms and the ion. Notably, we observe an exchange between the kinetic energy of the atoms and the atom-ion interaction energy for all eigenstates, which is both interaction- and mobility-induced. For the ground state, we provide an intuitive description by constructing an effective Hamiltonian for each species, which aptly captures the response of the atoms to the ion's mobility. Furthermore, the effective picture predicts enhanced localisation of the ion, in agreement with our results from exact numerical simulations.


title: Copycat CNN: Are Random Non-Labeled Data Enough to Steal Knowledge from Black-box Models?

abstract: Convolutional neural networks have been successful lately enabling companies to develop neural-based products, which demand an expensive process, involving data acquisition and annotation; and model generation, usually requiring experts. With all these costs, companies are concerned about the security of their models against copies and deliver them as black-boxes accessed by APIs. Nonetheless, we argue that even black-box models still have some vulnerabilities. In a preliminary work, we presented a simple, yet powerful, method to copy black-box models by querying them with natural random images. In this work, we consolidate and extend the copycat method: (i) some constraints are waived; (ii) an extensive evaluation with several problems is performed; (iii) models are copied between different architectures; and, (iv) a deeper analysis is performed by looking at the copycat behavior. Results show that natural random images are effective to generate copycats for several problems.


title: Modular Invariant Dynamics and Fermion Mass Hierarchies around $\tau = i$

abstract: We discuss fermion mass hierarchies within modular invariant flavour models. We analyse the neighbourhood of the self-dual point $\tau=i$, where modular invariant theories possess a residual $Z_4$ invariance. In this region the breaking of $Z_4$ can be fully described by the spurion $\epsilon \approx \tau - i$, that flips its sign under $Z_4$. Degeneracies or vanishing eigenvalues of fermion mass matrices, forced by the $Z_4$ symmetry at $\tau=i$, are removed by slightly deviating from the self-dual point. Relevant mass ratios are controlled by powers of $|\epsilon|$. We present examples where this mechanism is a key ingredient to successfully implement an hierarchical spectrum in the lepton sector, even in the presence of a non-minimal K\"ahler potential.


title: Electro-optically controlled divided-pulse amplification

abstract: A novel technique for divided-pulse amplification is presented in a proof-of-principle experiment. A pulse burst, cut out of the pulse train of a mode-locked oscillator, is amplified and temporally combined into a single pulse. High combination efficiency and excellent pulse contrast are demonstrated. The system is mostly fiber-coupled, enabling a high interferometric stability. This approach provides access to the amplitude and phase of the individual pulses in the burst to be amplified, potentially allowing the compensation of gain saturation and nonlinear phase mismatches within the burst. Therefore, this technique enables the scaling of the peak power and pulse energy of pulsed laser systems beyond currently prevailing limitations.


title: Leafy Automata for Higher-Order Concurrency

abstract: Finitary Idealized Concurrent Algol (FICA) is a prototypical programming language combining functional, imperative, and concurrent computation. There exists a fully abstract game model of FICA, which in principle can be used to prove equivalence and safety of FICA programs. Unfortunately, the problems are undecidable for the whole language, and only very rudimentary decidable sub-languages are known. We propose leafy automata as a dedicated automata-theoretic formalism for representing the game semantics of FICA. The automata use an infinite alphabet with a tree structure. We show that the game semantics of any FICA term can be represented by traces of a leafy automaton. Conversely, the traces of any leafy automaton can be represented by a FICA term. Because of the close match with FICA, we view leafy automata as a promising starting point for finding decidable subclasses of the language and, more generally, to provide a new perspective on models of higher-order concurrent computation. Moreover, we identify a fragment of FICA that is amenable to verification by translation into a particular class of leafy automata. Using a locality property of the latter class, where communication between levels is restricted and every other level is bounded, we show that their emptiness problem is decidable by reduction to Petri net reachability.


title: Baryonic Tully-Fisher test of Grumiller's modified gravity model

abstract: We test the Grumiller's quantum motivated modified gravity model, which at large distances modifies the Newtonian potential and describes the galactic rotation curves of disk galaxies in terms of a Rindler acceleration term without the need of any dark matter, against the baryonic Tully-Fisher feature that relates the total baryonic mass of a galaxy with flat rotation velocity of the galaxy. We estimate the Rindler acceleration parameter from observed baryonic mass versus rotation velocity data of a sample of sixty galaxies. Grumiller's model is found to describe the observed data reasonably well.


title: Mechanism Design for Cumulative Prospect Theoretic Agents: A General Framework and the Revelation Principle

abstract: This paper initiates a discussion of mechanism design when the participating agents exhibit preferences that deviate from expected utility theory (EUT). In particular, we consider mechanism design for systems where the agents are modeled as having cumulative prospect theory (CPT) preferences, which is a generalization of EUT preferences. We point out some of the key modifications needed in the theory of mechanism design that arise from agents having CPT preferences and some of the shortcomings of the classical mechanism design framework. In particular, we show that the revelation principle, which has traditionally played a fundamental role in mechanism design, does not continue to hold under CPT. We develop an appropriate framework that we call mediated mechanism design which allows us to recover the revelation principle for CPT agents. We conclude with some interesting directions for future work.


title: Maddah-Ali-Niesen Scheme for Multi-access Coded Caching

abstract: The well known Maddah-Ali-Niesen (MAN) coded caching scheme for users with dedicated cache is extended for use in multi-access coded cache scheme where the number of users need not be same as the number of caches in the system. The well known MAN scheme is recoverable as a special case of the multi-access system considered. The performance of this scheme is compared with the existing works on multi-access coded caching. To be able to compare the performance of different multi-access schemes with different number of users for the same number of caches, the terminology of per user rate (rate divided by the number of users) introduced in \cite{KNS} is used.


title: Adversarial Machine Learning for Flooding Attacks on 5G Radio Access Network Slicing

abstract: Network slicing manages network resources as virtual resource blocks (RBs) for the 5G Radio Access Network (RAN). Each communication request comes with quality of experience (QoE) requirements such as throughput and latency/deadline, which can be met by assigning RBs, communication power, and processing power to the request. For a completed request, the achieved reward is measured by the weight (priority) of this request. Then, the reward is maximized over time by allocating resources, e.g., with reinforcement learning (RL). In this paper, we introduce a novel flooding attack on 5G network slicing, where an adversary generates fake network slicing requests to consume the 5G RAN resources that would be otherwise available to real requests. The adversary observes the spectrum and builds a surrogate model on the network slicing algorithm through RL that decides on how to craft fake requests to minimize the reward of real requests over time. We show that the portion of the reward achieved by real requests may be much less than the reward that would be achieved when there was no attack. We also show that this flooding attack is more effective than other benchmark attacks such as random fake requests and fake requests with the minimum resource requirement (lowest QoE requirement). Fake requests may be detected due to their fixed weight. As an attack enhancement, we present schemes to randomize weights of fake requests and show that it is still possible to reduce the reward of real requests while maintaining the balance on weight distributions.


title: Symbolic solutions of some linear recurrences

abstract: A symbolic method for solving linear recurrences of combinatorial and statistical interest is introduced. This method essentially relies on a representation of polynomial sequences as moments of a symbol that looks as the framework of a random variable with no reference to any probability space. We give several examples of applications and state an explicit form for the class of linear recurrences involving Sheffer sequences satisfying a special initial condition. The results here presented can be easily implemented in a symbolic software.


title: High-accuracy longitudinal position measurement using self-accelerating light

abstract: Radially self-accelerating light exhibits an intensity pattern that describes a spiraling trajectory around the optical axis as the beam propagates. In this article, we show in simulation and experiment how such beams can be used to perform a high-accuracy distance measurement with respect to a reference using simple off-axis intensity detection. We demonstrate that generating beams whose intensity pattern simultaneously spirals with fast and slow rotation components enables a distance measurement with high accuracy over a broad range, using the high and low rotation frequency, respectively. In our experiment, we achieve an accuracy of around 2~$\mu$m over a longitudinal range of more than 2~mm using a single beam and only two quadrant detectors. As our method relies on single-beam interference and only requires a static generation and simple intensity measurements, it is intrinsically stable and might find applications in high-speed measurements of longitudinal position.


title: On 2-final 2-functors

abstract: We present a criterion for $2$-final $(2,1)$-functors, analoguous to the classical one for final $1$-functor: a $(2,1)$-functor $F \colon A \to B$ is $2$-final if and only if, for any object $b$ of $B$, the slice $(2,1)$-category $b / F$ is nonempty, connected and simply connected. We also give a combinatorial presentation of paths and homotopies of paths in a $(2,1)$-category.


title: Constraints on $f(R)$ and nDGP Modified Gravity Model Parameters with Cluster Abundances and Galaxy Clustering

abstract: We present forecasted cosmological constraints from combined measurements of galaxy cluster abundances from the Simons Observatory and galaxy clustering from a DESI-like experiment on two well-studied modified gravity models, the chameleon-screened $f(R)$ Hu-Sawicki model and the nDGP braneworld Vainshtein model. A Fisher analysis is conducted using $\sigma_8$ constraints derived from thermal Sunyaev-Zel'dovich (tSZ) selected galaxy clusters, as well as linear and mildly non-linear redshift-space 2-point galaxy correlation functions. We find that the cluster abundances drive the constraints on the nDGP model while $f(R)$ constraints are led by galaxy clustering. The two tracers of the cosmological gravitational field are found to be complementary, and their combination significantly improves constraints on the $f(R)$ in particular in comparison to each individual tracer alone. For a fiducial model of $f(R)$ with $\text{log}_{10}(f_{R0})=-6$ and $n=1$ we find combined constraints of $\sigma(\text{log}_{10}(f_{R0}))=0.48$ and $\sigma(n)=2.3$, while for the nDGP model with $n_{\text{nDGP}}=1$ we find $\sigma(n_{\text{nDGP}})=0.087$. Around a fiducial General Relativity (GR) model, we find a $95\%$ confidence upper limit on $f(R)$ of $f_{R0}\leq5.68\times 10^{-7}$. Our results present the exciting potential to utilize upcoming galaxy and CMB survey data available in the near future to discern and/or constrain cosmic deviations from GR.


title: Joint Autoregressive and Graph Models for Software and Developer Social Networks

abstract: Social network research has focused on hyperlink graphs, bibliographic citations, friend/follow patterns, influence spread, etc. Large software repositories also form a highly valuable networked artifact, usually in the form of a collection of packages, their developers, dependencies among them, and bug reports. This "social network of code" is rarely studied by social network researchers. We introduce two new problems in this setting. These problems are well-motivated in the software engineering community but not closely studied by social network scientists. The first is to identify packages that are most likely to be troubled by bugs in the immediate future, thereby demanding the greatest attention. The second is to recommend developers to packages for the next development cycle. Simple autoregression can be applied to historical data for both problems, but we propose a novel method to integrate network-derived features and demonstrate that our method brings additional benefits. Apart from formalizing these problems and proposing new baseline approaches, we prepare and contribute a substantial dataset connecting multiple attributes built from the long-term history of 20 releases of Ubuntu, growing to over 25,000 packages with their dependency links, maintained by over 3,800 developers, with over 280k bug reports.


title: The design of the n2EDM experiment

abstract: We present the design of a next-generation experiment, n2EDM, currently under construction at the ultracold neutron source at the Paul Scherrer Institute (PSI) with the aim of carrying out a high-precision search for an electric dipole moment of the neutron. The project builds on experience gained with the previous apparatus operated at PSI until 2017, and is expected to deliver an order of magnitude better sensitivity with provision for further substantial improvements. An overview is given of the experimental method and setup, the sensitivity requirements for the apparatus are derived, and its technical design is described.


title: Regular spiking in high conductance states: the essential role of inhibition

abstract: Strong inhibitory input to neurons, which occurs in balanced states of neural networks, increases synaptic current fluctuations. This has led to the assumption that inhibition contributes to the high spike-firing irregularity observed in vivo. We used single compartment neuronal models with time-correlated (due to synaptic filtering) and state-dependent (due to reversal potentials) input to demonstrate that inhibitory input acts to decrease membrane potential fluctuations, a result that cannot be achieved with simplified neural input models. To clarify the effects on spike-firing regularity, we used models with different spike-firing adaptation mechanisms and observed that the addition of inhibition increased firing regularity in models with dynamic firing thresholds and decreased firing regularity if spike-firing adaptation was implemented through ionic currents or not at all. This novel fluctuation-stabilization mechanism provides a new perspective on the importance of strong inhibitory inputs observed in balanced states of neural networks and highlights the key roles of biologically plausible inputs and specific adaptation mechanisms in neuronal modeling.


title: Self-Adaptive Training: Bridging Supervised and Self-Supervised Learning

abstract: We propose self-adaptive training -- a unified training algorithm that dynamically calibrates and enhances training processes by model predictions without incurring an extra computational cost -- to advance both supervised and self-supervised learning of deep neural networks. We analyze the training dynamics of deep networks on training data that are corrupted by, e.g., random noise and adversarial examples. Our analysis shows that model predictions are able to magnify useful underlying information in data and this phenomenon occurs broadly even in the absence of any label information, highlighting that model predictions could substantially benefit the training processes: self-adaptive training improves the generalization of deep networks under noise and enhances the self-supervised representation learning. The analysis also sheds light on understanding deep learning, e.g., a potential explanation of the recently-discovered double-descent phenomenon in empirical risk minimization and the collapsing issue of the state-of-the-art self-supervised learning algorithms. Experiments on the CIFAR, STL, and ImageNet datasets verify the effectiveness of our approach in three applications: classification with label noise, selective classification, and linear evaluation. To facilitate future research, the code has been made publicly available at https://github.com/LayneH/self-adaptive-training.


title: Deductive Verification of Floating-Point Java Programs in KeY

abstract: Deductive verification has been successful in verifying interesting properties of real-world programs. One notable gap is the limited support for floating-point reasoning. This is unfortunate, as floating-point arithmetic is particularly unintuitive to reason about due to rounding as well as the presence of the special values infinity and `Not a Number' (NaN). In this paper, we present the first floating-point support in a deductive verification tool for the Java programming language. Our support in the KeY verifier handles arithmetic via floating-point decision procedures inside SMT solvers and transcendental functions via axiomatization. We evaluate this integration on new benchmarks, and show that this approach is powerful enough to prove the absence of floating-point special values -- often a prerequisite for further reasoning about numerical computations -- as well as certain functional properties for realistic benchmarks.


title: Clairvoyant Prefetching for Distributed Machine Learning I/O

abstract: I/O is emerging as a major bottleneck for machine learning training, especially in distributed environments. Indeed, at large scale, I/O takes as much as 85% of training time. Addressing this I/O bottleneck necessitates careful optimization, as optimal data ingestion pipelines differ between systems, and require a delicate balance between access to local storage, external filesystems, and remote nodes. We introduce NoPFS, a machine learning I/O middleware, which provides a scalable, flexible, and easy-to-use solution to the I/O bottleneck. NoPFS uses clairvoyance: Given the seed generating the random access pattern for training with SGD, it can exactly predict when and where a sample will be accessed. We combine this with an analysis of access patterns and a performance model to provide distributed caching policies that adapt to different datasets and storage hierarchies. NoPFS reduces I/O times and improves end-to-end training by up to 5.4x on the ImageNet-1k, ImageNet-22k, and CosmoFlow datasets.


title: Work-sensitive Dynamic Complexity of Formal Languages

abstract: Which amount of parallel resources is needed for updating a query result after changing an input? In this work we study the amount of work required for dynamically answering membership and range queries for formal languages in parallel constant time with polynomially many processors. As a prerequisite, we propose a framework for specifying dynamic, parallel, constant-time programs that require small amounts of work. This framework is based on the dynamic descriptive complexity framework by Patnaik and Immerman.


title: Sharp weak type estimates for a family of Soria bases

abstract: Let $\mathcal{B}$ be a collection of rectangular parallelepipeds in $\mathbb{R}^3$ whose sides are parallel to the coordinate axes and such that $\mathcal{B}$ contains parallelepipeds with side lengths of the form $s, \frac{2^N}{s} , t $, where $s, t > 0$ and $N$ lies in a nonempty subset $S$ of the natural numbers. We show that if $S$ is an infinite set, then the associated geometric maximal operator $M_\mathcal{B}$ satisfies the weak type estimate $$\left|\left\{x \in \mathbb{R}^3 : M_{\mathcal{B}}f(x) > \alpha\right\}\right| \leq C \int_{\mathbb{R}^3} \frac{|f|}{\alpha} \left(1 + \log^+ \frac{|f|}{\alpha}\right)^{2}$$ but does not satisfy an estimate of the form $$\left|\left\{x \in \mathbb{R}^3 : M_{\mathcal{B}}f(x) > \alpha\right\}\right| \leq C \int_{\mathbb{R}^3} \phi\left(\frac{|f|}{\alpha}\right)$$ for any convex increasing function $\phi: \mathbb[0, \infty) \rightarrow [0, \infty)$ satisfying the condition $$\lim_{x \rightarrow \infty}\frac{\phi(x)}{x (\log(1 + x))^2} = 0\;.$$


title: Kinetic processes in Fermi-Luttinger liquids

abstract: In this work we discuss extensions of the pioneering analysis by Dzyaloshinskii and Larkin of correlation functions for one-dimensional Fermi systems, focusing on the effects of quasiparticle relaxation enabled by a nonlinear dispersion. Throughout the work we employ both, the weakly interacting Fermi gas picture and nonlinear Luttinger liquid theory to describe attenuation of excitations and explore the fermion-boson duality between both approaches. Special attention is devoted to the role of spin-exchange processes, effects of interaction screening, and integrability. Thermalization rates for electron- and hole-like quasiparticles, as well as the decay rate of collective plasmon excitations and the momentum space mobility of spin excitations are calculated for various temperature regimes. The phenomenon of spin-charge drag is considered and the corresponding momentum transfer rate is determined. We further discuss how momentum relaxation due to several competing mechanisms, viz. triple electron collisions, electron-phonon scattering, and long-range inhomogeneities affect transport properties, and highlight energy transfer facilitated by plasmons from the perspective of the inhomogeneous Luttinger liquid model. Finally, we derive the full matrix of thermoelectric coefficients at the quantum critical point of the first conductance plateau transition, and address magnetoconductance in ballistic semiconductor nanowires with strong Rashba spin-orbit coupling.


title: Rack-Aware Regenerating Codes with Fewer Helper Racks

abstract: We consider the rack-aware storage system where \(n\) nodes are organized in \(\bar{n}\) racks each containing \(u\) nodes, and any \(k\) nodes can retrieve the stored file. Moreover, any single node erasure can be recovered by downloading data from \(\bar{d}\) helper racks as well as the remaining \(u\!-\!1\) nodes in the same rack. Previous work mostly focuses on minimizing the cross-rack repair bandwidth under the condition \(\bar{d}\geq \bar{k}\), where \(\bar{k}=\lfloor\frac{k}{u}\rfloor\). However, \(\bar{d}\geq \bar{k}\) is not an intrinsic condition for the rack-aware storage model. In this paper, we establish a tradeoff between the storage overhead and cross-rack repair bandwidth for the particularly interesting case \(\bar{d}\!<\!\bar{k}\). Furthermore, we present explicit constructions of codes with parameters lying on the tradeoff curve respectively at the minimum storage point and minimum bandwidth point. The codes are scalar or have sub-packetization \(\bar{d}\), and operate over finite fields of size comparable to \(n\). Regarding \(\bar{d}\) as the repair degree, these codes combine the advantage of regenerating codes in minimizing the repair bandwidth and that of locally repairable codes in reducing the repair degree. Moreover, they also abandon the restriction of MBR codes having storage overhead no less than \(2\times\) and that of high-rate MSR codes having exponential sub-packetization level.


title: Indefinite global time

abstract: By studying the set of correlations that are theoretically possible between physical systems without allowing for signalling of information backwards in time, we here identify correlations that can only be achieved if the time ordering between the systems is fundamentally indefinite. These correlations, if they exist in nature, must result from non-classical, non-deterministic time, and so may have relevance for quantum (or post-quantum) gravity, where a definite global time might not exist.


title: Model-based Policy Search for Partially Measurable Systems

abstract: In this paper, we propose a Model-Based Reinforcement Learning (MBRL) algorithm for Partially Measurable Systems (PMS), i.e., systems where the state can not be directly measured, but must be estimated through proper state observers. The proposed algorithm, named Monte Carlo Probabilistic Inference for Learning COntrol for Partially Measurable Systems (MC-PILCO4PMS), relies on Gaussian Processes (GPs) to model the system dynamics, and on a Monte Carlo approach to update the policy parameters. W.r.t. previous GP-based MBRL algorithms, MC-PILCO4PMS models explicitly the presence of state observers during policy optimization, allowing to deal PMS. The effectiveness of the proposed algorithm has been tested both in simulation and in two real systems.


title: Renewable Generation Data for European Energy System Analysis

abstract: In the process of decarbonization, the global energy mix is shifting from fossil fuels to renewables. To study decarbonization pathways, large-scale energy system models are utilized. These models require accurate data on renewable generation to develop their full potential. Using different data can lead to conflicting results and policy advice. In this work, we compare several datasets that are commonly used to study the transition towards highly renewable European power system. We find significant differences between these datasets and cost-difference of about 10% result in the different energy mix. We conclude that much more attention must be paid to the large uncertainties of the input data.


title: Soft Genetic Programming Binary Classifiers

abstract: The study of the classifier's design and it's usage is one of the most important machine learning areas. With the development of automatic machine learning methods, various approaches are used to build a robust classifier model. Due to some difficult implementation and customization complexity, genetic programming (GP) methods are not often used to construct classifiers. GP classifiers have several limitations and disadvantages. However, the concept of "soft" genetic programming (SGP) has been developed, which allows the logical operator tree to be more flexible and find dependencies in datasets, which gives promising results in most cases. This article discusses a method for constructing binary classifiers using the SGP technique. The test results are presented. Source code - https://github.com/survexman/sgp_classifier.


title: A New Knowledge Gradient-based Method for Constrained Bayesian Optimization

abstract: Black-box problems are common in real life like structural design, drug experiments, and machine learning. When optimizing black-box systems, decision-makers always consider multiple performances and give the final decision by comprehensive evaluations. Motivated by such practical needs, we focus on constrained black-box problems where the objective and constraints lack known special structure, and evaluations are expensive and even with noise. We develop a novel constrained Bayesian optimization approach based on the knowledge gradient method ($c-\rm{KG}$). A new acquisition function is proposed to determine the next batch of samples considering optimality and feasibility. An unbiased estimator of the gradient of the new acquisition function is derived to implement the $c-\rm{KG}$ approach.


title: Enabling Large Neural Networks on Tiny Microcontrollers with Swapping

abstract: Running neural networks (NNs) on microcontroller units (MCUs) is becoming increasingly important, but is very difficult due to the tiny SRAM size of MCU. Prior work proposes many algorithm-level techniques to reduce NN memory footprints, but all at the cost of sacrificing accuracy and generality, which disqualifies MCUs for many important use cases. We investigate a system solution for MCUs to execute NNs out of core: dynamically swapping NN data chunks between an MCU's tiny SRAM and its large, low-cost external flash. Out-of-core NNs on MCUs raise multiple concerns: execution slowdown, storage wear out, energy consumption, and data security. We present a study showing that none is a showstopper; the key benefit -- MCUs being able to run large NNs with full accuracy and generality -- triumphs the overheads. Our findings suggest that MCUs can play a much greater role in edge intelligence.


title: Optimal Demand Private Coded Caching for Users with Small Buffers

abstract: Coded Caching is an efficient technique to reduce peak hour network traffic. One limitation of known coded caching schemes is that the demands of all users are revealed to their peers in the delivery phase. Schemes that assure privacy for user demands are studied in recent past. Assuming that the users are equipped with caches of small memory sizes, the achievable rate under demand privacy constraints is investigated in this work. We present an MDS code based demand private coded caching scheme with $K$ users and $N$ files that achieves a memory rate pair $\left(\frac{1}{K(N-1)+1},N\left(1-\frac{1}{K(N-1)+1}\right)\right)$. The presented memory-rate pair meets the lower bound under demand-privacy requirements, proposed by Yan \textit{et al.} in the recent work \cite{c13}. By memory sharing this characterizes the exact rate-memory trade-off for the demand private coded caching scheme for cache memory $M\in \left[0,\frac{1}{K(N-1)+1}\right]$.


title: Chance-Constrained Optimization under Limited Distributional Information: A Review of Reformulations Based on Sampling and Distributional Robustness

abstract: Chance-constrained programming (CCP) is one of the most difficult classes of optimization problems that has attracted the attention of researchers since the 1950s. In this survey, we focus on cases when only a limited information on the distribution is available, such as a sample from the distribution, or the moments of the distribution. We first review recent developments in mixed-integer linear formulations of chance-constrained programs that arise from finite discrete distributions (or sample average approximation). We highlight successful reformulations and decomposition techniques that enable the solution of large-scale instances. We then review active research in distributionally robust CCP, which is a framework to address the ambiguity in the distribution of the random data. The focal point of our review is on scalable formulations that can be readily implemented with state-of-the-art optimization software. Furthermore, we highlight the prevalence of CCPs with a review of applications across multiple domains.


title: Knowledge-Preserving Incremental Social Event Detection via Heterogeneous GNNs

abstract: Social events provide valuable insights into group social behaviors and public concerns and therefore have many applications in fields such as product recommendation and crisis management. The complexity and streaming nature of social messages make it appealing to address social event detection in an incremental learning setting, where acquiring, preserving, and extending knowledge are major concerns. Most existing methods, including those based on incremental clustering and community detection, learn limited amounts of knowledge as they ignore the rich semantics and structural information contained in social data. Moreover, they cannot memorize previously acquired knowledge. In this paper, we propose a novel Knowledge-Preserving Incremental Heterogeneous Graph Neural Network (KPGNN) for incremental social event detection. To acquire more knowledge, KPGNN models complex social messages into unified social graphs to facilitate data utilization and explores the expressive power of GNNs for knowledge extraction. To continuously adapt to the incoming data, KPGNN adopts contrastive loss terms that cope with a changing number of event classes. It also leverages the inductive learning ability of GNNs to efficiently detect events and extends its knowledge from previously unseen data. To deal with large social streams, KPGNN adopts a mini-batch subgraph sampling strategy for scalable training, and periodically removes obsolete data to maintain a dynamic embedding space. KPGNN requires no feature engineering and has few hyperparameters to tune. Extensive experiment results demonstrate the superiority of KPGNN over various baselines.


title: Probing the Sea of Cosmic Rays by Measuring Gamma-Ray Emission from Passive Giant Molecular Clouds with HAWC

abstract: The study of high-energy gamma rays from passive Giant Molecular Clouds (GMCs) in our Galaxy is an indirect way to characterize and probe the paradigm of the "sea" of cosmic rays in distant parts of the Galaxy. By using data from the High Altitude Water Cherenkov (HAWC) observatory, we measure the gamma-ray flux above 1 TeV of a set of these clouds to test the paradigm. We selected high-galactic latitude clouds that are in HAWC's field-of-view and which are within 1~kpc distance from the Sun. We find no significant excess emission in the cloud regions, nor when we perform a stacked log-likelihood analysis of GMCs. Using a Bayesian approach, we calculate 95\% credible intervals upper limits of the gamma-ray flux and estimate limits on the cosmic-ray energy density of these regions. These are the first limits to constrain gamma-ray emission in the multi-TeV energy range ($>$1 TeV) using passive high-galactic latitude GMCs. Assuming that the main gamma-ray production mechanism is due to proton-proton interaction, the upper limits are consistent with a cosmic-ray flux and energy density similar to that measured at Earth.


title: Numerical Study of Trailing and Leading Vortex Dynamics in a Forced Jet with Coflow

abstract: The interaction of trailing and leading vortex structures in low Reynolds number forced (varicose) jet with coflow is studied using Direct Numerical Simulation (DNS), where we report the dynamics of these vortices for a range of varying parameters. In a circular forced jet with Strouhal number 0.2, continuous formation of these vortices is observed which undergo pairing, tearing and disintegration. The forced jet is analyzed for varying frequency of forced perturbations, coflow temperature, turbulence intensity, momentum thickness, coflow intensity and Reynolds number at a constant forcing amplitude. The observation reveals that any reduction in momentum thickness increases the circulation as well as energy capacity of the leading and the trailing vortices, thereby enhancing the vortex pairing time. However, the hot coflow increases the strength of the leading vortex to such an extent that the generated trailing vortex is weak and dissipates even before it undergoes vortex pairing, while an incomplete disintegration of the leading vortex occurs in this case. Moreover, the strength of leading and trailing vortices is found to decrease with an increase in coflow power, thereby leading to a weaker vortex pairing. The decrease in Reynolds number also reduces the intensity of trailing vortices; whereas, at a lower Reynolds Number (Re) the trailing vortices dissipate soon after they form. The findings are achieved based on the analysis done by Proper Orthogonal Decomposition (POD), Dynamic Mode Decomposition (DMD), fast Fourier transform (FFT), Q-criterion and vortex tracking method to understand the dynamic interaction and behavior of the vortices.


title: The Gospel According to Q: Understanding the QAnon Conspiracy from the Perspective of Canonical Information

abstract: The QAnon conspiracy theory claims that a cabal of (literally) blood-thirsty politicians and media personalities are engaged in a war to destroy society. By interpreting cryptic "drops" of information from an anonymous insider calling themself Q, adherents of the conspiracy theory believe that Donald Trump is leading them in an active fight against this cabal. QAnon has been covered extensively by the media, as its adherents have been involved in multiple violent acts, including the January 6th, 2021 seditious storming of the US Capitol building. Nevertheless, we still have relatively little understanding of how the theory evolved and spread on the Web, and the role played in that by multiple platforms. To address this gap, we study QAnon from the perspective of "Q" themself. We build a dataset of 4,949 canonical Q drops collected from six "aggregation sites," which curate and archive them from their original posting to anonymous and ephemeral image boards. We expose that these sites have a relatively low (overall) agreement, and thus at least some Q drops should probably be considered apocryphal. We then analyze the Q drops' contents to identify topics of discussion and find statistically significant indications that drops were not authored by a single individual. Finally, we look at how posts on Reddit are used to disseminate Q drops to wider audiences. We find that dissemination was (initially) limited to a few sub-communities and that, while heavy-handed moderation decisions have reduced the overall issue, the "gospel" of Q persists on the Web.


title: Rethink Training of BERT Rerankers in Multi-Stage Retrieval Pipeline

abstract: Pre-trained deep language models~(LM) have advanced the state-of-the-art of text retrieval. Rerankers fine-tuned from deep LM estimates candidate relevance based on rich contextualized matching signals. Meanwhile, deep LMs can also be leveraged to improve search index, building retrievers with better recall. One would expect a straightforward combination of both in a pipeline to have additive performance gain. In this paper, we discover otherwise and that popular reranker cannot fully exploit the improved retrieval result. We, therefore, propose a Localized Contrastive Estimation (LCE) for training rerankers and demonstrate it significantly improves deep two-stage models.


title: Testing a patient-specific in-silico model to noninvasively estimate central blood pressure

abstract: Purpose: To show some preliminary results about the possibility to exploit a cardiovascular mathematical model - made patient-specific by noninvasive data routinely measured during ordinary clinical examinations - in order to obtain sufficiently accurate central blood pressure (BP) estimates. Methods: A closed-loop multiscale (0D and 1D) model of the cardiovascular system is made patient-specific by using as model inputs the individual mean heart rate and left-ventricular contraction time, weight, height, age, sex and mean/pulse brachial BPs. The resulting framework is used to determine central systolic, diastolic, mean and pulse pressures, which are compared with the beat-averaged invasive pressures of 12 patients aged 72$\pm$6.61 years. Results: Errors in central systolic, diastolic, mean and pulse pressures by the model are 4.26$\pm$2.81 mmHg, 5.86$\pm$4.38 mmHg, 4.98$\pm$3.95 mmHg and 3.51$\pm$2.38 mmHg, respectively. Conclusion: The proposed modeling approach shows a good patient-specific response and appears to be potentially useful in clinical practice. However, this approach needs to be evaluated in a larger cohort of patients and could possibly be improved through more accurate oscillometric BP measurement methods.


title: Enhancing the sensitivity of the LUX-ZEPLIN (LZ) dark matter experiment to low energy signals

abstract: Two-phase xenon detectors, such as that at the core of the forthcoming LZ dark matter experiment, use photomultiplier tubes to sense the primary (S1) and secondary (S2) scintillation signals resulting from particle interactions in their liquid xenon target. This paper describes a simulation study exploring two techniques to lower the energy threshold of LZ to gain sensitivity to low-mass dark matter and astrophysical neutrinos, which will be applicable to other liquid xenon detectors. The energy threshold is determined by the number of detected S1 photons; typically, these must be recorded in three or more photomultiplier channels to avoid dark count coincidences that mimic real signals. To lower this threshold: a) we take advantage of the double photoelectron emission effect, whereby a single vacuum ultraviolet photon has a $\sim20\%$ probability of ejecting two photoelectrons from a photomultiplier tube photocathode; and b) we drop the requirement of an S1 signal altogether, and use only the ionization signal, which can be detected more efficiently. For both techniques we develop signal and background models for the nominal exposure, and explore accompanying systematic effects, including the dependence on the free electron lifetime in the liquid xenon. When incorporating double photoelectron signals, we predict a factor of $\sim 4$ sensitivity improvement to the dark matter-nucleon scattering cross-section at $2.5$ GeV/c$^2$, and a factor of $\sim1.6$ increase in the solar $^8$B neutrino detection rate. Dropping the S1 requirement may allow sensitivity gains of two orders of magnitude in both cases. Finally, we apply these techniques to even lower masses by taking into account the atomic Migdal effect; this could lower the dark matter particle mass threshold to $80$ MeV/c$^2$.


title: An Efficient Communication Protocol for FPGA IP Protection

abstract: We introduce a protection-based IP security scheme to protect soft and firm IP cores which are used on FPGA devices. The scheme is based on Finite State Machin (FSM) obfuscation and exploits Physical Unclonable Function (PUF) for FPGA unique identification (ID) generation which help pay-per-device licensing. We introduce a communication protocol to protect the rights of parties in this market. On standard benchmark circuits, the experimental results show that our scheme is secure, attack-resilient and can be implemented with low area, power and delay overheads.


title: Improving Reproducibility of Sputter Deposited Ferroelectric Wurtzite Al0.6Sc0.4N Films using In-situ Optical Emission Spectrometry

abstract: High-Sc Al1-xScxN thin films are of tremendous interest because of their attractive piezoelectric and ferroelectric properties, but overall film quality and reproducibility are widely reported to suffer as x increases. In this study, we correlate the structure and electrical properties of Al0.6Sc0.4N with in-situ observations of glow discharge optical emission during growth. This in-situ technique uses changes in the Ar(I) and N2(I) emission lines of the glow discharge during growth to identify films that subsequently exhibit unacceptable structural and electrical performance. We show that a steady deposition throughout film growth produces ferroelectric Al0.6Sc0.4N with a reversible 80 {\mu}C cm-1 polarization and 3.1 MV cm-1 coercive field. In other films deposited using identical settings, fluctuations in both Ar(I) and N2(I) line intensities correspond to decreased wurtzite phase purity, nm-scale changes to the film microstructure, and a non-ferroelectric response. These results illustrate the power of optical emission spectroscopy for tracking changes when fabricating process-sensitive samples such as high-Sc Al1-xScxN films.


title: Certifying Inexpressibility

abstract: Different classes of automata on infinite words have different expressive power. Deciding whether a given language $L \subseteq \Sigma^\omega$ can be expressed by an automaton of a desired class can be reduced to deciding a game between Prover and Refuter: in each turn of the game, Refuter provides a letter in $\Sigma$, and Prover responds with an annotation of the current state of the run (for example, in the case of B\"uchi automata, whether the state is accepting or rejecting, and in the case of parity automata, what the color of the state is). Prover wins if the sequence of annotations she generates is correct: it is an accepting run iff the word generated by Refuter is in $L$. We show how a winning strategy for Refuter can serve as a simple and easy-to-understand certificate to inexpressibility, and how it induces additional forms of certificates. Our framework handles all classes of deterministic automata, including ones with structural restrictions like weak automata. In addition, it can be used for refuting separation of two languages by an automaton of the desired class, and for finding automata that approximate $L$ and belong to the desired class.


title: Expectation-Maximization Regularized Deep Learning for Weakly Supervised Tumor Segmentation for Glioblastoma

abstract: We present an Expectation-Maximization (EM) Regularized Deep Learning (EMReDL) model for weakly supervised tumor segmentation. The proposed framework is tailored to glioblastoma, a type of malignant tumor characterized by its diffuse infiltration into the surrounding brain tissue, which poses significant challenge to treatment target and tumor burden estimation using conventional structural MRI. Although physiological MRI provides more specific information regarding tumor infiltration, the relatively low resolution hinders a precise full annotation. This has motivated us to develop a weakly supervised deep learning solution that exploits the partial labelled tumor regions. EMReDL contains two components: a physiological prior prediction model and EM-regularized segmentation model. The physiological prior prediction model exploits the physiological MRI by training a classifier to generate a physiological prior map. This map is passed to the segmentation model for regularization using the EM algorithm. We evaluated the model on a glioblastoma dataset with the pre-operative multiparametric and recurrence MRI available. EMReDL showed to effectively segment the infiltrated tumor from the partially labelled region of potential infiltration. The segmented core tumor and infiltrated tumor demonstrated high consistency with the tumor burden labelled by experts. The performance comparisons showed that EMReDL achieved higher accuracy than published state-of-the-art models. On MR spectroscopy, the segmented region displayed more aggressive features than other partial labelled region. The proposed model can be generalized to other segmentation tasks that rely on partial labels, with the CNN architecture flexible in the framework.


title: How can I choose an explainer? An Application-grounded Evaluation of Post-hoc Explanations

abstract: There have been several research works proposing new Explainable AI (XAI) methods designed to generate model explanations having specific properties, or desiderata, such as fidelity, robustness, or human-interpretability. However, explanations are seldom evaluated based on their true practical impact on decision-making tasks. Without that assessment, explanations might be chosen that, in fact, hurt the overall performance of the combined system of ML model + end-users. This study aims to bridge this gap by proposing XAI Test, an application-grounded evaluation methodology tailored to isolate the impact of providing the end-user with different levels of information. We conducted an experiment following XAI Test to evaluate three popular post-hoc explanation methods -- LIME, SHAP, and TreeInterpreter -- on a real-world fraud detection task, with real data, a deployed ML model, and fraud analysts. During the experiment, we gradually increased the information provided to the fraud analysts in three stages: Data Only, i.e., just transaction data without access to model score nor explanations, Data + ML Model Score, and Data + ML Model Score + Explanations. Using strong statistical analysis, we show that, in general, these popular explainers have a worse impact than desired. Some of the conclusion highlights include: i) showing Data Only results in the highest decision accuracy and the slowest decision time among all variants tested, ii) all the explainers improve accuracy over the Data + ML Model Score variant but still result in lower accuracy when compared with Data Only; iii) LIME was the least preferred by users, probably due to its substantially lower variability of explanations from case to case.


title: Generalized Q-functions for GKM

abstract: Recently we explained that the classical $Q$ Schur functions stand behind various well-known properties of the cubic Kontsevich model, and the next step is to ask what happens in this approach to the generalized Kontsevich model (GKM) with monomial potential $X^{n+1}$. We propose to use the Hall-Littlewood polynomials at the parameter equal to the $n$-th root of unity as a generalization of the $Q$ Schur functions from $n=2$ to arbitrary $n>2$. They are associated with $n$-strict Young diagrams and are independent of time-variables $p_{kn}$ with numbers divisible by $n$. These are exactly the properties possessed by the generalized Kontsevich model (GKM), thus its partition function can be expanded in such functions $Q^{(n)}$. However, the coefficients of this expansion remain to be properly identified. At this moment, we have not found any "superintegrability" property $<character>\,\sim character$, which expressed these coefficients through the values of $Q$ at delta-loci in the $n=2$ case. This is not a big surprise, because for $n>2$ our suggested $Q$ functions are not looking associated with characters.


title: AT 2019avd: A novel addition to the diverse population of nuclear transients

abstract: We report on SRG/eROSITA, ZTF, ASAS-SN, Las Cumbres, NEOWISE-R, and Swift XRT/UVOT observations of the unique ongoing event AT 2019avd, located in the nucleus of a previously inactive galaxy at $z=0.029$. eROSITA first observed AT 2019avd on 2020-04-28 during its first all sky survey, when it was detected as an ultra-soft X-ray source ($kT\sim 85$ eV) that was $\gtrsim 90$ times brighter in the $0.2-2$ keV band than a previous 3$\sigma$ upper flux detection limit (with no archival X-ray detection at this position). The ZTF optical light curve in the $\sim 450$ days preceding the eROSITA detection is double peaked, and the eROSITA detection coincides with the rise of the second peak. Follow-up optical spectroscopy shows the emergence of a Bowen fluorescence feature and high-ionisation coronal lines ([\ion{Fe}{X}] 6375 {\AA}, [\ion{Fe}{XIV}] 5303 {\AA}), along with persistent broad Balmer emission lines (FWHM$\sim 1400$ km s$^{-1}$). Whilst the X-ray properties make AT 2019avd a promising tidal disruption event (TDE) candidate, the optical properties are atypical for optically selected TDEs. We discuss potential alternative origins that could explain the observed properties of AT 2019avd, such as a stellar binary TDE candidate, or a TDE involving a super massive black hole binary.


title: Loops, Multi-Edges and Collisions in Supersingular Isogeny Graphs

abstract: Supersingular isogeny graphs are known to have very few loops and multi-edges. We formalize this idea by studying and finding bounds for the number of loops and multi-edges in such graphs. We also find conditions under which the supersingular isogeny graph $\Lambda_p(\ell)$ is simple. The methods presented in this paper can be used to study many kinds of collisions in supersingular isogeny graphs. As an application, we introduce the notion of bi-route number for two graphs $\Lambda_p(\ell_1),\Lambda_p(\ell_2)$ and compute bounds for it. We also study the number of edges in common between the graphs $\Lambda_p(\ell_1),\Lambda_p(\ell_2)$.


title: Numerical Investigation of Coaxial GCH4/LOx Combustion at Supercritical Pressures

abstract: This article aims to numerically investigate the combustion phenomenon of coaxial gaseous CH4 LOx at supercritical pressures. The choice of turbulence model, real gas model, and chemical kinetics model are the critical parameters in numerical simulations of cryogenic combustion at high pressure. At this supercritical operating pressure, the ideal gas law does not remain valid for such cases. Therefore, we have systematically carried out a comparative study to analyze the importance of real gas models, turbulence parameters, and chemical kinetics at such conditions. The comparison of real gas models with the NIST database reveals better conformity of SRK (Soave Redlich Kwong Equation of State (EoS)) model predictions with the database. Further, the computed results indicate that the Standard k-e turbulence model with modified constant captures the better flame shape and temperature peak position compared to other RANS based turbulence models while invoking the non-premixed steady b-PDF flamelet model for simulating the combustion process. Furthermore, a comparative study comparing two different chemical kinetics models indicates that the reduced Jones Lindstedt mechanism can accurately predict the flame characteristics with the least computational cost. Finally, we have studied the effect of chamber pressure and LOx inlet temperature on the flame characteristics. The flame characteristics exhibit a strong sensitivity towards the chamber pressure due to the weakening of the pseudo-boiling effect with an increase in pressure. As a consequence of lower turbulent rates of energy and mass transfer through the transcritical mixing layer, the flame spreading becomes narrower at elevated pressure and temperature, thereby yielding an increased flame length at transcritical conditions.


title: GPU-Accelerated Optimizer-Aware Evaluation of Submodular Exemplar Clustering

abstract: The optimization of submodular functions constitutes a viable way to perform clustering. Strong approximation guarantees and feasible optimization w.r.t. streaming data make this clustering approach favorable. Technically, submodular functions map subsets of data to real values, which indicate how "representative" a specific subset is. Optimal sets might then be used to partition the data space and to infer clusters. Exemplar-based clustering is one of the possible submodular functions, but suffers from high computational complexity. However, for practical applications, the particular real-time or wall-clock run-time is decisive. In this work, we present a novel way to evaluate this particular function on GPUs, which keeps the necessities of optimizers in mind and reduces wall-clock run-time. To discuss our GPU algorithm, we investigated both the impact of different run-time critical problem properties, like data dimensionality and the number of data points in a subset, and the influence of required floating-point precision. In reproducible experiments, our GPU algorithm was able to achieve competitive speedups of up to 72x depending on whether multi-threaded computation on CPUs was used for comparison and the type of floating-point precision required. Half-precision GPU computation led to large speedups of up to 452x compared to single-precision, single-thread CPU computations.


title: Numerical simulation of Delft-jet-in-hot-coflow (DJHC) flames using the Eddy Dissipation Concept model for turbulence-chemistry interaction

abstract: In this paper we report results of a numerical investigation of turbulent natural gas combustion for jet in a coflow of lean combustion products in the Delft-Jet-in-Hot-Coflow (DJHC) burner which emulates MILD (Moderate and Intense Low Oxygen Dilution) combustion behavior. The focus is on assessing the performance of the Eddy Dissipation Concept (EDC) model in combination with two-equation turbulence models and chemical kinetic schemes for about 20 species (Correa mechanism and DRM19 mechanism) by comparing predictions with experimental measurements. We study two different flame conditions corresponding to two different oxygen levels (7.6% and 10.9% by mass) in the hot coflow, and for two jet Reynolds number (Re=4100 and Re=8800). The mean velocity and turbulent kinetic energy predicted by different turbulence models are in good agreement with data without exhibiting large differences among the model predictions. The realizable k-e model exhibits better performance in the prediction of entrainment. The EDC combustion model predicts too early ignition leading to a peak in the radial mean temperature profile at too low axial distance. However the model correctly predicts the experimentally observed decreasing trend of lift-off height with jet Reynolds number. A detailed analysis of the mean reaction rate of the EDC model is made and as possible cause for the deviations between model predictions and experiments a low turbulent Reynolds number effect is identified. Using modified EDC model constants prediction of too early ignition can be avoided. The results are weakly sensitive to the sub-model for laminar viscosity and laminar diffusion fluxes.


title: Robust Differential Abundance Test in Compositional Data

abstract: Differential abundance tests in compositional data are essential and fundamental tasks in various biomedical applications, such as single-cell, bulk RNA-seq, and microbiome data analysis. However, because of the compositional constraint and the prevalence of zero counts in the data, differential abundance analysis in compositional data remains a complicated and unsolved statistical problem. This study introduces a new differential abundance test, the robust differential abundance (RDB) test, to address these challenges. Compared with existing methods, the RDB test is simple and computationally efficient, is robust to prevalent zero counts in compositional datasets, can take the data's compositional nature into account, and has a theoretical guarantee of controlling false discoveries in a general setting. Furthermore, in the presence of observed covariates, the RDB test can work with the covariate balancing techniques to remove the potential confounding effects and draw reliable conclusions. Finally, we apply the new test to several numerical examples using simulated and real datasets to demonstrate its practical merits.

categories: stat.ME math.ST q-bio.QM stat.AP stat.TH


title: Supersymmetries in non-equilibrium Langevin dynamics

abstract: Stochastic phenomena are often described by Langevin equations, which serve as a mesoscopic model for microscopic dynamics. It is known since the work of Parisi and Sourlas that reversible (or equilibrium) dynamics present supersymmetries (SUSYs). These are revealed when the path-integral action is written as a function not only of the physical fields, but also of Grassmann fields representing a Jacobian arising from the noise distribution. SUSYs leave the action invariant upon a transformation of the fields that mixes the physical and the Grassmann ones. We show that, contrarily to the common belief, it is possible to extend the known reversible construction to the case of arbitrary irreversible dynamics, for overdamped Langevin equations with additive white noise - provided their steady state is known. The construction is based on the fact that the Grassmann representation of the functional determinant is not unique, and can be chosen so as to present a generalization of the Parisi-Sourlas SUSY. Our approach is valid both for Martin-Siggia-Rose-Janssen-de Dominicis and for Onsager-Machlup actions. We show how such SUSYs are related to time-reversal symmetries and allow one to derive modified fluctuation-dissipation relations valid in non-equilibrium. We give as a concrete example the results for the Kardar-Parisi-Zhang equation.


title: Undecidability and non-axiomatizability of modal many-valued logics

abstract: In this work we study the decidability of a class of global modal logics arising from Kripke frames evaluated over certain residuated lattices, known in the literature as modal many-valued logics. We exhibit a large family of these modal logics which are undecidable, in contrast with classical modal logic and propositional logics defined over the same classes of algebras. This family includes the global modal logics arising from Kripke frames evaluated over the standard Lukasiewicz and Product algebras. We later refine the previous result, and prove that global modal Lukasiewicz and Product logics are not even recursively axiomatizable. We conclude by solving negatively the open question of whether each global modal logic coincides with its local modal logic closed under the unrestricted necessitation rule.


title: Intersecting geodesics on the modular surface

abstract: We introduce the \textit{modular intersection kernel}, and we use it to study how geodesics intersect on the full modular surface $\mathbb{X}=PSL_2\left(\mathbb{Z}\right) \backslash \mathbb{H}$. Let $C_d$ be the union of closed geodesics with discriminant $d$ and let $\beta\subset \mathbb{X}$ be a compact geodesic segment. As an application of Duke's theorem to the modular intersection kernel, we prove that $ \{\left(p,\theta_p\right)~:~p\in \beta \cap C_d\}$ becomes equidistributed with respect to $\sin \theta ds d\theta$ on $\beta \times [0,\pi]$ with a power saving rate as $d \to +\infty$. Here $\theta_p$ is the angle of intersection between $\beta$ and $C_d$ at $p$. This settles the main conjectures introduced by Rickards \cite{rick}. We prove a similar result for the distribution of angles of intersections between $C_{d_1}$ and $C_{d_2}$ with a power-saving rate in $d_1$ and $d_2$ as $d_1+d_2 \to \infty$. Previous works on the corresponding problem for compact surfaces do not apply to $\mathbb{X}$, because of the singular behavior of the modular intersection kernel near the cusp. We analyze the singular behavior of the modular intersection kernel by approximating it by general (not necessarily spherical) point-pair invariants on $PSL_2\left(\mathbb{Z}\right) \backslash PSL_2\left(\mathbb{R}\right)$ and then by studying their full spectral expansion.


title: Item Recommendation from Implicit Feedback

abstract: The task of item recommendation is to select the best items for a user from a large catalogue of items. Item recommenders are commonly trained from implicit feedback which consists of past actions that are positive only. Core challenges of item recommendation are (1) how to formulate a training objective from implicit feedback and (2) how to efficiently train models over a large item catalogue. This article provides an overview of item recommendation, its unique characteristics and some common approaches. It starts with an introduction to the problem and discusses different training objectives. The main body deals with learning algorithms and presents sampling based algorithms for general recommenders and more efficient algorithms for dot product models. Finally, the application of item recommenders for retrieval tasks is discussed.


title: On the inhomogeneous NLS with inverse-square potential

abstract: We consider the inhomogeneous nonlinear Schr\"odinger equation with inverse-square potential in $\mathbb{R}^N$ $$ i u_t + \mathcal{L}_a u+\lambda |x|^{-b}|u|^\alpha u = 0,\;\;\mathcal{L}_a=\Delta -\frac{a}{|x|^2}, $$ where $\lambda=\pm1$, $\alpha,b>0$ and $a>-\frac{(N-2)^2}{4}$. We first establish sufficient conditions for global existence and blow-up in $H^1_a(\mathbb{R}^N)$ for $\lambda=1$, using a Gagliardo-Nirenberg-type estimate. In the sequel, we study local and global well-posedness in $H^1_a(\mathbb{R}^N)$ in the $H^1$-subcritical case, applying the standard Strichartz estimates combined with the fixed point argument. The key to do that is to establish good estimates on the nonlinearity. Making use of these estimates, we also show a scattering criterion and construct a wave operator in $H^1_a(\mathbb{R}^N)$, for the mass-supercritical and energy-subcritical case.


title: Ehrhart-Equivalence, Equidecomposability, and Unimodular Equivalence of Integral Polytopes

abstract: Ehrhart polynomials are extensively-studied structures that interpolate the discrete volume of the dilations of integral $n$-polytopes. The coefficients of Ehrhart polynomials, however, are still not fully understood, and it is not known when two polytopes have equivalent Ehrhart polynomials. In this paper, we establish a relationship between Ehrhart-equivalence and other forms of equivalence: the $\operatorname{GL}_n(\mathbb{Z})$-equidecomposability and unimodular equivalence of two integral $n$-polytopes in $\mathbb{R}^n$. We conjecture that any two Ehrhart-equivalent integral $n$-polytopes $P,Q\subset\mathbb{R}^n$ are $\operatorname{GL}_n(\mathbb{Z})$-equidecomposable into $\frac{1}{(n-1)!}$-th unimodular simplices, thereby generalizing the known cases of $n=1, 2, 3$. We also create an algorithm to check for unimodular equivalence of any two integral $n$-simplices in $\mathbb{R}^n$. We then find and prove a new one-to-one correspondence between unimodular equivalence of integral $2$-simplices and the unimodular equivalence of their $n$-dimensional pyramids. Finally, we prove the existence of integral $n$-simplices in $\mathbb{R}^n$ that are not unimodularly equivalent for all $n \ge 2$.


title: Low energy effective field theories of fermion liquids and mixed $U(1)\times \mathbb{R}^d$ anomaly

abstract: In this paper we study gapless fermionic and bosonic systems in $d$-dimensional continuum space with $U(1)$ particle-number conservation and $\mathbb{R}^d$ translation symmetry. We write down low energy effective field theories for several gapless phases where $U(1)\times \mathbb{R}^d$ is viewed as internal symmetry. The $U(1)\times \mathbb{R}^d$ symmetry, when viewed as an internal symmetry, has a mixed anomaly, and the different effective field theories for different phases must have the same mixed anomaly. Such a mixed anomaly is proportional to the particle number density, and can be measured from the distribution of the total momentum $\boldsymbol{k}_\text{tot}$ for low energy many-body states (\ie how such a distribution is shifted by $U(1)$ symmetry twist $\boldsymbol{a}$), as well as some other low energy universal properties of the systems. In particular, we write down low energy effective field theory for Fermi liquid with infinite number of fields, in the presence of both real space magnetic field and $\boldsymbol{k}$-space "magnetic" field. The effective field theory also captures the mixed anomaly, which constraints the low energy dynamics, such as determine the volume of Fermi surface (which is another formulation of Luttinger-Ward-Oshikawa theorem).


title: Summing $\mu(n)$: a faster elementary algorithm

abstract: We present a new elementary algorithm that takes \[ \mathrm{time} \ \ O_\epsilon\left(x^{\frac{3}{5}} (\log x)^{\frac{3}{5}+\epsilon} \right) \ \ \mathrm{and}\ \ \mathrm{space} \ \ O\left(x^{\frac{3}{10}} (\log x)^{\frac{13}{10}} \right)\] for computing $M(x) = \sum_{n \leq x} \mu(n),$ where $\mu(n)$ is the M\"{o}bius function. This is the first improvement in the exponent of $x$ for an elementary algorithm since 1985. We also show that it is possible to reduce space consumption to $O(x^{1/5} (\log x)^{5/3})$ by the use of (Helfgott, 2020; arxiv.org:1712.09130), at the cost of letting time rise to the order of $x^{3/5} (\log x)$.


title: Approximation of nilpotent orbits for simple Lie groups

abstract: We propose a systematic and topological study of limits $\lim_{\nu\to 0^+}G_\mathbb{R}\cdot(\nu x)$ of continuous families of adjoint orbits for non-compact simple Lie groups. This limit is always a finite union of nilpotent orbits. We describe explicitly these nilpotent orbits in terms of Richardson orbits in the case of hyperbolic semisimple elements. We also show that one can approximate minimal nilpotent orbits or even nilpotent orbits by elliptic semisimple orbits. The special cases of $\mathrm{SL}_n(\mathbb{R})$ and $\mathrm{SU}(p,q)$ are computed in detail.


title: Singquandle Shadows and Singular knot Invariants

abstract: We introduce shadow structures for singular knot theory. Precisely, we define \emph{two} invariants of singular knots and links. First, we introduce a notion of action of a singquandle on a set to define a shadow counting invariant of singular links which generalize the classical shadow colorings of knots by quandles. We then define a shadow polynomial invariant for shadow structures. Lastly, we enhance the shadow counting invariant by combining both the shadow counting invariant and the shadow polynomial invariant. Explicit examples of computations are given.


title: Discovery of a New Redback Millisecond Pulsar Candidate: 4FGL J0940.3-7610

abstract: We have discovered a new candidate redback millisecond pulsar binary near the center of the error ellipse of the bright unassociated Fermi-LAT $\gamma$-ray source 4FGL J0940.3-7610. The candidate counterpart is a variable optical source that also shows faint X-ray emission. Optical photometric and spectroscopic monitoring with the SOAR telescope indicates the companion is a low-mass star in a 6.5-hr orbit around an invisible primary, showing both ellipsoidal variations and irradiation and consistent with the properties of known redback millisecond pulsar binaries. Given the orbital parameters, preliminary modeling of the optical light curves suggests an edge-on inclination and a low-mass ($\sim 1.2$ - $1.4\,M_{\odot}$) neutron star, along with a secondary mass somewhat more massive than typical $\gtrsim 0.4\,M_{\odot}$. This combination of inclination and secondary properties could make radio eclipses more likely for this system, explaining its previous non-discovery in radio pulsation searches. Hence 4FGL J0940.3-7610 may be a strong candidate for a focused search for $\gamma$-ray pulsations to enable the future detection of a millisecond pulsar.


title: Limit Processes and Bifurcation Theory of Quasi-Diffusive Perturbations

abstract: The bifurcation theory of ordinary differential equations (ODEs), and its application to deterministic population models, are by now well established. In this article, we begin to develop a complementary theory for diffusion-like perturbations of dynamical systems, with the goal of understanding the space and time scales of fluctuations near bifurcation points of the underlying deterministic system. To do so we describe the limit processes that arise in the vicinity of the bifurcation point. In the present article we focus on the one-dimensional case.


title: SoK: Decentralized Finance (DeFi)

abstract: Decentralized Finance (DeFi), a blockchain powered peer-to-peer financial system, is mushrooming. Two years ago the total value locked in DeFi systems was approximately 700m USD, now, as of April 2022, it stands at around 150bn USD. The frenetic evolution of the ecosystem has created challenges in understanding the basic principles of these systems and their security risks. In this Systematization of Knowledge (SoK) we delineate the DeFi ecosystem along the following axes: its primitives, its operational protocol types and its security. We provide a distinction between technical security, which has a healthy literature, and economic security, which is largely unexplored, connecting the latter with new models and thereby synthesizing insights from computer science, economics and finance. Finally, we outline the open research challenges in the ecosystem across these security types.


title: AI Choreographer: Music Conditioned 3D Dance Generation with AIST++

abstract: We present AIST++, a new multi-modal dataset of 3D dance motion and music, along with FACT, a Full-Attention Cross-modal Transformer network for generating 3D dance motion conditioned on music. The proposed AIST++ dataset contains 5.2 hours of 3D dance motion in 1408 sequences, covering 10 dance genres with multi-view videos with known camera poses -- the largest dataset of this kind to our knowledge. We show that naively applying sequence models such as transformers to this dataset for the task of music conditioned 3D motion generation does not produce satisfactory 3D motion that is well correlated with the input music. We overcome these shortcomings by introducing key changes in its architecture design and supervision: FACT model involves a deep cross-modal transformer block with full-attention that is trained to predict $N$ future motions. We empirically show that these changes are key factors in generating long sequences of realistic dance motion that are well-attuned to the input music. We conduct extensive experiments on AIST++ with user studies, where our method outperforms recent state-of-the-art methods both qualitatively and quantitatively.


title: On linear resolvability of universal quantum dimensions

abstract: In his study of finite (Vassiliev's) knot invariants,Vogel introduced the so-called universal parameters, belonging to the projective plane, which particularly parameterize the simple Lie algebras by the Vogel's table. Subsequently a number of quantities, such as some universal knot invariants, (quantum) dimensions of simple Lie algebras, etc., have been represented in terms of these parameters, i.e. in the universal form. We prove that at the points from the Vogel's table all known universal quantum dimension formulae are linearly resolvable, i.e. yield finite answers even if these points are singular, provided one restricts them to the appropriate lines. We show, that the same phenomenon takes place for another three distinguished points in Vogel's plane - $E_{7\frac{1}{2}}, X_1,$ and $X_2$. We also examine the same formulae on linear resolvability at the remaining 48 distinguished points in Vogel's plane, which correspond to the so-called $Y$-objects, and discover that there are three points among them, which are regular for all known quantum dimension formulae. Two of them happen to be sharing a remarkable similarity with the simple Lie algebras, namely, the universal formulae yield integer-valued outputs (dimensions) at those points in the classical limit.


title: PASSAT at Future Neutrino Experiments: Hybrid Beam-Dump-Helioscope Facilities to Probe Light Axion-Like Particles

abstract: There are broadly three channels to probe axion-like particles (ALPs) produced in the laboratory: through their subsequent decay to Standard Model (SM) particles, their scattering with SM particles, or their subsequent conversion to photons. Decay and scattering are the most commonly explored channels in beam-dump type experiments, while conversion has typically been utilized by light-shining-through-wall (LSW) experiments. A new class of experiments, dubbed PASSAT (Particle Accelerator helioScopes for Slim Axion-like-particle deTection), has been proposed to make use of the ALP-to-photon conversion in a novel way: ALPs, after being produced in a beam-dump setup, turn into photons in a magnetic field placed near the source. It has been shown that such hybrid beam-dump-helioscope experiments can probe regions of parameter space that have not been investigated by other laboratory-based experiments, hence providing complementary information; in particular, they probe a fundamentally different region than decay or LSW experiments. We propose the implementation of PASSAT in future neutrino experiments, taking a DUNE-like experiment as an example. We demonstrate that the magnetic field in the planned DUNE multi-purpose detector is already capable of probing the ALP-photon coupling down to $g_{a\gamma\gamma} \sim {\rm few}\times 10^{-5}$ GeV$^{-1}$ for ALP masses $m_a \lesssim 10$ eV. The implementation of a CAST or BabyIAXO-like magnet would improve the sensitivity down to $g_{a\gamma\gamma} \sim 10^{-6}$ GeV$^{-1}$.


title: Correcting Presbyopia with Autofocusing Liquid-Lens Eyeglasses

abstract: Presbyopia, an age-related ocular disorder, is characterized by the loss in the accommodative abilities of the human ocular system and afflicts more than 1.8 billion people world-wide. Conventional methods of correcting presbyopia fragment the field of vision, inherently resulting in significant vision impairment. We demonstrate the development, assembly and evaluation of autofocusing eyeglasses for restoration of accommodation without vision field loss. The adaptive optics eyeglasses consist of two variable-focus piezoelectric liquid lenses, a time-of-flight range sensor and low-power, dual microprocessor control electronics housed within an ergonomic frame. Patient-specific accommodation deficiency models were utilized to demonstrate a high-fidelity accommodative correction. Each accommodation correction calculation was performed in ~67 ms requiring 4.86 mJ of energy. The optical resolution of the system was 10.5 cycles/degree, featuring a restorative accommodative range of 4.3 D. This system can run for up to 19 hours between charge cycles and weighs ~132 g, allowing comfortable restoration of accommodative function


title: A Person Re-identification Data Augmentation Method with Adversarial Defense Effect

abstract: The security of the Person Re-identification(ReID) model plays a decisive role in the application of ReID. However, deep neural networks have been shown to be vulnerable, and adding undetectable adversarial perturbations to clean images can trick deep neural networks that perform well in clean images. We propose a ReID multi-modal data augmentation method with adversarial defense effect: 1) Grayscale Patch Replacement, it consists of Local Grayscale Patch Replacement(LGPR) and Global Grayscale Patch Replacement(GGPR). This method can not only improve the accuracy of the model, but also help the model defend against adversarial examples; 2) Multi-Modal Defense, it integrates three homogeneous modal images of visible, grayscale and sketch, and further strengthens the defense ability of the model. These methods fuse different modalities of homogeneous images to enrich the input sample variety, the variaty of samples will reduce the over-fitting of the ReID model to color variations and make the adversarial space of the dataset that the attack method can find difficult to align, thus the accuracy of model is improved, and the attack effect is greatly reduced. The more modal homogeneous images are fused, the stronger the defense capabilities is . The proposed method performs well on multiple datasets, and successfully defends the attack of MS-SSIM proposed by CVPR2020 against ReID [10], and increases the accuracy by 467 times(0.2% to 93.3%).The code is available at https://github.com/finger-monkey/ReID_Adversarial_Defense.


title: Time series compression: a survey

abstract: The presence of smart objects is increasingly widespread and their ecosystem, also known as Internet of Things, is relevant in many different application scenarios. The huge amount of temporally annotated data produced by these smart devices demand for efficient techniques for transfer and storage of time series data. Compression techniques play an important role toward this goal and, despite the fact that standard compression methods could be used with some benefit, there exist several ones that specifically address the case of time series by exploiting their peculiarities to achieve a more effective compression and a more accurate decompression in the case of lossy compression techniques. This paper provides a state-of-the-art survey of the principal time series compression techniques, proposing a taxonomy to classify them considering their overall approach and their characteristics. Furthermore, we analyze the performances of the selected algorithms by discussing and comparing the experimental results that where provided in the original articles. The goal of this paper is to provide a comprehensive and homogeneous reconstruction of the state-of-the-art which is currently fragmented across many papers that use different notations and where the proposed methods are not organized according to a classification.


title: Physics reach of a low threshold scintillating argon bubble chamber in coherent elastic neutrino-nucleus scattering reactor experiments

abstract: The physics reach of a low threshold (100 eV) scintillating argon bubble chamber sensitive to Coherent Elastic neutrino-Nucleus Scattering (CE$\nu$NS) from reactor neutrinos is studied. The sensitivity to the weak mixing angle, neutrino magnetic moment, and a light $Z'$ gauge boson mediator are analyzed. A Monte Carlo simulation of the backgrounds is performed to assess their contribution to the signal. The analysis shows that world-leading sensitivities are achieved with a one-year exposure for a 10 kg chamber at 3 m from a 1 MW$_{th}$ research reactor or a 100 kg chamber at 30 m from a 2000 MW$_{th}$ power reactor. Such a detector has the potential to become the leading technology to study CE$\nu$NS using nuclear reactors.


title: NGTS and HST insights into the long period modulation in GW Librae

abstract: Light curves of the accreting white dwarf pulsator GW Librae spanning a 7.5 month period in 2017 were obtained as part of the Next Generation Transit Survey. This data set comprises 787 hours of photometry from 148 clear nights, allowing the behaviour of the long (hours) and short period (20min) modulation signals to be tracked from night to night over a much longer observing baseline than has been previously achieved. The long period modulations intermittently detected in previous observations of GW Lib are found to be a persistent feature, evolving between states with periods ~83min and 2-4h on time-scales of several days. The 20min signal is found to have a broadly stable amplitude and frequency for the duration of the campaign, but the previously noted phase instability is confirmed. Ultraviolet observations obtained with the Cosmic Origin Spectrograph onboard the Hubble Space Telescope constrain the ultraviolet-to-optical flux ratio to ~5 for the 4h modulation, and <=1 for the 20min period, with caveats introduced by non-simultaneous observations. These results add further observational evidence that these enigmatic signals must originate from the white dwarf, highlighting our continued gap in theoretical understanding of the mechanisms that drive them.


title: Broken-Symmetry Ground States of the Heisenberg model on the Pyrochlore Lattice

abstract: The spin-1/2 Heisenberg model on the pyrochlore lattice is an iconic frustrated three-dimensional spin system with a rich phase diagram. Besides hosting several ordered phases, the model is debated to possess a spin-liquid ground state when only nearest-neighbor antiferromagnetic interactions are present. Here, we contest this hypothesis with an extensive numerical investigation using both exact diagonalization and complementary variational techniques. Specifically, we employ a RVB-like many-variable Monte Carlo ansatz and convolutional neural network quantum states for (variational) calculations with up to $4\times 4^3$ and $4 \times 3^3$ spins, respectively. We demonstrate that these techniques yield consistent results, allowing for reliable extrapolations to the thermodynamic limit. Our main results are (1) the determination of the phase transition between the putative spin-liquid phase and the neighboring magnetically ordered phase and (2) a careful characterization of the ground state in terms of symmetry-breaking tendencies. We find clear indications of spontaneously broken inversion and rotational symmetry, calling the scenario of a featureless quantum spin-liquid into question. Our work showcases how many-variable variational techniques can be used to make progress in answering challenging questions about three-dimensional frustrated quantum magnets.


title: Perturbative and Nonperturbative Studies of CFTs with MN Global Symmetry

abstract: Fixed points in three dimensions described by conformal field theories with $MN_{m,n}= O(m)^n\rtimes S_n$ global symmetry have extensive applications in critical phenomena. Associated experimental data for $m=n=2$ suggest the existence of two non-trivial fixed points, while the $\varepsilon$ expansion predicts only one, resulting in a puzzling state of affairs. A recent numerical conformal bootstrap study has found two kinks for small values of the parameters $m$ and $n$, with critical exponents in good agreement with experimental determinations in the $m=n=2$ case. In this paper we investigate the fate of the corresponding fixed points as we vary the parameters $m$ and $n$. We find that one family of kinks approaches a perturbative limit as $m$ increases, and using large spin perturbation theory we construct a large $m$ expansion that fits well with the numerical data. This new expansion, akin to the large $N$ expansion of critical $O(N)$ models, is compatible with the fixed point found in the $\varepsilon$ expansion. For the other family of kinks, we find that it persists only for $n=2$, where for large $m$ it approaches a non-perturbative limit with $\Delta_\phi\approx 0.75$. We investigate the spectrum in the case $MN_{100,2}$ and find consistency with expectations from the lightcone bootstrap.


title: Quantifying uncertainties in the solar axion flux and their impact on determining axion model parameters

abstract: We review the calculation of the solar axion flux from axion-photon and axion-electron interactions and discuss the size of various effects neglected in current calculations. For the Primakoff flux we then explicitly include the partial degeneracy of electrons. We survey the available solar models and opacity codes and develop a publicly available C++/Python code to quantify the associated systematic differences and statistical uncertainties. The number of axions emitted in helioseismological solar models is systematically larger by about 5% compared to photospheric models, while the overall statistical uncertainties in solar models are typically at the percent level in both helioseismological and photospheric models. However, for specific energies, the statistical fluctuations can reach up to about 5% as well. Taking these uncertainties into account, we investigate the ability of the upcoming helioscope IAXO to discriminate KSVZ axion models. Such a discrimination is possible for a number of models, and a discovery of KSVZ axions with high $E/N$ ratios could potentially help to solve the solar abundance problem. We discuss limitations of the axion emission calculations and identify potential improvements, which would help to determine axion model parameters more accurately.