title: Distributional regression and its evaluation with the CRPS: Bounds and convergence of the minimax risk

abstract: The theoretical advances on the properties of scoring rules over the past decades have broadened the use of scoring rules in probabilistic forecasting. In meteorological forecasting, statistical postprocessing techniques are essential to improve the forecasts made by deterministic physical models. Numerous state-of-the-art statistical postprocessing techniques are based on distributional regression evaluated with the Continuous Ranked Probability Score (CRPS). However, theoretical properties of such evaluation with the CRPS have solely considered the unconditional framework (i.e. without covariates) and infinite sample sizes. We extend these results and study the rate of convergence in terms of CRPS of distributional regression methods. We find the optimal minimax rate of convergence for a given class of distributions and show that the k-nearest neighbor method and the kernel method reach this optimal minimax rate.


title: Structural inequalities exacerbate infection disparities: A computational approach

abstract: During the COVID-19 pandemic, we witnessed a disproportionate infection rate among marginalized and low-income groups. Despite empirical evidence suggesting that structural inequalities in society contribute to health disparities, there has been little attempt to offer a computational and theoretical explanation to establish its plausibility and quantitative impact. This paper combines an agent-based network model and a compartmental susceptible-infectious-removed model (SIR) to explain how socioeconomic inequalities affect the dynamics of disease spreading. Specifically, we focus on two aspects of structural inequalities: wealth inequality and social segregation. Our computational model demonstrates that under high income inequality, the infection gap widens between the low-income and high-income groups, and also the overall infected cases increase. We also observed that social segregation between different socioeconomic status (SES) groups intensifies the spreading and hence mortality rates. Furthermore, we explain the second peak of the infectious cases during a pandemic as a result of a false sense of safety and loosening the quarantine, among the higher SES individuals. These findings send a strong message to policymakers; confinement measures must be accompanied by substantial financial assistance to those from lower-income groups so that the people regardless of their socioeconomic status can afford to stay in. Without financial assistance, lower-income individuals will remain in circulation, which will prolong the duration and magnitude of the infection.


title: FC$^3$: Feasibility-Based Control Chain Coordination

abstract: Hierarchical coordination of controllers often uses symbolic state representations that fully abstract their underlying low-level controllers, treating them as "black boxes" to the symbolic action abstraction. This paper proposes a framework to realize robust behavior, which we call Feasibility-based Control Chain Coordination (FC$^3$). Our controllers expose the geometric features and constraints they operate on. Based on this, FC$^3$ can reason over the controllers' feasibility and their sequence feasibility. For a given task, FC$^3$ first automatically constructs a library of potential controller chains using a symbolic action tree, which is then used to coordinate controllers in a chain, evaluate task feasibility, as well as switching between controller chains if necessary. In several real-world experiments we demonstrate FC$^3$'s robustness and awareness of the task's feasibility through its own actions and gradual responses to different interferences.


title: Beyond a Pre-Trained Object Detector: Cross-Modal Textual and Visual Context for Image Captioning

abstract: Significant progress has been made on visual captioning, largely relying on pre-trained features and later fixed object detectors that serve as rich inputs to auto-regressive models. A key limitation of such methods, however, is that the output of the model is conditioned only on the object detector's outputs. The assumption that such outputs can represent all necessary information is unrealistic, especially when the detector is transferred across datasets. In this work, we reason about the graphical model induced by this assumption, and propose to add an auxiliary input to represent missing information such as object relationships. We specifically propose to mine attributes and relationships from the Visual Genome dataset and condition the captioning model on them. Crucially, we propose (and show to be important) the use of a multi-modal pre-trained model (CLIP) to retrieve such contextual descriptions. Further, object detector models are frozen and do not have sufficient richness to allow the captioning model to properly ground them. As a result, we propose to condition both the detector and description outputs on the image, and show qualitatively and quantitatively that this can improve grounding. We validate our method on image captioning, perform thorough analyses of each component and importance of the pre-trained multi-modal model, and demonstrate significant improvements over the current state of the art, specifically +7.5% in CIDEr and +1.3% in BLEU-4 metrics.


title: Rational curves and the Hilbert Property on Jacobian Kummer varieties

abstract: A conjecture by Corvaja and Zannier predicts that smooth, projective, simply connected varieties over a number field with Zariski dense set of rational points have the Hilbert Property; this was proved by Demeio for Kummer surfaces which are associated to products of two elliptic curves. In this article, over a finitely generated field of characteristic zero, we establish the Hilbert Property for all Kummer surfaces associated to the Jacobian of a genus $2$ curve. In general we prove that all Jacobian Kummer varieties associated to a hyperelliptic curve of genus $\geq 2$ of odd degree also have the Hilbert Property.


title: Traveling wave solution for a coupled incompressible Darcy's free boundary problem with surface tension

abstract: We study an incompressible Darcy's free boundary problem, recently introduced in [22]. Our goal is to prove the existence of non-trivial traveling wave solutions and thus validate the interest of this model to describe cell motility. The model equations include a convection diffusion equation for the polarity marker concentration and the incompressible Darcy's equation. The mathematical novelty of this problem is the nonlinear destabilizing term in the boundary condition that describes the active character of the cell cytoskeleton. We first study the linear stability of this problem and we show that, above a well precise threshold, the disk becomes linearly unstable. By using two different approaches we prove existence of traveling wave solutions, which describes persistent motion of a biological cell. One is explicit, by construction. The other is established implicitly, as the one bifurcating from stationary solution.


title: Effectively Using Long and Short Sessions for Multi-Session-based Recommendations

abstract: It is not accurate to make recommendations only based one single current session. Therefore, multi-session-based recommendation(MSBR) is a solution for the problem. Compared with the previous MSBR models, we have made three improvements in this paper. First, the previous work choose to use all the history sessions of the user and/or of his similar users. When the user's current interest changes greatly from the past, most of these sessions can only have negative impacts. Therefore, we select a large number of randomly chosen sessions from the dataset as candidate sessions to avoid over depending on history data. Then we only choose to use the most similar sessions to get the most useful information while reduce the noise caused by dissimilar sessions. Second, in real-world datasets, short sessions account for a large proportion. The RNN often used in previous work is not suitable to process short sessions, because RNN only focuses on the sequential relationship, which we find is not the only relationship between items in short sessions. So, we designed a more suitable method named GAFE based on attention to process short sessions. Third, Although there are few long sessions, they can not be ignored. Not like previous models, which simply process long sessions in the same way as short sessions, we propose LSIS, which can split the interest of long sessions, to make better use of long sessions. Finally, to help recommendations, we also have considered users' long-term interests captured by a multi-layer GRU. Considering the four points above, we built the model ENIREC. Experiments on two real-world datasets show that the comprehensive performance of ENIREC is better than other existing models.


title: Metric Spaces of Arbitrary Finitely-Generated Scaling Group

abstract: For a metric space $X$ with a compatible measure $\mu$, Genevois and Tessera defined the Scaling Group of $(X,\mu)$ as the subgroup $\Gamma$ of $\mathbb{R}_{>0}$ of positive real numbers $\gamma$ for which there are quasi-isometries of $X$ coarsely scaling $\mu$ by a factor of $\gamma$. We show that for any finitely generated subgroup $\Gamma$ of $\mathbb{R}_{>0}$ there exists a space $N_\Gamma$, bi-Lipschitz equivalent to a graph of finite degree, with scaling group $\Gamma$.


title: Towards Measuring Domain Shift in Histopathological Stain Translation in an Unsupervised Manner

abstract: Domain shift in digital histopathology can occur when different stains or scanners are used, during stain translation, etc. A deep neural network trained on source data may not generalise well to data that has undergone some domain shift. An important step towards being robust to domain shift is the ability to detect and measure it. This article demonstrates that the PixelCNN and domain shift metric can be used to detect and quantify domain shift in digital histopathology, and they demonstrate a strong correlation with generalisation performance. These findings pave the way for a mechanism to infer the average performance of a model (trained on source data) on unseen and unlabelled target data.


title: Data Size-Aware Downlink Massive MIMO: A Session-Based Approach

abstract: This letter considers the development of transmission strategies for the downlink of massive multiple-input multiple-output networks, with the objective of minimizing the completion time of the transmission. Specifically, we introduce a session-based scheme that splits time into sessions and allocates different rates in different sessions for the different users. In each session, one user is selected to complete its transmission and will not join subsequent sessions, which results in successively lower levels of interference when moving from one session to the next. An algorithm is developed to assign users and allocate transmit power that minimizes the completion time. Numerical results show that our proposed session-based scheme significantly outperforms conventional non-session-based schemes.


title: Slow-fast dynamics in stochastic Lotka-Volterra systems

abstract: We investigate the large population dynamics of a family of stochastic particle systems with three-state cyclic individual behaviour and parameter-dependent transition rates. On short time scales, the dynamics turns out to be approximated by an integrable Hamiltonian system whose phase space is foliated by periodic trajectories. This feature suggests to consider the effective dynamics of the long-term process that results from averaging over the rapid oscillations. We establish the convergence of this process in the large population limit to the solutions of an explicit stochastic differential equation. Remarkably, this averaging phenomenon is complemented by the convergence of stationary measures. The proof of averaging follows the Stroock-Varadhan approach to martingale problems and relies on a fine analysis of the system's dynamical features.


title: Coupling topological defect phase to extrinsic curvature in nematic shells

abstract: In two dimensional nematics, topological defects are point like singularities with both a charge and a phase. We study topological defects within curved nematic textures on the surface of a cylinder. This allows us to isolate the effect of extrinsic curvature on the structure of the topological defect. By minimizing the energy associated with distortions in the nematic director around the core of a defect we show that the phase of the topological defect is coupled to the orientation of the cylinder. This coupling depends on the relative energetic cost associated with splay, bend and twist distortions of the nematic director. We identify a bistability in the phase of the defects when twist deformations dominate. Finally, we show a similar effect for integer charge topological defects.


title: TEM analyses of in situ presolar grains from unequilibrated ordinary chondrite LL3.0 Semarkona

abstract: We investigated six presolar grains from very primitive regions of the matrix in the unequilibrated ordinary chondrite Semarkona with TEM. These grains include one SiC, one oxide (Mg-Al spinel), and four silicates. Structural and elemental compositional studies of presolar grains located within their meteorite hosts have the potential to provide information on conditions and processes throughout the grains' histories. Our analyses show that the SiC and spinel grains are stoichiometric and well crystallized. In contrast, the majority of the silicate grains are non-stoichiometric and poorly crystallized. These findings are consistent with previous TEM studies of presolar grains from interplanetary dust particles and chondritic meteorites. We interpret the poorly crystalline nature, non-stoichiometry, more Fe- rather than Mg-rich compositions, and/or compositional heterogeneities as features of the formation by condensation under non-equilibrium conditions. Evidence for parent body alteration includes rims with mobile elements (S or Fe) on the SiC grain and one silicate grain. Other features characteristic of secondary processing in the interstellar medium, the solar nebula, and/or on parent bodies, were not observed or are better explained by processes operating in circumstellar envelopes. In general, there was very little overprinting of primary features of the presolar grains by secondary processes (e.g., ion irradiation, grain-grain collisions, thermal metamorphism, aqueous alteration). This finding underlines the need for additional TEM studies of presolar grains located in the primitive matrix regions of Semarkona, to address gaps in our knowledge of presolar grain populations accreted to ordinary chondrites.


title: Making ProB compatible with SWI-Prolog

abstract: Even though the core of the Prolog programming language has been standardized by ISO since 1995, it remains difficult to write complex Prolog programs that can run unmodified on multiple Prolog implementations. Indeed, implementations sometimes deviate from the ISO standard and the standard itself fails to cover many features that are essential in practice. Most Prolog applications thus have to rely on non-standard features, often making them dependent on one particular Prolog implementation and incompatible with others. We examine one such Prolog application: ProB, which has been developed for over 20 years in SICStus Prolog. The article describes how we managed to refactor the codebase of ProB to also support SWI-Prolog, with the goal of verifying ProB's results using two independent toolchains. This required a multitude of adjustments, ranging from extending the SICStus emulation in SWI-Prolog on to better modularizing the monolithic ProB codebase. We also describe notable compatibility issues and other differences that we encountered in the process, and how we were able to deal with them with few major code changes. Under consideration for acceptance in TPLP.


title: Galactic Component Mapping of Galaxy UGC 2885 by Machine Learning Classification

abstract: Automating classification of galaxy components is important for understanding the formation and evolution of galaxies. Traditionally, only the larger galaxy structures such as the spiral arms, bulge, and disc are classified. Here we use machine learning (ML) pixel-by-pixel classification to automatically classify all galaxy components within digital imagery of massive spiral galaxy UGC 2885. Galaxy components include young stellar population, old stellar population, dust lanes, galaxy center, outer disc, and celestial background. We test three ML models: maximum likelihood classifier (MLC), random forest (RF), and support vector machine (SVM). We use high-resolution Hubble Space Telescope (HST) digital imagery along with textural features derived from HST imagery, band ratios derived from HST imagery, and distance layers. Textural features are typically used in remote sensing studies and are useful for identifying patterns within digital imagery. We run ML classification models with different combinations of HST digital imagery, textural features, band ratios, and distance layers to determine the most useful information for galaxy component classification. Textural features and distance layers are most useful for galaxy component identification, with the SVM and RF models performing the best. The MLC model performs worse overall but has comparable performance to SVM and RF in some circumstances. Overall, the models are best at classifying the most spectrally unique galaxy components including the galaxy center, outer disc, and celestial background. The most confusion occurs between the young stellar population, old stellar population, and dust lanes. We suggest further experimentation with textural features for astronomical research on small-scale galactic structures.


title: The Kropholler Conjecture

abstract: The first version of this paper gave another proof of the Kropholler Conjecture, which gives a relative version of Stallings Ends Theorem, following an earlier incorrect proof. It has been pointed out by Sam Shepherd that the the second proof was still inadequate. We explain the difficulty and possible ways to obtain a correct proof.


title: EigenNoise: A Contrastive Prior to Warm-Start Representations

abstract: In this work, we present a naive initialization scheme for word vectors based on a dense, independent co-occurrence model and provide preliminary results that suggest it is competitive and warrants further investigation. Specifically, we demonstrate through information-theoretic minimum description length (MDL) probing that our model, EigenNoise, can approach the performance of empirically trained GloVe despite the lack of any pre-training data (in the case of EigenNoise). We present these preliminary results with interest to set the stage for further investigations into how this competitive initialization works without pre-training data, as well as to invite the exploration of more intelligent initialization schemes informed by the theory of harmonic linguistic structure. Our application of this theory likewise contributes a novel (and effective) interpretation of recent discoveries which have elucidated the underlying distributional information that linguistic representations capture from data and contrast distributions.


title: Intrinsic Rank in CAT(0) Spaces

abstract: Let $X$ be a proper, geodesically complete CAT(0) space which satisfies Chen and Eberlein's duality condition. We show the existence of a strong notion of rank for $X$ by proving that the parallel sets $P_v$ of geodesics $v$ in $X$ are generically flat. More precisely, let $GX$ be the space of parametrized unit-speed geodesics in $X$. There is a unique $k$ and a dense $G_\delta$ set $\mathcal{A}$ in $GX$ such that $P_v$ is isometric to flat Euclidean space $\mathbb{R}^k$, for all $v \in \mathcal{A}$. It follows that $\mathbb{R}^k$ isometrically embeds in $P_v$ for every $v \in GX$.


title: Muon g-2 in SUSY scenarios with and without stable neutralinos

abstract: We investigate a possibility to explain the discrepancy between the Standard Model predictions and the observed value of the anomalous magnetic moment of the muon within unorthodox SUSY scenarios in which neutralinos are unstable. We start by reviewing the muon g-2 calculations in the MSSM and confront it with the most up-to-date experimental constraints. We find out that the next generation of direct detection DM experiments combined with the current LHC results will ultimately test the parameter region that can explain the $(g-2)_\mu$ anomaly in the MSSM. Next, we study R-parity violating and gauge-mediated SUSY-breaking scenarios with unstable neutralinos. These models do not provide a viable DM candidate, which allows them to evade the DM constraints. We find that in RPV and GMSB with slepton NLSP the LHC constraints are weaker, and a large region of parameter space can explain the observed anomaly and evade experimental limits.


title: Evolution of Brill waves with an adaptive pseudospectral method

abstract: As a first application of the new adaptive mesh functionality of the the pseudospectral numerical relativity code bamps, we evolve twist-free, axisymmetric gravitational waves close to the threshold of collapse. We consider six different one-parameter families of Brill wave initial data; two centered and four off-centered families. Of these the latter have not been treated before. Within each family we tune the parameter towards the threshold of black hole formation. The results for centered data agree with earlier work. Our key results are first, that close to the threshold of collapse the global peak in the curvature appears on the symmetry axis but away from the origin, indicating that in the limit they will collapse around disjoint centers. This is confirmed in three of the six families by explicitly finding apparent horizons around these large curvature peaks. Second, we find evidence neither for strict discrete-self-similarity nor for universal power-law scaling of curvature quantities. Finally, as in Ledvinka & Khirnov's recent study, we find approximately universal strong curvature features. These features appear multiple times within individual spacetimes close to the threshold and are furthermore present within all six families.


title: Automorphisms and real structures for a $\Pi$-symmetric super-Grassmannian

abstract: Any complex-analytic vector bundle $\mathbb E$ admits naturally defined homotheties $\phi_{\alpha}$, $\alpha\in \mathbb C^*$, i.e. $\phi_{\alpha}$ is the multiplication of a local section by a complex number $\alpha$. We investigate the question when such automorphisms can be lifted to a non-split supermanifold corresponding to $\mathbb E$. Further, we compute the automorphism supergroup of a $\Pi$-symmetric super-Grassmannian $\Pi\!\operatorname{Gr}_{n,k}$, and, using Galois cohomology, we classify the real structures on $\Pi\!\operatorname{Gr}_{n,k}$ and compute the corresponding supermanifolds of real points.


title: Algebraic aspects of connections: from torsion, curvature, and post-Lie algebras to Gavrilov's double exponential and special polynomials

abstract: Understanding the algebraic structure underlying a manifold with a general affine connection is a natural problem. In this context, A. V. Gavrilov introduced the notion of framed Lie algebra, consisting of a Lie bracket (the usual Jacobi bracket of vector fields) and a magmatic product without any compatibility relations between them. In this work we will show that an affine connection with curvature and torsion always gives rise to a post-Lie algebra as well as a $D$-algebra. The notions of torsion and curvature together with Gavrilov's special polynomials and double exponential are revisited in this post-Lie algebraic framework. We unfold the relations between the post-Lie Magnus expansion, the Grossman-Larson product and the $K$-map, $\alpha$-map and $\beta$-map, three particular functions introduced by Gavrilov with the aim of understanding the geometric and algebraic properties of the double-exponential, which can be understood as a geometric variant of the Baker-Campbell-Hausdorff formula. We propose a partial answer to a conjecture by Gavrilov, by showing that a particular class of geometrically special polynomials is generated by torsion and curvature. This approach unlocks many possibilities for further research such as numerical integrators and rough paths on Riemannian manifolds.


title: FlowBot3D: Learning 3D Articulation Flow to Manipulate Articulated Objects

abstract: We explore a novel method to perceive and manipulate 3D articulated objects that generalizes to enable a robot to articulate unseen classes of objects. We propose a vision-based system that learns to predict the potential motions of the parts of a variety of articulated objects to guide downstream motion planning of the system to articulate the objects. To predict the object motions, we train a neural network to output a dense vector field representing the point-wise motion direction of the points in the point cloud under articulation. We then deploy an analytical motion planner based on this vector field to achieve a policy that yields maximum articulation. We train the vision system entirely in simulation, and we demonstrate the capability of our system to generalize to unseen object instances and novel categories in both simulation and the real world, deploying our policy on a Sawyer robot with no finetuning. Results show that our system achieves state-of-the-art performance in both simulated and real-world experiments.


title: Online Unsupervised Domain Adaptation for Person Re-identification

abstract: Unsupervised domain adaptation for person re-identification (Person Re-ID) is the task of transferring the learned knowledge on the labeled source domain to the unlabeled target domain. Most of the recent papers that address this problem adopt an offline training setting. More precisely, the training of the Re-ID model is done assuming that we have access to the complete training target domain data set. In this paper, we argue that the target domain generally consists of a stream of data in a practical real-world application, where data is continuously increasing from the different network's cameras. The Re-ID solutions are also constrained by confidentiality regulations stating that the collected data can be stored for only a limited period, hence the model can no longer get access to previously seen target images. Therefore, we present a new yet practical online setting for Unsupervised Domain Adaptation for person Re-ID with two main constraints: Online Adaptation and Privacy Protection. We then adapt and evaluate the state-of-the-art UDA algorithms on this new online setting using the well-known Market-1501, Duke, and MSMT17 benchmarks.


title: Applying consensus and replication securely with FLAQR

abstract: Availability is crucial to the security of distributed systems, but guaranteeing availability is hard, especially when participants in the system may act maliciously. Quorum replication protocols provide both integrity and availability: data and computation is replicated at multiple independent hosts, and a quorum of these hosts must agree on the output of all operations applied to the data. Unfortunately, these protocols have high overhead and can be difficult to calibrate for a specific application's needs. Ideally, developers could use high-level abstractions for consensus and replication to write fault-tolerant code by that is secure by construction. This paper presents Flow-Limited Authorization for Quorum Replication (FLAQR), a core calculus for building distributed applications with heterogeneous quorum replication protocols while enforcing end-to-end information security. Our type system ensures that well-typed FLAQR programs cannot_fail_ (experience an unrecoverable error) in ways that violate their type-level specifications. We present noninterference theorems that characterize FLAQR's confidentiality, integrity, and availability in the presence of consensus, replication, and failures, as well as a liveness theorem for the class of majority quorum protocols under a bounded number of faults.


title: Temperature gradient-driven magnetic skyrmion motion

abstract: The static and dynamic properties of skyrmions have recently received increased attention due to the potential application of skyrmions as information carriers and for unconventional computing. While the current-driven dynamics has been explored deeply, both theoretically and experimentally, the theory of temperature gradient-induced dynamics - Skyrmion-Caloritronics - is still at its early stages of development. Here, we move the topic forward by identifying the role of entropic torques due to the temperature dependence of magnetic parameters. Our results show that, skyrmions move towards higher temperatures in single-layer ferromagnets with interfacial Dzyaloshinski-Moriya interactions, whereas, in multilayers, they move to lower temperatures. We analytically and numerically demonstrate that the opposite behaviors are due to different scaling relations of the material parameters as well as a non-negligible magnetostatic field gradient in multilayers. We also find a spatially dependent skyrmion Hall angle in multilayers hosting hybrid skyrmions due to variations of the thickness dependent chirality as the skyrmion moves along the temperature gradient.


title: Electron dynamics in extended systems within real-time time-dependent density functional theory

abstract: Due to a beneficial balance of computational cost and accuracy, real-time time-dependent density functional theory has emerged as a promising first-principles framework to describe electron real-time dynamics. Here we discuss recent implementations around this approach, in particular in the context of complex, extended systems. Results include an analysis of the computational cost associated with numerical propagation and when using absorbing boundary conditions. We extensively explore the shortcomings for describing electron-electron scattering in real time and compare to many-body perturbation theory. Modern improvements of the description of exchange and correlation are reviewed. In this work, we specifically focus on the Qb@ll code, which we have mainly used for these types of simulations over the last years, and we conclude by pointing to further progress needed going forward.


title: Co-Designed Architectures for Modular Superconducting Quantum Computers

abstract: Noisy, Intermediate Scale Quantum (NISQ) computers have reached the point where they can show the potential for quantum advantage over classical computing. Unfortunately, NISQ machines introduce sufficient noise that even for moderate size quantum circuits the results can be unreliable. We propose a co-designed superconducting quantum computer using a Superconducting Nonlinear Asymmetric Inductive eLement (SNAIL) modulator. The SNAIL modulator is designed by considering both the ideal fundamental qubit gate operation while maximizing the qubit coupling capabilities. First, the SNAIL natively implements $\sqrt[n]{\texttt{iSWAP}}$ gates realized through proportionally scaled pulse lengths. This naturally includes $\sqrt{\texttt{iSWAP}}$, which provides an advantage over $\texttt{CNOT}$ as a basis gate. Second, the SNAIL enables high-degree couplings that allow rich and highly parallel qubit connection topologies without suffering from frequency crowding. Building on our previously demonstrated SNAIL-based quantum state router we propose a quantum 4-ary tree and a hypercube inspired corral built from interconnected quantum modules. We compare their advantage in data movement based on necessary \texttt{SWAP} gates to the traditional lattice and heavy-hex lattice used in latest commercial quantum computers. We demonstrate the co-design advantage of our SNAIL-based machine with $\sqrt{\texttt{iSWAP}}$ basis gates and rich topologies against $\texttt{CNOT}$/heavy-hex and $\texttt{FSIM}$/lattice for 16-20 qubit and extrapolated designs circa 80 qubit architectures. We compare total circuit time and total gate count to understand fidelity for systems dominated by decoherence and control imperfections, respectively. Finally, we provide a gate duration sensitivity study on further decreasing the SNAIL pulse length to realize $\sqrt[n]{\texttt{iSWAP}}$ qubit systems to reduce decoherence times.


title: Exactly computable and continuous metrics on isometry classes of finite and 1-periodic sequences

abstract: The inevitable noise in real measurements motivates the problem to continuously quantify the similarity between rigid objects such as periodic time series and proteins given by ordered points and considered up to isometry maintaining inter-point distances. The past work produced many Hausdorff-like distances that have slow or approximate algorithms due to minimizations over infinitely many isometries. For finite and 1-periodic sequences under isometry in any high-dimensional Euclidean space, we introduce continuous metrics with faster algorithms. The key novelty in the periodic case is the continuity of new metrics under perturbations that change the minimum period.


title: Phonon-induced transition between entangled and nonentangled photon emission in constantly driven quantum-dot--cavity systems

abstract: Entangled photon pairs are essential for many applications in quantum technologies. Recent theoretical studies demonstrated that different types of entangled Bell states can be created in a constantly driven four-level quantum emitter-cavity system. Unlike other candidates for the realization of the four-level emitter, semiconductor quantum dots unavoidably interact with their environment, resulting in carrier-phonon interactions. Surprisingly, phonons change the entanglement of emitted photon pairs in a qualitative way, already at low temperatures on the order of 4 K. While one type of Bell state can still be generated using small driving strengths, the other type is suppressed due to phonon interactions in strongly-confined quantum dots. The degree of entanglement decreases with rising temperature and driving strength until it vanishes at a certain parameter value. Because it remains zero afterward, we encounter a phonon-induced transition between entangled and nonentangled photon emission that resembles a phase transition. The transition occurs at temperatures below 30 K and, independent of the driving strength, the concurrence as a function of the reduced temperature is found to obey a power law with exponent one near the transition point.


title: Advanced quasistatic approximation

abstract: The quasistatic approximation (QSA) is an efficient method of simulating laser- and beam-driven plasma wakefield acceleration, but it becomes imprecise if some plasma particles make long longitudinal excursions in a strongly nonlinear wave, or if waves with non-zero group velocity are present in the plasma, or the plasma density gradients are sharp, or the beam shape changes rapidly. We present an extension to QSA that is free from its limitations and retains its main advantages of speed and reduced dimensionality. The new approach takes into account the exchange of information between adjacent plasma layers. We introduce the physical model, describe its numerical implementation, and compare the simulation results with available analytical solutions and other codes.


title: High-Cardinality Geometrical Constellation Shaping for the Nonlinear Fibre Channel

abstract: This paper presents design methods for highly efficient optimisation of geometrically shaped constellations to maximise data throughput in optical communications. It describes methods to analytically calculate the information-theoretical loss and the gradient of this loss as a function of the input constellation shape. The gradients of the \ac{MI} and \ac{GMI} are critical to the optimisation of geometrically-shaped constellations. It presents the analytical derivative of the achievable information rate metrics with respect to the input constellation. The proposed method allows for improved design of higher cardinality and higher-dimensional constellations for optimising both linear and nonlinear fibre transmission throughput. Near-capacity achieving constellations with up to 8192 points for both 2 and 4 dimensions, with generalised mutual information (GMI) within 0.06 bit/2Dsymbol of additive white Gaussian noise channel (AWGN) capacity, are presented. Additionally, a design algorithm reducing the design computation time from days to minutes is introduced, allowing the presentation of optimised constellations for both linear AWGN and nonlinear fibre channels for a wide range of signal-to-noise ratios.


title: {\omega}-Regular Energy Problems

abstract: We show how to efficiently solve problems involving a quantitative measure, here called energy, as well as a qualitative acceptance condition, expressed as a B\"uchi or Parity objective, in finite weighted automata and in one-clock weighted timed automata. Solving the former problem and extracting the corresponding witness is our main contribution and is handled by a modified version of the Bellman-Ford algorithm interleaved with Couvreur's algorithm. The latter problem is handled via a reduction to the former relying on the corner-point abstraction. All our algorithms are freely available and implemented in a tool based on the open-source platforms TChecker and Spot.


title: Pre-frontal cortex guides dimension-reducing transformations in the occipito-ventral pathway for categorization behaviors

abstract: To interpret our surroundings, the brain uses a visual categorization process. Current theories and models suggest that this process comprises a hierarchy of different computations that transforms complex, high-dimensional inputs into lower-dimensional representations (i.e. manifolds) in support of multiple categorization behaviors. Here, we tested this hypothesis by analyzing these transformations reflected in dynamic MEG source activity while individual participants actively categorized the same stimuli according to different tasks: face expression, face gender, pedestrian gender, vehicle type. Results reveal three transformation stages guided by pre-frontal cortex. At Stage 1 (high-dimensional, 50-120ms), occipital sources represent both task-relevant and task-irrelevant stimulus features; task-relevant features advance into higher ventral/dorsal regions whereas task-irrelevant features halt at the occipital-temporal junction. At Stage 2 (121-150ms), stimulus feature representations reduce to lower-dimensional manifolds, which then transform into the task-relevant features underlying categorization behavior over Stage 3 (161-350ms).


title: Coleman-Weinberg Abrikosov-Nielsen-Olesen strings

abstract: We study properties of Abrikosov-Nielsen-Olesen (ANO) strings with the Coleman-Weinberg (CW) potential, which we call CW-ANO strings. While the scale-invariant scalar potential has a topologically trivial vacuum admitting no strings at the classical level, quantum correction allows topologically nontrivial vacua and stable string solutions. We find that the system of the CW potential exhibits significant difference from that of the conventional Abelian-Higgs model with the quadratic-quartic potential. While a single-winding string is qualitatively similar in both systems, and the static intervortex force between two strings at large distance is attractive/repulsive in the type-I/II regime for both, that between two CW-ANO strings exhibits a nontrivial structure. It develops an energy barrier between them at intermediate distance, implying that the string with winding number $n > 1$ can constitute a metastable bound state even in the type-II regime. We name such a superconductor type-$\overline{1.5}$. We also discuss implications to high-energy physics and cosmology.


title: Stability, analytic stability for real reductive Lie groups

abstract: We presented a systematic treatment of a Hilbert criterion for stability theory for an action of a real reductive group $G$ on a real submanifold $X$ of a K\"ahler manifold $Z$. More precisely, we suppose the action of a compact connected Lie group $U$ with Lie algebra $\mathfrak{u}$ extends holomorphically to an action of the complexified group $U^{\mathbb C}$ and that the $U$-action on $Z$ is Hamiltonian. If $G\subset U^{\mathbb C}$ is closed and compatible, there is a corresponding gradient map $\mu_\mathfrak{p} : X\longrightarrow \mathfrak{p}$, where $\mathfrak g = \mathfrak k \oplus \mathfrak p$ is a Cartan decomposition of the Lie algebra of $G$. The concept of energy complete action of $G$ on $X$ is introduced. For such actions, one can characterize stability, semistability and polystability of a point by a numerical criteria using a $G$-equivariant function associated with a gradient map, called maximal weight function. We also prove the classical Hilbert-Mumford criteria for semistabilty and polystability conditions. We thank the anonymous referee for carefully reading our paper and for giving such constructive comments which substantially helped improving the quality of the paper.


title: Correlated Insulator Collapse due to Quantum Avalanche via In-Gap Ladder States

abstract: We propose a microscopic mechanism to resolve the long-standing puzzle of the insulator-to-metal transition in correlated electronic systems, most notably charge-density-wave (CDW) materials and Mott insulators, driven far-from-equilibrium by a DC electric field. By introducing a generic model of electrons coupled to an inelastic medium of phonons, we demonstrate that an electron avalanche can occur in the bulk limit of such insulators at arbitrarily small electric field. The quantum avalanche arises by the generation of a ladder of in-gap states, created by a multi-phonon emission process. Hot-phonons in the avalanche trigger a premature and partial collapse of the correlated gap. The details of the phonon spectrum dictate two-stage versus single-stage mechanisms which we associate with CDW and Mott resistive transitions, respectively. The electron and phonon temperatures, as well as the temperature dependence of the threshold fields, point to the quantum nature of this nonequilibrium phase transition.


title: Norm-resolvent convergence for Neumann Laplacians on manifolds thinning to graphs

abstract: Norm-resolvent convergence with order-sharp error estimate is established for Neumann Laplacians on thin domains in $\mathbb{R}^d,$ $d\ge2,$ converging to metric graphs in the limit of vanishing thickness parameter in the resonant case. The vertex matching conditions of the limiting quantum graph are revealed as being closely related to $\delta'$ type.


title: Odd colouring on the torus

abstract: A proper vertex-colouring of a simple graph $G$ is said to be odd if, for every non-isolated vertex $v$ of $G$, some colour appears an odd number of times in the neighbourhood of $v$. We show that if $G$ embeds in the torus, then it admits a proper odd vertex-colouring with at most $9$ colours.


title: Nonparametric estimation of the incubation time distribution

abstract: Nonparametric maximum likelihood estimators (MLEs) in inverse problems often have non-normal limit distributions, like Chernoff's distribution. However, if one considers smooth functionals of the model, with corresponding functionals of the MLE, one gets normal limit distributions and faster rates of convergence. We demonstrate this for a model for the incubation time of a disease. The usual approach in the latter models is to use parametric distributions, like Weibull and gamma distributions, which leads to inconsistent estimators. Smoothed bootstrap methods are discussed for constructing confidence intervals. The classical bootstrap, based on the nonparametric MLE itself, has been proved to be inconsistent in this situation.


title: Contribution of spanwise and cross-span vortices to the lift generation of low-aspect-ratio wings: Insights from force partitioning

abstract: This study reports on the vortex-induced lift production mechanisms in low Reynolds number flows over low aspect-ratio rectangular wings. We use a rigorous force partitioning method which allows for the estimation of the pressure-induced aerodynamic loads due to distinct flow features or vortex structures in the flow around the wing. The specific focus of this work is on distinguishing the effect of spanwise and cross-span oriented vortex structures on pressure-induced lift production. We quantify the lift induced on the wing by these different vortices, and also estimate their influence within different regions of the flow-field around the wing and in the wake. By varying the aspect-ratio and angle-of-attack of the wing, we show that for most cases, the spanwise oriented vorticity contributes less to the total lift than cross-span oriented vortices. Furthermore, the spanwise vorticity in the near wake is capable of producing net negative lift on the wing and this is explained by separating and quantifying the influence of vortex cores and regions of strain in the wake. The results demonstrate the utility of the force partitioning method for dissecting the flow physics of vortex dominated flows.


title: Accelerating potential evaluation over unstructured meshes in two dimensions

abstract: The accurate and efficient evaluation of potentials is of great importance for the numerical solution of partial differential equations. When the integration domain of the potential is irregular and is discretized by an unstructured mesh, the function spaces of near field and self-interactions are non-compact, and, thus, their computations cannot be easily accelerated. In this paper, we propose three novel and complementary techniques for accelerating the evaluation of potentials over unstructured meshes. Firstly, we rigorously characterize the geometry of the near field, and show that this analysis can be used to eliminate all the unnecessary near field interaction computations. Secondly, as the near field can be made arbitrarily small by increasing the order of the far field quadrature rule, the expensive near field interaction computation can be efficiently offloaded onto the FMM-based far field interaction computation, which leverages the computational efficiency of highly optimized parallel FMM libraries. Finally, we show that a separate interpolation mesh that is staggered to the quadrature mesh dramatically reduces the cost of constructing the interpolants. Besides these contributions, we present a robust and extensible framework for the evaluation and interpolation of 2-D volume potentials over complicated geometries. We demonstrate the effectiveness of the techniques with several numerical experiments.


title: Detecting the Role of an Entity in Harmful Memes: Techniques and Their Limitations

abstract: Harmful or abusive online content has been increasing over time, raising concerns for social media platforms, government agencies, and policymakers. Such harmful or abusive content can have major negative impact on society, e.g., cyberbullying can lead to suicides, rumors about COVID-19 can cause vaccine hesitance, promotion of fake cures for COVID-19 can cause health harms and deaths. The content that is posted and shared online can be textual, visual, or a combination of both, e.g., in a meme. Here, we describe our experiments in detecting the roles of the entities (hero, villain, victim) in harmful memes, which is part of the CONSTRAINT-2022 shared task, as well as our system for the task. We further provide a comparative analysis of different experimental settings (i.e., unimodal, multimodal, attention, and augmentation). For reproducibility, we make our experimental code publicly available. \url{https://github.com/robi56/harmful_memes_block_fusion}


title: Intermittent air invasion in pervaporating compliant microchannels

abstract: We explore air invasion in an initially water-filled dead-end compliant microchannel containing a constriction. The phenomenon is driven by the pervaporation of the liquid present in the channel through the surrounding medium. The penetration is intermittent, jerky, and characterised by a stop-and-go dynamics as the bubble escapes the constriction. We demonstrate that this sequence of arrest and jump of the bubble is due to an elastocapillary coupling between the air-liquid interface and the elastic medium. When the interface enters the constriction, its curvature strongly increases, leading to a depression within the liquid-filled channel which drives a compression of the channel. As the interface is forced to leave the constriction at a given threshold, due to the ongoing loss of liquid content by pervaporation, the pressure is suddenly released, which gives rise to a rapid propagation of the air bubbles away from the constriction and a restoration of the rest shape of the channel. Combining macroscopic observations and confocal imaging, we present a comprehensive experimental study of this phenomenon. In particular, the effect of the channel geometry on the time of arrest in the constriction and the jump length is investigated. Our novel microfluidic design succeeds in mimicking the role of inter-vessel pits in plants, which transiently stop the propagation of air embolism during long and severe droughts. It is expected to serve as a building block for further biomimetic studies in more complex leaf-like architectures, in order to recover this universal phenomena of intermittent propagation reported in real leaves.


title: TeamX@DravidianLangTech-ACL2022: A Comparative Analysis for Troll-Based Meme Classification

abstract: The spread of fake news, propaganda, misinformation, disinformation, and harmful content online raised concerns among social media platforms, government agencies, policymakers, and society as a whole. This is because such harmful or abusive content leads to several consequences to people such as physical, emotional, relational, and financial. Among different harmful content \textit{trolling-based} online content is one of them, where the idea is to post a message that is provocative, offensive, or menacing with an intent to mislead the audience. The content can be textual, visual, a combination of both, or a meme. In this study, we provide a comparative analysis of troll-based memes classification using the textual, visual, and multimodal content. We report several interesting findings in terms of code-mixed text, multimodal setting, and combining an additional dataset, which shows improvements over the majority baseline.


title: Self-Serviced IoT: Practical and Private IoT Computation Offloading with Full User Control

abstract: The rapid increase in the adoption of Internet-of-Things (IoT) devices raises critical privacy concerns as these devices can access a variety of sensitive data. The current status quo of relying on manufacturers' cloud services to process this data is especially problematic since users cede control once their data leaves their home. Multiple recent incidents further call into question if vendors can indeed be trusted with users' data. At the same time, users desire compelling features supported by IoT devices and ML-based cloud inferences which compels them to subscribe to manufacturer-managed cloud services. An alternative to use a local in-home hub requires substantial hardware investment, management, and scalability limitations. This paper proposes Self-Serviced IoT (SSIoT), a clean-slate approach of using a hybrid hub-cloud setup to enable privacy-aware computation offload for IoT applications. Uniquely, SSIoT enables opportunistic computation offload to public cloud providers while still ensuring that the end-user retains complete end-to-end control of their private data reducing the trust required from public cloud providers. We show that SSIoT can leverage emerging function-as-a-service computation (e.g. AWS Lambda) to make these offloads cost-efficient, scalable and high performance as long as key limitations of being stateless, limited resources, and security isolation can be addressed. We build an end-to-end prototype of SSIoT and evaluate it using several micro-benchmarks and example applications representing real-world IoT use cases. Our results show that SSIoT is highly scalable, as compared to local-only approaches which struggle with as little as 2-4 apps in parallel. We also show that SSIoT is cost-efficient (operating a smart doorbell for $10 a year) at the cost of minimal additional latency as compared to a local-only hub, even with a hardware ML accelerator.


title: The intrinsic reddening of the Magellanic Clouds as traced by background galaxies -- III. The Large Magellanic Cloud

abstract: We present a map of the total intrinsic reddening across ~90 deg$^{2}$ of the Large Magellanic Cloud (LMC) derived using optical (ugriz) and near-infrared (IR; YJKs) spectral energy distributions (SEDs) of background galaxies. The reddening map is created from a sample of 222,752 early-type galaxies based on the LEPHARE $\chi^{2}$ minimisation SED-fitting routine. We find excellent agreement between the regions of enhanced intrinsic reddening across the central (4x4 deg$^2$) region of the LMC and the morphology of the low-level pervasive dust emission as traced by far-IR emission. In addition, we are able to distinguish smaller, isolated enhancements that are coincident with known star-forming regions and the clustering of young stars observed in morphology maps. The level of reddening associated with the molecular ridge south of 30 Doradus is, however, smaller than in the literature reddening maps. The reduced number of galaxies detected in this region, due to high extinction and crowding, may bias our results towards lower reddening values. Our map is consistent with maps derived from red clump stars and from the analysis of the star formation history across the LMC. This study represents one of the first large-scale categorisations of extragalactic sources behind the LMC and as such we provide the LEPHARE outputs for our full sample of ~2.5 million sources.


title: Adjoint orbits in the Lie algebra of the generalized real orthogonal group

abstract: Let $(V,\gamma )$ be a real finite dimensional vector space with a symmetric bilinear form $\gamma $ whose kernel is spanned by a nonzero vector. The set of invertible real linear mappings of $(V, \gamma )$ into itself forms a Lie group called the generalized orthogonal group. This paper finds a unique representative for each orbit of the adjoint action of the generalized orthogonal group on its Lie algebra.


title: Efficient and flexible estimation of natural mediation effects under intermediate confounding and monotonicity constraints

abstract: Natural direct and indirect effects are mediational estimands that decompose the average treatment effect and describe how outcomes would be affected by contrasting levels of a treatment through changes induced in mediator values (in the case of the indirect effect) or not through induced changes in the mediator values (in the case of the direct effect). Natural direct and indirect effects are not generally point-identifiable in the presence of a treatment-induced confounder, however they may still be identified if one is willing to assume monotonicity between a treatment and the treatment-induced confounder. We argue that this assumption may be reasonable in the relatively common encouragement-design trial setting where intervention is randomized treatment assignment and the treatment-induced confounder is whether or not treatment was actually taken/adhered to. We develop efficiency theory for the natural direct and indirect effects under this monotonicity assumption, and use it to propose a nonparametric, multiply robust estimator. We demonstrate the finite sample properties of this estimator using a simulation study, and apply it to data from the Moving to Opportunity Study to estimate the natural direct and indirect effects of being randomly assigned to receive a Section 8 housing voucher -- the most common form of federal housing assistance -- on risk developing any mood or externalizing disorder among adolescent boys, possibly operating through various school and community characteristics.


title: Turbulent transport regimes in the tokamak boundary and operational limits

abstract: Two-fluid, three-dimensional, flux-driven, global, electromagnetic turbulence simulations carried out by using the GBS code are used to identify the main parameters controlling turbulent transport in the tokamak boundary and to delineate an electromagnetic phase space of edge turbulence. Four turbulent transport regimes are identified: (i) a regime of fully developed turbulence appearing at intermediate values of collisionality and $\beta$, with turbulence driven by resistive ballooning modes, related to the L-mode operation of tokamaks, (ii) a regime of reduced turbulent transport at low collisionality and large heat source, with turbulence driven by drift-waves, related to a high-density H-mode regime, (iii) a regime of extremely large turbulent transport at high collisionality, which is associated with the crossing of the density limit, and (iv) a regime above the ideal ballooning limit at high $\beta$, with global modes affecting the dynamics of the entire confined region, which can be associated with the crossing of the $\beta$ limit. The transition from the reduced to the developed turbulent transport regime is associated here with the H-mode density limit and an analytical scaling law for maximum edge density achievable in H-mode is obtained. Analogously, analytical scaling laws for the crossing of the L-mode density and $\beta$ limits are provided and compared to the results of GBS simulations.


title: Tight Differential Privacy Blanket for Shuffle Model

abstract: With the recent bloom of focus on digital economy, the importance of personal data has seen a massive surge of late. Keeping pace with this trend, the model of data market is starting to emerge as a process to obtain high-quality personal information in exchange of incentives. To have a formal guarantee to protect the privacy of the sensitive data involved in digital economy, \emph{differential privacy (DP)} is the go-to technique, which has gained a lot of attention by the community recently. However, it is essential to optimize the privacy-utility trade-off by ensuring the highest level of privacy protection is ensured while preserving the utility of the data. In this paper, we theoretically derive sufficient and necessary conditions to have tight $(\epsilon,\,\delta)$-DP blankets for the shuffle model, which, to the best of our knowledge, have not been proven before, and, thus, characterize the best possible DP protection for shuffle models which can be implemented in data markets to ensure privacy-preserving trading of digital economy.


title: Model-Contrastive Learning for Backdoor Defense

abstract: Due to the popularity of Artificial Intelligence (AI) techniques, we are witnessing an increasing number of backdoor injection attacks that are designed to maliciously threaten Deep Neural Networks (DNNs) causing misclassification. Although there exist various defense methods that can effectively erase backdoors from DNNs, they greatly suffer from both high Attack Success Rate (ASR) and a non-negligible loss in Benign Accuracy (BA). Inspired by the observation that a backdoored DNN tends to form a new cluster in its feature spaces for poisoned data, in this paper we propose a novel two-stage backdoor defense method, named MCLDef, based on Model-Contrastive Learning (MCL). In the first stage, our approach performs trigger inversion based on trigger synthesis, where the resultant trigger can be used to generate poisoned data. In the second stage, under the guidance of MCL and our defined positive and negative pairs, MCLDef can purify the backdoored model by pulling the feature representations of poisoned data towards those of their clean data counterparts. Due to the shrunken cluster of poisoned data, the backdoor formed by end-to-end supervised learning is eliminated. Comprehensive experimental results show that, with only 5% of clean data, MCLDef significantly outperforms state-of-the-art defense methods by up to 95.79% reduction in ASR, while in most cases the BA degradation can be controlled within less than 2%. Our code is available at https://github.com/WeCanShow/MCL.


title: Tackling Disorder in $\gamma$-Ga$_2$O$_3$

abstract: Ga$_2$O$_3$ and its polymorphs are attracting increasing attention. The rich structural space of polymorphic oxide systems such as Ga$_2$O$_3$ offers potential for electronic structure engineering, which is of particular interest for a range of applications, such as power electronics. $\gamma$-Ga$_2$O$_3$ presents a particular challenge across synthesis, characterisation, and theory due to its inherent disorder and resulting complex structure -- electronic structure relationship. Here, density functional theory is used in combination with a machine learning approach to screen nearly one million potential structures, thereby developing a robust atomistic model of the $\gamma$-phase. Theoretical results are compared with surface and bulk sensitive soft and hard X-ray photoelectron spectroscopy, X-ray absorption spectroscopy, spectroscopic ellipsometry, and photoluminescence excitation spectroscopy experiments representative of the occupied and unoccupied states of $\gamma$-Ga$_2$O$_3$. The first onset of strong absorption at room temperature is found at 5.1 eV from spectroscopic ellipsometry, which agrees well with the excitation maximum at 5.17 eV obtained by PLE spectroscopy, where the latter shifts to 5.33 eV at 5 K. This work presents a leap forward in the treatment of complex, disordered oxides and is a crucial step towards exploring how their electronic structure can be understood in terms of local coordination and overall structure.


title: Equations of tensor eigenschemes

abstract: We study schemes of tensor eigenvectors from an algebraic and geometric viewpoint. We characterize determinantal defining equations of such eigenschemes via linear equations in their coefficients, both in the general and in the symmetric case. We give a geometric necessary condition for a 0-dimensional scheme to be an eigenscheme.


title: Higher Rank Askey-Wilson Algebras as Skein Algebras

abstract: In this paper we give a topological interpretation and diagrammatic calculus for the rank $(n-2)$ Askey-Wilson algebra by proving there is an explicit isomorphism with the Kauffman bracket skein algebra of the $(n+1)$-punctured sphere. To do this we consider the Askey-Wilson algebra in the braided tensor product of $n$ copies of either the quantum group $\mathcal{U}_q{(\mathfrak{sl}_2)}$ or the reflection equation algebra. We then use the isomorpism of the Kauffman bracket skein algebra of the $(n+1)$-punctured sphere with the $\mathcal{U}_q{(\mathfrak{sl}_2})$ invariants of the Aleeksev moduli algebra to complete the correspondence. We also find the graded vector space dimension of the $\mathcal{U}_q{(\mathfrak{sl}_2})$ invariants of the Aleeksev moduli algebra and apply this to finding a presentation of the skein algebra of the five-punctured sphere and hence also find a presentation for the rank $2$ Askey-Wilson algebra.


title: Sub-nanotesla Sensitivity at the Nanoscale with a Single Spin

abstract: High-sensitivity detection of microscopic magnetic field is essential in many fields. Good sensitivity and high spatial resolution are mutually contradictory in measurement, which is quantified by the energy resolution limit (ERL). Here we report that a sensitivity of 0.5 ${\bf{nT/\sqrt{Hz}}}$ at the nanoscale is achieved experimentally by using nitrogen-vacancy defects in diamond with depths of tens of nanometers. The achieved sensitivity is substantially enhanced by integrating with multiple quantum techniques, including real-time-feedback initialization, dynamical decoupling with shaped pulses, repetitive readout via quantum logic. Our magnetic sensors will shed new light on searching new physics beyond the standard model, investigating microscopic magnetic phenomena in condensed matters, and detection of life activities at the sub-cellular scale.


title: Teaching computational thinking to space science students

abstract: Computational thinking is a key skill for space science graduates, who must apply advanced problem-solving skills to model complex systems, analyse big data sets, and develop control software for mission-critical space systems. We describe our work using Design Thinking to understand the challenges that students face in learning these skills. In the MSc Space Science & Technology at University College Dublin, we have used insights from this process to develop new teaching strategies, including improved assessment rubrics, supported by workshops promoting collaborative programming techniques. We argue that postgraduate level space science courses play a valuable role in developing more advanced computational skills in early-career space scientists.


title: Efficient algorithms for Bayesian Inverse Problems with Whittle--Mat\'ern Priors

abstract: This paper tackles efficient methods for Bayesian inverse problems with priors based on Whittle--Mat\'ern Gaussian random fields. The Whittle--Mat\'ern prior is characterized by a mean function and a covariance operator that is taken as a negative power of an elliptic differential operator. This approach is flexible in that it can incorporate a wide range of prior information including non-stationary effects, but it is currently computationally advantageous only for integer values of the exponent. In this paper, we derive an efficient method for handling all admissible noninteger values of the exponent. The method first discretizes the covariance operator using finite elements and quadrature, and uses preconditioned Krylov subspace solvers for shifted linear systems to efficiently apply the resulting covariance matrix to a vector. This approach can be used for generating samples from the distribution in two different ways: by solving a stochastic partial differential equation, and by using a truncated Karhunen-Lo\`eve expansion. We show how to incorporate this prior representation into the infinite-dimensional Bayesian formulation, and show how to efficiently compute the maximum a posteriori estimate, and approximate the posterior variance. Although the focus of this paper is on Bayesian inverse problems, the techniques developed here are applicable to solving systems with fractional Laplacians and Gaussian random fields. Numerical experiments demonstrate the performance and scalability of the solvers and their applicability to model and real-data inverse problems in tomography and a time-dependent heat equation.


title: Manipulating Non-Abelian Anyons in a Chiral Multichannel Kondo Model

abstract: Non-Abelian anyons are fractional excitations of gapped topological models believed to describe certain topological superconductors or quantum Hall states. Here, we provide the first numerical evidence that they emerge as independent entities also in gapless electronic models. Starting from a multi-impurity multichannel chiral Kondo model, we introduce a novel mapping to a single-impurity model, amenable to Wilson's numerical renormalization group. We extract its spectral degeneracy structure and fractional entropy, and calculate the $F$ matrices, which encode the topological information regarding braiding of anyons, directly from impurity spin-spin correlations. Impressive recent advances on realizing multichannel Kondo systems with chiral edges may thus bring anyons into reality sooner than expected.


title: Solar-Cycle Variation of quiet-Sun Magnetism and Surface Gravity Oscillation Mode

abstract: The origin of the quiet Sun magnetism is under debate. Investigating the solar cycle variation observationally in more detail can give us clues about how to resolve the controversies. We investigate the solar cycle variation of the most magnetically quiet regions and their surface gravity oscillation ($f$-) mode integrated energy ($E_f$). We use 12 years of HMI data and apply a stringent selection criteria, based on spatial and temporal quietness, to avoid any influence of active regions (ARs). We develop an automated high-throughput pipeline to go through all available magnetogram data and to compute $E_f$ for the selected quiet regions. We observe a clear solar cycle dependence of the magnetic field strength in the most quiet regions containing several supergranular cells. For patch sizes smaller than a supergranular cell, no significant cycle dependence is detected. The $E_f$ at the supergranular scale is not constant over time. During the late ascending phase of Cycle 24 (SC24, 2011-2012), it is roughly constant, but starts diminishing in 2013, as the maximum of SC24 is approached. This trend continues until mid-2017, when hints of strengthening at higher southern latitudes are seen. Slow strengthening continues, stronger at higher latitudes than at the equatorial regions, but $E_f$ never returns back to the values seen in 2011-2012. Also, the strengthening trend continues past the solar minimum, to the years when SC25 is already clearly ascending. Hence the $E_f$ behavior is not in phase with the solar cycle. The anticorrelation of $E_f$ with the solar cycle in gross terms is expected, but the phase shift of several years indicates a connection to the poloidal large-scale magnetic field component rather than the toroidal one. Calibrating AR signals with the QS $E_f$ does not reveal significant enhancement of the $f$-mode prior to AR emergence.


title: Induced subgraphs and tree decompositions V. One neighbor in a hole

abstract: What are the unavoidable induced subgraphs of graphs with large treewidth? It is well-known that the answer must include a complete graph, a complete bipartite graph, all subdivisions of a wall and line graphs of all subdivisions of a wall (we refer to these graphs as the "basic treewidth obstructions"). So it is natural to ask whether graphs excluding the basic treewidth obstructions as induced subgraphs have bounded treewidth. Sintiari and Trotignon answered this question in the negative. Their counterexamples, the so-called "layered wheels," contain wheels, where a wheel consists of a hole (i.e., an induced cycle of length at least four) along with a vertex with at least three neighbors in the hole. This leads one to ask whether graphs excluding wheels and the basic treewidth obstructions as induced subgraphs have bounded treewidth. This also turns out to be false due to Davies' recent example of graphs with large treewidth, no wheels and and no basic treewidth obstructions as induced subgraphs. However, in Davies' example there exist holes and vertices (outside of the hole) with two neighbors in them. Here we prove that a hole with a vertex with at least two neighbors in it is inevitable in graphs with large treewidth and no basic obstruction. Our main result is that graphs in which every vertex has at most one neighbor in every hole (that does not contain it) and with the basic treewidth obstructions excluded as induced subgraphs have bounded treewidth.


title: NaturalSpeech: End-to-End Text to Speech Synthesis with Human-Level Quality

abstract: Text to speech (TTS) has made rapid progress in both academia and industry in recent years. Some questions naturally arise that whether a TTS system can achieve human-level quality, how to define/judge that quality and how to achieve it. In this paper, we answer these questions by first defining the human-level quality based on the statistical significance of subjective measure and introducing appropriate guidelines to judge it, and then developing a TTS system called NaturalSpeech that achieves human-level quality on a benchmark dataset. Specifically, we leverage a variational autoencoder (VAE) for end-to-end text to waveform generation, with several key modules to enhance the capacity of the prior from text and reduce the complexity of the posterior from speech, including phoneme pre-training, differentiable duration modeling, bidirectional prior/posterior modeling, and a memory mechanism in VAE. Experiment evaluations on popular LJSpeech dataset show that our proposed NaturalSpeech achieves -0.01 CMOS (comparative mean opinion score) to human recordings at the sentence level, with Wilcoxon signed rank test at p-level p >> 0.05, which demonstrates no statistically significant difference from human recordings for the first time on this dataset.


title: Motion Planning around Obstacles with Convex Optimization

abstract: Trajectory optimization offers mature tools for motion planning in high-dimensional spaces under dynamic constraints. However, when facing complex configuration spaces, cluttered with obstacles, roboticists typically fall back to sampling-based planners that struggle in very high dimensions and with continuous differential constraints. Indeed, obstacles are the source of many textbook examples of problematic nonconvexities in the trajectory-optimization problem. Here we show that convex optimization can, in fact, be used to reliably plan trajectories around obstacles. Specifically, we consider planning problems with collision-avoidance constraints, as well as cost penalties and hard constraints on the shape, the duration, and the velocity of the trajectory. Combining the properties of B\'ezier curves with a recently-proposed framework for finding shortest paths in Graphs of Convex Sets (GCS), we formulate the planning problem as a compact mixed-integer optimization. In stark contrast with existing mixed-integer planners, the convex relaxation of our programs is very tight, and a cheap rounding of its solution is typically sufficient to design globally-optimal trajectories. This reduces the mixed-integer program back to a simple convex optimization, and automatically provides optimality bounds for the planned trajectories. We name the proposed planner GCS, after its underlying optimization framework. We demonstrate GCS in simulation on a variety of robotic platforms, including a quadrotor flying through buildings and a dual-arm manipulator (with fourteen degrees of freedom) moving in a confined space. Using numerical experiments on a seven-degree-of-freedom manipulator, we show that GCS can outperform widely-used sampling-based planners by finding higher-quality trajectories in less time.


title: Graph Neural Networks for Propositional Model Counting

abstract: Graph Neural Networks (GNNs) have been recently leveraged to solve several logical reasoning tasks. Nevertheless, counting problems such as propositional model counting (#SAT) are still mostly approached with traditional solvers. Here we tackle this gap by presenting an architecture based on the GNN framework for belief propagation (BP) of Kuch et al., extended with self-attentive GNN and trained to approximately solve the #SAT problem. We ran a thorough experimental investigation, showing that our model, trained on a small set of random Boolean formulae, is able to scale effectively to much larger problem sizes, with comparable or better performances of state of the art approximate solvers. Moreover, we show that it can be efficiently fine-tuned to provide good generalization results on different formulae distributions, such as those coming from SAT-encoded combinatorial problems.


title: Accelerated Reinforcement Learning for Temporal Logic Control Objectives

abstract: This paper addresses the problem of learning control policies for mobile robots, modeled as unknown Markov Decision Processes (MDPs), that are tasked with temporal logic missions, such as sequencing, coverage, or surveillance. The MDP captures uncertainty in the workspace structure and the outcomes of control decisions. The control objective is to synthesize a control policy that maximizes the probability of accomplishing a high-level task, specified as a Linear Temporal Logic (LTL) formula. To address this problem, we propose a novel accelerated model-based reinforcement learning (RL) algorithm for LTL control objectives that is capable of learning control policies significantly faster than related approaches. Its sample-efficiency relies on biasing exploration towards directions that may contribute to task satisfaction. This is accomplished by leveraging an automaton representation of the LTL task as well as a continuously learned MDP model. Finally, we provide comparative experiments that demonstrate the sample efficiency of the proposed method against recent RL methods for LTL objectives.


title: Social-ecological feedbacks drive tipping points in farming system diversification

abstract: The emergence and impact of tipping points have garnered significant interest in both the social and natural sciences. Despite widespread recognition of the importance of feedbacks between human and natural systems, it is often assumed that the observed nonlinear dynamics in these coupled systems rests within either underlying human or natural processes, rather than the rates at which they interact. Using adoption of agricultural diversification practices as a case study, we show how two stable management paradigms (one dominated by conventional, homogeneous practices, the other by diversified practices) can emerge purely from temporal feedbacks between human decisions and ecological responses. We explore how this temporal mechanism of tipping points provides insight into designing more effective interventions that promote farmers transitions towards sustainable agriculture. Moreover, our flexible modeling framework could be applied to other cases to provide insight into numerous questions in social-ecological systems research and environmental policy.


title: Generalized modified principal components analysis of Russian universities competitiveness

abstract: The article is devoted to the competitiveness analysis of Russian institutions of higher education in international and local markets. The methodology of research is based on generalized modified principal component analysis. Principal components analysis has proven its efficiency in business performance assessment. We apply a modification of this methodology to construction of an aggregate index of university performance. The whole set of principal components with weighting coefficients equal to the proportions of the corresponding explained variance are utilized as an aggregate measure of various aspects of higher education. This methodology allows to reveal the factors which exert positive or negative influence on university competitiveness. We construct a kind of objective ranking of universities in order to estimate the current situation and prospects of higher education in Russia. It is applicable for evaluation of public policy in higher education, which, by inertia, aims to promote competition rather than cooperation among universities.


title: Solvability of a class of fully nonlinear elliptic equations on tori

abstract: We study the solvability of a class of fully nonlinear equations on the flat torus. The equations arise in the study of some Calabi-Yau type problems in torus bundles.


title: Mean-field Floquet theory for a three-level cold-atom laser

abstract: We present a theoretical description for a lasing scheme for atoms with three internal levels in a $V$-configuration and interacting with an optical cavity. The use of a $V$-level system allows for an efficient closed lasing cycle to be sustained on a dipole-forbidden transition without the need for incoherent repumping. This is made possible by utilizing an additional dipole-allowed transition. We determine the lasing threshold and emission frequency by performing a stability analysis of the non-lasing solution. In the lasing regime, we use a mean-field Floquet method (MFFM) to calculate the lasing intensity and emission frequency. This MFFM predicts the lasing transition to be accompanied by the breaking of a continuous $U(1)$ symmetry in a single Fourier component of the total field. In addition, we use the MFFM to derive bistable lasing and non-lasing solutions that highlight the non-linear nature of this system. We then test the bistability by studying hysteresis when slowly ramping external parameters across the threshold and back. Furthermore, we also compare our mean-field results to a second-order cumulant approach. The work provides simple methods for understanding complex physics that occur in cold atom lasers with narrow line transitions.


title: Different degrees of complexity in multiparticle production at the LHC energies with the transition from soft to hard processes

abstract: We apply a complex network-based method of visibility graph to explore the degree of complexity and fractal nature in the multiparticle production process at the LHC energy regime. For the investigation, we have used proton-proton (pp) collision events at $\sqrt{s}$ = 7 and 13 TeV and proton-nucleus (p-A) collision events at $\sqrt{s_{\rm NN}}$ = 5.02 TeV, generated using a hybrid Monte-Carlo model, EPOS3 with hydrodynamical evolution. Particle production in high energy collisions becomes gradually harder with the increase of the produced particle's transverse momentum. We have presented for the first time a detailed analysis of the change of fractal behaviour as the process becomes gradually harder than the soft ones for the above mentioned colliding systems. The study reveals that the degree of complexity depends on the hardness of the particle production process. System size dependency, as well as energy dependency of fractal nature, are also exhibited by the present analysis.


title: Spike-based building blocks for performing logic operations using Spiking Neural Networks on SpiNNaker

abstract: One of the most interesting and still growing scientific fields is neuromorphic engineering, which is focused on studying and designing hardware and software with the purpose of mimicking the basic principles of biological nervous systems. Currently, there are many research groups developing practical applications based on neuroscientific knowledge. This work provides researchers with a novel toolkit of building blocks based on Spiking Neural Networks that emulate the behavior of different logic gates. These could be very useful in many spike-based applications, since logic gates are the basis of digital circuits. The designs and models proposed are presented and implemented on a SpiNNaker hardware platform. Different experiments were performed in order to validate the expected behavior, and the obtained results are discussed. The functionality of traditional logic gates and the proposed blocks is studied, and the feasibility of the presented approach is discussed.


title: Hypothesis Tests with Functional Data for Surface Quality Change Detection in Surface Finishing Processes

abstract: This work is concerned with providing a principled decision process for stopping or tool-changing in a surface finishing process. The decision process is supposed to work for products of non-flat geometry. The solution is based on conducting hypothesis testing on the bearing area curves from two consecutive stages of a surface finishing process. In each stage, the bearing area curves, which are in fact the nonparametric quantile curves representing the surface roughness, are extracted from surface profile measurements at a number of sampling locations on the surface of the products. The hypothesis test of these curves informs the decision makers whether there is a change in surface quality induced by the current finishing action. When such change is detected, the current action is deemed effective and should thus continue, while when no change is detected, the effectiveness of the current action is then called into question, signaling possibly some change in the course of action. Application of the hypothesis testing-based decision procedure to both spherical and flat surfaces demonstrates the effectiveness and benefit of the proposed method and confirms its geometry-agnostic nature.


title: Static Analysis for AWS Best Practices in Python Code

abstract: Amazon Web Services (AWS) is a comprehensive and broadly adopted cloud provider, offering over 200 fully featured services, including compute, database, storage, networking and content delivery, machine learning, Internet of Things and many others. AWS SDKs provide access to AWS services through API endpoints. However, incorrect use of these APIs can lead to code defects, crashes, performance issues, and other problems. This paper presents automated static analysis rules, developed in the context of a commercial service for detection of code defects and security vulnerabilities, to identify deviations from AWS best practices in Python applications that use the AWS SDK. Such applications use the AWS SDK for Python, called "Boto3", to access AWS cloud services. However, precise static analysis of Python applications that use cloud SDKs requires robust type inference for inferring the types of cloud service clients. The dynamic style of Boto3 APIs poses unique challenges for type resolution, as does the interprocedural style in which service clients are used in practice. In support of our best-practices goal, we present a layered strategy for type inference that combines multiple type-resolution and tracking strategies in a staged manner. From our experiments across >3,000 popular Python GitHub repos that make use of the AWS SDK, our layered type inference system achieves 85% precision and 100% recall in inferring Boto3 clients in Python client code. Additionally, we present a representative sample of eight AWS best-practice rules that detect a wide range of issues including pagination, polling, and batch operations. We have assessed the efficacy of these rules based on real-world developer feedback. Developers have accepted more than 85% of the recommendations made by five out of eight Python rules, and almost 83% of all recommendations.


title: Speaker Reinforcement Using Target Source Extraction for Robust Automatic Speech Recognition

abstract: Improving the accuracy of single-channel automatic speech recognition (ASR) in noisy conditions is challenging. Strong speech enhancement front-ends are available, however, they typically require that the ASR model is retrained to cope with the processing artifacts. In this paper we explore a speaker reinforcement strategy for improving recognition performance without retraining the acoustic model (AM). This is achieved by remixing the enhanced signal with the unprocessed input to alleviate the processing artifacts. We evaluate the proposed approach using a DNN speaker extraction based speech denoiser trained with a perceptually motivated loss function. Results show that (without AM retraining) our method yields about 23% and 25% relative accuracy gains compared with the unprocessed for the monoaural simulated and real CHiME-4 evaluation sets, respectively, and outperforms a state-of-the-art reference method.


title: Performance Analysis of Cascaded Reconfigurable Intelligent Surface Networks

abstract: Reconfigurable intelligent surfaces (RIS) have been presented as a solution to realize the concept of smart radio environments, wherein uninterrupted coverage and extremely high quality of service can be ensured. In this paper, assuming that multiple RIS are deployed in the propagation environment, the performance of a cascaded RIS network affected by imperfect phase estimation is evaluated. Specifically, we derive closed-form expressions for the outage probability, the ergodic capacity and the average symbol error probability that can be utilized to evaluate the coverage of the proposed network, as well as the average capacity and the data transmission accuracy. Finally, we validate the derived expressions through simulations and show that by choosing the number of the participating RIS correctly, a cascaded RIS network can outperform a single RIS aided system and extend the network's coverage efficiently.


title: Supply Chain Logistics with Quantum and Classical Annealing Algorithms

abstract: Noisy intermediate-scale quantum (NISQ) hardware is almost universally incompatible with full-scale optimization problems of practical importance which can have many variables and unwieldy objective functions. As a consequence, there is a growing body of literature that tests quantum algorithms on miniaturized versions of problems that arise in an operations research setting. Rather than taking this approach, we investigate a problem of substantial commercial value, multi-truck vehicle routing for supply chain logistics, at the scale used by a corporation in their operations. Such a problem is too complex to be fully embedded on any near-term quantum hardware or simulator; we avoid confronting this challenge by taking a hybrid workflow approach: we iteratively assign routes for trucks by generating a new binary optimization problem instance one truck at a time. Each instance has $\sim 2500$ quadratic binary variables, putting it in a range that is feasible for NISQ quantum computing, especially quantum annealing hardware. We test our methods using simulated annealing and the D-Wave Hybrid solver as a place-holder in wait of quantum hardware developments. After feeding the vehicle routes suggested by these runs into a highly realistic classical supply chain simulation, we find excellent performance for the full supply chain. Our work gives a set of techniques that can be adopted in contexts beyond vehicle routing to apply NISQ devices in a hybrid fashion to large-scale problems of commercial interest.


title: Short-time dynamics in active systems: the Vicsek model

abstract: We study the short-time dynamics (STD) of the Vicsek model with vector noise. The study of STD has proved to be very useful in the determination of the critical point, critical exponents, and spinodal points in equilibrium phase transitions. Here we aim to test its applicability in active systems. We find that, despite the essential non-equilibrium characteristics of the VM (absence of detailed balance, activity), the STD presents qualitatively the same phenomenology as in equilibrium systems. From the STD one can distinguish whether the transition is continuous or discontinuous (which we have checked also computing the Binder cumulant). When the transition is continuous, one can determine the critical point and the critical exponents.


title: Activating More Pixels in Image Super-Resolution Transformer

abstract: Transformer-based methods have shown impressive performance in low-level vision tasks, such as image super-resolution. However, we find that these networks can only utilize a limited spatial range of input information through attribution analysis. This implies that the potential of Transformer is still not fully exploited in existing networks. In order to activate more input pixels for better reconstruction, we propose a novel Hybrid Attention Transformer (HAT). It combines both channel attention and window-based self-attention schemes, thus making use of their complementary advantages of being able to utilize global statistics and strong local fitting capability. Moreover, to better aggregate the cross-window information, we introduce an overlapping cross-attention module to enhance the interaction between neighboring window features. In the training stage, we additionally adopt a same-task pre-training strategy to exploit the potential of the model for further improvement. Extensive experiments show the effectiveness of the proposed modules, and we further scale up the model to demonstrate that the performance of this task can be greatly improved. Our overall method significantly outperforms the state-of-the-art methods by more than 1dB. Codes and models are available at https://github.com/XPixelGroup/HAT.


title: BLINK with Elasticsearch for Efficient Entity Linking in Business Conversations

abstract: An Entity Linking system aligns the textual mentions of entities in a text to their corresponding entries in a knowledge base. However, deploying a neural entity linking system for efficient real-time inference in production environments is a challenging task. In this work, we present a neural entity linking system that connects the product and organization type entities in business conversations to their corresponding Wikipedia and Wikidata entries. The proposed system leverages Elasticsearch to ensure inference efficiency when deployed in a resource limited cloud machine, and obtains significant improvements in terms of inference speed and memory consumption while retaining high accuracy.


title: When are two HKR isomorphisms equal?

abstract: Let $X\hookrightarrow S$ be a closed embedding of smooth schemes which splits to first order. An HKR isomorphism is an isomorphism between the shifted normal bundle $\mathbb{N}_{X/S}[-1]$ and the derived self-intersection $X\times^R_SX$. Given two different first order splittings of a closed embedding, one can obtain two HKR isomorphisms using a construction of Arinkin and C\u{a}ld\u{a}raru. A priori, it is not known if the two isomorphisms are equal or not. We define the generalized Atiyah class of a vector bundle on $X$ associated to a closed embedding and two first order splittings. We use the generalized Atiyah class to give sufficient and necessary conditions for when the two HKR isomorphisms are equal over $X$ and over $X\times X$ respectively. When $i$ is the diagonal embedding, there are two natural projections from $X\times X$ to $X$. We show that the HKR isomorphisms defined by the two projections are equal over $X$, but not equal over $X\times X$ in general.


title: Higher-Order Interactions and Their Duals Reveal Synergy and Logical Dependence beyond Shannon-Information

abstract: Information-theoretic quantities reveal dependencies among variables in the structure of joint, marginal, and conditional entropies, but leave some fundamentally different systems indistinguishable. Furthermore, there is no consensus on how to construct and interpret a higher-order generalisation of mutual information (MI). In this manuscript, we show that a recently proposed model-free definition of higher-order interactions amongst binary variables (MFIs), like mutual information, is a M\"obius inversion on a Boolean algebra, but of surprisal instead of entropy. This gives an information-theoretic interpretation to the MFIs, and by extension to Ising interactions. We study the dual objects to MI and MFIs on the order-reversed lattice, and find that dual MI is related to the previously studied differential mutual information, while dual interactions (outeractions) are interactions with respect to a different background state. Unlike mutual information, in- and outeractions uniquely identify all six 2-input logic gates, the dy- and triadic distributions, and different causal dynamics that are identical in terms of their Shannon-information content.

categories: cs.IT cond-mat.stat-mech math.IT math.ST stat.TH


title: Training and Upgrading Tokamak Power Plants with Remountable Superconducting Magnets

abstract: All high field superconductors producing magnetic fields above 12 T are brittle. Nevertheless, they will probably be the materials of choice in commercial tokamaks because the fusion power density in a tokamak scales as the fourth power of magnetic field. Here we propose using robust, ductile superconductors during the reactor commissioning phase in order to avoid brittle magnet failure while operational safety margins are being established. Here we use the PROCESS systems code to inform development strategy and to provide detailed capital-cost-minimised tokamak power plant designs. We propose building a 'demonstrator' tokamak with an electric power output of 100 MWe, a plasma fusion gain Qplasma = 17, a net gain Qnet = 1.3, a cost of electricity (COE) of \$ 1148 (2021 US) per MWh (at 75 % availability) and high temperature superconducting operational TF magnets producing 5.4 T on-axis and 12.5 T peak-field. It uses Nb-Ti training magnets and will cost about \$ 9.75 Bn (2021 US). An equivalent 500 MWe plant has a COE of \$ 608 per MW suggesting that large tokamaks may eventually dominate the commercial market. We consider a range of designs optimised for capital cost (as the reactors considered are pilot plants) consisting of both 100 MWe and 500 MWe plants with each of two approaches for the magnets: training and upgrading. With training magnets, the plant is cost-optimised for REBCO TF magnets. For a 100 MWe plant, the Nb-Ti training magnets typically produce 70 % peak field on the toroidal field coils compared to REBCO magnets, 65 % peak field on the central solenoid and cost approx. 10 % of the total machine cost. Training magnets could in principle be reused for each of say 10 subsequent (commercial) machines and hence at 1 % bring only marginal additional cost.


title: MixAugment & Mixup: Augmentation Methods for Facial Expression Recognition

abstract: Automatic Facial Expression Recognition (FER) has attracted increasing attention in the last 20 years since facial expressions play a central role in human communication. Most FER methodologies utilize Deep Neural Networks (DNNs) that are powerful tools when it comes to data analysis. However, despite their power, these networks are prone to overfitting, as they often tend to memorize the training data. What is more, there are not currently a lot of in-the-wild (i.e. in unconstrained environment) large databases for FER. To alleviate this issue, a number of data augmentation techniques have been proposed. Data augmentation is a way to increase the diversity of available data by applying constrained transformations on the original data. One such technique, which has positively contributed to various classification tasks, is Mixup. According to this, a DNN is trained on convex combinations of pairs of examples and their corresponding labels. In this paper, we examine the effectiveness of Mixup for in-the-wild FER in which data have large variations in head poses, illumination conditions, backgrounds and contexts. We then propose a new data augmentation strategy which is based on Mixup, called MixAugment. According to this, the network is trained concurrently on a combination of virtual examples and real examples; all these examples contribute to the overall loss function. We conduct an extensive experimental study that proves the effectiveness of MixAugment over Mixup and various state-of-the-art methods. We further investigate the combination of dropout with Mixup and MixAugment, as well as the combination of other data augmentation techniques with MixAugment.