title: Thermodynamically consistent semi-compressible fluids: a variational perspective

abstract: This paper presents (Lagrangian) variational formulations for single and multicomponent semi-compressible fluids with both reversible (entropy-conserving) and irreversible (entropy-generating) processes. Semi-compressible fluids are useful in describing \textit{low-Mach} dynamics, since they are \textit{soundproof}. These models find wide use in many areas of fluid dynamics, including both geophysical and astrophysical fluid dynamics. Specifically, the Boussinesq, anelastic and pseudoincompressible equations are developed through a unified treatment valid for arbitrary Riemannian manifolds, thermodynamic potentials and geopotentials. By design, these formulations obey the 1st and 2nd laws of thermodynamics, ensuring their thermodynamic consistency. This general approach extends and unifies existing work, and helps clarify the thermodynamics of semi-compressible fluids. To further this goal, evolution equations are presented for a wide range of thermodynamic variables: entropy density $s$, specific entropy $\eta$, buoyancy $b$, temperature $T$, potential temperature $\theta$ and a generic entropic variable $\chi$; along with a general definition of buoyancy valid for all three semicompressible models and arbitrary geopotentials. Finally, the elliptic equation is developed for all three equation sets in the case of reversible dynamics, and for the Boussinesq/anelastic equations in the case of irreversible dynamics; and some discussion is given of the difficulty in formulating the elliptic equation for the pseudoincompressible equations with irreversible dynamics.


title: On uniformly continuous endomorphisms of hyperbolic groups

abstract: We prove a generalization of the fellow traveller property for a certain type of quasi-geodesics and use it to present three equivalent geometric formulations of the bounded reduction property and prove that it is equivalent to preservation of a coarse median. We then provide an affirmative answer to a question from Ara\'ujo and Silva as to whether every nontrivial uniformly continuous endomorphism of a hyperbolic group with respect to a visual metric satisfies a H\"older condition. We remark that these results combined with the work done by Paulin prove that every endomorphism admitting a continuous extension to the completion has a finitely generated fixed point subgroup.


title: H2 ro-vibrational excitation in protoplanetary disks and its effects on the chemistry

abstract: The effect of H$_2$ ro-vibrational excitation on the chemistry of protoplanetary disks is studied using a framework that solves for the disk physical and chemical structure and includes a detailed calculation of H$_2$ level populations. Chemistry with ro-vibrationally excited H$_2$ is found to be important for the formation of several commonly observed species in disks and this work demonstrates the need to accurately treat PDR chemistry in disks if we are to make inferences on the chemical state of the disk during planet formation epochs. This is found to be even more critical for molecules like C$_2$H, CN or HCN that are commonly used to infer changes in the elemental disk C/O and N/O ratios, with implications for planetesimal formation and the composition of exoplanet atmospheres. Computed vertical column densities with the full H$_2$ population calculation are increased by $\sim1-2$ orders of magnitude for molecules such as CN, HCN/HNC compared to calculations with no treatment of excited H$_2$. For the commonly used pseudo-level approximation, the computed columns of these molecules are overestimated by a factor of $\sim3-5$ when compared to the full model. We further note that the computed abundance for these molecules strongly depends on the strength of the FUV photons at energies that pump H$_2$ (i.e. 11-13.6 eV), which is not well constrained in disks, and that rate constants as a function of H$_2$ ro-vibrational levels for the key reaction N + H$_2\rightarrow $ NH are needed for a more accurate assessment of CN/HCN chemistry but are currently unavailable.


title: Geodesic random walks, diffusion processes and Brownian motion on Finsler manifolds

abstract: We show that geodesic random walks on a complete Finsler manifold of bounded geometry converge to a diffusion process which is, up to a drift, the Brownian motion corresponding to a Riemannian metric.


title: Forbidden subposet problems in the grid

abstract: For posets $P$ and $Q$, extremal and saturation problems about weak and strong $P$-free subposets of $Q$ have been studied mostly in the case $Q$ is the Boolean poset $Q_n$, the poset of all subsets of an $n$-element set ordered by inclusion. In this paper, we study some instances of the problem with $Q$ being the grid, and its connections to the Boolean case and to the forbidden submatrix problem.


title: Nonradiality of second eigenfunctions of the fractional Laplacian in a ball

abstract: Using symmetrization techniques, we show that, for every $N \geq 2$, any second eigenfunction of the fractional Laplacian in the $N$-dimensional unit ball with homogeneous Dirichlet conditions is nonradial, and hence its nodal set is an equatorial section of the ball.


title: Random matrix description of dynamically backscattered coherent waves propagating in a wide-field-illuminated random medium

abstract: The wave propagation in random medium plays a critical role in optics and quantum physics. Multiple scattering of coherent wave in a random medium determines the transport procedure. Brownian motions of the scatterers perturb each propagation trajectory and form dynamic speckle patterns in the backscattered direction. In this study, we applied the random matrix theory (RMT) to investigate the eigenvalue density of the backscattered intensity matrix. We find that the dynamic speckle patterns can be utilized to decouple the singly and multiply backscattered components. The Wishart random matrix of multiple scattering component is well described by the Marcenko-Pastur law, while the single scattering part has low-rank characteristic. We therefore propose a strategy for estimating the first and the second order moments of single and multiple scattering components, respectively, based on the Marcenko-Pastur law and trace analysis. Electric field Monte Carlo simulation and in-vivo experiments demonstrate its potential applications in hidden absorbing object detection and in-vivo blood flow imaging. Our method can be applied to other coherent domain elastic scattering phenomenon for wide-filed propagation of microwave, ultrasound and etc.


title: Analysis of NASA's DSN Venus Express radio occultation data for year 2014

abstract: The Venus Express Radio Science Experiment (VeRa) was part of the scientific payload of the Venus Express (VEX) spacecraft and was targeted at the investigation of Venus' atmosphere, surface, and gravity field as well as the interplanetary medium. This paper describes the methods and the required calibrations applied to VEX-VeRa raw radio occultation data used to retrieve vertical profiles of Venus' ionosphere and neutral atmosphere. In this work we perform an independent analysis of a set of 25 VEX, single-frequency (X-band), occultations carried out in 2014, recorded in open-loop at the NASA Deep Space Network. Our temperature, pressure and electron density vertical profiles are in agreement with previous studies available in the literature. Furthermore, our analysis shows that Venus' ionosphere is more influenced by the day/night condition than the latitude variations, while the neutral atmosphere experiences the opposite. Our scientific interpretation of these results is based on two major responsible effects: Venus' high thermal inertia and the zonal winds. Their presence within Venus' neutral atmosphere determine why in these regions a latitude dependence is predominant on the day/night condition. On the contrary, at higher altitudes the two aforementioned effects are less important or null, and Venus' ionosphere shows higher electron density peaks in the probed day-time occultations, regardless of the latitude.


title: Many-body quantum thermal machines

abstract: Thermodynamics of quantum systems and quantum thermal machines are rapidly developing fields, which have already delivered several promising results, as well as raised many intriguing questions. Many-body quantum machines present new opportunities stemming from many-body effects. At the same time, they pose new challenges related to many-body physics. In this short review we discuss some of the recent developments on technologies based on many-body quantum systems. We mainly focus on many-body effects in quantum thermal machines. We also briefly address the role played by many-body systems in the development of quantum batteries and quantum probes.


title: Robust multi-rate predictive control using multi-step prediction models learned from data

abstract: This note extends a recently proposed algorithm for model identification and robust MPC of asymptotically stable, linear time-invariant systems subject to process and measurement disturbances. Independent output predictors for different steps ahead are estimated with Set Membership methods. It is here shown that the corresponding prediction error bounds are the least conservative in the considered model class. Then, a new multi-rate robust MPC algorithm is developed, employing said multi-step predictors to robustly enforce constraints and stability against disturbances and model uncertainty, and to reduce conservativeness. A simulation example illustrates the effectiveness of the approach.


title: Characterization of Pd and Pd@Au core-shell nanoparticles using atom probe tomography and field evaporation simulation

abstract: We report on atom probe tomography analyses of Pd and Pd@Au nanoparticles embedded in a Ni matrix and the effects of local evaporation field variations on the atom probe data. In order to assess the integrity of the reconstructed atom maps, we performed numerical simulations of the field evaporation processes and compared the simulated datasets with experimentally acquired data. The distortions seen in the atom maps for both Pd and Pd@Au nanoparticles could be mostly ascribed to local variations in chemical composition and elemental evaporation fields. The evaporation field values for Pd and Ni, taken from the image hump model and assumed in the simulations, yielded a good agreement between experimental and simulation results. In contrast, the evaporation field for Au, as predicted from the image hump model, appeared to be substantially overestimated and resulted in a large discrepancy between experiments and simulations.


title: Speeding Up Private Distributed Matrix Multiplication via Bivariate Polynomial Codes

abstract: We consider the problem of private distributed matrix multiplication under limited resources. Coded computation has been shown to be an effective solution in distributed matrix multiplication, both providing privacy against the workers and boosting the computation speed by efficiently mitigating stragglers. In this work, we propose the use of recently-introduced bivariate polynomial codes to further speed up private distributed matrix multiplication by exploiting the partial work done by the stragglers rather than completely ignoring them. We show that the proposed approach reduces the average computation time of private distributed matrix multiplication compared to its competitors in the literature while improving the upload communication cost and the workers' storage efficiency.


title: A novel representation of an integrated correlator in $\mathcal{N}=4$ SYM theory

abstract: An integrated correlator of four superconformal stress-tensor primaries of $\mathcal{N}=4$ supersymmetric $SU(N)$ Yang-Mills theory (SYM), originally obtained by localisation, is re-expressed as a two-dimensional lattice sum that is manifestly invariant under $SL(2,\mathbb{Z})$ S-duality. This expression is shown to satisfy a novel Laplace equation in the complex coupling constant $\tau$ that relates the $SU(N)$ integrated correlator to those of the $SU(N+1)$ and $SU(N-1)$ theories. The lattice sum is shown to precisely reproduce known perturbative and non-perturbative properties of $\mathcal{N}=4$ SYM for any finite $N$, as well as extending previously conjectured properties of the large-$N$ expansion.


title: Design Iterations for Passive Aerial Manipulator

abstract: Grabbing a manoeuvring target using drones is a challenging problem. This paper presents the design, development, and prototyping of a novel aerial manipulator for target interception. It is a single Degree of Freedom (DoF) manipulator with passive basket-type end-effector. The proposed design is energy efficient, light weight and suitable for aerial grabbing applications. The detailed design of the proposed manipulation mechanism and a novel in-flight extending propeller guard, is reported in this paper.


title: Dynamic neighbourhood optimisation for task allocation using multi-agent

abstract: In large-scale systems there are fundamental challenges when centralised techniques are used for task allocation. The number of interactions is limited by resource constraints such as on computation, storage, and network communication. We can increase scalability by implementing the system as a distributed task-allocation system, sharing tasks across many agents. However, this also increases the resource cost of communications and synchronisation, and is difficult to scale. In this paper we present four algorithms to solve these problems. The combination of these algorithms enable each agent to improve their task allocation strategy through reinforcement learning, while changing how much they explore the system in response to how optimal they believe their current strategy is, given their past experience. We focus on distributed agent systems where the agents' behaviours are constrained by resource usage limits, limiting agents to local rather than system-wide knowledge. We evaluate these algorithms in a simulated environment where agents are given a task composed of multiple subtasks that must be allocated to other agents with differing capabilities, to then carry out those tasks. We also simulate real-life system effects such as networking instability. Our solution is shown to solve the task allocation problem to 6.7% of the theoretical optimal within the system configurations considered. It provides 5x better performance recovery over no-knowledge retention approaches when system connectivity is impacted, and is tested against systems up to 100 agents with less than a 9% impact on the algorithms' performance.


title: Active Privacy-utility Trade-off Against a Hypothesis Testing Adversary

abstract: We consider a user releasing her data containing some personal information in return of a service. We model user's personal information as two correlated random variables, one of them, called the secret variable, is to be kept private, while the other, called the useful variable, is to be disclosed for utility. We consider active sequential data release, where at each time step the user chooses from among a finite set of release mechanisms, each revealing some information about the user's personal information, i.e., the true hypotheses, albeit with different statistics. The user manages data release in an online fashion such that maximum amount of information is revealed about the latent useful variable, while the confidence for the sensitive variable is kept below a predefined level. For the utility, we consider both the probability of correct detection of the useful variable and the mutual information (MI) between the useful variable and released data. We formulate both problems as a Markov decision process (MDP), and numerically solve them by advantage actor-critic (A2C) deep reinforcement learning (RL).


title: Finsler-Rellich inequalities involving the distance to the boundary

abstract: We study Rellich inequalities associated to higher-order elliptic operators in the Euclidean space. The inequalities are expressed in terms of an associated Finsler metric. In the case of half-spaces we obtain the sharp constant while for a general convex domain we obtain estimates that are better than those obtained by comparison with the polyharmonic operator.


title: Adaptive Weighting Scheme for Automatic Time-Series Data Augmentation

abstract: Data augmentation methods have been shown to be a fundamental technique to improve generalization in tasks such as image, text and audio classification. Recently, automated augmentation methods have led to further improvements on image classification and object detection leading to state-of-the-art performances. Nevertheless, little work has been done on time-series data, an area that could greatly benefit from automated data augmentation given the usually limited size of the datasets. We present two sample-adaptive automatic weighting schemes for data augmentation: the first learns to weight the contribution of the augmented samples to the loss, and the second method selects a subset of transformations based on the ranking of the predicted training loss. We validate our proposed methods on a large, noisy financial dataset and on time-series datasets from the UCR archive. On the financial dataset, we show that the methods in combination with a trading strategy lead to improvements in annualized returns of over 50$\%$, and on the time-series data we outperform state-of-the-art models on over half of the datasets, and achieve similar performance in accuracy on the others.


title: Heat-content and diffusive leakage from material sets in the low-diffusivity limit

abstract: We generalize leading-order asymptotics of a form of the heat content of a submanifold (van den Berg & Gilkey 2015) to the setting of time-dependent diffusion processes in the limit of vanishing diffusivity. Such diffusion processes arise naturally when advection-diffusion processes are viewed in Lagrangian coordinates. We prove that as diffusivity $\varepsilon$ goes to zero, the diffusive transport out of a material set $S$ under the time-dependent, mass-preserving advection-diffusion equation with initial condition given by the characteristic function $\mathds{1}_S$, is $\sqrt{\varepsilon/\pi} d\overline{A}(\partial S) + o(\sqrt{\varepsilon})$. The surface measure $d\overline A$ is that of the so-called geometry of mixing, as introduced in (Karrasch & Keller, 2020). We apply our result to the characterisation of coherent structures in time-dependent dynamical systems.


title: On Mathews Correlation Coefficient and Improved Distance Map Loss for Automatic Glacier Calving Front Segmentation in SAR Imagery

abstract: The vast majority of the outlet glaciers and ice streams of the polar ice sheets end in the ocean. Ice mass loss via calving of the glaciers into the ocean has increased over the last few decades. Information on the temporal variability of the calving front position provides fundamental information on the state of the glacier and ice stream, which can be exploited as calibration and validation data to enhance ice dynamics modeling. To identify the calving front position automatically, deep neural network-based semantic segmentation pipelines can be used to delineate the acquired SAR imagery. However, the extreme class imbalance is highly challenging for the accurate calving front segmentation in these images. Therefore, we propose the use of the Mathews correlation coefficient (MCC) as an early stopping criterion because of its symmetrical properties and its invariance towards class imbalance. Moreover, we propose an improvement to the distance map-based binary cross-entropy (BCE) loss function. The distance map adds context to the loss function about the important regions for segmentation and helps accounting for the imbalanced data. Using Mathews correlation coefficient as early stopping demonstrates an average 15% dice coefficient improvement compared to the commonly used BCE. The modified distance map loss further improves the segmentation performance by another 2%. These results are encouraging as they support the effectiveness of the proposed methods for segmentation problems suffering from extreme class imbalances.


title: The Disproof of the Riemann Hypothesis

abstract: We show that there is a contradiction between the Riemann's Hypothesis and some form of the theorem on the universality of the zeta function.


title: Tighter Bounds on the Log Marginal Likelihood of Gaussian Process Regression Using Conjugate Gradients

abstract: We propose a lower bound on the log marginal likelihood of Gaussian process regression models that can be computed without matrix factorisation of the full kernel matrix. We show that approximate maximum likelihood learning of model parameters by maximising our lower bound retains many of the sparse variational approach benefits while reducing the bias introduced into parameter learning. The basis of our bound is a more careful analysis of the log-determinant term appearing in the log marginal likelihood, as well as using the method of conjugate gradients to derive tight lower bounds on the term involving a quadratic form. Our approach is a step forward in unifying methods relying on lower bound maximisation (e.g. variational methods) and iterative approaches based on conjugate gradients for training Gaussian processes. In experiments, we show improved predictive performance with our model for a comparable amount of training time compared to other conjugate gradient based approaches.


title: Testing one-loop galaxy bias: cosmological constraints from the power spectrum

abstract: We investigate the impact of different assumptions in the modeling of one-loop galaxy bias on the recovery of cosmological parameters, as a follow up of the analysis done in the first paper of the series at fixed cosmology. We use three different synthetic galaxy samples whose clustering properties match the ones of the CMASS and LOWZ catalogues of BOSS and the SDSS Main Galaxy Sample. We investigate the relevance of allowing for either short range non-locality or scale-dependent stochasticity by fitting the real-space galaxy auto power spectrum or the combination of galaxy-galaxy and galaxy-matter power spectrum. From a comparison among the goodness-of-fit ($\chi^2$), unbiasedness of cosmological parameters (FoB), and figure-of-merit (FoM), we find that a four-parameter model (linear, quadratic, cubic non-local bias, and constant shot-noise) with fixed quadratic tidal bias provides a robust modelling choice for the auto power spectrum of the three samples, up to $k_{\rm max}=0.3\,h\,\mathrm{Mpc}^{-1}$ and for an effective volume of $6\,h^{-3}\,\mathrm{Gpc}^3$. Instead, a joint analysis of the two observables fails at larger scales, and a model extension with either higher derivatives or scale-dependent shot-noise is necessary to reach a similar $k_{\rm max}$, with the latter providing the most stable results. These findings are obtained with three, either hybrid or perturbative, prescriptions for the matter power spectrum, \texttt{RESPRESSO}, gRPT and EFT. In all cases, the inclusion of scale-dependent shot-noise increases the range of validity of the model in terms of FoB and $\chi^2$. Interestingly, these model extensions with additional free parameters do not necessarily lead to an increase in the maximally achievable FoM for the cosmological parameters $\left(h,\,\Omega_ch^2,\,A_s\right)$, which are generally consistent to those of the simpler model at smaller $k_{\rm max}$.


title: Typical coexistence of infinitely many strange attractors

abstract: We prove that the coexistence of infinitely many prevalent H\'enon-like phenomena is Kolmogorov typical in sectional dissipative $C^{d,r}$-Berger domains of parameter families of diffeomorphisms of dimension $m\geq 3$ for $d<r-1$. Namely, we answer an old question posed by Colli in [Annales de l'Institut Henri Poincare-Nonlinear Analysis, 15, 539--580 (1998)] on typicality of the coexistence of infinitely many non-hyperbolic strange attractors for $3\leq d<r-1$.


title: Resource allocation in dynamic multiagent systems

abstract: Resource allocation and task prioritisation are key problem domains in the fields of autonomous vehicles, networking, and cloud computing. The challenge in developing efficient and robust algorithms comes from the dynamic nature of these systems, with many components communicating and interacting in complex ways. The multi-group resource allocation optimisation (MG-RAO) algorithm we present uses multiple function approximations of resource demand over time, alongside reinforcement learning techniques, to develop a novel method of optimising resource allocation in these multi-agent systems. This method is applicable where there are competing demands for shared resources, or in task prioritisation problems. Evaluation is carried out in a simulated environment containing multiple competing agents. We compare the new algorithm to an approach where child agents distribute their resources uniformly across all the tasks they can be allocated. We also contrast the performance of the algorithm where resource allocation is modelled separately for groups of agents, as to being modelled jointly over all agents. The MG-RAO algorithm shows a 23 - 28% improvement over fixed resource allocation in the simulated environments. Results also show that, in a volatile system, using the MG-RAO algorithm configured so that child agents model resource allocation for all agents as a whole has 46.5% of the performance of when it is set to model multiple groups of agents. These results demonstrate the ability of the algorithm to solve resource allocation problems in multi-agent systems and to perform well in dynamic environments.


title: Instance Localization for Self-supervised Detection Pretraining

abstract: Prior research on self-supervised learning has led to considerable progress on image classification, but often with degraded transfer performance on object detection. The objective of this paper is to advance self-supervised pretrained models specifically for object detection. Based on the inherent difference between classification and detection, we propose a new self-supervised pretext task, called instance localization. Image instances are pasted at various locations and scales onto background images. The pretext task is to predict the instance category given the composited images as well as the foreground bounding boxes. We show that integration of bounding boxes into pretraining promotes better task alignment and architecture alignment for transfer learning. In addition, we propose an augmentation method on the bounding boxes to further enhance the feature alignment. As a result, our model becomes weaker at Imagenet semantic classification but stronger at image patch localization, with an overall stronger pretrained model for object detection. Experimental results demonstrate that our approach yields state-of-the-art transfer learning results for object detection on PASCAL VOC and MSCOCO.


title: Ion Mobility Independent Large Signal Switching of Perovskite Devices

abstract: The presence of mobile ions in perovskites is well known to influence the device electrostatics leading to a wide variety of anomalous characteristics related to hysteresis, efficiency degradation, low frequency capacitance, large signal switching, etc. Accordingly, the ion mobility is understood to a have a critical influence on the associated time constants/delays. Quite contrary to this broadly accepted thought, here we show that the time delays associated with large signal switching show a universal behavior dictated by electronic dipoles, rather than ionic dipoles. Due to the resultant sudden and dramatic collapse of contact layer depletion region, switching delays are independent of ion mobilities! Further, our detailed numerical simulations, well supported by experimental results, indicate that terminal currents show near steady state behavior well ahead of the relaxation of ionic distributions to their steady state conditions. These results have interesting implications towards the understanding and optimization of perovskite based electronic devices, including solar cells and LEDs.


title: Generalization of a Result of Sylvester Regarding the Frobenius Coin Problem and an Elementary Proof of Eisenstein's Lemma for Jacobi Symbols

abstract: In a recent work, the present author generalized a fundamental result of Gauss related to quadratic reciprocity, and also showed that the above result of Gauss is equivalent to a special case of a well-known result of Sylvester related to the Frobenius coin problem. In this note, we use this equivalence to show that the above generalization of the result of Gauss naturally leads to an interesting generalization of the result of Sylvester. To be precise, for given positive coprime integers $a$ and $b$, and for a family of values of $k$ in the interval $0 \leq k < (a-1)(b-1)$, we find the number of nonnegative integers $\leq k$ that can be expressed in the form $ax+by$ for nonnegative integers $x$ and $y$. We also give an elementary proof of Eisenstein's Lemma for Jacobi symbols using floor function sums. Our proof provides a natural straightforward generalization of the Gauss-Eisenstein proof of the law of quadratic reciprocity for Jacobi symbols.


title: Blast in a One-Dimensional Cold Gas: From Newtonian Dynamics to Hydrodynamics

abstract: A gas composed of a large number of atoms evolving according to Newtonian dynamics is often described by continuum hydrodynamics. Proving this rigorously is an outstanding open problem, and precise numerical demonstrations of the equivalence of the hydrodynamic and microscopic descriptions are rare. We test this equivalence in the context of the evolution of a blast wave, a problem that is expected to be at the limit where hydrodynamics could work. We study a one-dimensional gas at rest with instantaneous localized release of energy for which the hydrodynamic Euler equations admit a self-similar scaling solution. Our microscopic model consists of hard point particles with alternating masses, which is a nonintegrable system with strong mixing dynamics. Our extensive microscopic simulations find a remarkable agreement with Euler hydrodynamics, with deviations in a small core region that are understood as arising due to heat conduction.


title: A Cooperative Memory Network for Personalized Task-oriented Dialogue Systems with Incomplete User Profiles

abstract: There is increasing interest in developing personalized Task-oriented Dialogue Systems (TDSs). Previous work on personalized TDSs often assumes that complete user profiles are available for most or even all users. This is unrealistic because (1) not everyone is willing to expose their profiles due to privacy concerns; and (2) rich user profiles may involve a large number of attributes (e.g., gender, age, tastes, . . .). In this paper, we study personalized TDSs without assuming that user profiles are complete. We propose a Cooperative Memory Network (CoMemNN) that has a novel mechanism to gradually enrich user profiles as dialogues progress and to simultaneously improve response selection based on the enriched profiles. CoMemNN consists of two core modules: User Profile Enrichment (UPE) and Dialogue Response Selection (DRS). The former enriches incomplete user profiles by utilizing collaborative information from neighbor users as well as current dialogues. The latter uses the enriched profiles to update the current user query so as to encode more useful information, based on which a personalized response to a user request is selected. We conduct extensive experiments on the personalized bAbI dialogue benchmark datasets. We find that CoMemNN is able to enrich user profiles effectively, which results in an improvement of 3.06% in terms of response selection accuracy compared to state-of-the-art methods. We also test the robustness of CoMemNN against incompleteness of user profiles by randomly discarding attribute values from user profiles. Even when discarding 50% of the attribute values, CoMemNN is able to match the performance of the best performing baseline without discarding user profiles, showing the robustness of CoMemNN.


title: AdEle: An Adaptive Congestion-and-Energy-Aware Elevator Selection for Partially Connected 3D NoCs

abstract: By lowering the number of vertical connections in fully connected 3D networks-on-chip (NoCs), partially connected 3D NoCs (PC-3DNoCs) help alleviate reliability and fabrication issues. This paper proposes a novel, adaptive congestion- and energy-aware elevator-selection scheme called AdEle to improve the traffic distribution in PC-3DNoCs. AdEle employs an offline multi-objective simulated-annealing-based algorithm to find good elevator subsets and an online elevator selection policy to enhance elevator selection during routing. Compared to the state-of- the-art techniques under different real-application traffics and configuration scenarios, AdEle improves the network latency by 10.9% on average (up to 14.6%) with less than 6.9% energy consumption overhead.


title: On the genealogical structure of critical branching processes in a varying environment

abstract: Critical branching processes in a varying environment behave much the same as critical Galton-Watson processes. In this note we like to confirm this finding with regard to the underlying genealogical structures. In particular, we consider the most recent common ancestor given survival and the corresponding reduced branching processes, in the spirit of Zubkov (1975) and Fleischmann and Siegmund-Schultze (1977).


title: All You Need is DAG

abstract: We present DAG-Rider, the first asynchronous Byzantine Atomic Broadcast protocol that achieves optimal resilience, optimal amortized communication complexity, and optimal time complexity. DAG-Rider is post-quantum safe and ensures that all messages proposed by correct processes eventually get decided. We construct DAG-Rider in two layers: In the first layer, processes reliably broadcast their proposals and build a structured Directed Acyclic Graph (DAG) of the communication among them. In the second layer, processes locally observe their DAGs and totally order all proposals with no extra communication.


title: Texture of One Equality in Neutrino Mass Matrix

abstract: We carry out a phenomenological and analytical study of the texture structures for the Majorana neutrino mass matrix characterized by one single equality between two independent matrix elements, with vanishing non-physical phases whose role in the definition we clarify. We find that fourteen textures are viable in both types of hierarchy, whereas the remaining fifteenth one is viable only in normal hierarchy. We also present symmetry realizations for some patterns by using Abelian flavor symmetries within type-I, type-II and mixed type-(I+II) seesaw scenarios.


title: Submodular Maximization subject to a Knapsack Constraint: Combinatorial Algorithms with Near-optimal Adaptive Complexity

abstract: Submodular maximization is a classic algorithmic problem with multiple applications in data mining and machine learning; there, the growing need to deal with massive instances motivates the design of algorithms balancing the quality of the solution with applicability. For the latter, an important measure is the adaptive complexity, which captures the number of sequential rounds of parallel computation needed by an algorithm to terminate. In this work we obtain the first constant factor approximation algorithm for non-monotone submodular maximization subject to a knapsack constraint with near-optimal $O(\log n)$ adaptive complexity. Low adaptivity by itself, however, is not enough: a crucial feature to account for is represented by the total number of function evaluations (or value queries). Our algorithm asks $\tilde{O}(n^2)$ value queries, but can be modified to run with only $\tilde{O}(n)$ instead, while retaining a low adaptive complexity of $O(\log^2n)$. Besides the above improvement in adaptivity, this is also the first combinatorial approach with sublinear adaptive complexity for the problem and yields algorithms comparable to the state-of-the-art even for the special cases of cardinality constraints or monotone objectives.


title: Context-Aware Prosody Correction for Text-Based Speech Editing

abstract: Text-based speech editors expedite the process of editing speech recordings by permitting editing via intuitive cut, copy, and paste operations on a speech transcript. A major drawback of current systems, however, is that edited recordings often sound unnatural because of prosody mismatches around edited regions. In our work, we propose a new context-aware method for more natural sounding text-based editing of speech. To do so, we 1) use a series of neural networks to generate salient prosody features that are dependent on the prosody of speech surrounding the edit and amenable to fine-grained user control 2) use the generated features to control a standard pitch-shift and time-stretch method and 3) apply a denoising neural network to remove artifacts induced by the signal manipulation to yield a high-fidelity result. We evaluate our approach using a subjective listening test, provide a detailed comparative analysis, and conclude several interesting insights.


title: An Information-Theoretic Justification for Model Pruning

abstract: We study the neural network (NN) compression problem, viewing the tension between the compression ratio and NN performance through the lens of rate-distortion theory. We choose a distortion metric that reflects the effect of NN compression on the model output and derive the tradeoff between rate (compression) and distortion. In addition to characterizing theoretical limits of NN compression, this formulation shows that \emph{pruning}, implicitly or explicitly, must be a part of a good compression algorithm. This observation bridges a gap between parts of the literature pertaining to NN and data compression, respectively, providing insight into the empirical success of model pruning. Finally, we propose a novel pruning strategy derived from our information-theoretic formulation and show that it outperforms the relevant baselines on CIFAR-10 and ImageNet datasets.


title: Geometric modeling and regularization of algebraic problems

abstract: Discontinuity with respect to data perturbations is common in algebraic computation where solutions are often highly sensitive. Such problems can be modeled as solving systems of equations at given data parameters. By appending auxiliary equations, the models can be formulated to satisfy four easily verifiable conditions so that the data form complex analytic manifolds on which the solutions maintain their structures and the Lipschitz continuity. When such a problem is given with empirical data, solving the system becomes a least squares problem whose solution uniquely exists and enjoys Lipschitz continuity as long as the data point is in a tubular neighborhood of the manifold. As a result, the singular problem is regularized as a well-posed computational problem.


title: New Techniques for Universality in Unambiguous Register Automata

abstract: Register automata are finite automata equipped with a finite set of registers ranging over the domain of some relational structure like $(\mathbb N;=)$ or $(\mathbb Q;<)$. Register automata process words over the domain, and along a run of the automaton, the registers can store data from the input word for later comparisons. It is long known that the universality problem, i.e., the problem to decide whether a given register automaton accepts all words over the domain, is undecidable. Recently, we proved the problem to be decidable in 2-ExpSpace if the register automaton under study is over $(\mathbb N;=)$ and unambiguous, i.e., every input word has at most one accepting run; this result was shortly after improved to 2-ExpTime by Barloy and Clemente. In this paper, we go one step further and prove that the problem is in ExpSpace, and in PSpace if the number of registers is fixed. Our proof is based on new techniques that additionally allow us to show that the problem is in PSpace for single-register automata over $(\mathbb Q;<)$. As a third technical contribution we prove that the problem is decidable (in ExpSpace) for a more expressive model of unambiguous register automata, where the registers can take values nondeterministically, if defined over $(\mathbb N;=)$ and only one register is used.


title: Domain Name Encryption Is Not Enough: Privacy Leakage via IP-based Website Fingerprinting

abstract: Although the security benefits of domain name encryption technologies such as DNS over TLS (DoT), DNS over HTTPS (DoH), and Encrypted Client Hello (ECH) are clear, their positive impact on user privacy is weakened by--the still exposed--IP address information. However, content delivery networks, DNS-based load balancing, co-hosting of different websites on the same server, and IP address churn, all contribute towards making domain-IP mappings unstable, and prevent straightforward IP-based browsing tracking. In this paper, we show that this instability is not a roadblock (assuming a universal DoT/DoH and ECH deployment), by introducing an IP-based website fingerprinting technique that allows a network-level observer to identify at scale the website a user visits. Our technique exploits the complex structure of most websites, which load resources from several domains besides their primary one. Using the generated fingerprints of more than 200K websites studied, we could successfully identify 84% of them when observing solely destination IP addresses. The accuracy rate increases to 92% for popular websites, and 95% for popular and sensitive websites. We also evaluated the robustness of the generated fingerprints over time, and demonstrate that they are still effective at successfully identifying about 70% of the tested websites after two months. We conclude by discussing strategies for website owners and hosting providers towards hindering IP-based website fingerprinting and maximizing the privacy benefits offered by DoT/DoH and ECH.


title: Lagrangian diffusion properties of a free shear turbulent jet

abstract: A Lagrangian experimental study of an axisymmetric turbulent water jet is performed to investigate the highly anisotropic and inhomogeneous flow field. The measurements were conducted within a Lagrangian exploration module, an icosahedron apparatus, to facilitate optical access of three cameras. The stereoscopic particle tracking velocimetry results in three component tracks of position, velocity and acceleration of the tracer particles within the vertically-oriented jet with a Taylor-based Reynolds number $\mathcal R_\lambda \simeq 230$. Analysis is performed at seven locations from 15 diameters up to 45 diameters downstream. Eulerian analysis is first carried out to obtain critical parameters of the jet and relevant scales, namely the Kolmogorov and large turnover (integral) scales as well as the energy dissipation rate. Lagrangian statistical analysis is then performed on velocity components stationarised following methods inspired by Batchelor (\textit{J. Fluid Mech.}, vol. 3, 1957, pp. 67-80) which aim to extend stationary Lagrangian theory of turbulent diffusion by Taylor to the case of self-similar flows. The evolution of typical Lagrangian scaling parameters as a function of the developing jet is explored and results show validation of the proposed stationarisation. The universal scaling constant $C_0$ (for the Lagrangian second-order structure function), as well as Eulerian and Lagrangian integral time scales are discussed in this context. $C_0$ is found to converge to a constant value (of the order of $C_0 = 3$) within 30 diameters downstream of the nozzle. Finally, the existence of finite particle size effects are investigated through consideration of acceleration dependent quantities.


title: A homogenized damping model for the propagation of elastic wave in a porous solid

abstract: This paper develops an averaging technique based on the combination of the eigenfunction expansion method and the collaboration method to investigate the multiple scattering effect of the SH wave propagation in a porous medium. The semi-analytical averaging technique is conducted using Monto Carlo method to understand the macroscopic dispersion and attenuation phenomena of the stress wave propagation in a porous solid caused by the multiple scattering effects. The averaging technique is verified by finite element analysis. Finally, a simple homogenized elastic model with damping is proposed to describe the macroscopic dispersion and attenuation effects of SH waves in porous media.

categories: math.NA cond-mat.mtrl-sci cond-mat.stat-mech cs.NA


title: Detecting cell and protein concentrations by the use of a thermal based sensor

abstract: Biosensors are frequently used nowadays for the sake of their attractive capabilities. Because of their high accuracy and precision, they are more and more used in the medical sector. Natural receptors are mostly used, but their use have some specific drawbacks. Therefore, new read-out methods are being developed where there is no need for these receptors. Via a Transient Plane Source (TPS) sensor, the thermal properties of a fluid can be determined. These sensors can detect the capability of a fluid to absorb heat i.e. the thermal effusivity. By the way of monitoring this property, many potential bioprocesses can be monitored. The use of this promising technique was further developed in this research for later use of detecting cell growth and protein concentrations. Firstly, the thermal properties of growth medium and yeast cells were determined. Here, it became clear that the thermal properties change in different concentrations. Also, measurements were performed on protein concentration. No unambiguously results were obtained from these tests. But, the overall results from the use of this sensor are very promising, especially in the cell detection compartment. However, further research will tell about the applicability and sensitivity of this type of sensor.


title: A hardware-efficient leakage-reduction scheme for quantum error correction with superconducting transmon qubits

abstract: Leakage outside of the qubit computational subspace poses a threatening challenge to quantum error correction (QEC). We propose a scheme using two leakage-reduction units (LRUs) that mitigate these issues for a transmon-based surface code, without requiring an overhead in terms of hardware or QEC-cycle time as in previous proposals. For data qubits we consider a microwave drive to transfer leakage to the readout resonator, where it quickly decays, ensuring that this negligibly affects the coherence within the computational subspace for realistic system parameters. For ancilla qubits we apply a $|1\rangle\leftrightarrow|2\rangle$ $\pi$ pulse conditioned on the measurement outcome. Using density-matrix simulations of the distance-3 surface code we show that the average leakage lifetime is reduced to almost 1 QEC cycle, even when the LRUs are implemented with limited fidelity. Furthermore, we show that this leads to a significant reduction of the logical error rate. This LRU scheme opens the prospect for near-term scalable QEC demonstrations.


title: EIC Physics from An All-Silicon Tracking Detector

abstract: The proposed electron-ion collider has a rich physics program to study the internal structure of protons and heavy nuclei. This program will impose strict requirements on detector design. This paper explores how these requirements can be satisfied using an all-silicon tracking detector, by consideration of three representative probes: heavy flavor hadrons, jets, and exclusive vector mesons.


title: Multilayer heat equations: application to finance

abstract: In this paper, we develop a Multilayer (ML) method for solving one-factor parabolic equations. Our approach provides a powerful alternative to the well-known finite difference and Monte Carlo methods. We discuss various advantages of this approach, which judiciously combines semi-analytical and numerical techniques and provides a fast and accurate way of finding solutions to the corresponding equations. To introduce the core of the method, we consider multilayer heat equations, known in physics for a relatively long time but never used when solving financial problems. Thus, we expand the analytic machinery of quantitative finance by augmenting it with the ML method. We demonstrate how one can solve various problems of mathematical finance by using our approach. Specifically, we develop efficient algorithms for pricing barrier options for time-dependent one-factor short-rate models, such as Black-Karasinski and Verhulst. Besides, we show how to solve the well-known Dupire equation quickly and accurately. Numerical examples confirm that our approach is considerably more efficient for solving the corresponding partial differential equations than the conventional finite difference method by being much faster and more accurate than the known alternatives.


title: Gravitational Bremsstrahlung in the Post-Minkowskian Effective Field Theory

abstract: We study the gravitational radiation emitted during the scattering of two spinless bodies in the post-Minkowskian Effective Field Theory approach. We derive the conserved stress-energy tensor linearly coupled to gravity and the classical probability amplitude of graviton emission at leading and next-to-leading order in the Newton's constant $G$. The amplitude can be expressed in compact form as one-dimensional integrals over a Feynman parameter involving Bessel functions. We use it to recover the leading-order radiated angular momentum expression. Upon expanding it in the relative velocity between the two bodies $v$, we compute the total four-momentum radiated into gravitational waves at leading-order in $G$ and up to an order $v^8$, finding agreement with what was recently computed using scattering amplitude methods. Our results also allow us to investigate the zero frequency limit of the emitted energy spectrum.


title: Convergence of Nonlinear Observers on R^n with a Riemannian Metric (Part III)

abstract: This paper is the third and final component of a three-part effort on observers contracting a Riemannian distance between the state of the system and its estimate. In Part I, we showed that such a contraction property holds if the system dynamics and the Riemannian metric satisfy two key conditions: a differential detectability property and a geodesic monotonicity property. With the former condition being the focus of Part II, in this Part III, we study the latter condition in relationship to the nullity of the second fundamental form of the output function. We formulate sufficient and necessary conditions for it to hold. We establish a link between it and the infinite gain margin property, and we provide a systematic way for constructing a metric satisfying this condition. Finally, we illustrate cases where both conditions hold and propose ways to facilitate the satisfaction of these two conditions together.


title: Faster Kernel Matrix Algebra via Density Estimation

abstract: We study fast algorithms for computing fundamental properties of a positive semidefinite kernel matrix $K \in \mathbb{R}^{n \times n}$ corresponding to $n$ points $x_1,\ldots,x_n \in \mathbb{R}^d$. In particular, we consider estimating the sum of kernel matrix entries, along with its top eigenvalue and eigenvector. We show that the sum of matrix entries can be estimated to $1+\epsilon$ relative error in time $sublinear$ in $n$ and linear in $d$ for many popular kernels, including the Gaussian, exponential, and rational quadratic kernels. For these kernels, we also show that the top eigenvalue (and an approximate eigenvector) can be approximated to $1+\epsilon$ relative error in time $subquadratic$ in $n$ and linear in $d$. Our algorithms represent significant advances in the best known runtimes for these problems. They leverage the positive definiteness of the kernel matrix, along with a recent line of work on efficient kernel density estimation.


title: On the sampling Lov\'asz Local Lemma for atomic constraint satisfaction problems

abstract: We study the problem of sampling an approximately uniformly random satisfying assignment for atomic constraint satisfaction problems i.e. where each constraint is violated by only one assignment to its variables. Let $p$ denote the maximum probability of violation of any constraint and let $\Delta$ denote the maximum degree of the line graph of the constraints. Our main result is a nearly-linear (in the number of variables) time algorithm for this problem, which is valid in a Lov\'asz local lemma type regime that is considerably less restrictive compared to previous works. In particular, we provide sampling algorithms for the uniform distribution on: (1) $q$-colorings of $k$-uniform hypergraphs with $\Delta \lesssim q^{(k-4)/3 + o_{q}(1)}.$ The exponent $1/3$ improves the previously best-known $1/7$ in the case $q, \Delta = O(1)$ [Jain, Pham, Vuong; arXiv, 2020] and $1/9$ in the general case [Feng, He, Yin; STOC 2021]. (2) Satisfying assignments of Boolean $k$-CNF formulas with $\Delta \lesssim 2^{k/5.741}.$ The constant $5.741$ in the exponent improves the previously best-known $7$ in the case $k = O(1)$ [Jain, Pham, Vuong; arXiv, 2020] and $13$ in the general case [Feng, He, Yin; STOC 2021]. (3) Satisfying assignments of general atomic constraint satisfaction problems with $p\cdot \Delta^{7.043} \lesssim 1.$ The constant $7.043$ improves upon the previously best-known constant of $350$ [Feng, He, Yin; STOC 2021]. At the heart of our analysis is a novel information-percolation type argument for showing the rapid mixing of the Glauber dynamics for a carefully constructed projection of the uniform distribution on satisfying assignments. Notably, there is no natural partial order on the space, and we believe that the techniques developed for the analysis may be of independent interest.


title: Learning Invariant Representations using Inverse Contrastive Loss

abstract: Learning invariant representations is a critical first step in a number of machine learning tasks. A common approach corresponds to the so-called information bottleneck principle in which an application dependent function of mutual information is carefully chosen and optimized. Unfortunately, in practice, these functions are not suitable for optimization purposes since these losses are agnostic of the metric structure of the parameters of the model. We introduce a class of losses for learning representations that are invariant to some extraneous variable of interest by inverting the class of contrastive losses, i.e., inverse contrastive loss (ICL). We show that if the extraneous variable is binary, then optimizing ICL is equivalent to optimizing a regularized MMD divergence. More generally, we also show that if we are provided a metric on the sample space, our formulation of ICL can be decomposed into a sum of convex functions of the given distance metric. Our experimental results indicate that models obtained by optimizing ICL achieve significantly better invariance to the extraneous variable for a fixed desired level of accuracy. In a variety of experimental settings, we show applicability of ICL for learning invariant representations for both continuous and discrete extraneous variables.


title: Four lepton production in gluon fusion: off-shell Higgs effects in NLO QCD

abstract: We consider the production of four charged leptons in hadron collisions and compute the next-to-leading order (NLO) QCD corrections to the loop-induced gluon fusion contribution by consistently accounting for the Higgs boson signal, its corresponding background and their interference. The contribution from heavy-quark loops is exactly included in the calculation except for the two-loop $gg\to ZZ\to 4\ell$ continuum diagrams, for which the unknown heavy-quark effects are approximated through a reweighting procedure. Our calculation is combined with the next-to-next-to-leading order QCD and NLO electroweak corrections to the $q\bar{q}\to4\ell$ process, including all partonic channels and consistently accounting for spin correlations and off-shell effects. The computation is implemented in the MATRIX framework and allows us to separately study the Higgs boson signal, the background and the interference contributions, whose knowledge can be used to constrain the Higgs boson width through off-shell measurements. Our state-of-the-art predictions for the invariant-mass distribution of the four leptons are in good agreement with recent ATLAS data.


title: NoiseQA: Challenge Set Evaluation for User-Centric Question Answering

abstract: When Question-Answering (QA) systems are deployed in the real world, users query them through a variety of interfaces, such as speaking to voice assistants, typing questions into a search engine, or even translating questions to languages supported by the QA system. While there has been significant community attention devoted to identifying correct answers in passages assuming a perfectly formed question, we show that components in the pipeline that precede an answering engine can introduce varied and considerable sources of error, and performance can degrade substantially based on these upstream noise sources even for powerful pre-trained QA models. We conclude that there is substantial room for progress before QA systems can be effectively deployed, highlight the need for QA evaluation to expand to consider real-world use, and hope that our findings will spur greater community interest in the issues that arise when our systems actually need to be of utility to humans.


title: The Collapse of the Hilbert Program: A Variation on the G\"odelian Theme

abstract: The Hilbert program was actually a specific approach for proving consistency. Quantifiers were supposed to be replaced by $\epsilon$-terms. $\epsilon{x}A(x)$ was supposed to denote a witness to $\exists{x}A(x)$, arbitrary if there is none. The Hilbertians claimed that in any proof in a number-theoretic system $S$, each $\epsilon$-term can be replaced by a numeral, making each line provable and true. This implies that $S$ must not only be consistent, but also 1-consistent ($\Sigma_{1}^{0}$-correct). Here we show that if the result is supposed to be provable within $S$, a statement about all $\Pi_{2}^{0}$ statements that subsumes itself within its own scope must be provable, yielding a contradiction. The result resembles G\"odel's but arises naturally out of the Hilbert program itself.


title: Kodaira dimension and zeros of holomorphic one-forms, revisited

abstract: We give a new proof that every holomorphic one-form on a smooth complex projective variety of general type must vanish at some point, first proven by Popa and Schnell using generic vanishing theorems for Hodge modules. Our proof relies on Simpson's results on the relation between rank one Higgs bundles and local systems of one-dimensional complex vectors spaces, and the structure of the cohomology jump loci in their moduli spaces.


title: Unambiguous DNFs and Alon-Saks-Seymour

abstract: We exhibit an unambiguous k-DNF formula that requires CNF width $\tilde{\Omega}(k^2)$, which is optimal up to logarithmic factors. As a consequence, we get a near-optimal solution to the Alon--Saks--Seymour problem in graph theory (posed in 1991), which asks: How large a gap can there be between the chromatic number of a graph and its biclique partition number? Our result is also known to imply several other improved separations in query and communication complexity.


title: Fast deterministic algorithms for computing all eccentricities in (hyperbolic) Helly graphs

abstract: A graph is Helly if every family of pairwise intersecting balls has a nonempty common intersection. The class of Helly graphs is the discrete analogue of the class of hyperconvex metric spaces. It is also known that every graph isometrically embeds into a Helly graph, making the latter an important class of graphs in Metric Graph Theory. We study diameter, radius and all eccentricity computations within the Helly graphs. Under plausible complexity assumptions, neither the diameter nor the radius can be computed in truly subquadratic time on general graphs. In contrast to these negative results, it was recently shown that the radius and the diameter of an $n$-vertex $m$-edge Helly graph $G$ can be computed with high probability in $\tilde{\mathcal O}(m\sqrt{n})$ time (i.e., subquadratic in $n+m$). In this paper, we improve that result by presenting a deterministic ${\mathcal O}(m\sqrt{n})$ time algorithm which computes not only the radius and the diameter but also all vertex eccentricities in a Helly graph. Furthermore, we give a parameterized linear-time algorithm for this problem on Helly graphs, with the parameter being the Gromov hyperbolicity $\delta$. More specifically, we show that the radius and a central vertex of an $m$-edge $\delta$-hyperbolic Helly graph $G$ can be computed in $\mathcal O(\delta m)$ time and that all vertex eccentricities in $G$ can be computed in $\mathcal O(\delta^2 m)$ time. To show this more general result, we heavily use our new structural properties obtained for Helly graphs.


title: Statistical parameter estimation of multimode multiphoton subtracted thermal states of light

abstract: Thermal states of light are widely used in quantum optics for various quantum phenomena testing. Particularly, they can be utilized for characterization of photon creation and photon annihilation operations. During the last decade the problem of photon subtraction from multimode quantum states become of much significance. Therefore, in this work we present a technique for statistical parameter estimation of multimode multiphoton subtracted thermal states of light, which can be used for multimode photon annihilation test.


title: Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics

abstract: In this paper we consider the problem of learning a regression function without assuming its functional form. This problem is referred to as symbolic regression. An expression tree is typically used to represent a solution function, which is determined by assigning operators and operands to the nodes. The symbolic regression problem can be formulated as a nonconvex mixed-integer nonlinear program (MINLP), where binary variables are used to assign operators and nonlinear expressions are used to propagate data values through nonlinear operators such as square, square root, and exponential. We extend this formulation by adding new cuts that improve the solution of this challenging MINLP. We also propose a heuristic that iteratively builds an expression tree by solving a restricted MINLP. We perform computational experiments and compare our approach with a mixed-integer program-based method and a neural-network-based method from the literature.


title: Stochastic Variance Reduction for Variational Inequality Methods

abstract: We propose stochastic variance reduced algorithms for solving convex-concave saddle point problems, monotone variational inequalities, and monotone inclusions. Our framework applies to extragradient, forward-backward-forward, and forward-reflected-backward methods both in Euclidean and Bregman setups. All proposed methods converge in the same setting as their deterministic counterparts and they either match or improve the best-known complexities for solving structured min-max problems. Our results reinforce the correspondence between variance reduction in variational inequalities and minimization. We also illustrate the improvements of our approach with numerical evaluations on matrix games.


title: On the non-degenerate and degenerate generic singularities formed by mean curvature flow

abstract: In this paper we study a neighborhood of generic singularities formed by mean curvature flow (MCF). We limit our consideration to the singularities modelled on $\mathbb{S}^3\times\mathbb{R}$ because, compared to the cases $\mathbb{S}^k\times \mathbb{R}^{l}$ with $l\geq 2$, the present case has the fewest possibilities to be considered. For various possibilities, we provide a detailed description for a small, but fixed, neighborhood of singularity, and prove that a small neighborhood of the singularity is mean convex, and the singularity is isolated. For the remaining possibilities, we conjecture that an entire neighborhood of the singularity becomes singular at the time of blowup, and present evidences to support this conjecture. A key technique is that, when looking for a dominating direction for the rescaled MCF, we need a normal form transformation, as a result, the rescaled MCF is parametrized over some chosen curved cylinder, instead over a standard straight one. This is a long paper. The introduction is carefully written to present the key steps and ideas.


title: Topological Deep Learning: Classification Neural Networks

abstract: Topological deep learning is a formalism that is aimed at introducing topological language to deep learning for the purpose of utilizing the minimal mathematical structures to formalize problems that arise in a generic deep learning problem. This is the first of a sequence of articles with the purpose of introducing and studying this formalism. In this article, we define and study the classification problem in machine learning in a topological setting. Using this topological framework, we show when the classification problem is possible or not possible in the context of neural networks. Finally, we demonstrate how our topological setting immediately illuminates aspects of this problem that are not as readily apparent using traditional tools.


title: Adversarial Targeted Forgetting in Regularization and Generative Based Continual Learning Models

abstract: Continual (or "incremental") learning approaches are employed when additional knowledge or tasks need to be learned from subsequent batches or from streaming data. However these approaches are typically adversary agnostic, i.e., they do not consider the possibility of a malicious attack. In our prior work, we explored the vulnerabilities of Elastic Weight Consolidation (EWC) to the perceptible misinformation. We now explore the vulnerabilities of other regularization-based as well as generative replay-based continual learning algorithms, and also extend the attack to imperceptible misinformation. We show that an intelligent adversary can take advantage of a continual learning algorithm's capabilities of retaining existing knowledge over time, and force it to learn and retain deliberately introduced misinformation. To demonstrate this vulnerability, we inject backdoor attack samples into the training data. These attack samples constitute the misinformation, allowing the attacker to capture control of the model at test time. We evaluate the extent of this vulnerability on both rotated and split benchmark variants of the MNIST dataset under two important domain and class incremental learning scenarios. We show that the adversary can create a "false memory" about any task by inserting carefully-designed backdoor samples to the test instances of that task thereby controlling the amount of forgetting of any task of its choosing. Perhaps most importantly, we show this vulnerability to be very acute and damaging: the model memory can be easily compromised with the addition of backdoor samples into as little as 1\% of the training data, even when the misinformation is imperceptible to human eye.


title: Nodal superconductivity and superconducting domes in the topological Kagome metal CsV3Sb5

abstract: Recently superconductivity was discovered in the Kagome metal AV3Sb5 (A = K, Rb, and Cs), which has an ideal Kagome lattice of vanadium. These V-based superconductors also host charge density wave (CDW) and topological nontrivial band structure. Here we report the ultralow-temperature thermal conductivity and high pressure resistance measurements on CsV3Sb5 with Tc = 2.5 K, the highest among AV3Sb5. A finite residual linear term of thermal conductivity at zero magnetic field and its rapid increase in fields suggest nodal superconductivity. By applying pressure, the Tc of CsV3Sb5 increases first, then decreases to lower than 0.3 K at 11.4 GPa, showing a clear first superconducting dome peaked around 0.8 GPa. Above 11.4 GPa, superconductivity re-emerges, suggesting a second superconducting dome. Both nodal superconductivity and superconducting domes point to unconventional superconductivity in this V-based superconductor. While our finding of nodal superconductivity puts a strong constrain on the pairing state of the first dome, which should be related to the CDW instability, the superconductivity of the second dome may present another exotic pairing state in this ideal Kagome lattice of vanadium.


title: Revisiting Language Encoding in Learning Multilingual Representations

abstract: Transformer has demonstrated its great power to learn contextual word representations for multiple languages in a single model. To process multilingual sentences in the model, a learnable vector is usually assigned to each language, which is called "language embedding". The language embedding can be either added to the word embedding or attached at the beginning of the sentence. It serves as a language-specific signal for the Transformer to capture contextual representations across languages. In this paper, we revisit the use of language embedding and identify several problems in the existing formulations. By investigating the interaction between language embedding and word embedding in the self-attention module, we find that the current methods cannot reflect the language-specific word correlation well. Given these findings, we propose a new approach called Cross-lingual Language Projection (XLP) to replace language embedding. For a sentence, XLP projects the word embeddings into language-specific semantic space, and then the projected embeddings will be fed into the Transformer model to process with their language-specific meanings. In such a way, XLP achieves the purpose of appropriately encoding "language" in a multilingual Transformer model. Experimental results show that XLP can freely and significantly boost the model performance on extensive multilingual benchmark datasets. Codes and models will be released at https://github.com/lsj2408/XLP.


title: Efficient Competitions and Online Learning with Strategic Forecasters

abstract: Winner-take-all competitions in forecasting and machine-learning suffer from distorted incentives. Witkowski et al. 2018 identified this problem and proposed ELF, a truthful mechanism to select a winner. We show that, from a pool of $n$ forecasters, ELF requires $\Theta(n\log n)$ events or test data points to select a near-optimal forecaster with high probability. We then show that standard online learning algorithms select an $\epsilon$-optimal forecaster using only $O(\log(n) / \epsilon^2)$ events, by way of a strong approximate-truthfulness guarantee. This bound matches the best possible even in the nonstrategic setting. We then apply these mechanisms to obtain the first no-regret guarantee for non-myopic strategic experts.


title: End-2-End COVID-19 Detection from Breath & Cough Audio

abstract: Our main contributions are as follows: (I) We demonstrate the first attempt to diagnose COVID-19 using end-to-end deep learning from a crowd-sourced dataset of audio samples, achieving ROC-AUC of 0.846; (II) Our model, the COVID-19 Identification ResNet, (CIdeR), has potential for rapid scalability, minimal cost and improving performance as more data becomes available. This could enable regular COVID-19 testing at apopulation scale; (III) We introduce a novel modelling strategy using a custom deep neural network to diagnose COVID-19 from a joint breath and cough representation; (IV) We release our four stratified folds for cross parameter optimisation and validation on a standard public corpus and details on the models for reproducibility and future reference.


title: Interpretable COVID-19 Chest X-Ray Classification via Orthogonality Constraint

abstract: Deep neural networks have increasingly been used as an auxiliary tool in healthcare applications, due to their ability to improve performance of several diagnosis tasks. However, these methods are not widely adopted in clinical settings due to the practical limitations in the reliability, generalizability, and interpretability of deep learning based systems. As a result, methods have been developed that impose additional constraints during network training to gain more control as well as improve interpretabilty, facilitating their acceptance in healthcare community. In this work, we investigate the benefit of using Orthogonal Spheres (OS) constraint for classification of COVID-19 cases from chest X-ray images. The OS constraint can be written as a simple orthonormality term which is used in conjunction with the standard cross-entropy loss during classification network training. Previous studies have demonstrated significant benefits in applying such constraints to deep learning models. Our findings corroborate these observations, indicating that the orthonormality loss function effectively produces improved semantic localization via GradCAM visualizations, enhanced classification performance, and reduced model calibration error. Our approach achieves an improvement in accuracy of 1.6% and 4.8% for two- and three-class classification, respectively; similar results are found for models with data augmentation applied. In addition to these findings, our work also presents a new application of the OS regularizer in healthcare, increasing the post-hoc interpretability and performance of deep learning models for COVID-19 classification to facilitate adoption of these methods in clinical settings. We also identify the limitations of our strategy that can be explored for further research in future.


title: A Multi-disciplinary Ensemble Algorithm for Clustering Heterogeneous Datasets

abstract: Clustering is a commonly used method for exploring and analysing data where the primary objective is to categorise observations into similar clusters. In recent decades, several algorithms and methods have been developed for analysing clustered data. We notice that most of these techniques deterministically define a cluster based on the value of the attributes, distance, and density of homogenous and single-featured datasets. However, these definitions are not successful in adding clear semantic meaning to the clusters produced. Evolutionary operators and statistical and multi-disciplinary techniques may help in generating meaningful clusters. Based on this premise, we propose a new evolutionary clustering algorithm (ECAStar) based on social class ranking and meta-heuristic algorithms for stochastically analysing heterogeneous and multiple-featured datasets. The ECAStar is integrated with recombinational evolutionary operators, Levy flight optimisation, and some statistical techniques, such as quartiles and percentiles, as well as the Euclidean distance of the K-means algorithm. Experiments are conducted to evaluate the ECAStar against five conventional approaches: K-means (KM), K-meansPlusPlus (KMPlusPlus), expectation maximisation (EM), learning vector quantisation (LVQ), and the genetic algorithm for clusteringPlusPlus (GENCLUSTPlusPlus).


title: A Hybrid Approach for Reinforcement Learning Using Virtual Policy Gradient for Balancing an Inverted Pendulum

abstract: Using the policy gradient algorithm, we train a single-hidden-layer neural network to balance a physically accurate simulation of a single inverted pendulum. The trained weights and biases can then be transferred to a physical agent, where they are robust enough to to balance a real inverted pendulum. This hybrid approach of training a simulation allows thousands of trial runs to be completed orders of magnitude faster than would be possible in the real world, resulting in greatly reduced training time and more iterations, producing a more robust model. When compared with existing reinforcement learning methods, the resulting control is smoother, learned faster, and able to withstand forced disturbances.


title: COMBO: Conservative Offline Model-Based Policy Optimization

abstract: Model-based algorithms, which learn a dynamics model from logged experience and perform some sort of pessimistic planning under the learned model, have emerged as a promising paradigm for offline reinforcement learning (offline RL). However, practical variants of such model-based algorithms rely on explicit uncertainty quantification for incorporating pessimism. Uncertainty estimation with complex models, such as deep neural networks, can be difficult and unreliable. We overcome this limitation by developing a new model-based offline RL algorithm, COMBO, that regularizes the value function on out-of-support state-action tuples generated via rollouts under the learned model. This results in a conservative estimate of the value function for out-of-support state-action tuples, without requiring explicit uncertainty estimation. We theoretically show that our method optimizes a lower bound on the true policy value, that this bound is tighter than that of prior methods, and our approach satisfies a policy improvement guarantee in the offline setting. Through experiments, we find that COMBO consistently performs as well or better as compared to prior offline model-free and model-based methods on widely studied offline RL benchmarks, including image-based tasks.


title: Large deviations for the largest eigenvalue of Gaussian networks with constant average degree

abstract: Large deviation behavior of the largest eigenvalue $\lambda_1$ of Gaussian networks (Erd\H{o}s-R\'enyi random graphs $\mathcal{G}_{n,p}$ with i.i.d. Gaussian weights on the edges) has been the topic of considerable interest. Recently in [6,30], a powerful approach was introduced based on tilting measures by suitable spherical integrals, particularly establishing a non-universal large deviation behavior for fixed $p<1$ compared to the standard Gaussian ($p=1$) case. The case when $p\to 0$ was however completely left open with one expecting the dense behavior to hold only until the average degree is logarithmic in $n$. In this article we focus on the case of constant average degree i.e., $p=\frac{d}{n}$. We prove the following results towards a precise understanding of the large deviation behavior in this setting. 1. (Upper tail probabilities): For $\delta>0,$ we pin down the exact exponent $\psi(\delta)$ such that $$\mathbb{P}(\lambda_1\ge \sqrt{2(1+\delta)\log n})=n^{-\psi(\delta)+o(1)}.$$ Further, we show that conditioned on the upper tail event, with high probability, a unique maximal clique emerges with a very precise $\delta$ dependent size (takes either one or two possible values) and the Gaussian weights are uniformly high in absolute value on the edges in the clique. Finally, we also prove an optimal localization result for the leading eigenvector, showing that it allocates most of its mass on the aforementioned clique which is spread uniformly across its vertices. 2. (Lower tail probabilities): The exact stretched exponential behavior of $\mathbb{P}(\lambda_1\le \sqrt{2(1-\delta)\log n})$ is also established. As an immediate corollary, we get $\lambda_1 \approx \sqrt{2 \log n}$ typically, a result that surprisingly appears to be new. A key ingredient is an extremal spectral theory for weighted graphs obtained via the classical Motzkin-Straus theorem.


title: Integrable bootstrap for AdS3/CFT2 correlation functions

abstract: We propose an integrable bootstrap framework for the computation of correlation functions for superstrings in $AdS_3\times S^3\times T^4$ backgrounds supported by an arbitrary mixture or Ramond-Ramond and Neveu-Schwarz-Neveu-Schwarz fluxes. The framework extends the "hexagon tessellation" approach which was originally proposed for $AdS_5\times S^5$ and for the first time it demonstrates its applicability to other (less supersymmetric) setups. We work out the hexagon form factor for two-particle states, including its dressing factors which follow from those of the spectral problem, and we show that it satisfies non-trivial consistency conditions. We propose a bootstrap principle, slightly different from that of $AdS_5\times S^5$, which allows to extend the form factor to arbitrarily many particles. Finally, we compare its predictions with some correlation functions of protected operators. Possible applications of this construction include the study of wrapping corrections, of higher-point correlation functions, and of non-planar corrections.


title: Boosting Low-Resource Biomedical QA via Entity-Aware Masking Strategies

abstract: Biomedical question-answering (QA) has gained increased attention for its capability to provide users with high-quality information from a vast scientific literature. Although an increasing number of biomedical QA datasets has been recently made available, those resources are still rather limited and expensive to produce. Transfer learning via pre-trained language models (LMs) has been shown as a promising approach to leverage existing general-purpose knowledge. However, finetuning these large models can be costly and time consuming, often yielding limited benefits when adapting to specific themes of specialised domains, such as the COVID-19 literature. To bootstrap further their domain adaptation, we propose a simple yet unexplored approach, which we call biomedical entity-aware masking (BEM). We encourage masked language models to learn entity-centric knowledge based on the pivotal entities characterizing the domain at hand, and employ those entities to drive the LM fine-tuning. The resulting strategy is a downstream process applicable to a wide variety of masked LMs, not requiring additional memory or components in the neural architectures. Experimental results show performance on par with state-of-the-art models on several biomedical QA datasets.


title: Inelastic dark matter scattering off Thallium cannot save DAMA

abstract: We study the compatibility of the observed DAMA modulation signal with inelastic scattering of dark matter (DM) off of the $0.1\%$ Thallium (Tl) dopant in DAMA. In this work we test whether there exist regions of parameter space where the Tl interpretation gives a good fit to the most recent data from DAMA, and whether these regions are compatible with the latest constraints from other direct detection experiments. Previously, Chang et al. in 2010, had proposed the Tl interpretation of the DAMA data, and more recently (in 2019) the DAMA/LIBRA collaboration found regions in parameter space of Tl inelastic scattering that differ by more than $10\sigma$ from a no modulation hypothesis. We have expanded upon their work by testing whether the regions of parameter space where inelastic DM-Tl scattering gives a good fit to the most recent DAMA data survive the constraints placed by the lack of a DM signal in XENON1T and CRESST-II. In addition, we have tested how these regions change with the main sources of uncertainty: the Tl quenching factor, which has never been measured directly, and the astrophysical uncertainties in the DM distribution. We conclude that inelastic DM scattering off Tl cannot explain the DAMA data in light of null results from other experiments.


title: Conversations Gone Alright: Quantifying and Predicting Prosocial Outcomes in Online Conversations

abstract: Online conversations can go in many directions: some turn out poorly due to antisocial behavior, while others turn out positively to the benefit of all. Research on improving online spaces has focused primarily on detecting and reducing antisocial behavior. Yet we know little about positive outcomes in online conversations and how to increase them-is a prosocial outcome simply the lack of antisocial behavior or something more? Here, we examine how conversational features lead to prosocial outcomes within online discussions. We introduce a series of new theory-inspired metrics to define prosocial outcomes such as mentoring and esteem enhancement. Using a corpus of 26M Reddit conversations, we show that these outcomes can be forecasted from the initial comment of an online conversation, with the best model providing a relative 24% improvement over human forecasting performance at ranking conversations for predicted outcome. Our results indicate that platforms can use these early cues in their algorithmic ranking of early conversations to prioritize better outcomes.


title: CTAB-GAN: Effective Table Data Synthesizing

abstract: While data sharing is crucial for knowledge development, privacy concerns and strict regulation (e.g., European General Data Protection Regulation (GDPR)) unfortunately limit its full effectiveness. Synthetic tabular data emerges as an alternative to enable data sharing while fulfilling regulatory and privacy constraints. The state-of-the-art tabular data synthesizers draw methodologies from generative Adversarial Networks (GAN) and address two main data types in the industry, i.e., continuous and categorical. In this paper, we develop CTAB-GAN, a novel conditional table GAN architecture that can effectively model diverse data types, including a mix of continuous and categorical variables. Moreover, we address data imbalance and long-tail issues, i.e., certain variables have drastic frequency differences across large values. To achieve those aims, we first introduce the information loss and classification loss to the conditional GAN. Secondly, we design a novel conditional vector, which efficiently encodes the mixed data type and skewed distribution of data variable. We extensively evaluate CTAB-GAN with the state of the art GANs that generate synthetic tables, in terms of data similarity and analysis utility. The results on five datasets show that the synthetic data of CTAB-GAN remarkably resembles the real data for all three types of variables and results into higher accuracy for five machine learning algorithms, by up to 17%.


title: Quantifying the effects of environment and population diversity in multi-agent reinforcement learning

abstract: Generalization is a major challenge for multi-agent reinforcement learning. How well does an agent perform when placed in novel environments and in interactions with new co-players? In this paper, we investigate and quantify the relationship between generalization and diversity in the multi-agent domain. Across the range of multi-agent environments considered here, procedurally generating training levels significantly improves agent performance on held-out levels. However, agent performance on the specific levels used in training sometimes declines as a result. To better understand the effects of co-player variation, our experiments introduce a new environment-agnostic measure of behavioral diversity. Results demonstrate that population size and intrinsic motivation are both effective methods of generating greater population diversity. In turn, training with a diverse set of co-players strengthens agent performance in some (but not all) cases.


title: Explicit Motivic Mixed Elliptic Chabauty-Kim

abstract: The main point of the paper is to take the explicit motivic Chabauty-Kim method developed in papers of Dan-Cohen--Wewers and Dan-Cohen and the author and make it work for non-rational curves. In particular, we calculate the abstract form of an element of the Chabauty-Kim ideal for $\mathbb{Z}[1/\ell]$-points on a punctured elliptic curve, and lay some groundwork for certain kinds of higher genus curves. For this purpose, we develop an "explicit Tannakian Chabauty-Kim method" using $\mathbb{Q}_{p}$-Tannakian categories of Galois representations in place of $\mathbb{Q}$-linear motives. In future work, we intend to use this method to explicitly apply the Chabauty-Kim method to a curve of positive genus in a situation where Quadratic Chabauty does not apply.


title: ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns

abstract: Software designers and developers are increasingly relying on application frameworks as first-class design concepts. They instantiate the services that frameworks provide to implement various architectural tactics and patterns. One of the challenges in using frameworks for such tasks is the difficulty of learning and correctly using frameworks' APIs. This paper introduces a learning-based approach called ArCode to help novice programmers correctly use frameworks' APIs to implement architectural tactics and patterns. ArCode has several novel components: a graph-based approach for learning specification of a framework from a limited number of training software, a program analysis algorithm to eliminate erroneous training data, and a recommender module to help programmers use APIs correctly and identify API misuses in their programs. We evaluated our technique across two popular frameworks: JAAS security framework used for authentication and authorization tactic and Java RMI framework used to enable remote method invocation between client and server and other object-oriented patterns. Our evaluation results show (i) the feasibility of using ArCode to learn the specification of a framework; (ii) ArCode generates accurate recommendations for finding the next API call to implement an architectural tactic/pattern based on the context of the programmer's code; (iii) it accurately detects API misuses in the code that implements a tactic/pattern and provides fix recommendations. Comparison of ArCode with two prior techniques (MAPO and GrouMiner) on API recommendation and misuse detection shows that ArCode outperforms these approaches.


title: Analysis of feature learning in weight-tied autoencoders via the mean field lens

abstract: Autoencoders are among the earliest introduced nonlinear models for unsupervised learning. Although they are widely adopted beyond research, it has been a longstanding open problem to understand mathematically the feature extraction mechanism that trained nonlinear autoencoders provide. In this work, we make progress in this problem by analyzing a class of two-layer weight-tied nonlinear autoencoders in the mean field framework. Upon a suitable scaling, in the regime of a large number of neurons, the models trained with stochastic gradient descent are shown to admit a mean field limiting dynamics. This limiting description reveals an asymptotically precise picture of feature learning by these models: their training dynamics exhibit different phases that correspond to the learning of different principal subspaces of the data, with varying degrees of nonlinear shrinkage dependent on the $\ell_{2}$-regularization and stopping time. While we prove these results under an idealized assumption of (correlated) Gaussian data, experiments on real-life data demonstrate an interesting match with the theory. The autoencoder setup of interests poses a nontrivial mathematical challenge to proving these results. In this setup, the "Lipschitz" constants of the models grow with the data dimension $d$. Consequently an adaptation of previous analyses requires a number of neurons $N$ that is at least exponential in $d$. Our main technical contribution is a new argument which proves that the required $N$ is only polynomial in $d$. We conjecture that $N\gg d$ is sufficient and that $N$ is necessarily larger than a data-dependent intrinsic dimension, a behavior that is fundamentally different from previously studied setups.

categories: cs.LG cond-mat.dis-nn math.ST stat.ML stat.TH


title: IntSGD: Adaptive Floatless Compression of Stochastic Gradients

abstract: We propose a family of adaptive integer compression operators for distributed Stochastic Gradient Descent (SGD) that do not communicate a single float. This is achieved by multiplying floating-point vectors with a number known to every device and then rounding to integers. In contrast to the prior work on integer compression for SwitchML by Sapio et al. (2021), our IntSGD method is provably convergent and computationally cheaper as it estimates the scaling of vectors adaptively. Our theory shows that the iteration complexity of IntSGD matches that of SGD up to constant factors for both convex and non-convex, smooth and non-smooth functions, with and without overparameterization. Moreover, our algorithm can also be tailored for the popular all-reduce primitive and shows promising empirical performance.


title: Confinement and Mott transitions of dynamical charges in 1D lattice gauge theories

abstract: Confinement is an ubiquitous phenomenon when matter couples to gauge fields, which manifests itself in a linear string potential between two static charges. Although gauge fields can be integrated out in one dimension, they can mediate non-local interactions which in turn influence the paradigmatic Luttinger liquid properties. However, when the charges become dynamical and their densities finite, understanding confinement becomes challenging. Here we show that confinement in 1D $\mathbb{Z}_2$ lattice gauge theories, with dynamical matter fields and arbitrary densities, is related to translational symmetry breaking in a non-local basis. The exact transformation to this string-length basis leads us to an exact mapping of Luttinger parameters reminiscent of a Luther-Emery re-scaling. We include the effects of local, but beyond contact, interactions between the matter particles, and show that confined mesons can form a Mott-insulating state when the deconfined charges cannot. While the transition to the Mott state cannot be detected in the Green's function of the charges, we show that the metallic state is characterized by hidden off-diagonal quasi-long range order. Our predictions provide new insights to the physics of confinement of dynamical charges, and can be experimentally addressed in Rydberg-dressed quantum gases in optical lattices.


title: Witnessing entanglement in quantum magnets using neutron scattering

abstract: We demonstrate how quantum entanglement can be directly witnessed in the quasi-1D Heisenberg antiferromagnet KCuF$_3$. We apply three entanglement witnesses --- one-tangle, two-tangle, and quantum Fisher information --- to its inelastic neutron spectrum, and compare with spectra simulated by finite-temperature density matrix renormalization group (DMRG) and classical Monte Carlo methods. We find that each witness provides direct access to entanglement. Of these, quantum Fisher information is the most robust experimentally, and indicates the presence of at least bipartite entanglement up to at least 50 K, corresponding to around 10% of the spinon zone-boundary energy. We apply quantum Fisher information to higher spin-S Heisenberg chains, and show theoretically that the witnessable entanglement gets suppressed to lower temperatures as the quantum number increases. Finally, we outline how these results can be applied to higher dimensional quantum materials to witness and quantify entanglement.


title: Confirmation of a Second Propeller: A High-Inclination Twin of AE~Aquarii

abstract: For decades, AE Aquarii (AE Aqr) has been the only cataclysmic variable star known to contain a magnetic propeller: a persistent outflow whose expulsion from the binary is powered by the spin-down of the rapidly rotating, magnetized white dwarf. In 2020, LAMOST-J024048.51+195226.9 (J0240) was identified as a candidate eclipsing AE Aqr object, and we present three epochs of time-series spectroscopy that strongly support this hypothesis. We show that during the photometric flares noted by Thorstensen (2020) (arXiv:2007.09285), the half-width-at-zero-intensity of the Balmer and HeI lines routinely reaches a maximum of ~3000 km/s, well in excess of what is observed in normal cataclysmic variables. This is, however, consistent with the high-velocity emission seen in flares from AE Aqr. Additionally, we confirm beyond doubt that J0240 is a deeply eclipsing system. The flaring continuum, HeI and much of the Balmer emission likely originate close to the WD because they disappear during the eclipse that is centered on inferior conjunction of the secondary star. The fraction of the Balmer emission remaining visible during eclipse has a steep decrement and it is likely produced in the extended outflow. Most enticingly of all, this outflow produces a narrow P-Cyg absorption component for nearly half of the orbit, and we demonstrate that this scenario closely matches the outflow kinematics predicted by Wynn, King, & Horne (1997). While an important piece of evidence for the magnetic-propeller hypothesis -- a rapid WD spin period -- remains elusive, our spectra provide compelling support for the existence of a propeller-driven outflow viewed nearly edge-on, enabling a new means of rigorously testing theories of the propeller phenomenon.


title: The economic dependency of the Bitcoin security

abstract: We study to what extent the Bitcoin blockchain security permanently depends on the underlying distribution of cryptocurrency market outcomes. We use daily blockchain and Bitcoin data for 2014-2019 and employ the ARDL approach. We test three equilibrium hypotheses: (i) sensitivity of the Bitcoin blockchain to mining reward; (ii) security outcomes of the Bitcoin blockchain and the proof-of-work cost; and (iii) the speed of adjustment of the Bitcoin blockchain security to deviations from the equilibrium path. Our results suggest that the Bitcoin price and mining rewards are intrinsically linked to Bitcoin security outcomes. The Bitcoin blockchain security's dependency on mining costs is geographically differenced - it is more significant for the global mining leader China than for other world regions. After input or output price shocks, the Bitcoin blockchain security reverts to its equilibrium security level.


title: Polynomials Consisting of Quadratic Factors with Roots Modulo Any Positive Integer

abstract: We give an infinite family of polynomials that have roots modulo every positive integer but fail to have rational roots. Each polynomial in this family is made up of monic quadratic factors that do not have linear term.