title: Evidence of Ba substitution induced spin-canting in the magnetic Weyl semimetal EuCd$_2$As$_2$

abstract: Recently EuCd$_2$As$_2$ was predicted to be a magnetic Weyl semi-metal with a lone pair of Weyl nodes generated by A-type antiferromagnetism and protected by a rotational symmetry. However, it was soon discovered that the actual magnetic structure broke the rotational symmetry and internal pressure was later suggested as a route to stabilize the desired magnetic state. In this work we test this prediction by synthesizing a series of Eu$_{1-x}$Ba$_x$Cd$_2$As$_2$ single crystals and studying their structural, magnetic and transport properties via both experimental techniques and first-principles calculations. We find that small concentrations of Ba ($\sim 3-10\% $) lead to a small out-of-plane canting of the Eu moment. However, for higher concentrations this effect is suppressed and a nearly in-plane model is recovered. Studying the transport properties we find that all compositions show evidence of an Anomalous Hall Effect dominated by the intrinsic mechanism as well as large negative magnetoresistances in the longitudinal channel. A non-monotonic evolution of the transport properties is seen across the series which correlates to the proposed canting suggesting canting may enhance the topological effects. Careful density functional theory calculations using an all-electron approach revise prior predictions finding a purely ferromagnetic ground state with in-plane moments for both the EuCd$_2$As$_2$ and Eu$_{0.5}$Ba$_{0.5}$Cd$_2$As$_2$ compounds - corroborating our experimental findings. This work suggests that Ba substitution can tune the magnetic properties in unexpected ways which correlate to changes in measures of topological properties, encouraging future work to locate the ideal Ba concentration for Eu moment canting.


title: Medical Image Segmentation Using a U-Net type of Architecture

abstract: Deep convolutional neural networks have been proven to be very effective in image related analysis and tasks, such as image segmentation, image classification, image generation, etc. Recently many sophisticated CNN based architectures have been proposed for the purpose of image segmentation. Some of these newly designed networks are used for the specific purpose of medical image segmentation, models like V-Net, U-Net and their variants. It has been shown that U-Net produces very promising results in the domain of medical image segmentation.However, in this paper, we argue that the architecture of U-Net, when combined with a supervised training strategy at the bottleneck layer, can produce comparable results with the original U-Net architecture. More specifically, we introduce a fully supervised FC layers based pixel-wise loss at the bottleneck of the encoder branch of U-Net. The two layer based FC sub-net will train the bottleneck representation to contain more semantic information, which will be used by the decoder layers to predict the final segmentation map. The FC layer based sub-net is trained by employing the pixel-wise cross entropy loss, while the U-Net architectures trained by using L1 loss.


title: Simulating the transport of dissolved ammonium-nitrogen and phosphate-phosphorous to streams using artificial neural network (ANN)

abstract: The export of agricultural fertilizers to streams results in untold harms to downstream water quality and thus ecosystem. Understanding and simulating the export of these chemicals is the first step to control their transport to streams. In this paper, the export of ammonium and phosphate, two major contaminants resulted from agricultural activities, were simulated using artificial neural network (ANN) and daily sediment and runoff data. Results indicated that ANN could simulate the trend of the export of these chemicals to streams successfully; however, it could not simulate the extreme events well. This might be due to the complexity of the transport of ammonium and phosphate, which contains many different processes that could not be captured in daily sediment and runoff data.


title: iUNets: Fully invertible U-Nets with Learnable Up- and Downsampling

abstract: U-Nets have been established as a standard architecture for image-to-image learning problems such as segmentation and inverse problems in imaging. For large-scale data, as it for example appears in 3D medical imaging, the U-Net however has prohibitive memory requirements. Here, we present a new fully-invertible U-Net-based architecture called the iUNet, which employs novel learnable and invertible up- and downsampling operations, thereby making the use of memory-efficient backpropagation possible. This allows us to train deeper and larger networks in practice, under the same GPU memory restrictions. Due to its invertibility, the iUNet can furthermore be used for constructing normalizing flows.


title: Physics potential of timing layers in future collider detectors

abstract: The physics potential of timing layers with a few tens of pico-second resolution in the calorimeters of future collider detectors is explored. These studies show how such layers can be used for particle identification and illustrate the potential for detecting new event signatures originating from physics beyond the standard model.


title: The Dynamics of Quantum Correlations of Two Qubits in a Common Environment Modeled by Large Random Matrices

abstract: This paper is a continuation of our previous paper [8], in which we have studied the dynamics of quantum correlations of two qubits embedded each into its own disordered multiconnected environment. We modeled the environment by random matrices of large size allowing for a possibility to describe meso- and even nanoenvironments. In this paper we also study the dynamics of quantum correlations of two qubits but embedded into a common environment which we also model by random matrices of large size. We obtain the large size limit of the reduced density matrix of two qubits. We then use an analog of the Bogolyubov-van Hove (also known as the Born-Markov) approximation of the theory of open systems and statistical mechanics. The approximation does not imply in general the Markovian evolution in our model but allows for sufficiently detailed analysis both analytical and numerical of the evolution of several widely used quantifiers of quantum correlation, mainly entanglement. We find a number of new patterns of qubits dynamics comparing with the case of independent environments studied in [8] and displaying the role of dynamical (indirect, via the environment) correlations in the enhancing and diversification of qubit evolution. Our results, (announced in [9]), can be viewed as a manifestation of the universality of certain properties of the decoherent qubit evolution which have been found previously in various exact and approximate versions of two-qubit models with macroscopic bosonic environment.


title: Is the primary CoRoT target HD43587 under a Maunder minimum phase?

abstract: One of the most enigmatic phenomena related to solar activity is the so-called Maunder minimum phase. It consists of the lowest sunspot's counting ever registered for the Sun, and never so far confirmed for other stars. Since the spectroscopic observations of stellar activity at the Mount Wilson Observatory, the solar analog HD43587 has shown a very low and apparently invariant activity level, which makes it a Maunder minimum candidate. We analyze the chromospheric activity evolution of HD43587 and its evolutive status, intending to unravel the reasons for this low and flat activity. We use an activity measurements dataset available in the literature, and compute the activity S-index from HARPS and NARVAL spectra, to infer a cycle period. Besides, we analyze the CoRoT light-curve of HD43587, and apply gyrochronology and activity calibrations, to determine its rotation period. Finally, based on an evolutionary model and the inferred rotation period, we use the EULAG-MHD code to perform global MHD simulations of HD43587 with the aim of getting some insights about its dynamo process. We confirm the almost flat activity profile, with a cycle period $P_{\mathrm{cyc}} = 10.44\pm3.03$ yrs deduced from the S-index time series, and a long-term trend that might be a period larger than 50 yrs. It was impossible to define a rotation period from the light-curve, however gyrochronology and activity calibrations allow to infer an indirect estimate of $\overline{P}_{\mathrm{rot}} = 22.6 \pm 1.9$ d. Furthermore, the MHD simulations confirm an oscillatory dynamo with a cycle period in good agreement with the observations and a low level of surface magnetic activity. We conclude that this object might be experiencing a "natural" decrease in magnetic activity as a consequence of its age. Nevertheless, the possibility that HD43587 is in a Maunder minimum phase cannot be ruled out.


title: A derivative-free method for structured optimization problems

abstract: Structured optimization problems are ubiquitous in fields like data science and engineering. The goal in structured optimization is using a prescribed set of points, called atoms, to build up a solution that minimizes or maximizes a given function. In the present paper, we want to minimize a black-box function over the convex hull of a given set of atoms, a problem that can be used to model a number of real-world applications. We focus on problems whose solutions are sparse, i.e., solutions that can be obtained as a proper convex combination of just a few atoms in the set, and propose a suitable derivative-free inner approximation approach that nicely exploits the structure of the given problem. This enables us to properly handle the dimensionality issues usually connected with derivative-free algorithms, thus getting a method that scales well in terms of both the dimension of the problem and the number of atoms. We analyze global convergence to stationary points. Moreover, we show that, under suitable assumptions, the proposed algorithm identifies a specific subset of atoms with zero weight in the final solution after finitely many iterations. Finally, we report numerical results showing the effectiveness of the proposed method.


title: Reinforcement Learning Based on Real-Time Iteration NMPC

abstract: Reinforcement Learning (RL) has proven a stunning ability to learn optimal policies from data without any prior knowledge on the process. The main drawback of RL is that it is typically very difficult to guarantee stability and safety. On the other hand, Nonlinear Model Predictive Control (NMPC) is an advanced model-based control technique which does guarantee safety and stability, but only yields optimality for the nominal model. Therefore, it has been recently proposed to use NMPC as a function approximator within RL. While the ability of this approach to yield good performance has been demonstrated, the main drawback hindering its applicability is related to the computational burden of NMPC, which has to be solved to full convergence. In practice, however, computationally efficient algorithms such as the Real-Time Iteration (RTI) scheme are deployed in order to return an approximate NMPC solution in very short time. In this paper we bridge this gap by extending the existing theoretical framework to also cover RL based on RTI NMPC. We demonstrate the effectiveness of this new RL approach with a nontrivial example modeling a challenging nonlinear system subject to stochastic perturbations with the objective of optimizing an economic cost.


title: A thermodynamic uncertainty relation for a system with memory

abstract: We introduce an example of thermodynamic uncertainty relation (TUR) for systems modeled by a one-dimensional generalised Langevin dynamics with memory, determining the motion of a micro-bead driven in a complex fluid. Contrary to TURs typically discussed in the previous years, our observables and the entropy production rate are one-time variables. The bound to the signal-to-noise ratio of such state-dependent observables only in some cases can be mapped to the entropy production rate. For example, this is true in Markovian systems. Hence, the presence of memory in the system complicates the thermodynamic interpretation of the uncertainty relation.


title: ObjTables: structured spreadsheets that promote data quality, reuse, and integration

abstract: A central challenge in science is to understand how systems behaviors emerge from complex networks. This often requires aggregating, reusing, and integrating heterogeneous information. Supplementary spreadsheets to articles are a key data source. Spreadsheets are popular because they are easy to read and write. However, spreadsheets are often difficult to reanalyze because they capture data ad hoc without schemas that define the objects, relationships, and attributes that they represent. To help researchers reuse and compose spreadsheets, we developed ObjTables, a toolkit that makes spreadsheets human- and machine-readable by combining spreadsheets with schemas and an object-relational mapping system. ObjTables includes a format for schemas; markup for indicating the class and attribute represented by each spreadsheet and column; numerous data types for scientific information; and high-level software for using schemas to read, write, validate, compare, merge, revision, and analyze spreadsheets. By making spreadsheets easier to reuse, ObjTables could enable unprecedented secondary meta-analyses. By making it easy to build new formats and associated software for new types of data, ObjTables can also accelerate emerging scientific fields.


title: Approximating Stable Matchings with Ties of Bounded Size

abstract: Finding a stable matching is one of the central problems in algorithmic game theory. If participants are allowed to have ties and incomplete preferences, computing a stable matching of maximum cardinality is known to be NP-hard. In this paper we present a $(3L-2)/(2L-1)$-approximation algorithm for the stable matching problem with ties of size at most $L$ and incomplete lists. Our result matches the known lower bound on the integrality gap for the associated LP formulation.


title: A Deep Reinforcement Learning Approach to Efficient Drone Mobility Support

abstract: The growing deployment of drones in a myriad of applications relies on seamless and reliable wireless connectivity for safe control and operation of drones. Cellular technology is a key enabler for providing essential wireless services to flying drones in the sky. Existing cellular networks targeting terrestrial usage can support the initial deployment of low-altitude drone users, but there are challenges such as mobility support. In this paper, we propose a novel handover framework for providing efficient mobility support and reliable wireless connectivity to drones served by a terrestrial cellular network. Using tools from deep reinforcement learning, we develop a deep Q-learning algorithm to dynamically optimize handover decisions to ensure robust connectivity for drone users. Simulation results show that the proposed framework significantly reduces the number of handovers at the expense of a small loss in signal strength relative to the baseline case where a drone always connect to a base station that provides the strongest received signal strength.


title: Blazar Variability: A Study of Non-stationarity and the Flux-RMS Relation

abstract: We analyze X-ray light curves of the blazars Mrk 421, PKS 2155-304, and 3C 273 using observations by the Soft X-ray Telescope on board AstroSat and archival XMM-Newton data. We use light curves of length 30-90 ks each from 3-4 epochs for all three blazars. We apply the autoregressive integrated moving average (ARIMA) model which indicates the variability is consistent with short memory processes for most of the epochs. We show that the power spectral density (PSD) of the X-ray variability of the individual blazars are consistent within uncertainties across the epochs. This implies that the construction of broadband PSD using light curves from different epochs is accurate. However, using certain properties of the variance of the light curves and its segments, we show that the blazars exhibit hints of non-stationarity beyond that due to their characteristic red noise nature in some of those observations. We find a linear relationship between the root-mean-squared amplitude of variability at shorter timescales and the mean flux level at longer timescales for light curves of Mrk 421 across epochs separated by decades as well as light curves spanning 5 days and $\sim$10 yr. The presence of flux-rms relation over very different timescales may imply that, similar to the X-ray binaries and Seyfert galaxies, longer and shorter timescale variability are connected in blazars.


title: Intermediate extensions and crystalline distribution algebras

abstract: Let G be a connected split reductive group over a complete discrete valuation ring of mixed characteristic. We use the theory of intermediate extensions due to Abe-Caro and arithmetic Beilinson-Bernstein localization to classify irreducible modules over the crystalline distribution algebra of G in terms of overconvergent isocrystals on locally closed subspaces in the (formal) flag variety of G. We treat the case of SL(2) as an example.


title: On the Transferability of Winning Tickets in Non-Natural Image Datasets

abstract: We study the generalization properties of pruned neural networks that are the winners of the lottery ticket hypothesis on datasets of natural images. We analyse their potential under conditions in which training data is scarce and comes from a non-natural domain. Specifically, we investigate whether pruned models that are found on the popular CIFAR-10/100 and Fashion-MNIST datasets, generalize to seven different datasets that come from the fields of digital pathology and digital heritage. Our results show that there are significant benefits in transferring and training sparse architectures over larger parametrized models, since in all of our experiments pruned networks, winners of the lottery ticket hypothesis, significantly outperform their larger unpruned counterparts. These results suggest that winning initializations do contain inductive biases that are generic to some extent, although, as reported by our experiments on the biomedical datasets, their generalization properties can be more limiting than what has been so far observed in the literature.


title: Fermi surface and kink structures in Sr$_{4}$Ru$_{3}$O$_{10}$ revealed by synchrotron-based ARPES

abstract: The low-energy electronic structure, including the Fermi surface topology, of the itinerant metamagnet Sr$_{4}$Ru$_{3}$O$_{10}$ is investigated for the first time by synchrotron-based angle-resolved photoemission. Well-defined quasiparticle band dispersions with matrix element dependencies on photon energy or photon polarization are presented. Four bands crossing the Fermi-level, giving rise to four Fermi surface sheets are resolved; and their complete topography, effective mass as well as their electron and hole character are determined. These data reveal the presence of kink structures in the near-Fermi-level band dispersion, with energies ranging from 30 meV to 69 meV. Together with previously reported Raman spectroscopy and lattice dynamic calculation studies, the data suggest that these kinks originate from strong electron-phonon coupling present in Sr$_{4}$Ru$_{3}$O$_{10}$. Considering that the kink structures of Sr$_{4}$Ru$_{3}$O$_{10}$ are similar to those of the other three members of the Ruddlesden Popper structured ruthenates, the possible universality of strong coupling of electrons to oxygen-related phonons in Sr$_{n+1}$Ru$_{n}$O$_{3n+1}$ compounds is proposed.


title: On extended weight monoids of spherical homogeneous spaces

abstract: Given a connected reductive complex algebraic group $G$ and a spherical subgroup $H \subset G$, the extended weight monoid $\widehat \Lambda^+_G(G/H)$ encodes the $G$-module structures on spaces of global sections of all $G$-linearized line bundles on $G/H$. Assuming that $G$ is semisimple and simply connected and $H$ is specified by a regular embedding in a parabolic subgroup $P \subset G$, in this paper we obtain a description of $\widehat \Lambda^+_G(G/H)$ via the set of simple spherical roots of $G/H$ together with certain combinatorial data explicitly computed from the pair $(P,H)$. As an application, we deduce a new proof of a result of Avdeev and Gorfinkel describing $\widehat \Lambda^+_G(G/H)$ in the case where $H$ is strongly solvable.


title: Machine Learning for Materials Developments in Metals Additive Manufacturing

abstract: In metals additive manufacturing (AM), materials and components are concurrently made in a single process as layers of metal are fabricated on top of each other in the near-final topology required for the end-use product. Consequently, tens to hundreds of materials and part design degrees of freedom must be simultaneously controlled and understood; hence, metals AM is a highly interdisciplinary technology that requires synchronized consideration of physics, chemistry, materials science, physical metallurgy, computer science, electrical engineering, and mechanical engineering. The use of modern machine learning approaches to model these degrees of freedom can reduce the time and cost to elucidate the science of metals AM and to optimize the engineering of these complex, multidisciplinary processes. New machine learning techniques are not needed for most metals AM development; those used in other sects of materials science will also work for AM. Most prolifically, the density functional theory (DFT) community has used many of them since the early 2000s for evaluating numerous combinations of elements and crystal structures to discover new materials. This materials technologies-focused review introduces the basic mathematics and terminology of machine learning through the lens of metals AM, and then examines potential uses of machine learning to advance metals AM, highlighting the many parallels to previous efforts in materials science and manufacturing while also discussing new challenges and adaptations specific to metals AM.


title: ECG-DelNet: Delineation of Ambulatory Electrocardiograms with Mixed Quality Labeling Using Neural Networks

abstract: Electrocardiogram (ECG) detection and delineation are key steps for numerous tasks in clinical practice, as ECG is the most performed non-invasive test for assessing cardiac condition. State-of-the-art algorithms employ digital signal processing (DSP), which require laborious rule adaptation to new morphologies. In contrast, deep learning (DL) algorithms, especially for classification, are gaining weight in academic and industrial settings. However, the lack of model explainability and small databases hinder their applicability. We demonstrate DL can be successfully applied to low interpretative tasks by embedding ECG detection and delineation onto a segmentation framework. For this purpose, we adapted and validated the most used neural network architecture for image segmentation, the U-Net, to one-dimensional data. The model was trained using PhysioNet's QT database, comprised of 105 ambulatory ECG recordings, for single- and multi-lead scenarios. To alleviate data scarcity, data regularization techniques such as pre-training with low-quality data labels, performing ECG-based data augmentation and applying strong model regularizers to the architecture were attempted. Other variations in the model's capacity (U-Net's depth and width), alongside the application of state-of-the-art additions, were evaluated. These variations were exhaustively validated in a 5-fold cross-validation manner. The best performing configuration reached precisions of 90.12%, 99.14% and 98.25% and recalls of 98.73%, 99.94% and 99.88% for the P, QRS and T waves, respectively, on par with DSP-based approaches. Despite being a data-hungry technique trained on a small dataset, DL-based approaches demonstrate to be a viable alternative to traditional DSP-based ECG processing techniques.


title: Charge trap layer enabled positive tunable V$_{fb}$ in $\beta$-Ga$_{2}$O$_{3}$ gate stacks for enhancement mode transistors

abstract: $\beta$-Ga$_{2}$O$_{3}$ based enhancement mode transistor designs are critical for the realization of low loss, high efficiency next generation power devices with rudimentary driving circuits. A novel approach towards attaining a high positive flat band voltage (V$_{fb}$) of 10.6 V in $\beta$-Ga$_{2}$O$_{3}$ metal-oxide-semiconductor capacitors (MOSCAPs), with the ability to fine tune it between 3.5 V to 10.6 V, using a polycrystalline AlN charge trap layer has been demonstrated. This can enable enhancement mode operation over a wide doping range. Excellent V$_{fb}$ retention of ${\sim}$97% for 10$^{4}$ s at 55 $^{\circ}$C was exhibited by the gate stacks after charge trapping, hence reducing the requirement of frequent charge injection cycles. In addition, low gate leakage current density (J$_{g}$) for high negative gate voltages (V$_{g}$${\sim}$-60 V) indicates the potential of this gate stack to enable superior breakdown characteristics in enhancement mode transistors.


title: FedSplit: An algorithmic framework for fast federated optimization

abstract: Motivated by federated learning, we consider the hub-and-spoke model of distributed optimization in which a central authority coordinates the computation of a solution among many agents while limiting communication. We first study some past procedures for federated optimization, and show that their fixed points need not correspond to stationary points of the original optimization problem, even in simple convex settings with deterministic updates. In order to remedy these issues, we introduce FedSplit, a class of algorithms based on operator splitting procedures for solving distributed convex minimization with additive structure. We prove that these procedures have the correct fixed points, corresponding to optima of the original optimization problem, and we characterize their convergence rates under different settings. Our theory shows that these methods are provably robust to inexact computation of intermediate local quantities. We complement our theory with some simple experiments that demonstrate the benefits of our methods in practice.


title: System-Level Predictive Maintenance: Review of Research Literature and Gap Analysis

abstract: This paper reviews current literature in the field of predictive maintenance from the system point of view. We differentiate the existing capabilities of condition estimation and failure risk forecasting as currently applied to simple components, from the capabilities needed to solve the same tasks for complex assets. System-level analysis faces more complex latent degradation states, it has to comprehensively account for active maintenance programs at each component level and consider coupling between different maintenance actions, while reflecting increased monetary and safety costs for system failures. As a result, methods that are effective for forecasting risk and informing maintenance decisions regarding individual components do not readily scale to provide reliable sub-system or system level insights. A novel holistic modeling approach is needed to incorporate available structural and physical knowledge and naturally handle the complexities of actively fielded and maintained assets.


title: Commonsense Evidence Generation and Injection in Reading Comprehension

abstract: Human tackle reading comprehension not only based on the given context itself but often rely on the commonsense beyond. To empower the machine with commonsense reasoning, in this paper, we propose a Commonsense Evidence Generation and Injection framework in reading comprehension, named CEGI. The framework injects two kinds of auxiliary commonsense evidence into comprehensive reading to equip the machine with the ability of rational thinking. Specifically, we build two evidence generators: the first generator aims to generate textual evidence via a language model; the other generator aims to extract factual evidence (automatically aligned text-triples) from a commonsense knowledge graph after graph completion. Those evidences incorporate contextual commonsense and serve as the additional inputs to the model. Thereafter, we propose a deep contextual encoder to extract semantic relationships among the paragraph, question, option, and evidence. Finally, we employ a capsule network to extract different linguistic units (word and phrase) from the relations, and dynamically predict the optimal option based on the extracted units. Experiments on the CosmosQA dataset demonstrate that the proposed CEGI model outperforms the current state-of-the-art approaches and achieves the accuracy (83.6%) on the leaderboard.


title: Plastic forming of metals at the nanoscale: interdiffusion-induced bending of bimetallic nanowhiskers

abstract: Controlled plastic forming of nanoscale metallic objects by applying mechanical load is a challenge, since defect-free nanocrystals usually yield at near theoretical shear strength, followed by an uncontrolled catastrophic failure. Herein, instead of mechanical load, we utilize chemical stress from imbalanced interdiffusion to manipulate the shape of nanowhiskers. Bimetallic Au-Fe nanowhiskers with an ultra-high bending strength were synthesized employing the molecular beam epitaxy technique. The one-sided Fe coating on the defect-free, single-crystalline Au nanowhisker exhibited both single- and poly-crystalline regions. Annealing the bimetallic nanowhiskers at elevated temperatures led to gradual change of curvature and irreversible bending, which is attributed to the grain boundary Kirkendall effect during the diffusion of Au along the grain boundaries in the Fe layer. The results of this study demonstrate a high potential of chemical interdiffusion in the controlled plastic forming of ultra-strong metal nanostructures.


title: On the sulfur doping of gamma-graphdiyne: A Molecular Dynamics and DFT study

abstract: Recently, an experimental study developed an efficient way to obtain sulfur-doped gamma-graphdiyne. This study has shown that this new material could have promising applications in lithium-ion batteries, but the complete understanding of how the sulfur atoms are incorporated into the graphdiyne network is still missing. In this work, we have investigated the sulfur doping process through molecular dynamics and density functional theory simulations. Our results suggest that the doped induced distortions of the gamma-graphdiyne pores prevent the incorporation of more than two sulfur atoms. The most common configuration is the incorporation of just one sulfur atom per the graphdiyne pore.


title: Quinn's formula and abelian 3-cocycles for quadratic forms

abstract: In pointed braided fusion categories knowing the self-symmetry braiding of simples is theoretically enough to reconstruct the associator and braiding on the entire category (up to twisting by a braided monoidal auto-equivalence). We address the problem to provide explicit associator formulas given only such input. This problem was solved by Quinn in the case of finitely many simples. We reprove and generalize this in various ways. In particular, we show that extra symmetries of Quinn's associator can still be arranged to hold in situations where one has infinitely many isoclasses of simples.


title: Energy Limits to the Gross Domestic Product on Earth

abstract: Once carbon emission neutrality and other sustainability goals have been achieved, a widespread assumption is that economic growth at current rates can be sustained beyond the 21st century. However, even if we achieve these goals, this article shows that the overall size of Earth's global economy is facing an upper limit purely due to energy and thermodynamic factors. For that, we break down global warming into two components: the greenhouse gas effect and heat dissipation from energy consumption related to economic activities. For the temperature increase due to greenhouse gas emissions, we take 2 {\deg}C and 5 {\deg}C as our lower and upper bounds. For the warming effect of heat dissipation related to energy consumption, we use a simplified model for global warming and an extrapolation of the historical correlation between global gross domestic product (GDP) and primary energy production. Combining the two effects, we set the acceptable global warming temperature limit to 7 {\deg}C above pre-industrial levels. We develop four scenarios, based on the viability of large-scale deployment of carbon-neutral energy sources. Our results indicate that for a 2% annual GDP growth, the upper limit will be reached at best within a few centuries, even in favorable scenarios where new energy sources such as fusion power are deployed on a massive scale. We conclude that unless GDP can be largely decoupled from energy consumption, thermodynamics will put a hard cap on the size of Earth's economy. Further economic growth would necessarily require expanding economic activities into space.


title: Periodic optimal control of nonlinear constrained systems using economic model predictive control

abstract: In this paper, we consider the problem of periodic optimal control of nonlinear systems subject to online changing and periodically time-varying economic performance measures using model predictive control (MPC). The proposed economic MPC scheme uses an online optimized artificial periodic orbit to ensure recursive feasibility and constraint satisfaction despite unpredictable changes in the economic performance index. We demonstrate that the direct extension of existing methods to periodic orbits does not necessarily yield the desirable closed-loop economic performance. Instead, we carefully revise the constraints on the artificial trajectory, which ensures that the closed-loop average performance is no worse than a locally optimal periodic orbit. In the special case that the prediction horizon is set to zero, the proposed scheme is a modified version of recent publications using periodicity constraints, with the important difference that the resulting closed loop has more degrees of freedom which are vital to ensure convergence to an optimal periodic orbit. In addition, we detail a tailored offline computation of suitable terminal ingredients, which are both theoretically and practically beneficial for closed-loop performance improvement. Finally, we demonstrate the practicality and performance improvements of the proposed approach on benchmark examples.


title: No-scale and scale-separated flux vacua from IIA on G2 orientifolds

abstract: We discuss flux compactifications of IIA string theory on G2 holonomy spaces with O2/O6-planes to three dimensions and find two classes of solutions: 1) No-scale Minkowski vacua from NSNS 3-form fluxes and RR 4-form fluxes. 2) By adding Romans mass we find AdS$_3$ vacua for which the AdS scale can be decoupled completely from the KK scale while the solution is at tunable weak coupling and large volume. For the AdS$_3$ vacuum we only have a proper 3D description (i.e. smeared orientifold description) of the solution like the 4D analogue of IIA moduli stabilization from fluxes and O6-planes. This 3D description reveals that moduli with non-compact moduli spaces can be stabilized at the classical level. For both types of vacua we can have supersymmetry or not.


title: Perspective on Metallic Antiferromagnets

abstract: Antiferromagnet materials have recently gained renewed interest due to their possible use in spintronics technologies, where spin transport is the foundation of their functionalities. In that respect metallic antiferromagnets are of particular interest, since they enable complex interplays between electronic charge transport, spin, optical, and magnetization dynamics. Here we review phenomena where the metallic conductivity provides unique perspectives for the practical use and fundamental properties of antiferromagnetic materials.


title: Arithmetic of idempotents in $\mathbb{Z}/m \mathbb{Z}$

abstract: Idempotent elements are a well-studied part of ring theory, with several identities of the idempotents in $\mathbb{Z}/m\mathbb{Z}$ already known. Although the idempotents are not closed under addition, there are still interesting additive identities that can be derived and used. In this paper, we give several new identities on idempotents in $\mathbb{Z}/ m\mathbb{Z}$. We relate finite sublattices over $\mathbb{Z}/ k\mathbb{Z}$ for all integers $k$ to an infinite lattice that is embedded in the divisibility lattice on $\mathbb{N}$ and to each other as sublattices of this infinite lattice. Using this relation, we generalize several identities on idempotents in $\mathbb{Z}/m\mathbb{Z}$ to those involving idempotents related to these finite sublattices. Finally, as an application of the above idempotent identities, we derive an algorithm for calculating modular exponentiation over $\mathbb{Z}/ m\mathbb{Z}$.


title: COVID-19 mitigation strategies and overview on results from relevant studies in Europe

abstract: In December 2019, the first patients in Wuhan, China were diagnosed with a primary atypical pneumonia, which showed to be unknown and contagious. Since then, known as COVID-19 disease, the responsible viral pathogen, SARS-CoV-2, has spread around the world in a pandemic. Decisions on how to deal with the crisis are often based on simulations of the pandemic spread of the virus. The results of some of these, as well as their methodology and possibilities for improvement, will be described in more detail in this paper in order to inform beyond the current public health dogma called "flatten-the-curve". There are several ways to model an epidemic in order to simulate the spread of diseases. Depending on the timeliness, scope and quality of the associated real data, these multivariable models differ in the value of used parameters, but also in the selection of considered influencing factors. It was exemplarily shown that epidemics in their course are simulated more realistically by models that assume subexponential growth. Furthermore, various simulations of the COVID-19 pandemic were presented in an European perspective, compared against each other and discussed in more detail. It is difficult to estimate how credible the simulations of the pandemic models currently are, so it remains to be seen whether the spread of the pandemic can be effectively reduced by the measures taken. Whether a model works well in reality is largely determined by the quality and scope of its underlying data. Past studies have shown that countermeasures are able to reduce reproduction numbers or transmission rates in epidemics. In addition to that, the presented modelling study provides a good framework for the creation of subexponential-growth-models for assessing the spread of COVID-19.


title: Higgs boson coupling as a probe of the sphaleron property

abstract: Sphaleron is a non-perturbative solution of electroweak gauge theories, which is crucially important for the scenario of electroweak baryogenesis. The sphaleron energy depends on details of the mechanism for the electroweak symmetry breaking. We find that in many of new physics models the deviation of the sphaleron energy from the prediction in the standard model is proportional to that of the triple Higgs boson coupling with opposite signs. This interesting relation would be useful to determine the sphaleron energy by measuring this couplings at future collider experiments.


title: The topological Tverberg problem beyond prime powers

abstract: Tverberg-type theory aims to establish sufficient conditions for a simplicial complex $\Sigma$ such that every continuous map $f\colon \Sigma \to \mathbb{R}^d$ maps $q$ points from pairwise disjoint faces to the same point in $\mathbb{R}^d$. Such results are plentiful for $q$ a power of a prime. However, for $q$ with at least two distinct prime divisors, results that guarantee the existence of $q$-fold points of coincidence are non-existent -- aside from immediate corollaries of the prime power case. Here we present a general method that yields such results beyond the case of prime powers. In particular, we prove previously conjectured upper bounds for the topological Tverberg problem for all $q$.


title: Neutrino-hydrogen interactions with a high-pressure time projection chamber

abstract: We investigate the idea of detecting pure neutrino-hydrogen interactions in a multinuclear target using the transverse kinematic imbalance technique [Lu et al., Phys. Rev. D 92, 051302 (2015)] in a high-pressure time projection chamber (HPTPC). With full solid-angle acceptance, MeV-level proton tracking threshold, state-of-the-art tracking resolution, and an O(100 m^3) gas volume at 10 bar, an HPTPC could provide an opportunity to realize this technique. We propose the use of hydrogen-rich gases in the TPC to achieve high detection purity with large hydrogen mass. With the projected neutrino beam exposure at the DUNE experiment, neutrino-hydrogen events of the order of 10^4 per year with purity above 90% could be achieved with such an HPTPC using methane gas. In this paper, we present a systematic study of the event rate and purity for a variety of argon-alkane mixtures, and examine these gas candidates for the TPC tracking-related properties.


title: Graph sequences sampled from Robinson graphons

abstract: The function $\Gamma$ on the space of graphons, introduced in [CGH$^+$15], aims to measure the extent to which a graphon $w$ exhibits the Robinson property: for all $x<y<z$, $w(x,z)\leq \min\{ w(x,y),w(y,z)\}$. Robinson graphons form a model for graphs with a natural line embedding so that most edges are local. Function $\Gamma$ is compatible with the cut-norm $\|\cdot \|_\Box$, in the sense that graphons close in cut-norm have similar $\Gamma $-values. Here we show the converse, by proving that every graphon $w$ can be approximated by a Robinson graphon $R_w$ so that $\|w-R_w\|_\Box$ is bounded in terms of $\Gamma (w)$. We then use classical techniques from functional analysis to show that a converging graph sequence $\{G_n\}$ converges to a Robinson graphon if and only if $\Gamma (G_n)\rightarrow 0$. Finally, using probabilistic techniques we show that the rate of convergence of $\Gamma$ for graph sequences sampled from a Robinson graphon can differ substantially depending on how strongly $w$ exhibits the Robinson property.


title: Validation of Abstract Side-Channel Models for Computer Architectures

abstract: Observational models make tractable the analysis of information flow properties by providing an abstraction of side channels. We introduce a methodology and a tool, Scam-V, to validate observational models for modern computer architectures. We combine symbolic execution, relational analysis, and different program generation techniques to generate experiments and validate the models. An experiment consists of a randomly generated program together with two inputs that are observationally equivalent according to the model under the test. Validation is done by checking indistinguishability of the two inputs on real hardware by executing the program and analyzing the side channel. We have evaluated our framework by validating models that abstract the data-cache side channel of a Raspberry Pi 3 board with a processor implementing the ARMv8-A architecture. Our results show that Scam-V can identify bugs in the implementation of the models and generate test programs which invalidate the models due to hidden microarchitectural behavior.


title: Toward Better Storylines with Sentence-Level Language Models

abstract: We propose a sentence-level language model which selects the next sentence in a story from a finite set of fluent alternatives. Since it does not need to model fluency, the sentence-level language model can focus on longer range dependencies, which are crucial for multi-sentence coherence. Rather than dealing with individual words, our method treats the story so far as a list of pre-trained sentence embeddings and predicts an embedding for the next sentence, which is more efficient than predicting word embeddings. Notably this allows us to consider a large number of candidates for the next sentence during training. We demonstrate the effectiveness of our approach with state-of-the-art accuracy on the unsupervised Story Cloze task and with promising results on larger-scale next sentence prediction tasks.


title: Reinforced Rewards Framework for Text Style Transfer

abstract: Style transfer deals with the algorithms to transfer the stylistic properties of a piece of text into that of another while ensuring that the core content is preserved. There has been a lot of interest in the field of text style transfer due to its wide application to tailored text generation. Existing works evaluate the style transfer models based on content preservation and transfer strength. In this work, we propose a reinforcement learning based framework that directly rewards the framework on these target metrics yielding a better transfer of the target style. We show the improved performance of our proposed framework based on automatic and human evaluation on three independent tasks: wherein we transfer the style of text from formal to informal, high excitement to low excitement, modern English to Shakespearean English, and vice-versa in all the three cases. Improved performance of the proposed framework over existing state-of-the-art frameworks indicates the viability of the approach.


title: A Dataset for Statutory Reasoning in Tax Law Entailment and Question Answering

abstract: Legislation can be viewed as a body of prescriptive rules expressed in natural language. The application of legislation to facts of a case we refer to as statutory reasoning, where those facts are also expressed in natural language. Computational statutory reasoning is distinct from most existing work in machine reading, in that much of the information needed for deciding a case is declared exactly once (a law), while the information needed in much of machine reading tends to be learned through distributional language statistics. To investigate the performance of natural language understanding approaches on statutory reasoning, we introduce a dataset, together with a legal-domain text corpus. Straightforward application of machine reading models exhibits low out-of-the-box performance on our questions, whether or not they have been fine-tuned to the legal domain. We contrast this with a hand-constructed Prolog-based system, designed to fully solve the task. These experiments support a discussion of the challenges facing statutory reasoning moving forward, which we argue is an interesting real-world task that can motivate the development of models able to utilize prescriptive rules specified in natural language.


title: Running gravitational couplings, decoupling, and curved spacetime renormalization

abstract: We propose to slightly generalize the DeWitt-Schwinger adiabatic renormalization subtractions in curved space to include an arbitrary renormalization mass scale $\mu$. The new predicted running for the gravitational couplings are fully consistent with decoupling of heavy massive fields. This is a somewhat improvement with respect to the more standard treatment of minimal (DeWitt-Schwinger) subtractions via dimensional regularization. We also show how the vacuum metamorphosis model emerges from the running couplings.


title: Nonlocal Lazer-McKenna type problem perturbed by the Hardy's potential and its parabolic equivalence

abstract: In this paper, we study the effect of Hardy potential on the existence or non-existence of solutions to a fractional Laplacian problem involving a singular nonlinearity. Also, we mention a stability result.


title: Accurate and efficient splitting methods for dissipative particle dynamics

abstract: We study numerical methods for dissipative particle dynamics (DPD), which is a system of stochastic differential equations and a popular stochastic momentum-conserving thermostat for simulating complex hydrodynamic behavior at mesoscales. We propose a new splitting method that is able to substantially improve the accuracy and efficiency of DPD simulations in a wide range of the friction coefficients, particularly in the extremely large friction limit that corresponds to a fluid-like Schmidt number, a key issue in DPD. Various numerical experiments on both equilibrium and transport properties are performed to demonstrate the superiority of the newly proposed method over popular alternative schemes in the literature.


title: A modular extension for a computer algebra system

abstract: Computer algebra systems are complex software systems that cover a wide range of scientific and practical problems. However, the absolute coverage cannot be achieved. Often, it is required to create a user extension for an existing computer algebra system. In this case, the extensibility of the system should be taken into account. In this paper, we consider a technology for extending the SymPy computer algebra system with a low-level module that implements a random number generator.


title: Two methods of estimation of the drift parameters of the Cox-Ingersoll-Ross process: continuous observations

abstract: We consider a stochastic differential equation of the form $dr_t = (a - b r_t) dt + \sigma\sqrt{r_t}dW_t$, where $a$, $b$ and $\sigma$ are positive constants. The solution corresponds to the Cox-Ingersoll-Ross process. We study the estimation of an unknown drift parameter $(a,b)$ by continuous observations of a sample path $\{r_t,t\in[0,T]\}$. First, we prove the strong consistency of the maximum likelihood estimator. Since this estimator is well-defined only in the case $2a>\sigma^2$, we propose another estimator that is defined and strongly consistent for all positive $a$, $b$, $\sigma$. The quality of the estimators is illustrated by simulation results.


title: Robust interferometric sensing using two-photon interference

abstract: Precise measurement of the angular deviation of an object is a common task in science and technology. Many methods use light for this purpose. Some of these exploit interference effects to achieve technological advantages, such as amplification effects, or simplified measurement devices. However, all of these schemes require phase stability to be useful. Here we show theoretically and experimentally that this drawback can be lifted by utilizing two-photon interference, which is known to be less sensitive to phase fluctuations. Our results show that non-classical interference can provide a path towards robust interferometric sensing, allowing for increased metrological precision in the presence of phase noise.


title: Multidirectional Associative Optimization of Function-Specific Word Representations

abstract: We present a neural framework for learning associations between interrelated groups of words such as the ones found in Subject-Verb-Object (SVO) structures. Our model induces a joint function-specific word vector space, where vectors of e.g. plausible SVO compositions lie close together. The model retains information about word group membership even in the joint space, and can thereby effectively be applied to a number of tasks reasoning over the SVO structure. We show the robustness and versatility of the proposed framework by reporting state-of-the-art results on the tasks of estimating selectional preference and event similarity. The results indicate that the combinations of representations learned with our task-independent model outperform task-specific architectures from prior work, while reducing the number of parameters by up to 95%.


title: Federated Learning and Wireless Communications

abstract: Federated learning becomes increasingly attractive in the areas of wireless communications and machine learning due to its powerful functions and potential applications. In contrast to other machine learning tools that require no communication resources, federated learning exploits communications between the central server and the distributed local clients to train and optimize a machine learning model. Therefore, how to efficiently assign limited communication resources to train a federated learning model becomes critical to performance optimization. On the other hand, federated learning, as a brand new tool, can potentially enhance the intelligence of wireless networks. In this article, we provide a comprehensive overview on the relationship between federated learning and wireless communications, including basic principle of federated learning, efficient communications for training a federated learning model, and federated learning for intelligent wireless applications. We also identify some future research challenges and directions at the end of this article.


title: Fractional trends and cycles in macroeconomic time series

abstract: We develop a generalization of correlated trend-cycle decompositions that avoids prior assumptions about the long-run dynamic characteristics by modelling the permanent component as a fractionally integrated process and incorporating a fractional lag operator into the autoregressive polynomial of the cyclical component. The model allows for an endogenous estimation of the integration order jointly with the other model parameters and, therefore, no prior specification tests with respect to persistence are required. We relate the model to the Beveridge-Nelson decomposition and derive a modified Kalman filter estimator for the fractional components. Identification, consistency, and asymptotic normality of the maximum likelihood estimator are shown. For US macroeconomic data we demonstrate that, unlike $I(1)$ correlated unobserved components models, the new model estimates a smooth trend together with a cycle hitting all NBER recessions. While $I(1)$ unobserved components models yield an upward-biased signal-to-noise ratio whenever the integration order of the data-generating mechanism is greater than one, the fractionally integrated model attributes less variation to the long-run shocks due to the fractional trend specification and a higher variation to the cycle shocks due to the fractional lag operator, leading to more persistent cycles and smooth trend estimates that reflect macroeconomic common sense.


title: Fundus2Angio: A Conditional GAN Architecture for Generating Fluorescein Angiography Images from Retinal Fundus Photography

abstract: Carrying out clinical diagnosis of retinal vascular degeneration using Fluorescein Angiography (FA) is a time consuming process and can pose significant adverse effects on the patient. Angiography requires insertion of a dye that may cause severe adverse effects and can even be fatal. Currently, there are no non-invasive systems capable of generating Fluorescein Angiography images. However, retinal fundus photography is a non-invasive imaging technique that can be completed in a few seconds. In order to eliminate the need for FA, we propose a conditional generative adversarial network (GAN) to translate fundus images to FA images. The proposed GAN consists of a novel residual block capable of generating high quality FA images. These images are important tools in the differential diagnosis of retinal diseases without the need for invasive procedure with possible side effects. Our experiments show that the proposed architecture outperforms other state-of-the-art generative networks. Furthermore, our proposed model achieves better qualitative results indistinguishable from real angiograms.


title: Feature Selection with Evolving, Fast and Slow Using Two Parallel Genetic Algorithms

abstract: Feature selection is one of the most challenging issues in machine learning, especially while working with high dimensional data. In this paper, we address the problem of feature selection and propose a new approach called Evolving Fast and Slow. This new approach is based on using two parallel genetic algorithms having high and low mutation rates, respectively. Evolving Fast and Slow requires a new parallel architecture combining an automatic system that evolves fast and an effortful system that evolves slow. With this architecture, exploration and exploitation can be done simultaneously and in unison. Evolving fast, with high mutation rate, can be useful to explore new unknown places in the search space with long jumps; and Evolving Slow, with low mutation rate, can be useful to exploit previously known places in the search space with short movements. Our experiments show that Evolving Fast and Slow achieves very good results in terms of both accuracy and feature elimination.


title: Deep-Learning-based Automated Palm Tree Counting and Geolocation in Large Farms from Aerial Geotagged Images

abstract: In this paper, we propose a deep learning framework for the automated counting and geolocation of palm trees from aerial images using convolutional neural networks. For this purpose, we collected aerial images in a palm tree Farm in the Kharj region, in Riyadh Saudi Arabia, using DJI drones, and we built a dataset of around 10,000 instances of palms trees. Then, we developed a convolutional neural network model using the state-of-the-art, Faster R-CNN algorithm. Furthermore, using the geotagged metadata of aerial images, we used photogrammetry concepts and distance corrections to detect the geographical location of detected palms trees automatically. This geolocation technique was tested on two different types of drones (DJI Mavic Pro, and Phantom 4 Pro), and was assessed to provide an average geolocation accuracy of 2.8m. This GPS tagging allows us to uniquely identify palm trees and count their number from a series of drone images, while correctly dealing with the issue of image overlapping. Moreover, it can be generalized to the geolocation of any other objects in UAV images.


title: The Coupon Collector's Brother

abstract: A popular variant of the collector's problem is the following: Assume there are $N$ different types of coupons with equal occurring probabilities. There is one main collector who collects coupons. When she gets a "double," she gives it to her younger brother. Hence, when the main collector completes her collection, her brother's album will still have, say, $U_N$ empty spaces. We show that, as $N \to \infty$, the limiting distribution of $U_N/\ln N$ is exponential with parameter $1$.


title: The adjoint algebra for 2-categories

abstract: For any 0-cell $B$ in a 2-category $\Bc$ we introduce the notion of adjoint algebra $\adj_B$. This is an algebra in the center of $\Bc$. We prove that, if $\ca$ is a finite tensor category, this notion applied to the 2-category of $\ca$-module categories, coincides with the one introduced by Shimizu [Further results on the structure of (Co)ends in fintite tensor categories}, Appl. Categor. Struct. (2019). https://doi.org/10.1007/s10485-019-09577-7]. As a consequence of this general approach, we obtain new results on the adjoint algebra for tensor categories.


title: Harmonised LUCAS in-situ data and photos on land cover and use from 5 tri-annual surveys in the European Union

abstract: Accurately characterizing land surface changes with Earth Observation requires geo-localized ground truth. In the European Union (EU), a tri-annual surveyed sample of land cover and land use has been collected since 2006 under the Land Use/Cover Area frame Survey (LUCAS). A total of 1,351,293 observations at 651,780 unique locations for 117 variables along with 5.4 million photos were collected during five LUCAS surveys. Until now, these data have never been harmonised into one database, limiting full exploitation of the information. This paper describes the LUCAS point sampling/surveying methodology, including collection of standard variables such as land cover, environmental parameters, and full resolution landscape and point photos, and then describes the harmonisation process. The resulting harmonised database is the most comprehensive in-situ dataset on land cover and use in the EU. The database is valuable for geo-spatial and statistical analysis of land use and land cover change. Furthermore, its potential to provide multi-temporal in-situ data will be enhanced by recent computational advances such as deep learning.


title: Quiver origami: discrete gauging and folding

abstract: We study two types of discrete operations on Coulomb branches of $3d$ $\mathcal{N}=4$ quiver gauge theories using both abelianisation and the monopole formula. We generalise previous work on discrete quotients of Coulomb branches and introduce novel wreathed quiver theories. We further study quiver folding which produces Coulomb branches of non-simply laced quivers.


title: Normalized Convolutional Neural Network

abstract: In this paper, we propose Normalized Convolutional Neural Network(NCNN). NCNN is more fitted to a convolutional operator than other nomralizaiton methods. The normalized process is similar to a normalization methods, but NCNN is more adapative to sliced-inputs and corresponding the convolutional kernel. Therefor NCNN can be targeted to micro-batch training. Normalizaing of NC is conducted during convolutional process. In short, NC process is not usual normalization and can not be realized in deep learning framework optimizing standard convolution process. Hence we named this method 'Normalized Convolution'. As a result, NC process has universal property which means NC can be applied to any AI tasks involving convolution neural layer . Since NC don't need other normalization layer, NCNN looks like convolutional version of Self Normalizing Network.(SNN). Among micro-batch trainings, NCNN outperforms other batch-independent normalization methods. NCNN archives these superiority by standardizing rows of im2col matrix of inputs, which theoretically smooths the gradient of loss. The code need to manipulate standard convolution neural networks step by step. The code is available : https://github.com/kimdongsuk1/ NormalizedCNN.


title: Improving the Performance of Deep Quantum Optimization Algorithms with Continuous Gate Sets

abstract: Variational quantum algorithms are believed to be promising for solving computationally hard problems and are often comprised of repeated layers of quantum gates. An example thereof is the quantum approximate optimization algorithm (QAOA), an approach to solve combinatorial optimization problems on noisy intermediate-scale quantum (NISQ) systems. Gaining computational power from QAOA critically relies on the mitigation of errors during the execution of the algorithm, which for coherence-limited operations is achievable by reducing the gate count. Here, we demonstrate an improvement of up to a factor of 3 in algorithmic performance as measured by the success probability, by implementing a continuous hardware-efficient gate set using superconducting quantum circuits. This gate set allows us to perform the phase separation step in QAOA with a single physical gate for each pair of qubits instead of decomposing it into two C$Z$-gates and single-qubit gates. With this reduced number of physical gates, which scales with the number of layers employed in the algorithm, we experimentally investigate the circuit-depth-dependent performance of QAOA applied to exact-cover problem instances mapped onto three and seven qubits, using up to a total of 399 operations and up to 9 layers. Our results demonstrate that the use of continuous gate sets may be a key component in extending the impact of near-term quantum computers.


title: CupNet -- Pruning a network for geometric data

abstract: Using data from a simulated cup drawing process, we demonstrate how the inherent geometrical structure of cup meshes can be used to effectively prune an artificial neural network in a straightforward way.


title: Experimental Study of Wakefields Driven by a Self-Modulating Proton Bunch in Plasma

abstract: We study experimentally the longitudinal and transverse wakefields driven by a highly relativistic proton bunch during self-modulation in plasma. We show that the wakefields' growth and amplitude increase with increasing seed amplitude as well as with the proton bunch charge in the plasma. We study transverse wakefields using the maximum radius of the proton bunch distribution measured on a screen downstream from the plasma. We study longitudinal wakefields by externally injecting electrons and measuring their final energy. Measurements agree with trends predicted by theory and numerical simulations and validate our understanding of the development of self-modulation. Experiments were performed in the context of the Advanced Wakefield Experiment (AWAKE).


title: Detecting circular polarisation in the stochastic gravitational-wave background from a first-order cosmological phase transition

abstract: We discuss the observability of circular polarisation of the stochastic gravitational-wave background (SGWB) generated by helical turbulence following a first-order cosmological phase transition, using a model that incorporates the effects of both direct and inverse energy cascades. We explore the strength of the gravitational-wave signal and the dependence of its polarisation on the helicity fraction, $\zeta_*$, the strength of the transition, $\alpha$, the bubble size, $R_*$, and the temperature, $T_*$, at which the transition finishes. We calculate the prospective signal-to-noise ratios of the SGWB strength and polarisation signals in the LISA experiment, exploring the parameter space in a way that is minimally sensitive to the underlying particle physics model. We find that discovery of SGWB polarisation is generally more challenging than measuring the total SGWB signal, but would be possible for appropriately strong transitions with large bubble sizes and a substantial polarisation fraction.


title: The SVZ sum rules and the heavy quark limit for $\Lambda_{Q}$

abstract: In this work, we evaluate the accuracy of the leading order results in Shifman-Vainshtein-Zakharov (SVZ) sum rules and the leading power results in the heavy quark limit for the mass of $\Lambda_{Q}$. Up to dim-5 condensate contributions are considered. By comparing with the experimental results, we find that the leading order results in SVZ sum rules can reach about 5\% accuracy both for $\Lambda_{b}$ and $\Lambda_{c}$, and it seems that better results can be obtained from the sum rules of the heavy quark limit both for $\Lambda_{b}$ and $\Lambda_{c}$. We re-check that the SVZ sum rules in the heavy quark limit coincide with the HQET sum rules. As a byproduct, we also have an exploratory discussion on the $ud$ diquark in $\Lambda_{Q}$.


title: Doppler Radar for the Extraction of Biomechanical Parameters in Gait Analysis

abstract: The applicability of Doppler radar for gait analysis is investigated by quantitatively comparing the measured biomechanical parameters to those obtained using motion capturing and ground reaction forces. Nineteen individuals walked on a treadmill at two different speeds, where a radar system was positioned in front of or behind the subject. The right knee angle was confined by an adjustable orthosis in five different degrees. Eleven gait parameters are extracted from radar micro-Doppler signatures. Here, new methods for obtaining the velocities of individual lower limb joints are proposed. Further, a new method to extract individual leg flight times from radar data is introduced. Based on radar data, five spatiotemporal parameters related to rhythm and pace could reliably be extracted. Further, for most of the considered conditions, three kinematic parameters could accurately be measured. The radar-based stance and flight time measurements rely on the correct detection of the time instant of maximal knee velocity during the gait cycle. This time instant is reliably detected when the radar has a back view, but is underestimated when the radar is positioned in front of the subject. The results validate the applicability of Doppler radar to accurately measure a variety of medically relevant gait parameters. Radar has the potential to unobtrusively diagnose changes in gait, e.g., to design training in prevention and rehabilitation. As contact-less and privacy-preserving sensor, radar presents a viable technology to supplement existing gait analysis tools for long-term in-home examinations.


title: Explicit fold maps on 7-dimensional closed and simply-connected spin manifolds of new classes

abstract: Closed (and simply-connected) manifolds whose dimensions are greater than 4 are classified via sophisticated algebraic and abstract theory such as surgery theory and homotopy theory. It is difficult to handle 3 or 4-dimensional closed manifolds in such ways. However, the latter work via geometric and constructive ways is not so difficult. The assumption that the dimensions are not high enables us to handle the manifolds via diagrams for example. It is difficult to study higher dimensional manifolds in these ways, although it is natural and important. In the present paper, we present such studies via {\it fold} maps, which are higher dimensional variants of Morse functions. The author previously constructed fold maps on 7-dimensional closed and simply-connected manifolds satisfying additional conditions on cohomology rings, including so-called {\it exotic} homotopy spheres. This paper concerns fold maps on such manifolds of a wider class.


title: Extreme values of the resurgence for homogeneous ideals in polynomial rings

abstract: We show that two ostensibly different versions of the asymptotic resurgence introduced by Guardo, Harbourne and Van Tuyl in 2013 are the same. We also show that the resurgence and asymptotic resurgence attain their maximal values simultaneously, if at all, which we apply to a conjecture of Grifo. For radical ideals of points, we show that the resurgence and asymptotic resurgence attain their minimal values simultaneously. In addition, we introduce an integral closure version of the resurgence and relate it to the other versions of the resurgence. In closing we provide various examples and raise some related questions, and we finish with some remarks about computing the resurgence.


title: Implications of a "Fast Radio Burst" from a Galactic Magnetar

abstract: A luminous radio burst was recently detected in temporal coincidence with a hard X-ray flare from the Galactic magnetar SGR 1935+2154 with a time and frequency structure consistent with cosmological fast radio bursts (FRB) and a fluence within a factor of $\lesssim 10$ of the least energetic extragalactic FRB previously detected. Although active magnetars are commonly invoked FRB sources, several distinct mechanisms have been proposed for generating the radio emission which make different predictions for the accompanying higher frequency radiation. We show that the properties of the coincident radio and X-ray flares from SGR 1935+2154, including their approximate simultaneity and relative fluence $E_{\rm radio}/E_{\rm X} \sim 10^{-5}$, as well as the duration and spectrum of the X-ray emission, are consistent with extant predictions for the synchrotron maser shock model. Rather than arising from the inner magnetosphere, the X-rays are generated by (incoherent) synchrotron radiation from thermal electrons heated at the same shocks which produce the coherent maser emission. Although the rate of SGR 1935+2154-like bursts in the local universe is not sufficient to contribute appreciably to the extragalactic FRB rate, the inclusion of an additional population of more active magnetars with stronger magnetic fields than the Galactic population can explain both the FRB rate as well as the repeating fraction, however only if the population of active magnetars are born at a rate that is at least two-orders of magnitude lower than that of SGR 1935+2154-like magnetars. This may imply that the more active magnetar sources are not younger magnetars formed in a similar way to the Milky Way population (e.g. via ordinary supernovae), but instead through more exotic channels such as superluminous supernovae, accretion-induced collapse or neutron star mergers.


title: Gelfand-type duality for commutative von Neumann algebras

abstract: We show that the following five categories are equivalent: (1) the opposite category of commutative von Neumann algebras; (2) compact strictly localizable enhanced measurable spaces; (3) measurable locales; (4) hyperstonean locales; (5) hyperstonean spaces. This result can be seen as a measure-theoretic counterpart of the Gelfand duality between commutative unital C*-algebras and compact Hausdorff topological spaces.


title: A recurrent construction of irreducible polynomials of fixed degree over finite fields

abstract: In this paper we consider in detail the composition of an irreducible polynomial with X^2 and suggest a recurrent construction of irreducible polynomials of fixed degree over finite fields of odd characteristics. More precisely, given an irreducible polynomial of degree n and order 2^rt with t odd, the construction produces ord_t(2)/d irreducible polynomials of degree n and order t for a certain divisor d of n. The construction can be used, for example, to search irreducible polynomials with specific requirements on its coefficients.


title: From industry-wide parameters to aircraft-centric on-flight inference: improving aeronautics performance prediction with machine learning

abstract: Aircraft performance models play a key role in airline operations, especially in planning a fuel-efficient flight. In practice, manufacturers provide guidelines which are slightly modified throughout the aircraft life cycle via the tuning of a single factor, enabling better fuel predictions. However this has limitations, in particular they do not reflect the evolution of each feature impacting the aircraft performance. Our goal here is to overcome this limitation. The key contribution of the present article is to foster the use of machine learning to leverage the massive amounts of data continuously recorded during flights performed by an aircraft and provide models reflecting its actual and individual performance. We illustrate our approach by focusing on the estimation of the drag and lift coefficients from recorded flight data. As these coefficients are not directly recorded, we resort to aerodynamics approximations. As a safety check, we provide bounds to assess the accuracy of both the aerodynamics approximation and the statistical performance of our approach. We provide numerical results on a collection of machine learning algorithms. We report excellent accuracy on real-life data and exhibit empirical evidence to support our modelling, in coherence with aerodynamics principles.


title: Using Computer Vision to enhance Safety of Workforce in Manufacturing in a Post COVID World

abstract: The COVID-19 pandemic forced governments across the world to impose lockdowns to prevent virus transmissions. This resulted in the shutdown of all economic activity and accordingly the production at manufacturing plants across most sectors was halted. While there is an urgency to resume production, there is an even greater need to ensure the safety of the workforce at the plant site. Reports indicate that maintaining social distancing and wearing face masks while at work clearly reduces the risk of transmission. We decided to use computer vision on CCTV feeds to monitor worker activity and detect violations which trigger real time voice alerts on the shop floor. This paper describes an efficient and economic approach of using AI to create a safe environment in a manufacturing setup. We demonstrate our approach to build a robust social distancing measurement algorithm using a mix of modern-day deep learning and classic projective geometry techniques. We have deployed our solution at manufacturing plants across the Aditya Birla Group (ABG). We have also described our face mask detection approach which provides a high accuracy across a range of customized masks.


title: Non-iterative complex wave-field reconstruction based on Kramers-Kronig relations

abstract: A new computational imaging method to reconstruct the complex wave-field is reported. Due to the existence of zero frequency component, the measured signal by amplitude modulation of pupil has a spectrum similar to the one of off-axis hologram. The mathematical analogy between them is established in this paper. Based on this observation and analyticity of band-limited signal under any diffraction-limited system, an algorithm from Kramers-Kronig (KK) relations is utilized to recover the phase information only from the intensity patterns. From the sensing side, only two measurements are required at least. From the reconstruction algorithm side, our method is iteration-free and parameter-free, also without any assumption on sample characteristics. It owns several advantages over existing phase imaging methods and could provide a unique perspective to understand current computational imaging methods.


title: Secure Software Leasing

abstract: Formulating cryptographic definitions to protect against software piracy is an important research direction that has not received much attention. Since natural definitions using classical cryptography are impossible to achieve (as classical programs can always be copied), this directs us towards using techniques from quantum computing. The seminal work of Aaronson [CCC'09] introduced the notion of quantum copy-protection precisely to address the problem of software anti-piracy. However, despite being one of the most important problems in quantum cryptography, there are no provably secure solutions of quantum copy-protection known for any class of functions. We formulate an alternative definition for tackling software piracy, called secure software leasing (SSL). While weaker than quantum copy-protection, SSL is still meaningful and has interesting applications in software anti-piracy. We present a construction of SSL for a subclass of evasive circuits (that includes natural implementations of point functions, conjunctions with wild cards, and affine testers) based on concrete cryptographic assumptions. Our construction is the first provably secure solution, based on concrete cryptographic assumptions, for software anti-piracy. To complement our positive result, we show, based on cryptographic assumptions, that there is a class of quantum unlearnable functions for which SSL does not exist. In particular, our impossibility result also rules out quantum copy-protection [Aaronson CCC'09] for an arbitrary class of quantum unlearnable functions; resolving an important open problem on the possibility of constructing copy-protection for arbitrary quantum unlearnable circuits.


title: Cobaya: Code for Bayesian Analysis of hierarchical physical models

abstract: We present Cobaya, a general-purpose Bayesian analysis code aimed at models with complex internal interdependencies. Without the need for specific code by the user, interdependencies between different stages of a model pipeline are exploited for sampling efficiency: intermediate results are automatically cached, and parameters are grouped in blocks according to their dependencies and optimally sorted, taking into account their individual computational costs, so as to minimize the cost of their variation during sampling, thanks to a novel algorithm. Cobaya allows exploration of posteriors using a range of Monte Carlo samplers, and also has functions for maximization and importance-reweighting of Monte Carlo samples with new priors and likelihoods. Cobaya is written in Python in a modular way that allows for extendability, use of calculations provided by external packages, and dynamical reparameterization without modifying its source. It can exploit hybrid OpenMP/MPI parallelization, and has sub-millisecond overhead per posterior evaluation. Though Cobaya is a general purpose statistical framework, it includes interfaces to a set of cosmological Boltzmann codes and likelihoods (the latter being agnostic with respect to the choice of the former), and automatic installers for external dependencies.


title: Minimum degree conditions for tight Hamilton cycles

abstract: We develop a new framework to study minimum $d$-degree conditions in $k$-uniform hypergraphs, which guarantee the existence of a tight Hamilton cycle. Our main theoretical result deals with the typical absorption, path cover and connecting arguments for all $k$ and $d$ at once, and thus sheds light on the underlying structural problems. Building on this, we show that one can study minimum $d$-degree conditions of $k$-uniform tight Hamilton cycles by focusing on the inner structure of the neighbourhoods. This reduces the matter to an Erd\H{o}s--Gallai-type question for $(k-d)$-uniform hypergraphs, which is of independent interest. Once this framework is established, we can easily derive two new bounds. Firstly, we extend a classic result of R\"odl, Ruci\'nski and Szemer\'edi for $d=k-1$ by determining asymptotically best possible degree conditions for $d = k-2$ and all $k \ge 3$. This was proved independently by Polcyn, Reiher, R\"odl and Sch\"ulke. Secondly, we provide a general upper bound of $1-1/(2(k-d))$ for the tight Hamilton cycle $d$-degree threshold in $k$-uniform hypergraphs, thus narrowing the gap to the lower bound of $1-1/\sqrt{k-d}$ due to Han and Zhao.


title: Remote Short Blocklength Process Monitoring: Trade-off Between Resolution and Data Freshness

abstract: In cyber-physical systems, as in 5G and beyond, multiple physical processes require timely online monitoring at a remote device. There, the received information is used to estimate current and future process values. When transmitting the process data over a communication channel, source-channel coding is used in order to reduce data errors. During transmission, a high data resolution is helpful to capture the value of the process variables precisely. However, this typically comes with long transmission delays reducing the utilizability of the data, since the estimation quality gets reduced over time. In this paper, the trade-off between having recent data and precise measurements is captured for a Gauss-Markov process. An Age-of-Information (AoI) metric is used to assess data timeliness, while mean square error (MSE) is used to assess the precision of the predicted process values. AoI appears inherently within the MSE expressions, yet it can be relatively easier to optimize. Our goal is to minimize a time-averaged version of both metrics. We follow a short blocklength source-channel coding approach, and optimize the parameters of the codes being used in order to describe an achievability region between MSE and AoI.


title: The Safari of Update Structures: Visiting the Lens and Quantum Enclosures

abstract: We build upon our recently introduced concept of an update structure to show that it is a generalisation of very-well-behaved lenses, that is, there is a bijection between a strict subset of update structures and vwb lenses in cartesian categories. We show that update structures are also sufficiently general to capture quantum observables, pinpointing the additional assumptions required to make the two coincide. In doing so, we shift the focus from special commutative dagger-Frobenius algebras to interacting (co)magma (co)module pairs, showing that the algebraic properties of the (co)multiplication arise from the module-comodule interaction, rather than direct assumptions about the magma-comagma pair. We then begin to investigate the zoo of possible update structures, introducing the notions of classical security-flagged databases, and databases of quantum systems. This work is of foundational interest as update structures place previously distinct areas of research in a general class of operationally motivated structures, we expect the taming of this class to illuminate novel relationships between separately studied topics in computer science, physics and mathematics.


title: Ring Reservoir Neural Networks for Graphs

abstract: Machine Learning for graphs is nowadays a research topic of consolidated relevance. Common approaches in the field typically resort to complex deep neural network architectures and demanding training algorithms, highlighting the need for more efficient solutions. The class of Reservoir Computing (RC) models can play an important role in this context, enabling to develop fruitful graph embeddings through untrained recursive architectures. In this paper, we study progressive simplifications to the design strategy of RC neural networks for graphs. Our core proposal is based on shaping the organization of the hidden neurons to follow a ring topology. Experimental results on graph classification tasks indicate that ring-reservoirs architectures enable particularly effective network configurations, showing consistent advantages in terms of predictive performance.


title: Exact Parallelization of the Stochastic Simulation Algorithm for Scalable Simulation of Large Biochemical Networks

abstract: Comprehensive simulations of the entire biochemistry of cells have great potential to help physicians treat disease and help engineers design biological machines. But such simulations must model networks of millions of molecular species and reactions. The Stochastic Simulation Algorithm (SSA) is widely used for simulating biochemistry, especially systems with species populations small enough that discreteness and stochasticity play important roles. However, existing serial SSA methods are prohibitively slow for comprehensive networks, and existing parallel SSA methods, which use periodic synchronization, sacrifice accuracy. To enable fast, accurate, and scalable simulations of biochemistry, we present an exact parallel algorithm for SSA that partitions a biochemical network into many SSA processes that simulate in parallel. Our parallel SSA algorithm exactly coordinates the interactions among these SSA processes and the species state they share by structuring the algorithm as a parallel discrete event simulation (DES) application and using an optimistic parallel DES simulator to synchronize the interactions. We anticipate that our method will enable unprecedented biochemical simulations.


title: Classification of P-oligomorphic groups, conjectures of Cameron and Macpherson

abstract: Let G be a group of permutations of a denumerable set E. The profile of G is the function phi which counts, for each n, the number phi(n) of orbits of G acting on the n-subsets of E. Counting functions arising this way, and their associated generating series, form a rich yet apparently strongly constrained class. In particular, Cameron conjectured in the late seventies that, whenever the profile phi(n) is bounded by a polynomial -- we say that G is P-oligomorphic --, it is asymptotically equivalent to a polynomial. In 1985, Macpherson further asked whether the orbit algebra of G -- a graded commutative algebra invented by Cameron and whose Hilbert function is phi -- is finitely generated. In this paper we establish a classification of (closed) P-oligomorphic permutation groups in terms of finite permutation groups with decorated blocks. It follows from the classification that the orbit algebra of any P-oligomorphic group is isomorphic to (a straightforward quotient of) the invariant ring of some finite permutation group. This answers positively both Cameron's conjecture and Macpherson's question. The orbit algebra is in fact Cohen-Macaulay; therefore the generating series of phi is a rational fraction whose numerator has positive coefficients, while the denominator admits a combinatorial description. In addition, the classification provides a finite data structure for encoding closed P-oligomorphic groups. This paves the way for computing with them and enumerating them as well as for proofs by structural induction. Finally, the relative simplicity of the classification gives hopes to extend the study to, e.g., the class of (closed) permutations groups with sub-exponential profile. The proof exploits classical notions from group theory -- notably block systems and their lattice properties --, commutative algebra, and invariant theory.


title: Seeking massless dark photons in the decays of charmed hadrons

abstract: A massless dark photon could affect standard-model particles only via higher-dimensional operators and would therefore have eluded recent searches for its massive counterpart, which were based on the assumption that the latter had renormalizable interactions with known fermions due to gauge kinetic mixing. In this study we entertain the possibility that the massless dark photon has nonnegligible flavor-changing dipole-type couplings with the $u$ and $c$ quarks, giving rise to the decays of charmed hadrons into a lighter hadron plus missing energy carried away by the dark photon. We propose to investigate decays of this kind, especially those in which the parents are the charmed pseudoscalar-mesons $D^+$, $D^0$, and $D_s^+$ and singly charmed baryons $\Lambda_c^+$, $\Xi_c^+$, and $\Xi_c^0$. Employing a simplified new-physics model satisfying the relevant constraints, we find that the branching fractions of these processes could be as large as several times $10^{-5}$. This suggests that one or more of them might in the near future fall within reach of the ongoing Belle II and BESIII experiments. Since the same underlying operators are responsible for all of these transitions, detecting one of them automatically implies particular predictions for the others, allowing for additional experimental checks on the massless-dark-photon scenario.


title: SOLOIST: Building Task Bots at Scale with Transfer Learning and Machine Teaching

abstract: We present a new method SOLOIST that uses transfer learning and machine teaching to build task bots at scale. We parameterize classical modular task-oriented dialog systems using a Transformer-based auto-regressive language model, which subsumes different dialog modules into a single neural model. We pre-train, on heterogeneous dialog corpora, a task-grounded response generation model, which can generate dialog responses grounded in user goals and real-world knowledge for task completion. The pre-trained model can be efficiently adapted to accomplish new tasks with a handful of task-specific dialogs via machine teaching, where training samples are generated by human teachers interacting with the system. Experiments show that (i) SOLOIST creates new state-of-the-art on well-studied task-oriented dialog benchmarks, including CamRest676 and MultiWOZ; (ii) in the few-shot fine-tuning settings, SOLOIST significantly outperforms existing methods, and (iii) the use of machine teaching substantially reduces the labeling cost of fine-tuning. The pre-trained models and codes are available at https://aka.ms/soloist.


title: Shadows of Sgr A$^*$ Black Hole Surrounded by Superfluid Dark Matter Halo

abstract: In this paper we construct a black hole solution surrounded by superfluid dark matter (BH-SFDM) and baryonic matter, and study their effects on the shadow images of the Sgr A$^{*}$ black hole. To achieve this goal, we have considered two density profiles for the baryonic matter described by the spherical exponential profile and the power law profile including a special case describing a totally dominated dark matter galaxy (TDDMG). Using the present values for the parameters of the superfluid dark matter and baryonic density profiles for the Sgr A$^{*}$ black hole, we find that the effects of the superfluid dark matter and baryonic matter on the size of shadows are almost negligible compared to the Kerr vacuum black hole. In addition, we find that by increasing the baryonic mass the shadow size increases considerably. This result can be linked to the matter distribution in the galaxy, namely the baryonic matter is mostly located in the galactic center and therefore, by increasing the baryonic matter can affect the size of black hole shadow compared to the totally dominated dark matter galaxy where we observe an increase of the angular diameter of the Sgr A$^{*}$ black hole of the magnitude $10^{-5} \mu$arcsec.


title: Comparison of Amplitude Estimation Algorithms by Implementation

abstract: Since the quantum amplitude estimation (QAE) was invented by Brassard et al., 2002, several advanced algorithms have recently been published (Grinko et al., 2019, Aaronson et al, and Suzuki et al., 2020). The main difference between the variants and the original algorithm is that the variants do not need quantum phase estimation (QPE), a key component of the canonical QAE (Brassard et al., 2002), that is composed of many expensive operations on NISQ devices. In this paper, we compare and analyze two of these new QAE approaches (Grinko et al., 2019, and Suzuki et al., 2020) by implementation using the Qiskit package. The comparisons are drawn based on number of oracle queries, quantum circuit depth, and other complexities of implementation for a fixed accuracy. We discuss the strengths and limitations of each algorithm from a computational perspective.


title: Experiment Neutrino-4 search for sterile neutrino and results of measurements

abstract: The experiment Neutrino-4 had started in 2014 with a detector model and then was continued with a full-scale detector in 2016 - 2021. In this article we describe all steps of preparatory work on this experiment. We present all results of the Neutrino-4 experiment with increased statistical accuracy provided to date. The experimental setup is constructed to measure the flux and spectrum of the reactor antineutrinos as a function of distance to the center of the active zone of the SM-3 reactor (Dimitrovgrad, Russia) in the range of 6 - 12 meters. Using all the collected data, we performed a model-independent analysis to determine the oscillation parameters $\Delta m_{14}^2$ and $\sin^22\theta_{14}$. The method of coherent summation of measurement results allows to directly demonstrate the oscillation effect. We present the analysis of possible systematic errors and the MC model of the experiment, which considers the possibility of the effect manifestation at the present precision level. As a result of the analysis, we can conclude that at currently available statistical accuracy we observe the oscillations at the $2.9\sigma$ level with parameters $\Delta m_{14}^2=(7.3\pm0.13_{st}\pm1.16_{sys})\text{eV}^2 = (7.3\pm1.17)\text{eV}^2$ and $\sin^22\theta_{14}= 0.36\pm0.12_{stat}(2.9\sigma)$. Monte Carlo based statistical analysis gave estimation of confidence level at $2.7\sigma$. We plan to improve the currently working experimental setup and create a completely new setup in order to increase the accuracy of the experiment by 3 times. We also provide a brief analysis of the general experimental situation in the search for sterile neutrinos.


title: Applications of a new P-Q modular equation of degree two

abstract: At scattered places in his first notebook, Ramanujan recorded the values for 107 class invariants or irreducible monic polynomials satisfied by them. On pages 294-299 in his second notebook, he gave a table of values for 77 class invariants $G_n$ and $g_n$ in his second notebook. Traditionally, $G_n$ is determined for odd values of $n$ and $g_n$ for even values of $n$. On pages 338 and 339 in his first notebook, Ramanujan defined the remarkable product of theta-functions $a_{m, n}$. Also, he recorded eighteen explicit values depending on two parameters, namely, $m$, and $n$, where these are odd integers. In this paper, we initiate to study explicit evaluations of $G_n$ for even values of $n$. We establish a new general formula for the explicit evaluations of $G_n$ involving class invariant $g_n$. For this purpose, we derive a new P-Q modular equation of degree two. Further application of this modular equation, we establish a new formula to explicit evaluation of $a_{m, 2}$. Also, we compute several explicit values of class invariant $g_{n}$ and singular moduli $\alpha_n$.


title: Cause-and-effect of linear mechanisms sustaining wall turbulence

abstract: Despite the nonlinear nature of turbulence, there is evidence that part of the energy-transfer mechanisms sustaining wall turbulence can be ascribed to linear processes. The different scenarios stem from linear stability theory and comprise exponential instabilities, neutral modes, transient growth from non-normal operators, and parametric instabilities from temporal mean-flow variations, among others. These mechanisms, each potentially capable of leading to the observed turbulence structure, are rooted in theoretical and conceptual arguments. Whether the flow follows any or a combination of them remains elusive. Here, we evaluate the linear mechanisms responsible for the energy transfer from the streamwise-averaged mean-flow ($\bf U$) to the fluctuating velocities ($\bf u'$). We use cause-and-effect analysis based on interventions. This is achieved by direct numerical simulation of turbulent channel flows at low Reynolds number, in which the energy transfer from $\bf U$ to $\bf u'$ is constrained to preclude a targeted linear mechanism. We show that transient growth is sufficient for sustaining realistic wall turbulence. Self-sustaining turbulence persists when exponential instabilities, neutral modes, and parametric instabilities of the mean flow are suppressed. We further show that a key component of transient growth is the Orr/push-over mechanism induced by spanwise variations of the base flow. Finally, we demonstrate that an ensemble of simulations with various frozen-in-time $\bf U$ arranged so that only transient growth is active, can faithfully represent the energy transfer from $\bf U$ to $\bf u'$ as in realistic turbulence. Our approach provides direct cause-and-effect evaluation of the linear energy-injection mechanisms from $\bf U$ to $\bf u'$ in the fully nonlinear system and simplifies the conceptual model of self-sustaining wall turbulence.


title: Cloud-based Federated Boosting for Mobile Crowdsensing

abstract: The application of federated extreme gradient boosting to mobile crowdsensing apps brings several benefits, in particular high performance on efficiency and classification. However, it also brings a new challenge for data and model privacy protection. Besides it being vulnerable to Generative Adversarial Network (GAN) based user data reconstruction attack, there is not the existing architecture that considers how to preserve model privacy. In this paper, we propose a secret sharing based federated learning architecture FedXGB to achieve the privacy-preserving extreme gradient boosting for mobile crowdsensing. Specifically, we first build a secure classification and regression tree (CART) of XGBoost using secret sharing. Then, we propose a secure prediction protocol to protect the model privacy of XGBoost in mobile crowdsensing. We conduct a comprehensive theoretical analysis and extensive experiments to evaluate the security, effectiveness, and efficiency of FedXGB. The results indicate that FedXGB is secure against the honest-but-curious adversaries and attains less than 1% accuracy loss compared with the original XGBoost model.