title: Performance Comparison between Reconfigurable Intelligent Surface and Relays: Theoretical Methods and a Perspective from Operator

abstract: Reconfigurable intelligent surface (RIS) is an emerging technique employing metasurface to reflect the signal from the source node to the destination node without consuming any energy. Not only the spectral efficiency but also the energy efficiency can be improved through RIS. Essentially, RIS can be considered as a passive relay between the source and destination node. On the other hand, a relay node in a traditional relay network has to be active, which indicates that it will consume energy when it is relaying the signal or information between the source and destination nodes. In this paper, we compare the performances between RIS and active relay for a general multiple-input multiple-output (MIMO) system. To make the comparison fair and comprehensive, both the performances of RIS and active relay are optimized with best-effort. In terms of the RIS, transmit beamforming and reflecting coefficient at the RIS are jointly optimized so as to maximize the end-to-end throughput. Although the optimization problem is non-convex, it is transformed equivalently to a weighted mean-square error (MSE) minimization problem and an alternating optimization problem is proposed, which can ensure the convergence to a stationary point. In terms of active relay, both half duplex relay (HDR) and full duplex relay (FDR) are considered. End-to-end throughput is maximized via an alternating optimization method. Numerical results are presented to demonstrate the effectiveness of the proposed algorithm. Finally, comparisons between RIS and relays are investigated from the perspective of system model, performance, deployment and controlling method.


title: Use Non-Energy-Curtailment Resources for Primary Frequency Response in Future Low-Inertia Power Grids

abstract: Power grid primary frequency response will be significantly impaired by Photovoltaic (PV) penetration increase because of the decrease in inertia and governor response. PV inertia and governor emulation requires reserving PV output and leads to solar energy waste. This paper exploits current grid resources and explores energy storage for primary frequency response under high PV penetration at the interconnection level. Based on the actual models of the U.S. Eastern Interconnection grid and the Texas grid, effects of multiple factors associated with primary frequency response, including the governor ratio, governor deadband, droop rate, and fast load response, are assessed under high PV penetration scenarios. In addition, performance of batteries and supercapacitors using different control strategies is studied in the two interconnections. The paper quantifies the potential of various resources to improve interconnection-level primary frequency response under high PV penetration without curtailing solar output.


title: Modeling Context in Answer Sentence Selection Systems on a Latency Budget

abstract: Answer Sentence Selection (AS2) is an efficient approach for the design of open-domain Question Answering (QA) systems. In order to achieve low latency, traditional AS2 models score question-answer pairs individually, ignoring any information from the document each potential answer was extracted from. In contrast, more computationally expensive models designed for machine reading comprehension tasks typically receive one or more passages as input, which often results in better accuracy. In this work, we present an approach to efficiently incorporate contextual information in AS2 models. For each answer candidate, we first use unsupervised similarity techniques to extract relevant sentences from its source document, which we then feed into an efficient transformer architecture fine-tuned for AS2. Our best approach, which leverages a multi-way attention architecture to efficiently encode context, improves 6% to 11% over noncontextual state of the art in AS2 with minimal impact on system latency. All experiments in this work were conducted in English.


title: An Implementation of DF-GHG with Application to Spherical Black Hole Excision

abstract: We present an implementation of the dual foliation generalized harmonic gauge (DF-GHG) formulation within the pseudospectral code bamps. The formalism promises to give greater freedom in the choice of coordinates that can be used in numerical relativity. As a specific application we focus here on the treatment of black holes in spherical symmetry. Existing approaches to black hole excision in numerical relativity are susceptible to failure if the boundary fails to remain outflow. We present a method, called DF-excision, to avoid this failure. Our approach relies on carefully choosing coordinates in which the coordinate lightspeeds are under strict control. These coordinates are then combined with the DF-GHG formulation. After performing a set of validation tests in a simple setting, we study the accretion of large pulses of scalar field matter on to a spherical black hole. We compare the results of DF-excision with a naive setup. DF-excision proves reliable even when the previous approach fails.


title: Top quark contribution to two-loop helicity amplitudes for $Z$ boson pair production in gluon fusion

abstract: We compute the top quark contribution to the two-loop amplitude for on-shell $Z$ boson pair production in gluon fusion, $gg \to ZZ$. Exact dependence on the top quark mass is retained. For each phase space point the integral reduction is performed numerically and the master integrals are evaluated using the auxiliary mass flow method, allowing fast computation of the amplitude with very high precision.


title: Exact densities of loops in O(1) dense loop model and of clusters in critical percolation on a cylinder

abstract: We obtain exact densities of contractible and non-contractible loops in the O(1) model on a strip of the square lattice rolled into an infinite cylinder of finite even circumference $L$. They are also equal to the densities of critical percolation clusters on forty five degree rotated square lattice rolled into a cylinder, which do not or do wrap around the cylinder respectively. The results are presented as explicit rational functions of $L$ taking rational values for any even $L$. Their asymptotic expansions in the large $L$ limit have irrational coefficients reproducing the earlier results in the leading orders. The solution is based on a mapping to the six-vertex model and the use of technique of Baxter's T-Q equation.


title: Adversarial Machine Learning Attacks on Condition-Based Maintenance Capabilities

abstract: Condition-based maintenance (CBM) strategies exploit machine learning models to assess the health status of systems based on the collected data from the physical environment, while machine learning models are vulnerable to adversarial attacks. A malicious adversary can manipulate the collected data to deceive the machine learning model and affect the CBM system's performance. Adversarial machine learning techniques introduced in the computer vision domain can be used to make stealthy attacks on CBM systems by adding perturbation to data to confuse trained models. The stealthy nature causes difficulty and delay in detection of the attacks. In this paper, adversarial machine learning in the domain of CBM is introduced. A case study shows how adversarial machine learning can be used to attack CBM capabilities. Adversarial samples are crafted using the Fast Gradient Sign method, and the performance of a CBM system under attack is investigated. The obtained results reveal that CBM systems are vulnerable to adversarial machine learning attacks and defense strategies need to be considered.


title: Improved GRAVITY astrometric accuracy from modeling of optical aberrations

abstract: The GRAVITY instrument on the ESO VLTI pioneers the field of high-precision near-infrared interferometry by providing astrometry at the $10 - 100\,\mu$as level. Measurements at such high precision crucially depend on the control of systematic effects. Here, we investigate how aberrations introduced by small optical imperfections along the path from the telescope to the detector affect the astrometry. We develop an analytical model that describes the impact of such aberrations on the measurement of complex visibilities. Our formalism accounts for pupil-plane and focal-plane aberrations, as well as for the interplay between static and turbulent aberrations, and successfully reproduces calibration measurements of a binary star. The Galactic Center observations with GRAVITY in 2017 and 2018, when both Sgr A* and the star S2 were targeted in a single fiber pointing, are affected by these aberrations at a level of less than 0.5 mas. Removal of these effects brings the measurement in harmony with the dual beam observations of 2019 and 2020, which are not affected by these aberrations. This also resolves the small systematic discrepancies between the derived distance $R_0$ to the Galactic Center reported previously.


title: An Analysis Of Protected Health Information Leakage In Deep-Learning Based De-Identification Algorithms

abstract: The increasing complexity of algorithms for analyzing medical data, including de-identification tasks, raises the possibility that complex algorithms are learning not just the general representation of the problem, but specifics of given individuals within the data. Modern legal frameworks specifically prohibit the intentional or accidental distribution of patient data, but have not addressed this potential avenue for leakage of such protected health information. Modern deep learning algorithms have the highest potential of such leakage due to complexity of the models. Recent research in the field has highlighted such issues in non-medical data, but all analysis is likely to be data and algorithm specific. We, therefore, chose to analyze a state-of-the-art free-text de-identification algorithm based on LSTM (Long Short-Term Memory) and its potential in encoding any individual in the training set. Using the i2b2 Challenge Data, we trained, then analyzed the model to assess whether the output of the LSTM, before the compression layer of the classifier, could be used to estimate the membership of the training data. Furthermore, we used different attacks including membership inference attack method to attack the model. Results indicate that the attacks could not identify whether members of the training data were distinguishable from non-members based on the model output. This indicates that the model does not provide any strong evidence into the identification of the individuals in the training data set and there is not yet empirical evidence it is unsafe to distribute the model for general use.


title: Increasing the Confidence of Deep Neural Networks by Coverage Analysis

abstract: The great performance of machine learning algorithms and deep neural networks in several perception and control tasks is pushing the industry to adopt such technologies in safety-critical applications, as autonomous robots and self-driving vehicles. At present, however, several issues need to be solved to make deep learning methods more trustworthy, predictable, safe, and secure against adversarial attacks. Although several methods have been proposed to improve the trustworthiness of deep neural networks, most of them are tailored for specific classes of adversarial examples, hence failing to detect other corner cases or unsafe inputs that heavily deviate from the training samples. This paper presents a lightweight monitoring architecture based on coverage paradigms to enhance the model robustness against different unsafe inputs. In particular, four coverage analysis methods are proposed and tested in the architecture for evaluating multiple detection logics. Experimental results show that the proposed approach is effective in detecting both powerful adversarial examples and out-of-distribution inputs, introducing limited extra-execution time and memory requirements.


title: Potential Function-based Framework for Making the Gradients Small in Convex and Min-Max Optimization

abstract: Making the gradients small is a fundamental optimization problem that has eluded unifying and simple convergence arguments in first-order optimization, so far primarily reserved for other convergence criteria, such as reducing the optimality gap. We introduce a novel potential function-based framework to study the convergence of standard methods for making the gradients small in smooth convex optimization and convex-concave min-max optimization. Our framework is intuitive and it provides a lens for viewing algorithms that make the gradients small as being driven by a trade-off between reducing either the gradient norm or a certain notion of an optimality gap. On the lower bounds side, we discuss tightness of the obtained convergence results for the convex setup and provide a new lower bound for minimizing norm of cocoercive operators that allows us to argue about optimality of methods in the min-max setup.


title: Domain Adaptation by Topology Regularization

abstract: Deep learning has become the leading approach to assisted target recognition. While these methods typically require large amounts of labeled training data, domain adaptation (DA) or transfer learning (TL) enables these algorithms to transfer knowledge from a labelled (source) data set to an unlabelled but related (target) data set of interest. DA enables networks to overcome the distribution mismatch between the source and target that leads to poor generalization in the target domain. DA techniques align these distributions by minimizing a divergence measurement between source and target, making the transfer of knowledge from source to target possible. While these algorithms have advanced significantly in recent years, most do not explicitly leverage global data manifold structure in aligning the source and target. We propose to leverage global data structure by applying a topological data analysis (TDA) technique called persistent homology to TL. In this paper, we examine the use of persistent homology in a domain adversarial (DAd) convolutional neural network (CNN) architecture. The experiments show that aligning persistence alone is insufficient for transfer, but must be considered along with the lifetimes of the topological singularities. In addition, we found that longer lifetimes indicate robust discriminative features and more favorable structure in data. We found that existing divergence minimization based approaches to DA improve the topological structure, as indicated over a baseline without these regularization techniques. We hope these experiments highlight how topological structure can be leveraged to boost performance in TL tasks.


title: Bilinear control and growth of Sobolev norms for the nonlinear Schr\"odinger equation

abstract: We consider the nonlinear Schr\"odinger equation (NLS) on a torus of arbitrary dimension. The equation is studied in presence of an external potential field whose time-dependent amplitude is taken as control. Assuming that the potential satisfies a saturation property, we show that the NLS equation is approximately controllable between any pair of eigenstates in arbitrarily small time. The proof is obtained by developing a multiplicative version of a geometric control approach introduced by Agrachev and Sarychev. We give an application of this result to the study of the large time behavior of the NLS equation with random potential. More precisely, we assume that the amplitude of the potential is a random process whose law is $1$-periodic in time and non-degenerate. Combining the controllability with a stopping time argument and the Markov property, we show that the trajectories of the random equation are almost surely unbounded in regular Sobolev spaces.


title: Fast Dynamics in a Model Metallic Glass-forming Material

abstract: We investigate the fast $\beta$- and Johari-Goldstein (JG) $\beta$-relaxation processes, along with the elastic scattering response of glass-forming (GF) liquids and the Boson peak, in a simulated Al-Sm GF material exhibiting a fragile-strong (FS) transition. These dynamical processes are universal in 'ordinary' GF fluids and collectively describe their 'fast dynamics', and we find these relaxation processes also arise in a GF liquid exhibiting a fragile-strong transition. String-like particle motion, having both an irreversible and reversible nature ('stringlets') component, occurs in the fast-dynamics regime, corresponding to a ps timescale. String-like collective motion associated with localized unstable modes facilitate irreversible and intermittent particle 'jumping' events at long times associated with the JG $\beta$-relaxation process, while stringlets associated with localized stable modes and corresponding perfectly reversible atomic motion give rise to the Boson peak. To further clarify the origin of the Boson peak, we calculate the density of states for both the stringlet particles and the 'normal' particles and find that the stringlet particles give rise to a Boson peak while the normal atoms do not. The growth of stringlets upon heating ultimately also leads to the 'softening' of these excitations, and the Boson peak frequency and shear modulus drop in concert with this softening. The growth of string-like collective motion upon heating in the fast-dynamics regime is further shown to be responsible for the growth in the intensity of the fast relaxation process. Relaxation in cooled liquids clearly involves a hierarchy of relaxation processes acting on rather different time and spatial scales.


title: Compression-induced stiffness in the buckling of a one fiber composite

abstract: We study the buckling of a one fiber composite whose matrix stiffness is slightly dependent on the compressive force. We show that the equilibrium curves of the system exhibit a limit load when the induced stiffness parameter gets bigger than a threshold. This limit load increases when increasing the stiffness parameter and is related to a possible localized path in the post-buckling domain. Such a change in the maximum load may be very desirable from a structural stand point.


title: The Weyl bound for triple product L-functions

abstract: Let $\pi_1, \pi_2, \pi_3$ be three cuspidal automorphic representations for the group ${\rm SL}(2, \Bbb{Z})$, where $\pi_1$ and $\pi_2$ are fixed and $\pi_3$ has large conductor. We prove a subconvex bound for $L(1/2, \pi_1 \otimes \pi_2 \otimes \pi_3)$ of Weyl-type quality. Allowing $\pi_3$ to be an Eisenstein series we also obtain a Weyl-type subconvex bound for $L(1/2 + it, \pi_1 \otimes \pi_2)$.


title: Phase tipping: How cyclic ecosystems respond to contemporary climate

abstract: We identify the phase of a cycle as a new critical factor for tipping points (critical transitions) in cyclic systems subject to time-varying external conditions. As an example, we consider how contemporary climate variability induces tipping from a predator-prey cycle to extinction in two paradigmatic predator-prey models with an Allee effect. Our analysis of these examples uncovers a counter-intuitive behaviour, which we call phase tipping or P-tipping, where tipping to extinction occurs only from certain phases of the cycle. To explain this behaviour, we combine global dynamics with set theory and introduce the concept of partial basin instability for attracting limit cycles. This concept provides a general framework to analyse and identify easily testable criteria for the occurrence of phase tipping in externally forced systems, and can be extended to more complicated attractors.


title: Hyperbolically symmetric static fluids: A general study

abstract: We carry on a comprehensive study on static fluid distributions endowed with hyperbolical symmetry. Their physical properties are analyzed in detail. The energy density appears to be necessarily negative, which suggests that any possible application of this kind of fluids requires extreme physical conditions where quantum effects are expected to play an important role. Also, it is found that the fluid distribution cannot fill the region close to the center of symmetry. Such a region may be represented by a vacuum cavity around the center. A suitable definition of mass function, as well as the Tolman mass are explicitly calculated. While the former is positive defined, the latter is negative in most cases, revealing the repulsive nature of gravitational interaction. A general approach to obtain exact solutions is presented and some exact analytical solutions are exhibited.


title: Strain effects on monolayer MoSi2N4: ideal strength and failure mechanism

abstract: Recently, two-dimensional monolayer MoSi2N4 with hexagonal structure was successfully synthesized in experiment (Hong et al 2020 Science 369, 670). The fabricated monolayer MoSi2N4 is predicted to have excellent mechanical properties. Motived by the experiment, we perform first-principles calculations to investigate the mechanical properties of monolayer MoSi2N4, including its ideal tensile strengths, critical strains, and failure mechanisms. Our results demonstrate that monolayer MoSi2N4 can withstand stresses up to 51.6 and 49.2 GPa along zigzag and armchair directions, respectively. The corresponding critical strains are 26.5% and 17.5%, respectively. For biaxial strain, the ideal tensile strength is 50.6 GPa with a critical strain of 19.5%. Compared with monolayer MoS2, monolayer MoSi2N4 possesses much higher elastic moduli and ideal tensile strengths for both uniaxial and biaxial strains. Interestingly, the critical strain and failure mechanism of zigzag direction in MoSi2N4 are almost the same as those of armchair direction in MoS2, while the critical strain and failure mechanism of armchair direction for MoSi2N4 are similar to the ones of zigzag direction for MoS2. Our work reveals the remarkable mechanical characteristics of monolayer MoSi2N4.


title: WallStreetBets: Positions or Ban

abstract: r/wallstreetbets (WallStreetBets or WSB) is a subreddit devoted to irreverent memes and high-risk options trading. As of March 30, 2020, the subreddit boasts a usership of nearly 1.1 millions subscribers and self-describes as "if 4chan found a Bloomberg terminal." This paper will utilize Amy Jo Kim's community design principles along with social psychology theory as frameworks to understand how this chaotic, oftentimes offensive community has developed one of the largest and most loyal user bases on the platform. We will further argue that humor plays a vital role in promoting in-group cohesion and in providing an unconventional third place for traders (and thinly veiled gamblers) to seek support from each other in the form of vulgar, yet good-humored taunting.


title: Classical resummation and breakdown of strong-field QED

abstract: QED perturbation theory has been conjectured to break down in sufficiently strong backgrounds, obstructing the analysis of strong-field physics. We show that the breakdown occurs even in classical electrodynamics, at lower field strengths than previously considered, and that it may be cured by resummation. As a consequence, an analogous resummation is required in QED. A detailed investigation shows, for a range of observables, that unitarity removes diagrams previously believed to be responsible for the breakdown of QED perturbation theory.


title: Strongly lensed cluster substructures are not in tension with $\Lambda$CDM

abstract: Strong gravitational lensing observations can test structure formation models by constraining the masses and concentrations of subhaloes in massive galaxy clusters. Recent work has concluded that cluster subhaloes are more abundant and/or concentrated than predicted by $\Lambda$CDM simulations; this finding has been interpreted as arising from unidentified issues with simulations or an incorrect understanding of the nature of dark matter. We test these hypotheses by comparing observed subhalo masses and maximum circular velocities $v_\mathrm{max}$ to predictions from the high resolution Hydrangea galaxy cluster simulation suite, which is based on the successful EAGLE galaxy formation model. The simulated subhalo mass distribution and mass-$v_\mathrm{max}$ relation agrees well with observations, due to the presence of baryons during tidal stripping. Similar agreement is found for the lower-resolution Illustris-TNG300 simulation. In combination, our results suggest that the abundance and concentration of cluster substructures are not in tension with $\Lambda$CDM, but may provide useful constraints for the refinement of baryon physics models in simulations.


title: Low Complexity Approximate Bayesian Logistic Regression for Sparse Online Learning

abstract: Theoretical results show that Bayesian methods can achieve lower bounds on regret for online logistic regression. In practice, however, such techniques may not be feasible especially for very large feature sets. Various approximations that, for huge sparse feature sets, diminish the theoretical advantages, must be used. Often, they apply stochastic gradient methods with hyper-parameters that must be tuned on some surrogate loss, defeating theoretical advantages of Bayesian methods. The surrogate loss, defined to approximate the mixture, requires techniques as Monte Carlo sampling, increasing computations per example. We propose low complexity analytical approximations for sparse online logistic and probit regressions. Unlike variational inference and other methods, our methods use analytical closed forms, substantially lowering computations. Unlike dense solutions, as Gaussian Mixtures, our methods allow for sparse problems with huge feature sets without increasing complexity. With the analytical closed forms, there is also no need for applying stochastic gradient methods on surrogate losses, and for tuning and balancing learning and regularization hyper-parameters. Empirical results top the performance of the more computationally involved methods. Like such methods, our methods still reveal per feature and per example uncertainty measures.


title: Prediction of new low-energy phases of BiFeO$_3$ with large unit cell and complex tilts beyond Glazer notation

abstract: Bismuth ferrite is one of the most widely studied multiferroic materials because of its large ferroelectric polarisation coexisting with magnetic order at room temperature. Using density functional theory (DFT), we identify several previously unknown polar and non-polar structures within the low-energy phase space of perovskite-structure bismuth ferrite, BiFeO$_3$. Of particular interest is a series of non-centrosymmetric structures with polarisation along one lattice vector, combined with anti-polar distortions, reminiscent of ferroelectric domains, along a perpendicular direction. We discuss possible routes to stabilising the new phases using biaxial heteroepitaxial strain or interfacial electrostatic control in heterostructures.


title: Model-Based Policy Search Using Monte Carlo Gradient Estimation with Real Systems Application

abstract: In this paper, we present a Model-Based Reinforcement Learning (MBRL) algorithm named \emph{Monte Carlo Probabilistic Inference for Learning COntrol} (MC-PILCO). The algorithm relies on Gaussian Processes (GPs) to model the system dynamics and on a Monte Carlo approach to estimate the policy gradient. This defines a framework in which we ablate the choice of the following components: (i) the selection of the cost function, (ii) the optimization of policies using dropout, (iii) an improved data efficiency through the use of structured kernels in the GP models. The combination of the aforementioned aspects affects dramatically the performance of MC-PILCO. Numerical comparisons in a simulated cart-pole environment show that MC-PILCO exhibits better data efficiency and control performance w.r.t. state-of-the-art GP-based MBRL algorithms. Finally, we apply MC-PILCO to real systems, considering in particular systems with partially measurable states. We discuss the importance of modeling both the measurement system and the state estimators during policy optimization. The effectiveness of the proposed solutions has been tested in simulation and on two real systems, a Furuta pendulum and a ball-and-plate rig.


title: On the finite index subgroups of Houghton's groups

abstract: An erratum has been added to resolve an issue raised by Professor Derek Holt. This appears after the original paper, and also includes two new results. Original abstract: Houghton's groups $H_2, H_3, \ldots$ are certain infinite permutation groups acting on a countably infinite set; they have been studied, among other things, for their finiteness properties. In this note we describe all of the finite index subgroups of each Houghton group, and their isomorphism types. Using the standard notation that $d(G)$ denotes the minimal size of a generating set for $G$ we then show, for each $n\in \{2, 3,\ldots\}$ and $U$ of finite index in $H_n$, that $d(U)\in\{d(H_n), d(H_n)+1\}$ and characterise when each of these cases occurs.


title: Nuclear binding energy predictions using neural networks: Application of the multilayer perceptron

abstract: In recent years, artificial neural networks and their applications for large data sets have became a crucial part of scientific research. In this work, we implement the Multilayer Perceptron (MLP), which is a class of feedforward artificial neural network (ANN), to predict ground-state binding energies of atomic nuclei. Two different MLP architectures with three and four hidden layers are used to study their effects on the predictions. To train the MLP architectures, two different inputs are used along with the latest atomic mass table and changes in binding energy predictions are also analyzed in terms of the changes in the input channel. It is seen that using appropriate MLP architectures and putting more physical information in the input channels, MLP can make fast and reliable predictions for binding energies of atomic nuclei, which is also comparable to the microscopic energy density functionals.


title: Two-fluid hydrodynamics of cold atomic bosons under influence of the quantum fluctuations at non-zero temperatures

abstract: Ultracold Bose atoms is the physical system, where the quantum and nonlinear phenomena play crucial role. Ultracold bosons are considered at the small finite temperatures. Bosons are considered as two different fluids: Bose-Einstein condensate and normal fluid (the thermal component). An extended hydrodynamic model is obtained for both fluids, where the pressure evolution equations and the pressure flux third rank tensor evolution equations are considered along with the continuity and Euler equations. It is found that the pressure evolution equation contains zero contribution of the short-range interaction. The pressure flux evolution equation contains the interaction which gives the quantum fluctuations in the zero temperature limit. Here, we obtain its generalization for the finite temperature. The contribution of interaction in the pressure flux evolution equation which goes to zero in the zero temperature limit is found. The model is obtained via the straightforward derivation from the microscopic many-particle Schrodinger equation in the coordinate representation.


title: The $\mathrm{SL}(2,\mathbb{R})$ Wess-Zumino-Novikov-Witten spin-chain $\sigma$-model

abstract: The $\textrm{SL}(2,\mathbb{R})$ Wess-Zumino-Novikov-Witten model realises bosonic-string theory in $\textrm{AdS}_{3}$ with pure Neveu-Schwarz-Neveu-Schwarz flux. We construct an effective action in the semi-classical limit of the model, which corresponds to a $\textrm{SL}(2,\mathbb{R})$ spin-chain $\sigma$-model. We adopt two complementary points of view. Firstly, we consider the classical action. We identify fast and slow target-space coordinates. We impose a gauge-fixing condition to the former. By expanding the gauge-fixed action in an effective coupling, we obtain the effective action for the slow coordinates. Secondly, we consider the spin chain of the model. We postulate a set of coherent states to express a transition amplitude in the spin chain as a path integral. We observe that the temporal interval is discretised in terms of the step length of the spatial interval. This relationship implies that the Landau-Lifshitz limit of the spin chain involves both intervals. The limit yields a semi-classical path integral over coherent states, wherein we identify the effective action again.


title: An Optimal Control Strategy for Mathematically Modeling Cancer Combination Therapy

abstract: While the use of combination therapy is increasing in prevalence for cancer treatment, it is often difficult to predict the exact interactions between different treatment forms, and their synergistic/antagonistic effects on patient health and therapy outcome. In this research, a system of ordinary differential equations is constructed to model nonlinear dynamics between tumor cells, immune cells, and three forms of therapy: chemotherapy, immunotherapy, and radiotherapy. This model is then used to generate optimized combination therapy plans using optimal control theory. In-silico experiments are conducted to simulate the response of the patient model to various treatment plans. This is the first mathematical model in current literature to introduce radiotherapy as an option alongside immuno- and chemotherapy, permitting more flexible and effective treatment plans that reflect modern therapeutic approaches.


title: On Mutual Information Analysis of Infectious Disease Transmission via Particle Propagation

abstract: Besides mimicking bio-chemical and multi-scale communication mechanisms, molecular communication forms a theoretical framework for virus infection processes. Towards this goal, aerosol and droplet transmission has recently been modeled as a multiuser scenario. In this letter, the "infection performance" is evaluated by means of a mutual information analysis, and by an even simpler probabilistic performance measure which is closely related to absorbed viruses. The so-called infection rate depends on the distribution of the channel input events as well as on the transition probabilities between channel input and output events. The infection rate is investigated analytically for five basic discrete memoryless channel models. Numerical results for the transition probabilities are obtained by Monte Carlo simulations for pathogen-laden particle transmission in four typical indoor environments: two-person office, corridor, classroom, and bus. Particle transfer contributed significantly to infectious diseases like SARS-CoV-2 and influenza.


title: $ t-b-\tau $ Yukawa Unification in Non-Holomorphic MSSM

abstract: We show that in the CMSSM with the non-holomorphic soft SUSY breaking terms, the Yukawa coupling unification of the third family fermions at the GUT scale, called $ t-b-\tau $ Yukawa unification (YU), is possible under the recent collider and Dark Matter results. The YU parameter can also be found $ R_{tb\tau} \approx 1 $, called perfect unification. We find that the squark masses exceed 3 TeV while the stau can be considerably lighter. In the case of YU, the $ \tan\beta $ is in the interval $ [46,55] $. We obtain bino-like dark matter (DM) of mass in the range of $ 0.6$ TeV $ \lesssim m_{\chi_{1}^{0}} \lesssim 1.3 $ TeV where the recent Dark Matter direct detection limits are also satisfied. We also identify A-resonance solutions which reduce the relic abundance of LSP neutralino down to the ranges compatible with the current Planck measurements.


title: Safety Verification of Parameterized Systems under Release-Acquire

abstract: We study the safety verification problem for parameterized systems under the release-acquire (RA) semantics. It has been shown that the problem is intractable for systems with unlimited access to atomic compare-and-swap (CAS) instructions. We show that, from a verification perspective where approximate results help, this is overly pessimistic. We study parameterized systems consisting of an unbounded number of environment threads executing identical but CAS-free programs and a fixed number of distinguished threads that are unrestricted. Our first contribution is a new semantics that considerably simplifies RA but is still equivalent for the above systems as far as safety verification is concerned. We apply this (general) result to two subclasses of our model. We show that safety verification is only \pspace-complete for the bounded model checking problem where the distinguished threads are loop-free. Interestingly, we can still afford the unbounded environment. We show that the complexity jumps to \nexp-complete for thread-modular verification where an unrestricted distinguished `ego' thread interacts with an environment of CAS-free threads plus loop-free distinguished threads (as in the earlier setting). Besides the usefulness for verification, the results are strong in that they delineate the tractability border for an established semantics.


title: Private DNA Sequencing: Hiding Information in Discrete Noise

abstract: When an individual's DNA is sequenced, sensitive medical information becomes available to the sequencing laboratory. A recently proposed way to hide an individual's genetic information is to mix in DNA samples of other individuals. We assume these samples are known to the individual but unknown to the sequencing laboratory. Thus, these DNA samples act as "noise" to the sequencing laboratory, but still allow the individual to recover their own DNA samples afterward. Motivated by this idea, we study the problem of hiding a binary random variable X (a genetic marker) with the additive noise provided by mixing DNA samples, using mutual information as a privacy metric. This is equivalent to the problem of finding a worst-case noise distribution for recovering X from the noisy observation among a set of feasible discrete distributions. We characterize upper and lower bounds to the solution of this problem, which are empirically shown to be very close. The lower bound is obtained through a convex relaxation of the original discrete optimization problem, and yields a closed-form expression. The upper bound is computed via a greedy algorithm for selecting the mixing proportions.


title: Limit point buckling of a finite beam on a nonlinear foundation

abstract: In this paper, we consider an imperfect finite beam lying on a nonlinear foundation, whose dimensionless stiffness is reduced from $1$ to $k$ as the beam deflection increases. Periodic equilibrium solutions are found analytically and are in good agreement with a numerical resolution, suggesting that localized buckling does not appear for a finite beam. The equilibrium paths may exhibit a limit point whose existence is related to the imperfection size and the stiffness parameter $k$ through an explicit condition. The limit point decreases with the imperfection size while it increases with the stiffness parameter. We show that the decay/growth rate is sensitive to the restoring force model. The analytical results on the limit load may be of particular interest for engineers in structural mechanics


title: Outperforming classical estimation of Post-Newtonian parameters of Earth's gravitational field using quantum metrology

abstract: The Hong-Ou-Mandel (HOM) effect is analyzed for photons in a modified Mach-Zehnder setup with two particles experiencing different gravitational potentials, which are later recombined using a beam-splitter. It is found that the HOM effect depends directly on the relativistic time dilation between the arms of the setup. This temporal dilation can be used to estimate the $\gamma$ and $\beta$ parameters of the parameterized post-Newtonian formalism. The uncertainty in the parameters $\gamma$ and $\beta$ are of the order $ 10^{-8}-10^{-12}$, depending on the quantum state employed.


title: tf.data: A Machine Learning Data Processing Framework

abstract: Training machine learning models requires feeding input data for models to ingest. Input pipelines for machine learning jobs are often challenging to implement efficiently as they require reading large volumes of data, applying complex transformations, and transferring data to hardware accelerators while overlapping computation and communication to achieve optimal performance. We present tf.data, a framework for building and executing efficient input pipelines for machine learning jobs. The tf.data API provides operators which can be parameterized with user-defined computation, composed, and reused across different machine learning domains. These abstractions allow users to focus on the application logic of data processing, while tf.data's runtime ensures that pipelines run efficiently. We demonstrate that input pipeline performance is critical to the end-to-end training time of state-of-the-art machine learning models. tf.data delivers the high performance required, while avoiding the need for manual tuning of performance knobs. We show that tf.data features, such as parallelism, caching, static optimizations, and non-deterministic execution are essential for high performance. Finally, we characterize machine learning input pipelines for millions of jobs that ran in Google's fleet, showing that input data processing is highly diverse and consumes a significant fraction of job resources. Our analysis motivates future research directions, such as sharing computation across jobs and pushing data projection to the storage layer.


title: Rubrics for Charge Conserving Current Mapping in Finite Element Particle in Cell Methods

abstract: Modeling of kinetic plasmas using electromagnetic particle in cell methods (EM-PIC) is a problem that is well worn, in that methods developed have been used extensively both understanding physics and exploiting them for device design. EM-PIC tools have largely relied on finite difference methods coupled with particle representations of the distribution function. Refinements to ensure consistency and charge conservation have largely been an ad-hoc efforts specific to finite difference methods. Meanwhile, solution methods for field solver have grown by leaps and bounds with significant performance metrics compared to finite difference methods. Developing new EM-PIC computational schemes that leverage modern field solver technology means re-examining analysis framework necessary for self-consistent EM-PIC solution. In this paper, we prescribe general rubrics for charge conservation, demonstrate how these are satisfied in conventional finite difference PIC as well as finite element PIC, and prescribe a novel charge conserving finite element PIC. Our effort leverages proper mappings on to de-Rham sequences and lays a groundwork for understanding conditions that must be satisfied for consistency. Several numerical results demonstrate the applicability of these rubrics.


title: Mapping the Supernovae Driven Winds of the Large Magellanic Cloud in H$\alpha$ Emission I

abstract: We present the first spectroscopically resolved \ha\ emission map of the Large Magellanic Cloud's (LMC) galactic wind. By combining new Wisconsin H-alpha Mapper (WHAM) observations ($I_{\rm H\alpha}\gtrsim10~{\rm mR}$) with existing \hicm\ emission observations, we have (1) mapped the LMC's near-side galactic wind over a local standard of rest (LSR) velocity range of $+50\le\rm v_{LSR}\le+250~{\rm km}~{\rm s}^{-1}$, (2) determined its morphology and extent, and (3) estimated its mass, outflow rate, and mass-loading factor. We observe \ha\ emission from this wind to typically 1-degree off the LMC's \hi\ disk. Kinematically, we find that the diffuse gas in the warm-ionized phase of this wind persists at both low ($\lesssim100~{\rm km}~{\rm s}^{-1}$) and high ($\gtrsim100~{\rm km}~{\rm s}^{-1}$) velocities, relative to the LMC's \hi\ disk. Furthermore, we find that the high-velocity component spatially aligns with the most intense star-forming region, 30~Doradus. We, therefore, conclude that this high-velocity material traces an active outflow. We estimate the mass of the warm ($T_e\approx10^4~\rm K$) ionized phase of the near-side LMC outflow to be $\log{\left(M_{\rm ionized}/M_\odot\right)=7.51\pm0.15}$ for the combined low and high velocity components. Assuming an ionization fraction of 75\% and that the wind is symmetrical about the LMC disk, we estimate that its total (neutral and ionized) mass is $\log{\left(M_{\rm total}/M_\odot\right)=7.93}$, its mass-flow rate is $\dot{M}_{\rm outflow}\approx1.43~M_\odot~\rm yr^{-1}$, and its mass-loading factor is $\eta\approx4.54$. Our average mass-loading factor results are roughly a factor of 2.5 larger than previous \ha\ imaging and UV~absorption line studies, suggesting that those studies are missing nearly half the gas in the outflows.


title: Upper Limits on the Isotropic Gravitational-Wave Background from Advanced LIGO's and Advanced Virgo's Third Observing Run

abstract: We report results of a search for an isotropic gravitational-wave background (GWB) using data from Advanced LIGO's and Advanced Virgo's third observing run (O3) combined with upper limits from the earlier O1 and O2 runs. Unlike in previous observing runs in the advanced detector era, we include Virgo in the search for the GWB. The results are consistent with uncorrelated noise, and therefore we place upper limits on the strength of the GWB. We find that the dimensionless energy density $\Omega_{\rm GW}\leq 5.8\times 10^{-9}$ at the 95% credible level for a flat (frequency-independent) GWB, using a prior which is uniform in the log of the strength of the GWB, with 99% of the sensitivity coming from the band 20-76.6 Hz; $\leq 3.4 \times 10^{-9}$ at 25 Hz for a power-law GWB with a spectral index of 2/3 (consistent with expectations for compact binary coalescences), in the band 20-90.6 Hz; and $\leq 3.9 \times 10^{-10}$ at 25 Hz for a spectral index of 3, in the band 20-291.6 Hz. These upper limits improve over our previous results by a factor of 6.0 for a flat GWB. We also search for a GWB arising from scalar and vector modes, which are predicted by alternative theories of gravity; we place upper limits on the strength of GWBs with these polarizations. We demonstrate that there is no evidence of correlated noise of magnetic origin by performing a Bayesian analysis that allows for the presence of both a GWB and an effective magnetic background arising from geophysical Schumann resonances. We compare our upper limits to a fiducial model for the GWB from the merger of compact binaries. Finally, we combine our results with observations of individual mergers andshow that, at design sensitivity, this joint approach may yield stronger constraints on the merger rate of binary black holes at $z \lesssim 2$ than can be achieved with individually resolved mergers alone. [abridged]


title: Probing bino NLSP at lepton colliders

abstract: We consider a scenario where light bino is the next-to-lightest supersymmetric particle (NLSP) and gravitino/axino is the lightest superysmmetric particle (LSP). For a bino mass less than or around hundred GeV, it can be pair produced at the future lepton colliders through $t-$channel slepton exchange, subsequently decaying into a gravitino/axino plus a photon. We study the prospects to look for such binos at the future colliders and find that a bino mass around 100 GeV can be probed at the $2\sigma$ ($5\sigma$) level for a slepton below 2 TeV (1.5 TeV) with a luminosity 3 $ab^{-1}$. For a bino mass around 10 GeV, a slepton mass less than 4 TeV (3 TeV) can be probed at the $2\sigma$ ($5\sigma$) level, which is much beyond the reach of the LHC for direct slepton searches.


title: Solution methods for the growth of a repeating imperfection in the line of a strut on a nonlinear foundation

abstract: This paper is a theoretical and numerical study of the uniform growth of a repeating sinusoidal imperfection in the line of a strut on a nonlinear elastic Winkler type foundation. The imperfection is introduced by considering an initially deformed shape which is a sine function with an half wavelength. The restoring force is either a bi-linear or an exponential profile. Periodic solutions of the equilibrium problem are found using three different approaches: a semi-analytical method, an explicit solution of a Galerkin method and a direct numerical resolution. These methods are found in very good agreement and show the existence of a maximum imperfection size which leads to a limit point in the equilibrium curve of the system. The existence of this limit point is very important since it governs the appearance of localization phenomena. Using the Galerkin method, we then establish an exact formula for this maximum imperfection size and we show that it does not depend on the choice of the restoring force. We also show that this method provides a better estimate with respect to previous publications. The decrease of the maximum compressive force supported by the beam as a function of the imperfection magnitude is also determined. We show that the leading term of the development has a different exponent than in subcritical buckling of elastic systems, and that the exponent values depend on the choice of the restoring force.


title: A Semimicroscopic Algebraic Cluster Model for Heavy Nuclei

abstract: An extension of the Semimicroscopic Algebraic Cluster Model (SACM) is proposed, based on the pseudo-SU(3) model. The Hamiltonian and the spectroscopic factor operator of the model are presented and a procedure of constructing the model space. Because a huge number of SU(3) irreducible representations (irrep) appear, one has to be careful in designing a practical, consistent path to reduce the Hilbert space. The concept of forbiddenness, taking into account excitations of the clusters, is introduced and applied. The applications are to two systems with a low forbiddenness, namely to 236U -> 210Pb + 26Ne and 224Ra -> 210Pb + 14C, and to 236U -> 146Xe + 90Sr, which appears in the fission of 236U, which requires a large forbiddenness. Energies, electromagnetic transitions and spectroscopic factors are calculated.


title: A Comparative Study of Straight-Strip and Zigzag-Interleaved Anode Patterns for MPGD Readouts

abstract: Due to their simplicity and versatility of design, straight strip or rectangular pad anode structures are frequently employed with micro-pattern gas detectors to reconstruct high precision space points for various tracking applications. The particle impact point is typically determined by interpolating the charge collected by several neighboring pads. However, to effectively extract the inherent positional information, the lateral spacing of the straight pads must be significantly smaller than the extent of the charge cloud. In contrast, highly interleaved anode patterns, such as zigzags, can adequately sample the charge with a pitch comparable to the size of the charge cloud or even larger. This has the considerable advantage of providing the same performance while requiring far fewer instrumented channels. Additionally, the geometric parameters defining such zigzag structures may be tuned to provide a uniform detector response without the need for so-called pad response functions, while simultaneously maintaining excellent position resolution. We have measured the position resolution of a variety of zigzag shaped anode patterns optimized for various MPGDs, including GEM, Micromegas, and micro-RWELL and compared this performance to the same detectors equipped with straight pads of varying pitch. We report on the performance results of each readout structure, evaluated under identical conditions in a test beam.


title: A modified in-medium evolution equation with color coherence

abstract: QCD jets produced in heavy-ion collisions at LHC or RHIC energies partially evolve inside the produced hot and dense quark gluon plasma, offering unique opportunities to study QCD splitting processes in different backgrounds. Induced (modified) splittings are expected to be the most relevant mechanism driving the modifications of in-medium jets compared to vacuum jets for a wide sets of observables. Although color coherence among different emitters has been identified as an essential mechanism in studies of the {\it QCD antenna radiation}, it is usually neglected in the multi-gluon medium-induced cascade. This independent gluon emission approximation can be analytically proved to be valid in the limit of very large media, but corrections or modifications to it have not been computed before in the context of the evolution (or rate) equation describing the gluon cascade. We propose a modified evolution equation that includes corrections due to the interference of subsequent emitters. In order to do so, we first compute a modified splitting kernel following the usual procedure of factorizing it from the subsequent Brownian motion. The calculation is performed in the two-gluon configuration with no overlapping formation times, that is expected to provide the first correction to the completely independent picture.


title: Self-Attention Meta-Learner for Continual Learning

abstract: Continual learning aims to provide intelligent agents capable of learning multiple tasks sequentially with neural networks. One of its main challenging, catastrophic forgetting, is caused by the neural networks non-optimal ability to learn in non-stationary distributions. In most settings of the current approaches, the agent starts from randomly initialized parameters and is optimized to master the current task regardless of the usefulness of the learned representation for future tasks. Moreover, each of the future tasks uses all the previously learned knowledge although parts of this knowledge might not be helpful for its learning. These cause interference among tasks, especially when the data of previous tasks is not accessible. In this paper, we propose a new method, named Self-Attention Meta-Learner (SAM), which learns a prior knowledge for continual learning that permits learning a sequence of tasks, while avoiding catastrophic forgetting. SAM incorporates an attention mechanism that learns to select the particular relevant representation for each future task. Each task builds a specific representation branch on top of the selected knowledge, avoiding the interference between tasks. We evaluate the proposed method on the Split CIFAR-10/100 and Split MNIST benchmarks in the task agnostic inference. We empirically show that we can achieve a better performance than several state-of-the-art methods for continual learning by building on the top of selected representation learned by SAM. We also show the role of the meta-attention mechanism in boosting informative features corresponding to the input data and identifying the correct target in the task agnostic inference. Finally, we demonstrate that popular existing continual learning methods gain a performance boost when they adopt SAM as a starting point.


title: Validation of HD 183579b using archival radial velocities: a warm-neptune orbiting a bright solar analog

abstract: As exoplanetary science matures into its third decade, we are increasingly offered the possibility of pre existing, archival observations for newly detected candidates. This is particularly poignant for the TESS mission, whose survey spans bright, nearby dwarf stars in both hemispheres, which are precisely the types of sources targeted by previous radial velocity (RV) surveys. On this basis, we investigated whether any of the TESS Objects of Interest (TOIs) coincided with such observations, from which we find 18 single planet candidate systems. Of these, one exhibits an RV signature that has the correct period and phase matching the transiting planetary candidate with a false alarm probability of less than 1 percent. After further checks, we exploit this fact to validate HD 183579b (TOI-1055b). This planet is less than 4 Earth Radii and has better than 33 percent planetary mass measurements, thus advancing the TESS primary objective of finding 50 such worlds. We find that this planet is amongst the most accessible small transiting planets for atmospheric characterization. Our work highlights that the efforts to confirm and even precisely measure the masses of new transiting planet candidates need not always depend on acquiring new observations - that in some instances these tasks can be completed with existing data.


title: Linkage of Dirac Neutrinos to Dark U(1) Gauge Symmetry

abstract: It is shown how a mechanism which allows naturally small Dirac neutrino masses is linked to the existence of dark matter through an anomaly-free U(1) gauge symmetry of fermion singlets.


title: Multi-instrument analysis of far-ultraviolet aurora in the southern hemisphere of comet 67P/Churyumov-Gerasimenko

abstract: Aims. We aim to determine whether dissociative excitation of cometary neutrals by electron impact is the major source of far-ultraviolet (FUV) emissions at comet 67P/Churyumov-Gerasimenko in the southern hemisphere at large heliocentric distances, both during quiet conditions and impacts of corotating interaction regions observed in the summer of 2016. Methods. We combined multiple datasets from the Rosetta mission through a multi-instrument analysis to complete the first forward modelling of FUV emissions in the southern hemisphere of comet 67P and compared modelled brightnesses to observations with the Alice FUV imaging spectrograph. We modelled the brightness of OI1356, OI1304, Lyman-$\beta$, CI1657, and CII1335 emissions, which are associated with the dissociation products of the four major neutral species in the coma: CO$_2$, H$_2$O, CO, and O$_2$. The suprathermal electron population was probed by RPC/IES and the neutral column density was constrained by several instruments: ROSINA, MIRO and VIRTIS. Results. The modelled and observed brightnesses of the FUV emission lines agree closely when viewing nadir and dissociative excitation by electron impact is shown to be the dominant source of emissions away from perihelion. The CII1335 emissions are shown to be consistent with the volume mixing ratio of CO derived from ROSINA. When viewing the limb during the impacts of corotating interaction regions, the model reproduces brightnesses of OI1356 and CI1657 well, but resonance scattering in the extended coma may contribute significantly to the observed Lyman-$\beta$ and OI1304 emissions. The correlation between variations in the suprathermal electron flux and the observed FUV line brightnesses when viewing the comet's limb suggests electrons are accelerated on large scales and that they originate in the solar wind. This means that the FUV emissions are auroral in nature.


title: Exactly solvable spin-1/2 XYZ models with highly-degenerate, partially ordered, ground states

abstract: Exactly solvable models play a special role in Condensed Matter physics, serving as secure theoretical starting points for investigation of new phenomena. Changlani et al. [Phys. Rev. Lett. 120, 117202 (2018)] have discovered a limit of the XXZ model for $S=1/2$ spins on the kagome lattice, which is not only exactly solvable, but features a huge degeneracy of exact ground states corresponding to solutions of a three-coloring problem. This special point of the model was proposed as a parent for multiple phases in the wider phase diagram, including quantum spin liquids. Here, we show that the construction of Changlani et al. can be extended to more general forms of anisotropic exchange interaction, finding a line of parameter space in an XYZ model which maintains both the macroscopic degeneracy and the three-coloring structure of solutions. We show that the ground states along this line are partially ordered, in the sense that infinite-range correlations of some spin components coexist with a macroscopic number of undetermined degrees of freedom. We therefore propose the exactly solvable limit of the XYZ model on corner-sharing triangle-based lattices as a tractable starting point for discovery of quantum spin systems which mix ordered and spin liquid-like properties.


title: New notions of simultaneous diagonalizability of quadratic forms with applications to QCQPs

abstract: A set of quadratic forms is simultaneously diagonalizable via congruence (SDC) if there exists a basis under which each of the quadratic forms is diagonal. This property appears naturally when analyzing quadratically constrained quadratic programs (QCQPs) and has important implications in this context. This paper extends the reach of the SDC property by studying two new related but weaker notions of simultaneous diagonalizability. Specifically, we say that a set of quadratic forms is almost SDC (ASDC) if it is the limit of SDC sets and d-restricted SDC (d-RSDC) if it is the restriction of an SDC set in up to d-many additional dimensions. Our main contributions are a complete characterization of the ASDC pairs and the nonsingular ASDC triples, as well as a sufficient condition for the 1-RSDC property for pairs of quadratic forms. Surprisingly, we show that every singular pair is ASDC and that almost every pair is 1-RSDC. We accompany our theoretical results with preliminary numerical experiments applying the RSDC property to QCQPs with a single quadratic constraint.


title: Properties of hydrogen bonded network in ethanol-water liquid mixtures as a function of temperature: diffraction experiments and computer simulations

abstract: New X-ray and neutron diffraction experiments have been performed on ethanol-water mixtures as a function of decreasing temperature, so that such diffraction data are now available over the entire composition range. Extensive molecular dynamics simulations show that the all-atom interatomic potentials applied are adequate for gaining insight of the hydrogen bonded network structure, as well as of its changes on cooling. Various tools have been exploited for revealing details concerning hydrogen bonding, like determining H-bond acceptor and donor sites, calculating cluster size distributions and cluster topologies, as well as computing the Laplace spectra and fractal dimensions of the networks. It is found that 5-membered hydrogen bonded cycles are dominant up to an ethanol content of 70% at room temperature, above which concentration ring structures nearly disappear. Percolation has been given special attention, so that it could be shown that at low temperature, close to the freezing point even the mixture with 90% ethanol possesses a 3D percolating network. Moreover, the water sub-network also percolates even at room temperature, with a percolation transition occurring around 50% ethanol.


title: Security, Fault Tolerance, and Communication Complexity in Distributed Systems

abstract: We present efficient and practical algorithms for a large, distributed system of processors to achieve reliable computations in a secure manner. Specifically, we address the problem of computing a general function of several private inputs distributed among the processors of a network, while ensuring the correctness of the results and the privacy of the inputs, despite accidental or malicious faults in the system. [...] Our algorithms maintain a low cost in local processing time, are the first to achieve optimal levels of fault-tolerance, and most importantly, have low communication complexity. In contrast to the best known previous methods, which require large numbers of rounds even for fairly simple computations, we devise protocols that use small messages and a constant number of rounds regardless of the complexity of the function to be computed. Through direct algebraic approaches, we separate the communication complexity of secure computing from the computational complexity of the function to be computed. We examine security under both the modern approach of computational complexity-based cryptography and the classical approach of unconditional, information-theoretic security. We [...] support formal proofs of claims to security, addressing an important deficiency in the literature. Our protocols are provably secure. In the realm of information-theoretic security, we characterize those functions which two parties can compute jointly with absolute privacy. We also characterize those functions which a weak processor can compute using the aid of powerful processors without having to reveal the instances of the problem it would like to solve. Our methods include a promising new technique called a locally random reduction, which has given rise not only to efficient solutions for many of the problems considered in this work but to several powerful new results in complexity theory.


title: Theory of heterogeneous circuits with stochastic memristive devices

abstract: We introduce an approach based on the Chapman-Kolmogorov equation to model heterogeneous stochastic circuits, namely, the circuits combining binary or multi-state stochastic memristive devices and continuum reactive components (capacitors and/or inductors). Such circuits are described in terms of occupation probabilities of memristive states that are functions of reactive variables. As an illustrative example, the series circuit of a binary memristor and capacitor is considered in detail. Some analytical solutions are found. Our work offers a novel analytical/numerical tool for modeling complex stochastic networks, which may find a broad range of applications.


title: On graph norms for complex-valued functions

abstract: For any given graph $H$, one may define a natural corresponding functional $\|.\|_H$ for real-valued functions by using homomorphism density. One may also extend this to complex-valued functions, once $H$ is paired with a $2$-edge-colouring $\alpha$ to assign conjugates. We say that $H$ is real-norming (resp. complex-norming) if $\|.\|_H$ (resp. $\|.\|_{H,\alpha}$ for some $\alpha$) is a norm on the vector space of real-valued (resp. complex-valued) functions. These generalise the Gowers octahedral norms, a widely used tool in extremal combinatorics to quantify quasirandomness. We unify these two seemingly different notions of graph norms in real- and complex-valued settings. Namely, we prove that $H$ is complex-norming if and only if it is real-norming and simply call the property norming. Our proof does not explicitly construct a suitable $2$-edge-colouring $\alpha$ but obtains its existence and uniqueness, which may be of independent interest. As an application, we give various example graphs that are not norming. In particular, we show that hypercubes are not norming, which resolves the last outstanding problem posed in Hatami's pioneering work on graph norms.


title: Low-complexity Rank-Efficient Tensor Completion For Prediction And Online Wireless Edge Caching

abstract: Wireless edge caching is a popular strategy to avoid backhaul congestion in the next generation networks, where the content is cached in advance at base stations to serve redundant requests during peak congestion periods. In the edge caching data, the missing observations are inevitable due to dynamic selective popularity. Among the completion methods, the tensor-based models have been shown to be the most advantageous for missing data imputation. Also, since the observations are correlated across time, files, and base stations, in this paper, we formulate the cooperative caching with recommendations as a fourth-order tensor completion and prediction problem. Since the content library can be large leading to a large dimension tensor, we modify the latent norm-based Frank-Wolfe (FW) algorithm with towards a much lower time complexity using multi-rank updates, rather than rank-1 updates in literature. This significantly lower time computational overhead leads in developing an online caching algorithm. With MovieLens dataset, simulations show lower reconstruction errors for the proposed algorithm as compared to that of the recent FW algorithm, albeit with lower computation overhead. It is also demonstrated that the completed tensor improves normalized cache hit rates for linear prediction schemes.


title: Two-color differential dynamic microscopy for capturing fast dynamics

abstract: Differential dynamic microscopy (DDM) is increasingly used in the fields of soft matter physics and biophysics to extract the dynamics of microscopic objects across a range of wavevectors using optical microscopy. Standard DDM is limited to detecting dynamics no faster than the camera frame rate. We report on an extension to DDM where we sequentially illuminate the sample with spectrally-distinct light and image with a color camera. By pulsing blue and then red light separated by a lag time much smaller than the camera's exposure time we are able to use this two-color DDM method to measure dynamics occurring much faster than the camera frame rate.


title: The Critical Locus and Rigidity of Foliations of Complex Henon Maps

abstract: We study Henon maps which are perturbations of a hyperbolic polynomial p with connected Julia set. We give a complete description of the critical locus of these maps. In particular, we show that for each critical point c of p, there is a primary component of the critical locus asymptotic to the line y = c. Moreover, primary components are conformally equivalent to the punctured disk, and their orbits cover the whole critical set. We also describe the holonomy maps from such a component to itself along the leaves of two natural foliations. Finally, we show that a quadratic Henon map taken along with the natural pair of foliations, is a rigid object, in the sense that a conjugacy between two such maps respecting the foliations is a holomorphic or antiholomorphic affine map.


title: Porting WarpX to GPU-accelerated platforms

abstract: WarpX is a general purpose electromagnetic particle-in-cell code that was originally designed to run on many-core CPU architectures. We describe the strategy followed to allow WarpX to use the GPU-accelerated nodes on OLCF's Summit supercomputer, a strategy we believe will extend to the upcoming machines Frontier and Aurora. We summarize the challenges encountered, lessons learned, and give current performance results on a series of relevant benchmark problems.


title: The Agnostic Structure of Data Science Methods

abstract: In this paper we argue that data science is a coherent and novel approach to empirical problems that, in its most general form, does not build understanding about phenomena. Within the new type of mathematization at work in data science, mathematical methods are not selected because of any relevance for a problem at hand; mathematical methods are applied to a specific problem only by 'forcing', i.e. on the basis of their ability to reorganize the data for further analysis and the intrinsic richness of their mathematical structure. In particular, we argue that deep learning neural networks are best understood within the context of forcing optimization methods. We finally explore the broader question of the appropriateness of data science methods in solving problems. We argue that this question should not be interpreted as a search for a correspondence between phenomena and specific solutions found by data science methods; rather, it is the internal structure of data science methods that is open to precise forms of understanding.


title: Self-organization of oscillation in an epidemic model for COVID-19

abstract: On the basis of a compartment model, the epidemic curve is investigated when the net rate $\lambda$ of change of the number of infected individuals $I$ is given by an ellipse in the $\lambda$-$I$ plane which is supported in $[I_{\ell}, I_h]$. With $a \equiv (I_h - I_{\ell})/(I_h + I_{\ell})$, it is shown that (1) when $a < 1$ or $I_{\ell} >0$, oscillation of the infection curve is self-organized and the period of the oscillation is in proportion to the ratio of the difference $ (I_h - I_{\ell})$ and the geometric mean $\sqrt{I_h I_{\ell}}$ of $I_h$ and $I_{\ell}$, (2) when $a = 1$, the infection curve shows a critical behavior where it decays obeying a power law function with exponent $-2$ in the long time limit after a peak, and (3) when $a > 1$, the infection curve decays exponentially in the long time limit after a peak. The present result indicates that the pandemic can be controlled by a measure which makes $I_{\ell} < 0$.


title: Optic Nerve Microcirculation: Fluid Flow and Electrodiffusion

abstract: Complex fluids flow in complex ways in complex structures. Transport of water and various organic and inorganic molecules in the central nervous system are important in a wide range of biological and medical processes [C. Nicholson, and S. Hrab\v{e}tov\'a, Biophysical Journal, 113(10), 2133(2017)]. However, the exact driving mechanisms are often not known. In this paper, we investigate flows induced by action potentials in an optic nerve as a prototype of the central nervous system (CNS). Different from traditional fluid dynamics problems, flows in biological tissues such as the CNS are coupled with ion transport. It is driven by osmosis created by concentration gradient of ionic solutions, which in term influence the transport of ions. Our mathematical model is based on the known structural and biophysical properties of the experimental system used by the Harvard group Orkand et al [R.K. Orkand, J.G. Nicholls, S.W. Kuffler, Journal of Neurophysiology, 29(4), 788(1966)]. Asymptotic analysis and numerical computation show the significant role of water in convective ion transport. The full model (including water) and the electrodiffusion model (excluding water) are compared in detail to reveal an interesting interplay between water and ion transport. In the full model, convection due to water flow dominates inside the glial domain. This water flow in the glia contributes significantly to the spatial buffering of potassium in the extracellular space. Convection in the extracellular domain does not contribute significantly to spatial buffering. Electrodiffusion is the dominant mechanism for flows confined to the extracellular domain.


title: A Survey on Personality-Aware Recommendation Systems

abstract: With the emergence of personality computing as a new research field related to artificial intelligence and personality psychology, we have witnessed an unprecedented proliferation of personality-aware recommendation systems. Unlike conventional recommendation systems, these new systems solve traditional problems such as the cold start and data sparsity problems. This survey aims to study and systematically classify personality-aware recommendation systems. To the best of our knowledge, this survey is the first that focuses on personality-aware recommendation systems. We explore the different design choices of personality-aware recommendation systems, by comparing their personality modeling methods, as well as their recommendation techniques. Furthermore, we present the commonly used datasets and point out some of the challenges of personality-aware recommendation systems.


title: Reinforcement Learning based Per-antenna Discrete Power Control for Massive MIMO Systems

abstract: Power consumption is one of the major issues in massive MIMO (multiple input multiple output) systems, causing increased long-term operational cost and overheating issues. In this paper, we consider per-antenna power allocation with a given finite set of power levels towards maximizing the long-term energy efficiency of the multi-user systems, while satisfying the QoS (quality of service) constraints at the end users in terms of required SINRs (signal-to-interference-plus-noise ratio), which depends on channel information. Assuming channel states to vary as a Markov process, the constraint problem is modeled as an unconstraint problem, followed by the power allocation based on Q-learning algorithm. Simulation results are presented to demonstrate the successful minimization of power consumption while achieving the SINR threshold at users.


title: Double Field Theory and Geometric Quantisation

abstract: We examine various properties of double field theory and the doubled string sigma model in the context of geometric quantisation. In particular we look at T-duality as the symplectic transformation related to an alternative choice of polarisation in the construction of the quantum bundle for the string. Following this perspective we adopt a variety of techniques from geometric quantisation to study the doubled space. One application is the construction of the double coherent state that provides the shortest distance in any duality frame and a stringy deformed Fourier transform.


title: Sequential Monte Carlo algorithms for agent-based models of disease transmission

abstract: Agent-based models of disease transmission involve stochastic rules that specify how a number of individuals would infect one another, recover or be removed from the population. Common yet stringent assumptions stipulate interchangeability of agents and that all pairwise contact are equally likely. Under these assumptions, the population can be summarized by counting the number of susceptible and infected individuals, which greatly facilitates statistical inference. We consider the task of inference without such simplifying assumptions, in which case, the population cannot be summarized by low-dimensional counts. We design improved particle filters, where each particle corresponds to a specific configuration of the population of agents, that take either the next or all future observations into account when proposing population configurations. Using simulated data sets, we illustrate that orders of magnitude improvements are possible over bootstrap particle filters. We also provide theoretical support for the approximations employed to make the algorithms practical.


title: Thermo-optical bistability in silicon micro-cantilevers

abstract: We report a thermo-optical bistability observed in silicon micro-cantilevers irradiated by a laser beam with mW powers: reflectivity, transmissivity, absorption, and temperature can change by a factor of two between two stable states for the same input power. The temperature dependency of the absorption at the origin of the bistability results from interferences between internal reflections in the cantilever thickness, acting as a lossy Fabry-P\'erot cavity. A theoretical model describing the thermo-optical coupling is presented. The experimental results obtained for silicon cantilevers irradiated in vacuum at two different visible wavelengths are in quantitative agreement with the predictions of this model.


title: Beyond Equi-joins: Ranking, Enumeration and Factorization

abstract: We study theta-joins in general and join predicates with conjunctions and disjunctions of inequalities in particular, focusing on ranked enumeration where the answers are returned incrementally in an order dictated by a given ranking function. Our approach achieves strong time and space complexity properties: with $n$ denoting the number of tuples in the database, we guarantee for acyclic full join queries with inequality conditions that for every value of $k$, the $k$ top-ranked answers are returned in $\mathcal{O}(n \operatorname{polylog} n + k \log k)$ time. This is within a polylogarithmic factor of $\mathcal{O}(n + k \log k)$, i.e., the best known complexity for equi-joins, and even of $\mathcal{O}(n+k)$, i.e., the time it takes to look at the input and return $k$ answers in any order. Our guarantees extend to join queries with selections and many types of projections (namely those called "free-connex" queries and those that use bag semantics). Remarkably, they hold even when the number of join results is $n^\ell$ for a join of $\ell$ relations. The key ingredient is a novel $\mathcal{O}(n \operatorname{polylog} n)$-size factorized representation of the query output, which is constructed on-the-fly for a given query and database. In addition to providing the first non-trivial theoretical guarantees beyond equi-joins, we show in an experimental study that our ranked-enumeration approach is also memory-efficient and fast in practice, beating the running time of state-of-the-art database systems by orders of magnitude.


title: Discriminative Appearance Modeling with Multi-track Pooling for Real-time Multi-object Tracking

abstract: In multi-object tracking, the tracker maintains in its memory the appearance and motion information for each object in the scene. This memory is utilized for finding matches between tracks and detections and is updated based on the matching result. Many approaches model each target in isolation and lack the ability to use all the targets in the scene to jointly update the memory. This can be problematic when there are similar looking objects in the scene. In this paper, we solve the problem of simultaneously considering all tracks during memory updating, with only a small spatial overhead, via a novel multi-track pooling module. We additionally propose a training strategy adapted to multi-track pooling which generates hard tracking episodes online. We show that the combination of these innovations results in a strong discriminative appearance model, enabling the use of greedy data association to achieve online tracking performance. Our experiments demonstrate real-time, state-of-the-art performance on public multi-object tracking (MOT) datasets.


title: Online Capacity Scaling Augmented With Unreliable Machine Learning Predictions

abstract: Modern data centers suffer from immense power consumption. As a result, data center operators have heavily invested in capacity scaling solutions, which dynamically deactivate servers if the demand is low and activate them again when the workload increases. We analyze a continuous-time model for capacity scaling, where the goal is to minimize the weighted sum of flow-time, switching cost, and power consumption in an online fashion. We propose a novel algorithm, called Adaptive Balanced Capacity Scaling (ABCS), that has access to black-box machine learning predictions. ABCS aims to adapt to the predictions and is also robust against unpredictable surges in the workload. In particular, we prove that ABCS is $(1+\varepsilon)$-competitive if the predictions are accurate, and yet, it has a uniformly bounded competitive ratio even if the predictions are completely inaccurate. Finally, we investigate the performance of this algorithm on a real-world dataset and carry out extensive numerical experiments, which positively support the theoretical results.


title: Improved Rate-Energy Trade-off For SWIPT Using Chordal Distance Decomposition In Interference Alignment Networks

abstract: This paper investigates the simultaneous wireless information and power transfer (SWIPT) precoding scheme for K-user multiple-input-multiple-output (MIMO) interference channels (IC), for which interference alignment (IA) schemes provide optimal precoders to achieve full degrees-of-freedom (DoF) gain. However, harvesting RF energy simultaneously reduces the achievable DoFs. To study a trade-off between harvested energy and sum rate, the transceiver design problem is suboptimally formulated in literature via convex relaxations, which is still computationally intensive, especially for battery limited nodes running on harvested energy. In this paper, we propose a systematic method using chordal distance (CD) decomposition to obtain the balanced precoding, which improves the trade-off. Analysis shows that given the nonnegative value of CD, the achieved harvested energy for the proposed precoder is higher than that for perfect IA precoder. Moreover, energy constraints can be achieved, while maintaining a constant rate loss without losing DoFs via tuning the CD value and splitting factor. Simulation results verify the analysis and add that the IA schemes based on max-SINR or mean-squared error are better suited for SWIPT maximization than subspace or leakage minimization methods.


title: The taut polynomial and the Alexander polynomial

abstract: Landry, Minsky and Taylor defined the taut polynomial of a veering triangulation. Its specialisations generalise the Teichmuller polynomial of a fibred face of the Thurston norm ball. We prove that the taut polynomial of a veering triangulation is equal to a certain twisted Alexander polynomial of the underlying manifold. Then we give formulas relating the taut polynomial and the untwisted Alexander polynomial. There are two formulas; one holds when the maximal free abelian cover of a veering triangulation is edge-orientable, another holds when it is not edge-orientable. Furthermore, we consider 3-manifolds obtained by Dehn filling a veering triangulation. In this case we give a formula that relates the specialisation of the taut polynomial under the Dehn filling and the Alexander polynomial of the Dehn-filled manifold. This extends a theorem of McMullen connecting the Teichmuller polynomial and the Alexander polynomial to the nonfibred setting, and improves it in the fibred case. We also prove a sufficient and necessary condition for the existence of an orientable fibred class in the cone over a fibred face of the Thurston norm ball.


title: Discovery of a shock front in the merging cluster of galaxies A2163

abstract: ACO2163 is one of the hottest (mean $kT=12-15.5$ keV) and extremely X-ray overluminous merging galaxy clusters which is located at $z=0.203$. The cluster hosts one of the largest giant radio halos which are observed in most of the merging clusters, and a candidate radio relic. Recently, three merger shock fronts were detected in this cluster, explaining its extreme temperature and complex structure. Furthermore, previous XMM-Newton and Chandra observations hinted at the presence of a shock front that is associated with the gas `bullet' crossing the main cluster in the west-ward direction, and which heated the intra-cluster medium, leading to adiabatic compression of the gas behind the 'bullet'. The goal of this paper is to report on the detection of this shock front as revealed by the temperature discontinuity in the X-ray XMM-Newton image, and the edge in the Very Large Array (VLA) radio image. We also report on the detection of a relic source in the north-eastern region of the radio halo in the KAT-7 data, confirming the presence of an extended relic in this cluster. The brightness edge in the X-rays corresponds to a shock front with a Mach number $M= 2.2\pm0.3$, at a distance of 0.2 Mpc from the cluster centre. An estimate from the luminosity jump gives $M=1.9\pm0.4$. We consider a simple explanation for the electrons at the shock front, and for the observed discrepancy between the average spectral index of the radio halo emission and that predicted by the $M=2.2$ shock which precedes the 'bullet'.


title: Two-level Nystr\"om--Schur preconditioner for sparse symmetric positive definite matrices

abstract: Randomized methods are becoming increasingly popular in numerical linear algebra. However, few attempts have been made to use them in developing preconditioners. Our interest lies in solving large-scale sparse symmetric positive definite linear systems of equations where the system matrix is preordered to doubly bordered block diagonal form (for example, using a nested dissection ordering). We investigate the use of randomized methods to construct high quality preconditioners. In particular, we propose a new and efficient approach that employs Nystr\"om's method for computing low rank approximations to develop robust algebraic two-level preconditioners. Construction of the new preconditioners involves iteratively solving a smaller but denser symmetric positive definite Schur complement system with multiple right-hand sides. Numerical experiments on problems coming from a range of application areas demonstrate that this inner system can be solved cheaply using block conjugate gradients and that using a large convergence tolerance to limit the cost does not adversely affect the quality of the resulting Nystr\"om--Schur two-level preconditioner.


title: Poncelet-Darboux, Kippenhahn, and Szeg\H{o}: interactions between projective geometry, matrices and orthogonal polynomials

abstract: We study algebraic curves that are envelopes of families of polygons supported on the unit circle T. We address, in particular, a characterization of such curves of minimal class and show that all realizations of these curves are essentially equivalent and can be described in terms of orthogonal polynomials on the unit circle (OPUC), also known as Szeg\H{o} polynomials. Our results have connections to classical results from algebraic and projective geometry, such as theorems of Poncelet, Darboux, and Kippenhahn; numerical ranges of a class of matrices; and Blaschke products and disk functions. This paper contains new results, some old results presented from a different perspective or with a different proof, and a formal foundation for our analysis. We give a rigorous definition of the Poncelet property, of curves tangent to a family of polygons, and of polygons associated with Poncelet curves. As a result, we are able to clarify some misconceptions that appear in the literature and present counterexamples to some existing assertions along with necessary modifications to their hypotheses to validate them. For instance, we show that curves inscribed in some families of polygons supported on T are not necessarily convex, can have cusps, and can even intersect the unit circle. Two ideas play a unifying role in this work. The first is the utility of OPUC and the second is the advantage of working with tangent coordinates. This latter idea has been previously exploited in the works of B. Mirman, whose contribution we have tried to put in perspective.


title: Pythagorean Triples, Complex Numbers, Abelian Groups and Prime Numbers

abstract: It is well-known that pythagorean triples can be represented by points of the unit circle with rational coordinates. These points form an abelian group, and we describe its structure. This structural description yields, almost immediately, an enumeration of the normalized pythagorean triples with a given hypotenuse, and also to an effective method for producing all such triples. This effective method seems to be new. This paper is intended for the general mathematical audience, including undergraduate mathematics students, and therefore it contains plenty of background material, some history and several examples and exercises.


title: The Fourth Dimension: From its spatial nature in Euclidean geometry to a time-like component of non-Euclidean manifolds

abstract: In this article, the evolution of the ideas about the fourth spatial dimension is presented, starting from those which come out within classical Euclidean geometry and going through those arose in the framework of non-Euclidean geometries, like those of Riemann and Minkowski. Particular attention is given to the moment when real time is effectively considered as a fourth dimension, as introduced by Einstein.


title: Fluidisation of yield stress fluids under vibration

abstract: Motivated by the industrial processing of chocolate, we study experimentally the fluidisation of a sessile drop of yield-stress fluid on a pre-existing layer of the same fluid under vertical sinusoidal oscillations. We compare the behaviours of molten chocolate and Carbopol which are both shear-thinning with a similar yield stress but exhibit very different elastic properties. We find that these materials spread when the forcing acceleration exceeds a threshold which is determined by the initial deposition process. However, they exhibit very different spreading behaviours: whereas chocolate exhibits slow long-term spreading, the Carbopol drop rapidly relaxes its stress by spreading to a new equilibrium shape with an enlarged footprint. This spreading is insensitive to the history of the forcing. In addition, the Carbopol drop performs large-amplitude oscillations with the forcing frequency, both above and below the threshold. We investigate these viscoelastic oscillations and provide evidence of complex nonlinear viscoelastic behaviour in the vicinity of the spreading threshold. In fact, for forcing accelerations greater than the spreading threshold, our drop automatically adjusts its shape to remain at the yield stress. We discuss how our vibrated-drop experiment offers a new and powerful approach to probing the yield transition in elastoviscoplastic fluids.


title: Rate-Energy Balanced Precoding Design for SWIPT based Two-Way Relay Systems

abstract: Simultaneous wireless information and power transfer (SWIPT) technique is a popular strategy to convey both information and RF energy for harvesting at receivers. In this regard, we consider a two-way relay system with multiple users and a multi-antenna relay employing SWIPT strategy, where splitting the received signal leads to a rate-energy trade-off. In literature, the works on transceiver design have been studied using computationally intensive and suboptimal convex relaxation based schemes. In this paper, we study the balanced precoder design using chordal distance (CD) decomposition, which incurs much lower complexity, and is flexible to dynamic energy requirements. It is analyzed that given a non-negative value of CD, the achieved harvested energy for the proposed balanced precoder is higher than that for the perfect interference alignment (IA) precoder. The corresponding loss in sum rates is also analyzed via an upper bound. Simulation results add that the IA schemes based on mean-squared error are better suited for the SWIPT maximization than the subspace alignment-based methods.


title: Measurement of the atmospheric $\nu_e$ and $\nu_\mu$ energy spectra with the ANTARES neutrino telescope

abstract: This letter presents a combined measurement of the energy spectra of atmospheric $\nu_e$ and $\nu_\mu$ in the energy range between $\sim$100 GeV and $\sim$50 TeV with the ANTARES neutrino telescope. The analysis uses 3012 days of detector livetime in the period 2007--2017, and selects 1016 neutrinos interacting in (or close to) the instrumented volume of the detector, yielding shower-like events (mainly from $\nu_e+\overline \nu_e$ charged current plus all neutrino neutral current interactions) and starting track events (mainly from $\nu_\mu + \overline \nu_\mu$ charged current interactions). The contamination by atmospheric muons in the final sample is suppressed at the level of a few per mill by different steps in the selection analysis, including a Boosted Decision Tree classifier. The distribution of reconstructed events is unfolded in terms of electron and muon neutrino fluxes. The derived energy spectra are compared with previous measurements that, above 100 GeV, are limited to experiments in polar ice and, for $\nu_\mu$, to Super-Kamiokande.


title: Optimal cost tuning of frustration: Achieving desired states in the Kuramoto-Sakaguchi model

abstract: There are numerous examples of studied real-world systems that can be described as dynamical systems characterized by individual phases and coupled in a network like structure. Within the framework of oscillatory models, much attention has been devoted to the Kuramoto model, which considers a collection of oscillators interacting through a sinus function of the phase differences. In this paper, we draw on an extension of the Kuramoto model, called the Kuramoto-Sakaguchi model, which adds a phase lag parameter to each node. We construct a general formalism that allows to compute the set of lag parameters that may lead to any phase configuration within a linear approximation. In particular, we devote special attention to the cases of full synchronization and symmetric configurations. We show that the set of natural frequencies, phase lag parameters and phases at the steady state is coupled by an equation and a continuous spectra of solutions is feasible. In order to quantify the system's strain to achieve that particular configuration, we define a cost function and compute the optimal set of parameters that minimizes it. Despite considering a linear approximation of the model, we show that the obtained tuned parameters for the case of full synchronization enhance frequency synchronization in the nonlinear model as well.


title: Vortex propagation and phase transitions in a chiral antiferromagnetic nanostripe

abstract: We study a vortex in a nanostripe of an antiferromagnet with easy-plane anisotropy and interfacial Dzyloshinskii-Moriya interaction. The vortex has hybrid chirality being N\'eel close to its center and Bloch away from it. Propagating vortices can acquire velocities up to a maximum value that is lower than the spin wave velocity. When the vortex is forced to exceed the maximum velocity, phase transitions occur to a nonflat spiral, vortex chain, and flat spiral, successively. The vortex chain is a topological configuration stabilised in the stripe geometry. Theoretical arguments lead to the general result that the velocity of localized excitations in chiral magnets cannot reach the spin wave velocity.


title: Entanglement-assisted capacity regions and protocol designs for quantum multiple-access channels

abstract: We solve the entanglement-assisted (EA) classical capacity region of quantum multiple-access channels with an arbitrary number of senders. As an example, we consider the bosonic thermal-loss multiple-access channel and solve the one-shot capacity region enabled by an entanglement source composed of sender-receiver pairwise two-mode squeezed vacuum states. The EA capacity region is strictly larger than the capacity region without entanglement-assistance. With two-mode squeezed vacuum states as the source and phase modulation as the encoding, we also design practical receiver protocols to realize the entanglement advantages. Four practical receiver designs, based on optical parametric amplifiers, are given and analyzed. In the parameter region of a large noise background, the receivers can enable a simultaneous rate advantage of 82.0% for each sender. Due to teleportation and superdense coding, our results for EA classical communication can be directly extended to EA quantum communication at half of the rates. Our work provides a unique and practical network communication scenario where entanglement can be beneficial.


title: Uniform bounds for the number of rational points on varieties over global fields

abstract: We extend the work of Salberger; Walsh; Castryck, Cluckers, Dittmann and Nguyen; and Vermeulen to prove the uniform dimension growth conjecture of Heath-Brown and Serre for varieties of degree at least $4$ over global fields. As an intermediate step, we generalize the bounds of Bombieri and Pila to curves over global fields and in doing so we improve the $B^{\varepsilon}$ factor by a $\log(B)$ factor.